| blob | 3429cd512a46e724893f7410ede12c046e98a31e |
1 ; RUN: llc < %s -asm-verbose=false -wasm-disable-explicit-locals -wasm-keep-registers | FileCheck %s
3 target triple = "wasm32-unknown-unknown"
5 ; Return multiple values, some of which will be legalized into multiple values.
6 declare { i64, i128, i192, i128, i64 } @return_multi_multi()
8 ; Test returning a single value from @return_multi_multi.
10 define i64 @test0() {
11 ; CHECK-LABEL: test0:
12 ; CHECK: call return_multi_multi
13 ; CHECK: i64.load $[[RV:[0-9]+]]=, 8(${{[0-9]+}})
14 ; CHECK: local.copy $push8=, $[[RV]]
15 %t0 = call { i64, i128, i192, i128, i64 } @return_multi_multi()
16 %t1 = extractvalue { i64, i128, i192, i128, i64 } %t0, 0
17 ret i64 %t1
18 }
20 define i128 @test1() {
21 ; CHECK-LABEL: test1:
22 ; CHECK: call return_multi_multi
23 ; CHECK: i64.load $[[RV:[0-9]+]]=, 16($[[SP:[0-9]+]])
24 ; CHECK: i32.const $push0=, 24
25 ; CHECK: i32.add $push1=, $[[SP]], $pop0
26 ; CHECK: i64.load $push2=, 0($pop1)
27 ; CHECK: i64.store 8($0), $pop2
28 ; CHECK: i64.store 0($0), $[[RV]]
29 %t0 = call { i64, i128, i192, i128, i64 } @return_multi_multi()
30 %t1 = extractvalue { i64, i128, i192, i128, i64 } %t0, 1
31 ret i128 %t1
32 }
34 define i192 @test2() {
35 ; CHECK-LABEL: test2:
36 ; CHECK: call return_multi_multi
37 ; CHECK: i32.const $push0=, 40
38 ; CHECK: i32.add $push1=, $[[SP:[0-9]+]], $pop0
39 ; CHECK: i64.load $[[L1:[0-9]+]]=, 0($pop1)
40 ; CHECK: i64.load $[[L2:[0-9]+]]=, 32($[[SP]])
41 ; CHECK: i32.const $push2=, 48
42 ; CHECK: i32.add $push3=, $[[SP]], $pop2
43 ; CHECK: i64.load $push4=, 0($pop3)
44 ; CHECK: i64.store 16($0), $pop4
45 ; CHECK: i64.store 0($0), $[[L2]]
46 ; CHECK: i64.store 8($0), $[[L1]]
47 %t0 = call { i64, i128, i192, i128, i64 } @return_multi_multi()
48 %t1 = extractvalue { i64, i128, i192, i128, i64 } %t0, 2
49 ret i192 %t1
50 }
52 define i128 @test3() {
53 ; CHECK-LABEL: test3:
54 ; CHECK: call return_multi_multi
55 ; CHECK: i64.load $[[L1:[0-9]+]]=, 56($[[SP:[0-9]+]])
56 ; CHECK: i32.const $push0=, 64
57 ; CHECK: i32.add $push1=, $[[SP]], $pop0
58 ; CHECK: i64.load $push2=, 0($pop1)
59 ; CHECK: i64.store 8($0), $pop2
60 ; CHECK: i64.store 0($0), $[[L1]]
61 %t0 = call { i64, i128, i192, i128, i64 } @return_multi_multi()
62 %t1 = extractvalue { i64, i128, i192, i128, i64 } %t0, 3
63 ret i128 %t1
64 }
66 define i64 @test4() {
67 ; CHECK-LABEL: test4:
68 ; CHECK: call return_multi_multi
69 ; CHECK: i64.load $[[L1:[0-9]+]]=, 72($[[SP:[0-9]+]])
70 ; CHECK: local.copy $push8=, $[[L1]]
71 %t0 = call { i64, i128, i192, i128, i64 } @return_multi_multi()
72 %t1 = extractvalue { i64, i128, i192, i128, i64 } %t0, 4
73 ret i64 %t1
74 }
76 ; Test returning multiple values from @return_multi_multi.
78 define { i64, i128 } @test5() {
79 ; CHECK-LABEL: test5:
80 ; CHECK: call return_multi_multi
81 ; CHECK: i32.const $push8=, 8
82 ; CHECK: i32.add $push9=, $[[SP:[0-9]+]], $pop8
83 ; CHECK: i32.const $push0=, 16
84 ; CHECK: i32.add $push1=, $pop9, $pop0
85 ; CHECK: i64.load $[[L1:[0-9]+]]=, 0($pop1)
86 ; CHECK: i64.load $[[L2:[0-9]+]]=, 8($[[SP]])
87 ; CHECK: i64.load $push2=, 16($[[SP]])
88 ; CHECK: i64.store 8($0), $pop2
89 ; CHECK: i64.store 0($0), $[[L2]]
90 ; CHECK: i32.const $push12=, 16
91 ; CHECK: i32.add $push3=, $0, $pop12
92 ; CHECK: i64.store 0($pop3), $[[L1]]
93 %t0 = call { i64, i128, i192, i128, i64 } @return_multi_multi()
94 %r0 = extractvalue { i64, i128, i192, i128, i64 } %t0, 0
95 %r1 = extractvalue { i64, i128, i192, i128, i64 } %t0, 1
96 %s0 = insertvalue { i64, i128 } undef, i64 %r0, 0
97 %s1 = insertvalue { i64, i128 } %s0, i128 %r1, 1
98 ret { i64, i128 } %s1
99 }
101 define { i128, i128 } @test6() {
102 ; CHECK-LABEL: test6:
103 ; CHECK: call return_multi_multi
104 ; CHECK: i32.const $push0=, 64
105 ; CHECK: i32.add $push1=, $[[SP:[0-9]+]], $pop0
106 ; CHECK: i64.load $[[L1:[0-9]+]]=, 0($pop1)
107 ; CHECK: i32.const $push2=, 24
108 ; CHECK: i32.add $push3=, $[[SP]], $pop2
109 ; CHECK: i64.load $[[L2:[0-9]+]]=, 0($pop3)
110 ; CHECK: i64.load $[[L3:[0-9]+]]=, 16($[[SP]])
111 ; CHECK: i64.load $push4=, 56($[[SP]])
112 ; CHECK: i64.store 16($0), $pop4
113 ; CHECK: i64.store 0($0), $[[L3]]
114 ; CHECK: i64.store 8($0), $[[L2]]
115 ; CHECK: i32.const $push5=, 24
116 ; CHECK: i32.add $push6=, $0, $pop5
117 ; CHECK: i64.store 0($pop6), $[[L1]]
118 %t0 = call { i64, i128, i192, i128, i64 } @return_multi_multi()
119 %r1 = extractvalue { i64, i128, i192, i128, i64 } %t0, 1
120 %r3 = extractvalue { i64, i128, i192, i128, i64 } %t0, 3
121 %s0 = insertvalue { i128, i128 } undef, i128 %r1, 0
122 %s1 = insertvalue { i128, i128 } %s0, i128 %r3, 1
123 ret { i128, i128 } %s1
124 }
126 define { i64, i192 } @test7() {
127 ; CHECK-LABEL: test7:
128 ; CHECK: call return_multi_multi
129 ; CHECK: i32.const $push0=, 40
130 ; CHECK: i32.add $push1=, $[[SP:[0-9]+]], $pop0
131 ; CHECK: i64.load $[[L1:[0-9]+]]=, 0($pop1)
132 ; CHECK: i32.const $push2=, 48
133 ; CHECK: i32.add $push3=, $[[SP]], $pop2
134 ; CHECK: i64.load $[[L2:[0-9]+]]=, 0($pop3)
135 ; CHECK: i64.load $[[L3:[0-9]+]]=, 8($[[SP]])
136 ; CHECK: i64.load $push4=, 32($[[SP]])
137 ; CHECK: i64.store 8($0), $pop4
138 ; CHECK: i64.store 0($0), $[[L3]]
139 ; CHECK: i32.const $push5=, 24
140 ; CHECK: i32.add $push6=, $0, $pop5
141 ; CHECK: i64.store 0($pop6), $[[L2]]
142 ; CHECK: i32.const $push7=, 16
143 ; CHECK: i32.add $push8=, $0, $pop7
144 ; CHECK: i64.store 0($pop8), $[[L1]]
145 %t0 = call { i64, i128, i192, i128, i64 } @return_multi_multi()
146 %r0 = extractvalue { i64, i128, i192, i128, i64 } %t0, 0
147 %r2 = extractvalue { i64, i128, i192, i128, i64 } %t0, 2
148 %s0 = insertvalue { i64, i192 } undef, i64 %r0, 0
149 %s1 = insertvalue { i64, i192 } %s0, i192 %r2, 1
150 ret { i64, i192 } %s1
151 }
153 define { i128, i192, i128, i64 } @test8() {
154 ; CHECK-LABEL: test8:
155 ; CHECK: call return_multi_multi
156 ; CHECK: i32.const $push18=, 8
157 ; CHECK: i32.add $push19=, $[[SP:[0-9]+]], $pop18
158 ; CHECK: i32.const $push0=, 32
159 ; CHECK: i32.add $push1=, $pop19, $pop0
160 ; CHECK: i64.load $[[L1:[0-9]+]]=, 0($pop1)
161 ; CHECK: i32.const $push2=, 48
162 ; CHECK: i32.add $push3=, $[[SP]], $pop2
163 ; CHECK: i64.load $[[L2:[0-9]+]]=, 0($pop3)
164 ; CHECK: i32.const $push4=, 24
165 ; CHECK: i32.add $push5=, $[[SP]], $pop4
166 ; CHECK: i64.load $[[L3:[0-9]+]]=, 0($pop5)
167 ; CHECK: i32.const $push6=, 64
168 ; CHECK: i32.add $push7=, $[[SP]], $pop6
169 ; CHECK: i64.load $[[L4:[0-9]+]]=, 0($pop7)
170 ; CHECK: i64.load $[[L5:[0-9]+]]=, 8($[[SP]])
171 ; CHECK: i64.load $[[L6:[0-9]+]]=, 56($[[SP]])
172 ; CHECK: i64.load $[[L7:[0-9]+]]=, 32($[[SP]])
173 ; CHECK: i64.load $push8=, 16($[[SP]])
174 ; CHECK: i64.store 40($0), $pop8
175 ; CHECK: i64.store 16($0), $[[L7]]
176 ; CHECK: i64.store 0($0), $[[L6]]
177 ; CHECK: i64.store 8($0), $[[L4]]
178 ; CHECK: i64.store 56($0), $[[L5]]
179 ; CHECK: i32.const $push9=, 48
180 ; CHECK: i32.add $push10=, $0, $pop9
181 ; CHECK: i64.store 0($pop10), $[[L3]]
182 ; CHECK: i32.const $push22=, 32
183 ; CHECK: i32.add $push11=, $0, $pop22
184 ; CHECK: i64.store 0($pop11), $[[L2]]
185 ; CHECK: i32.const $push12=, 24
186 ; CHECK: i32.add $push13=, $0, $pop12
187 ; CHECK: i64.store 0($pop13), $[[L1]]
188 %t0 = call { i64, i128, i192, i128, i64 } @return_multi_multi()
189 %r0 = extractvalue { i64, i128, i192, i128, i64 } %t0, 0
190 %r1 = extractvalue { i64, i128, i192, i128, i64 } %t0, 1
191 %r2 = extractvalue { i64, i128, i192, i128, i64 } %t0, 2
192 %r3 = extractvalue { i64, i128, i192, i128, i64 } %t0, 3
193 %s0 = insertvalue { i128, i192, i128, i64 } undef, i128 %r3, 0
194 %s1 = insertvalue { i128, i192, i128, i64 } %s0, i192 %r2, 1
195 %s2 = insertvalue { i128, i192, i128, i64 } %s1, i128 %r1, 2
196 %s3 = insertvalue { i128, i192, i128, i64 } %s2, i64 %r0, 3
197 ret { i128, i192, i128, i64 } %s3
198 }