diff --git a/test/core/threads/LB.wast b/test/core/threads/LB.wast index dc5af8530..b92eb4488 100644 --- a/test/core/threads/LB.wast +++ b/test/core/threads/LB.wast @@ -41,7 +41,7 @@ (wait $T2) (module $Check - (memory (import "mem" "shared") 1 1 shared) + (memory (import "Mem" "shared") 1 1 shared) (func (export "check") (result i32) (local i32 i32) @@ -53,7 +53,7 @@ ;; allowed results: (L_0 = 0 || L_0 = 1) && (L_1 = 0 || L_1 = 1) (i32.or (i32.eq (local.get 0) (i32.const 1)) (i32.eq (local.get 0) (i32.const 0))) - (i32.or (i32.eq (local.get 1) (i32.const 1)) (i32.eq (local.get 0) (i32.const 0))) + (i32.or (i32.eq (local.get 1) (i32.const 1)) (i32.eq (local.get 1) (i32.const 0))) (i32.and) (return) ) diff --git a/test/core/threads/LB_atomic.wast b/test/core/threads/LB_atomic.wast index 79642713a..c13f948a1 100644 --- a/test/core/threads/LB_atomic.wast +++ b/test/core/threads/LB_atomic.wast @@ -41,7 +41,7 @@ (wait $T2) (module $Check - (memory (import "mem" "shared") 1 1 shared) + (memory (import "Mem" "shared") 1 1 shared) (func (export "check") (result i32) (local i32 i32) diff --git a/test/core/threads/MP.wast b/test/core/threads/MP.wast index e14508596..8ae62a4c2 100644 --- a/test/core/threads/MP.wast +++ b/test/core/threads/MP.wast @@ -38,7 +38,7 @@ (wait $T2) (module $Check - (memory (import "mem" "shared") 1 1 shared) + (memory (import "Mem" "shared") 1 1 shared) (func (export "check") (result i32) (local i32 i32) @@ -50,7 +50,7 @@ ;; allowed results: (L_0 = 0 || L_0 = 1) && (L_1 = 0 || L_1 = 42) (i32.or (i32.eq (local.get 0) (i32.const 1)) (i32.eq (local.get 0) (i32.const 0))) - (i32.or (i32.eq (local.get 1) (i32.const 42)) (i32.eq (local.get 0) (i32.const 0))) + (i32.or (i32.eq (local.get 1) (i32.const 42)) (i32.eq (local.get 1) (i32.const 0))) (i32.and) (return) ) diff --git a/test/core/threads/MP_atomic.wast b/test/core/threads/MP_atomic.wast index 2001634a2..1af863441 100644 --- a/test/core/threads/MP_atomic.wast +++ b/test/core/threads/MP_atomic.wast @@ -38,7 +38,7 @@ (wait $T2) (module $Check - (memory (import "mem" "shared") 1 1 shared) + (memory (import "Mem" "shared") 1 1 shared) (func (export "check") (result i32) (local i32 i32) diff --git a/test/core/threads/MP_wait.wast b/test/core/threads/MP_wait.wast index 2001634a2..1af863441 100644 --- a/test/core/threads/MP_wait.wast +++ b/test/core/threads/MP_wait.wast @@ -38,7 +38,7 @@ (wait $T2) (module $Check - (memory (import "mem" "shared") 1 1 shared) + (memory (import "Mem" "shared") 1 1 shared) (func (export "check") (result i32) (local i32 i32) diff --git a/test/core/threads/SB.wast b/test/core/threads/SB.wast index 65fe7853d..f94abab03 100644 --- a/test/core/threads/SB.wast +++ b/test/core/threads/SB.wast @@ -41,7 +41,7 @@ (wait $T2) (module $Check - (memory (import "mem" "shared") 1 1 shared) + (memory (import "Mem" "shared") 1 1 shared) (func (export "check") (result i32) (local i32 i32) @@ -53,7 +53,7 @@ ;; allowed results: (L_0 = 0 || L_0 = 1) && (L_1 = 0 || L_1 = 1) (i32.or (i32.eq (local.get 0) (i32.const 1)) (i32.eq (local.get 0) (i32.const 0))) - (i32.or (i32.eq (local.get 1) (i32.const 1)) (i32.eq (local.get 0) (i32.const 0))) + (i32.or (i32.eq (local.get 1) (i32.const 1)) (i32.eq (local.get 1) (i32.const 0))) (i32.and) (return) ) diff --git a/test/core/threads/SB_atomic.wast b/test/core/threads/SB_atomic.wast index 3bd8c8a6d..3cedaed55 100644 --- a/test/core/threads/SB_atomic.wast +++ b/test/core/threads/SB_atomic.wast @@ -41,7 +41,7 @@ (wait $T2) (module $Check - (memory (import "mem" "shared") 1 1 shared) + (memory (import "Mem" "shared") 1 1 shared) (func (export "check") (result i32) (local i32 i32)