[PATCH] D112693: [SimplifyCFG] Fix miscompile in tryWidenCondBranchToCondBranch. PR52290

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added a comment.

Some more detailed description: imagine each block had a unique call signaling that we entered it. In the initial test, path `bb->bb1->bb5` did exist and was legal. But if after `bb` we've decided to go to `bb2`, then there is no possible way we can ever get to `bb5`. But with this transform, we sure can (`bb->bb2->bb1->bb5`), for no explainable reason. It's a bug.


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

https://reviews.llvm.org/D112693