def add.fin.z

bend-kit-f64@0.1.0.0 · f64.bend:708

import Base

708def add.fin.z(na: Bool, nb: Bool, a: F64, b: F64, +sa: U32, ea: U32, ma: W2, sb: U32, eb: U32, mb: W2) -> F64:
709  match na nb:
710    case False{} False{}:
711      F64.zero.sign(u01(Bool.and(U32.is_eq(sa, sb), U32.is_eq(sa, 1))))
712    case False{} True{}:
713      b
714    case True{} False{}:
715      a
716    case True{} True{}:
717      add.fin(sa, ea, ma, sb, eb, mb)