[EVRP] Register ranges for y in (x COND y) for Early VRP.

Richard Biener richard.guenther@gmail.com
Fri Oct 7 09:45:00 GMT 2016


On Thu, Oct 6, 2016 at 10:55 PM, kugan
<kugan.vivekanandarajah@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  <kuganv@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.



More information about the Gcc-patches mailing list