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.

Source

Click to view the macro body

def inc1_with_carry0_jump dst, carry, carry0_jump @ end {
    ..if0 carry, carry0_jump
    ..not dst
    ..if0 dst, end
    ..not carry
  end:
}

Depends on

• bit.if0/2

• bit.not/1

Used by

• bit.inc1

Example uses

• bit.inc1 in bit/math.fj

---

← Previous: bit.inc1 Next: bit.inc →