On Mon, 13 Jul 2026, [email protected] wrote: > 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?
OK > 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" } } */ > -- Richard Biener <[email protected]> SUSE Software Solutions Germany GmbH, Frankenstrasse 146, 90461 Nuernberg, Germany; GF: Jochen Jaser, Andrew McDonald; (HRB 36809, AG Nuernberg)
