mirror of
https://github.com/carbon-language/carbon-lang.git
synced 2026-09-24 22:02:23 +01:00
1300 lines
43 KiB
C++
1300 lines
43 KiB
C++
// Part of the Carbon Language project, under the Apache License v2.0 with LLVM
|
|
// Exceptions. See /LICENSE for license information.
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
|
|
#include "toolchain/driver/compile_subcommand.h"
|
|
|
|
#include <functional>
|
|
#include <memory>
|
|
#include <optional>
|
|
#include <string>
|
|
#include <system_error>
|
|
#include <utility>
|
|
|
|
#include "common/pretty_stack_trace_function.h"
|
|
#include "common/vlog.h"
|
|
#include "llvm/ADT/STLExtras.h"
|
|
#include "llvm/ADT/ScopeExit.h"
|
|
#include "llvm/MC/TargetRegistry.h"
|
|
#include "llvm/Passes/OptimizationLevel.h"
|
|
#include "llvm/Passes/PassBuilder.h"
|
|
#include "llvm/Passes/StandardInstrumentations.h"
|
|
#include "toolchain/base/clang_invocation.h"
|
|
#include "toolchain/base/timings.h"
|
|
#include "toolchain/check/check.h"
|
|
#include "toolchain/codegen/codegen.h"
|
|
#include "toolchain/diagnostics/diagnostic_emitter.h"
|
|
#include "toolchain/diagnostics/sorting_diagnostic_consumer.h"
|
|
#include "toolchain/lex/lex.h"
|
|
#include "toolchain/lower/lower.h"
|
|
#include "toolchain/parse/parse.h"
|
|
#include "toolchain/parse/tree_and_subtrees.h"
|
|
#include "toolchain/sem_ir/ids.h"
|
|
#include "toolchain/source/source_buffer.h"
|
|
|
|
namespace Carbon {
|
|
|
|
auto CompileOptions::Build(CommandLine::CommandBuilder& b) -> void {
|
|
b.AddStringPositionalArg(
|
|
{
|
|
.name = "FILE",
|
|
.help = R"""(
|
|
The input Carbon source file to compile.
|
|
)""",
|
|
},
|
|
[&](auto& arg_b) {
|
|
arg_b.Required(true);
|
|
arg_b.Append(&input_filenames);
|
|
});
|
|
|
|
b.AddOneOfOption(
|
|
{
|
|
.name = "phase",
|
|
.help = R"""(
|
|
Selects the compilation phase to run. These phases are always run in sequence,
|
|
so every phase before the one selected will also be run. The default is to
|
|
compile to machine code.
|
|
)""",
|
|
},
|
|
[&](auto& arg_b) {
|
|
arg_b.SetOneOf(
|
|
{
|
|
arg_b.OneOfValue("lex", Phase::Lex),
|
|
arg_b.OneOfValue("parse", Phase::Parse),
|
|
arg_b.OneOfValue("check", Phase::Check),
|
|
arg_b.OneOfValue("lower", Phase::Lower),
|
|
arg_b.OneOfValue("optimize", Phase::Optimize),
|
|
arg_b.OneOfValue("codegen", Phase::CodeGen).Default(true),
|
|
},
|
|
&phase);
|
|
});
|
|
|
|
b.AddStringOption(
|
|
{
|
|
.name = "clang-arg",
|
|
.value_name = "CLANG-ARG",
|
|
.help = R"""(
|
|
An argument to pass to the Clang compiler for use when compiling imported C++
|
|
code.
|
|
|
|
All flags that are accepted by the Clang driver are supported. However, you
|
|
cannot specify arguments that would result in additional compilations being
|
|
performed. Use `carbon clang` instead to compile additional source files.
|
|
)""",
|
|
},
|
|
[&](auto& arg_b) { arg_b.Append(&clang_args); });
|
|
|
|
b.AddStringPositionalArg(
|
|
{
|
|
.name = "CLANG-ARG",
|
|
.help = R"""(
|
|
Additional Clang arguments. See help for `--clang-arg` for details.
|
|
)""",
|
|
},
|
|
[&](auto& arg_b) { arg_b.Append(&clang_args); });
|
|
|
|
// TODO: Rearrange the code setting this option and two related ones to
|
|
// allow them to reference each other instead of hard-coding their names.
|
|
b.AddStringOption(
|
|
{
|
|
.name = "output",
|
|
.value_name = "FILE",
|
|
.help = R"""(
|
|
The output filename for codegen.
|
|
|
|
When this is a file name, either textual assembly or a binary object will be
|
|
written to it based on the flag `--asm-output`. The default is to write a binary
|
|
object file.
|
|
|
|
Passing `--output=-` will write the output to stdout. In that case, the flag
|
|
`--asm-output` is ignored and the output defaults to textual assembly. Binary
|
|
object output can be forced by enabling `--force-obj-output`.
|
|
)""",
|
|
},
|
|
[&](auto& arg_b) { arg_b.Set(&output_filename); });
|
|
|
|
b.AddOneOfOption(
|
|
{
|
|
.name = "optimize",
|
|
.help = R"""(
|
|
Selects the amount of optimization to perform.
|
|
)""",
|
|
},
|
|
[&](auto& arg_b) {
|
|
arg_b.SetOneOf(
|
|
{
|
|
// We intentionally don't expose O2 and Os. The difference
|
|
// between these levels tends to reflect what achieves the
|
|
// best speed for a specific application, as they all
|
|
// largely optimize for speed as the primary factor.
|
|
//
|
|
// Instead of controlling this with more nuanced flags, we
|
|
// plan to support profile and in-source hints to the
|
|
// optimizer to adjust its strategy in the specific places
|
|
// where the default doesn't have the desired results.
|
|
arg_b.OneOfValue("none", Lower::OptimizationLevel::None),
|
|
arg_b.OneOfValue("debug", Lower::OptimizationLevel::Debug),
|
|
arg_b.OneOfValue("speed", Lower::OptimizationLevel::Speed),
|
|
arg_b.OneOfValue("size", Lower::OptimizationLevel::Size),
|
|
},
|
|
&opt_level);
|
|
});
|
|
|
|
// Include the common code generation options at this point to render it
|
|
// after the more common options above, but before the more unusual options
|
|
// below.
|
|
codegen_options.Build(b);
|
|
|
|
b.AddFlag(
|
|
{
|
|
.name = "asm-output",
|
|
.help = R"""(
|
|
Write textual assembly rather than a binary object file to the code generation
|
|
output.
|
|
|
|
This flag only applies when writing to a file. When writing to stdout, the
|
|
default is textual assembly and this flag is ignored.
|
|
)""",
|
|
},
|
|
[&](auto& arg_b) { arg_b.Set(&asm_output); });
|
|
|
|
b.AddFlag(
|
|
{
|
|
.name = "force-obj-output",
|
|
.help = R"""(
|
|
Force binary object output, even with `--output=-`.
|
|
|
|
When `--output=-` is set, the default is textual assembly; this forces printing
|
|
of a binary object file instead. Ignored for other `--output` values.
|
|
)""",
|
|
},
|
|
[&](auto& arg_b) { arg_b.Set(&force_obj_output); });
|
|
|
|
b.AddFlag(
|
|
{
|
|
.name = "stream-errors",
|
|
.help = R"""(
|
|
Stream error messages to stderr as they are generated rather than sorting them
|
|
and displaying them in source order.
|
|
)""",
|
|
},
|
|
[&](auto& arg_b) { arg_b.Set(&stream_errors); });
|
|
|
|
b.AddFlag(
|
|
{
|
|
.name = "dump-shared-values",
|
|
.help = R"""(
|
|
Dumps shared values. These aren't owned by any particular file or phase.
|
|
)""",
|
|
},
|
|
[&](auto& arg_b) { arg_b.Set(&dump_shared_values); });
|
|
b.AddFlag(
|
|
{
|
|
.name = "dump-tokens",
|
|
.help = R"""(
|
|
Dump the tokens to stdout when lexed.
|
|
)""",
|
|
},
|
|
[&](auto& arg_b) { arg_b.Set(&dump_tokens); });
|
|
|
|
b.AddFlag(
|
|
{
|
|
.name = "omit-file-boundary-tokens",
|
|
.help = R"""(
|
|
For `--dump-tokens`, omit file start and end boundary tokens.
|
|
)""",
|
|
},
|
|
[&](auto& arg_b) { arg_b.Set(&omit_file_boundary_tokens); });
|
|
|
|
b.AddFlag(
|
|
{
|
|
.name = "dump-parse-tree",
|
|
.help = R"""(
|
|
Dump the parse tree to stdout when parsed.
|
|
)""",
|
|
},
|
|
[&](auto& arg_b) { arg_b.Set(&dump_parse_tree); });
|
|
b.AddFlag(
|
|
{
|
|
.name = "preorder-parse-tree",
|
|
.help = R"""(
|
|
When dumping the parse tree, reorder it so that it is in preorder rather than
|
|
postorder.
|
|
)""",
|
|
},
|
|
[&](auto& arg_b) { arg_b.Set(&preorder_parse_tree); });
|
|
b.AddFlag(
|
|
{
|
|
.name = "dump-raw-sem-ir",
|
|
.help = R"""(
|
|
Dump the raw JSON structure of SemIR to stdout when built.
|
|
)""",
|
|
},
|
|
[&](auto& arg_b) { arg_b.Set(&dump_raw_sem_ir); });
|
|
b.AddFlag(
|
|
{
|
|
.name = "dump-sem-ir",
|
|
.help = R"""(
|
|
Dump the full SemIR to stdout when built.
|
|
)""",
|
|
},
|
|
[&](auto& arg_b) { arg_b.Set(&dump_sem_ir); });
|
|
b.AddFlag(
|
|
{
|
|
.name = "dump-cpp-ast",
|
|
.help = R"""(
|
|
Dump the full C++ AST to stdout when built.
|
|
)""",
|
|
},
|
|
[&](auto& arg_b) { arg_b.Set(&dump_cpp_ast); });
|
|
|
|
b.AddOneOfOption(
|
|
{
|
|
.name = "dump-sem-ir-ranges",
|
|
.help = R"""(
|
|
Selects handling of `//@dump-sem-ir-[begin|end]` markers when dumping SemIR.
|
|
By default, `if-present` prints ranges for files that have them, and full SemIR
|
|
for files that don't. `only` skips files with no ranges, and `ignore` always
|
|
prints full SemIR.
|
|
)""",
|
|
},
|
|
[&](auto& arg_b) {
|
|
using DumpSemIRRanges = Check::CheckParseTreesOptions::DumpSemIRRanges;
|
|
arg_b.SetOneOf(
|
|
{
|
|
arg_b.OneOfValue("if-present", DumpSemIRRanges::IfPresent)
|
|
.Default(true),
|
|
arg_b.OneOfValue("only", DumpSemIRRanges::Only),
|
|
arg_b.OneOfValue("ignore", DumpSemIRRanges::Ignore),
|
|
},
|
|
&dump_sem_ir_ranges);
|
|
});
|
|
|
|
b.AddFlag(
|
|
{
|
|
.name = "builtin-sem-ir",
|
|
.help = R"""(
|
|
Include the SemIR for builtins when dumping it.
|
|
)""",
|
|
},
|
|
[&](auto& arg_b) { arg_b.Set(&builtin_sem_ir); });
|
|
b.AddFlag(
|
|
{
|
|
.name = "dump-llvm-ir",
|
|
.help = R"""(
|
|
Dump the LLVM IR to stdout after lowering.
|
|
)""",
|
|
},
|
|
[&](auto& arg_b) { arg_b.Set(&dump_llvm_ir); });
|
|
b.AddFlag(
|
|
{
|
|
.name = "dump-asm",
|
|
.help = R"""(
|
|
Dump the generated assembly to stdout after codegen.
|
|
)""",
|
|
},
|
|
[&](auto& arg_b) { arg_b.Set(&dump_asm); });
|
|
b.AddFlag(
|
|
{
|
|
.name = "dump-mem-usage",
|
|
.help = R"""(
|
|
Dumps the amount of memory used.
|
|
)""",
|
|
},
|
|
[&](auto& arg_b) { arg_b.Set(&dump_mem_usage); });
|
|
b.AddFlag(
|
|
{
|
|
.name = "dump-timings",
|
|
.help = R"""(
|
|
Dumps the duration of each phase for each compilation unit.
|
|
)""",
|
|
},
|
|
[&](auto& arg_b) { arg_b.Set(&dump_timings); });
|
|
b.AddFlag(
|
|
{
|
|
.name = "prelude-import",
|
|
.help = R"""(
|
|
Whether to use the implicit prelude import. Enabled by default.
|
|
)""",
|
|
},
|
|
[&](auto& arg_b) {
|
|
arg_b.Default(true);
|
|
arg_b.Set(&prelude_import);
|
|
});
|
|
b.AddFlag(
|
|
{
|
|
.name = "custom-core",
|
|
.value_name = "CUSTOM_CORE",
|
|
.help = R"""(
|
|
Whether to use a custom Core package, the files for which must all be included
|
|
in the compile command line.
|
|
|
|
The prelude library in the Core package is imported automatically. By default,
|
|
the Core package shipped with the toolchain is used, and its files do not need
|
|
to be specified in the compile command line.
|
|
)""",
|
|
},
|
|
[&](auto& arg_b) {
|
|
arg_b.Default(false);
|
|
arg_b.Set(&custom_core);
|
|
});
|
|
b.AddStringOption(
|
|
{
|
|
.name = "exclude-dump-file-prefix",
|
|
.value_name = "PREFIX",
|
|
.help = R"""(
|
|
Excludes files with the given prefix from dumps.
|
|
)""",
|
|
},
|
|
[&](auto& arg_b) { arg_b.Append(&exclude_dump_file_prefixes); });
|
|
b.AddFlag(
|
|
{
|
|
.name = "debug-info",
|
|
.help = R"""(
|
|
Whether to emit DWARF debug information.
|
|
)""",
|
|
},
|
|
[&](auto& arg_b) {
|
|
arg_b.Default(true);
|
|
arg_b.Set(&include_debug_info);
|
|
});
|
|
b.AddFlag(
|
|
{
|
|
.name = "verify-llvm-ir",
|
|
.help = R"""(
|
|
Whether to run the LLVM verifier on modules.
|
|
)""",
|
|
},
|
|
[&](auto& arg_b) {
|
|
arg_b.Default(true);
|
|
arg_b.Set(&run_llvm_verifier);
|
|
});
|
|
b.AddStringOption(
|
|
{
|
|
.name = "sem-ir-crash-dump",
|
|
.value_name = "PATH",
|
|
.help = R"""(
|
|
Where to write a dump of the raw SemIR emitted so far, in the event of a crash
|
|
in the check phase. If empty, the dump is not written.
|
|
)""",
|
|
},
|
|
[&](auto& arg_b) { arg_b.Set(&sem_ir_crash_dump); });
|
|
}
|
|
|
|
static constexpr CommandLine::CommandInfo SubcommandInfo = {
|
|
.name = "compile",
|
|
.help = R"""(
|
|
Compile Carbon source code.
|
|
|
|
This subcommand runs the Carbon compiler over input source code, checking it for
|
|
errors and producing the requested output.
|
|
|
|
Error messages are written to the standard error stream.
|
|
|
|
Different phases of the compiler can be selected to run, and intermediate state
|
|
can be written to standard output as these phases progress.
|
|
)""",
|
|
};
|
|
|
|
CompileSubcommand::CompileSubcommand() : DriverSubcommand(SubcommandInfo) {}
|
|
|
|
// Returns a string for printing the phase in a diagnostic.
|
|
static auto PhaseToString(CompileOptions::Phase phase) -> std::string {
|
|
switch (phase) {
|
|
case CompileOptions::Phase::Lex:
|
|
return "lex";
|
|
case CompileOptions::Phase::Parse:
|
|
return "parse";
|
|
case CompileOptions::Phase::Check:
|
|
return "check";
|
|
case CompileOptions::Phase::Lower:
|
|
return "lower";
|
|
case CompileOptions::Phase::Optimize:
|
|
return "optimize";
|
|
case CompileOptions::Phase::CodeGen:
|
|
return "codegen";
|
|
}
|
|
}
|
|
|
|
auto CompileSubcommand::ValidateOptions(
|
|
Diagnostics::NoLocEmitter& emitter) const -> bool {
|
|
CARBON_DIAGNOSTIC(
|
|
CompilePhaseFlagConflict, Error,
|
|
"requested dumping {0} but compile phase is limited to `{1}`",
|
|
std::string, std::string);
|
|
using Phase = CompileOptions::Phase;
|
|
switch (options_.phase) {
|
|
case Phase::Lex:
|
|
if (options_.dump_parse_tree) {
|
|
emitter.Emit(CompilePhaseFlagConflict, "parse tree",
|
|
PhaseToString(options_.phase));
|
|
return false;
|
|
}
|
|
[[fallthrough]];
|
|
case Phase::Parse:
|
|
if (options_.dump_sem_ir) {
|
|
emitter.Emit(CompilePhaseFlagConflict, "SemIR",
|
|
PhaseToString(options_.phase));
|
|
return false;
|
|
}
|
|
if (options_.dump_cpp_ast) {
|
|
emitter.Emit(CompilePhaseFlagConflict, "C++ AST",
|
|
PhaseToString(options_.phase));
|
|
return false;
|
|
}
|
|
[[fallthrough]];
|
|
case Phase::Check:
|
|
if (options_.dump_llvm_ir) {
|
|
emitter.Emit(CompilePhaseFlagConflict, "LLVM IR",
|
|
PhaseToString(options_.phase));
|
|
return false;
|
|
}
|
|
[[fallthrough]];
|
|
case Phase::Lower:
|
|
case Phase::Optimize:
|
|
case Phase::CodeGen:
|
|
// Everything can be dumped in these phases.
|
|
break;
|
|
}
|
|
return true;
|
|
}
|
|
|
|
namespace {
|
|
|
|
class MultiUnitCache;
|
|
|
|
// Ties together information for a file being compiled.
|
|
class CompilationUnit {
|
|
public:
|
|
// `driver_env`, `options`, `consumer`, and `target` must be non-null.
|
|
explicit CompilationUnit(SemIR::CheckIRId check_ir_id, int total_ir_count,
|
|
DriverEnv* driver_env, const CompileOptions* options,
|
|
Diagnostics::Consumer* consumer,
|
|
llvm::StringRef input_filename,
|
|
const llvm::Target* target);
|
|
|
|
// Sets the multi-unit cache and initializes dependent member state.
|
|
auto SetMultiUnitCache(MultiUnitCache* cache) -> void;
|
|
|
|
// Loads source and lexes it. Returns true on success.
|
|
auto RunLex() -> void;
|
|
|
|
// Parses tokens. Returns true on success.
|
|
auto RunParse() -> void;
|
|
|
|
// Returns information needed to check this unit.
|
|
auto GetCheckUnit() -> Check::Unit;
|
|
|
|
// Runs post-check logic. Returns true if checking succeeded for the IR.
|
|
auto PostCheck() -> void;
|
|
|
|
// Lower SemIR to LLVM IR.
|
|
auto RunLower() -> void;
|
|
|
|
// Runs the optimization pipeline.
|
|
auto RunOptimize() -> void;
|
|
|
|
// Runs post-lowering-to-LLVM-IR logic. This is always called if we do any
|
|
// lowering work, after we've finished building the IR in RunLower() and,
|
|
// optionally, RunOptimize().
|
|
auto PostLower() -> void;
|
|
|
|
auto RunCodeGen() -> void;
|
|
|
|
// Runs post-compile logic. This is always called, and called after all other
|
|
// actions on the CompilationUnit.
|
|
auto PostCompile() -> void;
|
|
|
|
// Flushes diagnostics, specifically as part of generating stack trace
|
|
// information.
|
|
auto FlushForStackTrace() -> void { consumer_->Flush(); }
|
|
|
|
auto input_filename() -> llvm::StringRef { return input_filename_; }
|
|
auto has_include_in_dumps() -> bool {
|
|
return tokens_ && tokens_->has_include_in_dumps();
|
|
}
|
|
auto success() -> bool { return success_; }
|
|
auto has_source() -> bool { return source_.has_value(); }
|
|
auto get_trees_and_subtrees() -> Parse::GetTreeAndSubtreesFn {
|
|
return *tree_and_subtrees_getter_;
|
|
}
|
|
|
|
private:
|
|
// Do codegen. Returns true on success.
|
|
auto RunCodeGenHelper() -> bool;
|
|
|
|
// The TreeAndSubtrees is mainly used for debugging and diagnostics, and has
|
|
// significant overhead. Avoid constructing it when unused.
|
|
auto GetParseTreeAndSubtrees() -> const Parse::TreeAndSubtrees&;
|
|
|
|
// Wraps a call with log statements to indicate start and end. Typically logs
|
|
// with the actual function name, but marks timings with the appropriate
|
|
// phase.
|
|
auto LogCall(llvm::StringLiteral logging_label,
|
|
llvm::StringLiteral timing_label,
|
|
llvm::function_ref<auto()->void> fn) -> void;
|
|
|
|
// Returns true if the current file should be included in debug dumps.
|
|
auto IncludeInDumps() -> bool;
|
|
|
|
// Builds the LLVM target machine.
|
|
auto MakeTargetMachine() -> void;
|
|
|
|
// The index of the unit amongst all units.
|
|
SemIR::CheckIRId check_ir_id_;
|
|
// The number of units in total.
|
|
int total_ir_count_;
|
|
|
|
DriverEnv* driver_env_;
|
|
const CompileOptions* options_;
|
|
const llvm::Target* target_;
|
|
|
|
SharedValueStores value_stores_;
|
|
|
|
// The input filename from the command line. For most diagnostics, we
|
|
// typically use `source_->filename()`, which includes a `-` -> `<stdin>`
|
|
// translation. However, logging and some diagnostics use the command line
|
|
// argument.
|
|
std::string input_filename_;
|
|
|
|
// Copied from driver_ for CARBON_VLOG.
|
|
llvm::raw_pwrite_stream* vlog_stream_;
|
|
|
|
// Diagnostics are sent to consumer_, with optional sorting.
|
|
std::optional<Diagnostics::SortingConsumer> sorting_consumer_;
|
|
Diagnostics::Consumer* consumer_;
|
|
|
|
bool success_ = true;
|
|
|
|
// Initialized by `SetMultiUnitCache`.
|
|
MultiUnitCache* cache_ = nullptr;
|
|
// Tracks memory usage of the compile.
|
|
std::optional<MemUsage> mem_usage_;
|
|
// Tracks timings of the compile.
|
|
std::optional<Timings> timings_;
|
|
|
|
// These are initialized as steps are run.
|
|
std::optional<SourceBuffer> source_;
|
|
std::optional<Lex::TokenizedBuffer> tokens_;
|
|
std::optional<Parse::Tree> parse_tree_;
|
|
std::optional<Parse::TreeAndSubtrees> parse_tree_and_subtrees_;
|
|
std::optional<std::function<auto()->const Parse::TreeAndSubtrees&>>
|
|
tree_and_subtrees_getter_;
|
|
std::optional<SemIR::File> sem_ir_;
|
|
std::unique_ptr<llvm::LLVMContext> llvm_context_;
|
|
std::unique_ptr<llvm::Module> module_;
|
|
std::unique_ptr<llvm::TargetMachine> target_machine_;
|
|
};
|
|
|
|
// Caches lists that are shared cross-unit. Accessors do lazy caching because
|
|
// they may not be used.
|
|
class MultiUnitCache {
|
|
public:
|
|
using IncludeInDumpsStore = FixedSizeValueStore<SemIR::CheckIRId, bool>;
|
|
using TreeAndSubtreesGettersStore = Parse::GetTreeAndSubtreesStore;
|
|
|
|
// This relies on construction after `units` are all initialized, which is
|
|
// reflected by the `ArrayRef` here.
|
|
explicit MultiUnitCache(
|
|
const CompileOptions* options,
|
|
llvm::ArrayRef<std::unique_ptr<CompilationUnit>> units)
|
|
: options_(options), units_(units) {}
|
|
|
|
// If `include_in_dumps` is in use, we need to apply per-file include
|
|
// settings.
|
|
auto ApplyPerFileIncludeInDumps() -> void {
|
|
if (!include_in_dumps_) {
|
|
// No cached value to update.
|
|
return;
|
|
}
|
|
for (const auto& [i, unit] : llvm::enumerate(units_)) {
|
|
if (unit->has_include_in_dumps()) {
|
|
include_in_dumps_->Set(SemIR::CheckIRId(i), true);
|
|
}
|
|
}
|
|
}
|
|
|
|
auto include_in_dumps() -> const IncludeInDumpsStore& {
|
|
if (!include_in_dumps_) {
|
|
include_in_dumps_.emplace(IncludeInDumpsStore::MakeWithExplicitSize(
|
|
IdTag(), units_.size(), false));
|
|
for (const auto& [i, unit] : llvm::enumerate(units_)) {
|
|
// If this is first accessed after lexing is complete, we need to apply
|
|
// per-file includes. Otherwise, this is based only on the exclude
|
|
// option.
|
|
bool include =
|
|
unit->has_include_in_dumps() ||
|
|
llvm::none_of(options_->exclude_dump_file_prefixes,
|
|
[&](auto prefix) {
|
|
return unit->input_filename().starts_with(prefix);
|
|
});
|
|
include_in_dumps_->Set(SemIR::CheckIRId(i), include);
|
|
}
|
|
}
|
|
return *include_in_dumps_;
|
|
}
|
|
|
|
auto tree_and_subtrees_getters() -> const TreeAndSubtreesGettersStore& {
|
|
if (!tree_and_subtrees_getters_) {
|
|
tree_and_subtrees_getters_.emplace(
|
|
TreeAndSubtreesGettersStore::MakeWithExplicitSize(
|
|
IdTag(), units_.size(), nullptr));
|
|
for (const auto& [i, unit] : llvm::enumerate(units_)) {
|
|
if (unit->has_source()) {
|
|
tree_and_subtrees_getters_->Set(SemIR::CheckIRId(i),
|
|
unit->get_trees_and_subtrees());
|
|
}
|
|
}
|
|
}
|
|
return *tree_and_subtrees_getters_;
|
|
}
|
|
|
|
private:
|
|
const CompileOptions* options_;
|
|
|
|
// The units being compiled.
|
|
llvm::ArrayRef<std::unique_ptr<CompilationUnit>> units_;
|
|
|
|
// For each unit, whether it's included in dumps. Used cross-phase.
|
|
std::optional<IncludeInDumpsStore> include_in_dumps_;
|
|
|
|
// For each unit, the `TreeAndSubtrees` getter. Used by lowering.
|
|
std::optional<TreeAndSubtreesGettersStore> tree_and_subtrees_getters_;
|
|
};
|
|
|
|
} // namespace
|
|
|
|
CompilationUnit::CompilationUnit(SemIR::CheckIRId check_ir_id,
|
|
int total_ir_count, DriverEnv* driver_env,
|
|
const CompileOptions* options,
|
|
Diagnostics::Consumer* consumer,
|
|
llvm::StringRef input_filename,
|
|
const llvm::Target* target)
|
|
: check_ir_id_(check_ir_id),
|
|
total_ir_count_(total_ir_count),
|
|
driver_env_(driver_env),
|
|
options_(options),
|
|
target_(target),
|
|
input_filename_(input_filename),
|
|
vlog_stream_(driver_env_->vlog_stream) {
|
|
if (vlog_stream_ != nullptr || options_->stream_errors) {
|
|
consumer_ = consumer;
|
|
} else {
|
|
sorting_consumer_ = Diagnostics::SortingConsumer(*consumer);
|
|
consumer_ = &*sorting_consumer_;
|
|
}
|
|
}
|
|
|
|
auto CompilationUnit::IncludeInDumps() -> bool {
|
|
return cache_->include_in_dumps().Get(check_ir_id_);
|
|
}
|
|
|
|
auto CompilationUnit::SetMultiUnitCache(MultiUnitCache* cache) -> void {
|
|
CARBON_CHECK(!cache_, "Called SetMultiUnitCache twice");
|
|
cache_ = cache;
|
|
|
|
if (options_->dump_mem_usage && IncludeInDumps()) {
|
|
CARBON_CHECK(!mem_usage_);
|
|
mem_usage_ = MemUsage();
|
|
}
|
|
if (options_->dump_timings && IncludeInDumps()) {
|
|
CARBON_CHECK(!timings_);
|
|
timings_ = Timings();
|
|
}
|
|
}
|
|
|
|
auto CompilationUnit::RunLex() -> void {
|
|
CARBON_CHECK(cache_, "Must call SetMultiUnitCache first");
|
|
CARBON_CHECK(!tokens_, "Called RunLex twice");
|
|
|
|
LogCall("SourceBuffer::MakeFromFileOrStdin", "source", [&] {
|
|
source_ = SourceBuffer::MakeFromFileOrStdin(*driver_env_->fs,
|
|
input_filename_, *consumer_);
|
|
});
|
|
|
|
if (!source_) {
|
|
success_ = false;
|
|
return;
|
|
}
|
|
|
|
if (mem_usage_) {
|
|
mem_usage_->Add("source_", source_->text().size(), source_->text().size());
|
|
}
|
|
|
|
CARBON_VLOG("*** SourceBuffer ***\n```\n{0}\n```\n", source_->text());
|
|
|
|
LogCall("Lex::Lex", "lex", [&] {
|
|
Lex::LexOptions options;
|
|
options.consumer = consumer_;
|
|
options.vlog_stream = vlog_stream_;
|
|
if (options_->dump_tokens && IncludeInDumps()) {
|
|
options.dump_stream = driver_env_->output_stream;
|
|
options.omit_file_boundary_tokens = options_->omit_file_boundary_tokens;
|
|
}
|
|
tokens_ = Lex::Lex(value_stores_, *source_, options);
|
|
});
|
|
if (mem_usage_) {
|
|
mem_usage_->Collect("tokens_", *tokens_);
|
|
}
|
|
if (tokens_->has_errors()) {
|
|
success_ = false;
|
|
}
|
|
}
|
|
|
|
auto CompilationUnit::RunParse() -> void {
|
|
LogCall("Parse::Parse", "parse", [&] {
|
|
Parse::ParseOptions options;
|
|
options.consumer = consumer_;
|
|
options.vlog_stream = vlog_stream_;
|
|
if (options_->dump_parse_tree && IncludeInDumps()) {
|
|
options.dump_stream = driver_env_->output_stream;
|
|
options.dump_preorder_parse_tree = options_->preorder_parse_tree;
|
|
}
|
|
parse_tree_ = Parse::Parse(*tokens_, options);
|
|
});
|
|
if (mem_usage_) {
|
|
mem_usage_->Collect("parse_tree_", *parse_tree_);
|
|
}
|
|
if (parse_tree_->has_errors()) {
|
|
success_ = false;
|
|
}
|
|
}
|
|
|
|
auto CompilationUnit::GetCheckUnit() -> Check::Unit {
|
|
CARBON_CHECK(parse_tree_, "Must call RunParse first");
|
|
CARBON_CHECK(!sem_ir_, "Called GetCheckUnit twice");
|
|
|
|
tree_and_subtrees_getter_ = [this]() -> const Parse::TreeAndSubtrees& {
|
|
return this->GetParseTreeAndSubtrees();
|
|
};
|
|
sem_ir_.emplace(&*parse_tree_, check_ir_id_, parse_tree_->packaging_decl(),
|
|
value_stores_, input_filename_);
|
|
return {.consumer = consumer_,
|
|
.value_stores = &value_stores_,
|
|
.timings = timings_ ? &*timings_ : nullptr,
|
|
.sem_ir = &*sem_ir_,
|
|
.total_ir_count = total_ir_count_};
|
|
}
|
|
|
|
auto CompilationUnit::PostCheck() -> void {
|
|
CARBON_CHECK(sem_ir_, "Must call GetCheckUnit first");
|
|
|
|
// We've finished all steps that can produce diagnostics. Emit the
|
|
// diagnostics now, so that the developer sees them sooner and doesn't need
|
|
// to wait for code generation.
|
|
consumer_->Flush();
|
|
|
|
if (mem_usage_) {
|
|
mem_usage_->Collect("sem_ir_", *sem_ir_);
|
|
}
|
|
|
|
if (sem_ir_->has_errors()) {
|
|
success_ = false;
|
|
}
|
|
}
|
|
|
|
auto CompilationUnit::RunLower() -> void {
|
|
LogCall("Lower::LowerToLLVM", "lower", [&] {
|
|
llvm_context_ = std::make_unique<llvm::LLVMContext>();
|
|
Lower::LowerToLLVMOptions options;
|
|
options.llvm_verifier_stream =
|
|
options_->run_llvm_verifier ? driver_env_->error_stream : nullptr;
|
|
options.want_debug_info = options_->include_debug_info;
|
|
options.vlog_stream = vlog_stream_;
|
|
options.opt_level = options_->opt_level;
|
|
module_ = Lower::LowerToLLVM(*llvm_context_, driver_env_->fs,
|
|
cache_->tree_and_subtrees_getters(), *sem_ir_,
|
|
total_ir_count_, options);
|
|
});
|
|
}
|
|
|
|
auto CompilationUnit::MakeTargetMachine() -> void {
|
|
CARBON_CHECK(module_, "Must call RunLower first");
|
|
CARBON_CHECK(!target_machine_, "Should not call this multiple times");
|
|
|
|
// Set the target on the module.
|
|
// TODO: We should do this earlier. Lower should be passed the target triple
|
|
// so it can create the module with this already set.
|
|
llvm::Triple target_triple(options_->codegen_options.target);
|
|
module_->setTargetTriple(target_triple);
|
|
|
|
// TODO: Provide flags to control these.
|
|
constexpr llvm::StringLiteral CPU = "generic";
|
|
constexpr llvm::StringLiteral Features = "";
|
|
|
|
llvm::TargetOptions target_opts;
|
|
target_machine_.reset(target_->createTargetMachine(
|
|
target_triple, CPU, Features, target_opts, llvm::Reloc::PIC_));
|
|
}
|
|
|
|
// Get the LLVM optimization level corresponding to a Carbon optimization level.
|
|
static auto GetLLVMOptimizationLevel(Lower::OptimizationLevel opt_level)
|
|
-> llvm::OptimizationLevel {
|
|
switch (opt_level) {
|
|
case Lower::OptimizationLevel::None:
|
|
return llvm::OptimizationLevel::O0;
|
|
case Lower::OptimizationLevel::Debug:
|
|
return llvm::OptimizationLevel::O1;
|
|
case Lower::OptimizationLevel::Size:
|
|
return llvm::OptimizationLevel::Oz;
|
|
case Lower::OptimizationLevel::Speed:
|
|
return llvm::OptimizationLevel::O3;
|
|
}
|
|
}
|
|
|
|
// Get the `-O` flag corresponding to an optimization level.
|
|
static auto GetClangOptimizationFlag(Lower::OptimizationLevel opt_level)
|
|
-> llvm::StringLiteral {
|
|
switch (opt_level) {
|
|
case Lower::OptimizationLevel::None:
|
|
return "-O0";
|
|
case Lower::OptimizationLevel::Debug:
|
|
return "-O1";
|
|
case Lower::OptimizationLevel::Size:
|
|
return "-Oz";
|
|
case Lower::OptimizationLevel::Speed:
|
|
return "-O3";
|
|
}
|
|
}
|
|
|
|
auto CompilationUnit::RunOptimize() -> void {
|
|
CARBON_CHECK(module_, "Must call RunLower first");
|
|
|
|
// TODO: A lot of the work done here duplicates work done by Clang setting up
|
|
// its pass manager. Moreover, we probably want to pick up Clang's
|
|
// customizations and make use of its flags for controlling LLVM passes. We
|
|
// should consider whether we would be better off running Clang's pass
|
|
// pipeline rather than building one of our own, or factoring out enough of
|
|
// Clang's pipeline builder that we can reuse and further customize it.
|
|
|
|
MakeTargetMachine();
|
|
|
|
// TODO: There's no way to set these automatically from an
|
|
// llvm::OptimizationLevel. Add such a mechanism to LLVM and use it from
|
|
// here. For now we reconstruct what Clang does by default.
|
|
llvm::PipelineTuningOptions pto;
|
|
bool opt_for_speed = options_->opt_level == Lower::OptimizationLevel::Speed;
|
|
bool opt_for_size_or_speed =
|
|
opt_for_speed || options_->opt_level == Lower::OptimizationLevel::Size;
|
|
// Loop unrolling is enabled by `--optimize=size` but isn't actually performed
|
|
// because we add `optsize` attributes to the function definitions we emit.
|
|
pto.LoopUnrolling = opt_for_size_or_speed;
|
|
pto.LoopInterleaving = opt_for_size_or_speed;
|
|
pto.LoopVectorization = opt_for_speed;
|
|
pto.SLPVectorization = opt_for_size_or_speed;
|
|
|
|
llvm::LoopAnalysisManager lam;
|
|
llvm::FunctionAnalysisManager fam;
|
|
llvm::CGSCCAnalysisManager cgam;
|
|
llvm::ModuleAnalysisManager mam;
|
|
|
|
llvm::PassInstrumentationCallbacks pic;
|
|
|
|
// Register standard pass instrumentations. This adds support for things like
|
|
// `-print-after-all`.
|
|
llvm::StandardInstrumentations si(module_->getContext(),
|
|
/*DebugLogging=*/false);
|
|
si.registerCallbacks(pic);
|
|
|
|
llvm::PassBuilder builder(target_machine_.get(), pto,
|
|
/*PGOOpt=*/std::nullopt, &pic);
|
|
|
|
// TODO: Add an AssignmentTrackingPass for at least `--optimize=debug`.
|
|
|
|
// Set up target library information and add an analysis pass to supply it.
|
|
std::unique_ptr<llvm::TargetLibraryInfoImpl> tlii(llvm::driver::createTLII(
|
|
module_->getTargetTriple(), llvm::driver::VectorLibrary::NoLibrary));
|
|
fam.registerPass([&] { return llvm::TargetLibraryAnalysis(*tlii); });
|
|
|
|
builder.registerModuleAnalyses(mam);
|
|
builder.registerCGSCCAnalyses(cgam);
|
|
builder.registerFunctionAnalyses(fam);
|
|
builder.registerLoopAnalyses(lam);
|
|
builder.crossRegisterProxies(lam, fam, cgam, mam);
|
|
|
|
llvm::ModulePassManager pass_manager = builder.buildPerModuleDefaultPipeline(
|
|
GetLLVMOptimizationLevel(options_->opt_level));
|
|
|
|
if (vlog_stream_) {
|
|
CARBON_VLOG("*** Running pass pipeline: ");
|
|
pass_manager.printPipeline(
|
|
*vlog_stream_, [&pic](llvm::StringRef class_name) {
|
|
auto pass_name = pic.getPassNameForClassName(class_name);
|
|
return pass_name.empty() ? class_name : pass_name;
|
|
});
|
|
CARBON_VLOG(" ***\n");
|
|
}
|
|
|
|
LogCall("ModulePassManager::run", "optimize",
|
|
[&] { pass_manager.run(*module_, mam); });
|
|
|
|
if (vlog_stream_) {
|
|
CARBON_VLOG("*** Optimized llvm::Module ***\n");
|
|
module_->print(*vlog_stream_, /*AAW=*/nullptr,
|
|
/*ShouldPreserveUseListOrder=*/false,
|
|
/*IsForDebug=*/true);
|
|
}
|
|
}
|
|
|
|
auto CompilationUnit::PostLower() -> void {
|
|
CARBON_CHECK(module_, "Must call RunLower first");
|
|
if (options_->dump_llvm_ir && IncludeInDumps()) {
|
|
module_->print(*driver_env_->output_stream, /*AAW=*/nullptr,
|
|
/*ShouldPreserveUseListOrder=*/true);
|
|
}
|
|
}
|
|
|
|
auto CompilationUnit::RunCodeGen() -> void {
|
|
CARBON_CHECK(module_, "Must call RunLower first");
|
|
LogCall("CodeGen", "codegen", [&] { success_ = RunCodeGenHelper(); });
|
|
}
|
|
|
|
auto CompilationUnit::PostCompile() -> void {
|
|
if (options_->dump_shared_values && IncludeInDumps()) {
|
|
Yaml::Print(*driver_env_->output_stream,
|
|
value_stores_.OutputYaml(input_filename_));
|
|
}
|
|
if (mem_usage_) {
|
|
mem_usage_->Collect("value_stores_", value_stores_);
|
|
Yaml::Print(*driver_env_->output_stream,
|
|
mem_usage_->OutputYaml(input_filename_));
|
|
}
|
|
if (timings_) {
|
|
Yaml::Print(*driver_env_->output_stream,
|
|
timings_->OutputYaml(input_filename_));
|
|
}
|
|
|
|
// The diagnostics consumer must be flushed before compilation artifacts are
|
|
// destructed, because diagnostics can refer to their state.
|
|
consumer_->Flush();
|
|
}
|
|
|
|
auto CompilationUnit::RunCodeGenHelper() -> bool {
|
|
CARBON_CHECK(module_, "Must call RunLower first");
|
|
CARBON_CHECK(target_machine_, "Must call MakeTargetMachine first");
|
|
|
|
CodeGen codegen(module_.get(), target_machine_.get(), consumer_);
|
|
if (vlog_stream_) {
|
|
CARBON_VLOG("*** Assembly ***\n");
|
|
codegen.EmitAssembly(*vlog_stream_);
|
|
}
|
|
|
|
if (options_->output_filename == "-") {
|
|
// TODO: The output file name, forcing object output, and requesting
|
|
// textual assembly output are all somewhat linked flags. We should add
|
|
// some validation that they are used correctly.
|
|
if (options_->force_obj_output) {
|
|
if (!codegen.EmitObject(*driver_env_->output_stream)) {
|
|
return false;
|
|
}
|
|
} else {
|
|
if (!codegen.EmitAssembly(*driver_env_->output_stream)) {
|
|
return false;
|
|
}
|
|
}
|
|
} else {
|
|
llvm::SmallString<256> output_filename = options_->output_filename;
|
|
if (output_filename.empty()) {
|
|
if (!source_->is_regular_file()) {
|
|
// Don't invent file names like `-.o` or `/dev/stdin.o`.
|
|
// TODO: Consider rephrasing the diagnostic to use the file as the
|
|
// `Emit` location.
|
|
CARBON_DIAGNOSTIC(CompileInputNotRegularFile, Error,
|
|
"output file name must be specified for input `{0}` "
|
|
"that is not a regular file",
|
|
std::string);
|
|
driver_env_->emitter.Emit(CompileInputNotRegularFile, input_filename_);
|
|
return false;
|
|
}
|
|
output_filename = input_filename_;
|
|
llvm::sys::path::replace_extension(output_filename,
|
|
options_->asm_output ? ".s" : ".o");
|
|
} else {
|
|
// TODO: Handle the case where multiple input files were specified
|
|
// along with an output file name. That should either be an error or
|
|
// should produce a single LLVM IR module containing all inputs.
|
|
// Currently each unit overwrites the output from the previous one in
|
|
// this case.
|
|
}
|
|
CARBON_VLOG("Writing output to: {0}\n", output_filename);
|
|
|
|
std::error_code ec;
|
|
llvm::raw_fd_ostream output_file(output_filename, ec,
|
|
llvm::sys::fs::OF_None);
|
|
if (ec) {
|
|
// TODO: Consider rephrasing the diagnostic to use the file as the `Emit`
|
|
// location.
|
|
CARBON_DIAGNOSTIC(CompileOutputFileOpenError, Error,
|
|
"could not open output file `{0}`: {1}", std::string,
|
|
std::string);
|
|
driver_env_->emitter.Emit(CompileOutputFileOpenError,
|
|
output_filename.str().str(), ec.message());
|
|
return false;
|
|
}
|
|
if (options_->asm_output) {
|
|
if (!codegen.EmitAssembly(output_file)) {
|
|
return false;
|
|
}
|
|
} else {
|
|
if (!codegen.EmitObject(output_file)) {
|
|
return false;
|
|
}
|
|
}
|
|
}
|
|
return true;
|
|
}
|
|
|
|
auto CompilationUnit::GetParseTreeAndSubtrees()
|
|
-> const Parse::TreeAndSubtrees& {
|
|
if (!parse_tree_and_subtrees_) {
|
|
parse_tree_and_subtrees_ = Parse::TreeAndSubtrees(*tokens_, *parse_tree_);
|
|
if (mem_usage_) {
|
|
mem_usage_->Collect("parse_tree_and_subtrees_",
|
|
*parse_tree_and_subtrees_);
|
|
}
|
|
}
|
|
return *parse_tree_and_subtrees_;
|
|
}
|
|
|
|
auto CompilationUnit::LogCall(llvm::StringLiteral logging_label,
|
|
llvm::StringLiteral timing_label,
|
|
llvm::function_ref<auto()->void> fn) -> void {
|
|
PrettyStackTraceFunction trace_file([&](llvm::raw_ostream& out) {
|
|
out << "Filename: " << input_filename_ << "\n";
|
|
});
|
|
CARBON_VLOG("*** {0}: {1} ***\n", logging_label, input_filename_);
|
|
Timings::ScopedTiming timing(timings_ ? &*timings_ : nullptr, timing_label);
|
|
fn();
|
|
CARBON_VLOG("*** {0} done ***\n", logging_label);
|
|
}
|
|
|
|
auto CompileSubcommand::Run(DriverEnv& driver_env) -> DriverResult {
|
|
if (!ValidateOptions(driver_env.emitter)) {
|
|
return {.success = false};
|
|
}
|
|
|
|
// Validate the target before passing it to Clang.
|
|
std::string target_error;
|
|
const llvm::Target* target = llvm::TargetRegistry::lookupTarget(
|
|
llvm::Triple(options_.codegen_options.target), target_error);
|
|
if (!target) {
|
|
CARBON_DIAGNOSTIC(CompileTargetInvalid, Error, "invalid target: {0}",
|
|
std::string);
|
|
driver_env.emitter.Emit(CompileTargetInvalid, target_error);
|
|
return {.success = false};
|
|
}
|
|
|
|
std::shared_ptr<clang::CompilerInvocation> clang_invocation;
|
|
// Build a clang invocation. We do this regardless of whether we're running
|
|
// check, because this is essentially performing further option validation,
|
|
// and we generally validate all options even if we're not using them for the
|
|
// selected phases of compilation.
|
|
// TODO: Share any arguments we specify here with the `carbon clang`
|
|
// subcommand.
|
|
{
|
|
if (driver_env.fuzzing && !options_.clang_args.empty()) {
|
|
// Parsing specific Clang arguments can reach deep into
|
|
// external libraries that aren't fuzz clean.
|
|
TestAndDiagnoseIfFuzzingExternalLibraries(driver_env, "compile");
|
|
return {.success = false};
|
|
}
|
|
|
|
// TODO: Move this into `BuildClangInvocation` when it can accept an
|
|
// optimization level.
|
|
llvm::SmallVector<llvm::StringRef> clang_args = {
|
|
// Propagate our optimization level to Clang as a default. This can be
|
|
// overridden by Clang arguments, but doing so will only have an effect
|
|
// if those arguments affect Clang's IR, not its pass pipeline.
|
|
GetClangOptimizationFlag(options_.opt_level),
|
|
};
|
|
clang_args.append(options_.clang_args);
|
|
clang_invocation = BuildClangInvocation(
|
|
driver_env.consumer, driver_env.fs, *driver_env.installation,
|
|
options_.codegen_options.target, clang_args);
|
|
if (!clang_invocation) {
|
|
return {.success = false};
|
|
}
|
|
// We will run our own pass pipeline over the IR in the `Optimize` phase, so
|
|
// disable Clang's pipeline to avoid optimizing C++ code twice.
|
|
clang_invocation->getCodeGenOpts().DisableLLVMPasses = true;
|
|
}
|
|
|
|
// Find the files comprising the prelude if we are importing it.
|
|
// TODO: Replace this with a search for library api files in a
|
|
// package-specific search path based on the library name.
|
|
llvm::SmallVector<std::string> prelude;
|
|
if (options_.prelude_import && !options_.custom_core &&
|
|
options_.phase >= CompileOptions::Phase::Check) {
|
|
if (auto find = driver_env.installation->ReadPreludeManifest(); find.ok()) {
|
|
prelude = std::move(*find);
|
|
} else {
|
|
// TODO: Change ReadPreludeManifest to produce diagnostics.
|
|
CARBON_DIAGNOSTIC(CompilePreludeManifestError, Error, "{0}", std::string);
|
|
driver_env.emitter.Emit(CompilePreludeManifestError,
|
|
PrintToString(find.error()));
|
|
return {.success = false};
|
|
}
|
|
}
|
|
|
|
// Prepare CompilationUnits before building scope exit handlers.
|
|
llvm::SmallVector<std::unique_ptr<CompilationUnit>> units;
|
|
int total_unit_count = prelude.size() + options_.input_filenames.size();
|
|
int unit_index = -1;
|
|
auto unit_builder = [&](llvm::StringRef filename) {
|
|
++unit_index;
|
|
return std::make_unique<CompilationUnit>(
|
|
SemIR::CheckIRId(unit_index), total_unit_count, &driver_env, &options_,
|
|
&driver_env.consumer, filename, target);
|
|
};
|
|
llvm::append_range(units, llvm::map_range(prelude, unit_builder));
|
|
llvm::append_range(units,
|
|
llvm::map_range(options_.input_filenames, unit_builder));
|
|
CARBON_CHECK(units.size() == static_cast<size_t>(total_unit_count));
|
|
|
|
// Add the cache to all units. This must be done after all units are created.
|
|
MultiUnitCache cache(&options_, units);
|
|
for (auto& unit : units) {
|
|
unit->SetMultiUnitCache(&cache);
|
|
}
|
|
|
|
auto on_exit = llvm::make_scope_exit([&]() {
|
|
// Finish compilation units. This flushes their diagnostics in the order in
|
|
// which they were specified on the command line.
|
|
for (auto& unit : units) {
|
|
unit->PostCompile();
|
|
}
|
|
|
|
driver_env.consumer.Flush();
|
|
});
|
|
|
|
PrettyStackTraceFunction flush_on_crash([&](llvm::raw_ostream& out) {
|
|
// When crashing, flush diagnostics. If sorting diagnostics, they can be
|
|
// redirected to the crash stream; if streaming, the original stream is
|
|
// flushed.
|
|
// TODO: Eventually we'll want to limit the count.
|
|
if (options_.stream_errors) {
|
|
out << "Flushing diagnostics\n";
|
|
} else {
|
|
out << "Pending diagnostics:\n";
|
|
driver_env.consumer.set_stream(&out);
|
|
}
|
|
|
|
for (auto& unit : units) {
|
|
unit->FlushForStackTrace();
|
|
}
|
|
driver_env.consumer.Flush();
|
|
driver_env.consumer.set_stream(driver_env.error_stream);
|
|
});
|
|
|
|
// Returns a DriverResult object. Called whenever Compile returns.
|
|
auto make_result = [&]() {
|
|
DriverResult result = {.success = true};
|
|
for (const auto& unit : units) {
|
|
result.success &= unit->success();
|
|
result.per_file_success.push_back(
|
|
{unit->input_filename().str(), unit->success()});
|
|
}
|
|
return result;
|
|
};
|
|
|
|
// Lex.
|
|
for (auto& unit : units) {
|
|
unit->RunLex();
|
|
}
|
|
if (options_.phase == CompileOptions::Phase::Lex) {
|
|
return make_result();
|
|
}
|
|
cache.ApplyPerFileIncludeInDumps();
|
|
// Parse and check phases examine `has_source` because they want to proceed if
|
|
// lex failed, but not if source doesn't exist. Later steps are skipped if
|
|
// anything failed, so don't need this.
|
|
|
|
// Parse.
|
|
for (auto& unit : units) {
|
|
if (unit->has_source()) {
|
|
unit->RunParse();
|
|
}
|
|
}
|
|
if (options_.phase == CompileOptions::Phase::Parse) {
|
|
return make_result();
|
|
}
|
|
|
|
// Gather Check::Units.
|
|
llvm::SmallVector<Check::Unit> check_units;
|
|
check_units.reserve(units.size());
|
|
for (auto& unit : units) {
|
|
if (unit->has_source()) {
|
|
check_units.push_back(unit->GetCheckUnit());
|
|
}
|
|
}
|
|
|
|
// Execute the actual checking.
|
|
CARBON_VLOG_TO(driver_env.vlog_stream, "*** Check::CheckParseTrees ***\n");
|
|
Check::CheckParseTreesOptions options;
|
|
options.prelude_import = options_.prelude_import;
|
|
options.vlog_stream = driver_env.vlog_stream;
|
|
options.fuzzing = driver_env.fuzzing;
|
|
if (options.vlog_stream || options_.dump_sem_ir || options_.dump_cpp_ast ||
|
|
options_.dump_raw_sem_ir) {
|
|
options.include_in_dumps = &cache.include_in_dumps();
|
|
if (options_.dump_sem_ir) {
|
|
options.dump_stream = driver_env.output_stream;
|
|
}
|
|
if (options_.dump_cpp_ast) {
|
|
options.dump_cpp_ast_stream = driver_env.output_stream;
|
|
}
|
|
if (options.vlog_stream || options_.dump_sem_ir) {
|
|
options.dump_sem_ir_ranges = options_.dump_sem_ir_ranges;
|
|
}
|
|
if (options_.dump_raw_sem_ir) {
|
|
options.raw_dump_stream = driver_env.output_stream;
|
|
options.dump_raw_sem_ir_builtins = options_.builtin_sem_ir;
|
|
}
|
|
options.sem_ir_crash_dump = options_.sem_ir_crash_dump;
|
|
}
|
|
Check::CheckParseTrees(check_units, cache.tree_and_subtrees_getters(),
|
|
driver_env.fs, options, clang_invocation);
|
|
CARBON_VLOG_TO(driver_env.vlog_stream,
|
|
"*** Check::CheckParseTrees done ***\n");
|
|
for (auto& unit : units) {
|
|
if (unit->has_source()) {
|
|
unit->PostCheck();
|
|
}
|
|
}
|
|
if (options_.phase == CompileOptions::Phase::Check) {
|
|
return make_result();
|
|
}
|
|
|
|
// Unlike previous steps, errors block further progress.
|
|
if (llvm::any_of(units, [&](const auto& unit) { return !unit->success(); })) {
|
|
CARBON_VLOG_TO(driver_env.vlog_stream,
|
|
"*** Stopping before lowering due to errors ***\n");
|
|
return make_result();
|
|
}
|
|
|
|
// Lower and optimize.
|
|
for (const auto& unit : units) {
|
|
unit->RunLower();
|
|
|
|
if (options_.phase != CompileOptions::Phase::Lower) {
|
|
unit->RunOptimize();
|
|
}
|
|
|
|
unit->PostLower();
|
|
}
|
|
if (options_.phase == CompileOptions::Phase::Lower ||
|
|
options_.phase == CompileOptions::Phase::Optimize) {
|
|
return make_result();
|
|
}
|
|
CARBON_CHECK(options_.phase == CompileOptions::Phase::CodeGen,
|
|
"CodeGen should be the last stage");
|
|
|
|
// Codegen.
|
|
for (auto& unit : units) {
|
|
unit->RunCodeGen();
|
|
}
|
|
return make_result();
|
|
}
|
|
|
|
} // namespace Carbon
|