| # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py |
| # RUN: llc -mtriple=aarch64-- -run-pass=instruction-select -verify-machineinstrs -global-isel-abort=1 %s -o - | FileCheck %s |
| |
| --- |
| name: truncstore_atomic_32 |
| alignment: 4 |
| legalized: true |
| regBankSelected: true |
| tracksRegLiveness: true |
| liveins: |
| - { reg: '$x0' } |
| - { reg: '$w1' } |
| body: | |
| ; CHECK-LABEL: name: truncstore_atomic_32 |
| ; CHECK: bb.0: |
| ; CHECK-NEXT: successors: %bb.2(0x40000000), %bb.1(0x40000000) |
| ; CHECK-NEXT: liveins: $w1, $x0 |
| ; CHECK-NEXT: {{ $}} |
| ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64sp = COPY $x0 |
| ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w1 |
| ; CHECK-NEXT: TBNZW [[COPY1]], 0, %bb.2 |
| ; CHECK-NEXT: B %bb.1 |
| ; CHECK-NEXT: {{ $}} |
| ; CHECK-NEXT: bb.1: |
| ; CHECK-NEXT: successors: %bb.2(0x80000000) |
| ; CHECK-NEXT: {{ $}} |
| ; CHECK-NEXT: [[MOVi32imm:%[0-9]+]]:gpr32 = MOVi32imm 4 |
| ; CHECK-NEXT: [[SUBREG_TO_REG:%[0-9]+]]:gpr64all = SUBREG_TO_REG 0, [[MOVi32imm]], %subreg.sub_32 |
| ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY [[SUBREG_TO_REG]].sub_32 |
| ; CHECK-NEXT: STLRW [[COPY2]], [[COPY]] :: (store release (s32)) |
| ; CHECK-NEXT: {{ $}} |
| ; CHECK-NEXT: bb.2: |
| ; CHECK-NEXT: RET_ReallyLR |
| bb.1: |
| liveins: $w1, $x0 |
| |
| %0:gpr(p0) = COPY $x0 |
| %3:gpr(s32) = COPY $w1 |
| %2:gpr(s8) = G_TRUNC %3(s32) |
| %4:gpr(s8) = G_ASSERT_ZEXT %2, 1 |
| %1:gpr(s1) = G_TRUNC %4(s8) |
| G_BRCOND %1(s1), %bb.3 |
| G_BR %bb.2 |
| |
| bb.2: |
| %8:gpr(s64) = G_CONSTANT i64 4 |
| G_STORE %8(s64), %0(p0) :: (store release (s32)) |
| |
| bb.3: |
| RET_ReallyLR |
| |
| ... |
| --- |
| name: truncstore_atomic_16 |
| alignment: 4 |
| legalized: true |
| regBankSelected: true |
| tracksRegLiveness: true |
| liveins: |
| - { reg: '$x0' } |
| - { reg: '$w1' } |
| body: | |
| ; CHECK-LABEL: name: truncstore_atomic_16 |
| ; CHECK: bb.0: |
| ; CHECK-NEXT: successors: %bb.2(0x40000000), %bb.1(0x40000000) |
| ; CHECK-NEXT: liveins: $w1, $x0 |
| ; CHECK-NEXT: {{ $}} |
| ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64sp = COPY $x0 |
| ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w1 |
| ; CHECK-NEXT: TBNZW [[COPY1]], 0, %bb.2 |
| ; CHECK-NEXT: B %bb.1 |
| ; CHECK-NEXT: {{ $}} |
| ; CHECK-NEXT: bb.1: |
| ; CHECK-NEXT: successors: %bb.2(0x80000000) |
| ; CHECK-NEXT: {{ $}} |
| ; CHECK-NEXT: [[MOVi32imm:%[0-9]+]]:gpr32 = MOVi32imm 4 |
| ; CHECK-NEXT: [[SUBREG_TO_REG:%[0-9]+]]:gpr64all = SUBREG_TO_REG 0, [[MOVi32imm]], %subreg.sub_32 |
| ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY [[SUBREG_TO_REG]].sub_32 |
| ; CHECK-NEXT: STLRH [[COPY2]], [[COPY]] :: (store release (s16)) |
| ; CHECK-NEXT: {{ $}} |
| ; CHECK-NEXT: bb.2: |
| ; CHECK-NEXT: RET_ReallyLR |
| bb.1: |
| liveins: $w1, $x0 |
| |
| %0:gpr(p0) = COPY $x0 |
| %3:gpr(s32) = COPY $w1 |
| %2:gpr(s8) = G_TRUNC %3(s32) |
| %4:gpr(s8) = G_ASSERT_ZEXT %2, 1 |
| %1:gpr(s1) = G_TRUNC %4(s8) |
| G_BRCOND %1(s1), %bb.3 |
| G_BR %bb.2 |
| |
| bb.2: |
| %8:gpr(s64) = G_CONSTANT i64 4 |
| G_STORE %8(s64), %0(p0) :: (store release (s16)) |
| |
| bb.3: |
| RET_ReallyLR |
| |
| ... |
| --- |
| name: truncstore_atomic_8 |
| alignment: 4 |
| legalized: true |
| regBankSelected: true |
| tracksRegLiveness: true |
| liveins: |
| - { reg: '$x0' } |
| - { reg: '$w1' } |
| body: | |
| ; CHECK-LABEL: name: truncstore_atomic_8 |
| ; CHECK: bb.0: |
| ; CHECK-NEXT: successors: %bb.2(0x40000000), %bb.1(0x40000000) |
| ; CHECK-NEXT: liveins: $w1, $x0 |
| ; CHECK-NEXT: {{ $}} |
| ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64sp = COPY $x0 |
| ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w1 |
| ; CHECK-NEXT: TBNZW [[COPY1]], 0, %bb.2 |
| ; CHECK-NEXT: B %bb.1 |
| ; CHECK-NEXT: {{ $}} |
| ; CHECK-NEXT: bb.1: |
| ; CHECK-NEXT: successors: %bb.2(0x80000000) |
| ; CHECK-NEXT: {{ $}} |
| ; CHECK-NEXT: [[MOVi32imm:%[0-9]+]]:gpr32 = MOVi32imm 4 |
| ; CHECK-NEXT: [[SUBREG_TO_REG:%[0-9]+]]:gpr64all = SUBREG_TO_REG 0, [[MOVi32imm]], %subreg.sub_32 |
| ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY [[SUBREG_TO_REG]].sub_32 |
| ; CHECK-NEXT: STLRB [[COPY2]], [[COPY]] :: (store release (s8)) |
| ; CHECK-NEXT: {{ $}} |
| ; CHECK-NEXT: bb.2: |
| ; CHECK-NEXT: RET_ReallyLR |
| bb.1: |
| liveins: $w1, $x0 |
| |
| %0:gpr(p0) = COPY $x0 |
| %3:gpr(s32) = COPY $w1 |
| %2:gpr(s8) = G_TRUNC %3(s32) |
| %4:gpr(s8) = G_ASSERT_ZEXT %2, 1 |
| %1:gpr(s1) = G_TRUNC %4(s8) |
| G_BRCOND %1(s1), %bb.3 |
| G_BR %bb.2 |
| |
| bb.2: |
| %8:gpr(s64) = G_CONSTANT i64 4 |
| G_STORE %8(s64), %0(p0) :: (store release (s8)) |
| |
| bb.3: |
| RET_ReallyLR |
| |
| ... |