llvm/test/Transforms/InferFunctionAttrs/readonly_and_writeonly.ll

   1 ; RUN: opt < %s -mtriple=x86_64-- -passes=inferattrs -S | FileCheck --match-full-lines %s
   2
   3 ; Frontends can emit math functions with 'readonly', don't crash on it.
   4
   5 ; CHECK: declare double @acos(double) [[NOFREE_NOUNWIND_WILLRETURN_READNONE:#[0-9]+]]
   6 declare double @acos(double) readonly
   7
   8 ; CHECK-DAG: attributes [[NOFREE_NOUNWIND_WILLRETURN_READNONE]] = { mustprogress nofree nosync nounwind willreturn memory(none) }