I have the following CFG.
Regions for this CFG are.
[0] entry => if.end12 [1] if.else => if.end
An optimization pass I
