[PATCH] D94550: [InstCombine] Fold select -> and/or using impliesPoison

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

With this patch applied, this is the impact on InstCombine after flipping the flag: https://gist.github.com/nikic/052815150762859dddaefde10f25374d We can see that there are still quite a few cases where we regress. However, many can be fixed by stronger impliesPoison handling. E.g. we're currently missing `icmp X, Y && icmp X, Y` and `icmp (X & C), C2 && icmp (X, C'), C2'`.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D94550