1

Topic 10: Static Single Assignment

COS 320

Compiling Techniques

Princeton University Spring 2015

Prof. David August

Def-Use Chains, Use-Def Chains

Use-Def Chains, Def-Use Chains

Static Single Assignment

Why SSA?

Conversion to SSA Code

Conversion to SSA Form

Conversion to SSA Form

Conversion to SSA Form

Conversion to SSA Form

Conversion to SSA Form

Dominance Frontier

Dominance Frontier

Dominance Frontier Computation

SSA Example

Dominator Analysis

SSA Example

The image cannot be displayed. Your computer may not have enough memory to open the image, or the image may have been corrupted. Restart your computer, and then open the file again. If the red x still appears, you may have to delete the image and then insert it again.

SSA Example

SSA Example

SSA Example

Static Single Assignment

SSA Dominance Property

SSA Dead Code Elimination

SSA Dead Code Elimination

SSA Simple Constant Propagation

SSA Simple Constant Propagation

The image cannot be displayed. Your computer may not have enough memory to open the image, or the image may have been corrupted. Restart your computer, and then open the file again. If the red x still appears, you may have to delete the image and then insert it again.

SSA Conditional Constant Propagation

SSA Conditional Constant Propagation

SSA Conditional Constant Propagation

SSA Conditional Constant Propagation

SSA Conditional Constant Propagation

SSA Conditional Constant Propagation

SSA Conditional Constant Propagation Example

SSA Conditional Constant Propagation Example

SSA Conditional Constant Propagation Example

SSA Conditional Constant Propagation Example

SSA Conditional Constant Propagation Example