================ ---------------- jacob-crawley wrote: You're right I don't think there's a scenario where that will be hit if `isTriviallyVectorizable()` is true so I've removed the convergent check. https://github.com/llvm/llvm-project/pull/211022