1 ; RUN: llc < %s -march=arm -mattr=+neon | FileCheck %s
3 define <8 x i8> @vaddi8(<8 x i8>* %A, <8 x i8>* %B) nounwind {
6 %tmp1 = load <8 x i8>* %A
7 %tmp2 = load <8 x i8>* %B
8 %tmp3 = add <8 x i8> %tmp1, %tmp2
12 define <4 x i16> @vaddi16(<4 x i16>* %A, <4 x i16>* %B) nounwind {
13 ;CHECK-LABEL: vaddi16:
15 %tmp1 = load <4 x i16>* %A
16 %tmp2 = load <4 x i16>* %B
17 %tmp3 = add <4 x i16> %tmp1, %tmp2
21 define <2 x i32> @vaddi32(<2 x i32>* %A, <2 x i32>* %B) nounwind {
22 ;CHECK-LABEL: vaddi32:
24 %tmp1 = load <2 x i32>* %A
25 %tmp2 = load <2 x i32>* %B
26 %tmp3 = add <2 x i32> %tmp1, %tmp2
30 define <1 x i64> @vaddi64(<1 x i64>* %A, <1 x i64>* %B) nounwind {
31 ;CHECK-LABEL: vaddi64:
33 %tmp1 = load <1 x i64>* %A
34 %tmp2 = load <1 x i64>* %B
35 %tmp3 = add <1 x i64> %tmp1, %tmp2
39 define <2 x float> @vaddf32(<2 x float>* %A, <2 x float>* %B) nounwind {
40 ;CHECK-LABEL: vaddf32:
42 %tmp1 = load <2 x float>* %A
43 %tmp2 = load <2 x float>* %B
44 %tmp3 = fadd <2 x float> %tmp1, %tmp2
48 define <16 x i8> @vaddQi8(<16 x i8>* %A, <16 x i8>* %B) nounwind {
49 ;CHECK-LABEL: vaddQi8:
51 %tmp1 = load <16 x i8>* %A
52 %tmp2 = load <16 x i8>* %B
53 %tmp3 = add <16 x i8> %tmp1, %tmp2
57 define <8 x i16> @vaddQi16(<8 x i16>* %A, <8 x i16>* %B) nounwind {
58 ;CHECK-LABEL: vaddQi16:
60 %tmp1 = load <8 x i16>* %A
61 %tmp2 = load <8 x i16>* %B
62 %tmp3 = add <8 x i16> %tmp1, %tmp2
66 define <4 x i32> @vaddQi32(<4 x i32>* %A, <4 x i32>* %B) nounwind {
67 ;CHECK-LABEL: vaddQi32:
69 %tmp1 = load <4 x i32>* %A
70 %tmp2 = load <4 x i32>* %B
71 %tmp3 = add <4 x i32> %tmp1, %tmp2
75 define <2 x i64> @vaddQi64(<2 x i64>* %A, <2 x i64>* %B) nounwind {
76 ;CHECK-LABEL: vaddQi64:
78 %tmp1 = load <2 x i64>* %A
79 %tmp2 = load <2 x i64>* %B
80 %tmp3 = add <2 x i64> %tmp1, %tmp2
84 define <4 x float> @vaddQf32(<4 x float>* %A, <4 x float>* %B) nounwind {
85 ;CHECK-LABEL: vaddQf32:
87 %tmp1 = load <4 x float>* %A
88 %tmp2 = load <4 x float>* %B
89 %tmp3 = fadd <4 x float> %tmp1, %tmp2
93 define <8 x i8> @vaddhni16(<8 x i16>* %A, <8 x i16>* %B) nounwind {
94 ;CHECK-LABEL: vaddhni16:
96 %tmp1 = load <8 x i16>* %A
97 %tmp2 = load <8 x i16>* %B
98 %tmp3 = call <8 x i8> @llvm.arm.neon.vaddhn.v8i8(<8 x i16> %tmp1, <8 x i16> %tmp2)
102 define <4 x i16> @vaddhni32(<4 x i32>* %A, <4 x i32>* %B) nounwind {
103 ;CHECK-LABEL: vaddhni32:
105 %tmp1 = load <4 x i32>* %A
106 %tmp2 = load <4 x i32>* %B
107 %tmp3 = call <4 x i16> @llvm.arm.neon.vaddhn.v4i16(<4 x i32> %tmp1, <4 x i32> %tmp2)
111 define <2 x i32> @vaddhni64(<2 x i64>* %A, <2 x i64>* %B) nounwind {
112 ;CHECK-LABEL: vaddhni64:
114 %tmp1 = load <2 x i64>* %A
115 %tmp2 = load <2 x i64>* %B
116 %tmp3 = call <2 x i32> @llvm.arm.neon.vaddhn.v2i32(<2 x i64> %tmp1, <2 x i64> %tmp2)
120 declare <8 x i8> @llvm.arm.neon.vaddhn.v8i8(<8 x i16>, <8 x i16>) nounwind readnone
121 declare <4 x i16> @llvm.arm.neon.vaddhn.v4i16(<4 x i32>, <4 x i32>) nounwind readnone
122 declare <2 x i32> @llvm.arm.neon.vaddhn.v2i32(<2 x i64>, <2 x i64>) nounwind readnone
124 define <8 x i8> @vraddhni16(<8 x i16>* %A, <8 x i16>* %B) nounwind {
125 ;CHECK-LABEL: vraddhni16:
127 %tmp1 = load <8 x i16>* %A
128 %tmp2 = load <8 x i16>* %B
129 %tmp3 = call <8 x i8> @llvm.arm.neon.vraddhn.v8i8(<8 x i16> %tmp1, <8 x i16> %tmp2)
133 define <4 x i16> @vraddhni32(<4 x i32>* %A, <4 x i32>* %B) nounwind {
134 ;CHECK-LABEL: vraddhni32:
136 %tmp1 = load <4 x i32>* %A
137 %tmp2 = load <4 x i32>* %B
138 %tmp3 = call <4 x i16> @llvm.arm.neon.vraddhn.v4i16(<4 x i32> %tmp1, <4 x i32> %tmp2)
142 define <2 x i32> @vraddhni64(<2 x i64>* %A, <2 x i64>* %B) nounwind {
143 ;CHECK-LABEL: vraddhni64:
145 %tmp1 = load <2 x i64>* %A
146 %tmp2 = load <2 x i64>* %B
147 %tmp3 = call <2 x i32> @llvm.arm.neon.vraddhn.v2i32(<2 x i64> %tmp1, <2 x i64> %tmp2)
151 declare <8 x i8> @llvm.arm.neon.vraddhn.v8i8(<8 x i16>, <8 x i16>) nounwind readnone
152 declare <4 x i16> @llvm.arm.neon.vraddhn.v4i16(<4 x i32>, <4 x i32>) nounwind readnone
153 declare <2 x i32> @llvm.arm.neon.vraddhn.v2i32(<2 x i64>, <2 x i64>) nounwind readnone
155 define <8 x i8> @vaddhni16_natural(<8 x i16> %A, <8 x i16> %B) nounwind {
156 ; CHECK-LABEL: vaddhni16_natural:
158 %sum = add <8 x i16> %A, %B
159 %shift = lshr <8 x i16> %sum, <i16 8, i16 8, i16 8, i16 8, i16 8, i16 8, i16 8, i16 8>
160 %trunc = trunc <8 x i16> %shift to <8 x i8>
164 define <4 x i16> @vaddhni32_natural(<4 x i32> %A, <4 x i32> %B) nounwind {
165 ; CHECK-LABEL: vaddhni32_natural:
167 %sum = add <4 x i32> %A, %B
168 %shift = lshr <4 x i32> %sum, <i32 16, i32 16, i32 16, i32 16>
169 %trunc = trunc <4 x i32> %shift to <4 x i16>
173 define <2 x i32> @vaddhni64_natural(<2 x i64> %A, <2 x i64> %B) nounwind {
174 ; CHECK-LABEL: vaddhni64_natural:
176 %sum = add <2 x i64> %A, %B
177 %shift = lshr <2 x i64> %sum, <i64 32, i64 32>
178 %trunc = trunc <2 x i64> %shift to <2 x i32>
182 define <8 x i16> @vaddls8(<8 x i8>* %A, <8 x i8>* %B) nounwind {
183 ;CHECK-LABEL: vaddls8:
185 %tmp1 = load <8 x i8>* %A
186 %tmp2 = load <8 x i8>* %B
187 %tmp3 = sext <8 x i8> %tmp1 to <8 x i16>
188 %tmp4 = sext <8 x i8> %tmp2 to <8 x i16>
189 %tmp5 = add <8 x i16> %tmp3, %tmp4
193 define <4 x i32> @vaddls16(<4 x i16>* %A, <4 x i16>* %B) nounwind {
194 ;CHECK-LABEL: vaddls16:
196 %tmp1 = load <4 x i16>* %A
197 %tmp2 = load <4 x i16>* %B
198 %tmp3 = sext <4 x i16> %tmp1 to <4 x i32>
199 %tmp4 = sext <4 x i16> %tmp2 to <4 x i32>
200 %tmp5 = add <4 x i32> %tmp3, %tmp4
204 define <2 x i64> @vaddls32(<2 x i32>* %A, <2 x i32>* %B) nounwind {
205 ;CHECK-LABEL: vaddls32:
207 %tmp1 = load <2 x i32>* %A
208 %tmp2 = load <2 x i32>* %B
209 %tmp3 = sext <2 x i32> %tmp1 to <2 x i64>
210 %tmp4 = sext <2 x i32> %tmp2 to <2 x i64>
211 %tmp5 = add <2 x i64> %tmp3, %tmp4
215 define <8 x i16> @vaddlu8(<8 x i8>* %A, <8 x i8>* %B) nounwind {
216 ;CHECK-LABEL: vaddlu8:
218 %tmp1 = load <8 x i8>* %A
219 %tmp2 = load <8 x i8>* %B
220 %tmp3 = zext <8 x i8> %tmp1 to <8 x i16>
221 %tmp4 = zext <8 x i8> %tmp2 to <8 x i16>
222 %tmp5 = add <8 x i16> %tmp3, %tmp4
226 define <4 x i32> @vaddlu16(<4 x i16>* %A, <4 x i16>* %B) nounwind {
227 ;CHECK-LABEL: vaddlu16:
229 %tmp1 = load <4 x i16>* %A
230 %tmp2 = load <4 x i16>* %B
231 %tmp3 = zext <4 x i16> %tmp1 to <4 x i32>
232 %tmp4 = zext <4 x i16> %tmp2 to <4 x i32>
233 %tmp5 = add <4 x i32> %tmp3, %tmp4
237 define <2 x i64> @vaddlu32(<2 x i32>* %A, <2 x i32>* %B) nounwind {
238 ;CHECK-LABEL: vaddlu32:
240 %tmp1 = load <2 x i32>* %A
241 %tmp2 = load <2 x i32>* %B
242 %tmp3 = zext <2 x i32> %tmp1 to <2 x i64>
243 %tmp4 = zext <2 x i32> %tmp2 to <2 x i64>
244 %tmp5 = add <2 x i64> %tmp3, %tmp4
248 define <8 x i16> @vaddws8(<8 x i16>* %A, <8 x i8>* %B) nounwind {
249 ;CHECK-LABEL: vaddws8:
251 %tmp1 = load <8 x i16>* %A
252 %tmp2 = load <8 x i8>* %B
253 %tmp3 = sext <8 x i8> %tmp2 to <8 x i16>
254 %tmp4 = add <8 x i16> %tmp1, %tmp3
258 define <4 x i32> @vaddws16(<4 x i32>* %A, <4 x i16>* %B) nounwind {
259 ;CHECK-LABEL: vaddws16:
261 %tmp1 = load <4 x i32>* %A
262 %tmp2 = load <4 x i16>* %B
263 %tmp3 = sext <4 x i16> %tmp2 to <4 x i32>
264 %tmp4 = add <4 x i32> %tmp1, %tmp3
268 define <2 x i64> @vaddws32(<2 x i64>* %A, <2 x i32>* %B) nounwind {
269 ;CHECK-LABEL: vaddws32:
271 %tmp1 = load <2 x i64>* %A
272 %tmp2 = load <2 x i32>* %B
273 %tmp3 = sext <2 x i32> %tmp2 to <2 x i64>
274 %tmp4 = add <2 x i64> %tmp1, %tmp3
278 define <8 x i16> @vaddwu8(<8 x i16>* %A, <8 x i8>* %B) nounwind {
279 ;CHECK-LABEL: vaddwu8:
281 %tmp1 = load <8 x i16>* %A
282 %tmp2 = load <8 x i8>* %B
283 %tmp3 = zext <8 x i8> %tmp2 to <8 x i16>
284 %tmp4 = add <8 x i16> %tmp1, %tmp3
288 define <4 x i32> @vaddwu16(<4 x i32>* %A, <4 x i16>* %B) nounwind {
289 ;CHECK-LABEL: vaddwu16:
291 %tmp1 = load <4 x i32>* %A
292 %tmp2 = load <4 x i16>* %B
293 %tmp3 = zext <4 x i16> %tmp2 to <4 x i32>
294 %tmp4 = add <4 x i32> %tmp1, %tmp3
298 define <2 x i64> @vaddwu32(<2 x i64>* %A, <2 x i32>* %B) nounwind {
299 ;CHECK-LABEL: vaddwu32:
301 %tmp1 = load <2 x i64>* %A
302 %tmp2 = load <2 x i32>* %B
303 %tmp3 = zext <2 x i32> %tmp2 to <2 x i64>
304 %tmp4 = add <2 x i64> %tmp1, %tmp3