[Bug tree-optimization/68787] fipa-pta to interpret restrict

2016-04-05 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68787 --- Comment #7 from Richard Biener --- Oh, and with LTO you _should_ see all pointed-to objects and thus restrict should be no longer necessary... (well, in theory)

[Bug tree-optimization/68787] fipa-pta to interpret restrict

2016-04-05 Thread rguenther at suse dot de
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68787 --- Comment #6 from rguenther at suse dot de --- On Tue, 5 Apr 2016, vries at gcc dot gnu.org wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68787 > > --- Comment #5 from vries at gcc dot gnu.org --- > Created attachment 38189 > --> ht

[Bug tree-optimization/68787] fipa-pta to interpret restrict

2016-04-05 Thread vries at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68787 --- Comment #5 from vries at gcc dot gnu.org --- Created attachment 38189 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=38189&action=edit patch to recompute restrict info after ipa-pta (In reply to Richard Biener from comment #4) > One pos

[Bug tree-optimization/68787] fipa-pta to interpret restrict

2016-04-05 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68787 --- Comment #4 from Richard Biener --- One possibility would be to re-run non-IPA PTA just to compute restrict info, that is, instead of bailing out when cfun->gimple_df->ipa_pta just not update SSA pointer-info but still call compute_dependence_

[Bug tree-optimization/68787] fipa-pta to interpret restrict

2016-04-05 Thread vries at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68787 --- Comment #3 from vries at gcc dot gnu.org --- (In reply to vries from comment #2) > This is in particular problematic for fortran and fopenmp/fopenacc, where > the non-aliasing of parameters arrays in fortran is implemented by annotated > those

[Bug tree-optimization/68787] fipa-pta to interpret restrict

2015-12-14 Thread vries at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68787 --- Comment #2 from vries at gcc dot gnu.org --- This is in particular problematic for fortran and fopenmp/fopenacc, where the non-aliasing of parameters arrays in fortran is implemented by annotated those parameters with restrict in the fortran f

[Bug tree-optimization/68787] fipa-pta to interpret restrict

2015-12-14 Thread vries at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68787 vries at gcc dot gnu.org changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|