CFG

INITIAL

j = 0 {BB1}
-----------------------
WHILE i = 0 to 10 DO {BB2}
-----------------------
j = i + 1 {BB3}
END DO
-----------------------
... {BB4}


RESULT

j0 = 0 {BB1}
-----------------------
WHILE i1 = 0 to 10 DO {BB2}
-----------------------
j1 = phi(j2, j0) {BB3}
j2 = i1 + 1
END DO
-----------------------
... {BB4}


             ↓-----------------|
BB1 ------> BB2 ----> BB3 -----↑
             |-------> BB4