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 /// \brief 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 i64_func_i64_i64, 63 i64_i64_func_f32, 64 i64_i64_func_f64, 65 i16_i16_func_i16_i16, 66 i32_i32_func_i32_i32, 67 i64_i64_func_i64_i64, 68 i64_i64_func_i64_i64_i64_i64, 69 i64_i64_i64_i64_func_i64_i64_i64_i64, 70 i64_i64_func_i64_i64_i32, 71 iPTR_func_iPTR_i32_iPTR, 72 iPTR_func_iPTR_iPTR_iPTR, 73 f32_func_f32_f32_f32, 74 f64_func_f64_f64_f64, 75 func_i64_i64_iPTR_iPTR, 76 func_iPTR_f32, 77 func_iPTR_f64, 78 func_iPTR_i32, 79 func_iPTR_i64, 80 func_iPTR_i64_i64, 81 func_iPTR_i64_i64_i64_i64, 82 func_iPTR_i64_i64_i64_i64_i64_i64, 83 i32_func_i64_i64, 84 i32_func_i64_i64_i64_i64, 85 unsupported 86 }; 87 88 89 struct RuntimeLibcallSignatureTable { 90 std::vector<RuntimeLibcallSignature> Table; 91 92 // Any newly-added libcalls will be unsupported by default. 93 RuntimeLibcallSignatureTable() : Table(RTLIB::UNKNOWN_LIBCALL, unsupported) { 94 // Integer 95 Table[RTLIB::SHL_I16] = i16_func_i16_i16; 96 Table[RTLIB::SHL_I32] = i32_func_i32_i32; 97 Table[RTLIB::SHL_I64] = i64_func_i64_i64; 98 Table[RTLIB::SHL_I128] = i64_i64_func_i64_i64_i32; 99 Table[RTLIB::SRL_I16] = i16_func_i16_i16; 100 Table[RTLIB::SRL_I32] = i32_func_i32_i32; 101 Table[RTLIB::SRL_I64] = i64_func_i64_i64; 102 Table[RTLIB::SRL_I128] = i64_i64_func_i64_i64_i32; 103 Table[RTLIB::SRA_I16] = i16_func_i16_i16; 104 Table[RTLIB::SRA_I32] = i32_func_i32_i32; 105 Table[RTLIB::SRA_I64] = i64_func_i64_i64; 106 Table[RTLIB::SRA_I128] = i64_i64_func_i64_i64_i32; 107 Table[RTLIB::MUL_I8] = i8_func_i8_i8; 108 Table[RTLIB::MUL_I16] = i16_func_i16_i16; 109 Table[RTLIB::MUL_I32] = i32_func_i32_i32; 110 Table[RTLIB::MUL_I64] = i64_func_i64_i64; 111 Table[RTLIB::MUL_I128] = i64_i64_func_i64_i64_i64_i64; 112 Table[RTLIB::MULO_I32] = i32_func_i32_i32; 113 Table[RTLIB::MULO_I64] = i64_func_i64_i64; 114 Table[RTLIB::MULO_I128] = i64_i64_func_i64_i64_i64_i64; 115 Table[RTLIB::SDIV_I8] = i8_func_i8_i8; 116 Table[RTLIB::SDIV_I16] = i16_func_i16_i16; 117 Table[RTLIB::SDIV_I32] = i32_func_i32_i32; 118 Table[RTLIB::SDIV_I64] = i64_func_i64_i64; 119 Table[RTLIB::SDIV_I128] = i64_i64_func_i64_i64_i64_i64; 120 Table[RTLIB::UDIV_I8] = i8_func_i8_i8; 121 Table[RTLIB::UDIV_I16] = i16_func_i16_i16; 122 Table[RTLIB::UDIV_I32] = i32_func_i32_i32; 123 Table[RTLIB::UDIV_I64] = i64_func_i64_i64; 124 Table[RTLIB::UDIV_I128] = i64_i64_func_i64_i64_i64_i64; 125 Table[RTLIB::SREM_I8] = i8_func_i8_i8; 126 Table[RTLIB::SREM_I16] = i16_func_i16_i16; 127 Table[RTLIB::SREM_I32] = i32_func_i32_i32; 128 Table[RTLIB::SREM_I64] = i64_func_i64_i64; 129 Table[RTLIB::SREM_I128] = i64_i64_func_i64_i64_i64_i64; 130 Table[RTLIB::UREM_I8] = i8_func_i8_i8; 131 Table[RTLIB::UREM_I16] = i16_func_i16_i16; 132 Table[RTLIB::UREM_I32] = i32_func_i32_i32; 133 Table[RTLIB::UREM_I64] = i64_func_i64_i64; 134 Table[RTLIB::UREM_I128] = i64_i64_func_i64_i64_i64_i64; 135 Table[RTLIB::SDIVREM_I8] = i8_func_i8_i8; 136 Table[RTLIB::SDIVREM_I16] = i16_i16_func_i16_i16; 137 Table[RTLIB::SDIVREM_I32] = i32_i32_func_i32_i32; 138 Table[RTLIB::SDIVREM_I64] = i64_func_i64_i64; 139 Table[RTLIB::SDIVREM_I128] = i64_i64_i64_i64_func_i64_i64_i64_i64; 140 Table[RTLIB::UDIVREM_I8] = i8_func_i8_i8; 141 Table[RTLIB::UDIVREM_I16] = i16_i16_func_i16_i16; 142 Table[RTLIB::UDIVREM_I32] = i32_i32_func_i32_i32; 143 Table[RTLIB::UDIVREM_I64] = i64_i64_func_i64_i64; 144 Table[RTLIB::UDIVREM_I128] = i64_i64_i64_i64_func_i64_i64_i64_i64; 145 Table[RTLIB::NEG_I32] = i32_func_i32; 146 Table[RTLIB::NEG_I64] = i64_func_i64; 147 148 // Floating-point. 149 // All F80 and PPCF128 routines are unsupported. 150 Table[RTLIB::ADD_F32] = f32_func_f32_f32; 151 Table[RTLIB::ADD_F64] = f64_func_f64_f64; 152 Table[RTLIB::ADD_F128] = func_iPTR_i64_i64_i64_i64; 153 Table[RTLIB::SUB_F32] = f32_func_f32_f32; 154 Table[RTLIB::SUB_F64] = f64_func_f64_f64; 155 Table[RTLIB::SUB_F128] = func_iPTR_i64_i64_i64_i64; 156 Table[RTLIB::MUL_F32] = f32_func_f32_f32; 157 Table[RTLIB::MUL_F64] = f64_func_f64_f64; 158 Table[RTLIB::MUL_F128] = func_iPTR_i64_i64_i64_i64; 159 Table[RTLIB::DIV_F32] = f32_func_f32_f32; 160 Table[RTLIB::DIV_F64] = f64_func_f64_f64; 161 Table[RTLIB::DIV_F128] = func_iPTR_i64_i64_i64_i64; 162 Table[RTLIB::REM_F32] = f32_func_f32_f32; 163 Table[RTLIB::REM_F64] = f64_func_f64_f64; 164 Table[RTLIB::REM_F128] = func_iPTR_i64_i64_i64_i64; 165 Table[RTLIB::FMA_F32] = f32_func_f32_f32_f32; 166 Table[RTLIB::FMA_F64] = f64_func_f64_f64_f64; 167 Table[RTLIB::FMA_F128] = func_iPTR_i64_i64_i64_i64_i64_i64; 168 Table[RTLIB::POWI_F32] = f32_func_f32_i32; 169 Table[RTLIB::POWI_F64] = f64_func_f64_i32; 170 Table[RTLIB::POWI_F128] = func_iPTR_i64_i64_i64_i64; 171 Table[RTLIB::SQRT_F32] = f32_func_f32; 172 Table[RTLIB::SQRT_F64] = f64_func_f64; 173 Table[RTLIB::SQRT_F128] = func_iPTR_i64_i64; 174 Table[RTLIB::LOG_F32] = f32_func_f32; 175 Table[RTLIB::LOG_F64] = f64_func_f64; 176 Table[RTLIB::LOG_F128] = func_iPTR_i64_i64; 177 Table[RTLIB::LOG2_F32] = f32_func_f32; 178 Table[RTLIB::LOG2_F64] = f64_func_f64; 179 Table[RTLIB::LOG2_F128] = func_iPTR_i64_i64; 180 Table[RTLIB::LOG10_F32] = f32_func_f32; 181 Table[RTLIB::LOG10_F64] = f64_func_f64; 182 Table[RTLIB::LOG10_F128] = func_iPTR_i64_i64; 183 Table[RTLIB::EXP_F32] = f32_func_f32; 184 Table[RTLIB::EXP_F64] = f64_func_f64; 185 Table[RTLIB::EXP_F128] = func_iPTR_i64_i64; 186 Table[RTLIB::EXP2_F32] = f32_func_f32; 187 Table[RTLIB::EXP2_F64] = f64_func_f64; 188 Table[RTLIB::EXP2_F128] = func_iPTR_i64_i64; 189 Table[RTLIB::SIN_F32] = f32_func_f32; 190 Table[RTLIB::SIN_F64] = f64_func_f64; 191 Table[RTLIB::SIN_F128] = func_iPTR_i64_i64; 192 Table[RTLIB::COS_F32] = f32_func_f32; 193 Table[RTLIB::COS_F64] = f64_func_f64; 194 Table[RTLIB::COS_F128] = func_iPTR_i64_i64; 195 Table[RTLIB::SINCOS_F32] = func_f32_iPTR_iPTR; 196 Table[RTLIB::SINCOS_F64] = func_f64_iPTR_iPTR; 197 Table[RTLIB::SINCOS_F128] = func_i64_i64_iPTR_iPTR; 198 Table[RTLIB::POW_F32] = f32_func_f32_f32; 199 Table[RTLIB::POW_F64] = f64_func_f64_f64; 200 Table[RTLIB::POW_F128] = func_iPTR_i64_i64_i64_i64; 201 Table[RTLIB::CEIL_F32] = f32_func_f32; 202 Table[RTLIB::CEIL_F64] = f64_func_f64; 203 Table[RTLIB::CEIL_F128] = func_iPTR_i64_i64; 204 Table[RTLIB::TRUNC_F32] = f32_func_f32; 205 Table[RTLIB::TRUNC_F64] = f64_func_f64; 206 Table[RTLIB::TRUNC_F128] = func_iPTR_i64_i64; 207 Table[RTLIB::RINT_F32] = f32_func_f32; 208 Table[RTLIB::RINT_F64] = f64_func_f64; 209 Table[RTLIB::RINT_F128] = func_iPTR_i64_i64; 210 Table[RTLIB::NEARBYINT_F32] = f32_func_f32; 211 Table[RTLIB::NEARBYINT_F64] = f64_func_f64; 212 Table[RTLIB::NEARBYINT_F128] = func_iPTR_i64_i64; 213 Table[RTLIB::ROUND_F32] = f32_func_f32; 214 Table[RTLIB::ROUND_F64] = f64_func_f64; 215 Table[RTLIB::ROUND_F128] = func_iPTR_i64_i64; 216 Table[RTLIB::FLOOR_F32] = f32_func_f32; 217 Table[RTLIB::FLOOR_F64] = f64_func_f64; 218 Table[RTLIB::FLOOR_F128] = func_iPTR_i64_i64; 219 Table[RTLIB::COPYSIGN_F32] = f32_func_f32_f32; 220 Table[RTLIB::COPYSIGN_F64] = f64_func_f64_f64; 221 Table[RTLIB::COPYSIGN_F128] = func_iPTR_i64_i64_i64_i64; 222 Table[RTLIB::FMIN_F32] = f32_func_f32_f32; 223 Table[RTLIB::FMIN_F64] = f64_func_f64_f64; 224 Table[RTLIB::FMIN_F128] = func_iPTR_i64_i64_i64_i64; 225 Table[RTLIB::FMAX_F32] = f32_func_f32_f32; 226 Table[RTLIB::FMAX_F64] = f64_func_f64_f64; 227 Table[RTLIB::FMAX_F128] = func_iPTR_i64_i64_i64_i64; 228 229 // Conversion 230 // All F80 and PPCF128 routines are unspported. 231 Table[RTLIB::FPEXT_F64_F128] = func_iPTR_f64; 232 Table[RTLIB::FPEXT_F32_F128] = func_iPTR_f32; 233 Table[RTLIB::FPEXT_F32_F64] = f64_func_f32; 234 Table[RTLIB::FPEXT_F16_F32] = f32_func_i16; 235 Table[RTLIB::FPROUND_F32_F16] = i16_func_f32; 236 Table[RTLIB::FPROUND_F64_F32] = f32_func_f64; 237 Table[RTLIB::FPROUND_F128_F32] = f32_func_i64_i64; 238 Table[RTLIB::FPROUND_F128_F64] = f64_func_i64_i64; 239 Table[RTLIB::FPTOSINT_F32_I32] = i32_func_f32; 240 Table[RTLIB::FPTOSINT_F32_I64] = i64_func_f32; 241 Table[RTLIB::FPTOSINT_F32_I128] = i64_i64_func_f32; 242 Table[RTLIB::FPTOSINT_F64_I32] = i32_func_f64; 243 Table[RTLIB::FPTOSINT_F64_I64] = i64_func_f64; 244 Table[RTLIB::FPTOSINT_F64_I128] = i64_i64_func_f64; 245 Table[RTLIB::FPTOSINT_F128_I32] = i32_func_i64_i64; 246 Table[RTLIB::FPTOSINT_F128_I64] = i64_func_i64_i64; 247 Table[RTLIB::FPTOSINT_F128_I128] = i64_i64_func_i64_i64; 248 Table[RTLIB::FPTOUINT_F32_I32] = i32_func_f32; 249 Table[RTLIB::FPTOUINT_F32_I64] = i64_func_f32; 250 Table[RTLIB::FPTOUINT_F32_I128] = i64_i64_func_f32; 251 Table[RTLIB::FPTOUINT_F64_I32] = i32_func_f64; 252 Table[RTLIB::FPTOUINT_F64_I64] = i64_func_f64; 253 Table[RTLIB::FPTOUINT_F64_I128] = i64_i64_func_f64; 254 Table[RTLIB::FPTOUINT_F128_I32] = i32_func_i64_i64; 255 Table[RTLIB::FPTOUINT_F128_I64] = i64_func_i64_i64; 256 Table[RTLIB::FPTOUINT_F128_I128] = i64_i64_func_i64_i64; 257 Table[RTLIB::SINTTOFP_I32_F32] = f32_func_i32; 258 Table[RTLIB::SINTTOFP_I32_F64] = f64_func_i32; 259 Table[RTLIB::SINTTOFP_I32_F128] = func_iPTR_i32; 260 Table[RTLIB::SINTTOFP_I64_F32] = f32_func_i64; 261 Table[RTLIB::SINTTOFP_I64_F64] = f64_func_i64; 262 Table[RTLIB::SINTTOFP_I64_F128] = func_iPTR_i64; 263 Table[RTLIB::SINTTOFP_I128_F32] = f32_func_i64_i64; 264 Table[RTLIB::SINTTOFP_I128_F64] = f64_func_i64_i64; 265 Table[RTLIB::SINTTOFP_I128_F128] = func_iPTR_i64_i64; 266 Table[RTLIB::UINTTOFP_I32_F32] = f32_func_i32; 267 Table[RTLIB::UINTTOFP_I32_F64] = f64_func_i64; 268 Table[RTLIB::UINTTOFP_I32_F128] = func_iPTR_i32; 269 Table[RTLIB::UINTTOFP_I64_F32] = f32_func_i64; 270 Table[RTLIB::UINTTOFP_I64_F64] = f64_func_i64; 271 Table[RTLIB::UINTTOFP_I64_F128] = func_iPTR_i64; 272 Table[RTLIB::UINTTOFP_I128_F32] = f32_func_i64_i64; 273 Table[RTLIB::UINTTOFP_I128_F64] = f64_func_i64_i64; 274 Table[RTLIB::UINTTOFP_I128_F128] = func_iPTR_i64_i64; 275 276 // Comparison 277 // ALl F80 and PPCF128 routines are unsupported. 278 Table[RTLIB::OEQ_F32] = i32_func_f32_f32; 279 Table[RTLIB::OEQ_F64] = i32_func_f64_f64; 280 Table[RTLIB::OEQ_F128] = i32_func_i64_i64_i64_i64; 281 Table[RTLIB::UNE_F32] = i32_func_f32_f32; 282 Table[RTLIB::UNE_F64] = i32_func_f64_f64; 283 Table[RTLIB::UNE_F128] = i32_func_i64_i64_i64_i64; 284 Table[RTLIB::OGE_F32] = i32_func_f32_f32; 285 Table[RTLIB::OGE_F64] = i32_func_f64_f64; 286 Table[RTLIB::OGE_F128] = i32_func_i64_i64_i64_i64; 287 Table[RTLIB::OLT_F32] = i32_func_f32_f32; 288 Table[RTLIB::OLT_F64] = i32_func_f64_f64; 289 Table[RTLIB::OLT_F128] = i32_func_i64_i64_i64_i64; 290 Table[RTLIB::OLE_F32] = i32_func_f32_f32; 291 Table[RTLIB::OLE_F64] = i32_func_f64_f64; 292 Table[RTLIB::OLE_F128] = i32_func_i64_i64_i64_i64; 293 Table[RTLIB::OGT_F32] = i32_func_f32_f32; 294 Table[RTLIB::OGT_F64] = i32_func_f64_f64; 295 Table[RTLIB::OGT_F128] = i32_func_i64_i64_i64_i64; 296 Table[RTLIB::UO_F32] = i32_func_f32_f32; 297 Table[RTLIB::UO_F64] = i32_func_f64_f64; 298 Table[RTLIB::UO_F128] = i32_func_i64_i64_i64_i64; 299 // O_FXX has the weird property that it uses the same libcall name as UO_FXX 300 // This breaks our name-based lookup. Fortunately only the UO family of 301 // libcalls appears to be actually used. 302 Table[RTLIB::O_F32] = unsupported; 303 Table[RTLIB::O_F64] = unsupported; 304 Table[RTLIB::O_F128] = unsupported; 305 306 // Memory 307 Table[RTLIB::MEMCPY] = iPTR_func_iPTR_iPTR_iPTR; 308 Table[RTLIB::MEMSET] = iPTR_func_iPTR_i32_iPTR; 309 Table[RTLIB::MEMMOVE] = iPTR_func_iPTR_iPTR_iPTR; 310 311 // Element-wise Atomic memory 312 // TODO: Fix these when we implement atomic support 313 Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_1] = unsupported; 314 Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_2] = unsupported; 315 Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_4] = unsupported; 316 Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_8] = unsupported; 317 Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_16] = unsupported; 318 Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_1] = unsupported; 319 Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_2] = unsupported; 320 Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_4] = unsupported; 321 Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_8] = unsupported; 322 Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_16] = unsupported; 323 324 Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_1] = unsupported; 325 Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_2] = unsupported; 326 Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_4] = unsupported; 327 Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_8] = unsupported; 328 Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_16] = unsupported; 329 330 // Atomic '__sync_*' libcalls. 331 // TODO: Fix these when we implement atomic support 332 Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_1] = unsupported; 333 Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_2] = unsupported; 334 Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_4] = unsupported; 335 Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_8] = unsupported; 336 Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_16] = unsupported; 337 Table[RTLIB::SYNC_LOCK_TEST_AND_SET_1] = unsupported; 338 Table[RTLIB::SYNC_LOCK_TEST_AND_SET_2] = unsupported; 339 Table[RTLIB::SYNC_LOCK_TEST_AND_SET_4] = unsupported; 340 Table[RTLIB::SYNC_LOCK_TEST_AND_SET_8] = unsupported; 341 Table[RTLIB::SYNC_LOCK_TEST_AND_SET_16] = unsupported; 342 Table[RTLIB::SYNC_FETCH_AND_ADD_1] = unsupported; 343 Table[RTLIB::SYNC_FETCH_AND_ADD_2] = unsupported; 344 Table[RTLIB::SYNC_FETCH_AND_ADD_4] = unsupported; 345 Table[RTLIB::SYNC_FETCH_AND_ADD_8] = unsupported; 346 Table[RTLIB::SYNC_FETCH_AND_ADD_16] = unsupported; 347 Table[RTLIB::SYNC_FETCH_AND_SUB_1] = unsupported; 348 Table[RTLIB::SYNC_FETCH_AND_SUB_2] = unsupported; 349 Table[RTLIB::SYNC_FETCH_AND_SUB_4] = unsupported; 350 Table[RTLIB::SYNC_FETCH_AND_SUB_8] = unsupported; 351 Table[RTLIB::SYNC_FETCH_AND_SUB_16] = unsupported; 352 Table[RTLIB::SYNC_FETCH_AND_AND_1] = unsupported; 353 Table[RTLIB::SYNC_FETCH_AND_AND_2] = unsupported; 354 Table[RTLIB::SYNC_FETCH_AND_AND_4] = unsupported; 355 Table[RTLIB::SYNC_FETCH_AND_AND_8] = unsupported; 356 Table[RTLIB::SYNC_FETCH_AND_AND_16] = unsupported; 357 Table[RTLIB::SYNC_FETCH_AND_OR_1] = unsupported; 358 Table[RTLIB::SYNC_FETCH_AND_OR_2] = unsupported; 359 Table[RTLIB::SYNC_FETCH_AND_OR_4] = unsupported; 360 Table[RTLIB::SYNC_FETCH_AND_OR_8] = unsupported; 361 Table[RTLIB::SYNC_FETCH_AND_OR_16] = unsupported; 362 Table[RTLIB::SYNC_FETCH_AND_XOR_1] = unsupported; 363 Table[RTLIB::SYNC_FETCH_AND_XOR_2] = unsupported; 364 Table[RTLIB::SYNC_FETCH_AND_XOR_4] = unsupported; 365 Table[RTLIB::SYNC_FETCH_AND_XOR_8] = unsupported; 366 Table[RTLIB::SYNC_FETCH_AND_XOR_16] = unsupported; 367 Table[RTLIB::SYNC_FETCH_AND_NAND_1] = unsupported; 368 Table[RTLIB::SYNC_FETCH_AND_NAND_2] = unsupported; 369 Table[RTLIB::SYNC_FETCH_AND_NAND_4] = unsupported; 370 Table[RTLIB::SYNC_FETCH_AND_NAND_8] = unsupported; 371 Table[RTLIB::SYNC_FETCH_AND_NAND_16] = unsupported; 372 Table[RTLIB::SYNC_FETCH_AND_MAX_1] = unsupported; 373 Table[RTLIB::SYNC_FETCH_AND_MAX_2] = unsupported; 374 Table[RTLIB::SYNC_FETCH_AND_MAX_4] = unsupported; 375 Table[RTLIB::SYNC_FETCH_AND_MAX_8] = unsupported; 376 Table[RTLIB::SYNC_FETCH_AND_MAX_16] = unsupported; 377 Table[RTLIB::SYNC_FETCH_AND_UMAX_1] = unsupported; 378 Table[RTLIB::SYNC_FETCH_AND_UMAX_2] = unsupported; 379 Table[RTLIB::SYNC_FETCH_AND_UMAX_4] = unsupported; 380 Table[RTLIB::SYNC_FETCH_AND_UMAX_8] = unsupported; 381 Table[RTLIB::SYNC_FETCH_AND_UMAX_16] = unsupported; 382 Table[RTLIB::SYNC_FETCH_AND_MIN_1] = unsupported; 383 Table[RTLIB::SYNC_FETCH_AND_MIN_2] = unsupported; 384 Table[RTLIB::SYNC_FETCH_AND_MIN_4] = unsupported; 385 Table[RTLIB::SYNC_FETCH_AND_MIN_8] = unsupported; 386 Table[RTLIB::SYNC_FETCH_AND_MIN_16] = unsupported; 387 Table[RTLIB::SYNC_FETCH_AND_UMIN_1] = unsupported; 388 Table[RTLIB::SYNC_FETCH_AND_UMIN_2] = unsupported; 389 Table[RTLIB::SYNC_FETCH_AND_UMIN_4] = unsupported; 390 Table[RTLIB::SYNC_FETCH_AND_UMIN_8] = unsupported; 391 Table[RTLIB::SYNC_FETCH_AND_UMIN_16] = unsupported; 392 393 // Atomic '__atomic_*' libcalls. 394 // TODO: Fix these when we implement atomic support 395 Table[RTLIB::ATOMIC_LOAD] = unsupported; 396 Table[RTLIB::ATOMIC_LOAD_1] = unsupported; 397 Table[RTLIB::ATOMIC_LOAD_2] = unsupported; 398 Table[RTLIB::ATOMIC_LOAD_4] = unsupported; 399 Table[RTLIB::ATOMIC_LOAD_8] = unsupported; 400 Table[RTLIB::ATOMIC_LOAD_16] = unsupported; 401 402 Table[RTLIB::ATOMIC_STORE] = unsupported; 403 Table[RTLIB::ATOMIC_STORE_1] = unsupported; 404 Table[RTLIB::ATOMIC_STORE_2] = unsupported; 405 Table[RTLIB::ATOMIC_STORE_4] = unsupported; 406 Table[RTLIB::ATOMIC_STORE_8] = unsupported; 407 Table[RTLIB::ATOMIC_STORE_16] = unsupported; 408 409 Table[RTLIB::ATOMIC_EXCHANGE] = unsupported; 410 Table[RTLIB::ATOMIC_EXCHANGE_1] = unsupported; 411 Table[RTLIB::ATOMIC_EXCHANGE_2] = unsupported; 412 Table[RTLIB::ATOMIC_EXCHANGE_4] = unsupported; 413 Table[RTLIB::ATOMIC_EXCHANGE_8] = unsupported; 414 Table[RTLIB::ATOMIC_EXCHANGE_16] = unsupported; 415 416 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE] = unsupported; 417 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_1] = unsupported; 418 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_2] = unsupported; 419 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_4] = unsupported; 420 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_8] = unsupported; 421 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_16] = unsupported; 422 423 Table[RTLIB::ATOMIC_FETCH_ADD_1] = unsupported; 424 Table[RTLIB::ATOMIC_FETCH_ADD_2] = unsupported; 425 Table[RTLIB::ATOMIC_FETCH_ADD_4] = unsupported; 426 Table[RTLIB::ATOMIC_FETCH_ADD_8] = unsupported; 427 Table[RTLIB::ATOMIC_FETCH_ADD_16] = unsupported; 428 429 Table[RTLIB::ATOMIC_FETCH_SUB_1] = unsupported; 430 Table[RTLIB::ATOMIC_FETCH_SUB_2] = unsupported; 431 Table[RTLIB::ATOMIC_FETCH_SUB_4] = unsupported; 432 Table[RTLIB::ATOMIC_FETCH_SUB_8] = unsupported; 433 Table[RTLIB::ATOMIC_FETCH_SUB_16] = unsupported; 434 435 Table[RTLIB::ATOMIC_FETCH_AND_1] = unsupported; 436 Table[RTLIB::ATOMIC_FETCH_AND_2] = unsupported; 437 Table[RTLIB::ATOMIC_FETCH_AND_4] = unsupported; 438 Table[RTLIB::ATOMIC_FETCH_AND_8] = unsupported; 439 Table[RTLIB::ATOMIC_FETCH_AND_16] = unsupported; 440 441 Table[RTLIB::ATOMIC_FETCH_OR_1] = unsupported; 442 Table[RTLIB::ATOMIC_FETCH_OR_2] = unsupported; 443 Table[RTLIB::ATOMIC_FETCH_OR_4] = unsupported; 444 Table[RTLIB::ATOMIC_FETCH_OR_8] = unsupported; 445 Table[RTLIB::ATOMIC_FETCH_OR_16] = unsupported; 446 447 Table[RTLIB::ATOMIC_FETCH_XOR_1] = unsupported; 448 Table[RTLIB::ATOMIC_FETCH_XOR_2] = unsupported; 449 Table[RTLIB::ATOMIC_FETCH_XOR_4] = unsupported; 450 Table[RTLIB::ATOMIC_FETCH_XOR_8] = unsupported; 451 Table[RTLIB::ATOMIC_FETCH_XOR_16] = unsupported; 452 453 Table[RTLIB::ATOMIC_FETCH_NAND_1] = unsupported; 454 Table[RTLIB::ATOMIC_FETCH_NAND_2] = unsupported; 455 Table[RTLIB::ATOMIC_FETCH_NAND_4] = unsupported; 456 Table[RTLIB::ATOMIC_FETCH_NAND_8] = unsupported; 457 Table[RTLIB::ATOMIC_FETCH_NAND_16] = unsupported; 458 } 459 }; 460 461 ManagedStatic<RuntimeLibcallSignatureTable> RuntimeLibcallSignatures; 462 463 // Maps libcall names to their RTLIB::Libcall number. Builds the map in a 464 // constructor for use with ManagedStatic 465 struct StaticLibcallNameMap { 466 StringMap<RTLIB::Libcall> Map; 467 StaticLibcallNameMap() { 468 static const std::pair<const char *, RTLIB::Libcall> NameLibcalls[] = { 469 #define HANDLE_LIBCALL(code, name) {(const char *)name, RTLIB::code}, 470 #include "llvm/CodeGen/RuntimeLibcalls.def" 471 #undef HANDLE_LIBCALL 472 }; 473 for (const auto &NameLibcall : NameLibcalls) { 474 if (NameLibcall.first != nullptr && 475 RuntimeLibcallSignatures->Table[NameLibcall.second] != unsupported) { 476 assert(Map.find(NameLibcall.first) == Map.end() && 477 "duplicate libcall names in name map"); 478 Map[NameLibcall.first] = NameLibcall.second; 479 } 480 } 481 } 482 }; 483 484 } // end anonymous namespace 485 486 487 488 void llvm::GetSignature(const WebAssemblySubtarget &Subtarget, 489 RTLIB::Libcall LC, SmallVectorImpl<wasm::ValType> &Rets, 490 SmallVectorImpl<wasm::ValType> &Params) { 491 assert(Rets.empty()); 492 assert(Params.empty()); 493 494 wasm::ValType iPTR = 495 Subtarget.hasAddr64() ? wasm::ValType::I64 : wasm::ValType::I32; 496 497 auto& Table = RuntimeLibcallSignatures->Table; 498 switch (Table[LC]) { 499 case func: 500 break; 501 case f32_func_f32: 502 Rets.push_back(wasm::ValType::F32); 503 Params.push_back(wasm::ValType::F32); 504 break; 505 case f32_func_f64: 506 Rets.push_back(wasm::ValType::F32); 507 Params.push_back(wasm::ValType::F64); 508 break; 509 case f32_func_i32: 510 Rets.push_back(wasm::ValType::F32); 511 Params.push_back(wasm::ValType::I32); 512 break; 513 case f32_func_i64: 514 Rets.push_back(wasm::ValType::F32); 515 Params.push_back(wasm::ValType::I64); 516 break; 517 case f32_func_i16: 518 Rets.push_back(wasm::ValType::F32); 519 Params.push_back(wasm::ValType::I32); 520 break; 521 case f64_func_f32: 522 Rets.push_back(wasm::ValType::F64); 523 Params.push_back(wasm::ValType::F32); 524 break; 525 case f64_func_f64: 526 Rets.push_back(wasm::ValType::F64); 527 Params.push_back(wasm::ValType::F64); 528 break; 529 case f64_func_i32: 530 Rets.push_back(wasm::ValType::F64); 531 Params.push_back(wasm::ValType::I32); 532 break; 533 case f64_func_i64: 534 Rets.push_back(wasm::ValType::F64); 535 Params.push_back(wasm::ValType::I64); 536 break; 537 case i32_func_f32: 538 Rets.push_back(wasm::ValType::I32); 539 Params.push_back(wasm::ValType::F32); 540 break; 541 case i32_func_f64: 542 Rets.push_back(wasm::ValType::I32); 543 Params.push_back(wasm::ValType::F64); 544 break; 545 case i32_func_i32: 546 Rets.push_back(wasm::ValType::I32); 547 Params.push_back(wasm::ValType::I32); 548 break; 549 case i64_func_f32: 550 Rets.push_back(wasm::ValType::I64); 551 Params.push_back(wasm::ValType::F32); 552 break; 553 case i64_func_f64: 554 Rets.push_back(wasm::ValType::I64); 555 Params.push_back(wasm::ValType::F64); 556 break; 557 case i64_func_i64: 558 Rets.push_back(wasm::ValType::I64); 559 Params.push_back(wasm::ValType::I64); 560 break; 561 case f32_func_f32_f32: 562 Rets.push_back(wasm::ValType::F32); 563 Params.push_back(wasm::ValType::F32); 564 Params.push_back(wasm::ValType::F32); 565 break; 566 case f32_func_f32_i32: 567 Rets.push_back(wasm::ValType::F32); 568 Params.push_back(wasm::ValType::F32); 569 Params.push_back(wasm::ValType::I32); 570 break; 571 case f32_func_i64_i64: 572 Rets.push_back(wasm::ValType::F32); 573 Params.push_back(wasm::ValType::I64); 574 Params.push_back(wasm::ValType::I64); 575 break; 576 case f64_func_f64_f64: 577 Rets.push_back(wasm::ValType::F64); 578 Params.push_back(wasm::ValType::F64); 579 Params.push_back(wasm::ValType::F64); 580 break; 581 case f64_func_f64_i32: 582 Rets.push_back(wasm::ValType::F64); 583 Params.push_back(wasm::ValType::F64); 584 Params.push_back(wasm::ValType::I32); 585 break; 586 case f64_func_i64_i64: 587 Rets.push_back(wasm::ValType::F64); 588 Params.push_back(wasm::ValType::I64); 589 Params.push_back(wasm::ValType::I64); 590 break; 591 case i16_func_f32: 592 Rets.push_back(wasm::ValType::I32); 593 Params.push_back(wasm::ValType::F32); 594 break; 595 case i8_func_i8_i8: 596 Rets.push_back(wasm::ValType::I32); 597 Params.push_back(wasm::ValType::I32); 598 Params.push_back(wasm::ValType::I32); 599 break; 600 case func_f32_iPTR_iPTR: 601 Params.push_back(wasm::ValType::F32); 602 Params.push_back(iPTR); 603 Params.push_back(iPTR); 604 break; 605 case func_f64_iPTR_iPTR: 606 Params.push_back(wasm::ValType::F64); 607 Params.push_back(iPTR); 608 Params.push_back(iPTR); 609 break; 610 case i16_func_i16_i16: 611 Rets.push_back(wasm::ValType::I32); 612 Params.push_back(wasm::ValType::I32); 613 Params.push_back(wasm::ValType::I32); 614 break; 615 case i32_func_f32_f32: 616 Rets.push_back(wasm::ValType::I32); 617 Params.push_back(wasm::ValType::F32); 618 Params.push_back(wasm::ValType::F32); 619 break; 620 case i32_func_f64_f64: 621 Rets.push_back(wasm::ValType::I32); 622 Params.push_back(wasm::ValType::F64); 623 Params.push_back(wasm::ValType::F64); 624 break; 625 case i32_func_i32_i32: 626 Rets.push_back(wasm::ValType::I32); 627 Params.push_back(wasm::ValType::I32); 628 Params.push_back(wasm::ValType::I32); 629 break; 630 case i64_func_i64_i64: 631 Rets.push_back(wasm::ValType::I64); 632 Params.push_back(wasm::ValType::I64); 633 Params.push_back(wasm::ValType::I64); 634 break; 635 case i64_i64_func_f32: 636 #if 0 // TODO: Enable this when wasm gets multiple-return-value support. 637 Rets.push_back(wasm::ValType::I64); 638 Rets.push_back(wasm::ValType::I64); 639 #else 640 Params.push_back(iPTR); 641 #endif 642 Params.push_back(wasm::ValType::F32); 643 break; 644 case i64_i64_func_f64: 645 #if 0 // TODO: Enable this when wasm gets multiple-return-value support. 646 Rets.push_back(wasm::ValType::I64); 647 Rets.push_back(wasm::ValType::I64); 648 #else 649 Params.push_back(iPTR); 650 #endif 651 Params.push_back(wasm::ValType::F64); 652 break; 653 case i16_i16_func_i16_i16: 654 #if 0 // TODO: Enable this when wasm gets multiple-return-value support. 655 Rets.push_back(wasm::ValType::I32); 656 Rets.push_back(wasm::ValType::I32); 657 #else 658 Params.push_back(iPTR); 659 #endif 660 Params.push_back(wasm::ValType::I32); 661 Params.push_back(wasm::ValType::I32); 662 break; 663 case i32_i32_func_i32_i32: 664 #if 0 // TODO: Enable this when wasm gets multiple-return-value support. 665 Rets.push_back(wasm::ValType::I32); 666 Rets.push_back(wasm::ValType::I32); 667 #else 668 Params.push_back(iPTR); 669 #endif 670 Params.push_back(wasm::ValType::I32); 671 Params.push_back(wasm::ValType::I32); 672 break; 673 case i64_i64_func_i64_i64: 674 #if 0 // TODO: Enable this when wasm gets multiple-return-value support. 675 Rets.push_back(wasm::ValType::I64); 676 Rets.push_back(wasm::ValType::I64); 677 #else 678 Params.push_back(iPTR); 679 #endif 680 Params.push_back(wasm::ValType::I64); 681 Params.push_back(wasm::ValType::I64); 682 break; 683 case i64_i64_func_i64_i64_i64_i64: 684 #if 0 // TODO: Enable this when wasm gets multiple-return-value support. 685 Rets.push_back(wasm::ValType::I64); 686 Rets.push_back(wasm::ValType::I64); 687 #else 688 Params.push_back(iPTR); 689 #endif 690 Params.push_back(wasm::ValType::I64); 691 Params.push_back(wasm::ValType::I64); 692 Params.push_back(wasm::ValType::I64); 693 Params.push_back(wasm::ValType::I64); 694 break; 695 case i64_i64_i64_i64_func_i64_i64_i64_i64: 696 #if 0 // TODO: Enable this when wasm gets multiple-return-value support. 697 Rets.push_back(wasm::ValType::I64); 698 Rets.push_back(wasm::ValType::I64); 699 Rets.push_back(wasm::ValType::I64); 700 Rets.push_back(wasm::ValType::I64); 701 #else 702 Params.push_back(iPTR); 703 #endif 704 Params.push_back(wasm::ValType::I64); 705 Params.push_back(wasm::ValType::I64); 706 Params.push_back(wasm::ValType::I64); 707 Params.push_back(wasm::ValType::I64); 708 break; 709 case i64_i64_func_i64_i64_i32: 710 #if 0 // TODO: Enable this when wasm gets multiple-return-value support. 711 Rets.push_back(wasm::ValType::I64); 712 Rets.push_back(wasm::ValType::I64); 713 Rets.push_back(wasm::ValType::I64); 714 Rets.push_back(wasm::ValType::I64); 715 #else 716 Params.push_back(iPTR); 717 #endif 718 Params.push_back(wasm::ValType::I64); 719 Params.push_back(wasm::ValType::I64); 720 Params.push_back(wasm::ValType::I32); 721 break; 722 case iPTR_func_iPTR_i32_iPTR: 723 Rets.push_back(iPTR); 724 Params.push_back(iPTR); 725 Params.push_back(wasm::ValType::I32); 726 Params.push_back(iPTR); 727 break; 728 case iPTR_func_iPTR_iPTR_iPTR: 729 Rets.push_back(iPTR); 730 Params.push_back(iPTR); 731 Params.push_back(iPTR); 732 Params.push_back(iPTR); 733 break; 734 case f32_func_f32_f32_f32: 735 Rets.push_back(wasm::ValType::F32); 736 Params.push_back(wasm::ValType::F32); 737 Params.push_back(wasm::ValType::F32); 738 Params.push_back(wasm::ValType::F32); 739 break; 740 case f64_func_f64_f64_f64: 741 Rets.push_back(wasm::ValType::F64); 742 Params.push_back(wasm::ValType::F64); 743 Params.push_back(wasm::ValType::F64); 744 Params.push_back(wasm::ValType::F64); 745 break; 746 case func_i64_i64_iPTR_iPTR: 747 Params.push_back(wasm::ValType::I64); 748 Params.push_back(wasm::ValType::I64); 749 Params.push_back(iPTR); 750 Params.push_back(iPTR); 751 break; 752 case func_iPTR_f32: 753 Params.push_back(iPTR); 754 Params.push_back(wasm::ValType::F32); 755 break; 756 case func_iPTR_f64: 757 Params.push_back(iPTR); 758 Params.push_back(wasm::ValType::F64); 759 break; 760 case func_iPTR_i32: 761 Params.push_back(iPTR); 762 Params.push_back(wasm::ValType::I32); 763 break; 764 case func_iPTR_i64: 765 Params.push_back(iPTR); 766 Params.push_back(wasm::ValType::I64); 767 break; 768 case func_iPTR_i64_i64: 769 Params.push_back(iPTR); 770 Params.push_back(wasm::ValType::I64); 771 Params.push_back(wasm::ValType::I64); 772 break; 773 case func_iPTR_i64_i64_i64_i64: 774 Params.push_back(iPTR); 775 Params.push_back(wasm::ValType::I64); 776 Params.push_back(wasm::ValType::I64); 777 Params.push_back(wasm::ValType::I64); 778 Params.push_back(wasm::ValType::I64); 779 break; 780 case func_iPTR_i64_i64_i64_i64_i64_i64: 781 Params.push_back(iPTR); 782 Params.push_back(wasm::ValType::I64); 783 Params.push_back(wasm::ValType::I64); 784 Params.push_back(wasm::ValType::I64); 785 Params.push_back(wasm::ValType::I64); 786 Params.push_back(wasm::ValType::I64); 787 Params.push_back(wasm::ValType::I64); 788 break; 789 case i32_func_i64_i64: 790 Rets.push_back(wasm::ValType::I32); 791 Params.push_back(wasm::ValType::I64); 792 Params.push_back(wasm::ValType::I64); 793 break; 794 case i32_func_i64_i64_i64_i64: 795 Rets.push_back(wasm::ValType::I32); 796 Params.push_back(wasm::ValType::I64); 797 Params.push_back(wasm::ValType::I64); 798 Params.push_back(wasm::ValType::I64); 799 Params.push_back(wasm::ValType::I64); 800 break; 801 case unsupported: 802 llvm_unreachable("unsupported runtime library signature"); 803 } 804 } 805 806 static ManagedStatic<StaticLibcallNameMap> LibcallNameMap; 807 // TODO: If the RTLIB::Libcall-taking flavor of GetSignature remains unsed 808 // other than here, just roll its logic into this version. 809 void llvm::GetSignature(const WebAssemblySubtarget &Subtarget, const char *Name, 810 SmallVectorImpl<wasm::ValType> &Rets, 811 SmallVectorImpl<wasm::ValType> &Params) { 812 auto& Map = LibcallNameMap->Map; 813 auto val = Map.find(Name); 814 assert(val != Map.end() && "unexpected runtime library name"); 815 return GetSignature(Subtarget, val->second, Rets, Params); 816 } 817