From: Kyrylo Tkachov Date: Wed, 8 Jul 2026 12:16:37 +0000 (+0000) Subject: testsuite: scan the vrp102.c property in evrp X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=07c6e564b41b2572d357287e6b8071971a2ca3c1;p=thirdparty%2Fgcc.git 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 --- 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" } } */