[PATCH] D38637: [InstSimplify] don't let poison inhibit an easy fold

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

The exact definition of poison is still getting refined, but it's different from undef.  undef is a bit-wise property, which is why ComputeKnownBits has to be careful around it.  poison works differently; essentially, any arithmetic or logical operation which has poison as an input produces poison, no matter what the other input is.  So it doesn't matter what ComputeKnownBits returns for a known poison value.


https://reviews.llvm.org/D38637