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;
46432add5bSNick Lewycky   const clang::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,
90432add5bSNick Lewycky                      const CodeGenOptions &CGOpts,
91432add5bSNick Lewycky                      const clang::TargetOptions &TOpts,
92fec0ff84SDan Gohman                      const LangOptions &LOpts,
93c1b1729bSDaniel Dunbar                      Module *M)
94fec0ff84SDan Gohman     : Diags(_Diags), CodeGenOpts(CGOpts), TargetOpts(TOpts), LangOpts(LOpts),
95c1b1729bSDaniel Dunbar       TheModule(M), CodeGenerationTime("Code Generation Time"),
96c1b1729bSDaniel Dunbar       CodeGenPasses(0), PerModulePasses(0), PerFunctionPasses(0) {}
97c1b1729bSDaniel Dunbar 
98c1b1729bSDaniel Dunbar   ~EmitAssemblyHelper() {
99c1b1729bSDaniel Dunbar     delete CodeGenPasses;
100c1b1729bSDaniel Dunbar     delete PerModulePasses;
101c1b1729bSDaniel Dunbar     delete PerFunctionPasses;
102c1b1729bSDaniel Dunbar   }
103c1b1729bSDaniel Dunbar 
104c1b1729bSDaniel Dunbar   void EmitAssembly(BackendAction Action, raw_ostream *OS);
105c1b1729bSDaniel Dunbar };
106c1b1729bSDaniel Dunbar 
107c1b1729bSDaniel Dunbar }
108c1b1729bSDaniel Dunbar 
1095932ce25SDan Gohman static void addObjCARCAPElimPass(const PassManagerBuilder &Builder, PassManagerBase &PM) {
1105932ce25SDan Gohman   if (Builder.OptLevel > 0)
1115932ce25SDan Gohman     PM.add(createObjCARCAPElimPass());
1125932ce25SDan Gohman }
1135932ce25SDan Gohman 
114fec0ff84SDan Gohman static void addObjCARCExpandPass(const PassManagerBuilder &Builder, PassManagerBase &PM) {
115fec0ff84SDan Gohman   if (Builder.OptLevel > 0)
116fec0ff84SDan Gohman     PM.add(createObjCARCExpandPass());
117fec0ff84SDan Gohman }
118fec0ff84SDan Gohman 
119fec0ff84SDan Gohman static void addObjCARCOptPass(const PassManagerBuilder &Builder, PassManagerBase &PM) {
120fec0ff84SDan Gohman   if (Builder.OptLevel > 0)
121fec0ff84SDan Gohman     PM.add(createObjCARCOptPass());
122fec0ff84SDan Gohman }
123fec0ff84SDan Gohman 
124a425589fSNuno Lopes static unsigned BoundsChecking;
125a425589fSNuno Lopes static void addBoundsCheckingPass(const PassManagerBuilder &Builder,
126a425589fSNuno Lopes                                     PassManagerBase &PM) {
127a425589fSNuno Lopes   PM.add(createBoundsCheckingPass(BoundsChecking));
128a425589fSNuno Lopes }
129a425589fSNuno Lopes 
1308855ff61SKostya Serebryany static void addAddressSanitizerPass(const PassManagerBuilder &Builder,
1318855ff61SKostya Serebryany                                     PassManagerBase &PM) {
1328855ff61SKostya Serebryany   PM.add(createAddressSanitizerPass());
1338855ff61SKostya Serebryany }
1348855ff61SKostya Serebryany 
13528a7a119SKostya Serebryany static void addThreadSanitizerPass(const PassManagerBuilder &Builder,
13628a7a119SKostya Serebryany                                    PassManagerBase &PM) {
13728a7a119SKostya Serebryany   PM.add(createThreadSanitizerPass());
13828a7a119SKostya Serebryany }
13928a7a119SKostya Serebryany 
140c1b1729bSDaniel Dunbar void EmitAssemblyHelper::CreatePasses() {
141c1b1729bSDaniel Dunbar   unsigned OptLevel = CodeGenOpts.OptimizationLevel;
142c1b1729bSDaniel Dunbar   CodeGenOptions::InliningMethod Inlining = CodeGenOpts.Inlining;
143c1b1729bSDaniel Dunbar 
144c1b1729bSDaniel Dunbar   // Handle disabling of LLVM optimization, where we want to preserve the
145c1b1729bSDaniel Dunbar   // internal module before any optimization.
146c1b1729bSDaniel Dunbar   if (CodeGenOpts.DisableLLVMOpts) {
147c1b1729bSDaniel Dunbar     OptLevel = 0;
148c1b1729bSDaniel Dunbar     Inlining = CodeGenOpts.NoInlining;
149c1b1729bSDaniel Dunbar   }
150c1b1729bSDaniel Dunbar 
1515c12367bSChris Lattner   PassManagerBuilder PMBuilder;
152ecf0ba5bSChris Lattner   PMBuilder.OptLevel = OptLevel;
153ecf0ba5bSChris Lattner   PMBuilder.SizeLevel = CodeGenOpts.OptimizeSize;
154d98cec5cSChris Lattner 
155ecf0ba5bSChris Lattner   PMBuilder.DisableSimplifyLibCalls = !CodeGenOpts.SimplifyLibCalls;
156ecf0ba5bSChris Lattner   PMBuilder.DisableUnitAtATime = !CodeGenOpts.UnitAtATime;
157ecf0ba5bSChris Lattner   PMBuilder.DisableUnrollLoops = !CodeGenOpts.UnrollLoops;
1585c12367bSChris Lattner 
159fec0ff84SDan Gohman   // In ObjC ARC mode, add the main ARC optimization passes.
160fec0ff84SDan Gohman   if (LangOpts.ObjCAutoRefCount) {
161fec0ff84SDan Gohman     PMBuilder.addExtension(PassManagerBuilder::EP_EarlyAsPossible,
162fec0ff84SDan Gohman                            addObjCARCExpandPass);
1635932ce25SDan Gohman     PMBuilder.addExtension(PassManagerBuilder::EP_ModuleOptimizerEarly,
1645932ce25SDan Gohman                            addObjCARCAPElimPass);
165fec0ff84SDan Gohman     PMBuilder.addExtension(PassManagerBuilder::EP_ScalarOptimizerLate,
166fec0ff84SDan Gohman                            addObjCARCOptPass);
167fec0ff84SDan Gohman   }
168fec0ff84SDan Gohman 
169a425589fSNuno Lopes   if (CodeGenOpts.BoundsChecking > 0) {
170a425589fSNuno Lopes     BoundsChecking = CodeGenOpts.BoundsChecking;
171a425589fSNuno Lopes     PMBuilder.addExtension(PassManagerBuilder::EP_ScalarOptimizerLate,
172a425589fSNuno Lopes                            addBoundsCheckingPass);
173a425589fSNuno Lopes     PMBuilder.addExtension(PassManagerBuilder::EP_EnabledOnOptLevel0,
174a425589fSNuno Lopes                            addBoundsCheckingPass);
175a425589fSNuno Lopes   }
176a425589fSNuno Lopes 
177c3333e87SKostya Serebryany   if (LangOpts.AddressSanitizer) {
1788855ff61SKostya Serebryany     PMBuilder.addExtension(PassManagerBuilder::EP_ScalarOptimizerLate,
1798855ff61SKostya Serebryany                            addAddressSanitizerPass);
180d4768576SKostya Serebryany     PMBuilder.addExtension(PassManagerBuilder::EP_EnabledOnOptLevel0,
181d4768576SKostya Serebryany                            addAddressSanitizerPass);
1828855ff61SKostya Serebryany   }
1838855ff61SKostya Serebryany 
18428a7a119SKostya Serebryany   if (LangOpts.ThreadSanitizer) {
185d18cb502SKostya Serebryany     PMBuilder.addExtension(PassManagerBuilder::EP_OptimizerLast,
18628a7a119SKostya Serebryany                            addThreadSanitizerPass);
18728a7a119SKostya Serebryany     PMBuilder.addExtension(PassManagerBuilder::EP_EnabledOnOptLevel0,
18828a7a119SKostya Serebryany                            addThreadSanitizerPass);
18928a7a119SKostya Serebryany   }
19028a7a119SKostya Serebryany 
1915c12367bSChris Lattner   // Figure out TargetLibraryInfo.
19228b9e8b3SBill Wendling   Triple TargetTriple(TheModule->getTargetTriple());
193ecf0ba5bSChris Lattner   PMBuilder.LibraryInfo = new TargetLibraryInfo(TargetTriple);
194fa222dfbSChris Lattner   if (!CodeGenOpts.SimplifyLibCalls)
195ecf0ba5bSChris Lattner     PMBuilder.LibraryInfo->disableAllFunctions();
196c1b1729bSDaniel Dunbar 
197c1b1729bSDaniel Dunbar   switch (Inlining) {
198c1b1729bSDaniel Dunbar   case CodeGenOptions::NoInlining: break;
199c1b1729bSDaniel Dunbar   case CodeGenOptions::NormalInlining: {
200c1b1729bSDaniel Dunbar     // FIXME: Derive these constants in a principled fashion.
201c1b1729bSDaniel Dunbar     unsigned Threshold = 225;
2029a5f84faSBob Wilson     if (CodeGenOpts.OptimizeSize == 1)      // -Os
203c1b1729bSDaniel Dunbar       Threshold = 75;
2049a5f84faSBob Wilson     else if (CodeGenOpts.OptimizeSize == 2) // -Oz
2059a5f84faSBob Wilson       Threshold = 25;
206c1b1729bSDaniel Dunbar     else if (OptLevel > 2)
207c1b1729bSDaniel Dunbar       Threshold = 275;
208ecf0ba5bSChris Lattner     PMBuilder.Inliner = createFunctionInliningPass(Threshold);
209c1b1729bSDaniel Dunbar     break;
210c1b1729bSDaniel Dunbar   }
211c1b1729bSDaniel Dunbar   case CodeGenOptions::OnlyAlwaysInlining:
2125c12367bSChris Lattner     // Respect always_inline.
213e2c45069SChad Rosier     if (OptLevel == 0)
214e2c45069SChad Rosier       // Do not insert lifetime intrinsics at -O0.
215e2c45069SChad Rosier       PMBuilder.Inliner = createAlwaysInlinerPass(false);
216e2c45069SChad Rosier     else
217ecf0ba5bSChris Lattner       PMBuilder.Inliner = createAlwaysInlinerPass();
218c1b1729bSDaniel Dunbar     break;
219c1b1729bSDaniel Dunbar   }
220c1b1729bSDaniel Dunbar 
221d98cec5cSChris Lattner 
2225c12367bSChris Lattner   // Set up the per-function pass manager.
2235c12367bSChris Lattner   FunctionPassManager *FPM = getPerFunctionPasses();
2245c12367bSChris Lattner   if (CodeGenOpts.VerifyModule)
2255c12367bSChris Lattner     FPM->add(createVerifierPass());
2265c12367bSChris Lattner   PMBuilder.populateFunctionPassManager(*FPM);
2275c12367bSChris Lattner 
2285c12367bSChris Lattner   // Set up the per-module pass manager.
2295c12367bSChris Lattner   PassManager *MPM = getPerModulePasses();
230d98cec5cSChris Lattner 
231207bce31SNick Lewycky   if (CodeGenOpts.EmitGcovArcs || CodeGenOpts.EmitGcovNotes) {
232207bce31SNick Lewycky     MPM->add(createGCOVProfilerPass(CodeGenOpts.EmitGcovNotes,
23328b9e8b3SBill Wendling                                     CodeGenOpts.EmitGcovArcs,
23428b9e8b3SBill Wendling                                     TargetTriple.isMacOSX()));
23528b9e8b3SBill Wendling 
236486e1fe9SAlexey Samsonov     if (CodeGenOpts.DebugInfo == CodeGenOptions::NoDebugInfo)
237207bce31SNick Lewycky       MPM->add(createStripSymbolsPass(true));
238207bce31SNick Lewycky   }
239207bce31SNick Lewycky 
2405c12367bSChris Lattner 
2415c12367bSChris Lattner   PMBuilder.populateModulePassManager(*MPM);
242c1b1729bSDaniel Dunbar }
243c1b1729bSDaniel Dunbar 
244c1b1729bSDaniel Dunbar bool EmitAssemblyHelper::AddEmitPasses(BackendAction Action,
245c1b1729bSDaniel Dunbar                                        formatted_raw_ostream &OS) {
246c1b1729bSDaniel Dunbar   // Create the TargetMachine for generating code.
247c1b1729bSDaniel Dunbar   std::string Error;
248c1b1729bSDaniel Dunbar   std::string Triple = TheModule->getTargetTriple();
249c1b1729bSDaniel Dunbar   const llvm::Target *TheTarget = TargetRegistry::lookupTarget(Triple, Error);
250c1b1729bSDaniel Dunbar   if (!TheTarget) {
251c1b1729bSDaniel Dunbar     Diags.Report(diag::err_fe_unable_to_create_target) << Error;
252c1b1729bSDaniel Dunbar     return false;
253c1b1729bSDaniel Dunbar   }
254c1b1729bSDaniel Dunbar 
255c1b1729bSDaniel Dunbar   // FIXME: Expose these capabilities via actual APIs!!!! Aside from just
256c1b1729bSDaniel Dunbar   // being gross, this is also totally broken if we ever care about
257c1b1729bSDaniel Dunbar   // concurrency.
258bb7ac52eSDaniel Dunbar 
259c1b1729bSDaniel Dunbar   TargetMachine::setAsmVerbosityDefault(CodeGenOpts.AsmVerbose);
260c1b1729bSDaniel Dunbar 
261c1b1729bSDaniel Dunbar   TargetMachine::setFunctionSections(CodeGenOpts.FunctionSections);
262c1b1729bSDaniel Dunbar   TargetMachine::setDataSections    (CodeGenOpts.DataSections);
263c1b1729bSDaniel Dunbar 
264c1b1729bSDaniel Dunbar   // FIXME: Parse this earlier.
2650d3d7770SBenjamin Kramer   llvm::CodeModel::Model CM;
266c1b1729bSDaniel Dunbar   if (CodeGenOpts.CodeModel == "small") {
2670d3d7770SBenjamin Kramer     CM = llvm::CodeModel::Small;
268c1b1729bSDaniel Dunbar   } else if (CodeGenOpts.CodeModel == "kernel") {
2690d3d7770SBenjamin Kramer     CM = llvm::CodeModel::Kernel;
270c1b1729bSDaniel Dunbar   } else if (CodeGenOpts.CodeModel == "medium") {
2710d3d7770SBenjamin Kramer     CM = llvm::CodeModel::Medium;
272c1b1729bSDaniel Dunbar   } else if (CodeGenOpts.CodeModel == "large") {
2730d3d7770SBenjamin Kramer     CM = llvm::CodeModel::Large;
274c1b1729bSDaniel Dunbar   } else {
275c1b1729bSDaniel Dunbar     assert(CodeGenOpts.CodeModel.empty() && "Invalid code model!");
2760d3d7770SBenjamin Kramer     CM = llvm::CodeModel::Default;
277c1b1729bSDaniel Dunbar   }
278c1b1729bSDaniel Dunbar 
27909d20eefSDavid Blaikie   SmallVector<const char *, 16> BackendArgs;
280c1b1729bSDaniel Dunbar   BackendArgs.push_back("clang"); // Fake program name.
281c1b1729bSDaniel Dunbar   if (!CodeGenOpts.DebugPass.empty()) {
282c1b1729bSDaniel Dunbar     BackendArgs.push_back("-debug-pass");
283c1b1729bSDaniel Dunbar     BackendArgs.push_back(CodeGenOpts.DebugPass.c_str());
284c1b1729bSDaniel Dunbar   }
285c1b1729bSDaniel Dunbar   if (!CodeGenOpts.LimitFloatPrecision.empty()) {
286c1b1729bSDaniel Dunbar     BackendArgs.push_back("-limit-float-precision");
287c1b1729bSDaniel Dunbar     BackendArgs.push_back(CodeGenOpts.LimitFloatPrecision.c_str());
288c1b1729bSDaniel Dunbar   }
289c1b1729bSDaniel Dunbar   if (llvm::TimePassesIsEnabled)
290c1b1729bSDaniel Dunbar     BackendArgs.push_back("-time-passes");
29112100e2cSDaniel Dunbar   for (unsigned i = 0, e = CodeGenOpts.BackendOptions.size(); i != e; ++i)
29212100e2cSDaniel Dunbar     BackendArgs.push_back(CodeGenOpts.BackendOptions[i].c_str());
293ba3df1d3SChad Rosier   if (CodeGenOpts.NoGlobalMerge)
294ba3df1d3SChad Rosier     BackendArgs.push_back("-global-merge=false");
295c1b1729bSDaniel Dunbar   BackendArgs.push_back(0);
296c1b1729bSDaniel Dunbar   llvm::cl::ParseCommandLineOptions(BackendArgs.size() - 1,
29709d20eefSDavid Blaikie                                     BackendArgs.data());
298c1b1729bSDaniel Dunbar 
299c1b1729bSDaniel Dunbar   std::string FeaturesStr;
300adc79598SEvan Cheng   if (TargetOpts.Features.size()) {
301c1b1729bSDaniel Dunbar     SubtargetFeatures Features;
302c1b1729bSDaniel Dunbar     for (std::vector<std::string>::const_iterator
303c1b1729bSDaniel Dunbar            it = TargetOpts.Features.begin(),
304c1b1729bSDaniel Dunbar            ie = TargetOpts.Features.end(); it != ie; ++it)
305c1b1729bSDaniel Dunbar       Features.AddFeature(*it);
306c1b1729bSDaniel Dunbar     FeaturesStr = Features.getString();
307c1b1729bSDaniel Dunbar   }
3083f37dd06SEvan Cheng 
3093f37dd06SEvan Cheng   llvm::Reloc::Model RM = llvm::Reloc::Default;
3103f37dd06SEvan Cheng   if (CodeGenOpts.RelocationModel == "static") {
3113f37dd06SEvan Cheng     RM = llvm::Reloc::Static;
3123f37dd06SEvan Cheng   } else if (CodeGenOpts.RelocationModel == "pic") {
3133f37dd06SEvan Cheng     RM = llvm::Reloc::PIC_;
3143f37dd06SEvan Cheng   } else {
3153f37dd06SEvan Cheng     assert(CodeGenOpts.RelocationModel == "dynamic-no-pic" &&
3163f37dd06SEvan Cheng            "Invalid PIC model!");
3173f37dd06SEvan Cheng     RM = llvm::Reloc::DynamicNoPIC;
3183f37dd06SEvan Cheng   }
3193f37dd06SEvan Cheng 
320dd286bceSEvan Cheng   CodeGenOpt::Level OptLevel = CodeGenOpt::Default;
321dd286bceSEvan Cheng   switch (CodeGenOpts.OptimizationLevel) {
322dd286bceSEvan Cheng   default: break;
323dd286bceSEvan Cheng   case 0: OptLevel = CodeGenOpt::None; break;
324dd286bceSEvan Cheng   case 3: OptLevel = CodeGenOpt::Aggressive; break;
325dd286bceSEvan Cheng   }
326dd286bceSEvan Cheng 
327432add5bSNick Lewycky   llvm::TargetOptions Options;
328432add5bSNick Lewycky 
329432add5bSNick Lewycky   // Set frame pointer elimination mode.
330432add5bSNick Lewycky   if (!CodeGenOpts.DisableFPElim) {
331432add5bSNick Lewycky     Options.NoFramePointerElim = false;
332432add5bSNick Lewycky     Options.NoFramePointerElimNonLeaf = false;
333432add5bSNick Lewycky   } else if (CodeGenOpts.OmitLeafFramePointer) {
334432add5bSNick Lewycky     Options.NoFramePointerElim = false;
335432add5bSNick Lewycky     Options.NoFramePointerElimNonLeaf = true;
336432add5bSNick Lewycky   } else {
337432add5bSNick Lewycky     Options.NoFramePointerElim = true;
338432add5bSNick Lewycky     Options.NoFramePointerElimNonLeaf = true;
339432add5bSNick Lewycky   }
340432add5bSNick Lewycky 
341*66aa045fSRafael Espindola   if (CodeGenOpts.UseInitArray)
342*66aa045fSRafael Espindola     Options.UseInitArray = true;
343*66aa045fSRafael Espindola 
344432add5bSNick Lewycky   // Set float ABI type.
345432add5bSNick Lewycky   if (CodeGenOpts.FloatABI == "soft" || CodeGenOpts.FloatABI == "softfp")
346432add5bSNick Lewycky     Options.FloatABIType = llvm::FloatABI::Soft;
347432add5bSNick Lewycky   else if (CodeGenOpts.FloatABI == "hard")
348432add5bSNick Lewycky     Options.FloatABIType = llvm::FloatABI::Hard;
349432add5bSNick Lewycky   else {
350432add5bSNick Lewycky     assert(CodeGenOpts.FloatABI.empty() && "Invalid float abi!");
351432add5bSNick Lewycky     Options.FloatABIType = llvm::FloatABI::Default;
352432add5bSNick Lewycky   }
353432add5bSNick Lewycky 
354432add5bSNick Lewycky   Options.LessPreciseFPMADOption = CodeGenOpts.LessPreciseFPMAD;
355432add5bSNick Lewycky   Options.NoInfsFPMath = CodeGenOpts.NoInfsFPMath;
356432add5bSNick Lewycky   Options.NoNaNsFPMath = CodeGenOpts.NoNaNsFPMath;
357432add5bSNick Lewycky   Options.NoZerosInBSS = CodeGenOpts.NoZeroInitializedInBSS;
358432add5bSNick Lewycky   Options.UnsafeFPMath = CodeGenOpts.UnsafeFPMath;
359432add5bSNick Lewycky   Options.UseSoftFloat = CodeGenOpts.SoftFloat;
360f4d3f7a0SNick Lewycky   Options.StackAlignmentOverride = CodeGenOpts.StackAlignment;
361f4d3f7a0SNick Lewycky   Options.RealignStack = CodeGenOpts.StackRealignment;
3621c8c436aSNick Lewycky   Options.DisableTailCalls = CodeGenOpts.DisableTailCalls;
36314adb360SBob Wilson   Options.TrapFuncName = CodeGenOpts.TrapFuncName;
364097d019cSChandler Carruth   Options.PositionIndependentExecutable = LangOpts.PIELevel != 0;
365432add5bSNick Lewycky 
366adc79598SEvan Cheng   TargetMachine *TM = TheTarget->createTargetMachine(Triple, TargetOpts.CPU,
367432add5bSNick Lewycky                                                      FeaturesStr, Options,
368432add5bSNick Lewycky                                                      RM, CM, OptLevel);
369c1b1729bSDaniel Dunbar 
370c1b1729bSDaniel Dunbar   if (CodeGenOpts.RelaxAll)
371c1b1729bSDaniel Dunbar     TM->setMCRelaxAll(true);
37267919b2aSDaniel Dunbar   if (CodeGenOpts.SaveTempLabels)
37367919b2aSDaniel Dunbar     TM->setMCSaveTempLabels(true);
374e264187cSRafael Espindola   if (CodeGenOpts.NoDwarf2CFIAsm)
375e264187cSRafael Espindola     TM->setMCUseCFI(false);
376dd424a5bSNick Lewycky   if (!CodeGenOpts.NoDwarfDirectoryAsm)
377dd424a5bSNick Lewycky     TM->setMCUseDwarfDirectory(true);
378ca6b90d8SNick Lewycky   if (CodeGenOpts.NoExecStack)
379ca6b90d8SNick Lewycky     TM->setMCNoExecStack(true);
380c1b1729bSDaniel Dunbar 
381c1b1729bSDaniel Dunbar   // Create the code generator passes.
382195fa003SDaniel Dunbar   PassManager *PM = getCodeGenPasses();
383c1b1729bSDaniel Dunbar 
384b1cfc686SChad Rosier   // Add LibraryInfo.
385b1cfc686SChad Rosier   TargetLibraryInfo *TLI = new TargetLibraryInfo();
386b1cfc686SChad Rosier   if (!CodeGenOpts.SimplifyLibCalls)
387b1cfc686SChad Rosier     TLI->disableAllFunctions();
388b1cfc686SChad Rosier   PM->add(TLI);
389b1cfc686SChad Rosier 
390c1b1729bSDaniel Dunbar   // Normal mode, emit a .s or .o file by running the code generator. Note,
391c1b1729bSDaniel Dunbar   // this also adds codegenerator level optimization passes.
392c1b1729bSDaniel Dunbar   TargetMachine::CodeGenFileType CGFT = TargetMachine::CGFT_AssemblyFile;
393c1b1729bSDaniel Dunbar   if (Action == Backend_EmitObj)
394c1b1729bSDaniel Dunbar     CGFT = TargetMachine::CGFT_ObjectFile;
395c1b1729bSDaniel Dunbar   else if (Action == Backend_EmitMCNull)
396c1b1729bSDaniel Dunbar     CGFT = TargetMachine::CGFT_Null;
397c1b1729bSDaniel Dunbar   else
398c1b1729bSDaniel Dunbar     assert(Action == Backend_EmitAssembly && "Invalid action!");
399fec0ff84SDan Gohman 
400fec0ff84SDan Gohman   // Add ObjC ARC final-cleanup optimizations. This is done as part of the
401fec0ff84SDan Gohman   // "codegen" passes so that it isn't run multiple times when there is
402fec0ff84SDan Gohman   // inlining happening.
4031170b088SDan Gohman   if (LangOpts.ObjCAutoRefCount &&
4041170b088SDan Gohman       CodeGenOpts.OptimizationLevel > 0)
405fec0ff84SDan Gohman     PM->add(createObjCARCContractPass());
406fec0ff84SDan Gohman 
407dd286bceSEvan Cheng   if (TM->addPassesToEmitFile(*PM, OS, CGFT,
408c1b1729bSDaniel Dunbar                               /*DisableVerify=*/!CodeGenOpts.VerifyModule)) {
409c1b1729bSDaniel Dunbar     Diags.Report(diag::err_fe_unable_to_interface_with_target);
410c1b1729bSDaniel Dunbar     return false;
411c1b1729bSDaniel Dunbar   }
412c1b1729bSDaniel Dunbar 
413c1b1729bSDaniel Dunbar   return true;
414c1b1729bSDaniel Dunbar }
415c1b1729bSDaniel Dunbar 
416c1b1729bSDaniel Dunbar void EmitAssemblyHelper::EmitAssembly(BackendAction Action, raw_ostream *OS) {
417c1b1729bSDaniel Dunbar   TimeRegion Region(llvm::TimePassesIsEnabled ? &CodeGenerationTime : 0);
418c1b1729bSDaniel Dunbar   llvm::formatted_raw_ostream FormattedOS;
419c1b1729bSDaniel Dunbar 
420c1b1729bSDaniel Dunbar   CreatePasses();
421c1b1729bSDaniel Dunbar   switch (Action) {
422c1b1729bSDaniel Dunbar   case Backend_EmitNothing:
423c1b1729bSDaniel Dunbar     break;
424c1b1729bSDaniel Dunbar 
425c1b1729bSDaniel Dunbar   case Backend_EmitBC:
426c1b1729bSDaniel Dunbar     getPerModulePasses()->add(createBitcodeWriterPass(*OS));
427c1b1729bSDaniel Dunbar     break;
428c1b1729bSDaniel Dunbar 
429c1b1729bSDaniel Dunbar   case Backend_EmitLL:
430c1b1729bSDaniel Dunbar     FormattedOS.setStream(*OS, formatted_raw_ostream::PRESERVE_STREAM);
431c1b1729bSDaniel Dunbar     getPerModulePasses()->add(createPrintModulePass(&FormattedOS));
432c1b1729bSDaniel Dunbar     break;
433c1b1729bSDaniel Dunbar 
434c1b1729bSDaniel Dunbar   default:
435c1b1729bSDaniel Dunbar     FormattedOS.setStream(*OS, formatted_raw_ostream::PRESERVE_STREAM);
436c1b1729bSDaniel Dunbar     if (!AddEmitPasses(Action, FormattedOS))
437c1b1729bSDaniel Dunbar       return;
438c1b1729bSDaniel Dunbar   }
439c1b1729bSDaniel Dunbar 
44015e36e8eSAndrew Trick   // Before executing passes, print the final values of the LLVM options.
44115e36e8eSAndrew Trick   cl::PrintOptionValues();
44215e36e8eSAndrew Trick 
443c1b1729bSDaniel Dunbar   // Run passes. For now we do all passes at once, but eventually we
444c1b1729bSDaniel Dunbar   // would like to have the option of streaming code generation.
445c1b1729bSDaniel Dunbar 
446c1b1729bSDaniel Dunbar   if (PerFunctionPasses) {
447c1b1729bSDaniel Dunbar     PrettyStackTraceString CrashInfo("Per-function optimization");
448c1b1729bSDaniel Dunbar 
449c1b1729bSDaniel Dunbar     PerFunctionPasses->doInitialization();
450c1b1729bSDaniel Dunbar     for (Module::iterator I = TheModule->begin(),
451c1b1729bSDaniel Dunbar            E = TheModule->end(); I != E; ++I)
452c1b1729bSDaniel Dunbar       if (!I->isDeclaration())
453c1b1729bSDaniel Dunbar         PerFunctionPasses->run(*I);
454c1b1729bSDaniel Dunbar     PerFunctionPasses->doFinalization();
455c1b1729bSDaniel Dunbar   }
456c1b1729bSDaniel Dunbar 
457c1b1729bSDaniel Dunbar   if (PerModulePasses) {
458c1b1729bSDaniel Dunbar     PrettyStackTraceString CrashInfo("Per-module optimization passes");
459c1b1729bSDaniel Dunbar     PerModulePasses->run(*TheModule);
460c1b1729bSDaniel Dunbar   }
461c1b1729bSDaniel Dunbar 
462c1b1729bSDaniel Dunbar   if (CodeGenPasses) {
463c1b1729bSDaniel Dunbar     PrettyStackTraceString CrashInfo("Code generation");
464195fa003SDaniel Dunbar     CodeGenPasses->run(*TheModule);
465c1b1729bSDaniel Dunbar   }
466c1b1729bSDaniel Dunbar }
467c1b1729bSDaniel Dunbar 
4689c902b55SDavid Blaikie void clang::EmitBackendOutput(DiagnosticsEngine &Diags,
4699c902b55SDavid Blaikie                               const CodeGenOptions &CGOpts,
470432add5bSNick Lewycky                               const clang::TargetOptions &TOpts,
471fec0ff84SDan Gohman                               const LangOptions &LOpts,
472fec0ff84SDan Gohman                               Module *M,
473c1b1729bSDaniel Dunbar                               BackendAction Action, raw_ostream *OS) {
474fec0ff84SDan Gohman   EmitAssemblyHelper AsmHelper(Diags, CGOpts, TOpts, LOpts, M);
475c1b1729bSDaniel Dunbar 
476c1b1729bSDaniel Dunbar   AsmHelper.EmitAssembly(Action, OS);
477c1b1729bSDaniel Dunbar }
478