1# RUN: llc -run-pass=mir-debugify,mir-check-debugify -o - %s 2>&1 | FileCheck %s 2# RUN: llc --experimental-debuginfo-iterators=false -run-pass=mir-debugify,mir-check-debugify -o - %s 2>&1 | FileCheck %s 3 4# CHECK: Machine IR debug info check: PASS 5# CHECK-NOT: Assertion `Var <= NumVars && "Unexpected name for DILocalVariable"' 6 7--- | 8 define i32 @foo(i32 %a0, i32 %a1, i32 %a2, i32 %a3) { 9 %t0 = add i32 %a0, %a1 10 %t1 = add i32 %t0, %a2 11 %t2 = add i32 %t1, %a3 12 ret i32 %t2 13 } 14 15 define i32 @bar(i32 %a0, i32 %a1, i32 %a2, i32 %a3) { 16 %t0 = add i32 %a0, %a1 17 %t1 = add i32 %a2, %t0 18 %t2 = add i32 %t1, %a3 19 ret i32 %t2 20 } 21 22... 23--- 24name: foo 25body: | 26 bb.1 (%ir-block.0): 27 %0:_(s32) = IMPLICIT_DEF 28 %1:_(s32) = IMPLICIT_DEF 29 %2:_(s32) = IMPLICIT_DEF 30 %3:_(s32) = IMPLICIT_DEF 31 %4:_(s32) = G_ADD %0, %1 32 %5:_(s32) = G_ADD %4, %2 33 %6:_(s32) = G_ADD %5, %3 34 35... 36--- 37name: bar 38body: | 39 bb.1 (%ir-block.0): 40 %0:_(s32) = IMPLICIT_DEF 41 %1:_(s32) = IMPLICIT_DEF 42 %2:_(s32) = IMPLICIT_DEF 43 %3:_(s32) = IMPLICIT_DEF 44 %4:_(s32) = G_ADD %0, %1 45 %5:_(s32) = G_ADD %2, %4 46 %6:_(s32) = G_ADD %5, %3 47 48... 49