FLANG
CompilerInstance.h
1//===-- CompilerInstance.h - Flang Compiler Instance ------------*- C++ -*-===//
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// Coding style: https://mlir.llvm.org/getting_started/DeveloperGuide/
10//
11//===----------------------------------------------------------------------===//
12
13#ifndef FORTRAN_FRONTEND_COMPILERINSTANCE_H
14#define FORTRAN_FRONTEND_COMPILERINSTANCE_H
15
16#include "flang/Frontend/CompilerInvocation.h"
18#include "flang/Frontend/ParserActions.h"
20#include "flang/Semantics/runtime-type-info.h"
21#include "flang/Semantics/semantics.h"
22#include "flang/Support/StringOstream.h"
23#include "llvm/Plugins/PassPlugin.h"
24#include "llvm/Support/raw_ostream.h"
25#include "llvm/Target/TargetMachine.h"
26
27namespace Fortran::frontend {
28
44class CompilerInstance {
45
47 std::shared_ptr<CompilerInvocation> invocation;
48
50 std::shared_ptr<Fortran::parser::AllSources> allSources;
51
52 std::shared_ptr<Fortran::parser::AllCookedSources> allCookedSources;
53
54 std::shared_ptr<Fortran::parser::Parsing> parsing;
55
56 std::unique_ptr<Fortran::semantics::Semantics> semantics;
57
58 std::unique_ptr<Fortran::semantics::RuntimeDerivedTypeTables> rtTyTables;
59
60 std::unique_ptr<Fortran::semantics::SemanticsContext> semaContext;
61
62 std::unique_ptr<llvm::TargetMachine> targetMachine;
63
65 std::vector<std::unique_ptr<llvm::PassPlugin>> passPlugins;
66
68 llvm::raw_ostream *semaOutputStream = &llvm::errs();
69
71 std::unique_ptr<llvm::raw_ostream> ownedSemaOutputStream;
72
74 llvm::IntrusiveRefCntPtr<clang::DiagnosticsEngine> diagnostics;
75
77 struct OutputFile {
78 std::string filename;
79 OutputFile(std::string inputFilename)
80 : filename(std::move(inputFilename)) {}
81 };
82
84 std::list<OutputFile> outputFiles;
85
90 std::unique_ptr<llvm::raw_pwrite_stream> outputStream;
91
96 mlir::DefaultTimingManager timingMgr;
97
100 mlir::TimingScope timingScopeRoot;
101
108 std::unique_ptr<Fortran::support::string_ostream> timingStreamMLIR;
109 std::unique_ptr<Fortran::support::string_ostream> timingStreamLLVM;
110 std::unique_ptr<Fortran::support::string_ostream> timingStreamCodeGen;
112
113public:
114 CompilerInstance();
115 explicit CompilerInstance(std::shared_ptr<CompilerInvocation> invocation);
116
117 ~CompilerInstance();
118
121
122 CompilerInvocation &getInvocation() { return *invocation; };
123
127
129 Fortran::parser::AllSources &getAllSources() const { return *allSources; }
130
131 bool hasAllSources() const { return allSources != nullptr; }
132
133 parser::AllCookedSources &getAllCookedSources() {
134 assert(allCookedSources && "Compiler instance has no AllCookedSources!");
135 return *allCookedSources;
136 };
137
141
143 Fortran::parser::Parsing &getParsing() const { return *parsing; }
144
148
149 Fortran::semantics::SemanticsContext &createNewSemanticsContext() {
150 semaContext =
151 getInvocation().getSemanticsCtx(*allCookedSources, getTargetMachine());
152 return *semaContext;
153 }
154
155 Fortran::semantics::SemanticsContext &getSemanticsContext() {
156 return *semaContext;
157 }
158 const Fortran::semantics::SemanticsContext &getSemanticsContext() const {
159 return *semaContext;
160 }
161
163 void setSemaOutputStream(llvm::raw_ostream &value);
164
166 void setSemaOutputStream(std::unique_ptr<llvm::raw_ostream> value);
167
169 llvm::raw_ostream &getSemaOutputStream() { return *semaOutputStream; }
170
171 Fortran::semantics::Semantics &getSemantics() { return *semantics; }
172 const Fortran::semantics::Semantics &getSemantics() const {
173 return *semantics;
174 }
175
176 void setSemantics(std::unique_ptr<Fortran::semantics::Semantics> sema) {
177 semantics = std::move(sema);
178 }
179
180 void setRtTyTables(
181 std::unique_ptr<Fortran::semantics::RuntimeDerivedTypeTables> tables) {
182 rtTyTables = std::move(tables);
183 }
184
185 Fortran::semantics::RuntimeDerivedTypeTables &getRtTyTables() {
186 assert(rtTyTables && "Missing runtime derived type tables!");
187 return *rtTyTables;
188 }
189
193
198 bool executeAction(FrontendAction &act);
199
203
204 clang::DiagnosticOptions &getDiagnosticOpts() {
205 return invocation->getDiagnosticOpts();
206 }
207 const clang::DiagnosticOptions &getDiagnosticOpts() const {
208 return invocation->getDiagnosticOpts();
209 }
210
211 FrontendOptions &getFrontendOpts() { return invocation->getFrontendOpts(); }
212 const FrontendOptions &getFrontendOpts() const {
213 return invocation->getFrontendOpts();
214 }
215
216 PreprocessorOptions &preprocessorOpts() {
217 return invocation->getPreprocessorOpts();
218 }
219 const PreprocessorOptions &preprocessorOpts() const {
220 return invocation->getPreprocessorOpts();
221 }
222
226
227 bool hasDiagnostics() const { return diagnostics != nullptr; }
228
230 clang::DiagnosticsEngine &getDiagnostics() const {
231 assert(diagnostics && "Compiler instance has no diagnostics!");
232 return *diagnostics;
233 }
234
235 clang::DiagnosticConsumer &getDiagnosticClient() const {
236 assert(diagnostics && diagnostics->getClient() &&
237 "Compiler instance has no diagnostic client!");
238 return *diagnostics->getClient();
239 }
240
244
246 void clearOutputFiles(bool eraseFiles);
247
259 std::unique_ptr<llvm::raw_pwrite_stream>
260 createDefaultOutputFile(bool binary = true, llvm::StringRef baseInput = "",
261 llvm::StringRef extension = "");
262
266
267 void addPassPlugin(std::unique_ptr<llvm::PassPlugin> plugin) {
268 passPlugins.emplace_back(std::move(plugin));
269 }
270
272 return passPlugins;
273 }
274
278
280 const llvm::TargetMachine &getTargetMachine() const {
281 assert(targetMachine && "target machine was not set");
282 return *targetMachine;
283 }
284 llvm::TargetMachine &getTargetMachine() {
285 assert(targetMachine && "target machine was not set");
286 return *targetMachine;
287 }
288
290 bool setUpTargetMachine();
291
293 std::string getTargetFeatures();
294
298 bool isTimingEnabled() const { return timingMgr.isEnabled(); }
299
300 mlir::DefaultTimingManager &getTimingManager() { return timingMgr; }
301 const mlir::DefaultTimingManager &getTimingManager() const {
302 return timingMgr;
303 }
304
305 mlir::TimingScope &getTimingScopeRoot() { return timingScopeRoot; }
306 const mlir::TimingScope &getTimingScopeRoot() const {
307 return timingScopeRoot;
308 }
309
311 llvm::raw_ostream &getTimingStreamMLIR() {
312 assert(timingStreamMLIR && "Timing stream for MLIR was not set");
313 return *timingStreamMLIR;
314 }
315
317 llvm::raw_ostream &getTimingStreamLLVM() {
318 assert(timingStreamLLVM && "Timing stream for LLVM was not set");
319 return *timingStreamLLVM;
320 }
321
325 llvm::raw_ostream &getTimingStreamCodeGen() {
326 assert(timingStreamCodeGen && "Timing stream for codegen was not set");
327 return *timingStreamCodeGen;
328 }
329
330
331private:
337 llvm::Expected<std::unique_ptr<llvm::raw_pwrite_stream>>
338 createOutputFileImpl(llvm::StringRef outputPath, bool binary);
339
340public:
344
360 static clang::IntrusiveRefCntPtr<clang::DiagnosticsEngine>
361 createDiagnostics(clang::DiagnosticOptions &opts,
362 clang::DiagnosticConsumer *client = nullptr,
363 bool shouldOwnClient = true);
364 void createDiagnostics(clang::DiagnosticConsumer *client = nullptr,
365 bool shouldOwnClient = true);
366
370 void setOutputStream(std::unique_ptr<llvm::raw_pwrite_stream> outStream) {
371 outputStream = std::move(outStream);
372 }
373
374 bool isOutputStreamNull() { return (outputStream == nullptr); }
375
376 // Allow the frontend compiler to write in the output stream.
377 void writeOutputStream(const std::string &message) {
378 *outputStream << message;
379 }
380
382 llvm::raw_pwrite_stream &getOutputStream() {
383 assert(outputStream &&
384 "Compiler instance has no user-specified output stream!");
385 return *outputStream;
386 }
387};
388
389} // end namespace Fortran::frontend
390#endif // FORTRAN_FRONTEND_COMPILERINSTANCE_H
clang::DiagnosticsEngine & getDiagnostics() const
Get the current diagnostics engine.
Definition CompilerInstance.h:230
llvm::raw_pwrite_stream & getOutputStream()
Get the user specified output stream.
Definition CompilerInstance.h:382
Fortran::parser::AllSources & getAllSources() const
Return the current allSources.
Definition CompilerInstance.h:129
static clang::IntrusiveRefCntPtr< clang::DiagnosticsEngine > createDiagnostics(clang::DiagnosticOptions &opts, clang::DiagnosticConsumer *client=nullptr, bool shouldOwnClient=true)
Definition CompilerInstance.cpp:233
llvm::raw_ostream & getTimingStreamMLIR()
Get the timing stream for the MLIR pass manager.
Definition CompilerInstance.h:311
bool setUpTargetMachine()
Sets up LLVM's TargetMachine.
Definition CompilerInstance.cpp:359
const llvm::TargetMachine & getTargetMachine() const
Get the target machine.
Definition CompilerInstance.h:280
llvm::raw_ostream & getTimingStreamCodeGen()
Definition CompilerInstance.h:325
void clearOutputFiles(bool eraseFiles)
Clear the output file list.
Definition CompilerInstance.cpp:144
bool executeAction(FrontendAction &act)
Definition CompilerInstance.cpp:152
std::string getTargetFeatures()
Produces the string which represents target feature.
Definition CompilerInstance.cpp:335
void setSemaOutputStream(llvm::raw_ostream &value)
Replace the current stream for verbose output.
llvm::raw_ostream & getTimingStreamLLVM()
Get the timing stream for the new LLVM pass manager.
Definition CompilerInstance.h:317
std::unique_ptr< llvm::raw_pwrite_stream > createDefaultOutputFile(bool binary=true, llvm::StringRef baseInput="", llvm::StringRef extension="")
Definition CompilerInstance.cpp:93
llvm::raw_ostream & getSemaOutputStream()
Get the current stream for verbose output.
Definition CompilerInstance.h:169
Fortran::parser::Parsing & getParsing() const
Return parsing to be used by Actions.
Definition CompilerInstance.h:143
void setSemaOutputStream(std::unique_ptr< llvm::raw_ostream > value)
Replace the current stream for verbose output.
Definition CompilerInvocation.h:67
std::unique_ptr< Fortran::semantics::SemanticsContext > getSemanticsCtx(Fortran::parser::AllCookedSources &allCookedSources, const llvm::TargetMachine &)
Creates and configures semantics context based on the compilation flags.
Definition CompilerInvocation.cpp:2067
Definition provenance.h:286
Definition provenance.h:139
Definition parsing.h:25
Definition semantics.h:67
Definition semantics.h:460
Definition FIRType.h:106