On Tue, 4 Oct 2016, kugan wrote: > Hi, > > This patch improves Early VRP by folding stmts using vrp_fold_stmt as it is > done in ssa_propagate for VRP.
Why? I'd like us to move away from the fold_stmt callback of substitute-and-fold (I have actually started some work towards that). > I have also changed EVRP to handle POINTER_TYPE_P. I will send follow up > patches to use this in IPA-VRP. For pointers all VRP does is track non-NULLness. Can you split out this part? I'm really worried about all the testsuite changes -- it means we are losing test coverage for VRP :/ Richard. > Bootstrapped and regression testd on x86_64-linux-gnu with no new regressions. > Is this OK for trunk? > > Thanks, > Kugan > > gcc/testsuite/ChangeLog: > > 2016-10-03 Kugan Vivekanandarajah <kug...@linaro.org> > > * gcc.dg/pr68217.c: Adjust testcase as more cases are now handled in > evrp. > * gcc.dg/predict-1.c: Likewise. > * gcc.dg/predict-9.c: Likewise. > * gcc.dg/tree-ssa/pr20318.c: Likewise. > * gcc.dg/tree-ssa/pr21001.c: Likewise. > * gcc.dg/tree-ssa/pr21090.c: Likewise. > * gcc.dg/tree-ssa/pr21294.c: Likewise. > * gcc.dg/tree-ssa/pr21559.c: Likewise. > * gcc.dg/tree-ssa/pr21563.c: Likewise. > * gcc.dg/tree-ssa/pr23744.c: Likewise. > * gcc.dg/tree-ssa/pr25382.c: Likewise. > * gcc.dg/tree-ssa/pr61839_1.c: Likewise. > * gcc.dg/tree-ssa/pr68431.c: Likewise. > * gcc.dg/tree-ssa/vrp03.c: Likewise. > * gcc.dg/tree-ssa/vrp07.c: Likewise. > * gcc.dg/tree-ssa/vrp09.c: Likewise. > * gcc.dg/tree-ssa/vrp17.c: Likewise. > * gcc.dg/tree-ssa/vrp18.c: Likewise. > * gcc.dg/tree-ssa/vrp19.c: Likewise. > * gcc.dg/tree-ssa/vrp20.c: Likewise. > * gcc.dg/tree-ssa/vrp23.c: Likewise. > * gcc.dg/tree-ssa/vrp24.c: Likewise. > * gcc.dg/tree-ssa/vrp58.c: Likewise. > * gcc.dg/tree-ssa/vrp92.c: Likewise. > * gcc.dg/tree-ssa/vrp98.c: Likewise. > * gcc.dg/vrp-min-max-1.c: Likewise. > > gcc/ChangeLog: > > 2016-10-03 Kugan Vivekanandarajah <kug...@linaro.org> > > * tree-vrp.c (evrp_dom_walker::before_dom_children): Handle > POINTER_TYPE_P. Also fold stmts with vrp_fold_stmt. > -- Richard Biener <rguent...@suse.de> SUSE LINUX GmbH, GF: Felix Imendoerffer, Jane Smithard, Graham Norton, HRB 21284 (AG Nuernberg)
