[PATCH] D149237: [Mem2Reg] !nonnull and !noundef are enough for creating assume

[Nikita Popov via Phabricator via llvm-commits]

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

The isKnownNonZero() check ensures that no assumptions are generated for facts that are already known through other means anyway. This will result in the generation of many unnecessary assumes.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D149237