1.  entry:
2.      %y1 = …
3.      %x1 = …
4.      %z1 = …
5.      %p = icmp …
6.      br i1 %p, label %if, label %else
7.  if:
8.      %x2 = add i32 %y1, 1
9.      br label %merge
10. else:
11.     %x3 = mult i32 %y1, 2
12. merge:
13.     %x4 = phi i32 %x2, %if, %x3, %else
14.     %z2 = %add i32 %x4, 3