Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
72 changes: 21 additions & 51 deletions clang/lib/Driver/ModulesDriver.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -25,12 +25,10 @@
#include "llvm/ADT/DenseSet.h"
#include "llvm/ADT/DepthFirstIterator.h"
#include "llvm/ADT/DirectedGraph.h"
#include "llvm/ADT/PostOrderIterator.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/SmallVectorExtras.h"
#include "llvm/ADT/TypeSwitch.h"
#include "llvm/ADT/iterator_range.h"
#include "llvm/Option/ArgList.h"
#include "llvm/Support/Casting.h"
#include "llvm/Support/GraphWriter.h"
#include "llvm/Support/JSON.h"
Expand Down Expand Up @@ -1250,20 +1248,20 @@ createClangModulePrecompileJob(Compilation &C, const Command &ImportingJob,
/*Outputs=*/ArrayRef<InputInfo>{});
}

/// Creates a \c ClangModuleJobNode with associated job for each unique Clang
/// module in \p ModuleDepGraphsForScannedJobs.
/// Creates a ClangModuleJobNode and its job for each unique Clang module
/// in \p ModuleDepGraphsForScannedJobs.
///
/// \param ImportingJobs Jobs whose module dependencies were scanned.
/// \param ModuleDepGraphsForScannedJobs Full Clang module dependency graphs
/// corresponding to \p ImportingJobs, in order.
/// Only the jobs at indices \p ScannedJobIndices in \p Jobs are expected to be
/// non-null.
static void createClangModuleJobsAndNodes(
CompilationGraph &Graph, Compilation &C,
ArrayRef<std::unique_ptr<Command>> ImportingJobs,
ArrayRef<std::unique_ptr<Command>> Jobs, ArrayRef<size_t> ScannedJobIndices,
SmallVectorImpl<deps::ModuleDepsGraph> &&ModuleDepGraphsForScannedJobs) {
llvm::DenseSet<deps::ModuleID> AlreadySeen;
for (auto &&[ImportingJob, ModuleDepsGraph] :
llvm::zip_equal(llvm::make_pointee_range(ImportingJobs),
ModuleDepGraphsForScannedJobs)) {
for (auto &&[ScanIndex, ModuleDepsGraph] :
llvm::enumerate(ModuleDepGraphsForScannedJobs)) {
const auto &ImportingJob = *Jobs[ScannedJobIndices[ScanIndex]];

for (auto &MD : ModuleDepsGraph) {
const auto Inserted = AlreadySeen.insert(MD.ID).second;
if (!Inserted)
Expand All @@ -1276,31 +1274,6 @@ static void createClangModuleJobsAndNodes(
}
}

/// Installs the command lines produced by the dependency scan into
/// \p ScannedJobs.
static void
installScanCommandLines(Compilation &C,
MutableArrayRef<std::unique_ptr<Command>> ScannedJobs,
ArrayRef<InputDependencies> InputDepsForScannedJobs) {
for (auto &&[Job, InputDeps] : llvm::zip_equal(
llvm::make_pointee_range(ScannedJobs), InputDepsForScannedJobs)) {
const auto &BuildArgs = InputDeps.BuildArgs;
ArgStringList JobArgs;
JobArgs.reserve(BuildArgs.size());

const auto &SourceAction = Job.getSource();
const auto &TC = Job.getCreator().getToolChain();
auto &TCArgs =
C.getArgsForToolChain(&TC, SourceAction.getOffloadingArch(),
SourceAction.getOffloadingDeviceKind());

for (const auto &Arg : BuildArgs)
JobArgs.push_back(TCArgs.MakeArgString(Arg));

Job.replaceArguments(std::move(JobArgs));
}
}

/// Creates nodes for all jobs which were scanned for dependencies.
///
/// The updated command lines produced by the dependency scan are installed at a
Expand Down Expand Up @@ -1533,17 +1506,16 @@ void driver::modules::runModulesDriver(
Graph, takeJobsAtIndices(Jobs, ScanResult.NonScannableJobIndices));
auto UnusedStdlibModuleJobNodes = createNodesForUnusedStdlibModuleJobs(
Graph, takeJobsAtIndices(Jobs, ScanResult.UnusedStdlibModuleJobIndices));

auto ScannedJobs = takeJobsAtIndices(Jobs, ScanResult.ScannedJobIndices);
createClangModuleJobsAndNodes(
Graph, C, /*ImportingJobs*/ ScannedJobs,
Graph, C, Jobs, ScanResult.ScannedJobIndices,
std::move(ScanResult.ModuleDepGraphsForScannedJobs));
installScanCommandLines(C, ScannedJobs, ScanResult.InputDepsForScannedJobs);
createNodesForScannedJobs(Graph, std::move(ScannedJobs),
std::move(ScanResult.InputDepsForScannedJobs));

createNodesForScannedJobs(
Graph, takeJobsAtIndices(Jobs, ScanResult.ScannedJobIndices),
std::move(ScanResult.InputDepsForScannedJobs));
createRegularEdges(Graph);

pruneUnusedStdlibModuleJobs(Graph, UnusedStdlibModuleJobNodes);

if (!createModuleDependencyEdges(Graph, Diags))
return;
createAndConnectRoot(Graph);
Expand All @@ -1552,14 +1524,12 @@ void driver::modules::runModulesDriver(
if (!Diags.isLastDiagnosticIgnored())
llvm::WriteGraph<const CompilationGraph *>(llvm::errs(), &Graph);

// TODO: Install all updated command-lines produced by the dependency scan.
// TODO: Fix-up command-lines for named module imports.

llvm::ReversePostOrderTraversal<CompilationGraph *> TopologicallySortedNodes(
&Graph);
assert(isa<RootNode>(*TopologicallySortedNodes.begin()) &&
"First node in topological order must be the root!");
auto TopologicallySortedJobNodes = llvm::map_range(
llvm::drop_begin(TopologicallySortedNodes), llvm::CastTo<JobNode>);
for (auto *JN : TopologicallySortedJobNodes)
C.addCommand(std::move(JN->Job));
// TODO: Sort the graph topologically before adding jobs back to the
// Compilation being built.
for (auto *N : Graph)
if (auto *JN = dyn_cast<JobNode>(N))
C.addCommand(std::move(JN->Job));
}
127 changes: 0 additions & 127 deletions clang/test/Driver/modules-driver-clang-modules-only.cpp

This file was deleted.

16 changes: 9 additions & 7 deletions clang/test/Driver/modules-driver-manifest-input-args.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -26,15 +26,17 @@
// RUN: %t/main.cpp \
// RUN: -### 2>&1 \
// RUN: | sed 's:\\\\\?:/:g' \
// RUN: | FileCheck %s -DPREFIX=%/t
// RUN: | FileCheck %s -check-prefix=MAIN-CC1 -check-prefix=STDLIB-MOD-CC1 -DPREFIX=%/t

// CHECK: "-cc1" {{.*}} "-Wno-reserved-module-identifier" {{.*}} "[[PREFIX]]/Inputs/usr/lib/x86_64-linux-gnu/../share/libc++/v1/std.cppm" {{.*}} "-internal-isystem" "[[PREFIX]]/Inputs/usr/lib/x86_64-linux-gnu/../share/libc++/v1/"
// MAIN-CC1: "-cc1"
// MAIN-CC1-SAME: "main.cpp"
// MAIN-CC1-NOT: "-Wno-reserved-module-identifier"
// MAIN-CC1-NOT: "-internal-isystem" "[[PREFIX]]/Inputs/usr/lib/x86_64-linux-gnu/../share/libc++/v1/"

// The adjustments should only be made for inputs from the Standard Library module manifest:
// Check that the -cc1 command line does not contain those adjustments!
// CHECK: "-cc1" {{.*}}main
// CHECK-NOT: "-Wno-reserved-module-identifier"
// CHECK-NOT: "-internal-isystem" "[[PREFIX]]/Inputs/usr/lib/x86_64-linux-gnu/../share/libc++/v1/"
// STDLIB-MOD-CC1: "-cc1"
// STDLIB-MOD-CC1-SAME: "[[PREFIX]]/Inputs/usr/lib/x86_64-linux-gnu/../share/libc++/v1/std.cppm"
// STDLIB-MOD-CC1-SAME: "-Wno-reserved-module-identifier"
// STDLIB-MOD-CC1-SAME: "-internal-isystem" "[[PREFIX]]/Inputs/usr/lib/x86_64-linux-gnu/../share/libc++/v1/"

//--- main.cpp
import std;
Expand Down
Loading