Extend 'readonly' and 'readnone' to work on function arguments as well as

functions. Make the function attributes pass add it to known library functions
and when it can deduce it.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@185735 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 8 insertions, 0 deletions

diff --git a/include/llvm/IR/Function.h b/include/llvm/IR/Function.h
index 0645539..cfb862d 100644
--- a/include/llvm/IR/Function.h
+++ b/include/llvm/IR/Function.h
@@ -310,6 +310,14 @@ public:
     addAttribute(n, Attribute::NoCapture);
   }
 
+  bool onlyReadsMemory(unsigned n) const {
+    return AttributeSets.hasAttribute(n, Attribute::ReadOnly) ||
+           AttributeSets.hasAttribute(n, Attribute::ReadNone);
+  }
+  void setOnlyReadsMemory(unsigned n) {
+    addAttribute(n, Attribute::ReadOnly);
+  }
+
   /// copyAttributesFrom - copy all additional attributes (those not needed to
   /// create a Function) from the Function Src to this one.
   void copyAttributesFrom(const GlobalValue *Src);