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
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127

//! ARC FFI symbol registration for JIT compiler.
//!
//! ## Route A close (ADR-006 §2.7.14 / W11-jit-new-array)
//!
//! `jit_arc_retain` and `jit_arc_release` register the typed-Arc
//! retain/release primitives. Under Route A the JIT-FFI carries
//! `*const HeapHeader` directly — kind is structurally encoded in the
//! heap header's `kind: u16` field (§2.7.6 / Q8 single-discriminator),
//! so the FFI body needs no kind side-channel argument. See
//! `super::super::ffi::arc` for the ABI contract and Route A invariants.

use cranelift::prelude::*;
use cranelift_jit::{JITBuilder, JITModule};
use cranelift_module::{FuncId, Linkage, Module};
use std::collections::HashMap;

use super::super::ffi::arc;
use super::super::ffi::object::closure as closure_ffi;
use super::super::ffi::string as string_ffi;

/// Register the typed-Arc retain/release symbols.
pub fn register_arc_symbols(builder: &mut JITBuilder) {
    builder.symbol("jit_arc_retain", arc::jit_arc_retain as *const u8);
    builder.symbol("jit_arc_release", arc::jit_arc_release as *const u8);
    // W12-jit-string-carrier-unification (Phase 3 cluster-0 Round 12
    // T2/T3, 2026-05-13). §2.7.5 `Arc<String>` carrier retain/release.
    // Refcount discipline at slots whose `NativeKind` is `String`
    // dispatches HERE instead of the legacy `jit_arc_retain` /
    // `jit_arc_release` (which would scribble on the `String` payload
    // at offset +4) — see `mir_compiler/ownership.rs::retain_func_for_
    // place` / `release_func_for_place` for the dispatch arms.
    builder.symbol(
        "jit_arc_string_retain",
        string_ffi::jit_arc_string_retain as *const u8,
    );
    builder.symbol(
        "jit_arc_string_release",
        string_ffi::jit_arc_string_release as *const u8,
    );
    // W15.2-LANG-4 jit-filter-predicate close (2026-05-18). ADR-006
    // §2.7.11/Q12 `Arc<HeapValue::ClosureRaw>` carrier retain/release.
    // Refcount discipline at slots whose `NativeKind` is
    // `Ptr(HeapKind::Closure)` dispatches HERE instead of the legacy
    // `jit_arc_retain` / `jit_arc_release` (which would scribble on
    // the inner `HeapValue` payload at offset +4) — see
    // `mir_compiler/ownership.rs::retain_func_for_place` /
    // `release_func_for_place` for the dispatch arms.
    builder.symbol(
        "jit_arc_closure_retain",
        closure_ffi::jit_arc_closure_retain as *const u8,
    );
    builder.symbol(
        "jit_arc_closure_release",
        closure_ffi::jit_arc_closure_release as *const u8,
    );
}

/// Declare the Cranelift signatures for `jit_arc_retain` / `jit_arc_release`.
///
/// Both entries are `extern "C" fn(ptr: i64)` — a single `*const HeapHeader`
/// argument, no return value. Kind dispatch happens inside the body via
/// the `HeapHeader.kind` field on the release path (refcount-zero).
pub fn declare_arc_functions(module: &mut JITModule, ffi_funcs: &mut HashMap<String, FuncId>) {
    // jit_arc_retain(ptr: i64) -> void
    {
        let mut sig = module.make_signature();
        sig.params.push(AbiParam::new(types::I64));
        if let Ok(func_id) = module.declare_function("jit_arc_retain", Linkage::Import, &sig) {
            ffi_funcs.insert("jit_arc_retain".to_string(), func_id);
        }
    }
    // jit_arc_release(ptr: i64) -> void
    {
        let mut sig = module.make_signature();
        sig.params.push(AbiParam::new(types::I64));
        if let Ok(func_id) = module.declare_function("jit_arc_release", Linkage::Import, &sig) {
            ffi_funcs.insert("jit_arc_release".to_string(), func_id);
        }
    }
    // W12-jit-string-carrier-unification (Phase 3 cluster-0 Round 12
    // T2/T3). Both entries are `extern "C" fn(bits: i64)` — a single
    // `Arc::into_raw(Arc<String>) as u64` argument, no return value.
    // jit_arc_string_retain(bits: i64) -> void
    {
        let mut sig = module.make_signature();
        sig.params.push(AbiParam::new(types::I64));
        if let Ok(func_id) =
            module.declare_function("jit_arc_string_retain", Linkage::Import, &sig)
        {
            ffi_funcs.insert("jit_arc_string_retain".to_string(), func_id);
        }
    }
    // jit_arc_string_release(bits: i64) -> void
    {
        let mut sig = module.make_signature();
        sig.params.push(AbiParam::new(types::I64));
        if let Ok(func_id) =
            module.declare_function("jit_arc_string_release", Linkage::Import, &sig)
        {
            ffi_funcs.insert("jit_arc_string_release".to_string(), func_id);
        }
    }
    // W15.2-LANG-4 jit-filter-predicate close (2026-05-18). Both
    // entries are `extern "C" fn(bits: i64)` — a single
    // `Arc::into_raw(Arc<HeapValue>) as u64` argument, no return
    // value. Mirror of the `arc_string_*` declarations above.
    // jit_arc_closure_retain(bits: i64) -> void
    {
        let mut sig = module.make_signature();
        sig.params.push(AbiParam::new(types::I64));
        if let Ok(func_id) =
            module.declare_function("jit_arc_closure_retain", Linkage::Import, &sig)
        {
            ffi_funcs.insert("jit_arc_closure_retain".to_string(), func_id);
        }
    }
    // jit_arc_closure_release(bits: i64) -> void
    {
        let mut sig = module.make_signature();
        sig.params.push(AbiParam::new(types::I64));
        if let Ok(func_id) =
            module.declare_function("jit_arc_closure_release", Linkage::Import, &sig)
        {
            ffi_funcs.insert("jit_arc_closure_release".to_string(), func_id);
        }
    }
}