[PATCH] D115781: [SimplifyCFG] Try to do somethink with misscompile bug in widenable condition.

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev requested changes to this revision.
mkazantsev added a comment.
This revision now requires changes to proceed.

Please rewrite commit message here to make it clear what's going on.

The point here is that I tried to fix the hang by limiting one of the transforms. But as it was pointed out on review, this transform is a weird, but legal form of guard widening. So I don't have strong enough ground to disable it.

On the other hand, there are 3 unrelated transforms described in D112693 <https://reviews.llvm.org/D112693> that lead to infinite loop.

I can' say either of them is illegal, and there is no clear invariant set that one of them would break. So maybe the only way to break the infinite loop here is just to break while-loop after N interations.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D115781