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