e-kud wrote: > They show the SUBREG_TO_REG, but SUBREG_TO_REG is often misunderstood and there's nothing that can check that is correctly used. @topperc maybe we can add a subreg-superreg check to `MachineVerifier`? https://github.com/llvm/llvm-project/pull/81615