Iterate all symbols as `(name, section-relative address)` pairs.

Produce a raw flat binary: all sections packed in load order (non-BSS first, then BSS as zeros). No ELF headers are included. Suitable for bootloade

Record that `rd` is being overwritten, invalidating stale knowledge. Writing `sp` shifts every slot, so it clears everything.

ORs `flags` into the accrued floating-point flags (fflags).

Read an operand as an integer constant. Bool and Null are integer-valued.

A hosted user program injected as pid 1 must spawn and exit with code 0.

The qualified module bindings a unit declares, as `(alias, path)` in source order (its `alias := import("path")` / `const alias = import("path")` decl

Like `commit_int_result`, but skips width normalization for results already in canonical sign-extended form (e.g. comparison results, always 0 or 1).

Typed load from `offset(addr_reg)` directly into an integer register.

Map a `VmError` to a trap cause/tval pair. Returns `Some((cause, tval))` if the error should trigger a trap, or `None` if it is a fatal error that can

Render `source`'s exported interface as HLL suitable for prepending to an importer: `type`/`const`/`struct`/`enum` verbatim, `fn`/global as `external`

Backwards-compatible wrapper: old callers without PMP info should use this. Uses a throwaway TLB, so it never benefits from caching (test/diagnostic u

Catalog entry ids (top-level, in display order) matching `pred`.

I-type immediate: bits[31:20], sign-extended to 64 bits.

Helper to produce the lui+addi sequence for a 32-bit constant

Parse an ELF-64 image from raw bytes # Returns Parsed ELF structure or error if the format is invalid

Build a minimal pass/fail IR program around an entry block. `entry` must not yet have a terminator; this adds the branch, a pass block (return 0), and

Render one collapsible intent group. For a program with child modules, left-click selects it and right-click reveals or hides the modules.

Rewrite each `continue` in `stmts` (but not inside nested loops) to run the loop `step` first, so a `for`-loop desugared to `while` still advances its

Rewrite `alias.member` / `alias.member(args)` to the flat export reference, validating each member against `aliases` (alias -> exported names). See `_

Eliminate dead instructions in `func`. Returns true if anything changed.

Compile HLL and run through QEMU in one step.

Enable or disable physical register allocation in the RV64 backend: hot scalar values are kept in callee-saved registers (s2-s11) instead of stack slo

--- Section, label, and comment utilities ---

Absolute byte offset + IR type of each payload slot, relative to the enum base.

add rd, rs1, rs2 -> opcode=0x33, funct3=0, funct7=0

Return the argument register for the given index (a0-a7).

Reserve stack slots for every virtual register. See _IR_SPECIFICATIONS.md for layout details. Alloc dests get dedicated full-size slots; hot scalar r

Decode a boolean-valued key, if present.

The hosted stdlib is identical for every VM-execution test, so compile and assemble it exactly once for the whole suite and link each user program aga

Walk the FS image from the root directory (inode 0). Returns `None` if the FS is not mounted yet or the superblock magic does not match.

Lex, parse, (optionally) analyse, and lower `source` to IR. Returns `Err` only on hard failures (lex errors, parse errors, IR lowering errors). Warn

Compile and return both the text assembly and the structured token stream.

The declared name of a declaration, if it has one.

The buffer the guest currently draws into and reads from.

Effective load base address (shorthand for `effective_link_layout().load_base`).

--- Typed memory helpers ---

Spill parameters from `start_index` onward into their stack slots. `start_header` is emitted before the spills when there is at least one; `empty_hea

Returns the structured token stream collected in parallel with the text output.