ssa-dom-thread-4.c: Update expected results for MIPS.

gcc/testsuite/
	* gcc.dg/tree-ssa/ssa-dom-thread-4.c: Update expected results for MIPS.

From-SVN: r195131

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index f847f1b7a3e2fb9cc6119aead77e63dcff971f87..e4117fb27bcea674cecb1675c426031d7cf03788 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2013-01-13  Richard Sandiford  <rdsandiford@googlemail.com>
+
+       * gcc.dg/tree-ssa/ssa-dom-thread-4.c: Update expected results for MIPS.
+
 2013-01-12  Janus Weil  <janus@gcc.gnu.org>
 
        PR fortran/55072

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 1cf3f0bf5714d523f7fc40ded1d289f7ca8463ba..44b05f07a6cb8fe42f523d5b7d3264e09e766fd6 100644 (file)
--- a/gcc/testsuite/gcc.dg/tree-ssa/ssa-dom-thread-4.c
+++ b/gcc/testsuite/gcc.dg/tree-ssa/ssa-dom-thread-4.c
@@ -62,8 +62,25 @@ bitmap_ior_and_compl (bitmap dst, const_bitmap a, const_bitmap b,
 /* ARM Cortex-M0 defined LOGICAL_OP_NON_SHORT_CIRCUIT to false,
    so skip below test.  */
 /* { dg-final { scan-tree-dump-times "Threaded" 3 "dom1" { target { ! { mips*-*-* || { arm_cortex_m && arm_thumb1 } } } } } } */
-/* MIPS defines LOGICAL_OP_NON_SHORT_CIRCUIT to 0, so we split var1 || var2
-   into two conditions, rather than use (var1 != 0) | (var2 != 0).  */
-/* { dg-final { scan-tree-dump-times "Threaded" 4 "dom1" { target mips*-*-* } } } */
+/* MIPS defines LOGICAL_OP_NON_SHORT_CIRCUIT to 0, so we split both
+   "a_elt || b_elt" and "b_elt && kill_elt" into two conditions each,
+   rather than using "(var1 != 0) op (var2 != 0)".  Also, as on other targets,
+   we duplicate the header of the inner "while" loop.  There are then
+   6 threading opportunities:
+
+   1x "!a_elt && b_elt" in the outer "while" loop
+      -> the start of the inner "while" loop,
+        skipping the known-true "b_elt" in the first condition.
+   1x "!b_elt" in the first condition
+      -> the outer "while" loop's continuation point,
+        skipping the known-false "b_elt" in the second condition.
+   2x "!kill_elt" in the inner "while" loop
+      -> the outer "while" loop's continuation point,
+        skipping the known-false "b_elt && kill_elt" in the second condition
+   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" 6 "dom1" { target mips*-*-* } } } */
 /* { dg-final { cleanup-tree-dump "dom1" } } */