I notice in your PDF, you have: Since alias analysis results are often conservative, may-alias sets my contain tens and enve hundreds of symbols.
Is there a reason why not tune the aliasing anaysis to return more liberal results instead of changing the representation? >From looking at Tramp3D, I found (and filed) a case where the aliasing anaysis was too conservative. Also that was the only case I could find and it would reduce the VOPs for this testcase after fixing this issue. I filed this as PR 26609. I can look at the other testcases you mention and find more cases where aliasing analysis is very conservative and file the bugs for them. This seems like a better plan than just changing the representation to work around the fact the may-alias sets are big. Thanks, Andrew Pinski
