mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
7cceaff5f3
Type annotations for instruction operands are omitted, e.g. ``` %3 = struct $S(%1, %2) ``` Operand types are redundant anyway and were only used for sanity checking in the SIL parser. But: operand types _are_ printed if the definition of the operand value was not printed yet. This happens: * if the block with the definition appears after the block where the operand's instruction is located * if a block or instruction is printed in isolation, e.g. in a debugger The old behavior can be restored with `-Xllvm -sil-print-types`. This option is added to many existing test files which check for operand types in their check-lines.
28 lines
1.5 KiB
Swift
28 lines
1.5 KiB
Swift
// RUN: %target-swift-emit-silgen -Xllvm -sil-print-types -emit-silgen %s | %FileCheck %s
|
|
|
|
infix operator ~>
|
|
|
|
protocol P { }
|
|
|
|
func bar<T:P>(_: inout T) -> (()) -> () { return {_ in ()} }
|
|
func baz<T:P>(_: inout T) -> (Int) -> () { return {_ in ()} }
|
|
|
|
func ~> <T: P, Args, Result>(
|
|
x: inout T,
|
|
m: (_ x: inout T) -> ((Args) -> Result)
|
|
) -> ((Args) -> Result) {
|
|
return m(&x)
|
|
}
|
|
|
|
struct X : P {}
|
|
|
|
var a = X()
|
|
(a~>bar)(())
|
|
|
|
// CHECK: [[CHAINED_FUNC:%.*]] = apply {{%.*}}<X, (), ()>({{%.*}}, {{%.*}}) : $@convention(thin) <τ_0_0, τ_0_1, τ_0_2 where τ_0_0 : P> (@inout τ_0_0, @guaranteed @noescape @callee_guaranteed @substituted <τ_0_0, τ_0_1, τ_0_2> (@inout τ_0_0) -> (@owned @callee_guaranteed @substituted <τ_0_0, τ_0_1> (@in_guaranteed τ_0_0) -> @out τ_0_1 for <τ_0_1, τ_0_2>) for <τ_0_0, τ_0_1, τ_0_2>) -> @owned @callee_guaranteed @substituted <τ_0_0, τ_0_1> (@in_guaranteed τ_0_0) -> @out τ_0_1 for <τ_0_1, τ_0_2>
|
|
// CHECK: [[CHAINED_FUNC_CONV:%.*]] = convert_function [[CHAINED_FUNC]] : $@callee_guaranteed @substituted <τ_0_0, τ_0_1> (@in_guaranteed τ_0_0) -> @out τ_0_1 for <(), ()> to $@callee_guaranteed (@in_guaranteed ()) -> @out ()
|
|
// CHECK: [[REABSTRACT:%.*]] = function_ref @$sytytIegnr_Ieg_TR
|
|
// CHECK: [[CHAINED_FUNC_REABSTRACTED:%.*]] = partial_apply [callee_guaranteed] [[REABSTRACT]]([[CHAINED_FUNC_CONV]])
|
|
// CHECK: [[BORROW:%.*]] = begin_borrow [[CHAINED_FUNC_REABSTRACTED]]
|
|
// CHECK: apply [[BORROW]]() : $@callee_guaranteed () -> ()
|