Partial value number redundancy elimination

被引:4
|
作者
Odaira, R [1 ]
Hiraki, K [1 ]
机构
[1] Univ Tokyo, Bunkyo Ku, Tokyo 113, Japan
关键词
D O I
10.1007/11532378_29
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
When exploiting instruction level parallelism in a runtime optimizing compiler, it is indispensable to quickly remove redundant computations and memory accesses to make resources available. We propose a fast and efficient algorithm called Partial Value Number Redundancy Elimination (PVNRE), which completely fuses Partial Redundancy Elimination (PRE) and Global Value Numbering (GVN). Using value numbers in the data-flow analyses, PVNRE can deal with data-dependent redundancy, and can quickly remove path-dependent partial redundancy by converting value numbers at join nodes on demand during the data-flow analyses. Compared with the naive combination of GVN, PRE, and copy propagation, PVNRE has a maximum 45% faster analyses speed, but the same optimizing power on SPECjvm98.
引用
收藏
页码:409 / 423
页数:15
相关论文
共 50 条
  • [1] Value-based partial redundancy elimination
    VanDrunen, T
    Hosking, AL
    [J]. COMPILER CONSTRUCTION, PROCEEDINGS, 2004, 2985 : 167 - 184
  • [2] Partial redundancy elimination is not bidirectional
    Wolfe, M
    [J]. ACM SIGPLAN NOTICES, 1999, 34 (06) : 43 - 46
  • [3] EFFECTIVE PARTIAL REDUNDANCY ELIMINATION
    BRIGGS, P
    COOPER, KD
    [J]. SIGPLAN NOTICES, 1994, 29 (06): : 159 - 170
  • [4] Partial redundancy elimination in SSA form
    Kennedy, R
    Chan, S
    Liu, SM
    Lo, R
    Tu, P
    Chow, F
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1999, 21 (03): : 627 - 676
  • [5] Partial redundancy elimination with predication techniques
    Scholz, B
    Mehofer, E
    Horspool, N
    [J]. EURO-PAR 2003 PARALLEL PROCESSING, PROCEEDINGS, 2003, 2790 : 242 - 250
  • [6] A simple algorithm for partial redundancy elimination
    Paleri, VK
    Srikant, YN
    Shankar, P
    [J]. ACM SIGPLAN NOTICES, 1998, 33 (12) : 35 - 43
  • [7] Proof Optimization for Partial Redundancy Elimination
    Saabas, Ando
    Uustalu, Tarmo
    [J]. PEPM'08: PROCEEDINGS OF THE 2008 ACM SIGPLAN SYMPOSIUM ON PARTIAL EVALUATION AND SEMANTICS-BASED PROGRAM MANIPULATION, 2008, : 91 - +
  • [8] Proof optimization for partial redundancy elimination
    Saabas, Ando
    Uustalu, Tarmo
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2009, 78 (07): : 619 - 642
  • [9] Partial redundancy elimination on predicated code
    Knoop, J
    Collard, JF
    Ju, RDC
    [J]. STATIC ANALYSIS, 2000, 1824 : 260 - 279
  • [10] A practical adoption of partial redundancy elimination
    Bronnikov, D
    [J]. ACM SIGPLAN NOTICES, 2004, 39 (08) : 49 - 53