blob: 636ef190cd4145bf6cb13aa76cc7564fd46496fe (
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
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
|
;; NOTE: Assertions have been generated by update_lit_checks.py and should not be edited.
;; RUN: wasm-opt %s --optimize-instructions --enable-multivalue -S -o - | filecheck %s
(module
;; CHECK: (func $if-identical-arms-tuple (param $x i32) (result i32)
;; CHECK-NEXT: (local $tuple (tuple i32 i32))
;; CHECK-NEXT: (local $tuple2 (tuple i32 i32))
;; CHECK-NEXT: (tuple.extract 2 0
;; CHECK-NEXT: (if (type $2) (result i32 i32)
;; CHECK-NEXT: (local.get $x)
;; CHECK-NEXT: (then
;; CHECK-NEXT: (local.get $tuple)
;; CHECK-NEXT: )
;; CHECK-NEXT: (else
;; CHECK-NEXT: (local.get $tuple2)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: )
(func $if-identical-arms-tuple (param $x i32) (result i32)
(local $tuple (tuple i32 i32))
(local $tuple2 (tuple i32 i32))
(if (result i32)
(local.get $x)
;; The tuple.extract can be hoisted out.
(then
(tuple.extract 2 0
(local.get $tuple)
)
)
(else
(tuple.extract 2 0
(local.get $tuple2)
)
)
)
)
;; CHECK: (func $select-identical-arms-tuple (param $x i32) (result i32)
;; CHECK-NEXT: (local $tuple (tuple i32 i32))
;; CHECK-NEXT: (local $tuple2 (tuple i32 i32))
;; CHECK-NEXT: (select
;; CHECK-NEXT: (tuple.extract 2 0
;; CHECK-NEXT: (local.get $tuple)
;; CHECK-NEXT: )
;; CHECK-NEXT: (tuple.extract 2 0
;; CHECK-NEXT: (local.get $tuple2)
;; CHECK-NEXT: )
;; CHECK-NEXT: (local.get $x)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
(func $select-identical-arms-tuple (param $x i32) (result i32)
(local $tuple (tuple i32 i32))
(local $tuple2 (tuple i32 i32))
(select
;; The tuple.extract cannot be hoisted out, as the spec disallows a
;; select with multiple values in its arms.
(tuple.extract 2 0
(local.get $tuple)
)
(tuple.extract 2 0
(local.get $tuple2)
)
(local.get $x)
)
)
;; CHECK: (func $extract-make (param $x i32) (param $y i32) (result i32)
;; CHECK-NEXT: (local $2 i32)
;; CHECK-NEXT: (drop
;; CHECK-NEXT: (local.tee $2
;; CHECK-NEXT: (local.get $x)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: (local.get $2)
;; CHECK-NEXT: )
(func $extract-make (param $x i32) (param $y i32) (result i32)
;; An extraction from a make can be simplified to just get the right lane.
(tuple.extract 2 0
(tuple.make 2
(local.get $x)
(local.get $y)
)
)
)
;; CHECK: (func $extract-make-2 (param $x i32) (param $y i32) (result i32)
;; CHECK-NEXT: (local $2 i32)
;; CHECK-NEXT: (drop
;; CHECK-NEXT: (local.tee $2
;; CHECK-NEXT: (local.get $y)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: (local.get $2)
;; CHECK-NEXT: )
(func $extract-make-2 (param $x i32) (param $y i32) (result i32)
;; As above, but the second lane.
(tuple.extract 2 1
(tuple.make 2
(local.get $x)
(local.get $y)
)
)
)
;; CHECK: (func $extract-make-unreachable (param $x i32) (param $y i32) (result i32)
;; CHECK-NEXT: (tuple.extract 2 0
;; CHECK-NEXT: (tuple.make 2
;; CHECK-NEXT: (unreachable)
;; CHECK-NEXT: (local.get $y)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: )
(func $extract-make-unreachable (param $x i32) (param $y i32) (result i32)
(tuple.extract 2 0
(tuple.make 2
(unreachable) ;; because of this we should do nothing
(local.get $y)
)
)
)
)
|
