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.
167 lines
10 KiB
Swift
167 lines
10 KiB
Swift
// RUN: %target-swift-emit-silgen -Xllvm -sil-print-types %s | %FileCheck %s
|
|
|
|
class Foo {
|
|
lazy var bar: Int = 0 {
|
|
didSet(oldValue) {}
|
|
willSet {}
|
|
}
|
|
|
|
lazy var baz: Int = 0 {
|
|
didSet {}
|
|
willSet {}
|
|
}
|
|
|
|
lazy var observable1: Int = 0 {
|
|
didSet(oldValue) {}
|
|
}
|
|
|
|
lazy var observable2: Int = 0 {
|
|
didSet {}
|
|
}
|
|
|
|
lazy var observable3: Int = 0 {
|
|
willSet {}
|
|
}
|
|
}
|
|
|
|
struct Foo1 {
|
|
lazy var bar = 1 {
|
|
didSet(oldValue) {}
|
|
}
|
|
}
|
|
|
|
var foo1 = Foo1()
|
|
foo1.bar = 2
|
|
|
|
// Setter which calls a didSet (which fetches the oldValue) and uses a mutating getter
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s28lazy_property_with_observers4Foo1V3barSivs : $@convention(method) (Int, @inout Foo1) -> () {
|
|
// CHECK: bb0([[VALUE:%.*]] : $Int, [[FOO1:%.*]] : $*Foo1):
|
|
// CHECK-NEXT: debug_value [[VALUE]] : $Int, let, name "value", argno 1
|
|
// CHECK-NEXT: debug_value [[FOO1]] : $*Foo1, var, name "self", argno 2, expr op_deref
|
|
// CHECK-NEXT: [[BEGIN_ACCESS:%.*]] = begin_access [modify] [unknown] %1 : $*Foo1
|
|
// CHECK-NEXT: // function_ref Foo1.bar.getter
|
|
// CHECK-NEXT: [[GETTER:%.*]] = function_ref @$s28lazy_property_with_observers4Foo1V3barSivg : $@convention(method) (@inout Foo1) -> Int
|
|
// CHECK-NEXT: [[OLDVALUE:%.*]] = apply [[GETTER]]([[BEGIN_ACCESS]]) : $@convention(method) (@inout Foo1) -> Int
|
|
// CHECK-NEXT: [[MV:%.*]] = move_value [var_decl] [[OLDVALUE]] : $Int
|
|
// CHECK-NEXT: end_access [[BEGIN_ACCESS]] : $*Foo1
|
|
// CHECK-NEXT: [[ENUM:%.*]] = enum $Optional<Int>, #Optional.some!enumelt, [[VALUE]] : $Int
|
|
// CHECK-NEXT: [[BEGIN_ACCESS:%.*]] = begin_access [modify] [unknown] [[FOO1]] : $*Foo1
|
|
// CHECK-NEXT: [[REF_ELEM:%.*]] = struct_element_addr [[BEGIN_ACCESS]] : $*Foo1, #Foo1.$__lazy_storage_$_bar
|
|
// CHECK-NEXT: assign [[ENUM]] to [[REF_ELEM]] : $*Optional<Int>
|
|
// CHECK-NEXT: end_access [[BEGIN_ACCESS]] : $*Foo1
|
|
// CHECK-NEXT: [[BEGIN_ACCESS:%.*]] = begin_access [modify] [unknown] [[FOO1]] : $*Foo1
|
|
// CHECK-NEXT: // function_ref Foo1.bar.didset
|
|
// CHECK-NEXT: [[DIDSET:%.*]] = function_ref @$s28lazy_property_with_observers4Foo1V3barSivW : $@convention(method) (Int, @inout Foo1) -> ()
|
|
// CHECK-NEXT: [[DIDSET_RESULT:%.*]] = apply [[DIDSET]]([[MV]], [[BEGIN_ACCESS]]) : $@convention(method) (Int, @inout Foo1) -> ()
|
|
// CHECK-NEXT: end_access [[BEGIN_ACCESS]] : $*Foo1
|
|
// CHECK-NEXT: extend_lifetime [[MV]] : $Int
|
|
// CHECK-NEXT: [[TUPLE:%.*]] = tuple ()
|
|
// CHECK-NEXT: return [[TUPLE]] : $()
|
|
// CHECK-END: }
|
|
|
|
|
|
// Setter which calls willSet and didSet (which fetches the oldValue) //
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s28lazy_property_with_observers3FooC3barSivs : $@convention(method) (Int, @guaranteed Foo) -> () {
|
|
// CHECK: bb0([[VALUE:%.*]] : $Int, [[FOO:%.*]] : @guaranteed $Foo):
|
|
// CHECK-NEXT: debug_value [[VALUE]] : $Int, let, name "value", argno 1
|
|
// CHECK-NEXT: debug_value [[FOO]] : $Foo, let, name "self", argno 2
|
|
// CHECK-NEXT: [[GETTER:%.*]] = class_method [[FOO]] : $Foo, #Foo.bar!getter : (Foo) -> () -> Int, $@convention(method) (@guaranteed Foo) -> Int
|
|
// CHECK-NEXT: [[OLDVALUE:%.*]] = apply [[GETTER]]([[FOO]]) : $@convention(method) (@guaranteed Foo) -> Int
|
|
// CHECK-NEXT: [[MV:%.*]] = move_value [var_decl] [[OLDVALUE]] : $Int
|
|
// CHECK-NEXT: // function_ref Foo.bar.willset
|
|
// CHECK-NEXT: [[WILLSET:%.*]] = function_ref @$s28lazy_property_with_observers3FooC3barSivw : $@convention(method) (Int, @guaranteed Foo) -> ()
|
|
// CHECK-NEXT: [[WILLSET_RESULT:%.*]] = apply [[WILLSET]]([[VALUE]], [[FOO]]) : $@convention(method) (Int, @guaranteed Foo) -> ()
|
|
// CHECK-NEXT: [[ENUM:%.*]] = enum $Optional<Int>, #Optional.some!enumelt, [[VALUE]] : $Int
|
|
// CHECK-NEXT: [[REF_ELEM:%.*]] = ref_element_addr [[FOO]] : $Foo, #Foo.$__lazy_storage_$_bar
|
|
// CHECK-NEXT: [[BEGIN_ACCESS:%.*]] = begin_access [modify] [dynamic] [[REF_ELEM]] : $*Optional<Int>
|
|
// CHECK-NEXT: assign [[ENUM]] to [[BEGIN_ACCESS]] : $*Optional<Int>
|
|
// CHECK-NEXT: end_access [[BEGIN_ACCESS]] : $*Optional<Int>
|
|
// CHECK-NEXT: // function_ref Foo.bar.didset
|
|
// CHECK-NEXT: [[DIDSET:%.*]] = function_ref @$s28lazy_property_with_observers3FooC3barSivW : $@convention(method) (Int, @guaranteed Foo) -> ()
|
|
// CHECK-NEXT: [[DIDSET_RESULT:%.*]] = apply [[DIDSET]]([[MV]], [[FOO]]) : $@convention(method) (Int, @guaranteed Foo) -> ()
|
|
// CHECK-NEXT: extend_lifetime [[MV]] : $Int
|
|
// CHECK-NEXT: [[TUPLE:%.*]] = tuple ()
|
|
// CHECK-NEXT: return [[TUPLE]] : $()
|
|
// CHECK-END: }
|
|
|
|
// Setter which calls willSet and simple didSet (which doesn't fetch the oldValue) //
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s28lazy_property_with_observers3FooC3bazSivs : $@convention(method) (Int, @guaranteed Foo) -> () {
|
|
// CHECK: bb0([[VALUE:%.*]] : $Int, [[FOO:%.*]] : @guaranteed $Foo):
|
|
// CHECK-NEXT: debug_value [[VALUE]] : $Int, let, name "value", argno 1
|
|
// CHECK-NEXT: debug_value [[FOO]] : $Foo, let, name "self", argno 2
|
|
// CHECK-NEXT: // function_ref Foo.baz.willset
|
|
// CHECK-NEXT: [[WILLSET:%.*]] = function_ref @$s28lazy_property_with_observers3FooC3bazSivw : $@convention(method) (Int, @guaranteed Foo) -> ()
|
|
// CHECK-NEXT: [[WILLSET_RESULT:%.*]] = apply [[WILLSET]]([[VALUE]], [[FOO]]) : $@convention(method) (Int, @guaranteed Foo) -> ()
|
|
// CHECK-NEXT: [[ENUM:%.*]] = enum $Optional<Int>, #Optional.some!enumelt, [[VALUE]] : $Int
|
|
// CHECK-NEXT: [[REF_ELEM:%.*]] = ref_element_addr [[FOO]] : $Foo, #Foo.$__lazy_storage_$_baz
|
|
// CHECK-NEXT: [[BEGIN_ACCESS:%.*]] = begin_access [modify] [dynamic] [[REF_ELEM]] : $*Optional<Int>
|
|
// CHECK-NEXT: assign [[ENUM]] to [[BEGIN_ACCESS]] : $*Optional<Int>
|
|
// CHECK-NEXT: end_access [[BEGIN_ACCESS]] : $*Optional<Int>
|
|
// CHECK-NEXT: // function_ref Foo.baz.didset
|
|
// CHECK-NEXT: [[DIDSET:%.*]] = function_ref @$s28lazy_property_with_observers3FooC3bazSivW : $@convention(method) (@guaranteed Foo) -> ()
|
|
// CHECK-NEXT: [[DIDSET_RESULT:%.*]] = apply [[DIDSET]]([[FOO]]) : $@convention(method) (@guaranteed Foo) -> ()
|
|
// CHECK-NEXT: [[TUPLE:%.*]] = tuple ()
|
|
// CHECK-NEXT: return [[TUPLE]] : $()
|
|
// CHECK-END: }
|
|
|
|
// Setter which calls didSet (which fetches oldValue) only //
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s28lazy_property_with_observers3FooC11observable1Sivs : $@convention(method) (Int, @guaranteed Foo) -> () {
|
|
// CHECK: bb0([[VALUE:%.*]] : $Int, [[FOO:%.*]] : @guaranteed $Foo):
|
|
// CHECK-NEXT: debug_value [[VALUE]] : $Int, let, name "value", argno 1
|
|
// CHECK-NEXT: debug_value [[FOO]] : $Foo, let, name "self", argno 2
|
|
// CHECK-NEXT: [[GETTER:%.*]] = class_method [[FOO]] : $Foo, #Foo.observable1!getter : (Foo) -> () -> Int, $@convention(method) (@guaranteed Foo) -> Int
|
|
// CHECK-NEXT: [[OLDVALUE:%.*]] = apply [[GETTER]]([[FOO]]) : $@convention(method) (@guaranteed Foo) -> Int
|
|
// CHECK-NEXT: [[MV:%.*]] = move_value [var_decl] [[OLDVALUE]] : $Int
|
|
// CHECK-NEXT: [[ENUM:%.*]] = enum $Optional<Int>, #Optional.some!enumelt, [[VALUE]] : $Int
|
|
// CHECK-NEXT: [[REF_ELEM:%.*]] = ref_element_addr [[FOO]] : $Foo, #Foo.$__lazy_storage_$_observable1
|
|
// CHECK-NEXT: [[BEGIN_ACCESS:%.*]] = begin_access [modify] [dynamic] [[REF_ELEM]] : $*Optional<Int>
|
|
// CHECK-NEXT: assign [[ENUM]] to [[BEGIN_ACCESS]] : $*Optional<Int>
|
|
// CHECK-NEXT: end_access [[BEGIN_ACCESS]] : $*Optional<Int>
|
|
// CHECK-NEXT: // function_ref Foo.observable1.didset
|
|
// CHECK-NEXT: [[DIDSET:%.*]] = function_ref @$s28lazy_property_with_observers3FooC11observable1SivW : $@convention(method) (Int, @guaranteed Foo) -> ()
|
|
// CHECK-NEXT: [[DIDSET_RESULT:%.*]] = apply [[DIDSET]]([[MV]], [[FOO]]) : $@convention(method) (Int, @guaranteed Foo) -> ()
|
|
// CHECK-NEXT: extend_lifetime [[MV]] : $Int
|
|
// CHECK-NEXT: [[TUPLE:%.*]] = tuple ()
|
|
// CHECK-NEXT: return [[TUPLE]] : $()
|
|
// CHECK-END: }
|
|
|
|
// Setter which calls simple didSet (which doesn't fetch the oldValue) only //
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s28lazy_property_with_observers3FooC11observable2Sivs : $@convention(method) (Int, @guaranteed Foo) -> () {
|
|
// CHECK: bb0([[VALUE:%.*]] : $Int, [[FOO:%.*]] : @guaranteed $Foo):
|
|
// CHECK-NEXT: debug_value [[VALUE]] : $Int, let, name "value", argno 1
|
|
// CHECK-NEXT: debug_value [[FOO]] : $Foo, let, name "self", argno 2
|
|
// CHECK-NEXT: [[ENUM:%.*]] = enum $Optional<Int>, #Optional.some!enumelt, [[VALUE]] : $Int
|
|
// CHECK-NEXT: [[REF_ELEM:%.*]] = ref_element_addr [[FOO]] : $Foo, #Foo.$__lazy_storage_$_observable2
|
|
// CHECK-NEXT: [[BEGIN_ACCESS:%.*]] = begin_access [modify] [dynamic] [[REF_ELEM]] : $*Optional<Int>
|
|
// CHECK-NEXT: assign [[ENUM]] to [[BEGIN_ACCESS]] : $*Optional<Int>
|
|
// CHECK-NEXT: end_access [[BEGIN_ACCESS]] : $*Optional<Int>
|
|
// CHECK-NEXT: // function_ref Foo.observable2.didset
|
|
// CHECK-NEXT: [[DIDSET:%.*]] = function_ref @$s28lazy_property_with_observers3FooC11observable2SivW : $@convention(method) (@guaranteed Foo) -> ()
|
|
// CHECK-NEXT: [[DIDSET_RESULT:%.*]] = apply [[DIDSET]]([[FOO]]) : $@convention(method) (@guaranteed Foo) -> ()
|
|
// CHECK-NEXT: [[TUPLE:%.*]] = tuple ()
|
|
// CHECK-NEXT: return [[TUPLE]] : $()
|
|
// CHECK-END: }
|
|
|
|
// Setter which calls willSet only //
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s28lazy_property_with_observers3FooC11observable3Sivs : $@convention(method) (Int, @guaranteed Foo) -> () {
|
|
// CHECK: bb0([[VALUE:%.*]] : $Int, [[FOO:%.*]] : @guaranteed $Foo):
|
|
// CHECK-NEXT: debug_value [[VALUE]] : $Int, let, name "value", argno 1
|
|
// CHECK-NEXT: debug_value [[FOO]] : $Foo, let, name "self", argno 2
|
|
// CHECK-NEXT: // function_ref Foo.observable3.willset
|
|
// CHECK-NEXT: [[WILLSET:%.*]] = function_ref @$s28lazy_property_with_observers3FooC11observable3Sivw : $@convention(method) (Int, @guaranteed Foo) -> ()
|
|
// CHECK-NEXT: [[WILLSET_RESULT:%.*]] = apply [[WILLSET]]([[VALUE]], [[FOO]]) : $@convention(method) (Int, @guaranteed Foo) -> ()
|
|
// CHECK-NEXT: [[ENUM:%.*]] = enum $Optional<Int>, #Optional.some!enumelt, [[VALUE]] : $Int
|
|
// CHECK-NEXT: [[REF_ELEM:%.*]] = ref_element_addr [[FOO]] : $Foo, #Foo.$__lazy_storage_$_observable3
|
|
// CHECK-NEXT: [[BEGIN_ACCESS:%.*]] = begin_access [modify] [dynamic] [[REF_ELEM]] : $*Optional<Int>
|
|
// CHECK-NEXT: assign [[ENUM]] to [[BEGIN_ACCESS]] : $*Optional<Int>
|
|
// CHECK-NEXT: end_access [[BEGIN_ACCESS]] : $*Optional<Int>
|
|
// CHECK-NEXT: [[TUPLE:%.*]] = tuple ()
|
|
// CHECK-NEXT: return [[TUPLE]] : $()
|
|
// CHECK-END: }
|