[gcc r17-2355] testsuite: scan the vrp102.c property in evrp

Kyrylo Tkachov via Gcc-cvs <[email protected]>
Newsgroups gmane.comp.gcc.cvs
Message-ID <[email protected]>
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" } } */
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.