c74706aa59
* feat: implement memory.atomic.notify,wait32,wait64 Added the parking_spot crate, which provides the needed registry for the operations. Signed-off-by: Harald Hoyer <harald@profian.com> * fix: change trap message for HeapMisaligned The threads spec test wants "unaligned atomic" instead of "misaligned memory access". Signed-off-by: Harald Hoyer <harald@profian.com> * tests: add test for atomic wait on non-shared memory Signed-off-by: Harald Hoyer <harald@profian.com> * tests: add tests/spec_testsuite/proposals/threads without pooling and reference types. Also "shared_memory" is added to the "spectest" interface. Signed-off-by: Harald Hoyer <harald@profian.com> * tests: add atomics_notify.wast checking that notify with 0 waiters returns 0 on shared and non-shared memory. Signed-off-by: Harald Hoyer <harald@profian.com> * tests: add tests for atomic wait on shared memory - return 2 - timeout for 0 - return 2 - timeout for 1000ns - return 1 - invalid value Signed-off-by: Harald Hoyer <harald@profian.com> * fixup! feat: implement memory.atomic.notify,wait32,wait64 Signed-off-by: Harald Hoyer <harald@profian.com> * fixup! feat: implement memory.atomic.notify,wait32,wait64 Signed-off-by: Harald Hoyer <harald@profian.com> Signed-off-by: Harald Hoyer <harald@profian.com>
81 lines
2.8 KiB
Rust
81 lines
2.8 KiB
Rust
use anyhow::Result;
|
|
use wasmtime::*;
|
|
|
|
/// Return an instance implementing the "spectest" interface used in the
|
|
/// spec testsuite.
|
|
pub fn link_spectest<T>(
|
|
linker: &mut Linker<T>,
|
|
store: &mut Store<T>,
|
|
use_shared_memory: bool,
|
|
) -> Result<()> {
|
|
linker.func_wrap("spectest", "print", || {})?;
|
|
linker.func_wrap("spectest", "print_i32", |val: i32| println!("{}: i32", val))?;
|
|
linker.func_wrap("spectest", "print_i64", |val: i64| println!("{}: i64", val))?;
|
|
linker.func_wrap("spectest", "print_f32", |val: f32| println!("{}: f32", val))?;
|
|
linker.func_wrap("spectest", "print_f64", |val: f64| println!("{}: f64", val))?;
|
|
linker.func_wrap("spectest", "print_i32_f32", |i: i32, f: f32| {
|
|
println!("{}: i32", i);
|
|
println!("{}: f32", f);
|
|
})?;
|
|
linker.func_wrap("spectest", "print_f64_f64", |f1: f64, f2: f64| {
|
|
println!("{}: f64", f1);
|
|
println!("{}: f64", f2);
|
|
})?;
|
|
|
|
let ty = GlobalType::new(ValType::I32, Mutability::Const);
|
|
let g = Global::new(&mut *store, ty, Val::I32(666))?;
|
|
linker.define("spectest", "global_i32", g)?;
|
|
|
|
let ty = GlobalType::new(ValType::I64, Mutability::Const);
|
|
let g = Global::new(&mut *store, ty, Val::I64(666))?;
|
|
linker.define("spectest", "global_i64", g)?;
|
|
|
|
let ty = GlobalType::new(ValType::F32, Mutability::Const);
|
|
let g = Global::new(&mut *store, ty, Val::F32(0x4426_8000))?;
|
|
linker.define("spectest", "global_f32", g)?;
|
|
|
|
let ty = GlobalType::new(ValType::F64, Mutability::Const);
|
|
let g = Global::new(&mut *store, ty, Val::F64(0x4084_d000_0000_0000))?;
|
|
linker.define("spectest", "global_f64", g)?;
|
|
|
|
let ty = TableType::new(ValType::FuncRef, 10, Some(20));
|
|
let table = Table::new(&mut *store, ty, Val::FuncRef(None))?;
|
|
linker.define("spectest", "table", table)?;
|
|
|
|
let ty = MemoryType::new(1, Some(2));
|
|
let memory = Memory::new(&mut *store, ty)?;
|
|
linker.define("spectest", "memory", memory)?;
|
|
|
|
if use_shared_memory {
|
|
let ty = MemoryType::shared(1, 1);
|
|
let memory = Memory::new(&mut *store, ty)?;
|
|
linker.define("spectest", "shared_memory", memory)?;
|
|
}
|
|
|
|
Ok(())
|
|
}
|
|
|
|
#[cfg(feature = "component-model")]
|
|
pub fn link_component_spectest<T>(linker: &mut component::Linker<T>) -> Result<()> {
|
|
let engine = linker.engine().clone();
|
|
linker
|
|
.root()
|
|
.func_wrap("host-return-two", |_, _: ()| Ok((2u32,)))?;
|
|
let mut i = linker.instance("host")?;
|
|
i.func_wrap("return-three", |_, _: ()| Ok((3u32,)))?;
|
|
i.instance("nested")?
|
|
.func_wrap("return-four", |_, _: ()| Ok((4u32,)))?;
|
|
|
|
let module = Module::new(
|
|
&engine,
|
|
r#"
|
|
(module
|
|
(global (export "g") i32 i32.const 100)
|
|
(func (export "f") (result i32) i32.const 101)
|
|
)
|
|
"#,
|
|
)?;
|
|
i.module("simple-module", &module)?;
|
|
Ok(())
|
|
}
|