mirror of
https://github.com/apple/swift.git
synced 2026-06-20 15:42:51 +02:00
Doug Gregor
f2eb7cb1a8
The `@export(interface)` and `@export(implementation)` attributes SE-0497 are queried directly on AST nodes in several places within the SIL pipeline. However, they don't persist when SIL functions are serialized, meaning that clients of the original module might make different assumptions about the availability of a given function's definition. Represent these attributes in a SIL function (as an optional CodeGenerationModel), (de-)serialize them into the module, and add a textual representation as SIL function attributes `[export_interface]` and `[export_implementation]`.
124 lines
3.4 KiB
Swift
124 lines
3.4 KiB
Swift
// RUN: %empty-directory(%t/src)
|
|
// RUN: split-file %s %t/src
|
|
|
|
/// Build the library A
|
|
// RUN: %target-swift-frontend -emit-module %t/src/A.swift \
|
|
// RUN: -module-name A -swift-version 5 -enable-library-evolution \
|
|
// RUN: -emit-module-path %t/A.swiftmodule \
|
|
// RUN: -emit-module-interface-path %t/A.swiftinterface
|
|
|
|
// RUN: %FileCheck %t/src/A.swift < %t/A.swiftinterface
|
|
|
|
// Build the client using module
|
|
// RUN: %target-swift-emit-sil -Xllvm -sil-print-types -verify -module-name Client -I %t %t/src/Client.swift | %FileCheck %t/src/Client.swift
|
|
|
|
// RUN: rm %t/A.swiftmodule
|
|
|
|
// Re-build the client using interface
|
|
// RUN: %target-swift-emit-sil -Xllvm -sil-print-types -verify -module-name Client -I %t %t/src/Client.swift | %FileCheck %t/src/Client.swift
|
|
|
|
// REQUIRES: asserts
|
|
|
|
//--- A.swift
|
|
@frozen
|
|
public struct Inlinable {
|
|
var _x: Int
|
|
|
|
// CHECK: public var x: Swift::Int {
|
|
// CHECK-NEXT: @usableFromInline
|
|
// CHECK-NEXT: @storageRestrictions(initializes: _x) init
|
|
// CHECK-NEXT: get
|
|
// CHECK-NEXT: }
|
|
|
|
public var x: Int {
|
|
@usableFromInline
|
|
@storageRestrictions(initializes: _x)
|
|
init {
|
|
self._x = newValue
|
|
}
|
|
|
|
get {
|
|
_x
|
|
}
|
|
}
|
|
|
|
@inlinable
|
|
public init(x: Int) {
|
|
self.x = x
|
|
}
|
|
}
|
|
|
|
public struct Internal {
|
|
// CHECK: public var y: Swift::Int {
|
|
// CHECK-NEXT: get
|
|
// CHECK-NEXT: }
|
|
|
|
public var y: Int {
|
|
init {
|
|
}
|
|
|
|
get { 0 }
|
|
}
|
|
|
|
init(y: Int) {
|
|
self.y = y
|
|
}
|
|
}
|
|
|
|
@frozen
|
|
public struct Transparent {
|
|
@usableFromInline
|
|
var _x: Int
|
|
|
|
// CHECK: public var x: Swift::Int {
|
|
// CHECK-NEXT: @_alwaysEmitIntoClient @storageRestrictions(initializes: _x) init {
|
|
// CHECK-NEXT: self._x = newValue
|
|
// CHECK-NEXT: }
|
|
// CHECK-NEXT: get
|
|
// CHECK-NEXT: }
|
|
|
|
public var x: Int {
|
|
@_alwaysEmitIntoClient
|
|
@storageRestrictions(initializes: _x)
|
|
init {
|
|
self._x = newValue
|
|
}
|
|
|
|
get {
|
|
_x
|
|
}
|
|
}
|
|
|
|
@_alwaysEmitIntoClient
|
|
public init(x: Int) {
|
|
self.x = x
|
|
}
|
|
}
|
|
|
|
//--- Client.swift
|
|
import A
|
|
|
|
// CHECK-LABEL: sil hidden @$s6Client15testTransparentyyF : $@convention(thin) () -> ()
|
|
// CHECK: [[X:%.*]] = struct $Int (%1 : $Builtin.Int{{[0-9]+}})
|
|
// CHECK-NEXT: // function_ref Transparent.init(x:)
|
|
// CHECK-NEXT: [[TRANSPARENT_REF:%.*]] = function_ref @$s1A11TransparentV1xACSi_tcfC : $@convention(method) (Int, @thin Transparent.Type) -> Transparent
|
|
// CHECK-NEXT: apply [[TRANSPARENT_REF]]([[X]], %0) : $@convention(method) (Int, @thin Transparent.Type) -> Transparent
|
|
func testTransparent() {
|
|
_ = Transparent(x: 42)
|
|
}
|
|
|
|
// CHECK-LABEL: sil shared [export_implementation] @$s1A11TransparentV1xACSi_tcfC : $@convention(method) (Int, @thin Transparent.Type) -> Transparent
|
|
|
|
// CHECK-LABEL: sil hidden @$s6Client13testInlinableyyF : $@convention(thin) () -> ()
|
|
// CHECK: [[X:%.*]] = struct $Int (%1 : $Builtin.Int{{[0-9]+}})
|
|
// CHECK-NEXT: // function_ref Inlinable.init(x:)
|
|
// CHECK-NEXT: [[INLINABLE_REF:%.*]] = function_ref @$s1A9InlinableV1xACSi_tcfC : $@convention(method) (Int, @thin Inlinable.Type) -> Inlinable
|
|
// CHECK-NEXT: apply [[INLINABLE_REF]]([[X]], %0) : $@convention(method) (Int, @thin Inlinable.Type) -> Inlinable
|
|
func testInlinable() {
|
|
_ = Inlinable(x: 42)
|
|
}
|
|
|
|
// CHECK-LABEL: sil @$s1A9InlinableV1xACSi_tcfC : $@convention(method) (Int, @thin Inlinable.Type) -> Inlinable
|
|
|
|
// CHECK-LABEL: sil shared [export_implementation] @$s1A11TransparentV1xSivi : $@convention(thin) (Int, @thin Transparent.Type) -> @out Int
|