diff mbox

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

Message ID 566B59CA.5080806@redhat.com
State New
Headers show

Commit Message

Jeff Law Dec. 11, 2015, 11:18 p.m. UTC 
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
diff mbox

Patch

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 } } } */