bit.pointers.ptr_init

Initializes the global opcodes and pointer-copies required for the pointers macros.

Signature

def ptr_init > to_flip, to_jump, to_flip_var, to_jump_var { ... }

Defined in bit/pointers.fj — lines 13–23 (view on GitHub).

Complexity

• Time: O(1)

• Space: 2w+2

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

Output labels

This macro exposes labels into the caller’s scope via >:

• to_flip — address of opcode that holds a flipping address in its first word. jumping into it will flip wanted bit.

• to_flip_var — the bit-vector (pointer) that also holds the flipping address.

• to_jump — address of opcode that holds a jumping address in its second word. jumping into it will jump to the wanted address.

• to_jump_var — the bit-vector (pointer) that also holds the jumping address.

Source

Click to view the macro body

def ptr_init > to_flip, to_jump, to_flip_var, to_jump_var {
  to_flip:
    0;0
  to_jump:
    ;0

  to_flip_var:
    bit.vec w, 0
  to_jump_var:
    bit.vec w, 0
}

Depends on

• bit.vec/2

Used by

• stl.ptr_init

Example uses

• stl.ptr_init in ptrlib.fj

---

Next: bit.pointers.set_jump_pointer →