[PATCH] D12779: [InstCombineCalls] Use isKnownNonNullAt() to check nullness of passing arguments at callsite

[Philip Reames via llvm-commits]

reames accepted this revision.
reames added a comment.
This revision is now accepted and ready to land.

LGTM w/one minor comment optional.


================
Comment at: test/Transforms/InstCombine/call_nonnull_arg.ll:3
@@ +2,3 @@
+
+; InstCombine should mark null-checked argument as nonnull at callsite
+declare void @dummy(i32*)
----------------
Not sure this needs to be it's own file.  It could probably just be added to the existing file which contains the previous nonnull attribute tests.


http://reviews.llvm.org/D12779