[PATCH] Dereferenceable, dereferenceable_or_null metadata for loads

[Artur Pilipenko]

Hi hfinkel, reames, sanjoy,

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

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

http://reviews.llvm.org/D9365

Files:
  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

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D9365.24689.patch
Type: text/x-patch
Size: 9353 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150430/335a7193/attachment.bin>