[NFC][RemoveDIs] Prefer iterators over inst-pointers in InstCombine
[llvm-project.git] / llvm / test / CodeGen / AArch64 / arm64-neon-aba-abd.ll
bloba13eac9b0a5e65679bf3f1678c06db2bcb826161
1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2 ; RUN: llc -mtriple=arm64-none-linux-gnu -mattr=+neon < %s | FileCheck %s
4 declare <8 x i8> @llvm.aarch64.neon.uabd.v8i8(<8 x i8>, <8 x i8>)
5 declare <8 x i8> @llvm.aarch64.neon.sabd.v8i8(<8 x i8>, <8 x i8>)
7 define <8 x i8> @test_uabd_v8i8(<8 x i8> %lhs, <8 x i8> %rhs) {
8 ; CHECK-LABEL: test_uabd_v8i8:
9 ; CHECK:       // %bb.0:
10 ; CHECK-NEXT:    uabd v0.8b, v0.8b, v1.8b
11 ; CHECK-NEXT:    ret
12   %abd = call <8 x i8> @llvm.aarch64.neon.uabd.v8i8(<8 x i8> %lhs, <8 x i8> %rhs)
13   ret <8 x i8> %abd
16 define <8 x i8> @test_uaba_v8i8(<8 x i8> %lhs, <8 x i8> %rhs) {
17 ; CHECK-LABEL: test_uaba_v8i8:
18 ; CHECK:       // %bb.0:
19 ; CHECK-NEXT:    uaba v0.8b, v0.8b, v1.8b
20 ; CHECK-NEXT:    ret
21   %abd = call <8 x i8> @llvm.aarch64.neon.uabd.v8i8(<8 x i8> %lhs, <8 x i8> %rhs)
22   %aba = add <8 x i8> %lhs, %abd
23   ret <8 x i8> %aba
26 define <8 x i8> @test_sabd_v8i8(<8 x i8> %lhs, <8 x i8> %rhs) {
27 ; CHECK-LABEL: test_sabd_v8i8:
28 ; CHECK:       // %bb.0:
29 ; CHECK-NEXT:    sabd v0.8b, v0.8b, v1.8b
30 ; CHECK-NEXT:    ret
31   %abd = call <8 x i8> @llvm.aarch64.neon.sabd.v8i8(<8 x i8> %lhs, <8 x i8> %rhs)
32   ret <8 x i8> %abd
35 define <8 x i8> @test_saba_v8i8(<8 x i8> %lhs, <8 x i8> %rhs) {
36 ; CHECK-LABEL: test_saba_v8i8:
37 ; CHECK:       // %bb.0:
38 ; CHECK-NEXT:    saba v0.8b, v0.8b, v1.8b
39 ; CHECK-NEXT:    ret
40   %abd = call <8 x i8> @llvm.aarch64.neon.sabd.v8i8(<8 x i8> %lhs, <8 x i8> %rhs)
41   %aba = add <8 x i8> %lhs, %abd
42   ret <8 x i8> %aba
45 declare <16 x i8> @llvm.aarch64.neon.uabd.v16i8(<16 x i8>, <16 x i8>)
46 declare <16 x i8> @llvm.aarch64.neon.sabd.v16i8(<16 x i8>, <16 x i8>)
48 define <16 x i8> @test_uabd_v16i8(<16 x i8> %lhs, <16 x i8> %rhs) {
49 ; CHECK-LABEL: test_uabd_v16i8:
50 ; CHECK:       // %bb.0:
51 ; CHECK-NEXT:    uabd v0.16b, v0.16b, v1.16b
52 ; CHECK-NEXT:    ret
53   %abd = call <16 x i8> @llvm.aarch64.neon.uabd.v16i8(<16 x i8> %lhs, <16 x i8> %rhs)
54   ret <16 x i8> %abd
57 define <16 x i8> @test_uaba_v16i8(<16 x i8> %lhs, <16 x i8> %rhs) {
58 ; CHECK-LABEL: test_uaba_v16i8:
59 ; CHECK:       // %bb.0:
60 ; CHECK-NEXT:    uaba v0.16b, v0.16b, v1.16b
61 ; CHECK-NEXT:    ret
62   %abd = call <16 x i8> @llvm.aarch64.neon.uabd.v16i8(<16 x i8> %lhs, <16 x i8> %rhs)
63   %aba = add <16 x i8> %lhs, %abd
64   ret <16 x i8> %aba
67 define <16 x i8> @test_sabd_v16i8(<16 x i8> %lhs, <16 x i8> %rhs) {
68 ; CHECK-LABEL: test_sabd_v16i8:
69 ; CHECK:       // %bb.0:
70 ; CHECK-NEXT:    sabd v0.16b, v0.16b, v1.16b
71 ; CHECK-NEXT:    ret
72   %abd = call <16 x i8> @llvm.aarch64.neon.sabd.v16i8(<16 x i8> %lhs, <16 x i8> %rhs)
73   ret <16 x i8> %abd
76 define <16 x i8> @test_saba_v16i8(<16 x i8> %lhs, <16 x i8> %rhs) {
77 ; CHECK-LABEL: test_saba_v16i8:
78 ; CHECK:       // %bb.0:
79 ; CHECK-NEXT:    saba v0.16b, v0.16b, v1.16b
80 ; CHECK-NEXT:    ret
81   %abd = call <16 x i8> @llvm.aarch64.neon.sabd.v16i8(<16 x i8> %lhs, <16 x i8> %rhs)
82   %aba = add <16 x i8> %lhs, %abd
83   ret <16 x i8> %aba
86 declare <4 x i16> @llvm.aarch64.neon.uabd.v4i16(<4 x i16>, <4 x i16>)
87 declare <4 x i16> @llvm.aarch64.neon.sabd.v4i16(<4 x i16>, <4 x i16>)
89 define <4 x i16> @test_uabd_v4i16(<4 x i16> %lhs, <4 x i16> %rhs) {
90 ; CHECK-LABEL: test_uabd_v4i16:
91 ; CHECK:       // %bb.0:
92 ; CHECK-NEXT:    uabd v0.4h, v0.4h, v1.4h
93 ; CHECK-NEXT:    ret
94   %abd = call <4 x i16> @llvm.aarch64.neon.uabd.v4i16(<4 x i16> %lhs, <4 x i16> %rhs)
95   ret <4 x i16> %abd
98 define <4 x i16> @test_uaba_v4i16(<4 x i16> %lhs, <4 x i16> %rhs) {
99 ; CHECK-LABEL: test_uaba_v4i16:
100 ; CHECK:       // %bb.0:
101 ; CHECK-NEXT:    uaba v0.4h, v0.4h, v1.4h
102 ; CHECK-NEXT:    ret
103   %abd = call <4 x i16> @llvm.aarch64.neon.uabd.v4i16(<4 x i16> %lhs, <4 x i16> %rhs)
104   %aba = add <4 x i16> %lhs, %abd
105   ret <4 x i16> %aba
108 define <4 x i16> @test_sabd_v4i16(<4 x i16> %lhs, <4 x i16> %rhs) {
109 ; CHECK-LABEL: test_sabd_v4i16:
110 ; CHECK:       // %bb.0:
111 ; CHECK-NEXT:    sabd v0.4h, v0.4h, v1.4h
112 ; CHECK-NEXT:    ret
113   %abd = call <4 x i16> @llvm.aarch64.neon.sabd.v4i16(<4 x i16> %lhs, <4 x i16> %rhs)
114   ret <4 x i16> %abd
117 define <4 x i16> @test_saba_v4i16(<4 x i16> %lhs, <4 x i16> %rhs) {
118 ; CHECK-LABEL: test_saba_v4i16:
119 ; CHECK:       // %bb.0:
120 ; CHECK-NEXT:    saba v0.4h, v0.4h, v1.4h
121 ; CHECK-NEXT:    ret
122   %abd = call <4 x i16> @llvm.aarch64.neon.sabd.v4i16(<4 x i16> %lhs, <4 x i16> %rhs)
123   %aba = add <4 x i16> %lhs, %abd
124   ret <4 x i16> %aba
127 declare <8 x i16> @llvm.aarch64.neon.uabd.v8i16(<8 x i16>, <8 x i16>)
128 declare <8 x i16> @llvm.aarch64.neon.sabd.v8i16(<8 x i16>, <8 x i16>)
130 define <8 x i16> @test_uabd_v8i16(<8 x i16> %lhs, <8 x i16> %rhs) {
131 ; CHECK-LABEL: test_uabd_v8i16:
132 ; CHECK:       // %bb.0:
133 ; CHECK-NEXT:    uabd v0.8h, v0.8h, v1.8h
134 ; CHECK-NEXT:    ret
135   %abd = call <8 x i16> @llvm.aarch64.neon.uabd.v8i16(<8 x i16> %lhs, <8 x i16> %rhs)
136   ret <8 x i16> %abd
139 define <8 x i16> @test_uaba_v8i16(<8 x i16> %lhs, <8 x i16> %rhs) {
140 ; CHECK-LABEL: test_uaba_v8i16:
141 ; CHECK:       // %bb.0:
142 ; CHECK-NEXT:    uaba v0.8h, v0.8h, v1.8h
143 ; CHECK-NEXT:    ret
144   %abd = call <8 x i16> @llvm.aarch64.neon.uabd.v8i16(<8 x i16> %lhs, <8 x i16> %rhs)
145   %aba = add <8 x i16> %lhs, %abd
146   ret <8 x i16> %aba
149 define <8 x i16> @test_sabd_v8i16(<8 x i16> %lhs, <8 x i16> %rhs) {
150 ; CHECK-LABEL: test_sabd_v8i16:
151 ; CHECK:       // %bb.0:
152 ; CHECK-NEXT:    sabd v0.8h, v0.8h, v1.8h
153 ; CHECK-NEXT:    ret
154   %abd = call <8 x i16> @llvm.aarch64.neon.sabd.v8i16(<8 x i16> %lhs, <8 x i16> %rhs)
155   ret <8 x i16> %abd
158 define <8 x i16> @test_saba_v8i16(<8 x i16> %lhs, <8 x i16> %rhs) {
159 ; CHECK-LABEL: test_saba_v8i16:
160 ; CHECK:       // %bb.0:
161 ; CHECK-NEXT:    saba v0.8h, v0.8h, v1.8h
162 ; CHECK-NEXT:    ret
163   %abd = call <8 x i16> @llvm.aarch64.neon.sabd.v8i16(<8 x i16> %lhs, <8 x i16> %rhs)
164   %aba = add <8 x i16> %lhs, %abd
165   ret <8 x i16> %aba
168 declare <2 x i32> @llvm.aarch64.neon.uabd.v2i32(<2 x i32>, <2 x i32>)
169 declare <2 x i32> @llvm.aarch64.neon.sabd.v2i32(<2 x i32>, <2 x i32>)
171 define <2 x i32> @test_uabd_v2i32(<2 x i32> %lhs, <2 x i32> %rhs) {
172 ; CHECK-LABEL: test_uabd_v2i32:
173 ; CHECK:       // %bb.0:
174 ; CHECK-NEXT:    uabd v0.2s, v0.2s, v1.2s
175 ; CHECK-NEXT:    ret
176   %abd = call <2 x i32> @llvm.aarch64.neon.uabd.v2i32(<2 x i32> %lhs, <2 x i32> %rhs)
177   ret <2 x i32> %abd
180 define <2 x i32> @test_uaba_v2i32(<2 x i32> %lhs, <2 x i32> %rhs) {
181 ; CHECK-LABEL: test_uaba_v2i32:
182 ; CHECK:       // %bb.0:
183 ; CHECK-NEXT:    uaba v0.2s, v0.2s, v1.2s
184 ; CHECK-NEXT:    ret
185   %abd = call <2 x i32> @llvm.aarch64.neon.uabd.v2i32(<2 x i32> %lhs, <2 x i32> %rhs)
186   %aba = add <2 x i32> %lhs, %abd
187   ret <2 x i32> %aba
190 define <2 x i32> @test_sabd_v2i32(<2 x i32> %lhs, <2 x i32> %rhs) {
191 ; CHECK-LABEL: test_sabd_v2i32:
192 ; CHECK:       // %bb.0:
193 ; CHECK-NEXT:    sabd v0.2s, v0.2s, v1.2s
194 ; CHECK-NEXT:    ret
195   %abd = call <2 x i32> @llvm.aarch64.neon.sabd.v2i32(<2 x i32> %lhs, <2 x i32> %rhs)
196   ret <2 x i32> %abd
199 define <2 x i32> @test_sabd_v2i32_const() {
200 ; CHECK-LABEL: test_sabd_v2i32_const:
201 ; CHECK:       // %bb.0:
202 ; CHECK-NEXT:    adrp x8, .LCPI19_0
203 ; CHECK-NEXT:    ldr d0, [x8, :lo12:.LCPI19_0]
204 ; CHECK-NEXT:    ret
205   %1 = tail call <2 x i32> @llvm.aarch64.neon.sabd.v2i32(
206     <2 x i32> <i32 -2147483648, i32 2147450880>,
207     <2 x i32> <i32 -65536, i32 65535>)
208   ret <2 x i32> %1
211 define <2 x i32> @test_saba_v2i32(<2 x i32> %lhs, <2 x i32> %rhs) {
212 ; CHECK-LABEL: test_saba_v2i32:
213 ; CHECK:       // %bb.0:
214 ; CHECK-NEXT:    saba v0.2s, v0.2s, v1.2s
215 ; CHECK-NEXT:    ret
216   %abd = call <2 x i32> @llvm.aarch64.neon.sabd.v2i32(<2 x i32> %lhs, <2 x i32> %rhs)
217   %aba = add <2 x i32> %lhs, %abd
218   ret <2 x i32> %aba
221 declare <4 x i32> @llvm.aarch64.neon.uabd.v4i32(<4 x i32>, <4 x i32>)
222 declare <4 x i32> @llvm.aarch64.neon.sabd.v4i32(<4 x i32>, <4 x i32>)
224 define <4 x i32> @test_uabd_v4i32(<4 x i32> %lhs, <4 x i32> %rhs) {
225 ; CHECK-LABEL: test_uabd_v4i32:
226 ; CHECK:       // %bb.0:
227 ; CHECK-NEXT:    uabd v0.4s, v0.4s, v1.4s
228 ; CHECK-NEXT:    ret
229   %abd = call <4 x i32> @llvm.aarch64.neon.uabd.v4i32(<4 x i32> %lhs, <4 x i32> %rhs)
230   ret <4 x i32> %abd
233 define <4 x i32> @test_uaba_v4i32(<4 x i32> %lhs, <4 x i32> %rhs) {
234 ; CHECK-LABEL: test_uaba_v4i32:
235 ; CHECK:       // %bb.0:
236 ; CHECK-NEXT:    uaba v0.4s, v0.4s, v1.4s
237 ; CHECK-NEXT:    ret
238   %abd = call <4 x i32> @llvm.aarch64.neon.uabd.v4i32(<4 x i32> %lhs, <4 x i32> %rhs)
239   %aba = add <4 x i32> %lhs, %abd
240   ret <4 x i32> %aba
243 define <4 x i32> @test_sabd_v4i32(<4 x i32> %lhs, <4 x i32> %rhs) {
244 ; CHECK-LABEL: test_sabd_v4i32:
245 ; CHECK:       // %bb.0:
246 ; CHECK-NEXT:    sabd v0.4s, v0.4s, v1.4s
247 ; CHECK-NEXT:    ret
248   %abd = call <4 x i32> @llvm.aarch64.neon.sabd.v4i32(<4 x i32> %lhs, <4 x i32> %rhs)
249   ret <4 x i32> %abd
252 define <4 x i32> @test_saba_v4i32(<4 x i32> %lhs, <4 x i32> %rhs) {
253 ; CHECK-LABEL: test_saba_v4i32:
254 ; CHECK:       // %bb.0:
255 ; CHECK-NEXT:    saba v0.4s, v0.4s, v1.4s
256 ; CHECK-NEXT:    ret
257   %abd = call <4 x i32> @llvm.aarch64.neon.sabd.v4i32(<4 x i32> %lhs, <4 x i32> %rhs)
258   %aba = add <4 x i32> %lhs, %abd
259   ret <4 x i32> %aba
262 declare <2 x float> @llvm.aarch64.neon.fabd.v2f32(<2 x float>, <2 x float>)
264 define <2 x float> @test_fabd_v2f32(<2 x float> %lhs, <2 x float> %rhs) {
265 ; CHECK-LABEL: test_fabd_v2f32:
266 ; CHECK:       // %bb.0:
267 ; CHECK-NEXT:    fabd v0.2s, v0.2s, v1.2s
268 ; CHECK-NEXT:    ret
269   %abd = call <2 x float> @llvm.aarch64.neon.fabd.v2f32(<2 x float> %lhs, <2 x float> %rhs)
270   ret <2 x float> %abd
273 declare <4 x float> @llvm.aarch64.neon.fabd.v4f32(<4 x float>, <4 x float>)
275 define <4 x float> @test_fabd_v4f32(<4 x float> %lhs, <4 x float> %rhs) {
276 ; CHECK-LABEL: test_fabd_v4f32:
277 ; CHECK:       // %bb.0:
278 ; CHECK-NEXT:    fabd v0.4s, v0.4s, v1.4s
279 ; CHECK-NEXT:    ret
280   %abd = call <4 x float> @llvm.aarch64.neon.fabd.v4f32(<4 x float> %lhs, <4 x float> %rhs)
281   ret <4 x float> %abd
284 declare <2 x double> @llvm.aarch64.neon.fabd.v2f64(<2 x double>, <2 x double>)
286 define <2 x double> @test_fabd_v2f64(<2 x double> %lhs, <2 x double> %rhs) {
287 ; CHECK-LABEL: test_fabd_v2f64:
288 ; CHECK:       // %bb.0:
289 ; CHECK-NEXT:    fabd v0.2d, v0.2d, v1.2d
290 ; CHECK-NEXT:    ret
291   %abd = call <2 x double> @llvm.aarch64.neon.fabd.v2f64(<2 x double> %lhs, <2 x double> %rhs)
292   ret <2 x double> %abd