[PATCH] D83360: [InstSimplify] Remove select ?, undef, X -> X and select ?, X, undef -> X

[Nuno Lopes via Phabricator via llvm-commits]

nlopes added a comment.

In D83360#2140241 <https://reviews.llvm.org/D83360#2140241>, @craig.topper wrote:

> Alive does like this https://alive2.llvm.org/ce/z/yhibbe which is what I was going to implement.


right. There's a guaranteedNonPoison (or similar name) in ValueTracking that can be used I guess.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D83360