clang 20.0.0git
CIRGenModule.cpp
Go to the documentation of this file.
1//===- CIRGenModule.cpp - Per-Module state for CIR generation -------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// This is the internal per-translation-unit state used for CIR translation.
10//
11//===----------------------------------------------------------------------===//
12
13#include "CIRGenModule.h"
14
16#include "clang/AST/DeclBase.h"
20
21#include "mlir/IR/BuiltinOps.h"
22#include "mlir/IR/Location.h"
23#include "mlir/IR/MLIRContext.h"
24
25using namespace clang;
26using namespace clang::CIRGen;
27
28CIRGenModule::CIRGenModule(mlir::MLIRContext &mlirContext,
29 clang::ASTContext &astContext,
30 const clang::CodeGenOptions &cgo,
31 DiagnosticsEngine &diags)
32 : builder(mlirContext, *this), astContext(astContext),
33 langOpts(astContext.getLangOpts()),
34 theModule{mlir::ModuleOp::create(mlir::UnknownLoc::get(&mlirContext))},
35 diags(diags), target(astContext.getTargetInfo()), genTypes(*this) {
36
37 // Initialize cached types
38 SInt8Ty = cir::IntType::get(&getMLIRContext(), 8, /*isSigned=*/true);
39 SInt16Ty = cir::IntType::get(&getMLIRContext(), 16, /*isSigned=*/true);
40 SInt32Ty = cir::IntType::get(&getMLIRContext(), 32, /*isSigned=*/true);
41 SInt64Ty = cir::IntType::get(&getMLIRContext(), 64, /*isSigned=*/true);
42 SInt128Ty = cir::IntType::get(&getMLIRContext(), 128, /*isSigned=*/true);
43 UInt8Ty = cir::IntType::get(&getMLIRContext(), 8, /*isSigned=*/false);
44 UInt16Ty = cir::IntType::get(&getMLIRContext(), 16, /*isSigned=*/false);
45 UInt32Ty = cir::IntType::get(&getMLIRContext(), 32, /*isSigned=*/false);
46 UInt64Ty = cir::IntType::get(&getMLIRContext(), 64, /*isSigned=*/false);
47 UInt128Ty = cir::IntType::get(&getMLIRContext(), 128, /*isSigned=*/false);
48}
49
51 assert(cLoc.isValid() && "expected valid source location");
52 const SourceManager &sm = astContext.getSourceManager();
53 PresumedLoc pLoc = sm.getPresumedLoc(cLoc);
54 StringRef filename = pLoc.getFilename();
55 return mlir::FileLineColLoc::get(builder.getStringAttr(filename),
56 pLoc.getLine(), pLoc.getColumn());
57}
58
59mlir::Location CIRGenModule::getLoc(SourceRange cRange) {
60 assert(cRange.isValid() && "expected a valid source range");
61 mlir::Location begin = getLoc(cRange.getBegin());
62 mlir::Location end = getLoc(cRange.getEnd());
63 mlir::Attribute metadata;
64 return mlir::FusedLoc::get({begin, end}, metadata, builder.getContext());
65}
66
68 const auto *global = cast<ValueDecl>(gd.getDecl());
69
70 if (const auto *fd = dyn_cast<FunctionDecl>(global)) {
71 // Update deferred annotations with the latest declaration if the function
72 // was already used or defined.
73 if (fd->hasAttr<AnnotateAttr>())
74 errorNYI(fd->getSourceRange(), "deferredAnnotations");
75 if (!fd->doesThisDeclarationHaveABody()) {
76 if (!fd->doesDeclarationForceExternallyVisibleDefinition())
77 return;
78
79 errorNYI(fd->getSourceRange(),
80 "function declaration that forces code gen");
81 return;
82 }
83 } else {
84 assert(cast<VarDecl>(global)->isFileVarDecl() &&
85 "Cannot emit local var decl as global");
86 }
87
88 // TODO(CIR): Defer emitting some global definitions until later
90}
91
93 mlir::Operation *op) {
94 auto const *funcDecl = cast<FunctionDecl>(gd.getDecl());
95 if (clang::IdentifierInfo *identifier = funcDecl->getIdentifier()) {
96 auto funcOp = builder.create<cir::FuncOp>(
97 getLoc(funcDecl->getSourceRange()), identifier->getName());
98 theModule.push_back(funcOp);
99 } else {
100 errorNYI(funcDecl->getSourceRange().getBegin(),
101 "function definition with a non-identifier for a name");
102 }
103}
104
106 bool isTentative) {
107 mlir::Type type = getTypes().convertType(vd->getType());
108 if (clang::IdentifierInfo *identifier = vd->getIdentifier()) {
109 auto varOp = builder.create<cir::GlobalOp>(getLoc(vd->getSourceRange()),
110 identifier->getName(), type);
111 theModule.push_back(varOp);
112 } else {
114 "variable definition with a non-identifier for a name");
115 }
116}
117
119 mlir::Operation *op) {
120 const auto *decl = cast<ValueDecl>(gd.getDecl());
121 if (const auto *fd = dyn_cast<FunctionDecl>(decl)) {
122 // TODO(CIR): Skip generation of CIR for functions with available_externally
123 // linkage at -O0.
124
125 if (const auto *method = dyn_cast<CXXMethodDecl>(decl)) {
126 // Make sure to emit the definition(s) before we emit the thunks. This is
127 // necessary for the generation of certain thunks.
128 (void)method;
129 errorNYI(method->getSourceRange(), "member function");
130 return;
131 }
132
133 if (fd->isMultiVersion())
134 errorNYI(fd->getSourceRange(), "multiversion functions");
136 return;
137 }
138
139 if (const auto *vd = dyn_cast<VarDecl>(decl))
140 return emitGlobalVarDefinition(vd, !vd->hasDefinition());
141
142 llvm_unreachable("Invalid argument to CIRGenModule::emitGlobalDefinition");
143}
144
145// Emit code for a single top level declaration.
147
148 // Ignore dependent declarations.
149 if (decl->isTemplated())
150 return;
151
152 switch (decl->getKind()) {
153 default:
154 errorNYI(decl->getBeginLoc(), "declaration of kind",
155 decl->getDeclKindName());
156 break;
157
158 case Decl::Function: {
159 auto *fd = cast<FunctionDecl>(decl);
160 // Consteval functions shouldn't be emitted.
161 if (!fd->isConsteval())
162 emitGlobal(fd);
163 break;
164 }
165
166 case Decl::Var: {
167 auto *vd = cast<VarDecl>(decl);
168 emitGlobal(vd);
169 break;
170 }
171 }
172}
173
175 llvm::StringRef feature) {
176 unsigned diagID = diags.getCustomDiagID(
177 DiagnosticsEngine::Error, "ClangIR code gen Not Yet Implemented: %0");
178 return diags.Report(loc, diagID) << feature;
179}
180
182 llvm::StringRef feature) {
183 return errorNYI(loc.getBegin(), feature) << loc;
184}
Defines the clang::ASTContext interface.
Defines the SourceManager interface.
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
Definition: ASTContext.h:188
SourceManager & getSourceManager()
Definition: ASTContext.h:741
DiagnosticBuilder errorNYI(SourceLocation, llvm::StringRef)
Helpers to emit "not yet implemented" error diagnostics.
void emitTopLevelDecl(clang::Decl *decl)
void emitGlobalDefinition(clang::GlobalDecl gd, mlir::Operation *op=nullptr)
void emitGlobalVarDefinition(const clang::VarDecl *vd, bool isTentative=false)
CIRGenTypes & getTypes()
Definition: CIRGenModule.h:71
mlir::Location getLoc(clang::SourceLocation cLoc)
Helpers to convert the presumed location of Clang's SourceLocation to an MLIR Location.
mlir::MLIRContext & getMLIRContext()
Definition: CIRGenModule.h:72
void emitGlobal(clang::GlobalDecl gd)
Emit code for a single global function or variable declaration.
void emitGlobalFunctionDefinition(clang::GlobalDecl gd, mlir::Operation *op)
mlir::Type convertType(clang::QualType type)
Convert a Clang type into a mlir::Type.
Definition: CIRGenTypes.cpp:21
CodeGenOptions - Track various options which control how the code is optimized and passed to the back...
Decl - This represents one declaration (or definition), e.g.
Definition: DeclBase.h:86
A little helper class used to produce diagnostics.
Definition: Diagnostic.h:1220
Concrete class used by the front-end to report problems and issues.
Definition: Diagnostic.h:231
DiagnosticBuilder Report(SourceLocation Loc, unsigned DiagID)
Issue the message to the client.
Definition: Diagnostic.h:1493
unsigned getCustomDiagID(Level L, const char(&FormatString)[N])
Return an ID for a diagnostic with the specified format string and level.
Definition: Diagnostic.h:896
GlobalDecl - represents a global declaration.
Definition: GlobalDecl.h:56
const Decl * getDecl() const
Definition: GlobalDecl.h:103
One of these records is kept for each identifier that is lexed.
IdentifierInfo * getIdentifier() const
Get the identifier that names this declaration, if there is one.
Definition: Decl.h:274
Represents an unpacked "presumed" location which can be presented to the user.
unsigned getColumn() const
Return the presumed column number of this location.
const char * getFilename() const
Return the presumed filename of this location.
unsigned getLine() const
Return the presumed line number of this location.
Encodes a location in the source.
bool isValid() const
Return true if this is a valid SourceLocation object.
This class handles loading and caching of source files into memory.
PresumedLoc getPresumedLoc(SourceLocation Loc, bool UseLineDirectives=true) const
Returns the "presumed" location of a SourceLocation specifies.
A trivial tuple used to represent a source range.
SourceLocation getEnd() const
SourceLocation getBegin() const
bool isValid() const
QualType getType() const
Definition: Decl.h:682
Represents a variable declaration or definition.
Definition: Decl.h:882
SourceRange getSourceRange() const override LLVM_READONLY
Source range that this declaration covers.
Definition: Decl.cpp:2179
const internal::VariadicAllOfMatcher< Type > type
Matches Types in the clang AST.
const internal::VariadicAllOfMatcher< Decl > decl
Matches declarations.
The JSON file list parser is used to communicate input to InstallAPI.