[PATCH][PR tree-optimization/68844] Fix testcase expected output

Jeff Law law@redhat.com
Fri Dec 11 23:18:00 GMT 2015


As is detailed thoroughly in the BZ entry; DOM was changed to not rely 
on the jump threader to handle trivial conditionals.

Those changes twiddle the number of discovered & realized jump threads 
on some targets.  I've gone through the resultant dumps and verified 
that we're doing the right thing for each of the jump threads that we no 
longer realize (essentially DOM optimizes those paths on its own and 
doesn't need the threader).

Installed on the trunk after verifying ppc64le passes again.

Jeff
-------------- next part --------------
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index af682a9..3877b19 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2015-12-11  Jeff Law  <law@redhat.com>
+
+	PR tree-optimization/68844
+	* gcc.dg/tree-ssa/ssa-dom-thread-4.c: Update expected output.
+
 2015-12-11  Nathan Sidwell  <nathan@acm.org>
 
 	* gcc.dg/pr59605-1.c: Reduce iterations for nvptx.
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/ssa-dom-thread-4.c b/gcc/testsuite/gcc.dg/tree-ssa/ssa-dom-thread-4.c
index 77ba74c..4258fb5 100644
--- a/gcc/testsuite/gcc.dg/tree-ssa/ssa-dom-thread-4.c
+++ b/gcc/testsuite/gcc.dg/tree-ssa/ssa-dom-thread-4.c
@@ -74,6 +74,10 @@ bitmap_ior_and_compl (bitmap dst, const_bitmap a, const_bitmap b,
    2x "kill_elt->indx >= b_elt->indx" in the first "while" loop
       -> "kill_elt->indx == b_elt->indx" in the second condition,
 	 skipping the known-true "b_elt && kill_elt" in the second
-	 condition.  */
-/* { dg-final { scan-tree-dump-times "Threaded" 4 "dom2" { target logical_op_short_circuit } } } */
+	 condition.
+
+   However, 3 of those 4 opportunities are ultimately eliminated by
+   DOM optimizing away conditionals.  So there's only one jump threading
+   opportunity left.  */
+/* { dg-final { scan-tree-dump-times "Threaded" 1 "dom2" { target logical_op_short_circuit } } } */
 


More information about the Gcc-patches mailing list