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
This commit is contained in:
Dan Gohman 2010-11-09 19:48:55 +00:00
parent 32d9aeb1df
commit db78c4873e

View File

@ -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.
//