@@ -40,7 +40,7 @@ entry(%input : $*Input):
40
40
%nunca = alloc_stack $Nunca
41
41
%callee = function_ref @rdar127452206_callee : $@convention(thin) @Sendable @substituted <τ_0_0, τ_0_1, τ_0_2> (@in_guaranteed τ_0_0) -> (@out τ_0_2, @error_indirect τ_0_1) for <Input, Nunca, Output>
42
42
%convert = convert_function %callee : $@convention(thin) @Sendable @substituted <τ_0_0, τ_0_1, τ_0_2> (@in_guaranteed τ_0_0) -> (@out τ_0_2, @error_indirect τ_0_1) for <Input, Nunca, Output> to $@convention(thin) @substituted <τ_0_0, τ_0_1, τ_0_2> (@in_guaranteed τ_0_0) -> (@out τ_0_2, @error_indirect τ_0_1) for <Input, Nunca, Output> // user: %216
43
- specify_test "sil_combine_instruction @instruction[4]"
43
+ specify_test "sil_combine_visit_instruction @instruction[4]"
44
44
apply [nothrow] %convert(%output, %nunca, %input) : $@convention(thin) @substituted <τ_0_0, τ_0_1, τ_0_2> (@in_guaranteed τ_0_0) -> (@out τ_0_2, @error_indirect τ_0_1) for <Input, Nunca, Output>
45
45
dealloc_stack %nunca : $*Nunca
46
46
dealloc_stack %output : $*Output
@@ -62,7 +62,7 @@ entry(%c : @owned $C):
62
62
%borrowMaybeC = function_ref @borrowMaybeC : $@convention(thin) (@guaranteed Optional<C>) -> ()
63
63
%borrowC = convert_function %borrowMaybeC : $@convention(thin) (@guaranteed Optional<C>) -> () to $@convention(thin) (@guaranteed C) -> ()
64
64
%void = apply %borrowC(%c) : $@convention(thin) (@guaranteed C) -> ()
65
- specify_test "sil_combine_instruction %void"
65
+ specify_test "sil_combine_visit_instruction %void"
66
66
destroy_value %c : $C
67
67
%retval = tuple ()
68
68
return %retval : $()
@@ -89,7 +89,7 @@ entry(%c : @owned $C, %c2 : @owned $C):
89
89
%borrowMaybeC2 = function_ref @borrowMaybeC2 : $@convention(thin) (@guaranteed Optional<C>, @guaranteed Optional<C>) -> ()
90
90
%borrowC2 = convert_function %borrowMaybeC2 : $@convention(thin) (@guaranteed Optional<C>, @guaranteed Optional<C>) -> () to $@convention(thin) (@guaranteed C, @guaranteed C) -> ()
91
91
%void = apply %borrowC2(%c, %c2) : $@convention(thin) (@guaranteed C, @guaranteed C) -> ()
92
- specify_test "sil_combine_instruction %void"
92
+ specify_test "sil_combine_visit_instruction %void"
93
93
destroy_value %c : $C
94
94
destroy_value %c2 : $C
95
95
%retval = tuple ()
@@ -116,7 +116,7 @@ sil [ossa] @convert_function__to_optional__owned_as_guaranteed__3 : $@convention
116
116
entry(%c : @owned $C):
117
117
%borrowMaybeC = function_ref @borrowMaybeCThrowing : $@convention(thin) (@guaranteed Optional<C>) -> (@error Error)
118
118
%borrowC = convert_function %borrowMaybeC : $@convention(thin) (@guaranteed Optional<C>) -> (@error Error) to $@convention(thin) (@guaranteed C) -> (@error Error)
119
- specify_test "sil_combine_instruction @instruction"
119
+ specify_test "sil_combine_visit_instruction @instruction"
120
120
try_apply %borrowC(%c) : $@convention(thin) (@guaranteed C) -> (@error Error),
121
121
normal success,
122
122
error failure
@@ -160,7 +160,7 @@ sil [ossa] @convert_function__to_optional__owned_as_guaranteed__4 : $@convention
160
160
entry(%c : @owned $C, %c2 : @owned $C):
161
161
%borrowMaybeC2 = function_ref @borrowMaybeC2Throwing : $@convention(thin) (@guaranteed Optional<C>, @guaranteed Optional<C>) -> (@error Error)
162
162
%borrowC2 = convert_function %borrowMaybeC2 : $@convention(thin) (@guaranteed Optional<C>, @guaranteed Optional<C>) -> (@error Error) to $@convention(thin) (@guaranteed C, @guaranteed C) -> (@error Error)
163
- specify_test "sil_combine_instruction @instruction"
163
+ specify_test "sil_combine_visit_instruction @instruction"
164
164
try_apply %borrowC2(%c, %c2) : $@convention(thin) (@guaranteed C, @guaranteed C) -> (@error Error),
165
165
normal success,
166
166
error failure
0 commit comments