Update Wasmi fuzzing oracle to v0.42 (bytecodealliance#10386)

* update Wasmi fuzzing oracle to v0.42

* update Wasm proposals supported by Wasmi

* Add vets

---------

Co-authored-by: Alex Crichton <[email protected]>

Author: Robbepop

Cargo.lock

@@ -32,7 +32,7 @@ wasm-encoder = { workspace = true }
 wasm-smith = { workspace = true }
 wasm-mutate = { workspace = true }
 wasm-spec-interpreter = { path = "./wasm-spec-interpreter", optional = true }
-wasmi = "0.39.1"
+wasmi = "0.42.0"
 futures = { workspace = true }
 wasmtime-wast-util = { path = '../wast-util' }
 

crates/fuzzing/Cargo.toml

@@ -16,12 +16,9 @@ impl WasmiEngine {
         // Force generated Wasm modules to never have features that Wasmi doesn't support.
         config.simd_enabled = false;
         config.relaxed_simd_enabled = false;
-        config.memory64_enabled = false;
         config.threads_enabled = false;
         config.exceptions_enabled = false;
         config.gc_enabled = false;
-        config.custom_page_sizes_enabled = false;
-        config.wide_arithmetic_enabled = false;
 
         let mut wasmi_config = wasmi::Config::default();
         wasmi_config
@@ -35,7 +32,10 @@ impl WasmiEngine {
             .wasm_reference_types(config.reference_types_enabled)
             .wasm_tail_call(config.tail_call_enabled)
             .wasm_multi_memory(config.max_memories > 1)
-            .wasm_extended_const(config.extended_const_enabled);
+            .wasm_extended_const(config.extended_const_enabled)
+            .wasm_custom_page_sizes(config.custom_page_sizes_enabled)
+            .wasm_memory64(config.memory64_enabled)
+            .wasm_wide_arithmetic(config.wide_arithmetic_enabled);
         Self {
             engine: wasmi::Engine::new(&wasmi_config),
         }

crates/fuzzing/src/oracles/diff_wasmi.rs

@@ -2307,6 +2307,12 @@ This is a minor update which has some testing affordances as well as some
 updated math algorithms.
 """
 
+[[audits.libm]]
+who = "Alex Crichton <[email protected]>"
+criteria = "safe-to-deploy"
+delta = "0.2.8 -> 0.2.11"
+notes = "Mostly formatting-related changes, nothing major."
+
 [[audits.libtest-mimic]]
 who = "Alex Crichton <[email protected]>"
 criteria = "safe-to-run"