winch: Add support for WebAssembly loads/stores

build.rs

@@ -203,7 +203,7 @@ fn write_testsuite_tests(
 fn ignore(testsuite: &str, testname: &str, strategy: &str) -> bool {
     assert!(strategy == "Cranelift" || strategy == "Winch");
 
-    // Ignore everything except the winch misc test suite.
+    // Ignore some tests for when testing Winch.
     if strategy == "Winch" {
         if testsuite == "misc_testsuite" {
             // The misc/call_indirect is fully supported by Winch.
@@ -212,8 +212,27 @@ fn ignore(testsuite: &str, testname: &str, strategy: &str) -> bool {
             }
         }
         if testsuite == "spec_testsuite" {
-            // The official following tests are supported.
-            return !["table_init", "table_copy"].contains(&testname);
+            let denylist = [
+                "br_table",
+                "conversions",
+                "global",
+                "table_fill",
+                "table_get",
+                "table_set",
+                "table_grow",
+                "table_size",
+                "elem",
+                "select",
+                "unreached_invalid",
+                "imports",
+                "linking",
+            ]
+            .contains(&testname);
+
+            let ref_types = testname.starts_with("ref_");
+            let simd = testname.starts_with("simd_");
+
+            return denylist || ref_types || simd;
         }
 
         if testsuite != "winch" {

cranelift/codegen/src/isa/x64/inst/args.rs

@@ -329,7 +329,8 @@ impl Amode {
         Self::RipRelative { target }
     }
 
-    pub(crate) fn with_flags(&self, flags: MemFlags) -> Self {
+    /// Set the specified [MemFlags] to the [Amode].
+    pub fn with_flags(&self, flags: MemFlags) -> Self {
         match self {
             &Self::ImmReg { simm32, base, .. } => Self::ImmReg {
                 simm32,

fuzz/fuzz_targets/differential.rs

@@ -462,7 +462,30 @@ fn winch_supports_module(module: &[u8]) -> bool {
                         | MemoryFill { .. }
                         | MemoryInit { .. }
                         | DataDrop { .. }
-                        | MemorySize { .. } => {}
+                        | MemorySize { .. }
+                        | I32Load { .. }
+                        | I32Load8S { .. }
+                        | I32Load8U { .. }
+                        | I32Load16S { .. }
+                        | I32Load16U { .. }
+                        | I64Load8S { .. }
+                        | I64Load8U { .. }
+                        | I64Load16S { .. }
+                        | I64Load16U { .. }
+                        | I64Load32S { .. }
+                        | I64Load32U { .. }
+                        | I64Load { .. }
+                        | I32Store { .. }
+                        | I32Store8 { .. }
+                        | I32Store16 { .. }
+                        | I64Store { .. }
+                        | I64Store8 { .. }
+                        | I64Store16 { .. }
+                        | I64Store32 { .. }
+                        | F32Load { .. }
+                        | F32Store { .. }
+                        | F64Load { .. }
+                        | F64Store { .. } => {}
                         _ => {
                             supported = false;
                             break 'main;