]> granicus.if.org Git - llvm/commit
Dereferenceable, dereferenceable_or_null metadata for loads
authorSanjoy Das <sanjoy@playingwithpointers.com>
Tue, 19 May 2015 20:10:19 +0000 (20:10 +0000)
committerSanjoy Das <sanjoy@playingwithpointers.com>
Tue, 19 May 2015 20:10:19 +0000 (20:10 +0000)
commit4d88c3ebad365105a7fd769b4f89e8a53470744a
tree204e0a037ca422bb7a830af5213b3919577e75d0
parent041ab65fcd3ef79776175731f16f0d810336a086
Dereferenceable, dereferenceable_or_null metadata for loads

Summary:
Introduce dereferenceable, dereferenceable_or_null metadata for loads
with the same semantic as corresponding attributes.

This patch depends on http://reviews.llvm.org/D9253

Patch by Artur Pilipenko!

Reviewers: hfinkel, sanjoy, reames

Reviewed By: sanjoy, reames

Subscribers: llvm-commits

Differential Revision: http://reviews.llvm.org/D9365

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@237720 91177308-0d34-0410-b5e6-96231b3b80d8
docs/LangRef.rst
include/llvm/IR/LLVMContext.h
lib/Analysis/ValueTracking.cpp
lib/IR/LLVMContext.cpp
test/Analysis/ValueTracking/memory-dereferenceable.ll
test/Transforms/LICM/hoist-deref-load.ll