LLVM 23.0.0git
WebAssemblyRuntimeLibcallSignatures.cpp
Go to the documentation of this file.
1// CodeGen/RuntimeLibcallSignatures.cpp - R.T. Lib. Call Signatures -*- C++ -*--
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/// \file
10/// This file contains signature information for runtime libcalls.
11///
12/// CodeGen uses external symbols, which it refers to by name. The WebAssembly
13/// target needs type information for all functions. This file contains a big
14/// table providing type signatures for all runtime library functions that LLVM
15/// uses.
16///
17/// This is currently a fairly heavy-handed solution.
18///
19//===----------------------------------------------------------------------===//
20
24
25using namespace llvm;
26
27namespace {
28
29enum RuntimeLibcallSignature {
30 func,
31 f32_func_f32,
32 f32_func_f64,
33 f32_func_i32,
34 f32_func_i64,
35 f32_func_i16,
36 f64_func_f32,
37 f64_func_f64,
38 f64_func_i32,
39 f64_func_i64,
40 i32_func_f32,
41 i32_func_f64,
42 i32_func_i32,
43 i64_func_f32,
44 i64_func_f64,
45 i64_func_i64,
46 f32_func_f32_f32,
47 f32_func_f32_i32,
48 f32_func_f32_iPTR,
49 f32_func_i64_i64,
50 f64_func_f64_f64,
51 f64_func_f64_i32,
52 f64_func_f64_iPTR,
53 f64_func_i64_i64,
54 i16_func_f32,
55 i16_func_f64,
56 i16_func_i64_i64,
57 i8_func_i8_i8,
58 func_f32_iPTR_iPTR,
59 func_f64_iPTR_iPTR,
60 i16_func_i16_i16,
61 i32_func_f32_f32,
62 i32_func_f64_f64,
63 i32_func_i32_i32,
64 i32_func_i32_i32_iPTR,
65 i64_func_i64_i64,
66 i64_func_i64_i64_iPTR,
67 i64_i64_func_i32,
68 i64_i64_func_i64,
69 i64_i64_func_f32,
70 i64_i64_func_f64,
71 i16_i16_func_i16_i16,
72 i32_i32_func_i32_i32,
73 i64_i64_func_i64_i64,
74 i64_i64_func_i64_i64_iPTR,
75 i64_i64_func_i64_i64_i64_i64,
76 i64_i64_func_i64_i64_i64_i64_iPTR,
77 i64_i64_i64_i64_func_i64_i64_i64_i64,
78 i64_i64_func_i64_i64_i32,
79 i64_i64_func_i64_i64_i64_i64_i64_i64,
80 iPTR_func_i32,
81 iPTR_func_iPTR_i32_iPTR,
82 iPTR_func_iPTR_iPTR_iPTR,
83 f32_func_f32_f32_f32,
84 f64_func_f64_f64_f64,
85 func_i64_i64_iPTR_iPTR,
86 i32_func_i64_i64,
87 i32_func_i64_i64_i64_i64,
88 iPTR_func_f32,
89 iPTR_func_f64,
90 iPTR_func_i64_i64,
92};
93
94struct RuntimeLibcallSignatureTable {
95 std::vector<RuntimeLibcallSignature> Table;
96
97 // Any newly-added libcalls will be unsupported by default.
98 RuntimeLibcallSignatureTable() : Table(RTLIB::UNKNOWN_LIBCALL, unsupported) {
99 // Integer
100 Table[RTLIB::SHL_I16] = i16_func_i16_i16;
101 Table[RTLIB::SHL_I32] = i32_func_i32_i32;
102 Table[RTLIB::SHL_I64] = i64_func_i64_i64;
103 Table[RTLIB::SHL_I128] = i64_i64_func_i64_i64_i32;
104 Table[RTLIB::SRL_I16] = i16_func_i16_i16;
105 Table[RTLIB::SRL_I32] = i32_func_i32_i32;
106 Table[RTLIB::SRL_I64] = i64_func_i64_i64;
107 Table[RTLIB::SRL_I128] = i64_i64_func_i64_i64_i32;
108 Table[RTLIB::SRA_I16] = i16_func_i16_i16;
109 Table[RTLIB::SRA_I32] = i32_func_i32_i32;
110 Table[RTLIB::SRA_I64] = i64_func_i64_i64;
111 Table[RTLIB::SRA_I128] = i64_i64_func_i64_i64_i32;
112 Table[RTLIB::MUL_I8] = i8_func_i8_i8;
113 Table[RTLIB::MUL_I16] = i16_func_i16_i16;
114 Table[RTLIB::MUL_I32] = i32_func_i32_i32;
115 Table[RTLIB::MUL_I64] = i64_func_i64_i64;
116 Table[RTLIB::MUL_I128] = i64_i64_func_i64_i64_i64_i64;
117 Table[RTLIB::MULO_I32] = i32_func_i32_i32_iPTR;
118 Table[RTLIB::MULO_I64] = i64_func_i64_i64_iPTR;
119 Table[RTLIB::MULO_I128] = i64_i64_func_i64_i64_i64_i64_iPTR;
120 Table[RTLIB::SDIV_I8] = i8_func_i8_i8;
121 Table[RTLIB::SDIV_I16] = i16_func_i16_i16;
122 Table[RTLIB::SDIV_I32] = i32_func_i32_i32;
123 Table[RTLIB::SDIV_I64] = i64_func_i64_i64;
124 Table[RTLIB::SDIV_I128] = i64_i64_func_i64_i64_i64_i64;
125 Table[RTLIB::UDIV_I8] = i8_func_i8_i8;
126 Table[RTLIB::UDIV_I16] = i16_func_i16_i16;
127 Table[RTLIB::UDIV_I32] = i32_func_i32_i32;
128 Table[RTLIB::UDIV_I64] = i64_func_i64_i64;
129 Table[RTLIB::UDIV_I128] = i64_i64_func_i64_i64_i64_i64;
130 Table[RTLIB::SREM_I8] = i8_func_i8_i8;
131 Table[RTLIB::SREM_I16] = i16_func_i16_i16;
132 Table[RTLIB::SREM_I32] = i32_func_i32_i32;
133 Table[RTLIB::SREM_I64] = i64_func_i64_i64;
134 Table[RTLIB::SREM_I128] = i64_i64_func_i64_i64_i64_i64;
135 Table[RTLIB::UREM_I8] = i8_func_i8_i8;
136 Table[RTLIB::UREM_I16] = i16_func_i16_i16;
137 Table[RTLIB::UREM_I32] = i32_func_i32_i32;
138 Table[RTLIB::UREM_I64] = i64_func_i64_i64;
139 Table[RTLIB::UREM_I128] = i64_i64_func_i64_i64_i64_i64;
140 Table[RTLIB::SDIVREM_I8] = i8_func_i8_i8;
141 Table[RTLIB::SDIVREM_I16] = i16_i16_func_i16_i16;
142 Table[RTLIB::SDIVREM_I32] = i32_i32_func_i32_i32;
143 Table[RTLIB::SDIVREM_I64] = i64_func_i64_i64;
144 Table[RTLIB::SDIVREM_I128] = i64_i64_i64_i64_func_i64_i64_i64_i64;
145 Table[RTLIB::UDIVREM_I8] = i8_func_i8_i8;
146 Table[RTLIB::UDIVREM_I16] = i16_i16_func_i16_i16;
147 Table[RTLIB::UDIVREM_I32] = i32_i32_func_i32_i32;
148 Table[RTLIB::UDIVREM_I64] = i64_i64_func_i64_i64;
149 Table[RTLIB::UDIVREM_I128] = i64_i64_i64_i64_func_i64_i64_i64_i64;
150 Table[RTLIB::NEG_I32] = i32_func_i32;
151 Table[RTLIB::NEG_I64] = i64_func_i64;
152
153 // Floating-point.
154 // All F80 and PPCF128 routines are unsupported.
155 Table[RTLIB::ADD_F32] = f32_func_f32_f32;
156 Table[RTLIB::ADD_F64] = f64_func_f64_f64;
157 Table[RTLIB::ADD_F128] = i64_i64_func_i64_i64_i64_i64;
158 Table[RTLIB::SUB_F32] = f32_func_f32_f32;
159 Table[RTLIB::SUB_F64] = f64_func_f64_f64;
160 Table[RTLIB::SUB_F128] = i64_i64_func_i64_i64_i64_i64;
161 Table[RTLIB::MUL_F32] = f32_func_f32_f32;
162 Table[RTLIB::MUL_F64] = f64_func_f64_f64;
163 Table[RTLIB::MUL_F128] = i64_i64_func_i64_i64_i64_i64;
164 Table[RTLIB::DIV_F32] = f32_func_f32_f32;
165 Table[RTLIB::DIV_F64] = f64_func_f64_f64;
166 Table[RTLIB::DIV_F128] = i64_i64_func_i64_i64_i64_i64;
167 Table[RTLIB::REM_F32] = f32_func_f32_f32;
168 Table[RTLIB::REM_F64] = f64_func_f64_f64;
169 Table[RTLIB::REM_F128] = i64_i64_func_i64_i64_i64_i64;
170 Table[RTLIB::FMA_F32] = f32_func_f32_f32_f32;
171 Table[RTLIB::FMA_F64] = f64_func_f64_f64_f64;
172 Table[RTLIB::FMA_F128] = i64_i64_func_i64_i64_i64_i64_i64_i64;
173 Table[RTLIB::POWI_F32] = f32_func_f32_i32;
174 Table[RTLIB::POWI_F64] = f64_func_f64_i32;
175 Table[RTLIB::POWI_F128] = i64_i64_func_i64_i64_i32;
176 Table[RTLIB::SQRT_F32] = f32_func_f32;
177 Table[RTLIB::SQRT_F64] = f64_func_f64;
178 Table[RTLIB::SQRT_F128] = i64_i64_func_i64_i64;
179 Table[RTLIB::CBRT_F32] = f32_func_f32;
180 Table[RTLIB::CBRT_F64] = f64_func_f64;
181 Table[RTLIB::CBRT_F128] = i64_i64_func_i64_i64;
182 Table[RTLIB::LOG_F32] = f32_func_f32;
183 Table[RTLIB::LOG_F64] = f64_func_f64;
184 Table[RTLIB::LOG_F128] = i64_i64_func_i64_i64;
185 Table[RTLIB::LOG2_F32] = f32_func_f32;
186 Table[RTLIB::LOG2_F64] = f64_func_f64;
187 Table[RTLIB::LOG2_F128] = i64_i64_func_i64_i64;
188 Table[RTLIB::LOG10_F32] = f32_func_f32;
189 Table[RTLIB::LOG10_F64] = f64_func_f64;
190 Table[RTLIB::LOG10_F128] = i64_i64_func_i64_i64;
191 Table[RTLIB::EXP_F32] = f32_func_f32;
192 Table[RTLIB::EXP_F64] = f64_func_f64;
193 Table[RTLIB::EXP_F128] = i64_i64_func_i64_i64;
194 Table[RTLIB::EXP2_F32] = f32_func_f32;
195 Table[RTLIB::EXP2_F64] = f64_func_f64;
196 Table[RTLIB::EXP2_F128] = i64_i64_func_i64_i64;
197 Table[RTLIB::EXP10_F32] = f32_func_f32;
198 Table[RTLIB::EXP10_F64] = f64_func_f64;
199 Table[RTLIB::EXP10_F128] = i64_i64_func_i64_i64;
200 Table[RTLIB::SIN_F32] = f32_func_f32;
201 Table[RTLIB::SIN_F64] = f64_func_f64;
202 Table[RTLIB::SIN_F128] = i64_i64_func_i64_i64;
203 Table[RTLIB::COS_F32] = f32_func_f32;
204 Table[RTLIB::COS_F64] = f64_func_f64;
205 Table[RTLIB::COS_F128] = i64_i64_func_i64_i64;
206 Table[RTLIB::TAN_F32] = f32_func_f32;
207 Table[RTLIB::TAN_F64] = f64_func_f64;
208 Table[RTLIB::TAN_F128] = i64_i64_func_i64_i64;
209 Table[RTLIB::ASIN_F32] = f32_func_f32;
210 Table[RTLIB::ASIN_F64] = f64_func_f64;
211 Table[RTLIB::ASIN_F128] = i64_i64_func_i64_i64;
212 Table[RTLIB::ACOS_F32] = f32_func_f32;
213 Table[RTLIB::ACOS_F64] = f64_func_f64;
214 Table[RTLIB::ACOS_F128] = i64_i64_func_i64_i64;
215 Table[RTLIB::ATAN_F32] = f32_func_f32;
216 Table[RTLIB::ATAN_F64] = f64_func_f64;
217 Table[RTLIB::ATAN_F128] = i64_i64_func_i64_i64;
218 Table[RTLIB::ATAN2_F32] = f32_func_f32_f32;
219 Table[RTLIB::ATAN2_F64] = f64_func_f64_f64;
220 Table[RTLIB::ATAN2_F128] = i64_i64_func_i64_i64_i64_i64;
221 Table[RTLIB::SINH_F32] = f32_func_f32;
222 Table[RTLIB::SINH_F64] = f64_func_f64;
223 Table[RTLIB::SINH_F128] = i64_i64_func_i64_i64;
224 Table[RTLIB::COSH_F32] = f32_func_f32;
225 Table[RTLIB::COSH_F64] = f64_func_f64;
226 Table[RTLIB::COSH_F128] = i64_i64_func_i64_i64;
227 Table[RTLIB::TANH_F32] = f32_func_f32;
228 Table[RTLIB::TANH_F64] = f64_func_f64;
229 Table[RTLIB::TANH_F128] = i64_i64_func_i64_i64;
230 Table[RTLIB::SINCOS_F32] = func_f32_iPTR_iPTR;
231 Table[RTLIB::SINCOS_F64] = func_f64_iPTR_iPTR;
232 Table[RTLIB::SINCOS_F128] = func_i64_i64_iPTR_iPTR;
233 Table[RTLIB::POW_F32] = f32_func_f32_f32;
234 Table[RTLIB::POW_F64] = f64_func_f64_f64;
235 Table[RTLIB::POW_F128] = i64_i64_func_i64_i64_i64_i64;
236 Table[RTLIB::CEIL_F32] = f32_func_f32;
237 Table[RTLIB::CEIL_F64] = f64_func_f64;
238 Table[RTLIB::CEIL_F128] = i64_i64_func_i64_i64;
239 Table[RTLIB::TRUNC_F32] = f32_func_f32;
240 Table[RTLIB::TRUNC_F64] = f64_func_f64;
241 Table[RTLIB::TRUNC_F128] = i64_i64_func_i64_i64;
242 Table[RTLIB::RINT_F32] = f32_func_f32;
243 Table[RTLIB::RINT_F64] = f64_func_f64;
244 Table[RTLIB::RINT_F128] = i64_i64_func_i64_i64;
245 Table[RTLIB::NEARBYINT_F32] = f32_func_f32;
246 Table[RTLIB::NEARBYINT_F64] = f64_func_f64;
247 Table[RTLIB::NEARBYINT_F128] = i64_i64_func_i64_i64;
248 Table[RTLIB::ROUND_F32] = f32_func_f32;
249 Table[RTLIB::ROUND_F64] = f64_func_f64;
250 Table[RTLIB::ROUND_F128] = i64_i64_func_i64_i64;
251 Table[RTLIB::ROUNDEVEN_F32] = f32_func_f32;
252 Table[RTLIB::ROUNDEVEN_F64] = f64_func_f64;
253 Table[RTLIB::ROUNDEVEN_F128] = i64_i64_func_i64_i64;
254 Table[RTLIB::LROUND_F32] = iPTR_func_f32;
255 Table[RTLIB::LROUND_F64] = iPTR_func_f64;
256 Table[RTLIB::LROUND_F128] = iPTR_func_i64_i64;
257 Table[RTLIB::LLROUND_F32] = i64_func_f32;
258 Table[RTLIB::LLROUND_F64] = i64_func_f64;
259 Table[RTLIB::LLROUND_F128] = i64_func_i64_i64;
260 Table[RTLIB::LRINT_F32] = iPTR_func_f32;
261 Table[RTLIB::LRINT_F64] = iPTR_func_f64;
262 Table[RTLIB::LRINT_F128] = iPTR_func_i64_i64;
263 Table[RTLIB::LLRINT_F32] = i64_func_f32;
264 Table[RTLIB::LLRINT_F64] = i64_func_f64;
265 Table[RTLIB::LLRINT_F128] = i64_func_i64_i64;
266 Table[RTLIB::FLOOR_F32] = f32_func_f32;
267 Table[RTLIB::FLOOR_F64] = f64_func_f64;
268 Table[RTLIB::FLOOR_F128] = i64_i64_func_i64_i64;
269 Table[RTLIB::COPYSIGN_F32] = f32_func_f32_f32;
270 Table[RTLIB::COPYSIGN_F64] = f64_func_f64_f64;
271 Table[RTLIB::COPYSIGN_F128] = i64_i64_func_i64_i64_i64_i64;
272 Table[RTLIB::FMIN_F32] = f32_func_f32_f32;
273 Table[RTLIB::FMIN_F64] = f64_func_f64_f64;
274 Table[RTLIB::FMIN_F128] = i64_i64_func_i64_i64_i64_i64;
275 Table[RTLIB::FMAX_F32] = f32_func_f32_f32;
276 Table[RTLIB::FMAX_F64] = f64_func_f64_f64;
277 Table[RTLIB::FMAX_F128] = i64_i64_func_i64_i64_i64_i64;
278 // wasi-libc and emscripten do not yet have these symbols.
279 // We currently expand them in performMinMaxF128Combine.
280 // Table[RTLIB::FMINIMUM_F128] = i64_i64_func_i64_i64_i64_i64;
281 // Table[RTLIB::FMAXIMUM_F128] = i64_i64_func_i64_i64_i64_i64;
282 // Table[RTLIB::FMINIMUM_NUM_F128] = i64_i64_func_i64_i64_i64_i64;
283 // Table[RTLIB::FMAXIMUM_NUM_F128] = i64_i64_func_i64_i64_i64_i64;
284 Table[RTLIB::LDEXP_F32] = f32_func_f32_i32;
285 Table[RTLIB::LDEXP_F64] = f64_func_f64_i32;
286 Table[RTLIB::LDEXP_F128] = i64_i64_func_i64_i64_i32;
287 Table[RTLIB::FREXP_F32] = f32_func_f32_iPTR;
288 Table[RTLIB::FREXP_F64] = f64_func_f64_iPTR;
289 Table[RTLIB::FREXP_F128] = i64_i64_func_i64_i64_iPTR;
290 Table[RTLIB::MODF_F32] = f32_func_f32_iPTR;
291 Table[RTLIB::MODF_F64] = f64_func_f64_iPTR;
292 Table[RTLIB::MODF_F128] = i64_i64_func_i64_i64_iPTR;
293
294 // Conversion
295 // All F80 and PPCF128 routines are unsupported.
296 Table[RTLIB::FPEXT_F64_F128] = i64_i64_func_f64;
297 Table[RTLIB::FPEXT_F32_F128] = i64_i64_func_f32;
298 Table[RTLIB::FPEXT_F32_F64] = f64_func_f32;
299 Table[RTLIB::FPEXT_F16_F32] = f32_func_i16;
300 Table[RTLIB::FPROUND_F32_F16] = i16_func_f32;
301 Table[RTLIB::FPROUND_F64_F16] = i16_func_f64;
302 Table[RTLIB::FPROUND_F64_F32] = f32_func_f64;
303 Table[RTLIB::FPROUND_F128_F16] = i16_func_i64_i64;
304 Table[RTLIB::FPROUND_F128_F32] = f32_func_i64_i64;
305 Table[RTLIB::FPROUND_F128_F64] = f64_func_i64_i64;
306 Table[RTLIB::FPTOSINT_F32_I32] = i32_func_f32;
307 Table[RTLIB::FPTOSINT_F32_I64] = i64_func_f32;
308 Table[RTLIB::FPTOSINT_F32_I128] = i64_i64_func_f32;
309 Table[RTLIB::FPTOSINT_F64_I32] = i32_func_f64;
310 Table[RTLIB::FPTOSINT_F64_I64] = i64_func_f64;
311 Table[RTLIB::FPTOSINT_F64_I128] = i64_i64_func_f64;
312 Table[RTLIB::FPTOSINT_F128_I32] = i32_func_i64_i64;
313 Table[RTLIB::FPTOSINT_F128_I64] = i64_func_i64_i64;
314 Table[RTLIB::FPTOSINT_F128_I128] = i64_i64_func_i64_i64;
315 Table[RTLIB::FPTOUINT_F32_I32] = i32_func_f32;
316 Table[RTLIB::FPTOUINT_F32_I64] = i64_func_f32;
317 Table[RTLIB::FPTOUINT_F32_I128] = i64_i64_func_f32;
318 Table[RTLIB::FPTOUINT_F64_I32] = i32_func_f64;
319 Table[RTLIB::FPTOUINT_F64_I64] = i64_func_f64;
320 Table[RTLIB::FPTOUINT_F64_I128] = i64_i64_func_f64;
321 Table[RTLIB::FPTOUINT_F128_I32] = i32_func_i64_i64;
322 Table[RTLIB::FPTOUINT_F128_I64] = i64_func_i64_i64;
323 Table[RTLIB::FPTOUINT_F128_I128] = i64_i64_func_i64_i64;
324 Table[RTLIB::SINTTOFP_I32_F32] = f32_func_i32;
325 Table[RTLIB::SINTTOFP_I32_F64] = f64_func_i32;
326 Table[RTLIB::SINTTOFP_I32_F128] = i64_i64_func_i32;
327 Table[RTLIB::SINTTOFP_I64_F32] = f32_func_i64;
328 Table[RTLIB::SINTTOFP_I64_F64] = f64_func_i64;
329 Table[RTLIB::SINTTOFP_I64_F128] = i64_i64_func_i64;
330 Table[RTLIB::SINTTOFP_I128_F32] = f32_func_i64_i64;
331 Table[RTLIB::SINTTOFP_I128_F64] = f64_func_i64_i64;
332 Table[RTLIB::SINTTOFP_I128_F128] = i64_i64_func_i64_i64;
333 Table[RTLIB::UINTTOFP_I32_F32] = f32_func_i32;
334 Table[RTLIB::UINTTOFP_I32_F64] = f64_func_i64;
335 Table[RTLIB::UINTTOFP_I32_F128] = i64_i64_func_i32;
336 Table[RTLIB::UINTTOFP_I64_F32] = f32_func_i64;
337 Table[RTLIB::UINTTOFP_I64_F64] = f64_func_i64;
338 Table[RTLIB::UINTTOFP_I64_F128] = i64_i64_func_i64;
339 Table[RTLIB::UINTTOFP_I128_F32] = f32_func_i64_i64;
340 Table[RTLIB::UINTTOFP_I128_F64] = f64_func_i64_i64;
341 Table[RTLIB::UINTTOFP_I128_F128] = i64_i64_func_i64_i64;
342
343 // Comparison
344 // ALl F80 and PPCF128 routines are unsupported.
345 Table[RTLIB::OEQ_F32] = i32_func_f32_f32;
346 Table[RTLIB::OEQ_F64] = i32_func_f64_f64;
347 Table[RTLIB::OEQ_F128] = i32_func_i64_i64_i64_i64;
348 Table[RTLIB::UNE_F32] = i32_func_f32_f32;
349 Table[RTLIB::UNE_F64] = i32_func_f64_f64;
350 Table[RTLIB::UNE_F128] = i32_func_i64_i64_i64_i64;
351 Table[RTLIB::OGE_F32] = i32_func_f32_f32;
352 Table[RTLIB::OGE_F64] = i32_func_f64_f64;
353 Table[RTLIB::OGE_F128] = i32_func_i64_i64_i64_i64;
354 Table[RTLIB::OLT_F32] = i32_func_f32_f32;
355 Table[RTLIB::OLT_F64] = i32_func_f64_f64;
356 Table[RTLIB::OLT_F128] = i32_func_i64_i64_i64_i64;
357 Table[RTLIB::OLE_F32] = i32_func_f32_f32;
358 Table[RTLIB::OLE_F64] = i32_func_f64_f64;
359 Table[RTLIB::OLE_F128] = i32_func_i64_i64_i64_i64;
360 Table[RTLIB::OGT_F32] = i32_func_f32_f32;
361 Table[RTLIB::OGT_F64] = i32_func_f64_f64;
362 Table[RTLIB::OGT_F128] = i32_func_i64_i64_i64_i64;
363 Table[RTLIB::UO_F32] = i32_func_f32_f32;
364 Table[RTLIB::UO_F64] = i32_func_f64_f64;
365 Table[RTLIB::UO_F128] = i32_func_i64_i64_i64_i64;
366
367 // Memory
368 Table[RTLIB::MEMCPY] = iPTR_func_iPTR_iPTR_iPTR;
369 Table[RTLIB::MEMSET] = iPTR_func_iPTR_i32_iPTR;
370 Table[RTLIB::MEMMOVE] = iPTR_func_iPTR_iPTR_iPTR;
371
372 // __stack_chk_fail
373 Table[RTLIB::STACKPROTECTOR_CHECK_FAIL] = func;
374
375 // Return address handling
376 Table[RTLIB::RETURN_ADDRESS] = iPTR_func_i32;
377
378 // Element-wise Atomic memory
379 // TODO: Fix these when we implement atomic support
380 Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_1] = unsupported;
381 Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_2] = unsupported;
382 Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_4] = unsupported;
383 Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_8] = unsupported;
384 Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_16] = unsupported;
385 Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_1] = unsupported;
386 Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_2] = unsupported;
387 Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_4] = unsupported;
388 Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_8] = unsupported;
389 Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_16] = unsupported;
390
391 Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_1] = unsupported;
392 Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_2] = unsupported;
393 Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_4] = unsupported;
394 Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_8] = unsupported;
395 Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_16] = unsupported;
396
397 // Atomic '__sync_*' libcalls.
398 // TODO: Fix these when we implement atomic support
399 Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_1] = unsupported;
400 Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_2] = unsupported;
401 Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_4] = unsupported;
402 Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_8] = unsupported;
403 Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_16] = unsupported;
404 Table[RTLIB::SYNC_LOCK_TEST_AND_SET_1] = unsupported;
405 Table[RTLIB::SYNC_LOCK_TEST_AND_SET_2] = unsupported;
406 Table[RTLIB::SYNC_LOCK_TEST_AND_SET_4] = unsupported;
407 Table[RTLIB::SYNC_LOCK_TEST_AND_SET_8] = unsupported;
408 Table[RTLIB::SYNC_LOCK_TEST_AND_SET_16] = unsupported;
409 Table[RTLIB::SYNC_FETCH_AND_ADD_1] = unsupported;
410 Table[RTLIB::SYNC_FETCH_AND_ADD_2] = unsupported;
411 Table[RTLIB::SYNC_FETCH_AND_ADD_4] = unsupported;
412 Table[RTLIB::SYNC_FETCH_AND_ADD_8] = unsupported;
413 Table[RTLIB::SYNC_FETCH_AND_ADD_16] = unsupported;
414 Table[RTLIB::SYNC_FETCH_AND_SUB_1] = unsupported;
415 Table[RTLIB::SYNC_FETCH_AND_SUB_2] = unsupported;
416 Table[RTLIB::SYNC_FETCH_AND_SUB_4] = unsupported;
417 Table[RTLIB::SYNC_FETCH_AND_SUB_8] = unsupported;
418 Table[RTLIB::SYNC_FETCH_AND_SUB_16] = unsupported;
419 Table[RTLIB::SYNC_FETCH_AND_AND_1] = unsupported;
420 Table[RTLIB::SYNC_FETCH_AND_AND_2] = unsupported;
421 Table[RTLIB::SYNC_FETCH_AND_AND_4] = unsupported;
422 Table[RTLIB::SYNC_FETCH_AND_AND_8] = unsupported;
423 Table[RTLIB::SYNC_FETCH_AND_AND_16] = unsupported;
424 Table[RTLIB::SYNC_FETCH_AND_OR_1] = unsupported;
425 Table[RTLIB::SYNC_FETCH_AND_OR_2] = unsupported;
426 Table[RTLIB::SYNC_FETCH_AND_OR_4] = unsupported;
427 Table[RTLIB::SYNC_FETCH_AND_OR_8] = unsupported;
428 Table[RTLIB::SYNC_FETCH_AND_OR_16] = unsupported;
429 Table[RTLIB::SYNC_FETCH_AND_XOR_1] = unsupported;
430 Table[RTLIB::SYNC_FETCH_AND_XOR_2] = unsupported;
431 Table[RTLIB::SYNC_FETCH_AND_XOR_4] = unsupported;
432 Table[RTLIB::SYNC_FETCH_AND_XOR_8] = unsupported;
433 Table[RTLIB::SYNC_FETCH_AND_XOR_16] = unsupported;
434 Table[RTLIB::SYNC_FETCH_AND_NAND_1] = unsupported;
435 Table[RTLIB::SYNC_FETCH_AND_NAND_2] = unsupported;
436 Table[RTLIB::SYNC_FETCH_AND_NAND_4] = unsupported;
437 Table[RTLIB::SYNC_FETCH_AND_NAND_8] = unsupported;
438 Table[RTLIB::SYNC_FETCH_AND_NAND_16] = unsupported;
439 Table[RTLIB::SYNC_FETCH_AND_MAX_1] = unsupported;
440 Table[RTLIB::SYNC_FETCH_AND_MAX_2] = unsupported;
441 Table[RTLIB::SYNC_FETCH_AND_MAX_4] = unsupported;
442 Table[RTLIB::SYNC_FETCH_AND_MAX_8] = unsupported;
443 Table[RTLIB::SYNC_FETCH_AND_MAX_16] = unsupported;
444 Table[RTLIB::SYNC_FETCH_AND_UMAX_1] = unsupported;
445 Table[RTLIB::SYNC_FETCH_AND_UMAX_2] = unsupported;
446 Table[RTLIB::SYNC_FETCH_AND_UMAX_4] = unsupported;
447 Table[RTLIB::SYNC_FETCH_AND_UMAX_8] = unsupported;
448 Table[RTLIB::SYNC_FETCH_AND_UMAX_16] = unsupported;
449 Table[RTLIB::SYNC_FETCH_AND_MIN_1] = unsupported;
450 Table[RTLIB::SYNC_FETCH_AND_MIN_2] = unsupported;
451 Table[RTLIB::SYNC_FETCH_AND_MIN_4] = unsupported;
452 Table[RTLIB::SYNC_FETCH_AND_MIN_8] = unsupported;
453 Table[RTLIB::SYNC_FETCH_AND_MIN_16] = unsupported;
454 Table[RTLIB::SYNC_FETCH_AND_UMIN_1] = unsupported;
455 Table[RTLIB::SYNC_FETCH_AND_UMIN_2] = unsupported;
456 Table[RTLIB::SYNC_FETCH_AND_UMIN_4] = unsupported;
457 Table[RTLIB::SYNC_FETCH_AND_UMIN_8] = unsupported;
458 Table[RTLIB::SYNC_FETCH_AND_UMIN_16] = unsupported;
459
460 // Atomic '__atomic_*' libcalls.
461 // TODO: Fix these when we implement atomic support
462 Table[RTLIB::ATOMIC_LOAD] = unsupported;
463 Table[RTLIB::ATOMIC_LOAD_1] = unsupported;
464 Table[RTLIB::ATOMIC_LOAD_2] = unsupported;
465 Table[RTLIB::ATOMIC_LOAD_4] = unsupported;
466 Table[RTLIB::ATOMIC_LOAD_8] = unsupported;
467 Table[RTLIB::ATOMIC_LOAD_16] = unsupported;
468
469 Table[RTLIB::ATOMIC_STORE] = unsupported;
470 Table[RTLIB::ATOMIC_STORE_1] = unsupported;
471 Table[RTLIB::ATOMIC_STORE_2] = unsupported;
472 Table[RTLIB::ATOMIC_STORE_4] = unsupported;
473 Table[RTLIB::ATOMIC_STORE_8] = unsupported;
474 Table[RTLIB::ATOMIC_STORE_16] = unsupported;
475
476 Table[RTLIB::ATOMIC_EXCHANGE] = unsupported;
477 Table[RTLIB::ATOMIC_EXCHANGE_1] = unsupported;
478 Table[RTLIB::ATOMIC_EXCHANGE_2] = unsupported;
479 Table[RTLIB::ATOMIC_EXCHANGE_4] = unsupported;
480 Table[RTLIB::ATOMIC_EXCHANGE_8] = unsupported;
481 Table[RTLIB::ATOMIC_EXCHANGE_16] = unsupported;
482
483 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE] = unsupported;
484 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_1] = unsupported;
485 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_2] = unsupported;
486 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_4] = unsupported;
487 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_8] = unsupported;
488 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_16] = unsupported;
489
490 Table[RTLIB::ATOMIC_FETCH_ADD_1] = unsupported;
491 Table[RTLIB::ATOMIC_FETCH_ADD_2] = unsupported;
492 Table[RTLIB::ATOMIC_FETCH_ADD_4] = unsupported;
493 Table[RTLIB::ATOMIC_FETCH_ADD_8] = unsupported;
494 Table[RTLIB::ATOMIC_FETCH_ADD_16] = unsupported;
495
496 Table[RTLIB::ATOMIC_FETCH_SUB_1] = unsupported;
497 Table[RTLIB::ATOMIC_FETCH_SUB_2] = unsupported;
498 Table[RTLIB::ATOMIC_FETCH_SUB_4] = unsupported;
499 Table[RTLIB::ATOMIC_FETCH_SUB_8] = unsupported;
500 Table[RTLIB::ATOMIC_FETCH_SUB_16] = unsupported;
501
502 Table[RTLIB::ATOMIC_FETCH_AND_1] = unsupported;
503 Table[RTLIB::ATOMIC_FETCH_AND_2] = unsupported;
504 Table[RTLIB::ATOMIC_FETCH_AND_4] = unsupported;
505 Table[RTLIB::ATOMIC_FETCH_AND_8] = unsupported;
506 Table[RTLIB::ATOMIC_FETCH_AND_16] = unsupported;
507
508 Table[RTLIB::ATOMIC_FETCH_OR_1] = unsupported;
509 Table[RTLIB::ATOMIC_FETCH_OR_2] = unsupported;
510 Table[RTLIB::ATOMIC_FETCH_OR_4] = unsupported;
511 Table[RTLIB::ATOMIC_FETCH_OR_8] = unsupported;
512 Table[RTLIB::ATOMIC_FETCH_OR_16] = unsupported;
513
514 Table[RTLIB::ATOMIC_FETCH_XOR_1] = unsupported;
515 Table[RTLIB::ATOMIC_FETCH_XOR_2] = unsupported;
516 Table[RTLIB::ATOMIC_FETCH_XOR_4] = unsupported;
517 Table[RTLIB::ATOMIC_FETCH_XOR_8] = unsupported;
518 Table[RTLIB::ATOMIC_FETCH_XOR_16] = unsupported;
519
520 Table[RTLIB::ATOMIC_FETCH_NAND_1] = unsupported;
521 Table[RTLIB::ATOMIC_FETCH_NAND_2] = unsupported;
522 Table[RTLIB::ATOMIC_FETCH_NAND_4] = unsupported;
523 Table[RTLIB::ATOMIC_FETCH_NAND_8] = unsupported;
524 Table[RTLIB::ATOMIC_FETCH_NAND_16] = unsupported;
525 }
526};
527
528RuntimeLibcallSignatureTable &getRuntimeLibcallSignatures() {
529 static RuntimeLibcallSignatureTable RuntimeLibcallSignatures;
530 return RuntimeLibcallSignatures;
531}
532
533// Maps libcall names to their RTLIB::Libcall number. Builds the map in a
534// constructor for use with a static variable
535struct StaticLibcallNameMap {
536 StringMap<RTLIB::Libcall> Map;
537 StaticLibcallNameMap(const Triple &TT) {
538 // FIXME: This is broken if there are ever different triples compiled with
539 // different libcalls.
540 RTLIB::RuntimeLibcallsInfo RTCI(TT);
541
543 getRuntimeLibcallSignatures().Table;
544 for (RTLIB::LibcallImpl Impl : RTLIB::libcall_impls()) {
545 if (!RTCI.isAvailable(Impl))
546 continue;
547 RTLIB::Libcall LC = RTLIB::RuntimeLibcallsInfo::getLibcallFromImpl(Impl);
548 if (Table[LC] != unsupported) {
549 StringRef NameLibcall =
551 // FIXME: Map should be to LibcallImpl
552 if (!Map.insert({NameLibcall, LC}).second)
553 llvm_unreachable("duplicate libcall names in name map");
554 }
555 }
556 }
557};
558
559} // end anonymous namespace
560
562 RTLIB::Libcall LC,
565 assert(Rets.empty());
566 assert(Params.empty());
567
568 wasm::ValType PtrTy =
570
571 auto &Table = getRuntimeLibcallSignatures().Table;
572 switch (Table[LC]) {
573 case func:
574 break;
575 case f32_func_f32:
578 break;
579 case f32_func_f64:
582 break;
583 case f32_func_i32:
586 break;
587 case f32_func_i64:
590 break;
591 case f32_func_i16:
594 break;
595 case f64_func_f32:
598 break;
599 case f64_func_f64:
602 break;
603 case f64_func_i32:
606 break;
607 case f64_func_i64:
610 break;
611 case i32_func_f32:
614 break;
615 case i32_func_f64:
618 break;
619 case i32_func_i32:
622 break;
623 case i64_func_f32:
626 break;
627 case i64_func_f64:
630 break;
631 case i64_func_i64:
634 break;
635 case f32_func_f32_f32:
639 break;
640 case f32_func_f32_i32:
644 break;
645 case f32_func_f32_iPTR:
648 Params.push_back(PtrTy);
649 break;
650 case f32_func_i64_i64:
654 break;
655 case f64_func_f64_f64:
659 break;
660 case f64_func_f64_i32:
664 break;
665 case f64_func_i64_i64:
669 break;
670 case f64_func_f64_iPTR:
673 Params.push_back(PtrTy);
674 break;
675 case i16_func_f32:
678 break;
679 case i16_func_f64:
682 break;
683 case i16_func_i64_i64:
687 break;
688 case i8_func_i8_i8:
692 break;
693 case func_f32_iPTR_iPTR:
695 Params.push_back(PtrTy);
696 Params.push_back(PtrTy);
697 break;
698 case func_f64_iPTR_iPTR:
700 Params.push_back(PtrTy);
701 Params.push_back(PtrTy);
702 break;
703 case i16_func_i16_i16:
707 break;
708 case i32_func_f32_f32:
712 break;
713 case i32_func_f64_f64:
717 break;
718 case i32_func_i32_i32:
722 break;
723 case i32_func_i32_i32_iPTR:
727 Params.push_back(PtrTy);
728 break;
729 case i64_func_i64_i64:
733 break;
734 case i64_func_i64_i64_iPTR:
738 Params.push_back(PtrTy);
739 break;
740 case i64_i64_func_f32:
744 } else {
745 Params.push_back(PtrTy);
746 }
748 break;
749 case i64_i64_func_f64:
753 } else {
754 Params.push_back(PtrTy);
755 }
757 break;
758 case i16_i16_func_i16_i16:
762 } else {
763 Params.push_back(PtrTy);
764 }
767 break;
768 case i32_i32_func_i32_i32:
772 } else {
773 Params.push_back(PtrTy);
774 }
777 break;
778 case i64_i64_func_i64_i64:
782 } else {
783 Params.push_back(PtrTy);
784 }
787 break;
788 case i64_i64_func_i64_i64_iPTR:
792 } else {
793 Params.push_back(PtrTy);
794 }
797 Params.push_back(PtrTy);
798 break;
799 case i64_i64_func_i64_i64_i64_i64:
803 } else {
804 Params.push_back(PtrTy);
805 }
810 break;
811 case i64_i64_func_i64_i64_i64_i64_iPTR:
815 } else {
816 Params.push_back(PtrTy);
817 }
822 Params.push_back(PtrTy);
823 break;
824 case i64_i64_i64_i64_func_i64_i64_i64_i64:
830 } else {
831 Params.push_back(PtrTy);
832 }
837 break;
838 case i64_i64_func_i64_i64_i32:
842 } else {
843 Params.push_back(PtrTy);
844 }
848 break;
849 case iPTR_func_i32:
850 Rets.push_back(PtrTy);
852 break;
853 case iPTR_func_iPTR_i32_iPTR:
854 Rets.push_back(PtrTy);
855 Params.push_back(PtrTy);
857 Params.push_back(PtrTy);
858 break;
859 case iPTR_func_iPTR_iPTR_iPTR:
860 Rets.push_back(PtrTy);
861 Params.push_back(PtrTy);
862 Params.push_back(PtrTy);
863 Params.push_back(PtrTy);
864 break;
865 case f32_func_f32_f32_f32:
870 break;
871 case f64_func_f64_f64_f64:
876 break;
877 case func_i64_i64_iPTR_iPTR:
880 Params.push_back(PtrTy);
881 Params.push_back(PtrTy);
882 break;
883 case i32_func_i64_i64:
887 break;
888 case i32_func_i64_i64_i64_i64:
894 break;
895 case iPTR_func_f32:
896 Rets.push_back(PtrTy);
898 break;
899 case iPTR_func_f64:
900 Rets.push_back(PtrTy);
902 break;
903 case iPTR_func_i64_i64:
904 Rets.push_back(PtrTy);
907 break;
908 case i64_i64_func_i64_i64_i64_i64_i64_i64:
912 } else {
913 Params.push_back(PtrTy);
914 }
921 break;
922 case i64_i64_func_i32:
926 } else {
927 Params.push_back(PtrTy);
928 }
930 break;
931 case i64_i64_func_i64:
935 } else {
936 Params.push_back(PtrTy);
937 }
939 break;
940 case unsupported:
941 llvm_unreachable("unsupported runtime library signature");
942 }
943}
944
945// TODO: If the RTLIB::Libcall-taking flavor of GetSignature remains unused
946// other than here, just roll its logic into this version.
948 StringRef Name,
951 static StaticLibcallNameMap LibcallNameMap(Subtarget.getTargetTriple());
952 auto &Map = LibcallNameMap.Map;
953 auto Val = Map.find(Name);
954#ifndef NDEBUG
955 if (Val == Map.end()) {
956 auto Message =
957 std::string("unexpected runtime library name: ") + std::string(Name);
958 llvm_unreachable(Message.c_str());
959 }
960#endif
961 return getLibcallSignature(Subtarget, Val->second, Rets, Params);
962}
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
static Error unsupported(const char *Str, const Triple &T)
Definition MachO.cpp:77
This file provides signature information for runtime libcalls.
This file declares the WebAssembly-specific subclass of TargetSubtarget.
This file contains the declaration of the WebAssembly-specific utility functions.
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
void push_back(const T &Elt)
Represent a constant reference to a string, i.e.
Definition StringRef.h:56
const Triple & getTargetTriple() const
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
static auto libcall_impls()
bool canLowerMultivalueReturn(const WebAssemblySubtarget *Subtarget)
Returns true if multivalue returns of a function can be lowered directly, i.e., not indirectly via a ...
void getLibcallSignature(const WebAssemblySubtarget &Subtarget, RTLIB::Libcall LC, SmallVectorImpl< wasm::ValType > &Rets, SmallVectorImpl< wasm::ValType > &Params)
This is an optimization pass for GlobalISel generic memory operations.
ArrayRef(const T &OneElt) -> ArrayRef< T >
static StringRef getLibcallImplName(RTLIB::LibcallImpl CallImpl)
Get the libcall routine name for the specified libcall implementation.
static RTLIB::Libcall getLibcallFromImpl(RTLIB::LibcallImpl Impl)
Return the libcall provided by Impl.