Abstrakt. I teorin, öka precisionen av alias analys bör förbättra resultaten av kompilator optimeringar på C-program. Detta dokument jämför effektiviteten av flera populära alias analyser på nio skalär optimeringar. Vi inkluderar en analys som förutsätter inga alias för att etablera en mycket lös övre gräns för optimeringsmöjligheter. Vi mäter statiskt antalet optimeringsmöjligheter i skalkompilatorn för varje analys som utförs på 36 C-program. Vi finner att precisionen i aliasanalysen i praktiken sällan hämmar dessa optimeringsmöjligheter. Tidigare arbete finner på liknande sätt att den ökade precisionen av specifika alias algoritmer ger liten nytta för skalära optimeringar, och att enkla statiska alias algoritmer avslöjar nästan alla dynamiskt bestämda alias. Detta dokument är dock det första som ger en statisk metod som visar att ytterligare precision sannolikt inte ger förbättringar för en bred uppsättning optimeringar. För kunder med högre krav på alias noggrannhet kan denna metod hjälpa till att fastställa de fall där ytterligare noggrannhet behövs.
Chowdhury m.fl. REF studerar effekten av alias analysprecision på antalet optimeringsmöjligheter för en rad skalära optimeringar.
The limits of alias analysis for scalar optimizations
{'venue': 'In Proceedings of the 13th International Conference on Compiler Construction, volume 2985 of Lecture Notes in Computer Science', 'journal': None, 'mag_field_of_study': ['Computer Science']}