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

[Artur Pilipenko via Phabricator via llvm-commits]

apilipenko added a comment.

I agree with Philip, widening transformation doesn't rely on deoptimizations.

> Some more detailed description: imagine each block had a unique call signaling that we entered it.

The transform in question will not happen if there are side effects in the block.


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

https://reviews.llvm.org/D112693