blob: 6cf81a9d77b31909c4ae39feb25dd9fa3b720ad4 [file] [log] [blame]
Dan Gohman38b42b42017-02-22 18:34:16 +00001// CodeGen/RuntimeLibcallSignatures.cpp - R.T. Lib. Call Signatures -*- C++ -*--
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9///
10/// \file
Adrian Prantl5f8f34e42018-05-01 15:54:18 +000011/// This file contains signature information for runtime libcalls.
Dan Gohman38b42b42017-02-22 18:34:16 +000012///
13/// CodeGen uses external symbols, which it refers to by name. The WebAssembly
14/// target needs type information for all functions. This file contains a big
15/// table providing type signatures for all runtime library functions that LLVM
16/// uses.
17///
18/// This is currently a fairly heavy-handed solution.
19///
20//===----------------------------------------------------------------------===//
21
22#include "WebAssemblyRuntimeLibcallSignatures.h"
23#include "WebAssemblySubtarget.h"
24#include "llvm/CodeGen/RuntimeLibcalls.h"
Derek Schuff53b38552018-01-18 01:15:45 +000025#include "llvm/Support/ManagedStatic.h"
Dan Gohman38b42b42017-02-22 18:34:16 +000026
27using namespace llvm;
28
29namespace {
30
31enum RuntimeLibcallSignature {
32 func,
33 f32_func_f32,
34 f32_func_f64,
35 f32_func_i32,
36 f32_func_i64,
37 f32_func_i16,
38 f64_func_f32,
39 f64_func_f64,
40 f64_func_i32,
41 f64_func_i64,
42 i32_func_f32,
43 i32_func_f64,
44 i32_func_i32,
45 i64_func_f32,
46 i64_func_f64,
47 i64_func_i64,
48 f32_func_f32_f32,
49 f32_func_f32_i32,
50 f32_func_i64_i64,
51 f64_func_f64_f64,
52 f64_func_f64_i32,
53 f64_func_i64_i64,
54 i16_func_f32,
55 i8_func_i8_i8,
56 func_f32_iPTR_iPTR,
57 func_f64_iPTR_iPTR,
58 i16_func_i16_i16,
59 i32_func_f32_f32,
60 i32_func_f64_f64,
61 i32_func_i32_i32,
Dan Gohmanb17de642018-05-31 22:27:24 +000062 i32_func_i32_i32_iPTR,
Dan Gohman38b42b42017-02-22 18:34:16 +000063 i64_func_i64_i64,
Dan Gohmanb17de642018-05-31 22:27:24 +000064 i64_func_i64_i64_iPTR,
Dan Gohman38b42b42017-02-22 18:34:16 +000065 i64_i64_func_f32,
66 i64_i64_func_f64,
67 i16_i16_func_i16_i16,
68 i32_i32_func_i32_i32,
69 i64_i64_func_i64_i64,
70 i64_i64_func_i64_i64_i64_i64,
Dan Gohmanb17de642018-05-31 22:27:24 +000071 i64_i64_func_i64_i64_i64_i64_iPTR,
Dan Gohman38b42b42017-02-22 18:34:16 +000072 i64_i64_i64_i64_func_i64_i64_i64_i64,
73 i64_i64_func_i64_i64_i32,
74 iPTR_func_iPTR_i32_iPTR,
75 iPTR_func_iPTR_iPTR_iPTR,
76 f32_func_f32_f32_f32,
77 f64_func_f64_f64_f64,
78 func_i64_i64_iPTR_iPTR,
79 func_iPTR_f32,
80 func_iPTR_f64,
81 func_iPTR_i32,
82 func_iPTR_i64,
83 func_iPTR_i64_i64,
84 func_iPTR_i64_i64_i64_i64,
85 func_iPTR_i64_i64_i64_i64_i64_i64,
86 i32_func_i64_i64,
87 i32_func_i64_i64_i64_i64,
88 unsupported
89};
90
Derek Schuff53b38552018-01-18 01:15:45 +000091struct RuntimeLibcallSignatureTable {
92 std::vector<RuntimeLibcallSignature> Table;
93
94 // Any newly-added libcalls will be unsupported by default.
95 RuntimeLibcallSignatureTable() : Table(RTLIB::UNKNOWN_LIBCALL, unsupported) {
96 // Integer
97 Table[RTLIB::SHL_I16] = i16_func_i16_i16;
98 Table[RTLIB::SHL_I32] = i32_func_i32_i32;
99 Table[RTLIB::SHL_I64] = i64_func_i64_i64;
100 Table[RTLIB::SHL_I128] = i64_i64_func_i64_i64_i32;
101 Table[RTLIB::SRL_I16] = i16_func_i16_i16;
102 Table[RTLIB::SRL_I32] = i32_func_i32_i32;
103 Table[RTLIB::SRL_I64] = i64_func_i64_i64;
104 Table[RTLIB::SRL_I128] = i64_i64_func_i64_i64_i32;
105 Table[RTLIB::SRA_I16] = i16_func_i16_i16;
106 Table[RTLIB::SRA_I32] = i32_func_i32_i32;
107 Table[RTLIB::SRA_I64] = i64_func_i64_i64;
108 Table[RTLIB::SRA_I128] = i64_i64_func_i64_i64_i32;
109 Table[RTLIB::MUL_I8] = i8_func_i8_i8;
110 Table[RTLIB::MUL_I16] = i16_func_i16_i16;
111 Table[RTLIB::MUL_I32] = i32_func_i32_i32;
112 Table[RTLIB::MUL_I64] = i64_func_i64_i64;
113 Table[RTLIB::MUL_I128] = i64_i64_func_i64_i64_i64_i64;
Dan Gohmanb17de642018-05-31 22:27:24 +0000114 Table[RTLIB::MULO_I32] = i32_func_i32_i32_iPTR;
115 Table[RTLIB::MULO_I64] = i64_func_i64_i64_iPTR;
116 Table[RTLIB::MULO_I128] = i64_i64_func_i64_i64_i64_i64_iPTR;
Derek Schuff53b38552018-01-18 01:15:45 +0000117 Table[RTLIB::SDIV_I8] = i8_func_i8_i8;
118 Table[RTLIB::SDIV_I16] = i16_func_i16_i16;
119 Table[RTLIB::SDIV_I32] = i32_func_i32_i32;
120 Table[RTLIB::SDIV_I64] = i64_func_i64_i64;
121 Table[RTLIB::SDIV_I128] = i64_i64_func_i64_i64_i64_i64;
122 Table[RTLIB::UDIV_I8] = i8_func_i8_i8;
123 Table[RTLIB::UDIV_I16] = i16_func_i16_i16;
124 Table[RTLIB::UDIV_I32] = i32_func_i32_i32;
125 Table[RTLIB::UDIV_I64] = i64_func_i64_i64;
126 Table[RTLIB::UDIV_I128] = i64_i64_func_i64_i64_i64_i64;
127 Table[RTLIB::SREM_I8] = i8_func_i8_i8;
128 Table[RTLIB::SREM_I16] = i16_func_i16_i16;
129 Table[RTLIB::SREM_I32] = i32_func_i32_i32;
130 Table[RTLIB::SREM_I64] = i64_func_i64_i64;
131 Table[RTLIB::SREM_I128] = i64_i64_func_i64_i64_i64_i64;
132 Table[RTLIB::UREM_I8] = i8_func_i8_i8;
133 Table[RTLIB::UREM_I16] = i16_func_i16_i16;
134 Table[RTLIB::UREM_I32] = i32_func_i32_i32;
135 Table[RTLIB::UREM_I64] = i64_func_i64_i64;
136 Table[RTLIB::UREM_I128] = i64_i64_func_i64_i64_i64_i64;
137 Table[RTLIB::SDIVREM_I8] = i8_func_i8_i8;
138 Table[RTLIB::SDIVREM_I16] = i16_i16_func_i16_i16;
139 Table[RTLIB::SDIVREM_I32] = i32_i32_func_i32_i32;
140 Table[RTLIB::SDIVREM_I64] = i64_func_i64_i64;
141 Table[RTLIB::SDIVREM_I128] = i64_i64_i64_i64_func_i64_i64_i64_i64;
142 Table[RTLIB::UDIVREM_I8] = i8_func_i8_i8;
143 Table[RTLIB::UDIVREM_I16] = i16_i16_func_i16_i16;
144 Table[RTLIB::UDIVREM_I32] = i32_i32_func_i32_i32;
145 Table[RTLIB::UDIVREM_I64] = i64_i64_func_i64_i64;
146 Table[RTLIB::UDIVREM_I128] = i64_i64_i64_i64_func_i64_i64_i64_i64;
147 Table[RTLIB::NEG_I32] = i32_func_i32;
148 Table[RTLIB::NEG_I64] = i64_func_i64;
149
150 // Floating-point.
151 // All F80 and PPCF128 routines are unsupported.
152 Table[RTLIB::ADD_F32] = f32_func_f32_f32;
153 Table[RTLIB::ADD_F64] = f64_func_f64_f64;
154 Table[RTLIB::ADD_F128] = func_iPTR_i64_i64_i64_i64;
155 Table[RTLIB::SUB_F32] = f32_func_f32_f32;
156 Table[RTLIB::SUB_F64] = f64_func_f64_f64;
157 Table[RTLIB::SUB_F128] = func_iPTR_i64_i64_i64_i64;
158 Table[RTLIB::MUL_F32] = f32_func_f32_f32;
159 Table[RTLIB::MUL_F64] = f64_func_f64_f64;
160 Table[RTLIB::MUL_F128] = func_iPTR_i64_i64_i64_i64;
161 Table[RTLIB::DIV_F32] = f32_func_f32_f32;
162 Table[RTLIB::DIV_F64] = f64_func_f64_f64;
163 Table[RTLIB::DIV_F128] = func_iPTR_i64_i64_i64_i64;
164 Table[RTLIB::REM_F32] = f32_func_f32_f32;
165 Table[RTLIB::REM_F64] = f64_func_f64_f64;
166 Table[RTLIB::REM_F128] = func_iPTR_i64_i64_i64_i64;
167 Table[RTLIB::FMA_F32] = f32_func_f32_f32_f32;
168 Table[RTLIB::FMA_F64] = f64_func_f64_f64_f64;
169 Table[RTLIB::FMA_F128] = func_iPTR_i64_i64_i64_i64_i64_i64;
170 Table[RTLIB::POWI_F32] = f32_func_f32_i32;
171 Table[RTLIB::POWI_F64] = f64_func_f64_i32;
172 Table[RTLIB::POWI_F128] = func_iPTR_i64_i64_i64_i64;
173 Table[RTLIB::SQRT_F32] = f32_func_f32;
174 Table[RTLIB::SQRT_F64] = f64_func_f64;
175 Table[RTLIB::SQRT_F128] = func_iPTR_i64_i64;
176 Table[RTLIB::LOG_F32] = f32_func_f32;
177 Table[RTLIB::LOG_F64] = f64_func_f64;
178 Table[RTLIB::LOG_F128] = func_iPTR_i64_i64;
179 Table[RTLIB::LOG2_F32] = f32_func_f32;
180 Table[RTLIB::LOG2_F64] = f64_func_f64;
181 Table[RTLIB::LOG2_F128] = func_iPTR_i64_i64;
182 Table[RTLIB::LOG10_F32] = f32_func_f32;
183 Table[RTLIB::LOG10_F64] = f64_func_f64;
184 Table[RTLIB::LOG10_F128] = func_iPTR_i64_i64;
185 Table[RTLIB::EXP_F32] = f32_func_f32;
186 Table[RTLIB::EXP_F64] = f64_func_f64;
187 Table[RTLIB::EXP_F128] = func_iPTR_i64_i64;
188 Table[RTLIB::EXP2_F32] = f32_func_f32;
189 Table[RTLIB::EXP2_F64] = f64_func_f64;
190 Table[RTLIB::EXP2_F128] = func_iPTR_i64_i64;
191 Table[RTLIB::SIN_F32] = f32_func_f32;
192 Table[RTLIB::SIN_F64] = f64_func_f64;
193 Table[RTLIB::SIN_F128] = func_iPTR_i64_i64;
194 Table[RTLIB::COS_F32] = f32_func_f32;
195 Table[RTLIB::COS_F64] = f64_func_f64;
196 Table[RTLIB::COS_F128] = func_iPTR_i64_i64;
197 Table[RTLIB::SINCOS_F32] = func_f32_iPTR_iPTR;
198 Table[RTLIB::SINCOS_F64] = func_f64_iPTR_iPTR;
199 Table[RTLIB::SINCOS_F128] = func_i64_i64_iPTR_iPTR;
200 Table[RTLIB::POW_F32] = f32_func_f32_f32;
201 Table[RTLIB::POW_F64] = f64_func_f64_f64;
202 Table[RTLIB::POW_F128] = func_iPTR_i64_i64_i64_i64;
203 Table[RTLIB::CEIL_F32] = f32_func_f32;
204 Table[RTLIB::CEIL_F64] = f64_func_f64;
205 Table[RTLIB::CEIL_F128] = func_iPTR_i64_i64;
206 Table[RTLIB::TRUNC_F32] = f32_func_f32;
207 Table[RTLIB::TRUNC_F64] = f64_func_f64;
208 Table[RTLIB::TRUNC_F128] = func_iPTR_i64_i64;
209 Table[RTLIB::RINT_F32] = f32_func_f32;
210 Table[RTLIB::RINT_F64] = f64_func_f64;
211 Table[RTLIB::RINT_F128] = func_iPTR_i64_i64;
212 Table[RTLIB::NEARBYINT_F32] = f32_func_f32;
213 Table[RTLIB::NEARBYINT_F64] = f64_func_f64;
214 Table[RTLIB::NEARBYINT_F128] = func_iPTR_i64_i64;
215 Table[RTLIB::ROUND_F32] = f32_func_f32;
216 Table[RTLIB::ROUND_F64] = f64_func_f64;
217 Table[RTLIB::ROUND_F128] = func_iPTR_i64_i64;
218 Table[RTLIB::FLOOR_F32] = f32_func_f32;
219 Table[RTLIB::FLOOR_F64] = f64_func_f64;
220 Table[RTLIB::FLOOR_F128] = func_iPTR_i64_i64;
221 Table[RTLIB::COPYSIGN_F32] = f32_func_f32_f32;
222 Table[RTLIB::COPYSIGN_F64] = f64_func_f64_f64;
223 Table[RTLIB::COPYSIGN_F128] = func_iPTR_i64_i64_i64_i64;
224 Table[RTLIB::FMIN_F32] = f32_func_f32_f32;
225 Table[RTLIB::FMIN_F64] = f64_func_f64_f64;
226 Table[RTLIB::FMIN_F128] = func_iPTR_i64_i64_i64_i64;
227 Table[RTLIB::FMAX_F32] = f32_func_f32_f32;
228 Table[RTLIB::FMAX_F64] = f64_func_f64_f64;
229 Table[RTLIB::FMAX_F128] = func_iPTR_i64_i64_i64_i64;
230
231 // Conversion
232 // All F80 and PPCF128 routines are unspported.
233 Table[RTLIB::FPEXT_F64_F128] = func_iPTR_f64;
234 Table[RTLIB::FPEXT_F32_F128] = func_iPTR_f32;
235 Table[RTLIB::FPEXT_F32_F64] = f64_func_f32;
236 Table[RTLIB::FPEXT_F16_F32] = f32_func_i16;
237 Table[RTLIB::FPROUND_F32_F16] = i16_func_f32;
238 Table[RTLIB::FPROUND_F64_F32] = f32_func_f64;
239 Table[RTLIB::FPROUND_F128_F32] = f32_func_i64_i64;
240 Table[RTLIB::FPROUND_F128_F64] = f64_func_i64_i64;
241 Table[RTLIB::FPTOSINT_F32_I32] = i32_func_f32;
242 Table[RTLIB::FPTOSINT_F32_I64] = i64_func_f32;
243 Table[RTLIB::FPTOSINT_F32_I128] = i64_i64_func_f32;
244 Table[RTLIB::FPTOSINT_F64_I32] = i32_func_f64;
245 Table[RTLIB::FPTOSINT_F64_I64] = i64_func_f64;
246 Table[RTLIB::FPTOSINT_F64_I128] = i64_i64_func_f64;
247 Table[RTLIB::FPTOSINT_F128_I32] = i32_func_i64_i64;
248 Table[RTLIB::FPTOSINT_F128_I64] = i64_func_i64_i64;
249 Table[RTLIB::FPTOSINT_F128_I128] = i64_i64_func_i64_i64;
250 Table[RTLIB::FPTOUINT_F32_I32] = i32_func_f32;
251 Table[RTLIB::FPTOUINT_F32_I64] = i64_func_f32;
252 Table[RTLIB::FPTOUINT_F32_I128] = i64_i64_func_f32;
253 Table[RTLIB::FPTOUINT_F64_I32] = i32_func_f64;
254 Table[RTLIB::FPTOUINT_F64_I64] = i64_func_f64;
255 Table[RTLIB::FPTOUINT_F64_I128] = i64_i64_func_f64;
256 Table[RTLIB::FPTOUINT_F128_I32] = i32_func_i64_i64;
257 Table[RTLIB::FPTOUINT_F128_I64] = i64_func_i64_i64;
258 Table[RTLIB::FPTOUINT_F128_I128] = i64_i64_func_i64_i64;
259 Table[RTLIB::SINTTOFP_I32_F32] = f32_func_i32;
260 Table[RTLIB::SINTTOFP_I32_F64] = f64_func_i32;
261 Table[RTLIB::SINTTOFP_I32_F128] = func_iPTR_i32;
262 Table[RTLIB::SINTTOFP_I64_F32] = f32_func_i64;
263 Table[RTLIB::SINTTOFP_I64_F64] = f64_func_i64;
264 Table[RTLIB::SINTTOFP_I64_F128] = func_iPTR_i64;
265 Table[RTLIB::SINTTOFP_I128_F32] = f32_func_i64_i64;
266 Table[RTLIB::SINTTOFP_I128_F64] = f64_func_i64_i64;
267 Table[RTLIB::SINTTOFP_I128_F128] = func_iPTR_i64_i64;
268 Table[RTLIB::UINTTOFP_I32_F32] = f32_func_i32;
269 Table[RTLIB::UINTTOFP_I32_F64] = f64_func_i64;
270 Table[RTLIB::UINTTOFP_I32_F128] = func_iPTR_i32;
271 Table[RTLIB::UINTTOFP_I64_F32] = f32_func_i64;
272 Table[RTLIB::UINTTOFP_I64_F64] = f64_func_i64;
273 Table[RTLIB::UINTTOFP_I64_F128] = func_iPTR_i64;
274 Table[RTLIB::UINTTOFP_I128_F32] = f32_func_i64_i64;
275 Table[RTLIB::UINTTOFP_I128_F64] = f64_func_i64_i64;
276 Table[RTLIB::UINTTOFP_I128_F128] = func_iPTR_i64_i64;
277
278 // Comparison
279 // ALl F80 and PPCF128 routines are unsupported.
280 Table[RTLIB::OEQ_F32] = i32_func_f32_f32;
281 Table[RTLIB::OEQ_F64] = i32_func_f64_f64;
282 Table[RTLIB::OEQ_F128] = i32_func_i64_i64_i64_i64;
283 Table[RTLIB::UNE_F32] = i32_func_f32_f32;
284 Table[RTLIB::UNE_F64] = i32_func_f64_f64;
285 Table[RTLIB::UNE_F128] = i32_func_i64_i64_i64_i64;
286 Table[RTLIB::OGE_F32] = i32_func_f32_f32;
287 Table[RTLIB::OGE_F64] = i32_func_f64_f64;
288 Table[RTLIB::OGE_F128] = i32_func_i64_i64_i64_i64;
289 Table[RTLIB::OLT_F32] = i32_func_f32_f32;
290 Table[RTLIB::OLT_F64] = i32_func_f64_f64;
291 Table[RTLIB::OLT_F128] = i32_func_i64_i64_i64_i64;
292 Table[RTLIB::OLE_F32] = i32_func_f32_f32;
293 Table[RTLIB::OLE_F64] = i32_func_f64_f64;
294 Table[RTLIB::OLE_F128] = i32_func_i64_i64_i64_i64;
295 Table[RTLIB::OGT_F32] = i32_func_f32_f32;
296 Table[RTLIB::OGT_F64] = i32_func_f64_f64;
297 Table[RTLIB::OGT_F128] = i32_func_i64_i64_i64_i64;
298 Table[RTLIB::UO_F32] = i32_func_f32_f32;
299 Table[RTLIB::UO_F64] = i32_func_f64_f64;
300 Table[RTLIB::UO_F128] = i32_func_i64_i64_i64_i64;
Derek Schuffbfb02ae2018-01-19 17:45:54 +0000301 // O_FXX has the weird property that it uses the same libcall name as UO_FXX
302 // This breaks our name-based lookup. Fortunately only the UO family of
303 // libcalls appears to be actually used.
304 Table[RTLIB::O_F32] = unsupported;
305 Table[RTLIB::O_F64] = unsupported;
306 Table[RTLIB::O_F128] = unsupported;
Derek Schuff53b38552018-01-18 01:15:45 +0000307
308 // Memory
309 Table[RTLIB::MEMCPY] = iPTR_func_iPTR_iPTR_iPTR;
310 Table[RTLIB::MEMSET] = iPTR_func_iPTR_i32_iPTR;
311 Table[RTLIB::MEMMOVE] = iPTR_func_iPTR_iPTR_iPTR;
312
313 // Element-wise Atomic memory
314 // TODO: Fix these when we implement atomic support
315 Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_1] = unsupported;
316 Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_2] = unsupported;
317 Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_4] = unsupported;
318 Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_8] = unsupported;
319 Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_16] = unsupported;
320 Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_1] = unsupported;
321 Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_2] = unsupported;
322 Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_4] = unsupported;
323 Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_8] = unsupported;
324 Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_16] = unsupported;
325
326 Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_1] = unsupported;
327 Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_2] = unsupported;
328 Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_4] = unsupported;
329 Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_8] = unsupported;
330 Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_16] = unsupported;
331
332 // Atomic '__sync_*' libcalls.
333 // TODO: Fix these when we implement atomic support
334 Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_1] = unsupported;
335 Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_2] = unsupported;
336 Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_4] = unsupported;
337 Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_8] = unsupported;
338 Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_16] = unsupported;
339 Table[RTLIB::SYNC_LOCK_TEST_AND_SET_1] = unsupported;
340 Table[RTLIB::SYNC_LOCK_TEST_AND_SET_2] = unsupported;
341 Table[RTLIB::SYNC_LOCK_TEST_AND_SET_4] = unsupported;
342 Table[RTLIB::SYNC_LOCK_TEST_AND_SET_8] = unsupported;
343 Table[RTLIB::SYNC_LOCK_TEST_AND_SET_16] = unsupported;
344 Table[RTLIB::SYNC_FETCH_AND_ADD_1] = unsupported;
345 Table[RTLIB::SYNC_FETCH_AND_ADD_2] = unsupported;
346 Table[RTLIB::SYNC_FETCH_AND_ADD_4] = unsupported;
347 Table[RTLIB::SYNC_FETCH_AND_ADD_8] = unsupported;
348 Table[RTLIB::SYNC_FETCH_AND_ADD_16] = unsupported;
349 Table[RTLIB::SYNC_FETCH_AND_SUB_1] = unsupported;
350 Table[RTLIB::SYNC_FETCH_AND_SUB_2] = unsupported;
351 Table[RTLIB::SYNC_FETCH_AND_SUB_4] = unsupported;
352 Table[RTLIB::SYNC_FETCH_AND_SUB_8] = unsupported;
353 Table[RTLIB::SYNC_FETCH_AND_SUB_16] = unsupported;
354 Table[RTLIB::SYNC_FETCH_AND_AND_1] = unsupported;
355 Table[RTLIB::SYNC_FETCH_AND_AND_2] = unsupported;
356 Table[RTLIB::SYNC_FETCH_AND_AND_4] = unsupported;
357 Table[RTLIB::SYNC_FETCH_AND_AND_8] = unsupported;
358 Table[RTLIB::SYNC_FETCH_AND_AND_16] = unsupported;
359 Table[RTLIB::SYNC_FETCH_AND_OR_1] = unsupported;
360 Table[RTLIB::SYNC_FETCH_AND_OR_2] = unsupported;
361 Table[RTLIB::SYNC_FETCH_AND_OR_4] = unsupported;
362 Table[RTLIB::SYNC_FETCH_AND_OR_8] = unsupported;
363 Table[RTLIB::SYNC_FETCH_AND_OR_16] = unsupported;
364 Table[RTLIB::SYNC_FETCH_AND_XOR_1] = unsupported;
365 Table[RTLIB::SYNC_FETCH_AND_XOR_2] = unsupported;
366 Table[RTLIB::SYNC_FETCH_AND_XOR_4] = unsupported;
367 Table[RTLIB::SYNC_FETCH_AND_XOR_8] = unsupported;
368 Table[RTLIB::SYNC_FETCH_AND_XOR_16] = unsupported;
369 Table[RTLIB::SYNC_FETCH_AND_NAND_1] = unsupported;
370 Table[RTLIB::SYNC_FETCH_AND_NAND_2] = unsupported;
371 Table[RTLIB::SYNC_FETCH_AND_NAND_4] = unsupported;
372 Table[RTLIB::SYNC_FETCH_AND_NAND_8] = unsupported;
373 Table[RTLIB::SYNC_FETCH_AND_NAND_16] = unsupported;
374 Table[RTLIB::SYNC_FETCH_AND_MAX_1] = unsupported;
375 Table[RTLIB::SYNC_FETCH_AND_MAX_2] = unsupported;
376 Table[RTLIB::SYNC_FETCH_AND_MAX_4] = unsupported;
377 Table[RTLIB::SYNC_FETCH_AND_MAX_8] = unsupported;
378 Table[RTLIB::SYNC_FETCH_AND_MAX_16] = unsupported;
379 Table[RTLIB::SYNC_FETCH_AND_UMAX_1] = unsupported;
380 Table[RTLIB::SYNC_FETCH_AND_UMAX_2] = unsupported;
381 Table[RTLIB::SYNC_FETCH_AND_UMAX_4] = unsupported;
382 Table[RTLIB::SYNC_FETCH_AND_UMAX_8] = unsupported;
383 Table[RTLIB::SYNC_FETCH_AND_UMAX_16] = unsupported;
384 Table[RTLIB::SYNC_FETCH_AND_MIN_1] = unsupported;
385 Table[RTLIB::SYNC_FETCH_AND_MIN_2] = unsupported;
386 Table[RTLIB::SYNC_FETCH_AND_MIN_4] = unsupported;
387 Table[RTLIB::SYNC_FETCH_AND_MIN_8] = unsupported;
388 Table[RTLIB::SYNC_FETCH_AND_MIN_16] = unsupported;
389 Table[RTLIB::SYNC_FETCH_AND_UMIN_1] = unsupported;
390 Table[RTLIB::SYNC_FETCH_AND_UMIN_2] = unsupported;
391 Table[RTLIB::SYNC_FETCH_AND_UMIN_4] = unsupported;
392 Table[RTLIB::SYNC_FETCH_AND_UMIN_8] = unsupported;
393 Table[RTLIB::SYNC_FETCH_AND_UMIN_16] = unsupported;
394
395 // Atomic '__atomic_*' libcalls.
396 // TODO: Fix these when we implement atomic support
397 Table[RTLIB::ATOMIC_LOAD] = unsupported;
398 Table[RTLIB::ATOMIC_LOAD_1] = unsupported;
399 Table[RTLIB::ATOMIC_LOAD_2] = unsupported;
400 Table[RTLIB::ATOMIC_LOAD_4] = unsupported;
401 Table[RTLIB::ATOMIC_LOAD_8] = unsupported;
402 Table[RTLIB::ATOMIC_LOAD_16] = unsupported;
403
404 Table[RTLIB::ATOMIC_STORE] = unsupported;
405 Table[RTLIB::ATOMIC_STORE_1] = unsupported;
406 Table[RTLIB::ATOMIC_STORE_2] = unsupported;
407 Table[RTLIB::ATOMIC_STORE_4] = unsupported;
408 Table[RTLIB::ATOMIC_STORE_8] = unsupported;
409 Table[RTLIB::ATOMIC_STORE_16] = unsupported;
410
411 Table[RTLIB::ATOMIC_EXCHANGE] = unsupported;
412 Table[RTLIB::ATOMIC_EXCHANGE_1] = unsupported;
413 Table[RTLIB::ATOMIC_EXCHANGE_2] = unsupported;
414 Table[RTLIB::ATOMIC_EXCHANGE_4] = unsupported;
415 Table[RTLIB::ATOMIC_EXCHANGE_8] = unsupported;
416 Table[RTLIB::ATOMIC_EXCHANGE_16] = unsupported;
417
418 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE] = unsupported;
419 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_1] = unsupported;
420 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_2] = unsupported;
421 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_4] = unsupported;
422 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_8] = unsupported;
423 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_16] = unsupported;
424
425 Table[RTLIB::ATOMIC_FETCH_ADD_1] = unsupported;
426 Table[RTLIB::ATOMIC_FETCH_ADD_2] = unsupported;
427 Table[RTLIB::ATOMIC_FETCH_ADD_4] = unsupported;
428 Table[RTLIB::ATOMIC_FETCH_ADD_8] = unsupported;
429 Table[RTLIB::ATOMIC_FETCH_ADD_16] = unsupported;
430
431 Table[RTLIB::ATOMIC_FETCH_SUB_1] = unsupported;
432 Table[RTLIB::ATOMIC_FETCH_SUB_2] = unsupported;
433 Table[RTLIB::ATOMIC_FETCH_SUB_4] = unsupported;
434 Table[RTLIB::ATOMIC_FETCH_SUB_8] = unsupported;
435 Table[RTLIB::ATOMIC_FETCH_SUB_16] = unsupported;
436
437 Table[RTLIB::ATOMIC_FETCH_AND_1] = unsupported;
438 Table[RTLIB::ATOMIC_FETCH_AND_2] = unsupported;
439 Table[RTLIB::ATOMIC_FETCH_AND_4] = unsupported;
440 Table[RTLIB::ATOMIC_FETCH_AND_8] = unsupported;
441 Table[RTLIB::ATOMIC_FETCH_AND_16] = unsupported;
442
443 Table[RTLIB::ATOMIC_FETCH_OR_1] = unsupported;
444 Table[RTLIB::ATOMIC_FETCH_OR_2] = unsupported;
445 Table[RTLIB::ATOMIC_FETCH_OR_4] = unsupported;
446 Table[RTLIB::ATOMIC_FETCH_OR_8] = unsupported;
447 Table[RTLIB::ATOMIC_FETCH_OR_16] = unsupported;
448
449 Table[RTLIB::ATOMIC_FETCH_XOR_1] = unsupported;
450 Table[RTLIB::ATOMIC_FETCH_XOR_2] = unsupported;
451 Table[RTLIB::ATOMIC_FETCH_XOR_4] = unsupported;
452 Table[RTLIB::ATOMIC_FETCH_XOR_8] = unsupported;
453 Table[RTLIB::ATOMIC_FETCH_XOR_16] = unsupported;
454
455 Table[RTLIB::ATOMIC_FETCH_NAND_1] = unsupported;
456 Table[RTLIB::ATOMIC_FETCH_NAND_2] = unsupported;
457 Table[RTLIB::ATOMIC_FETCH_NAND_4] = unsupported;
458 Table[RTLIB::ATOMIC_FETCH_NAND_8] = unsupported;
459 Table[RTLIB::ATOMIC_FETCH_NAND_16] = unsupported;
460 }
461};
462
Derek Schuffbfb02ae2018-01-19 17:45:54 +0000463ManagedStatic<RuntimeLibcallSignatureTable> RuntimeLibcallSignatures;
Derek Schuff53b38552018-01-18 01:15:45 +0000464
465// Maps libcall names to their RTLIB::Libcall number. Builds the map in a
466// constructor for use with ManagedStatic
467struct StaticLibcallNameMap {
468 StringMap<RTLIB::Libcall> Map;
469 StaticLibcallNameMap() {
Benjamin Kramerb84e1582018-02-26 11:07:25 +0000470 static const std::pair<const char *, RTLIB::Libcall> NameLibcalls[] = {
Benjamin Kramerae87f862018-02-23 20:13:03 +0000471#define HANDLE_LIBCALL(code, name) {(const char *)name, RTLIB::code},
Peter Collingbournee06bac42018-07-24 19:34:37 +0000472#include "llvm/IR/RuntimeLibcalls.def"
Derek Schuff53b38552018-01-18 01:15:45 +0000473#undef HANDLE_LIBCALL
Benjamin Kramerae87f862018-02-23 20:13:03 +0000474 };
475 for (const auto &NameLibcall : NameLibcalls) {
476 if (NameLibcall.first != nullptr &&
477 RuntimeLibcallSignatures->Table[NameLibcall.second] != unsupported) {
478 assert(Map.find(NameLibcall.first) == Map.end() &&
479 "duplicate libcall names in name map");
480 Map[NameLibcall.first] = NameLibcall.second;
481 }
482 }
Derek Schuff53b38552018-01-18 01:15:45 +0000483 }
484};
485
Dan Gohman38b42b42017-02-22 18:34:16 +0000486} // end anonymous namespace
487
Derek Schuff70ce1af2018-09-27 22:20:33 +0000488void llvm::GetLibcallSignature(const WebAssemblySubtarget &Subtarget,
489 RTLIB::Libcall LC,
490 SmallVectorImpl<wasm::ValType> &Rets,
491 SmallVectorImpl<wasm::ValType> &Params) {
Dan Gohman38b42b42017-02-22 18:34:16 +0000492 assert(Rets.empty());
493 assert(Params.empty());
494
Sam Cleggbd1716a2018-03-02 21:33:14 +0000495 wasm::ValType iPTR =
496 Subtarget.hasAddr64() ? wasm::ValType::I64 : wasm::ValType::I32;
Dan Gohman38b42b42017-02-22 18:34:16 +0000497
Heejin Ahnf208f632018-09-05 01:27:38 +0000498 auto &Table = RuntimeLibcallSignatures->Table;
Derek Schuff53b38552018-01-18 01:15:45 +0000499 switch (Table[LC]) {
Dan Gohman38b42b42017-02-22 18:34:16 +0000500 case func:
501 break;
502 case f32_func_f32:
Derek Schuffe2688c42017-03-14 20:23:22 +0000503 Rets.push_back(wasm::ValType::F32);
504 Params.push_back(wasm::ValType::F32);
Dan Gohman38b42b42017-02-22 18:34:16 +0000505 break;
506 case f32_func_f64:
Derek Schuffe2688c42017-03-14 20:23:22 +0000507 Rets.push_back(wasm::ValType::F32);
508 Params.push_back(wasm::ValType::F64);
Dan Gohman38b42b42017-02-22 18:34:16 +0000509 break;
510 case f32_func_i32:
Derek Schuffe2688c42017-03-14 20:23:22 +0000511 Rets.push_back(wasm::ValType::F32);
512 Params.push_back(wasm::ValType::I32);
Dan Gohman38b42b42017-02-22 18:34:16 +0000513 break;
514 case f32_func_i64:
Derek Schuffe2688c42017-03-14 20:23:22 +0000515 Rets.push_back(wasm::ValType::F32);
516 Params.push_back(wasm::ValType::I64);
Dan Gohman38b42b42017-02-22 18:34:16 +0000517 break;
518 case f32_func_i16:
Derek Schuffe2688c42017-03-14 20:23:22 +0000519 Rets.push_back(wasm::ValType::F32);
520 Params.push_back(wasm::ValType::I32);
Dan Gohman38b42b42017-02-22 18:34:16 +0000521 break;
522 case f64_func_f32:
Derek Schuffe2688c42017-03-14 20:23:22 +0000523 Rets.push_back(wasm::ValType::F64);
524 Params.push_back(wasm::ValType::F32);
Dan Gohman38b42b42017-02-22 18:34:16 +0000525 break;
526 case f64_func_f64:
Derek Schuffe2688c42017-03-14 20:23:22 +0000527 Rets.push_back(wasm::ValType::F64);
528 Params.push_back(wasm::ValType::F64);
Dan Gohman38b42b42017-02-22 18:34:16 +0000529 break;
530 case f64_func_i32:
Derek Schuffe2688c42017-03-14 20:23:22 +0000531 Rets.push_back(wasm::ValType::F64);
532 Params.push_back(wasm::ValType::I32);
Dan Gohman38b42b42017-02-22 18:34:16 +0000533 break;
534 case f64_func_i64:
Derek Schuffe2688c42017-03-14 20:23:22 +0000535 Rets.push_back(wasm::ValType::F64);
536 Params.push_back(wasm::ValType::I64);
Dan Gohman38b42b42017-02-22 18:34:16 +0000537 break;
538 case i32_func_f32:
Derek Schuffe2688c42017-03-14 20:23:22 +0000539 Rets.push_back(wasm::ValType::I32);
540 Params.push_back(wasm::ValType::F32);
Dan Gohman38b42b42017-02-22 18:34:16 +0000541 break;
542 case i32_func_f64:
Derek Schuffe2688c42017-03-14 20:23:22 +0000543 Rets.push_back(wasm::ValType::I32);
544 Params.push_back(wasm::ValType::F64);
Dan Gohman38b42b42017-02-22 18:34:16 +0000545 break;
546 case i32_func_i32:
Derek Schuffe2688c42017-03-14 20:23:22 +0000547 Rets.push_back(wasm::ValType::I32);
548 Params.push_back(wasm::ValType::I32);
Dan Gohman38b42b42017-02-22 18:34:16 +0000549 break;
550 case i64_func_f32:
Derek Schuffe2688c42017-03-14 20:23:22 +0000551 Rets.push_back(wasm::ValType::I64);
552 Params.push_back(wasm::ValType::F32);
Dan Gohman38b42b42017-02-22 18:34:16 +0000553 break;
554 case i64_func_f64:
Derek Schuffe2688c42017-03-14 20:23:22 +0000555 Rets.push_back(wasm::ValType::I64);
556 Params.push_back(wasm::ValType::F64);
Dan Gohman38b42b42017-02-22 18:34:16 +0000557 break;
558 case i64_func_i64:
Derek Schuffe2688c42017-03-14 20:23:22 +0000559 Rets.push_back(wasm::ValType::I64);
560 Params.push_back(wasm::ValType::I64);
Dan Gohman38b42b42017-02-22 18:34:16 +0000561 break;
562 case f32_func_f32_f32:
Derek Schuffe2688c42017-03-14 20:23:22 +0000563 Rets.push_back(wasm::ValType::F32);
564 Params.push_back(wasm::ValType::F32);
565 Params.push_back(wasm::ValType::F32);
Dan Gohman38b42b42017-02-22 18:34:16 +0000566 break;
567 case f32_func_f32_i32:
Derek Schuffe2688c42017-03-14 20:23:22 +0000568 Rets.push_back(wasm::ValType::F32);
569 Params.push_back(wasm::ValType::F32);
570 Params.push_back(wasm::ValType::I32);
Dan Gohman38b42b42017-02-22 18:34:16 +0000571 break;
572 case f32_func_i64_i64:
Derek Schuffe2688c42017-03-14 20:23:22 +0000573 Rets.push_back(wasm::ValType::F32);
574 Params.push_back(wasm::ValType::I64);
575 Params.push_back(wasm::ValType::I64);
Dan Gohman38b42b42017-02-22 18:34:16 +0000576 break;
577 case f64_func_f64_f64:
Derek Schuffe2688c42017-03-14 20:23:22 +0000578 Rets.push_back(wasm::ValType::F64);
579 Params.push_back(wasm::ValType::F64);
580 Params.push_back(wasm::ValType::F64);
Dan Gohman38b42b42017-02-22 18:34:16 +0000581 break;
582 case f64_func_f64_i32:
Derek Schuffe2688c42017-03-14 20:23:22 +0000583 Rets.push_back(wasm::ValType::F64);
584 Params.push_back(wasm::ValType::F64);
585 Params.push_back(wasm::ValType::I32);
Dan Gohman38b42b42017-02-22 18:34:16 +0000586 break;
587 case f64_func_i64_i64:
Derek Schuffe2688c42017-03-14 20:23:22 +0000588 Rets.push_back(wasm::ValType::F64);
589 Params.push_back(wasm::ValType::I64);
590 Params.push_back(wasm::ValType::I64);
Dan Gohman38b42b42017-02-22 18:34:16 +0000591 break;
592 case i16_func_f32:
Derek Schuffe2688c42017-03-14 20:23:22 +0000593 Rets.push_back(wasm::ValType::I32);
594 Params.push_back(wasm::ValType::F32);
Dan Gohman38b42b42017-02-22 18:34:16 +0000595 break;
596 case i8_func_i8_i8:
Derek Schuffe2688c42017-03-14 20:23:22 +0000597 Rets.push_back(wasm::ValType::I32);
598 Params.push_back(wasm::ValType::I32);
599 Params.push_back(wasm::ValType::I32);
Dan Gohman38b42b42017-02-22 18:34:16 +0000600 break;
601 case func_f32_iPTR_iPTR:
Derek Schuffe2688c42017-03-14 20:23:22 +0000602 Params.push_back(wasm::ValType::F32);
Sam Cleggbd1716a2018-03-02 21:33:14 +0000603 Params.push_back(iPTR);
604 Params.push_back(iPTR);
Dan Gohman38b42b42017-02-22 18:34:16 +0000605 break;
606 case func_f64_iPTR_iPTR:
Derek Schuffe2688c42017-03-14 20:23:22 +0000607 Params.push_back(wasm::ValType::F64);
Sam Cleggbd1716a2018-03-02 21:33:14 +0000608 Params.push_back(iPTR);
609 Params.push_back(iPTR);
Dan Gohman38b42b42017-02-22 18:34:16 +0000610 break;
611 case i16_func_i16_i16:
Derek Schuffe2688c42017-03-14 20:23:22 +0000612 Rets.push_back(wasm::ValType::I32);
613 Params.push_back(wasm::ValType::I32);
614 Params.push_back(wasm::ValType::I32);
Dan Gohman38b42b42017-02-22 18:34:16 +0000615 break;
616 case i32_func_f32_f32:
Derek Schuffe2688c42017-03-14 20:23:22 +0000617 Rets.push_back(wasm::ValType::I32);
618 Params.push_back(wasm::ValType::F32);
619 Params.push_back(wasm::ValType::F32);
Dan Gohman38b42b42017-02-22 18:34:16 +0000620 break;
621 case i32_func_f64_f64:
Derek Schuffe2688c42017-03-14 20:23:22 +0000622 Rets.push_back(wasm::ValType::I32);
623 Params.push_back(wasm::ValType::F64);
624 Params.push_back(wasm::ValType::F64);
Dan Gohman38b42b42017-02-22 18:34:16 +0000625 break;
626 case i32_func_i32_i32:
Derek Schuffe2688c42017-03-14 20:23:22 +0000627 Rets.push_back(wasm::ValType::I32);
628 Params.push_back(wasm::ValType::I32);
629 Params.push_back(wasm::ValType::I32);
Dan Gohman38b42b42017-02-22 18:34:16 +0000630 break;
Dan Gohmanb17de642018-05-31 22:27:24 +0000631 case i32_func_i32_i32_iPTR:
632 Rets.push_back(wasm::ValType::I32);
633 Params.push_back(wasm::ValType::I32);
634 Params.push_back(wasm::ValType::I32);
635 Params.push_back(iPTR);
636 break;
Dan Gohman38b42b42017-02-22 18:34:16 +0000637 case i64_func_i64_i64:
Derek Schuffe2688c42017-03-14 20:23:22 +0000638 Rets.push_back(wasm::ValType::I64);
639 Params.push_back(wasm::ValType::I64);
640 Params.push_back(wasm::ValType::I64);
Dan Gohman38b42b42017-02-22 18:34:16 +0000641 break;
Dan Gohmanb17de642018-05-31 22:27:24 +0000642 case i64_func_i64_i64_iPTR:
643 Rets.push_back(wasm::ValType::I64);
644 Params.push_back(wasm::ValType::I64);
645 Params.push_back(wasm::ValType::I64);
646 Params.push_back(iPTR);
647 break;
Dan Gohman38b42b42017-02-22 18:34:16 +0000648 case i64_i64_func_f32:
649#if 0 // TODO: Enable this when wasm gets multiple-return-value support.
Derek Schuffe2688c42017-03-14 20:23:22 +0000650 Rets.push_back(wasm::ValType::I64);
651 Rets.push_back(wasm::ValType::I64);
Dan Gohman38b42b42017-02-22 18:34:16 +0000652#else
Sam Cleggbd1716a2018-03-02 21:33:14 +0000653 Params.push_back(iPTR);
Dan Gohman38b42b42017-02-22 18:34:16 +0000654#endif
Derek Schuffe2688c42017-03-14 20:23:22 +0000655 Params.push_back(wasm::ValType::F32);
Dan Gohman38b42b42017-02-22 18:34:16 +0000656 break;
657 case i64_i64_func_f64:
658#if 0 // TODO: Enable this when wasm gets multiple-return-value support.
Derek Schuffe2688c42017-03-14 20:23:22 +0000659 Rets.push_back(wasm::ValType::I64);
660 Rets.push_back(wasm::ValType::I64);
Dan Gohman38b42b42017-02-22 18:34:16 +0000661#else
Sam Cleggbd1716a2018-03-02 21:33:14 +0000662 Params.push_back(iPTR);
Dan Gohman38b42b42017-02-22 18:34:16 +0000663#endif
Derek Schuffe2688c42017-03-14 20:23:22 +0000664 Params.push_back(wasm::ValType::F64);
Dan Gohman38b42b42017-02-22 18:34:16 +0000665 break;
666 case i16_i16_func_i16_i16:
667#if 0 // TODO: Enable this when wasm gets multiple-return-value support.
Derek Schuffe2688c42017-03-14 20:23:22 +0000668 Rets.push_back(wasm::ValType::I32);
669 Rets.push_back(wasm::ValType::I32);
Dan Gohman38b42b42017-02-22 18:34:16 +0000670#else
Sam Cleggbd1716a2018-03-02 21:33:14 +0000671 Params.push_back(iPTR);
Dan Gohman38b42b42017-02-22 18:34:16 +0000672#endif
Derek Schuffe2688c42017-03-14 20:23:22 +0000673 Params.push_back(wasm::ValType::I32);
674 Params.push_back(wasm::ValType::I32);
Dan Gohman38b42b42017-02-22 18:34:16 +0000675 break;
676 case i32_i32_func_i32_i32:
677#if 0 // TODO: Enable this when wasm gets multiple-return-value support.
Derek Schuffe2688c42017-03-14 20:23:22 +0000678 Rets.push_back(wasm::ValType::I32);
679 Rets.push_back(wasm::ValType::I32);
Dan Gohman38b42b42017-02-22 18:34:16 +0000680#else
Sam Cleggbd1716a2018-03-02 21:33:14 +0000681 Params.push_back(iPTR);
Dan Gohman38b42b42017-02-22 18:34:16 +0000682#endif
Derek Schuffe2688c42017-03-14 20:23:22 +0000683 Params.push_back(wasm::ValType::I32);
684 Params.push_back(wasm::ValType::I32);
Dan Gohman38b42b42017-02-22 18:34:16 +0000685 break;
686 case i64_i64_func_i64_i64:
687#if 0 // TODO: Enable this when wasm gets multiple-return-value support.
Derek Schuffe2688c42017-03-14 20:23:22 +0000688 Rets.push_back(wasm::ValType::I64);
689 Rets.push_back(wasm::ValType::I64);
Dan Gohman38b42b42017-02-22 18:34:16 +0000690#else
Sam Cleggbd1716a2018-03-02 21:33:14 +0000691 Params.push_back(iPTR);
Dan Gohman38b42b42017-02-22 18:34:16 +0000692#endif
Derek Schuffe2688c42017-03-14 20:23:22 +0000693 Params.push_back(wasm::ValType::I64);
694 Params.push_back(wasm::ValType::I64);
Dan Gohman38b42b42017-02-22 18:34:16 +0000695 break;
696 case i64_i64_func_i64_i64_i64_i64:
697#if 0 // TODO: Enable this when wasm gets multiple-return-value support.
Derek Schuffe2688c42017-03-14 20:23:22 +0000698 Rets.push_back(wasm::ValType::I64);
699 Rets.push_back(wasm::ValType::I64);
Dan Gohman38b42b42017-02-22 18:34:16 +0000700#else
Sam Cleggbd1716a2018-03-02 21:33:14 +0000701 Params.push_back(iPTR);
Dan Gohman38b42b42017-02-22 18:34:16 +0000702#endif
Derek Schuffe2688c42017-03-14 20:23:22 +0000703 Params.push_back(wasm::ValType::I64);
704 Params.push_back(wasm::ValType::I64);
705 Params.push_back(wasm::ValType::I64);
706 Params.push_back(wasm::ValType::I64);
Dan Gohman38b42b42017-02-22 18:34:16 +0000707 break;
Dan Gohmanb17de642018-05-31 22:27:24 +0000708 case i64_i64_func_i64_i64_i64_i64_iPTR:
709#if 0 // TODO: Enable this when wasm gets multiple-return-value support.
710 Rets.push_back(wasm::ValType::I64);
711 Rets.push_back(wasm::ValType::I64);
712#else
713 Params.push_back(iPTR);
714#endif
715 Params.push_back(wasm::ValType::I64);
716 Params.push_back(wasm::ValType::I64);
717 Params.push_back(wasm::ValType::I64);
718 Params.push_back(wasm::ValType::I64);
719 Params.push_back(iPTR);
720 break;
Dan Gohman38b42b42017-02-22 18:34:16 +0000721 case i64_i64_i64_i64_func_i64_i64_i64_i64:
722#if 0 // TODO: Enable this when wasm gets multiple-return-value support.
Derek Schuffe2688c42017-03-14 20:23:22 +0000723 Rets.push_back(wasm::ValType::I64);
724 Rets.push_back(wasm::ValType::I64);
725 Rets.push_back(wasm::ValType::I64);
726 Rets.push_back(wasm::ValType::I64);
Dan Gohman38b42b42017-02-22 18:34:16 +0000727#else
Sam Cleggbd1716a2018-03-02 21:33:14 +0000728 Params.push_back(iPTR);
Dan Gohman38b42b42017-02-22 18:34:16 +0000729#endif
Derek Schuffe2688c42017-03-14 20:23:22 +0000730 Params.push_back(wasm::ValType::I64);
731 Params.push_back(wasm::ValType::I64);
732 Params.push_back(wasm::ValType::I64);
733 Params.push_back(wasm::ValType::I64);
Dan Gohman38b42b42017-02-22 18:34:16 +0000734 break;
735 case i64_i64_func_i64_i64_i32:
736#if 0 // TODO: Enable this when wasm gets multiple-return-value support.
Derek Schuffe2688c42017-03-14 20:23:22 +0000737 Rets.push_back(wasm::ValType::I64);
738 Rets.push_back(wasm::ValType::I64);
739 Rets.push_back(wasm::ValType::I64);
740 Rets.push_back(wasm::ValType::I64);
Dan Gohman38b42b42017-02-22 18:34:16 +0000741#else
Sam Cleggbd1716a2018-03-02 21:33:14 +0000742 Params.push_back(iPTR);
Dan Gohman38b42b42017-02-22 18:34:16 +0000743#endif
Derek Schuffe2688c42017-03-14 20:23:22 +0000744 Params.push_back(wasm::ValType::I64);
745 Params.push_back(wasm::ValType::I64);
746 Params.push_back(wasm::ValType::I32);
Dan Gohman38b42b42017-02-22 18:34:16 +0000747 break;
748 case iPTR_func_iPTR_i32_iPTR:
Sam Cleggbd1716a2018-03-02 21:33:14 +0000749 Rets.push_back(iPTR);
750 Params.push_back(iPTR);
Derek Schuffe2688c42017-03-14 20:23:22 +0000751 Params.push_back(wasm::ValType::I32);
Sam Cleggbd1716a2018-03-02 21:33:14 +0000752 Params.push_back(iPTR);
Dan Gohman38b42b42017-02-22 18:34:16 +0000753 break;
754 case iPTR_func_iPTR_iPTR_iPTR:
Sam Cleggbd1716a2018-03-02 21:33:14 +0000755 Rets.push_back(iPTR);
756 Params.push_back(iPTR);
757 Params.push_back(iPTR);
758 Params.push_back(iPTR);
Dan Gohman38b42b42017-02-22 18:34:16 +0000759 break;
760 case f32_func_f32_f32_f32:
Derek Schuffe2688c42017-03-14 20:23:22 +0000761 Rets.push_back(wasm::ValType::F32);
762 Params.push_back(wasm::ValType::F32);
763 Params.push_back(wasm::ValType::F32);
764 Params.push_back(wasm::ValType::F32);
Dan Gohman38b42b42017-02-22 18:34:16 +0000765 break;
766 case f64_func_f64_f64_f64:
Derek Schuffe2688c42017-03-14 20:23:22 +0000767 Rets.push_back(wasm::ValType::F64);
768 Params.push_back(wasm::ValType::F64);
769 Params.push_back(wasm::ValType::F64);
770 Params.push_back(wasm::ValType::F64);
Dan Gohman38b42b42017-02-22 18:34:16 +0000771 break;
772 case func_i64_i64_iPTR_iPTR:
Derek Schuffe2688c42017-03-14 20:23:22 +0000773 Params.push_back(wasm::ValType::I64);
774 Params.push_back(wasm::ValType::I64);
Sam Cleggbd1716a2018-03-02 21:33:14 +0000775 Params.push_back(iPTR);
776 Params.push_back(iPTR);
Dan Gohman38b42b42017-02-22 18:34:16 +0000777 break;
778 case func_iPTR_f32:
Sam Cleggbd1716a2018-03-02 21:33:14 +0000779 Params.push_back(iPTR);
Derek Schuffe2688c42017-03-14 20:23:22 +0000780 Params.push_back(wasm::ValType::F32);
Dan Gohman38b42b42017-02-22 18:34:16 +0000781 break;
782 case func_iPTR_f64:
Sam Cleggbd1716a2018-03-02 21:33:14 +0000783 Params.push_back(iPTR);
Derek Schuffe2688c42017-03-14 20:23:22 +0000784 Params.push_back(wasm::ValType::F64);
Dan Gohman38b42b42017-02-22 18:34:16 +0000785 break;
786 case func_iPTR_i32:
Sam Cleggbd1716a2018-03-02 21:33:14 +0000787 Params.push_back(iPTR);
Derek Schuffe2688c42017-03-14 20:23:22 +0000788 Params.push_back(wasm::ValType::I32);
Dan Gohman38b42b42017-02-22 18:34:16 +0000789 break;
790 case func_iPTR_i64:
Sam Cleggbd1716a2018-03-02 21:33:14 +0000791 Params.push_back(iPTR);
Derek Schuffe2688c42017-03-14 20:23:22 +0000792 Params.push_back(wasm::ValType::I64);
Dan Gohman38b42b42017-02-22 18:34:16 +0000793 break;
794 case func_iPTR_i64_i64:
Sam Cleggbd1716a2018-03-02 21:33:14 +0000795 Params.push_back(iPTR);
Derek Schuffe2688c42017-03-14 20:23:22 +0000796 Params.push_back(wasm::ValType::I64);
797 Params.push_back(wasm::ValType::I64);
Dan Gohman38b42b42017-02-22 18:34:16 +0000798 break;
799 case func_iPTR_i64_i64_i64_i64:
Sam Cleggbd1716a2018-03-02 21:33:14 +0000800 Params.push_back(iPTR);
Derek Schuffe2688c42017-03-14 20:23:22 +0000801 Params.push_back(wasm::ValType::I64);
802 Params.push_back(wasm::ValType::I64);
803 Params.push_back(wasm::ValType::I64);
804 Params.push_back(wasm::ValType::I64);
Dan Gohman38b42b42017-02-22 18:34:16 +0000805 break;
806 case func_iPTR_i64_i64_i64_i64_i64_i64:
Sam Cleggbd1716a2018-03-02 21:33:14 +0000807 Params.push_back(iPTR);
Derek Schuffe2688c42017-03-14 20:23:22 +0000808 Params.push_back(wasm::ValType::I64);
809 Params.push_back(wasm::ValType::I64);
810 Params.push_back(wasm::ValType::I64);
811 Params.push_back(wasm::ValType::I64);
812 Params.push_back(wasm::ValType::I64);
813 Params.push_back(wasm::ValType::I64);
Dan Gohman38b42b42017-02-22 18:34:16 +0000814 break;
815 case i32_func_i64_i64:
Derek Schuffe2688c42017-03-14 20:23:22 +0000816 Rets.push_back(wasm::ValType::I32);
817 Params.push_back(wasm::ValType::I64);
818 Params.push_back(wasm::ValType::I64);
Dan Gohman38b42b42017-02-22 18:34:16 +0000819 break;
820 case i32_func_i64_i64_i64_i64:
Derek Schuffe2688c42017-03-14 20:23:22 +0000821 Rets.push_back(wasm::ValType::I32);
822 Params.push_back(wasm::ValType::I64);
823 Params.push_back(wasm::ValType::I64);
824 Params.push_back(wasm::ValType::I64);
825 Params.push_back(wasm::ValType::I64);
Dan Gohman38b42b42017-02-22 18:34:16 +0000826 break;
827 case unsupported:
828 llvm_unreachable("unsupported runtime library signature");
829 }
830}
831
Derek Schuff53b38552018-01-18 01:15:45 +0000832static ManagedStatic<StaticLibcallNameMap> LibcallNameMap;
833// TODO: If the RTLIB::Libcall-taking flavor of GetSignature remains unsed
834// other than here, just roll its logic into this version.
Derek Schuff70ce1af2018-09-27 22:20:33 +0000835void llvm::GetLibcallSignature(const WebAssemblySubtarget &Subtarget,
836 const char *Name,
837 SmallVectorImpl<wasm::ValType> &Rets,
838 SmallVectorImpl<wasm::ValType> &Params) {
Heejin Ahnf208f632018-09-05 01:27:38 +0000839 auto &Map = LibcallNameMap->Map;
Derek Schuff53b38552018-01-18 01:15:45 +0000840 auto val = Map.find(Name);
841 assert(val != Map.end() && "unexpected runtime library name");
Derek Schuff70ce1af2018-09-27 22:20:33 +0000842 return GetLibcallSignature(Subtarget, val->second, Rets, Params);
Dan Gohman38b42b42017-02-22 18:34:16 +0000843}