On 3/6/07, Daniel Berlin <[EMAIL PROTECTED]> wrote:
On 3/5/07, Maxim Kuvyrkov <[EMAIL PROTECTED]> wrote: > Diego Novillo wrote: > > Maxim Kuvyrkov wrote on 03/05/07 02:14: > > > >> o Fix passes that invalidate tree-ssa alias export. > > > > Yes, this should be good and shouldn't need a lot of work. > > > >> o { Fast but unsafe Gupta's aliasing patch, Unsafe tree-ssa alias > >> export } in scheduler's data speculation. > > > > "unsafe" alias export? I would definitely like to see the tree->rtl > > alias information transfer fixed once and for all. Finishing RAS's > > tree->rtl work would probably make a good SoC project. > > "Unsafe" doesn't mean not fixed. My thought is that it would be nice to > have a switch in aliasing that will turn such operations as > > join (pt_anything, points_to) -> pt_anything > > into > > join (pt_anything, points_to) -> points_to > > This transformation will sacrifice correctness for sake of additional > information.In 4.3, doesn't exist outside of the confines of tree-ssa-structalias.c
^^^^^ pt_anything doesn't exist
We transform it into a conservatively correct set of variables, rather than giving up like we used to. This alone should significantly improve your export results.
