projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 90205f6) | patch
Fold all statements in Ranger VRP.
authorAndrew MacLeod <amacleod@redhat.com>
Wed, 20 Oct 2021 17:37:29 +0000 (13:37 -0400)
committerAndrew MacLeod <amacleod@redhat.com>
Mon, 25 Oct 2021 23:39:49 +0000 (19:39 -0400)
commitcb153222404e2e149aa65a4b3139b09477551203
treed40eda7eabd8e07cf11d793e3db18afbf0d454b8tree | snapshot
parent90205f67e465ae7dfcf733c2b2b177ca7ff68da0commit | diff
Fold all statements in Ranger VRP.

Until now, ranger VRP has only simplified statements with ranges.  This patch
enables us to fold all statements.

gcc/
* tree-vrp.c (rvrp_folder::fold_stmt): If simplification fails, try
to fold anyway.

gcc/testsuite/
* gcc.dg/tree-ssa/vrp98.c: Disable evrp for vrp1 test.
* gcc.dg/tree-ssa/vrp98-1.c: New. Test for folding in evrp.
gcc/testsuite/gcc.dg/tree-ssa/vrp98-1.c [new file with mode: 0644] blob
gcc/testsuite/gcc.dg/tree-ssa/vrp98.c diff | blob | history
gcc/tree-vrp.c diff | blob | history
Domain: System / Toolchain;