wasi_threads_spawn.wat: sprinkle a few memory fences

While I suspect wait and notify are memory barriers for most implementations, it's safer to issue explicit fences.
WebAssembly · Jan 23, 2023 · c6be70c · c6be70c
1 parent d3610f2
commit c6be70c
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/test/testsuite/wasi_threads_spawn.wat b/test/testsuite/wasi_threads_spawn.wat
@@ -18,6 +18,8 @@
     i32.const 8
     local.get $user_arg
     i32.store
+    ;; store fence
+    atomic.fence
     ;; notify the main
     i32.const 0
     i32.const 1
@@ -50,6 +52,8 @@
     if
       unreachable
     end
+    ;; load fence
+    atomic.fence
     ;; check the tid
     local.get $tid
     i32.const 4