1 // 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
11 /// This file contains signature information for runtime libcalls.
12 ///
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"
25 #include "llvm/Support/ManagedStatic.h"
26 
27 using namespace llvm;
28 
29 namespace {
30 
31 enum 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,
62   i32_func_i32_i32_iPTR,
63   i64_func_i64_i64,
64   i64_func_i64_i64_iPTR,
65   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,
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,
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 
91 struct 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;
114     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;
117     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;
301     // 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;
307 
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 
463 ManagedStatic<RuntimeLibcallSignatureTable> RuntimeLibcallSignatures;
464 
465 // Maps libcall names to their RTLIB::Libcall number. Builds the map in a
466 // constructor for use with ManagedStatic
467 struct StaticLibcallNameMap {
468   StringMap<RTLIB::Libcall> Map;
469   StaticLibcallNameMap() {
470     static const std::pair<const char *, RTLIB::Libcall> NameLibcalls[] = {
471 #define HANDLE_LIBCALL(code, name) {(const char *)name, RTLIB::code},
472 #include "llvm/IR/RuntimeLibcalls.def"
473 #undef HANDLE_LIBCALL
474     };
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     }
483   }
484 };
485 
486 } // end anonymous namespace
487 
488 void llvm::GetSignature(const WebAssemblySubtarget &Subtarget,
489                         RTLIB::Libcall LC, SmallVectorImpl<wasm::ValType> &Rets,
490                         SmallVectorImpl<wasm::ValType> &Params) {
491   assert(Rets.empty());
492   assert(Params.empty());
493 
494   wasm::ValType iPTR =
495       Subtarget.hasAddr64() ? wasm::ValType::I64 : wasm::ValType::I32;
496 
497   auto &Table = RuntimeLibcallSignatures->Table;
498   switch (Table[LC]) {
499   case func:
500     break;
501   case f32_func_f32:
502     Rets.push_back(wasm::ValType::F32);
503     Params.push_back(wasm::ValType::F32);
504     break;
505   case f32_func_f64:
506     Rets.push_back(wasm::ValType::F32);
507     Params.push_back(wasm::ValType::F64);
508     break;
509   case f32_func_i32:
510     Rets.push_back(wasm::ValType::F32);
511     Params.push_back(wasm::ValType::I32);
512     break;
513   case f32_func_i64:
514     Rets.push_back(wasm::ValType::F32);
515     Params.push_back(wasm::ValType::I64);
516     break;
517   case f32_func_i16:
518     Rets.push_back(wasm::ValType::F32);
519     Params.push_back(wasm::ValType::I32);
520     break;
521   case f64_func_f32:
522     Rets.push_back(wasm::ValType::F64);
523     Params.push_back(wasm::ValType::F32);
524     break;
525   case f64_func_f64:
526     Rets.push_back(wasm::ValType::F64);
527     Params.push_back(wasm::ValType::F64);
528     break;
529   case f64_func_i32:
530     Rets.push_back(wasm::ValType::F64);
531     Params.push_back(wasm::ValType::I32);
532     break;
533   case f64_func_i64:
534     Rets.push_back(wasm::ValType::F64);
535     Params.push_back(wasm::ValType::I64);
536     break;
537   case i32_func_f32:
538     Rets.push_back(wasm::ValType::I32);
539     Params.push_back(wasm::ValType::F32);
540     break;
541   case i32_func_f64:
542     Rets.push_back(wasm::ValType::I32);
543     Params.push_back(wasm::ValType::F64);
544     break;
545   case i32_func_i32:
546     Rets.push_back(wasm::ValType::I32);
547     Params.push_back(wasm::ValType::I32);
548     break;
549   case i64_func_f32:
550     Rets.push_back(wasm::ValType::I64);
551     Params.push_back(wasm::ValType::F32);
552     break;
553   case i64_func_f64:
554     Rets.push_back(wasm::ValType::I64);
555     Params.push_back(wasm::ValType::F64);
556     break;
557   case i64_func_i64:
558     Rets.push_back(wasm::ValType::I64);
559     Params.push_back(wasm::ValType::I64);
560     break;
561   case f32_func_f32_f32:
562     Rets.push_back(wasm::ValType::F32);
563     Params.push_back(wasm::ValType::F32);
564     Params.push_back(wasm::ValType::F32);
565     break;
566   case f32_func_f32_i32:
567     Rets.push_back(wasm::ValType::F32);
568     Params.push_back(wasm::ValType::F32);
569     Params.push_back(wasm::ValType::I32);
570     break;
571   case f32_func_i64_i64:
572     Rets.push_back(wasm::ValType::F32);
573     Params.push_back(wasm::ValType::I64);
574     Params.push_back(wasm::ValType::I64);
575     break;
576   case f64_func_f64_f64:
577     Rets.push_back(wasm::ValType::F64);
578     Params.push_back(wasm::ValType::F64);
579     Params.push_back(wasm::ValType::F64);
580     break;
581   case f64_func_f64_i32:
582     Rets.push_back(wasm::ValType::F64);
583     Params.push_back(wasm::ValType::F64);
584     Params.push_back(wasm::ValType::I32);
585     break;
586   case f64_func_i64_i64:
587     Rets.push_back(wasm::ValType::F64);
588     Params.push_back(wasm::ValType::I64);
589     Params.push_back(wasm::ValType::I64);
590     break;
591   case i16_func_f32:
592     Rets.push_back(wasm::ValType::I32);
593     Params.push_back(wasm::ValType::F32);
594     break;
595   case i8_func_i8_i8:
596     Rets.push_back(wasm::ValType::I32);
597     Params.push_back(wasm::ValType::I32);
598     Params.push_back(wasm::ValType::I32);
599     break;
600   case func_f32_iPTR_iPTR:
601     Params.push_back(wasm::ValType::F32);
602     Params.push_back(iPTR);
603     Params.push_back(iPTR);
604     break;
605   case func_f64_iPTR_iPTR:
606     Params.push_back(wasm::ValType::F64);
607     Params.push_back(iPTR);
608     Params.push_back(iPTR);
609     break;
610   case i16_func_i16_i16:
611     Rets.push_back(wasm::ValType::I32);
612     Params.push_back(wasm::ValType::I32);
613     Params.push_back(wasm::ValType::I32);
614     break;
615   case i32_func_f32_f32:
616     Rets.push_back(wasm::ValType::I32);
617     Params.push_back(wasm::ValType::F32);
618     Params.push_back(wasm::ValType::F32);
619     break;
620   case i32_func_f64_f64:
621     Rets.push_back(wasm::ValType::I32);
622     Params.push_back(wasm::ValType::F64);
623     Params.push_back(wasm::ValType::F64);
624     break;
625   case i32_func_i32_i32:
626     Rets.push_back(wasm::ValType::I32);
627     Params.push_back(wasm::ValType::I32);
628     Params.push_back(wasm::ValType::I32);
629     break;
630   case i32_func_i32_i32_iPTR:
631     Rets.push_back(wasm::ValType::I32);
632     Params.push_back(wasm::ValType::I32);
633     Params.push_back(wasm::ValType::I32);
634     Params.push_back(iPTR);
635     break;
636   case i64_func_i64_i64:
637     Rets.push_back(wasm::ValType::I64);
638     Params.push_back(wasm::ValType::I64);
639     Params.push_back(wasm::ValType::I64);
640     break;
641   case i64_func_i64_i64_iPTR:
642     Rets.push_back(wasm::ValType::I64);
643     Params.push_back(wasm::ValType::I64);
644     Params.push_back(wasm::ValType::I64);
645     Params.push_back(iPTR);
646     break;
647   case i64_i64_func_f32:
648 #if 0 // TODO: Enable this when wasm gets multiple-return-value support.
649     Rets.push_back(wasm::ValType::I64);
650     Rets.push_back(wasm::ValType::I64);
651 #else
652     Params.push_back(iPTR);
653 #endif
654     Params.push_back(wasm::ValType::F32);
655     break;
656   case i64_i64_func_f64:
657 #if 0 // TODO: Enable this when wasm gets multiple-return-value support.
658     Rets.push_back(wasm::ValType::I64);
659     Rets.push_back(wasm::ValType::I64);
660 #else
661     Params.push_back(iPTR);
662 #endif
663     Params.push_back(wasm::ValType::F64);
664     break;
665   case i16_i16_func_i16_i16:
666 #if 0 // TODO: Enable this when wasm gets multiple-return-value support.
667     Rets.push_back(wasm::ValType::I32);
668     Rets.push_back(wasm::ValType::I32);
669 #else
670     Params.push_back(iPTR);
671 #endif
672     Params.push_back(wasm::ValType::I32);
673     Params.push_back(wasm::ValType::I32);
674     break;
675   case i32_i32_func_i32_i32:
676 #if 0 // TODO: Enable this when wasm gets multiple-return-value support.
677     Rets.push_back(wasm::ValType::I32);
678     Rets.push_back(wasm::ValType::I32);
679 #else
680     Params.push_back(iPTR);
681 #endif
682     Params.push_back(wasm::ValType::I32);
683     Params.push_back(wasm::ValType::I32);
684     break;
685   case i64_i64_func_i64_i64:
686 #if 0 // TODO: Enable this when wasm gets multiple-return-value support.
687     Rets.push_back(wasm::ValType::I64);
688     Rets.push_back(wasm::ValType::I64);
689 #else
690     Params.push_back(iPTR);
691 #endif
692     Params.push_back(wasm::ValType::I64);
693     Params.push_back(wasm::ValType::I64);
694     break;
695   case i64_i64_func_i64_i64_i64_i64:
696 #if 0 // TODO: Enable this when wasm gets multiple-return-value support.
697     Rets.push_back(wasm::ValType::I64);
698     Rets.push_back(wasm::ValType::I64);
699 #else
700     Params.push_back(iPTR);
701 #endif
702     Params.push_back(wasm::ValType::I64);
703     Params.push_back(wasm::ValType::I64);
704     Params.push_back(wasm::ValType::I64);
705     Params.push_back(wasm::ValType::I64);
706     break;
707   case i64_i64_func_i64_i64_i64_i64_iPTR:
708 #if 0 // TODO: Enable this when wasm gets multiple-return-value support.
709     Rets.push_back(wasm::ValType::I64);
710     Rets.push_back(wasm::ValType::I64);
711 #else
712     Params.push_back(iPTR);
713 #endif
714     Params.push_back(wasm::ValType::I64);
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(iPTR);
719     break;
720   case i64_i64_i64_i64_func_i64_i64_i64_i64:
721 #if 0 // TODO: Enable this when wasm gets multiple-return-value support.
722     Rets.push_back(wasm::ValType::I64);
723     Rets.push_back(wasm::ValType::I64);
724     Rets.push_back(wasm::ValType::I64);
725     Rets.push_back(wasm::ValType::I64);
726 #else
727     Params.push_back(iPTR);
728 #endif
729     Params.push_back(wasm::ValType::I64);
730     Params.push_back(wasm::ValType::I64);
731     Params.push_back(wasm::ValType::I64);
732     Params.push_back(wasm::ValType::I64);
733     break;
734   case i64_i64_func_i64_i64_i32:
735 #if 0 // TODO: Enable this when wasm gets multiple-return-value support.
736     Rets.push_back(wasm::ValType::I64);
737     Rets.push_back(wasm::ValType::I64);
738     Rets.push_back(wasm::ValType::I64);
739     Rets.push_back(wasm::ValType::I64);
740 #else
741     Params.push_back(iPTR);
742 #endif
743     Params.push_back(wasm::ValType::I64);
744     Params.push_back(wasm::ValType::I64);
745     Params.push_back(wasm::ValType::I32);
746     break;
747   case iPTR_func_iPTR_i32_iPTR:
748     Rets.push_back(iPTR);
749     Params.push_back(iPTR);
750     Params.push_back(wasm::ValType::I32);
751     Params.push_back(iPTR);
752     break;
753   case iPTR_func_iPTR_iPTR_iPTR:
754     Rets.push_back(iPTR);
755     Params.push_back(iPTR);
756     Params.push_back(iPTR);
757     Params.push_back(iPTR);
758     break;
759   case f32_func_f32_f32_f32:
760     Rets.push_back(wasm::ValType::F32);
761     Params.push_back(wasm::ValType::F32);
762     Params.push_back(wasm::ValType::F32);
763     Params.push_back(wasm::ValType::F32);
764     break;
765   case f64_func_f64_f64_f64:
766     Rets.push_back(wasm::ValType::F64);
767     Params.push_back(wasm::ValType::F64);
768     Params.push_back(wasm::ValType::F64);
769     Params.push_back(wasm::ValType::F64);
770     break;
771   case func_i64_i64_iPTR_iPTR:
772     Params.push_back(wasm::ValType::I64);
773     Params.push_back(wasm::ValType::I64);
774     Params.push_back(iPTR);
775     Params.push_back(iPTR);
776     break;
777   case func_iPTR_f32:
778     Params.push_back(iPTR);
779     Params.push_back(wasm::ValType::F32);
780     break;
781   case func_iPTR_f64:
782     Params.push_back(iPTR);
783     Params.push_back(wasm::ValType::F64);
784     break;
785   case func_iPTR_i32:
786     Params.push_back(iPTR);
787     Params.push_back(wasm::ValType::I32);
788     break;
789   case func_iPTR_i64:
790     Params.push_back(iPTR);
791     Params.push_back(wasm::ValType::I64);
792     break;
793   case func_iPTR_i64_i64:
794     Params.push_back(iPTR);
795     Params.push_back(wasm::ValType::I64);
796     Params.push_back(wasm::ValType::I64);
797     break;
798   case func_iPTR_i64_i64_i64_i64:
799     Params.push_back(iPTR);
800     Params.push_back(wasm::ValType::I64);
801     Params.push_back(wasm::ValType::I64);
802     Params.push_back(wasm::ValType::I64);
803     Params.push_back(wasm::ValType::I64);
804     break;
805   case func_iPTR_i64_i64_i64_i64_i64_i64:
806     Params.push_back(iPTR);
807     Params.push_back(wasm::ValType::I64);
808     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     break;
814   case i32_func_i64_i64:
815     Rets.push_back(wasm::ValType::I32);
816     Params.push_back(wasm::ValType::I64);
817     Params.push_back(wasm::ValType::I64);
818     break;
819   case i32_func_i64_i64_i64_i64:
820     Rets.push_back(wasm::ValType::I32);
821     Params.push_back(wasm::ValType::I64);
822     Params.push_back(wasm::ValType::I64);
823     Params.push_back(wasm::ValType::I64);
824     Params.push_back(wasm::ValType::I64);
825     break;
826   case unsupported:
827     llvm_unreachable("unsupported runtime library signature");
828   }
829 }
830 
831 static ManagedStatic<StaticLibcallNameMap> LibcallNameMap;
832 // TODO: If the RTLIB::Libcall-taking flavor of GetSignature remains unsed
833 // other than here, just roll its logic into this version.
834 void llvm::GetSignature(const WebAssemblySubtarget &Subtarget, const char *Name,
835                         SmallVectorImpl<wasm::ValType> &Rets,
836                         SmallVectorImpl<wasm::ValType> &Params) {
837   auto &Map = LibcallNameMap->Map;
838   auto val = Map.find(Name);
839   assert(val != Map.end() && "unexpected runtime library name");
840   return GetSignature(Subtarget, val->second, Rets, Params);
841 }
842