llvm/test/Bitcode/attributes.ll

   1 ; RUN: llvm-as < %s | llvm-dis | FileCheck %s
   2 ; RUN: verify-uselistorder < %s
   3 ; PR12696
   4
   5 define void @f1(i8 zeroext %0)
   6 ; CHECK: define void @f1(i8 zeroext %0)
   7 {
   8         ret void;
   9 }
  10
  11 define void @f2(i8 signext %0)
  12 ; CHECK: define void @f2(i8 signext %0)
  13 {
  14         ret void;
  15 }
  16
  17 define void @f3() noreturn
  18 ; CHECK: define void @f3() #0
  19 {
  20         ret void;
  21 }
  22
  23 define void @f4(i8 inreg %0)
  24 ; CHECK: define void @f4(i8 inreg %0)
  25 {
  26         ret void;
  27 }
  28
  29 define void @f5(ptr sret(i8) %0)
  30 ; CHECK: define void @f5(ptr sret(i8) %0)
  31 {
  32         ret void;
  33 }
  34
  35 define void @f6() nounwind
  36 ; CHECK: define void @f6() #1
  37 {
  38         ret void;
  39 }
  40
  41 define void @f7(ptr noalias %0)
  42 ; CHECK: define void @f7(ptr noalias %0)
  43 {
  44         ret void;
  45 }
  46
  47 define void @f8(ptr byval(i8) %0)
  48 ; CHECK: define void @f8(ptr byval(i8) %0)
  49 {
  50         ret void;
  51 }
  52
  53 define void @f9(ptr nest %0)
  54 ; CHECK: define void @f9(ptr nest %0)
  55 {
  56         ret void;
  57 }
  58
  59 define void @f10() readnone
  60 ; CHECK: define void @f10() #2
  61 {
  62         ret void;
  63 }
  64
  65 define void @f11() readonly
  66 ; CHECK: define void @f11() #3
  67 {
  68         ret void;
  69 }
  70
  71 define void @f12() noinline
  72 ; CHECK: define void @f12() #4
  73 {
  74         ret void;
  75 }
  76
  77 define void @f13() alwaysinline
  78 ; CHECK: define void @f13() #5
  79 {
  80         ret void;
  81 }
  82
  83 define void @f14() optsize
  84 ; CHECK: define void @f14() #6
  85 {
  86         ret void;
  87 }
  88
  89 define void @f15() ssp
  90 ; CHECK: define void @f15() #7
  91 {
  92         ret void;
  93 }
  94
  95 define void @f16() sspreq
  96 ; CHECK: define void @f16() #8
  97 {
  98         ret void;
  99 }
 100
 101 define void @f17(ptr align 4 %0)
 102 ; CHECK: define void @f17(ptr align 4 %0)
 103 {
 104         ret void;
 105 }
 106
 107 define void @f18(ptr nocapture %0)
 108 ; CHECK: define void @f18(ptr nocapture %0)
 109 {
 110         ret void;
 111 }
 112
 113 define void @f19() noredzone
 114 ; CHECK: define void @f19() #9
 115 {
 116         ret void;
 117 }
 118
 119 define void @f20() noimplicitfloat
 120 ; CHECK: define void @f20() #10
 121 {
 122         ret void;
 123 }
 124
 125 define void @f21() naked
 126 ; CHECK: define void @f21() #11
 127 {
 128         ret void;
 129 }
 130
 131 define void @f22() inlinehint
 132 ; CHECK: define void @f22() #12
 133 {
 134         ret void;
 135 }
 136
 137 define void @f23() alignstack(4)
 138 ; CHECK: define void @f23() #13
 139 {
 140         ret void;
 141 }
 142
 143 define void @f24() returns_twice
 144 ; CHECK: define void @f24() #14
 145 {
 146         ret void;
 147 }
 148
 149 define void @f25() uwtable
 150 ; CHECK: define void @f25() #15
 151 {
 152         ret void;
 153 }
 154
 155 define void @f26() nonlazybind
 156 ; CHECK: define void @f26() #16
 157 {
 158         ret void;
 159 }
 160
 161 define void @f27() sanitize_address
 162 ; CHECK: define void @f27() #17
 163 {
 164         ret void;
 165 }
 166 define void @f28() sanitize_thread
 167 ; CHECK: define void @f28() #18
 168 {
 169         ret void;
 170 }
 171 define void @f29() sanitize_memory
 172 ; CHECK: define void @f29() #19
 173 {
 174         ret void;
 175 }
 176
 177 define void @f30() "cpu"="cortex-a8"
 178 ; CHECK: define void @f30() #20
 179 {
 180         ret void;
 181 }
 182
 183 define i8 @f31(i8 returned %A)
 184 ; CHECK: define i8 @f31(i8 returned %A)
 185 {
 186         ret i8 %A;
 187 }
 188
 189 define void @f32() sspstrong
 190 ; CHECK: define void @f32() #21
 191 {
 192         ret void;
 193 }
 194
 195 define void @f33() minsize
 196 ; CHECK: define void @f33() #22
 197 {
 198         ret void;
 199 }
 200
 201 declare void @nobuiltin()
 202
 203 define void @f34()
 204 ; CHECK: define void @f34()
 205 {
 206   call void @nobuiltin() nobuiltin
 207 ; CHECK: call void @nobuiltin() #[[NOBUILTIN:[0-9]+]]
 208         ret void;
 209 }
 210
 211 define void @f35() optnone noinline
 212 ; CHECK: define void @f35() #23
 213 {
 214         ret void;
 215 }
 216
 217 define void @f36(ptr inalloca(i8) %0) {
 218 ; CHECK: define void @f36(ptr inalloca(i8) %0) {
 219         ret void
 220 }
 221
 222 define nonnull ptr @f37(ptr nonnull %a) {
 223 ; CHECK: define nonnull ptr @f37(ptr nonnull %a) {
 224         ret ptr %a
 225 }
 226
 227 define void @f38() unnamed_addr jumptable {
 228 ; CHECK: define void @f38() unnamed_addr #24
 229     call void @f36()
 230     unreachable
 231 }
 232
 233 define dereferenceable(2) ptr @f39(ptr dereferenceable(1) %a) {
 234 ; CHECK: define dereferenceable(2) ptr @f39(ptr dereferenceable(1) %a) {
 235         ret ptr %a
 236 }
 237
 238 define dereferenceable(18446744073709551606) ptr @f40(ptr dereferenceable(18446744073709551615) %a) {
 239 ; CHECK: define dereferenceable(18446744073709551606) ptr @f40(ptr dereferenceable(18446744073709551615) %a) {
 240         ret ptr %a
 241 }
 242
 243 define void @f41(ptr align 32 %0, ptr align 64 %1) {
 244 ; CHECK: define void @f41(ptr align 32 %0, ptr align 64 %1) {
 245         ret void
 246 }
 247
 248 ; CHECK: define dereferenceable_or_null(8) ptr @f42(ptr dereferenceable_or_null(8) %foo)
 249 define dereferenceable_or_null(8) ptr @f42(ptr dereferenceable_or_null(8) %foo) {
 250  entry:
 251   ret ptr %foo
 252 }
 253
 254 ; CHECK: define void @f43() #25
 255 define void @f43() convergent {
 256   ret void
 257 }
 258
 259 define void @f44() argmemonly
 260 ; CHECK: define void @f44() #26
 261 {
 262         ret void;
 263 }
 264
 265 ; CHECK: define "string_attribute" void @f45(i32 "string_attribute" %0)
 266 define "string_attribute" void @f45(i32 "string_attribute" %0) {
 267   ret void
 268 }
 269
 270 ; CHECK: define "string_attribute_with_value"="value" void @f46(i32 "string_attribute_with_value"="value" %0)
 271 define "string_attribute_with_value"="value" void @f46(i32 "string_attribute_with_value"="value" %0) {
 272   ret void
 273 }
 274
 275 ; CHECK: define void @f47() #27
 276 define void @f47() norecurse {
 277   ret void
 278 }
 279
 280 ; CHECK: define void @f48() #28
 281 define void @f48() inaccessiblememonly {
 282   ret void
 283 }
 284
 285 ; CHECK: define void @f49() #29
 286 define void @f49() inaccessiblemem_or_argmemonly {
 287   ret void
 288 }
 289 ; CHECK: define void @f50(ptr swiftself %0)
 290 define void @f50(ptr swiftself %0)
 291 {
 292   ret void;
 293 }
 294
 295 ; CHECK: define i32 @f51(ptr swifterror %0)
 296 define i32 @f51(ptr swifterror %0)
 297 {
 298   ret i32 0
 299 }
 300
 301 ; CHECK: define i32 @f52(i32 %0, ptr swifterror %1)
 302 define i32 @f52(i32 %0, ptr swifterror %1)
 303 {
 304   ret i32 0
 305 }
 306
 307 %swift_error = type {i64, i8}
 308 declare float @foo(ptr swifterror %error_ptr_ref)
 309
 310 ; CHECK: define float @f53
 311 ; CHECK: alloca swifterror
 312 define float @f53(ptr %error_ref) {
 313 entry:
 314   %error_ptr_ref = alloca swifterror ptr
 315   store ptr null, ptr %error_ptr_ref
 316   %call = call float @foo(ptr swifterror %error_ptr_ref)
 317   ret float 1.0
 318 }
 319
 320 ; CHECK: define ptr @f54(i32 %0) #30
 321 define ptr @f54(i32 %0) allocsize(0) {
 322   ret ptr null
 323 }
 324
 325 ; CHECK: define ptr @f55(i32 %0, i32 %1) #31
 326 define ptr @f55(i32 %0, i32 %1) allocsize(0, 1) {
 327   ret ptr null
 328 }
 329
 330 ; CHECK: define void @f56() #32
 331 define void @f56() writeonly
 332 {
 333   ret void
 334 }
 335
 336 ; CHECK: define void @f57() #33
 337 define void @f57() speculatable {
 338   ret void
 339 }
 340
 341 ; CHECK: define void @f58() #34
 342 define void @f58() sanitize_hwaddress
 343 {
 344         ret void;
 345 }
 346
 347 ; CHECK: define void @f59() #35
 348 define void @f59() shadowcallstack
 349 {
 350   ret void
 351 }
 352
 353 ; CHECK: define void @f60() #36
 354 define void @f60() willreturn
 355 {
 356   ret void
 357 }
 358
 359 ; CHECK: define void @f61() #37
 360 define void @f61() nofree {
 361   ret void
 362 }
 363
 364 ; CHECK: define void @f62() #38
 365 define void @f62() nosync
 366 {
 367   ret void
 368 }
 369
 370 ; CHECK: define void @f63() #39
 371 define void @f63() sanitize_memtag
 372 {
 373   ret void
 374 }
 375
 376 ; CHECK: define void @f64(ptr preallocated(i32) %a)
 377 define void @f64(ptr preallocated(i32) %a)
 378 {
 379   ret void
 380 }
 381
 382 ; CHECK: define void @f65() #40
 383 define void @f65() null_pointer_is_valid
 384 {
 385   ret void;
 386 }
 387
 388 ; CHECK: define noundef i32 @f66(i32 noundef %a)
 389 define noundef i32 @f66(i32 noundef %a)
 390 {
 391   ret i32 %a
 392 }
 393
 394 ; CHECK: define void @f67(ptr byref(i32) %a)
 395 define void @f67(ptr byref(i32) %a)
 396 {
 397   ret void
 398 }
 399
 400 ; CHECK: define void @f68() #41
 401 define void @f68() mustprogress
 402 {
 403   ret void
 404 }
 405
 406 ; CHECK: define void @f69() #42
 407 define void @f69() nocallback
 408 {
 409   ret void
 410 }
 411
 412 ; CHECK: define void @f70() #43
 413 define void @f70() cold
 414 {
 415   ret void
 416 }
 417
 418 ; CHECK: define void @f71() #44
 419 define void @f71() hot
 420 {
 421   ret void
 422 }
 423
 424 ; CHECK: define void @f72() #45
 425 define void @f72() vscale_range(8)
 426 {
 427   ret void
 428 }
 429
 430 ; CHECK: define void @f73() #46
 431 define void @f73() vscale_range(1,8)
 432 {
 433   ret void
 434 }
 435
 436 ; CHECK: define void @f74() #47
 437 define void @f74() vscale_range(1,0)
 438 {
 439   ret void
 440 }
 441
 442 ; CHECK: define void @f76(ptr swiftasync %0)
 443 define void @f76(ptr swiftasync %0)
 444 {
 445   ret void;
 446 }
 447
 448 ; CHECK: define void @f77() #48
 449 define void @f77() nosanitize_coverage
 450 {
 451         ret void;
 452 }
 453
 454 ; CHECK: define void @f78() #49
 455 define void @f78() noprofile
 456 {
 457         ret void;
 458 }
 459
 460 declare void @llvm.some.intrinsic(ptr)
 461 define void @f79() {
 462 ; CHECK: call void @llvm.some.intrinsic(ptr elementtype(i32) null)
 463   call void @llvm.some.intrinsic(ptr elementtype(i32) null)
 464   ret void
 465 }
 466
 467 ; CHECK: define void @f80() #50
 468 define void @f80() disable_sanitizer_instrumentation
 469 {
 470         ret void;
 471 }
 472
 473 define void @f81(ptr sret(ptr) %0)
 474 ; CHECK: define void @f81(ptr sret(ptr) %0)
 475 {
 476         ret void;
 477 }
 478
 479 define void @f82(ptr %0)
 480 ; CHECK: define void @f82(ptr %0)
 481 {
 482 ; CHECK: call void @llvm.some.intrinsic(ptr sret(i32) %0)
 483         call void @llvm.some.intrinsic(ptr sret(i32) %0)
 484         ret void;
 485 }
 486
 487 ; CHECK: define void @f83(<4 x ptr> align 32 %0, <vscale x 1 x ptr> align 64 %1)
 488 define void @f83(<4 x ptr> align 32 %0, <vscale x 1 x ptr> align 64 %1) {
 489   ret void
 490 }
 491
 492 ; CHECK: define void @f84() #51
 493 define void @f84() uwtable(sync) {
 494         ret void;
 495 }
 496
 497 ; CHECK: define void @f85() #15
 498 define void @f85() uwtable(async) {
 499         ret void;
 500 }
 501
 502 ; CHECK: define void @f86() #52
 503 define void @f86() nosanitize_bounds
 504 {
 505         ret void;
 506 }
 507
 508 ; CHECK: define void @f87() [[FNRETTHUNKEXTERN:#[0-9]+]]
 509 define void @f87() fn_ret_thunk_extern { ret void }
 510
 511 ; CHECK: define void @f88() [[SKIPPROFILE:#[0-9]+]]
 512 define void @f88() skipprofile { ret void }
 513
 514 ; CHECK: define void @f89() [[OPTDEBUG:#[0-9]+]]
 515 define void @f89() optdebug {
 516         ret void;
 517 }
 518
 519 ; CHECK: define void @f90(ptr writable %p)
 520 define void @f90(ptr writable %p) {
 521   ret void
 522 }
 523
 524 ; CHECK: define void @f91(ptr dead_on_unwind %p)
 525 define void @f91(ptr dead_on_unwind %p) {
 526   ret void
 527 }
 528
 529 ; CHECK: define range(i32 -1, 42) i32 @range_attribute(<4 x i32> range(i32 -1, 42) %a)
 530 define range(i32 -1, 42) i32 @range_attribute(<4 x i32> range(i32 -1, 42) %a) {
 531   ret i32 0
 532 }
 533
 534 ; CHECK: define range(i32 0, 42) i32 @range_attribute_same_range_other_bitwidth(i8 range(i8 0, 42) %a)
 535 define range(i32 0, 42) i32 @range_attribute_same_range_other_bitwidth(i8 range(i8 0, 42) %a) {
 536   ret i32 0
 537 }
 538
 539 ; CHECK: define void @wide_range_attribute(i128 range(i128 618970019642690137449562111, 618970019642690137449562114) %a)
 540 define void @wide_range_attribute(i128 range(i128 618970019642690137449562111, 618970019642690137449562114) %a) {
 541   ret void
 542 }
 543
 544 ; CHECK: define void @initializes(ptr initializes((-4, 0), (4, 8)) %a)
 545 define void @initializes(ptr initializes((-4, 0), (4, 8)) %a) {
 546   ret void
 547 }
 548
 549 ; CHECK: attributes #0 = { noreturn }
 550 ; CHECK: attributes #1 = { nounwind }
 551 ; CHECK: attributes #2 = { memory(none) }
 552 ; CHECK: attributes #3 = { memory(read) }
 553 ; CHECK: attributes #4 = { noinline }
 554 ; CHECK: attributes #5 = { alwaysinline }
 555 ; CHECK: attributes #6 = { optsize }
 556 ; CHECK: attributes #7 = { ssp }
 557 ; CHECK: attributes #8 = { sspreq }
 558 ; CHECK: attributes #9 = { noredzone }
 559 ; CHECK: attributes #10 = { noimplicitfloat }
 560 ; CHECK: attributes #11 = { naked }
 561 ; CHECK: attributes #12 = { inlinehint }
 562 ; CHECK: attributes #13 = { alignstack=4 }
 563 ; CHECK: attributes #14 = { returns_twice }
 564 ; CHECK: attributes #15 = { uwtable }
 565 ; CHECK: attributes #16 = { nonlazybind }
 566 ; CHECK: attributes #17 = { sanitize_address }
 567 ; CHECK: attributes #18 = { sanitize_thread }
 568 ; CHECK: attributes #19 = { sanitize_memory }
 569 ; CHECK: attributes #20 = { "cpu"="cortex-a8" }
 570 ; CHECK: attributes #21 = { sspstrong }
 571 ; CHECK: attributes #22 = { minsize }
 572 ; CHECK: attributes #23 = { noinline optnone }
 573 ; CHECK: attributes #24 = { jumptable }
 574 ; CHECK: attributes #25 = { convergent }
 575 ; CHECK: attributes #26 = { memory(argmem: readwrite) }
 576 ; CHECK: attributes #27 = { norecurse }
 577 ; CHECK: attributes #28 = { memory(inaccessiblemem: readwrite) }
 578 ; CHECK: attributes #29 = { memory(argmem: readwrite, inaccessiblemem: readwrite) }
 579 ; CHECK: attributes #30 = { allocsize(0) }
 580 ; CHECK: attributes #31 = { allocsize(0,1) }
 581 ; CHECK: attributes #32 = { memory(write) }
 582 ; CHECK: attributes #33 = { speculatable }
 583 ; CHECK: attributes #34 = { sanitize_hwaddress }
 584 ; CHECK: attributes #35 = { shadowcallstack }
 585 ; CHECK: attributes #36 = { willreturn }
 586 ; CHECK: attributes #37 = { nofree }
 587 ; CHECK: attributes #38 = { nosync }
 588 ; CHECK: attributes #39 = { sanitize_memtag }
 589 ; CHECK: attributes #40 = { null_pointer_is_valid }
 590 ; CHECK: attributes #41 = { mustprogress }
 591 ; CHECK: attributes #42 = { nocallback }
 592 ; CHECK: attributes #43 = { cold }
 593 ; CHECK: attributes #44 = { hot }
 594 ; CHECK: attributes #45 = { vscale_range(8,8) }
 595 ; CHECK: attributes #46 = { vscale_range(1,8) }
 596 ; CHECK: attributes #47 = { vscale_range(1,0) }
 597 ; CHECK: attributes #48 = { nosanitize_coverage }
 598 ; CHECK: attributes #49 = { noprofile }
 599 ; CHECK: attributes #50 = { disable_sanitizer_instrumentation }
 600 ; CHECK: attributes #51 = { uwtable(sync) }
 601 ; CHECK: attributes #52 = { nosanitize_bounds }
 602 ; CHECK: attributes [[FNRETTHUNKEXTERN]] = { fn_ret_thunk_extern }
 603 ; CHECK: attributes [[SKIPPROFILE]] = { skipprofile }
 604 ; CHECK: attributes [[OPTDEBUG]] = { optdebug }
 605 ; CHECK: attributes #[[NOBUILTIN]] = { nobuiltin }