| # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 4 |
| # RUN: llc -mtriple=arm64-apple-macosx -mcpu=apple-m1 -verify-coalescing -run-pass=register-coalescer -o - %s | FileCheck %s |
| |
| # Hits assert "Trying to add an operand to a machine instr that is |
| # already done!" when rematerializing during greedy. This was because |
| # an IMPLICIT_DEF ended up with some immediate operands during |
| # coalescing. A SUBREG_TO_REG was not dropping the immediate operands |
| # when mutating to IMPLICIT_DEF, and would later fail the assert when |
| # creating a new IMPLICIT_DEF copy during rematerialization. |
| |
| --- | |
| define void @_ZN38SanitizerCommonInterceptors_Scanf_Test8TestBodyEv() { |
| ret void |
| } |
| |
| declare void @_ZL9testScanfPKcjz(ptr, i32, ...) |
| |
| ... |
| --- |
| name: _ZN38SanitizerCommonInterceptors_Scanf_Test8TestBodyEv |
| alignment: 4 |
| tracksRegLiveness: true |
| frameInfo: |
| maxAlignment: 8 |
| adjustsStack: true |
| hasCalls: true |
| maxCallFrameSize: 24 |
| body: | |
| bb.0: |
| liveins: $x0, $x1, $x2, $x3, $x4, $x5, $x6 |
| |
| ; CHECK-LABEL: name: _ZN38SanitizerCommonInterceptors_Scanf_Test8TestBodyEv |
| ; CHECK: liveins: $x0, $x1, $x2, $x3, $x4, $x5, $x6 |
| ; CHECK-NEXT: {{ $}} |
| ; CHECK-NEXT: [[DEF:%[0-9]+]]:gpr64sp = IMPLICIT_DEF |
| ; CHECK-NEXT: dead [[DEF1:%[0-9]+]]:gpr32 = IMPLICIT_DEF |
| ; CHECK-NEXT: [[DEF2:%[0-9]+]]:gpr64common = IMPLICIT_DEF |
| ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x5 |
| ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x4 |
| ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr64 = COPY $x3 |
| ; CHECK-NEXT: [[COPY3:%[0-9]+]]:gpr64 = COPY $x2 |
| ; CHECK-NEXT: [[COPY4:%[0-9]+]]:gpr64 = COPY $x1 |
| ; CHECK-NEXT: [[COPY5:%[0-9]+]]:gpr64 = COPY $x0 |
| ; CHECK-NEXT: [[DEF3:%[0-9]+]]:gpr64 = IMPLICIT_DEF |
| ; CHECK-NEXT: [[DEF4:%[0-9]+]]:gpr64 = IMPLICIT_DEF |
| ; CHECK-NEXT: [[DEF5:%[0-9]+]]:gpr64 = IMPLICIT_DEF |
| ; CHECK-NEXT: ADJCALLSTACKDOWN 16, 0, implicit-def dead $sp, implicit $sp |
| ; CHECK-NEXT: BL @_ZL9testScanfPKcjz, csr_darwin_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit-def $sp |
| ; CHECK-NEXT: ADJCALLSTACKUP 16, 0, implicit-def dead $sp, implicit $sp |
| ; CHECK-NEXT: ADJCALLSTACKDOWN 8, 0, implicit-def dead $sp, implicit $sp |
| ; CHECK-NEXT: STRXui [[DEF3]], [[DEF]], 0 :: (store (s64) into stack) |
| ; CHECK-NEXT: ADJCALLSTACKUP 8, 0, implicit-def dead $sp, implicit $sp |
| ; CHECK-NEXT: STRWui undef [[DEF1]], [[DEF2]], 0 :: (store (s32)) |
| ; CHECK-NEXT: ADJCALLSTACKDOWN 8, 0, implicit-def dead $sp, implicit $sp |
| ; CHECK-NEXT: STRXui [[DEF4]], undef [[DEF]], 0 :: (store (s64) into stack) |
| ; CHECK-NEXT: $x0 = COPY [[COPY5]] |
| ; CHECK-NEXT: ADJCALLSTACKUP 8, 0, implicit-def dead $sp, implicit $sp |
| ; CHECK-NEXT: ADJCALLSTACKDOWN 8, 0, implicit-def dead $sp, implicit $sp |
| ; CHECK-NEXT: $x0 = COPY [[COPY4]] |
| ; CHECK-NEXT: ADJCALLSTACKUP 8, 0, implicit-def dead $sp, implicit $sp |
| ; CHECK-NEXT: ADJCALLSTACKDOWN 8, 0, implicit-def dead $sp, implicit $sp |
| ; CHECK-NEXT: $x0 = COPY [[COPY3]] |
| ; CHECK-NEXT: ADJCALLSTACKUP 8, 0, implicit-def dead $sp, implicit $sp |
| ; CHECK-NEXT: ADJCALLSTACKDOWN 8, 0, implicit-def dead $sp, implicit $sp |
| ; CHECK-NEXT: $x0 = COPY [[COPY2]] |
| ; CHECK-NEXT: ADJCALLSTACKUP 8, 0, implicit-def dead $sp, implicit $sp |
| ; CHECK-NEXT: ADJCALLSTACKDOWN 8, 0, implicit-def dead $sp, implicit $sp |
| ; CHECK-NEXT: $x0 = COPY [[COPY1]] |
| ; CHECK-NEXT: ADJCALLSTACKUP 8, 0, implicit-def dead $sp, implicit $sp |
| ; CHECK-NEXT: ADJCALLSTACKDOWN 8, 0, implicit-def dead $sp, implicit $sp |
| ; CHECK-NEXT: $x0 = COPY [[COPY]] |
| ; CHECK-NEXT: ADJCALLSTACKUP 8, 0, implicit-def dead $sp, implicit $sp |
| ; CHECK-NEXT: ADJCALLSTACKDOWN 24, 0, implicit-def dead $sp, implicit $sp |
| ; CHECK-NEXT: STRXui [[DEF5]], undef [[DEF]], 1 :: (store (s64) into stack + 8) |
| ; CHECK-NEXT: ADJCALLSTACKUP 24, 0, implicit-def dead $sp, implicit $sp |
| ; CHECK-NEXT: RET_ReallyLR |
| %0:gpr64sp = IMPLICIT_DEF |
| %1:gpr32 = IMPLICIT_DEF |
| %2:gpr64common = IMPLICIT_DEF |
| %3:gpr64 = COPY killed $x5 |
| %4:gpr64 = COPY killed $x4 |
| %5:gpr64 = COPY killed $x3 |
| %6:gpr64 = COPY killed $x2 |
| %7:gpr64 = COPY killed $x1 |
| %8:gpr64 = COPY killed $x0 |
| %9:gpr64 = IMPLICIT_DEF |
| %10:gpr64 = IMPLICIT_DEF |
| %11:gpr64 = SUBREG_TO_REG 0, killed undef %1, %subreg.sub_32 |
| ADJCALLSTACKDOWN 16, 0, implicit-def dead $sp, implicit $sp |
| BL @_ZL9testScanfPKcjz, csr_darwin_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit-def $sp |
| ADJCALLSTACKUP 16, 0, implicit-def dead $sp, implicit $sp |
| ADJCALLSTACKDOWN 8, 0, implicit-def dead $sp, implicit $sp |
| STRXui %9, killed %0, 0 :: (store (s64) into stack) |
| ADJCALLSTACKUP 8, 0, implicit-def dead $sp, implicit $sp |
| STRWui undef %1, killed %2, 0 :: (store (s32)) |
| ADJCALLSTACKDOWN 8, 0, implicit-def dead $sp, implicit $sp |
| STRXui killed %10, killed undef %0, 0 :: (store (s64) into stack) |
| $x0 = COPY killed %8 |
| ADJCALLSTACKUP 8, 0, implicit-def dead $sp, implicit $sp |
| ADJCALLSTACKDOWN 8, 0, implicit-def dead $sp, implicit $sp |
| $x0 = COPY killed %7 |
| ADJCALLSTACKUP 8, 0, implicit-def dead $sp, implicit $sp |
| ADJCALLSTACKDOWN 8, 0, implicit-def dead $sp, implicit $sp |
| $x0 = COPY killed %6 |
| ADJCALLSTACKUP 8, 0, implicit-def dead $sp, implicit $sp |
| ADJCALLSTACKDOWN 8, 0, implicit-def dead $sp, implicit $sp |
| $x0 = COPY killed %5 |
| ADJCALLSTACKUP 8, 0, implicit-def dead $sp, implicit $sp |
| ADJCALLSTACKDOWN 8, 0, implicit-def dead $sp, implicit $sp |
| $x0 = COPY killed %4 |
| ADJCALLSTACKUP 8, 0, implicit-def dead $sp, implicit $sp |
| ADJCALLSTACKDOWN 8, 0, implicit-def dead $sp, implicit $sp |
| $x0 = COPY killed %3 |
| ADJCALLSTACKUP 8, 0, implicit-def dead $sp, implicit $sp |
| ADJCALLSTACKDOWN 24, 0, implicit-def dead $sp, implicit $sp |
| STRXui killed %11, undef %0, 1 :: (store (s64) into stack + 8) |
| ADJCALLSTACKUP 24, 0, implicit-def dead $sp, implicit $sp |
| RET_ReallyLR |
| |
| ... |