Re: [PATCH 1/3] Perform fold when propagating.

2019-08-14 Thread Richard Biener
On Tue, Aug 13, 2019 at 1:24 PM Robin Dapp wrote: > > > May I suggest to add a parameter to the substitute-and-fold engine > > so we can do the folding on all stmts only when enabled and enable > > it just for VRP? That also avoids the testsuite noise. > > Would something along these lines do? >

Re: [PATCH 1/3] Perform fold when propagating.

2019-08-13 Thread Robin Dapp
> May I suggest to add a parameter to the substitute-and-fold engine > so we can do the folding on all stmts only when enabled and enable > it just for VRP? That also avoids the testsuite noise. Would something along these lines do? diff --git a/gcc/tree-ssa-propagate.c b/gcc/tree-ssa-propagate.

Re: [PATCH 1/3] Perform fold when propagating.

2019-08-13 Thread Richard Biener
On Tue, Aug 13, 2019 at 10:36 AM Robin Dapp wrote: > > This patch performs more aggressive folding in order for the > match.pd changes to kick in later. > > Some test cases rely on VRP doing something which now already > happens during CCP so adjust them accordingly. > > Also, the loop versioning

[PATCH 1/3] Perform fold when propagating.

2019-08-13 Thread Robin Dapp
This patch performs more aggressive folding in order for the match.pd changes to kick in later. Some test cases rely on VRP doing something which now already happens during CCP so adjust them accordingly. Also, the loop versioning pass was missing one case when deconstructing addresses that would