================ ---------------- nikic wrote: This seems like a pretty odd place to check it. If this is supposed to be a general rule (not X86 specific), then we should do this in the IR verifier instead. https://github.com/llvm/llvm-project/pull/184641