[llvm] [ConstantFold][RFC] Fold special constant value with binop absorber f… (PR #109736)

[Nikita Popov via llvm-commits]

nikic wrote:

Please see https://llvm.org/docs/LangRef.html#poisonvalues for the semantics of poison values. In most cases, it's "poison in, poison out". So `0 * poison` is indeed `poison`. (This is not the case for undef, where `0 * undef` is indeed `0` and not `undef`.)

https://github.com/llvm/llvm-project/pull/109736