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

[Artur Pilipenko via Phabricator via llvm-commits]

apilipenko added a comment.

> Is it true that every block which has successors will necessarily fall into this infinite loop?

No. What is special about this test is the fact that bb1 and bb2 have a branch on the same condition (undef).


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

https://reviews.llvm.org/D132356