[PATCH] D157253: [ValueTracking] Dereferenceable and !NullPointerIsDefined imply non-zero

[Noah Goldstein via Phabricator via llvm-commits]

goldstein.w.n added inline comments.


================
Comment at: llvm/test/Transforms/InstSimplify/icmp.ll:279
+  %r = icmp ne ptr %load_p, null
+  ret i1 %r
+}
----------------
These tests should be precommited.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D157253/new/

https://reviews.llvm.org/D157253