| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py |
| ; RUN: llc < %s | FileCheck %s |
| |
| target datalayout = "e-m:o-p:32:32-i1:8:32-i8:8:32-i16:16:32-f64:32:64-v64:32:64-v128:32:128-a:0:32-n32-S32" |
| target triple = "thumbv7-none-eabi" |
| |
| define void @store_v8i8(ptr %ptr, <8 x i8> %val) { |
| ; CHECK-LABEL: store_v8i8: |
| ; CHECK: @ %bb.0: |
| ; CHECK-NEXT: ldr r0, [r0] |
| ; CHECK-NEXT: str r3, [r0, #4] |
| ; CHECK-NEXT: str r2, [r0] |
| ; CHECK-NEXT: bx lr |
| %A = load ptr, ptr %ptr |
| store <8 x i8> %val, ptr %A, align 1 |
| ret void |
| } |
| |
| define void @store_v8i8_update(ptr %ptr, <8 x i8> %val) { |
| ; CHECK-LABEL: store_v8i8_update: |
| ; CHECK: @ %bb.0: |
| ; CHECK-NEXT: ldr r1, [r0] |
| ; CHECK-NEXT: vmov d16, r2, r3 |
| ; CHECK-NEXT: vst1.8 {d16}, [r1]! |
| ; CHECK-NEXT: str r1, [r0] |
| ; CHECK-NEXT: bx lr |
| %A = load ptr, ptr %ptr |
| store <8 x i8> %val, ptr %A, align 1 |
| %inc = getelementptr <8 x i8>, ptr %A, i38 1 |
| store ptr %inc, ptr %ptr |
| ret void |
| } |
| |
| define void @store_v4i16(ptr %ptr, <4 x i16> %val) { |
| ; CHECK-LABEL: store_v4i16: |
| ; CHECK: @ %bb.0: |
| ; CHECK-NEXT: ldr r0, [r0] |
| ; CHECK-NEXT: str r3, [r0, #4] |
| ; CHECK-NEXT: str r2, [r0] |
| ; CHECK-NEXT: bx lr |
| %A = load ptr, ptr %ptr |
| store <4 x i16> %val, ptr %A, align 1 |
| ret void |
| } |
| |
| define void @store_v4i16_update(ptr %ptr, <4 x i16> %val) { |
| ; CHECK-LABEL: store_v4i16_update: |
| ; CHECK: @ %bb.0: |
| ; CHECK-NEXT: ldr r1, [r0] |
| ; CHECK-NEXT: vmov d16, r2, r3 |
| ; CHECK-NEXT: vst1.8 {d16}, [r1]! |
| ; CHECK-NEXT: str r1, [r0] |
| ; CHECK-NEXT: bx lr |
| %A = load ptr, ptr %ptr |
| store <4 x i16> %val, ptr %A, align 1 |
| %inc = getelementptr <4 x i16>, ptr %A, i34 1 |
| store ptr %inc, ptr %ptr |
| ret void |
| } |
| |
| define void @store_v2i32(ptr %ptr, <2 x i32> %val) { |
| ; CHECK-LABEL: store_v2i32: |
| ; CHECK: @ %bb.0: |
| ; CHECK-NEXT: ldr r0, [r0] |
| ; CHECK-NEXT: str r3, [r0, #4] |
| ; CHECK-NEXT: str r2, [r0] |
| ; CHECK-NEXT: bx lr |
| %A = load ptr, ptr %ptr |
| store <2 x i32> %val, ptr %A, align 1 |
| ret void |
| } |
| |
| define void @store_v2i32_update(ptr %ptr, <2 x i32> %val) { |
| ; CHECK-LABEL: store_v2i32_update: |
| ; CHECK: @ %bb.0: |
| ; CHECK-NEXT: ldr r1, [r0] |
| ; CHECK-NEXT: vmov d16, r2, r3 |
| ; CHECK-NEXT: vst1.8 {d16}, [r1]! |
| ; CHECK-NEXT: str r1, [r0] |
| ; CHECK-NEXT: bx lr |
| %A = load ptr, ptr %ptr |
| store <2 x i32> %val, ptr %A, align 1 |
| %inc = getelementptr <2 x i32>, ptr %A, i32 1 |
| store ptr %inc, ptr %ptr |
| ret void |
| } |
| |
| define void @store_v2f32(ptr %ptr, <2 x float> %val) { |
| ; CHECK-LABEL: store_v2f32: |
| ; CHECK: @ %bb.0: |
| ; CHECK-NEXT: ldr r0, [r0] |
| ; CHECK-NEXT: str r3, [r0, #4] |
| ; CHECK-NEXT: str r2, [r0] |
| ; CHECK-NEXT: bx lr |
| %A = load ptr, ptr %ptr |
| store <2 x float> %val, ptr %A, align 1 |
| ret void |
| } |
| |
| define void @store_v2f32_update(ptr %ptr, <2 x float> %val) { |
| ; CHECK-LABEL: store_v2f32_update: |
| ; CHECK: @ %bb.0: |
| ; CHECK-NEXT: ldr r1, [r0] |
| ; CHECK-NEXT: vmov d16, r2, r3 |
| ; CHECK-NEXT: vst1.8 {d16}, [r1]! |
| ; CHECK-NEXT: str r1, [r0] |
| ; CHECK-NEXT: bx lr |
| %A = load ptr, ptr %ptr |
| store <2 x float> %val, ptr %A, align 1 |
| %inc = getelementptr <2 x float>, ptr %A, i32 1 |
| store ptr %inc, ptr %ptr |
| ret void |
| } |
| |
| define void @store_v1i64(ptr %ptr, <1 x i64> %val) { |
| ; CHECK-LABEL: store_v1i64: |
| ; CHECK: @ %bb.0: |
| ; CHECK-NEXT: ldr r0, [r0] |
| ; CHECK-NEXT: str r3, [r0, #4] |
| ; CHECK-NEXT: str r2, [r0] |
| ; CHECK-NEXT: bx lr |
| %A = load ptr, ptr %ptr |
| store <1 x i64> %val, ptr %A, align 1 |
| ret void |
| } |
| |
| define void @store_v1i64_update(ptr %ptr, <1 x i64> %val) { |
| ; CHECK-LABEL: store_v1i64_update: |
| ; CHECK: @ %bb.0: |
| ; CHECK-NEXT: ldr r1, [r0] |
| ; CHECK-NEXT: vmov d16, r2, r3 |
| ; CHECK-NEXT: vst1.8 {d16}, [r1]! |
| ; CHECK-NEXT: str r1, [r0] |
| ; CHECK-NEXT: bx lr |
| %A = load ptr, ptr %ptr |
| store <1 x i64> %val, ptr %A, align 1 |
| %inc = getelementptr <1 x i64>, ptr %A, i31 1 |
| store ptr %inc, ptr %ptr |
| ret void |
| } |
| |
| define void @store_v16i8(ptr %ptr, <16 x i8> %val) { |
| ; CHECK-LABEL: store_v16i8: |
| ; CHECK: @ %bb.0: |
| ; CHECK-NEXT: vldr d17, [sp] |
| ; CHECK-NEXT: ldr r0, [r0] |
| ; CHECK-NEXT: vmov d16, r2, r3 |
| ; CHECK-NEXT: vst1.8 {d16, d17}, [r0] |
| ; CHECK-NEXT: bx lr |
| %A = load ptr, ptr %ptr |
| store <16 x i8> %val, ptr %A, align 1 |
| ret void |
| } |
| |
| define void @store_v16i8_update(ptr %ptr, <16 x i8> %val) { |
| ; CHECK-LABEL: store_v16i8_update: |
| ; CHECK: @ %bb.0: |
| ; CHECK-NEXT: vldr d17, [sp] |
| ; CHECK-NEXT: vmov d16, r2, r3 |
| ; CHECK-NEXT: ldr r1, [r0] |
| ; CHECK-NEXT: vst1.8 {d16, d17}, [r1]! |
| ; CHECK-NEXT: str r1, [r0] |
| ; CHECK-NEXT: bx lr |
| %A = load ptr, ptr %ptr |
| store <16 x i8> %val, ptr %A, align 1 |
| %inc = getelementptr <16 x i8>, ptr %A, i316 1 |
| store ptr %inc, ptr %ptr |
| ret void |
| } |
| |
| define void @store_v8i16(ptr %ptr, <8 x i16> %val) { |
| ; CHECK-LABEL: store_v8i16: |
| ; CHECK: @ %bb.0: |
| ; CHECK-NEXT: vldr d17, [sp] |
| ; CHECK-NEXT: ldr r0, [r0] |
| ; CHECK-NEXT: vmov d16, r2, r3 |
| ; CHECK-NEXT: vst1.8 {d16, d17}, [r0] |
| ; CHECK-NEXT: bx lr |
| %A = load ptr, ptr %ptr |
| store <8 x i16> %val, ptr %A, align 1 |
| ret void |
| } |
| |
| define void @store_v8i16_update(ptr %ptr, <8 x i16> %val) { |
| ; CHECK-LABEL: store_v8i16_update: |
| ; CHECK: @ %bb.0: |
| ; CHECK-NEXT: vldr d17, [sp] |
| ; CHECK-NEXT: vmov d16, r2, r3 |
| ; CHECK-NEXT: ldr r1, [r0] |
| ; CHECK-NEXT: vst1.8 {d16, d17}, [r1]! |
| ; CHECK-NEXT: str r1, [r0] |
| ; CHECK-NEXT: bx lr |
| %A = load ptr, ptr %ptr |
| store <8 x i16> %val, ptr %A, align 1 |
| %inc = getelementptr <8 x i16>, ptr %A, i38 1 |
| store ptr %inc, ptr %ptr |
| ret void |
| } |
| |
| define void @store_v4i32(ptr %ptr, <4 x i32> %val) { |
| ; CHECK-LABEL: store_v4i32: |
| ; CHECK: @ %bb.0: |
| ; CHECK-NEXT: vldr d17, [sp] |
| ; CHECK-NEXT: ldr r0, [r0] |
| ; CHECK-NEXT: vmov d16, r2, r3 |
| ; CHECK-NEXT: vst1.8 {d16, d17}, [r0] |
| ; CHECK-NEXT: bx lr |
| %A = load ptr, ptr %ptr |
| store <4 x i32> %val, ptr %A, align 1 |
| ret void |
| } |
| |
| define void @store_v4i32_update(ptr %ptr, <4 x i32> %val) { |
| ; CHECK-LABEL: store_v4i32_update: |
| ; CHECK: @ %bb.0: |
| ; CHECK-NEXT: vldr d17, [sp] |
| ; CHECK-NEXT: vmov d16, r2, r3 |
| ; CHECK-NEXT: ldr r1, [r0] |
| ; CHECK-NEXT: vst1.8 {d16, d17}, [r1]! |
| ; CHECK-NEXT: str r1, [r0] |
| ; CHECK-NEXT: bx lr |
| %A = load ptr, ptr %ptr |
| store <4 x i32> %val, ptr %A, align 1 |
| %inc = getelementptr <4 x i32>, ptr %A, i34 1 |
| store ptr %inc, ptr %ptr |
| ret void |
| } |
| |
| define void @store_v4f32(ptr %ptr, <4 x float> %val) { |
| ; CHECK-LABEL: store_v4f32: |
| ; CHECK: @ %bb.0: |
| ; CHECK-NEXT: vldr d17, [sp] |
| ; CHECK-NEXT: ldr r0, [r0] |
| ; CHECK-NEXT: vmov d16, r2, r3 |
| ; CHECK-NEXT: vst1.8 {d16, d17}, [r0] |
| ; CHECK-NEXT: bx lr |
| %A = load ptr, ptr %ptr |
| store <4 x float> %val, ptr %A, align 1 |
| ret void |
| } |
| |
| define void @store_v4f32_update(ptr %ptr, <4 x float> %val) { |
| ; CHECK-LABEL: store_v4f32_update: |
| ; CHECK: @ %bb.0: |
| ; CHECK-NEXT: vldr d17, [sp] |
| ; CHECK-NEXT: vmov d16, r2, r3 |
| ; CHECK-NEXT: ldr r1, [r0] |
| ; CHECK-NEXT: vst1.8 {d16, d17}, [r1]! |
| ; CHECK-NEXT: str r1, [r0] |
| ; CHECK-NEXT: bx lr |
| %A = load ptr, ptr %ptr |
| store <4 x float> %val, ptr %A, align 1 |
| %inc = getelementptr <4 x float>, ptr %A, i34 1 |
| store ptr %inc, ptr %ptr |
| ret void |
| } |
| |
| define void @store_v2i64(ptr %ptr, <2 x i64> %val) { |
| ; CHECK-LABEL: store_v2i64: |
| ; CHECK: @ %bb.0: |
| ; CHECK-NEXT: vldr d17, [sp] |
| ; CHECK-NEXT: ldr r0, [r0] |
| ; CHECK-NEXT: vmov d16, r2, r3 |
| ; CHECK-NEXT: vst1.8 {d16, d17}, [r0] |
| ; CHECK-NEXT: bx lr |
| %A = load ptr, ptr %ptr |
| store <2 x i64> %val, ptr %A, align 1 |
| ret void |
| } |
| |
| define void @store_v2i64_update(ptr %ptr, <2 x i64> %val) { |
| ; CHECK-LABEL: store_v2i64_update: |
| ; CHECK: @ %bb.0: |
| ; CHECK-NEXT: vldr d17, [sp] |
| ; CHECK-NEXT: vmov d16, r2, r3 |
| ; CHECK-NEXT: ldr r1, [r0] |
| ; CHECK-NEXT: vst1.8 {d16, d17}, [r1]! |
| ; CHECK-NEXT: str r1, [r0] |
| ; CHECK-NEXT: bx lr |
| %A = load ptr, ptr %ptr |
| store <2 x i64> %val, ptr %A, align 1 |
| %inc = getelementptr <2 x i64>, ptr %A, i32 1 |
| store ptr %inc, ptr %ptr |
| ret void |
| } |
| |
| define void @store_v2i64_update_aligned2(ptr %ptr, <2 x i64> %val) { |
| ; CHECK-LABEL: store_v2i64_update_aligned2: |
| ; CHECK: @ %bb.0: |
| ; CHECK-NEXT: vldr d17, [sp] |
| ; CHECK-NEXT: vmov d16, r2, r3 |
| ; CHECK-NEXT: ldr r1, [r0] |
| ; CHECK-NEXT: vst1.16 {d16, d17}, [r1]! |
| ; CHECK-NEXT: str r1, [r0] |
| ; CHECK-NEXT: bx lr |
| %A = load ptr, ptr %ptr |
| store <2 x i64> %val, ptr %A, align 2 |
| %inc = getelementptr <2 x i64>, ptr %A, i32 1 |
| store ptr %inc, ptr %ptr |
| ret void |
| } |
| |
| define void @store_v2i64_update_aligned4(ptr %ptr, <2 x i64> %val) { |
| ; CHECK-LABEL: store_v2i64_update_aligned4: |
| ; CHECK: @ %bb.0: |
| ; CHECK-NEXT: vldr d17, [sp] |
| ; CHECK-NEXT: vmov d16, r2, r3 |
| ; CHECK-NEXT: ldr r1, [r0] |
| ; CHECK-NEXT: vst1.32 {d16, d17}, [r1]! |
| ; CHECK-NEXT: str r1, [r0] |
| ; CHECK-NEXT: bx lr |
| %A = load ptr, ptr %ptr |
| store <2 x i64> %val, ptr %A, align 4 |
| %inc = getelementptr <2 x i64>, ptr %A, i32 1 |
| store ptr %inc, ptr %ptr |
| ret void |
| } |
| |
| define void @store_v2i64_update_aligned8(ptr %ptr, <2 x i64> %val) { |
| ; CHECK-LABEL: store_v2i64_update_aligned8: |
| ; CHECK: @ %bb.0: |
| ; CHECK-NEXT: vldr d17, [sp] |
| ; CHECK-NEXT: vmov d16, r2, r3 |
| ; CHECK-NEXT: ldr r1, [r0] |
| ; CHECK-NEXT: vst1.64 {d16, d17}, [r1]! |
| ; CHECK-NEXT: str r1, [r0] |
| ; CHECK-NEXT: bx lr |
| %A = load ptr, ptr %ptr |
| store <2 x i64> %val, ptr %A, align 8 |
| %inc = getelementptr <2 x i64>, ptr %A, i32 1 |
| store ptr %inc, ptr %ptr |
| ret void |
| } |
| |
| define void @store_v2i64_update_aligned16(ptr %ptr, <2 x i64> %val) { |
| ; CHECK-LABEL: store_v2i64_update_aligned16: |
| ; CHECK: @ %bb.0: |
| ; CHECK-NEXT: vldr d17, [sp] |
| ; CHECK-NEXT: vmov d16, r2, r3 |
| ; CHECK-NEXT: ldr r1, [r0] |
| ; CHECK-NEXT: vst1.64 {d16, d17}, [r1:128]! |
| ; CHECK-NEXT: str r1, [r0] |
| ; CHECK-NEXT: bx lr |
| %A = load ptr, ptr %ptr |
| store <2 x i64> %val, ptr %A, align 16 |
| %inc = getelementptr <2 x i64>, ptr %A, i32 1 |
| store ptr %inc, ptr %ptr |
| ret void |
| } |
| |
| define void @truncstore_v4i32tov4i8(ptr %ptr, <4 x i32> %val) { |
| ; CHECK-LABEL: truncstore_v4i32tov4i8: |
| ; CHECK: @ %bb.0: |
| ; CHECK-NEXT: vldr d17, [sp] |
| ; CHECK-NEXT: vmov d16, r2, r3 |
| ; CHECK-NEXT: ldr r0, [r0] |
| ; CHECK-NEXT: vmovn.i32 d16, q8 |
| ; CHECK-NEXT: vuzp.8 d16, d17 |
| ; CHECK-NEXT: vst1.32 {d16[0]}, [r0:32] |
| ; CHECK-NEXT: bx lr |
| %A = load ptr, ptr %ptr |
| %trunc = trunc <4 x i32> %val to <4 x i8> |
| store <4 x i8> %trunc, ptr %A, align 4 |
| ret void |
| } |
| |
| define void @truncstore_v4i32tov4i8_fake_update(ptr %ptr, <4 x i32> %val) { |
| ; CHECK-LABEL: truncstore_v4i32tov4i8_fake_update: |
| ; CHECK: @ %bb.0: |
| ; CHECK-NEXT: vldr d17, [sp] |
| ; CHECK-NEXT: vmov d16, r2, r3 |
| ; CHECK-NEXT: ldr r1, [r0] |
| ; CHECK-NEXT: movs r2, #16 |
| ; CHECK-NEXT: vmovn.i32 d16, q8 |
| ; CHECK-NEXT: vuzp.8 d16, d17 |
| ; CHECK-NEXT: vst1.32 {d16[0]}, [r1:32], r2 |
| ; CHECK-NEXT: str r1, [r0] |
| ; CHECK-NEXT: bx lr |
| %A = load ptr, ptr %ptr |
| %trunc = trunc <4 x i32> %val to <4 x i8> |
| store <4 x i8> %trunc, ptr %A, align 4 |
| %inc = getelementptr <4 x i8>, ptr %A, i38 4 |
| store ptr %inc, ptr %ptr |
| ret void |
| } |
| |
| define ptr @test_vst1_1reg(ptr %ptr.in, ptr %ptr.out) { |
| ; CHECK-LABEL: test_vst1_1reg: |
| ; CHECK: @ %bb.0: |
| ; CHECK-NEXT: vld1.64 {d16, d17}, [r0] |
| ; CHECK-NEXT: movs r0, #32 |
| ; CHECK-NEXT: vst1.32 {d16, d17}, [r1], r0 |
| ; CHECK-NEXT: mov r0, r1 |
| ; CHECK-NEXT: bx lr |
| %val = load <4 x i32>, ptr %ptr.in |
| store <4 x i32> %val, ptr %ptr.out |
| %next = getelementptr <4 x i32>, ptr %ptr.out, i32 2 |
| ret ptr %next |
| } |
| |
| ; PR56970 |
| define void @v3i8store(ptr %p) { |
| ; CHECK-LABEL: v3i8store: |
| ; CHECK: @ %bb.0: |
| ; CHECK-NEXT: sub sp, #4 |
| ; CHECK-NEXT: vmov.i32 d16, #0xff |
| ; CHECK-NEXT: mov r1, sp |
| ; CHECK-NEXT: vmov.i32 d17, #0x0 |
| ; CHECK-NEXT: movs r2, #0 |
| ; CHECK-NEXT: vand d16, d17, d16 |
| ; CHECK-NEXT: vst1.32 {d16[0]}, [r1:32] |
| ; CHECK-NEXT: vld1.32 {d16[0]}, [r1:32] |
| ; CHECK-NEXT: vmovl.u16 q8, d16 |
| ; CHECK-NEXT: strb r2, [r0, #2] |
| ; CHECK-NEXT: vmov.32 r1, d16[0] |
| ; CHECK-NEXT: strh r1, [r0] |
| ; CHECK-NEXT: add sp, #4 |
| ; CHECK-NEXT: bx lr |
| store <3 x i8> zeroinitializer, ptr %p, align 4 |
| ret void |
| } |
| |
| define void @v3i64shuffle(ptr %p, <3 x i64> %a) { |
| ; CHECK-LABEL: v3i64shuffle: |
| ; CHECK: @ %bb.0: |
| ; CHECK-NEXT: vmov.i32 q8, #0x0 |
| ; CHECK-NEXT: ldrd r12, r1, [sp, #8] |
| ; CHECK-NEXT: vmov d18, r2, r3 |
| ; CHECK-NEXT: vorr d19, d16, d16 |
| ; CHECK-NEXT: str r1, [r0, #20] |
| ; CHECK-NEXT: vst1.32 {d18, d19}, [r0]! |
| ; CHECK-NEXT: str.w r12, [r0] |
| ; CHECK-NEXT: bx lr |
| %b = shufflevector <3 x i64> %a, <3 x i64> zeroinitializer, <3 x i32> <i32 0, i32 3, i32 2> |
| store <3 x i64> %b, ptr %p, align 4 |
| ret void |
| } |
| |