[PATCH] D18714: Add writeonly IR attribute

[Nicolai Hähnle via llvm-commits]

nhaehnle updated this revision to Diff 61160.
nhaehnle marked an inline comment as done.
nhaehnle added a comment.

Added a verifier test for {readnone, readonly} vs. writeonly clashes.
Extend the verifier check to flag incompatible attributes also for
function parameters.


http://reviews.llvm.org/D18714

Files:
  docs/LangRef.rst
  include/llvm/Analysis/AliasAnalysis.h
  include/llvm/Bitcode/LLVMBitCodes.h
  include/llvm/IR/Attributes.td
  include/llvm/IR/CallSite.h
  include/llvm/IR/Function.h
  include/llvm/IR/Instructions.h
  include/llvm/IR/Intrinsics.td
  lib/Analysis/AliasAnalysis.cpp
  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/cs-cs.ll
  test/Bindings/llvm-c/Inputs/invalid.ll.bc
  test/Bindings/llvm-c/invalid-bitcode.test
  test/Bitcode/attributes.ll
  test/Bitcode/compatibility.ll
  test/Bitcode/invalid.ll
  test/Bitcode/invalid.ll.bc
  test/LTO/X86/Inputs/invalid.ll.bc
  test/LTO/X86/invalid.ll
  test/Verifier/writeonly.ll
  utils/TableGen/CodeGenIntrinsics.h
  utils/TableGen/CodeGenTarget.cpp
  utils/TableGen/IntrinsicEmitter.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D18714.61160.patch
Type: text/x-patch
Size: 27827 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160618/686c9a76/attachment.bin>