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 compares_any_with_string_literal_as_string() -> anyhow::Result<()> {
422 let vm = Vm::with_all()?;
423 vm.import_code(
424 "vm_string_compare_any",
425 br#"
426 pub fn any_ne_empty(chat_path) {
427 chat_path != ""
428 }
429 "#
430 .to_vec(),
431 )?;
432
433 let compiled = vm.get_fn("vm_string_compare_any::any_ne_empty", &[Type::Any])?;
434 assert_eq!(compiled.ret_ty(), &Type::Bool);
435
436 let any_ne_empty: extern "C" fn(*const Dynamic) -> bool = unsafe { std::mem::transmute(compiled.ptr()) };
437 let empty = Dynamic::from("");
438 let non_empty = Dynamic::from("chat");
439
440 assert!(!any_ne_empty(&empty));
441 assert!(any_ne_empty(&non_empty));
442 Ok(())
443 }
444
445 #[test]
446 fn parenthesized_expression_can_call_any_method() -> anyhow::Result<()> {
447 let vm = Vm::with_all()?;
448 vm.import_code(
449 "vm_parenthesized_method_call",
450 br#"
451 pub fn run(value) {
452 (value + 2).to_i64()
453 }
454 "#
455 .to_vec(),
456 )?;
457
458 let compiled = vm.get_fn("vm_parenthesized_method_call::run", &[Type::Any])?;
459 assert_eq!(compiled.ret_ty(), &Type::I64);
460 let run: extern "C" fn(*const Dynamic) -> i64 = unsafe { std::mem::transmute(compiled.ptr()) };
461 let value = Dynamic::from(40i64);
462
463 assert_eq!(run(&value), 42);
464 Ok(())
465 }
466
467 #[test]
468 fn any_keys_returns_map_keys_and_empty_list_for_other_values() -> anyhow::Result<()> {
469 let vm = Vm::with_all()?;
470 vm.import_code(
471 "vm_any_keys",
472 br#"
473 pub fn map_keys(value) {
474 let keys = value.keys();
475 keys.len() == 2 && keys.contains("alpha") && keys.contains("beta")
476 }
477
478 pub fn non_map_keys(value) {
479 value.keys().len() == 0
480 }
481 "#
482 .to_vec(),
483 )?;
484
485 let compiled = vm.get_fn("vm_any_keys::map_keys", &[Type::Any])?;
486 assert_eq!(compiled.ret_ty(), &Type::Bool);
487 let map_keys: extern "C" fn(*const Dynamic) -> bool = unsafe { std::mem::transmute(compiled.ptr()) };
488 let value = dynamic::map!("alpha"=> 1i64, "beta"=> 2i64);
489 assert!(map_keys(&value));
490
491 let compiled = vm.get_fn("vm_any_keys::non_map_keys", &[Type::Any])?;
492 assert_eq!(compiled.ret_ty(), &Type::Bool);
493 let non_map_keys: extern "C" fn(*const Dynamic) -> bool = unsafe { std::mem::transmute(compiled.ptr()) };
494 let value = Dynamic::from("alpha");
495 assert!(non_map_keys(&value));
496 Ok(())
497 }
498
499 #[test]
500 fn compares_concrete_value_with_string_literal_as_string() -> anyhow::Result<()> {
501 let vm = Vm::with_all()?;
502 vm.import_code(
503 "vm_string_compare_imm",
504 br#"
505 pub fn int_eq_str(value: i64) {
506 value == "42"
507 }
508
509 pub fn int_to_str(value: i64) {
510 value + ""
511 }
512 "#
513 .to_vec(),
514 )?;
515
516 let compiled = vm.get_fn("vm_string_compare_imm::int_eq_str", &[Type::I64])?;
517 assert_eq!(compiled.ret_ty(), &Type::Bool);
518
519 let int_eq_str: extern "C" fn(i64) -> bool = unsafe { std::mem::transmute(compiled.ptr()) };
520
521 let compiled = vm.get_fn("vm_string_compare_imm::int_to_str", &[Type::I64])?;
522 assert_eq!(compiled.ret_ty(), &Type::Any);
523 let int_to_str: extern "C" fn(i64) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
524 let text = int_to_str(42);
525 assert_eq!(unsafe { &*text }.as_str(), "42");
526
527 assert!(int_eq_str(42));
528 assert!(!int_eq_str(7));
529 Ok(())
530 }
531
532 #[test]
533 fn concatenates_string_with_integer_values() -> anyhow::Result<()> {
534 let vm = Vm::with_all()?;
535 vm.import_code(
536 "vm_string_concat_integer",
537 br#"
538 pub fn idx_key(idx: i64) {
539 "" + idx
540 }
541
542 pub fn level_text(level: i64) {
543 "" + level + " level"
544 }
545
546 pub fn gold_text(currency) {
547 "" + currency.gold
548 }
549 "#
550 .to_vec(),
551 )?;
552
553 let compiled = vm.get_fn("vm_string_concat_integer::idx_key", &[Type::I64])?;
554 let idx_key: extern "C" fn(i64) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
555 let result = unsafe { &*idx_key(7) };
556 assert_eq!(result.as_str(), "7");
557
558 let compiled = vm.get_fn("vm_string_concat_integer::level_text", &[Type::I64])?;
559 let level_text: extern "C" fn(i64) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
560 let result = unsafe { &*level_text(12) };
561 assert_eq!(result.as_str(), "12 level");
562
563 let compiled = vm.get_fn("vm_string_concat_integer::gold_text", &[Type::Any])?;
564 let gold_text: extern "C" fn(*const Dynamic) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
565 let currency = dynamic::map!("gold"=> 345i64);
566 let result = unsafe { &*gold_text(¤cy) };
567 assert_eq!(result.as_str(), "345");
568 Ok(())
569 }
570
571 #[test]
572 fn coerces_string_concat_to_i64_without_unimplemented_log() -> anyhow::Result<()> {
573 let vm = Vm::with_all()?;
574 vm.import_code(
575 "vm_string_concat_to_i64",
576 br#"
577 pub fn run(idx: i64) {
578 ("" + idx) as i64
579 }
580 "#
581 .to_vec(),
582 )?;
583
584 let compiled = vm.get_fn("vm_string_concat_to_i64::run", &[Type::I64])?;
585 assert_eq!(compiled.ret_ty(), &Type::I64);
586 let run: extern "C" fn(i64) -> i64 = unsafe { std::mem::transmute(compiled.ptr()) };
587 assert_eq!(run(7), 0);
588 Ok(())
589 }
590
591 #[test]
592 fn unifies_explicit_return_and_tail_integer_widths() -> anyhow::Result<()> {
593 let vm = Vm::with_all()?;
594 vm.import_code(
595 "vm_return_integer_widths",
596 br#"
597 pub fn selected(flag, slot) {
598 if flag {
599 return slot;
600 }
601 0
602 }
603 "#
604 .to_vec(),
605 )?;
606
607 let compiled = vm.get_fn("vm_return_integer_widths::selected", &[Type::Bool, Type::I64])?;
608 assert_eq!(compiled.ret_ty(), &Type::I64);
609 let selected: extern "C" fn(bool, i64) -> i64 = unsafe { std::mem::transmute(compiled.ptr()) };
610
611 assert_eq!(selected(true, 7), 7);
612 assert_eq!(selected(false, 7), 0);
613 Ok(())
614 }
615
616 #[test]
617 fn root_get_accepts_string_concat_with_dynamic_field() -> anyhow::Result<()> {
618 let vm = Vm::with_all()?;
619 vm.import_code(
620 "vm_root_get_dynamic_concat",
621 br#"
622 pub fn get_action(req) {
623 root::get("local/game/panel_actions/" + req.idx)
624 }
625 "#
626 .to_vec(),
627 )?;
628
629 root::add("local/game/panel_actions/7", dynamic::map!("id"=> "action-7").into())?;
630 let compiled = vm.get_fn("vm_root_get_dynamic_concat::get_action", &[Type::Any])?;
631 assert_eq!(compiled.ret_ty(), &Type::Any);
632 let get_action: extern "C" fn(*const Dynamic) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
633 let req = dynamic::map!("idx"=> 7i64);
634 let result = unsafe { &*get_action(&req) };
635
636 assert_eq!(result.get_dynamic("id").map(|value| value.as_str().to_string()), Some("action-7".to_string()));
637 Ok(())
638 }
639
640 #[test]
641 fn root_add_fn_registers_handler_with_dynamic_field_path_concat() -> anyhow::Result<()> {
642 let vm = Vm::with_all()?;
643 vm.import_code(
644 "vm_registered_panel_action",
645 br#"
646 pub fn panel_action(req) {
647 root::get("local/game/panel_actions/" + req.idx)
648 }
649
650 pub fn register() {
651 root::add_fn("local/ui/panel_action", "vm_registered_panel_action::panel_action")
652 }
653 "#
654 .to_vec(),
655 )?;
656
657 let compiled = vm.get_fn("vm_registered_panel_action::register", &[])?;
658 assert_eq!(compiled.ret_ty(), &Type::Bool);
659 let register: extern "C" fn() -> bool = unsafe { std::mem::transmute(compiled.ptr()) };
660 assert!(register());
661 Ok(())
662 }
663
664 #[test]
665 fn root_add_fn_accepts_string_concat_in_registered_handler() -> anyhow::Result<()> {
666 let vm = Vm::with_all()?;
667 vm.import_code(
668 "vm_registered_string_concat",
669 br#"
670 pub fn send_panel(idx: i64) {
671 let idx_key = "" + idx;
672 idx_key
673 }
674 "#
675 .to_vec(),
676 )?;
677
678 assert!(vm.get_fn_ptr("vm_registered_string_concat::send_panel", &[Type::Any]).is_ok());
679 Ok(())
680 }
681
682 #[test]
683 fn compiles_public_hotspots_with_string_paths_and_keys() -> anyhow::Result<()> {
684 let vm = Vm::with_all()?;
685 vm.import_code(
686 "vm_public_hotspots",
687 br#"
688 pub fn public_hotspot(action_map_path, panel_id, action_id, hotspot) {
689 {
690 path: action_map_path,
691 panel_id: panel_id,
692 action_id: action_id,
693 id: hotspot.id
694 }
695 }
696
697 pub fn public_hotspots(idx, panel_id, hotspots) {
698 let idx_key = "" + idx;
699 let action_map_path = "local/game/panel_actions/" + idx_key;
700
701 let existing_action_map = root::get(action_map_path);
702 if !existing_action_map.is_map() {
703 root::add_map(action_map_path);
704 }
705
706 if hotspots.is_map() {
707 let public_items = {};
708 for action_id in hotspots.keys() {
709 public_items[action_id] = public_hotspot(action_map_path, panel_id, action_id, hotspots[action_id]);
710 }
711 return public_items;
712 }
713
714 let public_items = [];
715 let i = 0;
716 while i < hotspots.len() {
717 let hotspot = hotspots.get_idx(i);
718 let item = public_hotspot(action_map_path, panel_id, hotspot.id, hotspot);
719 public_items.push(item);
720 i = i + 1;
721 }
722
723 public_items
724 }
725 "#
726 .to_vec(),
727 )?;
728
729 assert!(vm.get_fn("vm_public_hotspots::public_hotspots", &[Type::I64, Type::Any, Type::Any]).is_ok());
730 assert!(vm.get_fn("vm_public_hotspots::public_hotspots", &[Type::Any, Type::Any, Type::Any]).is_ok());
731 Ok(())
732 }
733
734 #[test]
735 fn send_panel_calls_public_hotspots_with_dynamic_request() -> anyhow::Result<()> {
736 let vm = Vm::with_all()?;
737 vm.import_code(
738 "vm_send_panel_public_hotspots",
739 br#"
740 pub fn ok(value) {
741 value
742 }
743
744 pub fn panel_from_node(req) {
745 {
746 panel_id: req.panel_id,
747 hotspots: req.hotspots
748 }
749 }
750
751 pub fn public_hotspot(action_map_path, panel_id, action_id, hotspot) {
752 {
753 path: action_map_path,
754 panel_id: panel_id,
755 action_id: action_id,
756 id: hotspot.id
757 }
758 }
759
760 pub fn public_hotspots(idx, panel_id, hotspots) {
761 let idx_key = "" + idx;
762 let action_map_path = "local/game/panel_actions/" + idx_key;
763
764 let existing_action_map = root::get(action_map_path);
765 if !existing_action_map.is_map() {
766 root::add_map(action_map_path);
767 }
768
769 if hotspots.is_map() {
770 let public_items = {};
771 for action_id in hotspots.keys() {
772 public_items[action_id] = public_hotspot(action_map_path, panel_id, action_id, hotspots[action_id]);
773 }
774 return public_items;
775 }
776
777 let public_items = [];
778 let i = 0;
779 while i < hotspots.len() {
780 let hotspot = hotspots.get_idx(i);
781 let item = public_hotspot(action_map_path, panel_id, hotspot.id, hotspot);
782 public_items.push(item);
783 i = i + 1;
784 }
785
786 public_items
787 }
788
789 pub fn send_panel(req) {
790 let panel = req.panel;
791 if !panel.is_map() {
792 panel = panel_from_node(req);
793 }
794 if !panel.is_map() {
795 return ok({
796 id: 4,
797 type: "panel_rejected",
798 reason: "invalid panel"
799 });
800 }
801 panel.id = 4;
802 panel.idx = req.idx;
803 if !panel.contains("type") {
804 panel.type = "panel";
805 }
806 if panel.contains("hotspots") {
807 panel.hotspots = public_hotspots(req.idx, panel.panel_id, panel.hotspots);
808 }
809 root::send_idx("local/ws", req.idx, panel);
810 ok({
811 id: 4,
812 type: "panel",
813 panel_id: panel.panel_id
814 })
815 }
816 "#
817 .to_vec(),
818 )?;
819
820 let compiled = vm.get_fn("vm_send_panel_public_hotspots::send_panel", &[Type::Any])?;
821 assert_eq!(compiled.ret_ty(), &Type::Any);
822 let send_panel: extern "C" fn(*const Dynamic) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
823 let req = dynamic::map!(
824 "idx"=> 7i64,
825 "panel"=> dynamic::map!(
826 "panel_id"=> "main",
827 "hotspots"=> dynamic::map!(
828 "open"=> dynamic::map!("id"=> "open")
829 )
830 )
831 );
832 let result = unsafe { &*send_panel(&req) };
833
834 assert_eq!(result.get_dynamic("type").map(|value| value.as_str().to_string()), Some("panel".to_string()));
835 assert_eq!(result.get_dynamic("panel_id").map(|value| value.as_str().to_string()), Some("main".to_string()));
836 Ok(())
837 }
838
839 #[test]
840 fn map_assignment_accepts_string_concat_key() -> anyhow::Result<()> {
841 let vm = Vm::with_all()?;
842 vm.import_code(
843 "vm_string_concat_map_key",
844 br##"
845 pub fn write_action(action_map, panel_id, action_id, action) {
846 action_map[panel_id + "#" + action_id] = action;
847 action_map[panel_id + "#" + action_id]
848 }
849 "##
850 .to_vec(),
851 )?;
852
853 let compiled = vm.get_fn("vm_string_concat_map_key::write_action", &[Type::Any, Type::Any, Type::Any, Type::Any])?;
854 let write_action: extern "C" fn(*const Dynamic, *const Dynamic, *const Dynamic, *const Dynamic) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
855 let action_map = dynamic::map!();
856 let panel_id: Dynamic = "panel".into();
857 let action_id: Dynamic = "open".into();
858 let action = dynamic::map!("id"=> "open");
859
860 let result = unsafe { &*write_action(&action_map, &panel_id, &action_id, &action) };
861
862 assert_eq!(result.get_dynamic("id").map(|value| value.as_str().to_string()), Some("open".to_string()));
863 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()));
864 Ok(())
865 }
866
867 #[test]
868 fn map_get_key_accepts_string_concat_key_variable() -> anyhow::Result<()> {
869 let vm = Vm::with_all()?;
870 vm.import_code(
871 "vm_get_key_string_concat_key",
872 br##"
873 pub fn read_action(action_map, panel_id, action_id) {
874 let action_key = panel_id + "#" + action_id;
875 action_map.get_key(action_key)
876 }
877 "##
878 .to_vec(),
879 )?;
880
881 let compiled = vm.get_fn("vm_get_key_string_concat_key::read_action", &[Type::Any, Type::Any, Type::Any])?;
882 let read_action: extern "C" fn(*const Dynamic, *const Dynamic, *const Dynamic) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
883 let action_map = dynamic::map!("panel#open"=> dynamic::map!("id"=> "open"));
884 let panel_id: Dynamic = "panel".into();
885 let action_id: Dynamic = "open".into();
886
887 let result = unsafe { &*read_action(&action_map, &panel_id, &action_id) };
888
889 assert_eq!(result.get_dynamic("id").map(|value| value.as_str().to_string()), Some("open".to_string()));
890 Ok(())
891 }
892
893 #[test]
894 fn map_get_key_accepts_helper_string_key() -> anyhow::Result<()> {
895 let vm = Vm::with_all()?;
896 vm.import_code(
897 "vm_get_key_helper_string_key",
898 br##"
899 pub fn make_action_key(panel_id, action_id) {
900 panel_id + "#" + action_id
901 }
902
903 pub fn read_action(action_map, panel_id, action_id) {
904 let action_key = make_action_key(panel_id, action_id);
905 let action = action_map.get_key(action_key);
906 action
907 }
908 "##
909 .to_vec(),
910 )?;
911
912 let compiled = vm.get_fn("vm_get_key_helper_string_key::read_action", &[Type::Any, Type::Any, Type::Any])?;
913 let read_action: extern "C" fn(*const Dynamic, *const Dynamic, *const Dynamic) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
914 let action_map = dynamic::map!("panel#open"=> dynamic::map!("id"=> "open"));
915 let panel_id: Dynamic = "panel".into();
916 let action_id: Dynamic = "open".into();
917
918 let result = unsafe { &*read_action(&action_map, &panel_id, &action_id) };
919
920 assert_eq!(result.get_dynamic("id").map(|value| value.as_str().to_string()), Some("open".to_string()));
921 Ok(())
922 }
923
924 #[test]
925 fn dynamic_field_value_participates_in_or_expression() -> anyhow::Result<()> {
926 let vm = Vm::with_all()?;
927 vm.import_code(
928 "vm_dynamic_field_or",
929 r#"
930 pub fn next_or_start() {
931 let choice = {
932 label: "颜色",
933 next: "color"
934 };
935 choice.next || "start"
936 }
937
938 pub fn direct_next() {
939 let choice = {
940 label: "颜色",
941 next: "color"
942 };
943 choice.next
944 }
945
946 pub fn bracket_next() {
947 let choice = {
948 label: "颜色",
949 next: "color"
950 };
951 choice["next"]
952 }
953
954 pub fn assigned_preview() {
955 let choice = {
956 next: "tax_free"
957 };
958 choice.preview = choice.next || "start";
959 choice
960 }
961 "#
962 .as_bytes()
963 .to_vec(),
964 )?;
965
966 let compiled = vm.get_fn("vm_dynamic_field_or::direct_next", &[])?;
967 assert_eq!(compiled.ret_ty(), &Type::Any);
968 let direct_next: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
969 assert_eq!(unsafe { &*direct_next() }.as_str(), "color");
970
971 let compiled = vm.get_fn("vm_dynamic_field_or::bracket_next", &[])?;
972 assert_eq!(compiled.ret_ty(), &Type::Any);
973 let bracket_next: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
974 assert_eq!(unsafe { &*bracket_next() }.as_str(), "color");
975
976 let compiled = vm.get_fn("vm_dynamic_field_or::next_or_start", &[])?;
977 assert_eq!(compiled.ret_ty(), &Type::Any);
978 let next_or_start: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
979 assert_eq!(unsafe { &*next_or_start() }.as_str(), "color");
980
981 let compiled = vm.get_fn("vm_dynamic_field_or::assigned_preview", &[])?;
982 assert_eq!(compiled.ret_ty(), &Type::Any);
983 let assigned_preview: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
984 let choice = unsafe { &*assigned_preview() };
985 assert_eq!(choice.get_dynamic("preview").unwrap().as_str(), "tax_free");
986 Ok(())
987 }
988
989 #[test]
990 fn empty_object_literal_in_if_branch_stays_dynamic() -> anyhow::Result<()> {
991 let vm = Vm::with_all()?;
992 vm.import_code(
993 "vm_if_empty_object_branch",
994 r#"
995 pub fn first_note(steps) {
996 let first = if steps.len() > 0 { steps[0] } else { {} };
997 let first_note = first.note || "fallback";
998 first_note
999 }
1000
1001 pub fn first_ja(steps) {
1002 let first = if steps.len() > 0 { steps[0] } else { {} };
1003 first.ja || "すみません"
1004 }
1005
1006 pub fn assign_first_note(steps) {
1007 let first = {};
1008 first = if steps.len() > 0 { steps[0] } else { {} };
1009 first.note || "fallback"
1010 }
1011 "#
1012 .as_bytes()
1013 .to_vec(),
1014 )?;
1015
1016 let compiled = vm.get_fn("vm_if_empty_object_branch::first_note", &[Type::Any])?;
1017 assert_eq!(compiled.ret_ty(), &Type::Any);
1018 let first_note: extern "C" fn(*const Dynamic) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1019
1020 let empty_steps = Dynamic::list(Vec::new());
1021 assert_eq!(unsafe { &*first_note(&empty_steps) }.as_str(), "fallback");
1022
1023 let mut step = std::collections::BTreeMap::new();
1024 step.insert("note".into(), "hello".into());
1025 let steps = Dynamic::list(vec![Dynamic::map(step)]);
1026 assert_eq!(unsafe { &*first_note(&steps) }.as_str(), "hello");
1027
1028 let compiled = vm.get_fn("vm_if_empty_object_branch::first_ja", &[Type::Any])?;
1029 assert_eq!(compiled.ret_ty(), &Type::Any);
1030 let first_ja: extern "C" fn(*const Dynamic) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1031 assert_eq!(unsafe { &*first_ja(&empty_steps) }.as_str(), "すみません");
1032
1033 let compiled = vm.get_fn("vm_if_empty_object_branch::assign_first_note", &[Type::Any])?;
1034 assert_eq!(compiled.ret_ty(), &Type::Any);
1035 let assign_first_note: extern "C" fn(*const Dynamic) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1036 assert_eq!(unsafe { &*assign_first_note(&empty_steps) }.as_str(), "fallback");
1037 assert_eq!(unsafe { &*assign_first_note(&steps) }.as_str(), "hello");
1038 Ok(())
1039 }
1040
1041 #[test]
1042 fn list_literal_can_be_function_tail_expression() -> anyhow::Result<()> {
1043 let vm = Vm::with_all()?;
1044 vm.import_code(
1045 "vm_tail_list_literal",
1046 r#"
1047 pub fn numbers() {
1048 [1, 2, 3]
1049 }
1050
1051 pub fn maps() {
1052 [
1053 {note: "first"},
1054 {note: "second"}
1055 ]
1056 }
1057
1058 pub fn object_with_maps() {
1059 {
1060 steps: [
1061 {note: "first"},
1062 {note: "second"}
1063 ]
1064 }
1065 }
1066
1067 pub fn return_maps() {
1068 return [
1069 {note: "first"},
1070 {note: "second"}
1071 ];
1072 }
1073
1074 pub fn return_maps_without_semicolon() {
1075 return [
1076 {note: "first"},
1077 {note: "second"}
1078 ]
1079 }
1080
1081 pub fn tail_bare_variable() {
1082 let value = [
1083 {note: "first"},
1084 {note: "second"}
1085 ];
1086 value
1087 }
1088
1089 pub fn return_bare_variable_without_semicolon() {
1090 let value = [
1091 {note: "first"},
1092 {note: "second"}
1093 ];
1094 return value
1095 }
1096
1097 pub fn tail_object_variable() {
1098 let result = {
1099 steps: [
1100 {note: "first"},
1101 {note: "second"}
1102 ]
1103 };
1104 result
1105 }
1106 "#
1107 .as_bytes()
1108 .to_vec(),
1109 )?;
1110
1111 let compiled = vm.get_fn("vm_tail_list_literal::numbers", &[])?;
1112 assert_eq!(compiled.ret_ty(), &Type::Any);
1113 let numbers: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1114 let result = unsafe { &*numbers() };
1115 assert_eq!(result.len(), 3);
1116 assert_eq!(result.get_idx(1).and_then(|value| value.as_int()), Some(2));
1117
1118 let compiled = vm.get_fn("vm_tail_list_literal::maps", &[])?;
1119 assert_eq!(compiled.ret_ty(), &Type::Any);
1120 let maps: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1121 let result = unsafe { &*maps() };
1122 assert_eq!(result.len(), 2);
1123 assert_eq!(result.get_idx(1).and_then(|value| value.get_dynamic("note")).map(|value| value.as_str().to_string()), Some("second".to_string()));
1124
1125 let compiled = vm.get_fn("vm_tail_list_literal::object_with_maps", &[])?;
1126 assert_eq!(compiled.ret_ty(), &Type::Any);
1127 let object_with_maps: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1128 let result = unsafe { &*object_with_maps() };
1129 let steps = result.get_dynamic("steps").expect("steps");
1130 assert_eq!(steps.len(), 2);
1131 assert_eq!(steps.get_idx(0).and_then(|value| value.get_dynamic("note")).map(|value| value.as_str().to_string()), Some("first".to_string()));
1132
1133 let compiled = vm.get_fn("vm_tail_list_literal::return_maps", &[])?;
1134 assert_eq!(compiled.ret_ty(), &Type::Any);
1135 let return_maps: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1136 let result = unsafe { &*return_maps() };
1137 assert_eq!(result.len(), 2);
1138 assert_eq!(result.get_idx(1).and_then(|value| value.get_dynamic("note")).map(|value| value.as_str().to_string()), Some("second".to_string()));
1139
1140 let compiled = vm.get_fn("vm_tail_list_literal::return_maps_without_semicolon", &[])?;
1141 assert_eq!(compiled.ret_ty(), &Type::Any);
1142 let return_maps_without_semicolon: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1143 let result = unsafe { &*return_maps_without_semicolon() };
1144 assert_eq!(result.len(), 2);
1145 assert_eq!(result.get_idx(0).and_then(|value| value.get_dynamic("note")).map(|value| value.as_str().to_string()), Some("first".to_string()));
1146
1147 let compiled = vm.get_fn("vm_tail_list_literal::tail_bare_variable", &[])?;
1148 assert_eq!(compiled.ret_ty(), &Type::Any);
1149 let tail_bare_variable: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1150 let result = unsafe { &*tail_bare_variable() };
1151 assert_eq!(result.len(), 2);
1152 assert_eq!(result.get_idx(1).and_then(|value| value.get_dynamic("note")).map(|value| value.as_str().to_string()), Some("second".to_string()));
1153
1154 let compiled = vm.get_fn("vm_tail_list_literal::return_bare_variable_without_semicolon", &[])?;
1155 assert_eq!(compiled.ret_ty(), &Type::Any);
1156 let return_bare_variable_without_semicolon: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1157 let result = unsafe { &*return_bare_variable_without_semicolon() };
1158 assert_eq!(result.len(), 2);
1159 assert_eq!(result.get_idx(0).and_then(|value| value.get_dynamic("note")).map(|value| value.as_str().to_string()), Some("first".to_string()));
1160
1161 let compiled = vm.get_fn("vm_tail_list_literal::tail_object_variable", &[])?;
1162 assert_eq!(compiled.ret_ty(), &Type::Any);
1163 let tail_object_variable: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1164 let result = unsafe { &*tail_object_variable() };
1165 let steps = result.get_dynamic("steps").expect("steps");
1166 assert_eq!(steps.len(), 2);
1167 assert_eq!(steps.get_idx(1).and_then(|value| value.get_dynamic("note")).map(|value| value.as_str().to_string()), Some("second".to_string()));
1168 Ok(())
1169 }
1170
1171 #[test]
1172 fn repeated_deep_step_literals_import_successfully() -> anyhow::Result<()> {
1173 fn extra_page_literal(depth: usize) -> String {
1174 let mut value = "{leaf: \"done\"}".to_string();
1175 for idx in 0..depth {
1176 value = format!("{{kind: \"page\", idx: {idx}, children: [{value}], meta: {{title: \"extra\", visible: true}}}}");
1177 }
1178 value
1179 }
1180
1181 let extra = extra_page_literal(48);
1182 let code = format!(
1183 r#"
1184 pub fn script() {{
1185 return [
1186 {{ja: "一つ目", note: "first", extra: {extra}}},
1187 {{ja: "二つ目", note: "second", extra: {extra}}},
1188 {{ja: "三つ目", note: "third", extra: {extra}}}
1189 ]
1190 }}
1191 "#
1192 );
1193
1194 let vm = Vm::with_all()?;
1195 vm.import_code("vm_repeated_deep_step_literals", code.into_bytes())?;
1196 let compiled = vm.get_fn("vm_repeated_deep_step_literals::script", &[])?;
1197 assert_eq!(compiled.ret_ty(), &Type::Any);
1198 let script: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1199 let result = unsafe { &*script() };
1200 assert_eq!(result.len(), 3);
1201 assert_eq!(result.get_idx(2).and_then(|value| value.get_dynamic("note")).map(|value| value.as_str().to_string()), Some("third".to_string()));
1202 Ok(())
1203 }
1204
1205 #[test]
1206 fn native_import_uses_owning_vm() -> anyhow::Result<()> {
1207 let module_path = std::env::temp_dir().join(format!("zust_vm_import_owner_{}.zs", std::process::id()));
1208 std::fs::write(&module_path, "pub fn value() { 41 }")?;
1209 let module_path = module_path.to_string_lossy().replace('\\', "\\\\").replace('"', "\\\"");
1210
1211 let vm1 = Vm::with_all()?;
1212 vm1.import_code(
1213 "vm_import_owner",
1214 format!(
1215 r#"
1216 pub fn run() {{
1217 import("vm_imported_owner", "{module_path}");
1218 }}
1219 "#
1220 )
1221 .into_bytes(),
1222 )?;
1223 let compiled = vm1.get_fn("vm_import_owner::run", &[])?;
1224
1225 let vm2 = Vm::with_all()?;
1226 vm2.import_code("vm_import_other", b"pub fn run() { 0 }".to_vec())?;
1227 let _ = vm2.get_fn("vm_import_other::run", &[])?;
1228
1229 let run: extern "C" fn() = unsafe { std::mem::transmute(compiled.ptr()) };
1230 run();
1231
1232 assert!(vm1.get_fn("vm_imported_owner::value", &[]).is_ok());
1233 assert!(vm2.get_fn("vm_imported_owner::value", &[]).is_err());
1234 Ok(())
1235 }
1236
1237 #[test]
1238 fn object_last_field_call_does_not_need_trailing_comma() -> anyhow::Result<()> {
1239 let vm = Vm::with_all()?;
1240 vm.import_code(
1241 "vm_object_last_call_field",
1242 r#"
1243 pub fn extra_page() {
1244 {
1245 title: "extra",
1246 pages: [
1247 {note: "nested"}
1248 ]
1249 }
1250 }
1251
1252 pub fn data() {
1253 return [
1254 {
1255 note: "first",
1256 choices: ["a", "b"],
1257 extras: extra_page()
1258 },
1259 {
1260 note: "second",
1261 choices: ["c"],
1262 extras: extra_page()
1263 }
1264 ]
1265 }
1266 "#
1267 .as_bytes()
1268 .to_vec(),
1269 )?;
1270
1271 let compiled = vm.get_fn("vm_object_last_call_field::data", &[])?;
1272 assert_eq!(compiled.ret_ty(), &Type::Any);
1273 let data: extern "C" fn() -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1274 let result = unsafe { &*data() };
1275 assert_eq!(result.len(), 2);
1276 let first = result.get_idx(0).expect("first step");
1277 assert_eq!(first.get_dynamic("extras").and_then(|extras| extras.get_dynamic("title")).map(|title| title.as_str().to_string()), Some("extra".to_string()));
1278 Ok(())
1279 }
1280
1281 #[test]
1282 fn gpu_struct_layout_packs_and_unpacks_dynamic_maps() -> anyhow::Result<()> {
1283 let vm = Vm::with_all()?;
1284 vm.import_code(
1285 "vm_gpu_layout",
1286 br#"
1287 pub struct Params {
1288 a: u32,
1289 b: u32,
1290 c: u32,
1291 }
1292 "#
1293 .to_vec(),
1294 )?;
1295
1296 let layout = vm.gpu_struct_layout("vm_gpu_layout::Params", &[])?;
1297 assert_eq!(layout.size, 16);
1298 assert_eq!(layout.fields.iter().map(|field| (field.name.as_str(), field.offset)).collect::<Vec<_>>(), vec![("a", 0), ("b", 4), ("c", 8)]);
1299
1300 let value = dynamic::map!("a"=> 1u32, "b"=> 2u32, "c"=> 3u32);
1301 let bytes = layout.pack_map(&value)?;
1302 assert_eq!(bytes.len(), 16);
1303 assert_eq!(&bytes[0..4], &1u32.to_ne_bytes());
1304 assert_eq!(&bytes[4..8], &2u32.to_ne_bytes());
1305 assert_eq!(&bytes[8..12], &3u32.to_ne_bytes());
1306
1307 let read = layout.unpack_map(&bytes)?;
1308 assert_eq!(read.get_dynamic("a").and_then(|value| value.as_uint()), Some(1));
1309 assert_eq!(read.get_dynamic("b").and_then(|value| value.as_uint()), Some(2));
1310 assert_eq!(read.get_dynamic("c").and_then(|value| value.as_uint()), Some(3));
1311 Ok(())
1312 }
1313
1314 #[test]
1315 fn root_native_calls_do_not_take_ownership_of_dynamic_args() -> anyhow::Result<()> {
1316 let vm = Vm::with_all()?;
1317 vm.import_code(
1318 "vm_root_clone_bridge",
1319 br#"
1320 pub fn add_then_reuse(arg) {
1321 let user = {
1322 address: "test-wallet",
1323 points: 20
1324 };
1325 root::add("local/root-clone-bridge-user", user);
1326 user.points = user.points - 7;
1327 root::add("local/root-clone-bridge-user", user);
1328 {
1329 user: user,
1330 points: user.points
1331 }
1332 }
1333 "#
1334 .to_vec(),
1335 )?;
1336
1337 let compiled = vm.get_fn("vm_root_clone_bridge::add_then_reuse", &[Type::Any])?;
1338 assert_eq!(compiled.ret_ty(), &Type::Any);
1339 let add_then_reuse: extern "C" fn(*const Dynamic) -> *const Dynamic = unsafe { std::mem::transmute(compiled.ptr()) };
1340 let arg = Dynamic::Null;
1341 let result = add_then_reuse(&arg);
1342 let result = unsafe { &*result };
1343
1344 assert_eq!(result.get_dynamic("points").and_then(|value| value.as_int()), Some(13));
1345 let mut json = String::new();
1346 result.to_json(&mut json);
1347 assert!(json.contains("\"points\": 13"));
1348 Ok(())
1349 }
1350
1351 struct CounterForTypedReceiver {
1352 value: i64,
1353 }
1354
1355 extern "C" fn counter_for_typed_receiver_get(value: *const Dynamic) -> i64 {
1356 unsafe { &*value }.as_custom::<CounterForTypedReceiver>().map(|counter| counter.value).unwrap_or(-1)
1357 }
1358
1359 #[test]
1360 fn typed_receiver_method_call_dispatches_with_type_hint() -> anyhow::Result<()> {
1361 let vm = Vm::with_all()?;
1362 vm.add_empty_type("Counter")?;
1363 let counter_ty = vm.get_symbol("Counter", Vec::new())?;
1364 vm.add_native_method_ptr("Counter", "get", &[counter_ty], Type::I64, counter_for_typed_receiver_get as *const u8)?;
1365 vm.import_code(
1366 "vm_typed_receiver_method",
1367 br#"
1368 pub fn run(value) {
1369 value::<Counter>::get()
1370 }
1371 "#
1372 .to_vec(),
1373 )?;
1374
1375 let compiled = vm.get_fn("vm_typed_receiver_method::run", &[Type::Any])?;
1376 assert_eq!(compiled.ret_ty(), &Type::I64);
1377 let run: extern "C" fn(*const Dynamic) -> i64 = unsafe { std::mem::transmute(compiled.ptr()) };
1378 let value = Dynamic::custom(CounterForTypedReceiver { value: 42 });
1379
1380 assert_eq!(run(&value), 42);
1381 Ok(())
1382 }
1383}