GRAPHICAL VISUALIZATION OF COMPILER OPTIMIZATIONS

被引:0
|
作者
BOYD, MR
WHALLEY, DB
机构
来源
JOURNAL OF PROGRAMMING LANGUAGES | 1995年 / 3卷 / 02期
关键词
COMPILATION TOOLS; PROGRAM VISUALIZATION; OPTIMIZATION VIEWER; DEBUGGING;
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
xvpodb, a visualization tool developed to support the analysis of optimizations performed by the vpo optimizer, is described. The tool is a graphical optimization viewer that can display the state of the program representation before and after sequences of changes, referred to as transformations, that result in semantically equivalent (and usually improved) code. The information and insight such visualization provides can simplify the debugging of problems with the optimizer. Unique features of xvpodb include reverse viewing (or undoing) of transformations and the ability to stop at breakpoints associated with the generated instructions. The viewer facilitates the retargeting of vpo to a new machine, supports experimentation with new optimizations, and has been used as a teaching aid in compiler classes.
引用
收藏
页码:69 / 94
页数:26
相关论文
共 50 条
  • [1] Compiler Optimizations for OpenMP
    Doerfert, Johannes
    Finkel, Hal
    EVOLVING OPENMP FOR EVOLVING ARCHITECTURES, 2018, 11128 : 113 - 127
  • [2] COMPILER OPTIMIZATIONS FOR THE WAM
    TURK, AK
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 657 - 662
  • [3] Phase Directed Compiler Optimizations
    Jain, Era
    Roy, Subhajit
    PROCEEDINGS OF 2016 IEEE 23RD INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING (HIPC), 2016, : 270 - 279
  • [4] Incremental Verification of Compiler Optimizations
    Fedyukovich, Grigory
    Gurfinkel, Arie
    Sharygina, Natasha
    NASA FORMAL METHODS, NFM 2014, 2014, 8430 : 300 - 306
  • [5] Detection of Optimizations Missed by the Compiler
    Zhang, Yi
    PROCEEDINGS OF THE 31ST ACM JOINT MEETING EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, ESEC/FSE 2023, 2023, : 2192 - 2194
  • [6] ADVANCED COMPILER OPTIMIZATIONS FOR SUPERCOMPUTERS
    PADUA, DA
    WOLFE, MJ
    COMMUNICATIONS OF THE ACM, 1986, 29 (12) : 1184 - 1201
  • [7] Understanding the behavior of compiler optimizations
    Lee, Han
    von Dincklage, Daniel
    Diwan, Amer
    Moss, J. Eliot B.
    SOFTWARE-PRACTICE & EXPERIENCE, 2006, 36 (08): : 835 - 844
  • [8] Compiler Optimizations for Parallel Programs
    Doerfert, Johannes
    Finkel, Hal
    LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING (LCPC 2018), 2019, 11882 : 112 - 119
  • [9] Automatically proving the correctness of compiler optimizations
    Lerner, S
    Millstein, T
    Chambers, C
    ACM SIGPLAN NOTICES, 2003, 38 (05) : 220 - 231
  • [10] Weakest Precondition Synthesis for Compiler Optimizations
    Lopes, Nuno P.
    Monteiro, Jose
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION: (VMCAI 2014), 2014, 8318 : 203 - 221