[Bug tree-optimization/23659] Should able to add dereferencing (statements with VUSE) without rerunning may_alias
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=23659 Richard Biener changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED|RESOLVED --- Comment #6 from Richard Biener --- Fixed a long time ago.
[Bug tree-optimization/23659] Should able to add dereferencing (statements with VUSE) without rerunning may_alias
--- Comment #4 from rakdver at gcc dot gnu dot org 2006-03-01 12:10 --- Created an attachment (id=10944) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=10944&action=view) Possible patch (In reply to comment #2) > Working on it. > are you still working on this PR? I think something similar to the attached patch should fix the problem -- it makes us remember alias class --> TMT mapping globally, and uses it to set up TMT's for the new pointers. Could you please comment on whether you consider this the right approach, or propose an alternative one? On a side note, things like this might become even more difficult with the new memory ssa approach. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23659
[Bug tree-optimization/23659] Should able to add dereferencing (statements with VUSE) without rerunning may_alias
--- Comment #5 from dnovillo at gcc dot gnu dot org 2006-03-01 14:30 --- (In reply to comment #4) > are you still working on this PR? > Yes. In fact, it's one of the kind of manipulations that drove the design decisions in memory SSA. > I think something similar to the attached patch should fix the problem -- it > makes us remember alias class --> TMT mapping globally, and uses it to set up > TMT's for the new pointers. Could you please comment on whether you consider > this the right approach, or propose an alternative one? > Whenever a new pointer symbol is introduced, it should receive a type tag. This type tag is then assigned a set of aliases (or not, depending on context). In fact, my plan is for these manually added type tags to be marked so that subsequent alias passes don't affect them. This should help the vectorizer and other passes introduce a pointer symbol with a specific set of points-to aliases that the aliaser may not have a chance of compute so accurately otherwise. > On a side note, things like this might become even more difficult with the new > memory ssa approach. > Huh. What makes you think that? -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23659
[Bug tree-optimization/23659] Should able to add dereferencing (statements with VUSE) without rerunning may_alias
--- Comment #3 from pinskia at gcc dot gnu dot org 2005-11-12 05:32 --- This should remove the need to change may_alias to a TODO (PR 23330). -- pinskia at gcc dot gnu dot org changed: What|Removed |Added OtherBugsDependingO||23330 nThis|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23659
[Bug tree-optimization/23659] Should able to add dereferencing (statements with VUSE) without rerunning may_alias
-- What|Removed |Added Status|UNCONFIRMED |ASSIGNED Ever Confirmed||1 Last reconfirmed|-00-00 00:00:00 |2005-08-31 17:00:14 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23659
[Bug tree-optimization/23659] Should able to add dereferencing (statements with VUSE) without rerunning may_alias
--- Additional Comments From steven at gcc dot gnu dot org 2005-08-31 21:38 --- Can the alias gurus please give their view on this one? -- What|Removed |Added CC||dberlin at gcc dot gnu dot ||org, dnovillo at gcc dot gnu ||dot org Keywords||alias http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23659
[Bug tree-optimization/23659] Should able to add dereferencing (statements with VUSE) without rerunning may_alias
--- Additional Comments From dnovillo at gcc dot gnu dot org 2005-08-31 21:41 --- Working on it. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23659