c-rhodes wrote: > Thanks! Is there a way to check this in the verifier? I've added verifiers for gather/scatter intrinsic to check this. Generally the intrinsics are quite loose with constraints, seems like a bit of a rabbit hole. https://github.com/llvm/llvm-project/pull/97584