blob: 1f2d07753b47d6168cc5a1ac16424b836f7443b5 (
plain)
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
|
;; NOTE: Assertions have been generated by update_lit_checks.py and should not be edited.
;; RUN: wasm-opt %s -all --precompute-propagate -S -o - | filecheck %s
(module
;; CHECK: (type $shared (shared (struct (field i32))))
(type $shared (shared (struct (field i32))))
;; CHECK: (type $unshared (struct (field i32)))
(type $unshared (struct (field i32)))
;; CHECK: (func $get-unordered-unshared (type $0) (result i32)
;; CHECK-NEXT: (i32.const 0)
;; CHECK-NEXT: )
(func $get-unordered-unshared (result i32)
(struct.get $unshared 0
(struct.new_default $unshared)
)
)
;; CHECK: (func $get-unordered-shared (type $0) (result i32)
;; CHECK-NEXT: (i32.const 0)
;; CHECK-NEXT: )
(func $get-unordered-shared (result i32)
(struct.get $shared 0
(struct.new_default $shared)
)
)
;; CHECK: (func $get-seqcst-unshared (type $0) (result i32)
;; CHECK-NEXT: (struct.atomic.get $unshared 0
;; CHECK-NEXT: (struct.new_default $unshared)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
(func $get-seqcst-unshared (result i32)
(struct.atomic.get seqcst $unshared 0
(struct.new_default $unshared)
)
)
;; CHECK: (func $get-seqcst-shared (type $0) (result i32)
;; CHECK-NEXT: (struct.atomic.get $shared 0
;; CHECK-NEXT: (struct.new_default $shared)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
(func $get-seqcst-shared (result i32)
(struct.atomic.get seqcst $shared 0
(struct.new_default $shared)
)
)
;; CHECK: (func $get-acqrel-unshared (type $0) (result i32)
;; CHECK-NEXT: (i32.const 0)
;; CHECK-NEXT: )
(func $get-acqrel-unshared (result i32)
;; We can optimize this because acquire-release on unshared data does not
;; synchronize with anything.
(struct.atomic.get acqrel $unshared 0
(struct.new_default $unshared)
)
)
;; CHECK: (func $get-acqrel-shared (type $0) (result i32)
;; CHECK-NEXT: (struct.atomic.get acqrel $shared 0
;; CHECK-NEXT: (struct.new_default $shared)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
(func $get-acqrel-shared (result i32)
(struct.atomic.get acqrel $shared 0
(struct.new_default $shared)
)
)
)
|
