1 | // CodeGen/RuntimeLibcallSignatures.cpp - R.T. Lib. Call Signatures -*- C++ -*-- |
2 | // |
3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
4 | // See https://llvm.org/LICENSE.txt for license information. |
5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
6 | // |
7 | //===----------------------------------------------------------------------===// |
8 | /// |
9 | /// \file |
10 | /// This file contains signature information for runtime libcalls. |
11 | /// |
12 | /// CodeGen uses external symbols, which it refers to by name. The WebAssembly |
13 | /// target needs type information for all functions. This file contains a big |
14 | /// table providing type signatures for all runtime library functions that LLVM |
15 | /// uses. |
16 | /// |
17 | /// This is currently a fairly heavy-handed solution. |
18 | /// |
19 | //===----------------------------------------------------------------------===// |
20 | |
21 | #include "WebAssemblyRuntimeLibcallSignatures.h" |
22 | #include "WebAssemblySubtarget.h" |
23 | #include "WebAssemblyUtilities.h" |
24 | #include "llvm/CodeGen/RuntimeLibcalls.h" |
25 | |
26 | using namespace llvm; |
27 | |
28 | namespace { |
29 | |
30 | enum RuntimeLibcallSignature { |
31 | func, |
32 | f32_func_f32, |
33 | f32_func_f64, |
34 | f32_func_i32, |
35 | f32_func_i64, |
36 | f32_func_i16, |
37 | f64_func_f32, |
38 | f64_func_f64, |
39 | f64_func_i32, |
40 | f64_func_i64, |
41 | i32_func_f32, |
42 | i32_func_f64, |
43 | i32_func_i32, |
44 | i64_func_f32, |
45 | i64_func_f64, |
46 | i64_func_i64, |
47 | f32_func_f32_f32, |
48 | f32_func_f32_i32, |
49 | f32_func_i64_i64, |
50 | f64_func_f64_f64, |
51 | f64_func_f64_i32, |
52 | f64_func_i64_i64, |
53 | i16_func_f32, |
54 | i16_func_f64, |
55 | i16_func_i64_i64, |
56 | i8_func_i8_i8, |
57 | func_f32_iPTR_iPTR, |
58 | func_f64_iPTR_iPTR, |
59 | i16_func_i16_i16, |
60 | i32_func_f32_f32, |
61 | i32_func_f64_f64, |
62 | i32_func_i32_i32, |
63 | i32_func_i32_i32_iPTR, |
64 | i64_func_i64_i64, |
65 | i64_func_i64_i64_iPTR, |
66 | i64_i64_func_i32, |
67 | i64_i64_func_i64, |
68 | i64_i64_func_f32, |
69 | i64_i64_func_f64, |
70 | i16_i16_func_i16_i16, |
71 | i32_i32_func_i32_i32, |
72 | i64_i64_func_i64_i64, |
73 | i64_i64_func_i64_i64_i64_i64, |
74 | i64_i64_func_i64_i64_i64_i64_iPTR, |
75 | i64_i64_i64_i64_func_i64_i64_i64_i64, |
76 | i64_i64_func_i64_i64_i32, |
77 | i64_i64_func_i64_i64_i64_i64_i64_i64, |
78 | iPTR_func_i32, |
79 | iPTR_func_iPTR_i32_iPTR, |
80 | iPTR_func_iPTR_iPTR_iPTR, |
81 | f32_func_f32_f32_f32, |
82 | f64_func_f64_f64_f64, |
83 | func_i64_i64_iPTR_iPTR, |
84 | i32_func_i64_i64, |
85 | i32_func_i64_i64_i64_i64, |
86 | iPTR_func_f32, |
87 | iPTR_func_f64, |
88 | iPTR_func_i64_i64, |
89 | unsupported |
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] = i64_i64_func_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] = i64_i64_func_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] = i64_i64_func_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] = i64_i64_func_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] = i64_i64_func_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] = i64_i64_func_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] = i64_i64_func_i64_i64_i32; |
174 | Table[RTLIB::SQRT_F32] = f32_func_f32; |
175 | Table[RTLIB::SQRT_F64] = f64_func_f64; |
176 | Table[RTLIB::SQRT_F128] = i64_i64_func_i64_i64; |
177 | Table[RTLIB::CBRT_F32] = f32_func_f32; |
178 | Table[RTLIB::CBRT_F64] = f64_func_f64; |
179 | Table[RTLIB::CBRT_F128] = i64_i64_func_i64_i64; |
180 | Table[RTLIB::LOG_F32] = f32_func_f32; |
181 | Table[RTLIB::LOG_F64] = f64_func_f64; |
182 | Table[RTLIB::LOG_F128] = i64_i64_func_i64_i64; |
183 | Table[RTLIB::LOG2_F32] = f32_func_f32; |
184 | Table[RTLIB::LOG2_F64] = f64_func_f64; |
185 | Table[RTLIB::LOG2_F128] = i64_i64_func_i64_i64; |
186 | Table[RTLIB::LOG10_F32] = f32_func_f32; |
187 | Table[RTLIB::LOG10_F64] = f64_func_f64; |
188 | Table[RTLIB::LOG10_F128] = i64_i64_func_i64_i64; |
189 | Table[RTLIB::EXP_F32] = f32_func_f32; |
190 | Table[RTLIB::EXP_F64] = f64_func_f64; |
191 | Table[RTLIB::EXP_F128] = i64_i64_func_i64_i64; |
192 | Table[RTLIB::EXP2_F32] = f32_func_f32; |
193 | Table[RTLIB::EXP2_F64] = f64_func_f64; |
194 | Table[RTLIB::EXP2_F128] = i64_i64_func_i64_i64; |
195 | Table[RTLIB::EXP10_F32] = f32_func_f32; |
196 | Table[RTLIB::EXP10_F64] = f64_func_f64; |
197 | Table[RTLIB::EXP10_F128] = i64_i64_func_i64_i64; |
198 | Table[RTLIB::SIN_F32] = f32_func_f32; |
199 | Table[RTLIB::SIN_F64] = f64_func_f64; |
200 | Table[RTLIB::SIN_F128] = i64_i64_func_i64_i64; |
201 | Table[RTLIB::COS_F32] = f32_func_f32; |
202 | Table[RTLIB::COS_F64] = f64_func_f64; |
203 | Table[RTLIB::COS_F128] = i64_i64_func_i64_i64; |
204 | Table[RTLIB::SINCOS_F32] = func_f32_iPTR_iPTR; |
205 | Table[RTLIB::SINCOS_F64] = func_f64_iPTR_iPTR; |
206 | Table[RTLIB::SINCOS_F128] = func_i64_i64_iPTR_iPTR; |
207 | Table[RTLIB::POW_F32] = f32_func_f32_f32; |
208 | Table[RTLIB::POW_F64] = f64_func_f64_f64; |
209 | Table[RTLIB::POW_F128] = i64_i64_func_i64_i64_i64_i64; |
210 | Table[RTLIB::CEIL_F32] = f32_func_f32; |
211 | Table[RTLIB::CEIL_F64] = f64_func_f64; |
212 | Table[RTLIB::CEIL_F128] = i64_i64_func_i64_i64; |
213 | Table[RTLIB::TRUNC_F32] = f32_func_f32; |
214 | Table[RTLIB::TRUNC_F64] = f64_func_f64; |
215 | Table[RTLIB::TRUNC_F128] = i64_i64_func_i64_i64; |
216 | Table[RTLIB::RINT_F32] = f32_func_f32; |
217 | Table[RTLIB::RINT_F64] = f64_func_f64; |
218 | Table[RTLIB::RINT_F128] = i64_i64_func_i64_i64; |
219 | Table[RTLIB::NEARBYINT_F32] = f32_func_f32; |
220 | Table[RTLIB::NEARBYINT_F64] = f64_func_f64; |
221 | Table[RTLIB::NEARBYINT_F128] = i64_i64_func_i64_i64; |
222 | Table[RTLIB::ROUND_F32] = f32_func_f32; |
223 | Table[RTLIB::ROUND_F64] = f64_func_f64; |
224 | Table[RTLIB::ROUND_F128] = i64_i64_func_i64_i64; |
225 | Table[RTLIB::ROUNDEVEN_F32] = f32_func_f32; |
226 | Table[RTLIB::ROUNDEVEN_F64] = f64_func_f64; |
227 | Table[RTLIB::ROUNDEVEN_F128] = i64_i64_func_i64_i64; |
228 | Table[RTLIB::LROUND_F32] = iPTR_func_f32; |
229 | Table[RTLIB::LROUND_F64] = iPTR_func_f64; |
230 | Table[RTLIB::LROUND_F128] = iPTR_func_i64_i64; |
231 | Table[RTLIB::LLROUND_F32] = i64_func_f32; |
232 | Table[RTLIB::LLROUND_F64] = i64_func_f64; |
233 | Table[RTLIB::LLROUND_F128] = i64_func_i64_i64; |
234 | Table[RTLIB::LRINT_F32] = iPTR_func_f32; |
235 | Table[RTLIB::LRINT_F64] = iPTR_func_f64; |
236 | Table[RTLIB::LRINT_F128] = iPTR_func_i64_i64; |
237 | Table[RTLIB::LLRINT_F32] = i64_func_f32; |
238 | Table[RTLIB::LLRINT_F64] = i64_func_f64; |
239 | Table[RTLIB::LLRINT_F128] = i64_func_i64_i64; |
240 | Table[RTLIB::FLOOR_F32] = f32_func_f32; |
241 | Table[RTLIB::FLOOR_F64] = f64_func_f64; |
242 | Table[RTLIB::FLOOR_F128] = i64_i64_func_i64_i64; |
243 | Table[RTLIB::COPYSIGN_F32] = f32_func_f32_f32; |
244 | Table[RTLIB::COPYSIGN_F64] = f64_func_f64_f64; |
245 | Table[RTLIB::COPYSIGN_F128] = i64_i64_func_i64_i64_i64_i64; |
246 | Table[RTLIB::FMIN_F32] = f32_func_f32_f32; |
247 | Table[RTLIB::FMIN_F64] = f64_func_f64_f64; |
248 | Table[RTLIB::FMIN_F128] = i64_i64_func_i64_i64_i64_i64; |
249 | Table[RTLIB::FMAX_F32] = f32_func_f32_f32; |
250 | Table[RTLIB::FMAX_F64] = f64_func_f64_f64; |
251 | Table[RTLIB::FMAX_F128] = i64_i64_func_i64_i64_i64_i64; |
252 | Table[RTLIB::LDEXP_F32] = f32_func_f32_i32; |
253 | Table[RTLIB::LDEXP_F64] = f64_func_f64_i32; |
254 | Table[RTLIB::LDEXP_F128] = i64_i64_func_i64_i64_i32; |
255 | Table[RTLIB::FREXP_F32] = f32_func_f32_i32; |
256 | Table[RTLIB::FREXP_F64] = f64_func_f64_i32; |
257 | Table[RTLIB::FREXP_F128] = i64_i64_func_i64_i64_i32; |
258 | |
259 | // Conversion |
260 | // All F80 and PPCF128 routines are unsupported. |
261 | Table[RTLIB::FPEXT_F64_F128] = i64_i64_func_f64; |
262 | Table[RTLIB::FPEXT_F32_F128] = i64_i64_func_f32; |
263 | Table[RTLIB::FPEXT_F32_F64] = f64_func_f32; |
264 | Table[RTLIB::FPEXT_F16_F32] = f32_func_i16; |
265 | Table[RTLIB::FPROUND_F32_F16] = i16_func_f32; |
266 | Table[RTLIB::FPROUND_F64_F16] = i16_func_f64; |
267 | Table[RTLIB::FPROUND_F64_F32] = f32_func_f64; |
268 | Table[RTLIB::FPROUND_F128_F16] = i16_func_i64_i64; |
269 | Table[RTLIB::FPROUND_F128_F32] = f32_func_i64_i64; |
270 | Table[RTLIB::FPROUND_F128_F64] = f64_func_i64_i64; |
271 | Table[RTLIB::FPTOSINT_F32_I32] = i32_func_f32; |
272 | Table[RTLIB::FPTOSINT_F32_I64] = i64_func_f32; |
273 | Table[RTLIB::FPTOSINT_F32_I128] = i64_i64_func_f32; |
274 | Table[RTLIB::FPTOSINT_F64_I32] = i32_func_f64; |
275 | Table[RTLIB::FPTOSINT_F64_I64] = i64_func_f64; |
276 | Table[RTLIB::FPTOSINT_F64_I128] = i64_i64_func_f64; |
277 | Table[RTLIB::FPTOSINT_F128_I32] = i32_func_i64_i64; |
278 | Table[RTLIB::FPTOSINT_F128_I64] = i64_func_i64_i64; |
279 | Table[RTLIB::FPTOSINT_F128_I128] = i64_i64_func_i64_i64; |
280 | Table[RTLIB::FPTOUINT_F32_I32] = i32_func_f32; |
281 | Table[RTLIB::FPTOUINT_F32_I64] = i64_func_f32; |
282 | Table[RTLIB::FPTOUINT_F32_I128] = i64_i64_func_f32; |
283 | Table[RTLIB::FPTOUINT_F64_I32] = i32_func_f64; |
284 | Table[RTLIB::FPTOUINT_F64_I64] = i64_func_f64; |
285 | Table[RTLIB::FPTOUINT_F64_I128] = i64_i64_func_f64; |
286 | Table[RTLIB::FPTOUINT_F128_I32] = i32_func_i64_i64; |
287 | Table[RTLIB::FPTOUINT_F128_I64] = i64_func_i64_i64; |
288 | Table[RTLIB::FPTOUINT_F128_I128] = i64_i64_func_i64_i64; |
289 | Table[RTLIB::SINTTOFP_I32_F32] = f32_func_i32; |
290 | Table[RTLIB::SINTTOFP_I32_F64] = f64_func_i32; |
291 | Table[RTLIB::SINTTOFP_I32_F128] = i64_i64_func_i32; |
292 | Table[RTLIB::SINTTOFP_I64_F32] = f32_func_i64; |
293 | Table[RTLIB::SINTTOFP_I64_F64] = f64_func_i64; |
294 | Table[RTLIB::SINTTOFP_I64_F128] = i64_i64_func_i64; |
295 | Table[RTLIB::SINTTOFP_I128_F32] = f32_func_i64_i64; |
296 | Table[RTLIB::SINTTOFP_I128_F64] = f64_func_i64_i64; |
297 | Table[RTLIB::SINTTOFP_I128_F128] = i64_i64_func_i64_i64; |
298 | Table[RTLIB::UINTTOFP_I32_F32] = f32_func_i32; |
299 | Table[RTLIB::UINTTOFP_I32_F64] = f64_func_i64; |
300 | Table[RTLIB::UINTTOFP_I32_F128] = i64_i64_func_i32; |
301 | Table[RTLIB::UINTTOFP_I64_F32] = f32_func_i64; |
302 | Table[RTLIB::UINTTOFP_I64_F64] = f64_func_i64; |
303 | Table[RTLIB::UINTTOFP_I64_F128] = i64_i64_func_i64; |
304 | Table[RTLIB::UINTTOFP_I128_F32] = f32_func_i64_i64; |
305 | Table[RTLIB::UINTTOFP_I128_F64] = f64_func_i64_i64; |
306 | Table[RTLIB::UINTTOFP_I128_F128] = i64_i64_func_i64_i64; |
307 | |
308 | // Comparison |
309 | // ALl F80 and PPCF128 routines are unsupported. |
310 | Table[RTLIB::OEQ_F32] = i32_func_f32_f32; |
311 | Table[RTLIB::OEQ_F64] = i32_func_f64_f64; |
312 | Table[RTLIB::OEQ_F128] = i32_func_i64_i64_i64_i64; |
313 | Table[RTLIB::UNE_F32] = i32_func_f32_f32; |
314 | Table[RTLIB::UNE_F64] = i32_func_f64_f64; |
315 | Table[RTLIB::UNE_F128] = i32_func_i64_i64_i64_i64; |
316 | Table[RTLIB::OGE_F32] = i32_func_f32_f32; |
317 | Table[RTLIB::OGE_F64] = i32_func_f64_f64; |
318 | Table[RTLIB::OGE_F128] = i32_func_i64_i64_i64_i64; |
319 | Table[RTLIB::OLT_F32] = i32_func_f32_f32; |
320 | Table[RTLIB::OLT_F64] = i32_func_f64_f64; |
321 | Table[RTLIB::OLT_F128] = i32_func_i64_i64_i64_i64; |
322 | Table[RTLIB::OLE_F32] = i32_func_f32_f32; |
323 | Table[RTLIB::OLE_F64] = i32_func_f64_f64; |
324 | Table[RTLIB::OLE_F128] = i32_func_i64_i64_i64_i64; |
325 | Table[RTLIB::OGT_F32] = i32_func_f32_f32; |
326 | Table[RTLIB::OGT_F64] = i32_func_f64_f64; |
327 | Table[RTLIB::OGT_F128] = i32_func_i64_i64_i64_i64; |
328 | Table[RTLIB::UO_F32] = i32_func_f32_f32; |
329 | Table[RTLIB::UO_F64] = i32_func_f64_f64; |
330 | Table[RTLIB::UO_F128] = i32_func_i64_i64_i64_i64; |
331 | |
332 | // Memory |
333 | Table[RTLIB::MEMCPY] = iPTR_func_iPTR_iPTR_iPTR; |
334 | Table[RTLIB::MEMSET] = iPTR_func_iPTR_i32_iPTR; |
335 | Table[RTLIB::MEMMOVE] = iPTR_func_iPTR_iPTR_iPTR; |
336 | |
337 | // __stack_chk_fail |
338 | Table[RTLIB::STACKPROTECTOR_CHECK_FAIL] = func; |
339 | |
340 | // Return address handling |
341 | Table[RTLIB::RETURN_ADDRESS] = iPTR_func_i32; |
342 | |
343 | // Element-wise Atomic memory |
344 | // TODO: Fix these when we implement atomic support |
345 | Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_1] = unsupported; |
346 | Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_2] = unsupported; |
347 | Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_4] = unsupported; |
348 | Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_8] = unsupported; |
349 | Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_16] = unsupported; |
350 | Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_1] = unsupported; |
351 | Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_2] = unsupported; |
352 | Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_4] = unsupported; |
353 | Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_8] = unsupported; |
354 | Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_16] = unsupported; |
355 | |
356 | Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_1] = unsupported; |
357 | Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_2] = unsupported; |
358 | Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_4] = unsupported; |
359 | Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_8] = unsupported; |
360 | Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_16] = unsupported; |
361 | |
362 | // Atomic '__sync_*' libcalls. |
363 | // TODO: Fix these when we implement atomic support |
364 | Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_1] = unsupported; |
365 | Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_2] = unsupported; |
366 | Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_4] = unsupported; |
367 | Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_8] = unsupported; |
368 | Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_16] = unsupported; |
369 | Table[RTLIB::SYNC_LOCK_TEST_AND_SET_1] = unsupported; |
370 | Table[RTLIB::SYNC_LOCK_TEST_AND_SET_2] = unsupported; |
371 | Table[RTLIB::SYNC_LOCK_TEST_AND_SET_4] = unsupported; |
372 | Table[RTLIB::SYNC_LOCK_TEST_AND_SET_8] = unsupported; |
373 | Table[RTLIB::SYNC_LOCK_TEST_AND_SET_16] = unsupported; |
374 | Table[RTLIB::SYNC_FETCH_AND_ADD_1] = unsupported; |
375 | Table[RTLIB::SYNC_FETCH_AND_ADD_2] = unsupported; |
376 | Table[RTLIB::SYNC_FETCH_AND_ADD_4] = unsupported; |
377 | Table[RTLIB::SYNC_FETCH_AND_ADD_8] = unsupported; |
378 | Table[RTLIB::SYNC_FETCH_AND_ADD_16] = unsupported; |
379 | Table[RTLIB::SYNC_FETCH_AND_SUB_1] = unsupported; |
380 | Table[RTLIB::SYNC_FETCH_AND_SUB_2] = unsupported; |
381 | Table[RTLIB::SYNC_FETCH_AND_SUB_4] = unsupported; |
382 | Table[RTLIB::SYNC_FETCH_AND_SUB_8] = unsupported; |
383 | Table[RTLIB::SYNC_FETCH_AND_SUB_16] = unsupported; |
384 | Table[RTLIB::SYNC_FETCH_AND_AND_1] = unsupported; |
385 | Table[RTLIB::SYNC_FETCH_AND_AND_2] = unsupported; |
386 | Table[RTLIB::SYNC_FETCH_AND_AND_4] = unsupported; |
387 | Table[RTLIB::SYNC_FETCH_AND_AND_8] = unsupported; |
388 | Table[RTLIB::SYNC_FETCH_AND_AND_16] = unsupported; |
389 | Table[RTLIB::SYNC_FETCH_AND_OR_1] = unsupported; |
390 | Table[RTLIB::SYNC_FETCH_AND_OR_2] = unsupported; |
391 | Table[RTLIB::SYNC_FETCH_AND_OR_4] = unsupported; |
392 | Table[RTLIB::SYNC_FETCH_AND_OR_8] = unsupported; |
393 | Table[RTLIB::SYNC_FETCH_AND_OR_16] = unsupported; |
394 | Table[RTLIB::SYNC_FETCH_AND_XOR_1] = unsupported; |
395 | Table[RTLIB::SYNC_FETCH_AND_XOR_2] = unsupported; |
396 | Table[RTLIB::SYNC_FETCH_AND_XOR_4] = unsupported; |
397 | Table[RTLIB::SYNC_FETCH_AND_XOR_8] = unsupported; |
398 | Table[RTLIB::SYNC_FETCH_AND_XOR_16] = unsupported; |
399 | Table[RTLIB::SYNC_FETCH_AND_NAND_1] = unsupported; |
400 | Table[RTLIB::SYNC_FETCH_AND_NAND_2] = unsupported; |
401 | Table[RTLIB::SYNC_FETCH_AND_NAND_4] = unsupported; |
402 | Table[RTLIB::SYNC_FETCH_AND_NAND_8] = unsupported; |
403 | Table[RTLIB::SYNC_FETCH_AND_NAND_16] = unsupported; |
404 | Table[RTLIB::SYNC_FETCH_AND_MAX_1] = unsupported; |
405 | Table[RTLIB::SYNC_FETCH_AND_MAX_2] = unsupported; |
406 | Table[RTLIB::SYNC_FETCH_AND_MAX_4] = unsupported; |
407 | Table[RTLIB::SYNC_FETCH_AND_MAX_8] = unsupported; |
408 | Table[RTLIB::SYNC_FETCH_AND_MAX_16] = unsupported; |
409 | Table[RTLIB::SYNC_FETCH_AND_UMAX_1] = unsupported; |
410 | Table[RTLIB::SYNC_FETCH_AND_UMAX_2] = unsupported; |
411 | Table[RTLIB::SYNC_FETCH_AND_UMAX_4] = unsupported; |
412 | Table[RTLIB::SYNC_FETCH_AND_UMAX_8] = unsupported; |
413 | Table[RTLIB::SYNC_FETCH_AND_UMAX_16] = unsupported; |
414 | Table[RTLIB::SYNC_FETCH_AND_MIN_1] = unsupported; |
415 | Table[RTLIB::SYNC_FETCH_AND_MIN_2] = unsupported; |
416 | Table[RTLIB::SYNC_FETCH_AND_MIN_4] = unsupported; |
417 | Table[RTLIB::SYNC_FETCH_AND_MIN_8] = unsupported; |
418 | Table[RTLIB::SYNC_FETCH_AND_MIN_16] = unsupported; |
419 | Table[RTLIB::SYNC_FETCH_AND_UMIN_1] = unsupported; |
420 | Table[RTLIB::SYNC_FETCH_AND_UMIN_2] = unsupported; |
421 | Table[RTLIB::SYNC_FETCH_AND_UMIN_4] = unsupported; |
422 | Table[RTLIB::SYNC_FETCH_AND_UMIN_8] = unsupported; |
423 | Table[RTLIB::SYNC_FETCH_AND_UMIN_16] = unsupported; |
424 | |
425 | // Atomic '__atomic_*' libcalls. |
426 | // TODO: Fix these when we implement atomic support |
427 | Table[RTLIB::ATOMIC_LOAD] = unsupported; |
428 | Table[RTLIB::ATOMIC_LOAD_1] = unsupported; |
429 | Table[RTLIB::ATOMIC_LOAD_2] = unsupported; |
430 | Table[RTLIB::ATOMIC_LOAD_4] = unsupported; |
431 | Table[RTLIB::ATOMIC_LOAD_8] = unsupported; |
432 | Table[RTLIB::ATOMIC_LOAD_16] = unsupported; |
433 | |
434 | Table[RTLIB::ATOMIC_STORE] = unsupported; |
435 | Table[RTLIB::ATOMIC_STORE_1] = unsupported; |
436 | Table[RTLIB::ATOMIC_STORE_2] = unsupported; |
437 | Table[RTLIB::ATOMIC_STORE_4] = unsupported; |
438 | Table[RTLIB::ATOMIC_STORE_8] = unsupported; |
439 | Table[RTLIB::ATOMIC_STORE_16] = unsupported; |
440 | |
441 | Table[RTLIB::ATOMIC_EXCHANGE] = unsupported; |
442 | Table[RTLIB::ATOMIC_EXCHANGE_1] = unsupported; |
443 | Table[RTLIB::ATOMIC_EXCHANGE_2] = unsupported; |
444 | Table[RTLIB::ATOMIC_EXCHANGE_4] = unsupported; |
445 | Table[RTLIB::ATOMIC_EXCHANGE_8] = unsupported; |
446 | Table[RTLIB::ATOMIC_EXCHANGE_16] = unsupported; |
447 | |
448 | Table[RTLIB::ATOMIC_COMPARE_EXCHANGE] = unsupported; |
449 | Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_1] = unsupported; |
450 | Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_2] = unsupported; |
451 | Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_4] = unsupported; |
452 | Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_8] = unsupported; |
453 | Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_16] = unsupported; |
454 | |
455 | Table[RTLIB::ATOMIC_FETCH_ADD_1] = unsupported; |
456 | Table[RTLIB::ATOMIC_FETCH_ADD_2] = unsupported; |
457 | Table[RTLIB::ATOMIC_FETCH_ADD_4] = unsupported; |
458 | Table[RTLIB::ATOMIC_FETCH_ADD_8] = unsupported; |
459 | Table[RTLIB::ATOMIC_FETCH_ADD_16] = unsupported; |
460 | |
461 | Table[RTLIB::ATOMIC_FETCH_SUB_1] = unsupported; |
462 | Table[RTLIB::ATOMIC_FETCH_SUB_2] = unsupported; |
463 | Table[RTLIB::ATOMIC_FETCH_SUB_4] = unsupported; |
464 | Table[RTLIB::ATOMIC_FETCH_SUB_8] = unsupported; |
465 | Table[RTLIB::ATOMIC_FETCH_SUB_16] = unsupported; |
466 | |
467 | Table[RTLIB::ATOMIC_FETCH_AND_1] = unsupported; |
468 | Table[RTLIB::ATOMIC_FETCH_AND_2] = unsupported; |
469 | Table[RTLIB::ATOMIC_FETCH_AND_4] = unsupported; |
470 | Table[RTLIB::ATOMIC_FETCH_AND_8] = unsupported; |
471 | Table[RTLIB::ATOMIC_FETCH_AND_16] = unsupported; |
472 | |
473 | Table[RTLIB::ATOMIC_FETCH_OR_1] = unsupported; |
474 | Table[RTLIB::ATOMIC_FETCH_OR_2] = unsupported; |
475 | Table[RTLIB::ATOMIC_FETCH_OR_4] = unsupported; |
476 | Table[RTLIB::ATOMIC_FETCH_OR_8] = unsupported; |
477 | Table[RTLIB::ATOMIC_FETCH_OR_16] = unsupported; |
478 | |
479 | Table[RTLIB::ATOMIC_FETCH_XOR_1] = unsupported; |
480 | Table[RTLIB::ATOMIC_FETCH_XOR_2] = unsupported; |
481 | Table[RTLIB::ATOMIC_FETCH_XOR_4] = unsupported; |
482 | Table[RTLIB::ATOMIC_FETCH_XOR_8] = unsupported; |
483 | Table[RTLIB::ATOMIC_FETCH_XOR_16] = unsupported; |
484 | |
485 | Table[RTLIB::ATOMIC_FETCH_NAND_1] = unsupported; |
486 | Table[RTLIB::ATOMIC_FETCH_NAND_2] = unsupported; |
487 | Table[RTLIB::ATOMIC_FETCH_NAND_4] = unsupported; |
488 | Table[RTLIB::ATOMIC_FETCH_NAND_8] = unsupported; |
489 | Table[RTLIB::ATOMIC_FETCH_NAND_16] = unsupported; |
490 | } |
491 | }; |
492 | |
493 | RuntimeLibcallSignatureTable &getRuntimeLibcallSignatures() { |
494 | static RuntimeLibcallSignatureTable RuntimeLibcallSignatures; |
495 | return RuntimeLibcallSignatures; |
496 | } |
497 | |
498 | // Maps libcall names to their RTLIB::Libcall number. Builds the map in a |
499 | // constructor for use with a static variable |
500 | struct StaticLibcallNameMap { |
501 | StringMap<RTLIB::Libcall> Map; |
502 | StaticLibcallNameMap() { |
503 | static const std::pair<const char *, RTLIB::Libcall> NameLibcalls[] = { |
504 | #define HANDLE_LIBCALL(code, name) {(const char *)name, RTLIB::code}, |
505 | #include "llvm/IR/RuntimeLibcalls.def" |
506 | #undef HANDLE_LIBCALL |
507 | }; |
508 | for (const auto &NameLibcall : NameLibcalls) { |
509 | if (NameLibcall.first != nullptr && |
510 | getRuntimeLibcallSignatures().Table[NameLibcall.second] != |
511 | unsupported) { |
512 | assert(!Map.contains(NameLibcall.first) && |
513 | "duplicate libcall names in name map" ); |
514 | Map[NameLibcall.first] = NameLibcall.second; |
515 | } |
516 | } |
517 | // Override the __gnu_f2h_ieee/__gnu_h2f_ieee names so that the f32 name is |
518 | // consistent with the f64 and f128 names. |
519 | Map["__extendhfsf2" ] = RTLIB::FPEXT_F16_F32; |
520 | Map["__truncsfhf2" ] = RTLIB::FPROUND_F32_F16; |
521 | |
522 | Map["emscripten_return_address" ] = RTLIB::RETURN_ADDRESS; |
523 | } |
524 | }; |
525 | |
526 | } // end anonymous namespace |
527 | |
528 | void WebAssembly::getLibcallSignature(const WebAssemblySubtarget &Subtarget, |
529 | RTLIB::Libcall LC, |
530 | SmallVectorImpl<wasm::ValType> &Rets, |
531 | SmallVectorImpl<wasm::ValType> &Params) { |
532 | assert(Rets.empty()); |
533 | assert(Params.empty()); |
534 | |
535 | wasm::ValType PtrTy = |
536 | Subtarget.hasAddr64() ? wasm::ValType::I64 : wasm::ValType::I32; |
537 | |
538 | auto &Table = getRuntimeLibcallSignatures().Table; |
539 | switch (Table[LC]) { |
540 | case func: |
541 | break; |
542 | case f32_func_f32: |
543 | Rets.push_back(Elt: wasm::ValType::F32); |
544 | Params.push_back(Elt: wasm::ValType::F32); |
545 | break; |
546 | case f32_func_f64: |
547 | Rets.push_back(Elt: wasm::ValType::F32); |
548 | Params.push_back(Elt: wasm::ValType::F64); |
549 | break; |
550 | case f32_func_i32: |
551 | Rets.push_back(Elt: wasm::ValType::F32); |
552 | Params.push_back(Elt: wasm::ValType::I32); |
553 | break; |
554 | case f32_func_i64: |
555 | Rets.push_back(Elt: wasm::ValType::F32); |
556 | Params.push_back(Elt: wasm::ValType::I64); |
557 | break; |
558 | case f32_func_i16: |
559 | Rets.push_back(Elt: wasm::ValType::F32); |
560 | Params.push_back(Elt: wasm::ValType::I32); |
561 | break; |
562 | case f64_func_f32: |
563 | Rets.push_back(Elt: wasm::ValType::F64); |
564 | Params.push_back(Elt: wasm::ValType::F32); |
565 | break; |
566 | case f64_func_f64: |
567 | Rets.push_back(Elt: wasm::ValType::F64); |
568 | Params.push_back(Elt: wasm::ValType::F64); |
569 | break; |
570 | case f64_func_i32: |
571 | Rets.push_back(Elt: wasm::ValType::F64); |
572 | Params.push_back(Elt: wasm::ValType::I32); |
573 | break; |
574 | case f64_func_i64: |
575 | Rets.push_back(Elt: wasm::ValType::F64); |
576 | Params.push_back(Elt: wasm::ValType::I64); |
577 | break; |
578 | case i32_func_f32: |
579 | Rets.push_back(Elt: wasm::ValType::I32); |
580 | Params.push_back(Elt: wasm::ValType::F32); |
581 | break; |
582 | case i32_func_f64: |
583 | Rets.push_back(Elt: wasm::ValType::I32); |
584 | Params.push_back(Elt: wasm::ValType::F64); |
585 | break; |
586 | case i32_func_i32: |
587 | Rets.push_back(Elt: wasm::ValType::I32); |
588 | Params.push_back(Elt: wasm::ValType::I32); |
589 | break; |
590 | case i64_func_f32: |
591 | Rets.push_back(Elt: wasm::ValType::I64); |
592 | Params.push_back(Elt: wasm::ValType::F32); |
593 | break; |
594 | case i64_func_f64: |
595 | Rets.push_back(Elt: wasm::ValType::I64); |
596 | Params.push_back(Elt: wasm::ValType::F64); |
597 | break; |
598 | case i64_func_i64: |
599 | Rets.push_back(Elt: wasm::ValType::I64); |
600 | Params.push_back(Elt: wasm::ValType::I64); |
601 | break; |
602 | case f32_func_f32_f32: |
603 | Rets.push_back(Elt: wasm::ValType::F32); |
604 | Params.push_back(Elt: wasm::ValType::F32); |
605 | Params.push_back(Elt: wasm::ValType::F32); |
606 | break; |
607 | case f32_func_f32_i32: |
608 | Rets.push_back(Elt: wasm::ValType::F32); |
609 | Params.push_back(Elt: wasm::ValType::F32); |
610 | Params.push_back(Elt: wasm::ValType::I32); |
611 | break; |
612 | case f32_func_i64_i64: |
613 | Rets.push_back(Elt: wasm::ValType::F32); |
614 | Params.push_back(Elt: wasm::ValType::I64); |
615 | Params.push_back(Elt: wasm::ValType::I64); |
616 | break; |
617 | case f64_func_f64_f64: |
618 | Rets.push_back(Elt: wasm::ValType::F64); |
619 | Params.push_back(Elt: wasm::ValType::F64); |
620 | Params.push_back(Elt: wasm::ValType::F64); |
621 | break; |
622 | case f64_func_f64_i32: |
623 | Rets.push_back(Elt: wasm::ValType::F64); |
624 | Params.push_back(Elt: wasm::ValType::F64); |
625 | Params.push_back(Elt: wasm::ValType::I32); |
626 | break; |
627 | case f64_func_i64_i64: |
628 | Rets.push_back(Elt: wasm::ValType::F64); |
629 | Params.push_back(Elt: wasm::ValType::I64); |
630 | Params.push_back(Elt: wasm::ValType::I64); |
631 | break; |
632 | case i16_func_f32: |
633 | Rets.push_back(Elt: wasm::ValType::I32); |
634 | Params.push_back(Elt: wasm::ValType::F32); |
635 | break; |
636 | case i16_func_f64: |
637 | Rets.push_back(Elt: wasm::ValType::I32); |
638 | Params.push_back(Elt: wasm::ValType::F64); |
639 | break; |
640 | case i16_func_i64_i64: |
641 | Rets.push_back(Elt: wasm::ValType::I32); |
642 | Params.push_back(Elt: wasm::ValType::I64); |
643 | Params.push_back(Elt: wasm::ValType::I64); |
644 | break; |
645 | case i8_func_i8_i8: |
646 | Rets.push_back(Elt: wasm::ValType::I32); |
647 | Params.push_back(Elt: wasm::ValType::I32); |
648 | Params.push_back(Elt: wasm::ValType::I32); |
649 | break; |
650 | case func_f32_iPTR_iPTR: |
651 | Params.push_back(Elt: wasm::ValType::F32); |
652 | Params.push_back(Elt: PtrTy); |
653 | Params.push_back(Elt: PtrTy); |
654 | break; |
655 | case func_f64_iPTR_iPTR: |
656 | Params.push_back(Elt: wasm::ValType::F64); |
657 | Params.push_back(Elt: PtrTy); |
658 | Params.push_back(Elt: PtrTy); |
659 | break; |
660 | case i16_func_i16_i16: |
661 | Rets.push_back(Elt: wasm::ValType::I32); |
662 | Params.push_back(Elt: wasm::ValType::I32); |
663 | Params.push_back(Elt: wasm::ValType::I32); |
664 | break; |
665 | case i32_func_f32_f32: |
666 | Rets.push_back(Elt: wasm::ValType::I32); |
667 | Params.push_back(Elt: wasm::ValType::F32); |
668 | Params.push_back(Elt: wasm::ValType::F32); |
669 | break; |
670 | case i32_func_f64_f64: |
671 | Rets.push_back(Elt: wasm::ValType::I32); |
672 | Params.push_back(Elt: wasm::ValType::F64); |
673 | Params.push_back(Elt: wasm::ValType::F64); |
674 | break; |
675 | case i32_func_i32_i32: |
676 | Rets.push_back(Elt: wasm::ValType::I32); |
677 | Params.push_back(Elt: wasm::ValType::I32); |
678 | Params.push_back(Elt: wasm::ValType::I32); |
679 | break; |
680 | case i32_func_i32_i32_iPTR: |
681 | Rets.push_back(Elt: wasm::ValType::I32); |
682 | Params.push_back(Elt: wasm::ValType::I32); |
683 | Params.push_back(Elt: wasm::ValType::I32); |
684 | Params.push_back(Elt: PtrTy); |
685 | break; |
686 | case i64_func_i64_i64: |
687 | Rets.push_back(Elt: wasm::ValType::I64); |
688 | Params.push_back(Elt: wasm::ValType::I64); |
689 | Params.push_back(Elt: wasm::ValType::I64); |
690 | break; |
691 | case i64_func_i64_i64_iPTR: |
692 | Rets.push_back(Elt: wasm::ValType::I64); |
693 | Params.push_back(Elt: wasm::ValType::I64); |
694 | Params.push_back(Elt: wasm::ValType::I64); |
695 | Params.push_back(Elt: PtrTy); |
696 | break; |
697 | case i64_i64_func_f32: |
698 | if (WebAssembly::canLowerMultivalueReturn(Subtarget: &Subtarget)) { |
699 | Rets.push_back(Elt: wasm::ValType::I64); |
700 | Rets.push_back(Elt: wasm::ValType::I64); |
701 | } else { |
702 | Params.push_back(Elt: PtrTy); |
703 | } |
704 | Params.push_back(Elt: wasm::ValType::F32); |
705 | break; |
706 | case i64_i64_func_f64: |
707 | if (WebAssembly::canLowerMultivalueReturn(Subtarget: &Subtarget)) { |
708 | Rets.push_back(Elt: wasm::ValType::I64); |
709 | Rets.push_back(Elt: wasm::ValType::I64); |
710 | } else { |
711 | Params.push_back(Elt: PtrTy); |
712 | } |
713 | Params.push_back(Elt: wasm::ValType::F64); |
714 | break; |
715 | case i16_i16_func_i16_i16: |
716 | if (WebAssembly::canLowerMultivalueReturn(Subtarget: &Subtarget)) { |
717 | Rets.push_back(Elt: wasm::ValType::I32); |
718 | Rets.push_back(Elt: wasm::ValType::I32); |
719 | } else { |
720 | Params.push_back(Elt: PtrTy); |
721 | } |
722 | Params.push_back(Elt: wasm::ValType::I32); |
723 | Params.push_back(Elt: wasm::ValType::I32); |
724 | break; |
725 | case i32_i32_func_i32_i32: |
726 | if (WebAssembly::canLowerMultivalueReturn(Subtarget: &Subtarget)) { |
727 | Rets.push_back(Elt: wasm::ValType::I32); |
728 | Rets.push_back(Elt: wasm::ValType::I32); |
729 | } else { |
730 | Params.push_back(Elt: PtrTy); |
731 | } |
732 | Params.push_back(Elt: wasm::ValType::I32); |
733 | Params.push_back(Elt: wasm::ValType::I32); |
734 | break; |
735 | case i64_i64_func_i64_i64: |
736 | if (WebAssembly::canLowerMultivalueReturn(Subtarget: &Subtarget)) { |
737 | Rets.push_back(Elt: wasm::ValType::I64); |
738 | Rets.push_back(Elt: wasm::ValType::I64); |
739 | } else { |
740 | Params.push_back(Elt: PtrTy); |
741 | } |
742 | Params.push_back(Elt: wasm::ValType::I64); |
743 | Params.push_back(Elt: wasm::ValType::I64); |
744 | break; |
745 | case i64_i64_func_i64_i64_i64_i64: |
746 | if (WebAssembly::canLowerMultivalueReturn(Subtarget: &Subtarget)) { |
747 | Rets.push_back(Elt: wasm::ValType::I64); |
748 | Rets.push_back(Elt: wasm::ValType::I64); |
749 | } else { |
750 | Params.push_back(Elt: PtrTy); |
751 | } |
752 | Params.push_back(Elt: wasm::ValType::I64); |
753 | Params.push_back(Elt: wasm::ValType::I64); |
754 | Params.push_back(Elt: wasm::ValType::I64); |
755 | Params.push_back(Elt: wasm::ValType::I64); |
756 | break; |
757 | case i64_i64_func_i64_i64_i64_i64_iPTR: |
758 | if (WebAssembly::canLowerMultivalueReturn(Subtarget: &Subtarget)) { |
759 | Rets.push_back(Elt: wasm::ValType::I64); |
760 | Rets.push_back(Elt: wasm::ValType::I64); |
761 | } else { |
762 | Params.push_back(Elt: PtrTy); |
763 | } |
764 | Params.push_back(Elt: wasm::ValType::I64); |
765 | Params.push_back(Elt: wasm::ValType::I64); |
766 | Params.push_back(Elt: wasm::ValType::I64); |
767 | Params.push_back(Elt: wasm::ValType::I64); |
768 | Params.push_back(Elt: PtrTy); |
769 | break; |
770 | case i64_i64_i64_i64_func_i64_i64_i64_i64: |
771 | if (WebAssembly::canLowerMultivalueReturn(Subtarget: &Subtarget)) { |
772 | Rets.push_back(Elt: wasm::ValType::I64); |
773 | Rets.push_back(Elt: wasm::ValType::I64); |
774 | Rets.push_back(Elt: wasm::ValType::I64); |
775 | Rets.push_back(Elt: wasm::ValType::I64); |
776 | } else { |
777 | Params.push_back(Elt: PtrTy); |
778 | } |
779 | Params.push_back(Elt: wasm::ValType::I64); |
780 | Params.push_back(Elt: wasm::ValType::I64); |
781 | Params.push_back(Elt: wasm::ValType::I64); |
782 | Params.push_back(Elt: wasm::ValType::I64); |
783 | break; |
784 | case i64_i64_func_i64_i64_i32: |
785 | if (WebAssembly::canLowerMultivalueReturn(Subtarget: &Subtarget)) { |
786 | Rets.push_back(Elt: wasm::ValType::I64); |
787 | Rets.push_back(Elt: wasm::ValType::I64); |
788 | } else { |
789 | Params.push_back(Elt: PtrTy); |
790 | } |
791 | Params.push_back(Elt: wasm::ValType::I64); |
792 | Params.push_back(Elt: wasm::ValType::I64); |
793 | Params.push_back(Elt: wasm::ValType::I32); |
794 | break; |
795 | case iPTR_func_i32: |
796 | Rets.push_back(Elt: PtrTy); |
797 | Params.push_back(Elt: wasm::ValType::I32); |
798 | break; |
799 | case iPTR_func_iPTR_i32_iPTR: |
800 | Rets.push_back(Elt: PtrTy); |
801 | Params.push_back(Elt: PtrTy); |
802 | Params.push_back(Elt: wasm::ValType::I32); |
803 | Params.push_back(Elt: PtrTy); |
804 | break; |
805 | case iPTR_func_iPTR_iPTR_iPTR: |
806 | Rets.push_back(Elt: PtrTy); |
807 | Params.push_back(Elt: PtrTy); |
808 | Params.push_back(Elt: PtrTy); |
809 | Params.push_back(Elt: PtrTy); |
810 | break; |
811 | case f32_func_f32_f32_f32: |
812 | Rets.push_back(Elt: wasm::ValType::F32); |
813 | Params.push_back(Elt: wasm::ValType::F32); |
814 | Params.push_back(Elt: wasm::ValType::F32); |
815 | Params.push_back(Elt: wasm::ValType::F32); |
816 | break; |
817 | case f64_func_f64_f64_f64: |
818 | Rets.push_back(Elt: wasm::ValType::F64); |
819 | Params.push_back(Elt: wasm::ValType::F64); |
820 | Params.push_back(Elt: wasm::ValType::F64); |
821 | Params.push_back(Elt: wasm::ValType::F64); |
822 | break; |
823 | case func_i64_i64_iPTR_iPTR: |
824 | Params.push_back(Elt: wasm::ValType::I64); |
825 | Params.push_back(Elt: wasm::ValType::I64); |
826 | Params.push_back(Elt: PtrTy); |
827 | Params.push_back(Elt: PtrTy); |
828 | break; |
829 | case i32_func_i64_i64: |
830 | Rets.push_back(Elt: wasm::ValType::I32); |
831 | Params.push_back(Elt: wasm::ValType::I64); |
832 | Params.push_back(Elt: wasm::ValType::I64); |
833 | break; |
834 | case i32_func_i64_i64_i64_i64: |
835 | Rets.push_back(Elt: wasm::ValType::I32); |
836 | Params.push_back(Elt: wasm::ValType::I64); |
837 | Params.push_back(Elt: wasm::ValType::I64); |
838 | Params.push_back(Elt: wasm::ValType::I64); |
839 | Params.push_back(Elt: wasm::ValType::I64); |
840 | break; |
841 | case iPTR_func_f32: |
842 | Rets.push_back(Elt: PtrTy); |
843 | Params.push_back(Elt: wasm::ValType::F32); |
844 | break; |
845 | case iPTR_func_f64: |
846 | Rets.push_back(Elt: PtrTy); |
847 | Params.push_back(Elt: wasm::ValType::F64); |
848 | break; |
849 | case iPTR_func_i64_i64: |
850 | Rets.push_back(Elt: PtrTy); |
851 | Params.push_back(Elt: wasm::ValType::I64); |
852 | Params.push_back(Elt: wasm::ValType::I64); |
853 | break; |
854 | case i64_i64_func_i64_i64_i64_i64_i64_i64: |
855 | if (WebAssembly::canLowerMultivalueReturn(Subtarget: &Subtarget)) { |
856 | Rets.push_back(Elt: wasm::ValType::I64); |
857 | Rets.push_back(Elt: wasm::ValType::I64); |
858 | } else { |
859 | Params.push_back(Elt: PtrTy); |
860 | } |
861 | Params.push_back(Elt: wasm::ValType::I64); |
862 | Params.push_back(Elt: wasm::ValType::I64); |
863 | Params.push_back(Elt: wasm::ValType::I64); |
864 | Params.push_back(Elt: wasm::ValType::I64); |
865 | Params.push_back(Elt: wasm::ValType::I64); |
866 | Params.push_back(Elt: wasm::ValType::I64); |
867 | break; |
868 | case i64_i64_func_i32: |
869 | if (WebAssembly::canLowerMultivalueReturn(Subtarget: &Subtarget)) { |
870 | Rets.push_back(Elt: wasm::ValType::I64); |
871 | Rets.push_back(Elt: wasm::ValType::I64); |
872 | } else { |
873 | Params.push_back(Elt: PtrTy); |
874 | } |
875 | Params.push_back(Elt: wasm::ValType::I32); |
876 | break; |
877 | case i64_i64_func_i64: |
878 | if (WebAssembly::canLowerMultivalueReturn(Subtarget: &Subtarget)) { |
879 | Rets.push_back(Elt: wasm::ValType::I64); |
880 | Rets.push_back(Elt: wasm::ValType::I64); |
881 | } else { |
882 | Params.push_back(Elt: PtrTy); |
883 | } |
884 | Params.push_back(Elt: wasm::ValType::I64); |
885 | break; |
886 | case unsupported: |
887 | llvm_unreachable("unsupported runtime library signature" ); |
888 | } |
889 | } |
890 | |
891 | // TODO: If the RTLIB::Libcall-taking flavor of GetSignature remains unused |
892 | // other than here, just roll its logic into this version. |
893 | void WebAssembly::getLibcallSignature(const WebAssemblySubtarget &Subtarget, |
894 | StringRef Name, |
895 | SmallVectorImpl<wasm::ValType> &Rets, |
896 | SmallVectorImpl<wasm::ValType> &Params) { |
897 | static StaticLibcallNameMap LibcallNameMap; |
898 | auto &Map = LibcallNameMap.Map; |
899 | auto Val = Map.find(Key: Name); |
900 | #ifndef NDEBUG |
901 | if (Val == Map.end()) { |
902 | auto Message = |
903 | std::string("unexpected runtime library name: " ) + std::string(Name); |
904 | llvm_unreachable(Message.c_str()); |
905 | } |
906 | #endif |
907 | return getLibcallSignature(Subtarget, LC: Val->second, Rets, Params); |
908 | } |
909 | |