[PATCH] D153753: ValueTracking: Handle ptrmask in isKnownNeverZero

[Nikita Popov via Phabricator via llvm-commits]

nikic requested changes to this revision.
nikic added a comment.
This revision now requires changes to proceed.

This doesn't look correct to me. Consider something like `ptrmask(ptr, 3)` where `ptr` is `nonnull align 4`. The ptrmask result will always be a null pointer, even though both inputs are non-null.


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

https://reviews.llvm.org/D153753