Module stack 

Stack Operations

Selects between two implementations based on the tagged-ptr feature flag:

• Default: 40-byte StackValue with slot-based encoding
• tagged-ptr: 8-byte tagged pointer with Box for heap types

Macros

test_stack

Constants

DISC_BOOL

DISC_CHANNEL

DISC_CLOSURE

DISC_FLOAT

DISC_INT

Discriminant constants — retained for API compatibility with codegen and runtime code that switches on type. In tagged-ptr mode, these values are NOT stored in the StackValue itself (the tag is in the pointer bits). They are used only when the runtime unpacks a Value (via pop()) and needs to identify its type. Phase 2 codegen will use bit-level tag checks instead of loading these discriminants from memory.

DISC_MAP

DISC_QUOTATION

DISC_STRING

DISC_SYMBOL

DISC_VARIANT

DISC_WEAVECTX

Functions

alloc_stack

alloc_test_stack

clone_stack^⚠

Safety

clone_stack_segment^⚠

Clone a stack segment.

clone_stack_value^⚠

Clone a tagged StackValue, handling heap types.

clone_stack_with_base^⚠

Safety

drop_stack_value^⚠

Drop a tagged StackValue, freeing heap types.

drop_top^⚠

Drop the top value: ( a – )

dup^⚠

Duplicate the top value: ( a – a a )

get_stack_base

nip^⚠

Remove the second value: ( a b – b )

over^⚠

Copy the second value to the top: ( a b – a b a )

patch_seq_2dup^⚠

Duplicate top two values: ( a b – a b a b )

patch_seq_clone_value^⚠

Clone a StackValue from LLVM IR.

patch_seq_drop_op^⚠

Safety

patch_seq_dup^⚠

Duplicate the top value: ( a – a a )

patch_seq_nip^⚠

Remove the second value: ( a b – b )

patch_seq_over^⚠

Copy the second value to the top: ( a b – a b a )

patch_seq_pick_op^⚠

Pick: Copy the nth value to the top.

patch_seq_push_value^⚠

Safety

patch_seq_roll^⚠

Roll: Rotate n+1 items, bringing the item at depth n to the top.

patch_seq_rot^⚠

Rotate the top three values: ( a b c – b c a )

patch_seq_set_stack_base^⚠

Safety

patch_seq_stack_dump^⚠

Dump all values on the stack (for REPL debugging).

patch_seq_swap^⚠

Swap the top two values: ( a b – b a )

patch_seq_tuck^⚠

Copy top value below second: ( a b – b a b )

peek^⚠

Peek at the top value without removing it.

peek_sv^⚠

Peek at the raw StackValue without removing it.

pick^⚠

Pick: Copy the nth value to the top.

pop^⚠

Pop a value from the stack.

pop_sv^⚠

Pop a StackValue directly from the stack.

pop_three^⚠

Pop three values from the stack.

pop_two^⚠

Pop two values from the stack.

push^⚠

Push a value onto the stack.

push_sv^⚠

Push a StackValue directly onto the stack.

roll^⚠

Roll: Rotate n+1 items, bringing the item at depth n to the top.

rot^⚠

Rotate the top three values: ( a b c – b c a )

stack_value_size

Returns the size of a StackValue in bytes

stack_value_to_value^⚠

Convert a tagged StackValue back to a Value (takes ownership)

swap^⚠

Swap the top two values: ( a b – b a )

tuck^⚠

Copy top value below second: ( a b – b a b )

two_dup^⚠

Duplicate top two values: ( a b – a b a b )

value_to_stack_value

Convert a Value to a tagged StackValue

Type Aliases

Stack

Stack: A pointer to the current position in a contiguous array of u64.