[PATCH] Add a dereferencable attribute

[hfinkel at anl.gov]

Added a test that the dereferenceable attribute on a non-addrspace(0) pointer does not imply nonnull.

http://reviews.llvm.org/D4449

Files:
  docs/LangRef.rst
  include/llvm-c/Core.h
  include/llvm/Bitcode/LLVMBitCodes.h
  include/llvm/IR/Argument.h
  include/llvm/IR/Attributes.h
  include/llvm/IR/CallSite.h
  include/llvm/IR/Function.h
  include/llvm/IR/Instructions.h
  lib/Analysis/ValueTracking.cpp
  lib/AsmParser/LLLexer.cpp
  lib/AsmParser/LLParser.cpp
  lib/AsmParser/LLParser.h
  lib/AsmParser/LLToken.h
  lib/Bitcode/Reader/BitcodeReader.cpp
  lib/Bitcode/Writer/BitcodeWriter.cpp
  lib/IR/AttributeImpl.h
  lib/IR/Attributes.cpp
  lib/IR/Function.cpp
  lib/IR/Value.cpp
  test/Bitcode/attributes.ll
  test/Transforms/InstSimplify/compare.ll
  test/Transforms/LICM/hoist-deref-load.ll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D4449.11309.patch
Type: text/x-patch
Size: 38270 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20140711/9d28fbf4/attachment.bin>