blob: ad3f3502ec00eedb2abccc1ff648739d09f48cc2 [file] [log] [blame]
Daniel Dunbar41b5b172010-05-20 17:49:16 +00001//===-- cc1_main.cpp - Clang CC1 Compiler Frontend ------------------------===//
Daniel Dunbar217acbf2009-11-19 07:37:51 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
Daniel Dunbar21085772009-12-11 22:20:12 +000010// This is the entry point to the clang -cc1 functionality, which implements the
11// core compiler functionality along with a number of additional tools for
12// demonstration and testing purposes.
Daniel Dunbar217acbf2009-11-19 07:37:51 +000013//
14//===----------------------------------------------------------------------===//
15
Daniel Dunbar21085772009-12-11 22:20:12 +000016#include "clang/Driver/Arg.h"
17#include "clang/Driver/ArgList.h"
18#include "clang/Driver/CC1Options.h"
19#include "clang/Driver/DriverDiagnostic.h"
20#include "clang/Driver/OptTable.h"
21#include "clang/Frontend/CompilerInstance.h"
22#include "clang/Frontend/CompilerInvocation.h"
Daniel Dunbar21085772009-12-11 22:20:12 +000023#include "clang/Frontend/FrontendDiagnostic.h"
Daniel Dunbar21085772009-12-11 22:20:12 +000024#include "clang/Frontend/TextDiagnosticBuffer.h"
25#include "clang/Frontend/TextDiagnosticPrinter.h"
Peter Collingbourne1b7255d2010-08-24 00:31:22 +000026#include "clang/FrontendTool/Utils.h"
Douglas Gregor95dd5582010-03-30 17:33:59 +000027#include "llvm/ADT/Statistic.h"
Daniel Dunbar21085772009-12-11 22:20:12 +000028#include "llvm/Support/ErrorHandling.h"
29#include "llvm/Support/ManagedStatic.h"
Evan Chenga6b40452011-08-24 18:09:14 +000030#include "llvm/Support/TargetSelect.h"
Chris Lattner30bc7e82010-03-30 05:39:52 +000031#include "llvm/Support/Timer.h"
Daniel Dunbar217acbf2009-11-19 07:37:51 +000032#include "llvm/Support/raw_ostream.h"
Tobias Grosserf358c8a2011-11-01 01:34:59 +000033#include "llvm/LinkAllPasses.h"
Daniel Dunbar21085772009-12-11 22:20:12 +000034#include <cstdio>
35using namespace clang;
Daniel Dunbar217acbf2009-11-19 07:37:51 +000036
Daniel Dunbar21085772009-12-11 22:20:12 +000037//===----------------------------------------------------------------------===//
38// Main driver
39//===----------------------------------------------------------------------===//
40
Daniel Dunbar41b5b172010-05-20 17:49:16 +000041static void LLVMErrorHandler(void *UserData, const std::string &Message) {
David Blaikied6471f72011-09-25 23:23:43 +000042 DiagnosticsEngine &Diags = *static_cast<DiagnosticsEngine*>(UserData);
Daniel Dunbar21085772009-12-11 22:20:12 +000043
44 Diags.Report(diag::err_fe_error_backend) << Message;
45
46 // We cannot recover from llvm errors.
47 exit(1);
48}
49
Daniel Dunbar21085772009-12-11 22:20:12 +000050// FIXME: Define the need for this testing away.
David Blaikied6471f72011-09-25 23:23:43 +000051static int cc1_test(DiagnosticsEngine &Diags,
Daniel Dunbar1e69fe32009-12-13 03:45:58 +000052 const char **ArgBegin, const char **ArgEnd) {
Daniel Dunbar21085772009-12-11 22:20:12 +000053 using namespace clang::driver;
54
Daniel Dunbar217acbf2009-11-19 07:37:51 +000055 llvm::errs() << "cc1 argv:";
56 for (const char **i = ArgBegin; i != ArgEnd; ++i)
57 llvm::errs() << " \"" << *i << '"';
58 llvm::errs() << "\n";
59
Daniel Dunbar21085772009-12-11 22:20:12 +000060 // Parse the arguments.
61 OptTable *Opts = createCC1OptTable();
62 unsigned MissingArgIndex, MissingArgCount;
63 InputArgList *Args = Opts->ParseArgs(ArgBegin, ArgEnd,
64 MissingArgIndex, MissingArgCount);
65
66 // Check for missing argument error.
67 if (MissingArgCount)
68 Diags.Report(clang::diag::err_drv_missing_argument)
69 << Args->getArgString(MissingArgIndex) << MissingArgCount;
70
71 // Dump the parsed arguments.
72 llvm::errs() << "cc1 parsed options:\n";
73 for (ArgList::const_iterator it = Args->begin(), ie = Args->end();
74 it != ie; ++it)
75 (*it)->dump();
76
77 // Create a compiler invocation.
78 llvm::errs() << "cc1 creating invocation.\n";
79 CompilerInvocation Invocation;
Dylan Noblesmith8fdb6de2011-12-23 03:05:38 +000080 if (!CompilerInvocation::CreateFromArgs(Invocation, ArgBegin, ArgEnd, Diags))
81 return 1;
Daniel Dunbar21085772009-12-11 22:20:12 +000082
83 // Convert the invocation back to argument strings.
84 std::vector<std::string> InvocationArgs;
85 Invocation.toArgs(InvocationArgs);
86
87 // Dump the converted arguments.
Chris Lattner5f9e2722011-07-23 10:55:15 +000088 SmallVector<const char*, 32> Invocation2Args;
Daniel Dunbar21085772009-12-11 22:20:12 +000089 llvm::errs() << "invocation argv :";
90 for (unsigned i = 0, e = InvocationArgs.size(); i != e; ++i) {
91 Invocation2Args.push_back(InvocationArgs[i].c_str());
92 llvm::errs() << " \"" << InvocationArgs[i] << '"';
93 }
94 llvm::errs() << "\n";
95
96 // Convert those arguments to another invocation, and check that we got the
97 // same thing.
98 CompilerInvocation Invocation2;
Dylan Noblesmith8fdb6de2011-12-23 03:05:38 +000099 if (!CompilerInvocation::CreateFromArgs(Invocation2, Invocation2Args.begin(),
100 Invocation2Args.end(), Diags))
101 return 1;
Daniel Dunbar21085772009-12-11 22:20:12 +0000102
103 // FIXME: Implement CompilerInvocation comparison.
104 if (true) {
105 //llvm::errs() << "warning: Invocations differ!\n";
106
107 std::vector<std::string> Invocation2Args;
108 Invocation2.toArgs(Invocation2Args);
109 llvm::errs() << "invocation2 argv:";
110 for (unsigned i = 0, e = Invocation2Args.size(); i != e; ++i)
111 llvm::errs() << " \"" << Invocation2Args[i] << '"';
112 llvm::errs() << "\n";
113 }
114
Daniel Dunbar217acbf2009-11-19 07:37:51 +0000115 return 0;
116}
Daniel Dunbar21085772009-12-11 22:20:12 +0000117
118int cc1_main(const char **ArgBegin, const char **ArgEnd,
119 const char *Argv0, void *MainAddr) {
Daniel Dunbar42444fb2010-03-23 05:09:16 +0000120 llvm::OwningPtr<CompilerInstance> Clang(new CompilerInstance());
Argyrios Kyrtzidis33e4e702010-11-18 20:06:41 +0000121 llvm::IntrusiveRefCntPtr<DiagnosticIDs> DiagID(new DiagnosticIDs());
Daniel Dunbar42e9f8e42010-02-16 01:54:47 +0000122
Daniel Dunbar21085772009-12-11 22:20:12 +0000123 // Run clang -cc1 test.
Chris Lattner5f9e2722011-07-23 10:55:15 +0000124 if (ArgBegin != ArgEnd && StringRef(ArgBegin[0]) == "-cc1test") {
David Blaikied6471f72011-09-25 23:23:43 +0000125 DiagnosticsEngine Diags(DiagID, new TextDiagnosticPrinter(llvm::errs(),
Argyrios Kyrtzidis33e4e702010-11-18 20:06:41 +0000126 DiagnosticOptions()));
Daniel Dunbar1e69fe32009-12-13 03:45:58 +0000127 return cc1_test(Diags, ArgBegin + 1, ArgEnd);
Daniel Dunbar21085772009-12-11 22:20:12 +0000128 }
129
130 // Initialize targets first, so that --version shows registered targets.
131 llvm::InitializeAllTargets();
Evan Chengd99d3e12011-07-22 21:59:11 +0000132 llvm::InitializeAllTargetMCs();
Daniel Dunbar21085772009-12-11 22:20:12 +0000133 llvm::InitializeAllAsmPrinters();
Chris Lattner01ae93f2010-04-05 23:33:20 +0000134 llvm::InitializeAllAsmParsers();
Daniel Dunbar21085772009-12-11 22:20:12 +0000135
136 // Buffer diagnostics from argument parsing so that we can output them using a
137 // well formed diagnostic object.
Douglas Gregorbdbb0042010-08-18 22:29:43 +0000138 TextDiagnosticBuffer *DiagsBuffer = new TextDiagnosticBuffer;
David Blaikied6471f72011-09-25 23:23:43 +0000139 DiagnosticsEngine Diags(DiagID, DiagsBuffer);
Dylan Noblesmith8fdb6de2011-12-23 03:05:38 +0000140 bool Success;
141 Success = CompilerInvocation::CreateFromArgs(Clang->getInvocation(),
142 ArgBegin, ArgEnd, Diags);
Daniel Dunbar1e69fe32009-12-13 03:45:58 +0000143
144 // Infer the builtin include path if unspecified.
Daniel Dunbar42444fb2010-03-23 05:09:16 +0000145 if (Clang->getHeaderSearchOpts().UseBuiltinIncludes &&
146 Clang->getHeaderSearchOpts().ResourceDir.empty())
147 Clang->getHeaderSearchOpts().ResourceDir =
Daniel Dunbar8b9adfe2009-12-15 00:06:45 +0000148 CompilerInvocation::GetResourcesPath(Argv0, MainAddr);
Daniel Dunbar21085772009-12-11 22:20:12 +0000149
Daniel Dunbara6bf47f2010-08-12 02:53:07 +0000150 // Create the actual diagnostics engine.
151 Clang->createDiagnostics(ArgEnd - ArgBegin, const_cast<char**>(ArgBegin));
152 if (!Clang->hasDiagnostics())
153 return 1;
154
155 // Set an error handler, so that any LLVM backend diagnostics go through our
156 // error handler.
157 llvm::install_fatal_error_handler(LLVMErrorHandler,
158 static_cast<void*>(&Clang->getDiagnostics()));
159
Douglas Gregorbdbb0042010-08-18 22:29:43 +0000160 DiagsBuffer->FlushDiagnostics(Clang->getDiagnostics());
Argyrios Kyrtzidisada4fa72012-01-25 20:00:43 +0000161 if (!Success)
162 return 1;
Daniel Dunbara6bf47f2010-08-12 02:53:07 +0000163
Daniel Dunbar8eb2b012010-08-12 02:53:12 +0000164 // Execute the frontend actions.
Dylan Noblesmith8fdb6de2011-12-23 03:05:38 +0000165 Success = ExecuteCompilerInvocation(Clang.get());
Daniel Dunbar42444fb2010-03-23 05:09:16 +0000166
Chris Lattner30bc7e82010-03-30 05:39:52 +0000167 // If any timers were active but haven't been destroyed yet, print their
168 // results now. This happens in -disable-free mode.
169 llvm::TimerGroup::printAll(llvm::errs());
Daniel Dunbarf56a4882010-08-02 15:31:28 +0000170
Dan Gohman726578c2010-08-18 21:23:17 +0000171 // Our error handler depends on the Diagnostics object, which we're
172 // potentially about to delete. Uninstall the handler now so that any
173 // later errors use the default handling behavior instead.
174 llvm::remove_fatal_error_handler();
175
Daniel Dunbar42444fb2010-03-23 05:09:16 +0000176 // When running with -disable-free, don't do any destruction or shutdown.
177 if (Clang->getFrontendOpts().DisableFree) {
Benjamin Kramer77d2c5f2011-02-27 18:07:41 +0000178 if (llvm::AreStatisticsEnabled() || Clang->getFrontendOpts().ShowStats)
Douglas Gregor95dd5582010-03-30 17:33:59 +0000179 llvm::PrintStatistics();
Daniel Dunbar42444fb2010-03-23 05:09:16 +0000180 Clang.take();
181 return !Success;
Daniel Dunbar21085772009-12-11 22:20:12 +0000182 }
183
Daniel Dunbar21085772009-12-11 22:20:12 +0000184 // Managed static deconstruction. Useful for making things like
185 // -time-passes usable.
186 llvm::llvm_shutdown();
187
Daniel Dunbar0397af22010-01-13 00:48:06 +0000188 return !Success;
Daniel Dunbar21085772009-12-11 22:20:12 +0000189}