[PATCH] D27855: [InstCombine] try to extend nonnull-ness of arguments from a callsite back to its parent function

[Sanjay Patel via Phabricator via llvm-commits]

spatel updated this revision to Diff 81847.
spatel added a comment.

Patch updated:

1. Add checks for callsite-in-entry-block + isGuaranteedToTransferExecutionToSuccessor().
2. Add tests for those situations.
3. Add comments to this transform and the existing nonnull transform to provide motivational/philosophical context as noted in the llvm-dev thread.


https://reviews.llvm.org/D27855

Files:
  lib/Transforms/InstCombine/InstCombineCalls.cpp
  test/Transforms/InstCombine/call_nonnull_arg.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D27855.81847.patch
Type: text/x-patch
Size: 7752 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20161217/ba9d7ec1/attachment.bin>