d67fb7b9b3
The last E4 item: a comptime call-frame dump. - New nullary `interp_print_frames` IR op (inst/print). The interpreter maintains a `call_chain` side-stack (push/pop a FuncId around each sx-bodied `call`, freed in deinit) and `printInterpFrames` appends the chain to its output — most-recent-last, with the dump frame itself skipped. emit_llvm makes the op a no-op: compiled code has no interpreter stack, and the only caller is `process.exit`'s dead `is_comptime()` branch. - Lowered from a name-recognized `__interp_print_frames()` builtin (tryLowerReflectionCall + inferExprType → void). - `trace.print_interpreter_frames()` wraps the builtin; wired into `process.exit`'s comptime branch (process.sx now imports trace.sx). - Frame source locations await IR-offset resolution (the comptime analog of DWARF), so only function names print today. examples/252-interp-frames.sx (top-level `#run` drives the dump; exit 0). Phase E4 (entry-point + stdlib error story) is now 100% complete.
72 lines
3.0 KiB
Plaintext
72 lines
3.0 KiB
Plaintext
#import "std.sx";
|
|
|
|
// =====================================================================
|
|
// trace.sx — error return-trace formatting (ERR step E3.3).
|
|
//
|
|
// Reads the thread-local return-trace buffer (ERR E3.1, populated by the
|
|
// push/clear wiring in E3.2) and renders it. A `raise` / propagating `try`
|
|
// pushes a frame; an absorbing site (`catch` / `or value` / destructure)
|
|
// clears the buffer. So at format time the buffer holds exactly the frames
|
|
// of failures that escaped to where you're formatting — typically inside a
|
|
// `catch` handler (the clear fires when the handler completes, so the body
|
|
// still sees the chain) or the (future) failable-`main` wrapper.
|
|
//
|
|
// Frame resolution: a frame is an opaque u64. Resolving it to `file:line:col`
|
|
// needs DWARF line-info (ERR E3.0), which sx does not emit yet — so for now
|
|
// each frame prints as "<location pending DWARF>". The frame COUNT, ordering,
|
|
// and overflow note are already meaningful; once E3.0 lands, only the
|
|
// per-frame location string changes. (The comptime path — resolving a packed
|
|
// `(func_id, ir_offset)` via the interpreter's IR tables — also lands with the
|
|
// resolver in E3.0/E3.3-full.)
|
|
// =====================================================================
|
|
|
|
libc :: #library "c";
|
|
|
|
// The error-trace buffer C API (library/vendors/sx_trace_runtime/sx_trace.c),
|
|
// linked in for the JIT and auto-injected for AOT when traces are used.
|
|
sx_trace_len :: () -> u32 #foreign;
|
|
sx_trace_truncated :: () -> u32 #foreign;
|
|
sx_trace_frame_at :: (i: u32) -> u64 #foreign;
|
|
|
|
write :: (fd: s32, buf: [*]u8, count: usize) -> isize #foreign libc;
|
|
|
|
// Render the current trace buffer to a string (allocated from
|
|
// context.allocator). Empty buffer → "" so callers can cheaply skip output.
|
|
to_string :: () -> string {
|
|
n := sx_trace_len();
|
|
if n == 0 { return ""; }
|
|
|
|
result := "error return trace (most recent call last):\n";
|
|
if sx_trace_truncated() != 0 {
|
|
result = concat(result, " ... older frames omitted (buffer full)\n");
|
|
}
|
|
|
|
i : u32 = 0;
|
|
while i < n {
|
|
frame := sx_trace_frame_at(i);
|
|
// DWARF (E3.0) will resolve `frame` to file:line:col + function name.
|
|
// Until then the raw frame value is shown (a placeholder, not a PC yet).
|
|
line := format(" frame {}: <location pending DWARF> (raw {})\n", i, xx frame);
|
|
result = concat(result, line);
|
|
i = i + 1;
|
|
}
|
|
result;
|
|
}
|
|
|
|
// Write the current trace to stderr (fd 2). No-op when the buffer is empty.
|
|
print_current :: () {
|
|
s := to_string();
|
|
if s.len > 0 {
|
|
write(2, s.ptr, xx s.len);
|
|
}
|
|
}
|
|
|
|
// Dump the comptime (`#run`) interpreter call-frame chain (ERR E4.1). At
|
|
// comptime the interpreter walks its active sx frames and appends them to the
|
|
// build output; in compiled code this folds to nothing (there is no
|
|
// interpreter stack — the only caller is a dead `is_comptime()` branch).
|
|
// Frame source locations await IR-offset resolution, so only names print today.
|
|
print_interpreter_frames :: () {
|
|
__interp_print_frames();
|
|
}
|