pr21090.c: Do vrp1 scan check only for target { ! keeps_null_pointer_checks }.

        * gcc.dg/tree-ssa/pr21090.c: Do vrp1 scan check only for
        target { ! keeps_null_pointer_checks }.
        * gcc.dg/tree-ssa/unreachable.c: Do optimized scan check only for
        target { ! keeps_null_pointer_checks }.

From-SVN: r201081

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 59e3ae96ff6099cc80a479f81391d23131b48fad..6235436ccc47b46b923395274ecb258e3f608bf8 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -2,6 +2,11 @@
 
        * gcc.dg/pr57154.c: Add dg-require-effective-target scheduling.
 
+        * gcc.dg/tree-ssa/pr21090.c: Do vrp1 scan check only for
+        target { ! keeps_null_pointer_checks }.
+        * gcc.dg/tree-ssa/unreachable.c: Do optimized scan check only for
+        target { ! keeps_null_pointer_checks }.
+
 2013-07-19  Ian Bolton  <ian.bolton@arm.com>
 
        * gcc.target/aarch64/scalar_intrinsics.c (test_vabs_s64): Added

diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr21090.c b/gcc/testsuite/gcc.dg/tree-ssa/pr21090.c
index 8e32e4217440937f682ec7c574066cca402e3135..40d960d49b704e45748d8a8b7452bffab2a96642 100644 (file)
--- a/gcc/testsuite/gcc.dg/tree-ssa/pr21090.c
+++ b/gcc/testsuite/gcc.dg/tree-ssa/pr21090.c
@@ -19,5 +19,5 @@ foo (int a)
     return 0;
 }
 
-/* { dg-final { scan-tree-dump-times "Folding predicate.*to 1" 1 "vrp1" } } */
+/* { dg-final { scan-tree-dump-times "Folding predicate.*to 1" 1 "vrp1" { target { ! keeps_null_pointer_checks } } } } */
 /* { dg-final { cleanup-tree-dump "vrp1" } } */

diff --git a/gcc/testsuite/gcc.dg/tree-ssa/unreachable.c b/gcc/testsuite/gcc.dg/tree-ssa/unreachable.c
index 279a27770309aed600cefa459a1c1bcb10aeb9a2..c4caeaf6c0bf857518235573381faef36f660be5 100644 (file)
--- a/gcc/testsuite/gcc.dg/tree-ssa/unreachable.c
+++ b/gcc/testsuite/gcc.dg/tree-ssa/unreachable.c
@@ -11,5 +11,5 @@ main()
     return 1;
   return 0;
 }
-/* { dg-final { scan-tree-dump-not "bad_boy" "optimized"} } */
+/* { dg-final { scan-tree-dump-not "bad_boy" "optimized" { target { ! keeps_null_pointer_checks } } } } */
 /* { dg-final { cleanup-tree-dump "optimized" } } */