bit.inc.inc1_with_carry0_jump¶

Unsafe for dst==carry (but there is no reason in calling it that way)
If carry was 0, jump to carry0_jump.
{carry:dst}++
carry,dst are bits.

Signature¶

def inc1_with_carry0_jump dst, carry, carry0_jump @ end { ... }

Defined in bit/math.fj — lines 21–27 (view on GitHub).

Complexity¶

  • Time: 2@+6

  • Space: 2@+6

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

Depends on¶

Used by¶