1 // RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -S -O1 -Werror -Wall -emit-llvm -o - %s | FileCheck %s
2 // RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -S -O1 -Werror -Wall -emit-llvm -o - %s | FileCheck %s
3 // RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve -fallow-half-arguments-and-returns -fsyntax-only -verify -verify-ignore-unexpected=error %s
4 // RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve -fallow-half-arguments-and-returns -fsyntax-only -verify=overload -verify-ignore-unexpected=error %s
5
6 #include <arm_sve.h>
7
8 #ifdef SVE_OVERLOADED_FORMS
9 // A simple used,unused... macro, long enough to represent any SVE builtin.
10 #define SVE_ACLE_FUNC(A1,A2_UNUSED,A3,A4_UNUSED) A1##A3
11 #else
12 #define SVE_ACLE_FUNC(A1,A2,A3,A4) A1##A2##A3##A4
13 #endif
14
test_svadalp_s16_z(svbool_t pg,svint16_t op1,svint8_t op2)15 svint16_t test_svadalp_s16_z(svbool_t pg, svint16_t op1, svint8_t op2)
16 {
17 // CHECK-LABEL: test_svadalp_s16_z
18 // CHECK-DAG: %[[PG:.*]] = call <vscale x 8 x i1> @llvm.aarch64.sve.convert.from.svbool.nxv8i1(<vscale x 16 x i1> %pg)
19 // CHECK-DAG: %[[SEL:.*]] = call <vscale x 8 x i16> @llvm.aarch64.sve.sel.nxv8i16(<vscale x 8 x i1> %[[PG]], <vscale x 8 x i16> %op1, <vscale x 8 x i16> zeroinitializer)
20 // CHECK: %[[INTRINSIC:.*]] = call <vscale x 8 x i16> @llvm.aarch64.sve.sadalp.nxv8i16(<vscale x 8 x i1> %[[PG]], <vscale x 8 x i16> %[[SEL]], <vscale x 16 x i8> %op2)
21 // CHECK: ret <vscale x 8 x i16> %[[INTRINSIC]]
22 // overload-warning@+2 {{implicit declaration of function 'svadalp_z'}}
23 // expected-warning@+1 {{implicit declaration of function 'svadalp_s16_z'}}
24 return SVE_ACLE_FUNC(svadalp,_s16,_z,)(pg, op1, op2);
25 }
26
test_svadalp_s32_z(svbool_t pg,svint32_t op1,svint16_t op2)27 svint32_t test_svadalp_s32_z(svbool_t pg, svint32_t op1, svint16_t op2)
28 {
29 // CHECK-LABEL: test_svadalp_s32_z
30 // CHECK-DAG: %[[PG:.*]] = call <vscale x 4 x i1> @llvm.aarch64.sve.convert.from.svbool.nxv4i1(<vscale x 16 x i1> %pg)
31 // CHECK-DAG: %[[SEL:.*]] = call <vscale x 4 x i32> @llvm.aarch64.sve.sel.nxv4i32(<vscale x 4 x i1> %[[PG]], <vscale x 4 x i32> %op1, <vscale x 4 x i32> zeroinitializer)
32 // CHECK: %[[INTRINSIC:.*]] = call <vscale x 4 x i32> @llvm.aarch64.sve.sadalp.nxv4i32(<vscale x 4 x i1> %[[PG]], <vscale x 4 x i32> %[[SEL]], <vscale x 8 x i16> %op2)
33 // CHECK: ret <vscale x 4 x i32> %[[INTRINSIC]]
34 // overload-warning@+2 {{implicit declaration of function 'svadalp_z'}}
35 // expected-warning@+1 {{implicit declaration of function 'svadalp_s32_z'}}
36 return SVE_ACLE_FUNC(svadalp,_s32,_z,)(pg, op1, op2);
37 }
38
test_svadalp_s64_z(svbool_t pg,svint64_t op1,svint32_t op2)39 svint64_t test_svadalp_s64_z(svbool_t pg, svint64_t op1, svint32_t op2)
40 {
41 // CHECK-LABEL: test_svadalp_s64_z
42 // CHECK-DAG: %[[PG:.*]] = call <vscale x 2 x i1> @llvm.aarch64.sve.convert.from.svbool.nxv2i1(<vscale x 16 x i1> %pg)
43 // CHECK-DAG: %[[SEL:.*]] = call <vscale x 2 x i64> @llvm.aarch64.sve.sel.nxv2i64(<vscale x 2 x i1> %[[PG]], <vscale x 2 x i64> %op1, <vscale x 2 x i64> zeroinitializer)
44 // CHECK: %[[INTRINSIC:.*]] = call <vscale x 2 x i64> @llvm.aarch64.sve.sadalp.nxv2i64(<vscale x 2 x i1> %[[PG]], <vscale x 2 x i64> %[[SEL]], <vscale x 4 x i32> %op2)
45 // CHECK: ret <vscale x 2 x i64> %[[INTRINSIC]]
46 // overload-warning@+2 {{implicit declaration of function 'svadalp_z'}}
47 // expected-warning@+1 {{implicit declaration of function 'svadalp_s64_z'}}
48 return SVE_ACLE_FUNC(svadalp,_s64,_z,)(pg, op1, op2);
49 }
50
test_svadalp_u16_z(svbool_t pg,svuint16_t op1,svuint8_t op2)51 svuint16_t test_svadalp_u16_z(svbool_t pg, svuint16_t op1, svuint8_t op2)
52 {
53 // CHECK-LABEL: test_svadalp_u16_z
54 // CHECK-DAG: %[[PG:.*]] = call <vscale x 8 x i1> @llvm.aarch64.sve.convert.from.svbool.nxv8i1(<vscale x 16 x i1> %pg)
55 // CHECK-DAG: %[[SEL:.*]] = call <vscale x 8 x i16> @llvm.aarch64.sve.sel.nxv8i16(<vscale x 8 x i1> %[[PG]], <vscale x 8 x i16> %op1, <vscale x 8 x i16> zeroinitializer)
56 // CHECK: %[[INTRINSIC:.*]] = call <vscale x 8 x i16> @llvm.aarch64.sve.uadalp.nxv8i16(<vscale x 8 x i1> %[[PG]], <vscale x 8 x i16> %[[SEL]], <vscale x 16 x i8> %op2)
57 // CHECK: ret <vscale x 8 x i16> %[[INTRINSIC]]
58 // overload-warning@+2 {{implicit declaration of function 'svadalp_z'}}
59 // expected-warning@+1 {{implicit declaration of function 'svadalp_u16_z'}}
60 return SVE_ACLE_FUNC(svadalp,_u16,_z,)(pg, op1, op2);
61 }
62
test_svadalp_u32_z(svbool_t pg,svuint32_t op1,svuint16_t op2)63 svuint32_t test_svadalp_u32_z(svbool_t pg, svuint32_t op1, svuint16_t op2)
64 {
65 // CHECK-LABEL: test_svadalp_u32_z
66 // CHECK-DAG: %[[PG:.*]] = call <vscale x 4 x i1> @llvm.aarch64.sve.convert.from.svbool.nxv4i1(<vscale x 16 x i1> %pg)
67 // CHECK-DAG: %[[SEL:.*]] = call <vscale x 4 x i32> @llvm.aarch64.sve.sel.nxv4i32(<vscale x 4 x i1> %[[PG]], <vscale x 4 x i32> %op1, <vscale x 4 x i32> zeroinitializer)
68 // CHECK: %[[INTRINSIC:.*]] = call <vscale x 4 x i32> @llvm.aarch64.sve.uadalp.nxv4i32(<vscale x 4 x i1> %[[PG]], <vscale x 4 x i32> %[[SEL]], <vscale x 8 x i16> %op2)
69 // CHECK: ret <vscale x 4 x i32> %[[INTRINSIC]]
70 // overload-warning@+2 {{implicit declaration of function 'svadalp_z'}}
71 // expected-warning@+1 {{implicit declaration of function 'svadalp_u32_z'}}
72 return SVE_ACLE_FUNC(svadalp,_u32,_z,)(pg, op1, op2);
73 }
74
test_svadalp_u64_z(svbool_t pg,svuint64_t op1,svuint32_t op2)75 svuint64_t test_svadalp_u64_z(svbool_t pg, svuint64_t op1, svuint32_t op2)
76 {
77 // CHECK-LABEL: test_svadalp_u64_z
78 // CHECK-DAG: %[[PG:.*]] = call <vscale x 2 x i1> @llvm.aarch64.sve.convert.from.svbool.nxv2i1(<vscale x 16 x i1> %pg)
79 // CHECK-DAG: %[[SEL:.*]] = call <vscale x 2 x i64> @llvm.aarch64.sve.sel.nxv2i64(<vscale x 2 x i1> %[[PG]], <vscale x 2 x i64> %op1, <vscale x 2 x i64> zeroinitializer)
80 // CHECK: %[[INTRINSIC:.*]] = call <vscale x 2 x i64> @llvm.aarch64.sve.uadalp.nxv2i64(<vscale x 2 x i1> %[[PG]], <vscale x 2 x i64> %[[SEL]], <vscale x 4 x i32> %op2)
81 // CHECK: ret <vscale x 2 x i64> %[[INTRINSIC]]
82 // overload-warning@+2 {{implicit declaration of function 'svadalp_z'}}
83 // expected-warning@+1 {{implicit declaration of function 'svadalp_u64_z'}}
84 return SVE_ACLE_FUNC(svadalp,_u64,_z,)(pg, op1, op2);
85 }
86
test_svadalp_s16_m(svbool_t pg,svint16_t op1,svint8_t op2)87 svint16_t test_svadalp_s16_m(svbool_t pg, svint16_t op1, svint8_t op2)
88 {
89 // CHECK-LABEL: test_svadalp_s16_m
90 // CHECK: %[[PG:.*]] = call <vscale x 8 x i1> @llvm.aarch64.sve.convert.from.svbool.nxv8i1(<vscale x 16 x i1> %pg)
91 // CHECK: %[[INTRINSIC:.*]] = call <vscale x 8 x i16> @llvm.aarch64.sve.sadalp.nxv8i16(<vscale x 8 x i1> %[[PG]], <vscale x 8 x i16> %op1, <vscale x 16 x i8> %op2)
92 // CHECK: ret <vscale x 8 x i16> %[[INTRINSIC]]
93 // overload-warning@+2 {{implicit declaration of function 'svadalp_m'}}
94 // expected-warning@+1 {{implicit declaration of function 'svadalp_s16_m'}}
95 return SVE_ACLE_FUNC(svadalp,_s16,_m,)(pg, op1, op2);
96 }
97
test_svadalp_s32_m(svbool_t pg,svint32_t op1,svint16_t op2)98 svint32_t test_svadalp_s32_m(svbool_t pg, svint32_t op1, svint16_t op2)
99 {
100 // CHECK-LABEL: test_svadalp_s32_m
101 // CHECK: %[[PG:.*]] = call <vscale x 4 x i1> @llvm.aarch64.sve.convert.from.svbool.nxv4i1(<vscale x 16 x i1> %pg)
102 // CHECK: %[[INTRINSIC:.*]] = call <vscale x 4 x i32> @llvm.aarch64.sve.sadalp.nxv4i32(<vscale x 4 x i1> %[[PG]], <vscale x 4 x i32> %op1, <vscale x 8 x i16> %op2)
103 // CHECK: ret <vscale x 4 x i32> %[[INTRINSIC]]
104 // overload-warning@+2 {{implicit declaration of function 'svadalp_m'}}
105 // expected-warning@+1 {{implicit declaration of function 'svadalp_s32_m'}}
106 return SVE_ACLE_FUNC(svadalp,_s32,_m,)(pg, op1, op2);
107 }
108
test_svadalp_s64_m(svbool_t pg,svint64_t op1,svint32_t op2)109 svint64_t test_svadalp_s64_m(svbool_t pg, svint64_t op1, svint32_t op2)
110 {
111 // CHECK-LABEL: test_svadalp_s64_m
112 // CHECK: %[[PG:.*]] = call <vscale x 2 x i1> @llvm.aarch64.sve.convert.from.svbool.nxv2i1(<vscale x 16 x i1> %pg)
113 // CHECK: %[[INTRINSIC:.*]] = call <vscale x 2 x i64> @llvm.aarch64.sve.sadalp.nxv2i64(<vscale x 2 x i1> %[[PG]], <vscale x 2 x i64> %op1, <vscale x 4 x i32> %op2)
114 // CHECK: ret <vscale x 2 x i64> %[[INTRINSIC]]
115 // overload-warning@+2 {{implicit declaration of function 'svadalp_m'}}
116 // expected-warning@+1 {{implicit declaration of function 'svadalp_s64_m'}}
117 return SVE_ACLE_FUNC(svadalp,_s64,_m,)(pg, op1, op2);
118 }
119
test_svadalp_u16_m(svbool_t pg,svuint16_t op1,svuint8_t op2)120 svuint16_t test_svadalp_u16_m(svbool_t pg, svuint16_t op1, svuint8_t op2)
121 {
122 // CHECK-LABEL: test_svadalp_u16_m
123 // CHECK: %[[PG:.*]] = call <vscale x 8 x i1> @llvm.aarch64.sve.convert.from.svbool.nxv8i1(<vscale x 16 x i1> %pg)
124 // CHECK: %[[INTRINSIC:.*]] = call <vscale x 8 x i16> @llvm.aarch64.sve.uadalp.nxv8i16(<vscale x 8 x i1> %[[PG]], <vscale x 8 x i16> %op1, <vscale x 16 x i8> %op2)
125 // CHECK: ret <vscale x 8 x i16> %[[INTRINSIC]]
126 // overload-warning@+2 {{implicit declaration of function 'svadalp_m'}}
127 // expected-warning@+1 {{implicit declaration of function 'svadalp_u16_m'}}
128 return SVE_ACLE_FUNC(svadalp,_u16,_m,)(pg, op1, op2);
129 }
130
test_svadalp_u32_m(svbool_t pg,svuint32_t op1,svuint16_t op2)131 svuint32_t test_svadalp_u32_m(svbool_t pg, svuint32_t op1, svuint16_t op2)
132 {
133 // CHECK-LABEL: test_svadalp_u32_m
134 // CHECK: %[[PG:.*]] = call <vscale x 4 x i1> @llvm.aarch64.sve.convert.from.svbool.nxv4i1(<vscale x 16 x i1> %pg)
135 // CHECK: %[[INTRINSIC:.*]] = call <vscale x 4 x i32> @llvm.aarch64.sve.uadalp.nxv4i32(<vscale x 4 x i1> %[[PG]], <vscale x 4 x i32> %op1, <vscale x 8 x i16> %op2)
136 // CHECK: ret <vscale x 4 x i32> %[[INTRINSIC]]
137 // overload-warning@+2 {{implicit declaration of function 'svadalp_m'}}
138 // expected-warning@+1 {{implicit declaration of function 'svadalp_u32_m'}}
139 return SVE_ACLE_FUNC(svadalp,_u32,_m,)(pg, op1, op2);
140 }
141
test_svadalp_u64_m(svbool_t pg,svuint64_t op1,svuint32_t op2)142 svuint64_t test_svadalp_u64_m(svbool_t pg, svuint64_t op1, svuint32_t op2)
143 {
144 // CHECK-LABEL: test_svadalp_u64_m
145 // CHECK: %[[PG:.*]] = call <vscale x 2 x i1> @llvm.aarch64.sve.convert.from.svbool.nxv2i1(<vscale x 16 x i1> %pg)
146 // CHECK: %[[INTRINSIC:.*]] = call <vscale x 2 x i64> @llvm.aarch64.sve.uadalp.nxv2i64(<vscale x 2 x i1> %[[PG]], <vscale x 2 x i64> %op1, <vscale x 4 x i32> %op2)
147 // CHECK: ret <vscale x 2 x i64> %[[INTRINSIC]]
148 // overload-warning@+2 {{implicit declaration of function 'svadalp_m'}}
149 // expected-warning@+1 {{implicit declaration of function 'svadalp_u64_m'}}
150 return SVE_ACLE_FUNC(svadalp,_u64,_m,)(pg, op1, op2);
151 }
152
test_svadalp_s16_x(svbool_t pg,svint16_t op1,svint8_t op2)153 svint16_t test_svadalp_s16_x(svbool_t pg, svint16_t op1, svint8_t op2)
154 {
155 // CHECK-LABEL: test_svadalp_s16_x
156 // CHECK: %[[PG:.*]] = call <vscale x 8 x i1> @llvm.aarch64.sve.convert.from.svbool.nxv8i1(<vscale x 16 x i1> %pg)
157 // CHECK: %[[INTRINSIC:.*]] = call <vscale x 8 x i16> @llvm.aarch64.sve.sadalp.nxv8i16(<vscale x 8 x i1> %[[PG]], <vscale x 8 x i16> %op1, <vscale x 16 x i8> %op2)
158 // CHECK: ret <vscale x 8 x i16> %[[INTRINSIC]]
159 // overload-warning@+2 {{implicit declaration of function 'svadalp_x'}}
160 // expected-warning@+1 {{implicit declaration of function 'svadalp_s16_x'}}
161 return SVE_ACLE_FUNC(svadalp,_s16,_x,)(pg, op1, op2);
162 }
163
test_svadalp_s32_x(svbool_t pg,svint32_t op1,svint16_t op2)164 svint32_t test_svadalp_s32_x(svbool_t pg, svint32_t op1, svint16_t op2)
165 {
166 // CHECK-LABEL: test_svadalp_s32_x
167 // CHECK: %[[PG:.*]] = call <vscale x 4 x i1> @llvm.aarch64.sve.convert.from.svbool.nxv4i1(<vscale x 16 x i1> %pg)
168 // CHECK: %[[INTRINSIC:.*]] = call <vscale x 4 x i32> @llvm.aarch64.sve.sadalp.nxv4i32(<vscale x 4 x i1> %[[PG]], <vscale x 4 x i32> %op1, <vscale x 8 x i16> %op2)
169 // CHECK: ret <vscale x 4 x i32> %[[INTRINSIC]]
170 // overload-warning@+2 {{implicit declaration of function 'svadalp_x'}}
171 // expected-warning@+1 {{implicit declaration of function 'svadalp_s32_x'}}
172 return SVE_ACLE_FUNC(svadalp,_s32,_x,)(pg, op1, op2);
173 }
174
test_svadalp_s64_x(svbool_t pg,svint64_t op1,svint32_t op2)175 svint64_t test_svadalp_s64_x(svbool_t pg, svint64_t op1, svint32_t op2)
176 {
177 // CHECK-LABEL: test_svadalp_s64_x
178 // CHECK: %[[PG:.*]] = call <vscale x 2 x i1> @llvm.aarch64.sve.convert.from.svbool.nxv2i1(<vscale x 16 x i1> %pg)
179 // CHECK: %[[INTRINSIC:.*]] = call <vscale x 2 x i64> @llvm.aarch64.sve.sadalp.nxv2i64(<vscale x 2 x i1> %[[PG]], <vscale x 2 x i64> %op1, <vscale x 4 x i32> %op2)
180 // CHECK: ret <vscale x 2 x i64> %[[INTRINSIC]]
181 // overload-warning@+2 {{implicit declaration of function 'svadalp_x'}}
182 // expected-warning@+1 {{implicit declaration of function 'svadalp_s64_x'}}
183 return SVE_ACLE_FUNC(svadalp,_s64,_x,)(pg, op1, op2);
184 }
185
test_svadalp_u16_x(svbool_t pg,svuint16_t op1,svuint8_t op2)186 svuint16_t test_svadalp_u16_x(svbool_t pg, svuint16_t op1, svuint8_t op2)
187 {
188 // CHECK-LABEL: test_svadalp_u16_x
189 // CHECK: %[[PG:.*]] = call <vscale x 8 x i1> @llvm.aarch64.sve.convert.from.svbool.nxv8i1(<vscale x 16 x i1> %pg)
190 // CHECK: %[[INTRINSIC:.*]] = call <vscale x 8 x i16> @llvm.aarch64.sve.uadalp.nxv8i16(<vscale x 8 x i1> %[[PG]], <vscale x 8 x i16> %op1, <vscale x 16 x i8> %op2)
191 // CHECK: ret <vscale x 8 x i16> %[[INTRINSIC]]
192 // overload-warning@+2 {{implicit declaration of function 'svadalp_x'}}
193 // expected-warning@+1 {{implicit declaration of function 'svadalp_u16_x'}}
194 return SVE_ACLE_FUNC(svadalp,_u16,_x,)(pg, op1, op2);
195 }
196
test_svadalp_u32_x(svbool_t pg,svuint32_t op1,svuint16_t op2)197 svuint32_t test_svadalp_u32_x(svbool_t pg, svuint32_t op1, svuint16_t op2)
198 {
199 // CHECK-LABEL: test_svadalp_u32_x
200 // CHECK: %[[PG:.*]] = call <vscale x 4 x i1> @llvm.aarch64.sve.convert.from.svbool.nxv4i1(<vscale x 16 x i1> %pg)
201 // CHECK: %[[INTRINSIC:.*]] = call <vscale x 4 x i32> @llvm.aarch64.sve.uadalp.nxv4i32(<vscale x 4 x i1> %[[PG]], <vscale x 4 x i32> %op1, <vscale x 8 x i16> %op2)
202 // CHECK: ret <vscale x 4 x i32> %[[INTRINSIC]]
203 // overload-warning@+2 {{implicit declaration of function 'svadalp_x'}}
204 // expected-warning@+1 {{implicit declaration of function 'svadalp_u32_x'}}
205 return SVE_ACLE_FUNC(svadalp,_u32,_x,)(pg, op1, op2);
206 }
207
test_svadalp_u64_x(svbool_t pg,svuint64_t op1,svuint32_t op2)208 svuint64_t test_svadalp_u64_x(svbool_t pg, svuint64_t op1, svuint32_t op2)
209 {
210 // CHECK-LABEL: test_svadalp_u64_x
211 // CHECK: %[[PG:.*]] = call <vscale x 2 x i1> @llvm.aarch64.sve.convert.from.svbool.nxv2i1(<vscale x 16 x i1> %pg)
212 // CHECK: %[[INTRINSIC:.*]] = call <vscale x 2 x i64> @llvm.aarch64.sve.uadalp.nxv2i64(<vscale x 2 x i1> %[[PG]], <vscale x 2 x i64> %op1, <vscale x 4 x i32> %op2)
213 // CHECK: ret <vscale x 2 x i64> %[[INTRINSIC]]
214 // overload-warning@+2 {{implicit declaration of function 'svadalp_x'}}
215 // expected-warning@+1 {{implicit declaration of function 'svadalp_u64_x'}}
216 return SVE_ACLE_FUNC(svadalp,_u64,_x,)(pg, op1, op2);
217 }
218