|
| 1 | +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py |
1 | 2 | ; RUN: llc -O3 -mtriple=thumbv8.1m.main-arm-none-eabi -mattr=+mve.fp -verify-machineinstrs %s -o - | FileCheck %s
|
2 | 3 |
|
3 | 4 | ; verify-machineinstrs previously caught the incorrect use of QPR in the stack reloads.
|
4 | 5 |
|
5 | 6 | define arm_aapcs_vfpcc void @k() {
|
6 | 7 | ; CHECK-LABEL: k:
|
7 |
| -; CHECK: vstrw.32 |
8 |
| -; CHECK: vldrw.u32 |
| 8 | +; CHECK: @ %bb.0: @ %entry |
| 9 | +; CHECK-NEXT: .save {r4, r5, r6, lr} |
| 10 | +; CHECK-NEXT: push {r4, r5, r6, lr} |
| 11 | +; CHECK-NEXT: .vsave {d8, d9, d10, d11, d12, d13, d14, d15} |
| 12 | +; CHECK-NEXT: vpush {d8, d9, d10, d11, d12, d13, d14, d15} |
| 13 | +; CHECK-NEXT: .pad #16 |
| 14 | +; CHECK-NEXT: sub sp, #16 |
| 15 | +; CHECK-NEXT: adr r5, .LCPI0_0 |
| 16 | +; CHECK-NEXT: adr r4, .LCPI0_1 |
| 17 | +; CHECK-NEXT: vldrw.u32 q5, [r5] |
| 18 | +; CHECK-NEXT: vldrw.u32 q6, [r4] |
| 19 | +; CHECK-NEXT: vmov.i32 q0, #0x1 |
| 20 | +; CHECK-NEXT: vmov.i8 q1, #0x0 |
| 21 | +; CHECK-NEXT: vmov.i8 q2, #0xff |
| 22 | +; CHECK-NEXT: vmov.i16 q3, #0x6 |
| 23 | +; CHECK-NEXT: vmov.i16 q4, #0x3 |
| 24 | +; CHECK-NEXT: movs r0, #0 |
| 25 | +; CHECK-NEXT: .LBB0_1: @ %vector.body |
| 26 | +; CHECK-NEXT: @ =>This Inner Loop Header: Depth=1 |
| 27 | +; CHECK-NEXT: vand q5, q5, q0 |
| 28 | +; CHECK-NEXT: vand q6, q6, q0 |
| 29 | +; CHECK-NEXT: vcmp.i32 eq, q5, zr |
| 30 | +; CHECK-NEXT: vpsel q5, q2, q1 |
| 31 | +; CHECK-NEXT: vcmp.i32 eq, q6, zr |
| 32 | +; CHECK-NEXT: vpsel q7, q2, q1 |
| 33 | +; CHECK-NEXT: vmov r1, s28 |
| 34 | +; CHECK-NEXT: vmov.16 q6[0], r1 |
| 35 | +; CHECK-NEXT: vmov r1, s29 |
| 36 | +; CHECK-NEXT: vmov.16 q6[1], r1 |
| 37 | +; CHECK-NEXT: vmov r1, s30 |
| 38 | +; CHECK-NEXT: vmov.16 q6[2], r1 |
| 39 | +; CHECK-NEXT: vmov r1, s31 |
| 40 | +; CHECK-NEXT: vmov.16 q6[3], r1 |
| 41 | +; CHECK-NEXT: vmov r1, s20 |
| 42 | +; CHECK-NEXT: vmov.16 q6[4], r1 |
| 43 | +; CHECK-NEXT: vmov r1, s21 |
| 44 | +; CHECK-NEXT: vmov.16 q6[5], r1 |
| 45 | +; CHECK-NEXT: vmov r1, s22 |
| 46 | +; CHECK-NEXT: vmov.16 q6[6], r1 |
| 47 | +; CHECK-NEXT: vmov r1, s23 |
| 48 | +; CHECK-NEXT: vmov.16 q6[7], r1 |
| 49 | +; CHECK-NEXT: vcmp.i16 ne, q6, zr |
| 50 | +; CHECK-NEXT: vmov.i32 q6, #0x0 |
| 51 | +; CHECK-NEXT: vpsel q5, q4, q3 |
| 52 | +; CHECK-NEXT: vstrh.16 q5, [r0] |
| 53 | +; CHECK-NEXT: vmov q5, q6 |
| 54 | +; CHECK-NEXT: cbz r0, .LBB0_2 |
| 55 | +; CHECK-NEXT: le .LBB0_1 |
| 56 | +; CHECK-NEXT: .LBB0_2: @ %for.cond4.preheader |
| 57 | +; CHECK-NEXT: movs r6, #0 |
| 58 | +; CHECK-NEXT: cbnz r6, .LBB0_5 |
| 59 | +; CHECK-NEXT: .LBB0_3: @ %for.body10 |
| 60 | +; CHECK-NEXT: @ =>This Inner Loop Header: Depth=1 |
| 61 | +; CHECK-NEXT: cbnz r6, .LBB0_4 |
| 62 | +; CHECK-NEXT: le .LBB0_3 |
| 63 | +; CHECK-NEXT: .LBB0_4: @ %for.cond4.loopexit |
| 64 | +; CHECK-NEXT: bl l |
| 65 | +; CHECK-NEXT: .LBB0_5: @ %vector.body105.preheader |
| 66 | +; CHECK-NEXT: vldrw.u32 q0, [r5] |
| 67 | +; CHECK-NEXT: vldrw.u32 q1, [r4] |
| 68 | +; CHECK-NEXT: vmov.i32 q2, #0x8 |
| 69 | +; CHECK-NEXT: .LBB0_6: @ %vector.body105 |
| 70 | +; CHECK-NEXT: @ =>This Inner Loop Header: Depth=1 |
| 71 | +; CHECK-NEXT: vadd.i32 q1, q1, q2 |
| 72 | +; CHECK-NEXT: vadd.i32 q0, q0, q2 |
| 73 | +; CHECK-NEXT: cbz r6, .LBB0_7 |
| 74 | +; CHECK-NEXT: le .LBB0_6 |
| 75 | +; CHECK-NEXT: .LBB0_7: @ %vector.body115.ph |
| 76 | +; CHECK-NEXT: vldrw.u32 q0, [r4] |
| 77 | +; CHECK-NEXT: vstrw.32 q0, [sp] @ 16-byte Spill |
| 78 | +; CHECK-NEXT: @APP |
| 79 | +; CHECK-NEXT: nop |
| 80 | +; CHECK-NEXT: @NO_APP |
| 81 | +; CHECK-NEXT: vldrw.u32 q1, [sp] @ 16-byte Reload |
| 82 | +; CHECK-NEXT: vmov.i32 q0, #0x4 |
| 83 | +; CHECK-NEXT: .LBB0_8: @ %vector.body115 |
| 84 | +; CHECK-NEXT: @ =>This Inner Loop Header: Depth=1 |
| 85 | +; CHECK-NEXT: vadd.i32 q1, q1, q0 |
| 86 | +; CHECK-NEXT: b .LBB0_8 |
| 87 | +; CHECK-NEXT: .p2align 4 |
| 88 | +; CHECK-NEXT: @ %bb.9: |
| 89 | +; CHECK-NEXT: .LCPI0_0: |
| 90 | +; CHECK-NEXT: .long 4 @ 0x4 |
| 91 | +; CHECK-NEXT: .long 5 @ 0x5 |
| 92 | +; CHECK-NEXT: .long 6 @ 0x6 |
| 93 | +; CHECK-NEXT: .long 7 @ 0x7 |
| 94 | +; CHECK-NEXT: .LCPI0_1: |
| 95 | +; CHECK-NEXT: .long 0 @ 0x0 |
| 96 | +; CHECK-NEXT: .long 1 @ 0x1 |
| 97 | +; CHECK-NEXT: .long 2 @ 0x2 |
| 98 | +; CHECK-NEXT: .long 3 @ 0x3 |
9 | 99 | entry:
|
10 | 100 | br label %vector.body
|
11 | 101 |
|
@@ -56,8 +146,90 @@ vector.body115: ; preds = %vector.body115, %ve
|
56 | 146 |
|
57 | 147 | define dso_local i32 @e() #0 {
|
58 | 148 | ; CHECK-LABEL: e:
|
59 |
| -; CHECK: vstrw.32 |
60 |
| -; CHECK: vldrw.u32 |
| 149 | +; CHECK: @ %bb.0: @ %entry |
| 150 | +; CHECK-NEXT: .save {r4, r5, r6, r7, r8, r9, r10, r11, lr} |
| 151 | +; CHECK-NEXT: push.w {r4, r5, r6, r7, r8, r9, r10, r11, lr} |
| 152 | +; CHECK-NEXT: .pad #4 |
| 153 | +; CHECK-NEXT: sub sp, #4 |
| 154 | +; CHECK-NEXT: .vsave {d8, d9, d10, d11, d12, d13, d14, d15} |
| 155 | +; CHECK-NEXT: vpush {d8, d9, d10, d11, d12, d13, d14, d15} |
| 156 | +; CHECK-NEXT: .pad #440 |
| 157 | +; CHECK-NEXT: sub sp, #440 |
| 158 | +; CHECK-NEXT: vldr s20, .LCPI1_0 |
| 159 | +; CHECK-NEXT: movw r9, :lower16:.L_MergedGlobals |
| 160 | +; CHECK-NEXT: vldr s23, .LCPI1_1 |
| 161 | +; CHECK-NEXT: movt r9, :upper16:.L_MergedGlobals |
| 162 | +; CHECK-NEXT: mov.w r8, #4 |
| 163 | +; CHECK-NEXT: mov r5, r9 |
| 164 | +; CHECK-NEXT: strh.w r8, [sp, #438] |
| 165 | +; CHECK-NEXT: movs r6, #0 |
| 166 | +; CHECK-NEXT: vstr s23, [sp, #48] |
| 167 | +; CHECK-NEXT: mov r7, r9 |
| 168 | +; CHECK-NEXT: vstr s23, [sp, #40] |
| 169 | +; CHECK-NEXT: movw r4, :lower16:e |
| 170 | +; CHECK-NEXT: ldr r1, [r5, #4]! |
| 171 | +; CHECK-NEXT: movt r4, :upper16:e |
| 172 | +; CHECK-NEXT: str r6, [sp, #76] |
| 173 | +; CHECK-NEXT: vmov s5, r4 |
| 174 | +; CHECK-NEXT: vmov.32 q7[0], r5 |
| 175 | +; CHECK-NEXT: ldr r0, [r7, #8]! |
| 176 | +; CHECK-NEXT: vmov q0, q7 |
| 177 | +; CHECK-NEXT: ldr r2, [sp, #48] |
| 178 | +; CHECK-NEXT: vmov.32 q0[1], r5 |
| 179 | +; CHECK-NEXT: vmov s21, r5 |
| 180 | +; CHECK-NEXT: vmov.32 q0[2], r2 |
| 181 | +; CHECK-NEXT: ldr r2, [sp, #40] |
| 182 | +; CHECK-NEXT: vdup.32 q2, r5 |
| 183 | +; CHECK-NEXT: vmov.32 q4[0], r7 |
| 184 | +; CHECK-NEXT: vmov q6, q4 |
| 185 | +; CHECK-NEXT: vstrw.32 q2, [sp] @ 16-byte Spill |
| 186 | +; CHECK-NEXT: vmov.32 q6[1], r2 |
| 187 | +; CHECK-NEXT: vldrw.u32 q3, [sp] @ 16-byte Reload |
| 188 | +; CHECK-NEXT: vmov.f32 s22, s21 |
| 189 | +; CHECK-NEXT: vmov.32 q6[2], r7 |
| 190 | +; CHECK-NEXT: vmov.f32 s4, s20 |
| 191 | +; CHECK-NEXT: vstrw.32 q2, [sp, #16] @ 16-byte Spill |
| 192 | +; CHECK-NEXT: vmov.f32 s6, s21 |
| 193 | +; CHECK-NEXT: vmov.32 q3[0], r4 |
| 194 | +; CHECK-NEXT: vmov.32 q2[1], r4 |
| 195 | +; CHECK-NEXT: vmov.32 q6[3], r4 |
| 196 | +; CHECK-NEXT: vmov.32 q0[3], r4 |
| 197 | +; CHECK-NEXT: vmov.f32 s7, s23 |
| 198 | +; CHECK-NEXT: str r1, [sp, #72] |
| 199 | +; CHECK-NEXT: vstrw.32 q6, [sp, #124] |
| 200 | +; CHECK-NEXT: str r1, [r0] |
| 201 | +; CHECK-NEXT: movs r1, #64 |
| 202 | +; CHECK-NEXT: str r0, [r0] |
| 203 | +; CHECK-NEXT: vstrw.32 q5, [sp, #92] |
| 204 | +; CHECK-NEXT: vstrw.32 q1, [r0] |
| 205 | +; CHECK-NEXT: vstrw.32 q2, [r0] |
| 206 | +; CHECK-NEXT: vstrw.32 q3, [r0] |
| 207 | +; CHECK-NEXT: vstrw.32 q0, [r0] |
| 208 | +; CHECK-NEXT: bl __aeabi_memclr4 |
| 209 | +; CHECK-NEXT: vstr s23, [sp, #44] |
| 210 | +; CHECK-NEXT: vmov.32 q7[1], r7 |
| 211 | +; CHECK-NEXT: ldr r0, [sp, #44] |
| 212 | +; CHECK-NEXT: vldrw.u32 q0, [sp, #16] @ 16-byte Reload |
| 213 | +; CHECK-NEXT: vmov.32 q4[1], r4 |
| 214 | +; CHECK-NEXT: vmov.32 q7[2], r5 |
| 215 | +; CHECK-NEXT: vmov.32 q4[2], r5 |
| 216 | +; CHECK-NEXT: vmov.32 q0[0], r6 |
| 217 | +; CHECK-NEXT: vmov.32 q4[3], r7 |
| 218 | +; CHECK-NEXT: vmov.32 q7[3], r0 |
| 219 | +; CHECK-NEXT: vstrw.32 q4, [r0] |
| 220 | +; CHECK-NEXT: str.w r6, [r9] |
| 221 | +; CHECK-NEXT: vstrw.32 q0, [r0] |
| 222 | +; CHECK-NEXT: vstrw.32 q7, [r0] |
| 223 | +; CHECK-NEXT: str.w r8, [sp, #356] |
| 224 | +; CHECK-NEXT: .LBB1_1: @ %for.cond |
| 225 | +; CHECK-NEXT: @ =>This Inner Loop Header: Depth=1 |
| 226 | +; CHECK-NEXT: b .LBB1_1 |
| 227 | +; CHECK-NEXT: .p2align 2 |
| 228 | +; CHECK-NEXT: @ %bb.2: |
| 229 | +; CHECK-NEXT: .LCPI1_0: |
| 230 | +; CHECK-NEXT: .long 4 @ float 5.60519386E-45 |
| 231 | +; CHECK-NEXT: .LCPI1_1: |
| 232 | +; CHECK-NEXT: .long 0 @ float 0 |
61 | 233 | entry:
|
62 | 234 | %f = alloca i16, align 2
|
63 | 235 | %g = alloca [3 x [8 x [4 x i16*]]], align 4
|
|
0 commit comments