nikic wrote: Keep in mind that we still do the logical and/or -> bitwise and/or fold in generic DAGCombine. That's the really big offender in terms of poison safety in SDAG. https://github.com/llvm/llvm-project/pull/84232