Skip to content

Commit 187f0f9

Browse files
swift-ciswift-ci
committed
Merge remote-tracking branch 'origin/main' into rebranch
2 parents 377016c + d787888 commit 187f0f9

File tree

4 files changed

+133
-1
lines changed

4 files changed

+133
-1
lines changed

‎lib/FrontendTool/LoadedModuleTrace.cpp

Lines changed: 46 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -65,6 +65,8 @@ struct LoadedModuleTraceFormat {
6565
unsigned Version;
6666
Identifier Name;
6767
std::string Arch;
68+
std::string LanguageMode;
69+
std::vector<StringRef> EnabledLanguageFeatures;
6870
bool StrictMemorySafety;
6971
std::vector<SwiftModuleTraceInfo> SwiftModules;
7072
std::vector<SwiftMacroTraceInfo> SwiftMacros;
@@ -107,6 +109,11 @@ template <> struct ObjectTraits<LoadedModuleTraceFormat> {
107109

108110
out.mapRequired("arch", contents.Arch);
109111

112+
out.mapRequired("languageMode", contents.LanguageMode);
113+
114+
out.mapRequired("enabledLanguageFeatures",
115+
contents.EnabledLanguageFeatures);
116+
110117
out.mapRequired("strictMemorySafety", contents.StrictMemorySafety);
111118

112119
// The 'swiftmodules' key is kept for backwards compatibility.
@@ -723,6 +730,38 @@ computeSwiftMacroTraceInfo(ASTContext &ctx, const DependencyTracker &depTracker,
723730
});
724731
}
725732

733+
static void computeEnabledFeatures(ASTContext &ctx,
734+
std::vector<StringRef> &enabledFeatures) {
735+
struct FeatureAndName {
736+
Feature feature;
737+
StringRef name;
738+
};
739+
740+
static const FeatureAndName features[] = {
741+
#define FEATURE_ENTRY(FeatureName) {Feature::FeatureName, #FeatureName},
742+
#define LANGUAGE_FEATURE(FeatureName, SENumber, Version)
743+
#define EXPERIMENTAL_FEATURE(FeatureName, AvailableInProd) \
744+
FEATURE_ENTRY(FeatureName)
745+
#define UPCOMING_FEATURE(FeatureName, SENumber, Version) \
746+
FEATURE_ENTRY(FeatureName)
747+
#define OPTIONAL_LANGUAGE_FEATURE(FeatureName, SENumber, Version) \
748+
FEATURE_ENTRY(FeatureName)
749+
#include "swift/Basic/Features.def"
750+
};
751+
752+
for (auto &featureAndName : features) {
753+
if (ctx.LangOpts.hasFeature(featureAndName.feature))
754+
enabledFeatures.push_back(featureAndName.name);
755+
}
756+
757+
// FIXME: It would be nice if the features were added in sorted order instead.
758+
// However, std::sort is not constexpr until C++20.
759+
std::sort(enabledFeatures.begin(), enabledFeatures.end(),
760+
[](const StringRef &lhs, const StringRef &rhs) -> bool {
761+
return lhs.compare(rhs) < 0;
762+
});
763+
}
764+
726765
// [NOTE: Bailing-vs-crashing-in-trace-emission] There are certain edge cases
727766
// in trace emission where an invariant that you think should hold does not hold
728767
// in practice. For example, sometimes we have seen modules without any
@@ -785,12 +824,18 @@ bool swift::emitLoadedModuleTraceIfNeeded(ModuleDecl *mainModule,
785824
std::vector<SwiftMacroTraceInfo> swiftMacros;
786825
computeSwiftMacroTraceInfo(ctxt, *depTracker, swiftMacros);
787826

827+
std::vector<StringRef> enabledFeatures;
828+
computeEnabledFeatures(ctxt, enabledFeatures);
829+
788830
LoadedModuleTraceFormat trace = {
789831
/*version=*/LoadedModuleTraceFormat::CurrentVersion,
790832
/*name=*/mainModule->getName(),
791833
/*arch=*/ctxt.LangOpts.Target.getArchName().str(),
834+
ctxt.LangOpts.EffectiveLanguageVersion.asAPINotesVersionString(),
835+
enabledFeatures,
792836
mainModule ? mainModule->strictMemorySafety() : false,
793-
swiftModules, swiftMacros};
837+
swiftModules,
838+
swiftMacros};
794839

795840
// raw_fd_ostream is unbuffered, and we may have multiple processes writing,
796841
// so first write to memory and then dump the buffer to the trace file.

‎test/Driver/loaded_module_trace.swift

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -12,6 +12,7 @@
1212
// CHECK: "version":2
1313
// CHECK: "name":"loaded_module_trace"
1414
// CHECK: "arch":"{{[^"]*}}"
15+
// CHECK: "languageMode":"4"
1516
// CHECK: "strictMemorySafety":false
1617
// CHECK: "swiftmodules":[
1718
// CHECK-DAG: "{{[^"]*\\[/\\]}}Module2.swiftmodule"

‎test/Driver/loaded_module_trace_enabled_features.swift

Lines changed: 83 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,83 @@
1+
// RUN: %empty-directory(%t)
2+
3+
// RUN: %target-swift-frontend %s -emit-module -o /dev/null -swift-version 4 \
4+
// RUN: -emit-loaded-module-trace-path %t/swift4.trace.json
5+
// RUN: %FileCheck -check-prefix=CHECK-SWIFT4 %s < %t/swift4.trace.json
6+
7+
// RUN: %target-swift-frontend %s -emit-module -o /dev/null -swift-version 5 \
8+
// RUN: -emit-loaded-module-trace-path %t/swift5.trace.json
9+
// RUN: %FileCheck -check-prefix=CHECK-SWIFT5 %s < %t/swift5.trace.json
10+
11+
// RUN: %target-swift-frontend %s -emit-module -o /dev/null -swift-version 5 \
12+
// RUN: -emit-loaded-module-trace-path %t/swift5_and_features.trace.json \
13+
// RUN: -enable-experimental-feature ParserValidation \
14+
// RUN: -enable-upcoming-feature RegionBasedIsolation \
15+
// RUN: -strict-memory-safety
16+
// RUN: %FileCheck -check-prefix=CHECK-SWIFT5-PLUS %s < %t/swift5_and_features.trace.json
17+
18+
// RUN: %target-swift-frontend %s -emit-module -o /dev/null -swift-version 6 \
19+
// RUN: -emit-loaded-module-trace-path %t/swift6.trace.json
20+
// RUN: %FileCheck -check-prefix=CHECK-SWIFT6 %s < %t/swift6.trace.json
21+
22+
// NOTE: The matching of the enabledLanguageFeatures lists below is
23+
// intentionally inexact. There are few experimental features (ParserRoundTrip,
24+
// ParserValidation) that are enabled by default in asserts compilers but
25+
// otherwise disabled, so the enabled feature lists will sometimes contain
26+
// additional entries.
27+
28+
// REQUIRES: swift_feature_ParserValidation
29+
// REQUIRES: swift_feature_RegionBasedIsolation
30+
31+
// CHECK-SWIFT4: {
32+
// CHECK-SWIFT4: "version":2
33+
// CHECK-SWIFT4: "arch":"{{[^"]*}}"
34+
// CHECK-SWIFT4: "languageMode":"4"
35+
// CHECK-SWIFT4: "enabledLanguageFeatures":[
36+
// CHECK-SWIFT4: ]
37+
// CHECK-SWIFT4: "strictMemorySafety":false
38+
39+
// CHECK-SWIFT5: {
40+
// CHECK-SWIFT5: "version":2
41+
// CHECK-SWIFT5: "arch":"{{[^"]*}}"
42+
// CHECK-SWIFT5: "languageMode":"5"
43+
// CHECK-SWIFT5: "enabledLanguageFeatures":[
44+
// CHECK-SWIFT5: "NonfrozenEnumExhaustivity"
45+
// CHECK-SWIFT5: ]
46+
// CHECK-SWIFT5: "strictMemorySafety":false
47+
48+
// CHECK-SWIFT5-PLUS: {
49+
// CHECK-SWIFT5-PLUS: "version":2
50+
// CHECK-SWIFT5-PLUS: "arch":"{{[^"]*}}"
51+
// CHECK-SWIFT5-PLUS: "languageMode":"5"
52+
// CHECK-SWIFT5-PLUS: "enabledLanguageFeatures":[
53+
// CHECK-SWIFT5-PLUS: "NonfrozenEnumExhaustivity",
54+
// CHECK-SWIFT5-PLUS: "ParserValidation",
55+
// CHECK-SWIFT5-PLUS: "RegionBasedIsolation",
56+
// CHECK-SWIFT5-PLUS: "StrictMemorySafety"
57+
// CHECK-SWIFT5-PLUS: ]
58+
// CHECK-SWIFT5-PLUS: "strictMemorySafety":true
59+
60+
// CHECK-SWIFT6: {
61+
// CHECK-SWIFT6: "version":2
62+
// CHECK-SWIFT6: "arch":"{{[^"]*}}"
63+
// CHECK-SWIFT6: "languageMode":"6"
64+
// CHECK-SWIFT6: "enabledLanguageFeatures":[
65+
// CHECK-SWIFT6: "BareSlashRegexLiterals",
66+
// CHECK-SWIFT6: "ConciseMagicFile",
67+
// CHECK-SWIFT6: "DeprecateApplicationMain",
68+
// CHECK-SWIFT6: "DisableOutwardActorInference",
69+
// CHECK-SWIFT6: "DynamicActorIsolation",
70+
// CHECK-SWIFT6: "ForwardTrailingClosures",
71+
// CHECK-SWIFT6: "GlobalActorIsolatedTypesUsability",
72+
// CHECK-SWIFT6: "GlobalConcurrency",
73+
// CHECK-SWIFT6: "ImplicitOpenExistentials",
74+
// CHECK-SWIFT6: "ImportObjcForwardDeclarations",
75+
// CHECK-SWIFT6: "InferSendableFromCaptures",
76+
// CHECK-SWIFT6: "IsolatedDefaultValues",
77+
// CHECK-SWIFT6: "NonfrozenEnumExhaustivity",
78+
// CHECK-SWIFT6: "RegionBasedIsolation",
79+
// CHECK-SWIFT6: "StrictConcurrency"
80+
// CHECK-SWIFT6: ]
81+
// CHECK-SWIFT6: "strictMemorySafety":false
82+
83+
import Swift

‎test/Driver/loaded_module_trace_multifile.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -14,6 +14,9 @@
1414
// CHECK: "version":2
1515
// CHECK: "name":"loaded_module_trace_multifile"
1616
// CHECK: "arch":"{{[^"]*}}"
17+
// CHECK: "languageMode":"4"
18+
// CHECK: "enabledLanguageFeatures":[
19+
// CHECK: ]
1720
// CHECK: "swiftmodules":[
1821
// CHECK-DAG: "{{[^"]*\\[/\\]}}Module2.swiftmodule"
1922
// CHECK-DAG: "{{[^"]*\\[/\\]}}Swift.swiftmodule{{(\\[/\\][^"]+[.]swiftmodule)?}}"

0 commit comments

Comments
 (0)