Skip to content

Commit c96b196

Browse files
eecksteineeckstein
committed
SwiftCompilerSources: bridge SILLinkage
Make SILLInkage available in SIL as `SIL.Linkage`. Also, rename the misleading Function and GlobalVariable ABI `isAvailableExternally` to `isDefinedExternally`
1 parent b1a88be commit c96b196

File tree

12 files changed

+222
-37
lines changed

12 files changed

+222
-37
lines changed

‎SwiftCompilerSources/Sources/Optimizer/DataStructures/FunctionUses.swift‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -45,7 +45,7 @@ struct FunctionUses {
4545
var hasUnknownUses: Bool
4646

4747
init(of function: Function) {
48-
self.hasUnknownUses = function.isPossiblyUsedExternally || function.isAvailableExternally
48+
self.hasUnknownUses = function.isPossiblyUsedExternally || function.isDefinedExternally
4949
}
5050

5151
mutating func insert(_ inst: Instruction, _ uses: inout [Use]) {

‎SwiftCompilerSources/Sources/Optimizer/FunctionPasses/ClosureSpecialization.swift‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -119,7 +119,7 @@ let generalClosureSpecialization = FunctionPass(name: "experimental-swift-based-
119119
let autodiffClosureSpecialization = FunctionPass(name: "autodiff-closure-specialization") {
120120
(function: Function, context: FunctionPassContext) in
121121

122-
guard !function.isAvailableExternally,
122+
guard !function.isDefinedExternally,
123123
function.isAutodiffVJP,
124124
function.blocks.singleElement != nil else {
125125
return
@@ -502,7 +502,7 @@ private func handleApplies(for rootClosure: SingleValueInstruction, callSiteMap:
502502
continue
503503
}
504504

505-
if callee.isAvailableExternally {
505+
if callee.isDefinedExternally {
506506
continue
507507
}
508508

‎SwiftCompilerSources/Sources/Optimizer/FunctionPasses/ComputeSideEffects.swift‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -27,7 +27,7 @@ import SIL
2727
let computeSideEffects = FunctionPass(name: "compute-side-effects") {
2828
(function: Function, context: FunctionPassContext) in
2929

30-
if function.isAvailableExternally {
30+
if function.isDefinedExternally {
3131
// We cannot assume anything about function, which are defined in another module,
3232
// even if the serialized SIL of its body is available in the current module.
3333
// If the other module was compiled with library evolution, the implementation

‎SwiftCompilerSources/Sources/Optimizer/ModulePasses/ReadOnlyGlobalVariables.swift‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -35,7 +35,7 @@ let readOnlyGlobalVariablesPass = ModulePass(name: "read-only-global-variables")
3535
}
3636

3737
for g in moduleContext.globalVariables {
38-
if !g.isAvailableExternally,
38+
if !g.isDefinedExternally,
3939
!g.isPossiblyUsedExternally,
4040
!g.isLet,
4141
!writtenGlobals.contains(g) {

‎SwiftCompilerSources/Sources/Optimizer/PassManager/ModulePassContext.swift‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -171,3 +171,9 @@ extension GlobalVariable {
171171
bridged.setLet(value)
172172
}
173173
}
174+
175+
extension Function {
176+
func set(linkage: Linkage, _ context: ModulePassContext) {
177+
bridged.setLinkage(linkage.bridged)
178+
}
179+
}

‎SwiftCompilerSources/Sources/SIL/CMakeLists.txt‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -20,6 +20,7 @@ add_swift_compiler_module(SIL
2020
FunctionConvention.swift
2121
GlobalVariable.swift
2222
Instruction.swift
23+
Linkage.swift
2324
Location.swift
2425
Operand.swift
2526
Registration.swift

‎SwiftCompilerSources/Sources/SIL/Function.swift‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -113,6 +113,8 @@ final public class Function : CustomStringConvertible, HasShortDescription, Hash
113113

114114
public var isGeneric: Bool { bridged.isGeneric() }
115115

116+
public var linkage: Linkage { bridged.getLinkage().linkage }
117+
116118
/// True, if the linkage of the function indicates that it is visible outside the current
117119
/// compilation unit and therefore not all of its uses are known.
118120
///
@@ -125,9 +127,7 @@ final public class Function : CustomStringConvertible, HasShortDescription, Hash
125127
/// current compilation unit.
126128
///
127129
/// For example, `public_external` linkage.
128-
public var isAvailableExternally: Bool {
129-
return bridged.isAvailableExternally()
130-
}
130+
public var isDefinedExternally: Bool { linkage.isExternal }
131131

132132
public func hasSemanticsAttribute(_ attr: StaticString) -> Bool {
133133
attr.withUTF8Buffer { (buffer: UnsafeBufferPointer<UInt8>) in

‎SwiftCompilerSources/Sources/SIL/GlobalVariable.swift‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -30,6 +30,8 @@ final public class GlobalVariable : CustomStringConvertible, HasShortDescription
3030

3131
public var isLet: Bool { bridged.isLet() }
3232

33+
public var linkage: Linkage { bridged.getLinkage().linkage }
34+
3335
/// True, if the linkage of the global variable indicates that it is visible outside the current
3436
/// compilation unit and therefore not all of its uses are known.
3537
///
@@ -42,9 +44,7 @@ final public class GlobalVariable : CustomStringConvertible, HasShortDescription
4244
/// current compilation unit.
4345
///
4446
/// For example, `public_external` linkage.
45-
public var isAvailableExternally: Bool {
46-
return bridged.isAvailableExternally()
47-
}
47+
public var isDefinedExternally: Bool { linkage.isExternal }
4848

4949
public var staticInitializerInstructions: InstructionList? {
5050
if let firstStaticInitInst = bridged.getFirstStaticInitInst().instruction {

‎SwiftCompilerSources/Sources/SIL/Linkage.swift‎

Lines changed: 164 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,164 @@
1+
//===--- Linkage.swift ----------------------------------------------------===//
2+
//
3+
// This source file is part of the Swift.org open source project
4+
//
5+
// Copyright (c) 2014 - 2024 Apple Inc. and the Swift project authors
6+
// Licensed under Apache License v2.0 with Runtime Library Exception
7+
//
8+
// See https://swift.org/LICENSE.txt for license information
9+
// See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
10+
//
11+
//===----------------------------------------------------------------------===//
12+
13+
import SILBridging
14+
15+
public enum Linkage: CustomStringConvertible {
16+
/// This object definition is visible to multiple Swift modules (and
17+
/// thus potentially across linkage-unit boundaries). There are no
18+
/// other object definitions with this name in the program.
19+
///
20+
/// Public functions must be definitions, i.e. must have a body, except the
21+
/// body is emitted by clang.
22+
case `public`
23+
24+
/// This is a special linkage used for symbols which are treated
25+
/// as public for the purposes of SIL serialization and optimization,
26+
/// but do not have public entry points in the generated binary.
27+
///
28+
/// This linkage is used for @_alwaysEmitIntoClient functions.
29+
///
30+
/// There is no external variant of this linkage, because from other
31+
/// translation units in the same module, this behaves identically
32+
/// to the HiddenExternal linkage.
33+
///
34+
/// When deserialized, such declarations receive Shared linkage.
35+
///
36+
/// PublicNonABI functions must be definitions.
37+
case publicNonABI
38+
39+
/// Same as \c Public, except the definition is visible within a package
40+
/// of modules.
41+
case package
42+
43+
/// Similar to \c PublicNonABI, this definition is used for symbols treated
44+
/// as package but do not have package entry points in the generated binary.
45+
/// It's used for default argument expressions and `@_alwaysEmitIntoClient`.
46+
/// When deserialized, this will become \c Shared linkage.
47+
case packageNonABI
48+
49+
/// This object definition is visible only to the current Swift
50+
/// module (and thus should not be visible across linkage-unit
51+
/// boundaries). There are no other object definitions with this
52+
/// name in the module.
53+
///
54+
/// Hidden functions must be definitions, i.e. must have a body, except the
55+
/// body is emitted by clang.
56+
case hidden
57+
58+
/// This object definition is visible only within a single Swift
59+
/// module. There may be other object definitions with this name in
60+
/// the module; those definitions are all guaranteed to be
61+
/// semantically equivalent to this one.
62+
///
63+
/// This linkage is used e.g. for thunks and for specialized functions.
64+
///
65+
/// Shared functions must be definitions, i.e. must have a body, except the
66+
/// body is emitted by clang.
67+
case shared
68+
69+
/// This object definition is visible only within a single Swift
70+
/// file.
71+
///
72+
/// Private functions must be definitions, i.e. must have a body, except the
73+
/// body is emitted by clang.
74+
case `private`
75+
76+
/// A Public definition with the same name as this object will be
77+
/// available to the current Swift module at runtime. If this
78+
/// object is a definition, it is semantically equivalent to that
79+
/// definition.
80+
case publicExternal
81+
82+
/// Similar to \c PublicExternal.
83+
/// Used to reference a \c Package definition in a different module
84+
/// within a package.
85+
case packageExternal
86+
87+
/// A Public or Hidden definition with the same name as this object
88+
/// will be defined by the current Swift module at runtime.
89+
///
90+
/// This linkage is only used for non-whole-module compilations to refer to
91+
/// functions in other files of the same module.
92+
case hiddenExternal
93+
94+
public var isExternal: Bool {
95+
switch self {
96+
case .public,
97+
.publicNonABI,
98+
.package,
99+
.packageNonABI,
100+
.hidden,
101+
.shared,
102+
.private:
103+
return false
104+
case .packageExternal,
105+
.publicExternal,
106+
.hiddenExternal:
107+
return true
108+
}
109+
110+
}
111+
112+
public var description: String {
113+
switch self {
114+
case .public: return "public"
115+
case .publicNonABI: return "publicNonABI"
116+
case .package: return "package"
117+
case .packageNonABI: return "packageNonABI"
118+
case .hidden: return "hidden"
119+
case .shared: return "shared"
120+
case .private: return "private"
121+
case .packageExternal: return "packageExternal"
122+
case .publicExternal: return "publicExternal"
123+
case .hiddenExternal: return "hiddenExternal"
124+
}
125+
}
126+
}
127+
128+
// Bridging utilities
129+
130+
extension BridgedLinkage {
131+
var linkage: Linkage {
132+
switch self {
133+
case .Public: return .public
134+
case .PublicNonABI: return .publicNonABI
135+
case .Package: return .package
136+
case .PackageNonABI: return .packageNonABI
137+
case .Hidden: return .hidden
138+
case .Shared: return .shared
139+
case .Private: return .private
140+
case .PublicExternal: return .publicExternal
141+
case .PackageExternal: return .packageExternal
142+
case .HiddenExternal: return .hiddenExternal
143+
default:
144+
fatalError("unsupported argument convention")
145+
}
146+
}
147+
}
148+
149+
extension Linkage {
150+
public var bridged: BridgedLinkage {
151+
switch self {
152+
case .public: return .Public
153+
case .publicNonABI: return .PublicNonABI
154+
case .package: return .Package
155+
case .packageNonABI: return .PackageNonABI
156+
case .hidden: return .Hidden
157+
case .shared: return .Shared
158+
case .private: return .Private
159+
case .publicExternal: return .PublicExternal
160+
case .packageExternal: return .PackageExternal
161+
case .hiddenExternal: return .HiddenExternal
162+
}
163+
}
164+
}

‎include/swift/SIL/SILBridging.h‎

Lines changed: 17 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -290,6 +290,19 @@ struct BridgedLifetimeDependenceInfoArray {
290290
at(SwiftInt index) const;
291291
};
292292

293+
enum class BridgedLinkage {
294+
Public,
295+
PublicNonABI,
296+
Package,
297+
PackageNonABI,
298+
Hidden,
299+
Shared,
300+
Private,
301+
PublicExternal,
302+
PackageExternal,
303+
HiddenExternal
304+
};
305+
293306
// Temporary access to the AST type within SIL until ASTBridging provides it.
294307
struct BridgedASTType {
295308
swift::TypeBase * _Nullable type;
@@ -618,20 +631,7 @@ struct BridgedFunction {
618631
IsSerializedForPackage
619632
};
620633

621-
enum class Linkage {
622-
Public,
623-
PublicNonABI,
624-
Package,
625-
PackageNonABI,
626-
Hidden,
627-
Shared,
628-
Private,
629-
PublicExternal,
630-
PackageExternal,
631-
HiddenExternal
632-
};
633-
634-
SWIFT_NAME("init(obj:)")
634+
SWIFT_NAME("init(obj:)")
635635
SWIFT_IMPORT_UNSAFE BridgedFunction(SwiftObject obj) : obj(obj) {}
636636
SWIFT_IMPORT_UNSAFE BridgedFunction() {}
637637
SWIFT_IMPORT_UNSAFE BRIDGED_INLINE swift::SILFunction * _Nonnull getFunction() const;
@@ -650,7 +650,6 @@ struct BridgedFunction {
650650
SWIFT_IMPORT_UNSAFE BRIDGED_INLINE BridgedType getSILResultType() const;
651651
BRIDGED_INLINE bool isSwift51RuntimeAvailable() const;
652652
BRIDGED_INLINE bool isPossiblyUsedExternally() const;
653-
BRIDGED_INLINE bool isAvailableExternally() const;
654653
BRIDGED_INLINE bool isTransparent() const;
655654
BRIDGED_INLINE bool isAsync() const;
656655
BRIDGED_INLINE bool isGlobalInitFunction() const;
@@ -676,7 +675,8 @@ struct BridgedFunction {
676675
BRIDGED_INLINE bool isResilientNominalDecl(BridgedNominalTypeDecl decl) const;
677676
BRIDGED_INLINE BridgedType getLoweredType(BridgedASTType type) const;
678677
SWIFT_IMPORT_UNSAFE BRIDGED_INLINE BridgedType getLoweredType(BridgedType type) const;
679-
BRIDGED_INLINE void setLinkage(Linkage linkage) const;
678+
BRIDGED_INLINE BridgedLinkage getLinkage() const;
679+
BRIDGED_INLINE void setLinkage(BridgedLinkage linkage) const;
680680
bool isTrapNoReturn() const;
681681
bool isAutodiffVJP() const;
682682
SwiftInt specializationLevel() const;
@@ -734,8 +734,8 @@ struct BridgedGlobalVar {
734734
SWIFT_IMPORT_UNSAFE BRIDGED_INLINE BridgedStringRef getName() const;
735735
BRIDGED_INLINE bool isLet() const;
736736
BRIDGED_INLINE void setLet(bool value) const;
737+
BRIDGED_INLINE BridgedLinkage getLinkage() const;
737738
BRIDGED_INLINE bool isPossiblyUsedExternally() const;
738-
BRIDGED_INLINE bool isAvailableExternally() const;
739739
SWIFT_IMPORT_UNSAFE BRIDGED_INLINE OptionalBridgedInstruction getFirstStaticInitInst() const;
740740
bool canBeInitializedStatically() const;
741741
bool mustBeInitializedStatically() const;

0 commit comments

Comments
 (0)