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
21#include "WebAssemblyRuntimeLibcallSignatures.h"
22#include "WebAssemblySubtarget.h"
23#include "WebAssemblyUtilities.h"
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,
91 unsupported
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 Table[RTLIB::FCMP3_PRED_OEQ_F32] = i32_func_f32_f32;
367 Table[RTLIB::FCMP3_PRED_OEQ_F64] = i32_func_f64_f64;
368 Table[RTLIB::FCMP3_PRED_OEQ_F128] = i32_func_i64_i64_i64_i64;
369 Table[RTLIB::FCMP3_PRED_UNE_F32] = i32_func_f32_f32;
370 Table[RTLIB::FCMP3_PRED_UNE_F64] = i32_func_f64_f64;
371 Table[RTLIB::FCMP3_PRED_UNE_F128] = i32_func_i64_i64_i64_i64;
372 Table[RTLIB::FCMP3_PRED_OGE_F32] = i32_func_f32_f32;
373 Table[RTLIB::FCMP3_PRED_OGE_F64] = i32_func_f64_f64;
374 Table[RTLIB::FCMP3_PRED_OGE_F128] = i32_func_i64_i64_i64_i64;
375 Table[RTLIB::FCMP3_PRED_OLT_F32] = i32_func_f32_f32;
376 Table[RTLIB::FCMP3_PRED_OLT_F64] = i32_func_f64_f64;
377 Table[RTLIB::FCMP3_PRED_OLT_F128] = i32_func_i64_i64_i64_i64;
378 Table[RTLIB::FCMP3_PRED_OLE_F32] = i32_func_f32_f32;
379 Table[RTLIB::FCMP3_PRED_OLE_F64] = i32_func_f64_f64;
380 Table[RTLIB::FCMP3_PRED_OLE_F128] = i32_func_i64_i64_i64_i64;
381 Table[RTLIB::FCMP3_PRED_OGT_F32] = i32_func_f32_f32;
382 Table[RTLIB::FCMP3_PRED_OGT_F64] = i32_func_f64_f64;
383 Table[RTLIB::FCMP3_PRED_OGT_F128] = i32_func_i64_i64_i64_i64;
384
385 // Memory
386 Table[RTLIB::MEMCPY] = iPTR_func_iPTR_iPTR_iPTR;
387 Table[RTLIB::MEMSET] = iPTR_func_iPTR_i32_iPTR;
388 Table[RTLIB::MEMMOVE] = iPTR_func_iPTR_iPTR_iPTR;
389
390 // __stack_chk_fail
391 Table[RTLIB::STACKPROTECTOR_CHECK_FAIL] = func;
392
393 // Return address handling
394 Table[RTLIB::RETURN_ADDRESS] = iPTR_func_i32;
395
396 // Element-wise Atomic memory
397 // TODO: Fix these when we implement atomic support
398 Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_1] = unsupported;
399 Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_2] = unsupported;
400 Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_4] = unsupported;
401 Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_8] = unsupported;
402 Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_16] = unsupported;
403 Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_1] = unsupported;
404 Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_2] = unsupported;
405 Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_4] = unsupported;
406 Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_8] = unsupported;
407 Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_16] = unsupported;
408
409 Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_1] = unsupported;
410 Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_2] = unsupported;
411 Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_4] = unsupported;
412 Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_8] = unsupported;
413 Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_16] = unsupported;
414
415 // Atomic '__sync_*' libcalls.
416 // TODO: Fix these when we implement atomic support
417 Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_1] = unsupported;
418 Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_2] = unsupported;
419 Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_4] = unsupported;
420 Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_8] = unsupported;
421 Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_16] = unsupported;
422 Table[RTLIB::SYNC_LOCK_TEST_AND_SET_1] = unsupported;
423 Table[RTLIB::SYNC_LOCK_TEST_AND_SET_2] = unsupported;
424 Table[RTLIB::SYNC_LOCK_TEST_AND_SET_4] = unsupported;
425 Table[RTLIB::SYNC_LOCK_TEST_AND_SET_8] = unsupported;
426 Table[RTLIB::SYNC_LOCK_TEST_AND_SET_16] = unsupported;
427 Table[RTLIB::SYNC_FETCH_AND_ADD_1] = unsupported;
428 Table[RTLIB::SYNC_FETCH_AND_ADD_2] = unsupported;
429 Table[RTLIB::SYNC_FETCH_AND_ADD_4] = unsupported;
430 Table[RTLIB::SYNC_FETCH_AND_ADD_8] = unsupported;
431 Table[RTLIB::SYNC_FETCH_AND_ADD_16] = unsupported;
432 Table[RTLIB::SYNC_FETCH_AND_SUB_1] = unsupported;
433 Table[RTLIB::SYNC_FETCH_AND_SUB_2] = unsupported;
434 Table[RTLIB::SYNC_FETCH_AND_SUB_4] = unsupported;
435 Table[RTLIB::SYNC_FETCH_AND_SUB_8] = unsupported;
436 Table[RTLIB::SYNC_FETCH_AND_SUB_16] = unsupported;
437 Table[RTLIB::SYNC_FETCH_AND_AND_1] = unsupported;
438 Table[RTLIB::SYNC_FETCH_AND_AND_2] = unsupported;
439 Table[RTLIB::SYNC_FETCH_AND_AND_4] = unsupported;
440 Table[RTLIB::SYNC_FETCH_AND_AND_8] = unsupported;
441 Table[RTLIB::SYNC_FETCH_AND_AND_16] = unsupported;
442 Table[RTLIB::SYNC_FETCH_AND_OR_1] = unsupported;
443 Table[RTLIB::SYNC_FETCH_AND_OR_2] = unsupported;
444 Table[RTLIB::SYNC_FETCH_AND_OR_4] = unsupported;
445 Table[RTLIB::SYNC_FETCH_AND_OR_8] = unsupported;
446 Table[RTLIB::SYNC_FETCH_AND_OR_16] = unsupported;
447 Table[RTLIB::SYNC_FETCH_AND_XOR_1] = unsupported;
448 Table[RTLIB::SYNC_FETCH_AND_XOR_2] = unsupported;
449 Table[RTLIB::SYNC_FETCH_AND_XOR_4] = unsupported;
450 Table[RTLIB::SYNC_FETCH_AND_XOR_8] = unsupported;
451 Table[RTLIB::SYNC_FETCH_AND_XOR_16] = unsupported;
452 Table[RTLIB::SYNC_FETCH_AND_NAND_1] = unsupported;
453 Table[RTLIB::SYNC_FETCH_AND_NAND_2] = unsupported;
454 Table[RTLIB::SYNC_FETCH_AND_NAND_4] = unsupported;
455 Table[RTLIB::SYNC_FETCH_AND_NAND_8] = unsupported;
456 Table[RTLIB::SYNC_FETCH_AND_NAND_16] = unsupported;
457 Table[RTLIB::SYNC_FETCH_AND_MAX_1] = unsupported;
458 Table[RTLIB::SYNC_FETCH_AND_MAX_2] = unsupported;
459 Table[RTLIB::SYNC_FETCH_AND_MAX_4] = unsupported;
460 Table[RTLIB::SYNC_FETCH_AND_MAX_8] = unsupported;
461 Table[RTLIB::SYNC_FETCH_AND_MAX_16] = unsupported;
462 Table[RTLIB::SYNC_FETCH_AND_UMAX_1] = unsupported;
463 Table[RTLIB::SYNC_FETCH_AND_UMAX_2] = unsupported;
464 Table[RTLIB::SYNC_FETCH_AND_UMAX_4] = unsupported;
465 Table[RTLIB::SYNC_FETCH_AND_UMAX_8] = unsupported;
466 Table[RTLIB::SYNC_FETCH_AND_UMAX_16] = unsupported;
467 Table[RTLIB::SYNC_FETCH_AND_MIN_1] = unsupported;
468 Table[RTLIB::SYNC_FETCH_AND_MIN_2] = unsupported;
469 Table[RTLIB::SYNC_FETCH_AND_MIN_4] = unsupported;
470 Table[RTLIB::SYNC_FETCH_AND_MIN_8] = unsupported;
471 Table[RTLIB::SYNC_FETCH_AND_MIN_16] = unsupported;
472 Table[RTLIB::SYNC_FETCH_AND_UMIN_1] = unsupported;
473 Table[RTLIB::SYNC_FETCH_AND_UMIN_2] = unsupported;
474 Table[RTLIB::SYNC_FETCH_AND_UMIN_4] = unsupported;
475 Table[RTLIB::SYNC_FETCH_AND_UMIN_8] = unsupported;
476 Table[RTLIB::SYNC_FETCH_AND_UMIN_16] = unsupported;
477
478 // Atomic '__atomic_*' libcalls.
479 // TODO: Fix these when we implement atomic support
480 Table[RTLIB::ATOMIC_LOAD] = unsupported;
481 Table[RTLIB::ATOMIC_LOAD_1] = unsupported;
482 Table[RTLIB::ATOMIC_LOAD_2] = unsupported;
483 Table[RTLIB::ATOMIC_LOAD_4] = unsupported;
484 Table[RTLIB::ATOMIC_LOAD_8] = unsupported;
485 Table[RTLIB::ATOMIC_LOAD_16] = unsupported;
486
487 Table[RTLIB::ATOMIC_STORE] = unsupported;
488 Table[RTLIB::ATOMIC_STORE_1] = unsupported;
489 Table[RTLIB::ATOMIC_STORE_2] = unsupported;
490 Table[RTLIB::ATOMIC_STORE_4] = unsupported;
491 Table[RTLIB::ATOMIC_STORE_8] = unsupported;
492 Table[RTLIB::ATOMIC_STORE_16] = unsupported;
493
494 Table[RTLIB::ATOMIC_EXCHANGE] = unsupported;
495 Table[RTLIB::ATOMIC_EXCHANGE_1] = unsupported;
496 Table[RTLIB::ATOMIC_EXCHANGE_2] = unsupported;
497 Table[RTLIB::ATOMIC_EXCHANGE_4] = unsupported;
498 Table[RTLIB::ATOMIC_EXCHANGE_8] = unsupported;
499 Table[RTLIB::ATOMIC_EXCHANGE_16] = unsupported;
500
501 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE] = unsupported;
502 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_1] = unsupported;
503 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_2] = unsupported;
504 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_4] = unsupported;
505 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_8] = unsupported;
506 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_16] = unsupported;
507
508 Table[RTLIB::ATOMIC_FETCH_ADD_1] = unsupported;
509 Table[RTLIB::ATOMIC_FETCH_ADD_2] = unsupported;
510 Table[RTLIB::ATOMIC_FETCH_ADD_4] = unsupported;
511 Table[RTLIB::ATOMIC_FETCH_ADD_8] = unsupported;
512 Table[RTLIB::ATOMIC_FETCH_ADD_16] = unsupported;
513
514 Table[RTLIB::ATOMIC_FETCH_SUB_1] = unsupported;
515 Table[RTLIB::ATOMIC_FETCH_SUB_2] = unsupported;
516 Table[RTLIB::ATOMIC_FETCH_SUB_4] = unsupported;
517 Table[RTLIB::ATOMIC_FETCH_SUB_8] = unsupported;
518 Table[RTLIB::ATOMIC_FETCH_SUB_16] = unsupported;
519
520 Table[RTLIB::ATOMIC_FETCH_AND_1] = unsupported;
521 Table[RTLIB::ATOMIC_FETCH_AND_2] = unsupported;
522 Table[RTLIB::ATOMIC_FETCH_AND_4] = unsupported;
523 Table[RTLIB::ATOMIC_FETCH_AND_8] = unsupported;
524 Table[RTLIB::ATOMIC_FETCH_AND_16] = unsupported;
525
526 Table[RTLIB::ATOMIC_FETCH_OR_1] = unsupported;
527 Table[RTLIB::ATOMIC_FETCH_OR_2] = unsupported;
528 Table[RTLIB::ATOMIC_FETCH_OR_4] = unsupported;
529 Table[RTLIB::ATOMIC_FETCH_OR_8] = unsupported;
530 Table[RTLIB::ATOMIC_FETCH_OR_16] = unsupported;
531
532 Table[RTLIB::ATOMIC_FETCH_XOR_1] = unsupported;
533 Table[RTLIB::ATOMIC_FETCH_XOR_2] = unsupported;
534 Table[RTLIB::ATOMIC_FETCH_XOR_4] = unsupported;
535 Table[RTLIB::ATOMIC_FETCH_XOR_8] = unsupported;
536 Table[RTLIB::ATOMIC_FETCH_XOR_16] = unsupported;
537
538 Table[RTLIB::ATOMIC_FETCH_NAND_1] = unsupported;
539 Table[RTLIB::ATOMIC_FETCH_NAND_2] = unsupported;
540 Table[RTLIB::ATOMIC_FETCH_NAND_4] = unsupported;
541 Table[RTLIB::ATOMIC_FETCH_NAND_8] = unsupported;
542 Table[RTLIB::ATOMIC_FETCH_NAND_16] = unsupported;
543 }
544};
545
546RuntimeLibcallSignatureTable &getRuntimeLibcallSignatures() {
547 static RuntimeLibcallSignatureTable RuntimeLibcallSignatures;
548 return RuntimeLibcallSignatures;
549}
550
551// Maps libcall names to their RTLIB::Libcall number. Builds the map in a
552// constructor for use with a static variable
553struct StaticLibcallNameMap {
554 StringMap<RTLIB::Libcall> Map;
555 StaticLibcallNameMap(const Triple &TT) {
556 // FIXME: This is broken if there are ever different triples compiled with
557 // different libcalls.
558 RTLIB::RuntimeLibcallsInfo RTCI(TT);
559
560 ArrayRef<RuntimeLibcallSignature> Table =
561 getRuntimeLibcallSignatures().Table;
562 for (RTLIB::LibcallImpl Impl : RTLIB::libcall_impls()) {
563 if (!RTCI.isAvailable(Impl))
564 continue;
565 RTLIB::Libcall LC = RTLIB::RuntimeLibcallsInfo::getLibcallFromImpl(Impl);
566 if (Table[LC] != unsupported) {
567 StringRef NameLibcall =
568 RTLIB::RuntimeLibcallsInfo::getLibcallImplName(CallImpl: Impl);
569 // FIXME: Map should be to LibcallImpl
570 if (!Map.insert(KV: {NameLibcall, LC}).second)
571 llvm_unreachable("duplicate libcall names in name map");
572 }
573 }
574 }
575};
576
577} // end anonymous namespace
578
579void WebAssembly::getLibcallSignature(const WebAssemblySubtarget &Subtarget,
580 RTLIB::Libcall LC,
581 SmallVectorImpl<wasm::ValType> &Rets,
582 SmallVectorImpl<wasm::ValType> &Params) {
583 assert(Rets.empty());
584 assert(Params.empty());
585
586 wasm::ValType PtrTy =
587 Subtarget.hasAddr64() ? wasm::ValType::I64 : wasm::ValType::I32;
588
589 auto &Table = getRuntimeLibcallSignatures().Table;
590 switch (Table[LC]) {
591 case func:
592 break;
593 case f32_func_f32:
594 Rets.push_back(Elt: wasm::ValType::F32);
595 Params.push_back(Elt: wasm::ValType::F32);
596 break;
597 case f32_func_f64:
598 Rets.push_back(Elt: wasm::ValType::F32);
599 Params.push_back(Elt: wasm::ValType::F64);
600 break;
601 case f32_func_i32:
602 Rets.push_back(Elt: wasm::ValType::F32);
603 Params.push_back(Elt: wasm::ValType::I32);
604 break;
605 case f32_func_i64:
606 Rets.push_back(Elt: wasm::ValType::F32);
607 Params.push_back(Elt: wasm::ValType::I64);
608 break;
609 case f32_func_i16:
610 Rets.push_back(Elt: wasm::ValType::F32);
611 Params.push_back(Elt: wasm::ValType::I32);
612 break;
613 case f64_func_f32:
614 Rets.push_back(Elt: wasm::ValType::F64);
615 Params.push_back(Elt: wasm::ValType::F32);
616 break;
617 case f64_func_f64:
618 Rets.push_back(Elt: wasm::ValType::F64);
619 Params.push_back(Elt: wasm::ValType::F64);
620 break;
621 case f64_func_i32:
622 Rets.push_back(Elt: wasm::ValType::F64);
623 Params.push_back(Elt: wasm::ValType::I32);
624 break;
625 case f64_func_i64:
626 Rets.push_back(Elt: wasm::ValType::F64);
627 Params.push_back(Elt: wasm::ValType::I64);
628 break;
629 case i32_func_f32:
630 Rets.push_back(Elt: wasm::ValType::I32);
631 Params.push_back(Elt: wasm::ValType::F32);
632 break;
633 case i32_func_f64:
634 Rets.push_back(Elt: wasm::ValType::I32);
635 Params.push_back(Elt: wasm::ValType::F64);
636 break;
637 case i32_func_i32:
638 Rets.push_back(Elt: wasm::ValType::I32);
639 Params.push_back(Elt: wasm::ValType::I32);
640 break;
641 case i64_func_f32:
642 Rets.push_back(Elt: wasm::ValType::I64);
643 Params.push_back(Elt: wasm::ValType::F32);
644 break;
645 case i64_func_f64:
646 Rets.push_back(Elt: wasm::ValType::I64);
647 Params.push_back(Elt: wasm::ValType::F64);
648 break;
649 case i64_func_i64:
650 Rets.push_back(Elt: wasm::ValType::I64);
651 Params.push_back(Elt: wasm::ValType::I64);
652 break;
653 case f32_func_f32_f32:
654 Rets.push_back(Elt: wasm::ValType::F32);
655 Params.push_back(Elt: wasm::ValType::F32);
656 Params.push_back(Elt: wasm::ValType::F32);
657 break;
658 case f32_func_f32_i32:
659 Rets.push_back(Elt: wasm::ValType::F32);
660 Params.push_back(Elt: wasm::ValType::F32);
661 Params.push_back(Elt: wasm::ValType::I32);
662 break;
663 case f32_func_f32_iPTR:
664 Rets.push_back(Elt: wasm::ValType::F32);
665 Params.push_back(Elt: wasm::ValType::F32);
666 Params.push_back(Elt: PtrTy);
667 break;
668 case f32_func_i64_i64:
669 Rets.push_back(Elt: wasm::ValType::F32);
670 Params.push_back(Elt: wasm::ValType::I64);
671 Params.push_back(Elt: wasm::ValType::I64);
672 break;
673 case f64_func_f64_f64:
674 Rets.push_back(Elt: wasm::ValType::F64);
675 Params.push_back(Elt: wasm::ValType::F64);
676 Params.push_back(Elt: wasm::ValType::F64);
677 break;
678 case f64_func_f64_i32:
679 Rets.push_back(Elt: wasm::ValType::F64);
680 Params.push_back(Elt: wasm::ValType::F64);
681 Params.push_back(Elt: wasm::ValType::I32);
682 break;
683 case f64_func_i64_i64:
684 Rets.push_back(Elt: wasm::ValType::F64);
685 Params.push_back(Elt: wasm::ValType::I64);
686 Params.push_back(Elt: wasm::ValType::I64);
687 break;
688 case f64_func_f64_iPTR:
689 Rets.push_back(Elt: wasm::ValType::F64);
690 Params.push_back(Elt: wasm::ValType::F64);
691 Params.push_back(Elt: PtrTy);
692 break;
693 case i16_func_f32:
694 Rets.push_back(Elt: wasm::ValType::I32);
695 Params.push_back(Elt: wasm::ValType::F32);
696 break;
697 case i16_func_f64:
698 Rets.push_back(Elt: wasm::ValType::I32);
699 Params.push_back(Elt: wasm::ValType::F64);
700 break;
701 case i16_func_i64_i64:
702 Rets.push_back(Elt: wasm::ValType::I32);
703 Params.push_back(Elt: wasm::ValType::I64);
704 Params.push_back(Elt: wasm::ValType::I64);
705 break;
706 case i8_func_i8_i8:
707 Rets.push_back(Elt: wasm::ValType::I32);
708 Params.push_back(Elt: wasm::ValType::I32);
709 Params.push_back(Elt: wasm::ValType::I32);
710 break;
711 case func_f32_iPTR_iPTR:
712 Params.push_back(Elt: wasm::ValType::F32);
713 Params.push_back(Elt: PtrTy);
714 Params.push_back(Elt: PtrTy);
715 break;
716 case func_f64_iPTR_iPTR:
717 Params.push_back(Elt: wasm::ValType::F64);
718 Params.push_back(Elt: PtrTy);
719 Params.push_back(Elt: PtrTy);
720 break;
721 case i16_func_i16_i16:
722 Rets.push_back(Elt: wasm::ValType::I32);
723 Params.push_back(Elt: wasm::ValType::I32);
724 Params.push_back(Elt: wasm::ValType::I32);
725 break;
726 case i32_func_f32_f32:
727 Rets.push_back(Elt: wasm::ValType::I32);
728 Params.push_back(Elt: wasm::ValType::F32);
729 Params.push_back(Elt: wasm::ValType::F32);
730 break;
731 case i32_func_f64_f64:
732 Rets.push_back(Elt: wasm::ValType::I32);
733 Params.push_back(Elt: wasm::ValType::F64);
734 Params.push_back(Elt: wasm::ValType::F64);
735 break;
736 case i32_func_i32_i32:
737 Rets.push_back(Elt: wasm::ValType::I32);
738 Params.push_back(Elt: wasm::ValType::I32);
739 Params.push_back(Elt: wasm::ValType::I32);
740 break;
741 case i32_func_i32_i32_iPTR:
742 Rets.push_back(Elt: wasm::ValType::I32);
743 Params.push_back(Elt: wasm::ValType::I32);
744 Params.push_back(Elt: wasm::ValType::I32);
745 Params.push_back(Elt: PtrTy);
746 break;
747 case i64_func_i64_i64:
748 Rets.push_back(Elt: wasm::ValType::I64);
749 Params.push_back(Elt: wasm::ValType::I64);
750 Params.push_back(Elt: wasm::ValType::I64);
751 break;
752 case i64_func_i64_i64_iPTR:
753 Rets.push_back(Elt: wasm::ValType::I64);
754 Params.push_back(Elt: wasm::ValType::I64);
755 Params.push_back(Elt: wasm::ValType::I64);
756 Params.push_back(Elt: PtrTy);
757 break;
758 case i64_i64_func_f32:
759 if (WebAssembly::canLowerMultivalueReturn(Subtarget: &Subtarget)) {
760 Rets.push_back(Elt: wasm::ValType::I64);
761 Rets.push_back(Elt: wasm::ValType::I64);
762 } else {
763 Params.push_back(Elt: PtrTy);
764 }
765 Params.push_back(Elt: wasm::ValType::F32);
766 break;
767 case i64_i64_func_f64:
768 if (WebAssembly::canLowerMultivalueReturn(Subtarget: &Subtarget)) {
769 Rets.push_back(Elt: wasm::ValType::I64);
770 Rets.push_back(Elt: wasm::ValType::I64);
771 } else {
772 Params.push_back(Elt: PtrTy);
773 }
774 Params.push_back(Elt: wasm::ValType::F64);
775 break;
776 case i16_i16_func_i16_i16:
777 if (WebAssembly::canLowerMultivalueReturn(Subtarget: &Subtarget)) {
778 Rets.push_back(Elt: wasm::ValType::I32);
779 Rets.push_back(Elt: wasm::ValType::I32);
780 } else {
781 Params.push_back(Elt: PtrTy);
782 }
783 Params.push_back(Elt: wasm::ValType::I32);
784 Params.push_back(Elt: wasm::ValType::I32);
785 break;
786 case i32_i32_func_i32_i32:
787 if (WebAssembly::canLowerMultivalueReturn(Subtarget: &Subtarget)) {
788 Rets.push_back(Elt: wasm::ValType::I32);
789 Rets.push_back(Elt: wasm::ValType::I32);
790 } else {
791 Params.push_back(Elt: PtrTy);
792 }
793 Params.push_back(Elt: wasm::ValType::I32);
794 Params.push_back(Elt: wasm::ValType::I32);
795 break;
796 case i64_i64_func_i64_i64:
797 if (WebAssembly::canLowerMultivalueReturn(Subtarget: &Subtarget)) {
798 Rets.push_back(Elt: wasm::ValType::I64);
799 Rets.push_back(Elt: wasm::ValType::I64);
800 } else {
801 Params.push_back(Elt: PtrTy);
802 }
803 Params.push_back(Elt: wasm::ValType::I64);
804 Params.push_back(Elt: wasm::ValType::I64);
805 break;
806 case i64_i64_func_i64_i64_iPTR:
807 if (WebAssembly::canLowerMultivalueReturn(Subtarget: &Subtarget)) {
808 Rets.push_back(Elt: wasm::ValType::I64);
809 Rets.push_back(Elt: wasm::ValType::I64);
810 } else {
811 Params.push_back(Elt: PtrTy);
812 }
813 Params.push_back(Elt: wasm::ValType::I64);
814 Params.push_back(Elt: wasm::ValType::I64);
815 Params.push_back(Elt: PtrTy);
816 break;
817 case i64_i64_func_i64_i64_i64_i64:
818 if (WebAssembly::canLowerMultivalueReturn(Subtarget: &Subtarget)) {
819 Rets.push_back(Elt: wasm::ValType::I64);
820 Rets.push_back(Elt: wasm::ValType::I64);
821 } else {
822 Params.push_back(Elt: PtrTy);
823 }
824 Params.push_back(Elt: wasm::ValType::I64);
825 Params.push_back(Elt: wasm::ValType::I64);
826 Params.push_back(Elt: wasm::ValType::I64);
827 Params.push_back(Elt: wasm::ValType::I64);
828 break;
829 case i64_i64_func_i64_i64_i64_i64_iPTR:
830 if (WebAssembly::canLowerMultivalueReturn(Subtarget: &Subtarget)) {
831 Rets.push_back(Elt: wasm::ValType::I64);
832 Rets.push_back(Elt: wasm::ValType::I64);
833 } else {
834 Params.push_back(Elt: PtrTy);
835 }
836 Params.push_back(Elt: wasm::ValType::I64);
837 Params.push_back(Elt: wasm::ValType::I64);
838 Params.push_back(Elt: wasm::ValType::I64);
839 Params.push_back(Elt: wasm::ValType::I64);
840 Params.push_back(Elt: PtrTy);
841 break;
842 case i64_i64_i64_i64_func_i64_i64_i64_i64:
843 if (WebAssembly::canLowerMultivalueReturn(Subtarget: &Subtarget)) {
844 Rets.push_back(Elt: wasm::ValType::I64);
845 Rets.push_back(Elt: wasm::ValType::I64);
846 Rets.push_back(Elt: wasm::ValType::I64);
847 Rets.push_back(Elt: wasm::ValType::I64);
848 } else {
849 Params.push_back(Elt: PtrTy);
850 }
851 Params.push_back(Elt: wasm::ValType::I64);
852 Params.push_back(Elt: wasm::ValType::I64);
853 Params.push_back(Elt: wasm::ValType::I64);
854 Params.push_back(Elt: wasm::ValType::I64);
855 break;
856 case i64_i64_func_i64_i64_i32:
857 if (WebAssembly::canLowerMultivalueReturn(Subtarget: &Subtarget)) {
858 Rets.push_back(Elt: wasm::ValType::I64);
859 Rets.push_back(Elt: wasm::ValType::I64);
860 } else {
861 Params.push_back(Elt: PtrTy);
862 }
863 Params.push_back(Elt: wasm::ValType::I64);
864 Params.push_back(Elt: wasm::ValType::I64);
865 Params.push_back(Elt: wasm::ValType::I32);
866 break;
867 case iPTR_func_i32:
868 Rets.push_back(Elt: PtrTy);
869 Params.push_back(Elt: wasm::ValType::I32);
870 break;
871 case iPTR_func_iPTR_i32_iPTR:
872 Rets.push_back(Elt: PtrTy);
873 Params.push_back(Elt: PtrTy);
874 Params.push_back(Elt: wasm::ValType::I32);
875 Params.push_back(Elt: PtrTy);
876 break;
877 case iPTR_func_iPTR_iPTR_iPTR:
878 Rets.push_back(Elt: PtrTy);
879 Params.push_back(Elt: PtrTy);
880 Params.push_back(Elt: PtrTy);
881 Params.push_back(Elt: PtrTy);
882 break;
883 case f32_func_f32_f32_f32:
884 Rets.push_back(Elt: wasm::ValType::F32);
885 Params.push_back(Elt: wasm::ValType::F32);
886 Params.push_back(Elt: wasm::ValType::F32);
887 Params.push_back(Elt: wasm::ValType::F32);
888 break;
889 case f64_func_f64_f64_f64:
890 Rets.push_back(Elt: wasm::ValType::F64);
891 Params.push_back(Elt: wasm::ValType::F64);
892 Params.push_back(Elt: wasm::ValType::F64);
893 Params.push_back(Elt: wasm::ValType::F64);
894 break;
895 case func_i64_i64_iPTR_iPTR:
896 Params.push_back(Elt: wasm::ValType::I64);
897 Params.push_back(Elt: wasm::ValType::I64);
898 Params.push_back(Elt: PtrTy);
899 Params.push_back(Elt: PtrTy);
900 break;
901 case i32_func_i64_i64:
902 Rets.push_back(Elt: wasm::ValType::I32);
903 Params.push_back(Elt: wasm::ValType::I64);
904 Params.push_back(Elt: wasm::ValType::I64);
905 break;
906 case i32_func_i64_i64_i64_i64:
907 Rets.push_back(Elt: wasm::ValType::I32);
908 Params.push_back(Elt: wasm::ValType::I64);
909 Params.push_back(Elt: wasm::ValType::I64);
910 Params.push_back(Elt: wasm::ValType::I64);
911 Params.push_back(Elt: wasm::ValType::I64);
912 break;
913 case iPTR_func_f32:
914 Rets.push_back(Elt: PtrTy);
915 Params.push_back(Elt: wasm::ValType::F32);
916 break;
917 case iPTR_func_f64:
918 Rets.push_back(Elt: PtrTy);
919 Params.push_back(Elt: wasm::ValType::F64);
920 break;
921 case iPTR_func_i64_i64:
922 Rets.push_back(Elt: PtrTy);
923 Params.push_back(Elt: wasm::ValType::I64);
924 Params.push_back(Elt: wasm::ValType::I64);
925 break;
926 case i64_i64_func_i64_i64_i64_i64_i64_i64:
927 if (WebAssembly::canLowerMultivalueReturn(Subtarget: &Subtarget)) {
928 Rets.push_back(Elt: wasm::ValType::I64);
929 Rets.push_back(Elt: wasm::ValType::I64);
930 } else {
931 Params.push_back(Elt: PtrTy);
932 }
933 Params.push_back(Elt: wasm::ValType::I64);
934 Params.push_back(Elt: wasm::ValType::I64);
935 Params.push_back(Elt: wasm::ValType::I64);
936 Params.push_back(Elt: wasm::ValType::I64);
937 Params.push_back(Elt: wasm::ValType::I64);
938 Params.push_back(Elt: wasm::ValType::I64);
939 break;
940 case i64_i64_func_i32:
941 if (WebAssembly::canLowerMultivalueReturn(Subtarget: &Subtarget)) {
942 Rets.push_back(Elt: wasm::ValType::I64);
943 Rets.push_back(Elt: wasm::ValType::I64);
944 } else {
945 Params.push_back(Elt: PtrTy);
946 }
947 Params.push_back(Elt: wasm::ValType::I32);
948 break;
949 case i64_i64_func_i64:
950 if (WebAssembly::canLowerMultivalueReturn(Subtarget: &Subtarget)) {
951 Rets.push_back(Elt: wasm::ValType::I64);
952 Rets.push_back(Elt: wasm::ValType::I64);
953 } else {
954 Params.push_back(Elt: PtrTy);
955 }
956 Params.push_back(Elt: wasm::ValType::I64);
957 break;
958 case unsupported:
959 llvm_unreachable("unsupported runtime library signature");
960 }
961}
962
963// TODO: If the RTLIB::Libcall-taking flavor of GetSignature remains unused
964// other than here, just roll its logic into this version.
965void WebAssembly::getLibcallSignature(const WebAssemblySubtarget &Subtarget,
966 StringRef Name,
967 SmallVectorImpl<wasm::ValType> &Rets,
968 SmallVectorImpl<wasm::ValType> &Params) {
969 static StaticLibcallNameMap LibcallNameMap(Subtarget.getTargetTriple());
970 auto &Map = LibcallNameMap.Map;
971 auto Val = Map.find(Key: Name);
972#ifndef NDEBUG
973 if (Val == Map.end()) {
974 auto Message =
975 std::string("unexpected runtime library name: ") + std::string(Name);
976 llvm_unreachable(Message.c_str());
977 }
978#endif
979 return getLibcallSignature(Subtarget, LC: Val->second, Rets, Params);
980}
981