[PATCH] D88293: [ControlDependentDCE] Add Control Dependent DCE pass

[Masaki Arai via Phabricator via llvm-commits]

masakiarai added a comment.

Considering only the DCE's feature, I think the ADCE pass is close to this pass's purpose.
The big difference between this pass and others is that this pass duplicates the basic block to isolate the control flow.
This feature can promote loop optimizations by isolating the control flow that does not enter loops out of the kernel part when there is a sequence of multiple loops in numerical applications.
However, this first version duplicates basic blocks only in the conservative case where the performance is definitely improved.
This pass needs to duplicate basic blocks more aggressively and selectively to facilitate loop optimizations.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D88293/new/

https://reviews.llvm.org/D88293