1c1b1729bSDaniel Dunbar //===--- BackendUtil.cpp - LLVM Backend Utilities -------------------------===//
2c1b1729bSDaniel Dunbar //
3c1b1729bSDaniel Dunbar //                     The LLVM Compiler Infrastructure
4c1b1729bSDaniel Dunbar //
5c1b1729bSDaniel Dunbar // This file is distributed under the University of Illinois Open Source
6c1b1729bSDaniel Dunbar // License. See LICENSE.TXT for details.
7c1b1729bSDaniel Dunbar //
8c1b1729bSDaniel Dunbar //===----------------------------------------------------------------------===//
9c1b1729bSDaniel Dunbar 
10c1b1729bSDaniel Dunbar #include "clang/CodeGen/BackendUtil.h"
11c1b1729bSDaniel Dunbar #include "clang/Basic/Diagnostic.h"
12c1b1729bSDaniel Dunbar #include "clang/Basic/TargetOptions.h"
13fec0ff84SDan Gohman #include "clang/Basic/LangOptions.h"
148509824cSChandler Carruth #include "clang/Frontend/CodeGenOptions.h"
15c1b1729bSDaniel Dunbar #include "clang/Frontend/FrontendDiagnostic.h"
16c1b1729bSDaniel Dunbar #include "llvm/Module.h"
17c1b1729bSDaniel Dunbar #include "llvm/PassManager.h"
1856a7dab0SRafael Espindola #include "llvm/Analysis/Verifier.h"
19c1b1729bSDaniel Dunbar #include "llvm/Assembly/PrintModulePass.h"
20c1b1729bSDaniel Dunbar #include "llvm/Bitcode/ReaderWriter.h"
21c1b1729bSDaniel Dunbar #include "llvm/CodeGen/RegAllocRegistry.h"
22c1b1729bSDaniel Dunbar #include "llvm/CodeGen/SchedulerRegistry.h"
23eeb486ddSEvan Cheng #include "llvm/MC/SubtargetFeature.h"
24c1b1729bSDaniel Dunbar #include "llvm/Support/CommandLine.h"
25c1b1729bSDaniel Dunbar #include "llvm/Support/FormattedStream.h"
26c1b1729bSDaniel Dunbar #include "llvm/Support/PrettyStackTrace.h"
27494eb062SEvan Cheng #include "llvm/Support/TargetRegistry.h"
28c1b1729bSDaniel Dunbar #include "llvm/Support/Timer.h"
29c1b1729bSDaniel Dunbar #include "llvm/Support/raw_ostream.h"
30c1b1729bSDaniel Dunbar #include "llvm/Target/TargetData.h"
3156a7dab0SRafael Espindola #include "llvm/Target/TargetLibraryInfo.h"
32c1b1729bSDaniel Dunbar #include "llvm/Target/TargetMachine.h"
33c1b1729bSDaniel Dunbar #include "llvm/Target/TargetOptions.h"
34207bce31SNick Lewycky #include "llvm/Transforms/Instrumentation.h"
3556a7dab0SRafael Espindola #include "llvm/Transforms/IPO.h"
3656a7dab0SRafael Espindola #include "llvm/Transforms/IPO/PassManagerBuilder.h"
3756a7dab0SRafael Espindola #include "llvm/Transforms/Scalar.h"
38c1b1729bSDaniel Dunbar using namespace clang;
39c1b1729bSDaniel Dunbar using namespace llvm;
40c1b1729bSDaniel Dunbar 
41c1b1729bSDaniel Dunbar namespace {
42c1b1729bSDaniel Dunbar 
43c1b1729bSDaniel Dunbar class EmitAssemblyHelper {
449c902b55SDavid Blaikie   DiagnosticsEngine &Diags;
45c1b1729bSDaniel Dunbar   const CodeGenOptions &CodeGenOpts;
46c1b1729bSDaniel Dunbar   const TargetOptions &TargetOpts;
47fec0ff84SDan Gohman   const LangOptions &LangOpts;
48c1b1729bSDaniel Dunbar   Module *TheModule;
49c1b1729bSDaniel Dunbar 
50c1b1729bSDaniel Dunbar   Timer CodeGenerationTime;
51c1b1729bSDaniel Dunbar 
52195fa003SDaniel Dunbar   mutable PassManager *CodeGenPasses;
53c1b1729bSDaniel Dunbar   mutable PassManager *PerModulePasses;
54c1b1729bSDaniel Dunbar   mutable FunctionPassManager *PerFunctionPasses;
55c1b1729bSDaniel Dunbar 
56c1b1729bSDaniel Dunbar private:
57195fa003SDaniel Dunbar   PassManager *getCodeGenPasses() const {
58c1b1729bSDaniel Dunbar     if (!CodeGenPasses) {
59195fa003SDaniel Dunbar       CodeGenPasses = new PassManager();
60c1b1729bSDaniel Dunbar       CodeGenPasses->add(new TargetData(TheModule));
61c1b1729bSDaniel Dunbar     }
62c1b1729bSDaniel Dunbar     return CodeGenPasses;
63c1b1729bSDaniel Dunbar   }
64c1b1729bSDaniel Dunbar 
65c1b1729bSDaniel Dunbar   PassManager *getPerModulePasses() const {
66c1b1729bSDaniel Dunbar     if (!PerModulePasses) {
67c1b1729bSDaniel Dunbar       PerModulePasses = new PassManager();
68c1b1729bSDaniel Dunbar       PerModulePasses->add(new TargetData(TheModule));
69c1b1729bSDaniel Dunbar     }
70c1b1729bSDaniel Dunbar     return PerModulePasses;
71c1b1729bSDaniel Dunbar   }
72c1b1729bSDaniel Dunbar 
73c1b1729bSDaniel Dunbar   FunctionPassManager *getPerFunctionPasses() const {
74c1b1729bSDaniel Dunbar     if (!PerFunctionPasses) {
75c1b1729bSDaniel Dunbar       PerFunctionPasses = new FunctionPassManager(TheModule);
76c1b1729bSDaniel Dunbar       PerFunctionPasses->add(new TargetData(TheModule));
77c1b1729bSDaniel Dunbar     }
78c1b1729bSDaniel Dunbar     return PerFunctionPasses;
79c1b1729bSDaniel Dunbar   }
80c1b1729bSDaniel Dunbar 
81c1b1729bSDaniel Dunbar   void CreatePasses();
82c1b1729bSDaniel Dunbar 
83c1b1729bSDaniel Dunbar   /// AddEmitPasses - Add passes necessary to emit assembly or LLVM IR.
84c1b1729bSDaniel Dunbar   ///
85c1b1729bSDaniel Dunbar   /// \return True on success.
86c1b1729bSDaniel Dunbar   bool AddEmitPasses(BackendAction Action, formatted_raw_ostream &OS);
87c1b1729bSDaniel Dunbar 
88c1b1729bSDaniel Dunbar public:
899c902b55SDavid Blaikie   EmitAssemblyHelper(DiagnosticsEngine &_Diags,
90c1b1729bSDaniel Dunbar                      const CodeGenOptions &CGOpts, const TargetOptions &TOpts,
91fec0ff84SDan Gohman                      const LangOptions &LOpts,
92c1b1729bSDaniel Dunbar                      Module *M)
93fec0ff84SDan Gohman     : Diags(_Diags), CodeGenOpts(CGOpts), TargetOpts(TOpts), LangOpts(LOpts),
94c1b1729bSDaniel Dunbar       TheModule(M), CodeGenerationTime("Code Generation Time"),
95c1b1729bSDaniel Dunbar       CodeGenPasses(0), PerModulePasses(0), PerFunctionPasses(0) {}
96c1b1729bSDaniel Dunbar 
97c1b1729bSDaniel Dunbar   ~EmitAssemblyHelper() {
98c1b1729bSDaniel Dunbar     delete CodeGenPasses;
99c1b1729bSDaniel Dunbar     delete PerModulePasses;
100c1b1729bSDaniel Dunbar     delete PerFunctionPasses;
101c1b1729bSDaniel Dunbar   }
102c1b1729bSDaniel Dunbar 
103c1b1729bSDaniel Dunbar   void EmitAssembly(BackendAction Action, raw_ostream *OS);
104c1b1729bSDaniel Dunbar };
105c1b1729bSDaniel Dunbar 
106c1b1729bSDaniel Dunbar }
107c1b1729bSDaniel Dunbar 
108fec0ff84SDan Gohman static void addObjCARCExpandPass(const PassManagerBuilder &Builder, PassManagerBase &PM) {
109fec0ff84SDan Gohman   if (Builder.OptLevel > 0)
110fec0ff84SDan Gohman     PM.add(createObjCARCExpandPass());
111fec0ff84SDan Gohman }
112fec0ff84SDan Gohman 
113fec0ff84SDan Gohman static void addObjCARCOptPass(const PassManagerBuilder &Builder, PassManagerBase &PM) {
114fec0ff84SDan Gohman   if (Builder.OptLevel > 0)
115fec0ff84SDan Gohman     PM.add(createObjCARCOptPass());
116fec0ff84SDan Gohman }
117fec0ff84SDan Gohman 
1188855ff61SKostya Serebryany static void addAddressSanitizerPass(const PassManagerBuilder &Builder,
1198855ff61SKostya Serebryany                                     PassManagerBase &PM) {
1208855ff61SKostya Serebryany   PM.add(createAddressSanitizerPass());
1218855ff61SKostya Serebryany }
1228855ff61SKostya Serebryany 
123c1b1729bSDaniel Dunbar void EmitAssemblyHelper::CreatePasses() {
124c1b1729bSDaniel Dunbar   unsigned OptLevel = CodeGenOpts.OptimizationLevel;
125c1b1729bSDaniel Dunbar   CodeGenOptions::InliningMethod Inlining = CodeGenOpts.Inlining;
126c1b1729bSDaniel Dunbar 
127c1b1729bSDaniel Dunbar   // Handle disabling of LLVM optimization, where we want to preserve the
128c1b1729bSDaniel Dunbar   // internal module before any optimization.
129c1b1729bSDaniel Dunbar   if (CodeGenOpts.DisableLLVMOpts) {
130c1b1729bSDaniel Dunbar     OptLevel = 0;
131c1b1729bSDaniel Dunbar     Inlining = CodeGenOpts.NoInlining;
132c1b1729bSDaniel Dunbar   }
133c1b1729bSDaniel Dunbar 
1345c12367bSChris Lattner   PassManagerBuilder PMBuilder;
135ecf0ba5bSChris Lattner   PMBuilder.OptLevel = OptLevel;
136ecf0ba5bSChris Lattner   PMBuilder.SizeLevel = CodeGenOpts.OptimizeSize;
137d98cec5cSChris Lattner 
138ecf0ba5bSChris Lattner   PMBuilder.DisableSimplifyLibCalls = !CodeGenOpts.SimplifyLibCalls;
139ecf0ba5bSChris Lattner   PMBuilder.DisableUnitAtATime = !CodeGenOpts.UnitAtATime;
140ecf0ba5bSChris Lattner   PMBuilder.DisableUnrollLoops = !CodeGenOpts.UnrollLoops;
1415c12367bSChris Lattner 
142fec0ff84SDan Gohman   // In ObjC ARC mode, add the main ARC optimization passes.
143fec0ff84SDan Gohman   if (LangOpts.ObjCAutoRefCount) {
144fec0ff84SDan Gohman     PMBuilder.addExtension(PassManagerBuilder::EP_EarlyAsPossible,
145fec0ff84SDan Gohman                            addObjCARCExpandPass);
146fec0ff84SDan Gohman     PMBuilder.addExtension(PassManagerBuilder::EP_ScalarOptimizerLate,
147fec0ff84SDan Gohman                            addObjCARCOptPass);
148fec0ff84SDan Gohman   }
149fec0ff84SDan Gohman 
150*c3333e87SKostya Serebryany   if (LangOpts.AddressSanitizer) {
1518855ff61SKostya Serebryany     PMBuilder.addExtension(PassManagerBuilder::EP_ScalarOptimizerLate,
1528855ff61SKostya Serebryany                            addAddressSanitizerPass);
1538855ff61SKostya Serebryany   }
1548855ff61SKostya Serebryany 
1555c12367bSChris Lattner   // Figure out TargetLibraryInfo.
15628b9e8b3SBill Wendling   Triple TargetTriple(TheModule->getTargetTriple());
157ecf0ba5bSChris Lattner   PMBuilder.LibraryInfo = new TargetLibraryInfo(TargetTriple);
158fa222dfbSChris Lattner   if (!CodeGenOpts.SimplifyLibCalls)
159ecf0ba5bSChris Lattner     PMBuilder.LibraryInfo->disableAllFunctions();
160c1b1729bSDaniel Dunbar 
161c1b1729bSDaniel Dunbar   switch (Inlining) {
162c1b1729bSDaniel Dunbar   case CodeGenOptions::NoInlining: break;
163c1b1729bSDaniel Dunbar   case CodeGenOptions::NormalInlining: {
164c1b1729bSDaniel Dunbar     // FIXME: Derive these constants in a principled fashion.
165c1b1729bSDaniel Dunbar     unsigned Threshold = 225;
1669a5f84faSBob Wilson     if (CodeGenOpts.OptimizeSize == 1)      // -Os
167c1b1729bSDaniel Dunbar       Threshold = 75;
1689a5f84faSBob Wilson     else if (CodeGenOpts.OptimizeSize == 2) // -Oz
1699a5f84faSBob Wilson       Threshold = 25;
170c1b1729bSDaniel Dunbar     else if (OptLevel > 2)
171c1b1729bSDaniel Dunbar       Threshold = 275;
172ecf0ba5bSChris Lattner     PMBuilder.Inliner = createFunctionInliningPass(Threshold);
173c1b1729bSDaniel Dunbar     break;
174c1b1729bSDaniel Dunbar   }
175c1b1729bSDaniel Dunbar   case CodeGenOptions::OnlyAlwaysInlining:
1765c12367bSChris Lattner     // Respect always_inline.
177ecf0ba5bSChris Lattner     PMBuilder.Inliner = createAlwaysInlinerPass();
178c1b1729bSDaniel Dunbar     break;
179c1b1729bSDaniel Dunbar   }
180c1b1729bSDaniel Dunbar 
181d98cec5cSChris Lattner 
1825c12367bSChris Lattner   // Set up the per-function pass manager.
1835c12367bSChris Lattner   FunctionPassManager *FPM = getPerFunctionPasses();
1845c12367bSChris Lattner   if (CodeGenOpts.VerifyModule)
1855c12367bSChris Lattner     FPM->add(createVerifierPass());
1865c12367bSChris Lattner   PMBuilder.populateFunctionPassManager(*FPM);
1875c12367bSChris Lattner 
1885c12367bSChris Lattner   // Set up the per-module pass manager.
1895c12367bSChris Lattner   PassManager *MPM = getPerModulePasses();
190d98cec5cSChris Lattner 
191207bce31SNick Lewycky   if (CodeGenOpts.EmitGcovArcs || CodeGenOpts.EmitGcovNotes) {
192207bce31SNick Lewycky     MPM->add(createGCOVProfilerPass(CodeGenOpts.EmitGcovNotes,
19328b9e8b3SBill Wendling                                     CodeGenOpts.EmitGcovArcs,
19428b9e8b3SBill Wendling                                     TargetTriple.isMacOSX()));
19528b9e8b3SBill Wendling 
196207bce31SNick Lewycky     if (!CodeGenOpts.DebugInfo)
197207bce31SNick Lewycky       MPM->add(createStripSymbolsPass(true));
198207bce31SNick Lewycky   }
199207bce31SNick Lewycky 
2005c12367bSChris Lattner 
2015c12367bSChris Lattner   PMBuilder.populateModulePassManager(*MPM);
202c1b1729bSDaniel Dunbar }
203c1b1729bSDaniel Dunbar 
204c1b1729bSDaniel Dunbar bool EmitAssemblyHelper::AddEmitPasses(BackendAction Action,
205c1b1729bSDaniel Dunbar                                        formatted_raw_ostream &OS) {
206c1b1729bSDaniel Dunbar   // Create the TargetMachine for generating code.
207c1b1729bSDaniel Dunbar   std::string Error;
208c1b1729bSDaniel Dunbar   std::string Triple = TheModule->getTargetTriple();
209c1b1729bSDaniel Dunbar   const llvm::Target *TheTarget = TargetRegistry::lookupTarget(Triple, Error);
210c1b1729bSDaniel Dunbar   if (!TheTarget) {
211c1b1729bSDaniel Dunbar     Diags.Report(diag::err_fe_unable_to_create_target) << Error;
212c1b1729bSDaniel Dunbar     return false;
213c1b1729bSDaniel Dunbar   }
214c1b1729bSDaniel Dunbar 
215c1b1729bSDaniel Dunbar   // FIXME: Expose these capabilities via actual APIs!!!! Aside from just
216c1b1729bSDaniel Dunbar   // being gross, this is also totally broken if we ever care about
217c1b1729bSDaniel Dunbar   // concurrency.
218bb7ac52eSDaniel Dunbar 
219bb7ac52eSDaniel Dunbar   // Set frame pointer elimination mode.
220bb7ac52eSDaniel Dunbar   if (!CodeGenOpts.DisableFPElim) {
221bb7ac52eSDaniel Dunbar     llvm::NoFramePointerElim = false;
222bb7ac52eSDaniel Dunbar     llvm::NoFramePointerElimNonLeaf = false;
223bb7ac52eSDaniel Dunbar   } else if (CodeGenOpts.OmitLeafFramePointer) {
224bb7ac52eSDaniel Dunbar     llvm::NoFramePointerElim = false;
225bb7ac52eSDaniel Dunbar     llvm::NoFramePointerElimNonLeaf = true;
226bb7ac52eSDaniel Dunbar   } else {
227bb7ac52eSDaniel Dunbar     llvm::NoFramePointerElim = true;
228bb7ac52eSDaniel Dunbar     llvm::NoFramePointerElimNonLeaf = true;
229bb7ac52eSDaniel Dunbar   }
230bb7ac52eSDaniel Dunbar 
231bb7ac52eSDaniel Dunbar   // Set float ABI type.
23245df3dd3SSandeep Patel   if (CodeGenOpts.FloatABI == "soft" || CodeGenOpts.FloatABI == "softfp")
233c1b1729bSDaniel Dunbar     llvm::FloatABIType = llvm::FloatABI::Soft;
234c1b1729bSDaniel Dunbar   else if (CodeGenOpts.FloatABI == "hard")
235c1b1729bSDaniel Dunbar     llvm::FloatABIType = llvm::FloatABI::Hard;
236c1b1729bSDaniel Dunbar   else {
237c1b1729bSDaniel Dunbar     assert(CodeGenOpts.FloatABI.empty() && "Invalid float abi!");
238c1b1729bSDaniel Dunbar     llvm::FloatABIType = llvm::FloatABI::Default;
239c1b1729bSDaniel Dunbar   }
240bb7ac52eSDaniel Dunbar 
24142254262SPeter Collingbourne   llvm::LessPreciseFPMADOption = CodeGenOpts.LessPreciseFPMAD;
2420ba5ac85SPeter Collingbourne   llvm::NoInfsFPMath = CodeGenOpts.NoInfsFPMath;
2430ba5ac85SPeter Collingbourne   llvm::NoNaNsFPMath = CodeGenOpts.NoNaNsFPMath;
244c1b1729bSDaniel Dunbar   NoZerosInBSS = CodeGenOpts.NoZeroInitializedInBSS;
245b8d9995cSPeter Collingbourne   llvm::UnsafeFPMath = CodeGenOpts.UnsafeFPMath;
246c1b1729bSDaniel Dunbar   llvm::UseSoftFloat = CodeGenOpts.SoftFloat;
247c1b1729bSDaniel Dunbar 
248c1b1729bSDaniel Dunbar   TargetMachine::setAsmVerbosityDefault(CodeGenOpts.AsmVerbose);
249c1b1729bSDaniel Dunbar 
250c1b1729bSDaniel Dunbar   TargetMachine::setFunctionSections(CodeGenOpts.FunctionSections);
251c1b1729bSDaniel Dunbar   TargetMachine::setDataSections    (CodeGenOpts.DataSections);
252c1b1729bSDaniel Dunbar 
253c1b1729bSDaniel Dunbar   // FIXME: Parse this earlier.
2540d3d7770SBenjamin Kramer   llvm::CodeModel::Model CM;
255c1b1729bSDaniel Dunbar   if (CodeGenOpts.CodeModel == "small") {
2560d3d7770SBenjamin Kramer     CM = llvm::CodeModel::Small;
257c1b1729bSDaniel Dunbar   } else if (CodeGenOpts.CodeModel == "kernel") {
2580d3d7770SBenjamin Kramer     CM = llvm::CodeModel::Kernel;
259c1b1729bSDaniel Dunbar   } else if (CodeGenOpts.CodeModel == "medium") {
2600d3d7770SBenjamin Kramer     CM = llvm::CodeModel::Medium;
261c1b1729bSDaniel Dunbar   } else if (CodeGenOpts.CodeModel == "large") {
2620d3d7770SBenjamin Kramer     CM = llvm::CodeModel::Large;
263c1b1729bSDaniel Dunbar   } else {
264c1b1729bSDaniel Dunbar     assert(CodeGenOpts.CodeModel.empty() && "Invalid code model!");
2650d3d7770SBenjamin Kramer     CM = llvm::CodeModel::Default;
266c1b1729bSDaniel Dunbar   }
267c1b1729bSDaniel Dunbar 
268c1b1729bSDaniel Dunbar   std::vector<const char *> BackendArgs;
269c1b1729bSDaniel Dunbar   BackendArgs.push_back("clang"); // Fake program name.
270c1b1729bSDaniel Dunbar   if (!CodeGenOpts.DebugPass.empty()) {
271c1b1729bSDaniel Dunbar     BackendArgs.push_back("-debug-pass");
272c1b1729bSDaniel Dunbar     BackendArgs.push_back(CodeGenOpts.DebugPass.c_str());
273c1b1729bSDaniel Dunbar   }
274c1b1729bSDaniel Dunbar   if (!CodeGenOpts.LimitFloatPrecision.empty()) {
275c1b1729bSDaniel Dunbar     BackendArgs.push_back("-limit-float-precision");
276c1b1729bSDaniel Dunbar     BackendArgs.push_back(CodeGenOpts.LimitFloatPrecision.c_str());
277c1b1729bSDaniel Dunbar   }
278c1b1729bSDaniel Dunbar   if (llvm::TimePassesIsEnabled)
279c1b1729bSDaniel Dunbar     BackendArgs.push_back("-time-passes");
28012100e2cSDaniel Dunbar   for (unsigned i = 0, e = CodeGenOpts.BackendOptions.size(); i != e; ++i)
28112100e2cSDaniel Dunbar     BackendArgs.push_back(CodeGenOpts.BackendOptions[i].c_str());
282ba3df1d3SChad Rosier   if (CodeGenOpts.NoGlobalMerge)
283ba3df1d3SChad Rosier     BackendArgs.push_back("-global-merge=false");
284c1b1729bSDaniel Dunbar   BackendArgs.push_back(0);
285c1b1729bSDaniel Dunbar   llvm::cl::ParseCommandLineOptions(BackendArgs.size() - 1,
286c1b1729bSDaniel Dunbar                                     const_cast<char **>(&BackendArgs[0]));
287c1b1729bSDaniel Dunbar 
288c1b1729bSDaniel Dunbar   std::string FeaturesStr;
289adc79598SEvan Cheng   if (TargetOpts.Features.size()) {
290c1b1729bSDaniel Dunbar     SubtargetFeatures Features;
291c1b1729bSDaniel Dunbar     for (std::vector<std::string>::const_iterator
292c1b1729bSDaniel Dunbar            it = TargetOpts.Features.begin(),
293c1b1729bSDaniel Dunbar            ie = TargetOpts.Features.end(); it != ie; ++it)
294c1b1729bSDaniel Dunbar       Features.AddFeature(*it);
295c1b1729bSDaniel Dunbar     FeaturesStr = Features.getString();
296c1b1729bSDaniel Dunbar   }
2973f37dd06SEvan Cheng 
2983f37dd06SEvan Cheng   llvm::Reloc::Model RM = llvm::Reloc::Default;
2993f37dd06SEvan Cheng   if (CodeGenOpts.RelocationModel == "static") {
3003f37dd06SEvan Cheng     RM = llvm::Reloc::Static;
3013f37dd06SEvan Cheng   } else if (CodeGenOpts.RelocationModel == "pic") {
3023f37dd06SEvan Cheng     RM = llvm::Reloc::PIC_;
3033f37dd06SEvan Cheng   } else {
3043f37dd06SEvan Cheng     assert(CodeGenOpts.RelocationModel == "dynamic-no-pic" &&
3053f37dd06SEvan Cheng            "Invalid PIC model!");
3063f37dd06SEvan Cheng     RM = llvm::Reloc::DynamicNoPIC;
3073f37dd06SEvan Cheng   }
3083f37dd06SEvan Cheng 
309dd286bceSEvan Cheng   CodeGenOpt::Level OptLevel = CodeGenOpt::Default;
310dd286bceSEvan Cheng   switch (CodeGenOpts.OptimizationLevel) {
311dd286bceSEvan Cheng   default: break;
312dd286bceSEvan Cheng   case 0: OptLevel = CodeGenOpt::None; break;
313dd286bceSEvan Cheng   case 3: OptLevel = CodeGenOpt::Aggressive; break;
314dd286bceSEvan Cheng   }
315dd286bceSEvan Cheng 
316adc79598SEvan Cheng   TargetMachine *TM = TheTarget->createTargetMachine(Triple, TargetOpts.CPU,
317dd286bceSEvan Cheng                                                      FeaturesStr, RM, CM,
318dd286bceSEvan Cheng                                                      OptLevel);
319c1b1729bSDaniel Dunbar 
320c1b1729bSDaniel Dunbar   if (CodeGenOpts.RelaxAll)
321c1b1729bSDaniel Dunbar     TM->setMCRelaxAll(true);
32267919b2aSDaniel Dunbar   if (CodeGenOpts.SaveTempLabels)
32367919b2aSDaniel Dunbar     TM->setMCSaveTempLabels(true);
324e264187cSRafael Espindola   if (CodeGenOpts.NoDwarf2CFIAsm)
325e264187cSRafael Espindola     TM->setMCUseCFI(false);
326dd424a5bSNick Lewycky   if (!CodeGenOpts.NoDwarfDirectoryAsm)
327dd424a5bSNick Lewycky     TM->setMCUseDwarfDirectory(true);
328ca6b90d8SNick Lewycky   if (CodeGenOpts.NoExecStack)
329ca6b90d8SNick Lewycky     TM->setMCNoExecStack(true);
330c1b1729bSDaniel Dunbar 
331c1b1729bSDaniel Dunbar   // Create the code generator passes.
332195fa003SDaniel Dunbar   PassManager *PM = getCodeGenPasses();
333c1b1729bSDaniel Dunbar 
334c1b1729bSDaniel Dunbar   // Normal mode, emit a .s or .o file by running the code generator. Note,
335c1b1729bSDaniel Dunbar   // this also adds codegenerator level optimization passes.
336c1b1729bSDaniel Dunbar   TargetMachine::CodeGenFileType CGFT = TargetMachine::CGFT_AssemblyFile;
337c1b1729bSDaniel Dunbar   if (Action == Backend_EmitObj)
338c1b1729bSDaniel Dunbar     CGFT = TargetMachine::CGFT_ObjectFile;
339c1b1729bSDaniel Dunbar   else if (Action == Backend_EmitMCNull)
340c1b1729bSDaniel Dunbar     CGFT = TargetMachine::CGFT_Null;
341c1b1729bSDaniel Dunbar   else
342c1b1729bSDaniel Dunbar     assert(Action == Backend_EmitAssembly && "Invalid action!");
343fec0ff84SDan Gohman 
344fec0ff84SDan Gohman   // Add ObjC ARC final-cleanup optimizations. This is done as part of the
345fec0ff84SDan Gohman   // "codegen" passes so that it isn't run multiple times when there is
346fec0ff84SDan Gohman   // inlining happening.
347fec0ff84SDan Gohman   if (LangOpts.ObjCAutoRefCount)
348fec0ff84SDan Gohman     PM->add(createObjCARCContractPass());
349fec0ff84SDan Gohman 
350dd286bceSEvan Cheng   if (TM->addPassesToEmitFile(*PM, OS, CGFT,
351c1b1729bSDaniel Dunbar                               /*DisableVerify=*/!CodeGenOpts.VerifyModule)) {
352c1b1729bSDaniel Dunbar     Diags.Report(diag::err_fe_unable_to_interface_with_target);
353c1b1729bSDaniel Dunbar     return false;
354c1b1729bSDaniel Dunbar   }
355c1b1729bSDaniel Dunbar 
356c1b1729bSDaniel Dunbar   return true;
357c1b1729bSDaniel Dunbar }
358c1b1729bSDaniel Dunbar 
359c1b1729bSDaniel Dunbar void EmitAssemblyHelper::EmitAssembly(BackendAction Action, raw_ostream *OS) {
360c1b1729bSDaniel Dunbar   TimeRegion Region(llvm::TimePassesIsEnabled ? &CodeGenerationTime : 0);
361c1b1729bSDaniel Dunbar   llvm::formatted_raw_ostream FormattedOS;
362c1b1729bSDaniel Dunbar 
363c1b1729bSDaniel Dunbar   CreatePasses();
364c1b1729bSDaniel Dunbar   switch (Action) {
365c1b1729bSDaniel Dunbar   case Backend_EmitNothing:
366c1b1729bSDaniel Dunbar     break;
367c1b1729bSDaniel Dunbar 
368c1b1729bSDaniel Dunbar   case Backend_EmitBC:
369c1b1729bSDaniel Dunbar     getPerModulePasses()->add(createBitcodeWriterPass(*OS));
370c1b1729bSDaniel Dunbar     break;
371c1b1729bSDaniel Dunbar 
372c1b1729bSDaniel Dunbar   case Backend_EmitLL:
373c1b1729bSDaniel Dunbar     FormattedOS.setStream(*OS, formatted_raw_ostream::PRESERVE_STREAM);
374c1b1729bSDaniel Dunbar     getPerModulePasses()->add(createPrintModulePass(&FormattedOS));
375c1b1729bSDaniel Dunbar     break;
376c1b1729bSDaniel Dunbar 
377c1b1729bSDaniel Dunbar   default:
378c1b1729bSDaniel Dunbar     FormattedOS.setStream(*OS, formatted_raw_ostream::PRESERVE_STREAM);
379c1b1729bSDaniel Dunbar     if (!AddEmitPasses(Action, FormattedOS))
380c1b1729bSDaniel Dunbar       return;
381c1b1729bSDaniel Dunbar   }
382c1b1729bSDaniel Dunbar 
38315e36e8eSAndrew Trick   // Before executing passes, print the final values of the LLVM options.
38415e36e8eSAndrew Trick   cl::PrintOptionValues();
38515e36e8eSAndrew Trick 
386c1b1729bSDaniel Dunbar   // Run passes. For now we do all passes at once, but eventually we
387c1b1729bSDaniel Dunbar   // would like to have the option of streaming code generation.
388c1b1729bSDaniel Dunbar 
389c1b1729bSDaniel Dunbar   if (PerFunctionPasses) {
390c1b1729bSDaniel Dunbar     PrettyStackTraceString CrashInfo("Per-function optimization");
391c1b1729bSDaniel Dunbar 
392c1b1729bSDaniel Dunbar     PerFunctionPasses->doInitialization();
393c1b1729bSDaniel Dunbar     for (Module::iterator I = TheModule->begin(),
394c1b1729bSDaniel Dunbar            E = TheModule->end(); I != E; ++I)
395c1b1729bSDaniel Dunbar       if (!I->isDeclaration())
396c1b1729bSDaniel Dunbar         PerFunctionPasses->run(*I);
397c1b1729bSDaniel Dunbar     PerFunctionPasses->doFinalization();
398c1b1729bSDaniel Dunbar   }
399c1b1729bSDaniel Dunbar 
400c1b1729bSDaniel Dunbar   if (PerModulePasses) {
401c1b1729bSDaniel Dunbar     PrettyStackTraceString CrashInfo("Per-module optimization passes");
402c1b1729bSDaniel Dunbar     PerModulePasses->run(*TheModule);
403c1b1729bSDaniel Dunbar   }
404c1b1729bSDaniel Dunbar 
405c1b1729bSDaniel Dunbar   if (CodeGenPasses) {
406c1b1729bSDaniel Dunbar     PrettyStackTraceString CrashInfo("Code generation");
407195fa003SDaniel Dunbar     CodeGenPasses->run(*TheModule);
408c1b1729bSDaniel Dunbar   }
409c1b1729bSDaniel Dunbar }
410c1b1729bSDaniel Dunbar 
4119c902b55SDavid Blaikie void clang::EmitBackendOutput(DiagnosticsEngine &Diags,
4129c902b55SDavid Blaikie                               const CodeGenOptions &CGOpts,
413fec0ff84SDan Gohman                               const TargetOptions &TOpts,
414fec0ff84SDan Gohman                               const LangOptions &LOpts,
415fec0ff84SDan Gohman                               Module *M,
416c1b1729bSDaniel Dunbar                               BackendAction Action, raw_ostream *OS) {
417fec0ff84SDan Gohman   EmitAssemblyHelper AsmHelper(Diags, CGOpts, TOpts, LOpts, M);
418c1b1729bSDaniel Dunbar 
419c1b1729bSDaniel Dunbar   AsmHelper.EmitAssembly(Action, OS);
420c1b1729bSDaniel Dunbar }
421