[PATCH] D24918: [ADCE] Add code to remove dead branches

[David Callahan via Phabricator via llvm-commits]

david2050 added a comment.

Regarding the question of simpler update to the control flow, I reviewed two references from @dberlin:

(1)  https://www.clear.rice.edu/comp512/Lectures/10Dead-Clean-SCCP.pdf

In this work, the PHI nodes contain only references to named definitions and do not include a reference to the predecessor blocks associated with reaching paths from those definitions.

(2)  https://github.com/apple/swift/blob/master/lib/SILOptimizer/Transforms/DeadCodeElimination.cpp

This swift variant makes no explicit reference to Phi nodes and does neither updates them nor manages explicit predecessors as far as I can tell.

Does anyone have another pointer to compiler which have SSA-based dead code elimination including control flow which might guide to a similar approach the code here? 
Thanks!


https://reviews.llvm.org/D24918