Static single assignment

An SSA-Based Algorithm for Optimal Speculative Code Motion under an Execution Profile
To derive maximum optimization benefits from partial redundancy elimination (PRE),it is necessary to go beyond its safety constraint. …
PDF Cite DOI URL