hex.write_hex (arity 3)

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

Signature

def write_hex n, ptr, src { ... }

Defined in hex/pointers/write_pointers.fj — lines 58–61 (view on GitHub).

Complexity

• Time: n(w(0.75@+5)  + 20@+39)

• Space: n(w(1.13@+32) + 16@+167)

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

Source

Click to view the macro body

def write_hex n, ptr, src {
    rep(n, i) .write_hex_and_inc ptr, src + i*dw
    .ptr_sub ptr, n
}

Depends on

• hex.ptr_sub

---

← Previous: hex.write_hex_and_inc Next: hex.write_byte_and_inc →