From: Kyrylo Tkachov <[email protected]>
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.
Ok for trunk?
gcc/testsuite/ChangeLog:
* gcc.dg/tree-ssa/vrp102.c: Scan evrp instead of vrp1.
Signed-off-by: Kyrylo Tkachov <[email protected]>
---
gcc/testsuite/gcc.dg/tree-ssa/vrp102.c | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/vrp102.c
b/gcc/testsuite/gcc.dg/tree-ssa/vrp102.c
index fb62e570bed..83f6d98796f 100644
--- 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" } } */
--
2.50.1 (Apple Git-155)
