Basically the same rules as `add` but we also need to ensure all operands a non-zero. Proofs: https://alive2.llvm.org/ce/z/jzsYht Closes #97040
Basically the same rules as `add` but we also need to ensure all operands a non-zero. Proofs: https://alive2.llvm.org/ce/z/jzsYht Closes #97040