blob: 9560b61e1ba1dc352b2410ca9990ac0a35966926 [file] [log] [blame]
Daniel Dunbar85e44e22008-10-21 23:49:24 +00001//===--- Backend.cpp - Interface to LLVM backend technologies -------------===//
2//
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
Eli Friedman22a4efd2009-05-18 22:50:54 +000010#include "clang/Frontend/ASTConsumers.h"
Daniel Dunbar85e44e22008-10-21 23:49:24 +000011#include "clang/CodeGen/ModuleBuilder.h"
Daniel Dunbar68952de2009-03-02 06:16:29 +000012#include "clang/Frontend/CompileOptions.h"
Chris Lattnera17991f2009-03-29 16:50:03 +000013#include "clang/AST/ASTContext.h"
14#include "clang/AST/ASTConsumer.h"
15#include "clang/AST/DeclGroup.h"
16#include "clang/Basic/TargetInfo.h"
Daniel Dunbar85e44e22008-10-21 23:49:24 +000017#include "llvm/Module.h"
18#include "llvm/ModuleProvider.h"
19#include "llvm/PassManager.h"
20#include "llvm/ADT/OwningPtr.h"
21#include "llvm/Assembly/PrintModulePass.h"
Daniel Dunbaraa7a0662008-10-23 05:50:47 +000022#include "llvm/Analysis/CallGraph.h"
23#include "llvm/Analysis/Verifier.h"
Daniel Dunbar85e44e22008-10-21 23:49:24 +000024#include "llvm/Bitcode/ReaderWriter.h"
25#include "llvm/CodeGen/RegAllocRegistry.h"
26#include "llvm/CodeGen/SchedulerRegistry.h"
Daniel Dunbar85e44e22008-10-21 23:49:24 +000027#include "llvm/Support/raw_ostream.h"
Daniel Dunbar85e44e22008-10-21 23:49:24 +000028#include "llvm/Support/Compiler.h"
Daniel Dunbar247f3092009-06-03 18:01:18 +000029#include "llvm/Support/StandardPasses.h"
Chris Lattner2193db22009-02-18 01:37:30 +000030#include "llvm/Support/Timer.h"
Daniel Dunbar85e44e22008-10-21 23:49:24 +000031#include "llvm/System/Path.h"
32#include "llvm/System/Program.h"
Daniel Dunbar9101a632009-02-17 19:47:34 +000033#include "llvm/Target/SubtargetFeature.h"
Daniel Dunbar85e44e22008-10-21 23:49:24 +000034#include "llvm/Target/TargetData.h"
35#include "llvm/Target/TargetMachine.h"
36#include "llvm/Target/TargetMachineRegistry.h"
Daniel Dunbar85e44e22008-10-21 23:49:24 +000037using namespace clang;
38using namespace llvm;
39
40namespace {
Chris Lattnerc309ade2009-03-05 08:00:35 +000041 class VISIBILITY_HIDDEN BackendConsumer : public ASTConsumer {
Daniel Dunbar85e44e22008-10-21 23:49:24 +000042 BackendAction Action;
Daniel Dunbaraa7a0662008-10-23 05:50:47 +000043 CompileOptions CompileOpts;
Eli Friedmana9c310842009-05-18 22:20:00 +000044 llvm::raw_ostream *AsmOutStream;
Chris Lattnerc309ade2009-03-05 08:00:35 +000045 ASTContext *Context;
Daniel Dunbar1a27a192008-10-29 08:50:02 +000046
Chris Lattner2193db22009-02-18 01:37:30 +000047 Timer LLVMIRGeneration;
48 Timer CodeGenerationTime;
49
Daniel Dunbar85e44e22008-10-21 23:49:24 +000050 llvm::OwningPtr<CodeGenerator> Gen;
51
52 llvm::Module *TheModule;
53 llvm::TargetData *TheTargetData;
Daniel Dunbar85e44e22008-10-21 23:49:24 +000054
Nuno Lopes74d92782008-10-24 22:51:00 +000055 mutable llvm::ModuleProvider *ModuleProvider;
Daniel Dunbar85e44e22008-10-21 23:49:24 +000056 mutable FunctionPassManager *CodeGenPasses;
57 mutable PassManager *PerModulePasses;
58 mutable FunctionPassManager *PerFunctionPasses;
59
60 FunctionPassManager *getCodeGenPasses() const;
61 PassManager *getPerModulePasses() const;
62 FunctionPassManager *getPerFunctionPasses() const;
63
64 void CreatePasses();
65
66 /// AddEmitPasses - Add passes necessary to emit assembly or LLVM
67 /// IR.
68 ///
Daniel Dunbar85e44e22008-10-21 23:49:24 +000069 /// \return True on success. On failure \arg Error will be set to
70 /// a user readable error message.
Daniel Dunbar655d5092008-10-23 05:59:43 +000071 bool AddEmitPasses(std::string &Error);
Daniel Dunbar85e44e22008-10-21 23:49:24 +000072
73 void EmitAssembly();
74
75 public:
76 BackendConsumer(BackendAction action, Diagnostic &Diags,
Daniel Dunbar9101a632009-02-17 19:47:34 +000077 const LangOptions &langopts, const CompileOptions &compopts,
Eli Friedmana9c310842009-05-18 22:20:00 +000078 const std::string &infile, llvm::raw_ostream* OS) :
Daniel Dunbar85e44e22008-10-21 23:49:24 +000079 Action(action),
Daniel Dunbaraa7a0662008-10-23 05:50:47 +000080 CompileOpts(compopts),
Eli Friedmana9c310842009-05-18 22:20:00 +000081 AsmOutStream(OS),
Chris Lattner2193db22009-02-18 01:37:30 +000082 LLVMIRGeneration("LLVM IR Generation Time"),
83 CodeGenerationTime("Code Generation Time"),
Eli Friedmana9c310842009-05-18 22:20:00 +000084 Gen(CreateLLVMCodeGen(Diags, infile, compopts)),
85 TheModule(0), TheTargetData(0), ModuleProvider(0),
Chris Lattnere8f70712009-02-18 01:23:44 +000086 CodeGenPasses(0), PerModulePasses(0), PerFunctionPasses(0) {
87
Chris Lattner2193db22009-02-18 01:37:30 +000088 // Enable -time-passes if -ftime-report is enabled.
Chris Lattnere8f70712009-02-18 01:23:44 +000089 llvm::TimePassesIsEnabled = CompileOpts.TimePasses;
90 }
Daniel Dunbar85e44e22008-10-21 23:49:24 +000091
92 ~BackendConsumer() {
Daniel Dunbar85e44e22008-10-21 23:49:24 +000093 delete TheTargetData;
Nuno Lopes74d92782008-10-24 22:51:00 +000094 delete ModuleProvider;
Daniel Dunbar85e44e22008-10-21 23:49:24 +000095 delete CodeGenPasses;
96 delete PerModulePasses;
97 delete PerFunctionPasses;
98 }
99
Chris Lattnerfb88a5f2009-03-28 02:18:25 +0000100 virtual void Initialize(ASTContext &Ctx) {
101 Context = &Ctx;
Chris Lattner2193db22009-02-18 01:37:30 +0000102
103 if (CompileOpts.TimePasses)
104 LLVMIRGeneration.startTimer();
105
Chris Lattnerfb88a5f2009-03-28 02:18:25 +0000106 Gen->Initialize(Ctx);
Daniel Dunbar85e44e22008-10-21 23:49:24 +0000107
108 TheModule = Gen->GetModule();
Nuno Lopesd41e2b12008-10-24 23:27:18 +0000109 ModuleProvider = new ExistingModuleProvider(TheModule);
Chris Lattnerfb88a5f2009-03-28 02:18:25 +0000110 TheTargetData = new llvm::TargetData(Ctx.Target.getTargetDescription());
Chris Lattner2193db22009-02-18 01:37:30 +0000111
112 if (CompileOpts.TimePasses)
113 LLVMIRGeneration.stopTimer();
Daniel Dunbar85e44e22008-10-21 23:49:24 +0000114 }
115
Chris Lattnera17991f2009-03-29 16:50:03 +0000116 virtual void HandleTopLevelDecl(DeclGroupRef D) {
117 PrettyStackTraceDecl CrashInfo(*D.begin(), SourceLocation(),
Chris Lattnerc309ade2009-03-05 08:00:35 +0000118 Context->getSourceManager(),
119 "LLVM IR generation of declaration");
Chris Lattnera17991f2009-03-29 16:50:03 +0000120
Chris Lattner2193db22009-02-18 01:37:30 +0000121 if (CompileOpts.TimePasses)
122 LLVMIRGeneration.startTimer();
Chris Lattnera17991f2009-03-29 16:50:03 +0000123
Daniel Dunbar85e44e22008-10-21 23:49:24 +0000124 Gen->HandleTopLevelDecl(D);
Chris Lattner2193db22009-02-18 01:37:30 +0000125
126 if (CompileOpts.TimePasses)
127 LLVMIRGeneration.stopTimer();
Daniel Dunbar85e44e22008-10-21 23:49:24 +0000128 }
129
Chris Lattner2a594d02009-03-28 04:11:33 +0000130 virtual void HandleTranslationUnit(ASTContext &C) {
Chris Lattnerc309ade2009-03-05 08:00:35 +0000131 {
Chris Lattner4e164172009-03-06 06:46:31 +0000132 PrettyStackTraceString CrashInfo("Per-file LLVM IR generation");
Chris Lattnerc309ade2009-03-05 08:00:35 +0000133 if (CompileOpts.TimePasses)
134 LLVMIRGeneration.startTimer();
Chris Lattner2193db22009-02-18 01:37:30 +0000135
Chris Lattner2a594d02009-03-28 04:11:33 +0000136 Gen->HandleTranslationUnit(C);
Daniel Dunbar622d6d02008-11-11 06:35:39 +0000137
Chris Lattnerc309ade2009-03-05 08:00:35 +0000138 if (CompileOpts.TimePasses)
139 LLVMIRGeneration.stopTimer();
140 }
Chris Lattner2193db22009-02-18 01:37:30 +0000141
Chris Lattnerc309ade2009-03-05 08:00:35 +0000142 // EmitAssembly times and registers crash info itself.
Chris Lattner2193db22009-02-18 01:37:30 +0000143 EmitAssembly();
144
Daniel Dunbar622d6d02008-11-11 06:35:39 +0000145 // Force a flush here in case we never get released.
146 if (AsmOutStream)
147 AsmOutStream->flush();
Daniel Dunbar85e44e22008-10-21 23:49:24 +0000148 }
149
150 virtual void HandleTagDeclDefinition(TagDecl *D) {
Chris Lattnerc309ade2009-03-05 08:00:35 +0000151 PrettyStackTraceDecl CrashInfo(D, SourceLocation(),
152 Context->getSourceManager(),
153 "LLVM IR generation of declaration");
Daniel Dunbar85e44e22008-10-21 23:49:24 +0000154 Gen->HandleTagDeclDefinition(D);
155 }
Douglas Gregor9cdb4a12009-04-21 17:11:58 +0000156
157 virtual void CompleteTentativeDefinition(VarDecl *D) {
158 Gen->CompleteTentativeDefinition(D);
159 }
Daniel Dunbar85e44e22008-10-21 23:49:24 +0000160 };
161}
162
163FunctionPassManager *BackendConsumer::getCodeGenPasses() const {
164 if (!CodeGenPasses) {
Nuno Lopes74d92782008-10-24 22:51:00 +0000165 CodeGenPasses = new FunctionPassManager(ModuleProvider);
Daniel Dunbar85e44e22008-10-21 23:49:24 +0000166 CodeGenPasses->add(new TargetData(*TheTargetData));
167 }
168
169 return CodeGenPasses;
170}
171
172PassManager *BackendConsumer::getPerModulePasses() const {
173 if (!PerModulePasses) {
174 PerModulePasses = new PassManager();
175 PerModulePasses->add(new TargetData(*TheTargetData));
176 }
177
178 return PerModulePasses;
179}
180
181FunctionPassManager *BackendConsumer::getPerFunctionPasses() const {
182 if (!PerFunctionPasses) {
Nuno Lopesd41e2b12008-10-24 23:27:18 +0000183 PerFunctionPasses = new FunctionPassManager(ModuleProvider);
Daniel Dunbar85e44e22008-10-21 23:49:24 +0000184 PerFunctionPasses->add(new TargetData(*TheTargetData));
185 }
186
187 return PerFunctionPasses;
188}
189
Daniel Dunbar655d5092008-10-23 05:59:43 +0000190bool BackendConsumer::AddEmitPasses(std::string &Error) {
Daniel Dunbard999a8e2009-02-26 22:39:37 +0000191 if (Action == Backend_EmitNothing)
192 return true;
193
Daniel Dunbar85e44e22008-10-21 23:49:24 +0000194 if (Action == Backend_EmitBC) {
Daniel Dunbare5dbb072008-10-22 17:40:45 +0000195 getPerModulePasses()->add(createBitcodeWriterPass(*AsmOutStream));
Daniel Dunbar85e44e22008-10-21 23:49:24 +0000196 } else if (Action == Backend_EmitLL) {
Daniel Dunbar092a7442008-10-22 03:28:13 +0000197 getPerModulePasses()->add(createPrintModulePass(AsmOutStream));
Daniel Dunbar85e44e22008-10-21 23:49:24 +0000198 } else {
Daniel Dunbar655d5092008-10-23 05:59:43 +0000199 bool Fast = CompileOpts.OptimizationLevel == 0;
200
Daniel Dunbaraed93f22008-10-22 18:29:51 +0000201 // Create the TargetMachine for generating code.
202 const TargetMachineRegistry::entry *TME =
203 TargetMachineRegistry::getClosestStaticTargetForModule(*TheModule, Error);
204 if (!TME) {
205 Error = std::string("Unable to get target machine: ") + Error;
206 return false;
207 }
Daniel Dunbar9101a632009-02-17 19:47:34 +0000208
209 std::string FeaturesStr;
210 if (CompileOpts.CPU.size() || CompileOpts.Features.size()) {
211 SubtargetFeatures Features;
212 Features.setCPU(CompileOpts.CPU);
213 for (std::vector<std::string>::iterator
214 it = CompileOpts.Features.begin(),
215 ie = CompileOpts.Features.end(); it != ie; ++it)
216 Features.AddFeature(*it);
217 FeaturesStr = Features.getString();
218 }
219 TargetMachine *TM = TME->CtorFn(*TheModule, FeaturesStr);
Daniel Dunbaraed93f22008-10-22 18:29:51 +0000220
221 // Set register scheduler & allocation policy.
222 RegisterScheduler::setDefault(createDefaultScheduler);
223 RegisterRegAlloc::setDefault(Fast ? createLocalRegisterAllocator :
224 createLinearScanRegisterAllocator);
225
Daniel Dunbar85e44e22008-10-21 23:49:24 +0000226 // From llvm-gcc:
227 // If there are passes we have to run on the entire module, we do codegen
228 // as a separate "pass" after that happens.
229 // FIXME: This is disabled right now until bugs can be worked out. Reenable
230 // this for fast -O0 compiles!
231 FunctionPassManager *PM = getCodeGenPasses();
Bill Wendling110ea4e2009-04-29 23:53:23 +0000232 CodeGenOpt::Level OptLevel = CodeGenOpt::Default;
233
234 switch (CompileOpts.OptimizationLevel) {
235 default: break;
236 case 0: OptLevel = CodeGenOpt::None; break;
Bill Wendling110ea4e2009-04-29 23:53:23 +0000237 case 3: OptLevel = CodeGenOpt::Aggressive; break;
238 }
239
Daniel Dunbar85e44e22008-10-21 23:49:24 +0000240 // Normal mode, emit a .s file by running the code generator.
241 // Note, this also adds codegenerator level optimization passes.
242 switch (TM->addPassesToEmitFile(*PM, *AsmOutStream,
Bill Wendling110ea4e2009-04-29 23:53:23 +0000243 TargetMachine::AssemblyFile, OptLevel)) {
Daniel Dunbar85e44e22008-10-21 23:49:24 +0000244 default:
245 case FileModel::Error:
246 Error = "Unable to interface with target machine!\n";
247 return false;
248 case FileModel::AsmFile:
249 break;
250 }
251
Duncan Sands61f1d9c2009-05-31 04:09:57 +0000252 if (TM->addPassesToEmitFileFinish(*CodeGenPasses, (MachineCodeEmitter *)0,
253 OptLevel)) {
Daniel Dunbar85e44e22008-10-21 23:49:24 +0000254 Error = "Unable to interface with target machine!\n";
255 return false;
256 }
257 }
258
259 return true;
260}
261
262void BackendConsumer::CreatePasses() {
Daniel Dunbaraa7a0662008-10-23 05:50:47 +0000263 // In -O0 if checking is disabled, we don't even have per-function passes.
264 if (CompileOpts.VerifyModule)
265 getPerFunctionPasses()->add(createVerifierPass());
266
Daniel Dunbar247f3092009-06-03 18:01:18 +0000267 // Assume that standard function passes aren't run for -O0.
268 if (CompileOpts.OptimizationLevel > 0)
269 llvm::createStandardFunctionPasses(getPerFunctionPasses(),
270 CompileOpts.OptimizationLevel);
271
272 llvm::Pass *InliningPass = 0;
273 switch (CompileOpts.Inlining) {
274 case CompileOptions::NoInlining: break;
275 case CompileOptions::NormalInlining:
276 InliningPass = createFunctionInliningPass(); // Inline small functions
277 break;
278 case CompileOptions::OnlyAlwaysInlining:
279 InliningPass = createAlwaysInlinerPass(); // Respect always_inline
280 break;
Daniel Dunbaraa7a0662008-10-23 05:50:47 +0000281 }
282
283 // For now we always create per module passes.
284 PassManager *PM = getPerModulePasses();
Daniel Dunbar247f3092009-06-03 18:01:18 +0000285 llvm::createStandardModulePasses(PM, CompileOpts.OptimizationLevel,
286 CompileOpts.OptimizeSize,
287 CompileOpts.UnitAtATime,
288 CompileOpts.UnrollLoops,
289 CompileOpts.SimplifyLibCalls,
290 /*HaveExceptions=*/true,
291 InliningPass);
Daniel Dunbar85e44e22008-10-21 23:49:24 +0000292}
293
294/// EmitAssembly - Handle interaction with LLVM backend to generate
295/// actual machine code.
296void BackendConsumer::EmitAssembly() {
297 // Silently ignore if we weren't initialized for some reason.
298 if (!TheModule || !TheTargetData)
299 return;
Chris Lattner2193db22009-02-18 01:37:30 +0000300
Chris Lattner908789c2009-02-18 18:22:50 +0000301 TimeRegion Region(CompileOpts.TimePasses ? &CodeGenerationTime : 0);
Daniel Dunbar85e44e22008-10-21 23:49:24 +0000302
Daniel Dunbarbc147792008-10-27 20:40:41 +0000303 // Make sure IR generation is happy with the module. This is
304 // released by the module provider.
Daniel Dunbar85e44e22008-10-21 23:49:24 +0000305 Module *M = Gen->ReleaseModule();
306 if (!M) {
Daniel Dunbarbc147792008-10-27 20:40:41 +0000307 // The module has been released by IR gen on failures, do not
308 // double free.
309 ModuleProvider->releaseModule();
Daniel Dunbar85e44e22008-10-21 23:49:24 +0000310 TheModule = 0;
311 return;
312 }
313
314 assert(TheModule == M && "Unexpected module change during IR generation");
315
316 CreatePasses();
317
318 std::string Error;
Daniel Dunbar655d5092008-10-23 05:59:43 +0000319 if (!AddEmitPasses(Error)) {
Daniel Dunbar85e44e22008-10-21 23:49:24 +0000320 // FIXME: Don't fail this way.
321 llvm::cerr << "ERROR: " << Error << "\n";
322 ::exit(1);
323 }
324
325 // Run passes. For now we do all passes at once, but eventually we
326 // would like to have the option of streaming code generation.
327
328 if (PerFunctionPasses) {
Chris Lattner4e164172009-03-06 06:46:31 +0000329 PrettyStackTraceString CrashInfo("Per-function optimization");
Chris Lattnerc309ade2009-03-05 08:00:35 +0000330
Daniel Dunbar85e44e22008-10-21 23:49:24 +0000331 PerFunctionPasses->doInitialization();
332 for (Module::iterator I = M->begin(), E = M->end(); I != E; ++I)
333 if (!I->isDeclaration())
334 PerFunctionPasses->run(*I);
335 PerFunctionPasses->doFinalization();
336 }
337
Chris Lattnerc309ade2009-03-05 08:00:35 +0000338 if (PerModulePasses) {
Chris Lattner4e164172009-03-06 06:46:31 +0000339 PrettyStackTraceString CrashInfo("Per-module optimization passes");
Daniel Dunbar85e44e22008-10-21 23:49:24 +0000340 PerModulePasses->run(*M);
Chris Lattnerc309ade2009-03-05 08:00:35 +0000341 }
Daniel Dunbar85e44e22008-10-21 23:49:24 +0000342
343 if (CodeGenPasses) {
Chris Lattner4e164172009-03-06 06:46:31 +0000344 PrettyStackTraceString CrashInfo("Code generation");
Daniel Dunbar85e44e22008-10-21 23:49:24 +0000345 CodeGenPasses->doInitialization();
346 for (Module::iterator I = M->begin(), E = M->end(); I != E; ++I)
347 if (!I->isDeclaration())
348 CodeGenPasses->run(*I);
349 CodeGenPasses->doFinalization();
350 }
351}
352
353ASTConsumer *clang::CreateBackendConsumer(BackendAction Action,
354 Diagnostic &Diags,
Daniel Dunbar9101a632009-02-17 19:47:34 +0000355 const LangOptions &LangOpts,
Daniel Dunbaraa7a0662008-10-23 05:50:47 +0000356 const CompileOptions &CompileOpts,
Daniel Dunbar85e44e22008-10-21 23:49:24 +0000357 const std::string& InFile,
Eli Friedmana9c310842009-05-18 22:20:00 +0000358 llvm::raw_ostream* OS) {
359 return new BackendConsumer(Action, Diags, LangOpts, CompileOpts, InFile, OS);
Daniel Dunbar85e44e22008-10-21 23:49:24 +0000360}