goldsteinn wrote: The missing intrins are `fadd` and `fmul` which i don't think are so simple to implement. Also note that `add`/`mul` non-zero logic might be more complex than is warranted (proofs in the commit). Happy to drop. https://github.com/llvm/llvm-project/pull/88320