testsuite: scan the vrp102.c property in evrp

The folding checked by vrp102.c is already computed by ranger during
evrp.  Scan the evrp dump instead of vrp1 so the test observes the
property where it is established and does not require the diamond to
survive until vrp1.

gcc/testsuite/ChangeLog:

	* gcc.dg/tree-ssa/vrp102.c: Scan evrp instead of vrp1.

Signed-off-by: Kyrylo Tkachov <ktkachov@nvidia.com>

diff --git a/gcc/testsuite/gcc.dg/tree-ssa/vrp102.c b/gcc/testsuite/gcc.dg/tree-ssa/vrp102.c
index fb62e570bede628f4422e6e1819c13b459859991..83f6d98796fd54b18d8a51a3ea4e32edcdbbaafc 100644 (file)
--- a/gcc/testsuite/gcc.dg/tree-ssa/vrp102.c
+++ b/gcc/testsuite/gcc.dg/tree-ssa/vrp102.c
@@ -1,5 +1,5 @@
 /* { dg-do compile } */
-/* { dg-options "-O2 -fno-tree-dominator-opts -fdump-tree-vrp1" } */
+/* { dg-options "-O2 -fno-tree-dominator-opts -fdump-tree-evrp" } */
 
 int f(int x, int y)
 { 
@@ -15,4 +15,4 @@ int f(int x, int y)
 /* We should have computed x ^ y as zero and propagated the result into the
    PHI feeding the result.  */
 
-/* { dg-final { scan-tree-dump "ret_\[0-9\]+ = PHI <\[01\]\\\(\[0-9\]+\\\), \[01\]\\\(\[0-9\]+\\\)>" "vrp1" } } */
+/* { dg-final { scan-tree-dump "ret_\[0-9\]+ = PHI <\[01\]\\\(\[0-9\]+\\\), \[01\]\\\(\[0-9\]+\\\)>" "evrp" } } */