On Thu, Oct 6, 2016 at 10:55 PM, kugan <kugan.vivekanandara...@linaro.org> wrote: > Hi, > > Attached patch Register ranges for y in (x COND y) for Early VRP. > > Bootstrapped and regression tested on x86_64-linux-gnu with no new > regressions. Is this OK for trunk?
+ /* Add VR when (OP0 CODE OP1) condition is true. */ + try_add_new_range (op0, code, op1); + + + /* Register ranges for y in x < y where excessive vertical space. Ok with removing one blank line. Can you also add a testcase? Thanks, Richard. > Thanks, > Kugan > > > gcc/ChangeLog: > > 2016-10-06 Kugan Vivekanandarajah <kug...@linaro.org> > > * tree-vrp.c (evrp_dom_walker::try_add_new_range): New. > (evrp_dom_walker::before_dom_children): Infer and push new value > ranges for x in y COND x.
