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 "llvm/CodeGen/RuntimeLibcalls.h" 24 #include "llvm/Support/ManagedStatic.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_f32, 67 i64_i64_func_f64, 68 i16_i16_func_i16_i16, 69 i32_i32_func_i32_i32, 70 i64_i64_func_i64_i64, 71 i64_i64_func_i64_i64_i64_i64, 72 i64_i64_func_i64_i64_i64_i64_iPTR, 73 i64_i64_i64_i64_func_i64_i64_i64_i64, 74 i64_i64_func_i64_i64_i32, 75 iPTR_func_iPTR_i32_iPTR, 76 iPTR_func_iPTR_iPTR_iPTR, 77 f32_func_f32_f32_f32, 78 f64_func_f64_f64_f64, 79 func_i64_i64_iPTR_iPTR, 80 func_iPTR_f32, 81 func_iPTR_f64, 82 func_iPTR_i32, 83 func_iPTR_i64, 84 func_iPTR_i64_i64, 85 func_iPTR_i64_i64_i64_i64, 86 func_iPTR_i64_i64_i64_i64_i64_i64, 87 i32_func_i64_i64, 88 i32_func_i64_i64_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] = 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 unsupported. 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_F16] = i16_func_f64; 240 Table[RTLIB::FPROUND_F64_F32] = f32_func_f64; 241 Table[RTLIB::FPROUND_F128_F16] = i16_func_i64_i64; 242 Table[RTLIB::FPROUND_F128_F32] = f32_func_i64_i64; 243 Table[RTLIB::FPROUND_F128_F64] = f64_func_i64_i64; 244 Table[RTLIB::FPTOSINT_F32_I32] = i32_func_f32; 245 Table[RTLIB::FPTOSINT_F32_I64] = i64_func_f32; 246 Table[RTLIB::FPTOSINT_F32_I128] = i64_i64_func_f32; 247 Table[RTLIB::FPTOSINT_F64_I32] = i32_func_f64; 248 Table[RTLIB::FPTOSINT_F64_I64] = i64_func_f64; 249 Table[RTLIB::FPTOSINT_F64_I128] = i64_i64_func_f64; 250 Table[RTLIB::FPTOSINT_F128_I32] = i32_func_i64_i64; 251 Table[RTLIB::FPTOSINT_F128_I64] = i64_func_i64_i64; 252 Table[RTLIB::FPTOSINT_F128_I128] = i64_i64_func_i64_i64; 253 Table[RTLIB::FPTOUINT_F32_I32] = i32_func_f32; 254 Table[RTLIB::FPTOUINT_F32_I64] = i64_func_f32; 255 Table[RTLIB::FPTOUINT_F32_I128] = i64_i64_func_f32; 256 Table[RTLIB::FPTOUINT_F64_I32] = i32_func_f64; 257 Table[RTLIB::FPTOUINT_F64_I64] = i64_func_f64; 258 Table[RTLIB::FPTOUINT_F64_I128] = i64_i64_func_f64; 259 Table[RTLIB::FPTOUINT_F128_I32] = i32_func_i64_i64; 260 Table[RTLIB::FPTOUINT_F128_I64] = i64_func_i64_i64; 261 Table[RTLIB::FPTOUINT_F128_I128] = i64_i64_func_i64_i64; 262 Table[RTLIB::SINTTOFP_I32_F32] = f32_func_i32; 263 Table[RTLIB::SINTTOFP_I32_F64] = f64_func_i32; 264 Table[RTLIB::SINTTOFP_I32_F128] = func_iPTR_i32; 265 Table[RTLIB::SINTTOFP_I64_F32] = f32_func_i64; 266 Table[RTLIB::SINTTOFP_I64_F64] = f64_func_i64; 267 Table[RTLIB::SINTTOFP_I64_F128] = func_iPTR_i64; 268 Table[RTLIB::SINTTOFP_I128_F32] = f32_func_i64_i64; 269 Table[RTLIB::SINTTOFP_I128_F64] = f64_func_i64_i64; 270 Table[RTLIB::SINTTOFP_I128_F128] = func_iPTR_i64_i64; 271 Table[RTLIB::UINTTOFP_I32_F32] = f32_func_i32; 272 Table[RTLIB::UINTTOFP_I32_F64] = f64_func_i64; 273 Table[RTLIB::UINTTOFP_I32_F128] = func_iPTR_i32; 274 Table[RTLIB::UINTTOFP_I64_F32] = f32_func_i64; 275 Table[RTLIB::UINTTOFP_I64_F64] = f64_func_i64; 276 Table[RTLIB::UINTTOFP_I64_F128] = func_iPTR_i64; 277 Table[RTLIB::UINTTOFP_I128_F32] = f32_func_i64_i64; 278 Table[RTLIB::UINTTOFP_I128_F64] = f64_func_i64_i64; 279 Table[RTLIB::UINTTOFP_I128_F128] = func_iPTR_i64_i64; 280 281 // Comparison 282 // ALl F80 and PPCF128 routines are unsupported. 283 Table[RTLIB::OEQ_F32] = i32_func_f32_f32; 284 Table[RTLIB::OEQ_F64] = i32_func_f64_f64; 285 Table[RTLIB::OEQ_F128] = i32_func_i64_i64_i64_i64; 286 Table[RTLIB::UNE_F32] = i32_func_f32_f32; 287 Table[RTLIB::UNE_F64] = i32_func_f64_f64; 288 Table[RTLIB::UNE_F128] = i32_func_i64_i64_i64_i64; 289 Table[RTLIB::OGE_F32] = i32_func_f32_f32; 290 Table[RTLIB::OGE_F64] = i32_func_f64_f64; 291 Table[RTLIB::OGE_F128] = i32_func_i64_i64_i64_i64; 292 Table[RTLIB::OLT_F32] = i32_func_f32_f32; 293 Table[RTLIB::OLT_F64] = i32_func_f64_f64; 294 Table[RTLIB::OLT_F128] = i32_func_i64_i64_i64_i64; 295 Table[RTLIB::OLE_F32] = i32_func_f32_f32; 296 Table[RTLIB::OLE_F64] = i32_func_f64_f64; 297 Table[RTLIB::OLE_F128] = i32_func_i64_i64_i64_i64; 298 Table[RTLIB::OGT_F32] = i32_func_f32_f32; 299 Table[RTLIB::OGT_F64] = i32_func_f64_f64; 300 Table[RTLIB::OGT_F128] = i32_func_i64_i64_i64_i64; 301 Table[RTLIB::UO_F32] = i32_func_f32_f32; 302 Table[RTLIB::UO_F64] = i32_func_f64_f64; 303 Table[RTLIB::UO_F128] = i32_func_i64_i64_i64_i64; 304 // O_FXX has the weird property that it uses the same libcall name as UO_FXX 305 // This breaks our name-based lookup. Fortunately only the UO family of 306 // libcalls appears to be actually used. 307 Table[RTLIB::O_F32] = unsupported; 308 Table[RTLIB::O_F64] = unsupported; 309 Table[RTLIB::O_F128] = unsupported; 310 311 // Memory 312 Table[RTLIB::MEMCPY] = iPTR_func_iPTR_iPTR_iPTR; 313 Table[RTLIB::MEMSET] = iPTR_func_iPTR_i32_iPTR; 314 Table[RTLIB::MEMMOVE] = iPTR_func_iPTR_iPTR_iPTR; 315 316 // __stack_chk_fail 317 Table[RTLIB::STACKPROTECTOR_CHECK_FAIL] = func; 318 319 // Element-wise Atomic memory 320 // TODO: Fix these when we implement atomic support 321 Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_1] = unsupported; 322 Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_2] = unsupported; 323 Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_4] = unsupported; 324 Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_8] = unsupported; 325 Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_16] = unsupported; 326 Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_1] = unsupported; 327 Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_2] = unsupported; 328 Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_4] = unsupported; 329 Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_8] = unsupported; 330 Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_16] = unsupported; 331 332 Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_1] = unsupported; 333 Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_2] = unsupported; 334 Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_4] = unsupported; 335 Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_8] = unsupported; 336 Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_16] = unsupported; 337 338 // Atomic '__sync_*' libcalls. 339 // TODO: Fix these when we implement atomic support 340 Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_1] = unsupported; 341 Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_2] = unsupported; 342 Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_4] = unsupported; 343 Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_8] = unsupported; 344 Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_16] = unsupported; 345 Table[RTLIB::SYNC_LOCK_TEST_AND_SET_1] = unsupported; 346 Table[RTLIB::SYNC_LOCK_TEST_AND_SET_2] = unsupported; 347 Table[RTLIB::SYNC_LOCK_TEST_AND_SET_4] = unsupported; 348 Table[RTLIB::SYNC_LOCK_TEST_AND_SET_8] = unsupported; 349 Table[RTLIB::SYNC_LOCK_TEST_AND_SET_16] = unsupported; 350 Table[RTLIB::SYNC_FETCH_AND_ADD_1] = unsupported; 351 Table[RTLIB::SYNC_FETCH_AND_ADD_2] = unsupported; 352 Table[RTLIB::SYNC_FETCH_AND_ADD_4] = unsupported; 353 Table[RTLIB::SYNC_FETCH_AND_ADD_8] = unsupported; 354 Table[RTLIB::SYNC_FETCH_AND_ADD_16] = unsupported; 355 Table[RTLIB::SYNC_FETCH_AND_SUB_1] = unsupported; 356 Table[RTLIB::SYNC_FETCH_AND_SUB_2] = unsupported; 357 Table[RTLIB::SYNC_FETCH_AND_SUB_4] = unsupported; 358 Table[RTLIB::SYNC_FETCH_AND_SUB_8] = unsupported; 359 Table[RTLIB::SYNC_FETCH_AND_SUB_16] = unsupported; 360 Table[RTLIB::SYNC_FETCH_AND_AND_1] = unsupported; 361 Table[RTLIB::SYNC_FETCH_AND_AND_2] = unsupported; 362 Table[RTLIB::SYNC_FETCH_AND_AND_4] = unsupported; 363 Table[RTLIB::SYNC_FETCH_AND_AND_8] = unsupported; 364 Table[RTLIB::SYNC_FETCH_AND_AND_16] = unsupported; 365 Table[RTLIB::SYNC_FETCH_AND_OR_1] = unsupported; 366 Table[RTLIB::SYNC_FETCH_AND_OR_2] = unsupported; 367 Table[RTLIB::SYNC_FETCH_AND_OR_4] = unsupported; 368 Table[RTLIB::SYNC_FETCH_AND_OR_8] = unsupported; 369 Table[RTLIB::SYNC_FETCH_AND_OR_16] = unsupported; 370 Table[RTLIB::SYNC_FETCH_AND_XOR_1] = unsupported; 371 Table[RTLIB::SYNC_FETCH_AND_XOR_2] = unsupported; 372 Table[RTLIB::SYNC_FETCH_AND_XOR_4] = unsupported; 373 Table[RTLIB::SYNC_FETCH_AND_XOR_8] = unsupported; 374 Table[RTLIB::SYNC_FETCH_AND_XOR_16] = unsupported; 375 Table[RTLIB::SYNC_FETCH_AND_NAND_1] = unsupported; 376 Table[RTLIB::SYNC_FETCH_AND_NAND_2] = unsupported; 377 Table[RTLIB::SYNC_FETCH_AND_NAND_4] = unsupported; 378 Table[RTLIB::SYNC_FETCH_AND_NAND_8] = unsupported; 379 Table[RTLIB::SYNC_FETCH_AND_NAND_16] = unsupported; 380 Table[RTLIB::SYNC_FETCH_AND_MAX_1] = unsupported; 381 Table[RTLIB::SYNC_FETCH_AND_MAX_2] = unsupported; 382 Table[RTLIB::SYNC_FETCH_AND_MAX_4] = unsupported; 383 Table[RTLIB::SYNC_FETCH_AND_MAX_8] = unsupported; 384 Table[RTLIB::SYNC_FETCH_AND_MAX_16] = unsupported; 385 Table[RTLIB::SYNC_FETCH_AND_UMAX_1] = unsupported; 386 Table[RTLIB::SYNC_FETCH_AND_UMAX_2] = unsupported; 387 Table[RTLIB::SYNC_FETCH_AND_UMAX_4] = unsupported; 388 Table[RTLIB::SYNC_FETCH_AND_UMAX_8] = unsupported; 389 Table[RTLIB::SYNC_FETCH_AND_UMAX_16] = unsupported; 390 Table[RTLIB::SYNC_FETCH_AND_MIN_1] = unsupported; 391 Table[RTLIB::SYNC_FETCH_AND_MIN_2] = unsupported; 392 Table[RTLIB::SYNC_FETCH_AND_MIN_4] = unsupported; 393 Table[RTLIB::SYNC_FETCH_AND_MIN_8] = unsupported; 394 Table[RTLIB::SYNC_FETCH_AND_MIN_16] = unsupported; 395 Table[RTLIB::SYNC_FETCH_AND_UMIN_1] = unsupported; 396 Table[RTLIB::SYNC_FETCH_AND_UMIN_2] = unsupported; 397 Table[RTLIB::SYNC_FETCH_AND_UMIN_4] = unsupported; 398 Table[RTLIB::SYNC_FETCH_AND_UMIN_8] = unsupported; 399 Table[RTLIB::SYNC_FETCH_AND_UMIN_16] = unsupported; 400 401 // Atomic '__atomic_*' libcalls. 402 // TODO: Fix these when we implement atomic support 403 Table[RTLIB::ATOMIC_LOAD] = unsupported; 404 Table[RTLIB::ATOMIC_LOAD_1] = unsupported; 405 Table[RTLIB::ATOMIC_LOAD_2] = unsupported; 406 Table[RTLIB::ATOMIC_LOAD_4] = unsupported; 407 Table[RTLIB::ATOMIC_LOAD_8] = unsupported; 408 Table[RTLIB::ATOMIC_LOAD_16] = unsupported; 409 410 Table[RTLIB::ATOMIC_STORE] = unsupported; 411 Table[RTLIB::ATOMIC_STORE_1] = unsupported; 412 Table[RTLIB::ATOMIC_STORE_2] = unsupported; 413 Table[RTLIB::ATOMIC_STORE_4] = unsupported; 414 Table[RTLIB::ATOMIC_STORE_8] = unsupported; 415 Table[RTLIB::ATOMIC_STORE_16] = unsupported; 416 417 Table[RTLIB::ATOMIC_EXCHANGE] = unsupported; 418 Table[RTLIB::ATOMIC_EXCHANGE_1] = unsupported; 419 Table[RTLIB::ATOMIC_EXCHANGE_2] = unsupported; 420 Table[RTLIB::ATOMIC_EXCHANGE_4] = unsupported; 421 Table[RTLIB::ATOMIC_EXCHANGE_8] = unsupported; 422 Table[RTLIB::ATOMIC_EXCHANGE_16] = unsupported; 423 424 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE] = unsupported; 425 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_1] = unsupported; 426 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_2] = unsupported; 427 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_4] = unsupported; 428 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_8] = unsupported; 429 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_16] = unsupported; 430 431 Table[RTLIB::ATOMIC_FETCH_ADD_1] = unsupported; 432 Table[RTLIB::ATOMIC_FETCH_ADD_2] = unsupported; 433 Table[RTLIB::ATOMIC_FETCH_ADD_4] = unsupported; 434 Table[RTLIB::ATOMIC_FETCH_ADD_8] = unsupported; 435 Table[RTLIB::ATOMIC_FETCH_ADD_16] = unsupported; 436 437 Table[RTLIB::ATOMIC_FETCH_SUB_1] = unsupported; 438 Table[RTLIB::ATOMIC_FETCH_SUB_2] = unsupported; 439 Table[RTLIB::ATOMIC_FETCH_SUB_4] = unsupported; 440 Table[RTLIB::ATOMIC_FETCH_SUB_8] = unsupported; 441 Table[RTLIB::ATOMIC_FETCH_SUB_16] = unsupported; 442 443 Table[RTLIB::ATOMIC_FETCH_AND_1] = unsupported; 444 Table[RTLIB::ATOMIC_FETCH_AND_2] = unsupported; 445 Table[RTLIB::ATOMIC_FETCH_AND_4] = unsupported; 446 Table[RTLIB::ATOMIC_FETCH_AND_8] = unsupported; 447 Table[RTLIB::ATOMIC_FETCH_AND_16] = unsupported; 448 449 Table[RTLIB::ATOMIC_FETCH_OR_1] = unsupported; 450 Table[RTLIB::ATOMIC_FETCH_OR_2] = unsupported; 451 Table[RTLIB::ATOMIC_FETCH_OR_4] = unsupported; 452 Table[RTLIB::ATOMIC_FETCH_OR_8] = unsupported; 453 Table[RTLIB::ATOMIC_FETCH_OR_16] = unsupported; 454 455 Table[RTLIB::ATOMIC_FETCH_XOR_1] = unsupported; 456 Table[RTLIB::ATOMIC_FETCH_XOR_2] = unsupported; 457 Table[RTLIB::ATOMIC_FETCH_XOR_4] = unsupported; 458 Table[RTLIB::ATOMIC_FETCH_XOR_8] = unsupported; 459 Table[RTLIB::ATOMIC_FETCH_XOR_16] = unsupported; 460 461 Table[RTLIB::ATOMIC_FETCH_NAND_1] = unsupported; 462 Table[RTLIB::ATOMIC_FETCH_NAND_2] = unsupported; 463 Table[RTLIB::ATOMIC_FETCH_NAND_4] = unsupported; 464 Table[RTLIB::ATOMIC_FETCH_NAND_8] = unsupported; 465 Table[RTLIB::ATOMIC_FETCH_NAND_16] = unsupported; 466 } 467 }; 468 469 ManagedStatic<RuntimeLibcallSignatureTable> RuntimeLibcallSignatures; 470 471 // Maps libcall names to their RTLIB::Libcall number. Builds the map in a 472 // constructor for use with ManagedStatic 473 struct StaticLibcallNameMap { 474 StringMap<RTLIB::Libcall> Map; 475 StaticLibcallNameMap() { 476 static const std::pair<const char *, RTLIB::Libcall> NameLibcalls[] = { 477 #define HANDLE_LIBCALL(code, name) {(const char *)name, RTLIB::code}, 478 #include "llvm/IR/RuntimeLibcalls.def" 479 #undef HANDLE_LIBCALL 480 }; 481 for (const auto &NameLibcall : NameLibcalls) { 482 if (NameLibcall.first != nullptr && 483 RuntimeLibcallSignatures->Table[NameLibcall.second] != unsupported) { 484 assert(Map.find(NameLibcall.first) == Map.end() && 485 "duplicate libcall names in name map"); 486 Map[NameLibcall.first] = NameLibcall.second; 487 } 488 } 489 // Override the __gnu_f2h_ieee/__gnu_h2f_ieee names so that the f32 name is 490 // consistent with the f64 and f128 names. 491 Map["__extendhfsf2"] = RTLIB::FPEXT_F16_F32; 492 Map["__truncsfhf2"] = RTLIB::FPROUND_F32_F16; 493 } 494 }; 495 496 } // end anonymous namespace 497 498 void llvm::getLibcallSignature(const WebAssemblySubtarget &Subtarget, 499 RTLIB::Libcall LC, 500 SmallVectorImpl<wasm::ValType> &Rets, 501 SmallVectorImpl<wasm::ValType> &Params) { 502 assert(Rets.empty()); 503 assert(Params.empty()); 504 505 wasm::ValType PtrTy = 506 Subtarget.hasAddr64() ? wasm::ValType::I64 : wasm::ValType::I32; 507 508 auto &Table = RuntimeLibcallSignatures->Table; 509 switch (Table[LC]) { 510 case func: 511 break; 512 case f32_func_f32: 513 Rets.push_back(wasm::ValType::F32); 514 Params.push_back(wasm::ValType::F32); 515 break; 516 case f32_func_f64: 517 Rets.push_back(wasm::ValType::F32); 518 Params.push_back(wasm::ValType::F64); 519 break; 520 case f32_func_i32: 521 Rets.push_back(wasm::ValType::F32); 522 Params.push_back(wasm::ValType::I32); 523 break; 524 case f32_func_i64: 525 Rets.push_back(wasm::ValType::F32); 526 Params.push_back(wasm::ValType::I64); 527 break; 528 case f32_func_i16: 529 Rets.push_back(wasm::ValType::F32); 530 Params.push_back(wasm::ValType::I32); 531 break; 532 case f64_func_f32: 533 Rets.push_back(wasm::ValType::F64); 534 Params.push_back(wasm::ValType::F32); 535 break; 536 case f64_func_f64: 537 Rets.push_back(wasm::ValType::F64); 538 Params.push_back(wasm::ValType::F64); 539 break; 540 case f64_func_i32: 541 Rets.push_back(wasm::ValType::F64); 542 Params.push_back(wasm::ValType::I32); 543 break; 544 case f64_func_i64: 545 Rets.push_back(wasm::ValType::F64); 546 Params.push_back(wasm::ValType::I64); 547 break; 548 case i32_func_f32: 549 Rets.push_back(wasm::ValType::I32); 550 Params.push_back(wasm::ValType::F32); 551 break; 552 case i32_func_f64: 553 Rets.push_back(wasm::ValType::I32); 554 Params.push_back(wasm::ValType::F64); 555 break; 556 case i32_func_i32: 557 Rets.push_back(wasm::ValType::I32); 558 Params.push_back(wasm::ValType::I32); 559 break; 560 case i64_func_f32: 561 Rets.push_back(wasm::ValType::I64); 562 Params.push_back(wasm::ValType::F32); 563 break; 564 case i64_func_f64: 565 Rets.push_back(wasm::ValType::I64); 566 Params.push_back(wasm::ValType::F64); 567 break; 568 case i64_func_i64: 569 Rets.push_back(wasm::ValType::I64); 570 Params.push_back(wasm::ValType::I64); 571 break; 572 case f32_func_f32_f32: 573 Rets.push_back(wasm::ValType::F32); 574 Params.push_back(wasm::ValType::F32); 575 Params.push_back(wasm::ValType::F32); 576 break; 577 case f32_func_f32_i32: 578 Rets.push_back(wasm::ValType::F32); 579 Params.push_back(wasm::ValType::F32); 580 Params.push_back(wasm::ValType::I32); 581 break; 582 case f32_func_i64_i64: 583 Rets.push_back(wasm::ValType::F32); 584 Params.push_back(wasm::ValType::I64); 585 Params.push_back(wasm::ValType::I64); 586 break; 587 case f64_func_f64_f64: 588 Rets.push_back(wasm::ValType::F64); 589 Params.push_back(wasm::ValType::F64); 590 Params.push_back(wasm::ValType::F64); 591 break; 592 case f64_func_f64_i32: 593 Rets.push_back(wasm::ValType::F64); 594 Params.push_back(wasm::ValType::F64); 595 Params.push_back(wasm::ValType::I32); 596 break; 597 case f64_func_i64_i64: 598 Rets.push_back(wasm::ValType::F64); 599 Params.push_back(wasm::ValType::I64); 600 Params.push_back(wasm::ValType::I64); 601 break; 602 case i16_func_f32: 603 Rets.push_back(wasm::ValType::I32); 604 Params.push_back(wasm::ValType::F32); 605 break; 606 case i16_func_f64: 607 Rets.push_back(wasm::ValType::I32); 608 Params.push_back(wasm::ValType::F64); 609 break; 610 case i16_func_i64_i64: 611 Rets.push_back(wasm::ValType::I32); 612 Params.push_back(wasm::ValType::I64); 613 Params.push_back(wasm::ValType::I64); 614 break; 615 case i8_func_i8_i8: 616 Rets.push_back(wasm::ValType::I32); 617 Params.push_back(wasm::ValType::I32); 618 Params.push_back(wasm::ValType::I32); 619 break; 620 case func_f32_iPTR_iPTR: 621 Params.push_back(wasm::ValType::F32); 622 Params.push_back(PtrTy); 623 Params.push_back(PtrTy); 624 break; 625 case func_f64_iPTR_iPTR: 626 Params.push_back(wasm::ValType::F64); 627 Params.push_back(PtrTy); 628 Params.push_back(PtrTy); 629 break; 630 case i16_func_i16_i16: 631 Rets.push_back(wasm::ValType::I32); 632 Params.push_back(wasm::ValType::I32); 633 Params.push_back(wasm::ValType::I32); 634 break; 635 case i32_func_f32_f32: 636 Rets.push_back(wasm::ValType::I32); 637 Params.push_back(wasm::ValType::F32); 638 Params.push_back(wasm::ValType::F32); 639 break; 640 case i32_func_f64_f64: 641 Rets.push_back(wasm::ValType::I32); 642 Params.push_back(wasm::ValType::F64); 643 Params.push_back(wasm::ValType::F64); 644 break; 645 case i32_func_i32_i32: 646 Rets.push_back(wasm::ValType::I32); 647 Params.push_back(wasm::ValType::I32); 648 Params.push_back(wasm::ValType::I32); 649 break; 650 case i32_func_i32_i32_iPTR: 651 Rets.push_back(wasm::ValType::I32); 652 Params.push_back(wasm::ValType::I32); 653 Params.push_back(wasm::ValType::I32); 654 Params.push_back(PtrTy); 655 break; 656 case i64_func_i64_i64: 657 Rets.push_back(wasm::ValType::I64); 658 Params.push_back(wasm::ValType::I64); 659 Params.push_back(wasm::ValType::I64); 660 break; 661 case i64_func_i64_i64_iPTR: 662 Rets.push_back(wasm::ValType::I64); 663 Params.push_back(wasm::ValType::I64); 664 Params.push_back(wasm::ValType::I64); 665 Params.push_back(PtrTy); 666 break; 667 case i64_i64_func_f32: 668 #if 0 // TODO: Enable this when wasm gets multiple-return-value support. 669 Rets.push_back(wasm::ValType::I64); 670 Rets.push_back(wasm::ValType::I64); 671 #else 672 Params.push_back(PtrTy); 673 #endif 674 Params.push_back(wasm::ValType::F32); 675 break; 676 case i64_i64_func_f64: 677 #if 0 // TODO: Enable this when wasm gets multiple-return-value support. 678 Rets.push_back(wasm::ValType::I64); 679 Rets.push_back(wasm::ValType::I64); 680 #else 681 Params.push_back(PtrTy); 682 #endif 683 Params.push_back(wasm::ValType::F64); 684 break; 685 case i16_i16_func_i16_i16: 686 #if 0 // TODO: Enable this when wasm gets multiple-return-value support. 687 Rets.push_back(wasm::ValType::I32); 688 Rets.push_back(wasm::ValType::I32); 689 #else 690 Params.push_back(PtrTy); 691 #endif 692 Params.push_back(wasm::ValType::I32); 693 Params.push_back(wasm::ValType::I32); 694 break; 695 case i32_i32_func_i32_i32: 696 #if 0 // TODO: Enable this when wasm gets multiple-return-value support. 697 Rets.push_back(wasm::ValType::I32); 698 Rets.push_back(wasm::ValType::I32); 699 #else 700 Params.push_back(PtrTy); 701 #endif 702 Params.push_back(wasm::ValType::I32); 703 Params.push_back(wasm::ValType::I32); 704 break; 705 case i64_i64_func_i64_i64: 706 #if 0 // TODO: Enable this when wasm gets multiple-return-value support. 707 Rets.push_back(wasm::ValType::I64); 708 Rets.push_back(wasm::ValType::I64); 709 #else 710 Params.push_back(PtrTy); 711 #endif 712 Params.push_back(wasm::ValType::I64); 713 Params.push_back(wasm::ValType::I64); 714 break; 715 case i64_i64_func_i64_i64_i64_i64: 716 #if 0 // TODO: Enable this when wasm gets multiple-return-value support. 717 Rets.push_back(wasm::ValType::I64); 718 Rets.push_back(wasm::ValType::I64); 719 #else 720 Params.push_back(PtrTy); 721 #endif 722 Params.push_back(wasm::ValType::I64); 723 Params.push_back(wasm::ValType::I64); 724 Params.push_back(wasm::ValType::I64); 725 Params.push_back(wasm::ValType::I64); 726 break; 727 case i64_i64_func_i64_i64_i64_i64_iPTR: 728 #if 0 // TODO: Enable this when wasm gets multiple-return-value support. 729 Rets.push_back(wasm::ValType::I64); 730 Rets.push_back(wasm::ValType::I64); 731 #else 732 Params.push_back(PtrTy); 733 #endif 734 Params.push_back(wasm::ValType::I64); 735 Params.push_back(wasm::ValType::I64); 736 Params.push_back(wasm::ValType::I64); 737 Params.push_back(wasm::ValType::I64); 738 Params.push_back(PtrTy); 739 break; 740 case i64_i64_i64_i64_func_i64_i64_i64_i64: 741 #if 0 // TODO: Enable this when wasm gets multiple-return-value support. 742 Rets.push_back(wasm::ValType::I64); 743 Rets.push_back(wasm::ValType::I64); 744 Rets.push_back(wasm::ValType::I64); 745 Rets.push_back(wasm::ValType::I64); 746 #else 747 Params.push_back(PtrTy); 748 #endif 749 Params.push_back(wasm::ValType::I64); 750 Params.push_back(wasm::ValType::I64); 751 Params.push_back(wasm::ValType::I64); 752 Params.push_back(wasm::ValType::I64); 753 break; 754 case i64_i64_func_i64_i64_i32: 755 #if 0 // TODO: Enable this when wasm gets multiple-return-value support. 756 Rets.push_back(wasm::ValType::I64); 757 Rets.push_back(wasm::ValType::I64); 758 Rets.push_back(wasm::ValType::I64); 759 Rets.push_back(wasm::ValType::I64); 760 #else 761 Params.push_back(PtrTy); 762 #endif 763 Params.push_back(wasm::ValType::I64); 764 Params.push_back(wasm::ValType::I64); 765 Params.push_back(wasm::ValType::I32); 766 break; 767 case iPTR_func_iPTR_i32_iPTR: 768 Rets.push_back(PtrTy); 769 Params.push_back(PtrTy); 770 Params.push_back(wasm::ValType::I32); 771 Params.push_back(PtrTy); 772 break; 773 case iPTR_func_iPTR_iPTR_iPTR: 774 Rets.push_back(PtrTy); 775 Params.push_back(PtrTy); 776 Params.push_back(PtrTy); 777 Params.push_back(PtrTy); 778 break; 779 case f32_func_f32_f32_f32: 780 Rets.push_back(wasm::ValType::F32); 781 Params.push_back(wasm::ValType::F32); 782 Params.push_back(wasm::ValType::F32); 783 Params.push_back(wasm::ValType::F32); 784 break; 785 case f64_func_f64_f64_f64: 786 Rets.push_back(wasm::ValType::F64); 787 Params.push_back(wasm::ValType::F64); 788 Params.push_back(wasm::ValType::F64); 789 Params.push_back(wasm::ValType::F64); 790 break; 791 case func_i64_i64_iPTR_iPTR: 792 Params.push_back(wasm::ValType::I64); 793 Params.push_back(wasm::ValType::I64); 794 Params.push_back(PtrTy); 795 Params.push_back(PtrTy); 796 break; 797 case func_iPTR_f32: 798 Params.push_back(PtrTy); 799 Params.push_back(wasm::ValType::F32); 800 break; 801 case func_iPTR_f64: 802 Params.push_back(PtrTy); 803 Params.push_back(wasm::ValType::F64); 804 break; 805 case func_iPTR_i32: 806 Params.push_back(PtrTy); 807 Params.push_back(wasm::ValType::I32); 808 break; 809 case func_iPTR_i64: 810 Params.push_back(PtrTy); 811 Params.push_back(wasm::ValType::I64); 812 break; 813 case func_iPTR_i64_i64: 814 Params.push_back(PtrTy); 815 Params.push_back(wasm::ValType::I64); 816 Params.push_back(wasm::ValType::I64); 817 break; 818 case func_iPTR_i64_i64_i64_i64: 819 Params.push_back(PtrTy); 820 Params.push_back(wasm::ValType::I64); 821 Params.push_back(wasm::ValType::I64); 822 Params.push_back(wasm::ValType::I64); 823 Params.push_back(wasm::ValType::I64); 824 break; 825 case func_iPTR_i64_i64_i64_i64_i64_i64: 826 Params.push_back(PtrTy); 827 Params.push_back(wasm::ValType::I64); 828 Params.push_back(wasm::ValType::I64); 829 Params.push_back(wasm::ValType::I64); 830 Params.push_back(wasm::ValType::I64); 831 Params.push_back(wasm::ValType::I64); 832 Params.push_back(wasm::ValType::I64); 833 break; 834 case i32_func_i64_i64: 835 Rets.push_back(wasm::ValType::I32); 836 Params.push_back(wasm::ValType::I64); 837 Params.push_back(wasm::ValType::I64); 838 break; 839 case i32_func_i64_i64_i64_i64: 840 Rets.push_back(wasm::ValType::I32); 841 Params.push_back(wasm::ValType::I64); 842 Params.push_back(wasm::ValType::I64); 843 Params.push_back(wasm::ValType::I64); 844 Params.push_back(wasm::ValType::I64); 845 break; 846 case unsupported: 847 llvm_unreachable("unsupported runtime library signature"); 848 } 849 } 850 851 static ManagedStatic<StaticLibcallNameMap> LibcallNameMap; 852 // TODO: If the RTLIB::Libcall-taking flavor of GetSignature remains unsed 853 // other than here, just roll its logic into this version. 854 void llvm::getLibcallSignature(const WebAssemblySubtarget &Subtarget, 855 const char *Name, 856 SmallVectorImpl<wasm::ValType> &Rets, 857 SmallVectorImpl<wasm::ValType> &Params) { 858 auto &Map = LibcallNameMap->Map; 859 auto Val = Map.find(Name); 860 #ifndef NDEBUG 861 if (Val == Map.end()) { 862 auto message = std::string("unexpected runtime library name: ") + Name; 863 llvm_unreachable(message.c_str()); 864 } 865 #endif 866 return getLibcallSignature(Subtarget, Val->second, Rets, Params); 867 } 868