[Bug fortran/67170] PRE can't hoist out a readonly argument

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67170 Andrew Pinski changed: What|Removed |Added Target Milestone|--- |6.0 Keywords|

[Bug fortran/67170] PRE can't hoist out a readonly argument

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67170 --- Comment #9 from Richard Biener --- Author: rguenth Date: Tue Sep 29 13:04:18 2015 New Revision: 228244 URL: https://gcc.gnu.org/viewcvs?rev=228244=gcc=rev Log: 2015-09-29 Richard Biener PR

[Bug fortran/67170] PRE can't hoist out a readonly argument

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67170 Richard Biener changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug fortran/67170] PRE can't hoist out a readonly argument

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67170 --- Comment #8 from Richard Biener --- I wonder why IPA SRA doesn't turn the scalar parameter from by-reference to by-value passing btw. I do see that IPA SRA doesn't handle recursion though, thus static int __attribute__((noinline)) foo (int

[Bug fortran/67170] PRE can't hoist out a readonly argument

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67170 --- Comment #7 from Richard Biener --- We can do what the FE should do at gimplification time as well I guess.

[Bug fortran/67170] PRE can't hoist out a readonly argument

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67170 --- Comment #4 from Richard Biener rguenth at gcc dot gnu.org --- Corrected variant, we hit the assert I put in the first one. Index: gcc/tree-ssa-alias.c === ---

[Bug fortran/67170] PRE can't hoist out a readonly argument

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67170 --- Comment #5 from Richard Biener rguenth at gcc dot gnu.org --- Ok to make the alias-oracle approach more scalable we'd need to cache the fn spec parameter/result bits in the functions PARM/RESULT_DECLs (thus in tree_decl_common where we have

[Bug fortran/67170] PRE can't hoist out a readonly argument

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67170 Richard Biener rguenth at gcc dot gnu.org changed: What|Removed |Added Status|NEW |ASSIGNED

[Bug fortran/67170] PRE can't hoist out a readonly argument

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67170 --- Comment #3 from Richard Biener rguenth at gcc dot gnu.org --- Ok, the argument may go like foo (D.3438) may not modify *arg_29(D) because then the fnspec on foo would be incorrect - *arg_29(D) would be modified. Untested patch (works for the

[Bug fortran/67170] PRE can't hoist out a readonly argument

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67170 Richard Biener rguenth at gcc dot gnu.org changed: What|Removed |Added Status|UNCONFIRMED |NEW Last

[Bug fortran/67170] PRE can't hoist out a readonly argument

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67170 --- Comment #1 from Martin Liška mliska at suse dot cz --- Created attachment 36160 -- https://gcc.gnu.org/bugzilla/attachment.cgi?id=36160action=edit Test case