AdvenamTacet wrote: Ok, I tested this test in #101349 and it works as intended. I used "implicit-check-not", thanks for pointing me into that, I didn't know it. I'm going to merge it, unless anyone sees something to fix here. https://github.com/llvm/llvm-project/pull/94103