Re: Propagating value ranges in ipa-cp and related ideas

2013-02-22 Thread Xinliang David Li
On Fri, Feb 22, 2013 at 3:08 PM, Easwaran Raman wrote: > Hi, > > Consider the following function > > A *CheckNotNull (A *a_ptr) { > if (a_ptr == NULL) { > // Code with non-trivial code size > } > return a_ptr; > } > > If this is invoked as CheckNotNull(&a), the inliner should be able to

Propagating value ranges in ipa-cp and related ideas

2013-02-22 Thread Easwaran Raman
Hi, Consider the following function A *CheckNotNull (A *a_ptr) { if (a_ptr == NULL) { // Code with non-trivial code size } return a_ptr; } If this is invoked as CheckNotNull(&a), the inliner should be able to infer that (a_ptr == 0) predicate is false and estimate the size and time ba