[PATCH] D149077: [InstCombine] Add !noundef if is guaranteed do not violate !range

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

Can you please explain what the larger motivation for this is? Can you show the whole pattern you're trying to optimize? I really don't want to do this without strong motivation.

Also, the `!noundef` metadata should be a `noundef` attribute. Actually, this should be enforced by the verifier the same way it is for `!nonull` and `!align`, it looks like we're missing a check.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D149077