Add support for atomic.fence from the threads proposal (#1231)

See https://github.com/WebAssembly/threads/pull/141 for the binary
encoding.  This patch does add a field to AtomicFenceExpr for the
consistency model, though without a type for the time being.

1 files changed, 12 insertions, 0 deletions

diff --git a/src/shared-validator.cc b/src/shared-validator.cc
index 2a564772..e84ccf12 100644
--- a/src/shared-validator.cc
+++ b/src/shared-validator.cc
@@ -594,6 +594,18 @@ Result SharedValidator::CheckAtomicAlign(const Location& loc,
   return Result::Ok;
 }
 
+Result SharedValidator::OnAtomicFence(const Location& loc,
+                                      uint32_t consistency_model) {
+  Result result = Result::Ok;
+  if (consistency_model != 0) {
+    result |= PrintError(
+        loc, "unexpected atomic.fence consistency model (expected 0): %u",
+        consistency_model);
+  }
+  result |= typechecker_.OnAtomicFence(consistency_model);
+  return result;
+}
+
 Result SharedValidator::OnAtomicLoad(const Location& loc,
                                      Opcode opcode,
                                      Address alignment) {