clang 23.0.0git
SemaLoongArch.cpp
Go to the documentation of this file.
1//===------ SemaLoongArch.cpp ---- LoongArch target-specific routines -----===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// This file implements semantic analysis functions specific to LoongArch.
10//
11//===----------------------------------------------------------------------===//
12
13#include "clang/Sema/SemaLoongArch.h"
14#include "clang/Basic/DiagnosticFrontend.h"
15#include "clang/Basic/TargetBuiltins.h"
16#include "clang/Basic/TargetInfo.h"
17#include "clang/Sema/Sema.h"
18#include "llvm/ADT/StringRef.h"
19#include "llvm/Support/MathExtras.h"
20
21namespace clang {
22
23SemaLoongArch::SemaLoongArch(Sema &S) : SemaBase(S) {}
24
25bool SemaLoongArch::CheckLoongArchBuiltinFunctionCall(const TargetInfo &TI,
26 unsigned BuiltinID,
27 CallExpr *TheCall) {
28 ASTContext &Context = getASTContext();
29 const FunctionDecl *FD = SemaRef.getCurFunctionDecl();
30 llvm::StringMap<bool> FeatureMap;
31 Context.getFunctionFeatureMap(FeatureMap, FD);
32
33 llvm::StringRef Features = Context.BuiltinInfo.getRequiredFeatures(BuiltinID);
34 // Only check it when the builtin is not used in a function.
35 if (!Features.empty() && !FD) {
36 if (!Builtin::evaluateRequiredTargetFeatures(Features, FeatureMap))
37 return Diag(TheCall->getBeginLoc(), diag::err_builtin_needs_feature)
38 << "builtin" << Features;
39 }
40
41 switch (BuiltinID) {
42 default:
43 break;
44 // Basic intrinsics.
45 case LoongArch::BI__builtin_loongarch_cacop_d:
46 case LoongArch::BI__builtin_loongarch_cacop_w: {
47 return SemaRef.BuiltinConstantArgRange(TheCall, 0, 0, llvm::maxUIntN(5)) ||
48 SemaRef.BuiltinConstantArgRange(TheCall, 2, llvm::minIntN(12),
49 llvm::maxIntN(12));
50 }
51 case LoongArch::BI__builtin_loongarch_break:
52 case LoongArch::BI__builtin_loongarch_dbar:
53 case LoongArch::BI__builtin_loongarch_ibar:
54 case LoongArch::BI__builtin_loongarch_syscall:
55 // Check if immediate is in [0, 32767].
56 return SemaRef.BuiltinConstantArgRange(TheCall, 0, 0, 32767);
57 case LoongArch::BI__builtin_loongarch_csrrd_w:
58 case LoongArch::BI__builtin_loongarch_csrrd_d:
59 return SemaRef.BuiltinConstantArgRange(TheCall, 0, 0, 16383);
60 case LoongArch::BI__builtin_loongarch_csrwr_w:
61 case LoongArch::BI__builtin_loongarch_csrwr_d:
62 return SemaRef.BuiltinConstantArgRange(TheCall, 1, 0, 16383);
63 case LoongArch::BI__builtin_loongarch_csrxchg_w:
64 case LoongArch::BI__builtin_loongarch_csrxchg_d:
65 return SemaRef.BuiltinConstantArgRange(TheCall, 2, 0, 16383);
66 case LoongArch::BI__builtin_loongarch_lddir_d:
67 case LoongArch::BI__builtin_loongarch_ldpte_d:
68 return SemaRef.BuiltinConstantArgRange(TheCall, 1, 0, 31);
69 case LoongArch::BI__builtin_loongarch_movfcsr2gr:
70 case LoongArch::BI__builtin_loongarch_movgr2fcsr:
71 return SemaRef.BuiltinConstantArgRange(TheCall, 0, 0, llvm::maxUIntN(2));
72
73 // LSX intrinsics.
74 case LoongArch::BI__builtin_lsx_vbitclri_b:
75 case LoongArch::BI__builtin_lsx_vbitrevi_b:
76 case LoongArch::BI__builtin_lsx_vbitseti_b:
77 case LoongArch::BI__builtin_lsx_vsat_b:
78 case LoongArch::BI__builtin_lsx_vsat_bu:
79 case LoongArch::BI__builtin_lsx_vslli_b:
80 case LoongArch::BI__builtin_lsx_vsrai_b:
81 case LoongArch::BI__builtin_lsx_vsrari_b:
82 case LoongArch::BI__builtin_lsx_vsrli_b:
83 case LoongArch::BI__builtin_lsx_vsllwil_h_b:
84 case LoongArch::BI__builtin_lsx_vsllwil_hu_bu:
85 case LoongArch::BI__builtin_lsx_vrotri_b:
86 case LoongArch::BI__builtin_lsx_vsrlri_b:
87 return SemaRef.BuiltinConstantArgRange(TheCall, 1, 0, 7);
88 case LoongArch::BI__builtin_lsx_vbitclri_h:
89 case LoongArch::BI__builtin_lsx_vbitrevi_h:
90 case LoongArch::BI__builtin_lsx_vbitseti_h:
91 case LoongArch::BI__builtin_lsx_vsat_h:
92 case LoongArch::BI__builtin_lsx_vsat_hu:
93 case LoongArch::BI__builtin_lsx_vslli_h:
94 case LoongArch::BI__builtin_lsx_vsrai_h:
95 case LoongArch::BI__builtin_lsx_vsrari_h:
96 case LoongArch::BI__builtin_lsx_vsrli_h:
97 case LoongArch::BI__builtin_lsx_vsllwil_w_h:
98 case LoongArch::BI__builtin_lsx_vsllwil_wu_hu:
99 case LoongArch::BI__builtin_lsx_vrotri_h:
100 case LoongArch::BI__builtin_lsx_vsrlri_h:
101 return SemaRef.BuiltinConstantArgRange(TheCall, 1, 0, 15);
102 case LoongArch::BI__builtin_lsx_vssrarni_b_h:
103 case LoongArch::BI__builtin_lsx_vssrarni_bu_h:
104 case LoongArch::BI__builtin_lsx_vssrani_b_h:
105 case LoongArch::BI__builtin_lsx_vssrani_bu_h:
106 case LoongArch::BI__builtin_lsx_vsrarni_b_h:
107 case LoongArch::BI__builtin_lsx_vsrlni_b_h:
108 case LoongArch::BI__builtin_lsx_vsrlrni_b_h:
109 case LoongArch::BI__builtin_lsx_vssrlni_b_h:
110 case LoongArch::BI__builtin_lsx_vssrlni_bu_h:
111 case LoongArch::BI__builtin_lsx_vssrlrni_b_h:
112 case LoongArch::BI__builtin_lsx_vssrlrni_bu_h:
113 case LoongArch::BI__builtin_lsx_vsrani_b_h:
114 return SemaRef.BuiltinConstantArgRange(TheCall, 2, 0, 15);
115 case LoongArch::BI__builtin_lsx_vslei_bu:
116 case LoongArch::BI__builtin_lsx_vslei_hu:
117 case LoongArch::BI__builtin_lsx_vslei_wu:
118 case LoongArch::BI__builtin_lsx_vslei_du:
119 case LoongArch::BI__builtin_lsx_vslti_bu:
120 case LoongArch::BI__builtin_lsx_vslti_hu:
121 case LoongArch::BI__builtin_lsx_vslti_wu:
122 case LoongArch::BI__builtin_lsx_vslti_du:
123 case LoongArch::BI__builtin_lsx_vmaxi_bu:
124 case LoongArch::BI__builtin_lsx_vmaxi_hu:
125 case LoongArch::BI__builtin_lsx_vmaxi_wu:
126 case LoongArch::BI__builtin_lsx_vmaxi_du:
127 case LoongArch::BI__builtin_lsx_vmini_bu:
128 case LoongArch::BI__builtin_lsx_vmini_hu:
129 case LoongArch::BI__builtin_lsx_vmini_wu:
130 case LoongArch::BI__builtin_lsx_vmini_du:
131 case LoongArch::BI__builtin_lsx_vaddi_bu:
132 case LoongArch::BI__builtin_lsx_vaddi_hu:
133 case LoongArch::BI__builtin_lsx_vaddi_wu:
134 case LoongArch::BI__builtin_lsx_vaddi_du:
135 case LoongArch::BI__builtin_lsx_vbitclri_w:
136 case LoongArch::BI__builtin_lsx_vbitrevi_w:
137 case LoongArch::BI__builtin_lsx_vbitseti_w:
138 case LoongArch::BI__builtin_lsx_vsat_w:
139 case LoongArch::BI__builtin_lsx_vsat_wu:
140 case LoongArch::BI__builtin_lsx_vslli_w:
141 case LoongArch::BI__builtin_lsx_vsrai_w:
142 case LoongArch::BI__builtin_lsx_vsrari_w:
143 case LoongArch::BI__builtin_lsx_vsrli_w:
144 case LoongArch::BI__builtin_lsx_vsllwil_d_w:
145 case LoongArch::BI__builtin_lsx_vsllwil_du_wu:
146 case LoongArch::BI__builtin_lsx_vsrlri_w:
147 case LoongArch::BI__builtin_lsx_vrotri_w:
148 case LoongArch::BI__builtin_lsx_vsubi_bu:
149 case LoongArch::BI__builtin_lsx_vsubi_hu:
150 case LoongArch::BI__builtin_lsx_vbsrl_v:
151 case LoongArch::BI__builtin_lsx_vbsll_v:
152 case LoongArch::BI__builtin_lsx_vsubi_wu:
153 case LoongArch::BI__builtin_lsx_vsubi_du:
154 return SemaRef.BuiltinConstantArgRange(TheCall, 1, 0, 31);
155 case LoongArch::BI__builtin_lsx_vssrarni_h_w:
156 case LoongArch::BI__builtin_lsx_vssrarni_hu_w:
157 case LoongArch::BI__builtin_lsx_vssrani_h_w:
158 case LoongArch::BI__builtin_lsx_vssrani_hu_w:
159 case LoongArch::BI__builtin_lsx_vsrarni_h_w:
160 case LoongArch::BI__builtin_lsx_vsrani_h_w:
161 case LoongArch::BI__builtin_lsx_vfrstpi_b:
162 case LoongArch::BI__builtin_lsx_vfrstpi_h:
163 case LoongArch::BI__builtin_lsx_vsrlni_h_w:
164 case LoongArch::BI__builtin_lsx_vsrlrni_h_w:
165 case LoongArch::BI__builtin_lsx_vssrlni_h_w:
166 case LoongArch::BI__builtin_lsx_vssrlni_hu_w:
167 case LoongArch::BI__builtin_lsx_vssrlrni_h_w:
168 case LoongArch::BI__builtin_lsx_vssrlrni_hu_w:
169 return SemaRef.BuiltinConstantArgRange(TheCall, 2, 0, 31);
170 case LoongArch::BI__builtin_lsx_vbitclri_d:
171 case LoongArch::BI__builtin_lsx_vbitrevi_d:
172 case LoongArch::BI__builtin_lsx_vbitseti_d:
173 case LoongArch::BI__builtin_lsx_vsat_d:
174 case LoongArch::BI__builtin_lsx_vsat_du:
175 case LoongArch::BI__builtin_lsx_vslli_d:
176 case LoongArch::BI__builtin_lsx_vsrai_d:
177 case LoongArch::BI__builtin_lsx_vsrli_d:
178 case LoongArch::BI__builtin_lsx_vsrari_d:
179 case LoongArch::BI__builtin_lsx_vrotri_d:
180 case LoongArch::BI__builtin_lsx_vsrlri_d:
181 return SemaRef.BuiltinConstantArgRange(TheCall, 1, 0, 63);
182 case LoongArch::BI__builtin_lsx_vssrarni_w_d:
183 case LoongArch::BI__builtin_lsx_vssrarni_wu_d:
184 case LoongArch::BI__builtin_lsx_vssrani_w_d:
185 case LoongArch::BI__builtin_lsx_vssrani_wu_d:
186 case LoongArch::BI__builtin_lsx_vsrarni_w_d:
187 case LoongArch::BI__builtin_lsx_vsrlni_w_d:
188 case LoongArch::BI__builtin_lsx_vsrlrni_w_d:
189 case LoongArch::BI__builtin_lsx_vssrlni_w_d:
190 case LoongArch::BI__builtin_lsx_vssrlni_wu_d:
191 case LoongArch::BI__builtin_lsx_vssrlrni_w_d:
192 case LoongArch::BI__builtin_lsx_vssrlrni_wu_d:
193 case LoongArch::BI__builtin_lsx_vsrani_w_d:
194 return SemaRef.BuiltinConstantArgRange(TheCall, 2, 0, 63);
195 case LoongArch::BI__builtin_lsx_vssrarni_d_q:
196 case LoongArch::BI__builtin_lsx_vssrarni_du_q:
197 case LoongArch::BI__builtin_lsx_vssrani_d_q:
198 case LoongArch::BI__builtin_lsx_vssrani_du_q:
199 case LoongArch::BI__builtin_lsx_vsrarni_d_q:
200 case LoongArch::BI__builtin_lsx_vssrlni_d_q:
201 case LoongArch::BI__builtin_lsx_vssrlni_du_q:
202 case LoongArch::BI__builtin_lsx_vssrlrni_d_q:
203 case LoongArch::BI__builtin_lsx_vssrlrni_du_q:
204 case LoongArch::BI__builtin_lsx_vsrani_d_q:
205 case LoongArch::BI__builtin_lsx_vsrlrni_d_q:
206 case LoongArch::BI__builtin_lsx_vsrlni_d_q:
207 return SemaRef.BuiltinConstantArgRange(TheCall, 2, 0, 127);
208 case LoongArch::BI__builtin_lsx_vseqi_b:
209 case LoongArch::BI__builtin_lsx_vseqi_h:
210 case LoongArch::BI__builtin_lsx_vseqi_w:
211 case LoongArch::BI__builtin_lsx_vseqi_d:
212 case LoongArch::BI__builtin_lsx_vslti_b:
213 case LoongArch::BI__builtin_lsx_vslti_h:
214 case LoongArch::BI__builtin_lsx_vslti_w:
215 case LoongArch::BI__builtin_lsx_vslti_d:
216 case LoongArch::BI__builtin_lsx_vslei_b:
217 case LoongArch::BI__builtin_lsx_vslei_h:
218 case LoongArch::BI__builtin_lsx_vslei_w:
219 case LoongArch::BI__builtin_lsx_vslei_d:
220 case LoongArch::BI__builtin_lsx_vmaxi_b:
221 case LoongArch::BI__builtin_lsx_vmaxi_h:
222 case LoongArch::BI__builtin_lsx_vmaxi_w:
223 case LoongArch::BI__builtin_lsx_vmaxi_d:
224 case LoongArch::BI__builtin_lsx_vmini_b:
225 case LoongArch::BI__builtin_lsx_vmini_h:
226 case LoongArch::BI__builtin_lsx_vmini_w:
227 case LoongArch::BI__builtin_lsx_vmini_d:
228 return SemaRef.BuiltinConstantArgRange(TheCall, 1, -16, 15);
229 case LoongArch::BI__builtin_lsx_vandi_b:
230 case LoongArch::BI__builtin_lsx_vnori_b:
231 case LoongArch::BI__builtin_lsx_vori_b:
232 case LoongArch::BI__builtin_lsx_vshuf4i_b:
233 case LoongArch::BI__builtin_lsx_vshuf4i_h:
234 case LoongArch::BI__builtin_lsx_vshuf4i_w:
235 case LoongArch::BI__builtin_lsx_vxori_b:
236 return SemaRef.BuiltinConstantArgRange(TheCall, 1, 0, 255);
237 case LoongArch::BI__builtin_lsx_vbitseli_b:
238 case LoongArch::BI__builtin_lsx_vshuf4i_d:
239 case LoongArch::BI__builtin_lsx_vextrins_b:
240 case LoongArch::BI__builtin_lsx_vextrins_h:
241 case LoongArch::BI__builtin_lsx_vextrins_w:
242 case LoongArch::BI__builtin_lsx_vextrins_d:
243 case LoongArch::BI__builtin_lsx_vpermi_w:
244 return SemaRef.BuiltinConstantArgRange(TheCall, 2, 0, 255);
245 case LoongArch::BI__builtin_lsx_vpickve2gr_b:
246 case LoongArch::BI__builtin_lsx_vpickve2gr_bu:
247 case LoongArch::BI__builtin_lsx_vreplvei_b:
248 return SemaRef.BuiltinConstantArgRange(TheCall, 1, 0, 15);
249 case LoongArch::BI__builtin_lsx_vinsgr2vr_b:
250 return SemaRef.BuiltinConstantArgRange(TheCall, 2, 0, 15);
251 case LoongArch::BI__builtin_lsx_vpickve2gr_h:
252 case LoongArch::BI__builtin_lsx_vpickve2gr_hu:
253 case LoongArch::BI__builtin_lsx_vreplvei_h:
254 return SemaRef.BuiltinConstantArgRange(TheCall, 1, 0, 7);
255 case LoongArch::BI__builtin_lsx_vinsgr2vr_h:
256 return SemaRef.BuiltinConstantArgRange(TheCall, 2, 0, 7);
257 case LoongArch::BI__builtin_lsx_vpickve2gr_w:
258 case LoongArch::BI__builtin_lsx_vpickve2gr_wu:
259 case LoongArch::BI__builtin_lsx_vreplvei_w:
260 return SemaRef.BuiltinConstantArgRange(TheCall, 1, 0, 3);
261 case LoongArch::BI__builtin_lsx_vinsgr2vr_w:
262 return SemaRef.BuiltinConstantArgRange(TheCall, 2, 0, 3);
263 case LoongArch::BI__builtin_lsx_vpickve2gr_d:
264 case LoongArch::BI__builtin_lsx_vpickve2gr_du:
265 case LoongArch::BI__builtin_lsx_vreplvei_d:
266 return SemaRef.BuiltinConstantArgRange(TheCall, 1, 0, 1);
267 case LoongArch::BI__builtin_lsx_vinsgr2vr_d:
268 return SemaRef.BuiltinConstantArgRange(TheCall, 2, 0, 1);
269 case LoongArch::BI__builtin_lsx_vstelm_b:
270 return SemaRef.BuiltinConstantArgRange(TheCall, 2, -128, 127) ||
271 SemaRef.BuiltinConstantArgRange(TheCall, 3, 0, 15);
272 case LoongArch::BI__builtin_lsx_vstelm_h:
273 return SemaRef.BuiltinConstantArgRange(TheCall, 2, -256, 254) ||
274 SemaRef.BuiltinConstantArgRange(TheCall, 3, 0, 7);
275 case LoongArch::BI__builtin_lsx_vstelm_w:
276 return SemaRef.BuiltinConstantArgRange(TheCall, 2, -512, 508) ||
277 SemaRef.BuiltinConstantArgRange(TheCall, 3, 0, 3);
278 case LoongArch::BI__builtin_lsx_vstelm_d:
279 return SemaRef.BuiltinConstantArgRange(TheCall, 2, -1024, 1016) ||
280 SemaRef.BuiltinConstantArgRange(TheCall, 3, 0, 1);
281 case LoongArch::BI__builtin_lsx_vldrepl_b:
282 case LoongArch::BI__builtin_lsx_vld:
283 return SemaRef.BuiltinConstantArgRange(TheCall, 1, -2048, 2047);
284 case LoongArch::BI__builtin_lsx_vldrepl_h:
285 return SemaRef.BuiltinConstantArgRange(TheCall, 1, -2048, 2046);
286 case LoongArch::BI__builtin_lsx_vldrepl_w:
287 return SemaRef.BuiltinConstantArgRange(TheCall, 1, -2048, 2044);
288 case LoongArch::BI__builtin_lsx_vldrepl_d:
289 return SemaRef.BuiltinConstantArgRange(TheCall, 1, -2048, 2040);
290 case LoongArch::BI__builtin_lsx_vst:
291 return SemaRef.BuiltinConstantArgRange(TheCall, 2, -2048, 2047);
292 case LoongArch::BI__builtin_lsx_vldi:
293 return SemaRef.BuiltinConstantArgRange(TheCall, 0, -4096, 4095);
294 case LoongArch::BI__builtin_lsx_vrepli_b:
295 case LoongArch::BI__builtin_lsx_vrepli_h:
296 case LoongArch::BI__builtin_lsx_vrepli_w:
297 case LoongArch::BI__builtin_lsx_vrepli_d:
298 return SemaRef.BuiltinConstantArgRange(TheCall, 0, -512, 511);
299
300 // LASX intrinsics.
301 case LoongArch::BI__builtin_lasx_xvbitclri_b:
302 case LoongArch::BI__builtin_lasx_xvbitrevi_b:
303 case LoongArch::BI__builtin_lasx_xvbitseti_b:
304 case LoongArch::BI__builtin_lasx_xvsat_b:
305 case LoongArch::BI__builtin_lasx_xvsat_bu:
306 case LoongArch::BI__builtin_lasx_xvslli_b:
307 case LoongArch::BI__builtin_lasx_xvsrai_b:
308 case LoongArch::BI__builtin_lasx_xvsrari_b:
309 case LoongArch::BI__builtin_lasx_xvsrli_b:
310 case LoongArch::BI__builtin_lasx_xvsllwil_h_b:
311 case LoongArch::BI__builtin_lasx_xvsllwil_hu_bu:
312 case LoongArch::BI__builtin_lasx_xvrotri_b:
313 case LoongArch::BI__builtin_lasx_xvsrlri_b:
314 return SemaRef.BuiltinConstantArgRange(TheCall, 1, 0, 7);
315 case LoongArch::BI__builtin_lasx_xvbitclri_h:
316 case LoongArch::BI__builtin_lasx_xvbitrevi_h:
317 case LoongArch::BI__builtin_lasx_xvbitseti_h:
318 case LoongArch::BI__builtin_lasx_xvsat_h:
319 case LoongArch::BI__builtin_lasx_xvsat_hu:
320 case LoongArch::BI__builtin_lasx_xvslli_h:
321 case LoongArch::BI__builtin_lasx_xvsrai_h:
322 case LoongArch::BI__builtin_lasx_xvsrari_h:
323 case LoongArch::BI__builtin_lasx_xvsrli_h:
324 case LoongArch::BI__builtin_lasx_xvsllwil_w_h:
325 case LoongArch::BI__builtin_lasx_xvsllwil_wu_hu:
326 case LoongArch::BI__builtin_lasx_xvrotri_h:
327 case LoongArch::BI__builtin_lasx_xvsrlri_h:
328 return SemaRef.BuiltinConstantArgRange(TheCall, 1, 0, 15);
329 case LoongArch::BI__builtin_lasx_xvssrarni_b_h:
330 case LoongArch::BI__builtin_lasx_xvssrarni_bu_h:
331 case LoongArch::BI__builtin_lasx_xvssrani_b_h:
332 case LoongArch::BI__builtin_lasx_xvssrani_bu_h:
333 case LoongArch::BI__builtin_lasx_xvsrarni_b_h:
334 case LoongArch::BI__builtin_lasx_xvsrlni_b_h:
335 case LoongArch::BI__builtin_lasx_xvsrlrni_b_h:
336 case LoongArch::BI__builtin_lasx_xvssrlni_b_h:
337 case LoongArch::BI__builtin_lasx_xvssrlni_bu_h:
338 case LoongArch::BI__builtin_lasx_xvssrlrni_b_h:
339 case LoongArch::BI__builtin_lasx_xvssrlrni_bu_h:
340 case LoongArch::BI__builtin_lasx_xvsrani_b_h:
341 return SemaRef.BuiltinConstantArgRange(TheCall, 2, 0, 15);
342 case LoongArch::BI__builtin_lasx_xvslei_bu:
343 case LoongArch::BI__builtin_lasx_xvslei_hu:
344 case LoongArch::BI__builtin_lasx_xvslei_wu:
345 case LoongArch::BI__builtin_lasx_xvslei_du:
346 case LoongArch::BI__builtin_lasx_xvslti_bu:
347 case LoongArch::BI__builtin_lasx_xvslti_hu:
348 case LoongArch::BI__builtin_lasx_xvslti_wu:
349 case LoongArch::BI__builtin_lasx_xvslti_du:
350 case LoongArch::BI__builtin_lasx_xvmaxi_bu:
351 case LoongArch::BI__builtin_lasx_xvmaxi_hu:
352 case LoongArch::BI__builtin_lasx_xvmaxi_wu:
353 case LoongArch::BI__builtin_lasx_xvmaxi_du:
354 case LoongArch::BI__builtin_lasx_xvmini_bu:
355 case LoongArch::BI__builtin_lasx_xvmini_hu:
356 case LoongArch::BI__builtin_lasx_xvmini_wu:
357 case LoongArch::BI__builtin_lasx_xvmini_du:
358 case LoongArch::BI__builtin_lasx_xvaddi_bu:
359 case LoongArch::BI__builtin_lasx_xvaddi_hu:
360 case LoongArch::BI__builtin_lasx_xvaddi_wu:
361 case LoongArch::BI__builtin_lasx_xvaddi_du:
362 case LoongArch::BI__builtin_lasx_xvbitclri_w:
363 case LoongArch::BI__builtin_lasx_xvbitrevi_w:
364 case LoongArch::BI__builtin_lasx_xvbitseti_w:
365 case LoongArch::BI__builtin_lasx_xvsat_w:
366 case LoongArch::BI__builtin_lasx_xvsat_wu:
367 case LoongArch::BI__builtin_lasx_xvslli_w:
368 case LoongArch::BI__builtin_lasx_xvsrai_w:
369 case LoongArch::BI__builtin_lasx_xvsrari_w:
370 case LoongArch::BI__builtin_lasx_xvsrli_w:
371 case LoongArch::BI__builtin_lasx_xvsllwil_d_w:
372 case LoongArch::BI__builtin_lasx_xvsllwil_du_wu:
373 case LoongArch::BI__builtin_lasx_xvsrlri_w:
374 case LoongArch::BI__builtin_lasx_xvrotri_w:
375 case LoongArch::BI__builtin_lasx_xvsubi_bu:
376 case LoongArch::BI__builtin_lasx_xvsubi_hu:
377 case LoongArch::BI__builtin_lasx_xvsubi_wu:
378 case LoongArch::BI__builtin_lasx_xvsubi_du:
379 case LoongArch::BI__builtin_lasx_xvbsrl_v:
380 case LoongArch::BI__builtin_lasx_xvbsll_v:
381 return SemaRef.BuiltinConstantArgRange(TheCall, 1, 0, 31);
382 case LoongArch::BI__builtin_lasx_xvssrarni_h_w:
383 case LoongArch::BI__builtin_lasx_xvssrarni_hu_w:
384 case LoongArch::BI__builtin_lasx_xvssrani_h_w:
385 case LoongArch::BI__builtin_lasx_xvssrani_hu_w:
386 case LoongArch::BI__builtin_lasx_xvsrarni_h_w:
387 case LoongArch::BI__builtin_lasx_xvsrani_h_w:
388 case LoongArch::BI__builtin_lasx_xvfrstpi_b:
389 case LoongArch::BI__builtin_lasx_xvfrstpi_h:
390 case LoongArch::BI__builtin_lasx_xvsrlni_h_w:
391 case LoongArch::BI__builtin_lasx_xvsrlrni_h_w:
392 case LoongArch::BI__builtin_lasx_xvssrlni_h_w:
393 case LoongArch::BI__builtin_lasx_xvssrlni_hu_w:
394 case LoongArch::BI__builtin_lasx_xvssrlrni_h_w:
395 case LoongArch::BI__builtin_lasx_xvssrlrni_hu_w:
396 return SemaRef.BuiltinConstantArgRange(TheCall, 2, 0, 31);
397 case LoongArch::BI__builtin_lasx_xvbitclri_d:
398 case LoongArch::BI__builtin_lasx_xvbitrevi_d:
399 case LoongArch::BI__builtin_lasx_xvbitseti_d:
400 case LoongArch::BI__builtin_lasx_xvsat_d:
401 case LoongArch::BI__builtin_lasx_xvsat_du:
402 case LoongArch::BI__builtin_lasx_xvslli_d:
403 case LoongArch::BI__builtin_lasx_xvsrai_d:
404 case LoongArch::BI__builtin_lasx_xvsrli_d:
405 case LoongArch::BI__builtin_lasx_xvsrari_d:
406 case LoongArch::BI__builtin_lasx_xvrotri_d:
407 case LoongArch::BI__builtin_lasx_xvsrlri_d:
408 return SemaRef.BuiltinConstantArgRange(TheCall, 1, 0, 63);
409 case LoongArch::BI__builtin_lasx_xvssrarni_w_d:
410 case LoongArch::BI__builtin_lasx_xvssrarni_wu_d:
411 case LoongArch::BI__builtin_lasx_xvssrani_w_d:
412 case LoongArch::BI__builtin_lasx_xvssrani_wu_d:
413 case LoongArch::BI__builtin_lasx_xvsrarni_w_d:
414 case LoongArch::BI__builtin_lasx_xvsrlni_w_d:
415 case LoongArch::BI__builtin_lasx_xvsrlrni_w_d:
416 case LoongArch::BI__builtin_lasx_xvssrlni_w_d:
417 case LoongArch::BI__builtin_lasx_xvssrlni_wu_d:
418 case LoongArch::BI__builtin_lasx_xvssrlrni_w_d:
419 case LoongArch::BI__builtin_lasx_xvssrlrni_wu_d:
420 case LoongArch::BI__builtin_lasx_xvsrani_w_d:
421 return SemaRef.BuiltinConstantArgRange(TheCall, 2, 0, 63);
422 case LoongArch::BI__builtin_lasx_xvssrarni_d_q:
423 case LoongArch::BI__builtin_lasx_xvssrarni_du_q:
424 case LoongArch::BI__builtin_lasx_xvssrani_d_q:
425 case LoongArch::BI__builtin_lasx_xvssrani_du_q:
426 case LoongArch::BI__builtin_lasx_xvsrarni_d_q:
427 case LoongArch::BI__builtin_lasx_xvssrlni_d_q:
428 case LoongArch::BI__builtin_lasx_xvssrlni_du_q:
429 case LoongArch::BI__builtin_lasx_xvssrlrni_d_q:
430 case LoongArch::BI__builtin_lasx_xvssrlrni_du_q:
431 case LoongArch::BI__builtin_lasx_xvsrani_d_q:
432 case LoongArch::BI__builtin_lasx_xvsrlni_d_q:
433 case LoongArch::BI__builtin_lasx_xvsrlrni_d_q:
434 return SemaRef.BuiltinConstantArgRange(TheCall, 2, 0, 127);
435 case LoongArch::BI__builtin_lasx_xvseqi_b:
436 case LoongArch::BI__builtin_lasx_xvseqi_h:
437 case LoongArch::BI__builtin_lasx_xvseqi_w:
438 case LoongArch::BI__builtin_lasx_xvseqi_d:
439 case LoongArch::BI__builtin_lasx_xvslti_b:
440 case LoongArch::BI__builtin_lasx_xvslti_h:
441 case LoongArch::BI__builtin_lasx_xvslti_w:
442 case LoongArch::BI__builtin_lasx_xvslti_d:
443 case LoongArch::BI__builtin_lasx_xvslei_b:
444 case LoongArch::BI__builtin_lasx_xvslei_h:
445 case LoongArch::BI__builtin_lasx_xvslei_w:
446 case LoongArch::BI__builtin_lasx_xvslei_d:
447 case LoongArch::BI__builtin_lasx_xvmaxi_b:
448 case LoongArch::BI__builtin_lasx_xvmaxi_h:
449 case LoongArch::BI__builtin_lasx_xvmaxi_w:
450 case LoongArch::BI__builtin_lasx_xvmaxi_d:
451 case LoongArch::BI__builtin_lasx_xvmini_b:
452 case LoongArch::BI__builtin_lasx_xvmini_h:
453 case LoongArch::BI__builtin_lasx_xvmini_w:
454 case LoongArch::BI__builtin_lasx_xvmini_d:
455 return SemaRef.BuiltinConstantArgRange(TheCall, 1, -16, 15);
456 case LoongArch::BI__builtin_lasx_xvandi_b:
457 case LoongArch::BI__builtin_lasx_xvnori_b:
458 case LoongArch::BI__builtin_lasx_xvori_b:
459 case LoongArch::BI__builtin_lasx_xvshuf4i_b:
460 case LoongArch::BI__builtin_lasx_xvshuf4i_h:
461 case LoongArch::BI__builtin_lasx_xvshuf4i_w:
462 case LoongArch::BI__builtin_lasx_xvxori_b:
463 case LoongArch::BI__builtin_lasx_xvpermi_d:
464 return SemaRef.BuiltinConstantArgRange(TheCall, 1, 0, 255);
465 case LoongArch::BI__builtin_lasx_xvbitseli_b:
466 case LoongArch::BI__builtin_lasx_xvshuf4i_d:
467 case LoongArch::BI__builtin_lasx_xvextrins_b:
468 case LoongArch::BI__builtin_lasx_xvextrins_h:
469 case LoongArch::BI__builtin_lasx_xvextrins_w:
470 case LoongArch::BI__builtin_lasx_xvextrins_d:
471 case LoongArch::BI__builtin_lasx_xvpermi_q:
472 case LoongArch::BI__builtin_lasx_xvpermi_w:
473 return SemaRef.BuiltinConstantArgRange(TheCall, 2, 0, 255);
474 case LoongArch::BI__builtin_lasx_xvrepl128vei_b:
475 return SemaRef.BuiltinConstantArgRange(TheCall, 1, 0, 15);
476 case LoongArch::BI__builtin_lasx_xvrepl128vei_h:
477 case LoongArch::BI__builtin_lasx_xvpickve2gr_w:
478 case LoongArch::BI__builtin_lasx_xvpickve2gr_wu:
479 case LoongArch::BI__builtin_lasx_xvpickve_w_f:
480 case LoongArch::BI__builtin_lasx_xvpickve_w:
481 return SemaRef.BuiltinConstantArgRange(TheCall, 1, 0, 7);
482 case LoongArch::BI__builtin_lasx_xvinsgr2vr_w:
483 case LoongArch::BI__builtin_lasx_xvinsve0_w:
484 return SemaRef.BuiltinConstantArgRange(TheCall, 2, 0, 7);
485 case LoongArch::BI__builtin_lasx_xvrepl128vei_w:
486 case LoongArch::BI__builtin_lasx_xvpickve2gr_d:
487 case LoongArch::BI__builtin_lasx_xvpickve2gr_du:
488 case LoongArch::BI__builtin_lasx_xvpickve_d_f:
489 case LoongArch::BI__builtin_lasx_xvpickve_d:
490 return SemaRef.BuiltinConstantArgRange(TheCall, 1, 0, 3);
491 case LoongArch::BI__builtin_lasx_xvinsve0_d:
492 case LoongArch::BI__builtin_lasx_xvinsgr2vr_d:
493 return SemaRef.BuiltinConstantArgRange(TheCall, 2, 0, 3);
494 case LoongArch::BI__builtin_lasx_xvstelm_b:
495 return SemaRef.BuiltinConstantArgRange(TheCall, 2, -128, 127) ||
496 SemaRef.BuiltinConstantArgRange(TheCall, 3, 0, 31);
497 case LoongArch::BI__builtin_lasx_xvstelm_h:
498 return SemaRef.BuiltinConstantArgRange(TheCall, 2, -256, 254) ||
499 SemaRef.BuiltinConstantArgRange(TheCall, 3, 0, 15);
500 case LoongArch::BI__builtin_lasx_xvstelm_w:
501 return SemaRef.BuiltinConstantArgRange(TheCall, 2, -512, 508) ||
502 SemaRef.BuiltinConstantArgRange(TheCall, 3, 0, 7);
503 case LoongArch::BI__builtin_lasx_xvstelm_d:
504 return SemaRef.BuiltinConstantArgRange(TheCall, 2, -1024, 1016) ||
505 SemaRef.BuiltinConstantArgRange(TheCall, 3, 0, 3);
506 case LoongArch::BI__builtin_lasx_xvrepl128vei_d:
507 return SemaRef.BuiltinConstantArgRange(TheCall, 1, 0, 1);
508 case LoongArch::BI__builtin_lasx_xvldrepl_b:
509 case LoongArch::BI__builtin_lasx_xvld:
510 return SemaRef.BuiltinConstantArgRange(TheCall, 1, -2048, 2047);
511 case LoongArch::BI__builtin_lasx_xvldrepl_h:
512 return SemaRef.BuiltinConstantArgRange(TheCall, 1, -2048, 2046);
513 case LoongArch::BI__builtin_lasx_xvldrepl_w:
514 return SemaRef.BuiltinConstantArgRange(TheCall, 1, -2048, 2044);
515 case LoongArch::BI__builtin_lasx_xvldrepl_d:
516 return SemaRef.BuiltinConstantArgRange(TheCall, 1, -2048, 2040);
517 case LoongArch::BI__builtin_lasx_xvst:
518 return SemaRef.BuiltinConstantArgRange(TheCall, 2, -2048, 2047);
519 case LoongArch::BI__builtin_lasx_xvldi:
520 return SemaRef.BuiltinConstantArgRange(TheCall, 0, -4096, 4095);
521 case LoongArch::BI__builtin_lasx_xvrepli_b:
522 case LoongArch::BI__builtin_lasx_xvrepli_h:
523 case LoongArch::BI__builtin_lasx_xvrepli_w:
524 case LoongArch::BI__builtin_lasx_xvrepli_d:
525 return SemaRef.BuiltinConstantArgRange(TheCall, 0, -512, 511);
526 }
527 return false;
528}
529
530} // namespace clang
SemaLoongArch.h
This file declares semantic analysis functions specific to LoongArch.
TargetBuiltins.h
Enumerates target-specific builtins in their own namespaces within namespace clang.
clang::ASTContext
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
Definition ASTContext.h:226
clang::CallExpr
CallExpr - Represents a function call (C99 6.5.2.2, C++ [expr.call]).
Definition Expr.h:2946
clang::CallExpr::getBeginLoc
SourceLocation getBeginLoc() const
Definition Expr.h:3280
clang::FunctionDecl
Represents a function declaration or definition.
Definition Decl.h:2015
clang::SemaBase::SemaBase
SemaBase(Sema &S)
Definition SemaBase.cpp:7
clang::SemaBase::getASTContext
ASTContext & getASTContext() const
Definition SemaBase.cpp:9
clang::SemaBase::SemaRef
Sema & SemaRef
Definition SemaBase.h:40
clang::SemaBase::Diag
SemaDiagnosticBuilder Diag(SourceLocation Loc, unsigned DiagID)
Emit a diagnostic.
Definition SemaBase.cpp:61
clang::SemaLoongArch::CheckLoongArchBuiltinFunctionCall
bool CheckLoongArchBuiltinFunctionCall(const TargetInfo &TI, unsigned BuiltinID, CallExpr *TheCall)
Definition SemaLoongArch.cpp:25
clang::Sema
Sema - This implements semantic analysis and AST building for C.
Definition Sema.h:868
clang::TargetInfo
Exposes information about the current target.
Definition TargetInfo.h:227
TargetInfo.h
Defines the clang::TargetInfo interface.
clang::Builtin::evaluateRequiredTargetFeatures
bool evaluateRequiredTargetFeatures(llvm::StringRef RequiredFatures, const llvm::StringMap< bool > &TargetFetureMap)
Returns true if the required target features of a builtin function are enabled.
clang
The JSON file list parser is used to communicate input to InstallAPI.
Definition CalledOnceCheck.h:17
Generated on for clang by doxygen 1.14.0