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

[luxufan via Phabricator via llvm-commits]

StephenFan added inline comments.


================
Comment at: llvm/test/Transforms/InstSimplify/icmp.ll:279
+  %r = icmp ne ptr %load_p, null
+  ret i1 %r
+}
----------------
goldstein.w.n wrote:
> These tests should be precommited.
Thanks for pointing it out. I will precommit it before landing.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D157253