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.
99 lines
4.3 KiB
Swift
99 lines
4.3 KiB
Swift
// RUN: %target-swift-emit-silgen -Xllvm -sil-print-types %s | %FileCheck %s
|
|
|
|
class Foo {
|
|
init() {}
|
|
init(_ x: Foo) {}
|
|
init(_ x: Int) {}
|
|
}
|
|
|
|
class Bar: Foo {
|
|
// CHECK-LABEL: sil hidden [ossa] @$s22super_init_refcounting3BarC{{[_0-9a-zA-Z]*}}fc
|
|
// CHECK: bb0([[INPUT_SELF:%.*]] : @owned $Bar):
|
|
// CHECK: [[SELF_BOX:%.*]] = alloc_box ${ var Bar }
|
|
// CHECK: [[MARKED_SELF_BOX:%.*]] = mark_uninitialized [derivedself] [[SELF_BOX]]
|
|
// CHECK: [[SELF_LIFETIME:%[^,]+]] = begin_borrow [lexical] [var_decl] [[MARKED_SELF_BOX]]
|
|
// CHECK: [[PB_SELF_BOX:%.*]] = project_box [[SELF_LIFETIME]]
|
|
// CHECK: store [[INPUT_SELF]] to [init] [[PB_SELF_BOX]]
|
|
// CHECK: [[ORIG_SELF:%.*]] = load [take] [[PB_SELF_BOX]]
|
|
// CHECK-NOT: copy_value [[ORIG_SELF]]
|
|
// CHECK: [[ORIG_SELF_UP:%.*]] = upcast [[ORIG_SELF]]
|
|
// CHECK-NOT: copy_value [[ORIG_SELF_UP]]
|
|
// CHECK: [[SUPER_INIT:%[0-9]+]] = function_ref @$s22super_init_refcounting3FooCACycfc : $@convention(method) (@owned Foo) -> @owned Foo
|
|
// CHECK: [[NEW_SELF:%.*]] = apply [[SUPER_INIT]]([[ORIG_SELF_UP]])
|
|
// CHECK: [[NEW_SELF_DOWN:%.*]] = unchecked_ref_cast [[NEW_SELF]]
|
|
// CHECK: store [[NEW_SELF_DOWN]] to [init] [[PB_SELF_BOX]]
|
|
override init() {
|
|
super.init()
|
|
}
|
|
}
|
|
|
|
extension Foo {
|
|
// CHECK-LABEL: sil hidden [ossa] @$s22super_init_refcounting3FooC{{[_0-9a-zA-Z]*}}fC
|
|
// CHECK: [[SELF_BOX:%.*]] = alloc_box ${ var Foo }
|
|
// CHECK: [[MARKED_SELF_BOX:%.*]] = mark_uninitialized [delegatingself] [[SELF_BOX]]
|
|
// CHECK: [[SELF_LIFETIME:%[^,]+]] = begin_borrow [lexical] [var_decl] [[MARKED_SELF_BOX]]
|
|
// CHECK: [[PB_SELF_BOX:%.*]] = project_box [[SELF_LIFETIME]]
|
|
// CHECK: [[SELF_INIT:%.*]] = class_method
|
|
// CHECK: [[NEW_SELF:%.*]] = apply [[SELF_INIT]](%1)
|
|
// CHECK: assign [[NEW_SELF]] to [[PB_SELF_BOX]]
|
|
convenience init(x: Int) {
|
|
self.init()
|
|
}
|
|
}
|
|
|
|
class Zim: Foo {
|
|
var foo = Foo()
|
|
// CHECK-LABEL: sil hidden [ossa] @$s22super_init_refcounting3ZimC{{[_0-9a-zA-Z]*}}fc
|
|
// CHECK-NOT: copy_value
|
|
// CHECK-NOT: destroy_value
|
|
// CHECK: function_ref @$s22super_init_refcounting3FooCACycfc : $@convention(method) (@owned Foo) -> @owned Foo
|
|
}
|
|
|
|
class Zang: Foo {
|
|
var foo: Foo
|
|
|
|
override init() {
|
|
foo = Foo()
|
|
super.init()
|
|
}
|
|
// CHECK-LABEL: sil hidden [ossa] @$s22super_init_refcounting4ZangC{{[_0-9a-zA-Z]*}}fc
|
|
// CHECK-NOT: copy_value
|
|
// CHECK-NOT: destroy_value
|
|
// CHECK: function_ref @$s22super_init_refcounting3FooCACycfc : $@convention(method) (@owned Foo) -> @owned Foo
|
|
}
|
|
|
|
class Bad: Foo {
|
|
// Invalid code, but it's not diagnosed till DI. We at least shouldn't
|
|
// crash on it.
|
|
override init() {
|
|
super.init(self)
|
|
}
|
|
}
|
|
|
|
class Good: Foo {
|
|
let x: Int
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s22super_init_refcounting4GoodC{{[_0-9a-zA-Z]*}}fc
|
|
// CHECK: [[SELF_BOX:%.*]] = alloc_box ${ var Good }
|
|
// CHECK: [[MARKED_SELF_BOX:%.*]] = mark_uninitialized [derivedself] [[SELF_BOX]]
|
|
// CHECK: [[SELF_LIFETIME:%[^,]+]] = begin_borrow [lexical] [var_decl] [[MARKED_SELF_BOX]]
|
|
// CHECK: [[PB_SELF_BOX:%.*]] = project_box [[SELF_LIFETIME]]
|
|
// CHECK: store %0 to [init] [[PB_SELF_BOX]]
|
|
// CHECK: [[SELF_OBJ:%.*]] = load_borrow [[PB_SELF_BOX]]
|
|
// CHECK: [[X_ADDR:%.*]] = ref_element_addr [[SELF_OBJ]] : $Good, #Good.x
|
|
// CHECK: assign {{.*}} to [[X_ADDR]] : $*Int
|
|
// CHECK: [[SELF_OBJ:%.*]] = load [take] [[PB_SELF_BOX]] : $*Good
|
|
// CHECK: [[SUPER_OBJ:%.*]] = upcast [[SELF_OBJ]] : $Good to $Foo
|
|
// CHECK: [[BORROWED_SUPER:%.*]] = begin_borrow [[SUPER_OBJ]]
|
|
// CHECK: [[DOWNCAST_BORROWED_SUPER:%.*]] = unchecked_ref_cast [[BORROWED_SUPER]] : $Foo to $Good
|
|
// CHECK: [[X_ADDR:%.*]] = ref_element_addr [[DOWNCAST_BORROWED_SUPER]] : $Good, #Good.x
|
|
// CHECK: [[X:%.*]] = load [trivial] [[X_ADDR]] : $*Int
|
|
// CHECK: end_borrow [[BORROWED_SUPER]]
|
|
// CHECK: [[SUPER_INIT:%.*]] = function_ref @$s22super_init_refcounting3FooCyACSicfc : $@convention(method) (Int, @owned Foo) -> @owned Foo
|
|
// CHECK: apply [[SUPER_INIT]]([[X]], [[SUPER_OBJ]])
|
|
override init() {
|
|
x = 10
|
|
super.init(x)
|
|
}
|
|
}
|