test/Transforms/FunctionAttrs/incompatible_fn_attrs.ll

   1 ; RUN: opt -S -o - -functionattrs %s | FileCheck %s
   2 ; RUN: opt -S -o - -passes=function-attrs %s | FileCheck %s
   3
   4 ; Verify we remove argmemonly/inaccessiblememonly/inaccessiblemem_or_argmemonly
   5 ; function attributes when we derive readnone.
   6
   7 ; Function Attrs: argmemonly
   8 define i32* @given_argmem_infer_readnone(i32* %p) #0 {
   9 ; CHECK: define i32* @given_argmem_infer_readnone(i32* readnone returned %p) #0 {
  10 entry:
  11   ret i32* %p
  12 }
  13
  14 ; Function Attrs: inaccessiblememonly
  15 define i32* @given_inaccessible_infer_readnone(i32* %p) #1 {
  16 ; CHECK: define i32* @given_inaccessible_infer_readnone(i32* readnone returned %p) #0 {
  17 entry:
  18   ret i32* %p
  19 }
  20
  21 ; Function Attrs: inaccessiblemem_or_argmemonly
  22 define i32* @given_inaccessible_or_argmem_infer_readnone(i32* %p) #2 {
  23 ; CHECK: define i32* @given_inaccessible_or_argmem_infer_readnone(i32* readnone returned %p) #0 {
  24 entry:
  25   ret i32* %p
  26 }
  27
  28 attributes #0 = { argmemonly }
  29 attributes #1 = { inaccessiblememonly }
  30 attributes #2 = { inaccessiblemem_or_argmemonly }
  31 ; CHECK: attributes #0 = { norecurse nounwind readnone }
  32 ; CHECK-NOT: attributes