hex.read_byte (arity 2)

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

Signature

def read_byte dst, ptr { ... }

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

Complexity

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

• Space: w(0.75@+29) + 9@+72

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

Source

Click to view the macro body

def read_byte dst, ptr {
    .zero 2, dst
    .xor_byte_from_ptr dst, ptr
}

Depends on

• hex.xor_byte_from_ptr

• hex.zero/2

Used by

• hex.pop_byte

• hex.print_ptr_line

• hex.read_byte_and_inc

• hex.read_nth_byte

Example uses

• hex.read_byte_and_inc in hex/pointers/read_pointers.fj

• hex.read_nth_byte in hex/pointers/read_pointers.fj

• hex.pop_byte in hex/pointers/stack.fj

---

← Previous: hex.read_hex/2 Next: hex.read_hex_and_inc →