Common Sub-expression Elim Want to compute when an expression is available in a var Domain:
From last time: live variables Set D = 2 Vars Lattice: (D, v, ?, >, t, u ) = (2 Vars, µ, ;,Vars, [, Å ) x := y op z in out F x := y op z (out) = out –
Recap from last time: live variables x := 5 y := x + 2 x := x + 1 y := x + 10... y...
Direction of analysis Although constraints are not directional, flow functions are All flow functions we have seen so far are in the forward direction.
1 Electrical and Computer Engineering R. F. I. D. Rescuing Firefighters in Distress Team Ganz: Jonathan Bruso Michael Carney Daniel Fortin James Schafer.
When e Is Really Dr. Ernesto Gomez Dr. Yasha Karant Dr. Keith Evan Schubert The authors gratefully acknowledge the NSF’s support by CISE 98-10708.
