Skip to content

Commit 23ffd80

Browse files
Validation: Fix mixed memory64 table copy
1 parent 2d7a0bd commit 23ffd80

File tree

2 files changed

+1
-11
lines changed

2 files changed

+1
-11
lines changed

Sources/WasmKit/Translator.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1983,7 +1983,7 @@ struct InstructionTranslator<Context: TranslatorContext>: InstructionVisitor {
19831983
// https://github.com/WebAssembly/memory64/blob/main/proposals/memory64/Overview.md
19841984
let destIsMemory64 = try module.isMemory64(tableIndex: dstTable)
19851985
let sourceIsMemory64 = try module.isMemory64(tableIndex: srcTable)
1986-
let lengthIsMemory64 = destIsMemory64 || sourceIsMemory64
1986+
let lengthIsMemory64 = destIsMemory64 && sourceIsMemory64
19871987
try pop3Emit(
19881988
(
19891989
.address(isMemory64: lengthIsMemory64),

Tests/WasmKitTests/SpectestTests.swift

Lines changed: 0 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -22,16 +22,6 @@ final class SpectestTests: XCTestCase {
2222
path: Self.testPaths,
2323
include: [],
2424
exclude: [
25-
"memory_grow.wast",
26-
"memory_size.wast",
27-
"proposals/memory64/align64.wast",
28-
"proposals/memory64/call_indirect.wast",
29-
"proposals/memory64/load64.wast",
30-
"proposals/memory64/memory64.wast",
31-
"proposals/memory64/table_copy_mixed.wast",
32-
"proposals/memory64/table_get.wast",
33-
"proposals/memory64/table_grow.wast",
34-
"proposals/memory64/table_size.wast",
3525
"ref_func.wast",
3626
"select.wast",
3727
"start.wast",

0 commit comments

Comments
 (0)