re PR tree-optimization/71316 (test case gcc.dg/tree-ssa/ssa-dom-thread-4.c fails...

	PR tree-optimization/71316
	* gcc.dg/tree-ssa/ssa-dom-thread-4.c: Update expected output.

From-SVN: r237083

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 1a80a9ce6be56ea18e84fbcdc4cdeb1a5bb35c09..cd45cda0300eb9449f568bbb4084a4a40a67acc1 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2016-06-03  Jeff Law  <law@redhat.com>
+
+       PR tree-optimization/71316
+       * gcc.dg/tree-ssa/ssa-dom-thread-4.c: Update expected output.
+
 2016-06-03  Jakub Jelinek  <jakub@redhat.com>
 
        * gcc.dg/vect/vect-live-1.c: Remove dg-options.  Add

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 4258fb5acbaa2a49df51df8c68831f654c405005..2dd91771003f5529bbd6e45d1caff1ec0df74b7b 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
@@ -1,5 +1,5 @@
 /* { dg-do compile } */ 
-/* { dg-options "-O2 -fdump-tree-dom2-details -std=gnu89" } */
+/* { dg-options "-O2 -fdump-tree-vrp1-details -fdump-tree-dom2-details -std=gnu89" } */
 struct bitmap_head_def;
 typedef struct bitmap_head_def *bitmap;
 typedef const struct bitmap_head_def *const_bitmap;
@@ -76,8 +76,7 @@ bitmap_ior_and_compl (bitmap dst, const_bitmap a, const_bitmap b,
         skipping the known-true "b_elt && kill_elt" in the second
         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 } } } */
+   The !b_elt cases are picked up by VRP1 as jump threads.  The others
+   are optimized by DOM.  */
+/* { dg-final { scan-tree-dump-times "Threaded" 2 "vrp1" { target logical_op_short_circuit } } } */