Update spec test suite submodule (#1553)

Use the previous support for `WasmFeatures` in a parser to help guide
which error messages are generated when reading various sections.

Author: alexcrichton

crates/wasmparser/src/binary_reader.rs

@@ -290,14 +290,18 @@ impl<'a> BinaryReader<'a> {
     fn read_memarg(&mut self, max_align: u8) -> Result<MemArg> {
         let flags_pos = self.original_position();
         let mut flags = self.read_var_u32()?;
-        let memory = if flags & (1 << 6) != 0 {
+
+        let memory = if self.features.multi_memory() && flags & (1 << 6) != 0 {
             flags ^= 1 << 6;
             self.read_var_u32()?
         } else {
             0
         };
         let align = if flags >= (1 << 6) {
-            return Err(BinaryReaderError::new("alignment too large", flags_pos));
+            return Err(BinaryReaderError::new(
+                "malformed memop flags: alignment too large",
+                flags_pos,
+            ));
         } else {
             flags as u8
         };

crates/wasmparser/src/validator/operators.rs

@@ -729,7 +729,10 @@ where
     fn check_memarg(&self, memarg: MemArg) -> Result<ValType> {
         let index_ty = self.check_memory_index(memarg.memory)?;
         if memarg.align > memarg.max_align {
-            bail!(self.offset, "alignment must not be larger than natural");
+            bail!(
+                self.offset,
+                "malformed memop flags: alignment must not be larger than natural"
+            );
         }
         if index_ty == ValType::I32 && memarg.offset > u64::from(u32::MAX) {
             bail!(self.offset, "offset out of range: must be <= 2**32");

tests/roundtrip.rs

@@ -116,9 +116,8 @@ fn find_tests() -> Vec<PathBuf> {
 /// Note that this is used to skip tests for all crates, not just one at a
 /// time. There's further filters applied while testing.
 fn skip_test(test: &Path, contents: &[u8]) -> bool {
-    // currently no tests are skipped
-    let _ = (test, contents);
-    false
+    let _ = contents;
+    test.iter().any(|p| p == "exception-handling") && test.iter().any(|p| p == "legacy")
 }
 
 fn skip_validation(_test: &Path) -> bool {

tests/snapshots/testsuite/align.wast.json

@@ -1813,6 +1813,48 @@
           "value": "0"
         }
       ]
+    },
+    {
+      "type": "assert_invalid",
+      "line": 873,
+      "filename": "align.108.wasm",
+      "text": "alignment must not be larger than natural",
+      "module_type": "binary"
+    },
+    {
+      "type": "assert_malformed",
+      "line": 892,
+      "filename": "align.109.wasm",
+      "text": "malformed memop flags",
+      "module_type": "binary"
+    },
+    {
+      "type": "assert_malformed",
+      "line": 911,
+      "filename": "align.110.wasm",
+      "text": "malformed memop flags",
+      "module_type": "binary"
+    },
+    {
+      "type": "assert_malformed",
+      "line": 930,
+      "filename": "align.111.wasm",
+      "text": "malformed memop flags",
+      "module_type": "binary"
+    },
+    {
+      "type": "assert_malformed",
+      "line": 949,
+      "filename": "align.112.wasm",
+      "text": "malformed memop flags",
+      "module_type": "binary"
+    },
+    {
+      "type": "assert_malformed",
+      "line": 968,
+      "filename": "align.113.wasm",
+      "text": "malformed memop flags",
+      "module_type": "binary"
     }
   ]
 }