test/Feature/OperandBundles/function-attrs.ll

   1 ; RUN: opt -S -functionattrs < %s | FileCheck %s
   2
   3 declare void @f_readonly() readonly
   4 declare void @f_readnone() readnone
   5
   6 define void @test_0(i32* %x) {
   7 ; FunctionAttrs must not infer readonly / readnone for %x
   8
   9 ; CHECK-LABEL: define void @test_0(i32* %x) {
  10  entry:
  11  ; CHECK: call void @f_readonly() [ "foo"(i32* %x) ]
  12   call void @f_readonly() [ "foo"(i32* %x) ]
  13   ret void
  14 }
  15
  16 define void @test_1(i32* %x) {
  17 ; FunctionAttrs must not infer readonly / readnone for %x
  18
  19 ; CHECK-LABEL: define void @test_1(i32* %x) {
  20  entry:
  21  ; CHECK: call void @f_readnone() [ "foo"(i32* %x) ]
  22   call void @f_readnone() [ "foo"(i32* %x) ]
  23   ret void
  24 }