`bit.cmp` (arity 6)¶

Three-way compare on n-bit vectors: jumps to lt if a[:n]<b[:n], eq if equal, gt if a[:n]>b[:n].

Signature¶

def cmp n, a, b, lt, eq, gt { ... }

Defined in bit/cond_jumps.fj — lines 80–83 (view on GitHub).

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

Click to view the macro body

def cmp n, a, b, lt, eq, gt {
    rep(n-1, i) ._.cmp_next_eq a+(n-1-i)*dw, b+(n-1-i)*dw, lt, gt
    .cmp a, b, lt, eq, gt
}