On 10/25/2021 6:03 PM, Andrew MacLeod via Gcc-patches wrote:
This patch changes the ranger VRP pass to simplify all statements, not
just the ones with ranges. I believe Jeff had mentioned we were no
longer doing this a while back. Now we need it when running as the
VRP2 pass to satisfy the testcase: gcc.dg/wrapped-binop-simplify.c
I did :-) The lack of folding in [E]VRP caused a critical function in
perl to be ever-so-slightly larger and not be inlined leading to a
measurable performance regression in spec when compiled with gcc-11. I
never bothered upstreaming our internal version of this as other
(non-VRP) changes on the trunk addressed the problem.
Jeff
