Skip to content

Commit b081404

Browse files
elshelsh
committed
Print package-name in .private.swiftinterface only for better abstraction
Resolves rdar://107638447
1 parent 578c63a commit b081404

File tree

12 files changed

+163
-49
lines changed

12 files changed

+163
-49
lines changed

‎include/swift/Frontend/ModuleInterfaceSupport.h‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -21,6 +21,7 @@
2121
#define SWIFT_COMPILER_VERSION_KEY "swift-compiler-version"
2222
#define SWIFT_MODULE_FLAGS_KEY "swift-module-flags"
2323
#define SWIFT_MODULE_FLAGS_IGNORABLE_KEY "swift-module-flags-ignorable"
24+
#define SWIFT_MODULE_FLAGS_IGNORABLE_PRIVATE_KEY "swift-module-flags-ignorable-private"
2425

2526
namespace swift {
2627

@@ -50,6 +51,10 @@ struct ModuleInterfaceOptions {
5051
/// ignored by the earlier version of the compiler.
5152
std::string IgnorableFlags;
5253

54+
/// Ignorable flags that should only be printed in .private.swiftinterface file;
55+
/// e.g. -package-name PACKAGE_ID
56+
std::string IgnorablePrivateFlags;
57+
5358
/// Print for a private swiftinterface file, SPI decls and attributes.
5459
bool PrintPrivateInterfaceContent = false;
5560

‎include/swift/Option/Options.h‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -42,6 +42,7 @@ namespace options {
4242
SwiftAPIDigesterOption = (1 << 17),
4343
NewDriverOnlyOption = (1 << 18),
4444
ModuleInterfaceOptionIgnorable = (1 << 19),
45+
ModuleInterfaceOptionIgnorablePrivate = (1 << 20),
4546
};
4647

4748
enum ID {

‎include/swift/Option/Options.td‎

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -56,6 +56,11 @@ def ModuleInterfaceOption : OptionFlag;
5656
// The option can be safely ignored by the older compiler.
5757
def ModuleInterfaceOptionIgnorable : OptionFlag;
5858

59+
// The option should be written into a .private.swiftinterface module interface file,
60+
// and read/parsed from there when reconstituting a .swiftmodule from it.
61+
// The option can be safely ignored by the older compiler.
62+
def ModuleInterfaceOptionIgnorablePrivate : OptionFlag;
63+
5964
// The option causes the output of a supplementary output, or is the path option
6065
// for a supplementary output. E.g., `-emit-module` and `-emit-module-path`.
6166
def SupplementaryOutput : OptionFlag;
@@ -530,7 +535,7 @@ def module_abi_name : Separate<["-"], "module-abi-name">,
530535
Flags<[FrontendOption, ModuleInterfaceOption]>,
531536
HelpText<"ABI name to use for the contents of this module">;
532537
def package_name : Separate<["-"], "package-name">,
533-
Flags<[FrontendOption, ModuleInterfaceOptionIgnorable]>,
538+
Flags<[FrontendOption, ModuleInterfaceOptionIgnorablePrivate]>,
534539
HelpText<"Name of the package the module belongs to">;
535540
def export_as : Separate<["-"], "export-as">,
536541
Flags<[FrontendOption, ModuleInterfaceOptionIgnorable]>,

‎lib/AST/Decl.cpp‎

Lines changed: 21 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -3955,11 +3955,17 @@ getAccessScopeForFormalAccess(const ValueDecl *VD,
39553955
case AccessLevel::Package: {
39563956
auto pkg = resultDC->getPackageContext(/*lookupIfNotCurrent*/ true);
39573957
if (!pkg) {
3958-
// No package context was found; show diagnostics
3959-
auto &d = VD->getASTContext().Diags;
3960-
d.diagnose(VD->getLoc(), diag::access_control_requires_package_name);
3961-
// Instead of reporting and failing early, return the scope of
3962-
// resultDC to allow continuation (should still non-zero exit later)
3958+
auto srcFile = resultDC->getParentSourceFile();
3959+
// Check if the file containing package decls is an interface file; if a public
3960+
// interface contains package decls, they must be inlinable and do not need a
3961+
// package-name, so don't show diagnostics in that case.
3962+
if (srcFile && srcFile->Kind != SourceFileKind::Interface) {
3963+
// No package context was found; show diagnostics
3964+
auto &d = VD->getASTContext().Diags;
3965+
d.diagnose(VD->getLoc(), diag::access_control_requires_package_name);
3966+
}
3967+
// Instead of reporting and failing early, return the scope of resultDC to
3968+
// allow continuation (should still non-zero exit later if in script mode)
39633969
return AccessScope(resultDC);
39643970
} else {
39653971
return AccessScope(pkg);
@@ -4151,9 +4157,16 @@ static bool checkAccess(const DeclContext *useDC, const ValueDecl *VD,
41514157
return useSF && useSF->hasTestableOrPrivateImport(access, sourceModule);
41524158
}
41534159
case AccessLevel::Package: {
4154-
auto srcPkg = sourceDC->getPackageContext(/*lookupIfNotCurrent*/ true);
4155-
auto usePkg = useDC->getPackageContext(/*lookupIfNotCurrent*/ true);
4156-
return usePkg->isSamePackageAs(srcPkg);
4160+
auto srcFile = sourceDC->getParentSourceFile();
4161+
if (srcFile && srcFile->Kind != SourceFileKind::Interface) {
4162+
auto srcPkg = sourceDC->getPackageContext(/*lookupIfNotCurrent*/ true);
4163+
auto usePkg = useDC->getPackageContext(/*lookupIfNotCurrent*/ true);
4164+
return usePkg->isSamePackageAs(srcPkg);
4165+
} else {
4166+
// If source file is interface, package decls must be inlinable,
4167+
// essentially treated public so return true (see AccessLevel::Public)
4168+
return true;
4169+
}
41574170
}
41584171
case AccessLevel::Public:
41594172
case AccessLevel::Open:

‎lib/Frontend/CompilerInvocation.cpp‎

Lines changed: 10 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -426,8 +426,11 @@ static void SaveModuleInterfaceArgs(ModuleInterfaceOptions &Opts,
426426
return;
427427
ArgStringList RenderedArgs;
428428
ArgStringList RenderedArgsIgnorable;
429+
ArgStringList RenderedArgsIgnorablePrivate;
429430
for (auto A : Args) {
430-
if (A->getOption().hasFlag(options::ModuleInterfaceOptionIgnorable)) {
431+
if (A->getOption().hasFlag(options::ModuleInterfaceOptionIgnorablePrivate)) {
432+
A->render(Args, RenderedArgsIgnorablePrivate);
433+
} else if (A->getOption().hasFlag(options::ModuleInterfaceOptionIgnorable)) {
431434
A->render(Args, RenderedArgsIgnorable);
432435
} else if (A->getOption().hasFlag(options::ModuleInterfaceOption)) {
433436
A->render(Args, RenderedArgs);
@@ -446,6 +449,12 @@ static void SaveModuleInterfaceArgs(ModuleInterfaceOptions &Opts,
446449
if (FOpts.ModuleName == "_Concurrency")
447450
OS << " -disable-availability-checking";
448451
}
452+
{
453+
llvm::raw_string_ostream OS(Opts.IgnorablePrivateFlags);
454+
interleave(RenderedArgsIgnorablePrivate,
455+
[&](const char *Argument) { PrintArg(OS, Argument, StringRef()); },
456+
[&] { OS << " "; });
457+
}
449458
{
450459
llvm::raw_string_ostream OS(Opts.IgnorableFlags);
451460
interleave(RenderedArgsIgnorable,

‎lib/Frontend/Frontend.cpp‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1217,8 +1217,8 @@ ModuleDecl *CompilerInstance::getMainModule() const {
12171217
Invocation.getFrontendOptions().ModuleABIName));
12181218
}
12191219
if (!Invocation.getLangOptions().PackageName.empty()) {
1220-
MainModule->setPackageName(getASTContext().getIdentifier(
1221-
Invocation.getLangOptions().PackageName));
1220+
auto pkgName = Invocation.getLangOptions().PackageName;
1221+
MainModule->setPackageName(getASTContext().getIdentifier(pkgName));
12221222
}
12231223
if (!Invocation.getFrontendOptions().ExportAsName.empty()) {
12241224
MainModule->setExportAsName(getASTContext().getIdentifier(

‎lib/Frontend/ModuleInterfaceSupport.cpp‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -98,6 +98,12 @@ static void printToolVersionAndFlagsComment(raw_ostream &out,
9898
out << "// " SWIFT_MODULE_FLAGS_IGNORABLE_KEY ": "
9999
<< Opts.IgnorableFlags << "\n";
100100
}
101+
102+
auto hasPrivateIgnorableFlags = Opts.PrintPrivateInterfaceContent && !Opts.IgnorablePrivateFlags.empty();
103+
if (hasPrivateIgnorableFlags) {
104+
out << "// " SWIFT_MODULE_FLAGS_IGNORABLE_PRIVATE_KEY ": "
105+
<< Opts.IgnorablePrivateFlags << "\n";
106+
}
101107
}
102108

103109
std::string

‎lib/Serialization/SerializedModuleLoader.cpp‎

Lines changed: 17 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1171,12 +1171,25 @@ bool swift::extractCompilerFlagsFromInterface(StringRef interfacePath,
11711171
// Cherry-pick supported options from the ignorable list.
11721172
auto IgnFlagRe = llvm::Regex("^// swift-module-flags-ignorable:(.*)$",
11731173
llvm::Regex::Newline);
1174-
// It's OK the interface doesn't have the ignorable list, we just ignore them
1175-
// all.
1176-
if (!IgnFlagRe.match(buffer, &IgnFlagMatches))
1174+
auto hasIgnorableFlags = IgnFlagRe.match(buffer, &IgnFlagMatches);
1175+
1176+
// Check for ignorable-private flags
1177+
SmallVector<StringRef, 1> IgnPrivateFlagMatches;
1178+
auto IgnPrivateFlagRe = llvm::Regex("^// swift-module-flags-ignorable-private:(.*)$",
1179+
llvm::Regex::Newline);
1180+
auto hasIgnorablePrivateFlags = IgnPrivateFlagRe.match(buffer, &IgnPrivateFlagMatches);
1181+
1182+
// It's OK the interface doesn't have the ignorable list (private or not), we just
1183+
// ignore them all.
1184+
if (!hasIgnorableFlags && !hasIgnorablePrivateFlags)
11771185
return false;
1186+
11781187
SmallVector<const char *, 8> IgnSubArgs;
1179-
llvm::cl::TokenizeGNUCommandLine(IgnFlagMatches[1], ArgSaver, IgnSubArgs);
1188+
if (hasIgnorableFlags)
1189+
llvm::cl::TokenizeGNUCommandLine(IgnFlagMatches[1], ArgSaver, IgnSubArgs);
1190+
if (hasIgnorablePrivateFlags)
1191+
llvm::cl::TokenizeGNUCommandLine(IgnPrivateFlagMatches[1], ArgSaver, IgnSubArgs);
1192+
11801193
std::unique_ptr<llvm::opt::OptTable> table = swift::createSwiftOptTable();
11811194
unsigned missingArgIdx = 0;
11821195
unsigned missingArgCount = 0;

‎test/Sema/accessibility_package_inline_interface.swift‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,8 @@
99
// RUN: %target-swift-typecheck-module-from-interface(%t/Utils.swiftinterface) -I%t
1010

1111
// RUN: %FileCheck %s -check-prefix CHECK-UTILS < %t/Utils.swiftinterface
12-
// CHECK-UTILS: -module-name Utils -enable-library-evolution
13-
// CHECK-UTILS: swift-module-flags-ignorable: -package-name myLib
12+
// CHECK-UTILS: -module-name Utils
13+
// CHECK-UTILS-NOT: -package-name myLib
1414
// CHECK-UTILS: @usableFromInline
1515
// CHECK-UTILS: package class PackageKlassProto {
1616
// CHECK-UTILS: @usableFromInline

‎test/Sema/accessibility_package_interface.swift‎

Lines changed: 38 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,38 @@
1+
// RUN: %empty-directory(%t)
2+
// RUN: split-file %s %t
3+
4+
// RUN: %target-swift-frontend -emit-module %t/Utils.swift \
5+
// RUN: -module-name Utils -swift-version 5 -I %t \
6+
// RUN: -package-name swift-utils.log \
7+
// RUN: -enable-library-evolution \
8+
// RUN: -emit-module-path %t/Utils.swiftmodule \
9+
// RUN: -emit-module-interface-path %t/Utils.swiftinterface \
10+
// RUN: -emit-private-module-interface-path %t/Utils.private.swiftinterface
11+
12+
// RUN: %target-swift-typecheck-module-from-interface(%t/Utils.swiftinterface) -I %t
13+
// RUN: %FileCheck %s --check-prefix=CHECK-PUBLIC < %t/Utils.swiftinterface
14+
// CHECK-PUBLIC: -module-name Utils
15+
// CHECK-PUBLIC-NOT: -package-name swift-utils.log
16+
// CHECK-PUBLIC: public func publicFunc()
17+
// CHECK-PUBLIC-NOT: package func packageFunc()
18+
19+
// RUN: %target-swift-typecheck-module-from-interface(%t/Utils.private.swiftinterface) -module-name Utils -I %t
20+
// RUN: %FileCheck %s --check-prefix=CHECK-PRIVATE < %t/Utils.private.swiftinterface
21+
22+
// CHECK-PRIVATE: swift-module-flags-ignorable-private: -package-name swift-utils.log
23+
// CHECK-PRIVATE: public func publicFunc()
24+
// CHECK-PRIVATE-NOT: package func packageFunc()
25+
26+
// RUN: %target-swift-frontend -typecheck %t/Client.swift -package-name swift-utils.log -I %t -verify
27+
28+
//--- Utils.swift
29+
package func packageFunc() {}
30+
public func publicFunc() {}
31+
32+
//--- Client.swift
33+
import Utils
34+
35+
func clientFunc() {
36+
packageFunc()
37+
publicFunc()
38+
}

0 commit comments

Comments
 (0)