1 // CodeGen/RuntimeLibcallSignatures.cpp - R.T. Lib. Call Signatures -*- C++ -*--
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
11 /// This file contains signature information for runtime libcalls.
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
18 /// This is currently a fairly heavy-handed solution.
20 //===----------------------------------------------------------------------===//
22 #include "WebAssemblyRuntimeLibcallSignatures.h"
23 #include "WebAssemblySubtarget.h"
24 #include "llvm/CodeGen/RuntimeLibcalls.h"
25 #include "llvm/Support/ManagedStatic.h"
31 enum RuntimeLibcallSignature {
62 i32_func_i32_i32_iPTR,
64 i64_func_i64_i64_iPTR,
70 i64_i64_func_i64_i64_i64_i64,
71 i64_i64_func_i64_i64_i64_i64_iPTR,
72 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,
78 func_i64_i64_iPTR_iPTR,
84 func_iPTR_i64_i64_i64_i64,
85 func_iPTR_i64_i64_i64_i64_i64_i64,
87 i32_func_i64_i64_i64_i64,
92 struct RuntimeLibcallSignatureTable {
93 std::vector<RuntimeLibcallSignature> Table;
95 // Any newly-added libcalls will be unsupported by default.
96 RuntimeLibcallSignatureTable() : Table(RTLIB::UNKNOWN_LIBCALL, unsupported) {
98 Table[RTLIB::SHL_I16] = i16_func_i16_i16;
99 Table[RTLIB::SHL_I32] = i32_func_i32_i32;
100 Table[RTLIB::SHL_I64] = i64_func_i64_i64;
101 Table[RTLIB::SHL_I128] = i64_i64_func_i64_i64_i32;
102 Table[RTLIB::SRL_I16] = i16_func_i16_i16;
103 Table[RTLIB::SRL_I32] = i32_func_i32_i32;
104 Table[RTLIB::SRL_I64] = i64_func_i64_i64;
105 Table[RTLIB::SRL_I128] = i64_i64_func_i64_i64_i32;
106 Table[RTLIB::SRA_I16] = i16_func_i16_i16;
107 Table[RTLIB::SRA_I32] = i32_func_i32_i32;
108 Table[RTLIB::SRA_I64] = i64_func_i64_i64;
109 Table[RTLIB::SRA_I128] = i64_i64_func_i64_i64_i32;
110 Table[RTLIB::MUL_I8] = i8_func_i8_i8;
111 Table[RTLIB::MUL_I16] = i16_func_i16_i16;
112 Table[RTLIB::MUL_I32] = i32_func_i32_i32;
113 Table[RTLIB::MUL_I64] = i64_func_i64_i64;
114 Table[RTLIB::MUL_I128] = i64_i64_func_i64_i64_i64_i64;
115 Table[RTLIB::MULO_I32] = i32_func_i32_i32_iPTR;
116 Table[RTLIB::MULO_I64] = i64_func_i64_i64_iPTR;
117 Table[RTLIB::MULO_I128] = i64_i64_func_i64_i64_i64_i64_iPTR;
118 Table[RTLIB::SDIV_I8] = i8_func_i8_i8;
119 Table[RTLIB::SDIV_I16] = i16_func_i16_i16;
120 Table[RTLIB::SDIV_I32] = i32_func_i32_i32;
121 Table[RTLIB::SDIV_I64] = i64_func_i64_i64;
122 Table[RTLIB::SDIV_I128] = i64_i64_func_i64_i64_i64_i64;
123 Table[RTLIB::UDIV_I8] = i8_func_i8_i8;
124 Table[RTLIB::UDIV_I16] = i16_func_i16_i16;
125 Table[RTLIB::UDIV_I32] = i32_func_i32_i32;
126 Table[RTLIB::UDIV_I64] = i64_func_i64_i64;
127 Table[RTLIB::UDIV_I128] = i64_i64_func_i64_i64_i64_i64;
128 Table[RTLIB::SREM_I8] = i8_func_i8_i8;
129 Table[RTLIB::SREM_I16] = i16_func_i16_i16;
130 Table[RTLIB::SREM_I32] = i32_func_i32_i32;
131 Table[RTLIB::SREM_I64] = i64_func_i64_i64;
132 Table[RTLIB::SREM_I128] = i64_i64_func_i64_i64_i64_i64;
133 Table[RTLIB::UREM_I8] = i8_func_i8_i8;
134 Table[RTLIB::UREM_I16] = i16_func_i16_i16;
135 Table[RTLIB::UREM_I32] = i32_func_i32_i32;
136 Table[RTLIB::UREM_I64] = i64_func_i64_i64;
137 Table[RTLIB::UREM_I128] = i64_i64_func_i64_i64_i64_i64;
138 Table[RTLIB::SDIVREM_I8] = i8_func_i8_i8;
139 Table[RTLIB::SDIVREM_I16] = i16_i16_func_i16_i16;
140 Table[RTLIB::SDIVREM_I32] = i32_i32_func_i32_i32;
141 Table[RTLIB::SDIVREM_I64] = i64_func_i64_i64;
142 Table[RTLIB::SDIVREM_I128] = i64_i64_i64_i64_func_i64_i64_i64_i64;
143 Table[RTLIB::UDIVREM_I8] = i8_func_i8_i8;
144 Table[RTLIB::UDIVREM_I16] = i16_i16_func_i16_i16;
145 Table[RTLIB::UDIVREM_I32] = i32_i32_func_i32_i32;
146 Table[RTLIB::UDIVREM_I64] = i64_i64_func_i64_i64;
147 Table[RTLIB::UDIVREM_I128] = i64_i64_i64_i64_func_i64_i64_i64_i64;
148 Table[RTLIB::NEG_I32] = i32_func_i32;
149 Table[RTLIB::NEG_I64] = i64_func_i64;
152 // All F80 and PPCF128 routines are unsupported.
153 Table[RTLIB::ADD_F32] = f32_func_f32_f32;
154 Table[RTLIB::ADD_F64] = f64_func_f64_f64;
155 Table[RTLIB::ADD_F128] = func_iPTR_i64_i64_i64_i64;
156 Table[RTLIB::SUB_F32] = f32_func_f32_f32;
157 Table[RTLIB::SUB_F64] = f64_func_f64_f64;
158 Table[RTLIB::SUB_F128] = func_iPTR_i64_i64_i64_i64;
159 Table[RTLIB::MUL_F32] = f32_func_f32_f32;
160 Table[RTLIB::MUL_F64] = f64_func_f64_f64;
161 Table[RTLIB::MUL_F128] = func_iPTR_i64_i64_i64_i64;
162 Table[RTLIB::DIV_F32] = f32_func_f32_f32;
163 Table[RTLIB::DIV_F64] = f64_func_f64_f64;
164 Table[RTLIB::DIV_F128] = func_iPTR_i64_i64_i64_i64;
165 Table[RTLIB::REM_F32] = f32_func_f32_f32;
166 Table[RTLIB::REM_F64] = f64_func_f64_f64;
167 Table[RTLIB::REM_F128] = func_iPTR_i64_i64_i64_i64;
168 Table[RTLIB::FMA_F32] = f32_func_f32_f32_f32;
169 Table[RTLIB::FMA_F64] = f64_func_f64_f64_f64;
170 Table[RTLIB::FMA_F128] = func_iPTR_i64_i64_i64_i64_i64_i64;
171 Table[RTLIB::POWI_F32] = f32_func_f32_i32;
172 Table[RTLIB::POWI_F64] = f64_func_f64_i32;
173 Table[RTLIB::POWI_F128] = func_iPTR_i64_i64_i64_i64;
174 Table[RTLIB::SQRT_F32] = f32_func_f32;
175 Table[RTLIB::SQRT_F64] = f64_func_f64;
176 Table[RTLIB::SQRT_F128] = func_iPTR_i64_i64;
177 Table[RTLIB::LOG_F32] = f32_func_f32;
178 Table[RTLIB::LOG_F64] = f64_func_f64;
179 Table[RTLIB::LOG_F128] = func_iPTR_i64_i64;
180 Table[RTLIB::LOG2_F32] = f32_func_f32;
181 Table[RTLIB::LOG2_F64] = f64_func_f64;
182 Table[RTLIB::LOG2_F128] = func_iPTR_i64_i64;
183 Table[RTLIB::LOG10_F32] = f32_func_f32;
184 Table[RTLIB::LOG10_F64] = f64_func_f64;
185 Table[RTLIB::LOG10_F128] = func_iPTR_i64_i64;
186 Table[RTLIB::EXP_F32] = f32_func_f32;
187 Table[RTLIB::EXP_F64] = f64_func_f64;
188 Table[RTLIB::EXP_F128] = func_iPTR_i64_i64;
189 Table[RTLIB::EXP2_F32] = f32_func_f32;
190 Table[RTLIB::EXP2_F64] = f64_func_f64;
191 Table[RTLIB::EXP2_F128] = func_iPTR_i64_i64;
192 Table[RTLIB::SIN_F32] = f32_func_f32;
193 Table[RTLIB::SIN_F64] = f64_func_f64;
194 Table[RTLIB::SIN_F128] = func_iPTR_i64_i64;
195 Table[RTLIB::COS_F32] = f32_func_f32;
196 Table[RTLIB::COS_F64] = f64_func_f64;
197 Table[RTLIB::COS_F128] = func_iPTR_i64_i64;
198 Table[RTLIB::SINCOS_F32] = func_f32_iPTR_iPTR;
199 Table[RTLIB::SINCOS_F64] = func_f64_iPTR_iPTR;
200 Table[RTLIB::SINCOS_F128] = func_i64_i64_iPTR_iPTR;
201 Table[RTLIB::POW_F32] = f32_func_f32_f32;
202 Table[RTLIB::POW_F64] = f64_func_f64_f64;
203 Table[RTLIB::POW_F128] = func_iPTR_i64_i64_i64_i64;
204 Table[RTLIB::CEIL_F32] = f32_func_f32;
205 Table[RTLIB::CEIL_F64] = f64_func_f64;
206 Table[RTLIB::CEIL_F128] = func_iPTR_i64_i64;
207 Table[RTLIB::TRUNC_F32] = f32_func_f32;
208 Table[RTLIB::TRUNC_F64] = f64_func_f64;
209 Table[RTLIB::TRUNC_F128] = func_iPTR_i64_i64;
210 Table[RTLIB::RINT_F32] = f32_func_f32;
211 Table[RTLIB::RINT_F64] = f64_func_f64;
212 Table[RTLIB::RINT_F128] = func_iPTR_i64_i64;
213 Table[RTLIB::NEARBYINT_F32] = f32_func_f32;
214 Table[RTLIB::NEARBYINT_F64] = f64_func_f64;
215 Table[RTLIB::NEARBYINT_F128] = func_iPTR_i64_i64;
216 Table[RTLIB::ROUND_F32] = f32_func_f32;
217 Table[RTLIB::ROUND_F64] = f64_func_f64;
218 Table[RTLIB::ROUND_F128] = func_iPTR_i64_i64;
219 Table[RTLIB::FLOOR_F32] = f32_func_f32;
220 Table[RTLIB::FLOOR_F64] = f64_func_f64;
221 Table[RTLIB::FLOOR_F128] = func_iPTR_i64_i64;
222 Table[RTLIB::COPYSIGN_F32] = f32_func_f32_f32;
223 Table[RTLIB::COPYSIGN_F64] = f64_func_f64_f64;
224 Table[RTLIB::COPYSIGN_F128] = func_iPTR_i64_i64_i64_i64;
225 Table[RTLIB::FMIN_F32] = f32_func_f32_f32;
226 Table[RTLIB::FMIN_F64] = f64_func_f64_f64;
227 Table[RTLIB::FMIN_F128] = func_iPTR_i64_i64_i64_i64;
228 Table[RTLIB::FMAX_F32] = f32_func_f32_f32;
229 Table[RTLIB::FMAX_F64] = f64_func_f64_f64;
230 Table[RTLIB::FMAX_F128] = func_iPTR_i64_i64_i64_i64;
233 // All F80 and PPCF128 routines are unspported.
234 Table[RTLIB::FPEXT_F64_F128] = func_iPTR_f64;
235 Table[RTLIB::FPEXT_F32_F128] = func_iPTR_f32;
236 Table[RTLIB::FPEXT_F32_F64] = f64_func_f32;
237 Table[RTLIB::FPEXT_F16_F32] = f32_func_i16;
238 Table[RTLIB::FPROUND_F32_F16] = i16_func_f32;
239 Table[RTLIB::FPROUND_F64_F32] = f32_func_f64;
240 Table[RTLIB::FPROUND_F128_F32] = f32_func_i64_i64;
241 Table[RTLIB::FPROUND_F128_F64] = f64_func_i64_i64;
242 Table[RTLIB::FPTOSINT_F32_I32] = i32_func_f32;
243 Table[RTLIB::FPTOSINT_F32_I64] = i64_func_f32;
244 Table[RTLIB::FPTOSINT_F32_I128] = i64_i64_func_f32;
245 Table[RTLIB::FPTOSINT_F64_I32] = i32_func_f64;
246 Table[RTLIB::FPTOSINT_F64_I64] = i64_func_f64;
247 Table[RTLIB::FPTOSINT_F64_I128] = i64_i64_func_f64;
248 Table[RTLIB::FPTOSINT_F128_I32] = i32_func_i64_i64;
249 Table[RTLIB::FPTOSINT_F128_I64] = i64_func_i64_i64;
250 Table[RTLIB::FPTOSINT_F128_I128] = i64_i64_func_i64_i64;
251 Table[RTLIB::FPTOUINT_F32_I32] = i32_func_f32;
252 Table[RTLIB::FPTOUINT_F32_I64] = i64_func_f32;
253 Table[RTLIB::FPTOUINT_F32_I128] = i64_i64_func_f32;
254 Table[RTLIB::FPTOUINT_F64_I32] = i32_func_f64;
255 Table[RTLIB::FPTOUINT_F64_I64] = i64_func_f64;
256 Table[RTLIB::FPTOUINT_F64_I128] = i64_i64_func_f64;
257 Table[RTLIB::FPTOUINT_F128_I32] = i32_func_i64_i64;
258 Table[RTLIB::FPTOUINT_F128_I64] = i64_func_i64_i64;
259 Table[RTLIB::FPTOUINT_F128_I128] = i64_i64_func_i64_i64;
260 Table[RTLIB::SINTTOFP_I32_F32] = f32_func_i32;
261 Table[RTLIB::SINTTOFP_I32_F64] = f64_func_i32;
262 Table[RTLIB::SINTTOFP_I32_F128] = func_iPTR_i32;
263 Table[RTLIB::SINTTOFP_I64_F32] = f32_func_i64;
264 Table[RTLIB::SINTTOFP_I64_F64] = f64_func_i64;
265 Table[RTLIB::SINTTOFP_I64_F128] = func_iPTR_i64;
266 Table[RTLIB::SINTTOFP_I128_F32] = f32_func_i64_i64;
267 Table[RTLIB::SINTTOFP_I128_F64] = f64_func_i64_i64;
268 Table[RTLIB::SINTTOFP_I128_F128] = func_iPTR_i64_i64;
269 Table[RTLIB::UINTTOFP_I32_F32] = f32_func_i32;
270 Table[RTLIB::UINTTOFP_I32_F64] = f64_func_i64;
271 Table[RTLIB::UINTTOFP_I32_F128] = func_iPTR_i32;
272 Table[RTLIB::UINTTOFP_I64_F32] = f32_func_i64;
273 Table[RTLIB::UINTTOFP_I64_F64] = f64_func_i64;
274 Table[RTLIB::UINTTOFP_I64_F128] = func_iPTR_i64;
275 Table[RTLIB::UINTTOFP_I128_F32] = f32_func_i64_i64;
276 Table[RTLIB::UINTTOFP_I128_F64] = f64_func_i64_i64;
277 Table[RTLIB::UINTTOFP_I128_F128] = func_iPTR_i64_i64;
280 // ALl F80 and PPCF128 routines are unsupported.
281 Table[RTLIB::OEQ_F32] = i32_func_f32_f32;
282 Table[RTLIB::OEQ_F64] = i32_func_f64_f64;
283 Table[RTLIB::OEQ_F128] = i32_func_i64_i64_i64_i64;
284 Table[RTLIB::UNE_F32] = i32_func_f32_f32;
285 Table[RTLIB::UNE_F64] = i32_func_f64_f64;
286 Table[RTLIB::UNE_F128] = i32_func_i64_i64_i64_i64;
287 Table[RTLIB::OGE_F32] = i32_func_f32_f32;
288 Table[RTLIB::OGE_F64] = i32_func_f64_f64;
289 Table[RTLIB::OGE_F128] = i32_func_i64_i64_i64_i64;
290 Table[RTLIB::OLT_F32] = i32_func_f32_f32;
291 Table[RTLIB::OLT_F64] = i32_func_f64_f64;
292 Table[RTLIB::OLT_F128] = i32_func_i64_i64_i64_i64;
293 Table[RTLIB::OLE_F32] = i32_func_f32_f32;
294 Table[RTLIB::OLE_F64] = i32_func_f64_f64;
295 Table[RTLIB::OLE_F128] = i32_func_i64_i64_i64_i64;
296 Table[RTLIB::OGT_F32] = i32_func_f32_f32;
297 Table[RTLIB::OGT_F64] = i32_func_f64_f64;
298 Table[RTLIB::OGT_F128] = i32_func_i64_i64_i64_i64;
299 Table[RTLIB::UO_F32] = i32_func_f32_f32;
300 Table[RTLIB::UO_F64] = i32_func_f64_f64;
301 Table[RTLIB::UO_F128] = i32_func_i64_i64_i64_i64;
302 // O_FXX has the weird property that it uses the same libcall name as UO_FXX
303 // This breaks our name-based lookup. Fortunately only the UO family of
304 // libcalls appears to be actually used.
305 Table[RTLIB::O_F32] = unsupported;
306 Table[RTLIB::O_F64] = unsupported;
307 Table[RTLIB::O_F128] = unsupported;
310 Table[RTLIB::MEMCPY] = iPTR_func_iPTR_iPTR_iPTR;
311 Table[RTLIB::MEMSET] = iPTR_func_iPTR_i32_iPTR;
312 Table[RTLIB::MEMMOVE] = iPTR_func_iPTR_iPTR_iPTR;
314 // Element-wise Atomic memory
315 // TODO: Fix these when we implement atomic support
316 Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_1] = unsupported;
317 Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_2] = unsupported;
318 Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_4] = unsupported;
319 Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_8] = unsupported;
320 Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_16] = unsupported;
321 Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_1] = unsupported;
322 Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_2] = unsupported;
323 Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_4] = unsupported;
324 Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_8] = unsupported;
325 Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_16] = unsupported;
327 Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_1] = unsupported;
328 Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_2] = unsupported;
329 Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_4] = unsupported;
330 Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_8] = unsupported;
331 Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_16] = unsupported;
333 // Atomic '__sync_*' libcalls.
334 // TODO: Fix these when we implement atomic support
335 Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_1] = unsupported;
336 Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_2] = unsupported;
337 Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_4] = unsupported;
338 Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_8] = unsupported;
339 Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_16] = unsupported;
340 Table[RTLIB::SYNC_LOCK_TEST_AND_SET_1] = unsupported;
341 Table[RTLIB::SYNC_LOCK_TEST_AND_SET_2] = unsupported;
342 Table[RTLIB::SYNC_LOCK_TEST_AND_SET_4] = unsupported;
343 Table[RTLIB::SYNC_LOCK_TEST_AND_SET_8] = unsupported;
344 Table[RTLIB::SYNC_LOCK_TEST_AND_SET_16] = unsupported;
345 Table[RTLIB::SYNC_FETCH_AND_ADD_1] = unsupported;
346 Table[RTLIB::SYNC_FETCH_AND_ADD_2] = unsupported;
347 Table[RTLIB::SYNC_FETCH_AND_ADD_4] = unsupported;
348 Table[RTLIB::SYNC_FETCH_AND_ADD_8] = unsupported;
349 Table[RTLIB::SYNC_FETCH_AND_ADD_16] = unsupported;
350 Table[RTLIB::SYNC_FETCH_AND_SUB_1] = unsupported;
351 Table[RTLIB::SYNC_FETCH_AND_SUB_2] = unsupported;
352 Table[RTLIB::SYNC_FETCH_AND_SUB_4] = unsupported;
353 Table[RTLIB::SYNC_FETCH_AND_SUB_8] = unsupported;
354 Table[RTLIB::SYNC_FETCH_AND_SUB_16] = unsupported;
355 Table[RTLIB::SYNC_FETCH_AND_AND_1] = unsupported;
356 Table[RTLIB::SYNC_FETCH_AND_AND_2] = unsupported;
357 Table[RTLIB::SYNC_FETCH_AND_AND_4] = unsupported;
358 Table[RTLIB::SYNC_FETCH_AND_AND_8] = unsupported;
359 Table[RTLIB::SYNC_FETCH_AND_AND_16] = unsupported;
360 Table[RTLIB::SYNC_FETCH_AND_OR_1] = unsupported;
361 Table[RTLIB::SYNC_FETCH_AND_OR_2] = unsupported;
362 Table[RTLIB::SYNC_FETCH_AND_OR_4] = unsupported;
363 Table[RTLIB::SYNC_FETCH_AND_OR_8] = unsupported;
364 Table[RTLIB::SYNC_FETCH_AND_OR_16] = unsupported;
365 Table[RTLIB::SYNC_FETCH_AND_XOR_1] = unsupported;
366 Table[RTLIB::SYNC_FETCH_AND_XOR_2] = unsupported;
367 Table[RTLIB::SYNC_FETCH_AND_XOR_4] = unsupported;
368 Table[RTLIB::SYNC_FETCH_AND_XOR_8] = unsupported;
369 Table[RTLIB::SYNC_FETCH_AND_XOR_16] = unsupported;
370 Table[RTLIB::SYNC_FETCH_AND_NAND_1] = unsupported;
371 Table[RTLIB::SYNC_FETCH_AND_NAND_2] = unsupported;
372 Table[RTLIB::SYNC_FETCH_AND_NAND_4] = unsupported;
373 Table[RTLIB::SYNC_FETCH_AND_NAND_8] = unsupported;
374 Table[RTLIB::SYNC_FETCH_AND_NAND_16] = unsupported;
375 Table[RTLIB::SYNC_FETCH_AND_MAX_1] = unsupported;
376 Table[RTLIB::SYNC_FETCH_AND_MAX_2] = unsupported;
377 Table[RTLIB::SYNC_FETCH_AND_MAX_4] = unsupported;
378 Table[RTLIB::SYNC_FETCH_AND_MAX_8] = unsupported;
379 Table[RTLIB::SYNC_FETCH_AND_MAX_16] = unsupported;
380 Table[RTLIB::SYNC_FETCH_AND_UMAX_1] = unsupported;
381 Table[RTLIB::SYNC_FETCH_AND_UMAX_2] = unsupported;
382 Table[RTLIB::SYNC_FETCH_AND_UMAX_4] = unsupported;
383 Table[RTLIB::SYNC_FETCH_AND_UMAX_8] = unsupported;
384 Table[RTLIB::SYNC_FETCH_AND_UMAX_16] = unsupported;
385 Table[RTLIB::SYNC_FETCH_AND_MIN_1] = unsupported;
386 Table[RTLIB::SYNC_FETCH_AND_MIN_2] = unsupported;
387 Table[RTLIB::SYNC_FETCH_AND_MIN_4] = unsupported;
388 Table[RTLIB::SYNC_FETCH_AND_MIN_8] = unsupported;
389 Table[RTLIB::SYNC_FETCH_AND_MIN_16] = unsupported;
390 Table[RTLIB::SYNC_FETCH_AND_UMIN_1] = unsupported;
391 Table[RTLIB::SYNC_FETCH_AND_UMIN_2] = unsupported;
392 Table[RTLIB::SYNC_FETCH_AND_UMIN_4] = unsupported;
393 Table[RTLIB::SYNC_FETCH_AND_UMIN_8] = unsupported;
394 Table[RTLIB::SYNC_FETCH_AND_UMIN_16] = unsupported;
396 // Atomic '__atomic_*' libcalls.
397 // TODO: Fix these when we implement atomic support
398 Table[RTLIB::ATOMIC_LOAD] = unsupported;
399 Table[RTLIB::ATOMIC_LOAD_1] = unsupported;
400 Table[RTLIB::ATOMIC_LOAD_2] = unsupported;
401 Table[RTLIB::ATOMIC_LOAD_4] = unsupported;
402 Table[RTLIB::ATOMIC_LOAD_8] = unsupported;
403 Table[RTLIB::ATOMIC_LOAD_16] = unsupported;
405 Table[RTLIB::ATOMIC_STORE] = unsupported;
406 Table[RTLIB::ATOMIC_STORE_1] = unsupported;
407 Table[RTLIB::ATOMIC_STORE_2] = unsupported;
408 Table[RTLIB::ATOMIC_STORE_4] = unsupported;
409 Table[RTLIB::ATOMIC_STORE_8] = unsupported;
410 Table[RTLIB::ATOMIC_STORE_16] = unsupported;
412 Table[RTLIB::ATOMIC_EXCHANGE] = unsupported;
413 Table[RTLIB::ATOMIC_EXCHANGE_1] = unsupported;
414 Table[RTLIB::ATOMIC_EXCHANGE_2] = unsupported;
415 Table[RTLIB::ATOMIC_EXCHANGE_4] = unsupported;
416 Table[RTLIB::ATOMIC_EXCHANGE_8] = unsupported;
417 Table[RTLIB::ATOMIC_EXCHANGE_16] = unsupported;
419 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE] = unsupported;
420 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_1] = unsupported;
421 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_2] = unsupported;
422 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_4] = unsupported;
423 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_8] = unsupported;
424 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_16] = unsupported;
426 Table[RTLIB::ATOMIC_FETCH_ADD_1] = unsupported;
427 Table[RTLIB::ATOMIC_FETCH_ADD_2] = unsupported;
428 Table[RTLIB::ATOMIC_FETCH_ADD_4] = unsupported;
429 Table[RTLIB::ATOMIC_FETCH_ADD_8] = unsupported;
430 Table[RTLIB::ATOMIC_FETCH_ADD_16] = unsupported;
432 Table[RTLIB::ATOMIC_FETCH_SUB_1] = unsupported;
433 Table[RTLIB::ATOMIC_FETCH_SUB_2] = unsupported;
434 Table[RTLIB::ATOMIC_FETCH_SUB_4] = unsupported;
435 Table[RTLIB::ATOMIC_FETCH_SUB_8] = unsupported;
436 Table[RTLIB::ATOMIC_FETCH_SUB_16] = unsupported;
438 Table[RTLIB::ATOMIC_FETCH_AND_1] = unsupported;
439 Table[RTLIB::ATOMIC_FETCH_AND_2] = unsupported;
440 Table[RTLIB::ATOMIC_FETCH_AND_4] = unsupported;
441 Table[RTLIB::ATOMIC_FETCH_AND_8] = unsupported;
442 Table[RTLIB::ATOMIC_FETCH_AND_16] = unsupported;
444 Table[RTLIB::ATOMIC_FETCH_OR_1] = unsupported;
445 Table[RTLIB::ATOMIC_FETCH_OR_2] = unsupported;
446 Table[RTLIB::ATOMIC_FETCH_OR_4] = unsupported;
447 Table[RTLIB::ATOMIC_FETCH_OR_8] = unsupported;
448 Table[RTLIB::ATOMIC_FETCH_OR_16] = unsupported;
450 Table[RTLIB::ATOMIC_FETCH_XOR_1] = unsupported;
451 Table[RTLIB::ATOMIC_FETCH_XOR_2] = unsupported;
452 Table[RTLIB::ATOMIC_FETCH_XOR_4] = unsupported;
453 Table[RTLIB::ATOMIC_FETCH_XOR_8] = unsupported;
454 Table[RTLIB::ATOMIC_FETCH_XOR_16] = unsupported;
456 Table[RTLIB::ATOMIC_FETCH_NAND_1] = unsupported;
457 Table[RTLIB::ATOMIC_FETCH_NAND_2] = unsupported;
458 Table[RTLIB::ATOMIC_FETCH_NAND_4] = unsupported;
459 Table[RTLIB::ATOMIC_FETCH_NAND_8] = unsupported;
460 Table[RTLIB::ATOMIC_FETCH_NAND_16] = unsupported;
464 ManagedStatic<RuntimeLibcallSignatureTable> RuntimeLibcallSignatures;
466 // Maps libcall names to their RTLIB::Libcall number. Builds the map in a
467 // constructor for use with ManagedStatic
468 struct StaticLibcallNameMap {
469 StringMap<RTLIB::Libcall> Map;
470 StaticLibcallNameMap() {
471 static const std::pair<const char *, RTLIB::Libcall> NameLibcalls[] = {
472 #define HANDLE_LIBCALL(code, name) {(const char *)name, RTLIB::code},
473 #include "llvm/IR/RuntimeLibcalls.def"
474 #undef HANDLE_LIBCALL
476 for (const auto &NameLibcall : NameLibcalls) {
477 if (NameLibcall.first != nullptr &&
478 RuntimeLibcallSignatures->Table[NameLibcall.second] != unsupported) {
479 assert(Map.find(NameLibcall.first) == Map.end() &&
480 "duplicate libcall names in name map");
481 Map[NameLibcall.first] = NameLibcall.second;
487 } // end anonymous namespace
491 void llvm::GetSignature(const WebAssemblySubtarget &Subtarget,
492 RTLIB::Libcall LC, SmallVectorImpl<wasm::ValType> &Rets,
493 SmallVectorImpl<wasm::ValType> &Params) {
494 assert(Rets.empty());
495 assert(Params.empty());
498 Subtarget.hasAddr64() ? wasm::ValType::I64 : wasm::ValType::I32;
500 auto& Table = RuntimeLibcallSignatures->Table;
505 Rets.push_back(wasm::ValType::F32);
506 Params.push_back(wasm::ValType::F32);
509 Rets.push_back(wasm::ValType::F32);
510 Params.push_back(wasm::ValType::F64);
513 Rets.push_back(wasm::ValType::F32);
514 Params.push_back(wasm::ValType::I32);
517 Rets.push_back(wasm::ValType::F32);
518 Params.push_back(wasm::ValType::I64);
521 Rets.push_back(wasm::ValType::F32);
522 Params.push_back(wasm::ValType::I32);
525 Rets.push_back(wasm::ValType::F64);
526 Params.push_back(wasm::ValType::F32);
529 Rets.push_back(wasm::ValType::F64);
530 Params.push_back(wasm::ValType::F64);
533 Rets.push_back(wasm::ValType::F64);
534 Params.push_back(wasm::ValType::I32);
537 Rets.push_back(wasm::ValType::F64);
538 Params.push_back(wasm::ValType::I64);
541 Rets.push_back(wasm::ValType::I32);
542 Params.push_back(wasm::ValType::F32);
545 Rets.push_back(wasm::ValType::I32);
546 Params.push_back(wasm::ValType::F64);
549 Rets.push_back(wasm::ValType::I32);
550 Params.push_back(wasm::ValType::I32);
553 Rets.push_back(wasm::ValType::I64);
554 Params.push_back(wasm::ValType::F32);
557 Rets.push_back(wasm::ValType::I64);
558 Params.push_back(wasm::ValType::F64);
561 Rets.push_back(wasm::ValType::I64);
562 Params.push_back(wasm::ValType::I64);
564 case f32_func_f32_f32:
565 Rets.push_back(wasm::ValType::F32);
566 Params.push_back(wasm::ValType::F32);
567 Params.push_back(wasm::ValType::F32);
569 case f32_func_f32_i32:
570 Rets.push_back(wasm::ValType::F32);
571 Params.push_back(wasm::ValType::F32);
572 Params.push_back(wasm::ValType::I32);
574 case f32_func_i64_i64:
575 Rets.push_back(wasm::ValType::F32);
576 Params.push_back(wasm::ValType::I64);
577 Params.push_back(wasm::ValType::I64);
579 case f64_func_f64_f64:
580 Rets.push_back(wasm::ValType::F64);
581 Params.push_back(wasm::ValType::F64);
582 Params.push_back(wasm::ValType::F64);
584 case f64_func_f64_i32:
585 Rets.push_back(wasm::ValType::F64);
586 Params.push_back(wasm::ValType::F64);
587 Params.push_back(wasm::ValType::I32);
589 case f64_func_i64_i64:
590 Rets.push_back(wasm::ValType::F64);
591 Params.push_back(wasm::ValType::I64);
592 Params.push_back(wasm::ValType::I64);
595 Rets.push_back(wasm::ValType::I32);
596 Params.push_back(wasm::ValType::F32);
599 Rets.push_back(wasm::ValType::I32);
600 Params.push_back(wasm::ValType::I32);
601 Params.push_back(wasm::ValType::I32);
603 case func_f32_iPTR_iPTR:
604 Params.push_back(wasm::ValType::F32);
605 Params.push_back(iPTR);
606 Params.push_back(iPTR);
608 case func_f64_iPTR_iPTR:
609 Params.push_back(wasm::ValType::F64);
610 Params.push_back(iPTR);
611 Params.push_back(iPTR);
613 case i16_func_i16_i16:
614 Rets.push_back(wasm::ValType::I32);
615 Params.push_back(wasm::ValType::I32);
616 Params.push_back(wasm::ValType::I32);
618 case i32_func_f32_f32:
619 Rets.push_back(wasm::ValType::I32);
620 Params.push_back(wasm::ValType::F32);
621 Params.push_back(wasm::ValType::F32);
623 case i32_func_f64_f64:
624 Rets.push_back(wasm::ValType::I32);
625 Params.push_back(wasm::ValType::F64);
626 Params.push_back(wasm::ValType::F64);
628 case i32_func_i32_i32:
629 Rets.push_back(wasm::ValType::I32);
630 Params.push_back(wasm::ValType::I32);
631 Params.push_back(wasm::ValType::I32);
633 case i32_func_i32_i32_iPTR:
634 Rets.push_back(wasm::ValType::I32);
635 Params.push_back(wasm::ValType::I32);
636 Params.push_back(wasm::ValType::I32);
637 Params.push_back(iPTR);
639 case i64_func_i64_i64:
640 Rets.push_back(wasm::ValType::I64);
641 Params.push_back(wasm::ValType::I64);
642 Params.push_back(wasm::ValType::I64);
644 case i64_func_i64_i64_iPTR:
645 Rets.push_back(wasm::ValType::I64);
646 Params.push_back(wasm::ValType::I64);
647 Params.push_back(wasm::ValType::I64);
648 Params.push_back(iPTR);
650 case i64_i64_func_f32:
651 #if 0 // TODO: Enable this when wasm gets multiple-return-value support.
652 Rets.push_back(wasm::ValType::I64);
653 Rets.push_back(wasm::ValType::I64);
655 Params.push_back(iPTR);
657 Params.push_back(wasm::ValType::F32);
659 case i64_i64_func_f64:
660 #if 0 // TODO: Enable this when wasm gets multiple-return-value support.
661 Rets.push_back(wasm::ValType::I64);
662 Rets.push_back(wasm::ValType::I64);
664 Params.push_back(iPTR);
666 Params.push_back(wasm::ValType::F64);
668 case i16_i16_func_i16_i16:
669 #if 0 // TODO: Enable this when wasm gets multiple-return-value support.
670 Rets.push_back(wasm::ValType::I32);
671 Rets.push_back(wasm::ValType::I32);
673 Params.push_back(iPTR);
675 Params.push_back(wasm::ValType::I32);
676 Params.push_back(wasm::ValType::I32);
678 case i32_i32_func_i32_i32:
679 #if 0 // TODO: Enable this when wasm gets multiple-return-value support.
680 Rets.push_back(wasm::ValType::I32);
681 Rets.push_back(wasm::ValType::I32);
683 Params.push_back(iPTR);
685 Params.push_back(wasm::ValType::I32);
686 Params.push_back(wasm::ValType::I32);
688 case i64_i64_func_i64_i64:
689 #if 0 // TODO: Enable this when wasm gets multiple-return-value support.
690 Rets.push_back(wasm::ValType::I64);
691 Rets.push_back(wasm::ValType::I64);
693 Params.push_back(iPTR);
695 Params.push_back(wasm::ValType::I64);
696 Params.push_back(wasm::ValType::I64);
698 case i64_i64_func_i64_i64_i64_i64:
699 #if 0 // TODO: Enable this when wasm gets multiple-return-value support.
700 Rets.push_back(wasm::ValType::I64);
701 Rets.push_back(wasm::ValType::I64);
703 Params.push_back(iPTR);
705 Params.push_back(wasm::ValType::I64);
706 Params.push_back(wasm::ValType::I64);
707 Params.push_back(wasm::ValType::I64);
708 Params.push_back(wasm::ValType::I64);
710 case i64_i64_func_i64_i64_i64_i64_iPTR:
711 #if 0 // TODO: Enable this when wasm gets multiple-return-value support.
712 Rets.push_back(wasm::ValType::I64);
713 Rets.push_back(wasm::ValType::I64);
715 Params.push_back(iPTR);
717 Params.push_back(wasm::ValType::I64);
718 Params.push_back(wasm::ValType::I64);
719 Params.push_back(wasm::ValType::I64);
720 Params.push_back(wasm::ValType::I64);
721 Params.push_back(iPTR);
723 case i64_i64_i64_i64_func_i64_i64_i64_i64:
724 #if 0 // TODO: Enable this when wasm gets multiple-return-value support.
725 Rets.push_back(wasm::ValType::I64);
726 Rets.push_back(wasm::ValType::I64);
727 Rets.push_back(wasm::ValType::I64);
728 Rets.push_back(wasm::ValType::I64);
730 Params.push_back(iPTR);
732 Params.push_back(wasm::ValType::I64);
733 Params.push_back(wasm::ValType::I64);
734 Params.push_back(wasm::ValType::I64);
735 Params.push_back(wasm::ValType::I64);
737 case i64_i64_func_i64_i64_i32:
738 #if 0 // TODO: Enable this when wasm gets multiple-return-value support.
739 Rets.push_back(wasm::ValType::I64);
740 Rets.push_back(wasm::ValType::I64);
741 Rets.push_back(wasm::ValType::I64);
742 Rets.push_back(wasm::ValType::I64);
744 Params.push_back(iPTR);
746 Params.push_back(wasm::ValType::I64);
747 Params.push_back(wasm::ValType::I64);
748 Params.push_back(wasm::ValType::I32);
750 case iPTR_func_iPTR_i32_iPTR:
751 Rets.push_back(iPTR);
752 Params.push_back(iPTR);
753 Params.push_back(wasm::ValType::I32);
754 Params.push_back(iPTR);
756 case iPTR_func_iPTR_iPTR_iPTR:
757 Rets.push_back(iPTR);
758 Params.push_back(iPTR);
759 Params.push_back(iPTR);
760 Params.push_back(iPTR);
762 case f32_func_f32_f32_f32:
763 Rets.push_back(wasm::ValType::F32);
764 Params.push_back(wasm::ValType::F32);
765 Params.push_back(wasm::ValType::F32);
766 Params.push_back(wasm::ValType::F32);
768 case f64_func_f64_f64_f64:
769 Rets.push_back(wasm::ValType::F64);
770 Params.push_back(wasm::ValType::F64);
771 Params.push_back(wasm::ValType::F64);
772 Params.push_back(wasm::ValType::F64);
774 case func_i64_i64_iPTR_iPTR:
775 Params.push_back(wasm::ValType::I64);
776 Params.push_back(wasm::ValType::I64);
777 Params.push_back(iPTR);
778 Params.push_back(iPTR);
781 Params.push_back(iPTR);
782 Params.push_back(wasm::ValType::F32);
785 Params.push_back(iPTR);
786 Params.push_back(wasm::ValType::F64);
789 Params.push_back(iPTR);
790 Params.push_back(wasm::ValType::I32);
793 Params.push_back(iPTR);
794 Params.push_back(wasm::ValType::I64);
796 case func_iPTR_i64_i64:
797 Params.push_back(iPTR);
798 Params.push_back(wasm::ValType::I64);
799 Params.push_back(wasm::ValType::I64);
801 case func_iPTR_i64_i64_i64_i64:
802 Params.push_back(iPTR);
803 Params.push_back(wasm::ValType::I64);
804 Params.push_back(wasm::ValType::I64);
805 Params.push_back(wasm::ValType::I64);
806 Params.push_back(wasm::ValType::I64);
808 case func_iPTR_i64_i64_i64_i64_i64_i64:
809 Params.push_back(iPTR);
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);
814 Params.push_back(wasm::ValType::I64);
815 Params.push_back(wasm::ValType::I64);
817 case i32_func_i64_i64:
818 Rets.push_back(wasm::ValType::I32);
819 Params.push_back(wasm::ValType::I64);
820 Params.push_back(wasm::ValType::I64);
822 case i32_func_i64_i64_i64_i64:
823 Rets.push_back(wasm::ValType::I32);
824 Params.push_back(wasm::ValType::I64);
825 Params.push_back(wasm::ValType::I64);
826 Params.push_back(wasm::ValType::I64);
827 Params.push_back(wasm::ValType::I64);
830 llvm_unreachable("unsupported runtime library signature");
834 static ManagedStatic<StaticLibcallNameMap> LibcallNameMap;
835 // TODO: If the RTLIB::Libcall-taking flavor of GetSignature remains unsed
836 // other than here, just roll its logic into this version.
837 void llvm::GetSignature(const WebAssemblySubtarget &Subtarget, const char *Name,
838 SmallVectorImpl<wasm::ValType> &Rets,
839 SmallVectorImpl<wasm::ValType> &Params) {
840 auto& Map = LibcallNameMap->Map;
841 auto val = Map.find(Name);
842 assert(val != Map.end() && "unexpected runtime library name");
843 return GetSignature(Subtarget, val->second, Rets, Params);