================ ---------------- iajbar wrote: If allocated registers change, this check will fail. ; CHECK-NEXT: r2 = addasl(r2,r1,#1) ; CHECK-NEXT: r3 = asl(r1,#1) What about using: r[[REG1:[0-9]+]] and r[[REG2:[0-9]+]] instead? https://github.com/llvm/llvm-project/pull/83853