Alias verification for Fortran code optimization

• Published in: Electronic notes in theoretical computer science Vol. 65; no. 2; pp. 52 - 66
• Main Authors: Nguyen, Thi Viet Nga, Irigoin, François
• Format: Journal Article
• Language: English
• Published: Elsevier B.V 01.04.2002; Elsevier
• Subjects: Alias; Computation and Language; Computer Science; dummy aliasing; optimization; verification; dummy aliasing; optimization; Alias; verification
• ISSN: 1571-0661; 1571-0661
• DOI: 10.1016/S1571-0661(04)80396-7

Alias analysis for Fortran is less complicated than for programming languages with pointers but many real Fortran programs violate the standard: a formal parameter or a common variable that is aliased with another formal parameter is modified. Compilers, assuming standard-conforming programs, consider that an assignment to one variable will not change the value of any other variable, allowing optimizations involving the aliased variables. Higher performance results but anything may happen: the program may appear to run normally, or may produce incorrect answers, or may behave unpredictably. The results may depend on the compiler and the optimization level. To guarantee the standard conformance of programs and to maintain the referential transparency in order to make program analyses exact and program optimizations safe, precise alias information retrieval at a reasonable cost, especially the determination of overlaps between arrays are studied in this paper. Static analyses and code instrumentation are used to find all violations of the prohibitions against aliasing in Fortran code. Alias violation tests are inserted only at places where it cannot be proved statically that they are useless in order to reduce the number of dynamic checks at run-time. A specific memory location naming technique is used to compact representation and enhance the precision of alias analysis. Modifications on the dependence graph created by aliasing are also studied to show the impact of aliases on some program optimizing transformations. Experimental results on SPEC95 benchmark are presented and some related issues are also discussed.