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

gcc/testsuite/ChangeLog

+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

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