blob: 99b030f016a12db695806d0af3b1cb2aa6b1da0f (
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
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
|
;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
;; RUN: foreach %s %t wasm-opt --closed-world --type-merging --remove-unused-types -all -S -o - | filecheck %s
(module
;; Shared and non-shared types are not merged.
;; CHECK: (rec
;; CHECK-NEXT: (type $C' (shared (func)))
;; CHECK: (type $B' (shared (array i8)))
;; CHECK: (type $B (array i8))
;; CHECK: (type $A' (shared (struct)))
;; CHECK: (type $A (struct))
(type $A (struct))
(type $A' (shared (struct)))
(type $B (array i8))
(type $B' (shared (array i8)))
;; CHECK: (type $C (func))
(type $C (func))
(type $C' (shared (func)))
;; CHECK: (func $foo (type $C)
;; CHECK-NEXT: (local $a (ref null $A))
;; CHECK-NEXT: (local $a' (ref null $A'))
;; CHECK-NEXT: (local $b (ref null $B))
;; CHECK-NEXT: (local $b' (ref null $B'))
;; CHECK-NEXT: (local $c (ref null $C))
;; CHECK-NEXT: (local $c' (ref null $C'))
;; CHECK-NEXT: )
(func $foo
(local $a (ref null $A))
(local $a' (ref null $A'))
(local $b (ref null $B))
(local $b' (ref null $B'))
(local $c (ref null $C))
(local $c' (ref null $C'))
)
)
(module
;; But two shared types can be merged.
;; CHECK: (rec
;; CHECK-NEXT: (type $C (shared (func)))
;; CHECK: (type $B (shared (array i8)))
;; CHECK: (type $A (shared (struct)))
(type $A (shared (struct)))
(type $A' (shared (struct)))
(type $B (shared (array i8)))
(type $B' (shared (array i8)))
(type $C (shared (func)))
(type $C' (shared (func)))
;; CHECK: (type $3 (func))
;; CHECK: (func $foo (type $3)
;; CHECK-NEXT: (local $a (ref null $A))
;; CHECK-NEXT: (local $a' (ref null $A))
;; CHECK-NEXT: (local $b (ref null $B))
;; CHECK-NEXT: (local $b' (ref null $B))
;; CHECK-NEXT: (local $c (ref null $C))
;; CHECK-NEXT: (local $c' (ref null $C))
;; CHECK-NEXT: )
(func $foo
(local $a (ref null $A))
(local $a' (ref null $A'))
(local $b (ref null $B))
(local $b' (ref null $B'))
(local $c (ref null $C))
(local $c' (ref null $C'))
)
)
(module
;; Shared and unshared basic heap types similarly cannot be merged.
;; CHECK: (rec
;; CHECK-NEXT: (type $A' (struct (field anyref)))
;; CHECK: (type $A (struct (field (ref null (shared any)))))
(type $A (struct (ref null (shared any))))
(type $A' (struct (ref null any)))
;; CHECK: (type $2 (func))
;; CHECK: (func $foo (type $2)
;; CHECK-NEXT: (local $a (ref null $A))
;; CHECK-NEXT: (local $a' (ref null $A'))
;; CHECK-NEXT: )
(func $foo
(local $a (ref null $A))
(local $a' (ref null $A'))
)
)
|
