david-arm wrote: Hi @fhahn, I've created https://github.com/llvm/llvm-project/pull/73515 to prefer diff checks if we can prove the diff check will itself be invariant in the outer loop. https://github.com/llvm/llvm-project/pull/71538