asm2wasm atomics (#1171)

* translate asm.js atomics into wasm atomics

* fix wasm-builder atomic load emitting, the alignment is the loaded size, not the output size

* don't require code for each node type in vaccuum, for non-mentioned nodes, assume we can't optimize them out

* support atomics in hashing, comparing, and copying

1 files changed, 122 insertions, 0 deletions

diff --git a/test/threads.fromasm.no-opts b/test/threads.fromasm.no-opts
new file mode 100644
index 000000000..1c65d0d36
--- /dev/null
+++ b/test/threads.fromasm.no-opts
@@ -0,0 +1,122 @@
+(module
+ (import "env" "DYNAMICTOP_PTR" (global $DYNAMICTOP_PTR$asm2wasm$import i32))
+ (import "env" "tempDoublePtr" (global $tempDoublePtr$asm2wasm$import i32))
+ (import "env" "ABORT" (global $ABORT$asm2wasm$import i32))
+ (import "env" "STACKTOP" (global $STACKTOP$asm2wasm$import i32))
+ (import "env" "STACK_MAX" (global $STACK_MAX$asm2wasm$import i32))
+ (import "global" "NaN" (global $nan$asm2wasm$import f64))
+ (import "global" "Infinity" (global $inf$asm2wasm$import f64))
+ (import "env" "memory" (memory $0 256 256 shared))
+ (import "env" "table" (table 0 0 anyfunc))
+ (import "env" "memoryBase" (global $memoryBase i32))
+ (import "env" "tableBase" (global $tableBase i32))
+ (global $DYNAMICTOP_PTR (mut i32) (get_global $DYNAMICTOP_PTR$asm2wasm$import))
+ (global $tempDoublePtr (mut i32) (get_global $tempDoublePtr$asm2wasm$import))
+ (global $ABORT (mut i32) (get_global $ABORT$asm2wasm$import))
+ (global $STACKTOP (mut i32) (get_global $STACKTOP$asm2wasm$import))
+ (global $STACK_MAX (mut i32) (get_global $STACK_MAX$asm2wasm$import))
+ (global $__THREW__ (mut i32) (i32.const 0))
+ (global $threwValue (mut i32) (i32.const 0))
+ (global $setjmpId (mut i32) (i32.const 0))
+ (global $undef (mut i32) (i32.const 0))
+ (global $nan (mut f64) (get_global $nan$asm2wasm$import))
+ (global $inf (mut f64) (get_global $inf$asm2wasm$import))
+ (global $tempInt (mut i32) (i32.const 0))
+ (global $tempBigInt (mut i32) (i32.const 0))
+ (global $tempBigIntS (mut i32) (i32.const 0))
+ (global $tempValue (mut i32) (i32.const 0))
+ (global $tempDouble (mut f64) (f64.const 0))
+ (global $tempRet0 (mut i32) (i32.const 0))
+ (global $__pthread_ptr (mut i32) (i32.const 0))
+ (global $__pthread_is_main_runtime_thread (mut i32) (i32.const 0))
+ (global $__pthread_is_main_browser_thread (mut i32) (i32.const 0))
+ (global $tempFloat (mut f32) (f32.const 0))
+ (global $f0 (mut f32) (f32.const 0))
+ (export "test" (func $test))
+ (func $test
+  (local $$temp i32)
+  (local $1 i32)
+  (set_local $$temp
+   (i32.atomic.load
+    (i32.const 4916)
+   )
+  )
+  (set_local $$temp
+   (i32.atomic.load16_u
+    (i32.const 2458)
+   )
+  )
+  (set_local $$temp
+   (block (result i32)
+    (i32.atomic.store
+     (get_local $$temp)
+     (tee_local $1
+      (i32.const 0)
+     )
+    )
+    (get_local $1)
+   )
+  )
+  (set_local $$temp
+   (i32.atomic.rmw.xchg
+    (get_local $$temp)
+    (i32.const 1)
+   )
+  )
+  (set_local $$temp
+   (i32.atomic.rmw.cmpxchg
+    (get_local $$temp)
+    (i32.const 1)
+    (i32.const 2)
+   )
+  )
+  (set_local $$temp
+   (i32.atomic.rmw.add
+    (get_local $$temp)
+    (i32.const 0)
+   )
+  )
+  (set_local $$temp
+   (i32.atomic.rmw.sub
+    (get_local $$temp)
+    (i32.const 0)
+   )
+  )
+  (set_local $$temp
+   (i32.atomic.rmw.and
+    (get_local $$temp)
+    (i32.const 0)
+   )
+  )
+  (set_local $$temp
+   (i32.atomic.rmw.or
+    (get_local $$temp)
+    (i32.const 0)
+   )
+  )
+  (set_local $$temp
+   (i32.atomic.rmw.xor
+    (get_local $$temp)
+    (i32.const 0)
+   )
+  )
+  (set_local $$temp
+   (i32.atomic.rmw.xor
+    (i32.const 4096)
+    (i32.const 0)
+   )
+  )
+  (set_local $$temp
+   (i32.atomic.rmw16_u.xor
+    (i32.const 2048)
+    (i32.const 0)
+   )
+  )
+  (set_local $$temp
+   (i32.atomic.rmw8_u.xor
+    (i32.const 1024)
+    (i32.const 0)
+   )
+  )
+ )
+)