use anyhow::Context;
use std::sync::Arc;
use std::sync::atomic::{AtomicBool, Ordering::Relaxed};
use target_lexicon::Triple;
use wasmtime::*;
use wasmtime_environ::TripleExt;
use wasmtime_test_macros::wasmtime_test;
#[test]
fn checks_incompatible_target() -> Result<()> {
if cfg!(target_arch = "x86_64")
|| cfg!(target_arch = "aarch64")
|| cfg!(target_arch = "s390x")
|| cfg!(target_arch = "riscv64")
{
let mut target = target_lexicon::Triple::host();
target.operating_system = target_lexicon::OperatingSystem::Unknown;
assert_invalid_target(&target.to_string())?;
}
let wrong_pulley = if cfg!(target_pointer_width = "32") {
"pulley64"
} else {
"pulley32"
};
assert_invalid_target(wrong_pulley)?;
return Ok(());
fn assert_invalid_target(target: &str) -> Result<()> {
match Module::new(&Engine::new(Config::new().target(target)?)?, "(module)") {
Ok(_) => unreachable!(),
Err(e) => assert!(
format!("{e:?}").contains("configuration does not match the host"),
"bad error: {e:?}"
),
}
Ok(())
}
}
#[test]
fn caches_across_engines() {
let c = Config::new();
let bytes = Module::new(&Engine::new(&c).unwrap(), "(module)")
.unwrap()
.serialize()
.unwrap();
unsafe {
let res = Module::deserialize(&Engine::default(), &bytes);
assert!(res.is_ok());
let res = Module::deserialize(
&Engine::new(Config::new().memory_reservation(0)).unwrap(),
&bytes,
);
assert!(res.is_err());
let res = Module::deserialize(
&Engine::new(Config::new().wasm_relaxed_simd(false)).unwrap(),
&bytes,
);
assert!(res.is_err());
}
}
#[test]
#[cfg_attr(miri, ignore)]
fn aot_compiles() -> Result<()> {
let engine = Engine::default();
let bytes = engine.precompile_module(
"(module (func (export \"f\") (param i32) (result i32) local.get 0))".as_bytes(),
)?;
let module = unsafe { Module::deserialize(&engine, &bytes)? };
let mut store = Store::new(&engine, ());
let instance = Instance::new(&mut store, &module, &[])?;
let f = instance.get_typed_func::<i32, i32>(&mut store, "f")?;
assert_eq!(f.call(&mut store, 101)?, 101);
Ok(())
}
#[test]
#[cfg_attr(miri, ignore)]
fn serialize_deterministic() {
let engine = Engine::default();
let assert_deterministic = |wasm: &str| {
let p1 = engine.precompile_module(wasm.as_bytes()).unwrap();
let p2 = engine.precompile_module(wasm.as_bytes()).unwrap();
if p1 != p2 {
panic!("precompile_module not deterministic for:\n{wasm}");
}
let module1 = Module::new(&engine, wasm).unwrap();
let a1 = module1.serialize().unwrap();
let a2 = module1.serialize().unwrap();
if a1 != a2 {
panic!("Module::serialize not deterministic for:\n{wasm}");
}
let module2 = Module::new(&engine, wasm).unwrap();
let b1 = module2.serialize().unwrap();
let b2 = module2.serialize().unwrap();
if b1 != b2 {
panic!("Module::serialize not deterministic for:\n{wasm}");
}
if a1 != b2 {
panic!("not matching across modules:\n{wasm}");
}
if b1 != p2 {
panic!("not matching across engine/module:\n{wasm}");
}
};
assert_deterministic("(module)");
assert_deterministic("(module (func))");
assert_deterministic("(module (func nop))");
assert_deterministic("(module (func) (func (param i32)))");
assert_deterministic("(module (func (export \"f\")) (func (export \"y\")))");
assert_deterministic("(module (func $f) (func $g))");
assert_deterministic("(module (data \"\") (data \"\"))");
assert_deterministic("(module (elem func) (elem func))");
}
#[test]
fn serialize_not_overly_massive() -> Result<()> {
let mut config = Config::new();
config.memory_guaranteed_dense_image_size(1 << 20);
let engine = Engine::new(&config)?;
let assert_smaller_than_1mb = |module: &str| -> Result<()> {
println!("{module}");
let bytes = Module::new(&engine, module)?.serialize()?;
assert!(bytes.len() < (1 << 20));
Ok(())
};
assert_smaller_than_1mb(
r#"(module
(memory 20000)
(data (i32.const 0) "a")
(data (i32.const 0x200000) "b")
)"#,
)?;
assert_smaller_than_1mb(
r#"(module
(memory 20000)
(data (i32.const 0) "a")
(data (i32.const 0x200000) "")
)"#,
)?;
assert_smaller_than_1mb(
r#"(module
(memory 20000)
(data (i32.const 0) "")
(data (i32.const 0x200000) "b")
)"#,
)?;
assert_smaller_than_1mb(
r#"(module
(memory 20000)
(data (i32.const 0) "")
(data (i32.const 0x200000) "")
)"#,
)?;
assert_smaller_than_1mb(
r#"(module
(memory 20000)
(data (i32.const 0x200000) "b")
)"#,
)?;
Ok(())
}
#[test]
#[cfg_attr(any(not(target_arch = "x86_64"), miri), ignore)]
fn missing_sse_and_floats_still_works() -> Result<()> {
let mut config = Config::new();
config.wasm_simd(false).wasm_relaxed_simd(false);
unsafe {
config.cranelift_flag_set("has_sse41", "false");
}
let engine = Engine::new(&config)?;
let module = Module::new(
&engine,
r#"
(module
(func (export "f32.ceil") (param f32) (result f32)
local.get 0
f32.ceil)
)
"#,
)?;
let bytes = module.serialize()?;
let module2 = unsafe { Module::deserialize(&engine, &bytes)? };
let tmpdir = tempfile::TempDir::new()?;
let path = tmpdir.path().join("module.cwasm");
std::fs::write(&path, &bytes)?;
let module3 = unsafe { Module::deserialize_file(&engine, &path)? };
for module in [module, module2, module3] {
let mut store = Store::new(&engine, ());
let instance = Instance::new(&mut store, &module, &[])?;
let ceil = instance.get_typed_func::<f32, f32>(&mut store, "f32.ceil")?;
for f in [1.0, 2.3, -1.3] {
assert_eq!(ceil.call(&mut store, f)?, f.ceil());
}
}
Ok(())
}
#[test]
#[cfg_attr(miri, ignore)]
fn large_add_chain_no_stack_overflow() -> Result<()> {
let mut config = Config::new();
config.cranelift_opt_level(OptLevel::None);
let engine = Engine::new(&config)?;
let mut wat = String::from(
"
(module
(func (result i64)
(i64.const 1)
",
);
for _ in 0..20_000 {
wat.push_str("(i64.add (i64.const 1))\n");
}
wat.push_str(")\n)");
Module::new(&engine, &wat)?;
Ok(())
}
#[test]
fn compile_a_component() -> Result<()> {
let engine = Engine::default();
let err = Module::new(&engine, "(component)").unwrap_err();
let err = format!("{err:?}");
assert!(
err.contains("expected a WebAssembly module but was given a WebAssembly component"),
"bad error: {err}"
);
Ok(())
}
#[test]
#[cfg_attr(miri, ignore)]
fn tail_call_defaults() -> Result<()> {
let wasm_with_tail_calls = "(module (func $a return_call $a))";
Module::new(&Engine::default(), wasm_with_tail_calls)?;
Module::new(
&Engine::new(Config::new().strategy(Strategy::Cranelift))?,
wasm_with_tail_calls,
)?;
if cfg!(target_arch = "x86_64") {
let err = Module::new(
&Engine::new(Config::new().strategy(Strategy::Winch))?,
wasm_with_tail_calls,
);
assert!(err.is_err());
}
Ok(())
}
#[test]
#[cfg_attr(miri, ignore)]
fn cross_engine_module_exports() -> Result<()> {
let a_engine = Engine::default();
let b_engine = Engine::default();
let a_module = Module::new(&a_engine, "(module)")?;
let b_module = Module::new(
&b_engine,
r#"
(module
(func (export "x"))
)
"#,
)?;
let export = b_module.get_export_index("x").unwrap();
let mut store = Store::new(&a_engine, ());
let instance = Instance::new(&mut store, &a_module, &[])?;
assert!(instance.get_module_export(&mut store, &export).is_none());
Ok(())
}
#[wasmtime_test(wasm_features(gc, function_references))]
#[cfg_attr(miri, ignore)]
fn concurrent_type_registry_modifications(config: &mut Config) -> Result<()> {
let _ = env_logger::try_init();
const TEST_DURATION_SECONDS: u64 = 5;
const NUM_WORKER_THREADS: usize = 32;
let engine = Engine::new(config)?;
enum Test {
Module(&'static str),
Func(fn(&Engine) -> FuncType),
Struct(fn(&Engine) -> StructType),
Array(fn(&Engine) -> ArrayType),
}
const TESTS: &'static [Test] = &[
Test::Func(|engine| FuncType::new(engine, [], [])),
Test::Func(|engine| FuncType::new(engine, [], [ValType::I32])),
Test::Func(|engine| FuncType::new(engine, [ValType::I32], [])),
Test::Struct(|engine| StructType::new(engine, []).unwrap()),
Test::Array(|engine| {
ArrayType::new(engine, FieldType::new(Mutability::Const, StorageType::I8))
}),
Test::Array(|engine| {
ArrayType::new(engine, FieldType::new(Mutability::Var, StorageType::I8))
}),
Test::Module(
r#"
(module
;; A handful of function types.
(type (func))
(type (func (param i32)))
(type (func (result i32)))
(type (func (param i32) (result i32)))
;; A handful of recursive types.
(rec)
(rec (type $s (struct (field (ref null $s)))))
(rec (type $a (struct (field (ref null $b))))
(type $b (struct (field (ref null $a)))))
(rec (type $c (struct (field (ref null $b))
(field (ref null $d))))
(type $d (struct (field (ref null $a))
(field (ref null $c)))))
;; Some GC types
(type (struct))
(type (array i8))
(type (array (mut i8)))
)
"#,
),
Test::Module(
r#"
(module
;; Just the function types.
(type (func))
(type (func (param i32)))
(type (func (result i32)))
(type (func (param i32) (result i32)))
)
"#,
),
Test::Module(
r#"
(module
;; Just the recursive types.
(rec)
(rec (type $s (struct (field (ref null $s)))))
(rec (type $a (struct (field (ref null $b))))
(type $b (struct (field (ref null $a)))))
(rec (type $c (struct (field (ref null $b))
(field (ref null $d))))
(type $d (struct (field (ref null $a))
(field (ref null $c)))))
)
"#,
),
Test::Module(
r#"
(module
;; One of each kind of type.
(type (func (param i32) (result i32)))
(rec (type $a (struct (field (ref null $b))))
(type $b (struct (field (ref null $a)))))
)
"#,
),
];
let handles = (0..NUM_WORKER_THREADS)
.map(|_| {
let engine = engine.clone();
std::thread::spawn(move || -> Result<()> {
let mut tests = TESTS.iter().cycle();
let start = std::time::Instant::now();
while start.elapsed().as_secs() < TEST_DURATION_SECONDS {
match tests.next() {
Some(Test::Module(wat)) => {
let _ = Module::new(&engine, wat)?;
}
Some(Test::Func(ctor)) => {
let _ = ctor(&engine);
}
Some(Test::Struct(ctor)) => {
let _ = ctor(&engine);
}
Some(Test::Array(ctor)) => {
let _ = ctor(&engine);
}
None => unreachable!(),
}
}
Ok(())
})
})
.collect::<Vec<_>>();
for handle in handles {
handle
.join()
.expect("should join thread handle")
.context("error during thread execution")?;
}
Ok(())
}
#[wasmtime_test(wasm_features(function_references))]
#[cfg_attr(miri, ignore)]
fn concurrent_type_modifications_and_checks(config: &mut Config) -> Result<()> {
const THREADS_CHECKING: usize = 4;
let _ = env_logger::try_init();
let engine = Engine::new(&config)?;
let mut threads = Vec::new();
let keep_going = Arc::new(AtomicBool::new(true));
for _ in 0..THREADS_CHECKING {
threads.push(std::thread::spawn({
let engine = engine.clone();
let keep_going = keep_going.clone();
move || -> Result<()> {
while keep_going.load(Relaxed) {
let module = Module::new(
&engine,
r#"
(module
(func (export "f") (param funcref)
i32.const 0
local.get 0
table.set
i32.const 0
call_indirect (result f64)
drop
)
(table 1 funcref)
)
"#,
)?;
let ty = FuncType::new(&engine, [], [ValType::I32]);
let mut store = Store::new(&engine, ());
let func = Func::new(&mut store, ty, |_, _, results| {
results[0] = Val::I32(0);
Ok(())
});
let instance = Instance::new(&mut store, &module, &[])?;
assert!(instance.get_typed_func::<(), i32>(&mut store, "f").is_err());
assert!(instance.get_typed_func::<(), f64>(&mut store, "f").is_err());
let f = instance.get_typed_func::<Func, ()>(&mut store, "f")?;
let err = f.call(&mut store, func).unwrap_err();
assert_eq!(err.downcast::<Trap>()?, Trap::BadSignature);
}
Ok(())
}
}));
}
threads.push(std::thread::spawn({
let engine = engine.clone();
let keep_going = keep_going.clone();
move || -> Result<()> {
while keep_going.load(Relaxed) {
FuncType::new(&engine, [], [ValType::F64]);
}
Ok(())
}
}));
threads.push(std::thread::spawn({
let engine = engine.clone();
let keep_going = keep_going.clone();
move || -> Result<()> {
while keep_going.load(Relaxed) {
FuncType::new(&engine, [], [ValType::I32]);
}
Ok(())
}
}));
std::thread::sleep(std::time::Duration::new(2, 0));
keep_going.store(false, Relaxed);
for thread in threads {
thread.join().unwrap()?;
}
Ok(())
}
#[test]
#[cfg_attr(miri, ignore)]
fn validate_deterministic() {
let mut faulty_wat = "(module ".to_string();
for i in 0..100 {
faulty_wat.push_str(&format!(
"(func (export \"foo_{i}\") (result i64) (i64.add (i32.const 0) (i64.const 1)))"
));
}
faulty_wat.push_str(")");
let binary = wat::parse_str(faulty_wat).unwrap();
let engine_parallel = Engine::new(&Config::new().parallel_compilation(true)).unwrap();
let result_parallel = Module::validate(&engine_parallel, &binary)
.unwrap_err()
.to_string();
let engine_sequential = Engine::new(&Config::new().parallel_compilation(false)).unwrap();
let result_sequential = Module::validate(&engine_sequential, &binary)
.unwrap_err()
.to_string();
assert_eq!(result_parallel, result_sequential);
}
#[test]
#[cfg_attr(miri, ignore)]
fn deserialize_raw_avoids_copy() {
let mut config = Config::new();
let target = format!("{}", Triple::pulley_host());
config.target(&target).unwrap();
let engine = Engine::new(&config).unwrap();
let wat = String::from(
r#"
(module
(func (export "add") (param $lhs i32) (param $rhs i32) (result i32)
(i32.add (local.get $lhs) (local.get $rhs))
)
)
"#,
);
let module = Module::new(&engine, &wat).unwrap();
let mut serialized = module.serialize().expect("Serialize failed");
let serialized_ptr = std::ptr::slice_from_raw_parts(serialized.as_mut_ptr(), serialized.len());
let module_memory = std::ptr::NonNull::new(serialized_ptr.cast_mut()).unwrap();
let deserialized_module =
unsafe { Module::deserialize_raw(&engine, module_memory).expect("Deserialize Failed") };
let mut store = Store::new(&engine, ());
let instance = Instance::new(&mut store, &deserialized_module, &[]).unwrap();
let f = instance
.get_typed_func::<(i32, i32), i32>(&mut store, "add")
.unwrap();
assert_eq!(f.call(&mut store, (26, 50)).unwrap(), 76);
}
#[test]
#[cfg_attr(miri, ignore)]
fn deserialize_raw_fails_for_native() {
let engine = Engine::default();
let wat = String::from(
r#"
(module
(func (export "add") (param $lhs i32) (param $rhs i32) (result i32)
(i32.add (local.get $lhs) (local.get $rhs))
)
)
"#,
);
let module = Module::new(&engine, &wat).unwrap();
let mut serialized = module.serialize().expect("Serialize failed");
let serialized_ptr = std::ptr::slice_from_raw_parts(serialized.as_mut_ptr(), serialized.len());
let module_memory = std::ptr::NonNull::new(serialized_ptr.cast_mut()).unwrap();
let deserialize_res = unsafe { Module::deserialize_raw(&engine, module_memory) };
if engine.is_pulley() {
let _mod = deserialize_res.expect("Module should deserialize fine for pulley");
} else {
let err = deserialize_res.expect_err("Deserialization should fail for host target");
assert_eq!(
format!("{err}"),
"this target requires virtual memory to be enabled"
);
}
}