The revival transformation
L Feigen, D Klappholz, R Casazza, X Xue - Proceedings of the 21st ACM …, 1994 - dl.acm.org
L Feigen, D Klappholz, R Casazza, X Xue
Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994•dl.acm.orgThe 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.
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.
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.
ACM Digital Library