1; RUN: opt < %s -mtriple=x86_64-- -inferattrs -S | FileCheck -check-prefix=CHECK-UNKNOWN %s 2; RUN: opt < %s -mtriple=x86_64-- -passes=inferattrs -S | FileCheck -check-prefix=CHECK-UNKNOWN %s 3; RUN: opt < %s -mtriple=x86_64-apple-macosx10.8.0 -inferattrs -S | FileCheck -check-prefix=CHECK -check-prefix=CHECK-DARWIN %s 4; RUN: opt < %s -mtriple=x86_64-unknown-linux-gnu -inferattrs -S | FileCheck -check-prefix=CHECK -check-prefix=CHECK-LINUX %s 5; RUN: opt < %s -mtriple=nvptx -inferattrs -S | FileCheck -check-prefix=CHECK-NVPTX %s 6 7declare i32 @__nvvm_reflect(i8*) 8; CHECK-NVPTX: declare noundef i32 @__nvvm_reflect(i8* noundef) [[NOFREE_NOUNWIND_READNONE:#[0-9]+]] 9; CHECK-NVPTX: attributes [[NOFREE_NOUNWIND_READNONE]] = { nofree nounwind readnone } 10 11 12; Check all the libc functions (thereby also exercising the prototype check). 13; Note that it's OK to modify these as attributes might be missing. These checks 14; reflect the currently inferred attributes. 15 16; Use an opaque pointer type for all the (possibly opaque) structs. 17%opaque = type opaque 18 19; CHECK: declare double @__acos_finite(double) 20declare double @__acos_finite(double) 21 22; CHECK: declare float @__acosf_finite(float) 23declare float @__acosf_finite(float) 24 25; CHECK: declare double @__acosh_finite(double) 26declare double @__acosh_finite(double) 27 28; CHECK: declare float @__acoshf_finite(float) 29declare float @__acoshf_finite(float) 30 31; CHECK: declare x86_fp80 @__acoshl_finite(x86_fp80) 32declare x86_fp80 @__acoshl_finite(x86_fp80) 33 34; CHECK: declare x86_fp80 @__acosl_finite(x86_fp80) 35declare x86_fp80 @__acosl_finite(x86_fp80) 36 37; CHECK: declare double @__asin_finite(double) 38declare double @__asin_finite(double) 39 40; CHECK: declare float @__asinf_finite(float) 41declare float @__asinf_finite(float) 42 43; CHECK: declare x86_fp80 @__asinl_finite(x86_fp80) 44declare x86_fp80 @__asinl_finite(x86_fp80) 45 46; CHECK: declare double @__atan2_finite(double, double) 47declare double @__atan2_finite(double, double) 48 49; CHECK: declare float @__atan2f_finite(float, float) 50declare float @__atan2f_finite(float, float) 51 52; CHECK: declare x86_fp80 @__atan2l_finite(x86_fp80, x86_fp80) 53declare x86_fp80 @__atan2l_finite(x86_fp80, x86_fp80) 54 55; CHECK: declare double @__atanh_finite(double) 56declare double @__atanh_finite(double) 57 58; CHECK: declare float @__atanhf_finite(float) 59declare float @__atanhf_finite(float) 60 61; CHECK: declare x86_fp80 @__atanhl_finite(x86_fp80) 62declare x86_fp80 @__atanhl_finite(x86_fp80) 63 64; CHECK: declare double @__cosh_finite(double) 65declare double @__cosh_finite(double) 66 67; CHECK: declare float @__coshf_finite(float) 68declare float @__coshf_finite(float) 69 70; CHECK: declare x86_fp80 @__coshl_finite(x86_fp80) 71declare x86_fp80 @__coshl_finite(x86_fp80) 72 73; CHECK: declare double @__cospi(double) 74declare double @__cospi(double) 75 76; CHECK: declare float @__cospif(float) 77declare float @__cospif(float) 78 79; CHECK: declare double @__exp10_finite(double) 80declare double @__exp10_finite(double) 81 82; CHECK: declare float @__exp10f_finite(float) 83declare float @__exp10f_finite(float) 84 85; CHECK: declare x86_fp80 @__exp10l_finite(x86_fp80) 86declare x86_fp80 @__exp10l_finite(x86_fp80) 87 88; CHECK: declare double @__exp2_finite(double) 89declare double @__exp2_finite(double) 90 91; CHECK: declare float @__exp2f_finite(float) 92declare float @__exp2f_finite(float) 93 94; CHECK: declare x86_fp80 @__exp2l_finite(x86_fp80) 95declare x86_fp80 @__exp2l_finite(x86_fp80) 96 97; CHECK: declare double @__exp_finite(double) 98declare double @__exp_finite(double) 99 100; CHECK: declare float @__expf_finite(float) 101declare float @__expf_finite(float) 102 103; CHECK: declare x86_fp80 @__expl_finite(x86_fp80) 104declare x86_fp80 @__expl_finite(x86_fp80) 105 106; CHECK: declare double @__log10_finite(double) 107declare double @__log10_finite(double) 108 109; CHECK: declare float @__log10f_finite(float) 110declare float @__log10f_finite(float) 111 112; CHECK: declare x86_fp80 @__log10l_finite(x86_fp80) 113declare x86_fp80 @__log10l_finite(x86_fp80) 114 115; CHECK: declare double @__log2_finite(double) 116declare double @__log2_finite(double) 117 118; CHECK: declare float @__log2f_finite(float) 119declare float @__log2f_finite(float) 120 121; CHECK: declare x86_fp80 @__log2l_finite(x86_fp80) 122declare x86_fp80 @__log2l_finite(x86_fp80) 123 124; CHECK: declare double @__log_finite(double) 125declare double @__log_finite(double) 126 127; CHECK: declare float @__logf_finite(float) 128declare float @__logf_finite(float) 129 130; CHECK: declare x86_fp80 @__logl_finite(x86_fp80) 131declare x86_fp80 @__logl_finite(x86_fp80) 132 133; CHECK: declare double @__pow_finite(double, double) 134declare double @__pow_finite(double, double) 135 136; CHECK: declare float @__powf_finite(float, float) 137declare float @__powf_finite(float, float) 138 139; CHECK: declare x86_fp80 @__powl_finite(x86_fp80, x86_fp80) 140declare x86_fp80 @__powl_finite(x86_fp80, x86_fp80) 141 142; CHECK: declare double @__sinh_finite(double) 143declare double @__sinh_finite(double) 144 145; CHECK: declare float @__sinhf_finite(float) 146declare float @__sinhf_finite(float) 147 148; CHECK: declare x86_fp80 @__sinhl_finite(x86_fp80) 149declare x86_fp80 @__sinhl_finite(x86_fp80) 150 151; CHECK: declare double @__sinpi(double) 152declare double @__sinpi(double) 153 154; CHECK: declare float @__sinpif(float) 155declare float @__sinpif(float) 156 157; CHECK: declare i32 @abs(i32) [[NOFREE_NOUNWIND_WILLRETURN:#[0-9]+]] 158declare i32 @abs(i32) 159 160; CHECK: declare noundef i32 @access(i8* nocapture noundef readonly, i32 noundef) [[NOFREE_NOUNWIND:#[0-9]+]] 161declare i32 @access(i8*, i32) 162 163; CHECK: declare double @acos(double) [[NOFREE_NOUNWIND_WILLRETURN]] 164declare double @acos(double) 165 166; CHECK: declare float @acosf(float) [[NOFREE_NOUNWIND_WILLRETURN]] 167declare float @acosf(float) 168 169; CHECK: declare double @acosh(double) [[NOFREE_NOUNWIND_WILLRETURN]] 170declare double @acosh(double) 171 172; CHECK: declare float @acoshf(float) [[NOFREE_NOUNWIND_WILLRETURN]] 173declare float @acoshf(float) 174 175; CHECK: declare x86_fp80 @acoshl(x86_fp80) [[NOFREE_NOUNWIND_WILLRETURN]] 176declare x86_fp80 @acoshl(x86_fp80) 177 178; CHECK: declare x86_fp80 @acosl(x86_fp80) [[NOFREE_NOUNWIND_WILLRETURN]] 179declare x86_fp80 @acosl(x86_fp80) 180 181; CHECK: declare noalias noundef i8* @aligned_alloc(i64 noundef, i64 noundef) [[INACCESSIBLEMEMONLY_NOFREE_NOUNWIND:#[0-9]+]] 182declare i8* @aligned_alloc(i64, i64) 183 184; CHECK: declare double @asin(double) [[NOFREE_NOUNWIND_WILLRETURN]] 185declare double @asin(double) 186 187; CHECK: declare float @asinf(float) [[NOFREE_NOUNWIND_WILLRETURN]] 188declare float @asinf(float) 189 190; CHECK: declare double @asinh(double) [[NOFREE_NOUNWIND_WILLRETURN]] 191declare double @asinh(double) 192 193; CHECK: declare float @asinhf(float) [[NOFREE_NOUNWIND_WILLRETURN]] 194declare float @asinhf(float) 195 196; CHECK: declare x86_fp80 @asinhl(x86_fp80) [[NOFREE_NOUNWIND_WILLRETURN]] 197declare x86_fp80 @asinhl(x86_fp80) 198 199; CHECK: declare x86_fp80 @asinl(x86_fp80) [[NOFREE_NOUNWIND_WILLRETURN]] 200declare x86_fp80 @asinl(x86_fp80) 201 202; CHECK: declare double @atan(double) [[NOFREE_NOUNWIND_WILLRETURN]] 203declare double @atan(double) 204 205; CHECK: declare double @atan2(double, double) [[NOFREE_NOUNWIND_WILLRETURN]] 206declare double @atan2(double, double) 207 208; CHECK: declare float @atan2f(float, float) [[NOFREE_NOUNWIND_WILLRETURN]] 209declare float @atan2f(float, float) 210 211; CHECK: declare x86_fp80 @atan2l(x86_fp80, x86_fp80) [[NOFREE_NOUNWIND_WILLRETURN]] 212declare x86_fp80 @atan2l(x86_fp80, x86_fp80) 213 214; CHECK: declare float @atanf(float) [[NOFREE_NOUNWIND_WILLRETURN]] 215declare float @atanf(float) 216 217; CHECK: declare double @atanh(double) [[NOFREE_NOUNWIND_WILLRETURN]] 218declare double @atanh(double) 219 220; CHECK: declare float @atanhf(float) [[NOFREE_NOUNWIND_WILLRETURN]] 221declare float @atanhf(float) 222 223; CHECK: declare x86_fp80 @atanhl(x86_fp80) [[NOFREE_NOUNWIND_WILLRETURN]] 224declare x86_fp80 @atanhl(x86_fp80) 225 226; CHECK: declare x86_fp80 @atanl(x86_fp80) [[NOFREE_NOUNWIND_WILLRETURN]] 227declare x86_fp80 @atanl(x86_fp80) 228 229; CHECK: declare double @atof(i8* nocapture) [[NOFREE_NOUNWIND_READONLY:#[0-9]+]] 230declare double @atof(i8*) 231 232; CHECK: declare i32 @atoi(i8* nocapture) [[NOFREE_NOUNWIND_READONLY]] 233declare i32 @atoi(i8*) 234 235; CHECK: declare i64 @atol(i8* nocapture) [[NOFREE_NOUNWIND_READONLY]] 236declare i64 @atol(i8*) 237 238; CHECK: declare i64 @atoll(i8* nocapture) [[NOFREE_NOUNWIND_READONLY]] 239declare i64 @atoll(i8*) 240 241; CHECK-LINUX: declare i32 @bcmp(i8* nocapture, i8* nocapture, i64) [[ARGMEMONLY_NOFREE_NOUNWIND_READONLY:#[0-9]+]] 242; CHECK-DARWIN-NOT: declare i32 @bcmp(i8* nocapture, i8* nocapture, i64) [[NOFREE_NOUNWIND_READONLY]] 243; CHECK-UNKNOWN-NOT: declare i32 @bcmp(i8* nocapture, i8* nocapture, i64) [[NOFREE_NOUNWIND_READONLY]] 244; CHECK-NVPTX-NOT: declare i32 @bcmp(i8* nocapture, i8* nocapture, i64) [[NOFREE_NOUNWIND_READONLY]] 245declare i32 @bcmp(i8*, i8*, i64) 246 247; CHECK: declare void @bcopy(i8* nocapture readonly, i8* nocapture writeonly, i64) [[ARGMEMONLY_NOFREE_NOUNWIND:#[0-9]+]] 248declare void @bcopy(i8*, i8*, i64) 249 250; CHECK: declare void @bzero(i8* nocapture writeonly, i64) [[ARGMEMONLY_NOFREE_NOUNWIND:#[0-9]+]] 251declare void @bzero(i8*, i64) 252 253; CHECK: declare noalias noundef i8* @calloc(i64 noundef, i64 noundef) [[INACCESSIBLEMEMONLY_NOFREE_NOUNWIND_WILLRETURN:#[0-9]+]] 254declare i8* @calloc(i64, i64) 255 256; CHECK: declare double @cbrt(double) [[NOFREE_NOUNWIND_WILLRETURN]] 257declare double @cbrt(double) 258 259; CHECK: declare float @cbrtf(float) [[NOFREE_NOUNWIND_WILLRETURN]] 260declare float @cbrtf(float) 261 262; CHECK: declare x86_fp80 @cbrtl(x86_fp80) [[NOFREE_NOUNWIND_WILLRETURN]] 263declare x86_fp80 @cbrtl(x86_fp80) 264 265; CHECK: declare double @ceil(double) [[NOFREE_NOUNWIND_WILLRETURN]] 266declare double @ceil(double) 267 268; CHECK: declare float @ceilf(float) [[NOFREE_NOUNWIND_WILLRETURN]] 269declare float @ceilf(float) 270 271; CHECK: declare x86_fp80 @ceill(x86_fp80) [[NOFREE_NOUNWIND_WILLRETURN]] 272declare x86_fp80 @ceill(x86_fp80) 273 274; CHECK: declare noundef i32 @chmod(i8* nocapture noundef readonly, i16 noundef zeroext) [[NOFREE_NOUNWIND]] 275declare i32 @chmod(i8*, i16 zeroext) 276 277; CHECK: declare noundef i32 @chown(i8* nocapture noundef readonly, i32 noundef, i32 noundef) [[NOFREE_NOUNWIND]] 278declare i32 @chown(i8*, i32, i32) 279 280; CHECK: declare void @clearerr(%opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 281declare void @clearerr(%opaque*) 282 283; CHECK: declare noundef i32 @closedir(%opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 284declare i32 @closedir(%opaque*) 285 286; CHECK: declare double @copysign(double, double) [[NOFREE_NOUNWIND_WILLRETURN]] 287declare double @copysign(double, double) 288 289; CHECK: declare float @copysignf(float, float) [[NOFREE_NOUNWIND_WILLRETURN]] 290declare float @copysignf(float, float) 291 292; CHECK: declare x86_fp80 @copysignl(x86_fp80, x86_fp80) [[NOFREE_NOUNWIND_WILLRETURN]] 293declare x86_fp80 @copysignl(x86_fp80, x86_fp80) 294 295; CHECK: declare double @cos(double) [[NOFREE_NOUNWIND_WILLRETURN]] 296declare double @cos(double) 297 298; CHECK: declare float @cosf(float) [[NOFREE_NOUNWIND_WILLRETURN]] 299declare float @cosf(float) 300 301; CHECK: declare double @cosh(double) [[NOFREE_NOUNWIND_WILLRETURN]] 302declare double @cosh(double) 303 304; CHECK: declare float @coshf(float) [[NOFREE_NOUNWIND_WILLRETURN]] 305declare float @coshf(float) 306 307; CHECK: declare x86_fp80 @coshl(x86_fp80) [[NOFREE_NOUNWIND_WILLRETURN]] 308declare x86_fp80 @coshl(x86_fp80) 309 310; CHECK: declare x86_fp80 @cosl(x86_fp80) [[NOFREE_NOUNWIND_WILLRETURN]] 311declare x86_fp80 @cosl(x86_fp80) 312 313; CHECK: declare noundef i8* @ctermid(i8* nocapture noundef) [[NOFREE_NOUNWIND]] 314declare i8* @ctermid(i8*) 315 316; CHECK: declare double @exp(double) [[NOFREE_NOUNWIND_WILLRETURN]] 317declare double @exp(double) 318 319; CHECK: declare double @exp2(double) [[NOFREE_NOUNWIND_WILLRETURN]] 320declare double @exp2(double) 321 322; CHECK: declare float @exp2f(float) [[NOFREE_NOUNWIND_WILLRETURN]] 323declare float @exp2f(float) 324 325; CHECK: declare x86_fp80 @exp2l(x86_fp80) [[NOFREE_NOUNWIND_WILLRETURN]] 326declare x86_fp80 @exp2l(x86_fp80) 327 328; CHECK: declare float @expf(float) [[NOFREE_NOUNWIND_WILLRETURN]] 329declare float @expf(float) 330 331; CHECK: declare x86_fp80 @expl(x86_fp80) [[NOFREE_NOUNWIND_WILLRETURN]] 332declare x86_fp80 @expl(x86_fp80) 333 334; CHECK: declare double @expm1(double) [[NOFREE_NOUNWIND_WILLRETURN]] 335declare double @expm1(double) 336 337; CHECK: declare float @expm1f(float) [[NOFREE_NOUNWIND_WILLRETURN]] 338declare float @expm1f(float) 339 340; CHECK: declare x86_fp80 @expm1l(x86_fp80) [[NOFREE_NOUNWIND_WILLRETURN]] 341declare x86_fp80 @expm1l(x86_fp80) 342 343; CHECK: declare double @fabs(double) [[NOFREE_NOUNWIND_WILLRETURN]] 344declare double @fabs(double) 345 346; CHECK: declare float @fabsf(float) [[NOFREE_NOUNWIND_WILLRETURN]] 347declare float @fabsf(float) 348 349; CHECK: declare x86_fp80 @fabsl(x86_fp80) [[NOFREE_NOUNWIND_WILLRETURN]] 350declare x86_fp80 @fabsl(x86_fp80) 351 352; CHECK: declare noundef i32 @fclose(%opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 353declare i32 @fclose(%opaque*) 354 355; CHECK: declare noalias noundef %opaque* @fdopen(i32 noundef, i8* nocapture noundef readonly) [[NOFREE_NOUNWIND]] 356declare %opaque* @fdopen(i32, i8*) 357 358; CHECK: declare noundef i32 @feof(%opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 359declare i32 @feof(%opaque*) 360 361; CHECK: declare noundef i32 @ferror(%opaque* nocapture noundef) [[NOFREE_NOUNWIND_READONLY:#[0-9]+]] 362declare i32 @ferror(%opaque*) 363 364; CHECK: declare noundef i32 @fflush(%opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 365declare i32 @fflush(%opaque*) 366 367; CHECK: declare i32 @ffs(i32) [[NOFREE_NOUNWIND_WILLRETURN]] 368declare i32 @ffs(i32) 369 370; CHECK: declare i32 @ffsl(i64) [[NOFREE_NOUNWIND_WILLRETURN]] 371declare i32 @ffsl(i64) 372 373; CHECK: declare i32 @ffsll(i64) [[NOFREE_NOUNWIND_WILLRETURN]] 374declare i32 @ffsll(i64) 375 376; CHECK: declare noundef i32 @fgetc(%opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 377declare i32 @fgetc(%opaque*) 378 379; CHECK: declare noundef i32 @fgetpos(%opaque* nocapture noundef, i64* nocapture noundef) [[NOFREE_NOUNWIND]] 380declare i32 @fgetpos(%opaque*, i64*) 381 382; CHECK: declare noundef i8* @fgets(i8* noundef, i32 noundef, %opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 383declare i8* @fgets(i8*, i32, %opaque*) 384 385; CHECK: declare noundef i32 @fileno(%opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 386declare i32 @fileno(%opaque*) 387 388; CHECK: declare void @flockfile(%opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 389declare void @flockfile(%opaque*) 390 391; CHECK: declare double @floor(double) [[NOFREE_NOUNWIND_WILLRETURN]] 392declare double @floor(double) 393 394; CHECK: declare float @floorf(float) [[NOFREE_NOUNWIND_WILLRETURN]] 395declare float @floorf(float) 396 397; CHECK: declare x86_fp80 @floorl(x86_fp80) [[NOFREE_NOUNWIND_WILLRETURN]] 398declare x86_fp80 @floorl(x86_fp80) 399 400; CHECK: declare i32 @fls(i32) 401declare i32 @fls(i32) 402 403; CHECK: declare i32 @flsl(i64) 404declare i32 @flsl(i64) 405 406; CHECK: declare i32 @flsll(i64) 407declare i32 @flsll(i64) 408 409; CHECK: declare double @fmax(double, double) [[NOFREE_NOUNWIND_WILLRETURN]] 410declare double @fmax(double, double) 411 412; CHECK: declare float @fmaxf(float, float) [[NOFREE_NOUNWIND_WILLRETURN]] 413declare float @fmaxf(float, float) 414 415; CHECK: declare x86_fp80 @fmaxl(x86_fp80, x86_fp80) [[NOFREE_NOUNWIND_WILLRETURN]] 416declare x86_fp80 @fmaxl(x86_fp80, x86_fp80) 417 418; CHECK: declare double @fmin(double, double) [[NOFREE_NOUNWIND_WILLRETURN]] 419declare double @fmin(double, double) 420 421; CHECK: declare float @fminf(float, float) [[NOFREE_NOUNWIND_WILLRETURN]] 422declare float @fminf(float, float) 423 424; CHECK: declare x86_fp80 @fminl(x86_fp80, x86_fp80) [[NOFREE_NOUNWIND_WILLRETURN]] 425declare x86_fp80 @fminl(x86_fp80, x86_fp80) 426 427; CHECK: declare double @fmod(double, double) [[NOFREE_NOUNWIND_WILLRETURN]] 428declare double @fmod(double, double) 429 430; CHECK: declare float @fmodf(float, float) [[NOFREE_NOUNWIND_WILLRETURN]] 431declare float @fmodf(float, float) 432 433; CHECK: declare x86_fp80 @fmodl(x86_fp80, x86_fp80) [[NOFREE_NOUNWIND_WILLRETURN]] 434declare x86_fp80 @fmodl(x86_fp80, x86_fp80) 435 436; CHECK: declare noalias noundef %opaque* @fopen(i8* nocapture noundef readonly, i8* nocapture noundef readonly) [[NOFREE_NOUNWIND]] 437declare %opaque* @fopen(i8*, i8*) 438 439; CHECK: declare noundef i32 @fprintf(%opaque* nocapture noundef, i8* nocapture noundef readonly, ...) [[NOFREE_NOUNWIND]] 440declare i32 @fprintf(%opaque*, i8*, ...) 441 442; CHECK: declare noundef i32 @fputc(i32 noundef, %opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 443declare i32 @fputc(i32, %opaque*) 444 445; CHECK: declare noundef i32 @fputs(i8* nocapture noundef readonly, %opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 446declare i32 @fputs(i8*, %opaque*) 447 448; CHECK: declare noundef i64 @fread(i8* nocapture noundef, i64 noundef, i64 noundef, %opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 449declare i64 @fread(i8*, i64, i64, %opaque*) 450 451; CHECK: declare void @free(i8* nocapture noundef) [[NOUNWIND:#[0-9]+]] 452declare void @free(i8*) 453 454; CHECK: declare double @frexp(double, i32* nocapture) [[NOFREE_NOUNWIND_WILLRETURN]] 455declare double @frexp(double, i32*) 456 457; CHECK: declare float @frexpf(float, i32* nocapture) [[NOFREE_NOUNWIND_WILLRETURN]] 458declare float @frexpf(float, i32*) 459 460; CHECK: declare x86_fp80 @frexpl(x86_fp80, i32* nocapture) [[NOFREE_NOUNWIND_WILLRETURN]] 461declare x86_fp80 @frexpl(x86_fp80, i32*) 462 463; CHECK: declare noundef i32 @fscanf(%opaque* nocapture noundef, i8* nocapture noundef readonly, ...) [[NOFREE_NOUNWIND]] 464declare i32 @fscanf(%opaque*, i8*, ...) 465 466; CHECK: declare noundef i32 @fseek(%opaque* nocapture noundef, i64 noundef, i32 noundef) [[NOFREE_NOUNWIND]] 467declare i32 @fseek(%opaque*, i64, i32) 468 469; CHECK: declare noundef i32 @fseeko(%opaque* nocapture noundef, i64 noundef, i32 noundef) [[NOFREE_NOUNWIND]] 470declare i32 @fseeko(%opaque*, i64, i32) 471 472; CHECK-LINUX: declare noundef i32 @fseeko64(%opaque* nocapture noundef, i64 noundef, i32 noundef) [[NOFREE_NOUNWIND]] 473declare i32 @fseeko64(%opaque*, i64, i32) 474 475; CHECK: declare noundef i32 @fsetpos(%opaque* nocapture noundef, i64* noundef) [[NOFREE_NOUNWIND]] 476declare i32 @fsetpos(%opaque*, i64*) 477 478; CHECK: declare noundef i32 @fstat(i32 noundef, %opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 479declare i32 @fstat(i32, %opaque*) 480 481; CHECK-LINUX: declare noundef i32 @fstat64(i32 noundef, %opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 482declare i32 @fstat64(i32, %opaque*) 483 484; CHECK: declare noundef i32 @fstatvfs(i32 noundef, %opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 485declare i32 @fstatvfs(i32, %opaque*) 486 487; CHECK-LINUX: declare noundef i32 @fstatvfs64(i32 noundef, %opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 488declare i32 @fstatvfs64(i32, %opaque*) 489 490; CHECK: declare noundef i64 @ftell(%opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 491declare i64 @ftell(%opaque*) 492 493; CHECK: declare noundef i64 @ftello(%opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 494declare i64 @ftello(%opaque*) 495 496; CHECK-LINUX: declare noundef i64 @ftello64(%opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 497declare i64 @ftello64(%opaque*) 498 499; CHECK: declare noundef i32 @ftrylockfile(%opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 500declare i32 @ftrylockfile(%opaque*) 501 502; CHECK: declare void @funlockfile(%opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 503declare void @funlockfile(%opaque*) 504 505; CHECK: declare noundef i64 @fwrite(i8* nocapture noundef, i64 noundef, i64 noundef, %opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 506declare i64 @fwrite(i8*, i64, i64, %opaque*) 507 508; CHECK: declare noundef i32 @getc(%opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 509declare i32 @getc(%opaque*) 510 511; CHECK: declare noundef i32 @getc_unlocked(%opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 512declare i32 @getc_unlocked(%opaque*) 513 514; CHECK: declare noundef i32 @getchar() [[NOFREE_NOUNWIND]] 515declare i32 @getchar() 516 517; CHECK: declare noundef i32 @getchar_unlocked() [[NOFREE_NOUNWIND]] 518declare i32 @getchar_unlocked() 519 520; CHECK: declare noundef i8* @getenv(i8* nocapture noundef) [[NOFREE_NOUNWIND_READONLY]] 521declare i8* @getenv(i8*) 522 523; CHECK: declare noundef i32 @getitimer(i32 noundef, %opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 524declare i32 @getitimer(i32, %opaque*) 525 526; CHECK: declare noundef i32 @getlogin_r(i8* nocapture noundef, i64 noundef) [[NOFREE_NOUNWIND]] 527declare i32 @getlogin_r(i8*, i64) 528 529; CHECK: declare noundef %opaque* @getpwnam(i8* nocapture noundef readonly) [[NOFREE_NOUNWIND]] 530declare %opaque* @getpwnam(i8*) 531 532; CHECK: declare noundef i8* @gets(i8* noundef) [[NOFREE_NOUNWIND]] 533declare i8* @gets(i8*) 534 535; CHECK: declare noundef i32 @gettimeofday(%opaque* nocapture noundef, i8* nocapture noundef) [[NOFREE_NOUNWIND]] 536declare i32 @gettimeofday(%opaque*, i8*) 537 538; CHECK: declare i32 @isascii(i32) [[NOFREE_NOUNWIND_WILLRETURN]] 539declare i32 @isascii(i32) 540 541; CHECK: declare i32 @isdigit(i32) [[NOFREE_NOUNWIND_WILLRETURN]] 542declare i32 @isdigit(i32) 543 544; CHECK: declare i64 @labs(i64) [[NOFREE_NOUNWIND_WILLRETURN]] 545declare i64 @labs(i64) 546 547; CHECK: declare noundef i32 @lchown(i8* nocapture noundef readonly, i32 noundef, i32 noundef) [[NOFREE_NOUNWIND]] 548declare i32 @lchown(i8*, i32, i32) 549 550; CHECK: declare double @ldexp(double, i32 signext) [[NOFREE_WILLRETURN:#[0-9]+]] 551declare double @ldexp(double, i32) 552 553; CHECK: declare float @ldexpf(float, i32 signext) [[NOFREE_WILLRETURN]] 554declare float @ldexpf(float, i32) 555 556; CHECK: declare x86_fp80 @ldexpl(x86_fp80, i32 signext) [[NOFREE_WILLRETURN]] 557declare x86_fp80 @ldexpl(x86_fp80, i32) 558 559; CHECK: declare i64 @llabs(i64) [[NOFREE_NOUNWIND_WILLRETURN]] 560declare i64 @llabs(i64) 561 562; CHECK: declare double @log(double) [[NOFREE_NOUNWIND_WILLRETURN]] 563declare double @log(double) 564 565; CHECK: declare double @log10(double) [[NOFREE_NOUNWIND_WILLRETURN]] 566declare double @log10(double) 567 568; CHECK: declare float @log10f(float) [[NOFREE_NOUNWIND_WILLRETURN]] 569declare float @log10f(float) 570 571; CHECK: declare x86_fp80 @log10l(x86_fp80) [[NOFREE_NOUNWIND_WILLRETURN]] 572declare x86_fp80 @log10l(x86_fp80) 573 574; CHECK: declare double @log1p(double) [[NOFREE_NOUNWIND_WILLRETURN]] 575declare double @log1p(double) 576 577; CHECK: declare float @log1pf(float) [[NOFREE_NOUNWIND_WILLRETURN]] 578declare float @log1pf(float) 579 580; CHECK: declare x86_fp80 @log1pl(x86_fp80) [[NOFREE_NOUNWIND_WILLRETURN]] 581declare x86_fp80 @log1pl(x86_fp80) 582 583; CHECK: declare double @log2(double) [[NOFREE_NOUNWIND_WILLRETURN]] 584declare double @log2(double) 585 586; CHECK: declare float @log2f(float) [[NOFREE_NOUNWIND_WILLRETURN]] 587declare float @log2f(float) 588 589; CHECK: declare x86_fp80 @log2l(x86_fp80) [[NOFREE_NOUNWIND_WILLRETURN]] 590declare x86_fp80 @log2l(x86_fp80) 591 592; CHECK: declare double @logb(double) [[NOFREE_NOUNWIND_WILLRETURN]] 593declare double @logb(double) 594 595; CHECK: declare float @logbf(float) [[NOFREE_NOUNWIND_WILLRETURN]] 596declare float @logbf(float) 597 598; CHECK: declare x86_fp80 @logbl(x86_fp80) [[NOFREE_NOUNWIND_WILLRETURN]] 599declare x86_fp80 @logbl(x86_fp80) 600 601; CHECK: declare float @logf(float) [[NOFREE_NOUNWIND_WILLRETURN]] 602declare float @logf(float) 603 604; CHECK: declare x86_fp80 @logl(x86_fp80) [[NOFREE_NOUNWIND_WILLRETURN]] 605declare x86_fp80 @logl(x86_fp80) 606 607; CHECK: declare noundef i32 @lstat(i8* nocapture noundef readonly, %opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 608declare i32 @lstat(i8*, %opaque*) 609 610; CHECK-LINUX: declare noundef i32 @lstat64(i8* nocapture noundef readonly, %opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 611declare i32 @lstat64(i8*, %opaque*) 612 613; CHECK: declare noalias noundef i8* @malloc(i64 noundef) [[INACCESSIBLEMEMONLY_NOFREE_NOUNWIND_WILLRETURN]] 614declare i8* @malloc(i64) 615 616; CHECK-LINUX: declare noalias noundef i8* @memalign(i64, i64) [[INACCESSIBLEMEMONLY_NOFREE_NOUNWIND_WILLRETURN]] 617declare i8* @memalign(i64, i64) 618 619; CHECK: declare i8* @memccpy(i8* noalias writeonly, i8* noalias nocapture readonly, i32, i64) [[ARGMEMONLY_NOFREE_NOUNWIND:#[0-9]+]] 620declare i8* @memccpy(i8*, i8*, i32, i64) 621 622; CHECK-LINUX: declare i8* @memchr(i8*, i32, i64) [[ARGMEMONLY_NOFREE_NOUNWIND_READONLY]] 623; CHECK-DARWIN: declare i8* @memchr(i8*, i32, i64) [[ARGMEMONLY_NOFREE_NOUNWIND_READONLY:#[0-9]+]] 624; CHECK-UNKNOWN: declare i8* @memchr(i8*, i32, i64) [[ARGMEMONLY_NOFREE_NOUNWIND_READONLY:#[0-9]+]] 625declare i8* @memchr(i8*, i32, i64) 626 627; CHECK: declare i32 @memcmp(i8* nocapture, i8* nocapture, i64) [[ARGMEMONLY_NOFREE_NOUNWIND_READONLY]] 628declare i32 @memcmp(i8*, i8*, i64) 629 630; CHECK: declare i8* @memcpy(i8* noalias returned writeonly, i8* noalias nocapture readonly, i64) [[ARGMEMONLY_NOFREE_NOUNWIND]] 631declare i8* @memcpy(i8*, i8*, i64) 632 633; CHECK-DARWIN: declare i8* @__memcpy_chk(i8*, i8*, i64, i64) [[NOFREE_NOUNWIND]] 634; CHECK-LINUX: declare i8* @__memcpy_chk(i8*, i8*, i64, i64) [[NOFREE_NOUNWIND]] 635declare i8* @__memcpy_chk(i8*, i8*, i64, i64) 636 637; CHECK: declare i8* @mempcpy(i8* noalias writeonly, i8* noalias nocapture readonly, i64) [[ARGMEMONLY_NOFREE_NOUNWIND]] 638declare i8* @mempcpy(i8*, i8*, i64) 639 640; CHECK: declare i8* @memmove(i8* returned writeonly, i8* nocapture readonly, i64) [[ARGMEMONLY_NOFREE_NOUNWIND]] 641declare i8* @memmove(i8*, i8*, i64) 642 643; CHECK: declare i8* @memset(i8* writeonly, i32, i64) [[ARGMEMONLY_NOFREE_NOUNWIND_WILLRETURN:#[0-9]+]] 644declare i8* @memset(i8*, i32, i64) 645 646; CHECK: declare noundef i32 @mkdir(i8* nocapture noundef readonly, i16 noundef zeroext) [[NOFREE_NOUNWIND]] 647declare i32 @mkdir(i8*, i16 zeroext) 648 649; CHECK: declare noundef i64 @mktime(%opaque* nocapture noundef) [[NOFREE_NOUNWIND_WILLRETURN]] 650declare i64 @mktime(%opaque*) 651 652; CHECK: declare double @modf(double, double* nocapture) [[NOFREE_NOUNWIND_WILLRETURN]] 653declare double @modf(double, double*) 654 655; CHECK: declare float @modff(float, float* nocapture) [[NOFREE_NOUNWIND_WILLRETURN]] 656declare float @modff(float, float*) 657 658; CHECK: declare x86_fp80 @modfl(x86_fp80, x86_fp80* nocapture) [[NOFREE_NOUNWIND_WILLRETURN]] 659declare x86_fp80 @modfl(x86_fp80, x86_fp80*) 660 661; CHECK: declare double @nearbyint(double) [[NOFREE_NOUNWIND_WILLRETURN]] 662declare double @nearbyint(double) 663 664; CHECK: declare float @nearbyintf(float) [[NOFREE_NOUNWIND_WILLRETURN]] 665declare float @nearbyintf(float) 666 667; CHECK: declare x86_fp80 @nearbyintl(x86_fp80) [[NOFREE_NOUNWIND_WILLRETURN]] 668declare x86_fp80 @nearbyintl(x86_fp80) 669 670; CHECK: declare noundef i32 @open(i8* nocapture noundef readonly, i32 noundef, ...) [[NOFREE:#[0-9]+]] 671declare i32 @open(i8*, i32, ...) 672 673; CHECK-LINUX: declare noundef i32 @open64(i8* nocapture noundef readonly, i32 noundef, ...) [[NOFREE]] 674declare i32 @open64(i8*, i32, ...) 675 676; CHECK: declare noalias noundef %opaque* @opendir(i8* nocapture noundef readonly) [[NOFREE_NOUNWIND]] 677declare %opaque* @opendir(i8*) 678 679; CHECK: declare noundef i32 @pclose(%opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 680declare i32 @pclose(%opaque*) 681 682; CHECK: declare void @perror(i8* nocapture noundef readonly) [[NOFREE_NOUNWIND]] 683declare void @perror(i8*) 684 685; CHECK: declare noalias noundef %opaque* @popen(i8* nocapture noundef readonly, i8* nocapture noundef readonly) [[NOFREE_NOUNWIND]] 686declare %opaque* @popen(i8*, i8*) 687 688; CHECK: declare i32 @posix_memalign(i8**, i64, i64) [[NOFREE]] 689declare i32 @posix_memalign(i8**, i64, i64) 690 691; CHECK: declare double @pow(double, double) [[NOFREE_NOUNWIND_WILLRETURN]] 692declare double @pow(double, double) 693 694; CHECK: declare float @powf(float, float) [[NOFREE_NOUNWIND_WILLRETURN]] 695declare float @powf(float, float) 696 697; CHECK: declare x86_fp80 @powl(x86_fp80, x86_fp80) [[NOFREE_NOUNWIND_WILLRETURN]] 698declare x86_fp80 @powl(x86_fp80, x86_fp80) 699 700; CHECK: declare noundef i64 @pread(i32 noundef, i8* nocapture noundef, i64 noundef, i64 noundef) [[NOFREE]] 701declare i64 @pread(i32, i8*, i64, i64) 702 703; CHECK: declare noundef i32 @printf(i8* nocapture noundef readonly, ...) [[NOFREE_NOUNWIND]] 704declare i32 @printf(i8*, ...) 705 706; CHECK: declare noundef i32 @putc(i32 noundef, %opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 707declare i32 @putc(i32, %opaque*) 708 709; CHECK: declare noundef i32 @putchar(i32 noundef) [[NOFREE_NOUNWIND]] 710declare i32 @putchar(i32) 711 712; CHECK: declare noundef i32 @putchar_unlocked(i32 noundef) [[NOFREE_NOUNWIND]] 713declare i32 @putchar_unlocked(i32) 714 715; CHECK: declare noundef i32 @puts(i8* nocapture noundef readonly) [[NOFREE_NOUNWIND]] 716declare i32 @puts(i8*) 717 718; CHECK: declare noundef i64 @pwrite(i32 noundef, i8* nocapture noundef readonly, i64 noundef, i64 noundef) [[NOFREE]] 719declare i64 @pwrite(i32, i8*, i64, i64) 720 721; CHECK: declare void @qsort(i8* noundef, i64 noundef, i64 noundef, i32 (i8*, i8*)* nocapture noundef) [[NOFREE]] 722declare void @qsort(i8*, i64, i64, i32 (i8*, i8*)*) 723 724; CHECK: declare noundef i64 @read(i32 noundef, i8* nocapture noundef, i64 noundef) [[NOFREE]] 725declare i64 @read(i32, i8*, i64) 726 727; CHECK: declare noundef i64 @readlink(i8* nocapture noundef readonly, i8* nocapture noundef, i64 noundef) [[NOFREE_NOUNWIND]] 728declare i64 @readlink(i8*, i8*, i64) 729 730; CHECK: declare noalias noundef i8* @realloc(i8* nocapture, i64 noundef) [[NOUNWIND]] 731declare i8* @realloc(i8*, i64) 732 733; CHECK: declare noundef i8* @reallocf(i8*, i64 noundef) 734declare i8* @reallocf(i8*, i64) 735 736; CHECK: declare noundef i8* @realpath(i8* nocapture noundef readonly, i8* noundef) [[NOFREE_NOUNWIND]] 737declare i8* @realpath(i8*, i8*) 738 739; CHECK: declare noundef i32 @remove(i8* nocapture noundef readonly) [[NOFREE_NOUNWIND]] 740declare i32 @remove(i8*) 741 742; CHECK: declare noundef i32 @rename(i8* nocapture noundef readonly, i8* nocapture noundef readonly) [[NOFREE_NOUNWIND]] 743declare i32 @rename(i8*, i8*) 744 745; CHECK: declare void @rewind(%opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 746declare void @rewind(%opaque*) 747 748; CHECK: declare double @rint(double) [[NOFREE_NOUNWIND_WILLRETURN]] 749declare double @rint(double) 750 751; CHECK: declare float @rintf(float) [[NOFREE_NOUNWIND_WILLRETURN]] 752declare float @rintf(float) 753 754; CHECK: declare x86_fp80 @rintl(x86_fp80) [[NOFREE_NOUNWIND_WILLRETURN]] 755declare x86_fp80 @rintl(x86_fp80) 756 757; CHECK: declare noundef i32 @rmdir(i8* nocapture noundef readonly) [[NOFREE_NOUNWIND]] 758declare i32 @rmdir(i8*) 759 760; CHECK: declare double @round(double) [[NOFREE_NOUNWIND_WILLRETURN]] 761declare double @round(double) 762 763; CHECK: declare float @roundf(float) [[NOFREE_NOUNWIND_WILLRETURN]] 764declare float @roundf(float) 765 766; CHECK: declare x86_fp80 @roundl(x86_fp80) [[NOFREE_NOUNWIND_WILLRETURN]] 767declare x86_fp80 @roundl(x86_fp80) 768 769; CHECK: declare noundef i32 @scanf(i8* nocapture noundef readonly, ...) [[NOFREE_NOUNWIND]] 770declare i32 @scanf(i8*, ...) 771 772; CHECK: declare void @setbuf(%opaque* nocapture noundef, i8* noundef) [[NOFREE_NOUNWIND]] 773declare void @setbuf(%opaque*, i8*) 774 775; CHECK: declare noundef i32 @setitimer(i32 noundef, %opaque* nocapture noundef readonly, %opaque* nocapture noundef) [[NOFREE_NOUNWIND_WILLRETURN]] 776declare i32 @setitimer(i32, %opaque*, %opaque*) 777 778; CHECK: declare noundef i32 @setvbuf(%opaque* nocapture noundef, i8* noundef, i32 noundef, i64 noundef) [[NOFREE_NOUNWIND]] 779declare i32 @setvbuf(%opaque*, i8*, i32, i64) 780 781; CHECK: declare double @sin(double) [[NOFREE_NOUNWIND_WILLRETURN]] 782declare double @sin(double) 783 784; CHECK: declare float @sinf(float) [[NOFREE_NOUNWIND_WILLRETURN]] 785declare float @sinf(float) 786 787; CHECK: declare double @sinh(double) [[NOFREE_NOUNWIND_WILLRETURN]] 788declare double @sinh(double) 789 790; CHECK: declare float @sinhf(float) [[NOFREE_NOUNWIND_WILLRETURN]] 791declare float @sinhf(float) 792 793; CHECK: declare x86_fp80 @sinhl(x86_fp80) [[NOFREE_NOUNWIND_WILLRETURN]] 794declare x86_fp80 @sinhl(x86_fp80) 795 796; CHECK: declare x86_fp80 @sinl(x86_fp80) [[NOFREE_NOUNWIND_WILLRETURN]] 797declare x86_fp80 @sinl(x86_fp80) 798 799; CHECK: declare noundef i32 @snprintf(i8* noalias nocapture noundef writeonly, i64 noundef, i8* nocapture noundef readonly, ...) [[NOFREE_NOUNWIND]] 800declare i32 @snprintf(i8*, i64, i8*, ...) 801 802; CHECK: declare noundef i32 @sprintf(i8* noalias nocapture noundef writeonly, i8* nocapture noundef readonly, ...) [[NOFREE_NOUNWIND]] 803declare i32 @sprintf(i8*, i8*, ...) 804 805; CHECK: declare double @sqrt(double) [[NOFREE_NOUNWIND_WILLRETURN]] 806declare double @sqrt(double) 807 808; CHECK: declare float @sqrtf(float) [[NOFREE_NOUNWIND_WILLRETURN]] 809declare float @sqrtf(float) 810 811; CHECK: declare x86_fp80 @sqrtl(x86_fp80) [[NOFREE_NOUNWIND_WILLRETURN]] 812declare x86_fp80 @sqrtl(x86_fp80) 813 814; CHECK: declare noundef i32 @sscanf(i8* nocapture noundef readonly, i8* nocapture noundef readonly, ...) [[NOFREE_NOUNWIND]] 815declare i32 @sscanf(i8*, i8*, ...) 816 817; CHECK: declare noundef i32 @stat(i8* nocapture noundef readonly, %opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 818declare i32 @stat(i8*, %opaque*) 819 820; CHECK-LINUX: declare noundef i32 @stat64(i8* nocapture noundef readonly, %opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 821declare i32 @stat64(i8*, %opaque*) 822 823; CHECK: declare noundef i32 @statvfs(i8* nocapture noundef readonly, %opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 824declare i32 @statvfs(i8*, %opaque*) 825 826; CHECK-LINUX: declare noundef i32 @statvfs64(i8* nocapture noundef readonly, %opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 827declare i32 @statvfs64(i8*, %opaque*) 828 829; CHECK: declare i8* @stpcpy(i8* noalias writeonly, i8* noalias nocapture readonly) [[ARGMEMONLY_NOFREE_NOUNWIND]] 830declare i8* @stpcpy(i8*, i8*) 831 832; CHECK: declare i8* @stpncpy(i8* noalias writeonly, i8* noalias nocapture readonly, i64) [[ARGMEMONLY_NOFREE_NOUNWIND]] 833declare i8* @stpncpy(i8*, i8*, i64) 834 835; CHECK: declare i32 @strcasecmp(i8* nocapture, i8* nocapture) [[NOFREE_NOUNWIND_READONLY_WILLRETURN:#[0-9]+]] 836declare i32 @strcasecmp(i8*, i8*) 837 838; CHECK: declare i8* @strcat(i8* noalias returned writeonly, i8* noalias nocapture readonly) [[ARGMEMONLY_NOFREE_NOUNWIND]] 839declare i8* @strcat(i8*, i8*) 840 841; CHECK: declare i8* @strchr(i8*, i32) [[ARGMEMONLY_NOFREE_NOUNWIND_READONLY]] 842declare i8* @strchr(i8*, i32) 843 844; CHECK: declare i32 @strcmp(i8* nocapture, i8* nocapture) [[ARGMEMONLY_NOFREE_NOUNWIND_READONLY]] 845declare i32 @strcmp(i8*, i8*) 846 847; CHECK: declare i32 @strcoll(i8* nocapture, i8* nocapture) [[NOFREE_NOUNWIND_READONLY_WILLRETURN]] 848declare i32 @strcoll(i8*, i8*) 849 850; CHECK: declare i8* @strcpy(i8* noalias returned writeonly, i8* noalias nocapture readonly) [[ARGMEMONLY_NOFREE_NOUNWIND]] 851declare i8* @strcpy(i8*, i8*) 852 853; CHECK: declare i64 @strcspn(i8* nocapture, i8* nocapture) [[ARGMEMONLY_NOFREE_NOUNWIND_READONLY]] 854declare i64 @strcspn(i8*, i8*) 855 856; CHECK: declare noalias i8* @strdup(i8* nocapture readonly) [[INACCESSIBLEMEMORARGONLY_NOFREE_NOUNWIND_WILLRETURN:#[0-9]+]] 857declare i8* @strdup(i8*) 858 859; CHECK: declare i64 @strlen(i8* nocapture) [[ARGMEMONLY_NOFREE_NOUNWIND_READONLY]] 860declare i64 @strlen(i8*) 861 862; CHECK: declare i32 @strncasecmp(i8* nocapture, i8* nocapture, i64) [[NOFREE_NOUNWIND_READONLY_WILLRETURN]] 863declare i32 @strncasecmp(i8*, i8*, i64) 864 865; CHECK: declare i8* @strncat(i8* noalias returned writeonly, i8* noalias nocapture readonly, i64) [[ARGMEMONLY_NOFREE_NOUNWIND]] 866declare i8* @strncat(i8*, i8*, i64) 867 868; CHECK: declare i32 @strncmp(i8* nocapture, i8* nocapture, i64) [[ARGMEMONLY_NOFREE_NOUNWIND_READONLY]] 869declare i32 @strncmp(i8*, i8*, i64) 870 871; CHECK: declare i8* @strncpy(i8* noalias returned writeonly, i8* noalias nocapture readonly, i64) [[ARGMEMONLY_NOFREE_NOUNWIND]] 872declare i8* @strncpy(i8*, i8*, i64) 873 874; CHECK: declare noalias i8* @strndup(i8* nocapture readonly, i64 noundef) [[INACCESSIBLEMEMORARGONLY_NOFREE_NOUNWIND_WILLRETURN]] 875declare i8* @strndup(i8*, i64) 876 877; CHECK: declare i64 @strnlen(i8*, i64) [[NOFREE_NOUNWIND_WILLRETURN]] 878declare i64 @strnlen(i8*, i64) 879 880; CHECK: declare i8* @strpbrk(i8*, i8* nocapture) [[ARGMEMONLY_NOFREE_NOUNWIND:#[0-9]+]] 881declare i8* @strpbrk(i8*, i8*) 882 883; CHECK: declare i8* @strrchr(i8*, i32) [[ARGMEMONLY_NOFREE_NOUNWIND_READONLY]] 884declare i8* @strrchr(i8*, i32) 885 886; CHECK: declare i64 @strspn(i8* nocapture, i8* nocapture) [[ARGMEMONLY_NOFREE_NOUNWIND_READONLY]] 887declare i64 @strspn(i8*, i8*) 888 889; CHECK: declare i8* @strstr(i8*, i8* nocapture) [[ARGMEMONLY_NOFREE_NOUNWIND]] 890declare i8* @strstr(i8*, i8*) 891 892; CHECK: declare double @strtod(i8* readonly, i8** nocapture) [[NOFREE_NOUNWIND_WILLRETURN]] 893declare double @strtod(i8*, i8**) 894 895; CHECK: declare float @strtof(i8* readonly, i8** nocapture) [[NOFREE_NOUNWIND_WILLRETURN]] 896declare float @strtof(i8*, i8**) 897 898; CHECK: declare i8* @strtok(i8*, i8* nocapture readonly) [[NOFREE_NOUNWIND_WILLRETURN]] 899declare i8* @strtok(i8*, i8*) 900 901; CHECK: declare i8* @strtok_r(i8*, i8* nocapture readonly, i8**) [[NOFREE_NOUNWIND_WILLRETURN]] 902declare i8* @strtok_r(i8*, i8*, i8**) 903 904; CHECK: declare i64 @strtol(i8* readonly, i8** nocapture, i32) [[NOFREE_NOUNWIND_WILLRETURN]] 905declare i64 @strtol(i8*, i8**, i32) 906 907; CHECK: declare x86_fp80 @strtold(i8* readonly, i8** nocapture) [[NOFREE_NOUNWIND_WILLRETURN]] 908declare x86_fp80 @strtold(i8*, i8**) 909 910; CHECK: declare i64 @strtoll(i8* readonly, i8** nocapture, i32) [[NOFREE_NOUNWIND_WILLRETURN]] 911declare i64 @strtoll(i8*, i8**, i32) 912 913; CHECK: declare i64 @strtoul(i8* readonly, i8** nocapture, i32) [[NOFREE_NOUNWIND_WILLRETURN]] 914declare i64 @strtoul(i8*, i8**, i32) 915 916; CHECK: declare i64 @strtoull(i8* readonly, i8** nocapture, i32) [[NOFREE_NOUNWIND_WILLRETURN]] 917declare i64 @strtoull(i8*, i8**, i32) 918 919; CHECK: declare i64 @strxfrm(i8* nocapture, i8* nocapture readonly, i64) [[NOFREE_NOUNWIND_WILLRETURN]] 920declare i64 @strxfrm(i8*, i8*, i64) 921 922; CHECK: declare noundef i32 @system(i8* nocapture noundef readonly) [[NOFREE]] 923declare i32 @system(i8*) 924 925; CHECK: declare double @tan(double) [[NOFREE_NOUNWIND_WILLRETURN]] 926declare double @tan(double) 927 928; CHECK: declare float @tanf(float) [[NOFREE_NOUNWIND_WILLRETURN]] 929declare float @tanf(float) 930 931; CHECK: declare double @tanh(double) [[NOFREE_NOUNWIND_WILLRETURN]] 932declare double @tanh(double) 933 934; CHECK: declare float @tanhf(float) [[NOFREE_NOUNWIND_WILLRETURN]] 935declare float @tanhf(float) 936 937; CHECK: declare x86_fp80 @tanhl(x86_fp80) [[NOFREE_NOUNWIND_WILLRETURN]] 938declare x86_fp80 @tanhl(x86_fp80) 939 940; CHECK: declare x86_fp80 @tanl(x86_fp80) [[NOFREE_NOUNWIND_WILLRETURN]] 941declare x86_fp80 @tanl(x86_fp80) 942 943; CHECK: declare noundef i64 @times(%opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 944declare i64 @times(%opaque*) 945 946; CHECK: declare noalias noundef %opaque* @tmpfile() [[NOFREE_NOUNWIND]] 947declare %opaque* @tmpfile() 948 949; CHECK-LINUX: declare noalias noundef %opaque* @tmpfile64() [[NOFREE_NOUNWIND]] 950declare %opaque* @tmpfile64() 951 952; CHECK: declare i32 @toascii(i32) [[NOFREE_NOUNWIND_WILLRETURN]] 953declare i32 @toascii(i32) 954 955; CHECK: declare double @trunc(double) [[NOFREE_NOUNWIND_WILLRETURN]] 956declare double @trunc(double) 957 958; CHECK: declare float @truncf(float) [[NOFREE_NOUNWIND_WILLRETURN]] 959declare float @truncf(float) 960 961; CHECK: declare x86_fp80 @truncl(x86_fp80) [[NOFREE_NOUNWIND_WILLRETURN]] 962declare x86_fp80 @truncl(x86_fp80) 963 964; CHECK: declare noundef i32 @uname(%opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 965declare i32 @uname(%opaque*) 966 967; CHECK: declare noundef i32 @ungetc(i32 noundef, %opaque* nocapture noundef) [[NOFREE_NOUNWIND]] 968declare i32 @ungetc(i32, %opaque*) 969 970; CHECK: declare noundef i32 @unlink(i8* nocapture noundef readonly) [[NOFREE_NOUNWIND]] 971declare i32 @unlink(i8*) 972 973; CHECK: declare noundef i32 @unsetenv(i8* nocapture noundef readonly) [[NOFREE_NOUNWIND]] 974declare i32 @unsetenv(i8*) 975 976; CHECK: declare noundef i32 @utime(i8* nocapture noundef readonly, %opaque* nocapture noundef readonly) [[NOFREE_NOUNWIND]] 977declare i32 @utime(i8*, %opaque*) 978 979; CHECK: declare noundef i32 @utimes(i8* nocapture noundef readonly, %opaque* nocapture noundef readonly) [[NOFREE_NOUNWIND]] 980declare i32 @utimes(i8*, %opaque*) 981 982; CHECK: declare noalias noundef i8* @valloc(i64 noundef) [[INACCESSIBLEMEMONLY_NOFREE_NOUNWIND_WILLRETURN]] 983declare i8* @valloc(i64) 984 985; CHECK: declare noundef i32 @vfprintf(%opaque* nocapture noundef, i8* nocapture noundef readonly, %opaque* noundef) [[NOFREE_NOUNWIND]] 986declare i32 @vfprintf(%opaque*, i8*, %opaque*) 987 988; CHECK: declare noundef i32 @vfscanf(%opaque* nocapture noundef, i8* nocapture noundef readonly, %opaque* noundef) [[NOFREE_NOUNWIND]] 989declare i32 @vfscanf(%opaque*, i8*, %opaque*) 990 991; CHECK: declare noundef i32 @vprintf(i8* nocapture noundef readonly, %opaque* noundef) [[NOFREE_NOUNWIND]] 992declare i32 @vprintf(i8*, %opaque*) 993 994; CHECK: declare noundef i32 @vscanf(i8* nocapture noundef readonly, %opaque* noundef) [[NOFREE_NOUNWIND]] 995declare i32 @vscanf(i8*, %opaque*) 996 997; CHECK: declare noundef i32 @vsnprintf(i8* nocapture noundef, i64 noundef, i8* nocapture noundef readonly, %opaque* noundef) [[NOFREE_NOUNWIND]] 998declare i32 @vsnprintf(i8*, i64, i8*, %opaque*) 999 1000; CHECK: declare noundef i32 @vsprintf(i8* nocapture noundef, i8* nocapture noundef readonly, %opaque* noundef) [[NOFREE_NOUNWIND]] 1001declare i32 @vsprintf(i8*, i8*, %opaque*) 1002 1003; CHECK: declare noundef i32 @vsscanf(i8* nocapture noundef readonly, i8* nocapture noundef readonly, %opaque* noundef) [[NOFREE_NOUNWIND]] 1004declare i32 @vsscanf(i8*, i8*, %opaque*) 1005 1006; CHECK: declare noundef i64 @write(i32 noundef, i8* nocapture noundef readonly, i64 noundef) [[NOFREE]] 1007declare i64 @write(i32, i8*, i64) 1008 1009 1010; memset_pattern16 isn't available everywhere. 1011; CHECK-DARWIN: declare void @memset_pattern16(i8* nocapture writeonly, i8* nocapture readonly, i64) [[ARGMEMONLY_NOFREE:#[0-9]+]] 1012declare void @memset_pattern16(i8*, i8*, i64) 1013 1014; CHECK-DAG-UNKNOWN: attributes [[INACCESSIBLEMEMONLY_NOFREE_WILLRETURN]] = { inaccessiblememonly nofree willreturn } 1015; CHECK-DAG-UNKNOWN: attributes [[NOFREE_NOUNWIND_WILLRETURN]] = { nofree nounwind willreturn } 1016; CHECK-DAG-UNKNOWN: attributes [[NOFREE_NOUNWIND]] = { nofree nounwind } 1017; CHECK-DAG-UNKNOWN: attributes [[INACCESSIBLEMEMONLY_NOFREE_NOUNWIND_WILLRETURN]] = { inaccessiblememonly nofree nounwind willreturn } 1018; CHECK-DAG-UNKNOWN: attributes [[NOFREE_NOUNWIND_READONLY_WILLRETURN]] = { nofree nounwind readonly willreturn } 1019; CHECK-DAG-UNKNOWN: attributes [[NOFREE_NOUNWIND_READONLY_WILLRETURN]] = { argmemonly nofree nounwind willreturn } 1020; CHECK-DAG-UNKNOWN: attributes [[NOFREE_NOUNWIND_READONLY]] = { nofree nounwind readonly } 1021; CHECK-DAG-UNKNOWN: attributes [[INACCESSIBLEMEMORARGONLY_NOUNWIND_WILLRETURN]] = { inaccessiblemem_or_argmemonly nounwind willreturn } 1022; CHECK-DAG-UNKNOWN: attributes [[NOFREE_WILLRETURN]] = { nofree willreturn } 1023; CHECK-DAG-UNKNOWN: attributes [[ARGMEMONLY_NOFREE_NOUNWIND_READONLY_WILLRETURN]] = { argmemonly nofree nounwind readonly willreturn } 1024; CHECK-DAG-UNKNOWN: attributes [[NOFREE]] = { nofree } 1025; CHECK-DAG-UNKNOWN: attributes [[WILLRETURN]]= { willreturn } 1026; CHECK-DAG-UNKNOWN: attributes [[INACCESSIBLEMEMORARGONLY_NOFREE_NOUNWIND_WILLRETURN]] = { inaccessiblemem_or_argmemonly nofree nounwind willreturn } 1027 1028; CHECK-DAG-LINUX: attributes [[INACCESSIBLEMEMONLY_NOFREE_WILLRETURN]] = { inaccessiblememonly nofree willreturn } 1029; CHECK-DAG-LINUX: attributes [[NOFREE]] = { nofree } 1030; CHECK-DAG-LINUX: attributes [[NOFREE_NOUNWIND_WILLRETURN]] = { nofree nounwind willreturn } 1031; CHECK-DAG-LINUX: attributes [[NOFREE_NOUNWIND]] = { nofree nounwind } 1032; CHECK-DAG-LINUX: attributes [[INACCESSIBLEMEMONLY_NOFREE_NOUNWIND_WILLRETURN]] = { inaccessiblememonly nofree nounwind willreturn } 1033; CHECK-DAG-LINUX: attributes [[NOFREE_NOUNWIND_READONLY_WILLRETURN]] = { nofree nounwind readonly willreturn } 1034; CHECK-DAG-LINUX: attributes [[ARGMEMONLY_NOFREE_NOUNWIND_READONLY_WILLRETURN]] = { argmemonly nofree nounwind readonly willreturn } 1035; CHECK-DAG-LINUX: attributes [[NOFREE_NOUNWIND_READONLY_WILLRETURN]] = { argmemonly nofree nounwind willreturn } 1036; CHECK-DAG-LINUX: attributes [[NOFREE_NOUNWIND_READONLY]] = { nofree nounwind readonly } 1037; CHECK-DAG-LINUX: attributes [[INACCESSIBLEMEMORARGONLY_NOUNWIND_WILLRETURN]] = { inaccessiblemem_or_argmemonly nounwind willreturn } 1038; CHECK-DAG-LINUX: attributes [[NOFREE_WILLRETURN]] = { nofree willreturn } 1039; CHECK-DAG-LINUX: attributes [[WILLRETURN]]= { willreturn } 1040; CHECK-DAG-LINUX: attributes [[INACCESSIBLEMEMORARGONLY_NOFREE_NOUNWIND_WILLRETURN]] = { inaccessiblemem_or_argmemonly nofree nounwind willreturn } 1041; CHECK-DAG-LINUX: attributes [[ARGMEMONLY_NOFREE_NOUNWIND]] = { inaccessiblememonly nofree nounwind } 1042