bit.if (arity 3)

if x == 0 jump to l0, else jump to l1
x is a bit, l0,l1 are addresses.

Signature

def if x, l0, l1 @ label_ptr, base_jump_label { ... }

Defined in bit/cond_jumps.fj — lines 8–16 (view on GitHub).

Complexity

• Time: @+2

• Space: @+2

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

Source

Click to view the macro body

def if x, l0, l1 @ label_ptr, base_jump_label {
    .xor label_ptr, x
  label_ptr:
    ;base_jump_label
    pad 2
  base_jump_label:
    ;l0
    label_ptr + dbit;l1
}

Depends on

• bit.xor/2

Used by

• bit.cmp/5

• bit.div10.cmp_sub_10

• bit.if/4

• bit.if0/2

• bit.if1/2

• bit.swap/2

• hex.idiv

Example uses

• bit.swap in bit/memory.fj

• bit.if in bit/cond_jumps.fj

• bit.if1 in bit/cond_jumps.fj

---

Next: bit.if/4 →