hex.write_byte (arity 2)

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

Signature

def write_byte ptr, src < hex.pointers.read_byte { ... }

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

Complexity

• Time: w(0.75@+5)  + 17@+37

• Space: w(0.75@+29) + 17@+200

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

Source

Click to view the macro body

def write_byte ptr, src < hex.pointers.read_byte {
    .pointers.set_flip_and_jump_pointers ptr
    .pointers.read_byte_from_inners_ptrs
    .xor 2, hex.pointers.read_byte, src
    .pointers.xor_byte_to_flip_ptr hex.pointers.read_byte
}

Depends on

• hex.pointers.read_byte_from_inners_ptrs

• hex.pointers.set_flip_and_jump_pointers

• hex.pointers.xor_byte_to_flip_ptr

• hex.xor/3

Used by

• hex.push_byte

• hex.write_byte_and_inc

• hex.write_nth_byte

Example uses

• hex.write_byte_and_inc in hex/pointers/write_pointers.fj

• hex.write_nth_byte in hex/pointers/write_pointers.fj

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

---

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