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

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Tue Sep 24 03:15:02 PDT 2024


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


More information about the llvm-commits mailing list