The revival transformation

Authors:
Lawrence Feigen;David Klappholz;Robert Casazza;Xing Xue
Affiliations:
Novell, Inc. and Stevens Institute of Technology;Stevens Institute of Technology;Nynex Science and Technology, Inc. and Stevens Institute of Technology;Stevens Institute of Technology
Venue:
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Year:
1994

Citing 10
Cited 9

Compilers: principles, techniques, and tools

Compilers: principles, techniques, and tools
Generating sequential code from parallel code

ICS '88 Proceedings of the 2nd international conference on Supercomputing
Global value numbers and redundant computations

POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A foundation for sequentializing parallel code

SPAA '90 Proceedings of the second annual ACM symposium on Parallel algorithms and architectures
Lazy code motion

PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
A solution to a problem with Morel and Renvoise's “Global optimization by suppression of partial redundancies”

ACM Transactions on Programming Languages and Systems (TOPLAS)
Some comments on “A solution to a problem with Morel and Renvoise's 'Global optimization by suppression of partial redundancies'”

ACM Transactions on Programming Languages and Systems (TOPLAS)
Practical adaption of the global optimization algorithm of Morel and Renvoise

ACM Transactions on Programming Languages and Systems (TOPLAS)
On linearizing parallel code

POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Global optimization by suppression of partial redundancies

Communications of the ACM

Value dependence graphs: representation without taxation

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
VLIW compilation techniques in a superscalar environment

PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Partial dead code elimination

PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Effective partial redundancy elimination

PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
The power of assignment motion

PLDI '95 Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation
Partial dead code elimination using slicing transformations

Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation
Register promotion by sparse partial redundancy elimination of loads and stores

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Partial Dead Code Elimination Using Extended Value Graph

SAS '99 Proceedings of the 6th International Symposium on Static Analysis
Interacting code motion transformations: their impact and their complexity

Interacting code motion transformations: their impact and their complexity

Quantified Score

Hi-index	0.00

Visualization

Abstract

The notion that a definition of a variable is dead is used by optimizing compilers to delete code whose execution is useless. We extend the notion of deadness to that of partial deadness, and define a transformation, the revival transformation, which eliminates useless executions of a (partially dead) definition by tightening its execution conditions without changing the set of uses which it reaches or the conditions under which it reaches each of them.