[WebAssembly] Don't perform the returned-argument optimization on constants.

[oota-llvm.git] / test / CodeGen / ARM / vector-store.ll

diff --git a/test/CodeGen/ARM/vector-store.ll b/test/CodeGen/ARM/vector-store.ll
index 179941182413dba871db82a8c7c0d557a28e06e0..161bbf1d0fde85c16417d8776be3dc00b76bddd8 100644 (file)
--- a/test/CodeGen/ARM/vector-store.ll
+++ b/test/CodeGen/ARM/vector-store.ll
@@ -6,7 +6,7 @@ target triple = "thumbv7s-apple-ios8.0.0"
 define void @store_v8i8(<8 x i8>** %ptr, <8 x i8> %val) {
 ;CHECK-LABEL: store_v8i8:
 ;CHECK: str r1, [r0]
-       %A = load <8 x i8>** %ptr
+       %A = load <8 x i8>*, <8 x i8>** %ptr
        store  <8 x i8> %val, <8 x i8>* %A, align 1
        ret void
 }
@@ -14,9 +14,9 @@ define void @store_v8i8(<8 x i8>** %ptr, <8 x i8> %val) {
 define void @store_v8i8_update(<8 x i8>** %ptr, <8 x i8> %val) {
 ;CHECK-LABEL: store_v8i8_update:
 ;CHECK: vst1.8 {{{d[0-9]+}}}, [{{r[0-9]+}}]!
-       %A = load <8 x i8>** %ptr
+       %A = load <8 x i8>*, <8 x i8>** %ptr
        store  <8 x i8> %val, <8 x i8>* %A, align 1
-       %inc = getelementptr <8 x i8>* %A, i38 1
+       %inc = getelementptr <8 x i8>, <8 x i8>* %A, i38 1
         store <8 x i8>* %inc, <8 x i8>** %ptr
        ret void
 }
@@ -24,17 +24,17 @@ define void @store_v8i8_update(<8 x i8>** %ptr, <8 x i8> %val) {
 define void @store_v4i16(<4 x i16>** %ptr, <4 x i16> %val) {
 ;CHECK-LABEL: store_v4i16:
 ;CHECK: str r1, [r0]
-       %A = load <4 x i16>** %ptr
+       %A = load <4 x i16>*, <4 x i16>** %ptr
        store  <4 x i16> %val, <4 x i16>* %A, align 1
        ret void
 }
 
 define void @store_v4i16_update(<4 x i16>** %ptr, <4 x i16> %val) {
 ;CHECK-LABEL: store_v4i16_update:
-;CHECK: vst1.16 {{{d[0-9]+}}}, [{{r[0-9]+}}]!
-       %A = load <4 x i16>** %ptr
+;CHECK: vst1.8 {{{d[0-9]+}}}, [{{r[0-9]+}}]!
+       %A = load <4 x i16>*, <4 x i16>** %ptr
        store  <4 x i16> %val, <4 x i16>* %A, align 1
-       %inc = getelementptr <4 x i16>* %A, i34 1
+       %inc = getelementptr <4 x i16>, <4 x i16>* %A, i34 1
         store <4 x i16>* %inc, <4 x i16>** %ptr
        ret void
 }
@@ -42,17 +42,17 @@ define void @store_v4i16_update(<4 x i16>** %ptr, <4 x i16> %val) {
 define void @store_v2i32(<2 x i32>** %ptr, <2 x i32> %val) {
 ;CHECK-LABEL: store_v2i32:
 ;CHECK: str r1, [r0]
-       %A = load <2 x i32>** %ptr
+       %A = load <2 x i32>*, <2 x i32>** %ptr
        store  <2 x i32> %val, <2 x i32>* %A, align 1
        ret void
 }
 
 define void @store_v2i32_update(<2 x i32>** %ptr, <2 x i32> %val) {
 ;CHECK-LABEL: store_v2i32_update:
-;CHECK: vst1.32 {{{d[0-9]+}}}, [{{r[0-9]+}}]!
-       %A = load <2 x i32>** %ptr
+;CHECK: vst1.8 {{{d[0-9]+}}}, [{{r[0-9]+}}]!
+       %A = load <2 x i32>*, <2 x i32>** %ptr
        store  <2 x i32> %val, <2 x i32>* %A, align 1
-       %inc = getelementptr <2 x i32>* %A, i32 1
+       %inc = getelementptr <2 x i32>, <2 x i32>* %A, i32 1
         store <2 x i32>* %inc, <2 x i32>** %ptr
        ret void
 }
@@ -60,17 +60,17 @@ define void @store_v2i32_update(<2 x i32>** %ptr, <2 x i32> %val) {
 define void @store_v2f32(<2 x float>** %ptr, <2 x float> %val) {
 ;CHECK-LABEL: store_v2f32:
 ;CHECK: str r1, [r0]
-       %A = load <2 x float>** %ptr
+       %A = load <2 x float>*, <2 x float>** %ptr
        store  <2 x float> %val, <2 x float>* %A, align 1
        ret void
 }
 
 define void @store_v2f32_update(<2 x float>** %ptr, <2 x float> %val) {
 ;CHECK-LABEL: store_v2f32_update:
-;CHECK: vst1.32 {{{d[0-9]+}}}, [{{r[0-9]+}}]!
-       %A = load <2 x float>** %ptr
+;CHECK: vst1.8 {{{d[0-9]+}}}, [{{r[0-9]+}}]!
+       %A = load <2 x float>*, <2 x float>** %ptr
        store  <2 x float> %val, <2 x float>* %A, align 1
-       %inc = getelementptr <2 x float>* %A, i32 1
+       %inc = getelementptr <2 x float>, <2 x float>* %A, i32 1
         store <2 x float>* %inc, <2 x float>** %ptr
        ret void
 }
@@ -78,17 +78,17 @@ define void @store_v2f32_update(<2 x float>** %ptr, <2 x float> %val) {
 define void @store_v1i64(<1 x i64>** %ptr, <1 x i64> %val) {
 ;CHECK-LABEL: store_v1i64:
 ;CHECK: str r1, [r0]
-       %A = load <1 x i64>** %ptr
+       %A = load <1 x i64>*, <1 x i64>** %ptr
        store  <1 x i64> %val, <1 x i64>* %A, align 1
        ret void
 }
 
 define void @store_v1i64_update(<1 x i64>** %ptr, <1 x i64> %val) {
 ;CHECK-LABEL: store_v1i64_update:
-;CHECK: vst1.64 {{{d[0-9]+}}}, [{{r[0-9]+}}]!
-       %A = load <1 x i64>** %ptr
+;CHECK: vst1.8 {{{d[0-9]+}}}, [{{r[0-9]+}}]!
+       %A = load <1 x i64>*, <1 x i64>** %ptr
        store  <1 x i64> %val, <1 x i64>* %A, align 1
-       %inc = getelementptr <1 x i64>* %A, i31 1
+       %inc = getelementptr <1 x i64>, <1 x i64>* %A, i31 1
         store <1 x i64>* %inc, <1 x i64>** %ptr
        ret void
 }
@@ -96,7 +96,7 @@ define void @store_v1i64_update(<1 x i64>** %ptr, <1 x i64> %val) {
 define void @store_v16i8(<16 x i8>** %ptr, <16 x i8> %val) {
 ;CHECK-LABEL: store_v16i8:
 ;CHECK: vst1.8 {{{d[0-9]+, d[0-9]+}}}, [{{r[0-9]+}}]
-       %A = load <16 x i8>** %ptr
+       %A = load <16 x i8>*, <16 x i8>** %ptr
        store  <16 x i8> %val, <16 x i8>* %A, align 1
        ret void
 }
@@ -104,9 +104,9 @@ define void @store_v16i8(<16 x i8>** %ptr, <16 x i8> %val) {
 define void @store_v16i8_update(<16 x i8>** %ptr, <16 x i8> %val) {
 ;CHECK-LABEL: store_v16i8_update:
 ;CHECK: vst1.8 {{{d[0-9]+, d[0-9]+}}}, [{{r[0-9]+}}]!
-       %A = load <16 x i8>** %ptr
+       %A = load <16 x i8>*, <16 x i8>** %ptr
        store  <16 x i8> %val, <16 x i8>* %A, align 1
-       %inc = getelementptr <16 x i8>* %A, i316 1
+       %inc = getelementptr <16 x i8>, <16 x i8>* %A, i316 1
         store <16 x i8>* %inc, <16 x i8>** %ptr
        ret void
 }
@@ -114,17 +114,17 @@ define void @store_v16i8_update(<16 x i8>** %ptr, <16 x i8> %val) {
 define void @store_v8i16(<8 x i16>** %ptr, <8 x i16> %val) {
 ;CHECK-LABEL: store_v8i16:
 ;CHECK: vst1.8 {{{d[0-9]+, d[0-9]+}}}, [{{r[0-9]+}}]
-       %A = load <8 x i16>** %ptr
+       %A = load <8 x i16>*, <8 x i16>** %ptr
        store  <8 x i16> %val, <8 x i16>* %A, align 1
        ret void
 }
 
 define void @store_v8i16_update(<8 x i16>** %ptr, <8 x i16> %val) {
 ;CHECK-LABEL: store_v8i16_update:
-;CHECK: vst1.16 {{{d[0-9]+, d[0-9]+}}}, [{{r[0-9]+}}]!
-       %A = load <8 x i16>** %ptr
+;CHECK: vst1.8 {{{d[0-9]+, d[0-9]+}}}, [{{r[0-9]+}}]!
+       %A = load <8 x i16>*, <8 x i16>** %ptr
        store  <8 x i16> %val, <8 x i16>* %A, align 1
-       %inc = getelementptr <8 x i16>* %A, i38 1
+       %inc = getelementptr <8 x i16>, <8 x i16>* %A, i38 1
         store <8 x i16>* %inc, <8 x i16>** %ptr
        ret void
 }
@@ -132,17 +132,17 @@ define void @store_v8i16_update(<8 x i16>** %ptr, <8 x i16> %val) {
 define void @store_v4i32(<4 x i32>** %ptr, <4 x i32> %val) {
 ;CHECK-LABEL: store_v4i32:
 ;CHECK: vst1.8 {{{d[0-9]+, d[0-9]+}}}, [{{r[0-9]+}}]
-       %A = load <4 x i32>** %ptr
+       %A = load <4 x i32>*, <4 x i32>** %ptr
        store  <4 x i32> %val, <4 x i32>* %A, align 1
        ret void
 }
 
 define void @store_v4i32_update(<4 x i32>** %ptr, <4 x i32> %val) {
 ;CHECK-LABEL: store_v4i32_update:
-;CHECK: vst1.32 {{{d[0-9]+, d[0-9]+}}}, [{{r[0-9]+}}]!
-       %A = load <4 x i32>** %ptr
+;CHECK: vst1.8 {{{d[0-9]+, d[0-9]+}}}, [{{r[0-9]+}}]!
+       %A = load <4 x i32>*, <4 x i32>** %ptr
        store  <4 x i32> %val, <4 x i32>* %A, align 1
-       %inc = getelementptr <4 x i32>* %A, i34 1
+       %inc = getelementptr <4 x i32>, <4 x i32>* %A, i34 1
         store <4 x i32>* %inc, <4 x i32>** %ptr
        ret void
 }
@@ -150,17 +150,17 @@ define void @store_v4i32_update(<4 x i32>** %ptr, <4 x i32> %val) {
 define void @store_v4f32(<4 x float>** %ptr, <4 x float> %val) {
 ;CHECK-LABEL: store_v4f32:
 ;CHECK: vst1.8 {{{d[0-9]+, d[0-9]+}}}, [{{r[0-9]+}}]
-       %A = load <4 x float>** %ptr
+       %A = load <4 x float>*, <4 x float>** %ptr
        store  <4 x float> %val, <4 x float>* %A, align 1
        ret void
 }
 
 define void @store_v4f32_update(<4 x float>** %ptr, <4 x float> %val) {
 ;CHECK-LABEL: store_v4f32_update:
-;CHECK: vst1.32 {{{d[0-9]+, d[0-9]+}}}, [{{r[0-9]+}}]!
-       %A = load <4 x float>** %ptr
+;CHECK: vst1.8 {{{d[0-9]+, d[0-9]+}}}, [{{r[0-9]+}}]!
+       %A = load <4 x float>*, <4 x float>** %ptr
        store  <4 x float> %val, <4 x float>* %A, align 1
-       %inc = getelementptr <4 x float>* %A, i34 1
+       %inc = getelementptr <4 x float>, <4 x float>* %A, i34 1
         store <4 x float>* %inc, <4 x float>** %ptr
        ret void
 }
@@ -168,17 +168,57 @@ define void @store_v4f32_update(<4 x float>** %ptr, <4 x float> %val) {
 define void @store_v2i64(<2 x i64>** %ptr, <2 x i64> %val) {
 ;CHECK-LABEL: store_v2i64:
 ;CHECK: vst1.8 {{{d[0-9]+, d[0-9]+}}}, [{{r[0-9]+}}]
-       %A = load <2 x i64>** %ptr
+       %A = load <2 x i64>*, <2 x i64>** %ptr
        store  <2 x i64> %val, <2 x i64>* %A, align 1
        ret void
 }
 
 define void @store_v2i64_update(<2 x i64>** %ptr, <2 x i64> %val) {
 ;CHECK-LABEL: store_v2i64_update:
-;CHECK: vst1.64 {{{d[0-9]+, d[0-9]+}}}, [{{r[0-9]+}}]!
-       %A = load <2 x i64>** %ptr
+;CHECK: vst1.8 {{{d[0-9]+, d[0-9]+}}}, [{{r[0-9]+}}]!
+       %A = load <2 x i64>*, <2 x i64>** %ptr
        store  <2 x i64> %val, <2 x i64>* %A, align 1
-       %inc = getelementptr <2 x i64>* %A, i32 1
+       %inc = getelementptr <2 x i64>, <2 x i64>* %A, i32 1
+        store <2 x i64>* %inc, <2 x i64>** %ptr
+       ret void
+}
+
+define void @store_v2i64_update_aligned2(<2 x i64>** %ptr, <2 x i64> %val) {
+;CHECK-LABEL: store_v2i64_update_aligned2:
+;CHECK: vst1.16 {{{d[0-9]+, d[0-9]+}}}, [{{r[0-9]+}}]!
+       %A = load <2 x i64>*, <2 x i64>** %ptr
+       store  <2 x i64> %val, <2 x i64>* %A, align 2
+       %inc = getelementptr <2 x i64>, <2 x i64>* %A, i32 1
+        store <2 x i64>* %inc, <2 x i64>** %ptr
+       ret void
+}
+
+define void @store_v2i64_update_aligned4(<2 x i64>** %ptr, <2 x i64> %val) {
+;CHECK-LABEL: store_v2i64_update_aligned4:
+;CHECK: vst1.32 {{{d[0-9]+, d[0-9]+}}}, [{{r[0-9]+}}]!
+       %A = load <2 x i64>*, <2 x i64>** %ptr
+       store  <2 x i64> %val, <2 x i64>* %A, align 4
+       %inc = getelementptr <2 x i64>, <2 x i64>* %A, i32 1
+        store <2 x i64>* %inc, <2 x i64>** %ptr
+       ret void
+}
+
+define void @store_v2i64_update_aligned8(<2 x i64>** %ptr, <2 x i64> %val) {
+;CHECK-LABEL: store_v2i64_update_aligned8:
+;CHECK: vst1.64 {{{d[0-9]+, d[0-9]+}}}, [{{r[0-9]+}}]!
+       %A = load <2 x i64>*, <2 x i64>** %ptr
+       store  <2 x i64> %val, <2 x i64>* %A, align 8
+       %inc = getelementptr <2 x i64>, <2 x i64>* %A, i32 1
+        store <2 x i64>* %inc, <2 x i64>** %ptr
+       ret void
+}
+
+define void @store_v2i64_update_aligned16(<2 x i64>** %ptr, <2 x i64> %val) {
+;CHECK-LABEL: store_v2i64_update_aligned16:
+;CHECK: vst1.64 {{{d[0-9]+, d[0-9]+}}}, [{{r[0-9]+}}:128]!
+       %A = load <2 x i64>*, <2 x i64>** %ptr
+       store  <2 x i64> %val, <2 x i64>* %A, align 16
+       %inc = getelementptr <2 x i64>, <2 x i64>* %A, i32 1
         store <2 x i64>* %inc, <2 x i64>** %ptr
        ret void
 }
@@ -188,13 +228,13 @@ define void @truncstore_v4i32tov4i8(<4 x i8>** %ptr, <4 x i32> %val) {
 ;CHECK: ldr.w   r9, [sp]
 ;CHECK: vmov    {{d[0-9]+}}, r3, r9
 ;CHECK: vmov    {{d[0-9]+}}, r1, r2
+;CHECK: ldr     r[[PTRREG:[0-9]+]], [r0]
 ;CHECK: vmovn.i32       [[VECLO:d[0-9]+]], {{q[0-9]+}}
 ;CHECK: vuzp.8  [[VECLO]], {{d[0-9]+}}
-;CHECK: ldr     r[[PTRREG:[0-9]+]], [r0]
-;CHECK: vst1.32 {[[VECLO]][0]}, [r[[PTRREG]]]
-       %A = load <4 x i8>** %ptr
+;CHECK: vst1.32 {[[VECLO]][0]}, [r[[PTRREG]]:32]
+       %A = load <4 x i8>*, <4 x i8>** %ptr
         %trunc = trunc <4 x i32> %val to <4 x i8>
-       store  <4 x i8> %trunc, <4 x i8>* %A, align 1
+       store  <4 x i8> %trunc, <4 x i8>* %A, align 4
        ret void
 }
 
@@ -203,16 +243,16 @@ define void @truncstore_v4i32tov4i8_fake_update(<4 x i8>** %ptr, <4 x i32> %val)
 ;CHECK: ldr.w   r9, [sp]
 ;CHECK: vmov    {{d[0-9]+}}, r3, r9
 ;CHECK: vmov    {{d[0-9]+}}, r1, r2
-;CHECK: movs    [[IMM16:r[0-9]+]], #16
+;CHECK: ldr     r[[PTRREG:[0-9]+]], [r0]
 ;CHECK: vmovn.i32       [[VECLO:d[0-9]+]], {{q[0-9]+}}
 ;CHECK: vuzp.8  [[VECLO]], {{d[0-9]+}}
-;CHECK: ldr     r[[PTRREG:[0-9]+]], [r0]
+;CHECK: movs    [[IMM16:r[0-9]+]], #16
 ;CHECK: vst1.32 {[[VECLO]][0]}, [r[[PTRREG]]:32], [[IMM16]]
 ;CHECK: str     r[[PTRREG]], [r0]
-       %A = load <4 x i8>** %ptr
+       %A = load <4 x i8>*, <4 x i8>** %ptr
         %trunc = trunc <4 x i32> %val to <4 x i8>
        store  <4 x i8> %trunc, <4 x i8>* %A, align 4
-       %inc = getelementptr <4 x i8>* %A, i38 4
+       %inc = getelementptr <4 x i8>, <4 x i8>* %A, i38 4
         store <4 x i8>* %inc, <4 x i8>** %ptr
        ret void
 }