When working with optimizations on widenable condition, a misscompile bug was found.
@mkazantsev tried to fix it, but was never approved.
Yesterday I ran into this bug again.the bug by limiting one of the transforms, Thereforebut this transforms is a weird, I decided that in the casebut a legal form of an infinite loop,guard widening. do not fall by assert, but break out of the loopHe doesn't have strong enough ground to disable it.
So maybe the only way to break the infinite loop here is just to break while-loop after N iterations.
Link to Maxim's patch https://reviews.llvm.org/D112693