[PATCH] D28204: [ValueTracking] use nonnull argument attribute to eliminate null checks

[Philip Reames via Phabricator via llvm-commits]

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

LGTM



================
Comment at: test/Analysis/ValueTracking/known-nonnull-at.ll:73
+f:
+  call void @bar(i8* %x, i8* %y)
+  ret i1 %null_check
----------------
Minor: We can actually fold the null_check on this path because the call dominates the *use*.  However, you can happily ignore that.  :)


https://reviews.llvm.org/D28204