[PATCH] Add a dereferencable attribute
hfinkel at anl.gov
hfinkel at anl.gov
Thu Jul 10 21:42:30 PDT 2014
I believe that this should address everyone's suggestions. Notably:
- We're no longer limited to 12 bits (a full 64-bit unsigned value is accepted). The only downside is that we cannot use this attribute with the bitmask scheme used by older bitcode (and perhaps uses of the older associated C API?), but I don't think this is a major problem.
- For addrspace(0), this attribute also implies nonnull (so we don't need to have both).
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.11306.patch
Type: text/x-patch
Size: 37714 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20140711/12b826f0/attachment.bin>
More information about the llvm-commits
mailing list