> > > > We do already wrap all bases into MEM_REFs at streaming time, it would > > be easy to adjust it to make it effectively alias-set zero. But of > > course the overhead and the downstream effects of having more MEM_REFs > > (we strip the unneeded ones at stream-in) are unknown (compared to > > the effect of disabling inlining). > > Hmm, I can test in on Firefox (once I get it back to working condition).
One way would be to keep current MEM_REFS stripping and conditoinal in get_alias_set on strict aliasing, but extend inliner to introduce them at a point -fno-strict-aliasing is inlined to -fstrict-aliasing. That way we could drop the code in lto-streamer-out that forcingly set alias set to 0 when get_alias_set == 0 and hopefully get all code transitions right. Honza
