llvm/test/Transforms/Inline/access-attributes-prop.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --check-attributes
   2 ; RUN: opt -S -passes=inline %s | FileCheck %s
   3 ; RUN: opt -S -passes='cgscc(inline)' %s | FileCheck %s
   4 ; RUN: opt -S -passes='module-inline' %s | FileCheck %s
   5
   6 declare void @bar1(ptr %p)
   7 declare void @bar2(ptr %p, ptr %p2)
   8
   9 define dso_local void @foo1_rdonly(ptr readonly %p) {
  10 ; CHECK-LABEL: define {{[^@]+}}@foo1_rdonly
  11 ; CHECK-SAME: (ptr readonly [[P:%.*]]) {
  12 ; CHECK-NEXT:    call void @bar1(ptr [[P]])
  13 ; CHECK-NEXT:    ret void
  14 ;
  15   call void @bar1(ptr %p)
  16   ret void
  17 }
  18
  19 define dso_local void @foo1(ptr %p) {
  20 ; CHECK-LABEL: define {{[^@]+}}@foo1
  21 ; CHECK-SAME: (ptr [[P:%.*]]) {
  22 ; CHECK-NEXT:    call void @bar1(ptr [[P]])
  23 ; CHECK-NEXT:    ret void
  24 ;
  25   call void @bar1(ptr %p)
  26   ret void
  27 }
  28
  29 define dso_local void @foo1_bar_aligned64_deref512(ptr %p) {
  30 ; CHECK-LABEL: define {{[^@]+}}@foo1_bar_aligned64_deref512
  31 ; CHECK-SAME: (ptr [[P:%.*]]) {
  32 ; CHECK-NEXT:    call void @bar1(ptr align 64 dereferenceable(512) [[P]])
  33 ; CHECK-NEXT:    ret void
  34 ;
  35   call void @bar1(ptr align 64 dereferenceable(512) %p)
  36   ret void
  37 }
  38
  39 define dso_local void @foo1_bar_aligned512_deref_or_null512(ptr %p) {
  40 ; CHECK-LABEL: define {{[^@]+}}@foo1_bar_aligned512_deref_or_null512
  41 ; CHECK-SAME: (ptr [[P:%.*]]) {
  42 ; CHECK-NEXT:    call void @bar1(ptr align 512 dereferenceable_or_null(512) [[P]])
  43 ; CHECK-NEXT:    ret void
  44 ;
  45   call void @bar1(ptr align 512 dereferenceable_or_null(512) %p)
  46   ret void
  47 }
  48
  49 define dso_local void @foo2(ptr %p, ptr %p2) {
  50 ; CHECK-LABEL: define {{[^@]+}}@foo2
  51 ; CHECK-SAME: (ptr [[P:%.*]], ptr [[P2:%.*]]) {
  52 ; CHECK-NEXT:    call void @bar2(ptr [[P]], ptr [[P]])
  53 ; CHECK-NEXT:    ret void
  54 ;
  55   call void @bar2(ptr %p, ptr %p)
  56   ret void
  57 }
  58
  59 define dso_local void @foo2_2(ptr %p, ptr %p2) {
  60 ; CHECK-LABEL: define {{[^@]+}}@foo2_2
  61 ; CHECK-SAME: (ptr [[P:%.*]], ptr [[P2:%.*]]) {
  62 ; CHECK-NEXT:    call void @bar2(ptr [[P2]], ptr [[P2]])
  63 ; CHECK-NEXT:    ret void
  64 ;
  65   call void @bar2(ptr %p2, ptr %p2)
  66   ret void
  67 }
  68
  69 define dso_local void @foo2_3(ptr %p, ptr readnone %p2) {
  70 ; CHECK-LABEL: define {{[^@]+}}@foo2_3
  71 ; CHECK-SAME: (ptr [[P:%.*]], ptr readnone [[P2:%.*]]) {
  72 ; CHECK-NEXT:    call void @bar2(ptr [[P]], ptr [[P2]])
  73 ; CHECK-NEXT:    ret void
  74 ;
  75   call void @bar2(ptr %p, ptr %p2)
  76   ret void
  77 }
  78
  79 define dso_local void @buz1_wronly(ptr %p) writeonly {
  80 ; CHECK: Function Attrs: memory(write)
  81 ; CHECK-LABEL: define {{[^@]+}}@buz1_wronly
  82 ; CHECK-SAME: (ptr [[P:%.*]]) #[[ATTR0:[0-9]+]] {
  83 ; CHECK-NEXT:    call void @bar1(ptr [[P]])
  84 ; CHECK-NEXT:    ret void
  85 ;
  86   call void @bar1(ptr %p)
  87   ret void
  88 }
  89
  90 define dso_local void @buz1(ptr %p) {
  91 ; CHECK-LABEL: define {{[^@]+}}@buz1
  92 ; CHECK-SAME: (ptr [[P:%.*]]) {
  93 ; CHECK-NEXT:    call void @bar1(ptr [[P]])
  94 ; CHECK-NEXT:    ret void
  95 ;
  96   call void @bar1(ptr %p)
  97   ret void
  98 }
  99
 100 define dso_local void @buz1_wronly_fail_alloca(ptr %p) writeonly {
 101 ; CHECK: Function Attrs: memory(write)
 102 ; CHECK-LABEL: define {{[^@]+}}@buz1_wronly_fail_alloca
 103 ; CHECK-SAME: (ptr [[P:%.*]]) #[[ATTR0]] {
 104 ; CHECK-NEXT:    [[A:%.*]] = alloca i32, align 4
 105 ; CHECK-NEXT:    call void @bar2(ptr [[P]], ptr [[A]])
 106 ; CHECK-NEXT:    ret void
 107 ;
 108   %a = alloca i32, align 4
 109   call void @bar2(ptr %p, ptr %a)
 110   ret void
 111 }
 112
 113 define dso_local void @buz1_fail_alloca(ptr %p) {
 114 ; CHECK-LABEL: define {{[^@]+}}@buz1_fail_alloca
 115 ; CHECK-SAME: (ptr [[P:%.*]]) {
 116 ; CHECK-NEXT:    [[A:%.*]] = alloca i32, align 4
 117 ; CHECK-NEXT:    call void @bar2(ptr [[P]], ptr [[A]])
 118 ; CHECK-NEXT:    ret void
 119 ;
 120   %a = alloca i32, align 4
 121   call void @bar2(ptr %p, ptr %a)
 122   ret void
 123 }
 124
 125 define dso_local void @buz1_wronly_partially_okay_alloca(ptr %p) writeonly {
 126 ; CHECK: Function Attrs: memory(write)
 127 ; CHECK-LABEL: define {{[^@]+}}@buz1_wronly_partially_okay_alloca
 128 ; CHECK-SAME: (ptr [[P:%.*]]) #[[ATTR0]] {
 129 ; CHECK-NEXT:    call void @bar1(ptr [[P]])
 130 ; CHECK-NEXT:    [[A:%.*]] = alloca i32, align 4
 131 ; CHECK-NEXT:    call void @bar2(ptr [[P]], ptr [[A]])
 132 ; CHECK-NEXT:    ret void
 133 ;
 134   call void @bar1(ptr %p)
 135   %a = alloca i32, align 4
 136   call void @bar2(ptr %p, ptr %a)
 137   ret void
 138 }
 139
 140 define dso_local void @buz1_partially_okay_alloca(ptr %p) {
 141 ; CHECK-LABEL: define {{[^@]+}}@buz1_partially_okay_alloca
 142 ; CHECK-SAME: (ptr [[P:%.*]]) {
 143 ; CHECK-NEXT:    call void @bar1(ptr [[P]])
 144 ; CHECK-NEXT:    [[A:%.*]] = alloca i32, align 4
 145 ; CHECK-NEXT:    call void @bar2(ptr [[P]], ptr [[A]])
 146 ; CHECK-NEXT:    ret void
 147 ;
 148   call void @bar1(ptr %p)
 149   %a = alloca i32, align 4
 150   call void @bar2(ptr %p, ptr %a)
 151   ret void
 152 }
 153
 154 define dso_local void @foo2_through_obj(ptr %p, ptr %p2) {
 155 ; CHECK-LABEL: define {{[^@]+}}@foo2_through_obj
 156 ; CHECK-SAME: (ptr [[P:%.*]], ptr [[P2:%.*]]) {
 157 ; CHECK-NEXT:    [[PP:%.*]] = getelementptr i8, ptr [[P]], i64 9
 158 ; CHECK-NEXT:    [[P2P:%.*]] = getelementptr i8, ptr [[P2]], i64 123
 159 ; CHECK-NEXT:    call void @bar2(ptr [[P2P]], ptr [[PP]])
 160 ; CHECK-NEXT:    ret void
 161 ;
 162   %pp = getelementptr i8, ptr %p, i64 9
 163   %p2p = getelementptr i8, ptr %p2, i64 123
 164   call void @bar2(ptr %p2p, ptr %pp)
 165   ret void
 166 }
 167
 168 define void @prop_param_func_decl(ptr %p) {
 169 ; CHECK-LABEL: define {{[^@]+}}@prop_param_func_decl
 170 ; CHECK-SAME: (ptr [[P:%.*]]) {
 171 ; CHECK-NEXT:    call void @bar1(ptr [[P]])
 172 ; CHECK-NEXT:    ret void
 173 ;
 174   call void @foo1_rdonly(ptr %p)
 175   ret void
 176 }
 177
 178 define void @prop_param_callbase_def(ptr %p) {
 179 ; CHECK-LABEL: define {{[^@]+}}@prop_param_callbase_def
 180 ; CHECK-SAME: (ptr [[P:%.*]]) {
 181 ; CHECK-NEXT:    call void @bar1(ptr [[P]])
 182 ; CHECK-NEXT:    call void @bar1(ptr [[P]])
 183 ; CHECK-NEXT:    ret void
 184 ;
 185   call void @foo1(ptr readonly %p)
 186   call void @bar1(ptr %p)
 187   ret void
 188 }
 189
 190 define void @prop_param_callbase_def_2x(ptr %p, ptr %p2) {
 191 ; CHECK-LABEL: define {{[^@]+}}@prop_param_callbase_def_2x
 192 ; CHECK-SAME: (ptr [[P:%.*]], ptr [[P2:%.*]]) {
 193 ; CHECK-NEXT:    call void @bar2(ptr [[P]], ptr [[P]])
 194 ; CHECK-NEXT:    ret void
 195 ;
 196   call void @foo2(ptr readonly %p, ptr %p)
 197   ret void
 198 }
 199
 200 define void @prop_param_callbase_def_2x_2(ptr %p, ptr %p2) {
 201 ; CHECK-LABEL: define {{[^@]+}}@prop_param_callbase_def_2x_2
 202 ; CHECK-SAME: (ptr [[P:%.*]], ptr [[P2:%.*]]) {
 203 ; CHECK-NEXT:    [[PP_I:%.*]] = getelementptr i8, ptr [[P]], i64 9
 204 ; CHECK-NEXT:    [[P2P_I:%.*]] = getelementptr i8, ptr [[P2]], i64 123
 205 ; CHECK-NEXT:    call void @bar2(ptr [[P2P_I]], ptr [[PP_I]])
 206 ; CHECK-NEXT:    ret void
 207 ;
 208   call void @foo2_through_obj(ptr readonly %p, ptr writeonly %p2)
 209   ret void
 210 }
 211
 212 define void @prop_param_callbase_def_2x_incompat(ptr %p, ptr %p2) {
 213 ; CHECK-LABEL: define {{[^@]+}}@prop_param_callbase_def_2x_incompat
 214 ; CHECK-SAME: (ptr [[P:%.*]], ptr [[P2:%.*]]) {
 215 ; CHECK-NEXT:    [[PP_I:%.*]] = getelementptr i8, ptr [[P]], i64 9
 216 ; CHECK-NEXT:    [[P2P_I:%.*]] = getelementptr i8, ptr [[P]], i64 123
 217 ; CHECK-NEXT:    call void @bar2(ptr [[P2P_I]], ptr [[PP_I]])
 218 ; CHECK-NEXT:    ret void
 219 ;
 220   call void @foo2_through_obj(ptr readnone %p, ptr readonly %p)
 221   ret void
 222 }
 223
 224 define void @prop_param_callbase_def_2x_incompat_2(ptr %p, ptr %p2) {
 225 ; CHECK-LABEL: define {{[^@]+}}@prop_param_callbase_def_2x_incompat_2
 226 ; CHECK-SAME: (ptr [[P:%.*]], ptr [[P2:%.*]]) {
 227 ; CHECK-NEXT:    call void @bar2(ptr [[P]], ptr [[P]])
 228 ; CHECK-NEXT:    ret void
 229 ;
 230   call void @foo2(ptr readonly %p, ptr readnone %p)
 231   ret void
 232 }
 233
 234 define void @prop_param_callbase_def_2x_incompat_3(ptr %p, ptr %p2) {
 235 ; CHECK-LABEL: define {{[^@]+}}@prop_param_callbase_def_2x_incompat_3
 236 ; CHECK-SAME: (ptr [[P:%.*]], ptr [[P2:%.*]]) {
 237 ; CHECK-NEXT:    call void @bar2(ptr [[P]], ptr [[P]])
 238 ; CHECK-NEXT:    ret void
 239 ;
 240   call void @foo2_2(ptr readonly %p, ptr readnone %p)
 241   ret void
 242 }
 243
 244 define void @prop_param_callbase_def_1x_partial(ptr %p, ptr %p2) {
 245 ; CHECK-LABEL: define {{[^@]+}}@prop_param_callbase_def_1x_partial
 246 ; CHECK-SAME: (ptr [[P:%.*]], ptr [[P2:%.*]]) {
 247 ; CHECK-NEXT:    call void @bar2(ptr [[P]], ptr [[P]])
 248 ; CHECK-NEXT:    ret void
 249 ;
 250   call void @foo2(ptr readonly %p, ptr %p)
 251   ret void
 252 }
 253
 254 define void @prop_param_callbase_def_1x_partial_2(ptr %p, ptr %p2) {
 255 ; CHECK-LABEL: define {{[^@]+}}@prop_param_callbase_def_1x_partial_2
 256 ; CHECK-SAME: (ptr [[P:%.*]], ptr [[P2:%.*]]) {
 257 ; CHECK-NEXT:    call void @bar2(ptr [[P]], ptr [[P]])
 258 ; CHECK-NEXT:    ret void
 259 ;
 260   call void @foo2_2(ptr readonly %p, ptr %p)
 261   ret void
 262 }
 263
 264 define void @prop_param_callbase_def_1x_partial_3(ptr %p, ptr %p2) {
 265 ; CHECK-LABEL: define {{[^@]+}}@prop_param_callbase_def_1x_partial_3
 266 ; CHECK-SAME: (ptr [[P:%.*]], ptr [[P2:%.*]]) {
 267 ; CHECK-NEXT:    call void @bar2(ptr [[P]], ptr [[P]])
 268 ; CHECK-NEXT:    ret void
 269 ;
 270   call void @foo2_3(ptr readonly %p, ptr %p)
 271   ret void
 272 }
 273
 274 define void @prop_deref(ptr %p) {
 275 ; CHECK-LABEL: define {{[^@]+}}@prop_deref
 276 ; CHECK-SAME: (ptr [[P:%.*]]) {
 277 ; CHECK-NEXT:    call void @bar1(ptr [[P]])
 278 ; CHECK-NEXT:    ret void
 279 ;
 280   call void @foo1(ptr dereferenceable(16) %p)
 281   ret void
 282 }
 283
 284 define void @prop_deref_or_null(ptr %p) {
 285 ; CHECK-LABEL: define {{[^@]+}}@prop_deref_or_null
 286 ; CHECK-SAME: (ptr [[P:%.*]]) {
 287 ; CHECK-NEXT:    call void @bar1(ptr [[P]])
 288 ; CHECK-NEXT:    ret void
 289 ;
 290   call void @foo1(ptr dereferenceable_or_null(256) %p)
 291   ret void
 292 }
 293
 294 define void @prop_param_nonnull_and_align(ptr %p) {
 295 ; CHECK-LABEL: define {{[^@]+}}@prop_param_nonnull_and_align
 296 ; CHECK-SAME: (ptr [[P:%.*]]) {
 297 ; CHECK-NEXT:    call void @bar1(ptr [[P]])
 298 ; CHECK-NEXT:    ret void
 299 ;
 300   call void @foo1(ptr nonnull align 32 %p)
 301   ret void
 302 }
 303
 304 define void @prop_param_deref_align_no_update(ptr %p) {
 305 ; CHECK-LABEL: define {{[^@]+}}@prop_param_deref_align_no_update
 306 ; CHECK-SAME: (ptr [[P:%.*]]) {
 307 ; CHECK-NEXT:    call void @bar1(ptr align 64 dereferenceable(512) [[P]])
 308 ; CHECK-NEXT:    ret void
 309 ;
 310   call void @foo1_bar_aligned64_deref512(ptr align 4 dereferenceable(64) %p)
 311   ret void
 312 }
 313
 314 define void @prop_param_deref_align_update(ptr %p) {
 315 ; CHECK-LABEL: define {{[^@]+}}@prop_param_deref_align_update
 316 ; CHECK-SAME: (ptr [[P:%.*]]) {
 317 ; CHECK-NEXT:    call void @bar1(ptr align 64 dereferenceable(512) [[P]])
 318 ; CHECK-NEXT:    ret void
 319 ;
 320   call void @foo1_bar_aligned64_deref512(ptr align 128 dereferenceable(1024) %p)
 321   ret void
 322 }
 323
 324 define void @prop_param_deref_or_null_update(ptr %p) {
 325 ; CHECK-LABEL: define {{[^@]+}}@prop_param_deref_or_null_update
 326 ; CHECK-SAME: (ptr [[P:%.*]]) {
 327 ; CHECK-NEXT:    call void @bar1(ptr align 512 dereferenceable_or_null(512) [[P]])
 328 ; CHECK-NEXT:    ret void
 329 ;
 330   call void @foo1_bar_aligned512_deref_or_null512(ptr dereferenceable_or_null(1024) %p)
 331   ret void
 332 }
 333
 334 define void @prop_param_deref_or_null_no_update(ptr %p) {
 335 ; CHECK-LABEL: define {{[^@]+}}@prop_param_deref_or_null_no_update
 336 ; CHECK-SAME: (ptr [[P:%.*]]) {
 337 ; CHECK-NEXT:    call void @bar1(ptr align 512 dereferenceable_or_null(512) [[P]])
 338 ; CHECK-NEXT:    ret void
 339 ;
 340   call void @foo1_bar_aligned512_deref_or_null512(ptr dereferenceable_or_null(32) %p)
 341   ret void
 342 }
 343
 344 define void @prop_fn_decl(ptr %p) {
 345 ; CHECK-LABEL: define {{[^@]+}}@prop_fn_decl
 346 ; CHECK-SAME: (ptr [[P:%.*]]) {
 347 ; CHECK-NEXT:    call void @bar1(ptr [[P]])
 348 ; CHECK-NEXT:    call void @bar1(ptr [[P]])
 349 ; CHECK-NEXT:    ret void
 350 ;
 351   call void @buz1_wronly(ptr %p)
 352   call void @bar1(ptr %p)
 353   ret void
 354 }
 355
 356 define void @prop_cb_def_wr(ptr %p) {
 357 ; CHECK-LABEL: define {{[^@]+}}@prop_cb_def_wr
 358 ; CHECK-SAME: (ptr [[P:%.*]]) {
 359 ; CHECK-NEXT:    call void @bar1(ptr [[P]])
 360 ; CHECK-NEXT:    call void @bar1(ptr [[P]])
 361 ; CHECK-NEXT:    ret void
 362 ;
 363   call void @buz1(ptr %p) writeonly
 364   call void @bar1(ptr %p)
 365   ret void
 366 }
 367
 368 define void @prop_fn_decl_fail_alloca(ptr %p) {
 369 ; CHECK-LABEL: define {{[^@]+}}@prop_fn_decl_fail_alloca
 370 ; CHECK-SAME: (ptr [[P:%.*]]) {
 371 ; CHECK-NEXT:    [[A_I:%.*]] = alloca i32, align 4
 372 ; CHECK-NEXT:    call void @llvm.lifetime.start.p0(i64 4, ptr [[A_I]])
 373 ; CHECK-NEXT:    call void @bar2(ptr [[P]], ptr [[A_I]])
 374 ; CHECK-NEXT:    call void @llvm.lifetime.end.p0(i64 4, ptr [[A_I]])
 375 ; CHECK-NEXT:    call void @bar1(ptr [[P]])
 376 ; CHECK-NEXT:    ret void
 377 ;
 378   call void @buz1_wronly_fail_alloca(ptr %p)
 379   call void @bar1(ptr %p)
 380   ret void
 381 }
 382
 383 define void @prop_cb_def_wr_fail_alloca(ptr %p) {
 384 ; CHECK-LABEL: define {{[^@]+}}@prop_cb_def_wr_fail_alloca
 385 ; CHECK-SAME: (ptr [[P:%.*]]) {
 386 ; CHECK-NEXT:    [[A_I:%.*]] = alloca i32, align 4
 387 ; CHECK-NEXT:    call void @llvm.lifetime.start.p0(i64 4, ptr [[A_I]])
 388 ; CHECK-NEXT:    call void @bar2(ptr [[P]], ptr [[A_I]])
 389 ; CHECK-NEXT:    call void @llvm.lifetime.end.p0(i64 4, ptr [[A_I]])
 390 ; CHECK-NEXT:    call void @bar1(ptr [[P]])
 391 ; CHECK-NEXT:    ret void
 392 ;
 393   call void @buz1_fail_alloca(ptr %p) writeonly
 394   call void @bar1(ptr %p)
 395   ret void
 396 }
 397
 398 define void @prop_fn_decl_partially_okay_alloca(ptr %p) {
 399 ; CHECK-LABEL: define {{[^@]+}}@prop_fn_decl_partially_okay_alloca
 400 ; CHECK-SAME: (ptr [[P:%.*]]) {
 401 ; CHECK-NEXT:    [[A_I:%.*]] = alloca i32, align 4
 402 ; CHECK-NEXT:    call void @llvm.lifetime.start.p0(i64 4, ptr [[A_I]])
 403 ; CHECK-NEXT:    call void @bar1(ptr [[P]])
 404 ; CHECK-NEXT:    call void @bar2(ptr [[P]], ptr [[A_I]])
 405 ; CHECK-NEXT:    call void @llvm.lifetime.end.p0(i64 4, ptr [[A_I]])
 406 ; CHECK-NEXT:    call void @bar1(ptr [[P]])
 407 ; CHECK-NEXT:    ret void
 408 ;
 409   call void @buz1_wronly_partially_okay_alloca(ptr %p)
 410   call void @bar1(ptr %p)
 411   ret void
 412 }
 413
 414 define void @prop_cb_def_wr_partially_okay_alloca(ptr %p) {
 415 ; CHECK-LABEL: define {{[^@]+}}@prop_cb_def_wr_partially_okay_alloca
 416 ; CHECK-SAME: (ptr [[P:%.*]]) {
 417 ; CHECK-NEXT:    [[A_I:%.*]] = alloca i32, align 4
 418 ; CHECK-NEXT:    call void @llvm.lifetime.start.p0(i64 4, ptr [[A_I]])
 419 ; CHECK-NEXT:    call void @bar1(ptr [[P]])
 420 ; CHECK-NEXT:    call void @bar2(ptr [[P]], ptr [[A_I]])
 421 ; CHECK-NEXT:    call void @llvm.lifetime.end.p0(i64 4, ptr [[A_I]])
 422 ; CHECK-NEXT:    call void @bar1(ptr [[P]])
 423 ; CHECK-NEXT:    ret void
 424 ;
 425   call void @buz1_partially_okay_alloca(ptr %p) writeonly
 426   call void @bar1(ptr %p)
 427   ret void
 428 }
 429
 430 define void @prop_cb_def_readonly(ptr %p) {
 431 ; CHECK-LABEL: define {{[^@]+}}@prop_cb_def_readonly
 432 ; CHECK-SAME: (ptr [[P:%.*]]) {
 433 ; CHECK-NEXT:    call void @bar1(ptr [[P]])
 434 ; CHECK-NEXT:    ret void
 435 ;
 436   call void @foo1(ptr %p) readonly
 437   ret void
 438 }
 439
 440 define void @prop_cb_def_readnone(ptr %p) {
 441 ; CHECK-LABEL: define {{[^@]+}}@prop_cb_def_readnone
 442 ; CHECK-SAME: (ptr [[P:%.*]]) {
 443 ; CHECK-NEXT:    call void @bar1(ptr [[P]])
 444 ; CHECK-NEXT:    ret void
 445 ;
 446   call void @foo1(ptr %p) readnone
 447   ret void
 448 }
 449
 450 define void @prop_cb_def_argmem_readonly_fail(ptr %p) {
 451 ; CHECK-LABEL: define {{[^@]+}}@prop_cb_def_argmem_readonly_fail
 452 ; CHECK-SAME: (ptr [[P:%.*]]) {
 453 ; CHECK-NEXT:    call void @bar1(ptr [[P]])
 454 ; CHECK-NEXT:    ret void
 455 ;
 456   call void @foo1(ptr %p) memory(argmem:read)
 457   ret void
 458 }
 459
 460 define void @prop_cb_def_inaccessible_none(ptr %p) {
 461 ; CHECK-LABEL: define {{[^@]+}}@prop_cb_def_inaccessible_none
 462 ; CHECK-SAME: (ptr [[P:%.*]]) {
 463 ; CHECK-NEXT:    call void @bar1(ptr [[P]])
 464 ; CHECK-NEXT:    ret void
 465 ;
 466   call void @foo1(ptr %p) memory(inaccessiblemem:none)
 467   ret void
 468 }
 469
 470 define void @prop_cb_def_inaccessible_none_argmem_none(ptr %p) {
 471 ; CHECK-LABEL: define {{[^@]+}}@prop_cb_def_inaccessible_none_argmem_none
 472 ; CHECK-SAME: (ptr [[P:%.*]]) {
 473 ; CHECK-NEXT:    call void @bar1(ptr [[P]])
 474 ; CHECK-NEXT:    ret void
 475 ;
 476   call void @foo1(ptr %p) memory(inaccessiblemem:none, argmem:none)
 477   ret void
 478 }
 479
 480 define void @prop_cb_def_willreturn(ptr %p) {
 481 ; CHECK-LABEL: define {{[^@]+}}@prop_cb_def_willreturn
 482 ; CHECK-SAME: (ptr [[P:%.*]]) {
 483 ; CHECK-NEXT:    call void @bar1(ptr [[P]])
 484 ; CHECK-NEXT:    ret void
 485 ;
 486   call void @foo1(ptr %p) willreturn
 487   ret void
 488 }
 489
 490 define void @prop_cb_def_mustprogress(ptr %p) {
 491 ; CHECK-LABEL: define {{[^@]+}}@prop_cb_def_mustprogress
 492 ; CHECK-SAME: (ptr [[P:%.*]]) {
 493 ; CHECK-NEXT:    call void @bar1(ptr [[P]])
 494 ; CHECK-NEXT:    ret void
 495 ;
 496   call void @foo1(ptr %p) mustprogress
 497   ret void
 498 }