Basic block identification

Control Flow Graph

Optimizations using basic blocks

The following example shows how after constant propagation followed by constant folding

the arrow corresponding to the else dissapears in the graph and we can conclude that we can remove the else code (and the condition checking) since is not reachable.