Add Atomic instructions (#633)

This adds support for all atomic instructions, enabled via the
`--enable-threads` flag.

It supports all tools: parsing text, decoding binary, validation, and
interpreting. It does not currently ensure that the memory is marked as
shared; that flag is not supported in wabt yet.

1 files changed, 9 insertions, 0 deletions

diff --git a/src/type-checker.h b/src/type-checker.h
index d7216cd8..6f1257ce 100644
--- a/src/type-checker.h
+++ b/src/type-checker.h
@@ -51,6 +51,10 @@ class TypeChecker {
   Result GetLabel(Index depth, Label** out_label);
 
   Result BeginFunction(const TypeVector* sig);
+  Result OnAtomicLoad(Opcode);
+  Result OnAtomicStore(Opcode);
+  Result OnAtomicRmw(Opcode);
+  Result OnAtomicRmwCmpxchg(Opcode);
   Result OnBinary(Opcode);
   Result OnBlock(const TypeVector* sig);
   Result OnBr(Index depth);
@@ -113,9 +117,14 @@ class TypeChecker {
                          const char* desc);
   Result PopAndCheck1Type(Type expected, const char* desc);
   Result PopAndCheck2Types(Type expected1, Type expected2, const char* desc);
+  Result PopAndCheck3Types(Type expected1,
+                           Type expected2,
+                           Type expected3,
+                           const char* desc);
   Result PopAndCheck2TypesAreEqual(Type* out_type, const char* desc);
   Result CheckOpcode1(Opcode opcode);
   Result CheckOpcode2(Opcode opcode);
+  Result CheckOpcode3(Opcode opcode);
   Result OnEnd(Label* label, const char* sig_desc, const char* end_desc);
 
   ErrorCallback error_callback_;