Add Wasm simd proposal's official Wasm spec testsuite tests (#1413)

add official Wasm testsuite SIMD tests

They are all ignored for now since Wasmi would not pass them.
This also enables Wasmi's `simd` crate feature by default for the `wasmi_wast` crate.

Author: Robbepop

crates/wast/Cargo.toml

@@ -14,6 +14,6 @@ categories.workspace = true
 exclude.workspace = true
 
 [dependencies]
-wasmi = { workspace = true, features = ["std"] }
+wasmi = { workspace = true, features = ["std", "simd"] }
 wast = { workspace = true, features = ["wasm-module"] }
 anyhow = "1.0"

crates/wast/tests/mod.rs

@@ -194,6 +194,64 @@ macro_rules! expand_tests {
             fn wasm_utf8_import_module("utf8-import-module");
             fn wasm_utf8_invalid_encoding("utf8-invalid-encoding");
             fn wasm_wide_arithmetic("proposals/wide-arithmetic/wide-arithmetic");
+
+            #[ignore] fn wasm_simd_address("simd_address");
+            #[ignore] fn wasm_simd_align("simd_align");
+            #[ignore] fn wasm_simd_bit_shift("simd_bit_shift");
+            #[ignore] fn wasm_simd_bitwise("simd_bitwise");
+            #[ignore] fn wasm_simd_boolean("simd_boolean");
+            #[ignore] fn wasm_simd_const("simd_const");
+            #[ignore] fn wasm_simd_conversions("simd_conversions");
+            #[ignore] fn wasm_simd_f32x4("simd_f32x4");
+            #[ignore] fn wasm_simd_f32x4_arith("simd_f32x4_arith");
+            #[ignore] fn wasm_simd_f32x4_cmp("simd_f32x4_cmp");
+            #[ignore] fn wasm_simd_f32x4_pmin_pmax("simd_f32x4_pmin_pmax");
+            #[ignore] fn wasm_simd_f32x4_rounding("simd_f32x4_rounding");
+            #[ignore] fn wasm_simd_f64x2("simd_f64x2");
+            #[ignore] fn wasm_simd_f64x2_arith("simd_f64x2_arith");
+            #[ignore] fn wasm_simd_f64x2_cmp("simd_f64x2_cmp");
+            #[ignore] fn wasm_simd_f64x2_pmin_pmax("simd_f64x2_pmin_pmax");
+            #[ignore] fn wasm_simd_f64x2_rounding("simd_f64x2_rounding");
+            #[ignore] fn wasm_simd_i16x8_arith("simd_i16x8_arith");
+            #[ignore] fn wasm_simd_i16x8_arith2("simd_i16x8_arith2");
+            #[ignore] fn wasm_simd_i16x8_cmp("simd_i16x8_cmp");
+            #[ignore] fn wasm_simd_i16x8_extadd_pairwise_i8x16("simd_i16x8_extadd_pairwise_i8x16");
+            #[ignore] fn wasm_simd_i16x8_extmul_i8x16("simd_i16x8_extmul_i8x16");
+            #[ignore] fn wasm_simd_i16x8_q15mulr_sat_s("simd_i16x8_q15mulr_sat_s");
+            #[ignore] fn wasm_simd_i16x8_sat_arith("simd_i16x8_sat_arith");
+            #[ignore] fn wasm_simd_i32x4_arith("simd_i32x4_arith");
+            #[ignore] fn wasm_simd_i32x4_arith2("simd_i32x4_arith2");
+            #[ignore] fn wasm_simd_i32x4_cmp("simd_i32x4_cmp");
+            #[ignore] fn wasm_simd_i32x4_dot_i16x8("simd_i32x4_dot_i16x8");
+            #[ignore] fn wasm_simd_i32x4_extadd_pairwise_i16x8("simd_i32x4_extadd_pairwise_i16x8");
+            #[ignore] fn wasm_simd_i32x4_extmul_i16x8("simd_i32x4_extmul_i16x8");
+            #[ignore] fn wasm_simd_i32x4_trunc_sat_f32x4("simd_i32x4_trunc_sat_f32x4");
+            #[ignore] fn wasm_simd_i32x4_trunc_sat_f64x2("simd_i32x4_trunc_sat_f64x2");
+            #[ignore] fn wasm_simd_i64x2_arith("simd_i64x2_arith");
+            #[ignore] fn wasm_simd_i64x2_arith2("simd_i64x2_arith2");
+            #[ignore] fn wasm_simd_i64x2_cmp("simd_i64x2_cmp");
+            #[ignore] fn wasm_simd_i64x2_extmul_i32x4("simd_i64x2_extmul_i32x4");
+            #[ignore] fn wasm_simd_i8x16_arith("simd_i8x16_arith");
+            #[ignore] fn wasm_simd_i8x16_arith2("simd_i8x16_arith2");
+            #[ignore] fn wasm_simd_i8x16_cmp("simd_i8x16_cmp");
+            #[ignore] fn wasm_simd_i8x16_sat_arith("simd_i8x16_sat_arith");
+            #[ignore] fn wasm_simd_int_to_int_extend("simd_int_to_int_extend");
+            #[ignore] fn wasm_simd_lane("simd_lane");
+            #[ignore] fn wasm_simd_linking("simd_linking");
+            #[ignore] fn wasm_simd_load("simd_load");
+            #[ignore] fn wasm_simd_load16_lane("simd_load16_lane");
+            #[ignore] fn wasm_simd_load32_lane("simd_load32_lane");
+            #[ignore] fn wasm_simd_load64_lane("simd_load64_lane");
+            #[ignore] fn wasm_simd_load8_lane("simd_load8_lane");
+            #[ignore] fn wasm_simd_load_extend("simd_load_extend");
+            #[ignore] fn wasm_simd_load_splat("simd_load_splat");
+            #[ignore] fn wasm_simd_load_zero("simd_load_zero");
+            #[ignore] fn wasm_simd_splat("simd_splat");
+            #[ignore] fn wasm_simd_store("simd_store");
+            #[ignore] fn wasm_simd_store16_lane("simd_store16_lane");
+            #[ignore] fn wasm_simd_store32_lane("simd_store32_lane");
+            #[ignore] fn wasm_simd_store64_lane("simd_store64_lane");
+            #[ignore] fn wasm_simd_store8_lane("simd_store8_lane");
         }
     };
 }
@@ -269,7 +327,7 @@ macro_rules! expand_tests_mm {
             fn wasm_multi_memory_memory_trap1("proposals/multi-memory/memory_trap1");
             fn wasm_multi_memory_memory_multi("proposals/multi-memory/memory-multi");
             fn wasm_multi_memory_memory("proposals/multi-memory/memory");
-            // fn wasm_multi_memory_simd_memory("proposals/multi-memory/simd_memory-multi");
+            #[ignore] fn wasm_multi_memory_simd_memory("proposals/multi-memory/simd_memory-multi");
             fn wasm_multi_memory_start0("proposals/multi-memory/start0");
             fn wasm_multi_memory_store("proposals/multi-memory/store");
             fn wasm_multi_memory_store0("proposals/multi-memory/store0");