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 #define HANDLE_LIBCALL(code, name) \ 469 if ((const char *)name && \ 470 RuntimeLibcallSignatures->Table[RTLIB::code] != unsupported) { \ 471 assert(Map.find(StringRef::withNullAsEmpty(name)) == Map.end() && \ 472 "duplicate libcall names in name map"); \ 473 Map[StringRef::withNullAsEmpty(name)] = RTLIB::code; \ 474 } 475 #include "llvm/CodeGen/RuntimeLibcalls.def" 476 #undef HANDLE_LIBCALL 477 } 478 }; 479 480 } // end anonymous namespace 481 482 483 484 void llvm::GetSignature(const WebAssemblySubtarget &Subtarget, 485 RTLIB::Libcall LC, SmallVectorImpl<wasm::ValType> &Rets, 486 SmallVectorImpl<wasm::ValType> &Params) { 487 assert(Rets.empty()); 488 assert(Params.empty()); 489 490 WebAssembly::ExprType iPTR = Subtarget.hasAddr64() ? 491 WebAssembly::ExprType::I64 : 492 WebAssembly::ExprType::I32; 493 494 auto& Table = RuntimeLibcallSignatures->Table; 495 switch (Table[LC]) { 496 case func: 497 break; 498 case f32_func_f32: 499 Rets.push_back(wasm::ValType::F32); 500 Params.push_back(wasm::ValType::F32); 501 break; 502 case f32_func_f64: 503 Rets.push_back(wasm::ValType::F32); 504 Params.push_back(wasm::ValType::F64); 505 break; 506 case f32_func_i32: 507 Rets.push_back(wasm::ValType::F32); 508 Params.push_back(wasm::ValType::I32); 509 break; 510 case f32_func_i64: 511 Rets.push_back(wasm::ValType::F32); 512 Params.push_back(wasm::ValType::I64); 513 break; 514 case f32_func_i16: 515 Rets.push_back(wasm::ValType::F32); 516 Params.push_back(wasm::ValType::I32); 517 break; 518 case f64_func_f32: 519 Rets.push_back(wasm::ValType::F64); 520 Params.push_back(wasm::ValType::F32); 521 break; 522 case f64_func_f64: 523 Rets.push_back(wasm::ValType::F64); 524 Params.push_back(wasm::ValType::F64); 525 break; 526 case f64_func_i32: 527 Rets.push_back(wasm::ValType::F64); 528 Params.push_back(wasm::ValType::I32); 529 break; 530 case f64_func_i64: 531 Rets.push_back(wasm::ValType::F64); 532 Params.push_back(wasm::ValType::I64); 533 break; 534 case i32_func_f32: 535 Rets.push_back(wasm::ValType::I32); 536 Params.push_back(wasm::ValType::F32); 537 break; 538 case i32_func_f64: 539 Rets.push_back(wasm::ValType::I32); 540 Params.push_back(wasm::ValType::F64); 541 break; 542 case i32_func_i32: 543 Rets.push_back(wasm::ValType::I32); 544 Params.push_back(wasm::ValType::I32); 545 break; 546 case i64_func_f32: 547 Rets.push_back(wasm::ValType::I64); 548 Params.push_back(wasm::ValType::F32); 549 break; 550 case i64_func_f64: 551 Rets.push_back(wasm::ValType::I64); 552 Params.push_back(wasm::ValType::F64); 553 break; 554 case i64_func_i64: 555 Rets.push_back(wasm::ValType::I64); 556 Params.push_back(wasm::ValType::I64); 557 break; 558 case f32_func_f32_f32: 559 Rets.push_back(wasm::ValType::F32); 560 Params.push_back(wasm::ValType::F32); 561 Params.push_back(wasm::ValType::F32); 562 break; 563 case f32_func_f32_i32: 564 Rets.push_back(wasm::ValType::F32); 565 Params.push_back(wasm::ValType::F32); 566 Params.push_back(wasm::ValType::I32); 567 break; 568 case f32_func_i64_i64: 569 Rets.push_back(wasm::ValType::F32); 570 Params.push_back(wasm::ValType::I64); 571 Params.push_back(wasm::ValType::I64); 572 break; 573 case f64_func_f64_f64: 574 Rets.push_back(wasm::ValType::F64); 575 Params.push_back(wasm::ValType::F64); 576 Params.push_back(wasm::ValType::F64); 577 break; 578 case f64_func_f64_i32: 579 Rets.push_back(wasm::ValType::F64); 580 Params.push_back(wasm::ValType::F64); 581 Params.push_back(wasm::ValType::I32); 582 break; 583 case f64_func_i64_i64: 584 Rets.push_back(wasm::ValType::F64); 585 Params.push_back(wasm::ValType::I64); 586 Params.push_back(wasm::ValType::I64); 587 break; 588 case i16_func_f32: 589 Rets.push_back(wasm::ValType::I32); 590 Params.push_back(wasm::ValType::F32); 591 break; 592 case i8_func_i8_i8: 593 Rets.push_back(wasm::ValType::I32); 594 Params.push_back(wasm::ValType::I32); 595 Params.push_back(wasm::ValType::I32); 596 break; 597 case func_f32_iPTR_iPTR: 598 Params.push_back(wasm::ValType::F32); 599 Params.push_back(wasm::ValType(iPTR)); 600 Params.push_back(wasm::ValType(iPTR)); 601 break; 602 case func_f64_iPTR_iPTR: 603 Params.push_back(wasm::ValType::F64); 604 Params.push_back(wasm::ValType(iPTR)); 605 Params.push_back(wasm::ValType(iPTR)); 606 break; 607 case i16_func_i16_i16: 608 Rets.push_back(wasm::ValType::I32); 609 Params.push_back(wasm::ValType::I32); 610 Params.push_back(wasm::ValType::I32); 611 break; 612 case i32_func_f32_f32: 613 Rets.push_back(wasm::ValType::I32); 614 Params.push_back(wasm::ValType::F32); 615 Params.push_back(wasm::ValType::F32); 616 break; 617 case i32_func_f64_f64: 618 Rets.push_back(wasm::ValType::I32); 619 Params.push_back(wasm::ValType::F64); 620 Params.push_back(wasm::ValType::F64); 621 break; 622 case i32_func_i32_i32: 623 Rets.push_back(wasm::ValType::I32); 624 Params.push_back(wasm::ValType::I32); 625 Params.push_back(wasm::ValType::I32); 626 break; 627 case i64_func_i64_i64: 628 Rets.push_back(wasm::ValType::I64); 629 Params.push_back(wasm::ValType::I64); 630 Params.push_back(wasm::ValType::I64); 631 break; 632 case i64_i64_func_f32: 633 #if 0 // TODO: Enable this when wasm gets multiple-return-value support. 634 Rets.push_back(wasm::ValType::I64); 635 Rets.push_back(wasm::ValType::I64); 636 #else 637 Params.push_back(wasm::ValType(iPTR)); 638 #endif 639 Params.push_back(wasm::ValType::F32); 640 break; 641 case i64_i64_func_f64: 642 #if 0 // TODO: Enable this when wasm gets multiple-return-value support. 643 Rets.push_back(wasm::ValType::I64); 644 Rets.push_back(wasm::ValType::I64); 645 #else 646 Params.push_back(wasm::ValType(iPTR)); 647 #endif 648 Params.push_back(wasm::ValType::F64); 649 break; 650 case i16_i16_func_i16_i16: 651 #if 0 // TODO: Enable this when wasm gets multiple-return-value support. 652 Rets.push_back(wasm::ValType::I32); 653 Rets.push_back(wasm::ValType::I32); 654 #else 655 Params.push_back(wasm::ValType(iPTR)); 656 #endif 657 Params.push_back(wasm::ValType::I32); 658 Params.push_back(wasm::ValType::I32); 659 break; 660 case i32_i32_func_i32_i32: 661 #if 0 // TODO: Enable this when wasm gets multiple-return-value support. 662 Rets.push_back(wasm::ValType::I32); 663 Rets.push_back(wasm::ValType::I32); 664 #else 665 Params.push_back(wasm::ValType(iPTR)); 666 #endif 667 Params.push_back(wasm::ValType::I32); 668 Params.push_back(wasm::ValType::I32); 669 break; 670 case i64_i64_func_i64_i64: 671 #if 0 // TODO: Enable this when wasm gets multiple-return-value support. 672 Rets.push_back(wasm::ValType::I64); 673 Rets.push_back(wasm::ValType::I64); 674 #else 675 Params.push_back(wasm::ValType(iPTR)); 676 #endif 677 Params.push_back(wasm::ValType::I64); 678 Params.push_back(wasm::ValType::I64); 679 break; 680 case i64_i64_func_i64_i64_i64_i64: 681 #if 0 // TODO: Enable this when wasm gets multiple-return-value support. 682 Rets.push_back(wasm::ValType::I64); 683 Rets.push_back(wasm::ValType::I64); 684 #else 685 Params.push_back(wasm::ValType(iPTR)); 686 #endif 687 Params.push_back(wasm::ValType::I64); 688 Params.push_back(wasm::ValType::I64); 689 Params.push_back(wasm::ValType::I64); 690 Params.push_back(wasm::ValType::I64); 691 break; 692 case i64_i64_i64_i64_func_i64_i64_i64_i64: 693 #if 0 // TODO: Enable this when wasm gets multiple-return-value support. 694 Rets.push_back(wasm::ValType::I64); 695 Rets.push_back(wasm::ValType::I64); 696 Rets.push_back(wasm::ValType::I64); 697 Rets.push_back(wasm::ValType::I64); 698 #else 699 Params.push_back(wasm::ValType(iPTR)); 700 #endif 701 Params.push_back(wasm::ValType::I64); 702 Params.push_back(wasm::ValType::I64); 703 Params.push_back(wasm::ValType::I64); 704 Params.push_back(wasm::ValType::I64); 705 break; 706 case i64_i64_func_i64_i64_i32: 707 #if 0 // TODO: Enable this when wasm gets multiple-return-value support. 708 Rets.push_back(wasm::ValType::I64); 709 Rets.push_back(wasm::ValType::I64); 710 Rets.push_back(wasm::ValType::I64); 711 Rets.push_back(wasm::ValType::I64); 712 #else 713 Params.push_back(wasm::ValType(iPTR)); 714 #endif 715 Params.push_back(wasm::ValType::I64); 716 Params.push_back(wasm::ValType::I64); 717 Params.push_back(wasm::ValType::I32); 718 break; 719 case iPTR_func_iPTR_i32_iPTR: 720 Rets.push_back(wasm::ValType(iPTR)); 721 Params.push_back(wasm::ValType(iPTR)); 722 Params.push_back(wasm::ValType::I32); 723 Params.push_back(wasm::ValType(iPTR)); 724 break; 725 case iPTR_func_iPTR_iPTR_iPTR: 726 Rets.push_back(wasm::ValType(iPTR)); 727 Params.push_back(wasm::ValType(iPTR)); 728 Params.push_back(wasm::ValType(iPTR)); 729 Params.push_back(wasm::ValType(iPTR)); 730 break; 731 case f32_func_f32_f32_f32: 732 Rets.push_back(wasm::ValType::F32); 733 Params.push_back(wasm::ValType::F32); 734 Params.push_back(wasm::ValType::F32); 735 Params.push_back(wasm::ValType::F32); 736 break; 737 case f64_func_f64_f64_f64: 738 Rets.push_back(wasm::ValType::F64); 739 Params.push_back(wasm::ValType::F64); 740 Params.push_back(wasm::ValType::F64); 741 Params.push_back(wasm::ValType::F64); 742 break; 743 case func_i64_i64_iPTR_iPTR: 744 Params.push_back(wasm::ValType::I64); 745 Params.push_back(wasm::ValType::I64); 746 Params.push_back(wasm::ValType(iPTR)); 747 Params.push_back(wasm::ValType(iPTR)); 748 break; 749 case func_iPTR_f32: 750 Params.push_back(wasm::ValType(iPTR)); 751 Params.push_back(wasm::ValType::F32); 752 break; 753 case func_iPTR_f64: 754 Params.push_back(wasm::ValType(iPTR)); 755 Params.push_back(wasm::ValType::F64); 756 break; 757 case func_iPTR_i32: 758 Params.push_back(wasm::ValType(iPTR)); 759 Params.push_back(wasm::ValType::I32); 760 break; 761 case func_iPTR_i64: 762 Params.push_back(wasm::ValType(iPTR)); 763 Params.push_back(wasm::ValType::I64); 764 break; 765 case func_iPTR_i64_i64: 766 Params.push_back(wasm::ValType(iPTR)); 767 Params.push_back(wasm::ValType::I64); 768 Params.push_back(wasm::ValType::I64); 769 break; 770 case func_iPTR_i64_i64_i64_i64: 771 Params.push_back(wasm::ValType(iPTR)); 772 Params.push_back(wasm::ValType::I64); 773 Params.push_back(wasm::ValType::I64); 774 Params.push_back(wasm::ValType::I64); 775 Params.push_back(wasm::ValType::I64); 776 break; 777 case func_iPTR_i64_i64_i64_i64_i64_i64: 778 Params.push_back(wasm::ValType(iPTR)); 779 Params.push_back(wasm::ValType::I64); 780 Params.push_back(wasm::ValType::I64); 781 Params.push_back(wasm::ValType::I64); 782 Params.push_back(wasm::ValType::I64); 783 Params.push_back(wasm::ValType::I64); 784 Params.push_back(wasm::ValType::I64); 785 break; 786 case i32_func_i64_i64: 787 Rets.push_back(wasm::ValType::I32); 788 Params.push_back(wasm::ValType::I64); 789 Params.push_back(wasm::ValType::I64); 790 break; 791 case i32_func_i64_i64_i64_i64: 792 Rets.push_back(wasm::ValType::I32); 793 Params.push_back(wasm::ValType::I64); 794 Params.push_back(wasm::ValType::I64); 795 Params.push_back(wasm::ValType::I64); 796 Params.push_back(wasm::ValType::I64); 797 break; 798 case unsupported: 799 llvm_unreachable("unsupported runtime library signature"); 800 } 801 } 802 803 static ManagedStatic<StaticLibcallNameMap> LibcallNameMap; 804 // TODO: If the RTLIB::Libcall-taking flavor of GetSignature remains unsed 805 // other than here, just roll its logic into this version. 806 void llvm::GetSignature(const WebAssemblySubtarget &Subtarget, const char *Name, 807 SmallVectorImpl<wasm::ValType> &Rets, 808 SmallVectorImpl<wasm::ValType> &Params) { 809 auto& Map = LibcallNameMap->Map; 810 auto val = Map.find(Name); 811 assert(val != Map.end() && "unexpected runtime library name"); 812 return GetSignature(Subtarget, val->second, Rets, Params); 813 } 814