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

Philip Reames via llvm-commits llvm-commits at lists.llvm.org
Thu Sep 10 15:48:46 PDT 2015

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.


More information about the llvm-commits mailing list