157 lines · plain
1# RUN: llc -mtriple=aarch64-none-linux-gnu -run-pass greedy -verify-machineinstrs -o - %s | FileCheck %s2# RUN: llc -mtriple=aarch64_be-none-linux-gnu -run-pass greedy -verify-machineinstrs -o - %s | FileCheck %s3# RUN: llc -mtriple=aarch64-none-linux-gnu -passes=greedy -o - %s | FileCheck %s4# RUN: llc -mtriple=aarch64_be-none-linux-gnu -passes=greedy -o - %s | FileCheck %s5--- |6 define i64 @test_subreg_spill_fold() { ret i64 0 }7 define i64 @test_subreg_spill_fold2() { ret i64 0 }8 define i64 @test_subreg_spill_fold3() { ret i64 0 }9 define <4 x float> @test_subreg_spill_fold4() { ret <4 x float> undef }10 define i64 @test_subreg_fill_fold() { ret i64 0 }11 define double @test_subreg_fill_fold2() { ret double 0.0 }12 define <4 x float> @test_subreg_fill_fold3() { ret <4 x float> undef }13 define i64 @test_subreg_fill_fold4() { ret i64 0 }14 define i64 @test_nzcv_spill_fold() { ret i64 0 }15...16---17# CHECK-LABEL: name: test_subreg_spill_fold18# Ensure that the spilled subreg COPY is eliminated and folded into the spill store.19name: test_subreg_spill_fold20registers:21 - { id: 0, class: gpr64 }22body: |23 bb.0:24 ; CHECK: STRXui $xzr, %stack.0, 0 :: (store (s64) into %stack.0)25 undef %0.sub_32 = COPY $wzr26 INLINEASM &nop, 1, 12, implicit-def dead $x0, 12, implicit-def dead $x1, 12, implicit-def dead $x2, 12, implicit-def dead $x3, 12, implicit-def dead $x4, 12, implicit-def dead $x5, 12, implicit-def dead $x6, 12, implicit-def dead $x7, 12, implicit-def dead $x8, 12, implicit-def dead $x9, 12, implicit-def dead $x10, 12, implicit-def dead $x11, 12, implicit-def dead $x12, 12, implicit-def dead $x13, 12, implicit-def dead $x14, 12, implicit-def dead $x15, 12, implicit-def dead $x16, 12, implicit-def dead $x17, 12, implicit-def dead $x18, 12, implicit-def dead $x19, 12, implicit-def dead $x20, 12, implicit-def dead $x21, 12, implicit-def dead $x22, 12, implicit-def dead $x23, 12, implicit-def dead $x24, 12, implicit-def dead $x25, 12, implicit-def dead $x26, 12, implicit-def dead $x27, 12, implicit-def dead $x28, 12, implicit-def dead $fp, 12, implicit-def dead $lr, 12, implicit-def $sp27 $x0 = COPY %028 RET_ReallyLR implicit $x029...30---31# CHECK-LABEL: name: test_subreg_spill_fold232# Similar to test_subreg_spill_fold, but with a %0 register class not containing %WZR.33name: test_subreg_spill_fold234registers:35 - { id: 0, class: gpr64sp }36body: |37 bb.0:38 ; CHECK: STRXui $xzr, %stack.0, 0 :: (store (s64) into %stack.0)39 undef %0.sub_32 = COPY $wzr40 INLINEASM &nop, 1, 12, implicit-def dead $x0, 12, implicit-def dead $x1, 12, implicit-def dead $x2, 12, implicit-def dead $x3, 12, implicit-def dead $x4, 12, implicit-def dead $x5, 12, implicit-def dead $x6, 12, implicit-def dead $x7, 12, implicit-def dead $x8, 12, implicit-def dead $x9, 12, implicit-def dead $x10, 12, implicit-def dead $x11, 12, implicit-def dead $x12, 12, implicit-def dead $x13, 12, implicit-def dead $x14, 12, implicit-def dead $x15, 12, implicit-def dead $x16, 12, implicit-def dead $x17, 12, implicit-def dead $x18, 12, implicit-def dead $x19, 12, implicit-def dead $x20, 12, implicit-def dead $x21, 12, implicit-def dead $x22, 12, implicit-def dead $x23, 12, implicit-def dead $x24, 12, implicit-def dead $x25, 12, implicit-def dead $x26, 12, implicit-def dead $x27, 12, implicit-def dead $x28, 12, implicit-def dead $fp, 12, implicit-def dead $lr, 12, implicit-def $sp41 $x0 = ADDXri %0, 1, 042 RET_ReallyLR implicit $x043...44---45# CHECK-LABEL: name: test_subreg_spill_fold346# Similar to test_subreg_spill_fold, but with a cross register class copy.47name: test_subreg_spill_fold348registers:49 - { id: 0, class: fpr64 }50body: |51 bb.0:52 ; CHECK: STRXui $xzr, %stack.0, 0 :: (store (s64) into %stack.0)53 undef %0.ssub = COPY $wzr54 INLINEASM &nop, 1, 12, implicit-def dead $d0, 12, implicit-def dead $d1, 12, implicit-def dead $d2, 12, implicit-def dead $d3, 12, implicit-def dead $d4, 12, implicit-def dead $d5, 12, implicit-def dead $d6, 12, implicit-def dead $d7, 12, implicit-def dead $d8, 12, implicit-def dead $d9, 12, implicit-def dead $d10, 12, implicit-def dead $d11, 12, implicit-def dead $d12, 12, implicit-def dead $d13, 12, implicit-def dead $d14, 12, implicit-def dead $d15, 12, implicit-def dead $d16, 12, implicit-def dead $d17, 12, implicit-def dead $d18, 12, implicit-def dead $d19, 12, implicit-def dead $d20, 12, implicit-def dead $d21, 12, implicit-def dead $d22, 12, implicit-def dead $d23, 12, implicit-def dead $d24, 12, implicit-def dead $d25, 12, implicit-def dead $d26, 12, implicit-def dead $d27, 12, implicit-def dead $d28, 12, implicit-def dead $d29, 12, implicit-def dead $d30, 12, implicit-def $d3155 $x0 = COPY %056 RET_ReallyLR implicit $x057...58---59# CHECK-LABEL: name: test_subreg_spill_fold460# A spilled write to a 128-bit register needs a 128-bit store61name: test_subreg_spill_fold462registers:63 - { id: 0, class: fpr128 }64body: |65 bb.0:66 ; CHECK: undef %1.ssub:fpr128 = COPY $wzr67 ; CHECK-NEXT: STRQui %1, %stack.0, 0 :: (store (s128) into %stack.0)68 undef %0.ssub:fpr128 = COPY $wzr69 INLINEASM &nop, 1, 12, implicit-def dead $d0, 12, implicit-def dead $d1, 12, implicit-def dead $d2, 12, implicit-def dead $d3, 12, implicit-def dead $d4, 12, implicit-def dead $d5, 12, implicit-def dead $d6, 12, implicit-def dead $d7, 12, implicit-def dead $d8, 12, implicit-def dead $d9, 12, implicit-def dead $d10, 12, implicit-def dead $d11, 12, implicit-def dead $d12, 12, implicit-def dead $d13, 12, implicit-def dead $d14, 12, implicit-def dead $d15, 12, implicit-def dead $d16, 12, implicit-def dead $d17, 12, implicit-def dead $d18, 12, implicit-def dead $d19, 12, implicit-def dead $d20, 12, implicit-def dead $d21, 12, implicit-def dead $d22, 12, implicit-def dead $d23, 12, implicit-def dead $d24, 12, implicit-def dead $d25, 12, implicit-def dead $d26, 12, implicit-def dead $d27, 12, implicit-def dead $d28, 12, implicit-def dead $d29, 12, implicit-def dead $d30, 12, implicit-def $d3170 $q0 = COPY %071 RET_ReallyLR implicit $q072...73---74# CHECK-LABEL: name: test_subreg_fill_fold75# Ensure that the filled COPY is eliminated and folded into the fill load.76name: test_subreg_fill_fold77registers:78 - { id: 0, class: gpr32 }79 - { id: 1, class: gpr64 }80body: |81 bb.0:82 %0 = COPY $wzr83 INLINEASM &nop, 1, 12, implicit-def dead $x0, 12, implicit-def dead $x1, 12, implicit-def dead $x2, 12, implicit-def dead $x3, 12, implicit-def dead $x4, 12, implicit-def dead $x5, 12, implicit-def dead $x6, 12, implicit-def dead $x7, 12, implicit-def dead $x8, 12, implicit-def dead $x9, 12, implicit-def dead $x10, 12, implicit-def dead $x11, 12, implicit-def dead $x12, 12, implicit-def dead $x13, 12, implicit-def dead $x14, 12, implicit-def dead $x15, 12, implicit-def dead $x16, 12, implicit-def dead $x17, 12, implicit-def dead $x18, 12, implicit-def dead $x19, 12, implicit-def dead $x20, 12, implicit-def dead $x21, 12, implicit-def dead $x22, 12, implicit-def dead $x23, 12, implicit-def dead $x24, 12, implicit-def dead $x25, 12, implicit-def dead $x26, 12, implicit-def dead $x27, 12, implicit-def dead $x28, 12, implicit-def dead $fp, 12, implicit-def dead $lr, 12, implicit-def $sp84 ; CHECK: undef %1.sub_32:gpr64 = LDRWui %stack.0, 0 :: (load (s32) from %stack.0)85 undef %1.sub_32 = COPY %086 $x0 = COPY %187 RET_ReallyLR implicit $x088...89---90# CHECK-LABEL: name: test_subreg_fill_fold291# Similar to test_subreg_fill_fold, but with a cross-class copy.92name: test_subreg_fill_fold293registers:94 - { id: 0, class: gpr32 }95 - { id: 1, class: fpr64 }96body: |97 bb.0:98 %0 = COPY $wzr99 INLINEASM &nop, 1, 12, implicit-def dead $x0, 12, implicit-def dead $x1, 12, implicit-def dead $x2, 12, implicit-def dead $x3, 12, implicit-def dead $x4, 12, implicit-def dead $x5, 12, implicit-def dead $x6, 12, implicit-def dead $x7, 12, implicit-def dead $x8, 12, implicit-def dead $x9, 12, implicit-def dead $x10, 12, implicit-def dead $x11, 12, implicit-def dead $x12, 12, implicit-def dead $x13, 12, implicit-def dead $x14, 12, implicit-def dead $x15, 12, implicit-def dead $x16, 12, implicit-def dead $x17, 12, implicit-def dead $x18, 12, implicit-def dead $x19, 12, implicit-def dead $x20, 12, implicit-def dead $x21, 12, implicit-def dead $x22, 12, implicit-def dead $x23, 12, implicit-def dead $x24, 12, implicit-def dead $x25, 12, implicit-def dead $x26, 12, implicit-def dead $x27, 12, implicit-def dead $x28, 12, implicit-def dead $fp, 12, implicit-def dead $lr, 12, implicit-def $sp100 ; CHECK: undef %1.ssub:fpr64 = LDRSui %stack.0, 0 :: (load (s32) from %stack.0)101 undef %1.ssub = COPY %0102 $d0 = COPY %1103 RET_ReallyLR implicit $d0104...105---106# CHECK-LABEL: name: test_subreg_fill_fold3107# A filled copy from a sub-register should load the whole register108name: test_subreg_fill_fold3109tracksRegLiveness: true110registers:111 - { id: 0, class: fpr128 }112liveins:113 - { reg: '$q0' }114body: |115 bb.0:116 liveins: $q0117 %0 = COPY $q0118 INLINEASM &nop, 1, 12, implicit-def dead $d0, 12, implicit-def dead $d1, 12, implicit-def dead $d2, 12, implicit-def dead $d3, 12, implicit-def dead $d4, 12, implicit-def dead $d5, 12, implicit-def dead $d6, 12, implicit-def dead $d7, 12, implicit-def dead $d8, 12, implicit-def dead $d9, 12, implicit-def dead $d10, 12, implicit-def dead $d11, 12, implicit-def dead $d12, 12, implicit-def dead $d13, 12, implicit-def dead $d14, 12, implicit-def dead $d15, 12, implicit-def dead $d16, 12, implicit-def dead $d17, 12, implicit-def dead $d18, 12, implicit-def dead $d19, 12, implicit-def dead $d20, 12, implicit-def dead $d21, 12, implicit-def dead $d22, 12, implicit-def dead $d23, 12, implicit-def dead $d24, 12, implicit-def dead $d25, 12, implicit-def dead $d26, 12, implicit-def dead $d27, 12, implicit-def dead $d28, 12, implicit-def dead $d29, 12, implicit-def dead $d30, 12, implicit-def $d31119 ; CHECK: %1:fpr128 = LDRQui %stack.0, 0 :: (load (s128) from %stack.0)120 ; CHECK-NEXT: $s0 = COPY %1.ssub121 $s0 = COPY %0.ssub122 RET_ReallyLR implicit $s0123...124---125# CHECK-LABEL: name: test_subreg_fill_fold4126# Ensure the COPY is maintained when its result register class is not compatible127# with the fill load's.128name: test_subreg_fill_fold4129registers:130 - { id: 0, class: gpr32 }131 - { id: 1, class: gpr64sp }132body: |133 bb.0:134 %0 = COPY $wzr135 INLINEASM &nop, 1, 12, implicit-def dead $x0, 12, implicit-def dead $x1, 12, implicit-def dead $x2, 12, implicit-def dead $x3, 12, implicit-def dead $x4, 12, implicit-def dead $x5, 12, implicit-def dead $x6, 12, implicit-def dead $x7, 12, implicit-def dead $x8, 12, implicit-def dead $x9, 12, implicit-def dead $x10, 12, implicit-def dead $x11, 12, implicit-def dead $x12, 12, implicit-def dead $x13, 12, implicit-def dead $x14, 12, implicit-def dead $x15, 12, implicit-def dead $x16, 12, implicit-def dead $x17, 12, implicit-def dead $x18, 12, implicit-def dead $x19, 12, implicit-def dead $x20, 12, implicit-def dead $x21, 12, implicit-def dead $x22, 12, implicit-def dead $x23, 12, implicit-def dead $x24, 12, implicit-def dead $x25, 12, implicit-def dead $x26, 12, implicit-def dead $x27, 12, implicit-def dead $x28, 12, implicit-def dead $fp, 12, implicit-def dead $lr, 12, implicit-def $sp136 ; CHECK: %2:gpr32 = LDRWui %stack.0, 0 :: (load (s32) from %stack.0)137 ; CHECK: undef %1.sub_32:gpr64sp = COPY %2138 undef %1.sub_32:gpr64sp = COPY %0139 $x0 = COPY %1140 RET_ReallyLR implicit $x0141...142---143# CHECK-LABEL: name: test_nzcv_spill_fold144# Ensure that nzcv COPY cannot be folded.145name: test_nzcv_spill_fold146registers:147 - { id: 0, class: gpr64 }148body: |149 bb.0:150 ; CHECK: %1:gpr64 = COPY $nzcv151 ; CHECK: STRXui %1, %stack.0, 0 :: (store (s64) into %stack.0)152 %0 = COPY $nzcv153 INLINEASM &nop, 1, 12, implicit-def dead $x0, 12, implicit-def dead $x1, 12, implicit-def dead $x2, 12, implicit-def dead $x3, 12, implicit-def dead $x4, 12, implicit-def dead $x5, 12, implicit-def dead $x6, 12, implicit-def dead $x7, 12, implicit-def dead $x8, 12, implicit-def dead $x9, 12, implicit-def dead $x10, 12, implicit-def dead $x11, 12, implicit-def dead $x12, 12, implicit-def dead $x13, 12, implicit-def dead $x14, 12, implicit-def dead $x15, 12, implicit-def dead $x16, 12, implicit-def dead $x17, 12, implicit-def dead $x18, 12, implicit-def dead $x19, 12, implicit-def dead $x20, 12, implicit-def dead $x21, 12, implicit-def dead $x22, 12, implicit-def dead $x23, 12, implicit-def dead $x24, 12, implicit-def dead $x25, 12, implicit-def dead $x26, 12, implicit-def dead $x27, 12, implicit-def dead $x28, 12, implicit-def dead $fp, 12, implicit-def dead $lr, 12, implicit-def $sp154 $x0 = COPY %0155 RET_ReallyLR implicit $x0156...157