1mod 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); let final_addr = ctx.builder.ins().iadd(args[0], offset_val); let dest = ctx.builder.ins().imul(args[2], width);
162 let dest_addr = ctx.builder.ins().iadd(args[0], dest); 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); 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(¤cy) };
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 root_add_map_can_be_printed() -> anyhow::Result<()> {
670 let vm = Vm::with_all()?;
671 assert_eq!(vm.infer("root::add_map", &[Type::Any])?, Type::Bool);
672 vm.import_code(
673 "vm_root_add_map_print",
674 br#"
675 pub fn run() {
676 print(root::add_map("local/world_handlers/til_map_novicevillage"));
677 }
678 "#
679 .to_vec(),
680 )?;
681
682 let compiled = vm.get_fn("vm_root_add_map_print::run", &[])?;
683 assert!(compiled.ret_ty().is_void());
684 Ok(())
685 }
686
687 #[test]
688 fn unary_not_any_loop_var_is_bool_condition() -> anyhow::Result<()> {
689 let vm = Vm::with_all()?;
690 vm.import_code(
691 "vm_unary_not_any_loop_var",
692 br#"
693 pub fn count_missing(flags) {
694 let missing = 0;
695 for exists in flags {
696 if !exists {
697 missing = missing + 1;
698 }
699 }
700 missing
701 }
702 "#
703 .to_vec(),
704 )?;
705
706 let compiled = vm.get_fn("vm_unary_not_any_loop_var::count_missing", &[Type::Any])?;
707 assert_eq!(compiled.ret_ty(), &Type::I32);
708 Ok(())
709 }
710
711 #[test]
712 fn semicolon_tail_call_makes_function_void() -> anyhow::Result<()> {
713 let vm = Vm::with_all()?;
714 vm.import_code(
715 "vm_semicolon_tail_void",
716 br#"
717 pub fn send_role_select(idx, account_id, selected_slot) {
718 root::send("local/ui/send_dialog", {
719 idx: idx,
720 account_id: account_id,
721 selected_slot: selected_slot
722 });
723 }
724 "#
725 .to_vec(),
726 )?;
727
728 let compiled = vm.get_fn("vm_semicolon_tail_void::send_role_select", &[Type::Any, Type::Any, Type::Any])?;
729 assert_eq!(compiled.ret_ty(), &Type::Void);
730 Ok(())
731 }
732
733 #[test]
734 fn bare_return_conflicts_with_non_void_return() -> anyhow::Result<()> {
735 let vm = Vm::with_all()?;
736 vm.import_code(
737 "vm_bare_return_conflict",
738 br#"
739 pub fn run(flag) {
740 if flag {
741 return;
742 }
743 1
744 }
745 "#
746 .to_vec(),
747 )?;
748
749 let err = match vm.get_fn("vm_bare_return_conflict::run", &[Type::Bool]) {
750 Ok(_) => panic!("expected mismatched return types to fail"),
751 Err(err) => err,
752 };
753 assert!(format!("{err:#}").contains("返回类型不一致"));
754 Ok(())
755 }
756
757 #[test]
758 fn root_get_accepts_string_concat_with_dynamic_field() -> anyhow::Result<()> {
759 let vm = Vm::with_all()?;
760 vm.import_code(
761 "vm_root_get_dynamic_concat",
762 br#"
763 pub fn get_action(req) {
764 root::get("local/game/panel_actions/" + req.idx)
765 }
766 "#
767 .to_vec(),
768 )?;
769
770 root::add("local/game/panel_actions/7", dynamic::map!("id"=> "action-7").into())?;
771 let compiled = vm.get_fn("vm_root_get_dynamic_concat::get_action", &[Type::Any])?;
772 assert_eq!(compiled.ret_ty(), &Type::Any);
773 let get_action: extern "C" fn(*const Dynamic) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
774 let req = dynamic::map!("idx"=> 7i64);
775 let result = unsafe { &*get_action(&req) };
776
777 assert_eq!(result.get_dynamic("id").map(|value| value.as_str().to_string()), Some("action-7".to_string()));
778 Ok(())
779 }
780
781 #[test]
782 fn root_add_fn_registers_handler_with_dynamic_field_path_concat() -> anyhow::Result<()> {
783 let vm = Vm::with_all()?;
784 vm.import_code(
785 "vm_registered_panel_action",
786 br#"
787 pub fn panel_action(req) {
788 root::get("local/game/panel_actions/" + req.idx)
789 }
790
791 pub fn register() {
792 root::add_fn("local/ui/panel_action", "vm_registered_panel_action::panel_action")
793 }
794 "#
795 .to_vec(),
796 )?;
797
798 let compiled = vm.get_fn("vm_registered_panel_action::register", &[])?;
799 assert_eq!(compiled.ret_ty(), &Type::Bool);
800 let register: extern "C" fn() -> bool = unsafe { std::mem::transmute(compiled.ptr()) };
801 assert!(register());
802 Ok(())
803 }
804
805 #[test]
806 fn root_add_fn_accepts_string_concat_in_registered_handler() -> anyhow::Result<()> {
807 let vm = Vm::with_all()?;
808 vm.import_code(
809 "vm_registered_string_concat",
810 br#"
811 pub fn send_panel(idx: i64) {
812 let idx_key = "" + idx;
813 idx_key
814 }
815 "#
816 .to_vec(),
817 )?;
818
819 assert!(vm.get_fn_ptr("vm_registered_string_concat::send_panel", &[Type::Any]).is_ok());
820 Ok(())
821 }
822
823 #[test]
824 fn compiles_public_hotspots_with_string_paths_and_keys() -> anyhow::Result<()> {
825 let vm = Vm::with_all()?;
826 vm.import_code(
827 "vm_public_hotspots",
828 br#"
829 pub fn public_hotspot(action_map_path, panel_id, action_id, hotspot) {
830 {
831 path: action_map_path,
832 panel_id: panel_id,
833 action_id: action_id,
834 id: hotspot.id
835 }
836 }
837
838 pub fn public_hotspots(idx, panel_id, hotspots) {
839 let idx_key = "" + idx;
840 let action_map_path = "local/game/panel_actions/" + idx_key;
841
842 let existing_action_map = root::get(action_map_path);
843 if !existing_action_map.is_map() {
844 root::add_map(action_map_path);
845 }
846
847 if hotspots.is_map() {
848 let public_items = {};
849 for action_id in hotspots.keys() {
850 public_items[action_id] = public_hotspot(action_map_path, panel_id, action_id, hotspots[action_id]);
851 }
852 return public_items;
853 }
854
855 let public_items = [];
856 let i = 0;
857 while i < hotspots.len() {
858 let hotspot = hotspots.get_idx(i);
859 let item = public_hotspot(action_map_path, panel_id, hotspot.id, hotspot);
860 public_items.push(item);
861 i = i + 1;
862 }
863
864 public_items
865 }
866 "#
867 .to_vec(),
868 )?;
869
870 assert!(vm.get_fn("vm_public_hotspots::public_hotspots", &[Type::I64, Type::Any, Type::Any]).is_ok());
871 assert!(vm.get_fn("vm_public_hotspots::public_hotspots", &[Type::Any, Type::Any, Type::Any]).is_ok());
872 Ok(())
873 }
874
875 #[test]
876 fn send_panel_calls_public_hotspots_with_dynamic_request() -> anyhow::Result<()> {
877 let vm = Vm::with_all()?;
878 vm.import_code(
879 "vm_send_panel_public_hotspots",
880 br#"
881 pub fn ok(value) {
882 value
883 }
884
885 pub fn panel_from_node(req) {
886 {
887 panel_id: req.panel_id,
888 hotspots: req.hotspots
889 }
890 }
891
892 pub fn public_hotspot(action_map_path, panel_id, action_id, hotspot) {
893 {
894 path: action_map_path,
895 panel_id: panel_id,
896 action_id: action_id,
897 id: hotspot.id
898 }
899 }
900
901 pub fn public_hotspots(idx, panel_id, hotspots) {
902 let idx_key = "" + idx;
903 let action_map_path = "local/game/panel_actions/" + idx_key;
904
905 let existing_action_map = root::get(action_map_path);
906 if !existing_action_map.is_map() {
907 root::add_map(action_map_path);
908 }
909
910 if hotspots.is_map() {
911 let public_items = {};
912 for action_id in hotspots.keys() {
913 public_items[action_id] = public_hotspot(action_map_path, panel_id, action_id, hotspots[action_id]);
914 }
915 return public_items;
916 }
917
918 let public_items = [];
919 let i = 0;
920 while i < hotspots.len() {
921 let hotspot = hotspots.get_idx(i);
922 let item = public_hotspot(action_map_path, panel_id, hotspot.id, hotspot);
923 public_items.push(item);
924 i = i + 1;
925 }
926
927 public_items
928 }
929
930 pub fn send_panel(req) {
931 let panel = req.panel;
932 if !panel.is_map() {
933 panel = panel_from_node(req);
934 }
935 if !panel.is_map() {
936 return ok({
937 id: 4,
938 type: "panel_rejected",
939 reason: "invalid panel"
940 });
941 }
942 panel.id = 4;
943 panel.idx = req.idx;
944 if !panel.contains("type") {
945 panel.type = "panel";
946 }
947 if panel.contains("hotspots") {
948 panel.hotspots = public_hotspots(req.idx, panel.panel_id, panel.hotspots);
949 }
950 root::send_idx("local/ws", req.idx, panel);
951 ok({
952 id: 4,
953 type: "panel",
954 panel_id: panel.panel_id
955 })
956 }
957 "#
958 .to_vec(),
959 )?;
960
961 let compiled = vm.get_fn("vm_send_panel_public_hotspots::send_panel", &[Type::Any])?;
962 assert_eq!(compiled.ret_ty(), &Type::Any);
963 let send_panel: extern "C" fn(*const Dynamic) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
964 let req = dynamic::map!(
965 "idx"=> 7i64,
966 "panel"=> dynamic::map!(
967 "panel_id"=> "main",
968 "hotspots"=> dynamic::map!(
969 "open"=> dynamic::map!("id"=> "open")
970 )
971 )
972 );
973 let result = unsafe { &*send_panel(&req) };
974
975 assert_eq!(result.get_dynamic("type").map(|value| value.as_str().to_string()), Some("panel".to_string()));
976 assert_eq!(result.get_dynamic("panel_id").map(|value| value.as_str().to_string()), Some("main".to_string()));
977 Ok(())
978 }
979
980 #[test]
981 fn map_assignment_accepts_string_concat_key() -> anyhow::Result<()> {
982 let vm = Vm::with_all()?;
983 vm.import_code(
984 "vm_string_concat_map_key",
985 br##"
986 pub fn write_action(action_map, panel_id, action_id, action) {
987 action_map[panel_id + "#" + action_id] = action;
988 action_map[panel_id + "#" + action_id]
989 }
990 "##
991 .to_vec(),
992 )?;
993
994 let compiled = vm.get_fn("vm_string_concat_map_key::write_action", &[Type::Any, Type::Any, Type::Any, Type::Any])?;
995 let write_action: extern "C" fn(*const Dynamic, *const Dynamic, *const Dynamic, *const Dynamic) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
996 let action_map = dynamic::map!();
997 let panel_id: Dynamic = "panel".into();
998 let action_id: Dynamic = "open".into();
999 let action = dynamic::map!("id"=> "open");
1000
1001 let result = unsafe { &*write_action(&action_map, &panel_id, &action_id, &action) };
1002
1003 assert_eq!(result.get_dynamic("id").map(|value| value.as_str().to_string()), Some("open".to_string()));
1004 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()));
1005 Ok(())
1006 }
1007
1008 #[test]
1009 fn map_get_key_accepts_string_concat_key_variable() -> anyhow::Result<()> {
1010 let vm = Vm::with_all()?;
1011 vm.import_code(
1012 "vm_get_key_string_concat_key",
1013 br##"
1014 pub fn read_action(action_map, panel_id, action_id) {
1015 let action_key = panel_id + "#" + action_id;
1016 action_map.get_key(action_key)
1017 }
1018 "##
1019 .to_vec(),
1020 )?;
1021
1022 let compiled = vm.get_fn("vm_get_key_string_concat_key::read_action", &[Type::Any, Type::Any, Type::Any])?;
1023 let read_action: extern "C" fn(*const Dynamic, *const Dynamic, *const Dynamic) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1024 let action_map = dynamic::map!("panel#open"=> dynamic::map!("id"=> "open"));
1025 let panel_id: Dynamic = "panel".into();
1026 let action_id: Dynamic = "open".into();
1027
1028 let result = unsafe { &*read_action(&action_map, &panel_id, &action_id) };
1029
1030 assert_eq!(result.get_dynamic("id").map(|value| value.as_str().to_string()), Some("open".to_string()));
1031 Ok(())
1032 }
1033
1034 #[test]
1035 fn map_get_key_accepts_helper_string_key() -> anyhow::Result<()> {
1036 let vm = Vm::with_all()?;
1037 vm.import_code(
1038 "vm_get_key_helper_string_key",
1039 br##"
1040 pub fn make_action_key(panel_id, action_id) {
1041 panel_id + "#" + action_id
1042 }
1043
1044 pub fn read_action(action_map, panel_id, action_id) {
1045 let action_key = make_action_key(panel_id, action_id);
1046 let action = action_map.get_key(action_key);
1047 action
1048 }
1049 "##
1050 .to_vec(),
1051 )?;
1052
1053 let compiled = vm.get_fn("vm_get_key_helper_string_key::read_action", &[Type::Any, Type::Any, Type::Any])?;
1054 let read_action: extern "C" fn(*const Dynamic, *const Dynamic, *const Dynamic) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1055 let action_map = dynamic::map!("panel#open"=> dynamic::map!("id"=> "open"));
1056 let panel_id: Dynamic = "panel".into();
1057 let action_id: Dynamic = "open".into();
1058
1059 let result = unsafe { &*read_action(&action_map, &panel_id, &action_id) };
1060
1061 assert_eq!(result.get_dynamic("id").map(|value| value.as_str().to_string()), Some("open".to_string()));
1062 Ok(())
1063 }
1064
1065 #[test]
1066 fn map_del_key_removes_string_key_and_returns_removed_value() -> anyhow::Result<()> {
1067 let vm = Vm::with_all()?;
1068 vm.import_code(
1069 "vm_del_key_string_key",
1070 br##"
1071 pub fn remove_action(action_map, panel_id, action_id) {
1072 let action_key = panel_id + "#" + action_id;
1073 let removed = action_map.del_key(action_key);
1074 [removed, action_map.get_key(action_key)]
1075 }
1076 "##
1077 .to_vec(),
1078 )?;
1079
1080 let compiled = vm.get_fn("vm_del_key_string_key::remove_action", &[Type::Any, Type::Any, Type::Any])?;
1081 let remove_action: extern "C" fn(*const Dynamic, *const Dynamic, *const Dynamic) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1082 let action_map = dynamic::map!("panel#open"=> dynamic::map!("id"=> "open"));
1083 let panel_id: Dynamic = "panel".into();
1084 let action_id: Dynamic = "open".into();
1085
1086 let result = unsafe { &*remove_action(&action_map, &panel_id, &action_id) };
1087
1088 assert_eq!(result.get_idx(0).and_then(|value| value.get_dynamic("id")).map(|value| value.as_str().to_string()), Some("open".to_string()));
1089 assert!(result.get_idx(1).is_some_and(|value| value.is_null()));
1090 assert!(action_map.get_dynamic("panel#open").is_none());
1091 Ok(())
1092 }
1093
1094 #[test]
1095 fn dynamic_field_value_participates_in_or_expression() -> anyhow::Result<()> {
1096 let vm = Vm::with_all()?;
1097 vm.import_code(
1098 "vm_dynamic_field_or",
1099 r#"
1100 pub fn next_or_start() {
1101 let choice = {
1102 label: "颜色",
1103 next: "color"
1104 };
1105 choice.next || "start"
1106 }
1107
1108 pub fn direct_next() {
1109 let choice = {
1110 label: "颜色",
1111 next: "color"
1112 };
1113 choice.next
1114 }
1115
1116 pub fn bracket_next() {
1117 let choice = {
1118 label: "颜色",
1119 next: "color"
1120 };
1121 choice["next"]
1122 }
1123
1124 pub fn assigned_preview() {
1125 let choice = {
1126 next: "tax_free"
1127 };
1128 choice.preview = choice.next || "start";
1129 choice
1130 }
1131 "#
1132 .as_bytes()
1133 .to_vec(),
1134 )?;
1135
1136 let compiled = vm.get_fn("vm_dynamic_field_or::direct_next", &[])?;
1137 assert_eq!(compiled.ret_ty(), &Type::Any);
1138 let direct_next: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1139 assert_eq!(unsafe { &*direct_next() }.as_str(), "color");
1140
1141 let compiled = vm.get_fn("vm_dynamic_field_or::bracket_next", &[])?;
1142 assert_eq!(compiled.ret_ty(), &Type::Any);
1143 let bracket_next: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1144 assert_eq!(unsafe { &*bracket_next() }.as_str(), "color");
1145
1146 let compiled = vm.get_fn("vm_dynamic_field_or::next_or_start", &[])?;
1147 assert_eq!(compiled.ret_ty(), &Type::Any);
1148 let next_or_start: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1149 assert_eq!(unsafe { &*next_or_start() }.as_str(), "color");
1150
1151 let compiled = vm.get_fn("vm_dynamic_field_or::assigned_preview", &[])?;
1152 assert_eq!(compiled.ret_ty(), &Type::Any);
1153 let assigned_preview: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1154 let choice = unsafe { &*assigned_preview() };
1155 assert_eq!(choice.get_dynamic("preview").unwrap().as_str(), "tax_free");
1156 Ok(())
1157 }
1158
1159 #[test]
1160 fn empty_object_literal_in_if_branch_stays_dynamic() -> anyhow::Result<()> {
1161 let vm = Vm::with_all()?;
1162 vm.import_code(
1163 "vm_if_empty_object_branch",
1164 r#"
1165 pub fn first_note(steps) {
1166 let first = if steps.len() > 0 { steps[0] } else { {} };
1167 let first_note = first.note || "fallback";
1168 first_note
1169 }
1170
1171 pub fn first_ja(steps) {
1172 let first = if steps.len() > 0 { steps[0] } else { {} };
1173 first.ja || "すみません"
1174 }
1175
1176 pub fn assign_first_note(steps) {
1177 let first = {};
1178 first = if steps.len() > 0 { steps[0] } else { {} };
1179 first.note || "fallback"
1180 }
1181 "#
1182 .as_bytes()
1183 .to_vec(),
1184 )?;
1185
1186 let compiled = vm.get_fn("vm_if_empty_object_branch::first_note", &[Type::Any])?;
1187 assert_eq!(compiled.ret_ty(), &Type::Any);
1188 let first_note: extern "C" fn(*const Dynamic) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1189
1190 let empty_steps = Dynamic::list(Vec::new());
1191 assert_eq!(unsafe { &*first_note(&empty_steps) }.as_str(), "fallback");
1192
1193 let mut step = std::collections::BTreeMap::new();
1194 step.insert("note".into(), "hello".into());
1195 let steps = Dynamic::list(vec![Dynamic::map(step)]);
1196 assert_eq!(unsafe { &*first_note(&steps) }.as_str(), "hello");
1197
1198 let compiled = vm.get_fn("vm_if_empty_object_branch::first_ja", &[Type::Any])?;
1199 assert_eq!(compiled.ret_ty(), &Type::Any);
1200 let first_ja: extern "C" fn(*const Dynamic) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1201 assert_eq!(unsafe { &*first_ja(&empty_steps) }.as_str(), "すみません");
1202
1203 let compiled = vm.get_fn("vm_if_empty_object_branch::assign_first_note", &[Type::Any])?;
1204 assert_eq!(compiled.ret_ty(), &Type::Any);
1205 let assign_first_note: extern "C" fn(*const Dynamic) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1206 assert_eq!(unsafe { &*assign_first_note(&empty_steps) }.as_str(), "fallback");
1207 assert_eq!(unsafe { &*assign_first_note(&steps) }.as_str(), "hello");
1208 Ok(())
1209 }
1210
1211 #[test]
1212 fn list_literal_can_be_function_tail_expression() -> anyhow::Result<()> {
1213 let vm = Vm::with_all()?;
1214 vm.import_code(
1215 "vm_tail_list_literal",
1216 r#"
1217 pub fn numbers() {
1218 [1, 2, 3]
1219 }
1220
1221 pub fn maps() {
1222 [
1223 {note: "first"},
1224 {note: "second"}
1225 ]
1226 }
1227
1228 pub fn object_with_maps() {
1229 {
1230 steps: [
1231 {note: "first"},
1232 {note: "second"}
1233 ]
1234 }
1235 }
1236
1237 pub fn return_maps() {
1238 return [
1239 {note: "first"},
1240 {note: "second"}
1241 ];
1242 }
1243
1244 pub fn return_maps_without_semicolon() {
1245 return [
1246 {note: "first"},
1247 {note: "second"}
1248 ]
1249 }
1250
1251 pub fn tail_bare_variable() {
1252 let value = [
1253 {note: "first"},
1254 {note: "second"}
1255 ];
1256 value
1257 }
1258
1259 pub fn return_bare_variable_without_semicolon() {
1260 let value = [
1261 {note: "first"},
1262 {note: "second"}
1263 ];
1264 return value
1265 }
1266
1267 pub fn tail_object_variable() {
1268 let result = {
1269 steps: [
1270 {note: "first"},
1271 {note: "second"}
1272 ]
1273 };
1274 result
1275 }
1276 "#
1277 .as_bytes()
1278 .to_vec(),
1279 )?;
1280
1281 let compiled = vm.get_fn("vm_tail_list_literal::numbers", &[])?;
1282 assert_eq!(compiled.ret_ty(), &Type::Any);
1283 let numbers: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1284 let result = unsafe { &*numbers() };
1285 assert_eq!(result.len(), 3);
1286 assert_eq!(result.get_idx(1).and_then(|value| value.as_int()), Some(2));
1287
1288 let compiled = vm.get_fn("vm_tail_list_literal::maps", &[])?;
1289 assert_eq!(compiled.ret_ty(), &Type::Any);
1290 let maps: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1291 let result = unsafe { &*maps() };
1292 assert_eq!(result.len(), 2);
1293 assert_eq!(result.get_idx(1).and_then(|value| value.get_dynamic("note")).map(|value| value.as_str().to_string()), Some("second".to_string()));
1294
1295 let compiled = vm.get_fn("vm_tail_list_literal::object_with_maps", &[])?;
1296 assert_eq!(compiled.ret_ty(), &Type::Any);
1297 let object_with_maps: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1298 let result = unsafe { &*object_with_maps() };
1299 let steps = result.get_dynamic("steps").expect("steps");
1300 assert_eq!(steps.len(), 2);
1301 assert_eq!(steps.get_idx(0).and_then(|value| value.get_dynamic("note")).map(|value| value.as_str().to_string()), Some("first".to_string()));
1302
1303 let compiled = vm.get_fn("vm_tail_list_literal::return_maps", &[])?;
1304 assert_eq!(compiled.ret_ty(), &Type::Any);
1305 let return_maps: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1306 let result = unsafe { &*return_maps() };
1307 assert_eq!(result.len(), 2);
1308 assert_eq!(result.get_idx(1).and_then(|value| value.get_dynamic("note")).map(|value| value.as_str().to_string()), Some("second".to_string()));
1309
1310 let compiled = vm.get_fn("vm_tail_list_literal::return_maps_without_semicolon", &[])?;
1311 assert_eq!(compiled.ret_ty(), &Type::Any);
1312 let return_maps_without_semicolon: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1313 let result = unsafe { &*return_maps_without_semicolon() };
1314 assert_eq!(result.len(), 2);
1315 assert_eq!(result.get_idx(0).and_then(|value| value.get_dynamic("note")).map(|value| value.as_str().to_string()), Some("first".to_string()));
1316
1317 let compiled = vm.get_fn("vm_tail_list_literal::tail_bare_variable", &[])?;
1318 assert_eq!(compiled.ret_ty(), &Type::Any);
1319 let tail_bare_variable: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1320 let result = unsafe { &*tail_bare_variable() };
1321 assert_eq!(result.len(), 2);
1322 assert_eq!(result.get_idx(1).and_then(|value| value.get_dynamic("note")).map(|value| value.as_str().to_string()), Some("second".to_string()));
1323
1324 let compiled = vm.get_fn("vm_tail_list_literal::return_bare_variable_without_semicolon", &[])?;
1325 assert_eq!(compiled.ret_ty(), &Type::Any);
1326 let return_bare_variable_without_semicolon: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1327 let result = unsafe { &*return_bare_variable_without_semicolon() };
1328 assert_eq!(result.len(), 2);
1329 assert_eq!(result.get_idx(0).and_then(|value| value.get_dynamic("note")).map(|value| value.as_str().to_string()), Some("first".to_string()));
1330
1331 let compiled = vm.get_fn("vm_tail_list_literal::tail_object_variable", &[])?;
1332 assert_eq!(compiled.ret_ty(), &Type::Any);
1333 let tail_object_variable: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1334 let result = unsafe { &*tail_object_variable() };
1335 let steps = result.get_dynamic("steps").expect("steps");
1336 assert_eq!(steps.len(), 2);
1337 assert_eq!(steps.get_idx(1).and_then(|value| value.get_dynamic("note")).map(|value| value.as_str().to_string()), Some("second".to_string()));
1338 Ok(())
1339 }
1340
1341 #[test]
1342 fn list_return_value_supports_get_idx_method_call() -> anyhow::Result<()> {
1343 let vm = Vm::with_all()?;
1344 vm.import_code(
1345 "vm_returned_list_get_idx",
1346 r#"
1347 pub fn ids() {
1348 [
1349 "base",
1350 "2",
1351 "3"
1352 ]
1353 }
1354
1355 pub fn combinations() {
1356 let result = [];
1357 let values = ids();
1358 let idx = 0;
1359 while idx < values.len() {
1360 result.push(values.get_idx(idx));
1361 idx = idx + 1;
1362 }
1363 result
1364 }
1365 "#
1366 .as_bytes()
1367 .to_vec(),
1368 )?;
1369
1370 let compiled = vm.get_fn("vm_returned_list_get_idx::combinations", &[])?;
1371 assert_eq!(compiled.ret_ty(), &Type::Any);
1372 let combinations: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1373 let result = unsafe { &*combinations() };
1374
1375 assert_eq!(result.len(), 3);
1376 assert_eq!(result.get_idx(0).map(|value| value.as_str().to_string()), Some("base".to_string()));
1377 assert_eq!(result.get_idx(2).map(|value| value.as_str().to_string()), Some("3".to_string()));
1378 Ok(())
1379 }
1380
1381 #[test]
1382 fn repeated_deep_step_literals_import_successfully() -> anyhow::Result<()> {
1383 fn extra_page_literal(depth: usize) -> String {
1384 let mut value = "{leaf: \"done\"}".to_string();
1385 for idx in 0..depth {
1386 value = format!("{{kind: \"page\", idx: {idx}, children: [{value}], meta: {{title: \"extra\", visible: true}}}}");
1387 }
1388 value
1389 }
1390
1391 let extra = extra_page_literal(48);
1392 let code = format!(
1393 r#"
1394 pub fn script() {{
1395 return [
1396 {{ja: "一つ目", note: "first", extra: {extra}}},
1397 {{ja: "二つ目", note: "second", extra: {extra}}},
1398 {{ja: "三つ目", note: "third", extra: {extra}}}
1399 ]
1400 }}
1401 "#
1402 );
1403
1404 let vm = Vm::with_all()?;
1405 vm.import_code("vm_repeated_deep_step_literals", code.into_bytes())?;
1406 let compiled = vm.get_fn("vm_repeated_deep_step_literals::script", &[])?;
1407 assert_eq!(compiled.ret_ty(), &Type::Any);
1408 let script: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1409 let result = unsafe { &*script() };
1410 assert_eq!(result.len(), 3);
1411 assert_eq!(result.get_idx(2).and_then(|value| value.get_dynamic("note")).map(|value| value.as_str().to_string()), Some("third".to_string()));
1412 Ok(())
1413 }
1414
1415 #[test]
1416 fn native_import_uses_owning_vm() -> anyhow::Result<()> {
1417 let module_path = std::env::temp_dir().join(format!("zust_vm_import_owner_{}.zs", std::process::id()));
1418 std::fs::write(&module_path, "pub fn value() { 41 }")?;
1419 let module_path = module_path.to_string_lossy().replace('\\', "\\\\").replace('"', "\\\"");
1420
1421 let vm1 = Vm::with_all()?;
1422 vm1.import_code(
1423 "vm_import_owner",
1424 format!(
1425 r#"
1426 pub fn run() {{
1427 import("vm_imported_owner", "{module_path}");
1428 }}
1429 "#
1430 )
1431 .into_bytes(),
1432 )?;
1433 let compiled = vm1.get_fn("vm_import_owner::run", &[])?;
1434
1435 let vm2 = Vm::with_all()?;
1436 vm2.import_code("vm_import_other", b"pub fn run() { 0 }".to_vec())?;
1437 let _ = vm2.get_fn("vm_import_other::run", &[])?;
1438
1439 let run: extern "C" fn() = unsafe { std::mem::transmute(compiled.ptr()) };
1440 run();
1441
1442 assert!(vm1.get_fn("vm_imported_owner::value", &[]).is_ok());
1443 assert!(vm2.get_fn("vm_imported_owner::value", &[]).is_err());
1444 Ok(())
1445 }
1446
1447 #[test]
1448 fn object_last_field_call_does_not_need_trailing_comma() -> anyhow::Result<()> {
1449 let vm = Vm::with_all()?;
1450 vm.import_code(
1451 "vm_object_last_call_field",
1452 r#"
1453 pub fn extra_page() {
1454 {
1455 title: "extra",
1456 pages: [
1457 {note: "nested"}
1458 ]
1459 }
1460 }
1461
1462 pub fn data() {
1463 return [
1464 {
1465 note: "first",
1466 choices: ["a", "b"],
1467 extras: extra_page()
1468 },
1469 {
1470 note: "second",
1471 choices: ["c"],
1472 extras: extra_page()
1473 }
1474 ]
1475 }
1476 "#
1477 .as_bytes()
1478 .to_vec(),
1479 )?;
1480
1481 let compiled = vm.get_fn("vm_object_last_call_field::data", &[])?;
1482 assert_eq!(compiled.ret_ty(), &Type::Any);
1483 let data: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1484 let result = unsafe { &*data() };
1485 assert_eq!(result.len(), 2);
1486 let first = result.get_idx(0).expect("first step");
1487 assert_eq!(first.get_dynamic("extras").and_then(|extras| extras.get_dynamic("title")).map(|title| title.as_str().to_string()), Some("extra".to_string()));
1488 Ok(())
1489 }
1490
1491 #[test]
1492 fn gpu_struct_layout_packs_and_unpacks_dynamic_maps() -> anyhow::Result<()> {
1493 let vm = Vm::with_all()?;
1494 vm.import_code(
1495 "vm_gpu_layout",
1496 br#"
1497 pub struct Params {
1498 a: u32,
1499 b: u32,
1500 c: u32,
1501 }
1502 "#
1503 .to_vec(),
1504 )?;
1505
1506 let layout = vm.gpu_struct_layout("vm_gpu_layout::Params", &[])?;
1507 assert_eq!(layout.size, 16);
1508 assert_eq!(layout.fields.iter().map(|field| (field.name.as_str(), field.offset)).collect::<Vec<_>>(), vec![("a", 0), ("b", 4), ("c", 8)]);
1509
1510 let value = dynamic::map!("a"=> 1u32, "b"=> 2u32, "c"=> 3u32);
1511 let bytes = layout.pack_map(&value)?;
1512 assert_eq!(bytes.len(), 16);
1513 assert_eq!(&bytes[0..4], &1u32.to_ne_bytes());
1514 assert_eq!(&bytes[4..8], &2u32.to_ne_bytes());
1515 assert_eq!(&bytes[8..12], &3u32.to_ne_bytes());
1516
1517 let read = layout.unpack_map(&bytes)?;
1518 assert_eq!(read.get_dynamic("a").and_then(|value| value.as_uint()), Some(1));
1519 assert_eq!(read.get_dynamic("b").and_then(|value| value.as_uint()), Some(2));
1520 assert_eq!(read.get_dynamic("c").and_then(|value| value.as_uint()), Some(3));
1521 Ok(())
1522 }
1523
1524 #[test]
1525 fn root_native_calls_do_not_take_ownership_of_dynamic_args() -> anyhow::Result<()> {
1526 let vm = Vm::with_all()?;
1527 vm.import_code(
1528 "vm_root_clone_bridge",
1529 br#"
1530 pub fn add_then_reuse(arg) {
1531 let user = {
1532 address: "test-wallet",
1533 points: 20
1534 };
1535 root::add("local/root-clone-bridge-user", user);
1536 user.points = user.points - 7;
1537 root::add("local/root-clone-bridge-user", user);
1538 {
1539 user: user,
1540 points: user.points
1541 }
1542 }
1543
1544 pub fn clone_then_mutate(arg) {
1545 let user = {
1546 profile: {
1547 points: 20
1548 }
1549 };
1550 let copied = user.clone();
1551 copied.profile.points = 13;
1552 user
1553 }
1554 "#
1555 .to_vec(),
1556 )?;
1557
1558 let compiled = vm.get_fn("vm_root_clone_bridge::add_then_reuse", &[Type::Any])?;
1559 assert_eq!(compiled.ret_ty(), &Type::Any);
1560 let add_then_reuse: extern "C" fn(*const Dynamic) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1561 let arg = Dynamic::Null;
1562 let result = add_then_reuse(&arg);
1563 let result = unsafe { &*result };
1564
1565 assert_eq!(result.get_dynamic("points").and_then(|value| value.as_int()), Some(13));
1566 let mut json = String::new();
1567 result.to_json(&mut json);
1568 assert!(json.contains("\"points\": 13"));
1569
1570 let clone_then_mutate = vm.get_fn("vm_root_clone_bridge::clone_then_mutate", &[Type::Any])?;
1571 let clone_then_mutate: extern "C" fn(*const Dynamic) -> *const Dynamic = unsafe { std::mem::transmute(clone_then_mutate.ptr()) };
1572 let result = clone_then_mutate(&arg);
1573 let result = unsafe { &*result };
1574 assert_eq!(result.get_dynamic("profile").unwrap().get_dynamic("points").and_then(|value| value.as_int()), Some(20));
1575 Ok(())
1576 }
1577
1578 struct CounterForTypedReceiver {
1579 value: i64,
1580 }
1581
1582 extern "C" fn counter_for_typed_receiver_get(value: *const Dynamic) -> i64 {
1583 unsafe { &*value }.as_custom::<CounterForTypedReceiver>().map(|counter| counter.value).unwrap_or(-1)
1584 }
1585
1586 struct NavMapForFunctionArg;
1587
1588 extern "C" fn nav_map_for_function_arg_new() -> *const Dynamic {
1589 Box::into_raw(Box::new(Dynamic::custom(NavMapForFunctionArg)))
1590 }
1591
1592 #[test]
1593 fn typed_receiver_method_call_dispatches_with_type_hint() -> anyhow::Result<()> {
1594 let vm = Vm::with_all()?;
1595 vm.add_empty_type("Counter")?;
1596 let counter_ty = vm.get_symbol("Counter", Vec::new())?;
1597 vm.add_native_method_ptr("Counter", "get", &[counter_ty], Type::I64, counter_for_typed_receiver_get as *const u8)?;
1598 vm.import_code(
1599 "vm_typed_receiver_method",
1600 br#"
1601 pub fn run(value) {
1602 value::<Counter>::get()
1603 }
1604 "#
1605 .to_vec(),
1606 )?;
1607
1608 let compiled = vm.get_fn("vm_typed_receiver_method::run", &[Type::Any])?;
1609 assert_eq!(compiled.ret_ty(), &Type::I64);
1610 let run: extern "C" fn(*const Dynamic) -> i64 = unsafe { std::mem::transmute(compiled.ptr()) };
1611 let value = Dynamic::custom(CounterForTypedReceiver { value: 42 });
1612
1613 assert_eq!(run(&value), 42);
1614 Ok(())
1615 }
1616
1617 #[test]
1618 fn native_custom_object_can_be_passed_to_zs_function() -> anyhow::Result<()> {
1619 let vm = Vm::with_all()?;
1620 vm.add_empty_type("NavMap")?;
1621 vm.add_native_method_ptr("NavMap", "new", &[], Type::Any, nav_map_for_function_arg_new as *const u8)?;
1622 vm.import_code(
1623 "vm_native_custom_arg",
1624 br#"
1625 pub fn add_nav_spawns(world, navmap) {
1626 navmap
1627 }
1628
1629 pub fn run(world) {
1630 let navmap = NavMap::new();
1631 let with_spawns = add_nav_spawns(world, navmap);
1632 with_spawns
1633 }
1634 "#
1635 .to_vec(),
1636 )?;
1637
1638 let compiled = vm.get_fn("vm_native_custom_arg::run", &[Type::Any])?;
1639 assert_eq!(compiled.ret_ty(), &Type::Any);
1640 let run: extern "C" fn(*const Dynamic) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1641 let world = Dynamic::Null;
1642 let result = run(&world);
1643 let result = unsafe { &*result };
1644
1645 assert!(result.as_custom::<NavMapForFunctionArg>().is_some());
1646 Ok(())
1647 }
1648
1649 #[test]
1650 fn native_custom_object_typed_local_can_be_passed_to_zs_function() -> anyhow::Result<()> {
1651 let vm = Vm::with_all()?;
1652 vm.add_empty_type("NavMap")?;
1653 let _nav_map_ty = vm.get_symbol("NavMap", Vec::new())?;
1654 vm.add_native_method_ptr("NavMap", "new", &[], Type::Any, nav_map_for_function_arg_new as *const u8)?;
1655 vm.import_code(
1656 "vm_native_custom_typed_arg",
1657 br#"
1658 pub fn add_nav_spawns(world, navmap) {
1659 navmap
1660 }
1661
1662 pub fn run(world) {
1663 let navmap: NavMap = NavMap::new();
1664 let with_spawns = add_nav_spawns(world, navmap);
1665 with_spawns
1666 }
1667 "#
1668 .to_vec(),
1669 )?;
1670
1671 let compiled = vm.get_fn("vm_native_custom_typed_arg::run", &[Type::Any])?;
1672 let run: extern "C" fn(*const Dynamic) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1673 let world = Dynamic::Null;
1674 let result = run(&world);
1675 let result = unsafe { &*result };
1676
1677 assert!(result.as_custom::<NavMapForFunctionArg>().is_some());
1678 Ok(())
1679 }
1680}