Like the dominator but a block post dominates another one if it is a mandatory milestone towards the exit.
Thus this introduces an exit basic block that is mandatary in the CFG.
For now, all tests seem to pass as the post-dominator is not in use yet.
Probably will need some adjustments when we put this to work.
Like the dominator but a block post dominates another one if it is a mandatory milestone towards the exit. Thus this introduces an exit basic block that is mandatary in the CFG.
For now, all tests seem to pass as the post-dominator is not in use yet. Probably will need some adjustments when we put this to work.