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.
48 lines
2.1 KiB
Swift
48 lines
2.1 KiB
Swift
// RUN: %target-swift-frontend -primary-file %s -Onone -Xllvm -sil-print-types -emit-sil -Xllvm \
|
|
// RUN: -sil-print-after=raw-sil-inst-lowering -Xllvm \
|
|
// RUN: -sil-print-functions=$s3del1MC4fromAcA12WithDelegate_p_tKcfc \
|
|
// RUN: -Xllvm -sil-print-types -Xllvm -sil-print-debuginfo -o /dev/null -module-name del 2>&1 | %FileCheck %s
|
|
|
|
public protocol DelegateA {}
|
|
public protocol DelegateB {}
|
|
public protocol WithDelegate
|
|
{
|
|
var delegate: DelegateA? { get }
|
|
func f() throws -> Int
|
|
}
|
|
public enum Err: Swift.Error {
|
|
case s(Int)
|
|
}
|
|
public class C {}
|
|
public class M {
|
|
let field: C
|
|
var value : Int
|
|
public init(from d: WithDelegate) throws {
|
|
guard let delegate = d.delegate as? DelegateB
|
|
else { throw Err.s(0) }
|
|
self.field = C()
|
|
let i: Int = try d.f()
|
|
value = i
|
|
}
|
|
}
|
|
|
|
// Make sure the expanded sequence gets the right scope.
|
|
|
|
// CHECK-LABEL: sil [ossa] @$s3del1MC4fromAcA12WithDelegate_p_tKcfc : $@convention(method) (@in any WithDelegate, @owned M) -> (@owned M, @error any Error)
|
|
|
|
// CHECK: [[I:%.*]] = integer_literal $Builtin.Int2, 1, loc {{.*}}:20:12, scope [[SCOPE:[0-9]+]]
|
|
// CHECK: [[V:%.*]] = load [trivial] %2 : $*Builtin.Int2, loc {{.*}}:20:12, scope [[SCOPE]]
|
|
// CHECK: [[OR:%.*]] = builtin "or_Int2"([[V]] : $Builtin.Int2, [[I]] : $Builtin.Int2) : $Builtin.Int2, loc {{.*}}:20:12, scope [[SCOPE]]
|
|
// CHECK: store [[OR]] to [trivial] %2 : $*Builtin.Int2, loc {{.*}}:20:12, scope [[SCOPE]]
|
|
// CHECK: store %{{.*}} to [init] %{{.*}} : $*C, loc {{.*}}:23:20, scope [[SCOPE]]
|
|
|
|
// Make sure the dealloc_stack gets the same scope of the instructions surrounding it.
|
|
|
|
// CHECK: destroy_addr %0 : $*any WithDelegate, loc {{.*}}:26:5, scope [[SCOPE1:[0-9]+]]
|
|
// CHECK-NEXT: dealloc_stack %2 : $*Builtin.Int2, loc {{.*}}:20:12, scope [[SCOPE1]]
|
|
|
|
// CHECK: destroy_addr %0 : $*any WithDelegate, loc {{.*}}:26:5, scope [[SCOPE1]]
|
|
// CHECK-NEXT: dealloc_stack %2 : $*Builtin.Int2, loc {{.*}}:20:12, scope [[SCOPE1]]
|
|
// CHECK-NEXT: throw %{{.*}} : $any Error, loc {{.*}}:26:5, scope [[SCOPE1]]
|
|
// CHECK: end sil function '$s3del1MC4fromAcA12WithDelegate_p_tKcfc'
|