[PATCH] Add read_write_arg_mem attribute

[Igor Laevsky]

Hi hfinkel, sanjoy, reames,

This change adds new attribute called "read_write_arg_mem"

Function marked with this attribute can only access memory through it's argument pointers. This attribute directly corresponds to the "OnlyAccessesArgumentPointees" ModRef behaviour in alias analysis.

http://reviews.llvm.org/D10398

Files:
  docs/LangRef.rst
  include/llvm/Analysis/AliasAnalysis.h
  include/llvm/Bitcode/LLVMBitCodes.h
  include/llvm/IR/Attributes.h
  include/llvm/IR/CallSite.h
  include/llvm/IR/Function.h
  include/llvm/IR/Instructions.h
  lib/Analysis/BasicAliasAnalysis.cpp
  lib/AsmParser/LLLexer.cpp
  lib/AsmParser/LLParser.cpp
  lib/AsmParser/LLToken.h
  lib/Bitcode/Reader/BitcodeReader.cpp
  lib/Bitcode/Writer/BitcodeWriter.cpp
  lib/IR/Attributes.cpp
  lib/IR/Verifier.cpp
  test/Analysis/BasicAA/modref.ll
  test/Bitcode/attributes.ll
  test/Verifier/invalid-statepoint3.ll
  test/Verifier/read_write_arg_mem.ll

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D10398.27533.patch
Type: text/x-patch
Size: 22229 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150611/85268c8d/attachment.bin>