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 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}