[PATCH] D132356: [SimplifyCFG] Don't widen cond br to cond br if false branch has successors

[Artur Pilipenko via Phabricator via llvm-commits]

apilipenko accepted this revision.
apilipenko added a comment.
This revision is now accepted and ready to land.

LGTM with a small comment to address.



================
Comment at: llvm/lib/Transforms/Utils/SimplifyCFG.cpp:4002-4004
+  // This helps avoid infinite loop with other transformations in SimplifyCFG,
+  // e.g. SimplifyCondBranchToCondBranch which may do the opposite thing to what
+  // is done here.
----------------
Unless you know of any other transformation cycles, just say that we prevent a cyclic transformation with SimplifyCondBranchToCondBranch.


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

https://reviews.llvm.org/D132356