Alias verification for Fortran code optimization

被引:0
|
作者
Nguyen, TVN [1 ]
Irigoin, F [1 ]
机构
[1] Ecole Mines Paris, Paris, France
关键词
alias; dummy aliasing; verification; optimization;
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
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 produce incorrect answers, or behave unpredictably. The results may depend on the compiler and the optimization level. To guarantee the standard conformance of programs in order to make program analyses exact and program optimizations safe, precise alias information, i.e the determination of overlaps among arrays is studied in this paper. Static analyses and code instrumentation are used to find all violations of the aliasing rules 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 obtain compact representation and to enhance the precision of alias analysis. Modifications on the dependence graph created by aliasing are also studied to show the impact of aliases on the correctness of some program optimizing transformations. Experimental results on SPEC95 CFP benchmark are presented and some related issues are also discussed.
引用
收藏
页码:270 / 297
页数:28
相关论文
共 50 条
  • [11] A FORTRAN code for γγ → ZZ in SM and MSSM
    Diakonidis, T.
    Gounaris, G. J.
    Layssac, J.
    EUROPEAN PHYSICAL JOURNAL C, 2007, 50 (01): : 47 - 52
  • [12] OPTIMIZATION OF EXPRESSIONS IN FORTRAN
    BUSAM, VA
    ENGLUND, DE
    COMMUNICATIONS OF THE ACM, 1969, 12 (12) : 666 - &
  • [13] Product review: Fortran powerstation 4.0 ports Fortran code smoothly to the PC
    Preppernau, Bryan L.
    Shokair, Isaac
    Computers in Physics, 1996, 10 (03):
  • [14] A PREPROCESSOR FOR FORTRAN SOURCE CODE PRODUCED BY REDUCE
    KANEKO, T
    KAWABATA, S
    COMPUTER PHYSICS COMMUNICATIONS, 1989, 55 (02) : 141 - 147
  • [15] Alias analysis of pointers in Pascal and Fortran 90: Dependence analysis between pointer references
    Matsumoto, A
    Han, DS
    Tsuda, T
    ACTA INFORMATICA, 1996, 33 (02) : 99 - 130
  • [16] Parsing C and Fortran code to SymPy Expressions
    Maan, Nikhil
    Singh, Prabhishek
    PROCEEDINGS OF THE CONFLUENCE 2020: 10TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING, DATA SCIENCE & ENGINEERING, 2020, : 592 - 597
  • [17] Alias Analysis for Optimization of Dynamic Languages
    Gorbovitski, Michael
    Liu, Yanhong A.
    Stoller, Scott D.
    Rothamel, Tom
    Tekle, K. Tuncay
    ACM SIGPLAN NOTICES, 2010, 45 (12) : 27 - 41
  • [19] CODE GENERATOR DELIVERS FORTRAN IN MINUTES, NOT MONTHS
    SCHINDER, M
    ELECTRONIC DESIGN, 1981, 29 (23) : 42 - 42
  • [20] FORTRAN CODE FOR 1986 AASHTO GUIDE EQUATIONS
    CROCKFORD, WW
    JOURNAL OF TRANSPORTATION ENGINEERING-ASCE, 1990, 116 (03): : 396 - 403