From db78c4873ea8c4b3dce90d761a1ad59d5bcdd6e7 Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Tue, 9 Nov 2010 19:48:55 +0000 Subject: [PATCH] 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 --- include/llvm/Analysis/AliasAnalysis.h | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/include/llvm/Analysis/AliasAnalysis.h b/include/llvm/Analysis/AliasAnalysis.h index d97552ee77d..7f6fe5d94dc 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. // -- 2.34.1