1 //===--- FrontendOptions.h --------------------------------------*- C++ -*-===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 #ifndef LLVM_CLANG_FRONTEND_FRONTENDOPTIONS_H
11 #define LLVM_CLANG_FRONTEND_FRONTENDOPTIONS_H
13 #include "clang/Frontend/CommandLineSourceLoc.h"
14 #include "clang/Serialization/ModuleFileExtension.h"
15 #include "clang/Sema/CodeCompleteOptions.h"
16 #include "llvm/ADT/StringRef.h"
19 #include <unordered_map>
30 ASTDeclList, ///< Parse ASTs and list Decl nodes.
31 ASTDump, ///< Parse ASTs and dump them.
32 ASTPrint, ///< Parse ASTs and print them.
33 ASTView, ///< Parse ASTs and view them in Graphviz.
34 DumpRawTokens, ///< Dump out raw tokens.
35 DumpTokens, ///< Dump out preprocessed tokens.
36 EmitAssembly, ///< Emit a .s file.
37 EmitBC, ///< Emit a .bc file.
38 EmitHTML, ///< Translate input source into HTML.
39 EmitLLVM, ///< Emit a .ll file.
40 EmitLLVMOnly, ///< Generate LLVM IR, but do not emit anything.
41 EmitCodeGenOnly, ///< Generate machine code, but don't emit anything.
42 EmitObj, ///< Emit a .o file.
43 FixIt, ///< Parse and apply any fixits to the source.
44 GenerateModule, ///< Generate pre-compiled module from a module map.
45 GenerateModuleInterface,///< Generate pre-compiled module from a C++ module
47 GeneratePCH, ///< Generate pre-compiled header.
48 GeneratePTH, ///< Generate pre-tokenized header.
49 InitOnly, ///< Only execute frontend initialization.
50 ModuleFileInfo, ///< Dump information about a module file.
51 VerifyPCH, ///< Load and verify that a PCH file is usable.
52 ParseSyntaxOnly, ///< Parse and perform semantic analysis.
53 PluginAction, ///< Run a plugin action, \see ActionName.
54 PrintDeclContext, ///< Print DeclContext and their Decls.
55 PrintPreamble, ///< Print the "preamble" of the input file
56 PrintPreprocessedInput, ///< -E mode.
57 RewriteMacros, ///< Expand macros but not \#includes.
58 RewriteObjC, ///< ObjC->C Rewriter.
59 RewriteTest, ///< Rewriter playground
60 RunAnalysis, ///< Run one or more source code analyses.
61 MigrateSource, ///< Run migrator.
62 RunPreprocessorOnly ///< Just lex, no output.
66 /// The kind of a file that we've been handed as an input.
71 unsigned Preprocessed : 1;
74 /// The language for the input, used to select and validate the language
75 /// standard and possible actions.
79 /// Assembly: we accept this only so that we can preprocess it.
82 /// LLVM IR: we accept this so that we can run the optimizer on it,
83 /// and compile it to assembly or object code.
86 ///@{ Languages that the frontend can parse and compile.
97 /// The input file format.
104 constexpr InputKind(Language L = Unknown, Format F = Source,
106 : Lang(L), Fmt(F), Preprocessed(PP) {}
108 Language getLanguage() const { return static_cast<Language>(Lang); }
109 Format getFormat() const { return static_cast<Format>(Fmt); }
110 bool isPreprocessed() const { return Preprocessed; }
112 /// Is the input kind fully-unknown?
113 bool isUnknown() const { return Lang == Unknown && Fmt == Source; }
115 /// Is the language of the input some dialect of Objective-C?
116 bool isObjectiveC() const { return Lang == ObjC || Lang == ObjCXX; }
118 InputKind getPreprocessed() const {
119 return InputKind(getLanguage(), getFormat(), true);
121 InputKind withFormat(Format F) const {
122 return InputKind(getLanguage(), F, isPreprocessed());
126 /// \brief An input file for the front end.
127 class FrontendInputFile {
128 /// \brief The file name, or "-" to read from standard input.
131 llvm::MemoryBuffer *Buffer;
133 /// \brief The kind of input, e.g., C source, AST file, LLVM IR.
136 /// \brief Whether we're dealing with a 'system' input (vs. a 'user' input).
140 FrontendInputFile() : Buffer(nullptr), Kind(), IsSystem(false) { }
141 FrontendInputFile(StringRef File, InputKind Kind, bool IsSystem = false)
142 : File(File.str()), Buffer(nullptr), Kind(Kind), IsSystem(IsSystem) { }
143 FrontendInputFile(llvm::MemoryBuffer *buffer, InputKind Kind,
144 bool IsSystem = false)
145 : Buffer(buffer), Kind(Kind), IsSystem(IsSystem) { }
147 InputKind getKind() const { return Kind; }
148 bool isSystem() const { return IsSystem; }
150 bool isEmpty() const { return File.empty() && Buffer == nullptr; }
151 bool isFile() const { return !isBuffer(); }
152 bool isBuffer() const { return Buffer != nullptr; }
153 bool isPreprocessed() const { return Kind.isPreprocessed(); }
155 StringRef getFile() const {
159 llvm::MemoryBuffer *getBuffer() const {
165 /// FrontendOptions - Options for controlling the behavior of the frontend.
166 class FrontendOptions {
168 unsigned DisableFree : 1; ///< Disable memory freeing on exit.
169 unsigned RelocatablePCH : 1; ///< When generating PCH files,
170 /// instruct the AST writer to create
171 /// relocatable PCH files.
172 unsigned ShowHelp : 1; ///< Show the -help text.
173 unsigned ShowStats : 1; ///< Show frontend performance
174 /// metrics and statistics.
175 unsigned ShowTimers : 1; ///< Show timers for individual
177 unsigned ShowVersion : 1; ///< Show the -version text.
178 unsigned FixWhatYouCan : 1; ///< Apply fixes even if there are
179 /// unfixable errors.
180 unsigned FixOnlyWarnings : 1; ///< Apply fixes only for warnings.
181 unsigned FixAndRecompile : 1; ///< Apply fixes and recompile.
182 unsigned FixToTemporaries : 1; ///< Apply fixes to temporary files.
183 unsigned ARCMTMigrateEmitARCErrors : 1; /// Emit ARC errors even if the
184 /// migrator can fix them
185 unsigned SkipFunctionBodies : 1; ///< Skip over function bodies to
186 /// speed up parsing in cases you do
187 /// not need them (e.g. with code
189 unsigned UseGlobalModuleIndex : 1; ///< Whether we can use the
190 ///< global module index if available.
191 unsigned GenerateGlobalModuleIndex : 1; ///< Whether we can generate the
192 ///< global module index if needed.
193 unsigned ASTDumpDecls : 1; ///< Whether we include declaration
194 ///< dumps in AST dumps.
195 unsigned ASTDumpAll : 1; ///< Whether we deserialize all decls
196 ///< when forming AST dumps.
197 unsigned ASTDumpLookups : 1; ///< Whether we include lookup table
198 ///< dumps in AST dumps.
199 unsigned BuildingImplicitModule : 1; ///< Whether we are performing an
200 ///< implicit module build.
201 unsigned ModulesEmbedAllFiles : 1; ///< Whether we should embed all used
202 ///< files into the PCM file.
203 unsigned IncludeTimestamps : 1; ///< Whether timestamps should be
204 ///< written to the produced PCH file.
206 CodeCompleteOptions CodeCompleteOpts;
217 /// \brief Enable migration to modern ObjC literals.
218 ObjCMT_Literals = 0x1,
219 /// \brief Enable migration to modern ObjC subscripting.
220 ObjCMT_Subscripting = 0x2,
221 /// \brief Enable migration to modern ObjC readonly property.
222 ObjCMT_ReadonlyProperty = 0x4,
223 /// \brief Enable migration to modern ObjC readwrite property.
224 ObjCMT_ReadwriteProperty = 0x8,
225 /// \brief Enable migration to modern ObjC property.
226 ObjCMT_Property = (ObjCMT_ReadonlyProperty | ObjCMT_ReadwriteProperty),
227 /// \brief Enable annotation of ObjCMethods of all kinds.
228 ObjCMT_Annotation = 0x10,
229 /// \brief Enable migration of ObjC methods to 'instancetype'.
230 ObjCMT_Instancetype = 0x20,
231 /// \brief Enable migration to NS_ENUM/NS_OPTIONS macros.
232 ObjCMT_NsMacros = 0x40,
233 /// \brief Enable migration to add conforming protocols.
234 ObjCMT_ProtocolConformance = 0x80,
235 /// \brief prefer 'atomic' property over 'nonatomic'.
236 ObjCMT_AtomicProperty = 0x100,
237 /// \brief annotate property with NS_RETURNS_INNER_POINTER
238 ObjCMT_ReturnsInnerPointerProperty = 0x200,
239 /// \brief use NS_NONATOMIC_IOSONLY for property 'atomic' attribute
240 ObjCMT_NsAtomicIOSOnlyProperty = 0x400,
241 /// \brief Enable inferring NS_DESIGNATED_INITIALIZER for ObjC methods.
242 ObjCMT_DesignatedInitializer = 0x800,
243 /// \brief Enable converting setter/getter expressions to property-dot syntx.
244 ObjCMT_PropertyDotSyntax = 0x1000,
245 ObjCMT_MigrateDecls = (ObjCMT_ReadonlyProperty | ObjCMT_ReadwriteProperty |
246 ObjCMT_Annotation | ObjCMT_Instancetype |
247 ObjCMT_NsMacros | ObjCMT_ProtocolConformance |
248 ObjCMT_NsAtomicIOSOnlyProperty |
249 ObjCMT_DesignatedInitializer),
250 ObjCMT_MigrateAll = (ObjCMT_Literals | ObjCMT_Subscripting |
251 ObjCMT_MigrateDecls | ObjCMT_PropertyDotSyntax)
253 unsigned ObjCMTAction;
254 std::string ObjCMTWhiteListPath;
256 std::string MTMigrateDir;
257 std::string ARCMTMigrateReportOut;
259 /// The input files and their types.
260 std::vector<FrontendInputFile> Inputs;
262 /// When the input is a module map, the original module map file from which
263 /// that map was inferred, if any (for umbrella modules).
264 std::string OriginalModuleMap;
266 /// The output file, if any.
267 std::string OutputFile;
269 /// If given, the new suffix for fix-it rewritten files.
270 std::string FixItSuffix;
272 /// If given, filter dumped AST Decl nodes by this substring.
273 std::string ASTDumpFilter;
275 /// If given, enable code completion at the provided location.
276 ParsedSourceLocation CodeCompletionAt;
278 /// The frontend action to perform.
279 frontend::ActionKind ProgramAction;
281 /// The name of the action to run when using a plugin action.
282 std::string ActionName;
284 /// Args to pass to the plugins
285 std::unordered_map<std::string,std::vector<std::string>> PluginArgs;
287 /// The list of plugin actions to run in addition to the normal action.
288 std::vector<std::string> AddPluginActions;
290 /// The list of plugins to load.
291 std::vector<std::string> Plugins;
293 /// The list of module file extensions.
294 std::vector<std::shared_ptr<ModuleFileExtension>> ModuleFileExtensions;
296 /// \brief The list of module map files to load before processing the input.
297 std::vector<std::string> ModuleMapFiles;
299 /// \brief The list of additional prebuilt module files to load before
300 /// processing the input.
301 std::vector<std::string> ModuleFiles;
303 /// \brief The list of files to embed into the compiled module file.
304 std::vector<std::string> ModulesEmbedFiles;
306 /// \brief The list of AST files to merge.
307 std::vector<std::string> ASTMergeFiles;
309 /// \brief A list of arguments to forward to LLVM's option processing; this
310 /// should only be used for debugging and experimental features.
311 std::vector<std::string> LLVMArgs;
313 /// \brief File name of the file that will provide record layouts
314 /// (in the format produced by -fdump-record-layouts).
315 std::string OverrideRecordLayoutsFile;
317 /// \brief Auxiliary triple for CUDA compilation.
318 std::string AuxTriple;
320 /// \brief If non-empty, search the pch input file as if it was a header
321 /// included by this file.
322 std::string FindPchSource;
324 /// Filename to write statistics to.
325 std::string StatsFile;
329 DisableFree(false), RelocatablePCH(false), ShowHelp(false),
330 ShowStats(false), ShowTimers(false), ShowVersion(false),
331 FixWhatYouCan(false), FixOnlyWarnings(false), FixAndRecompile(false),
332 FixToTemporaries(false), ARCMTMigrateEmitARCErrors(false),
333 SkipFunctionBodies(false), UseGlobalModuleIndex(true),
334 GenerateGlobalModuleIndex(true), ASTDumpDecls(false), ASTDumpLookups(false),
335 BuildingImplicitModule(false), ModulesEmbedAllFiles(false),
336 IncludeTimestamps(true), ARCMTAction(ARCMT_None),
337 ObjCMTAction(ObjCMT_None), ProgramAction(frontend::ParseSyntaxOnly)
340 /// getInputKindForExtension - Return the appropriate input kind for a file
341 /// extension. For example, "c" would return InputKind::C.
343 /// \return The input kind for the extension, or InputKind::Unknown if the
344 /// extension is not recognized.
345 static InputKind getInputKindForExtension(StringRef Extension);
348 } // end namespace clang