Path Sensitive Optimizations

value v

Is it necessary to compute v ?

Yes - cannot eliminate

No - can eliminate

already computed - redundant

never used - dead

Maybe

can eliminate along some paths

cannot eliminate along other paths

Optimization = Analysis + Transformations

Previous slide

Next slide

Back to first slide

View graphic version