llvm/llvm/test/CodeGen/X86/pr57673.mir

# RUN: llc -mtriple=x86_64-unknown-unknown -mcpu=x86-64 -run-pass=x86-optimize-LEAs -o - %s | FileCheck %s

# This test case used to trigger the assertion in the LEA optimization pass:
#
#   assert(MRI->use_empty(LastVReg) &&
#          "The LEA's def register must have no uses");

# CHECK:     LEA64r
# CHECK-NOT: LEA64r
# CHECK:     DBG_VALUE_LIST

--- |
  define void @foo() {
    ret void
  }

  !0 = !DIFile(filename: "a", directory: "/proc/self/cwd")
  !1 = distinct !DISubprogram(name: "c", scope: null, file: !0, line: 3)
  !2 = !DILocalVariable(name: "r", scope: !1, file: !0, line: 4)
  !3 = !DILocation(line: 5, scope: !1)
...
---
name: foo
alignment: 16
tracksRegLiveness: true
stack:
  - { id: 0, size: 40, alignment: 8 }
body: |
  bb.0:
    %0:gr64 = LEA64r %stack.0, 1, $noreg, 0, $noreg
    %1:gr64 = LEA64r %stack.0, 1, $noreg, 40, $noreg
    DBG_VALUE_LIST !2, !DIExpression(DW_OP_LLVM_arg, 0), %1:gr64, %1:gr64, debug-location !3
    %2:vr128 = MOVUPSrm %1:gr64, 1, $noreg, 0, $noreg
    RET64
...