| ;; atomic operations |
| |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "init") (param $value i64) (i64.store (i32.const 0) (local.get $value))) |
| |
| (func (export "i32.atomic.load") (param $addr i32) (result i32) (i32.atomic.load (local.get $addr))) |
| (func (export "i64.atomic.load") (param $addr i32) (result i64) (i64.atomic.load (local.get $addr))) |
| (func (export "i32.atomic.load8_u") (param $addr i32) (result i32) (i32.atomic.load8_u (local.get $addr))) |
| (func (export "i32.atomic.load16_u") (param $addr i32) (result i32) (i32.atomic.load16_u (local.get $addr))) |
| (func (export "i64.atomic.load8_u") (param $addr i32) (result i64) (i64.atomic.load8_u (local.get $addr))) |
| (func (export "i64.atomic.load16_u") (param $addr i32) (result i64) (i64.atomic.load16_u (local.get $addr))) |
| (func (export "i64.atomic.load32_u") (param $addr i32) (result i64) (i64.atomic.load32_u (local.get $addr))) |
| |
| (func (export "i32.atomic.store") (param $addr i32) (param $value i32) (i32.atomic.store (local.get $addr) (local.get $value))) |
| (func (export "i64.atomic.store") (param $addr i32) (param $value i64) (i64.atomic.store (local.get $addr) (local.get $value))) |
| (func (export "i32.atomic.store8") (param $addr i32) (param $value i32) (i32.atomic.store8 (local.get $addr) (local.get $value))) |
| (func (export "i32.atomic.store16") (param $addr i32) (param $value i32) (i32.atomic.store16 (local.get $addr) (local.get $value))) |
| (func (export "i64.atomic.store8") (param $addr i32) (param $value i64) (i64.atomic.store8 (local.get $addr) (local.get $value))) |
| (func (export "i64.atomic.store16") (param $addr i32) (param $value i64) (i64.atomic.store16 (local.get $addr) (local.get $value))) |
| (func (export "i64.atomic.store32") (param $addr i32) (param $value i64) (i64.atomic.store32 (local.get $addr) (local.get $value))) |
| |
| (func (export "i32.atomic.rmw.add") (param $addr i32) (param $value i32) (result i32) (i32.atomic.rmw.add (local.get $addr) (local.get $value))) |
| (func (export "i64.atomic.rmw.add") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw.add (local.get $addr) (local.get $value))) |
| (func (export "i32.atomic.rmw8.add_u") (param $addr i32) (param $value i32) (result i32) (i32.atomic.rmw8.add_u (local.get $addr) (local.get $value))) |
| (func (export "i32.atomic.rmw16.add_u") (param $addr i32) (param $value i32) (result i32) (i32.atomic.rmw16.add_u (local.get $addr) (local.get $value))) |
| (func (export "i64.atomic.rmw8.add_u") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw8.add_u (local.get $addr) (local.get $value))) |
| (func (export "i64.atomic.rmw16.add_u") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw16.add_u (local.get $addr) (local.get $value))) |
| (func (export "i64.atomic.rmw32.add_u") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw32.add_u (local.get $addr) (local.get $value))) |
| |
| (func (export "i32.atomic.rmw.sub") (param $addr i32) (param $value i32) (result i32) (i32.atomic.rmw.sub (local.get $addr) (local.get $value))) |
| (func (export "i64.atomic.rmw.sub") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw.sub (local.get $addr) (local.get $value))) |
| (func (export "i32.atomic.rmw8.sub_u") (param $addr i32) (param $value i32) (result i32) (i32.atomic.rmw8.sub_u (local.get $addr) (local.get $value))) |
| (func (export "i32.atomic.rmw16.sub_u") (param $addr i32) (param $value i32) (result i32) (i32.atomic.rmw16.sub_u (local.get $addr) (local.get $value))) |
| (func (export "i64.atomic.rmw8.sub_u") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw8.sub_u (local.get $addr) (local.get $value))) |
| (func (export "i64.atomic.rmw16.sub_u") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw16.sub_u (local.get $addr) (local.get $value))) |
| (func (export "i64.atomic.rmw32.sub_u") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw32.sub_u (local.get $addr) (local.get $value))) |
| |
| (func (export "i32.atomic.rmw.and") (param $addr i32) (param $value i32) (result i32) (i32.atomic.rmw.and (local.get $addr) (local.get $value))) |
| (func (export "i64.atomic.rmw.and") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw.and (local.get $addr) (local.get $value))) |
| (func (export "i32.atomic.rmw8.and_u") (param $addr i32) (param $value i32) (result i32) (i32.atomic.rmw8.and_u (local.get $addr) (local.get $value))) |
| (func (export "i32.atomic.rmw16.and_u") (param $addr i32) (param $value i32) (result i32) (i32.atomic.rmw16.and_u (local.get $addr) (local.get $value))) |
| (func (export "i64.atomic.rmw8.and_u") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw8.and_u (local.get $addr) (local.get $value))) |
| (func (export "i64.atomic.rmw16.and_u") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw16.and_u (local.get $addr) (local.get $value))) |
| (func (export "i64.atomic.rmw32.and_u") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw32.and_u (local.get $addr) (local.get $value))) |
| |
| (func (export "i32.atomic.rmw.or") (param $addr i32) (param $value i32) (result i32) (i32.atomic.rmw.or (local.get $addr) (local.get $value))) |
| (func (export "i64.atomic.rmw.or") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw.or (local.get $addr) (local.get $value))) |
| (func (export "i32.atomic.rmw8.or_u") (param $addr i32) (param $value i32) (result i32) (i32.atomic.rmw8.or_u (local.get $addr) (local.get $value))) |
| (func (export "i32.atomic.rmw16.or_u") (param $addr i32) (param $value i32) (result i32) (i32.atomic.rmw16.or_u (local.get $addr) (local.get $value))) |
| (func (export "i64.atomic.rmw8.or_u") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw8.or_u (local.get $addr) (local.get $value))) |
| (func (export "i64.atomic.rmw16.or_u") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw16.or_u (local.get $addr) (local.get $value))) |
| (func (export "i64.atomic.rmw32.or_u") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw32.or_u (local.get $addr) (local.get $value))) |
| |
| (func (export "i32.atomic.rmw.xor") (param $addr i32) (param $value i32) (result i32) (i32.atomic.rmw.xor (local.get $addr) (local.get $value))) |
| (func (export "i64.atomic.rmw.xor") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw.xor (local.get $addr) (local.get $value))) |
| (func (export "i32.atomic.rmw8.xor_u") (param $addr i32) (param $value i32) (result i32) (i32.atomic.rmw8.xor_u (local.get $addr) (local.get $value))) |
| (func (export "i32.atomic.rmw16.xor_u") (param $addr i32) (param $value i32) (result i32) (i32.atomic.rmw16.xor_u (local.get $addr) (local.get $value))) |
| (func (export "i64.atomic.rmw8.xor_u") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw8.xor_u (local.get $addr) (local.get $value))) |
| (func (export "i64.atomic.rmw16.xor_u") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw16.xor_u (local.get $addr) (local.get $value))) |
| (func (export "i64.atomic.rmw32.xor_u") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw32.xor_u (local.get $addr) (local.get $value))) |
| |
| (func (export "i32.atomic.rmw.xchg") (param $addr i32) (param $value i32) (result i32) (i32.atomic.rmw.xchg (local.get $addr) (local.get $value))) |
| (func (export "i64.atomic.rmw.xchg") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw.xchg (local.get $addr) (local.get $value))) |
| (func (export "i32.atomic.rmw8.xchg_u") (param $addr i32) (param $value i32) (result i32) (i32.atomic.rmw8.xchg_u (local.get $addr) (local.get $value))) |
| (func (export "i32.atomic.rmw16.xchg_u") (param $addr i32) (param $value i32) (result i32) (i32.atomic.rmw16.xchg_u (local.get $addr) (local.get $value))) |
| (func (export "i64.atomic.rmw8.xchg_u") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw8.xchg_u (local.get $addr) (local.get $value))) |
| (func (export "i64.atomic.rmw16.xchg_u") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw16.xchg_u (local.get $addr) (local.get $value))) |
| (func (export "i64.atomic.rmw32.xchg_u") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw32.xchg_u (local.get $addr) (local.get $value))) |
| |
| (func (export "i32.atomic.rmw.cmpxchg") (param $addr i32) (param $expected i32) (param $value i32) (result i32) (i32.atomic.rmw.cmpxchg (local.get $addr) (local.get $expected) (local.get $value))) |
| (func (export "i64.atomic.rmw.cmpxchg") (param $addr i32) (param $expected i64) (param $value i64) (result i64) (i64.atomic.rmw.cmpxchg (local.get $addr) (local.get $expected) (local.get $value))) |
| (func (export "i32.atomic.rmw8.cmpxchg_u") (param $addr i32) (param $expected i32) (param $value i32) (result i32) (i32.atomic.rmw8.cmpxchg_u (local.get $addr) (local.get $expected) (local.get $value))) |
| (func (export "i32.atomic.rmw16.cmpxchg_u") (param $addr i32) (param $expected i32) (param $value i32) (result i32) (i32.atomic.rmw16.cmpxchg_u (local.get $addr) (local.get $expected) (local.get $value))) |
| (func (export "i64.atomic.rmw8.cmpxchg_u") (param $addr i32) (param $expected i64) (param $value i64) (result i64) (i64.atomic.rmw8.cmpxchg_u (local.get $addr) (local.get $expected) (local.get $value))) |
| (func (export "i64.atomic.rmw16.cmpxchg_u") (param $addr i32) (param $expected i64) (param $value i64) (result i64) (i64.atomic.rmw16.cmpxchg_u (local.get $addr) (local.get $expected) (local.get $value))) |
| (func (export "i64.atomic.rmw32.cmpxchg_u") (param $addr i32) (param $expected i64) (param $value i64) (result i64) (i64.atomic.rmw32.cmpxchg_u (local.get $addr) (local.get $expected) (local.get $value))) |
| |
| ) |
| |
| ;; *.atomic.load* |
| |
| (invoke "init" (i64.const 0x0706050403020100)) |
| |
| (assert_return (invoke "i32.atomic.load" (i32.const 0)) (i32.const 0x03020100)) |
| (assert_return (invoke "i32.atomic.load" (i32.const 4)) (i32.const 0x07060504)) |
| |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x0706050403020100)) |
| |
| (assert_return (invoke "i32.atomic.load8_u" (i32.const 0)) (i32.const 0x00)) |
| (assert_return (invoke "i32.atomic.load8_u" (i32.const 5)) (i32.const 0x05)) |
| |
| (assert_return (invoke "i32.atomic.load16_u" (i32.const 0)) (i32.const 0x0100)) |
| (assert_return (invoke "i32.atomic.load16_u" (i32.const 6)) (i32.const 0x0706)) |
| |
| (assert_return (invoke "i64.atomic.load8_u" (i32.const 0)) (i64.const 0x00)) |
| (assert_return (invoke "i64.atomic.load8_u" (i32.const 5)) (i64.const 0x05)) |
| |
| (assert_return (invoke "i64.atomic.load16_u" (i32.const 0)) (i64.const 0x0100)) |
| (assert_return (invoke "i64.atomic.load16_u" (i32.const 6)) (i64.const 0x0706)) |
| |
| (assert_return (invoke "i64.atomic.load32_u" (i32.const 0)) (i64.const 0x03020100)) |
| (assert_return (invoke "i64.atomic.load32_u" (i32.const 4)) (i64.const 0x07060504)) |
| |
| ;; *.atomic.store* |
| |
| (invoke "init" (i64.const 0x0000000000000000)) |
| |
| (assert_return (invoke "i32.atomic.store" (i32.const 0) (i32.const 0xffeeddcc))) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x00000000ffeeddcc)) |
| |
| (assert_return (invoke "i64.atomic.store" (i32.const 0) (i64.const 0x0123456789abcdef))) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x0123456789abcdef)) |
| |
| (assert_return (invoke "i32.atomic.store8" (i32.const 1) (i32.const 0x42))) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x0123456789ab42ef)) |
| |
| (assert_return (invoke "i32.atomic.store16" (i32.const 4) (i32.const 0x8844))) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x0123884489ab42ef)) |
| |
| (assert_return (invoke "i64.atomic.store8" (i32.const 1) (i64.const 0x99))) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x0123884489ab99ef)) |
| |
| (assert_return (invoke "i64.atomic.store16" (i32.const 4) (i64.const 0xcafe))) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x0123cafe89ab99ef)) |
| |
| (assert_return (invoke "i64.atomic.store32" (i32.const 4) (i64.const 0xdeadbeef))) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0xdeadbeef89ab99ef)) |
| |
| ;; *.atomic.rmw*.add |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i32.atomic.rmw.add" (i32.const 0) (i32.const 0x12345678)) (i32.const 0x11111111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x1111111123456789)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.rmw.add" (i32.const 0) (i64.const 0x0101010102020202)) (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x1212121213131313)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i32.atomic.rmw8.add_u" (i32.const 0) (i32.const 0xcdcdcdcd)) (i32.const 0x11)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x11111111111111de)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i32.atomic.rmw16.add_u" (i32.const 0) (i32.const 0xcafecafe)) (i32.const 0x1111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x111111111111dc0f)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.rmw8.add_u" (i32.const 0) (i64.const 0x4242424242424242)) (i64.const 0x11)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x1111111111111153)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.rmw16.add_u" (i32.const 0) (i64.const 0xbeefbeefbeefbeef)) (i64.const 0x1111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x111111111111d000)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.rmw32.add_u" (i32.const 0) (i64.const 0xcabba6e5cabba6e5)) (i64.const 0x11111111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x11111111dbccb7f6)) |
| |
| ;; *.atomic.rmw*.sub |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i32.atomic.rmw.sub" (i32.const 0) (i32.const 0x12345678)) (i32.const 0x11111111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x11111111fedcba99)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.rmw.sub" (i32.const 0) (i64.const 0x0101010102020202)) (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x101010100f0f0f0f)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i32.atomic.rmw8.sub_u" (i32.const 0) (i32.const 0xcdcdcdcd)) (i32.const 0x11)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x1111111111111144)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i32.atomic.rmw16.sub_u" (i32.const 0) (i32.const 0xcafecafe)) (i32.const 0x1111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x1111111111114613)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.rmw8.sub_u" (i32.const 0) (i64.const 0x4242424242424242)) (i64.const 0x11)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x11111111111111cf)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.rmw16.sub_u" (i32.const 0) (i64.const 0xbeefbeefbeefbeef)) (i64.const 0x1111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x1111111111115222)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.rmw32.sub_u" (i32.const 0) (i64.const 0xcabba6e5cabba6e5)) (i64.const 0x11111111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x1111111146556a2c)) |
| |
| ;; *.atomic.rmw*.and |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i32.atomic.rmw.and" (i32.const 0) (i32.const 0x12345678)) (i32.const 0x11111111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x1111111110101010)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.rmw.and" (i32.const 0) (i64.const 0x0101010102020202)) (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x0101010100000000)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i32.atomic.rmw8.and_u" (i32.const 0) (i32.const 0xcdcdcdcd)) (i32.const 0x11)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x1111111111111101)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i32.atomic.rmw16.and_u" (i32.const 0) (i32.const 0xcafecafe)) (i32.const 0x1111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x1111111111110010)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.rmw8.and_u" (i32.const 0) (i64.const 0x4242424242424242)) (i64.const 0x11)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x1111111111111100)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.rmw16.and_u" (i32.const 0) (i64.const 0xbeefbeefbeefbeef)) (i64.const 0x1111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x1111111111111001)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.rmw32.and_u" (i32.const 0) (i64.const 0xcabba6e5cabba6e5)) (i64.const 0x11111111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x1111111100110001)) |
| |
| ;; *.atomic.rmw*.or |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i32.atomic.rmw.or" (i32.const 0) (i32.const 0x12345678)) (i32.const 0x11111111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x1111111113355779)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.rmw.or" (i32.const 0) (i64.const 0x0101010102020202)) (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x1111111113131313)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i32.atomic.rmw8.or_u" (i32.const 0) (i32.const 0xcdcdcdcd)) (i32.const 0x11)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x11111111111111dd)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i32.atomic.rmw16.or_u" (i32.const 0) (i32.const 0xcafecafe)) (i32.const 0x1111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x111111111111dbff)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.rmw8.or_u" (i32.const 0) (i64.const 0x4242424242424242)) (i64.const 0x11)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x1111111111111153)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.rmw16.or_u" (i32.const 0) (i64.const 0xbeefbeefbeefbeef)) (i64.const 0x1111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x111111111111bfff)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.rmw32.or_u" (i32.const 0) (i64.const 0xcabba6e5cabba6e5)) (i64.const 0x11111111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x11111111dbbbb7f5)) |
| |
| ;; *.atomic.rmw*.xor |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i32.atomic.rmw.xor" (i32.const 0) (i32.const 0x12345678)) (i32.const 0x11111111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x1111111103254769)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.rmw.xor" (i32.const 0) (i64.const 0x0101010102020202)) (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x1010101013131313)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i32.atomic.rmw8.xor_u" (i32.const 0) (i32.const 0xcdcdcdcd)) (i32.const 0x11)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x11111111111111dc)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i32.atomic.rmw16.xor_u" (i32.const 0) (i32.const 0xcafecafe)) (i32.const 0x1111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x111111111111dbef)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.rmw8.xor_u" (i32.const 0) (i64.const 0x4242424242424242)) (i64.const 0x11)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x1111111111111153)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.rmw16.xor_u" (i32.const 0) (i64.const 0xbeefbeefbeefbeef)) (i64.const 0x1111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x111111111111affe)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.rmw32.xor_u" (i32.const 0) (i64.const 0xcabba6e5cabba6e5)) (i64.const 0x11111111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x11111111dbaab7f4)) |
| |
| ;; *.atomic.rmw*.xchg |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i32.atomic.rmw.xchg" (i32.const 0) (i32.const 0x12345678)) (i32.const 0x11111111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x1111111112345678)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.rmw.xchg" (i32.const 0) (i64.const 0x0101010102020202)) (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x0101010102020202)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i32.atomic.rmw8.xchg_u" (i32.const 0) (i32.const 0xcdcdcdcd)) (i32.const 0x11)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x11111111111111cd)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i32.atomic.rmw16.xchg_u" (i32.const 0) (i32.const 0xcafecafe)) (i32.const 0x1111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x111111111111cafe)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.rmw8.xchg_u" (i32.const 0) (i64.const 0x4242424242424242)) (i64.const 0x11)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x1111111111111142)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.rmw16.xchg_u" (i32.const 0) (i64.const 0xbeefbeefbeefbeef)) (i64.const 0x1111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x111111111111beef)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.rmw32.xchg_u" (i32.const 0) (i64.const 0xcabba6e5cabba6e5)) (i64.const 0x11111111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x11111111cabba6e5)) |
| |
| ;; *.atomic.rmw*.cmpxchg (compare false) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i32.atomic.rmw.cmpxchg" (i32.const 0) (i32.const 0) (i32.const 0x12345678)) (i32.const 0x11111111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x1111111111111111)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.rmw.cmpxchg" (i32.const 0) (i64.const 0) (i64.const 0x0101010102020202)) (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x1111111111111111)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i32.atomic.rmw8.cmpxchg_u" (i32.const 0) (i32.const 0) (i32.const 0xcdcdcdcd)) (i32.const 0x11)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x1111111111111111)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i32.atomic.rmw8.cmpxchg_u" (i32.const 0) (i32.const 0x11111111) (i32.const 0xcdcdcdcd)) (i32.const 0x11)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x11111111111111cd)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i32.atomic.rmw16.cmpxchg_u" (i32.const 0) (i32.const 0) (i32.const 0xcafecafe)) (i32.const 0x1111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x1111111111111111)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i32.atomic.rmw16.cmpxchg_u" (i32.const 0) (i32.const 0x11111111) (i32.const 0xcafecafe)) (i32.const 0x1111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x111111111111cafe)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.rmw8.cmpxchg_u" (i32.const 0) (i64.const 0) (i64.const 0x4242424242424242)) (i64.const 0x11)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x1111111111111111)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.rmw8.cmpxchg_u" (i32.const 0) (i64.const 0x1111111111111111) (i64.const 0x4242424242424242)) (i64.const 0x11)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x1111111111111142)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.rmw16.cmpxchg_u" (i32.const 0) (i64.const 0) (i64.const 0xbeefbeefbeefbeef)) (i64.const 0x1111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x1111111111111111)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.rmw16.cmpxchg_u" (i32.const 0) (i64.const 0x1111111111111111) (i64.const 0xbeefbeefbeefbeef)) (i64.const 0x1111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x111111111111beef)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.rmw32.cmpxchg_u" (i32.const 0) (i64.const 0) (i64.const 0xcabba6e5cabba6e5)) (i64.const 0x11111111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x1111111111111111)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.rmw32.cmpxchg_u" (i32.const 0) (i64.const 0x1111111111111111) (i64.const 0xcabba6e5cabba6e5)) (i64.const 0x11111111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x11111111cabba6e5)) |
| |
| ;; *.atomic.rmw*.cmpxchg (compare true) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i32.atomic.rmw.cmpxchg" (i32.const 0) (i32.const 0x11111111) (i32.const 0x12345678)) (i32.const 0x11111111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x1111111112345678)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.rmw.cmpxchg" (i32.const 0) (i64.const 0x1111111111111111) (i64.const 0x0101010102020202)) (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x0101010102020202)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i32.atomic.rmw8.cmpxchg_u" (i32.const 0) (i32.const 0x11) (i32.const 0xcdcdcdcd)) (i32.const 0x11)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x11111111111111cd)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i32.atomic.rmw16.cmpxchg_u" (i32.const 0) (i32.const 0x1111) (i32.const 0xcafecafe)) (i32.const 0x1111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x111111111111cafe)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.rmw8.cmpxchg_u" (i32.const 0) (i64.const 0x11) (i64.const 0x4242424242424242)) (i64.const 0x11)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x1111111111111142)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.rmw16.cmpxchg_u" (i32.const 0) (i64.const 0x1111) (i64.const 0xbeefbeefbeefbeef)) (i64.const 0x1111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x111111111111beef)) |
| |
| (invoke "init" (i64.const 0x1111111111111111)) |
| (assert_return (invoke "i64.atomic.rmw32.cmpxchg_u" (i32.const 0) (i64.const 0x11111111) (i64.const 0xcabba6e5cabba6e5)) (i64.const 0x11111111)) |
| (assert_return (invoke "i64.atomic.load" (i32.const 0)) (i64.const 0x11111111cabba6e5)) |
| |
| |
| ;; unaligned accesses |
| |
| (assert_trap (invoke "i32.atomic.load" (i32.const 1)) "unaligned atomic") |
| (assert_trap (invoke "i64.atomic.load" (i32.const 1)) "unaligned atomic") |
| (assert_trap (invoke "i32.atomic.load16_u" (i32.const 1)) "unaligned atomic") |
| (assert_trap (invoke "i64.atomic.load16_u" (i32.const 1)) "unaligned atomic") |
| (assert_trap (invoke "i64.atomic.load32_u" (i32.const 1)) "unaligned atomic") |
| (assert_trap (invoke "i32.atomic.store" (i32.const 1) (i32.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i64.atomic.store" (i32.const 1) (i64.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i32.atomic.store16" (i32.const 1) (i32.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i64.atomic.store16" (i32.const 1) (i64.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i64.atomic.store32" (i32.const 1) (i64.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i32.atomic.rmw.add" (i32.const 1) (i32.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i64.atomic.rmw.add" (i32.const 1) (i64.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i32.atomic.rmw16.add_u" (i32.const 1) (i32.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i64.atomic.rmw16.add_u" (i32.const 1) (i64.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i64.atomic.rmw32.add_u" (i32.const 1) (i64.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i32.atomic.rmw.sub" (i32.const 1) (i32.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i64.atomic.rmw.sub" (i32.const 1) (i64.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i32.atomic.rmw16.sub_u" (i32.const 1) (i32.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i64.atomic.rmw16.sub_u" (i32.const 1) (i64.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i64.atomic.rmw32.sub_u" (i32.const 1) (i64.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i32.atomic.rmw.and" (i32.const 1) (i32.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i64.atomic.rmw.and" (i32.const 1) (i64.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i32.atomic.rmw16.and_u" (i32.const 1) (i32.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i64.atomic.rmw16.and_u" (i32.const 1) (i64.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i64.atomic.rmw32.and_u" (i32.const 1) (i64.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i32.atomic.rmw.or" (i32.const 1) (i32.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i64.atomic.rmw.or" (i32.const 1) (i64.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i32.atomic.rmw16.or_u" (i32.const 1) (i32.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i64.atomic.rmw16.or_u" (i32.const 1) (i64.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i64.atomic.rmw32.or_u" (i32.const 1) (i64.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i32.atomic.rmw.xor" (i32.const 1) (i32.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i64.atomic.rmw.xor" (i32.const 1) (i64.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i32.atomic.rmw16.xor_u" (i32.const 1) (i32.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i64.atomic.rmw16.xor_u" (i32.const 1) (i64.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i64.atomic.rmw32.xor_u" (i32.const 1) (i64.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i32.atomic.rmw.xchg" (i32.const 1) (i32.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i64.atomic.rmw.xchg" (i32.const 1) (i64.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i32.atomic.rmw16.xchg_u" (i32.const 1) (i32.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i64.atomic.rmw16.xchg_u" (i32.const 1) (i64.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i64.atomic.rmw32.xchg_u" (i32.const 1) (i64.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i32.atomic.rmw.cmpxchg" (i32.const 1) (i32.const 0) (i32.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i64.atomic.rmw.cmpxchg" (i32.const 1) (i64.const 0) (i64.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i32.atomic.rmw16.cmpxchg_u" (i32.const 1) (i32.const 0) (i32.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i64.atomic.rmw16.cmpxchg_u" (i32.const 1) (i64.const 0) (i64.const 0)) "unaligned atomic") |
| (assert_trap (invoke "i64.atomic.rmw32.cmpxchg_u" (i32.const 1) (i64.const 0) (i64.const 0)) "unaligned atomic") |
| |
| ;; non-natural alignment |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i32.atomic.load") (param $addr i32) (result i32) (i32.atomic.load align=1 (local.get $addr))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i64.atomic.load") (param $addr i32) (result i64) (i64.atomic.load align=1 (local.get $addr))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i32.atomic.load16_u") (param $addr i32) (result i32) (i32.atomic.load16_u align=1 (local.get $addr))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i64.atomic.load16_u") (param $addr i32) (result i64) (i64.atomic.load16_u align=1 (local.get $addr))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i64.atomic.load32_u") (param $addr i32) (result i64) (i64.atomic.load32_u align=1 (local.get $addr))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i32.atomic.store") (param $addr i32) (param $value i32) (i32.atomic.store align=1 (local.get $addr) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i64.atomic.store") (param $addr i32) (param $value i64) (i64.atomic.store align=1 (local.get $addr) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i32.atomic.store16") (param $addr i32) (param $value i32) (i32.atomic.store16 align=1 (local.get $addr) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i64.atomic.store16") (param $addr i32) (param $value i64) (i64.atomic.store16 align=1 (local.get $addr) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i64.atomic.store32") (param $addr i32) (param $value i64) (i64.atomic.store32 align=1 (local.get $addr) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i32.atomic.rmw.add") (param $addr i32) (param $value i32) (result i32) (i32.atomic.rmw.add align=1 (local.get $addr) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i64.atomic.rmw.add") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw.add align=1 (local.get $addr) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i32.atomic.rmw16.add_u") (param $addr i32) (param $value i32) (result i32) (i32.atomic.rmw16.add_u align=1 (local.get $addr) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i64.atomic.rmw16.add_u") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw16.add_u align=1 (local.get $addr) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i64.atomic.rmw32.add_u") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw32.add_u align=1 (local.get $addr) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i32.atomic.rmw.sub") (param $addr i32) (param $value i32) (result i32) (i32.atomic.rmw.sub align=1 (local.get $addr) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i64.atomic.rmw.sub") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw.sub align=1 (local.get $addr) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i32.atomic.rmw16.sub_u") (param $addr i32) (param $value i32) (result i32) (i32.atomic.rmw16.sub_u align=1 (local.get $addr) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i64.atomic.rmw16.sub_u") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw16.sub_u align=1 (local.get $addr) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i64.atomic.rmw32.sub_u") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw32.sub_u align=1 (local.get $addr) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i32.atomic.rmw.and") (param $addr i32) (param $value i32) (result i32) (i32.atomic.rmw.and align=1 (local.get $addr) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i64.atomic.rmw.and") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw.and align=1 (local.get $addr) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i32.atomic.rmw16.and_u") (param $addr i32) (param $value i32) (result i32) (i32.atomic.rmw16.and_u align=1 (local.get $addr) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i64.atomic.rmw16.and_u") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw16.and_u align=1 (local.get $addr) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i64.atomic.rmw32.and_u") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw32.and_u align=1 (local.get $addr) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i32.atomic.rmw.or") (param $addr i32) (param $value i32) (result i32) (i32.atomic.rmw.or align=1 (local.get $addr) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i64.atomic.rmw.or") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw.or align=1 (local.get $addr) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i32.atomic.rmw16.or_u") (param $addr i32) (param $value i32) (result i32) (i32.atomic.rmw16.or_u align=1 (local.get $addr) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i64.atomic.rmw16.or_u") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw16.or_u align=1 (local.get $addr) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i64.atomic.rmw32.or_u") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw32.or_u align=1 (local.get $addr) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i32.atomic.rmw.xor") (param $addr i32) (param $value i32) (result i32) (i32.atomic.rmw.xor align=1 (local.get $addr) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i64.atomic.rmw.xor") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw.xor align=1 (local.get $addr) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i32.atomic.rmw16.xor_u") (param $addr i32) (param $value i32) (result i32) (i32.atomic.rmw16.xor_u align=1 (local.get $addr) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i64.atomic.rmw16.xor_u") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw16.xor_u align=1 (local.get $addr) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i64.atomic.rmw32.xor_u") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw32.xor_u align=1 (local.get $addr) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i32.atomic.rmw.xchg") (param $addr i32) (param $value i32) (result i32) (i32.atomic.rmw.xchg align=1 (local.get $addr) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i64.atomic.rmw.xchg") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw.xchg align=1 (local.get $addr) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i32.atomic.rmw16.xchg_u") (param $addr i32) (param $value i32) (result i32) (i32.atomic.rmw16.xchg_u align=1 (local.get $addr) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i64.atomic.rmw16.xchg_u") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw16.xchg_u align=1 (local.get $addr) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i64.atomic.rmw32.xchg_u") (param $addr i32) (param $value i64) (result i64) (i64.atomic.rmw32.xchg_u align=1 (local.get $addr) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i32.atomic.rmw.cmpxchg") (param $addr i32) (param $expected i32) (param $value i32) (result i32) (i32.atomic.rmw.cmpxchg align=1 (local.get $addr) (local.get $expected) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i64.atomic.rmw.cmpxchg") (param $addr i32) (param $expected i64) (param $value i64) (result i64) (i64.atomic.rmw.cmpxchg align=1 (local.get $addr) (local.get $expected) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i32.atomic.rmw16.cmpxchg_u") (param $addr i32) (param $expected i32) (param $value i32) (result i32) (i32.atomic.rmw16.cmpxchg_u align=1 (local.get $addr) (local.get $expected) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i64.atomic.rmw16.cmpxchg_u") (param $addr i32) (param $expected i64) (param $value i64) (result i64) (i64.atomic.rmw16.cmpxchg_u align=1 (local.get $addr) (local.get $expected) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| (assert_invalid |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "i64.atomic.rmw32.cmpxchg_u") (param $addr i32) (param $expected i64) (param $value i64) (result i64) (i64.atomic.rmw32.cmpxchg_u align=1 (local.get $addr) (local.get $expected) (local.get $value))) |
| ) |
| "atomic alignment must be natural" |
| ) |
| |
| |
| ;; wait/notify |
| (module |
| (memory 1 1 shared) |
| |
| (func (export "init") (param $value i64) (i64.store (i32.const 0) (local.get $value))) |
| |
| (func (export "memory.atomic.notify") (param $addr i32) (param $count i32) (result i32) |
| (memory.atomic.notify (local.get 0) (local.get 1))) |
| (func (export "memory.atomic.wait32") (param $addr i32) (param $expected i32) (param $timeout i64) (result i32) |
| (memory.atomic.wait32 (local.get 0) (local.get 1) (local.get 2))) |
| (func (export "memory.atomic.wait64") (param $addr i32) (param $expected i64) (param $timeout i64) (result i32) |
| (memory.atomic.wait64 (local.get 0) (local.get 1) (local.get 2))) |
| ) |
| |
| (invoke "init" (i64.const 0xffffffffffff)) |
| |
| ;; wait returns immediately if values do not match |
| (assert_return (invoke "memory.atomic.wait32" (i32.const 0) (i32.const 0) (i64.const 0)) (i32.const 1)) |
| (assert_return (invoke "memory.atomic.wait64" (i32.const 0) (i64.const 0) (i64.const 0)) (i32.const 1)) |
| |
| ;; notify always returns |
| (assert_return (invoke "memory.atomic.notify" (i32.const 0) (i32.const 0)) (i32.const 0)) |
| |
| ;; OOB wait and notify always trap |
| (assert_trap (invoke "memory.atomic.wait32" (i32.const 65536) (i32.const 0) (i64.const 0)) "out of bounds memory access") |
| (assert_trap (invoke "memory.atomic.wait64" (i32.const 65536) (i64.const 0) (i64.const 0)) "out of bounds memory access") |
| |
| ;; in particular, notify always traps even if waking 0 threads |
| (assert_trap (invoke "memory.atomic.notify" (i32.const 65536) (i32.const 0)) "out of bounds memory access") |
| |
| ;; similarly, unaligned wait and notify always trap |
| (assert_trap (invoke "memory.atomic.wait32" (i32.const 65531) (i32.const 0) (i64.const 0)) "unaligned atomic") |
| (assert_trap (invoke "memory.atomic.wait64" (i32.const 65524) (i64.const 0) (i64.const 0)) "unaligned atomic") |
| |
| (assert_trap (invoke "memory.atomic.notify" (i32.const 65531) (i32.const 0)) "unaligned atomic") |
| |
| ;; atomic.wait traps on unshared memory even if it wouldn't block |
| (module |
| (memory 1 1) |
| |
| (func (export "init") (param $value i64) (i64.store (i32.const 0) (local.get $value))) |
| |
| (func (export "memory.atomic.notify") (param $addr i32) (param $count i32) (result i32) |
| (memory.atomic.notify (local.get 0) (local.get 1))) |
| (func (export "memory.atomic.wait32") (param $addr i32) (param $expected i32) (param $timeout i64) (result i32) |
| (memory.atomic.wait32 (local.get 0) (local.get 1) (local.get 2))) |
| (func (export "memory.atomic.wait64") (param $addr i32) (param $expected i64) (param $timeout i64) (result i32) |
| (memory.atomic.wait64 (local.get 0) (local.get 1) (local.get 2))) |
| ) |
| |
| (invoke "init" (i64.const 0xffffffffffff)) |
| |
| (assert_trap (invoke "memory.atomic.wait32" (i32.const 0) (i32.const 0) (i64.const 0)) "expected shared memory") |
| (assert_trap (invoke "memory.atomic.wait64" (i32.const 0) (i64.const 0) (i64.const 0)) "expected shared memory") |
| |
| ;; notify still works |
| (assert_return (invoke "memory.atomic.notify" (i32.const 0) (i32.const 0)) (i32.const 0)) |
| |
| ;; OOB and unaligned notify still trap |
| (assert_trap (invoke "memory.atomic.notify" (i32.const 65536) (i32.const 0)) "out of bounds memory access") |
| (assert_trap (invoke "memory.atomic.notify" (i32.const 65531) (i32.const 0)) "unaligned atomic") |
| |
| ;; unshared memory is OK |
| (module |
| (memory 1 1) |
| (func (drop (memory.atomic.notify (i32.const 0) (i32.const 0)))) |
| (func (drop (memory.atomic.wait32 (i32.const 0) (i32.const 0) (i64.const 0)))) |
| (func (drop (memory.atomic.wait64 (i32.const 0) (i64.const 0) (i64.const 0)))) |
| (func (drop (i32.atomic.load (i32.const 0)))) |
| (func (drop (i64.atomic.load (i32.const 0)))) |
| (func (drop (i32.atomic.load16_u (i32.const 0)))) |
| (func (drop (i64.atomic.load16_u (i32.const 0)))) |
| (func (drop (i64.atomic.load32_u (i32.const 0)))) |
| (func (i32.atomic.store (i32.const 0) (i32.const 0))) |
| (func (i64.atomic.store (i32.const 0) (i64.const 0))) |
| (func (i32.atomic.store16 (i32.const 0) (i32.const 0))) |
| (func (i64.atomic.store16 (i32.const 0) (i64.const 0))) |
| (func (i64.atomic.store32 (i32.const 0) (i64.const 0))) |
| (func (drop (i32.atomic.rmw.add (i32.const 0) (i32.const 0)))) |
| (func (drop (i64.atomic.rmw.add (i32.const 0) (i64.const 0)))) |
| (func (drop (i32.atomic.rmw16.add_u (i32.const 0) (i32.const 0)))) |
| (func (drop (i64.atomic.rmw16.add_u (i32.const 0) (i64.const 0)))) |
| (func (drop (i64.atomic.rmw32.add_u (i32.const 0) (i64.const 0)))) |
| (func (drop (i32.atomic.rmw.sub (i32.const 0) (i32.const 0)))) |
| (func (drop (i64.atomic.rmw.sub (i32.const 0) (i64.const 0)))) |
| (func (drop (i32.atomic.rmw16.sub_u (i32.const 0) (i32.const 0)))) |
| (func (drop (i64.atomic.rmw16.sub_u (i32.const 0) (i64.const 0)))) |
| (func (drop (i64.atomic.rmw32.sub_u (i32.const 0) (i64.const 0)))) |
| (func (drop (i32.atomic.rmw.and (i32.const 0) (i32.const 0)))) |
| (func (drop (i64.atomic.rmw.and (i32.const 0) (i64.const 0)))) |
| (func (drop (i32.atomic.rmw16.and_u (i32.const 0) (i32.const 0)))) |
| (func (drop (i64.atomic.rmw16.and_u (i32.const 0) (i64.const 0)))) |
| (func (drop (i64.atomic.rmw32.and_u (i32.const 0) (i64.const 0)))) |
| (func (drop (i32.atomic.rmw.or (i32.const 0) (i32.const 0)))) |
| (func (drop (i64.atomic.rmw.or (i32.const 0) (i64.const 0)))) |
| (func (drop (i32.atomic.rmw16.or_u (i32.const 0) (i32.const 0)))) |
| (func (drop (i64.atomic.rmw16.or_u (i32.const 0) (i64.const 0)))) |
| (func (drop (i64.atomic.rmw32.or_u (i32.const 0) (i64.const 0)))) |
| (func (drop (i32.atomic.rmw.xor (i32.const 0) (i32.const 0)))) |
| (func (drop (i64.atomic.rmw.xor (i32.const 0) (i64.const 0)))) |
| (func (drop (i32.atomic.rmw16.xor_u (i32.const 0) (i32.const 0)))) |
| (func (drop (i64.atomic.rmw16.xor_u (i32.const 0) (i64.const 0)))) |
| (func (drop (i64.atomic.rmw32.xor_u (i32.const 0) (i64.const 0)))) |
| (func (drop (i32.atomic.rmw.xchg (i32.const 0) (i32.const 0)))) |
| (func (drop (i64.atomic.rmw.xchg (i32.const 0) (i64.const 0)))) |
| (func (drop (i32.atomic.rmw16.xchg_u (i32.const 0) (i32.const 0)))) |
| (func (drop (i64.atomic.rmw16.xchg_u (i32.const 0) (i64.const 0)))) |
| (func (drop (i64.atomic.rmw32.xchg_u (i32.const 0) (i64.const 0)))) |
| (func (drop (i32.atomic.rmw.cmpxchg (i32.const 0) (i32.const 0) (i32.const 0)))) |
| (func (drop (i64.atomic.rmw.cmpxchg (i32.const 0) (i64.const 0) (i64.const 0)))) |
| (func (drop (i32.atomic.rmw16.cmpxchg_u (i32.const 0) (i32.const 0) (i32.const 0)))) |
| (func (drop (i64.atomic.rmw16.cmpxchg_u (i32.const 0) (i64.const 0) (i64.const 0)))) |
| (func (drop (i64.atomic.rmw32.cmpxchg_u (i32.const 0) (i64.const 0) (i64.const 0)))) |
| ) |
| |
| ;; atomic.fence: no memory is ok |
| (module |
| (func (export "fence") (atomic.fence)) |
| ) |
| |
| (assert_return (invoke "fence")) |
| |
| ;; Fails with no memory |
| (assert_invalid (module (func (drop (memory.atomic.notify (i32.const 0) (i32.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (memory.atomic.wait32 (i32.const 0) (i32.const 0) (i64.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (memory.atomic.wait64 (i32.const 0) (i64.const 0) (i64.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i32.atomic.load (i32.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i64.atomic.load (i32.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i32.atomic.load16_u (i32.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i64.atomic.load16_u (i32.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i64.atomic.load32_u (i32.const 0))))) "unknown memory") |
| (assert_invalid (module (func (i32.atomic.store (i32.const 0) (i32.const 0)))) "unknown memory") |
| (assert_invalid (module (func (i64.atomic.store (i32.const 0) (i64.const 0)))) "unknown memory") |
| (assert_invalid (module (func (i32.atomic.store16 (i32.const 0) (i32.const 0)))) "unknown memory") |
| (assert_invalid (module (func (i64.atomic.store16 (i32.const 0) (i64.const 0)))) "unknown memory") |
| (assert_invalid (module (func (i64.atomic.store32 (i32.const 0) (i64.const 0)))) "unknown memory") |
| (assert_invalid (module (func (drop (i32.atomic.rmw.add (i32.const 0) (i32.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i64.atomic.rmw.add (i32.const 0) (i64.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i32.atomic.rmw16.add_u (i32.const 0) (i32.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i64.atomic.rmw16.add_u (i32.const 0) (i64.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i64.atomic.rmw32.add_u (i32.const 0) (i64.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i32.atomic.rmw.sub (i32.const 0) (i32.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i64.atomic.rmw.sub (i32.const 0) (i64.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i32.atomic.rmw16.sub_u (i32.const 0) (i32.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i64.atomic.rmw16.sub_u (i32.const 0) (i64.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i64.atomic.rmw32.sub_u (i32.const 0) (i64.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i32.atomic.rmw.and (i32.const 0) (i32.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i64.atomic.rmw.and (i32.const 0) (i64.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i32.atomic.rmw16.and_u (i32.const 0) (i32.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i64.atomic.rmw16.and_u (i32.const 0) (i64.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i64.atomic.rmw32.and_u (i32.const 0) (i64.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i32.atomic.rmw.or (i32.const 0) (i32.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i64.atomic.rmw.or (i32.const 0) (i64.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i32.atomic.rmw16.or_u (i32.const 0) (i32.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i64.atomic.rmw16.or_u (i32.const 0) (i64.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i64.atomic.rmw32.or_u (i32.const 0) (i64.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i32.atomic.rmw.xor (i32.const 0) (i32.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i64.atomic.rmw.xor (i32.const 0) (i64.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i32.atomic.rmw16.xor_u (i32.const 0) (i32.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i64.atomic.rmw16.xor_u (i32.const 0) (i64.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i64.atomic.rmw32.xor_u (i32.const 0) (i64.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i32.atomic.rmw.xchg (i32.const 0) (i32.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i64.atomic.rmw.xchg (i32.const 0) (i64.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i32.atomic.rmw16.xchg_u (i32.const 0) (i32.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i64.atomic.rmw16.xchg_u (i32.const 0) (i64.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i64.atomic.rmw32.xchg_u (i32.const 0) (i64.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i32.atomic.rmw.cmpxchg (i32.const 0) (i32.const 0) (i32.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i64.atomic.rmw.cmpxchg (i32.const 0) (i64.const 0) (i64.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i32.atomic.rmw16.cmpxchg_u (i32.const 0) (i32.const 0) (i32.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i64.atomic.rmw16.cmpxchg_u (i32.const 0) (i64.const 0) (i64.const 0))))) "unknown memory") |
| (assert_invalid (module (func (drop (i64.atomic.rmw32.cmpxchg_u (i32.const 0) (i64.const 0) (i64.const 0))))) "unknown memory") |
