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

kugan kugan.vivekanandarajah@linaro.org
Thu Oct 6 20:56:00 GMT 2016


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?

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.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0002-Register-ranges-for-y-in-x-y.patch
Type: text/x-patch
Size: 3806 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20161006/969e1844/attachment.bin>


More information about the Gcc-patches mailing list