mgudim wrote: This is a fix for detecting when condition is loop-invariant: https://github.com/llvm/llvm-project/pull/95877 That needs to be merged before this patch. https://github.com/llvm/llvm-project/pull/92959