Validation: Check table element type in table.copy

Author: kateinoigakukun

Sources/WasmKit/Translator.swift

@@ -2004,6 +2004,7 @@ struct InstructionTranslator<Context: TranslatorContext>: InstructionVisitor {
         // -----------------------------------------------------------------------------
         // C ⊦ table.copy d s : [iN iM iK] → []
         // https://github.com/WebAssembly/memory64/blob/main/proposals/memory64/Overview.md
+        try validator.validateTableCopy(dest: dstTable, source: srcTable)
         let destIsMemory64 = try module.isMemory64(tableIndex: dstTable)
         let sourceIsMemory64 = try module.isMemory64(tableIndex: srcTable)
         let lengthIsMemory64 = destIsMemory64 && sourceIsMemory64

Sources/WasmKit/Validator.swift

@@ -43,6 +43,14 @@ struct InstructionValidator<Context: TranslatorContext> {
         }
     }
 
+    func validateTableCopy(dest: UInt32, source: UInt32) throws {
+        let tableType1 = try context.tableType(source)
+        let tableType2 = try context.tableType(dest)
+        guard tableType1.elementType == tableType2.elementType else {
+            throw ValidationError("Table element type mismatch in table.copy: \(tableType1.elementType) != \(tableType2.elementType)")
+        }
+    }
+
     func validateRefFunc(functionIndex: UInt32) throws {
         try context.validateFunctionIndex(functionIndex)
     }

Tests/WasmKitTests/SpectestTests.swift

@@ -22,7 +22,6 @@ final class SpectestTests: XCTestCase {
             path: Self.testPaths,
             include: [],
             exclude: [
-                "table-sub.wast",
                 "table.wast",
                 "table_get.wast",
                 "table_grow.wast",