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

Nuno Lopes via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed Jul 8 15:18:23 PDT 2020


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





More information about the cfe-commits mailing list