Add atomic loads and stores (#1077)

Add IR, wast and binary support for atomic loads and stores.

Currently all IR generated by means other than parsing wast and binary files always generates non-atomic accesses, and optimizations have not yet been made aware of atomics, so they are certainly not ready to be used yet.

4 files changed, 290 insertions, 0 deletions

diff --git a/test/atomics.wast b/test/atomics.wast
new file mode 100644
index 000000000..af78b98d5
--- /dev/null
+++ b/test/atomics.wast
@@ -0,0 +1,71 @@
+(module
+ (type $0 (func))
+ (memory $0 23 256 shared)
+ (func $atomics (type $0)
+  (local $0 i32)
+  (local $1 i64)
+  (drop
+   (i32.atomic.load8_u offset=4
+    (get_local $0)
+   )
+  )
+  (drop
+   (i32.atomic.load16_u offset=4
+    (get_local $0)
+   )
+  )
+  (drop
+   (i32.atomic.load offset=4
+    (get_local $0)
+   )
+  )
+  (drop
+   (i64.atomic.load8_u
+    (get_local $0)
+   )
+  )
+  (drop
+   (i64.atomic.load16_u
+    (get_local $0)
+   )
+  )
+  (drop
+   (i64.atomic.load32_u
+    (get_local $0)
+   )
+  )
+  (drop
+   (i64.atomic.load
+    (get_local $0)
+   )
+  )
+  (i32.atomic.store offset=4
+   (get_local $0)
+   (get_local $0)
+  )
+  (i32.atomic.store8 offset=4
+   (get_local $0)
+   (get_local $0)
+  )
+  (i32.atomic.store16 offset=4
+   (get_local $0)
+   (get_local $0)
+  )
+  (i64.atomic.store offset=4
+   (get_local $0)
+   (get_local $1)
+  )
+  (i64.atomic.store8 offset=4
+   (get_local $0)
+   (get_local $1)
+  )
+  (i64.atomic.store16 offset=4
+   (get_local $0)
+   (get_local $1)
+  )
+  (i64.atomic.store32 offset=4
+   (get_local $0)
+   (get_local $1)
+  )
+ )
+)
diff --git a/test/atomics.wast.from-wast b/test/atomics.wast.from-wast
new file mode 100644
index 000000000..af78b98d5
--- /dev/null
+++ b/test/atomics.wast.from-wast
@@ -0,0 +1,71 @@
+(module
+ (type $0 (func))
+ (memory $0 23 256 shared)
+ (func $atomics (type $0)
+  (local $0 i32)
+  (local $1 i64)
+  (drop
+   (i32.atomic.load8_u offset=4
+    (get_local $0)
+   )
+  )
+  (drop
+   (i32.atomic.load16_u offset=4
+    (get_local $0)
+   )
+  )
+  (drop
+   (i32.atomic.load offset=4
+    (get_local $0)
+   )
+  )
+  (drop
+   (i64.atomic.load8_u
+    (get_local $0)
+   )
+  )
+  (drop
+   (i64.atomic.load16_u
+    (get_local $0)
+   )
+  )
+  (drop
+   (i64.atomic.load32_u
+    (get_local $0)
+   )
+  )
+  (drop
+   (i64.atomic.load
+    (get_local $0)
+   )
+  )
+  (i32.atomic.store offset=4
+   (get_local $0)
+   (get_local $0)
+  )
+  (i32.atomic.store8 offset=4
+   (get_local $0)
+   (get_local $0)
+  )
+  (i32.atomic.store16 offset=4
+   (get_local $0)
+   (get_local $0)
+  )
+  (i64.atomic.store offset=4
+   (get_local $0)
+   (get_local $1)
+  )
+  (i64.atomic.store8 offset=4
+   (get_local $0)
+   (get_local $1)
+  )
+  (i64.atomic.store16 offset=4
+   (get_local $0)
+   (get_local $1)
+  )
+  (i64.atomic.store32 offset=4
+   (get_local $0)
+   (get_local $1)
+  )
+ )
+)
diff --git a/test/atomics.wast.fromBinary b/test/atomics.wast.fromBinary
new file mode 100644
index 000000000..95c5473e2
--- /dev/null
+++ b/test/atomics.wast.fromBinary
@@ -0,0 +1,74 @@
+(module
+ (type $0 (func))
+ (memory $0 23 256 shared)
+ (func $atomics (type $0)
+  (local $var$0 i32)
+  (local $var$1 i64)
+  (block $label$0
+   (drop
+    (i32.atomic.load8_u offset=4
+     (get_local $var$0)
+    )
+   )
+   (drop
+    (i32.atomic.load16_u offset=4
+     (get_local $var$0)
+    )
+   )
+   (drop
+    (i32.atomic.load offset=4
+     (get_local $var$0)
+    )
+   )
+   (drop
+    (i64.atomic.load8_u
+     (get_local $var$0)
+    )
+   )
+   (drop
+    (i64.atomic.load16_u
+     (get_local $var$0)
+    )
+   )
+   (drop
+    (i64.atomic.load32_u
+     (get_local $var$0)
+    )
+   )
+   (drop
+    (i64.atomic.load
+     (get_local $var$0)
+    )
+   )
+   (i32.atomic.store offset=4
+    (get_local $var$0)
+    (get_local $var$0)
+   )
+   (i32.atomic.store8 offset=4
+    (get_local $var$0)
+    (get_local $var$0)
+   )
+   (i32.atomic.store16 offset=4
+    (get_local $var$0)
+    (get_local $var$0)
+   )
+   (i64.atomic.store offset=4
+    (get_local $var$0)
+    (get_local $var$1)
+   )
+   (i64.atomic.store8 offset=4
+    (get_local $var$0)
+    (get_local $var$1)
+   )
+   (i64.atomic.store16 offset=4
+    (get_local $var$0)
+    (get_local $var$1)
+   )
+   (i64.atomic.store32 offset=4
+    (get_local $var$0)
+    (get_local $var$1)
+   )
+  )
+ )
+)
+
diff --git a/test/atomics.wast.fromBinary.noDebugInfo b/test/atomics.wast.fromBinary.noDebugInfo
new file mode 100644
index 000000000..279ef79a6
--- /dev/null
+++ b/test/atomics.wast.fromBinary.noDebugInfo
@@ -0,0 +1,74 @@
+(module
+ (type $0 (func))
+ (memory $0 23 256 shared)
+ (func $0 (type $0)
+  (local $var$0 i32)
+  (local $var$1 i64)
+  (block $label$0
+   (drop
+    (i32.atomic.load8_u offset=4
+     (get_local $var$0)
+    )
+   )
+   (drop
+    (i32.atomic.load16_u offset=4
+     (get_local $var$0)
+    )
+   )
+   (drop
+    (i32.atomic.load offset=4
+     (get_local $var$0)
+    )
+   )
+   (drop
+    (i64.atomic.load8_u
+     (get_local $var$0)
+    )
+   )
+   (drop
+    (i64.atomic.load16_u
+     (get_local $var$0)
+    )
+   )
+   (drop
+    (i64.atomic.load32_u
+     (get_local $var$0)
+    )
+   )
+   (drop
+    (i64.atomic.load
+     (get_local $var$0)
+    )
+   )
+   (i32.atomic.store offset=4
+    (get_local $var$0)
+    (get_local $var$0)
+   )
+   (i32.atomic.store8 offset=4
+    (get_local $var$0)
+    (get_local $var$0)
+   )
+   (i32.atomic.store16 offset=4
+    (get_local $var$0)
+    (get_local $var$0)
+   )
+   (i64.atomic.store offset=4
+    (get_local $var$0)
+    (get_local $var$1)
+   )
+   (i64.atomic.store8 offset=4
+    (get_local $var$0)
+    (get_local $var$1)
+   )
+   (i64.atomic.store16 offset=4
+    (get_local $var$0)
+    (get_local $var$1)
+   )
+   (i64.atomic.store32 offset=4
+    (get_local $var$0)
+    (get_local $var$1)
+   )
+  )
+ )
+)
+