1 //===--- TargetLibraryInfoTest.cpp - TLI/LibFunc unit tests ---------------===// 2 // 3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4 // See https://llvm.org/LICENSE.txt for license information. 5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6 // 7 //===----------------------------------------------------------------------===// 8 9 #include "llvm/Analysis/TargetLibraryInfo.h" 10 #include "llvm/AsmParser/Parser.h" 11 #include "llvm/IR/DerivedTypes.h" 12 #include "llvm/IR/LLVMContext.h" 13 #include "llvm/IR/Module.h" 14 #include "llvm/Support/SourceMgr.h" 15 #include "gtest/gtest.h" 16 17 using namespace llvm; 18 19 namespace { 20 21 class TargetLibraryInfoTest : public testing::Test { 22 protected: 23 LLVMContext Context; 24 TargetLibraryInfoImpl TLII; 25 TargetLibraryInfo TLI; 26 27 std::unique_ptr<Module> M; 28 29 TargetLibraryInfoTest() : TLI(TLII) {} 30 31 void parseAssembly(const char *Assembly) { 32 SMDiagnostic Error; 33 M = parseAssemblyString(Assembly, Error, Context); 34 35 std::string errMsg; 36 raw_string_ostream os(errMsg); 37 Error.print("", os); 38 39 if (!M) 40 report_fatal_error(Twine(errMsg)); 41 } 42 43 ::testing::AssertionResult isLibFunc(const Function *FDecl, 44 LibFunc ExpectedLF) { 45 StringRef ExpectedLFName = TLI.getName(ExpectedLF); 46 47 if (!FDecl) 48 return ::testing::AssertionFailure() << ExpectedLFName << " not found"; 49 50 LibFunc F; 51 if (!TLI.getLibFunc(*FDecl, F)) 52 return ::testing::AssertionFailure() << ExpectedLFName << " invalid"; 53 54 return ::testing::AssertionSuccess() << ExpectedLFName << " is LibFunc"; 55 } 56 }; 57 58 } // end anonymous namespace 59 60 // Check that we don't accept egregiously incorrect prototypes. 61 TEST_F(TargetLibraryInfoTest, InvalidProto) { 62 parseAssembly("%foo = type opaque\n"); 63 64 auto *StructTy = StructType::getTypeByName(Context, "foo"); 65 auto *InvalidFTy = FunctionType::get(StructTy, /*isVarArg=*/false); 66 67 for (unsigned FI = 0; FI != LibFunc::NumLibFuncs; ++FI) { 68 LibFunc LF = (LibFunc)FI; 69 auto *F = cast<Function>( 70 M->getOrInsertFunction(TLI.getName(LF), InvalidFTy).getCallee()); 71 EXPECT_FALSE(isLibFunc(F, LF)); 72 } 73 74 // i64 @labs(i32) 75 { 76 auto *InvalidLabsFTy = FunctionType::get(Type::getInt64Ty(Context), 77 {Type::getInt32Ty(Context)}, 78 /*isVarArg=*/false); 79 auto *F = cast<Function>( 80 M->getOrInsertFunction("labs", InvalidLabsFTy).getCallee()); 81 EXPECT_FALSE(isLibFunc(F, LibFunc_labs)); 82 } 83 } 84 85 TEST_F(TargetLibraryInfoTest, SizeReturningNewInvalidProto) { 86 parseAssembly( 87 "target datalayout = \"p:64:64:64\"\n" 88 ";; Invalid additional params \n" 89 "declare {i8*, i64} @__size_returning_new(i64, i64)\n" 90 ";; Invalid params types \n" 91 "declare {i8*, i64} @__size_returning_new_hot_cold(i64, i32)\n" 92 ";; Invalid return struct types \n" 93 "declare {i8*, i8} @__size_returning_new_aligned(i64, i64)\n" 94 ";; Invalid return type \n" 95 "declare i8* @__size_returning_new_aligned_hot_cold(i64, i64, i8)\n"); 96 97 for (const LibFunc LF : 98 {LibFunc_size_returning_new, LibFunc_size_returning_new_aligned, 99 LibFunc_size_returning_new_hot_cold, 100 LibFunc_size_returning_new_aligned_hot_cold}) { 101 TLII.setAvailable(LF); 102 Function *F = M->getFunction(TLI.getName(LF)); 103 ASSERT_NE(F, nullptr); 104 EXPECT_FALSE(isLibFunc(F, LF)); 105 } 106 } 107 108 // Check that we do accept know-correct prototypes. 109 TEST_F(TargetLibraryInfoTest, ValidProto) { 110 parseAssembly( 111 // These functions use a 64-bit size_t; use the appropriate datalayout. 112 "target datalayout = \"p:64:64:64\"\n" 113 114 // Struct pointers are replaced with an opaque pointer. 115 "%struct = type opaque\n" 116 117 // These functions were extracted as-is from the OS X headers. 118 "declare double @__cospi(double)\n" 119 "declare float @__cospif(float)\n" 120 "declare { double, double } @__sincospi_stret(double)\n" 121 "declare <2 x float> @__sincospif_stret(float)\n" 122 "declare double @__sinpi(double)\n" 123 "declare float @__sinpif(float)\n" 124 "declare i32 @abs(i32)\n" 125 "declare i32 @access(i8*, i32)\n" 126 "declare double @acos(double)\n" 127 "declare float @acosf(float)\n" 128 "declare double @acosh(double)\n" 129 "declare float @acoshf(float)\n" 130 "declare x86_fp80 @acoshl(x86_fp80)\n" 131 "declare x86_fp80 @acosl(x86_fp80)\n" 132 "declare i8* @aligned_alloc(i64, i64)\n" 133 "declare double @asin(double)\n" 134 "declare float @asinf(float)\n" 135 "declare double @asinh(double)\n" 136 "declare float @asinhf(float)\n" 137 "declare x86_fp80 @asinhl(x86_fp80)\n" 138 "declare x86_fp80 @asinl(x86_fp80)\n" 139 "declare double @atan(double)\n" 140 "declare double @atan2(double, double)\n" 141 "declare float @atan2f(float, float)\n" 142 "declare x86_fp80 @atan2l(x86_fp80, x86_fp80)\n" 143 "declare float @atanf(float)\n" 144 "declare double @atanh(double)\n" 145 "declare float @atanhf(float)\n" 146 "declare x86_fp80 @atanhl(x86_fp80)\n" 147 "declare x86_fp80 @atanl(x86_fp80)\n" 148 "declare double @atof(i8*)\n" 149 "declare i32 @atoi(i8*)\n" 150 "declare i64 @atol(i8*)\n" 151 "declare i64 @atoll(i8*)\n" 152 "declare i32 @bcmp(i8*, i8*, i64)\n" 153 "declare void @bcopy(i8*, i8*, i64)\n" 154 "declare void @bzero(i8*, i64)\n" 155 "declare i8* @calloc(i64, i64)\n" 156 "declare double @cbrt(double)\n" 157 "declare float @cbrtf(float)\n" 158 "declare x86_fp80 @cbrtl(x86_fp80)\n" 159 "declare double @ceil(double)\n" 160 "declare float @ceilf(float)\n" 161 "declare x86_fp80 @ceill(x86_fp80)\n" 162 "declare i32 @chown(i8*, i32, i32)\n" 163 "declare void @clearerr(%struct*)\n" 164 "declare double @copysign(double, double)\n" 165 "declare float @copysignf(float, float)\n" 166 "declare x86_fp80 @copysignl(x86_fp80, x86_fp80)\n" 167 "declare double @cabs([2 x double])\n" 168 "declare float @cabsf([2 x float])\n" 169 "declare x86_fp80 @cabsl([2 x x86_fp80])\n" 170 "declare double @cos(double)\n" 171 "declare float @cosf(float)\n" 172 "declare double @cosh(double)\n" 173 "declare float @coshf(float)\n" 174 "declare x86_fp80 @coshl(x86_fp80)\n" 175 "declare x86_fp80 @cosl(x86_fp80)\n" 176 "declare i8* @ctermid(i8*)\n" 177 "declare double @exp(double)\n" 178 "declare double @exp2(double)\n" 179 "declare float @exp2f(float)\n" 180 "declare x86_fp80 @exp2l(x86_fp80)\n" 181 "declare float @expf(float)\n" 182 "declare x86_fp80 @expl(x86_fp80)\n" 183 "declare double @expm1(double)\n" 184 "declare float @expm1f(float)\n" 185 "declare x86_fp80 @expm1l(x86_fp80)\n" 186 "declare double @fabs(double)\n" 187 "declare float @fabsf(float)\n" 188 "declare x86_fp80 @fabsl(x86_fp80)\n" 189 "declare i32 @fclose(%struct*)\n" 190 "declare i32 @feof(%struct*)\n" 191 "declare i32 @ferror(%struct*)\n" 192 "declare i32 @fflush(%struct*)\n" 193 "declare i32 @ffs(i32)\n" 194 "declare i32 @ffsl(i64)\n" 195 "declare i32 @ffsll(i64)\n" 196 "declare i32 @fgetc(%struct*)\n" 197 "declare i32 @fgetc_unlocked(%struct*)\n" 198 "declare i32 @fgetpos(%struct*, i64*)\n" 199 "declare i8* @fgets(i8*, i32, %struct*)\n" 200 "declare i8* @fgets_unlocked(i8*, i32, %struct*)\n" 201 "declare i32 @fileno(%struct*)\n" 202 "declare void @flockfile(%struct*)\n" 203 "declare double @floor(double)\n" 204 "declare float @floorf(float)\n" 205 "declare x86_fp80 @floorl(x86_fp80)\n" 206 "declare i32 @fls(i32)\n" 207 "declare i32 @flsl(i64)\n" 208 "declare i32 @flsll(i64)\n" 209 "declare double @fmax(double, double)\n" 210 "declare float @fmaxf(float, float)\n" 211 "declare x86_fp80 @fmaxl(x86_fp80, x86_fp80)\n" 212 "declare double @fmin(double, double)\n" 213 "declare float @fminf(float, float)\n" 214 "declare x86_fp80 @fminl(x86_fp80, x86_fp80)\n" 215 "declare double @fmaximum_num(double, double)\n" 216 "declare float @fmaximum_numf(float, float)\n" 217 "declare x86_fp80 @fmaximum_numl(x86_fp80, x86_fp80)\n" 218 "declare double @fminimum_num(double, double)\n" 219 "declare float @fminimum_numf(float, float)\n" 220 "declare x86_fp80 @fminimum_numl(x86_fp80, x86_fp80)\n" 221 "declare double @fmod(double, double)\n" 222 "declare float @fmodf(float, float)\n" 223 "declare x86_fp80 @fmodl(x86_fp80, x86_fp80)\n" 224 "declare i32 @fprintf(%struct*, i8*, ...)\n" 225 "declare i32 @fputc(i32, %struct*)\n" 226 "declare i32 @fputc_unlocked(i32, %struct*)\n" 227 "declare i64 @fread(i8*, i64, i64, %struct*)\n" 228 "declare i64 @fread_unlocked(i8*, i64, i64, %struct*)\n" 229 "declare void @free(i8*)\n" 230 "declare double @frexp(double, i32*)\n" 231 "declare float @frexpf(float, i32*)\n" 232 "declare x86_fp80 @frexpl(x86_fp80, i32*)\n" 233 "declare i32 @fscanf(%struct*, i8*, ...)\n" 234 "declare i32 @fseek(%struct*, i64, i32)\n" 235 "declare i32 @fseeko(%struct*, i64, i32)\n" 236 "declare i32 @fsetpos(%struct*, i64*)\n" 237 "declare i32 @fstatvfs(i32, %struct*)\n" 238 "declare i64 @ftell(%struct*)\n" 239 "declare i64 @ftello(%struct*)\n" 240 "declare i32 @ftrylockfile(%struct*)\n" 241 "declare void @funlockfile(%struct*)\n" 242 "declare i32 @getc(%struct*)\n" 243 "declare i32 @getc_unlocked(%struct*)\n" 244 "declare i32 @getchar()\n" 245 "declare i32 @getchar_unlocked()\n" 246 "declare i8* @getenv(i8*)\n" 247 "declare i32 @getitimer(i32, %struct*)\n" 248 "declare i32 @getlogin_r(i8*, i64)\n" 249 "declare %struct* @getpwnam(i8*)\n" 250 "declare i8* @gets(i8*)\n" 251 "declare i32 @gettimeofday(%struct*, i8*)\n" 252 "declare double @hypot(double, double)\n" 253 "declare float @hypotf(float, float)\n" 254 "declare x86_fp80 @hypotl(x86_fp80, x86_fp80)\n" 255 "declare i32 @_Z7isasciii(i32)\n" 256 "declare i32 @_Z7isdigiti(i32)\n" 257 "declare i64 @labs(i64)\n" 258 "declare double @ldexp(double, i32)\n" 259 "declare float @ldexpf(float, i32)\n" 260 "declare x86_fp80 @ldexpl(x86_fp80, i32)\n" 261 "declare i64 @llabs(i64)\n" 262 "declare double @log(double)\n" 263 "declare double @log10(double)\n" 264 "declare float @log10f(float)\n" 265 "declare x86_fp80 @log10l(x86_fp80)\n" 266 "declare double @log1p(double)\n" 267 "declare float @log1pf(float)\n" 268 "declare x86_fp80 @log1pl(x86_fp80)\n" 269 "declare double @log2(double)\n" 270 "declare float @log2f(float)\n" 271 "declare x86_fp80 @log2l(x86_fp80)\n" 272 "declare i32 @ilogb(double)\n" 273 "declare i32 @ilogbf(float)\n" 274 "declare i32 @ilogbl(x86_fp80)\n" 275 "declare double @logb(double)\n" 276 "declare float @logbf(float)\n" 277 "declare x86_fp80 @logbl(x86_fp80)\n" 278 "declare float @logf(float)\n" 279 "declare x86_fp80 @logl(x86_fp80)\n" 280 "declare i8* @malloc(i64)\n" 281 "declare i8* @memccpy(i8*, i8*, i32, i64)\n" 282 "declare i8* @memchr(i8*, i32, i64)\n" 283 "declare i32 @memcmp(i8*, i8*, i64)\n" 284 "declare i8* @memcpy(i8*, i8*, i64)\n" 285 "declare i8* @memmove(i8*, i8*, i64)\n" 286 "declare i8* @memset(i8*, i32, i64)\n" 287 "declare void @memset_pattern16(i8*, i8*, i64)\n" 288 "declare void @memset_pattern4(i8*, i8*, i64)\n" 289 "declare void @memset_pattern8(i8*, i8*, i64)\n" 290 "declare i32 @mkdir(i8*, i16)\n" 291 "declare double @modf(double, double*)\n" 292 "declare float @modff(float, float*)\n" 293 "declare x86_fp80 @modfl(x86_fp80, x86_fp80*)\n" 294 "declare double @nan(ptr)\n" 295 "declare float @nanf(ptr)\n" 296 "declare x86_fp80 @nanl(ptr)\n" 297 "declare double @nearbyint(double)\n" 298 "declare float @nearbyintf(float)\n" 299 "declare x86_fp80 @nearbyintl(x86_fp80)\n" 300 "declare i32 @pclose(%struct*)\n" 301 "declare void @perror(i8*)\n" 302 "declare i32 @posix_memalign(i8**, i64, i64)\n" 303 "declare double @pow(double, double)\n" 304 "declare float @powf(float, float)\n" 305 "declare x86_fp80 @powl(x86_fp80, x86_fp80)\n" 306 "declare double @erf(double)\n" 307 "declare float @erff(float)\n" 308 "declare x86_fp80 @erfl(x86_fp80)\n" 309 "declare double @tgamma(double)\n" 310 "declare float @tgammaf(float)\n" 311 "declare x86_fp80 @tgammal(x86_fp80)\n" 312 "declare i32 @printf(i8*, ...)\n" 313 "declare i32 @putc(i32, %struct*)\n" 314 "declare i32 @putc_unlocked(i32, %struct*)\n" 315 "declare i32 @putchar(i32)\n" 316 "declare i32 @putchar_unlocked(i32)\n" 317 "declare i32 @puts(i8*)\n" 318 "declare void @qsort(i8*, i64, i64, i32 (i8*, i8*)*)\n" 319 "declare i64 @readlink(i8*, i8*, i64)\n" 320 "declare i8* @realloc(i8*, i64)\n" 321 "declare i8* @reallocarray(i8*, i64, i64)\n" 322 "declare i8* @reallocf(i8*, i64)\n" 323 "declare double @remainder(double, double)\n" 324 "declare float @remainderf(float, float)\n" 325 "declare x86_fp80 @remainderl(x86_fp80, x86_fp80)\n" 326 "declare i32 @remove(i8*)\n" 327 "declare double @remquo(double, double, ptr)\n" 328 "declare float @remquof(float, float, ptr)\n" 329 "declare x86_fp80 @remquol(x86_fp80, x86_fp80, ptr)\n" 330 "declare double @fdim(double, double)\n" 331 "declare float @fdimf(float, float)\n" 332 "declare x86_fp80 @fdiml(x86_fp80, x86_fp80)\n" 333 "declare i32 @rename(i8*, i8*)\n" 334 "declare void @rewind(%struct*)\n" 335 "declare double @rint(double)\n" 336 "declare float @rintf(float)\n" 337 "declare x86_fp80 @rintl(x86_fp80)\n" 338 "declare i32 @rmdir(i8*)\n" 339 "declare double @round(double)\n" 340 "declare float @roundf(float)\n" 341 "declare x86_fp80 @roundl(x86_fp80)\n" 342 "declare double @roundeven(double)\n" 343 "declare float @roundevenf(float)\n" 344 "declare x86_fp80 @roundevenl(x86_fp80)\n" 345 "declare double @scalbln(double, i64)\n" 346 "declare float @scalblnf(float, i64)\n" 347 "declare x86_fp80 @scalblnl(x86_fp80, i64)\n" 348 "declare double @scalbn(double, i32)\n" 349 "declare float @scalbnf(float, i32)\n" 350 "declare x86_fp80 @scalbnl(x86_fp80, i32)\n" 351 "declare i32 @scanf(i8*, ...)\n" 352 "declare void @setbuf(%struct*, i8*)\n" 353 "declare i32 @setitimer(i32, %struct*, %struct*)\n" 354 "declare i32 @setvbuf(%struct*, i8*, i32, i64)\n" 355 "declare double @sin(double)\n" 356 "declare float @sinf(float)\n" 357 "declare double @sinh(double)\n" 358 "declare float @sinhf(float)\n" 359 "declare x86_fp80 @sinhl(x86_fp80)\n" 360 "declare x86_fp80 @sinl(x86_fp80)\n" 361 "declare void @sincos(double, ptr, ptr)\n" 362 "declare void @sincosf(float, ptr, ptr)\n" 363 "declare void @sincosl(x86_fp80, ptr, ptr)\n" 364 "declare i32 @snprintf(i8*, i64, i8*, ...)\n" 365 "declare i32 @sprintf(i8*, i8*, ...)\n" 366 "declare double @sqrt(double)\n" 367 "declare float @sqrtf(float)\n" 368 "declare x86_fp80 @sqrtl(x86_fp80)\n" 369 "declare i32 @sscanf(i8*, i8*, ...)\n" 370 "declare i32 @statvfs(i8*, %struct*)\n" 371 "declare i8* @stpcpy(i8*, i8*)\n" 372 "declare i8* @stpncpy(i8*, i8*, i64)\n" 373 "declare i32 @strcasecmp(i8*, i8*)\n" 374 "declare i8* @strcat(i8*, i8*)\n" 375 "declare i8* @strchr(i8*, i32)\n" 376 "declare i32 @strcmp(i8*, i8*)\n" 377 "declare i32 @strcoll(i8*, i8*)\n" 378 "declare i8* @strcpy(i8*, i8*)\n" 379 "declare i64 @strcspn(i8*, i8*)\n" 380 "declare i8* @strdup(i8*)\n" 381 "declare i64 @strlen(i8*)\n" 382 "declare i32 @strncasecmp(i8*, i8*, i64)\n" 383 "declare i8* @strncat(i8*, i8*, i64)\n" 384 "declare i32 @strncmp(i8*, i8*, i64)\n" 385 "declare i8* @strncpy(i8*, i8*, i64)\n" 386 "declare i8* @strndup(i8*, i64)\n" 387 "declare i64 @strnlen(i8*, i64)\n" 388 "declare i8* @strpbrk(i8*, i8*)\n" 389 "declare i8* @strrchr(i8*, i32)\n" 390 "declare i64 @strspn(i8*, i8*)\n" 391 "declare i8* @strstr(i8*, i8*)\n" 392 "declare i8* @strtok(i8*, i8*)\n" 393 "declare i8* @strtok_r(i8*, i8*, i8**)\n" 394 "declare i64 @strtol(i8*, i8**, i32)\n" 395 "declare i64 @strlcat(i8*, i8*, i64)\n" 396 "declare i64 @strlcpy(i8*, i8*, i64)\n" 397 "declare x86_fp80 @strtold(i8*, i8**)\n" 398 "declare i64 @strtoll(i8*, i8**, i32)\n" 399 "declare i64 @strtoul(i8*, i8**, i32)\n" 400 "declare i64 @strtoull(i8*, i8**, i32)\n" 401 "declare i64 @strxfrm(i8*, i8*, i64)\n" 402 "declare double @tan(double)\n" 403 "declare float @tanf(float)\n" 404 "declare double @tanh(double)\n" 405 "declare float @tanhf(float)\n" 406 "declare x86_fp80 @tanhl(x86_fp80)\n" 407 "declare x86_fp80 @tanl(x86_fp80)\n" 408 "declare i64 @times(%struct*)\n" 409 "declare %struct* @tmpfile()\n" 410 "declare i32 @_Z7toasciii(i32)\n" 411 "declare double @trunc(double)\n" 412 "declare float @truncf(float)\n" 413 "declare x86_fp80 @truncl(x86_fp80)\n" 414 "declare i32 @uname(%struct*)\n" 415 "declare i32 @ungetc(i32, %struct*)\n" 416 "declare i32 @unlink(i8*)\n" 417 "declare i32 @utime(i8*, %struct*)\n" 418 "declare i32 @utimes(i8*, %struct*)\n" 419 "declare i8* @valloc(i64)\n" 420 "declare i32 @vfprintf(%struct*, i8*, %struct*)\n" 421 "declare i32 @vfscanf(%struct*, i8*, %struct*)\n" 422 "declare i32 @vprintf(i8*, %struct*)\n" 423 "declare i32 @vscanf(i8*, %struct*)\n" 424 "declare i32 @vsnprintf(i8*, i64, i8*, %struct*)\n" 425 "declare i32 @vsprintf(i8*, i8*, %struct*)\n" 426 "declare i32 @vsscanf(i8*, i8*, %struct*)\n" 427 "declare i64 @wcslen(i32*)\n" 428 "declare i32 @fork()\n" 429 "declare i32 @execl(i8*, i8*, ...)\n" 430 "declare i32 @execle(i8*, i8*, ...)\n" 431 "declare i32 @execlp(i8*, i8*, ...)\n" 432 "declare i32 @execv(i8*, i8**)\n" 433 "declare i32 @execvP(i8*, i8*, i8**)\n" 434 "declare i32 @execve(i8*, i8**, i8**)\n" 435 "declare i32 @execvp(i8*, i8**)\n" 436 "declare i32 @execvpe(i8*, i8**, i8**)\n" 437 438 // These functions were also extracted from the OS X headers, but they are 439 // available with a special name on darwin. 440 // This test uses the default TLI name instead. 441 "declare i32 @chmod(i8*, i16)\n" 442 "declare i32 @closedir(%struct*)\n" 443 "declare %struct* @fdopen(i32, i8*)\n" 444 "declare %struct* @fopen(i8*, i8*)\n" 445 "declare i32 @fputs(i8*, %struct*)\n" 446 "declare i32 @fputs_unlocked(i8*, %struct*)\n" 447 "declare i32 @fstat(i32, %struct*)\n" 448 "declare i64 @fwrite(i8*, i64, i64, %struct*)\n" 449 "declare i64 @fwrite_unlocked(i8*, i64, i64, %struct*)\n" 450 "declare i32 @lchown(i8*, i32, i32)\n" 451 "declare i32 @lstat(i8*, %struct*)\n" 452 "declare i64 @mktime(%struct*)\n" 453 "declare i32 @open(i8*, i32, ...)\n" 454 "declare %struct* @opendir(i8*)\n" 455 "declare %struct* @popen(i8*, i8*)\n" 456 "declare i64 @pread(i32, i8*, i64, i64)\n" 457 "declare i64 @pwrite(i32, i8*, i64, i64)\n" 458 "declare i64 @read(i32, i8*, i64)\n" 459 "declare i8* @realpath(i8*, i8*)\n" 460 "declare i32 @stat(i8*, %struct*)\n" 461 "declare double @strtod(i8*, i8**)\n" 462 "declare float @strtof(i8*, i8**)\n" 463 "declare i32 @system(i8*)\n" 464 "declare i32 @unsetenv(i8*)\n" 465 "declare i64 @write(i32, i8*, i64)\n" 466 467 // These functions are available on Linux but not Darwin; they only differ 468 // from their non-64 counterparts in the struct type. 469 // Use the same prototype as the non-64 variant. 470 "declare %struct* @fopen64(i8*, i8*)\n" 471 "declare i32 @fstat64(i32, %struct*)\n" 472 "declare i32 @fstatvfs64(i32, %struct*)\n" 473 "declare i32 @lstat64(i8*, %struct*)\n" 474 "declare i32 @open64(i8*, i32, ...)\n" 475 "declare i32 @stat64(i8*, %struct*)\n" 476 "declare i32 @statvfs64(i8*, %struct*)\n" 477 "declare %struct* @tmpfile64()\n" 478 479 // These functions are also -64 variants, but do differ in the type of the 480 // off_t (vs off64_t) parameter. The non-64 variants declared above used 481 // a 64-bit off_t, so, in practice, they are also equivalent. 482 "declare i32 @fseeko64(%struct*, i64, i32)\n" 483 "declare i64 @ftello64(%struct*)\n" 484 485 "declare void @_ZdaPv(i8*)\n" 486 "declare void @_ZdaPvRKSt9nothrow_t(i8*, %struct*)\n" 487 "declare void @_ZdaPvSt11align_val_t(i8*, i64)\n" 488 "declare void @_ZdaPvSt11align_val_tRKSt9nothrow_t(i8*, i64, %struct*)\n" 489 "declare void @_ZdaPvj(i8*, i32)\n" 490 "declare void @_ZdaPvjSt11align_val_t(i8*, i32, i32)\n" 491 "declare void @_ZdaPvm(i8*, i64)\n" 492 "declare void @_ZdaPvmSt11align_val_t(i8*, i64, i64)\n" 493 "declare void @_ZdlPv(i8*)\n" 494 "declare void @_ZdlPvRKSt9nothrow_t(i8*, %struct*)\n" 495 "declare void @_ZdlPvSt11align_val_t(i8*, i64)\n" 496 "declare void @_ZdlPvSt11align_val_tRKSt9nothrow_t(i8*, i64, %struct*)\n" 497 "declare void @_ZdlPvj(i8*, i32)\n" 498 "declare void @_ZdlPvjSt11align_val_t(i8*, i32, i32)\n" 499 "declare void @_ZdlPvm(i8*, i64)\n" 500 "declare void @_ZdlPvmSt11align_val_t(i8*, i64, i64)\n" 501 "declare i8* @_Znaj(i32)\n" 502 "declare i8* @_ZnajRKSt9nothrow_t(i32, %struct*)\n" 503 "declare i8* @_ZnajSt11align_val_t(i32, i32)\n" 504 "declare i8* @_ZnajSt11align_val_tRKSt9nothrow_t(i32, i32, %struct*)\n" 505 "declare i8* @_Znam(i64)\n" 506 "declare i8* @_Znam12__hot_cold_t(i64, i8)\n" 507 "declare i8* @_ZnamRKSt9nothrow_t(i64, %struct*)\n" 508 "declare i8* @_ZnamRKSt9nothrow_t12__hot_cold_t(i64, %struct*, i8)\n" 509 "declare i8* @_ZnamSt11align_val_t(i64, i64)\n" 510 "declare i8* @_ZnamSt11align_val_t12__hot_cold_t(i64, i64, i8)\n" 511 "declare i8* @_ZnamSt11align_val_tRKSt9nothrow_t(i64, i64, %struct*)\n" 512 "declare i8* @_ZnamSt11align_val_tRKSt9nothrow_t12__hot_cold_t(i64, i64, " 513 "%struct*, i8)\n" 514 "declare i8* @_Znwj(i32)\n" 515 "declare i8* @_ZnwjRKSt9nothrow_t(i32, %struct*)\n" 516 "declare i8* @_ZnwjSt11align_val_t(i32, i32)\n" 517 "declare i8* @_ZnwjSt11align_val_tRKSt9nothrow_t(i32, i32, %struct*)\n" 518 "declare i8* @_Znwm(i64)\n" 519 "declare i8* @_Znwm12__hot_cold_t(i64, i8)\n" 520 "declare i8* @_ZnwmRKSt9nothrow_t(i64, %struct*)\n" 521 "declare i8* @_ZnwmRKSt9nothrow_t12__hot_cold_t(i64, %struct*, i8)\n" 522 "declare i8* @_ZnwmSt11align_val_t(i64, i64)\n" 523 "declare i8* @_ZnwmSt11align_val_t12__hot_cold_t(i64, i64, i8)\n" 524 "declare i8* @_ZnwmSt11align_val_tRKSt9nothrow_t(i64, i64, %struct*)\n" 525 "declare i8* @_ZnwmSt11align_val_tRKSt9nothrow_t12__hot_cold_t(i64, i64, " 526 "%struct*, i8)\n" 527 "declare {i8*, i64} @__size_returning_new(i64)\n" 528 "declare {i8*, i64} @__size_returning_new_hot_cold(i64, i8)\n" 529 "declare {i8*, i64} @__size_returning_new_aligned(i64, i64)\n" 530 "declare {i8*, i64} @__size_returning_new_aligned_hot_cold(i64, i64, " 531 "i8)\n" 532 533 "declare void @\"??3@YAXPEAX@Z\"(i8*)\n" 534 "declare void @\"??3@YAXPEAXAEBUnothrow_t@std@@@Z\"(i8*, %struct*)\n" 535 "declare void @\"??3@YAXPEAX_K@Z\"(i8*, i64)\n" 536 "declare void @\"??_V@YAXPEAX@Z\"(i8*)\n" 537 "declare void @\"??_V@YAXPEAXAEBUnothrow_t@std@@@Z\"(i8*, %struct*)\n" 538 "declare void @\"??_V@YAXPEAX_K@Z\"(i8*, i64)\n" 539 "declare i8* @\"??2@YAPAXI@Z\"(i32)\n" 540 "declare i8* @\"??2@YAPAXIABUnothrow_t@std@@@Z\"(i32, %struct*)\n" 541 "declare i8* @\"??2@YAPEAX_K@Z\"(i64)\n" 542 "declare i8* @\"??2@YAPEAX_KAEBUnothrow_t@std@@@Z\"(i64, %struct*)\n" 543 "declare i8* @\"??_U@YAPAXI@Z\"(i32)\n" 544 "declare i8* @\"??_U@YAPAXIABUnothrow_t@std@@@Z\"(i32, %struct*)\n" 545 "declare i8* @\"??_U@YAPEAX_K@Z\"(i64)\n" 546 "declare i8* @\"??_U@YAPEAX_KAEBUnothrow_t@std@@@Z\"(i64, %struct*)\n" 547 548 "declare void @\"??3@YAXPAX@Z\"(i8*)\n" 549 "declare void @\"??3@YAXPAXABUnothrow_t@std@@@Z\"(i8*, %struct*)\n" 550 "declare void @\"??3@YAXPAXI@Z\"(i8*, i32)\n" 551 "declare void @\"??_V@YAXPAX@Z\"(i8*)\n" 552 "declare void @\"??_V@YAXPAXABUnothrow_t@std@@@Z\"(i8*, %struct*)\n" 553 "declare void @\"??_V@YAXPAXI@Z\"(i8*, i32)\n" 554 555 // These other functions were derived from the .def C declaration. 556 "declare i32 @__cxa_atexit(void (i8*)*, i8*, i8*)\n" 557 "declare void @__cxa_guard_abort(%struct*)\n" 558 "declare i32 @__cxa_guard_acquire(%struct*)\n" 559 "declare void @__cxa_guard_release(%struct*)\n" 560 "declare void @__cxa_throw(ptr, ptr, ptr)\n" 561 562 "declare i32 @atexit(void ()*)\n" 563 564 "declare void @abort()\n" 565 "declare void @exit(i32)\n" 566 "declare void @_Exit(i32)\n" 567 "declare void @_ZSt9terminatev()\n" 568 569 "declare i32 @__nvvm_reflect(i8*)\n" 570 571 "declare i8* @__memcpy_chk(i8*, i8*, i64, i64)\n" 572 "declare i8* @__memmove_chk(i8*, i8*, i64, i64)\n" 573 "declare i8* @__memset_chk(i8*, i32, i64, i64)\n" 574 "declare i8* @__stpcpy_chk(i8*, i8*, i64)\n" 575 "declare i8* @__stpncpy_chk(i8*, i8*, i64, i64)\n" 576 "declare i8* @__strcpy_chk(i8*, i8*, i64)\n" 577 "declare i8* @__strncpy_chk(i8*, i8*, i64, i64)\n" 578 "declare i8* @__memccpy_chk(i8*, i8*, i32, i64, i64)\n" 579 "declare i8* @__mempcpy_chk(i8*, i8*, i64, i64)\n" 580 "declare i32 @__snprintf_chk(i8*, i64, i32, i64, i8*, ...)\n" 581 "declare i32 @__sprintf_chk(i8*, i32, i64, i8*, ...)\n" 582 "declare i8* @__strcat_chk(i8*, i8*, i64)\n" 583 "declare i64 @__strlcat_chk(i8*, i8*, i64, i64)\n" 584 "declare i64 @__strlen_chk(i8*, i64)\n" 585 "declare i8* @__strncat_chk(i8*, i8*, i64, i64)\n" 586 "declare i64 @__strlcpy_chk(i8*, i8*, i64, i64)\n" 587 "declare i32 @__vsnprintf_chk(i8*, i64, i32, i64, i8*, %struct*)\n" 588 "declare i32 @__vsprintf_chk(i8*, i32, i64, i8*, %struct*)\n" 589 590 "declare i8* @memalign(i64, i64)\n" 591 "declare i8* @mempcpy(i8*, i8*, i64)\n" 592 "declare i8* @memrchr(i8*, i32, i64)\n" 593 594 "declare void @__atomic_load(i64, i8*, i8*, i32)\n" 595 "declare void @__atomic_store(i64, i8*, i8*, i32)\n" 596 597 // These are similar to the FILE* fgetc/fputc. 598 "declare i32 @_IO_getc(%struct*)\n" 599 "declare i32 @_IO_putc(i32, %struct*)\n" 600 601 "declare i32 @__isoc99_scanf(i8*, ...)\n" 602 "declare i32 @__isoc99_sscanf(i8*, i8*, ...)\n" 603 "declare i8* @__strdup(i8*)\n" 604 "declare i8* @__strndup(i8*, i64)\n" 605 "declare i8* @__strtok_r(i8*, i8*, i8**)\n" 606 607 "declare double @__sqrt_finite(double)\n" 608 "declare float @__sqrtf_finite(float)\n" 609 "declare x86_fp80 @__sqrtl_finite(x86_fp80)\n" 610 "declare double @exp10(double)\n" 611 "declare float @exp10f(float)\n" 612 "declare x86_fp80 @exp10l(x86_fp80)\n" 613 614 // These printf variants have the same prototype as the non-'i' versions. 615 "declare i32 @fiprintf(%struct*, i8*, ...)\n" 616 "declare i32 @iprintf(i8*, ...)\n" 617 "declare i32 @siprintf(i8*, i8*, ...)\n" 618 619 // __small_printf variants have the same prototype as the non-'i' 620 // versions. 621 "declare i32 @__small_fprintf(%struct*, i8*, ...)\n" 622 "declare i32 @__small_printf(i8*, ...)\n" 623 "declare i32 @__small_sprintf(i8*, i8*, ...)\n" 624 625 "declare i32 @htonl(i32)\n" 626 "declare i16 @htons(i16)\n" 627 "declare i32 @ntohl(i32)\n" 628 "declare i16 @ntohs(i16)\n" 629 630 "declare i32 @isascii(i32)\n" 631 "declare i32 @isdigit(i32)\n" 632 "declare i32 @toascii(i32)\n" 633 634 // These functions were extracted from math-finite.h which provides 635 // functions similar to those in math.h, but optimized for handling 636 // finite values only. 637 "declare double @__acos_finite(double)\n" 638 "declare float @__acosf_finite(float)\n" 639 "declare x86_fp80 @__acosl_finite(x86_fp80)\n" 640 "declare double @__acosh_finite(double)\n" 641 "declare float @__acoshf_finite(float)\n" 642 "declare x86_fp80 @__acoshl_finite(x86_fp80)\n" 643 "declare double @__asin_finite(double)\n" 644 "declare float @__asinf_finite(float)\n" 645 "declare x86_fp80 @__asinl_finite(x86_fp80)\n" 646 "declare double @__atan2_finite(double, double)\n" 647 "declare float @__atan2f_finite(float, float)\n" 648 "declare x86_fp80 @__atan2l_finite(x86_fp80, x86_fp80)\n" 649 "declare double @__atanh_finite(double)\n" 650 "declare float @__atanhf_finite(float)\n" 651 "declare x86_fp80 @__atanhl_finite(x86_fp80)\n" 652 "declare double @__cosh_finite(double)\n" 653 "declare float @__coshf_finite(float)\n" 654 "declare x86_fp80 @__coshl_finite(x86_fp80)\n" 655 "declare double @__exp10_finite(double)\n" 656 "declare float @__exp10f_finite(float)\n" 657 "declare x86_fp80 @__exp10l_finite(x86_fp80)\n" 658 "declare double @__exp2_finite(double)\n" 659 "declare float @__exp2f_finite(float)\n" 660 "declare x86_fp80 @__exp2l_finite(x86_fp80)\n" 661 "declare double @__exp_finite(double)\n" 662 "declare float @__expf_finite(float)\n" 663 "declare x86_fp80 @__expl_finite(x86_fp80)\n" 664 "declare double @__log10_finite(double)\n" 665 "declare float @__log10f_finite(float)\n" 666 "declare x86_fp80 @__log10l_finite(x86_fp80)\n" 667 "declare double @__log2_finite(double)\n" 668 "declare float @__log2f_finite(float)\n" 669 "declare x86_fp80 @__log2l_finite(x86_fp80)\n" 670 "declare double @__log_finite(double)\n" 671 "declare float @__logf_finite(float)\n" 672 "declare x86_fp80 @__logl_finite(x86_fp80)\n" 673 "declare double @__pow_finite(double, double)\n" 674 "declare float @__powf_finite(float, float)\n" 675 "declare x86_fp80 @__powl_finite(x86_fp80, x86_fp80)\n" 676 "declare double @__sinh_finite(double)\n" 677 "declare float @__sinhf_finite(float)\n" 678 "declare x86_fp80 @__sinhl_finite(x86_fp80)\n" 679 680 // These functions are aix vec allocation/free routines 681 "declare i8* @vec_calloc(i64, i64)\n" 682 "declare i8* @vec_malloc(i64)\n" 683 "declare i8* @vec_realloc(i8*, i64)\n" 684 "declare void @vec_free(i8*)\n" 685 686 // These functions are OpenMP Offloading allocation / free routines 687 "declare i8* @__kmpc_alloc_shared(i64)\n" 688 "declare void @__kmpc_free_shared(i8*, i64)\n"); 689 690 for (unsigned FI = 0; FI != LibFunc::NumLibFuncs; ++FI) { 691 LibFunc LF = (LibFunc)FI; 692 // Make sure everything is available; we're not testing target defaults. 693 TLII.setAvailable(LF); 694 Function *F = M->getFunction(TLI.getName(LF)); 695 EXPECT_TRUE(isLibFunc(F, LF)); 696 } 697 } 698 699 namespace { 700 701 /// Creates TLI for AArch64 and uses it to get the LibFunc names for the given 702 /// Instruction opcode and Type. 703 class TLITestAarch64 : public ::testing::Test { 704 private: 705 const Triple TargetTriple; 706 707 protected: 708 LLVMContext Ctx; 709 std::unique_ptr<TargetLibraryInfoImpl> TLII; 710 std::unique_ptr<TargetLibraryInfo> TLI; 711 712 /// Create TLI for AArch64 713 TLITestAarch64() : TargetTriple(Triple("aarch64-unknown-linux-gnu")) { 714 TLII = std::make_unique<TargetLibraryInfoImpl>( 715 TargetLibraryInfoImpl(TargetTriple)); 716 TLI = std::make_unique<TargetLibraryInfo>(TargetLibraryInfo(*TLII)); 717 } 718 719 /// Returns the TLI function name for the given \p Opcode and type \p Ty. 720 StringRef getScalarName(unsigned int Opcode, Type *Ty) { 721 LibFunc Func; 722 if (!TLI->getLibFunc(Opcode, Ty, Func)) 723 return ""; 724 return TLI->getName(Func); 725 } 726 }; 727 } // end anonymous namespace 728 729 TEST_F(TLITestAarch64, TestFrem) { 730 EXPECT_EQ(getScalarName(Instruction::FRem, Type::getDoubleTy(Ctx)), "fmod"); 731 EXPECT_EQ(getScalarName(Instruction::FRem, Type::getFloatTy(Ctx)), "fmodf"); 732 } 733