hex.add_mul (arity 2)¶

.mul.add_carry_dst : res   +=   x * .mul.dst + .mul.add_carry_dst

.mul.add_carry_dst, res, x, .mul.dst, they are all hex.

Signature¶

def add_mul res, x @ ret < .mul.dst, .add.dst, .mul.ret, .tables.res { ... }

Defined in hex/mul.fj — lines 8–16 (view on GitHub).

Complexity¶

  • Time: 5@+26

  • Space: 4@+52

See the complexity glossary for what @, w, dw, dbit, n mean.

Requires init¶

The following must be initialised before this macro is invoked:

  • hex.add.init (or hex.init)

Depends on¶