blob: 0ad7efbc4839d50806bc7299e1b554f09187d443 [file] [log] [blame]
Reid Spencer5f016e22007-07-11 17:01:13 +00001//===--- clang.cpp - C-Language Front-end ---------------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner0bc735f2007-12-29 19:59:25 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Reid Spencer5f016e22007-07-11 17:01:13 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This utility may be invoked in the following manner:
11// clang --help - Output help info.
12// clang [options] - Read from stdin.
13// clang [options] file - Read from "file".
14// clang [options] file1 file2 - Read these files.
15//
16//===----------------------------------------------------------------------===//
17//
18// TODO: Options to support:
19//
Chris Lattnerdddaa9c2009-02-18 01:17:01 +000020// -Wfatal-errors
Reid Spencer5f016e22007-07-11 17:01:13 +000021// -ftabstop=width
22//
23//===----------------------------------------------------------------------===//
24
Eli Friedman0ec78fa2009-05-19 21:10:40 +000025#include "clang/Frontend/AnalysisConsumer.h"
Eli Friedman8ceb0d92009-05-18 23:02:01 +000026#include "clang/Frontend/ASTConsumers.h"
Daniel Dunbaraca2ebd2009-09-17 00:48:13 +000027#include "clang/Frontend/ASTUnit.h"
Daniel Dunbare1bd4e62009-03-02 06:16:29 +000028#include "clang/Frontend/CompileOptions.h"
Douglas Gregor558cb562009-04-02 01:08:08 +000029#include "clang/Frontend/FixItRewriter.h"
Daniel Dunbar50f4f462009-03-12 10:14:16 +000030#include "clang/Frontend/FrontendDiagnostic.h"
Daniel Dunbare1bd4e62009-03-02 06:16:29 +000031#include "clang/Frontend/InitHeaderSearch.h"
Chris Lattnere116ccf2009-04-21 05:40:52 +000032#include "clang/Frontend/InitPreprocessor.h"
Daniel Dunbar50f4f462009-03-12 10:14:16 +000033#include "clang/Frontend/PathDiagnosticClients.h"
Douglas Gregor2cf26342009-04-09 22:27:44 +000034#include "clang/Frontend/PCHReader.h"
Daniel Dunbare1bd4e62009-03-02 06:16:29 +000035#include "clang/Frontend/TextDiagnosticBuffer.h"
36#include "clang/Frontend/TextDiagnosticPrinter.h"
Argyrios Kyrtzidis34d25d82009-06-23 22:01:39 +000037#include "clang/Frontend/CommandLineSourceLoc.h"
Eli Friedmanb09f6e12009-05-19 04:14:29 +000038#include "clang/Frontend/Utils.h"
Ted Kremenek88f5cde2008-03-27 06:17:42 +000039#include "clang/Analysis/PathDiagnostic.h"
Chris Lattner8ee3c032008-02-06 02:01:47 +000040#include "clang/CodeGen/ModuleBuilder.h"
Douglas Gregor81b747b2009-09-17 21:32:03 +000041#include "clang/Sema/CodeCompleteConsumer.h"
Chris Lattnere91c1342008-02-06 00:23:21 +000042#include "clang/Sema/ParseAST.h"
Chris Lattner88eccaf2009-01-29 06:55:46 +000043#include "clang/Sema/SemaDiagnostic.h"
Chris Lattner556beb72007-09-15 22:56:56 +000044#include "clang/AST/ASTConsumer.h"
Chris Lattner1266eca2009-03-28 04:31:31 +000045#include "clang/AST/ASTContext.h"
46#include "clang/AST/Decl.h"
Chris Lattner682bf922009-03-29 16:50:03 +000047#include "clang/AST/DeclGroup.h"
Reid Spencer5f016e22007-07-11 17:01:13 +000048#include "clang/Parse/Parser.h"
49#include "clang/Lex/HeaderSearch.h"
Chris Lattnerdb766842009-02-06 04:16:41 +000050#include "clang/Lex/LexDiagnostic.h"
Reid Spencer5f016e22007-07-11 17:01:13 +000051#include "clang/Basic/FileManager.h"
52#include "clang/Basic/SourceManager.h"
53#include "clang/Basic/TargetInfo.h"
Daniel Dunbaraa338bc2009-05-06 04:07:06 +000054#include "clang/Basic/Version.h"
Owen Anderson42253cc2009-07-01 17:00:06 +000055#include "llvm/LLVMContext.h"
Chris Lattnerba0f25f2008-09-30 20:16:56 +000056#include "llvm/ADT/OwningPtr.h"
Chris Lattner8f3dab82007-12-15 23:20:07 +000057#include "llvm/ADT/SmallPtrSet.h"
Chris Lattnerba0f25f2008-09-30 20:16:56 +000058#include "llvm/ADT/StringExtras.h"
Daniel Dunbar868bd0a2009-05-06 03:16:41 +000059#include "llvm/ADT/StringMap.h"
Chris Lattnerb8e240e2009-04-08 18:24:34 +000060#include "llvm/ADT/STLExtras.h"
Chris Lattnerba0f25f2008-09-30 20:16:56 +000061#include "llvm/Config/config.h"
Reid Spencer5f016e22007-07-11 17:01:13 +000062#include "llvm/Support/CommandLine.h"
Daniel Dunbar70121eb2009-08-10 03:40:28 +000063#include "llvm/Support/ErrorHandling.h"
Daniel Dunbar524b86f2008-10-28 00:38:08 +000064#include "llvm/Support/ManagedStatic.h"
Reid Spencer5f016e22007-07-11 17:01:13 +000065#include "llvm/Support/MemoryBuffer.h"
Zhongxing Xu20922362008-11-26 05:23:17 +000066#include "llvm/Support/PluginLoader.h"
Chris Lattner09e94a32009-03-04 21:41:39 +000067#include "llvm/Support/PrettyStackTrace.h"
Chris Lattner47099742009-02-18 01:51:21 +000068#include "llvm/Support/Timer.h"
Chris Lattner0fa0daa2009-08-24 04:11:30 +000069#include "llvm/Support/raw_ostream.h"
Daniel Dunbare553a722008-10-02 01:21:33 +000070#include "llvm/System/Host.h"
Chris Lattnerdcaa0962008-03-03 03:16:03 +000071#include "llvm/System/Path.h"
Douglas Gregor44cf08e2009-05-03 03:52:38 +000072#include "llvm/System/Process.h"
Eli Friedman66d6f042009-05-18 22:20:00 +000073#include "llvm/System/Program.h"
Chris Lattnerba0f25f2008-09-30 20:16:56 +000074#include "llvm/System/Signals.h"
Chris Lattner2fe11942009-06-17 17:25:50 +000075#include "llvm/Target/TargetSelect.h"
Douglas Gregor26df2f02009-04-02 19:05:20 +000076#include <cstdlib>
Douglas Gregor44cf08e2009-05-03 03:52:38 +000077#if HAVE_SYS_TYPES_H
Douglas Gregor68a0d782009-05-02 00:03:46 +000078# include <sys/types.h>
79#endif
Douglas Gregor26df2f02009-04-02 19:05:20 +000080
Reid Spencer5f016e22007-07-11 17:01:13 +000081using namespace clang;
82
83//===----------------------------------------------------------------------===//
Douglas Gregor26df2f02009-04-02 19:05:20 +000084// Source Location Parser
85//===----------------------------------------------------------------------===//
86
Argyrios Kyrtzidis34d25d82009-06-23 22:01:39 +000087static bool ResolveParsedLocation(ParsedSourceLocation &ParsedLoc,
88 FileManager &FileMgr,
89 RequestedSourceLocation &Result) {
90 const FileEntry *File = FileMgr.getFile(ParsedLoc.FileName);
Douglas Gregor26df2f02009-04-02 19:05:20 +000091 if (!File)
92 return true;
93
94 Result.File = File;
Argyrios Kyrtzidis34d25d82009-06-23 22:01:39 +000095 Result.Line = ParsedLoc.Line;
96 Result.Column = ParsedLoc.Column;
Douglas Gregor26df2f02009-04-02 19:05:20 +000097 return false;
98}
99
Douglas Gregor26df2f02009-04-02 19:05:20 +0000100//===----------------------------------------------------------------------===//
Reid Spencer5f016e22007-07-11 17:01:13 +0000101// Global options.
102//===----------------------------------------------------------------------===//
103
Chris Lattner47099742009-02-18 01:51:21 +0000104/// ClangFrontendTimer - The front-end activities should charge time to it with
105/// TimeRegion. The -ftime-report option controls whether this will do
106/// anything.
107llvm::Timer *ClangFrontendTimer = 0;
108
Daniel Dunbard3db4012008-10-16 16:54:18 +0000109static bool HadErrors = false;
Daniel Dunbarb0adbba2008-10-04 23:42:49 +0000110
Reid Spencer5f016e22007-07-11 17:01:13 +0000111static llvm::cl::opt<bool>
112Verbose("v", llvm::cl::desc("Enable verbose output"));
113static llvm::cl::opt<bool>
Mike Stump1eb44332009-09-09 15:08:12 +0000114Stats("print-stats",
Nate Begemanaabbb122007-12-30 01:38:50 +0000115 llvm::cl::desc("Print performance metrics and statistics"));
Daniel Dunbard3db4012008-10-16 16:54:18 +0000116static llvm::cl::opt<bool>
117DisableFree("disable-free",
118 llvm::cl::desc("Disable freeing of memory on exit"),
119 llvm::cl::init(false));
Daniel Dunbar57cbfc02009-04-27 21:19:07 +0000120static llvm::cl::opt<bool>
Mike Stump1eb44332009-09-09 15:08:12 +0000121EmptyInputOnly("empty-input-only",
Daniel Dunbar57cbfc02009-04-27 21:19:07 +0000122 llvm::cl::desc("Force running on an empty input file"));
Reid Spencer5f016e22007-07-11 17:01:13 +0000123
124enum ProgActions {
Steve Naroffb29b4272008-04-14 22:03:09 +0000125 RewriteObjC, // ObjC->C Rewriter.
Steve Naroff13188952008-09-18 14:10:13 +0000126 RewriteBlocks, // ObjC->C Rewriter for Blocks.
Chris Lattnerb57e3d42008-05-08 06:52:13 +0000127 RewriteMacros, // Expand macros but not #includes.
Chris Lattnerb13c5ee2008-10-12 05:29:20 +0000128 RewriteTest, // Rewriter playground
Douglas Gregor558cb562009-04-02 01:08:08 +0000129 FixIt, // Fix-It Rewriter
Ted Kremenek13e479b2008-03-19 07:53:42 +0000130 HTMLTest, // HTML displayer testing stuff.
Daniel Dunbard69bacc2008-10-21 23:49:24 +0000131 EmitAssembly, // Emit a .s file.
Reid Spencer5f016e22007-07-11 17:01:13 +0000132 EmitLLVM, // Emit a .ll file.
Seo Sanghyeonfe947ad2007-12-24 01:52:34 +0000133 EmitBC, // Emit a .bc file.
Mike Stump1eb44332009-09-09 15:08:12 +0000134 EmitLLVMOnly, // Generate LLVM IR, but do not
Ted Kremenek6a340832008-03-18 21:19:49 +0000135 EmitHTML, // Translate input source into HTML.
Chris Lattner3b427b32007-10-11 00:18:28 +0000136 ASTPrint, // Parse ASTs and print them.
Douglas Gregoree75c052009-05-21 20:55:50 +0000137 ASTPrintXML, // Parse ASTs and print them in XML.
Chris Lattner3b427b32007-10-11 00:18:28 +0000138 ASTDump, // Parse ASTs and dump them.
139 ASTView, // Parse ASTs and view them in Graphviz.
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000140 PrintDeclContext, // Print DeclContext and their Decls.
Anders Carlsson78762eb2009-09-24 18:54:49 +0000141 DumpRecordLayouts, // Dump record layout information.
Reid Spencer5f016e22007-07-11 17:01:13 +0000142 ParsePrintCallbacks, // Parse and print each callback.
143 ParseSyntaxOnly, // Parse and perform semantic analysis.
144 ParseNoop, // Parse with noop callbacks.
145 RunPreprocessorOnly, // Just lex, no output.
146 PrintPreprocessedInput, // -E mode.
Chris Lattnerc106c102008-10-12 05:03:36 +0000147 DumpTokens, // Dump out preprocessed tokens.
148 DumpRawTokens, // Dump out raw tokens.
Mike Stump1eb44332009-09-09 15:08:12 +0000149 RunAnalysis, // Run one or more source code analyses.
Douglas Gregorbf1bd6e2009-04-02 23:43:50 +0000150 GeneratePTH, // Generate pre-tokenized header.
Douglas Gregor2cf26342009-04-09 22:27:44 +0000151 GeneratePCH, // Generate pre-compiled header.
Ted Kremenek7cae2f62008-10-23 23:36:29 +0000152 InheritanceView // View C++ inheritance for a specified class.
Reid Spencer5f016e22007-07-11 17:01:13 +0000153};
154
Mike Stump1eb44332009-09-09 15:08:12 +0000155static llvm::cl::opt<ProgActions>
Reid Spencer5f016e22007-07-11 17:01:13 +0000156ProgAction(llvm::cl::desc("Choose output type:"), llvm::cl::ZeroOrMore,
157 llvm::cl::init(ParseSyntaxOnly),
158 llvm::cl::values(
159 clEnumValN(RunPreprocessorOnly, "Eonly",
160 "Just run preprocessor, no output (for timings)"),
161 clEnumValN(PrintPreprocessedInput, "E",
162 "Run preprocessor, emit preprocessed file"),
Chris Lattnerc106c102008-10-12 05:03:36 +0000163 clEnumValN(DumpRawTokens, "dump-raw-tokens",
164 "Lex file in raw mode and dump raw tokens"),
Daniel Dunbard4270232009-01-20 23:17:32 +0000165 clEnumValN(RunAnalysis, "analyze",
166 "Run static analysis engine"),
Chris Lattnerc106c102008-10-12 05:03:36 +0000167 clEnumValN(DumpTokens, "dump-tokens",
Reid Spencer5f016e22007-07-11 17:01:13 +0000168 "Run preprocessor, dump internal rep of tokens"),
169 clEnumValN(ParseNoop, "parse-noop",
170 "Run parser with noop callbacks (for timings)"),
171 clEnumValN(ParseSyntaxOnly, "fsyntax-only",
172 "Run parser and perform semantic analysis"),
173 clEnumValN(ParsePrintCallbacks, "parse-print-callbacks",
174 "Run parser and print each callback invoked"),
Ted Kremenek6a340832008-03-18 21:19:49 +0000175 clEnumValN(EmitHTML, "emit-html",
176 "Output input source as HTML"),
Chris Lattner3b427b32007-10-11 00:18:28 +0000177 clEnumValN(ASTPrint, "ast-print",
178 "Build ASTs and then pretty-print them"),
Douglas Gregoree75c052009-05-21 20:55:50 +0000179 clEnumValN(ASTPrintXML, "ast-print-xml",
180 "Build ASTs and then print them in XML format"),
Chris Lattner3b427b32007-10-11 00:18:28 +0000181 clEnumValN(ASTDump, "ast-dump",
182 "Build ASTs and then debug dump them"),
Chris Lattnerea254db2007-10-11 00:37:43 +0000183 clEnumValN(ASTView, "ast-view",
Sanjiv Gupta56cf96b2008-05-08 08:28:14 +0000184 "Build ASTs and view them with GraphViz"),
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000185 clEnumValN(PrintDeclContext, "print-decl-contexts",
Ted Kremenek08478eb2009-04-01 00:23:28 +0000186 "Print DeclContexts and their Decls"),
Anders Carlsson78762eb2009-09-24 18:54:49 +0000187 clEnumValN(DumpRecordLayouts, "dump-record-layouts",
188 "Dump record layout information"),
Douglas Gregorbf1bd6e2009-04-02 23:43:50 +0000189 clEnumValN(GeneratePTH, "emit-pth",
Ted Kremenek08478eb2009-04-01 00:23:28 +0000190 "Generate pre-tokenized header file"),
Douglas Gregor2cf26342009-04-09 22:27:44 +0000191 clEnumValN(GeneratePCH, "emit-pch",
192 "Generate pre-compiled header file"),
Daniel Dunbard69bacc2008-10-21 23:49:24 +0000193 clEnumValN(EmitAssembly, "S",
194 "Emit native assembly code"),
Reid Spencer5f016e22007-07-11 17:01:13 +0000195 clEnumValN(EmitLLVM, "emit-llvm",
Ted Kremenek27b07c52007-09-06 21:26:58 +0000196 "Build ASTs then convert to LLVM, emit .ll file"),
Seo Sanghyeonfe947ad2007-12-24 01:52:34 +0000197 clEnumValN(EmitBC, "emit-llvm-bc",
198 "Build ASTs then convert to LLVM, emit .bc file"),
Daniel Dunbare8e26002009-02-26 22:39:37 +0000199 clEnumValN(EmitLLVMOnly, "emit-llvm-only",
200 "Build ASTs and convert to LLVM, discarding output"),
Chris Lattnerb13c5ee2008-10-12 05:29:20 +0000201 clEnumValN(RewriteTest, "rewrite-test",
202 "Rewriter playground"),
Steve Naroffb29b4272008-04-14 22:03:09 +0000203 clEnumValN(RewriteObjC, "rewrite-objc",
Chris Lattnerb57e3d42008-05-08 06:52:13 +0000204 "Rewrite ObjC into C (code rewriter example)"),
205 clEnumValN(RewriteMacros, "rewrite-macros",
206 "Expand macros without full preprocessing"),
Steve Naroff13188952008-09-18 14:10:13 +0000207 clEnumValN(RewriteBlocks, "rewrite-blocks",
208 "Rewrite Blocks to C"),
Douglas Gregor558cb562009-04-02 01:08:08 +0000209 clEnumValN(FixIt, "fixit",
210 "Apply fix-it advice to the input source"),
Reid Spencer5f016e22007-07-11 17:01:13 +0000211 clEnumValEnd));
212
Ted Kremenekccc76472007-12-19 19:47:59 +0000213
214static llvm::cl::opt<std::string>
215OutputFile("o",
Ted Kremenek50b56412007-12-19 19:50:41 +0000216 llvm::cl::value_desc("path"),
Douglas Gregor370187c2009-04-22 21:45:53 +0000217 llvm::cl::desc("Specify output file"));
Ted Kremenek55af98c2008-04-14 18:40:58 +0000218
Ted Kremenekc2e72992008-12-02 19:57:31 +0000219
Douglas Gregorb657f112009-09-22 21:11:38 +0000220static llvm::cl::opt<ParsedSourceLocation>
221CodeCompletionAt("code-completion-at",
222 llvm::cl::value_desc("file:line:column"),
223 llvm::cl::desc("Dump code-completion information at a location"));
Douglas Gregor81b747b2009-09-17 21:32:03 +0000224
225/// \brief Buld a new code-completion consumer that prints the results of
226/// code completion to standard output.
227static CodeCompleteConsumer *BuildPrintingCodeCompleter(Sema &S, void *) {
228 return new PrintingCodeCompleteConsumer(S, llvm::outs());
229}
230
Ted Kremenekc2e72992008-12-02 19:57:31 +0000231//===----------------------------------------------------------------------===//
232// PTH.
233//===----------------------------------------------------------------------===//
234
235static llvm::cl::opt<std::string>
236TokenCache("token-cache", llvm::cl::value_desc("path"),
237 llvm::cl::desc("Use specified token cache file"));
238
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +0000239//===----------------------------------------------------------------------===//
Ted Kremenek55af98c2008-04-14 18:40:58 +0000240// Diagnostic Options
241//===----------------------------------------------------------------------===//
242
Ted Kremenek41193e42007-09-26 19:42:19 +0000243static llvm::cl::opt<bool>
244VerifyDiagnostics("verify",
Sanjiv Gupta56cf96b2008-05-08 08:28:14 +0000245 llvm::cl::desc("Verify emitted diagnostics and warnings"));
Ted Kremenek41193e42007-09-26 19:42:19 +0000246
Ted Kremenek88f5cde2008-03-27 06:17:42 +0000247static llvm::cl::opt<std::string>
248HTMLDiag("html-diags",
249 llvm::cl::desc("Generate HTML to report diagnostics"),
250 llvm::cl::value_desc("HTML directory"));
251
Nico Weberfd54ebc2008-08-05 23:33:20 +0000252static llvm::cl::opt<bool>
253NoShowColumn("fno-show-column",
254 llvm::cl::desc("Do not include column number on diagnostics"));
255
256static llvm::cl::opt<bool>
Chris Lattner65f5e642009-01-30 19:01:41 +0000257NoShowLocation("fno-show-source-location",
258 llvm::cl::desc("Do not include source location information with"
259 " diagnostics"));
260
261static llvm::cl::opt<bool>
Nico Weberfd54ebc2008-08-05 23:33:20 +0000262NoCaretDiagnostics("fno-caret-diagnostics",
263 llvm::cl::desc("Do not include source line and caret with"
264 " diagnostics"));
265
Chris Lattner1fbee5d2009-03-13 01:08:23 +0000266static llvm::cl::opt<bool>
Chris Lattneraa5bf2e2009-04-19 07:44:08 +0000267NoDiagnosticsFixIt("fno-diagnostics-fixit-info",
268 llvm::cl::desc("Do not include fixit information in"
269 " diagnostics"));
270
271static llvm::cl::opt<bool>
Chris Lattner182e0922009-04-21 05:34:31 +0000272PrintSourceRangeInfo("fdiagnostics-print-source-range-info",
273 llvm::cl::desc("Print source range spans in numeric form"));
274
Chris Lattnerd51d74a2009-04-16 05:44:38 +0000275static llvm::cl::opt<bool>
276PrintDiagnosticOption("fdiagnostics-show-option",
277 llvm::cl::desc("Print diagnostic name with mappable diagnostics"));
Nico Weberfd54ebc2008-08-05 23:33:20 +0000278
Douglas Gregorfffd93f2009-05-01 21:53:04 +0000279static llvm::cl::opt<unsigned>
280MessageLength("fmessage-length",
Mike Stump1eb44332009-09-09 15:08:12 +0000281 llvm::cl::desc("Format message diagnostics so that they fit "
282 "within N columns or fewer, when possible."),
283 llvm::cl::value_desc("N"));
Douglas Gregorfffd93f2009-05-01 21:53:04 +0000284
Torok Edwin603fca72009-06-04 07:18:23 +0000285static llvm::cl::opt<bool>
Torok Edwina46c71a2009-06-04 07:27:53 +0000286NoColorDiagnostic("fno-color-diagnostics",
Mike Stump1eb44332009-09-09 15:08:12 +0000287 llvm::cl::desc("Don't use colors when showing diagnostics "
Torok Edwin603fca72009-06-04 07:18:23 +0000288 "(automatically turned off if output is not a "
289 "terminal)."));
Reid Spencer5f016e22007-07-11 17:01:13 +0000290//===----------------------------------------------------------------------===//
Ted Kremenek7cae2f62008-10-23 23:36:29 +0000291// C++ Visualization.
292//===----------------------------------------------------------------------===//
293
294static llvm::cl::opt<std::string>
295InheritanceViewCls("cxx-inheritance-view",
296 llvm::cl::value_desc("class name"),
Daniel Dunbard77b2512009-01-14 18:56:36 +0000297 llvm::cl::desc("View C++ inheritance for a specified class"));
Ted Kremenek7cae2f62008-10-23 23:36:29 +0000298
299//===----------------------------------------------------------------------===//
Douglas Gregor3573c0c2009-02-14 20:49:29 +0000300// Builtin Options
301//===----------------------------------------------------------------------===//
Chris Lattnerb2509e12009-02-18 01:12:43 +0000302
303static llvm::cl::opt<bool>
304TimeReport("ftime-report",
305 llvm::cl::desc("Print the amount of time each "
306 "phase of compilation takes"));
307
Douglas Gregor3573c0c2009-02-14 20:49:29 +0000308static llvm::cl::opt<bool>
309Freestanding("ffreestanding",
Daniel Dunbaref2abfe2009-02-16 22:43:43 +0000310 llvm::cl::desc("Assert that the compilation takes place in a "
Douglas Gregor3573c0c2009-02-14 20:49:29 +0000311 "freestanding environment"));
312
Daniel Dunbaref2abfe2009-02-16 22:43:43 +0000313static llvm::cl::opt<bool>
Daniel Dunbar48d1ef72009-04-07 21:16:11 +0000314AllowBuiltins("fbuiltin", llvm::cl::init(true),
315 llvm::cl::desc("Disable implicit builtin knowledge of functions"));
Chris Lattner7644f072009-03-13 22:38:49 +0000316
317
318static llvm::cl::opt<bool>
Daniel Dunbar48d1ef72009-04-07 21:16:11 +0000319MathErrno("fmath-errno", llvm::cl::init(true),
320 llvm::cl::desc("Require math functions to respect errno"));
Daniel Dunbaref2abfe2009-02-16 22:43:43 +0000321
Douglas Gregor3573c0c2009-02-14 20:49:29 +0000322//===----------------------------------------------------------------------===//
Reid Spencer5f016e22007-07-11 17:01:13 +0000323// Language Options
324//===----------------------------------------------------------------------===//
325
326enum LangKind {
327 langkind_unspecified,
328 langkind_c,
329 langkind_c_cpp,
Chris Lattnera778d7d2008-10-22 17:29:21 +0000330 langkind_asm_cpp,
Reid Spencer5f016e22007-07-11 17:01:13 +0000331 langkind_cxx,
332 langkind_cxx_cpp,
333 langkind_objc,
334 langkind_objc_cpp,
335 langkind_objcxx,
Nate Begeman4e3629e2009-06-25 22:43:10 +0000336 langkind_objcxx_cpp,
Daniel Dunbaraca2ebd2009-09-17 00:48:13 +0000337 langkind_ocl,
338 langkind_ast
Reid Spencer5f016e22007-07-11 17:01:13 +0000339};
340
Reid Spencer5f016e22007-07-11 17:01:13 +0000341static llvm::cl::opt<LangKind>
342BaseLang("x", llvm::cl::desc("Base language to compile"),
343 llvm::cl::init(langkind_unspecified),
344 llvm::cl::values(clEnumValN(langkind_c, "c", "C"),
Nate Begeman4e3629e2009-06-25 22:43:10 +0000345 clEnumValN(langkind_ocl, "cl", "OpenCL C"),
Reid Spencer5f016e22007-07-11 17:01:13 +0000346 clEnumValN(langkind_cxx, "c++", "C++"),
347 clEnumValN(langkind_objc, "objective-c", "Objective C"),
348 clEnumValN(langkind_objcxx,"objective-c++","Objective C++"),
Daniel Dunbard2ea3862009-01-29 23:50:47 +0000349 clEnumValN(langkind_c_cpp, "cpp-output",
Reid Spencer5f016e22007-07-11 17:01:13 +0000350 "Preprocessed C"),
Chris Lattnera778d7d2008-10-22 17:29:21 +0000351 clEnumValN(langkind_asm_cpp, "assembler-with-cpp",
352 "Preprocessed asm"),
Reid Spencer5f016e22007-07-11 17:01:13 +0000353 clEnumValN(langkind_cxx_cpp, "c++-cpp-output",
Chris Lattnerc76d8072009-02-06 06:19:20 +0000354 "Preprocessed C++"),
Reid Spencer5f016e22007-07-11 17:01:13 +0000355 clEnumValN(langkind_objc_cpp, "objective-c-cpp-output",
356 "Preprocessed Objective C"),
Chris Lattnerc76d8072009-02-06 06:19:20 +0000357 clEnumValN(langkind_objcxx_cpp, "objective-c++-cpp-output",
Reid Spencer5f016e22007-07-11 17:01:13 +0000358 "Preprocessed Objective C++"),
Daniel Dunbar0b5b0da2009-04-01 05:09:09 +0000359 clEnumValN(langkind_c, "c-header",
360 "C header"),
361 clEnumValN(langkind_objc, "objective-c-header",
362 "Objective-C header"),
363 clEnumValN(langkind_cxx, "c++-header",
364 "C++ header"),
365 clEnumValN(langkind_objcxx, "objective-c++-header",
366 "Objective-C++ header"),
Daniel Dunbaraca2ebd2009-09-17 00:48:13 +0000367 clEnumValN(langkind_ast, "ast",
368 "Clang AST"),
Reid Spencer5f016e22007-07-11 17:01:13 +0000369 clEnumValEnd));
370
371static llvm::cl::opt<bool>
Chris Lattner2c78b872009-04-14 23:22:57 +0000372ObjCExclusiveGC("fobjc-gc-only",
373 llvm::cl::desc("Use GC exclusively for Objective-C related "
374 "memory management"));
375
David Chisnall8a5a9aa2009-08-31 16:41:57 +0000376static llvm::cl::opt<std::string>
377ObjCConstantStringClass("fconstant-string-class",
378 llvm::cl::value_desc("class name"),
379 llvm::cl::desc("Specify the class to use for constant "
380 "Objective-C string objects."));
381
Chris Lattner2c78b872009-04-14 23:22:57 +0000382static llvm::cl::opt<bool>
383ObjCEnableGC("fobjc-gc",
384 llvm::cl::desc("Enable Objective-C garbage collection"));
385
Fariborz Jahanian448f5e62009-04-17 03:04:15 +0000386static llvm::cl::opt<bool>
387ObjCEnableGCBitmapPrint("print-ivar-layout",
388 llvm::cl::desc("Enable Objective-C Ivar layout bitmap print trace"));
389
Chris Lattner2c78b872009-04-14 23:22:57 +0000390static llvm::cl::opt<LangOptions::VisibilityMode>
391SymbolVisibility("fvisibility",
392 llvm::cl::desc("Set the default symbol visibility:"),
393 llvm::cl::init(LangOptions::Default),
394 llvm::cl::values(clEnumValN(LangOptions::Default, "default",
395 "Use default symbol visibility"),
396 clEnumValN(LangOptions::Hidden, "hidden",
397 "Use hidden symbol visibility"),
398 clEnumValN(LangOptions::Protected,"protected",
399 "Use protected symbol visibility"),
400 clEnumValEnd));
401
402static llvm::cl::opt<bool>
403OverflowChecking("ftrapv",
404 llvm::cl::desc("Trap on integer overflow"),
405 llvm::cl::init(false));
406
Fariborz Jahanian34e65772009-05-22 20:17:16 +0000407static llvm::cl::opt<bool>
Nate Begeman2ef13e52009-08-10 23:49:36 +0000408AltiVec("faltivec", llvm::cl::desc("Enable AltiVec vector initializer syntax"),
409 llvm::cl::init(false));
410
411static llvm::cl::opt<bool>
Daniel Dunbar5345c392009-09-03 04:54:28 +0000412PThread("pthread", llvm::cl::desc("Support POSIX threads in generated code"),
413 llvm::cl::init(false));
414
Daniel Dunbar13fdf282009-09-17 00:47:46 +0000415static LangKind GetLanguage(llvm::StringRef Filename) {
Ted Kremenek8904f152007-12-05 23:49:08 +0000416 if (BaseLang != langkind_unspecified)
417 return BaseLang;
Mike Stump1eb44332009-09-09 15:08:12 +0000418
Daniel Dunbar13fdf282009-09-17 00:47:46 +0000419 llvm::StringRef Ext = Filename.rsplit('.').second;
Daniel Dunbaraca2ebd2009-09-17 00:48:13 +0000420 if (Ext == "ast")
421 return langkind_ast;
422 else if (Ext == "c")
Ted Kremenek8904f152007-12-05 23:49:08 +0000423 return langkind_c;
Daniel Dunbar9f435342009-09-17 00:47:27 +0000424 else if (Ext == "S" || Ext == "s")
Chris Lattnera778d7d2008-10-22 17:29:21 +0000425 return langkind_asm_cpp;
Ted Kremenek8904f152007-12-05 23:49:08 +0000426 else if (Ext == "i")
427 return langkind_c_cpp;
428 else if (Ext == "ii")
429 return langkind_cxx_cpp;
430 else if (Ext == "m")
431 return langkind_objc;
432 else if (Ext == "mi")
433 return langkind_objc_cpp;
434 else if (Ext == "mm" || Ext == "M")
435 return langkind_objcxx;
436 else if (Ext == "mii")
437 return langkind_objcxx_cpp;
438 else if (Ext == "C" || Ext == "cc" || Ext == "cpp" || Ext == "CPP" ||
439 Ext == "c++" || Ext == "cp" || Ext == "cxx")
440 return langkind_cxx;
Nate Begeman4e3629e2009-06-25 22:43:10 +0000441 else if (Ext == "cl")
442 return langkind_ocl;
Ted Kremenek8904f152007-12-05 23:49:08 +0000443 else
444 return langkind_c;
445}
446
447
Ted Kremenek85888962008-10-21 00:54:44 +0000448static void InitializeCOptions(LangOptions &Options) {
449 // Do nothing.
450}
451
452static void InitializeObjCOptions(LangOptions &Options) {
453 Options.ObjC1 = Options.ObjC2 = 1;
454}
Mike Stump1eb44332009-09-09 15:08:12 +0000455
Ted Kremenek85888962008-10-21 00:54:44 +0000456
Daniel Dunbar0b5b0da2009-04-01 05:09:09 +0000457static void InitializeLangOptions(LangOptions &Options, LangKind LK){
Reid Spencer5f016e22007-07-11 17:01:13 +0000458 // FIXME: implement -fpreprocessed mode.
459 bool NoPreprocess = false;
Mike Stump1eb44332009-09-09 15:08:12 +0000460
Ted Kremenek8904f152007-12-05 23:49:08 +0000461 switch (LK) {
Reid Spencer5f016e22007-07-11 17:01:13 +0000462 default: assert(0 && "Unknown language kind!");
Chris Lattnera778d7d2008-10-22 17:29:21 +0000463 case langkind_asm_cpp:
Daniel Dunbarc1571452008-12-01 18:55:22 +0000464 Options.AsmPreprocessor = 1;
Chris Lattnera778d7d2008-10-22 17:29:21 +0000465 // FALLTHROUGH
Reid Spencer5f016e22007-07-11 17:01:13 +0000466 case langkind_c_cpp:
467 NoPreprocess = true;
468 // FALLTHROUGH
469 case langkind_c:
Ted Kremenek85888962008-10-21 00:54:44 +0000470 InitializeCOptions(Options);
Reid Spencer5f016e22007-07-11 17:01:13 +0000471 break;
472 case langkind_cxx_cpp:
473 NoPreprocess = true;
474 // FALLTHROUGH
475 case langkind_cxx:
476 Options.CPlusPlus = 1;
477 break;
478 case langkind_objc_cpp:
479 NoPreprocess = true;
480 // FALLTHROUGH
481 case langkind_objc:
Ted Kremenek85888962008-10-21 00:54:44 +0000482 InitializeObjCOptions(Options);
Reid Spencer5f016e22007-07-11 17:01:13 +0000483 break;
484 case langkind_objcxx_cpp:
485 NoPreprocess = true;
486 // FALLTHROUGH
487 case langkind_objcxx:
488 Options.ObjC1 = Options.ObjC2 = 1;
489 Options.CPlusPlus = 1;
490 break;
Nate Begeman4e3629e2009-06-25 22:43:10 +0000491 case langkind_ocl:
492 Options.OpenCL = 1;
493 Options.AltiVec = 1;
494 Options.CXXOperatorNames = 1;
495 Options.LaxVectorConversions = 1;
496 break;
Reid Spencer5f016e22007-07-11 17:01:13 +0000497 }
Mike Stump1eb44332009-09-09 15:08:12 +0000498
Chris Lattner2c78b872009-04-14 23:22:57 +0000499 if (ObjCExclusiveGC)
500 Options.setGCMode(LangOptions::GCOnly);
501 else if (ObjCEnableGC)
502 Options.setGCMode(LangOptions::HybridGC);
Mike Stump1eb44332009-09-09 15:08:12 +0000503
Fariborz Jahanian448f5e62009-04-17 03:04:15 +0000504 if (ObjCEnableGCBitmapPrint)
505 Options.ObjCGCBitmapPrint = 1;
Mike Stump1eb44332009-09-09 15:08:12 +0000506
Nate Begeman2ef13e52009-08-10 23:49:36 +0000507 if (AltiVec)
508 Options.AltiVec = 1;
Daniel Dunbar5345c392009-09-03 04:54:28 +0000509
510 if (PThread)
511 Options.POSIXThreads = 1;
Mike Stump1eb44332009-09-09 15:08:12 +0000512
Chris Lattner2c78b872009-04-14 23:22:57 +0000513 Options.setVisibilityMode(SymbolVisibility);
514 Options.OverflowChecking = OverflowChecking;
Reid Spencer5f016e22007-07-11 17:01:13 +0000515}
516
517/// LangStds - Language standards we support.
518enum LangStds {
Mike Stump1eb44332009-09-09 15:08:12 +0000519 lang_unspecified,
Reid Spencer5f016e22007-07-11 17:01:13 +0000520 lang_c89, lang_c94, lang_c99,
Douglas Gregor214904e2009-09-29 14:42:43 +0000521 lang_gnu89, lang_gnu99,
Chris Lattnerd4b80f12007-07-16 04:18:29 +0000522 lang_cxx98, lang_gnucxx98,
523 lang_cxx0x, lang_gnucxx0x
Reid Spencer5f016e22007-07-11 17:01:13 +0000524};
525
526static llvm::cl::opt<LangStds>
527LangStd("std", llvm::cl::desc("Language standard to compile for"),
528 llvm::cl::init(lang_unspecified),
529 llvm::cl::values(clEnumValN(lang_c89, "c89", "ISO C 1990"),
530 clEnumValN(lang_c89, "c90", "ISO C 1990"),
531 clEnumValN(lang_c89, "iso9899:1990", "ISO C 1990"),
532 clEnumValN(lang_c94, "iso9899:199409",
533 "ISO C 1990 with amendment 1"),
534 clEnumValN(lang_c99, "c99", "ISO C 1999"),
Chris Lattner50748f42009-04-06 17:17:55 +0000535 clEnumValN(lang_c99, "c9x", "ISO C 1999"),
Reid Spencer5f016e22007-07-11 17:01:13 +0000536 clEnumValN(lang_c99, "iso9899:1999", "ISO C 1999"),
Chris Lattner50748f42009-04-06 17:17:55 +0000537 clEnumValN(lang_c99, "iso9899:199x", "ISO C 1999"),
Reid Spencer5f016e22007-07-11 17:01:13 +0000538 clEnumValN(lang_gnu89, "gnu89",
Gabor Greif10b26142009-02-28 09:22:15 +0000539 "ISO C 1990 with GNU extensions"),
Reid Spencer5f016e22007-07-11 17:01:13 +0000540 clEnumValN(lang_gnu99, "gnu99",
Gabor Greif10b26142009-02-28 09:22:15 +0000541 "ISO C 1999 with GNU extensions (default for C)"),
Reid Spencer5f016e22007-07-11 17:01:13 +0000542 clEnumValN(lang_gnu99, "gnu9x",
543 "ISO C 1999 with GNU extensions"),
544 clEnumValN(lang_cxx98, "c++98",
545 "ISO C++ 1998 with amendments"),
546 clEnumValN(lang_gnucxx98, "gnu++98",
547 "ISO C++ 1998 with amendments and GNU "
548 "extensions (default for C++)"),
Chris Lattnerd4b80f12007-07-16 04:18:29 +0000549 clEnumValN(lang_cxx0x, "c++0x",
550 "Upcoming ISO C++ 200x with amendments"),
551 clEnumValN(lang_gnucxx0x, "gnu++0x",
552 "Upcoming ISO C++ 200x with amendments and GNU "
Gabor Greif5f8d1db2009-03-11 23:07:18 +0000553 "extensions"),
Reid Spencer5f016e22007-07-11 17:01:13 +0000554 clEnumValEnd));
555
556static llvm::cl::opt<bool>
557NoOperatorNames("fno-operator-names",
558 llvm::cl::desc("Do not treat C++ operator name keywords as "
559 "synonyms for operators"));
560
Anders Carlssonee98ac52007-10-15 02:50:23 +0000561static llvm::cl::opt<bool>
562PascalStrings("fpascal-strings",
563 llvm::cl::desc("Recognize and construct Pascal-style "
564 "string literals"));
Mike Stump1eb44332009-09-09 15:08:12 +0000565
Steve Naroffd62701b2008-02-07 03:50:06 +0000566static llvm::cl::opt<bool>
567MSExtensions("fms-extensions",
568 llvm::cl::desc("Accept some non-standard constructs used in "
Sanjiv Gupta56cf96b2008-05-08 08:28:14 +0000569 "Microsoft header files "));
Chris Lattner45e8cbd2007-11-28 05:34:05 +0000570
571static llvm::cl::opt<bool>
572WritableStrings("fwritable-strings",
Sanjiv Gupta56cf96b2008-05-08 08:28:14 +0000573 llvm::cl::desc("Store string literals as writable data"));
Anders Carlsson695dbb62007-11-30 04:21:22 +0000574
575static llvm::cl::opt<bool>
Anders Carlssonad53eff2009-01-30 23:26:40 +0000576NoLaxVectorConversions("fno-lax-vector-conversions",
Anders Carlssonb0f90cc2009-01-30 23:17:46 +0000577 llvm::cl::desc("Disallow implicit conversions between "
578 "vectors with a different number of "
579 "elements or different element types"));
Chris Lattnerae0ee032008-12-04 23:20:07 +0000580
Fariborz Jahanianee0af742009-01-21 22:04:16 +0000581static llvm::cl::opt<bool>
Daniel Dunbar48d1ef72009-04-07 21:16:11 +0000582EnableBlocks("fblocks", llvm::cl::desc("enable the 'blocks' language feature"));
Mike Stumpa0f02aa2009-02-02 22:57:57 +0000583
584static llvm::cl::opt<bool>
Chris Lattner810f6d52009-03-13 17:38:01 +0000585EnableHeinousExtensions("fheinous-gnu-extensions",
586 llvm::cl::desc("enable GNU extensions that you really really shouldn't use"),
587 llvm::cl::ValueDisallowed, llvm::cl::Hidden);
588
589static llvm::cl::opt<bool>
Mike Stumpa0f02aa2009-02-02 22:57:57 +0000590ObjCNonFragileABI("fobjc-nonfragile-abi",
591 llvm::cl::desc("enable objective-c's nonfragile abi"));
Fariborz Jahanianee0af742009-01-21 22:04:16 +0000592
Daniel Dunbard6884a02009-05-04 05:16:21 +0000593
594static llvm::cl::opt<bool>
Daniel Dunbard604c402009-02-04 21:19:06 +0000595EmitAllDecls("femit-all-decls",
596 llvm::cl::desc("Emit all declarations, even if unused"));
Ted Kremenek01d9dbf2008-04-29 04:37:03 +0000597
Daniel Dunbar6379a7a2008-08-11 17:36:14 +0000598static llvm::cl::opt<bool>
599Exceptions("fexceptions",
Chris Lattnerf5db8f82009-04-19 07:00:02 +0000600 llvm::cl::desc("Enable support for exception handling"));
Daniel Dunbar6379a7a2008-08-11 17:36:14 +0000601
Daniel Dunbarf77ac862008-08-11 21:35:06 +0000602static llvm::cl::opt<bool>
Mike Stump738f8c22009-07-31 23:15:31 +0000603Rtti("frtti", llvm::cl::init(true),
604 llvm::cl::desc("Enable generation of rtti information"));
605
606static llvm::cl::opt<bool>
Daniel Dunbarf77ac862008-08-11 21:35:06 +0000607GNURuntime("fgnu-runtime",
Ted Kremenek85888962008-10-21 00:54:44 +0000608 llvm::cl::desc("Generate output compatible with the standard GNU "
Chris Lattnerf5db8f82009-04-19 07:00:02 +0000609 "Objective-C runtime"));
Daniel Dunbarf77ac862008-08-11 21:35:06 +0000610
611static llvm::cl::opt<bool>
612NeXTRuntime("fnext-runtime",
Ted Kremenek85888962008-10-21 00:54:44 +0000613 llvm::cl::desc("Generate output compatible with the NeXT "
Chris Lattnerf5db8f82009-04-19 07:00:02 +0000614 "runtime"));
Daniel Dunbarf77ac862008-08-11 21:35:06 +0000615
Eli Friedmanc4757bd2009-06-05 07:12:17 +0000616static llvm::cl::opt<bool>
617CharIsSigned("fsigned-char",
618 llvm::cl::desc("Force char to be a signed/unsigned type"));
Ted Kremenekea644d82008-09-03 21:22:16 +0000619
620
621static llvm::cl::opt<bool>
Chris Lattnerf5db8f82009-04-19 07:00:02 +0000622Trigraphs("trigraphs", llvm::cl::desc("Process trigraph sequences"));
Ted Kremenekea644d82008-09-03 21:22:16 +0000623
Douglas Gregor26dce442009-03-10 00:06:19 +0000624static llvm::cl::opt<unsigned>
625TemplateDepth("ftemplate-depth", llvm::cl::init(99),
626 llvm::cl::desc("Maximum depth of recursive template "
627 "instantiation"));
Chris Lattnerf5db8f82009-04-19 07:00:02 +0000628static llvm::cl::opt<bool>
629DollarsInIdents("fdollars-in-identifiers",
630 llvm::cl::desc("Allow '$' in identifiers"));
Chris Lattner16167a62009-03-02 22:11:07 +0000631
Anders Carlsson4ca076f2009-04-06 17:37:10 +0000632
633static llvm::cl::opt<bool>
634OptSize("Os", llvm::cl::desc("Optimize for size"));
635
636static llvm::cl::opt<bool>
Mike Stump1eb44332009-09-09 15:08:12 +0000637DisableLLVMOptimizations("disable-llvm-optzns",
Daniel Dunbar877db382009-06-02 22:07:45 +0000638 llvm::cl::desc("Don't run LLVM optimization passes"));
639
640static llvm::cl::opt<bool>
Anders Carlsson4ca076f2009-04-06 17:37:10 +0000641NoCommon("fno-common",
642 llvm::cl::desc("Compile common globals like normal definitions"),
643 llvm::cl::ValueDisallowed);
644
Daniel Dunbarc9abc042009-04-08 05:11:16 +0000645static llvm::cl::opt<std::string>
646MainFileName("main-file-name",
647 llvm::cl::desc("Main file name to use for debug info"));
Anders Carlsson4ca076f2009-04-06 17:37:10 +0000648
Anders Carlssona33d9b42009-05-13 19:49:53 +0000649// FIXME: Also add an "-fno-access-control" option.
650static llvm::cl::opt<bool>
Mike Stump1eb44332009-09-09 15:08:12 +0000651AccessControl("faccess-control",
Anders Carlssona33d9b42009-05-13 19:49:53 +0000652 llvm::cl::desc("Enable C++ access control"));
653
Anders Carlsson92f58222009-08-22 22:30:33 +0000654static llvm::cl::opt<bool>
655NoElideConstructors("fno-elide-constructors",
656 llvm::cl::desc("Disable C++ copy constructor elision"));
657
Daniel Dunbar73b79592009-09-14 00:02:12 +0000658static llvm::cl::opt<std::string>
659TargetABI("target-abi",
660 llvm::cl::desc("Target a particular ABI type"));
661
Anders Carlsson92f58222009-08-22 22:30:33 +0000662
Anders Carlsson4ca076f2009-04-06 17:37:10 +0000663// It might be nice to add bounds to the CommandLine library directly.
664struct OptLevelParser : public llvm::cl::parser<unsigned> {
Chris Lattner59b21722009-09-20 00:39:15 +0000665 bool parse(llvm::cl::Option &O, llvm::StringRef ArgName,
666 llvm::StringRef Arg, unsigned &Val) {
Anders Carlsson4ca076f2009-04-06 17:37:10 +0000667 if (llvm::cl::parser<unsigned>::parse(O, ArgName, Arg, Val))
668 return true;
Anders Carlsson4ca076f2009-04-06 17:37:10 +0000669 if (Val > 3)
Benjamin Kramer21fde992009-08-02 12:12:11 +0000670 return O.error("'" + Arg + "' invalid optimization level!");
Anders Carlsson4ca076f2009-04-06 17:37:10 +0000671 return false;
672 }
673};
674static llvm::cl::opt<unsigned, false, OptLevelParser>
675OptLevel("O", llvm::cl::Prefix,
676 llvm::cl::desc("Optimization level"),
677 llvm::cl::init(0));
678
Daniel Dunbar9fd0b1f2009-04-08 03:03:23 +0000679static llvm::cl::opt<unsigned>
Daniel Dunbar3bbc7532009-04-08 18:03:55 +0000680PICLevel("pic-level", llvm::cl::desc("Value for __PIC__"));
681
682static llvm::cl::opt<bool>
683StaticDefine("static-define", llvm::cl::desc("Should __STATIC__ be defined"));
Daniel Dunbar9fd0b1f2009-04-08 03:03:23 +0000684
Bill Wendling45483f72009-06-28 07:36:13 +0000685static llvm::cl::opt<int>
686StackProtector("stack-protector",
687 llvm::cl::desc("Enable stack protectors"),
688 llvm::cl::init(-1));
689
Daniel Dunbardcb4a1a2008-08-23 08:43:39 +0000690static void InitializeLanguageStandard(LangOptions &Options, LangKind LK,
Daniel Dunbar868bd0a2009-05-06 03:16:41 +0000691 TargetInfo *Target,
692 const llvm::StringMap<bool> &Features) {
Chris Lattner8fc4dfb2008-12-04 22:54:33 +0000693 // Allow the target to set the default the langauge options as it sees fit.
694 Target->getDefaultLangOptions(Options);
Daniel Dunbar868bd0a2009-05-06 03:16:41 +0000695
696 // Pass the map of target features to the target for validation and
697 // processing.
698 Target->HandleTargetFeatures(Features);
Mike Stump1eb44332009-09-09 15:08:12 +0000699
Reid Spencer5f016e22007-07-11 17:01:13 +0000700 if (LangStd == lang_unspecified) {
701 // Based on the base language, pick one.
Ted Kremenek8904f152007-12-05 23:49:08 +0000702 switch (LK) {
Daniel Dunbaraca2ebd2009-09-17 00:48:13 +0000703 case langkind_ast: assert(0 && "Invalid call for AST inputs");
Ted Kremenekf2a17b12009-03-19 19:02:20 +0000704 case lang_unspecified: assert(0 && "Unknown base language");
Nate Begeman4e3629e2009-06-25 22:43:10 +0000705 case langkind_ocl:
706 LangStd = lang_c99;
707 break;
Reid Spencer5f016e22007-07-11 17:01:13 +0000708 case langkind_c:
Chris Lattnera778d7d2008-10-22 17:29:21 +0000709 case langkind_asm_cpp:
Reid Spencer5f016e22007-07-11 17:01:13 +0000710 case langkind_c_cpp:
711 case langkind_objc:
712 case langkind_objc_cpp:
713 LangStd = lang_gnu99;
714 break;
715 case langkind_cxx:
716 case langkind_cxx_cpp:
717 case langkind_objcxx:
718 case langkind_objcxx_cpp:
719 LangStd = lang_gnucxx98;
720 break;
721 }
722 }
Mike Stump1eb44332009-09-09 15:08:12 +0000723
Reid Spencer5f016e22007-07-11 17:01:13 +0000724 switch (LangStd) {
725 default: assert(0 && "Unknown language standard!");
726
727 // Fall through from newer standards to older ones. This isn't really right.
728 // FIXME: Enable specifically the right features based on the language stds.
Chris Lattnerd4b80f12007-07-16 04:18:29 +0000729 case lang_gnucxx0x:
730 case lang_cxx0x:
731 Options.CPlusPlus0x = 1;
732 // FALL THROUGH
Reid Spencer5f016e22007-07-11 17:01:13 +0000733 case lang_gnucxx98:
734 case lang_cxx98:
735 Options.CPlusPlus = 1;
736 Options.CXXOperatorNames = !NoOperatorNames;
737 // FALL THROUGH.
738 case lang_gnu99:
739 case lang_c99:
Reid Spencer5f016e22007-07-11 17:01:13 +0000740 Options.C99 = 1;
741 Options.HexFloats = 1;
742 // FALL THROUGH.
743 case lang_gnu89:
744 Options.BCPLComment = 1; // Only for C99/C++.
745 // FALL THROUGH.
746 case lang_c94:
Chris Lattner3426b9b2008-02-25 04:01:39 +0000747 Options.Digraphs = 1; // C94, C99, C++.
748 // FALL THROUGH.
Reid Spencer5f016e22007-07-11 17:01:13 +0000749 case lang_c89:
750 break;
751 }
Argyrios Kyrtzidisd1465522008-09-11 04:21:06 +0000752
Chris Lattner7e9c90b2009-03-20 15:44:26 +0000753 // GNUMode - Set if we're in gnu99, gnu89, gnucxx98, etc.
Douglas Gregor214904e2009-09-29 14:42:43 +0000754 switch (LangStd) {
755 default: assert(0 && "Unknown language standard!");
756 case lang_gnucxx0x:
757 case lang_gnucxx98:
758 case lang_gnu99:
759 case lang_gnu89:
760 Options.GNUMode = 1;
761 break;
762 case lang_cxx0x:
763 case lang_cxx98:
764 case lang_c99:
765 case lang_c94:
766 case lang_c89:
767 Options.GNUMode = 0;
768 break;
769 }
Mike Stump1eb44332009-09-09 15:08:12 +0000770
Argyrios Kyrtzidisd1465522008-09-11 04:21:06 +0000771 if (Options.CPlusPlus) {
772 Options.C99 = 0;
Eli Friedmanab24c8d2009-08-26 20:15:14 +0000773 Options.HexFloats = 0;
Argyrios Kyrtzidisd1465522008-09-11 04:21:06 +0000774 }
Mike Stump1eb44332009-09-09 15:08:12 +0000775
Chris Lattnerd658b562008-04-05 06:32:51 +0000776 if (LangStd == lang_c89 || LangStd == lang_c94 || LangStd == lang_gnu89)
777 Options.ImplicitInt = 1;
778 else
779 Options.ImplicitInt = 0;
Mike Stump1eb44332009-09-09 15:08:12 +0000780
Daniel Dunbard573d262009-04-07 22:13:21 +0000781 // Mimicing gcc's behavior, trigraphs are only enabled if -trigraphs
782 // is specified, or -std is set to a conforming mode.
Chris Lattner7e9c90b2009-03-20 15:44:26 +0000783 Options.Trigraphs = !Options.GNUMode;
Chris Lattner802db9b2008-12-05 00:10:44 +0000784 if (Trigraphs.getPosition())
Chris Lattner7e9c90b2009-03-20 15:44:26 +0000785 Options.Trigraphs = Trigraphs; // Command line option wins if specified.
Ted Kremenekea644d82008-09-03 21:22:16 +0000786
Chris Lattner802db9b2008-12-05 00:10:44 +0000787 // If in a conformant language mode (e.g. -std=c99) Blocks defaults to off
788 // even if they are normally on for the target. In GNU modes (e.g.
789 // -std=gnu99) the default for blocks depends on the target settings.
Anders Carlssone56f6ff2009-01-21 18:47:36 +0000790 // However, blocks are not turned off when compiling Obj-C or Obj-C++ code.
Chris Lattner7e9c90b2009-03-20 15:44:26 +0000791 if (!Options.ObjC1 && !Options.GNUMode)
Chris Lattner802db9b2008-12-05 00:10:44 +0000792 Options.Blocks = 0;
Mike Stump1eb44332009-09-09 15:08:12 +0000793
Chris Lattner01638a62009-04-19 07:06:52 +0000794 // Default to not accepting '$' in identifiers when preprocessing assembler,
795 // but do accept when preprocessing C. FIXME: these defaults are right for
796 // darwin, are they right everywhere?
797 Options.DollarIdents = LK != langkind_asm_cpp;
798 if (DollarsInIdents.getPosition()) // Explicit setting overrides default.
Chris Lattnerf5db8f82009-04-19 07:00:02 +0000799 Options.DollarIdents = DollarsInIdents;
Mike Stump1eb44332009-09-09 15:08:12 +0000800
Chris Lattnerae0ee032008-12-04 23:20:07 +0000801 if (PascalStrings.getPosition())
802 Options.PascalStrings = PascalStrings;
Eli Friedmanabc4e322009-06-08 06:11:14 +0000803 if (MSExtensions.getPosition())
804 Options.Microsoft = MSExtensions;
Chris Lattner45e8cbd2007-11-28 05:34:05 +0000805 Options.WritableStrings = WritableStrings;
Anders Carlssonb0f90cc2009-01-30 23:17:46 +0000806 if (NoLaxVectorConversions.getPosition())
807 Options.LaxVectorConversions = 0;
Daniel Dunbar6379a7a2008-08-11 17:36:14 +0000808 Options.Exceptions = Exceptions;
Mike Stump738f8c22009-07-31 23:15:31 +0000809 Options.Rtti = Rtti;
Mike Stumpa0f02aa2009-02-02 22:57:57 +0000810 if (EnableBlocks.getPosition())
Chris Lattnerae0ee032008-12-04 23:20:07 +0000811 Options.Blocks = EnableBlocks;
Eli Friedmanc4757bd2009-06-05 07:12:17 +0000812 if (CharIsSigned.getPosition())
813 Options.CharIsSigned = CharIsSigned;
Daniel Dunbarf77ac862008-08-11 21:35:06 +0000814
Daniel Dunbar9f9768c2009-03-20 23:49:28 +0000815 if (!AllowBuiltins)
Chris Lattner7644f072009-03-13 22:38:49 +0000816 Options.NoBuiltin = 1;
Douglas Gregor3573c0c2009-02-14 20:49:29 +0000817 if (Freestanding)
Chris Lattner7644f072009-03-13 22:38:49 +0000818 Options.Freestanding = Options.NoBuiltin = 1;
Mike Stump1eb44332009-09-09 15:08:12 +0000819
Chris Lattner810f6d52009-03-13 17:38:01 +0000820 if (EnableHeinousExtensions)
821 Options.HeinousExtensions = 1;
Douglas Gregor3573c0c2009-02-14 20:49:29 +0000822
Anders Carlssona33d9b42009-05-13 19:49:53 +0000823 if (AccessControl)
824 Options.AccessControl = 1;
Mike Stump1eb44332009-09-09 15:08:12 +0000825
Anders Carlsson92f58222009-08-22 22:30:33 +0000826 Options.ElideConstructors = !NoElideConstructors;
Mike Stump1eb44332009-09-09 15:08:12 +0000827
Chris Lattnere4f21422009-06-30 01:26:17 +0000828 // OpenCL and C++ both have bool, true, false keywords.
829 Options.Bool = Options.OpenCL | Options.CPlusPlus;
Mike Stump1eb44332009-09-09 15:08:12 +0000830
Daniel Dunbaref2abfe2009-02-16 22:43:43 +0000831 Options.MathErrno = MathErrno;
832
Douglas Gregor26dce442009-03-10 00:06:19 +0000833 Options.InstantiationDepth = TemplateDepth;
834
Chris Lattner8fc4dfb2008-12-04 22:54:33 +0000835 // Override the default runtime if the user requested it.
836 if (NeXTRuntime)
Daniel Dunbarf77ac862008-08-11 21:35:06 +0000837 Options.NeXTRuntime = 1;
Chris Lattner8fc4dfb2008-12-04 22:54:33 +0000838 else if (GNURuntime)
Daniel Dunbarf77ac862008-08-11 21:35:06 +0000839 Options.NeXTRuntime = 0;
Fariborz Jahanianee0af742009-01-21 22:04:16 +0000840
David Chisnall8a5a9aa2009-08-31 16:41:57 +0000841 if (!ObjCConstantStringClass.empty())
842 Options.ObjCConstantStringClass = ObjCConstantStringClass.c_str();
843
Fariborz Jahanian30bc5712009-01-22 23:02:58 +0000844 if (ObjCNonFragileABI)
845 Options.ObjCNonFragileABI = 1;
Fariborz Jahanian34e65772009-05-22 20:17:16 +0000846
Daniel Dunbard604c402009-02-04 21:19:06 +0000847 if (EmitAllDecls)
848 Options.EmitAllDecls = 1;
Anders Carlsson4ca076f2009-04-06 17:37:10 +0000849
Daniel Dunbar3bbc7532009-04-08 18:03:55 +0000850 // The __OPTIMIZE_SIZE__ define is tied to -Oz, which we don't
851 // support.
852 Options.OptimizeSize = 0;
Mike Stump1eb44332009-09-09 15:08:12 +0000853
Anders Carlsson4ca076f2009-04-06 17:37:10 +0000854 // -Os implies -O2
Daniel Dunbar3bbc7532009-04-08 18:03:55 +0000855 if (OptSize || OptLevel)
Anders Carlsson4ca076f2009-04-06 17:37:10 +0000856 Options.Optimize = 1;
Daniel Dunbar9fd0b1f2009-04-08 03:03:23 +0000857
858 assert(PICLevel <= 2 && "Invalid value for -pic-level");
859 Options.PICLevel = PICLevel;
Daniel Dunbarc9abc042009-04-08 05:11:16 +0000860
Daniel Dunbar3bbc7532009-04-08 18:03:55 +0000861 Options.GNUInline = !Options.C99;
Mike Stump1eb44332009-09-09 15:08:12 +0000862 // FIXME: This is affected by other options (-fno-inline).
Daniel Dunbar3bbc7532009-04-08 18:03:55 +0000863 Options.NoInline = !OptSize && !OptLevel;
864
865 Options.Static = StaticDefine;
866
Bill Wendling4ebe3e42009-06-28 23:01:01 +0000867 switch (StackProtector) {
868 default:
869 assert(StackProtector <= 2 && "Invalid value for -stack-protector");
870 case -1: break;
871 case 0: Options.setStackProtectorMode(LangOptions::SSPOff); break;
872 case 1: Options.setStackProtectorMode(LangOptions::SSPOn); break;
873 case 2: Options.setStackProtectorMode(LangOptions::SSPReq); break;
874 }
Bill Wendling45483f72009-06-28 07:36:13 +0000875
Daniel Dunbarc9abc042009-04-08 05:11:16 +0000876 if (MainFileName.getPosition())
877 Options.setMainFileName(MainFileName.c_str());
Reid Spencer5f016e22007-07-11 17:01:13 +0000878}
879
880//===----------------------------------------------------------------------===//
Ted Kremenekae360762007-12-03 22:06:55 +0000881// Target Triple Processing.
882//===----------------------------------------------------------------------===//
883
884static llvm::cl::opt<std::string>
885TargetTriple("triple",
Sanjiv Gupta56cf96b2008-05-08 08:28:14 +0000886 llvm::cl::desc("Specify target triple (e.g. i686-apple-darwin9)"));
Ted Kremenekae360762007-12-03 22:06:55 +0000887
Chris Lattner42e67372008-03-05 01:18:20 +0000888static llvm::cl::opt<std::string>
Mike Stump1eb44332009-09-09 15:08:12 +0000889MacOSVersionMin("mmacosx-version-min",
Daniel Dunbar8d33cd72009-04-10 19:52:24 +0000890 llvm::cl::desc("Specify target Mac OS X version (e.g. 10.5)"));
Chris Lattner6a30c1f2008-09-30 01:13:12 +0000891
Chris Lattnerba0f25f2008-09-30 20:16:56 +0000892// If -mmacosx-version-min=10.3.9 is specified, change the triple from being
893// something like powerpc-apple-darwin9 to powerpc-apple-darwin7
Daniel Dunbar64ffc142009-03-31 20:10:05 +0000894
895// FIXME: We should have the driver do this instead.
Chris Lattner2f60af72009-09-12 22:45:58 +0000896static void HandleMacOSVersionMin(llvm::Triple &Triple) {
897 if (Triple.getOS() != llvm::Triple::Darwin) {
Mike Stump1eb44332009-09-09 15:08:12 +0000898 fprintf(stderr,
Daniel Dunbar8d33cd72009-04-10 19:52:24 +0000899 "-mmacosx-version-min only valid for darwin (Mac OS X) targets\n");
Chris Lattnerba0f25f2008-09-30 20:16:56 +0000900 exit(1);
901 }
Chris Lattner2f60af72009-09-12 22:45:58 +0000902
Chris Lattnerba0f25f2008-09-30 20:16:56 +0000903 // Validate that MacOSVersionMin is a 'version number', starting with 10.[3-9]
Chris Lattnerba0f25f2008-09-30 20:16:56 +0000904 if (MacOSVersionMin.size() < 4 ||
905 MacOSVersionMin.substr(0, 3) != "10." ||
906 !isdigit(MacOSVersionMin[3])) {
Mike Stump1eb44332009-09-09 15:08:12 +0000907 fprintf(stderr,
Daniel Dunbaraf07f932009-03-31 17:35:15 +0000908 "-mmacosx-version-min=%s is invalid, expected something like '10.4'.\n",
Chris Lattnerba0f25f2008-09-30 20:16:56 +0000909 MacOSVersionMin.c_str());
910 exit(1);
911 }
Chris Lattner2f60af72009-09-12 22:45:58 +0000912
913 unsigned VersionNum = MacOSVersionMin[3]-'0';
914
915 if (VersionNum <= 4 && Triple.getArch() == llvm::Triple::x86_64) {
Mike Stump1eb44332009-09-09 15:08:12 +0000916 fprintf(stderr,
Chris Lattner2f60af72009-09-12 22:45:58 +0000917 "-mmacosx-version-min=%s is invalid with -arch x86_64.\n",
Fariborz Jahanian6a1284a2009-04-10 20:33:45 +0000918 MacOSVersionMin.c_str());
919 exit(1);
920 }
921
Chris Lattner2f60af72009-09-12 22:45:58 +0000922
923 llvm::SmallString<16> NewDarwinString;
924 NewDarwinString += "darwin";
925
926 // Turn MacOSVersionMin into a darwin number: e.g. 10.3.9 is 3 -> darwin7.
927 VersionNum += 4;
928 if (VersionNum > 9) {
929 NewDarwinString += '1';
930 VersionNum -= 10;
931 }
932 NewDarwinString += (VersionNum+'0');
933
934 if (MacOSVersionMin.size() == 4) {
935 // "10.4" is ok.
936 } else if (MacOSVersionMin.size() == 6 &&
937 MacOSVersionMin[4] == '.' &&
938 isdigit(MacOSVersionMin[5])) { // 10.4.7 is ok.
939 // Add the period piece (.7) to the end of the triple. This gives us
940 // something like ...-darwin8.7
941 NewDarwinString += '.';
942 NewDarwinString += MacOSVersionMin[5];
943 } else { // "10.4" is ok. 10.4x is not.
944 fprintf(stderr,
945 "-mmacosx-version-min=%s is invalid, expected something like '10.4'.\n",
946 MacOSVersionMin.c_str());
947 exit(1);
948 }
949
950 Triple.setOSName(NewDarwinString.str());
Chris Lattnerba0f25f2008-09-30 20:16:56 +0000951}
952
Daniel Dunbar8d33cd72009-04-10 19:52:24 +0000953static llvm::cl::opt<std::string>
Mike Stump1eb44332009-09-09 15:08:12 +0000954IPhoneOSVersionMin("miphoneos-version-min",
Daniel Dunbar8d33cd72009-04-10 19:52:24 +0000955 llvm::cl::desc("Specify target iPhone OS version (e.g. 2.0)"));
956
957// If -miphoneos-version-min=2.2 is specified, change the triple from being
958// something like armv6-apple-darwin10 to armv6-apple-darwin9.2.2. We use
959// 9 as the default major Darwin number, and encode the iPhone OS version
960// number in the minor version and revision.
961
962// FIXME: We should have the driver do this instead.
Chris Lattner2f60af72009-09-12 22:45:58 +0000963static void HandleIPhoneOSVersionMin(llvm::Triple &Triple) {
964 if (Triple.getOS() != llvm::Triple::Darwin) {
Mike Stump1eb44332009-09-09 15:08:12 +0000965 fprintf(stderr,
Chris Lattner2f60af72009-09-12 22:45:58 +0000966 "-miphoneos-version-min only valid for darwin (Mac OS X) targets\n");
Daniel Dunbar8d33cd72009-04-10 19:52:24 +0000967 exit(1);
968 }
Mike Stump1eb44332009-09-09 15:08:12 +0000969
Chris Lattner2f60af72009-09-12 22:45:58 +0000970 // Validate that IPhoneOSVersionMin is a 'version number', starting with
971 // [2-9].[0-9]
972 if (IPhoneOSVersionMin.size() != 3 || !isdigit(IPhoneOSVersionMin[0]) ||
973 IPhoneOSVersionMin[1] != '.' || !isdigit(IPhoneOSVersionMin[2])) {
Mike Stump1eb44332009-09-09 15:08:12 +0000974 fprintf(stderr,
Chris Lattner2f60af72009-09-12 22:45:58 +0000975 "-miphoneos-version-min=%s is invalid, expected something like '2.0'.\n",
Daniel Dunbar8d33cd72009-04-10 19:52:24 +0000976 IPhoneOSVersionMin.c_str());
977 exit(1);
978 }
Chris Lattner2f60af72009-09-12 22:45:58 +0000979
980 // Turn IPhoneOSVersionMin into a darwin number: e.g. 2.0 is 2 -> 9.2.0
981 llvm::SmallString<16> NewDarwinString;
982 NewDarwinString += "darwin9.";
983 NewDarwinString += IPhoneOSVersionMin;
984 Triple.setOSName(NewDarwinString.str());
Daniel Dunbar8d33cd72009-04-10 19:52:24 +0000985}
986
Chris Lattnerba0f25f2008-09-30 20:16:56 +0000987/// CreateTargetTriple - Process the various options that affect the target
988/// triple and build a final aggregate triple that we are compiling for.
Chris Lattner2f60af72009-09-12 22:45:58 +0000989static llvm::Triple CreateTargetTriple() {
Ted Kremenekae360762007-12-03 22:06:55 +0000990 // Initialize base triple. If a -triple option has been specified, use
991 // that triple. Otherwise, default to the host triple.
Chris Lattner2f60af72009-09-12 22:45:58 +0000992 llvm::Triple Triple(TargetTriple);
993 if (Triple.getTriple().empty())
994 Triple = llvm::Triple(llvm::sys::getHostTriple());
Chris Lattner6a30c1f2008-09-30 01:13:12 +0000995
996 // If -mmacosx-version-min=10.3.9 is specified, change the triple from being
997 // something like powerpc-apple-darwin9 to powerpc-apple-darwin7
Chris Lattnerba0f25f2008-09-30 20:16:56 +0000998 if (!MacOSVersionMin.empty())
999 HandleMacOSVersionMin(Triple);
Daniel Dunbar8d33cd72009-04-10 19:52:24 +00001000 else if (!IPhoneOSVersionMin.empty())
Chris Lattner2f60af72009-09-12 22:45:58 +00001001 HandleIPhoneOSVersionMin(Triple);
Mike Stump1eb44332009-09-09 15:08:12 +00001002
Chris Lattner6a30c1f2008-09-30 01:13:12 +00001003 return Triple;
Ted Kremenekae360762007-12-03 22:06:55 +00001004}
1005
1006//===----------------------------------------------------------------------===//
Chris Lattnere116ccf2009-04-21 05:40:52 +00001007// SourceManager initialization.
Reid Spencer5f016e22007-07-11 17:01:13 +00001008//===----------------------------------------------------------------------===//
1009
Douglas Gregore1d918e2009-04-10 23:10:45 +00001010static bool InitializeSourceManager(Preprocessor &PP,
1011 const std::string &InFile) {
1012 // Figure out where to get and map in the main file.
1013 SourceManager &SourceMgr = PP.getSourceManager();
1014 FileManager &FileMgr = PP.getFileManager();
Daniel Dunbar57cbfc02009-04-27 21:19:07 +00001015
1016 if (EmptyInputOnly) {
1017 const char *EmptyStr = "";
Mike Stump1eb44332009-09-09 15:08:12 +00001018 llvm::MemoryBuffer *SB =
Daniel Dunbar57cbfc02009-04-27 21:19:07 +00001019 llvm::MemoryBuffer::getMemBuffer(EmptyStr, EmptyStr, "<empty input>");
1020 SourceMgr.createMainFileIDForMemBuffer(SB);
1021 } else if (InFile != "-") {
Douglas Gregore1d918e2009-04-10 23:10:45 +00001022 const FileEntry *File = FileMgr.getFile(InFile);
1023 if (File) SourceMgr.createMainFileID(File, SourceLocation());
1024 if (SourceMgr.getMainFileID().isInvalid()) {
Mike Stump1eb44332009-09-09 15:08:12 +00001025 PP.getDiagnostics().Report(FullSourceLoc(), diag::err_fe_error_reading)
Douglas Gregore1d918e2009-04-10 23:10:45 +00001026 << InFile.c_str();
1027 return true;
1028 }
1029 } else {
1030 llvm::MemoryBuffer *SB = llvm::MemoryBuffer::getSTDIN();
1031
1032 // If stdin was empty, SB is null. Cons up an empty memory
1033 // buffer now.
1034 if (!SB) {
1035 const char *EmptyStr = "";
1036 SB = llvm::MemoryBuffer::getMemBuffer(EmptyStr, EmptyStr, "<stdin>");
1037 }
1038
1039 SourceMgr.createMainFileIDForMemBuffer(SB);
1040 if (SourceMgr.getMainFileID().isInvalid()) {
Mike Stump1eb44332009-09-09 15:08:12 +00001041 PP.getDiagnostics().Report(FullSourceLoc(),
Douglas Gregore1d918e2009-04-10 23:10:45 +00001042 diag::err_fe_error_reading_stdin);
1043 return true;
1044 }
1045 }
1046
1047 return false;
1048}
1049
Chris Lattneraa391972008-04-19 23:09:31 +00001050
Chris Lattnere116ccf2009-04-21 05:40:52 +00001051//===----------------------------------------------------------------------===//
1052// Preprocessor Initialization
1053//===----------------------------------------------------------------------===//
Sam Bishop1102d6b2008-04-14 14:41:57 +00001054
Chris Lattnere116ccf2009-04-21 05:40:52 +00001055// FIXME: Preprocessor builtins to support.
1056// -A... - Play with #assertions
1057// -undef - Undefine all predefined macros
Chris Lattnerb31ac222009-04-08 20:15:42 +00001058
Chris Lattnere116ccf2009-04-21 05:40:52 +00001059static llvm::cl::list<std::string>
1060D_macros("D", llvm::cl::value_desc("macro"), llvm::cl::Prefix,
1061 llvm::cl::desc("Predefine the specified macro"));
1062static llvm::cl::list<std::string>
1063U_macros("U", llvm::cl::value_desc("macro"), llvm::cl::Prefix,
1064 llvm::cl::desc("Undefine the specified macro"));
Chris Lattnerb8e240e2009-04-08 18:24:34 +00001065
Chris Lattnere116ccf2009-04-21 05:40:52 +00001066static llvm::cl::list<std::string>
1067ImplicitIncludes("include", llvm::cl::value_desc("file"),
1068 llvm::cl::desc("Include file before parsing"));
1069static llvm::cl::list<std::string>
1070ImplicitMacroIncludes("imacros", llvm::cl::value_desc("file"),
1071 llvm::cl::desc("Include macros from file before parsing"));
Chris Lattnerb8e240e2009-04-08 18:24:34 +00001072
Chris Lattnere116ccf2009-04-21 05:40:52 +00001073static llvm::cl::opt<std::string>
1074ImplicitIncludePCH("include-pch", llvm::cl::value_desc("file"),
1075 llvm::cl::desc("Include precompiled header file"));
1076
1077static llvm::cl::opt<std::string>
1078ImplicitIncludePTH("include-pth", llvm::cl::value_desc("file"),
1079 llvm::cl::desc("Include file before parsing"));
1080
Douglas Gregore650c8c2009-07-07 00:12:59 +00001081static llvm::cl::opt<bool>
Mike Stump1eb44332009-09-09 15:08:12 +00001082RelocatablePCH("relocatable-pch",
Douglas Gregore650c8c2009-07-07 00:12:59 +00001083 llvm::cl::desc("Whether to build a relocatable precompiled "
1084 "header"));
Reid Spencer5f016e22007-07-11 17:01:13 +00001085
1086//===----------------------------------------------------------------------===//
1087// Preprocessor include path information.
1088//===----------------------------------------------------------------------===//
1089
1090// This tool exports a large number of command line options to control how the
1091// preprocessor searches for header files. At root, however, the Preprocessor
1092// object takes a very simple interface: a list of directories to search for
Mike Stump1eb44332009-09-09 15:08:12 +00001093//
Daniel Dunbarfb4ac7b2009-05-06 03:48:17 +00001094// FIXME: -nostdinc++
Chris Lattner0c946412007-08-26 17:47:35 +00001095// FIXME: -imultilib
Reid Spencer5f016e22007-07-11 17:01:13 +00001096//
Reid Spencer5f016e22007-07-11 17:01:13 +00001097
1098static llvm::cl::opt<bool>
1099nostdinc("nostdinc", llvm::cl::desc("Disable standard #include directories"));
1100
Rafael Espindola1bb15a92009-10-05 13:12:17 +00001101static llvm::cl::opt<bool>
1102nostdclanginc("nostdclanginc",
1103 llvm::cl::desc("Disable standard clang #include directories"));
1104
Reid Spencer5f016e22007-07-11 17:01:13 +00001105// Various command line options. These four add directories to each chain.
1106static llvm::cl::list<std::string>
1107F_dirs("F", llvm::cl::value_desc("directory"), llvm::cl::Prefix,
1108 llvm::cl::desc("Add directory to framework include search path"));
1109static llvm::cl::list<std::string>
1110I_dirs("I", llvm::cl::value_desc("directory"), llvm::cl::Prefix,
1111 llvm::cl::desc("Add directory to include search path"));
1112static llvm::cl::list<std::string>
1113idirafter_dirs("idirafter", llvm::cl::value_desc("directory"), llvm::cl::Prefix,
1114 llvm::cl::desc("Add directory to AFTER include search path"));
1115static llvm::cl::list<std::string>
1116iquote_dirs("iquote", llvm::cl::value_desc("directory"), llvm::cl::Prefix,
1117 llvm::cl::desc("Add directory to QUOTE include search path"));
1118static llvm::cl::list<std::string>
1119isystem_dirs("isystem", llvm::cl::value_desc("directory"), llvm::cl::Prefix,
1120 llvm::cl::desc("Add directory to SYSTEM include search path"));
1121
1122// These handle -iprefix/-iwithprefix/-iwithprefixbefore.
1123static llvm::cl::list<std::string>
1124iprefix_vals("iprefix", llvm::cl::value_desc("prefix"), llvm::cl::Prefix,
1125 llvm::cl::desc("Set the -iwithprefix/-iwithprefixbefore prefix"));
1126static llvm::cl::list<std::string>
1127iwithprefix_vals("iwithprefix", llvm::cl::value_desc("dir"), llvm::cl::Prefix,
1128 llvm::cl::desc("Set directory to SYSTEM include search path with prefix"));
1129static llvm::cl::list<std::string>
1130iwithprefixbefore_vals("iwithprefixbefore", llvm::cl::value_desc("dir"),
1131 llvm::cl::Prefix,
1132 llvm::cl::desc("Set directory to include search path with prefix"));
1133
Chris Lattner0c946412007-08-26 17:47:35 +00001134static llvm::cl::opt<std::string>
1135isysroot("isysroot", llvm::cl::value_desc("dir"), llvm::cl::init("/"),
1136 llvm::cl::desc("Set the system root directory (usually /)"));
1137
Reid Spencer5f016e22007-07-11 17:01:13 +00001138// Finally, implement the code that groks the options above.
Chris Lattner5f9eae52008-03-01 08:07:28 +00001139
Rafael Espindola1bb15a92009-10-05 13:12:17 +00001140// Add the clang headers, which are relative to the clang binary.
1141void AddClangIncludePaths(const char *Argv0, InitHeaderSearch *Init) {
1142 if (nostdclanginc)
1143 return;
1144
1145 llvm::sys::Path MainExecutablePath =
1146 llvm::sys::Path::GetMainExecutable(Argv0,
1147 (void*)(intptr_t)AddClangIncludePaths);
1148 if (MainExecutablePath.isEmpty())
1149 return;
1150
1151 MainExecutablePath.eraseComponent(); // Remove /clang from foo/bin/clang
1152 MainExecutablePath.eraseComponent(); // Remove /bin from foo/bin
1153
1154 // Get foo/lib/clang/<version>/include
1155 MainExecutablePath.appendComponent("lib");
1156 MainExecutablePath.appendComponent("clang");
1157 MainExecutablePath.appendComponent(CLANG_VERSION_STRING);
1158 MainExecutablePath.appendComponent("include");
1159
1160 // We pass true to ignore sysroot so that we *always* look for clang headers
1161 // relative to our executable, never relative to -isysroot.
1162 Init->AddPath(MainExecutablePath.c_str(), InitHeaderSearch::System,
1163 false, false, false, true /*ignore sysroot*/);
1164}
1165
Reid Spencer5f016e22007-07-11 17:01:13 +00001166/// InitializeIncludePaths - Process the -I options and set them in the
1167/// HeaderSearch object.
Nico Weber0fca0222008-08-22 09:25:22 +00001168void InitializeIncludePaths(const char *Argv0, HeaderSearch &Headers,
Mike Stump43d81762009-10-08 23:29:47 +00001169 FileManager &FM, const LangOptions &Lang,
1170 llvm::Triple &triple) {
Nico Weber0fca0222008-08-22 09:25:22 +00001171 InitHeaderSearch Init(Headers, Verbose, isysroot);
1172
Ted Kremenekf3721112008-05-31 00:27:00 +00001173 // Handle -I... and -F... options, walking the lists in parallel.
1174 unsigned Iidx = 0, Fidx = 0;
1175 while (Iidx < I_dirs.size() && Fidx < F_dirs.size()) {
1176 if (I_dirs.getPosition(Iidx) < F_dirs.getPosition(Fidx)) {
Nico Weber0fca0222008-08-22 09:25:22 +00001177 Init.AddPath(I_dirs[Iidx], InitHeaderSearch::Angled, false, true, false);
Ted Kremenekf3721112008-05-31 00:27:00 +00001178 ++Iidx;
1179 } else {
Nico Weber0fca0222008-08-22 09:25:22 +00001180 Init.AddPath(F_dirs[Fidx], InitHeaderSearch::Angled, false, true, true);
Ted Kremenekf3721112008-05-31 00:27:00 +00001181 ++Fidx;
1182 }
1183 }
Mike Stump1eb44332009-09-09 15:08:12 +00001184
Ted Kremenekf3721112008-05-31 00:27:00 +00001185 // Consume what's left from whatever list was longer.
1186 for (; Iidx != I_dirs.size(); ++Iidx)
Nico Weber0fca0222008-08-22 09:25:22 +00001187 Init.AddPath(I_dirs[Iidx], InitHeaderSearch::Angled, false, true, false);
Ted Kremenekf3721112008-05-31 00:27:00 +00001188 for (; Fidx != F_dirs.size(); ++Fidx)
Nico Weber0fca0222008-08-22 09:25:22 +00001189 Init.AddPath(F_dirs[Fidx], InitHeaderSearch::Angled, false, true, true);
Mike Stump1eb44332009-09-09 15:08:12 +00001190
Reid Spencer5f016e22007-07-11 17:01:13 +00001191 // Handle -idirafter... options.
1192 for (unsigned i = 0, e = idirafter_dirs.size(); i != e; ++i)
Nico Weber0fca0222008-08-22 09:25:22 +00001193 Init.AddPath(idirafter_dirs[i], InitHeaderSearch::After,
1194 false, true, false);
Mike Stump1eb44332009-09-09 15:08:12 +00001195
Reid Spencer5f016e22007-07-11 17:01:13 +00001196 // Handle -iquote... options.
1197 for (unsigned i = 0, e = iquote_dirs.size(); i != e; ++i)
Nico Weber0fca0222008-08-22 09:25:22 +00001198 Init.AddPath(iquote_dirs[i], InitHeaderSearch::Quoted, false, true, false);
Mike Stump1eb44332009-09-09 15:08:12 +00001199
Reid Spencer5f016e22007-07-11 17:01:13 +00001200 // Handle -isystem... options.
1201 for (unsigned i = 0, e = isystem_dirs.size(); i != e; ++i)
Nico Weber0fca0222008-08-22 09:25:22 +00001202 Init.AddPath(isystem_dirs[i], InitHeaderSearch::System, false, true, false);
Reid Spencer5f016e22007-07-11 17:01:13 +00001203
1204 // Walk the -iprefix/-iwithprefix/-iwithprefixbefore argument lists in
1205 // parallel, processing the values in order of occurance to get the right
1206 // prefixes.
1207 {
1208 std::string Prefix = ""; // FIXME: this isn't the correct default prefix.
1209 unsigned iprefix_idx = 0;
1210 unsigned iwithprefix_idx = 0;
1211 unsigned iwithprefixbefore_idx = 0;
1212 bool iprefix_done = iprefix_vals.empty();
1213 bool iwithprefix_done = iwithprefix_vals.empty();
1214 bool iwithprefixbefore_done = iwithprefixbefore_vals.empty();
1215 while (!iprefix_done || !iwithprefix_done || !iwithprefixbefore_done) {
1216 if (!iprefix_done &&
Mike Stump1eb44332009-09-09 15:08:12 +00001217 (iwithprefix_done ||
1218 iprefix_vals.getPosition(iprefix_idx) <
Reid Spencer5f016e22007-07-11 17:01:13 +00001219 iwithprefix_vals.getPosition(iwithprefix_idx)) &&
Mike Stump1eb44332009-09-09 15:08:12 +00001220 (iwithprefixbefore_done ||
1221 iprefix_vals.getPosition(iprefix_idx) <
Reid Spencer5f016e22007-07-11 17:01:13 +00001222 iwithprefixbefore_vals.getPosition(iwithprefixbefore_idx))) {
1223 Prefix = iprefix_vals[iprefix_idx];
1224 ++iprefix_idx;
1225 iprefix_done = iprefix_idx == iprefix_vals.size();
1226 } else if (!iwithprefix_done &&
Mike Stump1eb44332009-09-09 15:08:12 +00001227 (iwithprefixbefore_done ||
1228 iwithprefix_vals.getPosition(iwithprefix_idx) <
Reid Spencer5f016e22007-07-11 17:01:13 +00001229 iwithprefixbefore_vals.getPosition(iwithprefixbefore_idx))) {
Mike Stump1eb44332009-09-09 15:08:12 +00001230 Init.AddPath(Prefix+iwithprefix_vals[iwithprefix_idx],
Nico Weber0fca0222008-08-22 09:25:22 +00001231 InitHeaderSearch::System, false, false, false);
Reid Spencer5f016e22007-07-11 17:01:13 +00001232 ++iwithprefix_idx;
1233 iwithprefix_done = iwithprefix_idx == iwithprefix_vals.size();
1234 } else {
Mike Stump1eb44332009-09-09 15:08:12 +00001235 Init.AddPath(Prefix+iwithprefixbefore_vals[iwithprefixbefore_idx],
Nico Weber0fca0222008-08-22 09:25:22 +00001236 InitHeaderSearch::Angled, false, false, false);
Reid Spencer5f016e22007-07-11 17:01:13 +00001237 ++iwithprefixbefore_idx;
Mike Stump1eb44332009-09-09 15:08:12 +00001238 iwithprefixbefore_done =
Reid Spencer5f016e22007-07-11 17:01:13 +00001239 iwithprefixbefore_idx == iwithprefixbefore_vals.size();
1240 }
1241 }
1242 }
Chris Lattner5f9eae52008-03-01 08:07:28 +00001243
Nico Weber0fca0222008-08-22 09:25:22 +00001244 Init.AddDefaultEnvVarPaths(Lang);
Chris Lattner5f9eae52008-03-01 08:07:28 +00001245
Rafael Espindola1bb15a92009-10-05 13:12:17 +00001246 AddClangIncludePaths(Argv0, &Init);
Mike Stump1eb44332009-09-09 15:08:12 +00001247
1248 if (!nostdinc)
Mike Stump43d81762009-10-08 23:29:47 +00001249 Init.AddDefaultSystemIncludePaths(Lang, triple);
Reid Spencer5f016e22007-07-11 17:01:13 +00001250
1251 // Now that we have collected all of the include paths, merge them all
1252 // together and tell the preprocessor about them.
Mike Stump1eb44332009-09-09 15:08:12 +00001253
Nico Weber0fca0222008-08-22 09:25:22 +00001254 Init.Realize();
Reid Spencer5f016e22007-07-11 17:01:13 +00001255}
1256
Mike Stump1eb44332009-09-09 15:08:12 +00001257void InitializePreprocessorInitOptions(PreprocessorInitOptions &InitOpts) {
Chris Lattnere116ccf2009-04-21 05:40:52 +00001258 // Add macros from the command line.
1259 unsigned d = 0, D = D_macros.size();
1260 unsigned u = 0, U = U_macros.size();
1261 while (d < D || u < U) {
1262 if (u == U || (d < D && D_macros.getPosition(d) < U_macros.getPosition(u)))
1263 InitOpts.addMacroDef(D_macros[d++]);
1264 else
1265 InitOpts.addMacroUndef(U_macros[u++]);
1266 }
1267
1268 // If -imacros are specified, include them now. These are processed before
1269 // any -include directives.
1270 for (unsigned i = 0, e = ImplicitMacroIncludes.size(); i != e; ++i)
1271 InitOpts.addMacroInclude(ImplicitMacroIncludes[i]);
1272
Douglas Gregorb64c1932009-05-12 01:31:05 +00001273 if (!ImplicitIncludePTH.empty() || !ImplicitIncludes.empty() ||
1274 (!ImplicitIncludePCH.empty() && ProgAction == PrintPreprocessedInput)) {
Chris Lattnere116ccf2009-04-21 05:40:52 +00001275 // We want to add these paths to the predefines buffer in order, make a
1276 // temporary vector to sort by their occurrence.
1277 llvm::SmallVector<std::pair<unsigned, std::string*>, 8> OrderedPaths;
1278
1279 if (!ImplicitIncludePTH.empty())
1280 OrderedPaths.push_back(std::make_pair(ImplicitIncludePTH.getPosition(),
1281 &ImplicitIncludePTH));
Douglas Gregorb64c1932009-05-12 01:31:05 +00001282 if (!ImplicitIncludePCH.empty() && ProgAction == PrintPreprocessedInput)
1283 OrderedPaths.push_back(std::make_pair(ImplicitIncludePCH.getPosition(),
1284 &ImplicitIncludePCH));
Chris Lattnere116ccf2009-04-21 05:40:52 +00001285 for (unsigned i = 0, e = ImplicitIncludes.size(); i != e; ++i)
1286 OrderedPaths.push_back(std::make_pair(ImplicitIncludes.getPosition(i),
1287 &ImplicitIncludes[i]));
1288 llvm::array_pod_sort(OrderedPaths.begin(), OrderedPaths.end());
1289
1290
1291 // Now that they are ordered by position, add to the predefines buffer.
1292 for (unsigned i = 0, e = OrderedPaths.size(); i != e; ++i) {
1293 std::string *Ptr = OrderedPaths[i].second;
1294 if (!ImplicitIncludes.empty() &&
1295 Ptr >= &ImplicitIncludes[0] &&
1296 Ptr <= &ImplicitIncludes[ImplicitIncludes.size()-1]) {
1297 InitOpts.addInclude(*Ptr, false);
Douglas Gregorb64c1932009-05-12 01:31:05 +00001298 } else if (Ptr == &ImplicitIncludePTH) {
Chris Lattnere116ccf2009-04-21 05:40:52 +00001299 InitOpts.addInclude(*Ptr, true);
Douglas Gregorb64c1932009-05-12 01:31:05 +00001300 } else {
1301 // We end up here when we're producing preprocessed output and
1302 // we loaded a PCH file. In this case, just include the header
1303 // file that was used to build the precompiled header.
1304 assert(Ptr == &ImplicitIncludePCH);
1305 std::string OriginalFile = PCHReader::getOriginalSourceFile(*Ptr);
1306 if (!OriginalFile.empty()) {
1307 InitOpts.addInclude(OriginalFile, false);
1308 ImplicitIncludePCH.clear();
1309 }
Chris Lattnere116ccf2009-04-21 05:40:52 +00001310 }
1311 }
1312 }
1313}
1314
Ted Kremeneka42cf2e2008-04-17 21:38:34 +00001315//===----------------------------------------------------------------------===//
1316// Driver PreprocessorFactory - For lazily generating preprocessors ...
1317//===----------------------------------------------------------------------===//
1318
1319namespace {
1320class VISIBILITY_HIDDEN DriverPreprocessorFactory : public PreprocessorFactory {
1321 Diagnostic &Diags;
1322 const LangOptions &LangInfo;
1323 TargetInfo &Target;
1324 SourceManager &SourceMgr;
1325 HeaderSearch &HeaderInfo;
Mike Stump1eb44332009-09-09 15:08:12 +00001326
Ted Kremeneka42cf2e2008-04-17 21:38:34 +00001327public:
Eli Friedmanf086e3b2009-05-18 07:39:39 +00001328 DriverPreprocessorFactory(Diagnostic &diags, const LangOptions &opts,
Ted Kremeneka42cf2e2008-04-17 21:38:34 +00001329 TargetInfo &target, SourceManager &SM,
Mike Stump1eb44332009-09-09 15:08:12 +00001330 HeaderSearch &Headers)
Eli Friedmanf086e3b2009-05-18 07:39:39 +00001331 : Diags(diags), LangInfo(opts), Target(target),
Douglas Gregore1d918e2009-04-10 23:10:45 +00001332 SourceMgr(SM), HeaderInfo(Headers) {}
Mike Stump1eb44332009-09-09 15:08:12 +00001333
1334
Ted Kremeneka42cf2e2008-04-17 21:38:34 +00001335 virtual ~DriverPreprocessorFactory() {}
Mike Stump1eb44332009-09-09 15:08:12 +00001336
Ted Kremeneka42cf2e2008-04-17 21:38:34 +00001337 virtual Preprocessor* CreatePreprocessor() {
Ted Kremenek72b1b152009-01-15 18:47:46 +00001338 llvm::OwningPtr<PTHManager> PTHMgr;
1339
Ted Kremenek748d5d62009-03-20 00:26:38 +00001340 if (!TokenCache.empty() && !ImplicitIncludePTH.empty()) {
1341 fprintf(stderr, "error: cannot use both -token-cache and -include-pth "
1342 "options\n");
Ted Kremenek22f0d092009-03-22 06:42:39 +00001343 exit(1);
Ted Kremenek748d5d62009-03-20 00:26:38 +00001344 }
Mike Stump1eb44332009-09-09 15:08:12 +00001345
Ted Kremenek72b1b152009-01-15 18:47:46 +00001346 // Use PTH?
Ted Kremenek748d5d62009-03-20 00:26:38 +00001347 if (!TokenCache.empty() || !ImplicitIncludePTH.empty()) {
1348 const std::string& x = TokenCache.empty() ? ImplicitIncludePTH:TokenCache;
Mike Stump1eb44332009-09-09 15:08:12 +00001349 PTHMgr.reset(PTHManager::Create(x, &Diags,
Ted Kremenek22f0d092009-03-22 06:42:39 +00001350 TokenCache.empty() ? Diagnostic::Error
1351 : Diagnostic::Warning));
Ted Kremenek748d5d62009-03-20 00:26:38 +00001352 }
Mike Stump1eb44332009-09-09 15:08:12 +00001353
Ted Kremenek22f0d092009-03-22 06:42:39 +00001354 if (Diags.hasErrorOccurred())
1355 exit(1);
Mike Stump1eb44332009-09-09 15:08:12 +00001356
Ted Kremenek72b1b152009-01-15 18:47:46 +00001357 // Create the Preprocessor.
1358 llvm::OwningPtr<Preprocessor> PP(new Preprocessor(Diags, LangInfo, Target,
1359 SourceMgr, HeaderInfo,
1360 PTHMgr.get()));
Mike Stump1eb44332009-09-09 15:08:12 +00001361
Ted Kremenek72b1b152009-01-15 18:47:46 +00001362 // Note that this is different then passing PTHMgr to Preprocessor's ctor.
1363 // That argument is used as the IdentifierInfoLookup argument to
1364 // IdentifierTable's ctor.
1365 if (PTHMgr) {
1366 PTHMgr->setPreprocessor(PP.get());
1367 PP->setPTHManager(PTHMgr.take());
1368 }
Douglas Gregor14f79002009-04-10 03:52:48 +00001369
Chris Lattnere116ccf2009-04-21 05:40:52 +00001370 PreprocessorInitOptions InitOpts;
1371 InitializePreprocessorInitOptions(InitOpts);
Eli Friedmanf086e3b2009-05-18 07:39:39 +00001372 if (InitializePreprocessor(*PP, InitOpts))
Douglas Gregore1d918e2009-04-10 23:10:45 +00001373 return 0;
Chris Lattnere116ccf2009-04-21 05:40:52 +00001374
Douglas Gregore1d918e2009-04-10 23:10:45 +00001375 return PP.take();
Ted Kremeneka42cf2e2008-04-17 21:38:34 +00001376 }
1377};
1378}
Reid Spencer5f016e22007-07-11 17:01:13 +00001379
Reid Spencer5f016e22007-07-11 17:01:13 +00001380//===----------------------------------------------------------------------===//
1381// Basic Parser driver
1382//===----------------------------------------------------------------------===//
1383
Chris Lattner51574ea2008-04-19 23:25:44 +00001384static void ParseFile(Preprocessor &PP, MinimalAction *PA) {
Reid Spencer5f016e22007-07-11 17:01:13 +00001385 Parser P(PP, *PA);
Ted Kremenek95041a22007-12-19 22:51:13 +00001386 PP.EnterMainSourceFile();
Mike Stump1eb44332009-09-09 15:08:12 +00001387
Reid Spencer5f016e22007-07-11 17:01:13 +00001388 // Parsing the specified input file.
1389 P.ParseTranslationUnit();
1390 delete PA;
1391}
1392
1393//===----------------------------------------------------------------------===//
Daniel Dunbar70f92432008-10-23 05:50:47 +00001394// Code generation options
1395//===----------------------------------------------------------------------===//
1396
1397static llvm::cl::opt<bool>
Chris Lattner15104882009-03-09 22:05:03 +00001398GenerateDebugInfo("g",
1399 llvm::cl::desc("Generate source level debug information"));
1400
Daniel Dunbara034ba82009-02-17 19:47:34 +00001401static llvm::cl::opt<std::string>
1402TargetCPU("mcpu",
1403 llvm::cl::desc("Target a specific cpu type (-mcpu=help for details)"));
1404
Daniel Dunbar868bd0a2009-05-06 03:16:41 +00001405static llvm::cl::list<std::string>
1406TargetFeatures("target-feature", llvm::cl::desc("Target specific attributes"));
1407
Devang Patel24095da2009-06-04 23:32:02 +00001408
1409static llvm::cl::opt<bool>
1410DisableRedZone("disable-red-zone",
1411 llvm::cl::desc("Do not emit code that uses the red zone."),
1412 llvm::cl::init(false));
1413
Devang Patelacebb392009-06-05 22:05:48 +00001414static llvm::cl::opt<bool>
1415NoImplicitFloat("no-implicit-float",
1416 llvm::cl::desc("Don't generate implicit floating point instructions (x86-only)"),
1417 llvm::cl::init(false));
1418
Daniel Dunbar868bd0a2009-05-06 03:16:41 +00001419/// ComputeTargetFeatures - Recompute the target feature list to only
1420/// be the list of things that are enabled, based on the target cpu
1421/// and feature list.
1422static void ComputeFeatureMap(TargetInfo *Target,
1423 llvm::StringMap<bool> &Features) {
Mike Stump1eb44332009-09-09 15:08:12 +00001424 assert(Features.empty() && "invalid map");
Daniel Dunbar868bd0a2009-05-06 03:16:41 +00001425
1426 // Initialize the feature map based on the target.
1427 Target->getDefaultFeatures(TargetCPU, Features);
1428
1429 // Apply the user specified deltas.
Mike Stump1eb44332009-09-09 15:08:12 +00001430 for (llvm::cl::list<std::string>::iterator it = TargetFeatures.begin(),
Daniel Dunbar868bd0a2009-05-06 03:16:41 +00001431 ie = TargetFeatures.end(); it != ie; ++it) {
1432 const char *Name = it->c_str();
Mike Stump1eb44332009-09-09 15:08:12 +00001433
Daniel Dunbar868bd0a2009-05-06 03:16:41 +00001434 // FIXME: Don't handle errors like this.
1435 if (Name[0] != '-' && Name[0] != '+') {
Mike Stump1eb44332009-09-09 15:08:12 +00001436 fprintf(stderr, "error: clang-cc: invalid target feature string: %s\n",
Daniel Dunbar868bd0a2009-05-06 03:16:41 +00001437 Name);
1438 exit(1);
1439 }
Daniel Dunbar17ca3632009-05-06 21:07:50 +00001440 if (!Target->setFeatureEnabled(Features, Name + 1, (Name[0] == '+'))) {
Mike Stump1eb44332009-09-09 15:08:12 +00001441 fprintf(stderr, "error: clang-cc: invalid target feature name: %s\n",
Daniel Dunbar17ca3632009-05-06 21:07:50 +00001442 Name + 1);
Daniel Dunbar868bd0a2009-05-06 03:16:41 +00001443 exit(1);
1444 }
Daniel Dunbar868bd0a2009-05-06 03:16:41 +00001445 }
1446}
1447
Chris Lattner7afae712009-03-16 18:41:18 +00001448static void InitializeCompileOptions(CompileOptions &Opts,
Daniel Dunbar868bd0a2009-05-06 03:16:41 +00001449 const LangOptions &LangOpts,
1450 const llvm::StringMap<bool> &Features) {
Daniel Dunbar70f92432008-10-23 05:50:47 +00001451 Opts.OptimizeSize = OptSize;
Chris Lattner20126042009-03-09 22:00:34 +00001452 Opts.DebugInfo = GenerateDebugInfo;
Daniel Dunbar877db382009-06-02 22:07:45 +00001453
1454 if (DisableLLVMOptimizations) {
1455 Opts.OptimizationLevel = 0;
1456 Opts.Inlining = CompileOptions::NoInlining;
Daniel Dunbarac7ffe02008-10-29 07:56:11 +00001457 } else {
Daniel Dunbar877db382009-06-02 22:07:45 +00001458 if (OptSize) {
1459 // -Os implies -O2
1460 Opts.OptimizationLevel = 2;
1461 } else {
1462 Opts.OptimizationLevel = OptLevel;
1463 }
1464
1465 // We must always run at least the always inlining pass.
1466 if (Opts.OptimizationLevel > 1)
1467 Opts.Inlining = CompileOptions::NormalInlining;
1468 else
1469 Opts.Inlining = CompileOptions::OnlyAlwaysInlining;
Daniel Dunbarac7ffe02008-10-29 07:56:11 +00001470 }
Daniel Dunbar8e8f3b72008-10-29 03:42:18 +00001471
1472 // FIXME: There are llvm-gcc options to control these selectively.
Daniel Dunbar8e8f3b72008-10-29 03:42:18 +00001473 Opts.UnrollLoops = (Opts.OptimizationLevel > 1 && !OptSize);
Chris Lattner7afae712009-03-16 18:41:18 +00001474 Opts.SimplifyLibCalls = !LangOpts.NoBuiltin;
Daniel Dunbardd913e52008-10-31 09:34:21 +00001475
1476#ifdef NDEBUG
1477 Opts.VerifyModule = 0;
1478#endif
Daniel Dunbara034ba82009-02-17 19:47:34 +00001479
1480 Opts.CPU = TargetCPU;
Daniel Dunbar868bd0a2009-05-06 03:16:41 +00001481 Opts.Features.clear();
Mike Stump1eb44332009-09-09 15:08:12 +00001482 for (llvm::StringMap<bool>::const_iterator it = Features.begin(),
Daniel Dunbar868bd0a2009-05-06 03:16:41 +00001483 ie = Features.end(); it != ie; ++it) {
1484 // FIXME: If we are completely confident that we have the right
1485 // set, we only need to pass the minuses.
1486 std::string Name(it->second ? "+" : "-");
1487 Name += it->first();
1488 Opts.Features.push_back(Name);
1489 }
Mike Stump1eb44332009-09-09 15:08:12 +00001490
Chris Lattnerbd360642009-03-26 05:00:52 +00001491 Opts.NoCommon = NoCommon | LangOpts.CPlusPlus;
Mike Stump1eb44332009-09-09 15:08:12 +00001492
Chris Lattner44502662009-02-18 01:23:44 +00001493 // Handle -ftime-report.
1494 Opts.TimePasses = TimeReport;
Devang Patel24095da2009-06-04 23:32:02 +00001495
1496 Opts.DisableRedZone = DisableRedZone;
Devang Patelacebb392009-06-05 22:05:48 +00001497 Opts.NoImplicitFloat = NoImplicitFloat;
Daniel Dunbar70f92432008-10-23 05:50:47 +00001498}
1499
1500//===----------------------------------------------------------------------===//
Douglas Gregor26df2f02009-04-02 19:05:20 +00001501// Fix-It Options
1502//===----------------------------------------------------------------------===//
1503static llvm::cl::list<ParsedSourceLocation>
1504FixItAtLocations("fixit-at", llvm::cl::value_desc("source-location"),
1505 llvm::cl::desc("Perform Fix-It modifications at the given source location"));
1506
1507//===----------------------------------------------------------------------===//
Eli Friedmanc6d656e2009-05-18 22:39:16 +00001508// ObjC Rewriter Options
1509//===----------------------------------------------------------------------===//
1510static llvm::cl::opt<bool>
1511SilenceRewriteMacroWarning("Wno-rewrite-macros", llvm::cl::init(false),
1512 llvm::cl::desc("Silence ObjC rewriting warnings"));
1513
1514//===----------------------------------------------------------------------===//
Eli Friedman0eeb86e2009-05-19 01:17:04 +00001515// Warning Options
1516//===----------------------------------------------------------------------===//
1517
1518// This gets all -W options, including -Werror, -W[no-]system-headers, etc. The
1519// driver has stripped off -Wa,foo etc. The driver has also translated -W to
1520// -Wextra, so we don't need to worry about it.
1521static llvm::cl::list<std::string>
1522OptWarnings("W", llvm::cl::Prefix, llvm::cl::ValueOptional);
1523
1524static llvm::cl::opt<bool> OptPedantic("pedantic");
1525static llvm::cl::opt<bool> OptPedanticErrors("pedantic-errors");
1526static llvm::cl::opt<bool> OptNoWarnings("w");
1527
1528//===----------------------------------------------------------------------===//
Eli Friedman12d3b1d2009-05-19 03:06:47 +00001529// Preprocessing (-E mode) Options
1530//===----------------------------------------------------------------------===//
1531static llvm::cl::opt<bool>
1532DisableLineMarkers("P", llvm::cl::desc("Disable linemarker output in -E mode"));
1533static llvm::cl::opt<bool>
1534EnableCommentOutput("C", llvm::cl::desc("Enable comment output in -E mode"));
1535static llvm::cl::opt<bool>
1536EnableMacroCommentOutput("CC",
1537 llvm::cl::desc("Enable comment output in -E mode, "
1538 "even from macro expansions"));
1539static llvm::cl::opt<bool>
1540DumpMacros("dM", llvm::cl::desc("Print macro definitions in -E mode instead of"
1541 " normal output"));
1542static llvm::cl::opt<bool>
1543DumpDefines("dD", llvm::cl::desc("Print macro definitions in -E mode in "
1544 "addition to normal output"));
Eli Friedmanb5c8f8b2009-05-19 03:35:57 +00001545
1546//===----------------------------------------------------------------------===//
1547// Dependency file options
1548//===----------------------------------------------------------------------===//
1549static llvm::cl::opt<std::string>
1550DependencyFile("dependency-file",
1551 llvm::cl::desc("Filename (or -) to write dependency output to"));
1552
1553static llvm::cl::opt<bool>
1554DependenciesIncludeSystemHeaders("sys-header-deps",
1555 llvm::cl::desc("Include system headers in dependency output"));
1556
1557static llvm::cl::list<std::string>
1558DependencyTargets("MT",
1559 llvm::cl::desc("Specify target for dependency"));
1560
1561// FIXME: Implement feature
1562static llvm::cl::opt<bool>
1563PhonyDependencyTarget("MP",
1564 llvm::cl::desc("Create phony target for each dependency "
1565 "(other than main file)"));
1566
Eli Friedman12d3b1d2009-05-19 03:06:47 +00001567//===----------------------------------------------------------------------===//
Eli Friedmane71b85f2009-05-19 10:18:02 +00001568// Analysis options
1569//===----------------------------------------------------------------------===//
1570
1571static llvm::cl::list<Analyses>
1572AnalysisList(llvm::cl::desc("Source Code Analysis - Checks and Analyses"),
1573llvm::cl::values(
1574#define ANALYSIS(NAME, CMDFLAG, DESC, SCOPE)\
1575clEnumValN(NAME, CMDFLAG, DESC),
Eli Friedman0ec78fa2009-05-19 21:10:40 +00001576#include "clang/Frontend/Analyses.def"
Eli Friedmane71b85f2009-05-19 10:18:02 +00001577clEnumValEnd));
1578
Mike Stump1eb44332009-09-09 15:08:12 +00001579static llvm::cl::opt<AnalysisStores>
Eli Friedmane71b85f2009-05-19 10:18:02 +00001580AnalysisStoreOpt("analyzer-store",
1581 llvm::cl::desc("Source Code Analysis - Abstract Memory Store Models"),
1582 llvm::cl::init(BasicStoreModel),
1583 llvm::cl::values(
1584#define ANALYSIS_STORE(NAME, CMDFLAG, DESC, CREATFN)\
1585clEnumValN(NAME##Model, CMDFLAG, DESC),
Eli Friedman0ec78fa2009-05-19 21:10:40 +00001586#include "clang/Frontend/Analyses.def"
Eli Friedmane71b85f2009-05-19 10:18:02 +00001587clEnumValEnd));
1588
Mike Stump1eb44332009-09-09 15:08:12 +00001589static llvm::cl::opt<AnalysisConstraints>
Eli Friedmane71b85f2009-05-19 10:18:02 +00001590AnalysisConstraintsOpt("analyzer-constraints",
1591 llvm::cl::desc("Source Code Analysis - Symbolic Constraint Engines"),
1592 llvm::cl::init(RangeConstraintsModel),
1593 llvm::cl::values(
1594#define ANALYSIS_CONSTRAINTS(NAME, CMDFLAG, DESC, CREATFN)\
1595clEnumValN(NAME##Model, CMDFLAG, DESC),
Eli Friedman0ec78fa2009-05-19 21:10:40 +00001596#include "clang/Frontend/Analyses.def"
Eli Friedmane71b85f2009-05-19 10:18:02 +00001597clEnumValEnd));
1598
1599static llvm::cl::opt<AnalysisDiagClients>
1600AnalysisDiagOpt("analyzer-output",
1601 llvm::cl::desc("Source Code Analysis - Output Options"),
1602 llvm::cl::init(PD_HTML),
1603 llvm::cl::values(
1604#define ANALYSIS_DIAGNOSTICS(NAME, CMDFLAG, DESC, CREATFN, AUTOCREATE)\
1605clEnumValN(PD_##NAME, CMDFLAG, DESC),
Eli Friedman0ec78fa2009-05-19 21:10:40 +00001606#include "clang/Frontend/Analyses.def"
Eli Friedmane71b85f2009-05-19 10:18:02 +00001607clEnumValEnd));
1608
1609static llvm::cl::opt<bool>
1610VisualizeEGDot("analyzer-viz-egraph-graphviz",
1611 llvm::cl::desc("Display exploded graph using GraphViz"));
1612
1613static llvm::cl::opt<bool>
1614VisualizeEGUbi("analyzer-viz-egraph-ubigraph",
1615 llvm::cl::desc("Display exploded graph using Ubigraph"));
1616
1617static llvm::cl::opt<bool>
1618AnalyzeAll("analyzer-opt-analyze-headers",
1619 llvm::cl::desc("Force the static analyzer to analyze "
1620 "functions defined in header files"));
1621
1622static llvm::cl::opt<bool>
1623AnalyzerDisplayProgress("analyzer-display-progress",
1624 llvm::cl::desc("Emit verbose output about the analyzer's progress."));
1625
1626static llvm::cl::opt<bool>
1627PurgeDead("analyzer-purge-dead",
1628 llvm::cl::init(true),
1629 llvm::cl::desc("Remove dead symbols, bindings, and constraints before"
1630 " processing a statement."));
1631
1632static llvm::cl::opt<bool>
1633EagerlyAssume("analyzer-eagerly-assume",
1634 llvm::cl::init(false),
1635 llvm::cl::desc("Eagerly assume the truth/falseness of some "
1636 "symbolic constraints."));
1637
1638static llvm::cl::opt<std::string>
1639AnalyzeSpecificFunction("analyze-function",
1640 llvm::cl::desc("Run analysis on specific function"));
1641
1642static llvm::cl::opt<bool>
1643TrimGraph("trim-egraph",
1644 llvm::cl::desc("Only show error-related paths in the analysis graph"));
1645
1646static AnalyzerOptions ReadAnalyzerOptions() {
1647 AnalyzerOptions Opts;
1648 Opts.AnalysisList = AnalysisList;
1649 Opts.AnalysisStoreOpt = AnalysisStoreOpt;
1650 Opts.AnalysisConstraintsOpt = AnalysisConstraintsOpt;
1651 Opts.AnalysisDiagOpt = AnalysisDiagOpt;
1652 Opts.VisualizeEGDot = VisualizeEGDot;
1653 Opts.VisualizeEGUbi = VisualizeEGUbi;
1654 Opts.AnalyzeAll = AnalyzeAll;
1655 Opts.AnalyzerDisplayProgress = AnalyzerDisplayProgress;
1656 Opts.PurgeDead = PurgeDead;
1657 Opts.EagerlyAssume = EagerlyAssume;
1658 Opts.AnalyzeSpecificFunction = AnalyzeSpecificFunction;
1659 Opts.TrimGraph = TrimGraph;
1660 return Opts;
1661}
1662
1663//===----------------------------------------------------------------------===//
Chris Lattner75a97cb2009-04-17 21:05:01 +00001664// -dump-build-information Stuff
1665//===----------------------------------------------------------------------===//
1666
1667static llvm::cl::opt<std::string>
1668DumpBuildInformation("dump-build-information",
1669 llvm::cl::value_desc("filename"),
1670 llvm::cl::desc("output a dump of some build information to a file"));
1671
1672static llvm::raw_ostream *BuildLogFile = 0;
1673
1674/// LoggingDiagnosticClient - This is a simple diagnostic client that forwards
1675/// all diagnostics to both BuildLogFile and a chained DiagnosticClient.
1676namespace {
1677class LoggingDiagnosticClient : public DiagnosticClient {
1678 llvm::OwningPtr<DiagnosticClient> Chain1;
1679 llvm::OwningPtr<DiagnosticClient> Chain2;
1680public:
Mike Stump1eb44332009-09-09 15:08:12 +00001681
Chris Lattner75a97cb2009-04-17 21:05:01 +00001682 LoggingDiagnosticClient(DiagnosticClient *Normal) {
1683 // Output diags both where requested...
1684 Chain1.reset(Normal);
1685 // .. and to our log file.
1686 Chain2.reset(new TextDiagnosticPrinter(*BuildLogFile,
1687 !NoShowColumn,
1688 !NoCaretDiagnostics,
1689 !NoShowLocation,
1690 PrintSourceRangeInfo,
Chris Lattneraa5bf2e2009-04-19 07:44:08 +00001691 PrintDiagnosticOption,
Douglas Gregorfffd93f2009-05-01 21:53:04 +00001692 !NoDiagnosticsFixIt,
Nate Begeman4e3629e2009-06-25 22:43:10 +00001693 MessageLength));
Chris Lattner75a97cb2009-04-17 21:05:01 +00001694 }
Mike Stump1eb44332009-09-09 15:08:12 +00001695
Chris Lattner75a97cb2009-04-17 21:05:01 +00001696 virtual void setLangOptions(const LangOptions *LO) {
1697 Chain1->setLangOptions(LO);
1698 Chain2->setLangOptions(LO);
1699 }
Mike Stump1eb44332009-09-09 15:08:12 +00001700
Chris Lattner75a97cb2009-04-17 21:05:01 +00001701 virtual bool IncludeInDiagnosticCounts() const {
1702 return Chain1->IncludeInDiagnosticCounts();
1703 }
1704
1705 virtual void HandleDiagnostic(Diagnostic::Level DiagLevel,
1706 const DiagnosticInfo &Info) {
1707 Chain1->HandleDiagnostic(DiagLevel, Info);
1708 Chain2->HandleDiagnostic(DiagLevel, Info);
1709 }
1710};
1711} // end anonymous namespace.
1712
1713static void SetUpBuildDumpLog(unsigned argc, char **argv,
1714 llvm::OwningPtr<DiagnosticClient> &DiagClient) {
Mike Stump1eb44332009-09-09 15:08:12 +00001715
Chris Lattner75a97cb2009-04-17 21:05:01 +00001716 std::string ErrorInfo;
Chris Lattner92bcc272009-08-23 02:59:41 +00001717 BuildLogFile = new llvm::raw_fd_ostream(DumpBuildInformation.c_str(),
Dan Gohmanb044c472009-08-25 15:36:09 +00001718 ErrorInfo);
Mike Stump1eb44332009-09-09 15:08:12 +00001719
Chris Lattner75a97cb2009-04-17 21:05:01 +00001720 if (!ErrorInfo.empty()) {
1721 llvm::errs() << "error opening -dump-build-information file '"
1722 << DumpBuildInformation << "', option ignored!\n";
1723 delete BuildLogFile;
1724 BuildLogFile = 0;
1725 DumpBuildInformation = "";
1726 return;
1727 }
1728
1729 (*BuildLogFile) << "clang-cc command line arguments: ";
1730 for (unsigned i = 0; i != argc; ++i)
1731 (*BuildLogFile) << argv[i] << ' ';
1732 (*BuildLogFile) << '\n';
Mike Stump1eb44332009-09-09 15:08:12 +00001733
Chris Lattner75a97cb2009-04-17 21:05:01 +00001734 // LoggingDiagnosticClient - Insert a new logging diagnostic client in between
1735 // the diagnostic producers and the normal receiver.
1736 DiagClient.reset(new LoggingDiagnosticClient(DiagClient.take()));
1737}
1738
1739
1740
1741//===----------------------------------------------------------------------===//
Reid Spencer5f016e22007-07-11 17:01:13 +00001742// Main driver
1743//===----------------------------------------------------------------------===//
1744
Chris Lattner92bcc272009-08-23 02:59:41 +00001745static llvm::raw_ostream *ComputeOutFile(const std::string &InFile,
1746 const char *Extension,
Eli Friedman66d6f042009-05-18 22:20:00 +00001747 bool Binary,
1748 llvm::sys::Path& OutPath) {
Chris Lattner92bcc272009-08-23 02:59:41 +00001749 llvm::raw_ostream *Ret;
Eli Friedman66d6f042009-05-18 22:20:00 +00001750 std::string OutFile;
Chris Lattner92bcc272009-08-23 02:59:41 +00001751 if (!OutputFile.empty())
Eli Friedman66d6f042009-05-18 22:20:00 +00001752 OutFile = OutputFile;
Chris Lattner92bcc272009-08-23 02:59:41 +00001753 else if (InFile == "-") {
1754 OutFile = "-";
Eli Friedman66d6f042009-05-18 22:20:00 +00001755 } else if (Extension) {
1756 llvm::sys::Path Path(InFile);
1757 Path.eraseSuffix();
1758 Path.appendSuffix(Extension);
Chris Lattnerd57a7ef2009-08-23 22:45:33 +00001759 OutFile = Path.str();
Eli Friedman66d6f042009-05-18 22:20:00 +00001760 } else {
Chris Lattner92bcc272009-08-23 02:59:41 +00001761 OutFile = "-";
Chris Lattner8a5c8092009-02-18 01:20:05 +00001762 }
Seo Sanghyeonfe947ad2007-12-24 01:52:34 +00001763
Chris Lattner92bcc272009-08-23 02:59:41 +00001764 std::string Error;
1765 Ret = new llvm::raw_fd_ostream(OutFile.c_str(), Error,
Dan Gohmanb044c472009-08-25 15:36:09 +00001766 (Binary ? llvm::raw_fd_ostream::F_Binary : 0));
Chris Lattner92bcc272009-08-23 02:59:41 +00001767 if (!Error.empty()) {
1768 // FIXME: Don't fail this way.
1769 llvm::errs() << "ERROR: " << Error << "\n";
1770 ::exit(1);
Ted Kremenekdb094a22007-12-05 18:27:04 +00001771 }
Mike Stump1eb44332009-09-09 15:08:12 +00001772
Chris Lattner92bcc272009-08-23 02:59:41 +00001773 if (OutFile != "-")
1774 OutPath = OutFile;
Eli Friedman66d6f042009-05-18 22:20:00 +00001775
1776 return Ret;
Ted Kremenekdb094a22007-12-05 18:27:04 +00001777}
1778
Daniel Dunbar0794d8d2009-09-17 00:48:00 +00001779static ASTConsumer *CreateConsumerAction(Preprocessor &PP,
1780 const std::string &InFile,
1781 ProgActions PA,
1782 llvm::OwningPtr<llvm::raw_ostream> &OS,
1783 llvm::sys::Path &OutPath,
1784 const llvm::StringMap<bool> &Features,
1785 llvm::LLVMContext& Context) {
Ted Kremenek85888962008-10-21 00:54:44 +00001786 switch (PA) {
Reid Spencer5f016e22007-07-11 17:01:13 +00001787 default:
Daniel Dunbar0794d8d2009-09-17 00:48:00 +00001788 return 0;
Eli Friedman66d6f042009-05-18 22:20:00 +00001789
1790 case ASTPrint:
1791 OS.reset(ComputeOutFile(InFile, 0, false, OutPath));
Daniel Dunbar0794d8d2009-09-17 00:48:00 +00001792 return CreateASTPrinter(OS.get());
Mike Stump1eb44332009-09-09 15:08:12 +00001793
Douglas Gregoree75c052009-05-21 20:55:50 +00001794 case ASTPrintXML:
1795 OS.reset(ComputeOutFile(InFile, "xml", false, OutPath));
Daniel Dunbar0794d8d2009-09-17 00:48:00 +00001796 return CreateASTPrinterXML(OS.get());
Douglas Gregoree75c052009-05-21 20:55:50 +00001797
Eli Friedman66d6f042009-05-18 22:20:00 +00001798 case ASTDump:
Daniel Dunbar0794d8d2009-09-17 00:48:00 +00001799 return CreateASTDumper();
Eli Friedman66d6f042009-05-18 22:20:00 +00001800
Eli Friedman66d6f042009-05-18 22:20:00 +00001801 case ASTView:
Daniel Dunbar0794d8d2009-09-17 00:48:00 +00001802 return CreateASTViewer();
Eli Friedman66d6f042009-05-18 22:20:00 +00001803
1804 case PrintDeclContext:
Daniel Dunbar0794d8d2009-09-17 00:48:00 +00001805 return CreateDeclContextPrinter();
Eli Friedman66d6f042009-05-18 22:20:00 +00001806
Anders Carlsson78762eb2009-09-24 18:54:49 +00001807 case DumpRecordLayouts:
1808 return CreateRecordLayoutDumper();
1809
Eli Friedman66d6f042009-05-18 22:20:00 +00001810 case InheritanceView:
Daniel Dunbar0794d8d2009-09-17 00:48:00 +00001811 return CreateInheritanceViewer(InheritanceViewCls);
Eli Friedman66d6f042009-05-18 22:20:00 +00001812
1813 case EmitAssembly:
1814 case EmitLLVM:
Mike Stump1eb44332009-09-09 15:08:12 +00001815 case EmitBC:
Eli Friedman66d6f042009-05-18 22:20:00 +00001816 case EmitLLVMOnly: {
1817 BackendAction Act;
1818 if (ProgAction == EmitAssembly) {
1819 Act = Backend_EmitAssembly;
1820 OS.reset(ComputeOutFile(InFile, "s", true, OutPath));
1821 } else if (ProgAction == EmitLLVM) {
1822 Act = Backend_EmitLL;
1823 OS.reset(ComputeOutFile(InFile, "ll", true, OutPath));
1824 } else if (ProgAction == EmitLLVMOnly) {
1825 Act = Backend_EmitNothing;
1826 } else {
1827 Act = Backend_EmitBC;
1828 OS.reset(ComputeOutFile(InFile, "bc", true, OutPath));
Ted Kremenekdb094a22007-12-05 18:27:04 +00001829 }
Ted Kremenekfdfc1982007-12-19 22:24:34 +00001830
Eli Friedman66d6f042009-05-18 22:20:00 +00001831 CompileOptions Opts;
1832 InitializeCompileOptions(Opts, PP.getLangOptions(), Features);
Daniel Dunbar0794d8d2009-09-17 00:48:00 +00001833 return CreateBackendConsumer(Act, PP.getDiagnostics(), PP.getLangOptions(),
1834 Opts, InFile, OS.get(), Context);
Eli Friedman66d6f042009-05-18 22:20:00 +00001835 }
1836
Daniel Dunbar0794d8d2009-09-17 00:48:00 +00001837 case RewriteObjC:
1838 OS.reset(ComputeOutFile(InFile, "cpp", true, OutPath));
1839 return CreateObjCRewriter(InFile, OS.get(), PP.getDiagnostics(),
1840 PP.getLangOptions(), SilenceRewriteMacroWarning);
1841
1842 case RewriteBlocks:
1843 return CreateBlockRewriter(InFile, PP.getDiagnostics(),
1844 PP.getLangOptions());
1845 }
1846}
1847
1848/// ProcessInputFile - Process a single input file with the specified state.
1849///
1850static void ProcessInputFile(Preprocessor &PP, PreprocessorFactory &PPF,
1851 const std::string &InFile, ProgActions PA,
1852 const llvm::StringMap<bool> &Features,
1853 llvm::LLVMContext& Context) {
1854 llvm::OwningPtr<llvm::raw_ostream> OS;
1855 llvm::OwningPtr<ASTConsumer> Consumer;
1856 bool ClearSourceMgr = false;
1857 FixItRewriter *FixItRewrite = 0;
1858 bool CompleteTranslationUnit = true;
1859 llvm::sys::Path OutPath;
1860
1861 switch (PA) {
1862 default:
1863 Consumer.reset(CreateConsumerAction(PP, InFile, PA, OS, OutPath,
1864 Features, Context));
1865
1866 if (!Consumer.get()) {
1867 fprintf(stderr, "Unexpected program action!\n");
1868 HadErrors = true;
1869 return;
1870 }
1871
1872 break;;
1873
1874 case EmitHTML:
1875 OS.reset(ComputeOutFile(InFile, 0, true, OutPath));
1876 Consumer.reset(CreateHTMLPrinter(OS.get(), PP.getDiagnostics(), &PP, &PPF));
1877 break;
1878
1879 case RunAnalysis:
1880 Consumer.reset(CreateAnalysisConsumer(PP.getDiagnostics(), &PP, &PPF,
1881 PP.getLangOptions(), OutputFile,
1882 ReadAnalyzerOptions()));
1883 break;
1884
Eli Friedman66d6f042009-05-18 22:20:00 +00001885 case GeneratePCH:
Douglas Gregore650c8c2009-07-07 00:12:59 +00001886 if (RelocatablePCH.getValue() && !isysroot.getNumOccurrences()) {
1887 PP.Diag(SourceLocation(), diag::err_relocatable_without_without_isysroot);
1888 RelocatablePCH.setValue(false);
1889 }
Mike Stump1eb44332009-09-09 15:08:12 +00001890
Eli Friedman66d6f042009-05-18 22:20:00 +00001891 OS.reset(ComputeOutFile(InFile, 0, true, OutPath));
Douglas Gregore650c8c2009-07-07 00:12:59 +00001892 if (RelocatablePCH.getValue())
1893 Consumer.reset(CreatePCHGenerator(PP, OS.get(), isysroot.c_str()));
1894 else
1895 Consumer.reset(CreatePCHGenerator(PP, OS.get()));
Eli Friedman66d6f042009-05-18 22:20:00 +00001896 CompleteTranslationUnit = false;
1897 break;
1898
Chris Lattnerc106c102008-10-12 05:03:36 +00001899 case DumpRawTokens: {
Chris Lattner47099742009-02-18 01:51:21 +00001900 llvm::TimeRegion Timer(ClangFrontendTimer);
Chris Lattnerc106c102008-10-12 05:03:36 +00001901 SourceManager &SM = PP.getSourceManager();
Chris Lattnerc106c102008-10-12 05:03:36 +00001902 // Start lexing the specified input file.
Chris Lattner025c3a62009-01-17 07:35:14 +00001903 Lexer RawLex(SM.getMainFileID(), SM, PP.getLangOptions());
Chris Lattnerc106c102008-10-12 05:03:36 +00001904 RawLex.SetKeepWhitespaceMode(true);
1905
1906 Token RawTok;
Chris Lattnerc106c102008-10-12 05:03:36 +00001907 RawLex.LexFromRawLexer(RawTok);
1908 while (RawTok.isNot(tok::eof)) {
1909 PP.DumpToken(RawTok, true);
1910 fprintf(stderr, "\n");
1911 RawLex.LexFromRawLexer(RawTok);
1912 }
1913 ClearSourceMgr = true;
1914 break;
1915 }
Reid Spencer5f016e22007-07-11 17:01:13 +00001916 case DumpTokens: { // Token dump mode.
Chris Lattner47099742009-02-18 01:51:21 +00001917 llvm::TimeRegion Timer(ClangFrontendTimer);
Chris Lattnerd2177732007-07-20 16:59:19 +00001918 Token Tok;
Chris Lattnerc106c102008-10-12 05:03:36 +00001919 // Start preprocessing the specified input file.
Ted Kremenek95041a22007-12-19 22:51:13 +00001920 PP.EnterMainSourceFile();
Reid Spencer5f016e22007-07-11 17:01:13 +00001921 do {
1922 PP.Lex(Tok);
1923 PP.DumpToken(Tok, true);
1924 fprintf(stderr, "\n");
Chris Lattner057aaf62007-10-09 18:03:42 +00001925 } while (Tok.isNot(tok::eof));
Chris Lattnerbd247762007-07-22 06:05:44 +00001926 ClearSourceMgr = true;
Reid Spencer5f016e22007-07-11 17:01:13 +00001927 break;
1928 }
Chris Lattnerd1d64a02009-04-27 21:45:14 +00001929 case RunPreprocessorOnly:
Reid Spencer5f016e22007-07-11 17:01:13 +00001930 break;
Mike Stump1eb44332009-09-09 15:08:12 +00001931
Douglas Gregorbf1bd6e2009-04-02 23:43:50 +00001932 case GeneratePTH: {
Chris Lattner47099742009-02-18 01:51:21 +00001933 llvm::TimeRegion Timer(ClangFrontendTimer);
Eli Friedmanf54fce82009-05-19 01:02:07 +00001934 if (OutputFile.empty() || OutputFile == "-") {
1935 // FIXME: Don't fail this way.
1936 // FIXME: Verify that we can actually seek in the given file.
Chris Lattner92bcc272009-08-23 02:59:41 +00001937 llvm::errs() << "ERROR: PTH requires an seekable file for output!\n";
Eli Friedmanf54fce82009-05-19 01:02:07 +00001938 ::exit(1);
1939 }
1940 OS.reset(ComputeOutFile(InFile, 0, true, OutPath));
1941 CacheTokens(PP, static_cast<llvm::raw_fd_ostream*>(OS.get()));
Ted Kremenek85888962008-10-21 00:54:44 +00001942 ClearSourceMgr = true;
1943 break;
Mike Stump1eb44332009-09-09 15:08:12 +00001944 }
Douglas Gregor6ab35242009-04-09 21:40:53 +00001945
Chris Lattnercc7dea82009-04-27 22:02:30 +00001946 case PrintPreprocessedInput:
Eli Friedmanf54fce82009-05-19 01:02:07 +00001947 OS.reset(ComputeOutFile(InFile, 0, true, OutPath));
Reid Spencer5f016e22007-07-11 17:01:13 +00001948 break;
Mike Stump1eb44332009-09-09 15:08:12 +00001949
Chris Lattnerd1d64a02009-04-27 21:45:14 +00001950 case ParseNoop:
Reid Spencer5f016e22007-07-11 17:01:13 +00001951 break;
Mike Stump1eb44332009-09-09 15:08:12 +00001952
Chris Lattner47099742009-02-18 01:51:21 +00001953 case ParsePrintCallbacks: {
1954 llvm::TimeRegion Timer(ClangFrontendTimer);
Eli Friedmanf54fce82009-05-19 01:02:07 +00001955 OS.reset(ComputeOutFile(InFile, 0, true, OutPath));
1956 ParseFile(PP, CreatePrintParserActionsAction(PP, OS.get()));
Chris Lattnerbd247762007-07-22 06:05:44 +00001957 ClearSourceMgr = true;
Reid Spencer5f016e22007-07-11 17:01:13 +00001958 break;
Chris Lattner47099742009-02-18 01:51:21 +00001959 }
1960
1961 case ParseSyntaxOnly: { // -fsyntax-only
1962 llvm::TimeRegion Timer(ClangFrontendTimer);
Ted Kremenek7e7e6252008-08-08 02:46:37 +00001963 Consumer.reset(new ASTConsumer());
Ted Kremenek2bf55142007-09-17 20:49:30 +00001964 break;
Chris Lattner47099742009-02-18 01:51:21 +00001965 }
Mike Stump1eb44332009-09-09 15:08:12 +00001966
Chris Lattnerb57e3d42008-05-08 06:52:13 +00001967 case RewriteMacros:
Eli Friedmanf54fce82009-05-19 01:02:07 +00001968 OS.reset(ComputeOutFile(InFile, 0, true, OutPath));
1969 RewriteMacrosInInput(PP, OS.get());
Chris Lattnerb57e3d42008-05-08 06:52:13 +00001970 ClearSourceMgr = true;
1971 break;
Mike Stump1eb44332009-09-09 15:08:12 +00001972
Eli Friedmanf54fce82009-05-19 01:02:07 +00001973 case RewriteTest:
1974 OS.reset(ComputeOutFile(InFile, 0, true, OutPath));
1975 DoRewriteTest(PP, OS.get());
Chris Lattnerb13c5ee2008-10-12 05:29:20 +00001976 ClearSourceMgr = true;
1977 break;
Douglas Gregor558cb562009-04-02 01:08:08 +00001978
1979 case FixIt:
1980 llvm::TimeRegion Timer(ClangFrontendTimer);
1981 Consumer.reset(new ASTConsumer());
Douglas Gregorde4bf6a2009-04-02 17:13:00 +00001982 FixItRewrite = new FixItRewriter(PP.getDiagnostics(),
Chris Lattner2c78b872009-04-14 23:22:57 +00001983 PP.getSourceManager(),
1984 PP.getLangOptions());
Douglas Gregor558cb562009-04-02 01:08:08 +00001985 break;
Chris Lattner47099742009-02-18 01:51:21 +00001986 }
Ted Kremenek46157b52009-01-28 04:29:29 +00001987
Chris Lattner1aee61a2009-04-27 21:25:27 +00001988 if (FixItAtLocations.size() > 0) {
1989 // Even without the "-fixit" flag, with may have some specific
1990 // locations where the user has requested fixes. Process those
1991 // locations now.
1992 if (!FixItRewrite)
1993 FixItRewrite = new FixItRewriter(PP.getDiagnostics(),
1994 PP.getSourceManager(),
1995 PP.getLangOptions());
Chris Lattner9ecd26a2009-03-28 01:37:17 +00001996
Chris Lattner1aee61a2009-04-27 21:25:27 +00001997 bool AddedFixitLocation = false;
Mike Stump1eb44332009-09-09 15:08:12 +00001998 for (unsigned Idx = 0, Last = FixItAtLocations.size();
Chris Lattner1aee61a2009-04-27 21:25:27 +00001999 Idx != Last; ++Idx) {
2000 RequestedSourceLocation Requested;
Argyrios Kyrtzidis34d25d82009-06-23 22:01:39 +00002001 if (ResolveParsedLocation(FixItAtLocations[Idx],
2002 PP.getFileManager(), Requested)) {
Chris Lattner1aee61a2009-04-27 21:25:27 +00002003 fprintf(stderr, "FIX-IT could not find file \"%s\"\n",
2004 FixItAtLocations[Idx].FileName.c_str());
2005 } else {
2006 FixItRewrite->addFixItLocation(Requested);
2007 AddedFixitLocation = true;
Douglas Gregor26df2f02009-04-02 19:05:20 +00002008 }
2009 }
2010
Chris Lattner1aee61a2009-04-27 21:25:27 +00002011 if (!AddedFixitLocation) {
2012 // All of the fix-it locations were bad. Don't fix anything.
2013 delete FixItRewrite;
2014 FixItRewrite = 0;
2015 }
2016 }
2017
2018 llvm::OwningPtr<ASTContext> ContextOwner;
Chris Lattnerd1d64a02009-04-27 21:45:14 +00002019 if (Consumer)
Chris Lattner9ecd26a2009-03-28 01:37:17 +00002020 ContextOwner.reset(new ASTContext(PP.getLangOptions(),
2021 PP.getSourceManager(),
2022 PP.getTargetInfo(),
2023 PP.getIdentifierTable(),
2024 PP.getSelectorTable(),
Chris Lattner1b63e4f2009-06-14 01:54:56 +00002025 PP.getBuiltinInfo(),
Douglas Gregor2deaea32009-04-22 18:49:13 +00002026 /* FreeMemory = */ !DisableFree,
Chris Lattner1b63e4f2009-06-14 01:54:56 +00002027 /* size_reserve = */0));
Mike Stump1eb44332009-09-09 15:08:12 +00002028
Chris Lattnercc7dea82009-04-27 22:02:30 +00002029 llvm::OwningPtr<PCHReader> Reader;
2030 llvm::OwningPtr<ExternalASTSource> Source;
Mike Stump1eb44332009-09-09 15:08:12 +00002031
Chris Lattnerd1d64a02009-04-27 21:45:14 +00002032 if (!ImplicitIncludePCH.empty()) {
Douglas Gregore650c8c2009-07-07 00:12:59 +00002033 // If the user specified -isysroot, it will be used for relocatable PCH
2034 // files.
2035 const char *isysrootPCH = 0;
2036 if (isysroot.getNumOccurrences() != 0)
2037 isysrootPCH = isysroot.c_str();
Mike Stump1eb44332009-09-09 15:08:12 +00002038
Douglas Gregore650c8c2009-07-07 00:12:59 +00002039 Reader.reset(new PCHReader(PP, ContextOwner.get(), isysrootPCH));
Mike Stump1eb44332009-09-09 15:08:12 +00002040
Chris Lattnerd1d64a02009-04-27 21:45:14 +00002041 // The user has asked us to include a precompiled header. Load
2042 // the precompiled header into the AST context.
Chris Lattnerd1d64a02009-04-27 21:45:14 +00002043 switch (Reader->ReadPCH(ImplicitIncludePCH)) {
2044 case PCHReader::Success: {
Douglas Gregore721f952009-04-28 18:58:38 +00002045 // Set the predefines buffer as suggested by the PCH
2046 // reader. Typically, the predefines buffer will be empty.
2047 PP.setPredefines(Reader->getSuggestedPredefines());
2048
Chris Lattnerd1d64a02009-04-27 21:45:14 +00002049 // Attach the PCH reader to the AST context as an external AST
2050 // source, so that declarations will be deserialized from the
2051 // PCH file as needed.
Chris Lattnercc7dea82009-04-27 22:02:30 +00002052 if (ContextOwner) {
2053 Source.reset(Reader.take());
Douglas Gregore1d918e2009-04-10 23:10:45 +00002054 ContextOwner->setExternalSource(Source);
Chris Lattnercc7dea82009-04-27 22:02:30 +00002055 }
Chris Lattnerd1d64a02009-04-27 21:45:14 +00002056 break;
Douglas Gregor2cf26342009-04-09 22:27:44 +00002057 }
2058
Chris Lattnerd1d64a02009-04-27 21:45:14 +00002059 case PCHReader::Failure:
2060 // Unrecoverable failure: don't even try to process the input
2061 // file.
2062 return;
2063
2064 case PCHReader::IgnorePCH:
Douglas Gregor1ab86ac2009-04-28 22:01:16 +00002065 // No suitable PCH file could be found. Return an error.
2066 return;
2067
2068#if 0
2069 // FIXME: We can recover from failed attempts to load PCH
2070 // files. This code will do so, if we ever want to enable it.
2071
Chris Lattnerd1d64a02009-04-27 21:45:14 +00002072 // We delayed the initialization of builtins in the hope of
2073 // loading the PCH file. Since the PCH file could not be
2074 // loaded, initialize builtins now.
2075 if (ContextOwner)
2076 ContextOwner->InitializeBuiltins(PP.getIdentifierTable());
Douglas Gregor1ab86ac2009-04-28 22:01:16 +00002077#endif
Chris Lattnerd1d64a02009-04-27 21:45:14 +00002078 }
2079
2080 // Finish preprocessor initialization. We do this now (rather
2081 // than earlier) because this initialization creates new source
2082 // location entries in the source manager, which must come after
2083 // the source location entries for the PCH file.
2084 if (InitializeSourceManager(PP, InFile))
2085 return;
Ted Kremenek46157b52009-01-28 04:29:29 +00002086 }
Douglas Gregor81b747b2009-09-17 21:32:03 +00002087
Chris Lattnerd1d64a02009-04-27 21:45:14 +00002088 // If we have an ASTConsumer, run the parser with it.
Douglas Gregor81b747b2009-09-17 21:32:03 +00002089 if (Consumer) {
2090 CodeCompleteConsumer *(*CreateCodeCompleter)(Sema &, void *) = 0;
2091 void *CreateCodeCompleterData = 0;
2092
Douglas Gregorb657f112009-09-22 21:11:38 +00002093 if (!CodeCompletionAt.FileName.empty()) {
2094 // Tell the source manager to chop off the given file at a specific
2095 // line and column.
2096 if (const FileEntry *Entry
2097 = PP.getFileManager().getFile(CodeCompletionAt.FileName)) {
2098 // Truncate the named file at the given line/column.
2099 PP.getSourceManager().truncateFileAt(Entry, CodeCompletionAt.Line,
2100 CodeCompletionAt.Column);
2101
2102 // Set up the creation routine for code-completion.
2103 CreateCodeCompleter = BuildPrintingCodeCompleter;
2104 } else {
2105 PP.getDiagnostics().Report(FullSourceLoc(),
2106 diag::err_fe_invalid_code_complete_file)
2107 << CodeCompletionAt.FileName;
2108 }
Douglas Gregor81b747b2009-09-17 21:32:03 +00002109 }
2110
Mike Stump1eb44332009-09-09 15:08:12 +00002111 ParseAST(PP, Consumer.get(), *ContextOwner.get(), Stats,
Douglas Gregor81b747b2009-09-17 21:32:03 +00002112 CompleteTranslationUnit,
2113 CreateCodeCompleter, CreateCodeCompleterData);
2114 }
Chris Lattnerd1d64a02009-04-27 21:45:14 +00002115
2116 if (PA == RunPreprocessorOnly) { // Just lex as fast as we can, no output.
2117 llvm::TimeRegion Timer(ClangFrontendTimer);
2118 Token Tok;
2119 // Start parsing the specified input file.
2120 PP.EnterMainSourceFile();
2121 do {
2122 PP.Lex(Tok);
2123 } while (Tok.isNot(tok::eof));
2124 ClearSourceMgr = true;
2125 } else if (PA == ParseNoop) { // -parse-noop
2126 llvm::TimeRegion Timer(ClangFrontendTimer);
2127 ParseFile(PP, new MinimalAction(PP));
2128 ClearSourceMgr = true;
Chris Lattnercc7dea82009-04-27 22:02:30 +00002129 } else if (PA == PrintPreprocessedInput){ // -E mode.
2130 llvm::TimeRegion Timer(ClangFrontendTimer);
Eli Friedman12d3b1d2009-05-19 03:06:47 +00002131 if (DumpMacros)
2132 DoPrintMacros(PP, OS.get());
2133 else
2134 DoPrintPreprocessedInput(PP, OS.get(), EnableCommentOutput,
2135 EnableMacroCommentOutput,
2136 DisableLineMarkers, DumpDefines);
Chris Lattnercc7dea82009-04-27 22:02:30 +00002137 ClearSourceMgr = true;
Chris Lattnerd1d64a02009-04-27 21:45:14 +00002138 }
Mike Stump1eb44332009-09-09 15:08:12 +00002139
Chris Lattner1aee61a2009-04-27 21:25:27 +00002140 if (FixItRewrite)
2141 FixItRewrite->WriteFixedFile(InFile, OutputFile);
Daniel Dunbar70186ab2009-07-29 02:40:09 +00002142
2143 // Disable the consumer prior to the context, the consumer may perform actions
2144 // in its destructor which require the context.
2145 if (DisableFree)
2146 Consumer.take();
2147 else
2148 Consumer.reset();
Mike Stump1eb44332009-09-09 15:08:12 +00002149
Chris Lattner1aee61a2009-04-27 21:25:27 +00002150 // If in -disable-free mode, don't deallocate ASTContext.
2151 if (DisableFree)
2152 ContextOwner.take();
2153 else
2154 ContextOwner.reset(); // Delete ASTContext
Eli Friedman66d6f042009-05-18 22:20:00 +00002155
Daniel Dunbar879c3ea2008-10-27 22:03:52 +00002156 if (VerifyDiagnostics)
Daniel Dunbar276373d2008-10-27 22:10:13 +00002157 if (CheckDiagnostics(PP))
2158 exit(1);
Chris Lattnere66b65c2008-02-06 01:42:25 +00002159
Reid Spencer5f016e22007-07-11 17:01:13 +00002160 if (Stats) {
Ted Kremenekfdfc1982007-12-19 22:24:34 +00002161 fprintf(stderr, "\nSTATISTICS FOR '%s':\n", InFile.c_str());
Reid Spencer5f016e22007-07-11 17:01:13 +00002162 PP.PrintStats();
2163 PP.getIdentifierTable().PrintStats();
Chris Lattnerdee73592007-12-15 20:48:40 +00002164 PP.getHeaderSearchInfo().PrintStats();
Ted Kremenek1b95a652009-01-09 18:20:21 +00002165 PP.getSourceManager().PrintStats();
Reid Spencer5f016e22007-07-11 17:01:13 +00002166 fprintf(stderr, "\n");
2167 }
Chris Lattnerbd247762007-07-22 06:05:44 +00002168
Mike Stump1eb44332009-09-09 15:08:12 +00002169 // For a multi-file compilation, some things are ok with nuking the source
Chris Lattnerbd247762007-07-22 06:05:44 +00002170 // manager tables, other require stable fileid/macroid's across multiple
2171 // files.
Chris Lattnerdee73592007-12-15 20:48:40 +00002172 if (ClearSourceMgr)
2173 PP.getSourceManager().clearIDTables();
Daniel Dunbard68ba0e2008-11-11 06:35:39 +00002174
Eli Friedman66d6f042009-05-18 22:20:00 +00002175 // Always delete the output stream because we don't want to leak file
2176 // handles. Also, we don't want to try to erase an open file.
2177 OS.reset();
2178
2179 if ((HadErrors || (PP.getDiagnostics().getNumErrors() != 0)) &&
2180 !OutPath.isEmpty()) {
2181 // If we had errors, try to erase the output file.
2182 OutPath.eraseFromDisk();
2183 }
Reid Spencer5f016e22007-07-11 17:01:13 +00002184}
2185
Daniel Dunbaraca2ebd2009-09-17 00:48:13 +00002186/// ProcessInputFile - Process a single AST input file with the specified state.
2187///
2188static void ProcessASTInputFile(const std::string &InFile, ProgActions PA,
2189 const llvm::StringMap<bool> &Features,
2190 Diagnostic &Diags, FileManager &FileMgr,
2191 llvm::LLVMContext& Context) {
Daniel Dunbaraca2ebd2009-09-17 00:48:13 +00002192 std::string Error;
Daniel Dunbar31b87d82009-09-21 03:03:39 +00002193 llvm::OwningPtr<ASTUnit> AST(ASTUnit::LoadFromPCHFile(InFile, Diags, FileMgr,
Daniel Dunbaraca2ebd2009-09-17 00:48:13 +00002194 &Error));
2195 if (!AST) {
2196 Diags.Report(FullSourceLoc(), diag::err_fe_invalid_ast_file) << Error;
2197 return;
2198 }
2199
2200 Preprocessor &PP = AST->getPreprocessor();
2201
2202 llvm::OwningPtr<llvm::raw_ostream> OS;
2203 llvm::sys::Path OutPath;
2204 llvm::OwningPtr<ASTConsumer> Consumer(CreateConsumerAction(PP, InFile, PA, OS,
2205 OutPath, Features,
2206 Context));
2207
2208 if (!Consumer.get()) {
2209 Diags.Report(FullSourceLoc(), diag::err_fe_invalid_ast_action);
2210 return;
2211 }
2212
Daniel Dunbara674bf42009-09-21 03:03:56 +00002213 // Set the main file ID to an empty file.
2214 //
2215 // FIXME: We probably shouldn't need this, but for now this is the simplest
2216 // way to reuse the logic in ParseAST.
2217 const char *EmptyStr = "";
2218 llvm::MemoryBuffer *SB =
2219 llvm::MemoryBuffer::getMemBuffer(EmptyStr, EmptyStr, "<dummy input>");
2220 AST->getSourceManager().createMainFileIDForMemBuffer(SB);
Daniel Dunbaraca2ebd2009-09-17 00:48:13 +00002221
Daniel Dunbara674bf42009-09-21 03:03:56 +00002222 // Stream the input AST to the consumer.
2223 ParseAST(PP, Consumer.get(), AST->getASTContext(), Stats);
Daniel Dunbaraca2ebd2009-09-17 00:48:13 +00002224
2225 // Release the consumer and the AST, in that order since the consumer may
2226 // perform actions in its destructor which require the context.
2227 if (DisableFree) {
2228 Consumer.take();
2229 AST.take();
2230 } else {
2231 Consumer.reset();
2232 AST.reset();
2233 }
2234
2235 // Always delete the output stream because we don't want to leak file
2236 // handles. Also, we don't want to try to erase an open file.
2237 OS.reset();
2238
2239 if ((HadErrors || (PP.getDiagnostics().getNumErrors() != 0)) &&
2240 !OutPath.isEmpty()) {
2241 // If we had errors, try to erase the output file.
2242 OutPath.eraseFromDisk();
2243 }
2244}
2245
Reid Spencer5f016e22007-07-11 17:01:13 +00002246static llvm::cl::list<std::string>
2247InputFilenames(llvm::cl::Positional, llvm::cl::desc("<input files>"));
2248
Daniel Dunbar70121eb2009-08-10 03:40:28 +00002249static void LLVMErrorHandler(void *UserData, const std::string &Message) {
2250 Diagnostic &Diags = *static_cast<Diagnostic*>(UserData);
2251
2252 Diags.Report(FullSourceLoc(), diag::err_fe_error_backend) << Message;
2253
2254 // We cannot recover from llvm errors.
2255 exit(1);
2256}
2257
Reid Spencer5f016e22007-07-11 17:01:13 +00002258int main(int argc, char **argv) {
Reid Spencer5f016e22007-07-11 17:01:13 +00002259 llvm::sys::PrintStackTraceOnErrorSignal();
Chris Lattner09e94a32009-03-04 21:41:39 +00002260 llvm::PrettyStackTraceProgram X(argc, argv);
Owen Andersond7200462009-07-16 00:14:12 +00002261 llvm::LLVMContext &Context = llvm::getGlobalContext();
Daniel Dunbard6970812009-09-02 23:20:15 +00002262
Daniel Dunbar4d861512009-09-03 04:54:12 +00002263 // Initialize targets first, so that --version shows registered targets.
Chris Lattner2fe11942009-06-17 17:25:50 +00002264 llvm::InitializeAllTargets();
2265 llvm::InitializeAllAsmPrinters();
Daniel Dunbard6970812009-09-02 23:20:15 +00002266
2267 llvm::cl::ParseCommandLineOptions(argc, argv,
2268 "LLVM 'Clang' Compiler: http://clang.llvm.org\n");
Mike Stump1eb44332009-09-09 15:08:12 +00002269
Chris Lattner47099742009-02-18 01:51:21 +00002270 if (TimeReport)
2271 ClangFrontendTimer = new llvm::Timer("Clang front-end time");
Mike Stump1eb44332009-09-09 15:08:12 +00002272
Daniel Dunbar08e6dc62009-05-28 16:37:33 +00002273 if (Verbose)
Mike Stump3cbf5a02009-09-15 21:49:22 +00002274 llvm::errs() << "clang-cc version " CLANG_VERSION_STRING
2275 << " based upon " << PACKAGE_STRING
Daniel Dunbar2e30e592009-09-04 17:43:10 +00002276 << " hosted on " << llvm::sys::getHostTriple() << "\n";
Mike Stump1eb44332009-09-09 15:08:12 +00002277
Reid Spencer5f016e22007-07-11 17:01:13 +00002278 // If no input was specified, read from stdin.
2279 if (InputFilenames.empty())
2280 InputFilenames.push_back("-");
Douglas Gregor68a0d782009-05-02 00:03:46 +00002281
Ted Kremenek31e703b2007-12-11 23:28:38 +00002282 // Create the diagnostic client for reporting errors or for
2283 // implementing -verify.
Chris Lattner409d4e72009-04-17 20:40:01 +00002284 llvm::OwningPtr<DiagnosticClient> DiagClient;
2285 if (VerifyDiagnostics) {
2286 // When checking diagnostics, just buffer them up.
2287 DiagClient.reset(new TextDiagnosticBuffer());
2288 if (InputFilenames.size() != 1) {
2289 fprintf(stderr, "-verify only works on single input files for now.\n");
2290 return 1;
2291 }
2292 if (!HTMLDiag.empty()) {
2293 fprintf(stderr, "-verify and -html-diags don't work together\n");
2294 return 1;
2295 }
2296 } else if (HTMLDiag.empty()) {
Ted Kremenekb4398aa2008-08-07 17:49:57 +00002297 // Print diagnostics to stderr by default.
Douglas Gregor68a0d782009-05-02 00:03:46 +00002298
2299 // If -fmessage-length=N was not specified, determine whether this
2300 // is a terminal and, if so, implicitly define -fmessage-length
2301 // appropriately.
2302 if (MessageLength.getNumOccurrences() == 0)
Douglas Gregor67187ce2009-05-11 18:06:49 +00002303 MessageLength.setValue(llvm::sys::Process::StandardErrColumns());
Douglas Gregor68a0d782009-05-02 00:03:46 +00002304
Torok Edwin603fca72009-06-04 07:18:23 +00002305 if (!NoColorDiagnostic) {
2306 NoColorDiagnostic.setValue(!llvm::sys::Process::StandardErrHasColors());
2307 }
2308
Chris Lattner409d4e72009-04-17 20:40:01 +00002309 DiagClient.reset(new TextDiagnosticPrinter(llvm::errs(),
Chris Lattnera03a5b52008-11-19 06:56:25 +00002310 !NoShowColumn,
Chris Lattner65f5e642009-01-30 19:01:41 +00002311 !NoCaretDiagnostics,
Chris Lattner1fbee5d2009-03-13 01:08:23 +00002312 !NoShowLocation,
Chris Lattnerd51d74a2009-04-16 05:44:38 +00002313 PrintSourceRangeInfo,
Chris Lattneraa5bf2e2009-04-19 07:44:08 +00002314 PrintDiagnosticOption,
Douglas Gregorfffd93f2009-05-01 21:53:04 +00002315 !NoDiagnosticsFixIt,
Torok Edwin603fca72009-06-04 07:18:23 +00002316 MessageLength,
2317 !NoColorDiagnostic));
Ted Kremenekb4398aa2008-08-07 17:49:57 +00002318 } else {
Chris Lattner409d4e72009-04-17 20:40:01 +00002319 DiagClient.reset(CreateHTMLDiagnosticClient(HTMLDiag));
Reid Spencer5f016e22007-07-11 17:01:13 +00002320 }
Mike Stump1eb44332009-09-09 15:08:12 +00002321
Chris Lattner75a97cb2009-04-17 21:05:01 +00002322 if (!DumpBuildInformation.empty()) {
2323 if (!HTMLDiag.empty()) {
2324 fprintf(stderr,
2325 "-dump-build-information and -html-diags don't work together\n");
2326 return 1;
2327 }
Mike Stump1eb44332009-09-09 15:08:12 +00002328
Chris Lattner75a97cb2009-04-17 21:05:01 +00002329 SetUpBuildDumpLog(argc, argv, DiagClient);
2330 }
Mike Stump1eb44332009-09-09 15:08:12 +00002331
Ted Kremenekb4398aa2008-08-07 17:49:57 +00002332
Reid Spencer5f016e22007-07-11 17:01:13 +00002333 // Configure our handling of diagnostics.
Ted Kremenekb4398aa2008-08-07 17:49:57 +00002334 Diagnostic Diags(DiagClient.get());
Eli Friedman0eeb86e2009-05-19 01:17:04 +00002335 if (ProcessWarningOptions(Diags, OptWarnings, OptPedantic, OptPedanticErrors,
2336 OptNoWarnings))
Sebastian Redl63a9e0f2009-03-06 17:41:35 +00002337 return 1;
Ted Kremenek31e703b2007-12-11 23:28:38 +00002338
Daniel Dunbar70121eb2009-08-10 03:40:28 +00002339 // Set an error handler, so that any LLVM backend diagnostics go through our
2340 // error handler.
2341 llvm::llvm_install_error_handler(LLVMErrorHandler,
2342 static_cast<void*>(&Diags));
2343
Chris Lattner4f037832007-12-05 23:24:17 +00002344 // -I- is a deprecated GCC feature, scan for it and reject it.
2345 for (unsigned i = 0, e = I_dirs.size(); i != e; ++i) {
2346 if (I_dirs[i] == "-") {
Mike Stump1eb44332009-09-09 15:08:12 +00002347 Diags.Report(FullSourceLoc(), diag::err_pp_I_dash_not_supported);
Chris Lattner4f037832007-12-05 23:24:17 +00002348 I_dirs.erase(I_dirs.begin()+i);
2349 --i;
2350 }
2351 }
Chris Lattner11215192008-03-14 06:12:05 +00002352
2353 // Get information about the target being compiled for.
Chris Lattner2f60af72009-09-12 22:45:58 +00002354 llvm::Triple Triple = CreateTargetTriple();
2355 llvm::OwningPtr<TargetInfo>
2356 Target(TargetInfo::CreateTargetInfo(Triple.getTriple()));
Mike Stump1eb44332009-09-09 15:08:12 +00002357
Chris Lattner11215192008-03-14 06:12:05 +00002358 if (Target == 0) {
Mike Stump1eb44332009-09-09 15:08:12 +00002359 Diags.Report(FullSourceLoc(), diag::err_fe_unknown_triple)
Chris Lattner2f60af72009-09-12 22:45:58 +00002360 << Triple.getTriple().c_str();
Sebastian Redlc5613db2009-03-07 12:09:25 +00002361 return 1;
Chris Lattner11215192008-03-14 06:12:05 +00002362 }
Mike Stump1eb44332009-09-09 15:08:12 +00002363
Daniel Dunbar73b79592009-09-14 00:02:12 +00002364 // Set the target ABI if specified.
2365 if (!TargetABI.empty()) {
2366 if (!Target->setABI(TargetABI)) {
2367 Diags.Report(FullSourceLoc(), diag::err_fe_unknown_target_abi)
2368 << TargetABI;
2369 return 1;
2370 }
2371 }
2372
Daniel Dunbard4270232009-01-20 23:17:32 +00002373 if (!InheritanceViewCls.empty()) // C++ visualization?
Ted Kremenek7cae2f62008-10-23 23:36:29 +00002374 ProgAction = InheritanceView;
Mike Stump1eb44332009-09-09 15:08:12 +00002375
Ted Kremenekc0c03bc2008-06-06 22:42:39 +00002376 llvm::OwningPtr<SourceManager> SourceMgr;
Mike Stump1eb44332009-09-09 15:08:12 +00002377
Chris Lattner2c78b872009-04-14 23:22:57 +00002378 // Create a file manager object to provide access to and cache the filesystem.
2379 FileManager FileMgr;
Douglas Gregor4fed3f42009-04-27 18:38:38 +00002380
Daniel Dunbar868bd0a2009-05-06 03:16:41 +00002381 // Compute the feature set, unfortunately this effects the language!
2382 llvm::StringMap<bool> Features;
2383 ComputeFeatureMap(Target.get(), Features);
2384
Reid Spencer5f016e22007-07-11 17:01:13 +00002385 for (unsigned i = 0, e = InputFilenames.size(); i != e; ++i) {
Ted Kremenek31e703b2007-12-11 23:28:38 +00002386 const std::string &InFile = InputFilenames[i];
Mike Stump1eb44332009-09-09 15:08:12 +00002387
Daniel Dunbaraca2ebd2009-09-17 00:48:13 +00002388 LangKind LK = GetLanguage(InFile);
2389 // AST inputs are handled specially.
2390 if (LK == langkind_ast) {
2391 ProcessASTInputFile(InFile, ProgAction, Features,
2392 Diags, FileMgr, Context);
2393 continue;
2394 }
2395
Chris Lattnerf63aea32009-03-04 21:40:56 +00002396 /// Create a SourceManager object. This tracks and owns all the file
2397 /// buffers allocated to a translation unit.
2398 if (!SourceMgr)
2399 SourceMgr.reset(new SourceManager());
2400 else
2401 SourceMgr->clearIDTables();
Mike Stump1eb44332009-09-09 15:08:12 +00002402
Chris Lattnerf63aea32009-03-04 21:40:56 +00002403 // Initialize language options, inferring file types from input filenames.
2404 LangOptions LangInfo;
Chris Lattner409d4e72009-04-17 20:40:01 +00002405 DiagClient->setLangOptions(&LangInfo);
Mike Stump1eb44332009-09-09 15:08:12 +00002406
Daniel Dunbar0b5b0da2009-04-01 05:09:09 +00002407 InitializeLangOptions(LangInfo, LK);
Daniel Dunbar868bd0a2009-05-06 03:16:41 +00002408 InitializeLanguageStandard(LangInfo, LK, Target.get(), Features);
Mike Stump1eb44332009-09-09 15:08:12 +00002409
Chris Lattnerf63aea32009-03-04 21:40:56 +00002410 // Process the -I options and set them in the HeaderInfo.
2411 HeaderSearch HeaderInfo(FileMgr);
Mike Stump1eb44332009-09-09 15:08:12 +00002412
2413
Mike Stump43d81762009-10-08 23:29:47 +00002414 InitializeIncludePaths(argv[0], HeaderInfo, FileMgr, LangInfo, Triple);
Mike Stump1eb44332009-09-09 15:08:12 +00002415
Chris Lattnerf63aea32009-03-04 21:40:56 +00002416 // Set up the preprocessor with these options.
Eli Friedmanf086e3b2009-05-18 07:39:39 +00002417 DriverPreprocessorFactory PPFactory(Diags, LangInfo, *Target,
Chris Lattnerf63aea32009-03-04 21:40:56 +00002418 *SourceMgr.get(), HeaderInfo);
Mike Stump1eb44332009-09-09 15:08:12 +00002419
Chris Lattnerf63aea32009-03-04 21:40:56 +00002420 llvm::OwningPtr<Preprocessor> PP(PPFactory.CreatePreprocessor());
Mike Stump1eb44332009-09-09 15:08:12 +00002421
Chris Lattnerf63aea32009-03-04 21:40:56 +00002422 if (!PP)
2423 continue;
Ted Kremenekb4398aa2008-08-07 17:49:57 +00002424
Eli Friedmanb5c8f8b2009-05-19 03:35:57 +00002425 // Handle generating dependencies, if requested
2426 if (!DependencyFile.empty()) {
2427 llvm::raw_ostream *DependencyOS;
2428 if (DependencyTargets.empty()) {
2429 // FIXME: Use a proper diagnostic
Chris Lattner92bcc272009-08-23 02:59:41 +00002430 llvm::errs() << "-dependency-file requires at least one -MT option\n";
Eli Friedmanb5c8f8b2009-05-19 03:35:57 +00002431 HadErrors = true;
2432 continue;
2433 }
2434 std::string ErrStr;
2435 DependencyOS =
Dan Gohmanb044c472009-08-25 15:36:09 +00002436 new llvm::raw_fd_ostream(DependencyFile.c_str(), ErrStr);
Eli Friedmanb5c8f8b2009-05-19 03:35:57 +00002437 if (!ErrStr.empty()) {
2438 // FIXME: Use a proper diagnostic
Chris Lattner92bcc272009-08-23 02:59:41 +00002439 llvm::errs() << "unable to open dependency file: " + ErrStr;
Eli Friedmanb5c8f8b2009-05-19 03:35:57 +00002440 HadErrors = true;
2441 continue;
2442 }
2443
2444 AttachDependencyFileGen(PP.get(), DependencyOS, DependencyTargets,
2445 DependenciesIncludeSystemHeaders,
2446 PhonyDependencyTarget);
2447 }
2448
Chris Lattner1b63e4f2009-06-14 01:54:56 +00002449 if (ImplicitIncludePCH.empty()) {
2450 if (InitializeSourceManager(*PP.get(), InFile))
2451 continue;
Mike Stump1eb44332009-09-09 15:08:12 +00002452
Chris Lattner1b63e4f2009-06-14 01:54:56 +00002453 // Initialize builtin info.
2454 PP->getBuiltinInfo().InitializeBuiltins(PP->getIdentifierTable(),
Chris Lattner1b63e4f2009-06-14 01:54:56 +00002455 PP->getLangOptions().NoBuiltin);
2456 }
Douglas Gregor14f79002009-04-10 03:52:48 +00002457
Chris Lattner409d4e72009-04-17 20:40:01 +00002458 if (!HTMLDiag.empty())
2459 ((PathDiagnosticClient*)DiagClient.get())->SetPreprocessor(PP.get());
Chris Lattnerf63aea32009-03-04 21:40:56 +00002460
2461 // Process the source file.
Owen Andersonc93f4982009-07-01 21:23:16 +00002462 ProcessInputFile(*PP, PPFactory, InFile, ProgAction, Features, Context);
Mike Stump1eb44332009-09-09 15:08:12 +00002463
Chris Lattner40469652009-04-17 20:16:08 +00002464 HeaderInfo.ClearFileInfo();
Chris Lattner409d4e72009-04-17 20:40:01 +00002465 DiagClient->setLangOptions(0);
Reid Spencer5f016e22007-07-11 17:01:13 +00002466 }
Chris Lattner11215192008-03-14 06:12:05 +00002467
Mike Stumpfc0fed32009-04-28 01:19:10 +00002468 if (!NoCaretDiagnostics)
2469 if (unsigned NumDiagnostics = Diags.getNumDiagnostics())
2470 fprintf(stderr, "%d diagnostic%s generated.\n", NumDiagnostics,
2471 (NumDiagnostics == 1 ? "" : "s"));
Mike Stump1eb44332009-09-09 15:08:12 +00002472
Reid Spencer5f016e22007-07-11 17:01:13 +00002473 if (Stats) {
Reid Spencer5f016e22007-07-11 17:01:13 +00002474 FileMgr.PrintStats();
2475 fprintf(stderr, "\n");
2476 }
Chris Lattner75a97cb2009-04-17 21:05:01 +00002477
2478 delete ClangFrontendTimer;
2479 delete BuildLogFile;
Mike Stump1eb44332009-09-09 15:08:12 +00002480
Daniel Dunbar276373d2008-10-27 22:10:13 +00002481 // If verifying diagnostics and we reached here, all is well.
2482 if (VerifyDiagnostics)
2483 return 0;
Mike Stump1eb44332009-09-09 15:08:12 +00002484
Daniel Dunbar524b86f2008-10-28 00:38:08 +00002485 // Managed static deconstruction. Useful for making things like
2486 // -time-passes usable.
2487 llvm::llvm_shutdown();
2488
Daniel Dunbarb0adbba2008-10-04 23:42:49 +00002489 return HadErrors || (Diags.getNumErrors() != 0);
Reid Spencer5f016e22007-07-11 17:01:13 +00002490}