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/CodeGen/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 } 845