shape-jit 0.3.2

Tiered JIT compiler (Cranelift) for the Shape virtual machine
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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91

//! Object FFI Functions for JIT
//!
//! This module provides FFI functions for creating and manipulating objects,
//! arrays, closures, and performing property access operations in the JIT.
//!
//! ## Modules
//!
//! - `object_ops` - Object creation, manipulation, and metadata operations
//! - `property_access` - Property access for objects, arrays, strings, series, and other types
//! - `conversion` - Conversion between NaN-boxed bits and runtime Values
//! - `format` - String formatting with template substitution
//! - `closure` - Closure creation with captured values
//! - `pattern` - Pattern matching helpers for Result/Option types

pub mod closure;
pub mod conversion;
pub mod format;
pub mod object_ops;
pub mod pattern;
pub mod property_access;

// Re-export all public functions for backward compatibility
pub use object_ops::{jit_new_object, jit_object_rest, jit_set_prop};

pub use property_access::{jit_get_prop, jit_hashmap_shape_id, jit_hashmap_value_at, jit_length};

pub use conversion::{
    jit_bits_to_nanboxed, jit_bits_to_nanboxed_with_ctx, jit_bits_to_typed_scalar,
    nanboxed_to_jit_bits, typed_scalar_to_jit_bits,
};

pub use format::jit_format;

#[allow(deprecated)]
pub use closure::jit_make_closure;

pub use closure::jit_finalize_heap_closure;

// Track A.1D: OwnedMutable capture cell allocator (Box<ValueWord>). Called
// from `MirToIR::emit_heap_closure` to materialise the cell pointer that
// gets installed into the closure's `Ptr` capture slot.
pub use closure::jit_alloc_owned_mut_cell;

// Track A.1E: Shared capture FFI helpers.
//   - `jit_arc_shared_retain`        — Arc strong-count retain for
//                                       `emit_heap_closure`'s Shared branch.
//   - `jit_shared_lock_contended`    — slow-path lock spin-wait.
//   - `jit_shared_unlock_contended`  — slow-path unlock release store.
pub use closure::{
    jit_arc_shared_retain, jit_shared_lock_contended, jit_shared_unlock_contended,
};

// Session 1 Commit 3: Outer-scope Shared-cell lifecycle helpers.
//   - `jit_alloc_shared_cell`        — allocates a fresh `Arc<SharedCell>`
//                                       with the given `ValueWord` initial
//                                       bits; returns the raw pointer bits
//                                       of the sole strong share.
//   - `jit_arc_shared_release`       — consumes exactly one strong share
//                                       (outer-scope reclaim); null-safe.
pub use closure::{jit_alloc_shared_cell, jit_arc_shared_release};

// Wave C.1: Per-FieldKind closure-cell FFI helpers (D1 native ABI). 33
// OwnedMutable wrappers (alloc/read/write × 11 FieldKinds) + 22 Shared
// wrappers (read/write × 11 FieldKinds) = 55 distinct symbols. Cell
// pointers cross the FFI boundary as `i64`; payloads use native types
// (F64/I64) where 8-byte, `I32` for 4-byte ints, and `I32` widened from
// sub-32 (i16/u16/i8/u8/bool). See
// `crates/shape-jit/src/ffi/object/closure.rs` for ABI details.
pub use closure::{
    jit_alloc_owned_mut_cell_bool, jit_alloc_owned_mut_cell_f64, jit_alloc_owned_mut_cell_i8,
    jit_alloc_owned_mut_cell_i16, jit_alloc_owned_mut_cell_i32, jit_alloc_owned_mut_cell_i64,
    jit_alloc_owned_mut_cell_ptr, jit_alloc_owned_mut_cell_u8, jit_alloc_owned_mut_cell_u16,
    jit_alloc_owned_mut_cell_u32, jit_alloc_owned_mut_cell_u64, jit_read_owned_mut_cell_bool,
    jit_read_owned_mut_cell_f64, jit_read_owned_mut_cell_i8, jit_read_owned_mut_cell_i16,
    jit_read_owned_mut_cell_i32, jit_read_owned_mut_cell_i64, jit_read_owned_mut_cell_ptr,
    jit_read_owned_mut_cell_u8, jit_read_owned_mut_cell_u16, jit_read_owned_mut_cell_u32,
    jit_read_owned_mut_cell_u64, jit_read_shared_cell_bool, jit_read_shared_cell_f64,
    jit_read_shared_cell_i8, jit_read_shared_cell_i16, jit_read_shared_cell_i32,
    jit_read_shared_cell_i64, jit_read_shared_cell_ptr, jit_read_shared_cell_u8,
    jit_read_shared_cell_u16, jit_read_shared_cell_u32, jit_read_shared_cell_u64,
    jit_write_owned_mut_cell_bool, jit_write_owned_mut_cell_f64, jit_write_owned_mut_cell_i8,
    jit_write_owned_mut_cell_i16, jit_write_owned_mut_cell_i32, jit_write_owned_mut_cell_i64,
    jit_write_owned_mut_cell_ptr, jit_write_owned_mut_cell_u8, jit_write_owned_mut_cell_u16,
    jit_write_owned_mut_cell_u32, jit_write_owned_mut_cell_u64, jit_write_shared_cell_bool,
    jit_write_shared_cell_f64, jit_write_shared_cell_i8, jit_write_shared_cell_i16,
    jit_write_shared_cell_i32, jit_write_shared_cell_i64, jit_write_shared_cell_ptr,
    jit_write_shared_cell_u8, jit_write_shared_cell_u16, jit_write_shared_cell_u32,
    jit_write_shared_cell_u64,
};

pub use pattern::{jit_pattern_check_constructor, jit_pattern_extract_constructor};