|
| 1 | +// RUN: %target-swift-emit-sil -parse-as-library -module-name back_deploy %s -target %target-cpu-apple-macosx10.50 -verify |
| 2 | +// RUN: %target-swift-emit-silgen -parse-as-library -module-name back_deploy %s | %FileCheck %s |
| 3 | +// RUN: %target-swift-emit-silgen -parse-as-library -module-name back_deploy %s -target %target-cpu-apple-macosx10.50 | %FileCheck %s |
| 4 | +// RUN: %target-swift-emit-silgen -parse-as-library -module-name back_deploy %s -target %target-cpu-apple-macosx10.60 | %FileCheck %s |
| 5 | + |
| 6 | +// REQUIRES: OS=macosx |
| 7 | + |
| 8 | +@available(macOS 10.50, *) |
| 9 | +public struct TopLevelStruct<T> { |
| 10 | + @usableFromInline var t: T |
| 11 | + |
| 12 | + // -- Fallback definition for TopLevelStruct.init(_:) |
| 13 | + // CHECK-LABEL: sil non_abi [serialized] [ossa] @$s11back_deploy14TopLevelStructVyACyxGxcfCTwB : $@convention(method) <T> (@in T, @thin TopLevelStruct<T>.Type) -> @out TopLevelStruct<T> |
| 14 | + // CHECK: bb0([[SELF_OUT:%.*]] : $*TopLevelStruct<T>, [[T_ARG:%.*]] : $*T, [[METATYPE_ARG:%.*]] : $@thin TopLevelStruct<T>.Type): |
| 15 | + // CHECK: [[SELF:%.*]] = alloc_box $<τ_0_0> { var TopLevelStruct<τ_0_0> } <T>, var, name "self" |
| 16 | + // CHECK: [[MARKED_SELF:%.*]] = mark_uninitialized [rootself] [[SELF]] : $<τ_0_0> { var TopLevelStruct<τ_0_0> } <T> |
| 17 | + // CHECK: [[BORROWED_SELF:%.*]] = begin_borrow [lexical] [[MARKED_SELF]] : $<τ_0_0> { var TopLevelStruct<τ_0_0> } <T> |
| 18 | + // CHECK: [[BOX:%.*]] = project_box [[BORROWED_SELF]] : $<τ_0_0> { var TopLevelStruct<τ_0_0> } <T>, 0 |
| 19 | + // CHECK: [[T_STACK:%.*]] = alloc_stack $T |
| 20 | + // CHECK: copy_addr [[T_ARG]] to [init] [[T_STACK]] : $*T |
| 21 | + // CHECK: [[ACCESS:%.*]] = begin_access [modify] [unknown] [[BOX]] : $*TopLevelStruct<T> |
| 22 | + // CHECK: [[ELEM_ADDR:%.*]] = struct_element_addr [[ACCESS]] : $*TopLevelStruct<T>, #TopLevelStruct.t |
| 23 | + // CHECK: copy_addr [take] [[T_STACK]] to [[ELEM_ADDR]] : $*T |
| 24 | + // CHECK: end_access [[ACCESS]] : $*TopLevelStruct<T> |
| 25 | + // CHECK: dealloc_stack [[T_STACK]] : $*T |
| 26 | + // CHECK: copy_addr [[BOX]] to [init] [[SELF_OUT]] : $*TopLevelStruct<T> |
| 27 | + // CHECK: destroy_addr [[T_ARG]] : $*T |
| 28 | + // CHECK: end_borrow [[BORROWED_SELF]] : $<τ_0_0> { var TopLevelStruct<τ_0_0> } <T> |
| 29 | + // CHECK: destroy_value [[MARKED_SELF]] : $<τ_0_0> { var TopLevelStruct<τ_0_0> } <T> |
| 30 | + // CHECK: [[RESULT:%.*]] = tuple () |
| 31 | + // CHECK: return [[RESULT]] : $() |
| 32 | + |
| 33 | + // -- Back deployment thunk for TopLevelStruct.init(_:) |
| 34 | + // CHECK-LABEL: sil non_abi [serialized] [thunk] [ossa] @$s11back_deploy14TopLevelStructVyACyxGxcfCTwb : $@convention(method) <T> (@in T, @thin TopLevelStruct<T>.Type) -> @out TopLevelStruct<T> |
| 35 | + // CHECK: bb0([[SELF_OUT:%.*]] : $*TopLevelStruct<T>, [[T_ARG:%.*]] : $*T, [[METATYPE_ARG:%.*]] : $@thin TopLevelStruct<T>.Type): |
| 36 | + // CHECK: [[MAJOR:%.*]] = integer_literal $Builtin.Word, 10 |
| 37 | + // CHECK: [[MINOR:%.*]] = integer_literal $Builtin.Word, 52 |
| 38 | + // CHECK: [[PATCH:%.*]] = integer_literal $Builtin.Word, 0 |
| 39 | + // CHECK: [[OSVFN:%.*]] = function_ref @$ss26_stdlib_isOSVersionAtLeastyBi1_Bw_BwBwtF : $@convention(thin) (Builtin.Word, Builtin.Word, Builtin.Word) -> Builtin.Int1 |
| 40 | + // CHECK: [[AVAIL:%.*]] = apply [[OSVFN]]([[MAJOR]], [[MINOR]], [[PATCH]]) : $@convention(thin) (Builtin.Word, Builtin.Word, Builtin.Word) -> Builtin.Int1 |
| 41 | + // CHECK: cond_br [[AVAIL]], [[AVAIL_BB:bb[0-9]+]], [[UNAVAIL_BB:bb[0-9]+]] |
| 42 | + // |
| 43 | + // CHECK: [[UNAVAIL_BB]]: |
| 44 | + // CHECK: [[FALLBACKFN:%.*]] = function_ref @$s11back_deploy14TopLevelStructVyACyxGxcfCTwB : $@convention(method) <τ_0_0> (@in τ_0_0, @thin TopLevelStruct<τ_0_0>.Type) -> @out TopLevelStruct<τ_0_0> |
| 45 | + // CHECK: {{%.*}} = apply [[FALLBACKFN]]<T>([[SELF_OUT]], [[T_ARG]], [[METATYPE_ARG]]) : $@convention(method) <τ_0_0> (@in τ_0_0, @thin TopLevelStruct<τ_0_0>.Type) -> @out TopLevelStruct<τ_0_0> |
| 46 | + // CHECK: br [[RETURN_BB:bb[0-9]+]] |
| 47 | + // |
| 48 | + // CHECK: [[AVAIL_BB]]: |
| 49 | + // CHECK: [[ORIGFN:%.*]] = function_ref @$s11back_deploy14TopLevelStructVyACyxGxcfC : $@convention(method) <τ_0_0> (@in τ_0_0, @thin TopLevelStruct<τ_0_0>.Type) -> @out TopLevelStruct<τ_0_0> |
| 50 | + // CHECK: {{%.*}} = apply [[ORIGFN]]<T>([[SELF_OUT]], [[T_ARG]], [[METATYPE_ARG]]) : $@convention(method) <τ_0_0> (@in τ_0_0, @thin TopLevelStruct<τ_0_0>.Type) -> @out TopLevelStruct<τ_0_0> |
| 51 | + // CHECK: br [[RETURN_BB]] |
| 52 | + // |
| 53 | + // CHECK: [[RETURN_BB]] |
| 54 | + // CHECK: [[RESULT:%.*]] = tuple () |
| 55 | + // CHECK: return [[RESULT]] : $() |
| 56 | + |
| 57 | + // -- Original definition of TopLevelStruct.init(_:) |
| 58 | + // CHECK-LABEL: sil [available 10.52] [ossa] @$s11back_deploy14TopLevelStructVyACyxGxcfC : $@convention(method) <T> (@in T, @thin TopLevelStruct<T>.Type) -> @out TopLevelStruct<T> |
| 59 | + @available(macOS 10.51, *) |
| 60 | + @_backDeploy(before: macOS 10.52) |
| 61 | + public init(_ t: T) { |
| 62 | + self.t = t |
| 63 | + } |
| 64 | +} |
| 65 | + |
| 66 | +struct S {} |
| 67 | + |
| 68 | +// CHECK-LABEL: sil hidden [available 10.51] [ossa] @$s11back_deploy6calleryyAA1SVF : $@convention(thin) (S) -> () |
| 69 | +// CHECK: bb0([[STRUCT_ARG:%.*]] : $S): |
| 70 | +@available(macOS 10.51, *) |
| 71 | +func caller(_ s: S) { |
| 72 | + // -- Verify the thunk is called |
| 73 | + // CHECK: {{%.*}} = function_ref @$s11back_deploy14TopLevelStructVyACyxGxcfCTwb : $@convention(method) <τ_0_0> (@in τ_0_0, @thin TopLevelStruct<τ_0_0>.Type) -> @out TopLevelStruct<τ_0_0> |
| 74 | + _ = TopLevelStruct(s) |
| 75 | +} |
| 76 | + |
0 commit comments