re PR tree-optimization/69270 (DOM should exploit range information to create more...
authorJeff Law <law@redhat.com>
Fri, 15 Jan 2016 22:32:05 +0000 (15:32 -0700)
committerJeff Law <law@gcc.gnu.org>
Fri, 15 Jan 2016 22:32:05 +0000 (15:32 -0700)
commit40c43acacc1765416278e6636c20c5e3a78a7384
tree0c5e0c93ef87ace7d5ef512867efe2303ef79439
parentcebeb718fed641f5c6b093e487c5e93c9b41ce02
re PR tree-optimization/69270 (DOM should exploit range information to create more equivalences)

PR tree-optimization/69270
* tree-ssanames.c (ssa_name_has_boolean_range): Moved here from
tree-ssa-dom.c.  Improve test for [0..1] ranve from VRP.
* tree-ssa-dom.c (ssa_name_has_boolean_range): Remove.
* tree-ssanames.h (ssa_name_has_boolean_range): Prototype.
* tree-ssa-uncprop.c (associate_equivalences_with_edges): Use
ssa_name_has_boolean_range and constant_boolean_node.

PR tree-optimization/69270
* gcc.dg/tree-ssa/pr69270-2.c: New test.
* gcc.dg/tree-ssa/pr69270-3.c: New test.

From-SVN: r232453
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/pr69270-2.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/tree-ssa/pr69270-3.c [new file with mode: 0644]
gcc/tree-ssa-dom.c
gcc/tree-ssa-uncprop.c
gcc/tree-ssanames.c
gcc/tree-ssanames.h