shape-vm 0.3.1

Stack-based bytecode virtual machine for the Shape programming language
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
48
49
50
51

//! Built-in function operations for the VM executor
//!
//! Handles: BuiltinCall, TypeCheck, Convert

// Builtin handler modules
mod array_comprehension;
pub(in crate::executor) mod array_ops;
pub mod datetime_builtins;
mod generators;
pub mod intrinsics;
mod json_helpers;
// ADR-006 ยง2.7.6: heterogeneous-kind body-side dispatch helpers, kept
// off the `KindedSlot` carrier per the Q8 carrier-API bound.
pub(crate) mod kind_coerce;
pub(in crate::executor) mod math;
mod matrix_intrinsics;
mod object_ops;
pub mod remote_builtins;
mod runtime_delegated;
mod minimize;
mod special_ops;
pub mod transport_builtins;
pub mod transport_provider;
mod type_ops;
mod vector_intrinsics;

use crate::{
    bytecode::{Instruction, OpCode},
    executor::VirtualMachine,
};
use shape_value::VMError;
impl VirtualMachine {
    #[inline(always)]
    pub(in crate::executor) fn exec_builtins(
        &mut self,
        instruction: &Instruction,
        ctx: Option<&mut shape_runtime::context::ExecutionContext>,
    ) -> Result<(), VMError> {
        use OpCode::*;
        match instruction.opcode {
            BuiltinCall => self.op_builtin_call(instruction, ctx)?,
            TypeCheck => self.op_type_check(instruction)?,
            Convert => self.op_convert(instruction)?,
            _ => unreachable!(
                "exec_builtins called with non-builtin opcode: {:?}",
                instruction.opcode
            ),
        }
        Ok(())
    }
}