1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
|
(module
;; NB this should use a shared memory when it's supported
(memory 1)
(func (export "32.load8u") (param i32) (result i32)
local.get 0 i32.atomic.load8_u)
(func (export "32.load16u") (param i32) (result i32)
local.get 0 i32.atomic.load16_u)
(func (export "32.load32u") (param i32) (result i32)
local.get 0 i32.atomic.load)
(func (export "64.load8u") (param i32) (result i64)
local.get 0 i64.atomic.load8_u)
(func (export "64.load16u") (param i32) (result i64)
local.get 0 i64.atomic.load16_u)
(func (export "64.load32u") (param i32) (result i64)
local.get 0 i64.atomic.load32_u)
(func (export "64.load64u") (param i32) (result i64)
local.get 0 i64.atomic.load)
(func (export "32.store8") (param i32)
local.get 0 i32.const 0 i32.atomic.store8)
(func (export "32.store16") (param i32)
local.get 0 i32.const 0 i32.atomic.store16)
(func (export "32.store32") (param i32)
local.get 0 i32.const 0 i32.atomic.store)
(func (export "64.store8") (param i32)
local.get 0 i64.const 0 i64.atomic.store8)
(func (export "64.store16") (param i32)
local.get 0 i64.const 0 i64.atomic.store16)
(func (export "64.store32") (param i32)
local.get 0 i64.const 0 i64.atomic.store32)
(func (export "64.store64") (param i32)
local.get 0 i64.const 0 i64.atomic.store)
(func (export "32.load8u o1") (param i32) (result i32)
local.get 0 i32.atomic.load8_u offset=1)
(func (export "32.load16u o1") (param i32) (result i32)
local.get 0 i32.atomic.load16_u offset=1)
(func (export "32.load32u o1") (param i32) (result i32)
local.get 0 i32.atomic.load offset=1)
(func (export "64.load8u o1") (param i32) (result i64)
local.get 0 i64.atomic.load8_u offset=1)
(func (export "64.load16u o1") (param i32) (result i64)
local.get 0 i64.atomic.load16_u offset=1)
(func (export "64.load32u o1") (param i32) (result i64)
local.get 0 i64.atomic.load32_u offset=1)
(func (export "64.load64u o1") (param i32) (result i64)
local.get 0 i64.atomic.load offset=1)
(func (export "32.store8 o1") (param i32)
local.get 0 i32.const 0 i32.atomic.store8 offset=1)
(func (export "32.store16 o1") (param i32)
local.get 0 i32.const 0 i32.atomic.store16 offset=1)
(func (export "32.store32 o1") (param i32)
local.get 0 i32.const 0 i32.atomic.store offset=1)
(func (export "64.store8 o1") (param i32)
local.get 0 i64.const 0 i64.atomic.store8 offset=1)
(func (export "64.store16 o1") (param i32)
local.get 0 i64.const 0 i64.atomic.store16 offset=1)
(func (export "64.store32 o1") (param i32)
local.get 0 i64.const 0 i64.atomic.store32 offset=1)
(func (export "64.store64 o1") (param i32)
local.get 0 i64.const 0 i64.atomic.store offset=1)
)
;; aligned loads
(assert_return (invoke "32.load8u" (i32.const 0)) (i32.const 0))
(assert_return (invoke "32.load16u" (i32.const 0)) (i32.const 0))
(assert_return (invoke "32.load32u" (i32.const 0)) (i32.const 0))
(assert_return (invoke "64.load8u" (i32.const 0)) (i64.const 0))
(assert_return (invoke "64.load16u" (i32.const 0)) (i64.const 0))
(assert_return (invoke "64.load64u" (i32.const 0)) (i64.const 0))
(assert_return (invoke "32.load8u o1" (i32.const 0)) (i32.const 0))
(assert_return (invoke "32.load16u o1" (i32.const 1)) (i32.const 0))
(assert_return (invoke "32.load32u o1" (i32.const 3)) (i32.const 0))
(assert_return (invoke "64.load8u o1" (i32.const 0)) (i64.const 0))
(assert_return (invoke "64.load16u o1" (i32.const 1)) (i64.const 0))
(assert_return (invoke "64.load32u o1" (i32.const 3)) (i64.const 0))
(assert_return (invoke "64.load64u o1" (i32.const 7)) (i64.const 0))
;; misaligned loads
(assert_return (invoke "32.load8u" (i32.const 1)) (i32.const 0))
(assert_trap (invoke "32.load16u" (i32.const 1)) "unaligned atomic")
(assert_trap (invoke "32.load32u" (i32.const 1)) "unaligned atomic")
(assert_return (invoke "64.load8u" (i32.const 1)) (i64.const 0))
(assert_trap (invoke "64.load16u" (i32.const 1)) "unaligned atomic")
(assert_trap (invoke "64.load32u" (i32.const 1)) "unaligned atomic")
(assert_trap (invoke "64.load64u" (i32.const 1)) "unaligned atomic")
(assert_return (invoke "32.load8u o1" (i32.const 0)) (i32.const 0))
(assert_trap (invoke "32.load16u o1" (i32.const 0)) "unaligned atomic")
(assert_trap (invoke "32.load32u o1" (i32.const 0)) "unaligned atomic")
(assert_return (invoke "64.load8u o1" (i32.const 0)) (i64.const 0))
(assert_trap (invoke "64.load16u o1" (i32.const 0)) "unaligned atomic")
(assert_trap (invoke "64.load32u o1" (i32.const 0)) "unaligned atomic")
(assert_trap (invoke "64.load64u o1" (i32.const 0)) "unaligned atomic")
;; aligned stores
(assert_return (invoke "32.store8" (i32.const 0)))
(assert_return (invoke "32.store16" (i32.const 0)))
(assert_return (invoke "32.store32" (i32.const 0)))
(assert_return (invoke "64.store8" (i32.const 0)))
(assert_return (invoke "64.store16" (i32.const 0)))
(assert_return (invoke "64.store64" (i32.const 0)))
(assert_return (invoke "32.store8 o1" (i32.const 0)))
(assert_return (invoke "32.store16 o1" (i32.const 1)))
(assert_return (invoke "32.store32 o1" (i32.const 3)))
(assert_return (invoke "64.store8 o1" (i32.const 0)))
(assert_return (invoke "64.store16 o1" (i32.const 1)))
(assert_return (invoke "64.store32 o1" (i32.const 3)))
(assert_return (invoke "64.store64 o1" (i32.const 7)))
;; misaligned stores
(assert_return (invoke "32.store8" (i32.const 1)))
(assert_trap (invoke "32.store16" (i32.const 1)) "unaligned atomic")
(assert_trap (invoke "32.store32" (i32.const 1)) "unaligned atomic")
(assert_return (invoke "64.store8" (i32.const 1)))
(assert_trap (invoke "64.store16" (i32.const 1)) "unaligned atomic")
(assert_trap (invoke "64.store32" (i32.const 1)) "unaligned atomic")
(assert_trap (invoke "64.store64" (i32.const 1)) "unaligned atomic")
(assert_return (invoke "32.store8 o1" (i32.const 0)))
(assert_trap (invoke "32.store16 o1" (i32.const 0)) "unaligned atomic")
(assert_trap (invoke "32.store32 o1" (i32.const 0)) "unaligned atomic")
(assert_return (invoke "64.store8 o1" (i32.const 0)))
(assert_trap (invoke "64.store16 o1" (i32.const 0)) "unaligned atomic")
(assert_trap (invoke "64.store32 o1" (i32.const 0)) "unaligned atomic")
(assert_trap (invoke "64.store64 o1" (i32.const 0)) "unaligned atomic")
|
