[Bug tree-optimization/69270] DOM should exploit range information to create more equivalences
law at gcc dot gnu.org
gcc-bugzilla@gcc.gnu.org
Fri Jan 15 22:32:00 GMT 2016
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69270
--- Comment #4 from Jeffrey A. Law <law at gcc dot gnu.org> ---
Author: law
Date: Fri Jan 15 22:32:05 2016
New Revision: 232453
URL: https://gcc.gnu.org/viewcvs?rev=232453&root=gcc&view=rev
Log:
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.
Added:
trunk/gcc/testsuite/gcc.dg/tree-ssa/pr69270-2.c
trunk/gcc/testsuite/gcc.dg/tree-ssa/pr69270-3.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-ssa-dom.c
trunk/gcc/tree-ssa-uncprop.c
trunk/gcc/tree-ssanames.c
trunk/gcc/tree-ssanames.h
More information about the Gcc-bugs
mailing list