diff options
| author | Dan Gohman <gohman@apple.com> | 2010-11-09 19:48:55 +0000 |
|---|---|---|
| committer | Dan Gohman <gohman@apple.com> | 2010-11-09 19:48:55 +0000 |
| commit | db78c4873ea8c4b3dce90d761a1ad59d5bcdd6e7 (patch) | |
| tree | ad39d5198ebb115e3810559a8275148c612bf408 | |
| parent | 32d9aeb1df982638766757704c4e23f58ffb40d1 (diff) | |
Add a AccessesArgumentsReadonly ModRefBehavior value, so that the intrinsic
property IntrReadArgMem can be modeled.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@118614 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | include/llvm/Analysis/AliasAnalysis.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/include/llvm/Analysis/AliasAnalysis.h b/include/llvm/Analysis/AliasAnalysis.h index d97552ee77..7f6fe5d94d 100644 --- a/include/llvm/Analysis/AliasAnalysis.h +++ b/include/llvm/Analysis/AliasAnalysis.h @@ -189,6 +189,13 @@ public: // This property corresponds to the IntrNoMem LLVM intrinsic flag. DoesNotAccessMemory, + // AccessesArgumentsReadonly - This function loads through function + // arguments and does not perform any non-local stores or volatile + // loads. + // + // This property corresponds to the IntrReadArgMem LLVM intrinsic flag. + AccessesArgumentsReadonly, + // AccessesArguments - This function accesses function arguments in well // known (possibly volatile) ways, but does not access any other memory. // |