https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67170
Andrew Pinski changed:
What|Removed |Added
Target Milestone|--- |6.0
Keywords|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67170
Richard Biener changed:
What|Removed |Added
Status|ASSIGNED|RESOLVED
Resolution|---
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&root=gcc&view=rev
Log:
2015-09-29 Richard Biener
PR tree-optimization/67170
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 *
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.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67170
Richard Biener changed:
What|Removed |Added
Status|NEW |ASSIGNED
Assignee|unassigned
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67170
--- Comment #5 from Richard Biener ---
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 conveniently 24bits left t
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67170
--- Comment #4 from Richard Biener ---
Corrected variant, we hit the assert I put in the first one.
Index: gcc/tree-ssa-alias.c
===
--- gcc/tree-ssa-alias.c(revision 226852)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67170
--- Comment #3 from Richard Biener ---
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 testcase):
Index: gcc/
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67170
Richard Biener changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last reconfirmed|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67170
--- Comment #1 from Martin Liška ---
Created attachment 36160
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=36160&action=edit
Test case
11 matches
Mail list logo
