[PATCH] D144493: [InstSimplify] enhance simplifyWithOpReplaced() to allow more 'select' removal

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

I like the approach, but I'm not sure you're checking the right poison implications. My first thought would be that we need `impliesPoison(V, Op)`. We are replacing the select with V, so what we want to establish is that if V is poison, the select would be poison anyway because Op is also implied poison.


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

https://reviews.llvm.org/D144493