SSA Form에서 부분 중복 제거를 이용한 최적화
Optimization Using Partial Redundancy Elimination in SSA Form
1
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
CTOC에서는 정적으로 값과 타입을 결정하기 위해 변수를 배정에 따라 분리하는 SSA Form을 사용한다. SSA Form은 최근 데이터 흐름 분석과 코드 최적화를 위해 컴파일러의 중간 표현으로 많이 사용되고 있다. 하지만 기존의 SSA Form은 표현식보다는 주로 변수에 관련된 것이다. 따라서 SSA Form 형태의 표현식에 대해 최적화를 적용하기 위해 중복된 표현식을 제거한다. 본 논문에서는 좀더 최적화된 코드를 얻기 위해 부분 중복 표현식을 정의하고, 부분 중복 표현식을 제거하는 방법을 구현한다.
Abstract
In order to determine the value and type statically, CTOC uses the SSA Form which separates the variable according to assignment. The SSA Form is widely being used as the intermediate expression of the compiler for data flow analysis as well as code optimization. However, the conventional SSA Form is more associated with variables rather than expressions. Accordingly, the redundant expressions are eliminated to optimize expressions of the SSA Form. This paper defines the partial redundant expression to obtain a more optimized code and also implements the technique for eliminating such expressions.
참고문헌 (19)
- "The Java Virtual Machine Specification" (1997), Addison Wesley, Reading, MA, USA
- "The Java Language Specification" (1997), Addison Wesely
- "Generating Efficient Stack Code for Java" (1999), University of Maryland
- "CTOC에서 자바 바이트코드를 이용한 제어 흐름 분석에 관한 연구", 6(1), pp.160~169 (2006)
- "CTOC에서 자바 바이트코드를 위한 정적 단일 배정 형태", 13-D(7), pp.939~946 (2006)
- "정적 단일 배정 형태를 위한 정적 타입 배정에 관한 연구", 6(2), pp.117~126 (2006)
- "CTOC에서 자바 바이트코드 최적화를 위한 Value Numbering", 11(6), pp.19~26 (2006)
- "Modern Compiler Implementation in Java", pp.437~477 (1998), CAMBRIDGE UNIVERSITY PRESS
- "Advanced Compiler Design and Implementation" (1997), Morgan Kaufmann Publishers, San Francisco
- "C. “Global optimization by suppression of partial redundancies”. Comm. ACM 22", pp.96~1031979
- "Theory and practice”. ACM trans. on Programming Languages and Systems 16", pp.1117~11551994
- "Partial redundancy elimination on predicated code", pp.260~279 (2000)
- "Cost-optimal code motion", 20(6), pp.1297~1322 (1998)
- "new algorithm for partial redundancy elimination based on SSA form", pp.273~286 (1997)
- "Strength reduction via SSAPRE", pp.144~158 (1998)
- "Partial redundancy elimination in SSA form", 21(3), pp.627~676 (1999)
- "Optimal and efficient speculation-based partial redundancy elimination", pp.91~104 (2003)
- "Optimizing for space and time usage with speculative partial redundancy elimination", pp.221~230 (2004)
- "Lifetime Optimal Algorithm for Speculative PRE", 3(2), pp.115~155 (2006)