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.
53 lines
1.9 KiB
Swift
53 lines
1.9 KiB
Swift
// RUN: %target-swift-emit-silgen -Xllvm -sil-print-types %s | %FileCheck %s
|
|
// RUN: %target-swift-emit-sil -Xllvm -sil-print-types -verify %s
|
|
|
|
protocol BestFriend: class {
|
|
init()
|
|
static func create() -> Self
|
|
}
|
|
|
|
class Animal {
|
|
required init(species: String) {}
|
|
|
|
static func create() -> Self { return self.init() }
|
|
required convenience init() { self.init(species: "\(type(of: self))") }
|
|
}
|
|
|
|
class Dog: Animal, BestFriend {}
|
|
// CHECK-LABEL: sil private [transparent] [thunk] [ossa] @$s4main3DogCAA10BestFriendA2aDPxycfCTW
|
|
// CHECK: [[SELF:%.*]] = apply
|
|
// CHECK: unchecked_ref_cast [[SELF]] : $Animal to $Dog
|
|
// CHECK-LABEL: sil private [transparent] [thunk] [ossa] @$s4main3DogCAA10BestFriendA2aDP6createxyFZTW
|
|
// CHECK: [[SELF:%.*]] = apply
|
|
// CHECK: unchecked_ref_cast [[SELF]] : $Animal to $Dog
|
|
|
|
class Base {
|
|
init() {}
|
|
|
|
convenience init(x: Int) {
|
|
self.init()
|
|
}
|
|
}
|
|
|
|
protocol Initable {
|
|
init(x: Int)
|
|
}
|
|
|
|
final class Derived : Base, Initable {}
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s4main4BaseC1xACSi_tcfC : $@convention(method) (Int, @thick Base.Type) -> @owned Base
|
|
// CHECK: [[METHOD:%.*]] = class_method [[SELF_META:%.*]] : $@thick Base.Type, #Base.init!allocator
|
|
// CHECK-NEXT: [[RESULT:%.*]] = apply [[METHOD]]([[SELF_META]])
|
|
// CHECK-NEXT: assign [[RESULT]] to [[BOX:%.*]] :
|
|
// CHECK-NEXT: [[FINAL:%.*]] = load [copy] [[BOX]]
|
|
// CHECK: return [[FINAL]]
|
|
|
|
// CHECK-LABEL: sil private [transparent] [thunk] [ossa] @$s4main7DerivedCAA8InitableA2aDP1xxSi_tcfCTW :
|
|
// CHECK: [[SELF:%.*]] = upcast %2 : $@thick Derived.Type to $@thick Base.Type
|
|
// CHECK: [[METHOD:%.*]] = function_ref @$s4main4BaseC1xACSi_tcfC
|
|
// CHECK-NEXT: [[RESULT:%.*]] = apply [[METHOD]](%1, [[SELF]])
|
|
// CHECK-NEXT: [[NEW_SELF:%.*]] = unchecked_ref_cast [[RESULT]] : $Base to $Derived
|
|
// CHECK-NEXT: store [[NEW_SELF]] to [init] %0 : $*Derived
|
|
// CHECK-NEXT: [[TUPLE:%.*]] = tuple ()
|
|
// CHECK-NEXT: return [[TUPLE]]
|