blob: 20a77eae4899f783c0da2c95950b93c935fa5c5b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
(module
(memory $0 (shared 16 16))
(func $atomics-are-always-unsigned (result i32)
(local $0 i32)
(drop
(block (result i32)
(local.set $0
(i32.atomic.load16_u ;; an atomic load cannot become signed
(i32.const 27)
)
)
(i32.shr_s
(i32.shl
(local.get $0)
(i32.const 16)
)
(i32.const 16)
)
)
)
(i32.const -65)
)
)
|
