[PATCH] Add support for nonnull metadata on Loads

[Philip Reames]

Finally got around to rephrasing the LangRef as Hal requested.

I chose not to adopt the name result.nonnull.  I believe we should stick with precedent here.  There's an existing nonnull attribute with the same semantics.  I believe using an alternate name would be more confusing.

Hal, with a commitment to handle assume(x != null) in the near future, is this patch good to go?

http://reviews.llvm.org/D5220

Files:
  docs/LangRef.rst
  lib/Analysis/ValueTracking.cpp
  test/Transforms/InstSimplify/compare.ll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D5220.15091.patch
Type: text/x-patch
Size: 2755 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20141017/f22734ff/attachment.bin>