carlobertolli wrote: @jayfoad can you please point me to where the verification should happen? I looked in MachineVerifier but the input is the COPY instruction, so no verification of the S_MOV_B64. https://github.com/llvm/llvm-project/pull/164138