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

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

I think the right way to fix that would be to support poison flag/metadata drop in impliesPoison() transform. Even if we can't prove that the metadata does not produce poison, we can still drop it.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D149077