hex.read_byte (arity 3)

Effectively:  dst[:2n] = *ptr[:n]
dst is a hex[:2n]. ptr is a hex[:w/4] that holds an address, which we assume is dw-aligned.

Signature

def read_byte n, dst, ptr { ... }

Defined in hex/pointers/read_pointers.fj — lines 63–66 (view on GitHub).

Complexity

• Time: n(w(0.75@+ 5) + 18@+27)

• Space: n(w(1.13@+32) + 14@+127)

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

Source

Click to view the macro body

def read_byte n, dst, ptr {
    rep(n, i) .read_byte_and_inc dst + i*2*dw, ptr
    .ptr_sub ptr, n
}

Depends on

• hex.ptr_sub

---

← Previous: hex.read_byte_and_inc Next: hex.read_nth_hex →