Skip to main content

vm/
lib.rs

1//使用 cranelift 作为后端 直接 jit 解释脚本
2mod binary;
3mod native;
4pub use native::{ANY, STD};
5
6mod fns;
7use anyhow::{Result, anyhow};
8pub use fns::{FnInfo, FnVariant};
9mod context;
10pub use context::BuildContext;
11
12mod rt;
13use cranelift::prelude::types;
14use dynamic::Type;
15pub use rt::JITRunTime;
16use smol_str::SmolStr;
17mod db_module;
18mod gpu_layout;
19mod gpu_module;
20mod http_module;
21mod llm_module;
22mod root_module;
23pub use gpu_layout::{GpuFieldLayout, GpuStructLayout};
24
25use std::sync::{Mutex, OnceLock, Weak};
26static PTR_TYPE: OnceLock<types::Type> = OnceLock::new();
27pub fn ptr_type() -> types::Type {
28    PTR_TYPE.get().cloned().unwrap()
29}
30
31pub fn get_type(ty: &Type) -> Result<types::Type> {
32    if ty.is_f64() {
33        Ok(types::F64)
34    } else if ty.is_f32() {
35        Ok(types::F32)
36    } else if ty.is_int() | ty.is_uint() {
37        match ty.width() {
38            1 => Ok(types::I8),
39            2 => Ok(types::I16),
40            4 => Ok(types::I32),
41            8 => Ok(types::I64),
42            _ => Err(anyhow!("非法类型 {:?}", ty)),
43        }
44    } else if let Type::Bool = ty {
45        Ok(types::I8)
46    } else {
47        Ok(ptr_type())
48    }
49}
50
51use compiler::Symbol;
52use cranelift::prelude::*;
53
54pub fn init_jit(mut jit: JITRunTime) -> Result<JITRunTime> {
55    jit.add_all()?;
56    Ok(jit)
57}
58
59use std::sync::Arc;
60unsafe impl Send for JITRunTime {}
61unsafe impl Sync for JITRunTime {}
62
63pub(crate) fn with_vm_context<T>(context: *const Weak<Mutex<JITRunTime>>, f: impl FnOnce(&Vm) -> Result<T>) -> Result<T> {
64    if context.is_null() {
65        return Err(anyhow!("VM context is null"));
66    }
67    let jit = unsafe { &*context }.upgrade().ok_or_else(|| anyhow!("VM context has expired"))?;
68    let vm = Vm { jit };
69    f(&vm)
70}
71
72fn add_method_field(jit: &mut JITRunTime, def: &str, method: &str, id: u32) -> Result<()> {
73    let def_id = jit.get_id(def)?;
74    if let Some((_, define)) = jit.compiler.symbols.get_symbol_mut(def_id) {
75        if let Symbol::Struct(Type::Struct { params, fields }, _) = define {
76            fields.push((method.into(), Type::Symbol { id, params: params.clone() }));
77        }
78    }
79    Ok(())
80}
81
82fn add_native_module_fns(jit: &mut JITRunTime, module: &str, fns: &[(&str, &[Type], Type, *const u8)]) -> Result<()> {
83    jit.add_module(module);
84    for (name, arg_tys, ret_ty, fn_ptr) in fns {
85        let full_name = format!("{}::{}", module, name);
86        jit.add_native_ptr(&full_name, name, arg_tys, ret_ty.clone(), *fn_ptr)?;
87    }
88    jit.pop_module();
89    Ok(())
90}
91
92impl JITRunTime {
93    pub fn add_module(&mut self, name: &str) {
94        self.compiler.symbols.add_module(name.into());
95    }
96
97    pub fn pop_module(&mut self) {
98        self.compiler.symbols.pop_module();
99    }
100
101    pub fn add_type(&mut self, name: &str, ty: Type, is_pub: bool) -> u32 {
102        self.compiler.add_symbol(name, Symbol::Struct(ty, is_pub))
103    }
104
105    pub fn add_empty_type(&mut self, name: &str) -> Result<u32> {
106        match self.get_id(name) {
107            Ok(id) => Ok(id),
108            Err(_) => Ok(self.add_type(name, Type::Struct { params: Vec::new(), fields: Vec::new() }, true)),
109        }
110    }
111
112    pub fn add_native_module_ptr(&mut self, module: &str, name: &str, arg_tys: &[Type], ret_ty: Type, fn_ptr: *const u8) -> Result<u32> {
113        self.add_module(module);
114        let full_name = format!("{}::{}", module, name);
115        let result = self.add_native_ptr(&full_name, name, arg_tys, ret_ty, fn_ptr);
116        self.pop_module();
117        result
118    }
119
120    pub(crate) fn add_native_module_context_ptr(&mut self, module: &str, name: &str, arg_tys: &[Type], ret_ty: Type, fn_ptr: *const u8) -> Result<u32> {
121        self.add_module(module);
122        let full_name = format!("{}::{}", module, name);
123        let result = self.add_context_native_ptr(&full_name, name, arg_tys, ret_ty, fn_ptr);
124        self.pop_module();
125        result
126    }
127
128    pub fn add_native_method_ptr(&mut self, def: &str, method: &str, arg_tys: &[Type], ret_ty: Type, fn_ptr: *const u8) -> Result<u32> {
129        self.add_empty_type(def)?;
130        let full_name = format!("{}::{}", def, method);
131        let id = self.add_native_ptr(&full_name, &full_name, arg_tys, ret_ty, fn_ptr)?;
132        add_method_field(self, def, method, id)?;
133        Ok(id)
134    }
135
136    pub fn add_std(&mut self) -> Result<()> {
137        self.add_module("std");
138        for (name, arg_tys, ret_ty, fn_ptr) in STD {
139            self.add_native_ptr(name, name, arg_tys, ret_ty, fn_ptr)?;
140        }
141        self.add_context_native_ptr("import", "import", &[Type::Any, Type::Any], Type::Bool, native::import_with_vm as *const u8)?;
142        Ok(())
143    }
144
145    pub fn add_any(&mut self) -> Result<()> {
146        for (name, arg_tys, ret_ty, fn_ptr) in ANY {
147            let (_, method) = name.split_once("::").ok_or_else(|| anyhow!("非法 Any 方法名 {}", name))?;
148            self.add_native_method_ptr("Any", method, arg_tys, ret_ty, fn_ptr)?;
149        }
150        Ok(())
151    }
152
153    pub fn add_vec(&mut self) -> Result<()> {
154        self.add_empty_type("Vec")?;
155        let vec_def = Type::Symbol { id: self.get_id("Vec")?, params: Vec::new() };
156        self.add_inline("Vec::swap", vec![vec_def.clone(), Type::I64, Type::I64], Type::Void, |ctx: Option<&mut BuildContext>, args: Vec<Value>| {
157            if let Some(ctx) = ctx {
158                let width = ctx.builder.ins().iconst(types::I64, 4);
159                let offset_val = ctx.builder.ins().imul(args[1], width); // i * 4 i32大小四字节
160                let final_addr = ctx.builder.ins().iadd(args[0], offset_val); // base + (i*4)
161                let dest = ctx.builder.ins().imul(args[2], width);
162                let dest_addr = ctx.builder.ins().iadd(args[0], dest); // base + (i*4)
163                let dest_val = ctx.builder.ins().load(types::I32, MemFlags::trusted(), dest_addr, 0);
164                let v = ctx.builder.ins().load(types::I32, MemFlags::trusted(), final_addr, 0);
165                ctx.builder.ins().store(MemFlags::trusted(), v, dest_addr, 0);
166                ctx.builder.ins().store(MemFlags::trusted(), dest_val, final_addr, 0);
167            }
168            Err(anyhow!("无返回值"))
169        })?;
170
171        self.add_inline("Vec::get_idx", vec![vec_def.clone(), Type::I64], Type::I32, |ctx: Option<&mut BuildContext>, args: Vec<Value>| {
172            if let Some(ctx) = ctx {
173                let width = ctx.builder.ins().iconst(types::I64, 4);
174                let offset_val = ctx.builder.ins().imul(args[1], width); // i * 4 i32大小四字节
175                let final_addr = ctx.builder.ins().iadd(args[0], offset_val);
176                Ok((Some(ctx.builder.ins().load(types::I32, MemFlags::trusted(), final_addr, 0)), Type::I32))
177            } else {
178                Ok((None, Type::I32))
179            }
180        })?;
181        Ok(())
182    }
183
184    pub fn add_llm(&mut self) -> Result<()> {
185        add_native_module_fns(self, "llm", &llm_module::LLM_NATIVE)
186    }
187
188    pub fn add_root(&mut self) -> Result<()> {
189        add_native_module_fns(self, "root", &root_module::ROOT_NATIVE)?;
190        self.add_native_module_context_ptr("root", "add_fn", &[Type::Any, Type::Any], Type::Bool, root_module::root_add_fn_with_vm as *const u8)?;
191        Ok(())
192    }
193
194    pub fn add_http(&mut self) -> Result<()> {
195        add_native_module_fns(self, "http", &http_module::HTTP_NATIVE)
196    }
197
198    pub fn add_db(&mut self) -> Result<()> {
199        add_native_module_fns(self, "db", &db_module::DB_NATIVE)
200    }
201
202    pub fn add_gpu(&mut self) -> Result<()> {
203        add_native_module_fns(self, "gpu", &gpu_module::GPU_NATIVE)
204    }
205
206    pub fn add_all(&mut self) -> Result<()> {
207        self.add_std()?;
208        self.add_any()?;
209        self.add_vec()?;
210        self.add_llm()?;
211        self.add_root()?;
212        self.add_http()?;
213        self.add_db()?;
214        self.add_gpu()?;
215        Ok(())
216    }
217}
218
219#[derive(Clone)]
220pub struct Vm {
221    jit: Arc<Mutex<JITRunTime>>,
222}
223
224#[derive(Clone)]
225pub struct CompiledFn {
226    ptr: usize,
227    ret: Type,
228    owner: Vm,
229}
230
231impl CompiledFn {
232    pub fn ptr(&self) -> *const u8 {
233        self.ptr as *const u8
234    }
235
236    pub fn ret_ty(&self) -> &Type {
237        &self.ret
238    }
239
240    pub fn owner(&self) -> &Vm {
241        &self.owner
242    }
243}
244
245impl Vm {
246    pub fn new() -> Self {
247        let jit = Arc::new(Mutex::new(JITRunTime::new(|_| {})));
248        jit.lock().unwrap().set_owner(Arc::downgrade(&jit));
249        Self { jit }
250    }
251
252    pub fn with_all() -> Result<Self> {
253        let vm = Self::new();
254        vm.add_all()?;
255        Ok(vm)
256    }
257
258    pub fn add_module(&self, name: &str) {
259        self.jit.lock().unwrap().add_module(name)
260    }
261
262    pub fn pop_module(&self) {
263        self.jit.lock().unwrap().pop_module()
264    }
265
266    pub fn add_type(&self, name: &str, ty: Type, is_pub: bool) -> u32 {
267        self.jit.lock().unwrap().add_type(name, ty, is_pub)
268    }
269
270    pub fn add_empty_type(&self, name: &str) -> Result<u32> {
271        self.jit.lock().unwrap().add_empty_type(name)
272    }
273
274    pub fn add_std(&self) -> Result<()> {
275        self.jit.lock().unwrap().add_std()
276    }
277
278    pub fn add_any(&self) -> Result<()> {
279        self.jit.lock().unwrap().add_any()
280    }
281
282    pub fn add_vec(&self) -> Result<()> {
283        self.jit.lock().unwrap().add_vec()
284    }
285
286    pub fn add_llm(&self) -> Result<()> {
287        self.jit.lock().unwrap().add_llm()
288    }
289
290    pub fn add_root(&self) -> Result<()> {
291        self.jit.lock().unwrap().add_root()
292    }
293
294    pub fn add_http(&self) -> Result<()> {
295        self.jit.lock().unwrap().add_http()
296    }
297
298    pub fn add_db(&self) -> Result<()> {
299        self.jit.lock().unwrap().add_db()
300    }
301
302    pub fn add_gpu(&self) -> Result<()> {
303        self.jit.lock().unwrap().add_gpu()
304    }
305
306    pub fn add_all(&self) -> Result<()> {
307        self.jit.lock().unwrap().add_all()
308    }
309
310    pub fn add_native_ptr(&self, full_name: &str, name: &str, arg_tys: &[Type], ret_ty: Type, fn_ptr: *const u8) -> Result<u32> {
311        self.jit.lock().unwrap().add_native_ptr(full_name, name, arg_tys, ret_ty, fn_ptr)
312    }
313
314    pub fn add_native_module_ptr(&self, module: &str, name: &str, arg_tys: &[Type], ret_ty: Type, fn_ptr: *const u8) -> Result<u32> {
315        self.jit.lock().unwrap().add_native_module_ptr(module, name, arg_tys, ret_ty, fn_ptr)
316    }
317
318    pub fn add_native_method_ptr(&self, def: &str, method: &str, arg_tys: &[Type], ret_ty: Type, fn_ptr: *const u8) -> Result<u32> {
319        self.jit.lock().unwrap().add_native_method_ptr(def, method, arg_tys, ret_ty, fn_ptr)
320    }
321
322    pub fn add_inline(&self, name: &str, args: Vec<Type>, ret: Type, f: fn(Option<&mut BuildContext>, Vec<Value>) -> Result<(Option<Value>, Type)>) -> Result<u32> {
323        self.jit.lock().unwrap().add_inline(name, args, ret, f)
324    }
325
326    pub fn import_code(&self, name: &str, code: Vec<u8>) -> Result<()> {
327        self.jit.lock().unwrap().import_code(name, code)
328    }
329
330    pub fn import_file(&self, name: &str, path: &str) -> Result<()> {
331        self.jit.lock().unwrap().compiler.import_file(name, path)?;
332        Ok(())
333    }
334
335    pub fn import(&self, name: &str, path: &str) -> Result<()> {
336        if root::contains(path) {
337            let code = root::get(path).unwrap();
338            if code.is_str() {
339                self.import_code(name, code.as_str().as_bytes().to_vec())
340            } else {
341                self.import_code(name, code.get_dynamic("code").ok_or(anyhow!("{:?} 没有 code 成员", code))?.as_str().as_bytes().to_vec())
342            }
343        } else {
344            self.import_file(name, path)
345        }
346    }
347
348    pub fn infer(&self, name: &str, arg_tys: &[Type]) -> Result<Type> {
349        self.jit.lock().unwrap().get_type(name, arg_tys)
350    }
351
352    pub fn get_fn_ptr(&self, name: &str, arg_tys: &[Type]) -> Result<(*const u8, Type)> {
353        self.jit.lock().unwrap().get_fn_ptr(name, arg_tys)
354    }
355
356    pub fn get_fn(&self, name: &str, arg_tys: &[Type]) -> Result<CompiledFn> {
357        let (ptr, ret) = self.get_fn_ptr(name, arg_tys)?;
358        Ok(CompiledFn { ptr: ptr as usize, ret, owner: self.clone() })
359    }
360
361    pub fn load(&self, code: Vec<u8>, arg_name: SmolStr) -> Result<(i64, Type)> {
362        self.jit.lock().unwrap().load(code, arg_name)
363    }
364
365    pub fn get_symbol(&self, name: &str, params: Vec<Type>) -> Result<Type> {
366        Ok(Type::Symbol { id: self.jit.lock().unwrap().get_id(name)?, params })
367    }
368
369    pub fn gpu_struct_layout(&self, name: &str, params: &[Type]) -> Result<GpuStructLayout> {
370        let jit = self.jit.lock().unwrap();
371        GpuStructLayout::from_symbol_table(&jit.compiler.symbols, name, params)
372    }
373
374    pub fn disassemble(&self, name: &str) -> Result<String> {
375        self.jit.lock().unwrap().compiler.symbols.disassemble(name)
376    }
377
378    #[cfg(feature = "ir-disassembly")]
379    pub fn disassemble_ir(&self, name: &str) -> Result<String> {
380        self.jit.lock().unwrap().disassemble_ir(name)
381    }
382}
383
384impl Default for Vm {
385    fn default() -> Self {
386        Self::new()
387    }
388}
389
390#[cfg(test)]
391mod tests {
392    use super::Vm;
393    use dynamic::{Dynamic, ToJson, Type};
394
395    extern "C" fn math_double(value: i64) -> i64 {
396        value * 2
397    }
398
399    #[test]
400    fn vm_can_add_native_after_jit_creation() -> anyhow::Result<()> {
401        let vm = Vm::new();
402        vm.add_native_module_ptr("math", "double", &[Type::I64], Type::I64, math_double as *const u8)?;
403        vm.import_code(
404            "vm_dynamic_native",
405            br#"
406            pub fn run(value: i64) {
407                math::double(value)
408            }
409            "#
410            .to_vec(),
411        )?;
412
413        let compiled = vm.get_fn("vm_dynamic_native::run", &[Type::I64])?;
414        assert_eq!(compiled.ret_ty(), &Type::I64);
415        let run: extern "C" fn(i64) -> i64 = unsafe { std::mem::transmute(compiled.ptr()) };
416        assert_eq!(run(21), 42);
417        Ok(())
418    }
419
420    #[test]
421    fn any_push_does_not_consume_reused_value() -> anyhow::Result<()> {
422        let vm = Vm::with_all()?;
423        vm.import_code(
424            "vm_any_push_reused_value",
425            br#"
426            pub fn run() {
427                let role_id = "acct_role_2";
428                let updated = [];
429                updated.push(role_id);
430                {
431                    ok: true,
432                    user_id: role_id,
433                    first: updated.get_idx(0)
434                }
435            }
436            "#
437            .to_vec(),
438        )?;
439
440        let compiled = vm.get_fn("vm_any_push_reused_value::run", &[])?;
441        assert_eq!(compiled.ret_ty(), &Type::Any);
442        let run: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
443        let result = unsafe { &*run() };
444        assert_eq!(result.get_dynamic("ok").and_then(|value| value.as_bool()), Some(true));
445        assert_eq!(result.get_dynamic("user_id").map(|value| value.as_str().to_string()), Some("acct_role_2".to_string()));
446        assert_eq!(result.get_dynamic("first").map(|value| value.as_str().to_string()), Some("acct_role_2".to_string()));
447        Ok(())
448    }
449
450    #[test]
451    fn compares_any_with_string_literal_as_string() -> anyhow::Result<()> {
452        let vm = Vm::with_all()?;
453        vm.import_code(
454            "vm_string_compare_any",
455            br#"
456            pub fn any_ne_empty(chat_path) {
457                chat_path != ""
458            }
459            "#
460            .to_vec(),
461        )?;
462
463        let compiled = vm.get_fn("vm_string_compare_any::any_ne_empty", &[Type::Any])?;
464        assert_eq!(compiled.ret_ty(), &Type::Bool);
465
466        let any_ne_empty: extern "C" fn(*const Dynamic) -> bool = unsafe { std::mem::transmute(compiled.ptr()) };
467        let empty = Dynamic::from("");
468        let non_empty = Dynamic::from("chat");
469
470        assert!(!any_ne_empty(&empty));
471        assert!(any_ne_empty(&non_empty));
472        Ok(())
473    }
474
475    #[test]
476    fn parenthesized_expression_can_call_any_method() -> anyhow::Result<()> {
477        let vm = Vm::with_all()?;
478        vm.import_code(
479            "vm_parenthesized_method_call",
480            br#"
481            pub fn run(value) {
482                (value + 2).to_i64()
483            }
484            "#
485            .to_vec(),
486        )?;
487
488        let compiled = vm.get_fn("vm_parenthesized_method_call::run", &[Type::Any])?;
489        assert_eq!(compiled.ret_ty(), &Type::I64);
490        let run: extern "C" fn(*const Dynamic) -> i64 = unsafe { std::mem::transmute(compiled.ptr()) };
491        let value = Dynamic::from(40i64);
492
493        assert_eq!(run(&value), 42);
494        Ok(())
495    }
496
497    #[test]
498    fn any_keys_returns_map_keys_and_empty_list_for_other_values() -> anyhow::Result<()> {
499        let vm = Vm::with_all()?;
500        vm.import_code(
501            "vm_any_keys",
502            br#"
503            pub fn map_keys(value) {
504                let keys = value.keys();
505                keys.len() == 2 && keys.contains("alpha") && keys.contains("beta")
506            }
507
508            pub fn non_map_keys(value) {
509                value.keys().len() == 0
510            }
511            "#
512            .to_vec(),
513        )?;
514
515        let compiled = vm.get_fn("vm_any_keys::map_keys", &[Type::Any])?;
516        assert_eq!(compiled.ret_ty(), &Type::Bool);
517        let map_keys: extern "C" fn(*const Dynamic) -> bool = unsafe { std::mem::transmute(compiled.ptr()) };
518        let value = dynamic::map!("alpha"=> 1i64, "beta"=> 2i64);
519        assert!(map_keys(&value));
520
521        let compiled = vm.get_fn("vm_any_keys::non_map_keys", &[Type::Any])?;
522        assert_eq!(compiled.ret_ty(), &Type::Bool);
523        let non_map_keys: extern "C" fn(*const Dynamic) -> bool = unsafe { std::mem::transmute(compiled.ptr()) };
524        let value = Dynamic::from("alpha");
525        assert!(non_map_keys(&value));
526        Ok(())
527    }
528
529    #[test]
530    fn compares_concrete_value_with_string_literal_as_string() -> anyhow::Result<()> {
531        let vm = Vm::with_all()?;
532        vm.import_code(
533            "vm_string_compare_imm",
534            br#"
535            pub fn int_eq_str(value: i64) {
536                value == "42"
537            }
538
539            pub fn int_to_str(value: i64) {
540                value + ""
541            }
542            "#
543            .to_vec(),
544        )?;
545
546        let compiled = vm.get_fn("vm_string_compare_imm::int_eq_str", &[Type::I64])?;
547        assert_eq!(compiled.ret_ty(), &Type::Bool);
548
549        let int_eq_str: extern "C" fn(i64) -> bool = unsafe { std::mem::transmute(compiled.ptr()) };
550
551        let compiled = vm.get_fn("vm_string_compare_imm::int_to_str", &[Type::I64])?;
552        assert_eq!(compiled.ret_ty(), &Type::Any);
553        let int_to_str: extern "C" fn(i64) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
554        let text = int_to_str(42);
555        assert_eq!(unsafe { &*text }.as_str(), "42");
556
557        assert!(int_eq_str(42));
558        assert!(!int_eq_str(7));
559        Ok(())
560    }
561
562    #[test]
563    fn concatenates_string_with_integer_values() -> anyhow::Result<()> {
564        let vm = Vm::with_all()?;
565        vm.import_code(
566            "vm_string_concat_integer",
567            br#"
568            pub fn idx_key(idx: i64) {
569                "" + idx
570            }
571
572            pub fn level_text(level: i64) {
573                "" + level + " level"
574            }
575
576            pub fn gold_text(currency) {
577                "" + currency.gold
578            }
579            "#
580            .to_vec(),
581        )?;
582
583        let compiled = vm.get_fn("vm_string_concat_integer::idx_key", &[Type::I64])?;
584        let idx_key: extern "C" fn(i64) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
585        let result = unsafe { &*idx_key(7) };
586        assert_eq!(result.as_str(), "7");
587
588        let compiled = vm.get_fn("vm_string_concat_integer::level_text", &[Type::I64])?;
589        let level_text: extern "C" fn(i64) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
590        let result = unsafe { &*level_text(12) };
591        assert_eq!(result.as_str(), "12 level");
592
593        let compiled = vm.get_fn("vm_string_concat_integer::gold_text", &[Type::Any])?;
594        let gold_text: extern "C" fn(*const Dynamic) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
595        let currency = dynamic::map!("gold"=> 345i64);
596        let result = unsafe { &*gold_text(&currency) };
597        assert_eq!(result.as_str(), "345");
598        Ok(())
599    }
600
601    #[test]
602    fn coerces_string_concat_to_i64_without_unimplemented_log() -> anyhow::Result<()> {
603        let vm = Vm::with_all()?;
604        vm.import_code(
605            "vm_string_concat_to_i64",
606            br#"
607            pub fn run(idx: i64) {
608                ("" + idx) as i64
609            }
610            "#
611            .to_vec(),
612        )?;
613
614        let compiled = vm.get_fn("vm_string_concat_to_i64::run", &[Type::I64])?;
615        assert_eq!(compiled.ret_ty(), &Type::I64);
616        let run: extern "C" fn(i64) -> i64 = unsafe { std::mem::transmute(compiled.ptr()) };
617        assert_eq!(run(7), 0);
618        Ok(())
619    }
620
621    #[test]
622    fn unifies_explicit_return_and_tail_integer_widths() -> anyhow::Result<()> {
623        let vm = Vm::with_all()?;
624        vm.import_code(
625            "vm_return_integer_widths",
626            br#"
627            pub fn selected(flag, slot) {
628                if flag {
629                    return slot;
630                }
631                0
632            }
633            "#
634            .to_vec(),
635        )?;
636
637        let compiled = vm.get_fn("vm_return_integer_widths::selected", &[Type::Bool, Type::I64])?;
638        assert_eq!(compiled.ret_ty(), &Type::I64);
639        let selected: extern "C" fn(bool, i64) -> i64 = unsafe { std::mem::transmute(compiled.ptr()) };
640
641        assert_eq!(selected(true, 7), 7);
642        assert_eq!(selected(false, 7), 0);
643        Ok(())
644    }
645
646    #[test]
647    fn root_contains_string_concat_is_bool_condition() -> anyhow::Result<()> {
648        let vm = Vm::with_all()?;
649        vm.import_code(
650            "vm_root_contains_condition",
651            br#"
652            pub fn exists(user_id) {
653                if root::contains("redis/user/" + user_id) {
654                    return 1;
655                }
656                0
657            }
658            "#
659            .to_vec(),
660        )?;
661
662        assert_eq!(vm.infer("root::contains", &[Type::Any])?, Type::Bool);
663        let compiled = vm.get_fn("vm_root_contains_condition::exists", &[Type::Any])?;
664        assert_eq!(compiled.ret_ty(), &Type::I32);
665        Ok(())
666    }
667
668    #[test]
669    fn semicolon_tail_call_makes_function_void() -> anyhow::Result<()> {
670        let vm = Vm::with_all()?;
671        vm.import_code(
672            "vm_semicolon_tail_void",
673            br#"
674            pub fn send_role_select(idx, account_id, selected_slot) {
675                root::send("local/ui/send_dialog", {
676                    idx: idx,
677                    account_id: account_id,
678                    selected_slot: selected_slot
679                });
680            }
681            "#
682            .to_vec(),
683        )?;
684
685        let compiled = vm.get_fn("vm_semicolon_tail_void::send_role_select", &[Type::Any, Type::Any, Type::Any])?;
686        assert_eq!(compiled.ret_ty(), &Type::Void);
687        Ok(())
688    }
689
690    #[test]
691    fn bare_return_conflicts_with_non_void_return() -> anyhow::Result<()> {
692        let vm = Vm::with_all()?;
693        vm.import_code(
694            "vm_bare_return_conflict",
695            br#"
696            pub fn run(flag) {
697                if flag {
698                    return;
699                }
700                1
701            }
702            "#
703            .to_vec(),
704        )?;
705
706        let err = match vm.get_fn("vm_bare_return_conflict::run", &[Type::Bool]) {
707            Ok(_) => panic!("expected mismatched return types to fail"),
708            Err(err) => err,
709        };
710        assert!(format!("{err:#}").contains("返回类型不一致"));
711        Ok(())
712    }
713
714    #[test]
715    fn root_get_accepts_string_concat_with_dynamic_field() -> anyhow::Result<()> {
716        let vm = Vm::with_all()?;
717        vm.import_code(
718            "vm_root_get_dynamic_concat",
719            br#"
720            pub fn get_action(req) {
721                root::get("local/game/panel_actions/" + req.idx)
722            }
723            "#
724            .to_vec(),
725        )?;
726
727        root::add("local/game/panel_actions/7", dynamic::map!("id"=> "action-7").into())?;
728        let compiled = vm.get_fn("vm_root_get_dynamic_concat::get_action", &[Type::Any])?;
729        assert_eq!(compiled.ret_ty(), &Type::Any);
730        let get_action: extern "C" fn(*const Dynamic) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
731        let req = dynamic::map!("idx"=> 7i64);
732        let result = unsafe { &*get_action(&req) };
733
734        assert_eq!(result.get_dynamic("id").map(|value| value.as_str().to_string()), Some("action-7".to_string()));
735        Ok(())
736    }
737
738    #[test]
739    fn root_add_fn_registers_handler_with_dynamic_field_path_concat() -> anyhow::Result<()> {
740        let vm = Vm::with_all()?;
741        vm.import_code(
742            "vm_registered_panel_action",
743            br#"
744            pub fn panel_action(req) {
745                root::get("local/game/panel_actions/" + req.idx)
746            }
747
748            pub fn register() {
749                root::add_fn("local/ui/panel_action", "vm_registered_panel_action::panel_action")
750            }
751            "#
752            .to_vec(),
753        )?;
754
755        let compiled = vm.get_fn("vm_registered_panel_action::register", &[])?;
756        assert_eq!(compiled.ret_ty(), &Type::Bool);
757        let register: extern "C" fn() -> bool = unsafe { std::mem::transmute(compiled.ptr()) };
758        assert!(register());
759        Ok(())
760    }
761
762    #[test]
763    fn root_add_fn_accepts_string_concat_in_registered_handler() -> anyhow::Result<()> {
764        let vm = Vm::with_all()?;
765        vm.import_code(
766            "vm_registered_string_concat",
767            br#"
768            pub fn send_panel(idx: i64) {
769                let idx_key = "" + idx;
770                idx_key
771            }
772            "#
773            .to_vec(),
774        )?;
775
776        assert!(vm.get_fn_ptr("vm_registered_string_concat::send_panel", &[Type::Any]).is_ok());
777        Ok(())
778    }
779
780    #[test]
781    fn compiles_public_hotspots_with_string_paths_and_keys() -> anyhow::Result<()> {
782        let vm = Vm::with_all()?;
783        vm.import_code(
784            "vm_public_hotspots",
785            br#"
786            pub fn public_hotspot(action_map_path, panel_id, action_id, hotspot) {
787                {
788                    path: action_map_path,
789                    panel_id: panel_id,
790                    action_id: action_id,
791                    id: hotspot.id
792                }
793            }
794
795            pub fn public_hotspots(idx, panel_id, hotspots) {
796                let idx_key = "" + idx;
797                let action_map_path = "local/game/panel_actions/" + idx_key;
798
799                let existing_action_map = root::get(action_map_path);
800                if !existing_action_map.is_map() {
801                    root::add_map(action_map_path);
802                }
803
804                if hotspots.is_map() {
805                    let public_items = {};
806                    for action_id in hotspots.keys() {
807                        public_items[action_id] = public_hotspot(action_map_path, panel_id, action_id, hotspots[action_id]);
808                    }
809                    return public_items;
810                }
811
812                let public_items = [];
813                let i = 0;
814                while i < hotspots.len() {
815                    let hotspot = hotspots.get_idx(i);
816                    let item = public_hotspot(action_map_path, panel_id, hotspot.id, hotspot);
817                    public_items.push(item);
818                    i = i + 1;
819                }
820
821                public_items
822            }
823            "#
824            .to_vec(),
825        )?;
826
827        assert!(vm.get_fn("vm_public_hotspots::public_hotspots", &[Type::I64, Type::Any, Type::Any]).is_ok());
828        assert!(vm.get_fn("vm_public_hotspots::public_hotspots", &[Type::Any, Type::Any, Type::Any]).is_ok());
829        Ok(())
830    }
831
832    #[test]
833    fn send_panel_calls_public_hotspots_with_dynamic_request() -> anyhow::Result<()> {
834        let vm = Vm::with_all()?;
835        vm.import_code(
836            "vm_send_panel_public_hotspots",
837            br#"
838            pub fn ok(value) {
839                value
840            }
841
842            pub fn panel_from_node(req) {
843                {
844                    panel_id: req.panel_id,
845                    hotspots: req.hotspots
846                }
847            }
848
849            pub fn public_hotspot(action_map_path, panel_id, action_id, hotspot) {
850                {
851                    path: action_map_path,
852                    panel_id: panel_id,
853                    action_id: action_id,
854                    id: hotspot.id
855                }
856            }
857
858            pub fn public_hotspots(idx, panel_id, hotspots) {
859                let idx_key = "" + idx;
860                let action_map_path = "local/game/panel_actions/" + idx_key;
861
862                let existing_action_map = root::get(action_map_path);
863                if !existing_action_map.is_map() {
864                    root::add_map(action_map_path);
865                }
866
867                if hotspots.is_map() {
868                    let public_items = {};
869                    for action_id in hotspots.keys() {
870                        public_items[action_id] = public_hotspot(action_map_path, panel_id, action_id, hotspots[action_id]);
871                    }
872                    return public_items;
873                }
874
875                let public_items = [];
876                let i = 0;
877                while i < hotspots.len() {
878                    let hotspot = hotspots.get_idx(i);
879                    let item = public_hotspot(action_map_path, panel_id, hotspot.id, hotspot);
880                    public_items.push(item);
881                    i = i + 1;
882                }
883
884                public_items
885            }
886
887            pub fn send_panel(req) {
888                let panel = req.panel;
889                if !panel.is_map() {
890                    panel = panel_from_node(req);
891                }
892                if !panel.is_map() {
893                    return ok({
894                        id: 4,
895                        type: "panel_rejected",
896                        reason: "invalid panel"
897                    });
898                }
899                panel.id = 4;
900                panel.idx = req.idx;
901                if !panel.contains("type") {
902                    panel.type = "panel";
903                }
904                if panel.contains("hotspots") {
905                    panel.hotspots = public_hotspots(req.idx, panel.panel_id, panel.hotspots);
906                }
907                root::send_idx("local/ws", req.idx, panel);
908                ok({
909                    id: 4,
910                    type: "panel",
911                    panel_id: panel.panel_id
912                })
913            }
914            "#
915            .to_vec(),
916        )?;
917
918        let compiled = vm.get_fn("vm_send_panel_public_hotspots::send_panel", &[Type::Any])?;
919        assert_eq!(compiled.ret_ty(), &Type::Any);
920        let send_panel: extern "C" fn(*const Dynamic) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
921        let req = dynamic::map!(
922            "idx"=> 7i64,
923            "panel"=> dynamic::map!(
924                "panel_id"=> "main",
925                "hotspots"=> dynamic::map!(
926                    "open"=> dynamic::map!("id"=> "open")
927                )
928            )
929        );
930        let result = unsafe { &*send_panel(&req) };
931
932        assert_eq!(result.get_dynamic("type").map(|value| value.as_str().to_string()), Some("panel".to_string()));
933        assert_eq!(result.get_dynamic("panel_id").map(|value| value.as_str().to_string()), Some("main".to_string()));
934        Ok(())
935    }
936
937    #[test]
938    fn map_assignment_accepts_string_concat_key() -> anyhow::Result<()> {
939        let vm = Vm::with_all()?;
940        vm.import_code(
941            "vm_string_concat_map_key",
942            br##"
943            pub fn write_action(action_map, panel_id, action_id, action) {
944                action_map[panel_id + "#" + action_id] = action;
945                action_map[panel_id + "#" + action_id]
946            }
947            "##
948            .to_vec(),
949        )?;
950
951        let compiled = vm.get_fn("vm_string_concat_map_key::write_action", &[Type::Any, Type::Any, Type::Any, Type::Any])?;
952        let write_action: extern "C" fn(*const Dynamic, *const Dynamic, *const Dynamic, *const Dynamic) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
953        let action_map = dynamic::map!();
954        let panel_id: Dynamic = "panel".into();
955        let action_id: Dynamic = "open".into();
956        let action = dynamic::map!("id"=> "open");
957
958        let result = unsafe { &*write_action(&action_map, &panel_id, &action_id, &action) };
959
960        assert_eq!(result.get_dynamic("id").map(|value| value.as_str().to_string()), Some("open".to_string()));
961        assert_eq!(action_map.get_dynamic("panel#open").and_then(|value| value.get_dynamic("id")).map(|value| value.as_str().to_string()), Some("open".to_string()));
962        Ok(())
963    }
964
965    #[test]
966    fn map_get_key_accepts_string_concat_key_variable() -> anyhow::Result<()> {
967        let vm = Vm::with_all()?;
968        vm.import_code(
969            "vm_get_key_string_concat_key",
970            br##"
971            pub fn read_action(action_map, panel_id, action_id) {
972                let action_key = panel_id + "#" + action_id;
973                action_map.get_key(action_key)
974            }
975            "##
976            .to_vec(),
977        )?;
978
979        let compiled = vm.get_fn("vm_get_key_string_concat_key::read_action", &[Type::Any, Type::Any, Type::Any])?;
980        let read_action: extern "C" fn(*const Dynamic, *const Dynamic, *const Dynamic) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
981        let action_map = dynamic::map!("panel#open"=> dynamic::map!("id"=> "open"));
982        let panel_id: Dynamic = "panel".into();
983        let action_id: Dynamic = "open".into();
984
985        let result = unsafe { &*read_action(&action_map, &panel_id, &action_id) };
986
987        assert_eq!(result.get_dynamic("id").map(|value| value.as_str().to_string()), Some("open".to_string()));
988        Ok(())
989    }
990
991    #[test]
992    fn map_get_key_accepts_helper_string_key() -> anyhow::Result<()> {
993        let vm = Vm::with_all()?;
994        vm.import_code(
995            "vm_get_key_helper_string_key",
996            br##"
997            pub fn make_action_key(panel_id, action_id) {
998                panel_id + "#" + action_id
999            }
1000
1001            pub fn read_action(action_map, panel_id, action_id) {
1002                let action_key = make_action_key(panel_id, action_id);
1003                let action = action_map.get_key(action_key);
1004                action
1005            }
1006            "##
1007            .to_vec(),
1008        )?;
1009
1010        let compiled = vm.get_fn("vm_get_key_helper_string_key::read_action", &[Type::Any, Type::Any, Type::Any])?;
1011        let read_action: extern "C" fn(*const Dynamic, *const Dynamic, *const Dynamic) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1012        let action_map = dynamic::map!("panel#open"=> dynamic::map!("id"=> "open"));
1013        let panel_id: Dynamic = "panel".into();
1014        let action_id: Dynamic = "open".into();
1015
1016        let result = unsafe { &*read_action(&action_map, &panel_id, &action_id) };
1017
1018        assert_eq!(result.get_dynamic("id").map(|value| value.as_str().to_string()), Some("open".to_string()));
1019        Ok(())
1020    }
1021
1022    #[test]
1023    fn dynamic_field_value_participates_in_or_expression() -> anyhow::Result<()> {
1024        let vm = Vm::with_all()?;
1025        vm.import_code(
1026            "vm_dynamic_field_or",
1027            r#"
1028            pub fn next_or_start() {
1029                let choice = {
1030                    label: "颜色",
1031                    next: "color"
1032                };
1033                choice.next || "start"
1034            }
1035
1036            pub fn direct_next() {
1037                let choice = {
1038                    label: "颜色",
1039                    next: "color"
1040                };
1041                choice.next
1042            }
1043
1044            pub fn bracket_next() {
1045                let choice = {
1046                    label: "颜色",
1047                    next: "color"
1048                };
1049                choice["next"]
1050            }
1051
1052            pub fn assigned_preview() {
1053                let choice = {
1054                    next: "tax_free"
1055                };
1056                choice.preview = choice.next || "start";
1057                choice
1058            }
1059            "#
1060            .as_bytes()
1061            .to_vec(),
1062        )?;
1063
1064        let compiled = vm.get_fn("vm_dynamic_field_or::direct_next", &[])?;
1065        assert_eq!(compiled.ret_ty(), &Type::Any);
1066        let direct_next: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1067        assert_eq!(unsafe { &*direct_next() }.as_str(), "color");
1068
1069        let compiled = vm.get_fn("vm_dynamic_field_or::bracket_next", &[])?;
1070        assert_eq!(compiled.ret_ty(), &Type::Any);
1071        let bracket_next: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1072        assert_eq!(unsafe { &*bracket_next() }.as_str(), "color");
1073
1074        let compiled = vm.get_fn("vm_dynamic_field_or::next_or_start", &[])?;
1075        assert_eq!(compiled.ret_ty(), &Type::Any);
1076        let next_or_start: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1077        assert_eq!(unsafe { &*next_or_start() }.as_str(), "color");
1078
1079        let compiled = vm.get_fn("vm_dynamic_field_or::assigned_preview", &[])?;
1080        assert_eq!(compiled.ret_ty(), &Type::Any);
1081        let assigned_preview: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1082        let choice = unsafe { &*assigned_preview() };
1083        assert_eq!(choice.get_dynamic("preview").unwrap().as_str(), "tax_free");
1084        Ok(())
1085    }
1086
1087    #[test]
1088    fn empty_object_literal_in_if_branch_stays_dynamic() -> anyhow::Result<()> {
1089        let vm = Vm::with_all()?;
1090        vm.import_code(
1091            "vm_if_empty_object_branch",
1092            r#"
1093            pub fn first_note(steps) {
1094                let first = if steps.len() > 0 { steps[0] } else { {} };
1095                let first_note = first.note || "fallback";
1096                first_note
1097            }
1098
1099            pub fn first_ja(steps) {
1100                let first = if steps.len() > 0 { steps[0] } else { {} };
1101                first.ja || "すみません"
1102            }
1103
1104            pub fn assign_first_note(steps) {
1105                let first = {};
1106                first = if steps.len() > 0 { steps[0] } else { {} };
1107                first.note || "fallback"
1108            }
1109            "#
1110            .as_bytes()
1111            .to_vec(),
1112        )?;
1113
1114        let compiled = vm.get_fn("vm_if_empty_object_branch::first_note", &[Type::Any])?;
1115        assert_eq!(compiled.ret_ty(), &Type::Any);
1116        let first_note: extern "C" fn(*const Dynamic) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1117
1118        let empty_steps = Dynamic::list(Vec::new());
1119        assert_eq!(unsafe { &*first_note(&empty_steps) }.as_str(), "fallback");
1120
1121        let mut step = std::collections::BTreeMap::new();
1122        step.insert("note".into(), "hello".into());
1123        let steps = Dynamic::list(vec![Dynamic::map(step)]);
1124        assert_eq!(unsafe { &*first_note(&steps) }.as_str(), "hello");
1125
1126        let compiled = vm.get_fn("vm_if_empty_object_branch::first_ja", &[Type::Any])?;
1127        assert_eq!(compiled.ret_ty(), &Type::Any);
1128        let first_ja: extern "C" fn(*const Dynamic) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1129        assert_eq!(unsafe { &*first_ja(&empty_steps) }.as_str(), "すみません");
1130
1131        let compiled = vm.get_fn("vm_if_empty_object_branch::assign_first_note", &[Type::Any])?;
1132        assert_eq!(compiled.ret_ty(), &Type::Any);
1133        let assign_first_note: extern "C" fn(*const Dynamic) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1134        assert_eq!(unsafe { &*assign_first_note(&empty_steps) }.as_str(), "fallback");
1135        assert_eq!(unsafe { &*assign_first_note(&steps) }.as_str(), "hello");
1136        Ok(())
1137    }
1138
1139    #[test]
1140    fn list_literal_can_be_function_tail_expression() -> anyhow::Result<()> {
1141        let vm = Vm::with_all()?;
1142        vm.import_code(
1143            "vm_tail_list_literal",
1144            r#"
1145            pub fn numbers() {
1146                [1, 2, 3]
1147            }
1148
1149            pub fn maps() {
1150                [
1151                    {note: "first"},
1152                    {note: "second"}
1153                ]
1154            }
1155
1156            pub fn object_with_maps() {
1157                {
1158                    steps: [
1159                        {note: "first"},
1160                        {note: "second"}
1161                    ]
1162                }
1163            }
1164
1165            pub fn return_maps() {
1166                return [
1167                    {note: "first"},
1168                    {note: "second"}
1169                ];
1170            }
1171
1172            pub fn return_maps_without_semicolon() {
1173                return [
1174                    {note: "first"},
1175                    {note: "second"}
1176                ]
1177            }
1178
1179            pub fn tail_bare_variable() {
1180                let value = [
1181                    {note: "first"},
1182                    {note: "second"}
1183                ];
1184                value
1185            }
1186
1187            pub fn return_bare_variable_without_semicolon() {
1188                let value = [
1189                    {note: "first"},
1190                    {note: "second"}
1191                ];
1192                return value
1193            }
1194
1195            pub fn tail_object_variable() {
1196                let result = {
1197                    steps: [
1198                        {note: "first"},
1199                        {note: "second"}
1200                    ]
1201                };
1202                result
1203            }
1204            "#
1205            .as_bytes()
1206            .to_vec(),
1207        )?;
1208
1209        let compiled = vm.get_fn("vm_tail_list_literal::numbers", &[])?;
1210        assert_eq!(compiled.ret_ty(), &Type::Any);
1211        let numbers: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1212        let result = unsafe { &*numbers() };
1213        assert_eq!(result.len(), 3);
1214        assert_eq!(result.get_idx(1).and_then(|value| value.as_int()), Some(2));
1215
1216        let compiled = vm.get_fn("vm_tail_list_literal::maps", &[])?;
1217        assert_eq!(compiled.ret_ty(), &Type::Any);
1218        let maps: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1219        let result = unsafe { &*maps() };
1220        assert_eq!(result.len(), 2);
1221        assert_eq!(result.get_idx(1).and_then(|value| value.get_dynamic("note")).map(|value| value.as_str().to_string()), Some("second".to_string()));
1222
1223        let compiled = vm.get_fn("vm_tail_list_literal::object_with_maps", &[])?;
1224        assert_eq!(compiled.ret_ty(), &Type::Any);
1225        let object_with_maps: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1226        let result = unsafe { &*object_with_maps() };
1227        let steps = result.get_dynamic("steps").expect("steps");
1228        assert_eq!(steps.len(), 2);
1229        assert_eq!(steps.get_idx(0).and_then(|value| value.get_dynamic("note")).map(|value| value.as_str().to_string()), Some("first".to_string()));
1230
1231        let compiled = vm.get_fn("vm_tail_list_literal::return_maps", &[])?;
1232        assert_eq!(compiled.ret_ty(), &Type::Any);
1233        let return_maps: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1234        let result = unsafe { &*return_maps() };
1235        assert_eq!(result.len(), 2);
1236        assert_eq!(result.get_idx(1).and_then(|value| value.get_dynamic("note")).map(|value| value.as_str().to_string()), Some("second".to_string()));
1237
1238        let compiled = vm.get_fn("vm_tail_list_literal::return_maps_without_semicolon", &[])?;
1239        assert_eq!(compiled.ret_ty(), &Type::Any);
1240        let return_maps_without_semicolon: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1241        let result = unsafe { &*return_maps_without_semicolon() };
1242        assert_eq!(result.len(), 2);
1243        assert_eq!(result.get_idx(0).and_then(|value| value.get_dynamic("note")).map(|value| value.as_str().to_string()), Some("first".to_string()));
1244
1245        let compiled = vm.get_fn("vm_tail_list_literal::tail_bare_variable", &[])?;
1246        assert_eq!(compiled.ret_ty(), &Type::Any);
1247        let tail_bare_variable: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1248        let result = unsafe { &*tail_bare_variable() };
1249        assert_eq!(result.len(), 2);
1250        assert_eq!(result.get_idx(1).and_then(|value| value.get_dynamic("note")).map(|value| value.as_str().to_string()), Some("second".to_string()));
1251
1252        let compiled = vm.get_fn("vm_tail_list_literal::return_bare_variable_without_semicolon", &[])?;
1253        assert_eq!(compiled.ret_ty(), &Type::Any);
1254        let return_bare_variable_without_semicolon: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1255        let result = unsafe { &*return_bare_variable_without_semicolon() };
1256        assert_eq!(result.len(), 2);
1257        assert_eq!(result.get_idx(0).and_then(|value| value.get_dynamic("note")).map(|value| value.as_str().to_string()), Some("first".to_string()));
1258
1259        let compiled = vm.get_fn("vm_tail_list_literal::tail_object_variable", &[])?;
1260        assert_eq!(compiled.ret_ty(), &Type::Any);
1261        let tail_object_variable: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1262        let result = unsafe { &*tail_object_variable() };
1263        let steps = result.get_dynamic("steps").expect("steps");
1264        assert_eq!(steps.len(), 2);
1265        assert_eq!(steps.get_idx(1).and_then(|value| value.get_dynamic("note")).map(|value| value.as_str().to_string()), Some("second".to_string()));
1266        Ok(())
1267    }
1268
1269    #[test]
1270    fn list_return_value_supports_get_idx_method_call() -> anyhow::Result<()> {
1271        let vm = Vm::with_all()?;
1272        vm.import_code(
1273            "vm_returned_list_get_idx",
1274            r#"
1275            pub fn ids() {
1276                [
1277                    "base",
1278                    "2",
1279                    "3"
1280                ]
1281            }
1282
1283            pub fn combinations() {
1284                let result = [];
1285                let values = ids();
1286                let idx = 0;
1287                while idx < values.len() {
1288                    result.push(values.get_idx(idx));
1289                    idx = idx + 1;
1290                }
1291                result
1292            }
1293            "#
1294            .as_bytes()
1295            .to_vec(),
1296        )?;
1297
1298        let compiled = vm.get_fn("vm_returned_list_get_idx::combinations", &[])?;
1299        assert_eq!(compiled.ret_ty(), &Type::Any);
1300        let combinations: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1301        let result = unsafe { &*combinations() };
1302
1303        assert_eq!(result.len(), 3);
1304        assert_eq!(result.get_idx(0).map(|value| value.as_str().to_string()), Some("base".to_string()));
1305        assert_eq!(result.get_idx(2).map(|value| value.as_str().to_string()), Some("3".to_string()));
1306        Ok(())
1307    }
1308
1309    #[test]
1310    fn repeated_deep_step_literals_import_successfully() -> anyhow::Result<()> {
1311        fn extra_page_literal(depth: usize) -> String {
1312            let mut value = "{leaf: \"done\"}".to_string();
1313            for idx in 0..depth {
1314                value = format!("{{kind: \"page\", idx: {idx}, children: [{value}], meta: {{title: \"extra\", visible: true}}}}");
1315            }
1316            value
1317        }
1318
1319        let extra = extra_page_literal(48);
1320        let code = format!(
1321            r#"
1322            pub fn script() {{
1323                return [
1324                    {{ja: "一つ目", note: "first", extra: {extra}}},
1325                    {{ja: "二つ目", note: "second", extra: {extra}}},
1326                    {{ja: "三つ目", note: "third", extra: {extra}}}
1327                ]
1328            }}
1329            "#
1330        );
1331
1332        let vm = Vm::with_all()?;
1333        vm.import_code("vm_repeated_deep_step_literals", code.into_bytes())?;
1334        let compiled = vm.get_fn("vm_repeated_deep_step_literals::script", &[])?;
1335        assert_eq!(compiled.ret_ty(), &Type::Any);
1336        let script: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1337        let result = unsafe { &*script() };
1338        assert_eq!(result.len(), 3);
1339        assert_eq!(result.get_idx(2).and_then(|value| value.get_dynamic("note")).map(|value| value.as_str().to_string()), Some("third".to_string()));
1340        Ok(())
1341    }
1342
1343    #[test]
1344    fn native_import_uses_owning_vm() -> anyhow::Result<()> {
1345        let module_path = std::env::temp_dir().join(format!("zust_vm_import_owner_{}.zs", std::process::id()));
1346        std::fs::write(&module_path, "pub fn value() { 41 }")?;
1347        let module_path = module_path.to_string_lossy().replace('\\', "\\\\").replace('"', "\\\"");
1348
1349        let vm1 = Vm::with_all()?;
1350        vm1.import_code(
1351            "vm_import_owner",
1352            format!(
1353                r#"
1354                pub fn run() {{
1355                    import("vm_imported_owner", "{module_path}");
1356                }}
1357                "#
1358            )
1359            .into_bytes(),
1360        )?;
1361        let compiled = vm1.get_fn("vm_import_owner::run", &[])?;
1362
1363        let vm2 = Vm::with_all()?;
1364        vm2.import_code("vm_import_other", b"pub fn run() { 0 }".to_vec())?;
1365        let _ = vm2.get_fn("vm_import_other::run", &[])?;
1366
1367        let run: extern "C" fn() = unsafe { std::mem::transmute(compiled.ptr()) };
1368        run();
1369
1370        assert!(vm1.get_fn("vm_imported_owner::value", &[]).is_ok());
1371        assert!(vm2.get_fn("vm_imported_owner::value", &[]).is_err());
1372        Ok(())
1373    }
1374
1375    #[test]
1376    fn object_last_field_call_does_not_need_trailing_comma() -> anyhow::Result<()> {
1377        let vm = Vm::with_all()?;
1378        vm.import_code(
1379            "vm_object_last_call_field",
1380            r#"
1381            pub fn extra_page() {
1382                {
1383                    title: "extra",
1384                    pages: [
1385                        {note: "nested"}
1386                    ]
1387                }
1388            }
1389
1390            pub fn data() {
1391                return [
1392                    {
1393                        note: "first",
1394                        choices: ["a", "b"],
1395                        extras: extra_page()
1396                    },
1397                    {
1398                        note: "second",
1399                        choices: ["c"],
1400                        extras: extra_page()
1401                    }
1402                ]
1403            }
1404            "#
1405            .as_bytes()
1406            .to_vec(),
1407        )?;
1408
1409        let compiled = vm.get_fn("vm_object_last_call_field::data", &[])?;
1410        assert_eq!(compiled.ret_ty(), &Type::Any);
1411        let data: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1412        let result = unsafe { &*data() };
1413        assert_eq!(result.len(), 2);
1414        let first = result.get_idx(0).expect("first step");
1415        assert_eq!(first.get_dynamic("extras").and_then(|extras| extras.get_dynamic("title")).map(|title| title.as_str().to_string()), Some("extra".to_string()));
1416        Ok(())
1417    }
1418
1419    #[test]
1420    fn gpu_struct_layout_packs_and_unpacks_dynamic_maps() -> anyhow::Result<()> {
1421        let vm = Vm::with_all()?;
1422        vm.import_code(
1423            "vm_gpu_layout",
1424            br#"
1425            pub struct Params {
1426                a: u32,
1427                b: u32,
1428                c: u32,
1429            }
1430            "#
1431            .to_vec(),
1432        )?;
1433
1434        let layout = vm.gpu_struct_layout("vm_gpu_layout::Params", &[])?;
1435        assert_eq!(layout.size, 16);
1436        assert_eq!(layout.fields.iter().map(|field| (field.name.as_str(), field.offset)).collect::<Vec<_>>(), vec![("a", 0), ("b", 4), ("c", 8)]);
1437
1438        let value = dynamic::map!("a"=> 1u32, "b"=> 2u32, "c"=> 3u32);
1439        let bytes = layout.pack_map(&value)?;
1440        assert_eq!(bytes.len(), 16);
1441        assert_eq!(&bytes[0..4], &1u32.to_ne_bytes());
1442        assert_eq!(&bytes[4..8], &2u32.to_ne_bytes());
1443        assert_eq!(&bytes[8..12], &3u32.to_ne_bytes());
1444
1445        let read = layout.unpack_map(&bytes)?;
1446        assert_eq!(read.get_dynamic("a").and_then(|value| value.as_uint()), Some(1));
1447        assert_eq!(read.get_dynamic("b").and_then(|value| value.as_uint()), Some(2));
1448        assert_eq!(read.get_dynamic("c").and_then(|value| value.as_uint()), Some(3));
1449        Ok(())
1450    }
1451
1452    #[test]
1453    fn root_native_calls_do_not_take_ownership_of_dynamic_args() -> anyhow::Result<()> {
1454        let vm = Vm::with_all()?;
1455        vm.import_code(
1456            "vm_root_clone_bridge",
1457            br#"
1458            pub fn add_then_reuse(arg) {
1459                let user = {
1460                    address: "test-wallet",
1461                    points: 20
1462                };
1463                root::add("local/root-clone-bridge-user", user);
1464                user.points = user.points - 7;
1465                root::add("local/root-clone-bridge-user", user);
1466                {
1467                    user: user,
1468                    points: user.points
1469                }
1470            }
1471
1472            pub fn clone_then_mutate(arg) {
1473                let user = {
1474                    profile: {
1475                        points: 20
1476                    }
1477                };
1478                let copied = user.clone();
1479                copied.profile.points = 13;
1480                user
1481            }
1482            "#
1483            .to_vec(),
1484        )?;
1485
1486        let compiled = vm.get_fn("vm_root_clone_bridge::add_then_reuse", &[Type::Any])?;
1487        assert_eq!(compiled.ret_ty(), &Type::Any);
1488        let add_then_reuse: extern "C" fn(*const Dynamic) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1489        let arg = Dynamic::Null;
1490        let result = add_then_reuse(&arg);
1491        let result = unsafe { &*result };
1492
1493        assert_eq!(result.get_dynamic("points").and_then(|value| value.as_int()), Some(13));
1494        let mut json = String::new();
1495        result.to_json(&mut json);
1496        assert!(json.contains("\"points\": 13"));
1497
1498        let clone_then_mutate = vm.get_fn("vm_root_clone_bridge::clone_then_mutate", &[Type::Any])?;
1499        let clone_then_mutate: extern "C" fn(*const Dynamic) -> *const Dynamic = unsafe { std::mem::transmute(clone_then_mutate.ptr()) };
1500        let result = clone_then_mutate(&arg);
1501        let result = unsafe { &*result };
1502        assert_eq!(result.get_dynamic("profile").unwrap().get_dynamic("points").and_then(|value| value.as_int()), Some(20));
1503        Ok(())
1504    }
1505
1506    struct CounterForTypedReceiver {
1507        value: i64,
1508    }
1509
1510    extern "C" fn counter_for_typed_receiver_get(value: *const Dynamic) -> i64 {
1511        unsafe { &*value }.as_custom::<CounterForTypedReceiver>().map(|counter| counter.value).unwrap_or(-1)
1512    }
1513
1514    struct NavMapForFunctionArg;
1515
1516    extern "C" fn nav_map_for_function_arg_new() -> *const Dynamic {
1517        Box::into_raw(Box::new(Dynamic::custom(NavMapForFunctionArg)))
1518    }
1519
1520    #[test]
1521    fn typed_receiver_method_call_dispatches_with_type_hint() -> anyhow::Result<()> {
1522        let vm = Vm::with_all()?;
1523        vm.add_empty_type("Counter")?;
1524        let counter_ty = vm.get_symbol("Counter", Vec::new())?;
1525        vm.add_native_method_ptr("Counter", "get", &[counter_ty], Type::I64, counter_for_typed_receiver_get as *const u8)?;
1526        vm.import_code(
1527            "vm_typed_receiver_method",
1528            br#"
1529            pub fn run(value) {
1530                value::<Counter>::get()
1531            }
1532            "#
1533            .to_vec(),
1534        )?;
1535
1536        let compiled = vm.get_fn("vm_typed_receiver_method::run", &[Type::Any])?;
1537        assert_eq!(compiled.ret_ty(), &Type::I64);
1538        let run: extern "C" fn(*const Dynamic) -> i64 = unsafe { std::mem::transmute(compiled.ptr()) };
1539        let value = Dynamic::custom(CounterForTypedReceiver { value: 42 });
1540
1541        assert_eq!(run(&value), 42);
1542        Ok(())
1543    }
1544
1545    #[test]
1546    fn native_custom_object_can_be_passed_to_zs_function() -> anyhow::Result<()> {
1547        let vm = Vm::with_all()?;
1548        vm.add_empty_type("NavMap")?;
1549        vm.add_native_method_ptr("NavMap", "new", &[], Type::Any, nav_map_for_function_arg_new as *const u8)?;
1550        vm.import_code(
1551            "vm_native_custom_arg",
1552            br#"
1553            pub fn add_nav_spawns(world, navmap) {
1554                navmap
1555            }
1556
1557            pub fn run(world) {
1558                let navmap = NavMap::new();
1559                let with_spawns = add_nav_spawns(world, navmap);
1560                with_spawns
1561            }
1562            "#
1563            .to_vec(),
1564        )?;
1565
1566        let compiled = vm.get_fn("vm_native_custom_arg::run", &[Type::Any])?;
1567        assert_eq!(compiled.ret_ty(), &Type::Any);
1568        let run: extern "C" fn(*const Dynamic) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1569        let world = Dynamic::Null;
1570        let result = run(&world);
1571        let result = unsafe { &*result };
1572
1573        assert!(result.as_custom::<NavMapForFunctionArg>().is_some());
1574        Ok(())
1575    }
1576
1577    #[test]
1578    fn native_custom_object_typed_local_can_be_passed_to_zs_function() -> anyhow::Result<()> {
1579        let vm = Vm::with_all()?;
1580        vm.add_empty_type("NavMap")?;
1581        let _nav_map_ty = vm.get_symbol("NavMap", Vec::new())?;
1582        vm.add_native_method_ptr("NavMap", "new", &[], Type::Any, nav_map_for_function_arg_new as *const u8)?;
1583        vm.import_code(
1584            "vm_native_custom_typed_arg",
1585            br#"
1586            pub fn add_nav_spawns(world, navmap) {
1587                navmap
1588            }
1589
1590            pub fn run(world) {
1591                let navmap: NavMap = NavMap::new();
1592                let with_spawns = add_nav_spawns(world, navmap);
1593                with_spawns
1594            }
1595            "#
1596            .to_vec(),
1597        )?;
1598
1599        let compiled = vm.get_fn("vm_native_custom_typed_arg::run", &[Type::Any])?;
1600        let run: extern "C" fn(*const Dynamic) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1601        let world = Dynamic::Null;
1602        let result = run(&world);
1603        let result = unsafe { &*result };
1604
1605        assert!(result.as_custom::<NavMapForFunctionArg>().is_some());
1606        Ok(())
1607    }
1608}