diff options
| author | Vaivaswatha Nagaraj <vn@compilertree.com> | 2015-12-16 16:16:19 +0000 |
|---|---|---|
| committer | Vaivaswatha Nagaraj <vn@compilertree.com> | 2015-12-16 16:16:19 +0000 |
| commit | fb3f4907c0c6df1aab5dc2731e712050514ab6c6 (patch) | |
| tree | 758794077be72bf6c906bc5b7b750aebe01195b1 /llvm/docs | |
| parent | 10120189ab3203ce0f23e7e25b54992d85f83417 (diff) | |
| download | bcm5719-llvm-fb3f4907c0c6df1aab5dc2731e712050514ab6c6.tar.gz bcm5719-llvm-fb3f4907c0c6df1aab5dc2731e712050514ab6c6.zip | |
Add InaccessibleMemOnly and inaccessibleMemOrArgMemOnly attributes
Summary:
This patch introduces two new function attributes
InaccessibleMemOnly: This attribute indicates that the function may only access memory that is not accessible by the program/IR being compiled. This is a weaker form of ReadNone.
inaccessibleMemOrArgMemOnly: This attribute indicates that the function may only access memory that is either not accessible by the program/IR being compiled, or is pointed to by its pointer arguments. This is a weaker form of ArgMemOnly
Test cases have been updated. This revision uses this (https://github.com/llvm-mirror/llvm/commit/d001932f3a8aa1ebd1555162fdce365f011bc292) as reference.
Reviewers: jmolloy, hfinkel
Subscribers: reames, joker.eph, llvm-commits
Differential Revision: http://reviews.llvm.org/D15499
llvm-svn: 255778
Diffstat (limited to 'llvm/docs')
| -rw-r--r-- | llvm/docs/LangRef.rst | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/llvm/docs/LangRef.rst b/llvm/docs/LangRef.rst index f8d87da7061..c968818acf2 100644 --- a/llvm/docs/LangRef.rst +++ b/llvm/docs/LangRef.rst @@ -1243,6 +1243,14 @@ example: thread execution pattern under certain parallel execution models. Transformations that are execution model agnostic may not make the execution of a convergent operation control dependent on any additional values. +``inaccessiblememonly`` + This attribute indicates that the function may only access memory that + is not accessible by the module being compiled. This is a weaker form + of ``readnone``. +``inaccessiblemem_or_argmemonly`` + This attribute indicates that the function may only access memory that is + either not accessible by the module being compiled, or is pointed to + by its pointer arguments. This is a weaker form of ``argmemonly`` ``inlinehint`` This attribute indicates that the source code contained a hint that inlining this function is desirable (such as the "inline" keyword in |
