the timing of deleteBranch()

[Roland Schatz]

On 04/11/2014 02:16 PM, Miguel Garcia Gutierrez wrote:
> Tapping into the collective knowledge of the list:
>
> As part of some (experimental) control-flow-sensitive rewritings during HighTier, it's possible for the condition of an IfNode, FixedGuardNode, or GuardingPiNode to become constant.
>
> By itself, the above doesn't kill any code: the nodes for the dead control-path remain in the graph, until LoweringPhase runs, right? AFAIK DeadCodeEliminationPhase doesn't call SimplifierTool.deleteBranch(branch)
The branch is removed in the next CanonicalizerPhase. See IfNode.simplify.

- Roland