tree-vrp.c (evrp_dom_walker::before_dom_children): Ignore backedges when identifying...
authorRichard Biener <rguenther@suse.de>
Mon, 24 Oct 2016 11:22:42 +0000 (11:22 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Mon, 24 Oct 2016 11:22:42 +0000 (11:22 +0000)
commit40f683e88d5aeef52425f719a7197da4d1d524a7
treef437f7ebf06c7ddb56c34be09fee7a257e8d2c20
parent6a5792b660b24aed969139573707bc20702c81d4
tree-vrp.c (evrp_dom_walker::before_dom_children): Ignore backedges when identifying the single predecessor to take conditional...

2016-10-24  Richard Biener  <rguenther@suse.de>

* tree-vrp.c (evrp_dom_walker::before_dom_children): Ignore
backedges when identifying the single predecessor to take
conditional info from.  Use SCEV to get at ranges for loop IVs.
* lto-streamer-out.c (lto_write_mode_table): CSE inner mode to
avoid false warning.

* gcc.dg/tree-ssa/cunroll-13.c: Disable EVRP.
* gcc.dg/tree-ssa/pr21458.c: Likewise.
* gcc.dg/tree-ssa/pr21458-2.c: New testcase for EVRP.

From-SVN: r241470
gcc/ChangeLog
gcc/lto-streamer-out.c
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/cunroll-13.c
gcc/testsuite/gcc.dg/tree-ssa/pr21458-2.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/tree-ssa/pr21458.c
gcc/tree-vrp.c