Skip to content

Commit 6b8408a

Browse files
nate-chandlernate-chandler
committed
[Test] Sorted test cases better.
1 parent cd7e675 commit 6b8408a

File tree

1 file changed

+33
-26
lines changed

1 file changed

+33
-26
lines changed

‎test/IRGen/run_variadic_generics.sil

Lines changed: 33 additions & 26 deletions
Original file line numberDiff line numberDiff line change
@@ -125,61 +125,52 @@ bb0(%argc : $Int32, %argv : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<
125125
%4 = integer_literal $Builtin.Word, 4
126126
%5 = integer_literal $Builtin.Word, 5
127127

128-
%two_archetypes_from_two_params_no_singles_with_conformance = function_ref @two_archetypes_from_two_params_no_singles_with_conformance : $@convention(thin) <T_1... : P, T_2... : P where (repeat (each T_1, each T_2)): Any> (Builtin.Word) -> ()
128+
129+
130+
%two_archetypes_from_two_params_no_singles = function_ref @two_archetypes_from_two_params_no_singles : $@convention(thin) <T_1..., T_2... where (repeat (each T_1, each T_2)): Any> (Builtin.Word) -> ()
129131
// U_1 -> {A, B, C, D, E, F}
130132
// ---0--> ^
131133
// CHECK: A
132-
// CHECK: A
133134
// U_2 -> {D, E, F, A, B, C}
134135
// ---0--> ^
135136
// CHECK: D
136-
// CHECK: D
137-
apply %two_archetypes_from_two_params_no_singles_with_conformance<Pack{A, B, C}, Pack{D, E, F}>(%0) : $@convention(thin) <T_1... : P, T_2... : P where (repeat (each T_1, each T_2)): Any> (Builtin.Word) -> ()
137+
apply %two_archetypes_from_two_params_no_singles<Pack{A, B, C}, Pack{D, E, F}>(%0) : $@convention(thin) <T_1..., T_2... where (repeat (each T_1, each T_2)): Any> (Builtin.Word) -> ()
138138
// U_1 -> {A, B, C, D, E, F}
139139
// ----1----> ^
140140
// CHECK: B
141-
// CHECK: B
142141
// U_2 -> {D, E, F, A, B, C}
143142
// ----1----> ^
144143
// CHECK: E
145-
// CHECK: E
146-
apply %two_archetypes_from_two_params_no_singles_with_conformance<Pack{A, B, C}, Pack{D, E, F}>(%1) : $@convention(thin) <T_1... : P, T_2... : P where (repeat (each T_1, each T_2)): Any> (Builtin.Word) -> ()
144+
apply %two_archetypes_from_two_params_no_singles<Pack{A, B, C}, Pack{D, E, F}>(%1) : $@convention(thin) <T_1..., T_2... where (repeat (each T_1, each T_2)): Any> (Builtin.Word) -> ()
147145
// U_1 -> {A, B, C, D, E, F}
148146
// ------2-----> ^
149147
// CHECK: C
150-
// CHECK: C
151148
// U_2 -> {D, E, F, A, B, C}
152149
// ------2-----> ^
153150
// CHECK: F
154-
// CHECK: F
155-
apply %two_archetypes_from_two_params_no_singles_with_conformance<Pack{A, B, C}, Pack{D, E, F}>(%2) : $@convention(thin) <T_1... : P, T_2... : P where (repeat (each T_1, each T_2)): Any> (Builtin.Word) -> ()
151+
apply %two_archetypes_from_two_params_no_singles<Pack{A, B, C}, Pack{D, E, F}>(%2) : $@convention(thin) <T_1..., T_2... where (repeat (each T_1, each T_2)): Any> (Builtin.Word) -> ()
156152
// U_1 -> {A, B, C, D, E, F}
157153
// -------3-------> ^
158154
// CHECK: D
159-
// CHECK: D
160155
// U_2 -> {D, E, F, A, B, C}
161156
// -------3-------> ^
162157
// CHECK: A
163-
// CHECK: A
164-
apply %two_archetypes_from_two_params_no_singles_with_conformance<Pack{A, B, C}, Pack{D, E, F}>(%3) : $@convention(thin) <T_1... : P, T_2... : P where (repeat (each T_1, each T_2)): Any> (Builtin.Word) -> ()
158+
apply %two_archetypes_from_two_params_no_singles<Pack{A, B, C}, Pack{D, E, F}>(%3) : $@convention(thin) <T_1..., T_2... where (repeat (each T_1, each T_2)): Any> (Builtin.Word) -> ()
165159
// U_1 -> {A, B, C, D, E, F}
166160
// ---------4--------> ^
167161
// CHECK: E
168-
// CHECK: E
169162
// U_2 -> {D, E, F, A, B, C}
170163
// ---------4--------> ^
171164
// CHECK: B
172-
// CHECK: B
173-
apply %two_archetypes_from_two_params_no_singles_with_conformance<Pack{A, B, C}, Pack{D, E, F}>(%4) : $@convention(thin) <T_1... : P, T_2... : P where (repeat (each T_1, each T_2)): Any> (Builtin.Word) -> ()
165+
apply %two_archetypes_from_two_params_no_singles<Pack{A, B, C}, Pack{D, E, F}>(%4) : $@convention(thin) <T_1..., T_2... where (repeat (each T_1, each T_2)): Any> (Builtin.Word) -> ()
174166
// U_1 -> {A, B, C, D, E, F}
175167
// -----------5---------> ^
176168
// CHECK: F
177-
// CHECK: F
178169
// U_2 -> {D, E, F, A, B, C}
179170
// -----------5---------> ^
180171
// CHECK: C
181-
// CHECK: C
182-
apply %two_archetypes_from_two_params_no_singles_with_conformance<Pack{A, B, C}, Pack{D, E, F}>(%5) : $@convention(thin) <T_1... : P, T_2... : P where (repeat (each T_1, each T_2)): Any> (Builtin.Word) -> ()
172+
apply %two_archetypes_from_two_params_no_singles<Pack{A, B, C}, Pack{D, E, F}>(%5) : $@convention(thin) <T_1..., T_2... where (repeat (each T_1, each T_2)): Any> (Builtin.Word) -> ()
173+
183174

184175
%direct_access_from_parameter = function_ref @direct_access_from_parameter : $@convention(thin) <T_1...> (Builtin.Word) -> ()
185176
// U_1 -> {A, B, C, D, E, F}
@@ -206,49 +197,65 @@ bb0(%argc : $Int32, %argv : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<
206197
// ----------5----------> ^
207198
// CHECK: F
208199
apply %direct_access_from_parameter<Pack{A, B, C, D, E, F}>(%5) : $@convention(thin) <T_1...> (Builtin.Word) -> ()
209-
%two_archetypes_from_two_params_no_singles = function_ref @two_archetypes_from_two_params_no_singles : $@convention(thin) <T_1..., T_2... where (repeat (each T_1, each T_2)): Any> (Builtin.Word) -> ()
200+
201+
202+
203+
%two_archetypes_from_two_params_no_singles_with_conformance = function_ref @two_archetypes_from_two_params_no_singles_with_conformance : $@convention(thin) <T_1... : P, T_2... : P where (repeat (each T_1, each T_2)): Any> (Builtin.Word) -> ()
210204
// U_1 -> {A, B, C, D, E, F}
211205
// ---0--> ^
212206
// CHECK: A
207+
// CHECK: A
213208
// U_2 -> {D, E, F, A, B, C}
214209
// ---0--> ^
215210
// CHECK: D
216-
apply %two_archetypes_from_two_params_no_singles<Pack{A, B, C}, Pack{D, E, F}>(%0) : $@convention(thin) <T_1..., T_2... where (repeat (each T_1, each T_2)): Any> (Builtin.Word) -> ()
211+
// CHECK: D
212+
apply %two_archetypes_from_two_params_no_singles_with_conformance<Pack{A, B, C}, Pack{D, E, F}>(%0) : $@convention(thin) <T_1... : P, T_2... : P where (repeat (each T_1, each T_2)): Any> (Builtin.Word) -> ()
217213
// U_1 -> {A, B, C, D, E, F}
218214
// ----1----> ^
219215
// CHECK: B
216+
// CHECK: B
220217
// U_2 -> {D, E, F, A, B, C}
221218
// ----1----> ^
222219
// CHECK: E
223-
apply %two_archetypes_from_two_params_no_singles<Pack{A, B, C}, Pack{D, E, F}>(%1) : $@convention(thin) <T_1..., T_2... where (repeat (each T_1, each T_2)): Any> (Builtin.Word) -> ()
220+
// CHECK: E
221+
apply %two_archetypes_from_two_params_no_singles_with_conformance<Pack{A, B, C}, Pack{D, E, F}>(%1) : $@convention(thin) <T_1... : P, T_2... : P where (repeat (each T_1, each T_2)): Any> (Builtin.Word) -> ()
224222
// U_1 -> {A, B, C, D, E, F}
225223
// ------2-----> ^
226224
// CHECK: C
225+
// CHECK: C
227226
// U_2 -> {D, E, F, A, B, C}
228227
// ------2-----> ^
229228
// CHECK: F
230-
apply %two_archetypes_from_two_params_no_singles<Pack{A, B, C}, Pack{D, E, F}>(%2) : $@convention(thin) <T_1..., T_2... where (repeat (each T_1, each T_2)): Any> (Builtin.Word) -> ()
229+
// CHECK: F
230+
apply %two_archetypes_from_two_params_no_singles_with_conformance<Pack{A, B, C}, Pack{D, E, F}>(%2) : $@convention(thin) <T_1... : P, T_2... : P where (repeat (each T_1, each T_2)): Any> (Builtin.Word) -> ()
231231
// U_1 -> {A, B, C, D, E, F}
232232
// -------3-------> ^
233233
// CHECK: D
234+
// CHECK: D
234235
// U_2 -> {D, E, F, A, B, C}
235236
// -------3-------> ^
236237
// CHECK: A
237-
apply %two_archetypes_from_two_params_no_singles<Pack{A, B, C}, Pack{D, E, F}>(%3) : $@convention(thin) <T_1..., T_2... where (repeat (each T_1, each T_2)): Any> (Builtin.Word) -> ()
238+
// CHECK: A
239+
apply %two_archetypes_from_two_params_no_singles_with_conformance<Pack{A, B, C}, Pack{D, E, F}>(%3) : $@convention(thin) <T_1... : P, T_2... : P where (repeat (each T_1, each T_2)): Any> (Builtin.Word) -> ()
238240
// U_1 -> {A, B, C, D, E, F}
239241
// ---------4--------> ^
240242
// CHECK: E
243+
// CHECK: E
241244
// U_2 -> {D, E, F, A, B, C}
242245
// ---------4--------> ^
243246
// CHECK: B
244-
apply %two_archetypes_from_two_params_no_singles<Pack{A, B, C}, Pack{D, E, F}>(%4) : $@convention(thin) <T_1..., T_2... where (repeat (each T_1, each T_2)): Any> (Builtin.Word) -> ()
247+
// CHECK: B
248+
apply %two_archetypes_from_two_params_no_singles_with_conformance<Pack{A, B, C}, Pack{D, E, F}>(%4) : $@convention(thin) <T_1... : P, T_2... : P where (repeat (each T_1, each T_2)): Any> (Builtin.Word) -> ()
245249
// U_1 -> {A, B, C, D, E, F}
246250
// -----------5---------> ^
247251
// CHECK: F
252+
// CHECK: F
248253
// U_2 -> {D, E, F, A, B, C}
249254
// -----------5---------> ^
250255
// CHECK: C
251-
apply %two_archetypes_from_two_params_no_singles<Pack{A, B, C}, Pack{D, E, F}>(%5) : $@convention(thin) <T_1..., T_2... where (repeat (each T_1, each T_2)): Any> (Builtin.Word) -> ()
256+
// CHECK: C
257+
apply %two_archetypes_from_two_params_no_singles_with_conformance<Pack{A, B, C}, Pack{D, E, F}>(%5) : $@convention(thin) <T_1... : P, T_2... : P where (repeat (each T_1, each T_2)): Any> (Builtin.Word) -> ()
258+
252259

253260
%direct_access_from_parameter_with_conformance = function_ref @direct_access_from_parameter_with_conformance : $@convention(thin) <T_1...: P> (Builtin.Word) -> ()
254261
// U_1 -> {A, B, C, D, E, F}

0 commit comments

Comments
 (0)