[PATCH] D71660: [ValueTracking] isKnownNonZero() should take non-null-ness assumptions into consideration (PR43267)

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

I should mention that CVP also handles this, but as most things in CVP it only works across basic blocks (until D69686 <https://reviews.llvm.org/D69686> lands). I do think it's reasonable to also have this in ValueTracking though.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D71660