myriad-rs 0.2.0

VM runtime for Polka bytecode, computation core.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47

use alloc::{boxed::Box, string::String};
use polka::{OpCode, Value};

pub enum DebugEvent<'a> {
    Trace {
        func: usize,
        pc: usize,
        op: &'a OpCode,
        base_reg: usize,
        // The current fn's register window and which of those regs hold handles.
        window: &'a [u64],
        handle_mask: u128,
        // Source line of this op (0 = no debug info).
        line: u32,
        // Source file of this fn ("" = unknown).
        file: &'a str,
    },
    HandlePush {
        effect_id: u16,
        cell_slot: u32,
        cell_gen: u32,
        suspend_pc: usize,
        suspend_base: usize,
        dest: usize,
        depth: usize,
    },
    Resume {
        saved_pc: usize,
        saved_base: usize,
        cell_dest: usize,
        val: Value,
        handler_dest: usize,
        alive: Value,
        depth: usize,
    },
}

pub type DebugSink = Box<dyn FnMut(&DebugEvent, &[String])>;

/// Symbolic label for a function id: "name#id" if a non-empty name is known,
/// "#id" otherwise. Used by trace, halt errors, anywhere a fn is rendered.
pub fn render_fn_label(idx: usize, names: &[String]) -> String {
    match names.get(idx) {
        Some(n) if !n.is_empty() => format!("{}#{}", n, idx),
        _ => format!("#{}", idx),
    }
}