blob: c69473f87f98acf3cd76ac96d16d4e812efda1e1 [file] [log] [blame]
Bob Wilson2a0e9742010-11-27 06:35:16 +00001; RUN: llc < %s -march=arm -mattr=+neon | FileCheck %s
2
3define <8 x i8> @vld1dupi8(i8* %A) nounwind {
4;CHECK: vld1dupi8:
5;Check the (default) alignment value.
6;CHECK: vld1.8 {d16[]}, [r0]
7 %tmp1 = load i8* %A, align 8
8 %tmp2 = insertelement <8 x i8> undef, i8 %tmp1, i32 0
9 %tmp3 = shufflevector <8 x i8> %tmp2, <8 x i8> undef, <8 x i32> zeroinitializer
10 ret <8 x i8> %tmp3
11}
12
13define <4 x i16> @vld1dupi16(i16* %A) nounwind {
14;CHECK: vld1dupi16:
15;Check the alignment value. Max for this instruction is 16 bits:
16;CHECK: vld1.16 {d16[]}, [r0, :16]
17 %tmp1 = load i16* %A, align 8
18 %tmp2 = insertelement <4 x i16> undef, i16 %tmp1, i32 0
19 %tmp3 = shufflevector <4 x i16> %tmp2, <4 x i16> undef, <4 x i32> zeroinitializer
20 ret <4 x i16> %tmp3
21}
22
23define <2 x i32> @vld1dupi32(i32* %A) nounwind {
24;CHECK: vld1dupi32:
25;Check the alignment value. Max for this instruction is 32 bits:
26;CHECK: vld1.32 {d16[]}, [r0, :32]
27 %tmp1 = load i32* %A, align 8
28 %tmp2 = insertelement <2 x i32> undef, i32 %tmp1, i32 0
29 %tmp3 = shufflevector <2 x i32> %tmp2, <2 x i32> undef, <2 x i32> zeroinitializer
30 ret <2 x i32> %tmp3
31}
32
Bob Wilson746fa172010-12-10 22:13:32 +000033define <2 x float> @vld1dupf(float* %A) nounwind {
34;CHECK: vld1dupf:
Jakob Stoklund Olesenb0117ee2011-10-27 22:39:16 +000035;CHECK: vld1.32 {d16[]}, [r0, :32]
Bob Wilson746fa172010-12-10 22:13:32 +000036 %tmp0 = load float* %A
37 %tmp1 = insertelement <2 x float> undef, float %tmp0, i32 0
38 %tmp2 = shufflevector <2 x float> %tmp1, <2 x float> undef, <2 x i32> zeroinitializer
39 ret <2 x float> %tmp2
40}
41
Bob Wilson2a0e9742010-11-27 06:35:16 +000042define <16 x i8> @vld1dupQi8(i8* %A) nounwind {
43;CHECK: vld1dupQi8:
44;Check the (default) alignment value.
45;CHECK: vld1.8 {d16[], d17[]}, [r0]
46 %tmp1 = load i8* %A, align 8
47 %tmp2 = insertelement <16 x i8> undef, i8 %tmp1, i32 0
48 %tmp3 = shufflevector <16 x i8> %tmp2, <16 x i8> undef, <16 x i32> zeroinitializer
49 ret <16 x i8> %tmp3
50}
Bob Wilsonb1dfa7a2010-11-28 06:51:26 +000051
Bob Wilson746fa172010-12-10 22:13:32 +000052define <4 x float> @vld1dupQf(float* %A) nounwind {
53;CHECK: vld1dupQf:
Jakob Stoklund Olesenb0117ee2011-10-27 22:39:16 +000054;CHECK: vld1.32 {d16[], d17[]}, [r0, :32]
Bob Wilson746fa172010-12-10 22:13:32 +000055 %tmp0 = load float* %A
56 %tmp1 = insertelement <4 x float> undef, float %tmp0, i32 0
57 %tmp2 = shufflevector <4 x float> %tmp1, <4 x float> undef, <4 x i32> zeroinitializer
58 ret <4 x float> %tmp2
59}
60
Bob Wilsonb1dfa7a2010-11-28 06:51:26 +000061%struct.__neon_int8x8x2_t = type { <8 x i8>, <8 x i8> }
Bob Wilsona92bac62010-12-10 19:37:42 +000062%struct.__neon_int4x16x2_t = type { <4 x i16>, <4 x i16> }
Bob Wilsonb1dfa7a2010-11-28 06:51:26 +000063%struct.__neon_int2x32x2_t = type { <2 x i32>, <2 x i32> }
64
65define <8 x i8> @vld2dupi8(i8* %A) nounwind {
66;CHECK: vld2dupi8:
67;Check the (default) alignment value.
68;CHECK: vld2.8 {d16[], d17[]}, [r0]
69 %tmp0 = tail call %struct.__neon_int8x8x2_t @llvm.arm.neon.vld2lane.v8i8(i8* %A, <8 x i8> undef, <8 x i8> undef, i32 0, i32 1)
70 %tmp1 = extractvalue %struct.__neon_int8x8x2_t %tmp0, 0
71 %tmp2 = shufflevector <8 x i8> %tmp1, <8 x i8> undef, <8 x i32> zeroinitializer
72 %tmp3 = extractvalue %struct.__neon_int8x8x2_t %tmp0, 1
73 %tmp4 = shufflevector <8 x i8> %tmp3, <8 x i8> undef, <8 x i32> zeroinitializer
74 %tmp5 = add <8 x i8> %tmp2, %tmp4
75 ret <8 x i8> %tmp5
76}
77
Chris Lattnerc32cef62012-05-27 19:35:41 +000078define <4 x i16> @vld2dupi16(i8* %A) nounwind {
Bob Wilsona92bac62010-12-10 19:37:42 +000079;CHECK: vld2dupi16:
80;Check that a power-of-two alignment smaller than the total size of the memory
81;being loaded is ignored.
82;CHECK: vld2.16 {d16[], d17[]}, [r0]
Chris Lattnerc32cef62012-05-27 19:35:41 +000083 %tmp0 = tail call %struct.__neon_int4x16x2_t @llvm.arm.neon.vld2lane.v4i16(i8* %A, <4 x i16> undef, <4 x i16> undef, i32 0, i32 2)
Bob Wilsona92bac62010-12-10 19:37:42 +000084 %tmp1 = extractvalue %struct.__neon_int4x16x2_t %tmp0, 0
85 %tmp2 = shufflevector <4 x i16> %tmp1, <4 x i16> undef, <4 x i32> zeroinitializer
86 %tmp3 = extractvalue %struct.__neon_int4x16x2_t %tmp0, 1
87 %tmp4 = shufflevector <4 x i16> %tmp3, <4 x i16> undef, <4 x i32> zeroinitializer
88 %tmp5 = add <4 x i16> %tmp2, %tmp4
89 ret <4 x i16> %tmp5
90}
91
Bob Wilson1c3ef902011-02-07 17:43:21 +000092;Check for a post-increment updating load.
93define <4 x i16> @vld2dupi16_update(i16** %ptr) nounwind {
94;CHECK: vld2dupi16_update:
95;CHECK: vld2.16 {d16[], d17[]}, [r1]!
96 %A = load i16** %ptr
Chris Lattnerc32cef62012-05-27 19:35:41 +000097 %A2 = bitcast i16* %A to i8*
98 %tmp0 = tail call %struct.__neon_int4x16x2_t @llvm.arm.neon.vld2lane.v4i16(i8* %A2, <4 x i16> undef, <4 x i16> undef, i32 0, i32 2)
Bob Wilson1c3ef902011-02-07 17:43:21 +000099 %tmp1 = extractvalue %struct.__neon_int4x16x2_t %tmp0, 0
100 %tmp2 = shufflevector <4 x i16> %tmp1, <4 x i16> undef, <4 x i32> zeroinitializer
101 %tmp3 = extractvalue %struct.__neon_int4x16x2_t %tmp0, 1
102 %tmp4 = shufflevector <4 x i16> %tmp3, <4 x i16> undef, <4 x i32> zeroinitializer
103 %tmp5 = add <4 x i16> %tmp2, %tmp4
104 %tmp6 = getelementptr i16* %A, i32 2
105 store i16* %tmp6, i16** %ptr
106 ret <4 x i16> %tmp5
107}
108
Chris Lattnerc32cef62012-05-27 19:35:41 +0000109define <2 x i32> @vld2dupi32(i8* %A) nounwind {
Bob Wilsonb1dfa7a2010-11-28 06:51:26 +0000110;CHECK: vld2dupi32:
111;Check the alignment value. Max for this instruction is 64 bits:
112;CHECK: vld2.32 {d16[], d17[]}, [r0, :64]
Chris Lattnerc32cef62012-05-27 19:35:41 +0000113 %tmp0 = tail call %struct.__neon_int2x32x2_t @llvm.arm.neon.vld2lane.v2i32(i8* %A, <2 x i32> undef, <2 x i32> undef, i32 0, i32 16)
Bob Wilsonb1dfa7a2010-11-28 06:51:26 +0000114 %tmp1 = extractvalue %struct.__neon_int2x32x2_t %tmp0, 0
115 %tmp2 = shufflevector <2 x i32> %tmp1, <2 x i32> undef, <2 x i32> zeroinitializer
116 %tmp3 = extractvalue %struct.__neon_int2x32x2_t %tmp0, 1
117 %tmp4 = shufflevector <2 x i32> %tmp3, <2 x i32> undef, <2 x i32> zeroinitializer
118 %tmp5 = add <2 x i32> %tmp2, %tmp4
119 ret <2 x i32> %tmp5
120}
121
122declare %struct.__neon_int8x8x2_t @llvm.arm.neon.vld2lane.v8i8(i8*, <8 x i8>, <8 x i8>, i32, i32) nounwind readonly
Chris Lattnerc32cef62012-05-27 19:35:41 +0000123declare %struct.__neon_int4x16x2_t @llvm.arm.neon.vld2lane.v4i16(i8*, <4 x i16>, <4 x i16>, i32, i32) nounwind readonly
124declare %struct.__neon_int2x32x2_t @llvm.arm.neon.vld2lane.v2i32(i8*, <2 x i32>, <2 x i32>, i32, i32) nounwind readonly
Bob Wilson86c6d802010-11-29 19:35:29 +0000125
Bob Wilson1c3ef902011-02-07 17:43:21 +0000126%struct.__neon_int8x8x3_t = type { <8 x i8>, <8 x i8>, <8 x i8> }
Bob Wilson86c6d802010-11-29 19:35:29 +0000127%struct.__neon_int16x4x3_t = type { <4 x i16>, <4 x i16>, <4 x i16> }
128
Bob Wilson1c3ef902011-02-07 17:43:21 +0000129;Check for a post-increment updating load with register increment.
130define <8 x i8> @vld3dupi8_update(i8** %ptr, i32 %inc) nounwind {
131;CHECK: vld3dupi8_update:
132;CHECK: vld3.8 {d16[], d17[], d18[]}, [r2], r1
133 %A = load i8** %ptr
134 %tmp0 = tail call %struct.__neon_int8x8x3_t @llvm.arm.neon.vld3lane.v8i8(i8* %A, <8 x i8> undef, <8 x i8> undef, <8 x i8> undef, i32 0, i32 8)
135 %tmp1 = extractvalue %struct.__neon_int8x8x3_t %tmp0, 0
136 %tmp2 = shufflevector <8 x i8> %tmp1, <8 x i8> undef, <8 x i32> zeroinitializer
137 %tmp3 = extractvalue %struct.__neon_int8x8x3_t %tmp0, 1
138 %tmp4 = shufflevector <8 x i8> %tmp3, <8 x i8> undef, <8 x i32> zeroinitializer
139 %tmp5 = extractvalue %struct.__neon_int8x8x3_t %tmp0, 2
140 %tmp6 = shufflevector <8 x i8> %tmp5, <8 x i8> undef, <8 x i32> zeroinitializer
141 %tmp7 = add <8 x i8> %tmp2, %tmp4
142 %tmp8 = add <8 x i8> %tmp7, %tmp6
143 %tmp9 = getelementptr i8* %A, i32 %inc
144 store i8* %tmp9, i8** %ptr
145 ret <8 x i8> %tmp8
146}
147
Chris Lattnerc32cef62012-05-27 19:35:41 +0000148define <4 x i16> @vld3dupi16(i8* %A) nounwind {
Bob Wilson86c6d802010-11-29 19:35:29 +0000149;CHECK: vld3dupi16:
150;Check the (default) alignment value. VLD3 does not support alignment.
151;CHECK: vld3.16 {d16[], d17[], d18[]}, [r0]
Chris Lattnerc32cef62012-05-27 19:35:41 +0000152 %tmp0 = tail call %struct.__neon_int16x4x3_t @llvm.arm.neon.vld3lane.v4i16(i8* %A, <4 x i16> undef, <4 x i16> undef, <4 x i16> undef, i32 0, i32 8)
Bob Wilson86c6d802010-11-29 19:35:29 +0000153 %tmp1 = extractvalue %struct.__neon_int16x4x3_t %tmp0, 0
154 %tmp2 = shufflevector <4 x i16> %tmp1, <4 x i16> undef, <4 x i32> zeroinitializer
155 %tmp3 = extractvalue %struct.__neon_int16x4x3_t %tmp0, 1
156 %tmp4 = shufflevector <4 x i16> %tmp3, <4 x i16> undef, <4 x i32> zeroinitializer
157 %tmp5 = extractvalue %struct.__neon_int16x4x3_t %tmp0, 2
158 %tmp6 = shufflevector <4 x i16> %tmp5, <4 x i16> undef, <4 x i32> zeroinitializer
159 %tmp7 = add <4 x i16> %tmp2, %tmp4
160 %tmp8 = add <4 x i16> %tmp7, %tmp6
161 ret <4 x i16> %tmp8
162}
163
Bob Wilson1c3ef902011-02-07 17:43:21 +0000164declare %struct.__neon_int8x8x3_t @llvm.arm.neon.vld3lane.v8i8(i8*, <8 x i8>, <8 x i8>, <8 x i8>, i32, i32) nounwind readonly
Chris Lattnerc32cef62012-05-27 19:35:41 +0000165declare %struct.__neon_int16x4x3_t @llvm.arm.neon.vld3lane.v4i16(i8*, <4 x i16>, <4 x i16>, <4 x i16>, i32, i32) nounwind readonly
Bob Wilson6c4c9822010-11-30 00:00:35 +0000166
Bob Wilson1c3ef902011-02-07 17:43:21 +0000167%struct.__neon_int16x4x4_t = type { <4 x i16>, <4 x i16>, <4 x i16>, <4 x i16> }
Bob Wilson6c4c9822010-11-30 00:00:35 +0000168%struct.__neon_int32x2x4_t = type { <2 x i32>, <2 x i32>, <2 x i32>, <2 x i32> }
169
Bob Wilson1c3ef902011-02-07 17:43:21 +0000170;Check for a post-increment updating load.
171define <4 x i16> @vld4dupi16_update(i16** %ptr) nounwind {
172;CHECK: vld4dupi16_update:
173;CHECK: vld4.16 {d16[], d17[], d18[], d19[]}, [r1]!
174 %A = load i16** %ptr
Chris Lattnerc32cef62012-05-27 19:35:41 +0000175 %A2 = bitcast i16* %A to i8*
176 %tmp0 = tail call %struct.__neon_int16x4x4_t @llvm.arm.neon.vld4lane.v4i16(i8* %A2, <4 x i16> undef, <4 x i16> undef, <4 x i16> undef, <4 x i16> undef, i32 0, i32 1)
Bob Wilson1c3ef902011-02-07 17:43:21 +0000177 %tmp1 = extractvalue %struct.__neon_int16x4x4_t %tmp0, 0
178 %tmp2 = shufflevector <4 x i16> %tmp1, <4 x i16> undef, <4 x i32> zeroinitializer
179 %tmp3 = extractvalue %struct.__neon_int16x4x4_t %tmp0, 1
180 %tmp4 = shufflevector <4 x i16> %tmp3, <4 x i16> undef, <4 x i32> zeroinitializer
181 %tmp5 = extractvalue %struct.__neon_int16x4x4_t %tmp0, 2
182 %tmp6 = shufflevector <4 x i16> %tmp5, <4 x i16> undef, <4 x i32> zeroinitializer
183 %tmp7 = extractvalue %struct.__neon_int16x4x4_t %tmp0, 3
184 %tmp8 = shufflevector <4 x i16> %tmp7, <4 x i16> undef, <4 x i32> zeroinitializer
185 %tmp9 = add <4 x i16> %tmp2, %tmp4
186 %tmp10 = add <4 x i16> %tmp6, %tmp8
187 %tmp11 = add <4 x i16> %tmp9, %tmp10
188 %tmp12 = getelementptr i16* %A, i32 4
189 store i16* %tmp12, i16** %ptr
190 ret <4 x i16> %tmp11
191}
192
Chris Lattnerc32cef62012-05-27 19:35:41 +0000193define <2 x i32> @vld4dupi32(i8* %A) nounwind {
Bob Wilson6c4c9822010-11-30 00:00:35 +0000194;CHECK: vld4dupi32:
Bob Wilsona92bac62010-12-10 19:37:42 +0000195;Check the alignment value. An 8-byte alignment is allowed here even though
196;it is smaller than the total size of the memory being loaded.
197;CHECK: vld4.32 {d16[], d17[], d18[], d19[]}, [r0, :64]
Chris Lattnerc32cef62012-05-27 19:35:41 +0000198 %tmp0 = tail call %struct.__neon_int32x2x4_t @llvm.arm.neon.vld4lane.v2i32(i8* %A, <2 x i32> undef, <2 x i32> undef, <2 x i32> undef, <2 x i32> undef, i32 0, i32 8)
Bob Wilson6c4c9822010-11-30 00:00:35 +0000199 %tmp1 = extractvalue %struct.__neon_int32x2x4_t %tmp0, 0
200 %tmp2 = shufflevector <2 x i32> %tmp1, <2 x i32> undef, <2 x i32> zeroinitializer
201 %tmp3 = extractvalue %struct.__neon_int32x2x4_t %tmp0, 1
202 %tmp4 = shufflevector <2 x i32> %tmp3, <2 x i32> undef, <2 x i32> zeroinitializer
203 %tmp5 = extractvalue %struct.__neon_int32x2x4_t %tmp0, 2
204 %tmp6 = shufflevector <2 x i32> %tmp5, <2 x i32> undef, <2 x i32> zeroinitializer
205 %tmp7 = extractvalue %struct.__neon_int32x2x4_t %tmp0, 3
206 %tmp8 = shufflevector <2 x i32> %tmp7, <2 x i32> undef, <2 x i32> zeroinitializer
207 %tmp9 = add <2 x i32> %tmp2, %tmp4
208 %tmp10 = add <2 x i32> %tmp6, %tmp8
209 %tmp11 = add <2 x i32> %tmp9, %tmp10
210 ret <2 x i32> %tmp11
211}
212
Chris Lattnerc32cef62012-05-27 19:35:41 +0000213declare %struct.__neon_int16x4x4_t @llvm.arm.neon.vld4lane.v4i16(i8*, <4 x i16>, <4 x i16>, <4 x i16>, <4 x i16>, i32, i32) nounwind readonly
214declare %struct.__neon_int32x2x4_t @llvm.arm.neon.vld4lane.v2i32(i8*, <2 x i32>, <2 x i32>, <2 x i32>, <2 x i32>, i32, i32) nounwind readonly