FlowToy

This Flow Toy allows you to enter a program, and see the result of some simple data flow analyses (liveness, reaching definitions, available expressions, dominators).

The examples below illustrate the syntax of the intermediate programming language that can be analysed.

---

10.1

a := 0 L1: b := a + 1 c := c + b a := b * 2 if a < 10 goto L1 return c

---

17.3

a:=5 c:=1 L1: if c>a goto L2 c:=c+c goto L1 L2: a:=c-a c:=0

---

n1

if b>0 goto L2 x := a+1 goto L1 L2: a := a+2 y := a+1 L1: z := a+1

---

t1

n:=13 L: if n=1 goto S e:=n%2 if e=1 goto E n:=n/2 goto F E: t:=3*n n:=t+1 F: goto L S: return n