hex.read_hex (arity 2)

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

Signature

def read_hex dst, ptr { ... }

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

Complexity

• Time: w(0.75@+ 5) + 7@+13

• Space: w(0.75@+29) + 7@+48

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

Depends on

• hex.xor_hex_from_ptr

• hex.zero/1

Used by

• hex.pop_hex

• hex.read_hex_and_inc