Dataflow Analysis Visualization

sum = 0 step = 2 loop: blez n body exit body: sum = add sum n tmp = mul -1 step n = add n tmp br loop exit: ret

Valid Program Grammar

label ::= [a-zA-Z0-9_]+
var ::= [a-zA-Z][a-zA-Z0-9_]*
int ::= -?[0-9]+
opn ::= int | var
instr ::=

• | var = add opn opn
• | var = mul opn opn
• | var = opn
• | blez opn label label
• | br label
• | ret

program ::= program label: instr | instr

Start/Reset
Step Forward

Worklist