[Bug tree-optimization/69270] DOM should exploit range information to create more equivalences

[msebor at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69270

Martin Sebor  changed:

   What|Removed |Added

 CC||msebor at gcc dot gnu.org
   See Also||https://gcc.gnu.org/bugzill
   ||a/show_bug.cgi?id=72850

--- Comment #7 from Martin Sebor  ---
The test failure is being tracked in bug 72850.

[Bug tree-optimization/69270] DOM should exploit range information to create more equivalences

[mwahab at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69270

mwahab at gcc dot gnu.org changed:

   What|Removed |Added

 CC||mwahab at gcc dot gnu.org

--- Comment #6 from mwahab at gcc dot gnu.org ---
The new test gcc.dg/tree-ssa/pr69270-3.c fails on aarch64 and arm targets.

There seems to be a disparity between the expected output directive and the
comment preceding it. The directive seems to look for 4 instances of ", 1" but
the comment says that it should be looking for one instance (of a constant
argument).

In the output generated for aarch64-none-linux-gnu, there is one instance of ",
1" in the line

  # phi_inserted_4 = PHI 


Is this just the test or could it be something else going wrong?
Matthew

[Bug tree-optimization/69270] DOM should exploit range information to create more equivalences

[sch...@linux-m68k.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69270

--- Comment #5 from Andreas Schwab  ---
FAIL: gcc.target/aarch64/tst_3.c scan-assembler tst\t(x|w)[0-9]*.*1

[Bug tree-optimization/69270] DOM should exploit range information to create more equivalences

[law at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69270

--- Comment #4 from Jeffrey A. Law  ---
Author: law
Date: Fri Jan 15 22:32:05 2016
New Revision: 232453

URL: https://gcc.gnu.org/viewcvs?rev=232453=gcc=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

[Bug tree-optimization/69270] DOM should exploit range information to create more equivalences

[law at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69270

--- Comment #3 from Jeffrey A. Law  ---
Author: law
Date: Fri Jan 15 02:45:44 2016
New Revision: 232399

URL: https://gcc.gnu.org/viewcvs?rev=232399=gcc=rev
Log:
   PR tree-optimization/69270
* tree-ssa-dom.c (ssa_name_has_boolean_range): If the type has a
single bit of precision, verify it's also unsigned.
(record_edge_info): Use constant_boolean_node rather than fold_convert
to convert boolean_true/boolean_false to the right type.

Modified:
trunk/gcc/ChangeLog
trunk/gcc/tree-ssa-dom.c

[Bug tree-optimization/69270] DOM should exploit range information to create more equivalences

[law at redhat dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69270

Jeffrey A. Law  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |FIXED

--- Comment #2 from Jeffrey A. Law  ---
Fixed by trunk commit.

[Bug tree-optimization/69270] DOM should exploit range information to create more equivalences

[law at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69270

--- Comment #1 from Jeffrey A. Law  ---
Author: law
Date: Thu Jan 14 07:38:18 2016
New Revision: 232361

URL: https://gcc.gnu.org/viewcvs?rev=232361=gcc=rev
Log:
[PATCH][PR tree-optimization/69270] Exploit VRP information in DOM

PR tree-optimization/69270
* tree-ssa-dom.c (ssa_name_has_boolean_range): New function.
(record_edge_info): Use it.  Convert boolean_{true,false}_node
to the type of op0.

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

Added:
trunk/gcc/testsuite/gcc.dg/tree-ssa/pr69270.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-ssa-dom.c