| // RUN: %target-swift-emit-silgen %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 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: debug_value [[OLDVALUE]] : $Int, let, name "tmp" |
| // 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]]([[OLDVALUE]], [[FOO]]) : $@convention(method) (Int, @guaranteed Foo) -> () |
| // 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: debug_value [[OLDVALUE]] : $Int, let, name "tmp" |
| // 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]]([[OLDVALUE]], [[FOO]]) : $@convention(method) (Int, @guaranteed Foo) -> () |
| // 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: } |
| |
| // 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_addr [[FOO1]] : $*Foo1, var, name "self", argno 2 |
| // 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: debug_value [[OLDVALUE]] : $Int, let, name "tmp" |
| // 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]]([[OLDVALUE]], [[BEGIN_ACCESS]]) : $@convention(method) (Int, @inout Foo1) -> () |
| // CHECK-NEXT: end_access [[BEGIN_ACCESS]] : $*Foo1 |
| // CHECK-NEXT: [[TUPLE:%.*]] = tuple () |
| // CHECK-NEXT: return [[TUPLE]] : $() |
| // CHECK-END: } |