Extend 'readonly' and 'readnone' to work on function arguments as well as
authorNick Lewycky <nicholas@mxc.ca>
Sat, 6 Jul 2013 00:29:58 +0000 (00:29 +0000)
committerNick Lewycky <nicholas@mxc.ca>
Sat, 6 Jul 2013 00:29:58 +0000 (00:29 +0000)
commitdc89737bcdbb8f69d8ae7578bdfa904cabcfc5ed
tree1838b5d8368383a083fad1cdca2fe777528e5a69
parent202eb7b18e220205ec86a03ddf18f2066c70ab15
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
22 files changed:
docs/LangRef.rst
include/llvm/IR/Argument.h
include/llvm/IR/Function.h
include/llvm/IR/Intrinsics.td
include/llvm/Support/CallSite.h
lib/Analysis/CaptureTracking.cpp
lib/AsmParser/LLParser.cpp
lib/IR/Attributes.cpp
lib/IR/Function.cpp
lib/IR/Verifier.cpp
lib/Transforms/IPO/FunctionAttrs.cpp
test/Analysis/TypeBasedAliasAnalysis/functionattrs.ll
test/Transforms/FunctionAttrs/2009-01-02-LocalStores.ll
test/Transforms/FunctionAttrs/2009-01-04-Annotate.ll
test/Transforms/FunctionAttrs/annotate-1.ll
test/Transforms/FunctionAttrs/atomic.ll
test/Transforms/FunctionAttrs/nocapture.ll
test/Transforms/FunctionAttrs/readattrs.ll [new file with mode: 0644]
test/Transforms/InstCombine/strto-1.ll
utils/TableGen/CodeGenIntrinsics.h
utils/TableGen/CodeGenTarget.cpp
utils/TableGen/IntrinsicEmitter.cpp