https://github.com/jayfoad commented: No real objection but... shouldn't verifyInstruction call isOperandLegal on all operands so that we don't have to duplicate checks like this? https://github.com/llvm/llvm-project/pull/170550