]> CyberLeo.Net >> Repos - FreeBSD/FreeBSD.git/blob - contrib/llvm/lib/Target/WebAssembly/WebAssemblyRuntimeLibcallSignatures.cpp
Merge clang 7.0.1 and several follow-up changes
[FreeBSD/FreeBSD.git] / contrib / llvm / lib / Target / WebAssembly / WebAssemblyRuntimeLibcallSignatures.cpp
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
92 struct RuntimeLibcallSignatureTable {
93   std::vector<RuntimeLibcallSignature> Table;
94
95   // Any newly-added libcalls will be unsupported by default.
96   RuntimeLibcallSignatureTable() : Table(RTLIB::UNKNOWN_LIBCALL, unsupported) {
97     // Integer
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;
150
151     // Floating-point.
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;
231
232     // Conversion
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;
278
279     // Comparison
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;
308
309     // Memory
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;
313
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;
326
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;
332
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;
395
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;
404
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;
411
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;
418
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;
425
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;
431
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;
437
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;
443
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;
449
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;
455
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;
461   }
462 };
463
464 ManagedStatic<RuntimeLibcallSignatureTable> RuntimeLibcallSignatures;
465
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
475     };
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;
482       }
483     }
484   }
485 };
486
487 } // end anonymous namespace
488
489
490
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());
496
497   wasm::ValType iPTR =
498       Subtarget.hasAddr64() ? wasm::ValType::I64 : wasm::ValType::I32;
499
500   auto& Table = RuntimeLibcallSignatures->Table;
501   switch (Table[LC]) {
502   case func:
503     break;
504   case f32_func_f32:
505     Rets.push_back(wasm::ValType::F32);
506     Params.push_back(wasm::ValType::F32);
507     break;
508   case f32_func_f64:
509     Rets.push_back(wasm::ValType::F32);
510     Params.push_back(wasm::ValType::F64);
511     break;
512   case f32_func_i32:
513     Rets.push_back(wasm::ValType::F32);
514     Params.push_back(wasm::ValType::I32);
515     break;
516   case f32_func_i64:
517     Rets.push_back(wasm::ValType::F32);
518     Params.push_back(wasm::ValType::I64);
519     break;
520   case f32_func_i16:
521     Rets.push_back(wasm::ValType::F32);
522     Params.push_back(wasm::ValType::I32);
523     break;
524   case f64_func_f32:
525     Rets.push_back(wasm::ValType::F64);
526     Params.push_back(wasm::ValType::F32);
527     break;
528   case f64_func_f64:
529     Rets.push_back(wasm::ValType::F64);
530     Params.push_back(wasm::ValType::F64);
531     break;
532   case f64_func_i32:
533     Rets.push_back(wasm::ValType::F64);
534     Params.push_back(wasm::ValType::I32);
535     break;
536   case f64_func_i64:
537     Rets.push_back(wasm::ValType::F64);
538     Params.push_back(wasm::ValType::I64);
539     break;
540   case i32_func_f32:
541     Rets.push_back(wasm::ValType::I32);
542     Params.push_back(wasm::ValType::F32);
543     break;
544   case i32_func_f64:
545     Rets.push_back(wasm::ValType::I32);
546     Params.push_back(wasm::ValType::F64);
547     break;
548   case i32_func_i32:
549     Rets.push_back(wasm::ValType::I32);
550     Params.push_back(wasm::ValType::I32);
551     break;
552   case i64_func_f32:
553     Rets.push_back(wasm::ValType::I64);
554     Params.push_back(wasm::ValType::F32);
555     break;
556   case i64_func_f64:
557     Rets.push_back(wasm::ValType::I64);
558     Params.push_back(wasm::ValType::F64);
559     break;
560   case i64_func_i64:
561     Rets.push_back(wasm::ValType::I64);
562     Params.push_back(wasm::ValType::I64);
563     break;
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);
568     break;
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);
573     break;
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);
578     break;
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);
583     break;
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);
588     break;
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);
593     break;
594   case i16_func_f32:
595     Rets.push_back(wasm::ValType::I32);
596     Params.push_back(wasm::ValType::F32);
597     break;
598   case i8_func_i8_i8:
599     Rets.push_back(wasm::ValType::I32);
600     Params.push_back(wasm::ValType::I32);
601     Params.push_back(wasm::ValType::I32);
602     break;
603   case func_f32_iPTR_iPTR:
604     Params.push_back(wasm::ValType::F32);
605     Params.push_back(iPTR);
606     Params.push_back(iPTR);
607     break;
608   case func_f64_iPTR_iPTR:
609     Params.push_back(wasm::ValType::F64);
610     Params.push_back(iPTR);
611     Params.push_back(iPTR);
612     break;
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);
617     break;
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);
622     break;
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);
627     break;
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);
632     break;
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);
638     break;
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);
643     break;
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);
649     break;
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);
654 #else
655     Params.push_back(iPTR);
656 #endif
657     Params.push_back(wasm::ValType::F32);
658     break;
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);
663 #else
664     Params.push_back(iPTR);
665 #endif
666     Params.push_back(wasm::ValType::F64);
667     break;
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);
672 #else
673     Params.push_back(iPTR);
674 #endif
675     Params.push_back(wasm::ValType::I32);
676     Params.push_back(wasm::ValType::I32);
677     break;
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);
682 #else
683     Params.push_back(iPTR);
684 #endif
685     Params.push_back(wasm::ValType::I32);
686     Params.push_back(wasm::ValType::I32);
687     break;
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);
692 #else
693     Params.push_back(iPTR);
694 #endif
695     Params.push_back(wasm::ValType::I64);
696     Params.push_back(wasm::ValType::I64);
697     break;
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);
702 #else
703     Params.push_back(iPTR);
704 #endif
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);
709     break;
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);
714 #else
715     Params.push_back(iPTR);
716 #endif
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);
722     break;
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);
729 #else
730     Params.push_back(iPTR);
731 #endif
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);
736     break;
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);
743 #else
744     Params.push_back(iPTR);
745 #endif
746     Params.push_back(wasm::ValType::I64);
747     Params.push_back(wasm::ValType::I64);
748     Params.push_back(wasm::ValType::I32);
749     break;
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);
755     break;
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);
761     break;
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);
767     break;
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);
773     break;
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);
779     break;
780   case func_iPTR_f32:
781     Params.push_back(iPTR);
782     Params.push_back(wasm::ValType::F32);
783     break;
784   case func_iPTR_f64:
785     Params.push_back(iPTR);
786     Params.push_back(wasm::ValType::F64);
787     break;
788   case func_iPTR_i32:
789     Params.push_back(iPTR);
790     Params.push_back(wasm::ValType::I32);
791     break;
792   case func_iPTR_i64:
793     Params.push_back(iPTR);
794     Params.push_back(wasm::ValType::I64);
795     break;
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);
800     break;
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);
807     break;
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);
816     break;
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);
821     break;
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);
828     break;
829   case unsupported:
830     llvm_unreachable("unsupported runtime library signature");
831   }
832 }
833
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);
844 }