https://gcc.gnu.org/g:07c6e564b41b2572d357287e6b8071971a2ca3c1

commit r17-2355-g07c6e564b41b2572d357287e6b8071971a2ca3c1
Author: Kyrylo Tkachov <[email protected]>
Date:   Wed Jul 8 12:16:37 2026 +0000

    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 <[email protected]>

Diff:
---
 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 fb62e570bede..83f6d98796fd 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" } } */

Reply via email to