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 Table[RTLIB::O_F32] = i32_func_f32_f32; 300 Table[RTLIB::O_F64] = i32_func_f64_f64; 301 Table[RTLIB::O_F128] = i32_func_i64_i64_i64_i64; 302 303 // Memory 304 Table[RTLIB::MEMCPY] = iPTR_func_iPTR_iPTR_iPTR; 305 Table[RTLIB::MEMSET] = iPTR_func_iPTR_i32_iPTR; 306 Table[RTLIB::MEMMOVE] = iPTR_func_iPTR_iPTR_iPTR; 307 308 // Element-wise Atomic memory 309 // TODO: Fix these when we implement atomic support 310 Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_1] = unsupported; 311 Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_2] = unsupported; 312 Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_4] = unsupported; 313 Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_8] = unsupported; 314 Table[RTLIB::MEMCPY_ELEMENT_UNORDERED_ATOMIC_16] = unsupported; 315 Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_1] = unsupported; 316 Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_2] = unsupported; 317 Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_4] = unsupported; 318 Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_8] = unsupported; 319 Table[RTLIB::MEMMOVE_ELEMENT_UNORDERED_ATOMIC_16] = unsupported; 320 321 Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_1] = unsupported; 322 Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_2] = unsupported; 323 Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_4] = unsupported; 324 Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_8] = unsupported; 325 Table[RTLIB::MEMSET_ELEMENT_UNORDERED_ATOMIC_16] = unsupported; 326 327 // Atomic '__sync_*' libcalls. 328 // TODO: Fix these when we implement atomic support 329 Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_1] = unsupported; 330 Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_2] = unsupported; 331 Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_4] = unsupported; 332 Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_8] = unsupported; 333 Table[RTLIB::SYNC_VAL_COMPARE_AND_SWAP_16] = unsupported; 334 Table[RTLIB::SYNC_LOCK_TEST_AND_SET_1] = unsupported; 335 Table[RTLIB::SYNC_LOCK_TEST_AND_SET_2] = unsupported; 336 Table[RTLIB::SYNC_LOCK_TEST_AND_SET_4] = unsupported; 337 Table[RTLIB::SYNC_LOCK_TEST_AND_SET_8] = unsupported; 338 Table[RTLIB::SYNC_LOCK_TEST_AND_SET_16] = unsupported; 339 Table[RTLIB::SYNC_FETCH_AND_ADD_1] = unsupported; 340 Table[RTLIB::SYNC_FETCH_AND_ADD_2] = unsupported; 341 Table[RTLIB::SYNC_FETCH_AND_ADD_4] = unsupported; 342 Table[RTLIB::SYNC_FETCH_AND_ADD_8] = unsupported; 343 Table[RTLIB::SYNC_FETCH_AND_ADD_16] = unsupported; 344 Table[RTLIB::SYNC_FETCH_AND_SUB_1] = unsupported; 345 Table[RTLIB::SYNC_FETCH_AND_SUB_2] = unsupported; 346 Table[RTLIB::SYNC_FETCH_AND_SUB_4] = unsupported; 347 Table[RTLIB::SYNC_FETCH_AND_SUB_8] = unsupported; 348 Table[RTLIB::SYNC_FETCH_AND_SUB_16] = unsupported; 349 Table[RTLIB::SYNC_FETCH_AND_AND_1] = unsupported; 350 Table[RTLIB::SYNC_FETCH_AND_AND_2] = unsupported; 351 Table[RTLIB::SYNC_FETCH_AND_AND_4] = unsupported; 352 Table[RTLIB::SYNC_FETCH_AND_AND_8] = unsupported; 353 Table[RTLIB::SYNC_FETCH_AND_AND_16] = unsupported; 354 Table[RTLIB::SYNC_FETCH_AND_OR_1] = unsupported; 355 Table[RTLIB::SYNC_FETCH_AND_OR_2] = unsupported; 356 Table[RTLIB::SYNC_FETCH_AND_OR_4] = unsupported; 357 Table[RTLIB::SYNC_FETCH_AND_OR_8] = unsupported; 358 Table[RTLIB::SYNC_FETCH_AND_OR_16] = unsupported; 359 Table[RTLIB::SYNC_FETCH_AND_XOR_1] = unsupported; 360 Table[RTLIB::SYNC_FETCH_AND_XOR_2] = unsupported; 361 Table[RTLIB::SYNC_FETCH_AND_XOR_4] = unsupported; 362 Table[RTLIB::SYNC_FETCH_AND_XOR_8] = unsupported; 363 Table[RTLIB::SYNC_FETCH_AND_XOR_16] = unsupported; 364 Table[RTLIB::SYNC_FETCH_AND_NAND_1] = unsupported; 365 Table[RTLIB::SYNC_FETCH_AND_NAND_2] = unsupported; 366 Table[RTLIB::SYNC_FETCH_AND_NAND_4] = unsupported; 367 Table[RTLIB::SYNC_FETCH_AND_NAND_8] = unsupported; 368 Table[RTLIB::SYNC_FETCH_AND_NAND_16] = unsupported; 369 Table[RTLIB::SYNC_FETCH_AND_MAX_1] = unsupported; 370 Table[RTLIB::SYNC_FETCH_AND_MAX_2] = unsupported; 371 Table[RTLIB::SYNC_FETCH_AND_MAX_4] = unsupported; 372 Table[RTLIB::SYNC_FETCH_AND_MAX_8] = unsupported; 373 Table[RTLIB::SYNC_FETCH_AND_MAX_16] = unsupported; 374 Table[RTLIB::SYNC_FETCH_AND_UMAX_1] = unsupported; 375 Table[RTLIB::SYNC_FETCH_AND_UMAX_2] = unsupported; 376 Table[RTLIB::SYNC_FETCH_AND_UMAX_4] = unsupported; 377 Table[RTLIB::SYNC_FETCH_AND_UMAX_8] = unsupported; 378 Table[RTLIB::SYNC_FETCH_AND_UMAX_16] = unsupported; 379 Table[RTLIB::SYNC_FETCH_AND_MIN_1] = unsupported; 380 Table[RTLIB::SYNC_FETCH_AND_MIN_2] = unsupported; 381 Table[RTLIB::SYNC_FETCH_AND_MIN_4] = unsupported; 382 Table[RTLIB::SYNC_FETCH_AND_MIN_8] = unsupported; 383 Table[RTLIB::SYNC_FETCH_AND_MIN_16] = unsupported; 384 Table[RTLIB::SYNC_FETCH_AND_UMIN_1] = unsupported; 385 Table[RTLIB::SYNC_FETCH_AND_UMIN_2] = unsupported; 386 Table[RTLIB::SYNC_FETCH_AND_UMIN_4] = unsupported; 387 Table[RTLIB::SYNC_FETCH_AND_UMIN_8] = unsupported; 388 Table[RTLIB::SYNC_FETCH_AND_UMIN_16] = unsupported; 389 390 // Atomic '__atomic_*' libcalls. 391 // TODO: Fix these when we implement atomic support 392 Table[RTLIB::ATOMIC_LOAD] = unsupported; 393 Table[RTLIB::ATOMIC_LOAD_1] = unsupported; 394 Table[RTLIB::ATOMIC_LOAD_2] = unsupported; 395 Table[RTLIB::ATOMIC_LOAD_4] = unsupported; 396 Table[RTLIB::ATOMIC_LOAD_8] = unsupported; 397 Table[RTLIB::ATOMIC_LOAD_16] = unsupported; 398 399 Table[RTLIB::ATOMIC_STORE] = unsupported; 400 Table[RTLIB::ATOMIC_STORE_1] = unsupported; 401 Table[RTLIB::ATOMIC_STORE_2] = unsupported; 402 Table[RTLIB::ATOMIC_STORE_4] = unsupported; 403 Table[RTLIB::ATOMIC_STORE_8] = unsupported; 404 Table[RTLIB::ATOMIC_STORE_16] = unsupported; 405 406 Table[RTLIB::ATOMIC_EXCHANGE] = unsupported; 407 Table[RTLIB::ATOMIC_EXCHANGE_1] = unsupported; 408 Table[RTLIB::ATOMIC_EXCHANGE_2] = unsupported; 409 Table[RTLIB::ATOMIC_EXCHANGE_4] = unsupported; 410 Table[RTLIB::ATOMIC_EXCHANGE_8] = unsupported; 411 Table[RTLIB::ATOMIC_EXCHANGE_16] = unsupported; 412 413 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE] = unsupported; 414 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_1] = unsupported; 415 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_2] = unsupported; 416 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_4] = unsupported; 417 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_8] = unsupported; 418 Table[RTLIB::ATOMIC_COMPARE_EXCHANGE_16] = unsupported; 419 420 Table[RTLIB::ATOMIC_FETCH_ADD_1] = unsupported; 421 Table[RTLIB::ATOMIC_FETCH_ADD_2] = unsupported; 422 Table[RTLIB::ATOMIC_FETCH_ADD_4] = unsupported; 423 Table[RTLIB::ATOMIC_FETCH_ADD_8] = unsupported; 424 Table[RTLIB::ATOMIC_FETCH_ADD_16] = unsupported; 425 426 Table[RTLIB::ATOMIC_FETCH_SUB_1] = unsupported; 427 Table[RTLIB::ATOMIC_FETCH_SUB_2] = unsupported; 428 Table[RTLIB::ATOMIC_FETCH_SUB_4] = unsupported; 429 Table[RTLIB::ATOMIC_FETCH_SUB_8] = unsupported; 430 Table[RTLIB::ATOMIC_FETCH_SUB_16] = unsupported; 431 432 Table[RTLIB::ATOMIC_FETCH_AND_1] = unsupported; 433 Table[RTLIB::ATOMIC_FETCH_AND_2] = unsupported; 434 Table[RTLIB::ATOMIC_FETCH_AND_4] = unsupported; 435 Table[RTLIB::ATOMIC_FETCH_AND_8] = unsupported; 436 Table[RTLIB::ATOMIC_FETCH_AND_16] = unsupported; 437 438 Table[RTLIB::ATOMIC_FETCH_OR_1] = unsupported; 439 Table[RTLIB::ATOMIC_FETCH_OR_2] = unsupported; 440 Table[RTLIB::ATOMIC_FETCH_OR_4] = unsupported; 441 Table[RTLIB::ATOMIC_FETCH_OR_8] = unsupported; 442 Table[RTLIB::ATOMIC_FETCH_OR_16] = unsupported; 443 444 Table[RTLIB::ATOMIC_FETCH_XOR_1] = unsupported; 445 Table[RTLIB::ATOMIC_FETCH_XOR_2] = unsupported; 446 Table[RTLIB::ATOMIC_FETCH_XOR_4] = unsupported; 447 Table[RTLIB::ATOMIC_FETCH_XOR_8] = unsupported; 448 Table[RTLIB::ATOMIC_FETCH_XOR_16] = unsupported; 449 450 Table[RTLIB::ATOMIC_FETCH_NAND_1] = unsupported; 451 Table[RTLIB::ATOMIC_FETCH_NAND_2] = unsupported; 452 Table[RTLIB::ATOMIC_FETCH_NAND_4] = unsupported; 453 Table[RTLIB::ATOMIC_FETCH_NAND_8] = unsupported; 454 Table[RTLIB::ATOMIC_FETCH_NAND_16] = unsupported; 455 } 456 }; 457 458 459 StringRef StringRefOrEmpty(const char* arg) { 460 if (arg) return StringRef(arg); 461 return StringRef(); 462 } 463 464 // Maps libcall names to their RTLIB::Libcall number. Builds the map in a 465 // constructor for use with ManagedStatic 466 struct StaticLibcallNameMap { 467 StringMap<RTLIB::Libcall> Map; 468 StaticLibcallNameMap() { 469 #define HANDLE_LIBCALL(code, name) \ 470 Map[StringRefOrEmpty(name)] = RTLIB::code; 471 #include "llvm/CodeGen/RuntimeLibcalls.def" 472 #undef HANDLE_LIBCALL 473 } 474 }; 475 476 ManagedStatic<RuntimeLibcallSignatureTable> RuntimeLibcallSignatures; 477 478 } // end anonymous namespace 479 480 481 482 void llvm::GetSignature(const WebAssemblySubtarget &Subtarget, 483 RTLIB::Libcall LC, SmallVectorImpl<wasm::ValType> &Rets, 484 SmallVectorImpl<wasm::ValType> &Params) { 485 assert(Rets.empty()); 486 assert(Params.empty()); 487 488 WebAssembly::ExprType iPTR = Subtarget.hasAddr64() ? 489 WebAssembly::ExprType::I64 : 490 WebAssembly::ExprType::I32; 491 492 auto& Table = RuntimeLibcallSignatures->Table; 493 switch (Table[LC]) { 494 case func: 495 break; 496 case f32_func_f32: 497 Rets.push_back(wasm::ValType::F32); 498 Params.push_back(wasm::ValType::F32); 499 break; 500 case f32_func_f64: 501 Rets.push_back(wasm::ValType::F32); 502 Params.push_back(wasm::ValType::F64); 503 break; 504 case f32_func_i32: 505 Rets.push_back(wasm::ValType::F32); 506 Params.push_back(wasm::ValType::I32); 507 break; 508 case f32_func_i64: 509 Rets.push_back(wasm::ValType::F32); 510 Params.push_back(wasm::ValType::I64); 511 break; 512 case f32_func_i16: 513 Rets.push_back(wasm::ValType::F32); 514 Params.push_back(wasm::ValType::I32); 515 break; 516 case f64_func_f32: 517 Rets.push_back(wasm::ValType::F64); 518 Params.push_back(wasm::ValType::F32); 519 break; 520 case f64_func_f64: 521 Rets.push_back(wasm::ValType::F64); 522 Params.push_back(wasm::ValType::F64); 523 break; 524 case f64_func_i32: 525 Rets.push_back(wasm::ValType::F64); 526 Params.push_back(wasm::ValType::I32); 527 break; 528 case f64_func_i64: 529 Rets.push_back(wasm::ValType::F64); 530 Params.push_back(wasm::ValType::I64); 531 break; 532 case i32_func_f32: 533 Rets.push_back(wasm::ValType::I32); 534 Params.push_back(wasm::ValType::F32); 535 break; 536 case i32_func_f64: 537 Rets.push_back(wasm::ValType::I32); 538 Params.push_back(wasm::ValType::F64); 539 break; 540 case i32_func_i32: 541 Rets.push_back(wasm::ValType::I32); 542 Params.push_back(wasm::ValType::I32); 543 break; 544 case i64_func_f32: 545 Rets.push_back(wasm::ValType::I64); 546 Params.push_back(wasm::ValType::F32); 547 break; 548 case i64_func_f64: 549 Rets.push_back(wasm::ValType::I64); 550 Params.push_back(wasm::ValType::F64); 551 break; 552 case i64_func_i64: 553 Rets.push_back(wasm::ValType::I64); 554 Params.push_back(wasm::ValType::I64); 555 break; 556 case f32_func_f32_f32: 557 Rets.push_back(wasm::ValType::F32); 558 Params.push_back(wasm::ValType::F32); 559 Params.push_back(wasm::ValType::F32); 560 break; 561 case f32_func_f32_i32: 562 Rets.push_back(wasm::ValType::F32); 563 Params.push_back(wasm::ValType::F32); 564 Params.push_back(wasm::ValType::I32); 565 break; 566 case f32_func_i64_i64: 567 Rets.push_back(wasm::ValType::F32); 568 Params.push_back(wasm::ValType::I64); 569 Params.push_back(wasm::ValType::I64); 570 break; 571 case f64_func_f64_f64: 572 Rets.push_back(wasm::ValType::F64); 573 Params.push_back(wasm::ValType::F64); 574 Params.push_back(wasm::ValType::F64); 575 break; 576 case f64_func_f64_i32: 577 Rets.push_back(wasm::ValType::F64); 578 Params.push_back(wasm::ValType::F64); 579 Params.push_back(wasm::ValType::I32); 580 break; 581 case f64_func_i64_i64: 582 Rets.push_back(wasm::ValType::F64); 583 Params.push_back(wasm::ValType::I64); 584 Params.push_back(wasm::ValType::I64); 585 break; 586 case i16_func_f32: 587 Rets.push_back(wasm::ValType::I32); 588 Params.push_back(wasm::ValType::F32); 589 break; 590 case i8_func_i8_i8: 591 Rets.push_back(wasm::ValType::I32); 592 Params.push_back(wasm::ValType::I32); 593 Params.push_back(wasm::ValType::I32); 594 break; 595 case func_f32_iPTR_iPTR: 596 Params.push_back(wasm::ValType::F32); 597 Params.push_back(wasm::ValType(iPTR)); 598 Params.push_back(wasm::ValType(iPTR)); 599 break; 600 case func_f64_iPTR_iPTR: 601 Params.push_back(wasm::ValType::F64); 602 Params.push_back(wasm::ValType(iPTR)); 603 Params.push_back(wasm::ValType(iPTR)); 604 break; 605 case i16_func_i16_i16: 606 Rets.push_back(wasm::ValType::I32); 607 Params.push_back(wasm::ValType::I32); 608 Params.push_back(wasm::ValType::I32); 609 break; 610 case i32_func_f32_f32: 611 Rets.push_back(wasm::ValType::I32); 612 Params.push_back(wasm::ValType::F32); 613 Params.push_back(wasm::ValType::F32); 614 break; 615 case i32_func_f64_f64: 616 Rets.push_back(wasm::ValType::I32); 617 Params.push_back(wasm::ValType::F64); 618 Params.push_back(wasm::ValType::F64); 619 break; 620 case i32_func_i32_i32: 621 Rets.push_back(wasm::ValType::I32); 622 Params.push_back(wasm::ValType::I32); 623 Params.push_back(wasm::ValType::I32); 624 break; 625 case i64_func_i64_i64: 626 Rets.push_back(wasm::ValType::I64); 627 Params.push_back(wasm::ValType::I64); 628 Params.push_back(wasm::ValType::I64); 629 break; 630 case i64_i64_func_f32: 631 #if 0 // TODO: Enable this when wasm gets multiple-return-value support. 632 Rets.push_back(wasm::ValType::I64); 633 Rets.push_back(wasm::ValType::I64); 634 #else 635 Params.push_back(wasm::ValType(iPTR)); 636 #endif 637 Params.push_back(wasm::ValType::F32); 638 break; 639 case i64_i64_func_f64: 640 #if 0 // TODO: Enable this when wasm gets multiple-return-value support. 641 Rets.push_back(wasm::ValType::I64); 642 Rets.push_back(wasm::ValType::I64); 643 #else 644 Params.push_back(wasm::ValType(iPTR)); 645 #endif 646 Params.push_back(wasm::ValType::F64); 647 break; 648 case i16_i16_func_i16_i16: 649 #if 0 // TODO: Enable this when wasm gets multiple-return-value support. 650 Rets.push_back(wasm::ValType::I32); 651 Rets.push_back(wasm::ValType::I32); 652 #else 653 Params.push_back(wasm::ValType(iPTR)); 654 #endif 655 Params.push_back(wasm::ValType::I32); 656 Params.push_back(wasm::ValType::I32); 657 break; 658 case i32_i32_func_i32_i32: 659 #if 0 // TODO: Enable this when wasm gets multiple-return-value support. 660 Rets.push_back(wasm::ValType::I32); 661 Rets.push_back(wasm::ValType::I32); 662 #else 663 Params.push_back(wasm::ValType(iPTR)); 664 #endif 665 Params.push_back(wasm::ValType::I32); 666 Params.push_back(wasm::ValType::I32); 667 break; 668 case i64_i64_func_i64_i64: 669 #if 0 // TODO: Enable this when wasm gets multiple-return-value support. 670 Rets.push_back(wasm::ValType::I64); 671 Rets.push_back(wasm::ValType::I64); 672 #else 673 Params.push_back(wasm::ValType(iPTR)); 674 #endif 675 Params.push_back(wasm::ValType::I64); 676 Params.push_back(wasm::ValType::I64); 677 break; 678 case i64_i64_func_i64_i64_i64_i64: 679 #if 0 // TODO: Enable this when wasm gets multiple-return-value support. 680 Rets.push_back(wasm::ValType::I64); 681 Rets.push_back(wasm::ValType::I64); 682 #else 683 Params.push_back(wasm::ValType(iPTR)); 684 #endif 685 Params.push_back(wasm::ValType::I64); 686 Params.push_back(wasm::ValType::I64); 687 Params.push_back(wasm::ValType::I64); 688 Params.push_back(wasm::ValType::I64); 689 break; 690 case i64_i64_i64_i64_func_i64_i64_i64_i64: 691 #if 0 // TODO: Enable this when wasm gets multiple-return-value support. 692 Rets.push_back(wasm::ValType::I64); 693 Rets.push_back(wasm::ValType::I64); 694 Rets.push_back(wasm::ValType::I64); 695 Rets.push_back(wasm::ValType::I64); 696 #else 697 Params.push_back(wasm::ValType(iPTR)); 698 #endif 699 Params.push_back(wasm::ValType::I64); 700 Params.push_back(wasm::ValType::I64); 701 Params.push_back(wasm::ValType::I64); 702 Params.push_back(wasm::ValType::I64); 703 break; 704 case i64_i64_func_i64_i64_i32: 705 #if 0 // TODO: Enable this when wasm gets multiple-return-value support. 706 Rets.push_back(wasm::ValType::I64); 707 Rets.push_back(wasm::ValType::I64); 708 Rets.push_back(wasm::ValType::I64); 709 Rets.push_back(wasm::ValType::I64); 710 #else 711 Params.push_back(wasm::ValType(iPTR)); 712 #endif 713 Params.push_back(wasm::ValType::I64); 714 Params.push_back(wasm::ValType::I64); 715 Params.push_back(wasm::ValType::I32); 716 break; 717 case iPTR_func_iPTR_i32_iPTR: 718 Rets.push_back(wasm::ValType(iPTR)); 719 Params.push_back(wasm::ValType(iPTR)); 720 Params.push_back(wasm::ValType::I32); 721 Params.push_back(wasm::ValType(iPTR)); 722 break; 723 case iPTR_func_iPTR_iPTR_iPTR: 724 Rets.push_back(wasm::ValType(iPTR)); 725 Params.push_back(wasm::ValType(iPTR)); 726 Params.push_back(wasm::ValType(iPTR)); 727 Params.push_back(wasm::ValType(iPTR)); 728 break; 729 case f32_func_f32_f32_f32: 730 Rets.push_back(wasm::ValType::F32); 731 Params.push_back(wasm::ValType::F32); 732 Params.push_back(wasm::ValType::F32); 733 Params.push_back(wasm::ValType::F32); 734 break; 735 case f64_func_f64_f64_f64: 736 Rets.push_back(wasm::ValType::F64); 737 Params.push_back(wasm::ValType::F64); 738 Params.push_back(wasm::ValType::F64); 739 Params.push_back(wasm::ValType::F64); 740 break; 741 case func_i64_i64_iPTR_iPTR: 742 Params.push_back(wasm::ValType::I64); 743 Params.push_back(wasm::ValType::I64); 744 Params.push_back(wasm::ValType(iPTR)); 745 Params.push_back(wasm::ValType(iPTR)); 746 break; 747 case func_iPTR_f32: 748 Params.push_back(wasm::ValType(iPTR)); 749 Params.push_back(wasm::ValType::F32); 750 break; 751 case func_iPTR_f64: 752 Params.push_back(wasm::ValType(iPTR)); 753 Params.push_back(wasm::ValType::F64); 754 break; 755 case func_iPTR_i32: 756 Params.push_back(wasm::ValType(iPTR)); 757 Params.push_back(wasm::ValType::I32); 758 break; 759 case func_iPTR_i64: 760 Params.push_back(wasm::ValType(iPTR)); 761 Params.push_back(wasm::ValType::I64); 762 break; 763 case func_iPTR_i64_i64: 764 Params.push_back(wasm::ValType(iPTR)); 765 Params.push_back(wasm::ValType::I64); 766 Params.push_back(wasm::ValType::I64); 767 break; 768 case func_iPTR_i64_i64_i64_i64: 769 Params.push_back(wasm::ValType(iPTR)); 770 Params.push_back(wasm::ValType::I64); 771 Params.push_back(wasm::ValType::I64); 772 Params.push_back(wasm::ValType::I64); 773 Params.push_back(wasm::ValType::I64); 774 break; 775 case func_iPTR_i64_i64_i64_i64_i64_i64: 776 Params.push_back(wasm::ValType(iPTR)); 777 Params.push_back(wasm::ValType::I64); 778 Params.push_back(wasm::ValType::I64); 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 break; 784 case i32_func_i64_i64: 785 Rets.push_back(wasm::ValType::I32); 786 Params.push_back(wasm::ValType::I64); 787 Params.push_back(wasm::ValType::I64); 788 break; 789 case i32_func_i64_i64_i64_i64: 790 Rets.push_back(wasm::ValType::I32); 791 Params.push_back(wasm::ValType::I64); 792 Params.push_back(wasm::ValType::I64); 793 Params.push_back(wasm::ValType::I64); 794 Params.push_back(wasm::ValType::I64); 795 break; 796 case unsupported: 797 llvm_unreachable("unsupported runtime library signature"); 798 } 799 } 800 801 static ManagedStatic<StaticLibcallNameMap> LibcallNameMap; 802 // TODO: If the RTLIB::Libcall-taking flavor of GetSignature remains unsed 803 // other than here, just roll its logic into this version. 804 void llvm::GetSignature(const WebAssemblySubtarget &Subtarget, const char *Name, 805 SmallVectorImpl<wasm::ValType> &Rets, 806 SmallVectorImpl<wasm::ValType> &Params) { 807 auto& Map = LibcallNameMap->Map; 808 auto val = Map.find(Name); 809 assert(val != Map.end() && "unexpected runtime library name"); 810 return GetSignature(Subtarget, val->second, Rets, Params); 811 } 812