| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921 |
- // 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/check/cpp/generate_ast.h"
- #include <memory>
- #include <string>
- #include "clang/AST/ASTContext.h"
- #include "clang/AST/Decl.h"
- #include "clang/Basic/FileManager.h"
- #include "clang/CodeGen/ModuleBuilder.h"
- #include "clang/Frontend/CompilerInstance.h"
- #include "clang/Frontend/CompilerInvocation.h"
- #include "clang/Frontend/FrontendAction.h"
- #include "clang/Frontend/TextDiagnostic.h"
- #include "clang/Lex/PreprocessorOptions.h"
- #include "clang/Parse/Parser.h"
- #include "clang/Sema/ExternalSemaSource.h"
- #include "clang/Sema/MultiplexExternalSemaSource.h"
- #include "clang/Sema/Sema.h"
- #include "common/check.h"
- #include "common/map.h"
- #include "common/raw_string_ostream.h"
- #include "llvm/ADT/IntrusiveRefCntPtr.h"
- #include "llvm/ADT/StringRef.h"
- #include "llvm/Support/raw_ostream.h"
- #include "toolchain/base/kind_switch.h"
- #include "toolchain/check/context.h"
- #include "toolchain/check/cpp/access.h"
- #include "toolchain/check/cpp/export.h"
- #include "toolchain/check/cpp/import.h"
- #include "toolchain/check/cpp/location.h"
- #include "toolchain/check/cpp/type_mapping.h"
- #include "toolchain/check/import_ref.h"
- #include "toolchain/check/name_lookup.h"
- #include "toolchain/check/type_completion.h"
- #include "toolchain/diagnostics/diagnostic.h"
- #include "toolchain/diagnostics/emitter.h"
- #include "toolchain/diagnostics/format_providers.h"
- #include "toolchain/parse/node_ids.h"
- #include "toolchain/sem_ir/cpp_file.h"
- #include "toolchain/sem_ir/typed_insts.h"
- namespace Carbon::Check {
- // Add a line marker directive pointing at the location of the `import Cpp`
- // declaration in the Carbon source file. This will cause Clang's diagnostics
- // machinery to track and report the location in Carbon code where the import
- // was written.
- static auto GenerateLineMarker(Context& context, llvm::raw_ostream& out,
- int line) {
- out << "# " << line << " \""
- << FormatEscaped(context.tokens().source().filename()) << "\"\n";
- }
- // Appends a line marker and the specified `code` to `out`, adjusting the
- // `line` number if the `code_token` represents a block string literal.
- static auto AppendInlineCode(Context& context, llvm::raw_ostream& out,
- Lex::TokenIndex code_token, llvm::StringRef code)
- -> void {
- // Compute the line number on which the C++ code starts. Usually the code
- // is specified as a block string literal and starts on the line after the
- // start of the string token.
- // TODO: Determine if this is a block string literal without calling
- // `GetTokenText`, which re-lexes the string.
- int line = context.tokens().GetLineNumber(code_token);
- if (context.tokens().GetTokenText(code_token).contains('\n')) {
- ++line;
- }
- GenerateLineMarker(context, out, line);
- out << code << "\n";
- }
- // Generates C++ file contents to #include all requested imports.
- static auto GenerateCppIncludesHeaderCode(
- Context& context, llvm::ArrayRef<Parse::Tree::PackagingNames> imports)
- -> std::string {
- RawStringOstream code_stream;
- for (const Parse::Tree::PackagingNames& import : imports) {
- if (import.inline_body_id.has_value()) {
- // Expand `import Cpp inline "code";` directly into the specified code.
- auto code_token = context.parse_tree().node_token(import.inline_body_id);
- AppendInlineCode(context, code_stream, code_token,
- context.string_literal_values().Get(
- context.tokens().GetStringLiteralValue(code_token)));
- // TODO: Inject a clang pragma here to produce an error if there are
- // unclosed scopes at the end of this inline C++ fragment.
- } else if (import.library_id.has_value()) {
- // Translate `import Cpp library "foo.h";` into `#include "foo.h"`.
- GenerateLineMarker(context, code_stream,
- context.tokens().GetLineNumber(
- context.parse_tree().node_token(import.node_id)));
- auto name = context.string_literal_values().Get(import.library_id);
- if (name.starts_with('<') && name.ends_with('>')) {
- code_stream << "#include <"
- << FormatEscaped(name.drop_front().drop_back()) << ">\n";
- } else {
- code_stream << "#include \"" << FormatEscaped(name) << "\"\n";
- }
- }
- }
- return code_stream.TakeStr();
- }
- // Adds the given source location and an `ImportIRInst` referring to it in
- // `ImportIRId::Cpp`.
- static auto AddImportIRInst(SemIR::File& file,
- clang::SourceLocation clang_source_loc)
- -> SemIR::ImportIRInstId {
- SemIR::ClangSourceLocId clang_source_loc_id =
- file.clang_source_locs().Add(clang_source_loc);
- return file.import_ir_insts().Add(SemIR::ImportIRInst(clang_source_loc_id));
- }
- namespace {
- // Used to convert Clang diagnostics to Carbon diagnostics.
- //
- // Handling of Clang notes is a little subtle: as far as Clang is concerned,
- // notes are separate diagnostics, not connected to the error or warning that
- // precedes them. But in Carbon's diagnostics system, notes are part of the
- // enclosing diagnostic. To handle this, we buffer Clang diagnostics until we
- // reach a point where we know we're not in the middle of a diagnostic, and then
- // emit a diagnostic along with all of its notes. This is triggered when adding
- // or removing a Carbon context note, which could otherwise get attached to the
- // wrong C++ diagnostics, and at the end of the Carbon program.
- class CarbonClangDiagnosticConsumer : public clang::DiagnosticConsumer {
- public:
- // Creates an instance with the location that triggers calling Clang. The
- // `context` is not stored here, and the diagnostics consumer is expected to
- // outlive it.
- explicit CarbonClangDiagnosticConsumer(
- Context& context, std::shared_ptr<clang::CompilerInvocation> invocation)
- : sem_ir_(&context.sem_ir()),
- emitter_(&context.emitter()),
- invocation_(std::move(invocation)) {
- emitter_->AddFlushFn([this] { EmitDiagnostics(); });
- }
- ~CarbonClangDiagnosticConsumer() override {
- // Do not inspect `emitter_` here; it's typically destroyed before the
- // consumer is.
- // TODO: If Clang produces diagnostics after check finishes, they'll get
- // added to the list of pending diagnostics and never emitted.
- CARBON_CHECK(diagnostic_infos_.empty(),
- "Missing flush before destroying diagnostic consumer");
- }
- // Generates a Carbon warning for each Clang warning and a Carbon error for
- // each Clang error or fatal.
- auto HandleDiagnostic(clang::DiagnosticsEngine::Level diag_level,
- const clang::Diagnostic& info) -> void override {
- DiagnosticConsumer::HandleDiagnostic(diag_level, info);
- SemIR::ImportIRInstId clang_import_ir_inst_id =
- AddImportIRInst(*sem_ir_, info.getLocation());
- llvm::SmallString<256> message;
- info.FormatDiagnostic(message);
- // Render a code snippet including any highlighted ranges and fixit hints.
- // TODO: Also include the #include stack and macro expansion stack in the
- // diagnostic output in some way.
- RawStringOstream snippet_stream;
- if (!info.hasSourceManager()) {
- // If we don't have a source manager, this is an error from early in the
- // frontend. Don't produce a snippet.
- CARBON_CHECK(info.getLocation().isInvalid());
- } else {
- CodeContextRenderer(snippet_stream, invocation_->getLangOpts(),
- invocation_->getDiagnosticOpts())
- .emitDiagnostic(
- clang::FullSourceLoc(info.getLocation(), info.getSourceManager()),
- diag_level, message, info.getRanges(), info.getFixItHints());
- }
- diagnostic_infos_.push_back({.level = diag_level,
- .import_ir_inst_id = clang_import_ir_inst_id,
- .message = message.str().str(),
- .snippet = snippet_stream.TakeStr()});
- }
- // Returns the diagnostic to use for a given Clang diagnostic level.
- static auto GetDiagnostic(clang::DiagnosticsEngine::Level level)
- -> const Diagnostics::DiagnosticBase<std::string>& {
- switch (level) {
- case clang::DiagnosticsEngine::Ignored: {
- CARBON_FATAL("Emitting an ignored diagnostic");
- break;
- }
- case clang::DiagnosticsEngine::Note: {
- CARBON_DIAGNOSTIC(CppInteropParseNote, Note, "{0}", std::string);
- return CppInteropParseNote;
- }
- case clang::DiagnosticsEngine::Remark:
- case clang::DiagnosticsEngine::Warning: {
- // TODO: Add a distinct Remark level to Carbon diagnostics, and stop
- // mapping remarks to warnings.
- CARBON_DIAGNOSTIC(CppInteropParseWarning, Warning, "{0}", std::string);
- return CppInteropParseWarning;
- }
- case clang::DiagnosticsEngine::Error:
- case clang::DiagnosticsEngine::Fatal: {
- CARBON_DIAGNOSTIC(CppInteropParseError, Error, "{0}", std::string);
- return CppInteropParseError;
- }
- }
- }
- // Outputs Carbon diagnostics based on the collected Clang diagnostics. Must
- // be called after the AST is set in the context.
- auto EmitDiagnostics() -> void {
- CARBON_CHECK(
- sem_ir_->cpp_file(),
- "Attempted to emit C++ diagnostics before the C++ file is set");
- for (size_t i = 0; i != diagnostic_infos_.size(); ++i) {
- const ClangDiagnosticInfo& info = diagnostic_infos_[i];
- auto builder = emitter_->Build(SemIR::LocId(info.import_ir_inst_id),
- GetDiagnostic(info.level), info.message);
- builder.OverrideSnippet(info.snippet);
- for (; i + 1 < diagnostic_infos_.size() &&
- diagnostic_infos_[i + 1].level == clang::DiagnosticsEngine::Note;
- ++i) {
- const ClangDiagnosticInfo& note_info = diagnostic_infos_[i + 1];
- builder
- .Note(SemIR::LocId(note_info.import_ir_inst_id),
- GetDiagnostic(note_info.level), note_info.message)
- .OverrideSnippet(note_info.snippet);
- }
- // TODO: This will apply all current Carbon annotation functions. We
- // should instead track how Clang's context notes and Carbon's annotation
- // functions are interleaved, and interleave the notes in the same order.
- builder.Emit();
- }
- diagnostic_infos_.clear();
- }
- private:
- // A diagnostics renderer based on clang's TextDiagnostic that captures just
- // the code context (the snippet).
- class CodeContextRenderer : public clang::TextDiagnostic {
- protected:
- using TextDiagnostic::TextDiagnostic;
- void emitDiagnosticMessage(
- clang::FullSourceLoc /*loc*/, clang::PresumedLoc /*ploc*/,
- clang::DiagnosticsEngine::Level /*level*/, llvm::StringRef /*message*/,
- llvm::ArrayRef<clang::CharSourceRange> /*ranges*/,
- clang::DiagOrStoredDiag /*info*/) override {}
- void emitDiagnosticLoc(
- clang::FullSourceLoc /*loc*/, clang::PresumedLoc /*ploc*/,
- clang::DiagnosticsEngine::Level /*level*/,
- llvm::ArrayRef<clang::CharSourceRange> /*ranges*/) override {}
- // emitCodeContext is inherited from clang::TextDiagnostic.
- void emitIncludeLocation(clang::FullSourceLoc /*loc*/,
- clang::PresumedLoc /*ploc*/) override {}
- void emitImportLocation(clang::FullSourceLoc /*loc*/,
- clang::PresumedLoc /*ploc*/,
- llvm::StringRef /*module_name*/) override {}
- void emitBuildingModuleLocation(clang::FullSourceLoc /*loc*/,
- clang::PresumedLoc /*ploc*/,
- llvm::StringRef /*module_name*/) override {}
- // beginDiagnostic and endDiagnostic are inherited from
- // clang::TextDiagnostic in case it wants to do any setup / teardown work.
- };
- // Information on a Clang diagnostic that can be converted to a Carbon
- // diagnostic.
- struct ClangDiagnosticInfo {
- // The Clang diagnostic level.
- clang::DiagnosticsEngine::Level level;
- // The ID of the ImportIR instruction referring to the Clang source
- // location.
- SemIR::ImportIRInstId import_ir_inst_id;
- // The Clang diagnostic textual message.
- std::string message;
- // The code snippet produced by clang.
- std::string snippet;
- };
- // The Carbon file that this C++ compilation is attached to.
- SemIR::File* sem_ir_;
- // The diagnostic emitter that we're emitting diagnostics into.
- DiagnosticEmitterBase* emitter_;
- // The compiler invocation that is producing the diagnostics.
- std::shared_ptr<clang::CompilerInvocation> invocation_;
- // Collects the information for all Clang diagnostics to be converted to
- // Carbon diagnostics after the context has been initialized with the Clang
- // AST.
- llvm::SmallVector<ClangDiagnosticInfo> diagnostic_infos_;
- };
- // A wrapper around a clang::CompilerInvocation that allows us to make a shallow
- // copy of most of the invocation and only make a deep copy of the parts that we
- // want to change.
- //
- // clang::CowCompilerInvocation almost allows this, but doesn't derive from
- // CompilerInvocation or support shallow copies from a CompilerInvocation, so is
- // not useful to us as we can't build an ASTUnit from it.
- class ShallowCopyCompilerInvocation : public clang::CompilerInvocation {
- public:
- explicit ShallowCopyCompilerInvocation(
- const clang::CompilerInvocation& invocation) {
- shallow_copy_assign(invocation);
- // Make a deep copy of options that we modify.
- FrontendOpts = std::make_shared<clang::FrontendOptions>(*FrontendOpts);
- PPOpts = std::make_shared<clang::PreprocessorOptions>(*PPOpts);
- }
- };
- // Provides clang AST nodes representing Carbon SemIR entities.
- class CarbonExternalASTSource : public clang::ExternalASTSource {
- public:
- explicit CarbonExternalASTSource(Context* context) : context_(context) {}
- auto StartTranslationUnit(clang::ASTConsumer* consumer) -> void override;
- // Look up decls for `decl_name` inside `decl_context`, adding the decls to
- // `decl_context`. Returns true if any decls were added.
- auto FindExternalVisibleDeclsByName(
- const clang::DeclContext* decl_context, clang::DeclarationName decl_name,
- const clang::DeclContext* original_decl_context) -> bool override;
- auto CompleteType(clang::TagDecl* tag_decl) -> void override;
- auto layoutRecordType(
- const clang::RecordDecl* record_decl, uint64_t& size, uint64_t& alignment,
- llvm::DenseMap<const clang::FieldDecl*, uint64_t>& field_offsets,
- llvm::DenseMap<const clang::CXXRecordDecl*, clang::CharUnits>&
- base_offsets,
- llvm::DenseMap<const clang::CXXRecordDecl*, clang::CharUnits>&
- vbase_offsets) -> bool override;
- private:
- // Builds the top-level C++ namespace `Carbon` and adds it to the translation
- // unit.
- auto BuildCarbonNamespace() -> void;
- // Map a Carbon entity to a Clang NamedDecl. Returns null if the entity cannot
- // currently be represented in C++.
- auto MapInstIdToClangDeclOrType(LookupResult lookup)
- -> std::variant<clang::NamedDecl*, clang::QualType>;
- // Get a current best-effort location for the current position within C++
- // processing.
- auto GetCurrentCppLocId() -> SemIR::LocId {
- auto* cpp_context = context_->cpp_context();
- CARBON_CHECK(cpp_context);
- // Use the current token location when parsing.
- auto clang_source_loc = cpp_context->parser().getCurToken().getLocation();
- if (auto& code_synthesis_contexts =
- cpp_context->sema().CodeSynthesisContexts;
- !code_synthesis_contexts.empty()) {
- // Use the current point of instantiation during template instantiation.
- clang_source_loc = code_synthesis_contexts.back().PointOfInstantiation;
- }
- // TODO: Refactor with AddImportIRInst in import.cpp.
- SemIR::ClangSourceLocId clang_source_loc_id =
- context_->sem_ir().clang_source_locs().Add(clang_source_loc);
- return context_->import_ir_insts().Add(
- SemIR::ImportIRInst(clang_source_loc_id));
- }
- Check::Context* context_;
- };
- } // namespace
- void CarbonExternalASTSource::StartTranslationUnit(
- clang::ASTConsumer* /*Consumer*/) {
- BuildCarbonNamespace();
- }
- auto CarbonExternalASTSource::MapInstIdToClangDeclOrType(LookupResult lookup)
- -> std::variant<clang::NamedDecl*, clang::QualType> {
- auto target_inst_id = lookup.scope_result.target_inst_id();
- auto target_const_id = context_->constant_values().Get(target_inst_id);
- auto target_inst = context_->constant_values().GetInst(target_const_id);
- if (target_inst.type_id() == SemIR::TypeType::TypeId) {
- auto type_id =
- context_->types().GetTypeIdForTypeConstantId(target_const_id);
- auto type = MapToCppType(*context_, type_id);
- if (type.isNull()) {
- context_->TODO(GetCurrentCppLocId(), "interop with unsupported type");
- return nullptr;
- }
- return type;
- }
- CARBON_KIND_SWITCH(target_inst) {
- case CARBON_KIND(SemIR::Namespace namespace_info): {
- auto* decl_context =
- ExportNameScopeToCpp(*context_, SemIR::LocId(target_inst_id),
- namespace_info.name_scope_id);
- if (!decl_context) {
- return nullptr;
- }
- if (isa<clang::TranslationUnitDecl>(decl_context)) {
- context_->TODO(GetCurrentCppLocId(),
- "interop with translation unit decl");
- return nullptr;
- }
- return cast<clang::NamedDecl>(decl_context);
- }
- case SemIR::StructValue::Kind: {
- auto callee = GetCallee(context_->sem_ir(), target_inst_id);
- auto* callee_function = std::get_if<SemIR::CalleeFunction>(&callee);
- if (!callee_function) {
- return nullptr;
- }
- const SemIR::Function& function =
- context_->functions().Get(callee_function->function_id);
- if (function.clang_decl_id.has_value()) {
- return cast<clang::NamedDecl>(
- context_->clang_decls().Get(function.clang_decl_id).key.decl);
- }
- return ExportFunctionToCpp(*context_, SemIR::LocId(target_inst_id),
- callee_function->function_id);
- }
- case CARBON_KIND(SemIR::FieldDecl field_decl): {
- return ExportFieldToCpp(*context_, target_inst_id, field_decl);
- }
- default:
- return nullptr;
- }
- }
- auto CarbonExternalASTSource::BuildCarbonNamespace() -> void {
- static const llvm::StringLiteral carbon_namespace_name = "Carbon";
- auto& ast_context = context_->ast_context();
- auto* identifier = &ast_context.Idents.get(carbon_namespace_name);
- // Create the namespace and add it to the translation unit scope.
- auto* decl_context = ast_context.getTranslationUnitDecl();
- auto* carbon_cpp_namespace = clang::NamespaceDecl::Create(
- ast_context, decl_context, /*Inline=*/false, clang::SourceLocation(),
- clang::SourceLocation(), identifier, /*PrevDecl=*/nullptr,
- /*Nested=*/false);
- decl_context->addDecl(carbon_cpp_namespace);
- // We provide custom lookup results within this namespace.
- carbon_cpp_namespace->setHasExternalVisibleStorage();
- // Register this file's package scope as corresponding to the `Carbon`
- // namespace in C++.
- // TODO: For mangling purposes, include the package as a sub-namespace.
- auto key = SemIR::ClangDeclKey::ForNonFunctionDecl(carbon_cpp_namespace);
- auto clang_decl_id = context_->clang_decls().Add(
- {.key = key, .inst_id = SemIR::Namespace::PackageInstId});
- context_->name_scopes()
- .Get(SemIR::NameScopeId::Package)
- .set_clang_decl_context_id(clang_decl_id, /*is_cpp_scope=*/false);
- }
- auto CarbonExternalASTSource::FindExternalVisibleDeclsByName(
- const clang::DeclContext* decl_context, clang::DeclarationName decl_name,
- const clang::DeclContext* /*OriginalDC*/) -> bool {
- // Find the Carbon declaration corresponding to this Clang declaration.
- auto* decl = cast<clang::Decl>(
- const_cast<clang::DeclContext*>(decl_context->getPrimaryContext()));
- auto key = SemIR::ClangDeclKey::ForNonFunctionDecl(decl);
- auto decl_id = context_->clang_decls().Lookup(key);
- CARBON_CHECK(
- decl_id.has_value(),
- "The DeclContext should already be associated with a Carbon InstId.");
- auto decl_context_inst_id = context_->clang_decls().Get(decl_id).inst_id;
- llvm::SmallVector<Check::LookupScope> lookup_scopes;
- // LocId::None seems fine here because we shouldn't produce any diagnostics
- // here - completeness should've been checked by clang before this point.
- if (!AppendLookupScopesForConstant(
- *context_, SemIR::LocId::None,
- context_->constant_values().Get(decl_context_inst_id),
- SemIR::ConstantId::None, &lookup_scopes)) {
- return false;
- }
- auto* identifier = decl_name.getAsIdentifierInfo();
- if (!identifier) {
- // Only supporting identifiers for now.
- return false;
- }
- auto name_id = AddIdentifierName(*context_, identifier->getName());
- // `required=false` so Carbon doesn't diagnose a failure, let Clang diagnose
- // it or even SFINAE.
- LookupResult result =
- LookupQualifiedName(*context_, SemIR::LocId::None, name_id, lookup_scopes,
- /*required=*/false);
- if (!result.scope_result.is_found()) {
- return false;
- }
- // Map the found Carbon entity to a Clang NamedDecl.
- CARBON_KIND_SWITCH(MapInstIdToClangDeclOrType(result)) {
- case CARBON_KIND(clang::NamedDecl* clang_decl): {
- if (clang_decl) {
- SetExternalVisibleDeclsForName(decl_context, decl_name, {clang_decl});
- return true;
- } else {
- SetNoExternalVisibleDeclsForName(decl_context, decl_name);
- return false;
- }
- }
- case CARBON_KIND(clang::QualType type): {
- // Create a typedef declaration to model the type result.
- // TODO: If the type is a tag type that was declared with this name in
- // this context, use the tag decl directly.
- auto& ast_context = context_->ast_context();
- auto loc = GetCppLocation(
- *context_, SemIR::LocId(result.scope_result.target_inst_id()));
- auto* typedef_decl = clang::TypedefDecl::Create(
- ast_context, const_cast<clang::DeclContext*>(decl_context), loc, loc,
- identifier, ast_context.getTrivialTypeSourceInfo(type, loc));
- if (isa<clang::CXXRecordDecl>(decl_context)) {
- typedef_decl->setAccess(
- MapToCppAccess(result.scope_result.access_kind()));
- }
- SetExternalVisibleDeclsForName(decl_context, decl_name, {typedef_decl});
- return true;
- }
- }
- }
- // If this declaration declares a class type that is "owned" by Carbon, and not
- // imported from C++, returns the corresponding type ID and `ClassType`.
- // Otherwise returns `nullopt`.
- static auto GetAsCarbonOwnedClass(Context& context,
- const clang::TagDecl* tag_decl)
- -> std::optional<std::pair<SemIR::TypeId, SemIR::ClassType>> {
- // Quickly check whether we could possibly own this class.
- // TODO: Once we multiplex with the ASTReader, handle
- // ASTReader::completeVisibleDeclsMap setting this to `false`.
- if (!tag_decl->hasExternalVisibleStorage()) {
- return std::nullopt;
- }
- auto key = SemIR::ClangDeclKey::ForNonFunctionDecl(
- const_cast<clang::TagDecl*>(tag_decl->getFirstDecl()));
- auto clang_decl_id = context.clang_decls().Lookup(key);
- if (!clang_decl_id.has_value()) {
- return std::nullopt;
- }
- auto inst_id = context.clang_decls().Get(clang_decl_id).inst_id;
- auto const_id = context.constant_values().Get(inst_id);
- if (!const_id.has_value()) {
- return std::nullopt;
- }
- auto class_type =
- context.constant_values().TryGetInstAs<SemIR::ClassType>(const_id);
- if (!class_type) {
- return std::nullopt;
- }
- // Determine whether this class was imported from C++.
- // TODO: This currently can't happen, because only Carbon classes have
- // external lexical storage, but will happen once we support importing C++
- // classes from AST files. Add a test once that is supported.
- // TODO: Consider setting `extern_library_id` on classes imported from C++ to
- // indicate the current file does not own them.
- const auto& class_info = context.classes().Get(class_type->class_id);
- if (class_info.parent_scope_id.has_value() &&
- context.name_scopes().Get(class_info.parent_scope_id).is_cpp_scope()) {
- return std::nullopt;
- }
- auto class_type_id = context.types().GetTypeIdForTypeConstantId(const_id);
- return std::make_pair(class_type_id, *class_type);
- }
- auto CarbonExternalASTSource::CompleteType(clang::TagDecl* tag_decl) -> void {
- auto* class_decl = dyn_cast<clang::CXXRecordDecl>(tag_decl);
- if (!class_decl) {
- // TODO: If we start producing clang EnumTypes, we may have to handle them
- // here too.
- return;
- }
- auto carbon_class_info = GetAsCarbonOwnedClass(*context_, tag_decl);
- if (!carbon_class_info) {
- return;
- }
- auto& [class_type_id, class_type] = *carbon_class_info;
- auto context_fn = [](DiagnosticContextBuilder& /*builder*/) -> void {};
- if (!RequireCompleteType(*context_, class_type_id, GetCurrentCppLocId(),
- context_fn)) {
- return;
- }
- auto& class_info = context_->classes().Get(class_type.class_id);
- class_decl->startDefinition();
- CARBON_CHECK(class_decl->hasDefinition());
- // If the Carbon class has a base class that we can map into C++, add that as
- // a C++ base class.
- auto base_type_id =
- class_info.GetBaseType(context_->sem_ir(), class_type.specific_id);
- if (base_type_id.has_value()) {
- auto base_loc = GetCppLocation(*context_, SemIR::LocId(class_info.base_id));
- if (auto base_type = MapToCppType(*context_, base_type_id);
- !base_type.isNull() && base_type->isStructureOrClassType() &&
- !context_->clang_sema().RequireCompleteType(
- base_loc, base_type, clang::diag::err_incomplete_base_class)) {
- bool is_virtual = false;
- bool is_base_of_class = true;
- clang::CXXBaseSpecifier base(
- clang::SourceRange(base_loc, base_loc), is_virtual, is_base_of_class,
- clang::AS_public,
- context_->ast_context().getTrivialTypeSourceInfo(base_type, base_loc),
- /*EllipsisLoc=*/clang::SourceLocation());
- clang::CXXBaseSpecifier* bases[1] = {&base};
- CARBON_CHECK(class_decl->hasDefinition());
- class_decl->setBases(bases, 1);
- }
- }
- ExportAllFieldsToCpp(*context_, class_info);
- // TODO: Import any special member functions that affect class properties.
- class_decl->completeDefinition();
- }
- auto CarbonExternalASTSource::layoutRecordType(
- const clang::RecordDecl* record_decl, uint64_t& size, uint64_t& alignment,
- llvm::DenseMap<const clang::FieldDecl*, uint64_t>& field_offsets,
- llvm::DenseMap<const clang::CXXRecordDecl*, clang::CharUnits>& base_offsets,
- llvm::DenseMap<const clang::CXXRecordDecl*, clang::CharUnits>&
- vbase_offsets) -> bool {
- auto carbon_class_info = GetAsCarbonOwnedClass(*context_, record_decl);
- if (!carbon_class_info) {
- return false;
- }
- auto& [class_type_id, class_type] = *carbon_class_info;
- // Clang should not have asked for the layout of an incomplete type, but check
- // now to be sure, and to generate a specific definition if needed.
- // TODO: Add a test for layout of a specific class once they're supported in
- // general.
- CompleteTypeOrCheckFail(*context_, class_type_id);
- // Set the overall size and alignment. We round up the size to an integer
- // number of bytes in order to avoid surprising Clang too much.
- auto layout = context_->sem_ir()
- .types()
- .GetCompleteTypeInfo(class_type_id)
- .object_layout;
- size = layout.size.bytes() * 8;
- alignment = layout.alignment.bits();
- // Fill in `field_offsets`.
- CalculateCppFieldOffsets(*context_, class_type.class_id, field_offsets);
- // Add offset for base class, if any.
- if (const auto* class_decl = dyn_cast<clang::CXXRecordDecl>(record_decl);
- class_decl && !class_decl->bases().empty()) {
- CARBON_CHECK(class_decl->getNumBases() == 1,
- "Carbon class with multiple bases");
- const auto& base = *class_decl->bases_begin();
- // TODO: If this class introduced a vptr, the base will be at an offset of
- // `sizeof(void*)`, not 0.
- base_offsets.insert(
- {base.getType()->getAsCXXRecordDecl()->getCanonicalDecl(),
- clang::CharUnits::Zero()});
- // TODO: Support deriving from a C++ class with virtual bases.
- CARBON_CHECK(class_decl->getNumVBases() == 0,
- "Carbon class with multiple bases");
- static_cast<void>(vbase_offsets);
- }
- return true;
- }
- // Parses a sequence of top-level declarations and forms a corresponding
- // representation in the Clang AST. Unlike clang::ParseAST, does not finish the
- // translation unit when EOF is reached.
- static auto ParseTopLevelDecls(clang::Parser& parser,
- clang::ASTConsumer& consumer) -> void {
- // Don't allow C++20 module declarations in inline Cpp code fragments.
- auto module_import_state = clang::Sema::ModuleImportState::NotACXX20Module;
- // Parse top-level declarations until we see EOF. Do not parse EOF, as that
- // will cause the parser to end the translation unit prematurely.
- while (parser.getCurToken().isNot(clang::tok::eof)) {
- clang::Parser::DeclGroupPtrTy decl_group;
- bool eof = parser.ParseTopLevelDecl(decl_group, module_import_state);
- CARBON_CHECK(!eof, "Should not parse decls at EOF");
- if (decl_group && !consumer.HandleTopLevelDecl(decl_group.get())) {
- // If the consumer rejects the declaration, bail out of parsing.
- //
- // TODO: In this case, we shouldn't parse any more declarations even in
- // separate inline C++ fragments. But our current AST consumer only ever
- // returns true.
- break;
- }
- }
- }
- namespace {
- // An action and a set of registered Clang callbacks used to generate an AST
- // from a set of Cpp imports.
- class GenerateASTAction : public clang::ASTFrontendAction {
- public:
- explicit GenerateASTAction(Context& context) : context_(&context) {}
- protected:
- auto CreateASTConsumer(clang::CompilerInstance& clang_instance,
- llvm::StringRef /*file*/)
- -> std::unique_ptr<clang::ASTConsumer> override {
- auto& cpp_file = *context_->sem_ir().cpp_file();
- if (!cpp_file.llvm_context()) {
- return std::make_unique<clang::ASTConsumer>();
- }
- auto code_generator =
- std::unique_ptr<clang::CodeGenerator>(clang::CreateLLVMCodeGen(
- cpp_file.diagnostics(), context_->sem_ir().filename(),
- clang_instance.getVirtualFileSystemPtr(),
- clang_instance.getHeaderSearchOpts(),
- clang_instance.getPreprocessorOpts(),
- clang_instance.getCodeGenOpts(), *cpp_file.llvm_context()));
- cpp_file.SetCodeGenerator(code_generator.get());
- return code_generator;
- }
- auto BeginSourceFileAction(clang::CompilerInstance& /*clang_instance*/)
- -> bool override {
- // TODO: `clang.getPreprocessor().enableIncrementalProcessing();` to avoid
- // the TU scope getting torn down before we're done parsing macros.
- return true;
- }
- // Parse the imports and inline C++ fragments. This is notionally very similar
- // to `clang::ParseAST`, which `ASTFrontendAction::ExecuteAction` calls, but
- // this version doesn't parse C++20 modules and stops just before reaching the
- // end of the translation unit.
- auto ExecuteAction() -> void override {
- clang::CompilerInstance& clang_instance = getCompilerInstance();
- clang_instance.createSema(getTranslationUnitKind(),
- /*CompletionConsumer=*/nullptr);
- auto parser_ptr = std::make_unique<clang::Parser>(
- clang_instance.getPreprocessor(), clang_instance.getSema(),
- /*SkipFunctionBodies=*/false);
- auto& parser = *parser_ptr;
- clang_instance.getPreprocessor().EnterMainSourceFile();
- parser.Initialize();
- context_->set_cpp_context(
- std::make_unique<CppContext>(clang_instance, std::move(parser_ptr)));
- if (auto* source = clang_instance.getASTContext().getExternalSource()) {
- source->StartTranslationUnit(&clang_instance.getASTConsumer());
- }
- clang_instance.getSema().ActOnStartOfTranslationUnit();
- ParseTopLevelDecls(parser, clang_instance.getASTConsumer());
- }
- private:
- Context* context_;
- };
- } // namespace
- auto GenerateAst(Context& context,
- llvm::ArrayRef<Parse::Tree::PackagingNames> imports,
- llvm::IntrusiveRefCntPtr<llvm::vfs::FileSystem> fs,
- llvm::LLVMContext* llvm_context,
- std::shared_ptr<clang::CompilerInvocation> base_invocation)
- -> bool {
- CARBON_CHECK(!context.cpp_context());
- CARBON_CHECK(!context.sem_ir().cpp_file());
- auto invocation =
- std::make_shared<ShallowCopyCompilerInvocation>(*base_invocation);
- // Ask Clang to not leak memory.
- invocation->getFrontendOpts().DisableFree = false;
- // Build a diagnostics engine.
- llvm::IntrusiveRefCntPtr<clang::DiagnosticsEngine> diags(
- clang::CompilerInstance::createDiagnostics(
- *fs, invocation->getDiagnosticOpts(),
- new CarbonClangDiagnosticConsumer(context, invocation),
- /*ShouldOwnClient=*/true));
- // Extract the input from the frontend invocation and make sure it makes
- // sense.
- const auto& inputs = invocation->getFrontendOpts().Inputs;
- CARBON_CHECK(inputs.size() == 1 &&
- inputs[0].getKind().getLanguage() == clang::Language::CXX &&
- inputs[0].getKind().getFormat() == clang::InputKind::Source);
- llvm::StringRef file_name = inputs[0].getFile();
- // Remap the imports file name to the corresponding `#include`s.
- // TODO: Modify the frontend options to specify this memory buffer as input
- // instead of remapping the file.
- std::string includes = GenerateCppIncludesHeaderCode(context, imports);
- auto includes_buffer =
- llvm::MemoryBuffer::getMemBufferCopy(includes, file_name);
- invocation->getPreprocessorOpts().addRemappedFile(file_name,
- includes_buffer.release());
- auto clang_instance_ptr =
- std::make_unique<clang::CompilerInstance>(invocation);
- auto& clang_instance = *clang_instance_ptr;
- context.sem_ir().set_cpp_file(std::make_unique<SemIR::CppFile>(
- std::move(clang_instance_ptr), llvm_context));
- clang_instance.setDiagnostics(diags);
- clang_instance.setVirtualFileSystem(fs);
- clang_instance.createFileManager();
- clang_instance.createSourceManager();
- if (!clang_instance.createTarget()) {
- return false;
- }
- GenerateASTAction action(context);
- if (!action.BeginSourceFile(clang_instance, inputs[0])) {
- return false;
- }
- auto& ast = clang_instance.getASTContext();
- // TODO: Clang's modules support is implemented as an ExternalASTSource
- // (ASTReader) and there's no multiplexing support for ExternalASTSources at
- // the moment - so registering CarbonExternalASTSource breaks Clang modules
- // support. Implement multiplexing support (possibly in Clang) to restore
- // modules functionality.
- ast.setExternalSource(
- llvm::makeIntrusiveRefCnt<CarbonExternalASTSource>(&context));
- if (llvm::Error error = action.Execute()) {
- // `Execute` currently never fails, but its contract allows it to.
- context.TODO(SemIR::LocId::None, "failed to execute clang action: " +
- llvm::toString(std::move(error)));
- return false;
- }
- // Flush any diagnostics. We know we're not part-way through emitting a
- // diagnostic now.
- context.emitter().Flush();
- return true;
- }
- auto InjectAstFromInlineCode(Context& context, SemIR::LocId loc_id,
- llvm::StringRef source_code) -> void {
- auto* cpp_context = context.cpp_context();
- CARBON_CHECK(cpp_context);
- clang::Sema& sema = cpp_context->sema();
- clang::Preprocessor& preprocessor = sema.getPreprocessor();
- clang::Parser& parser = cpp_context->parser();
- RawStringOstream code_stream;
- AppendInlineCode(context, code_stream,
- context.parse_tree().node_token(loc_id.node_id()),
- source_code);
- auto buffer = llvm::MemoryBuffer::getMemBufferCopy(code_stream.TakeStr(),
- "<inline c++>");
- clang::FileID file_id =
- preprocessor.getSourceManager().createFileID(std::move(buffer));
- if (preprocessor.EnterSourceFile(file_id, nullptr, clang::SourceLocation())) {
- // Clang will have generated a suitable error. There's nothing more to do
- // here.
- return;
- }
- // The parser will typically have an EOF as its cached current token; consume
- // that so we can reach the newly-injected tokens.
- if (parser.getCurToken().is(clang::tok::eof)) {
- parser.ConsumeToken();
- }
- ParseTopLevelDecls(parser, sema.getASTConsumer());
- }
- auto FinishAst(Context& context) -> void {
- if (!context.cpp_context()) {
- return;
- }
- context.cpp_context()->sema().ActOnEndOfTranslationUnit();
- // We don't call FrontendAction::EndSourceFile, because that destroys the AST.
- context.set_cpp_context(nullptr);
- context.emitter().Flush();
- }
- } // namespace Carbon::Check
|