Partial redundancy elimination for access expressions by speculative code motion

2004 ◽  
Vol 34 (11) ◽  
pp. 1065-1090 ◽  
Author(s):  
Motohiro Kawahito ◽  
Hideaki Komatsu ◽  
Toshio Nakatani
Keyword(s):  
Redundancy Elimination ◽  
Partial Redundancy Elimination ◽  
Partial Redundancy ◽  
Code Motion

Effective partial redundancy elimination

1994 ◽  
Vol 29 (6) ◽  
pp. 159-170 ◽  
Author(s):  
Preston Briggs ◽  
Keith D. Cooper
Keyword(s):  
Redundancy Elimination ◽  
Partial Redundancy Elimination ◽  
Partial Redundancy

Predicated Partial Redundancy Elimination using a Cost Analysis

2003 ◽  
Vol 13 (04) ◽  
pp. 525-536
Author(s):  
Bernhard Scholz ◽  
Eduard Mehofer ◽  
Nigel Horspool
Keyword(s):  
Cost Analysis ◽  
Cost Model ◽  
Code Size ◽  
Redundancy Elimination ◽  
Key Technology ◽  
Flow Information ◽  
Partial Redundancy Elimination ◽  
The Cost ◽  
Traditional Approaches ◽  
Partial Redundancy

Partial redundancy elimination (PRE) is a key technology for modern compilers. However traditional approaches are conservative and fail to exploit many opportunities for optimization. New PRE approaches which greatly increase the number of eliminated redundancies have been developed. However, they either cause the code size to explode or they cannot handle statements with side-effects. In this paper we describe a predicated partial redundancy elimination (PPRE) approach which can potentially remove all partial redundancies. To avoid performance overheads caused by predication, PPRE is applied selectively based on a cost model. The cost analysis presented in the paper utilizes probabilistic data-flow information to decide whether PPRE is profitable for each instance of a partially redundant computation. Refinements of the basic PPRE transformation are described in detail. In contrast to some other approaches our transformation is strictly semantics preserving.

Partial redundancy elimination in SSA form

1999 ◽  
Vol 21 (3) ◽  
pp. 627-676 ◽  
Author(s):  
Robert Kennedy ◽  
Sun Chan ◽  
Shin-Ming Liu ◽  
Raymond Lo ◽  
Peng Tu ◽  
...  
Keyword(s):  
Redundancy Elimination ◽  
Partial Redundancy Elimination ◽  
Partial Redundancy
Sign in / Sign up

Export Citation Format

Share Document