1c1b1729bSDaniel Dunbar //===--- BackendUtil.cpp - LLVM Backend Utilities -------------------------===//
2c1b1729bSDaniel Dunbar //
32946cd70SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
42946cd70SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
52946cd70SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6c1b1729bSDaniel Dunbar //
7c1b1729bSDaniel Dunbar //===----------------------------------------------------------------------===//
8c1b1729bSDaniel Dunbar
9c1b1729bSDaniel Dunbar #include "clang/CodeGen/BackendUtil.h"
106368818fSRichard Trieu #include "clang/Basic/CodeGenOptions.h"
11c1b1729bSDaniel Dunbar #include "clang/Basic/Diagnostic.h"
12fec0ff84SDan Gohman #include "clang/Basic/LangOptions.h"
133a02247dSChandler Carruth #include "clang/Basic/TargetOptions.h"
14c1b1729bSDaniel Dunbar #include "clang/Frontend/FrontendDiagnostic.h"
15ce2c726eSKostya Serebryany #include "clang/Frontend/Utils.h"
16888e289eSSaleem Abdulrasool #include "clang/Lex/HeaderSearchOptions.h"
171a328f50SHal Finkel #include "llvm/ADT/SmallSet.h"
18583a1f72SEric Christopher #include "llvm/ADT/StringExtras.h"
1962849c67SSaleem Abdulrasool #include "llvm/ADT/StringSwitch.h"
2027fb5227SSteven Wu #include "llvm/ADT/Triple.h"
219ed8e0caSdfukalov #include "llvm/Analysis/AliasAnalysis.h"
222a3723efSEvgenii Stepanov #include "llvm/Analysis/StackSafetyAnalysis.h"
23418bd1abSChandler Carruth #include "llvm/Analysis/TargetLibraryInfo.h"
24aab5ec07SChandler Carruth #include "llvm/Analysis/TargetTransformInfo.h"
25ffc4e242STeresa Johnson #include "llvm/Bitcode/BitcodeReader.h"
2650f9e893SChandler Carruth #include "llvm/Bitcode/BitcodeWriter.h"
2750f9e893SChandler Carruth #include "llvm/Bitcode/BitcodeWriterPass.h"
28c1b1729bSDaniel Dunbar #include "llvm/CodeGen/RegAllocRegistry.h"
29c1b1729bSDaniel Dunbar #include "llvm/CodeGen/SchedulerRegistry.h"
307a4f7f56SDavid Blaikie #include "llvm/CodeGen/TargetSubtargetInfo.h"
31ffd5551bSChandler Carruth #include "llvm/IR/DataLayout.h"
320a50c496SChandler Carruth #include "llvm/IR/IRPrintingPasses.h"
339828e69aSChandler Carruth #include "llvm/IR/LegacyPassManager.h"
34ffd5551bSChandler Carruth #include "llvm/IR/Module.h"
3550f9e893SChandler Carruth #include "llvm/IR/ModuleSummaryIndex.h"
361285e8bcSArthur Eubanks #include "llvm/IR/PassManager.h"
37ca88474aSChandler Carruth #include "llvm/IR/Verifier.h"
389e3f4746STeresa Johnson #include "llvm/LTO/LTOBackend.h"
39888e289eSSaleem Abdulrasool #include "llvm/MC/MCAsmInfo.h"
40eeb486ddSEvan Cheng #include "llvm/MC/SubtargetFeature.h"
4189b57061SReid Kleckner #include "llvm/MC/TargetRegistry.h"
42984a0dc3SJoseph Huber #include "llvm/Object/OffloadBinary.h"
4350f9e893SChandler Carruth #include "llvm/Passes/PassBuilder.h"
44e3f105c6SPhilip Pfaffe #include "llvm/Passes/PassPlugin.h"
45d4c50f73STaewook Oh #include "llvm/Passes/StandardInstrumentations.h"
469941da41SDavid Blaikie #include "llvm/Support/BuryPointer.h"
47c1b1729bSDaniel Dunbar #include "llvm/Support/CommandLine.h"
489e3f4746STeresa Johnson #include "llvm/Support/MemoryBuffer.h"
49c1b1729bSDaniel Dunbar #include "llvm/Support/PrettyStackTrace.h"
50d880de2dSAnton Afanasyev #include "llvm/Support/TimeProfiler.h"
51c1b1729bSDaniel Dunbar #include "llvm/Support/Timer.h"
520b978335SSimon Pilgrim #include "llvm/Support/ToolOutputFile.h"
53c1b1729bSDaniel Dunbar #include "llvm/Support/raw_ostream.h"
54c1b1729bSDaniel Dunbar #include "llvm/Target/TargetMachine.h"
55c1b1729bSDaniel Dunbar #include "llvm/Target/TargetOptions.h"
56048239e4SBrian Gesiak #include "llvm/Transforms/Coroutines/CoroCleanup.h"
57048239e4SBrian Gesiak #include "llvm/Transforms/Coroutines/CoroEarly.h"
58048239e4SBrian Gesiak #include "llvm/Transforms/Coroutines/CoroElide.h"
59048239e4SBrian Gesiak #include "llvm/Transforms/Coroutines/CoroSplit.h"
6056a7dab0SRafael Espindola #include "llvm/Transforms/IPO.h"
61b72c19f1SChandler Carruth #include "llvm/Transforms/IPO/AlwaysInliner.h"
622f63d549STeresa Johnson #include "llvm/Transforms/IPO/LowerTypeTests.h"
6350fedec1STim Shen #include "llvm/Transforms/IPO/ThinLTOBitcodeWriter.h"
64d2a57220SDavid Blaikie #include "llvm/Transforms/InstCombine/InstCombine.h"
653a02247dSChandler Carruth #include "llvm/Transforms/Instrumentation.h"
66436fb2bdSLeonard Chan #include "llvm/Transforms/Instrumentation/AddressSanitizer.h"
67e0b469ffSKevin Athey #include "llvm/Transforms/Instrumentation/AddressSanitizerOptions.h"
68afce4494SChandler Carruth #include "llvm/Transforms/Instrumentation/BoundsChecking.h"
696e098189SArthur Eubanks #include "llvm/Transforms/Instrumentation/DataFlowSanitizer.h"
704e1ae83bSDavid Blaikie #include "llvm/Transforms/Instrumentation/GCOVProfiler.h"
710cdd3b1dSLeonard Chan #include "llvm/Transforms/Instrumentation/HWAddressSanitizer.h"
724059e143SRong Xu #include "llvm/Transforms/Instrumentation/InstrProfiling.h"
73226d80ebSTeresa Johnson #include "llvm/Transforms/Instrumentation/MemProfiler.h"
74685c76d7SPhilip Pfaffe #include "llvm/Transforms/Instrumentation/MemorySanitizer.h"
75007f674cSLeonard Chan #include "llvm/Transforms/Instrumentation/SanitizerCoverage.h"
76685c76d7SPhilip Pfaffe #include "llvm/Transforms/Instrumentation/ThreadSanitizer.h"
7790cae773SMichael Gottesman #include "llvm/Transforms/ObjCARC.h"
7856a7dab0SRafael Espindola #include "llvm/Transforms/Scalar.h"
79686b65f8SVitaly Buka #include "llvm/Transforms/Scalar/EarlyCSE.h"
804ddaadcaSChandler Carruth #include "llvm/Transforms/Scalar/GVN.h"
815567c62aSSjoerd Meijer #include "llvm/Transforms/Scalar/LowerMatrixIntrinsics.h"
82c133b1e3SDavid Blaikie #include "llvm/Transforms/Utils.h"
836ed7913cSTeresa Johnson #include "llvm/Transforms/Utils/CanonicalizeAliases.h"
848420a533SDjordje Todorovic #include "llvm/Transforms/Utils/Debugify.h"
85b206513eSLeonard Chan #include "llvm/Transforms/Utils/EntryExitInstrumenter.h"
8685dfe19bSFangrui Song #include "llvm/Transforms/Utils/ModuleUtils.h"
8766470691STim Shen #include "llvm/Transforms/Utils/NameAnonGlobals.h"
8876a4b95aSSaleem Abdulrasool #include "llvm/Transforms/Utils/SymbolRewriter.h"
89dfca6f97SAhmed Charles #include <memory>
90c1b1729bSDaniel Dunbar using namespace clang;
91c1b1729bSDaniel Dunbar using namespace llvm;
92c1b1729bSDaniel Dunbar
9324ab9b53Sserge_sans_paille #define HANDLE_EXTENSION(Ext) \
9424ab9b53Sserge_sans_paille llvm::PassPluginLibraryInfo get##Ext##PluginInfo();
9524ab9b53Sserge_sans_paille #include "llvm/Support/Extension.def"
9624ab9b53Sserge_sans_paille
9758d9c1aeSEllis Hoag namespace llvm {
9858d9c1aeSEllis Hoag extern cl::opt<bool> DebugInfoCorrelate;
9958d9c1aeSEllis Hoag }
10058d9c1aeSEllis Hoag
101c1b1729bSDaniel Dunbar namespace {
102c1b1729bSDaniel Dunbar
103945de43dSDavide Italiano // Default filename used for profile generation.
getDefaultProfileGenName()10458d9c1aeSEllis Hoag std::string getDefaultProfileGenName() {
105ac719d7cSEllis Hoag return DebugInfoCorrelate ? "default_%p.proflite" : "default_%m.profraw";
10658d9c1aeSEllis Hoag }
107945de43dSDavide Italiano
108c1b1729bSDaniel Dunbar class EmitAssemblyHelper {
1099c902b55SDavid Blaikie DiagnosticsEngine &Diags;
110888e289eSSaleem Abdulrasool const HeaderSearchOptions &HSOpts;
111c1b1729bSDaniel Dunbar const CodeGenOptions &CodeGenOpts;
112432add5bSNick Lewycky const clang::TargetOptions &TargetOpts;
113fec0ff84SDan Gohman const LangOptions &LangOpts;
114c1b1729bSDaniel Dunbar Module *TheModule;
115c1b1729bSDaniel Dunbar
116c1b1729bSDaniel Dunbar Timer CodeGenerationTime;
117c1b1729bSDaniel Dunbar
11803f8907fSPeter Collingbourne std::unique_ptr<raw_pwrite_stream> OS;
119c1b1729bSDaniel Dunbar
12087b28f50SPavel Samolysov Triple TargetTriple;
12187b28f50SPavel Samolysov
getTargetIRAnalysis() const122d294bdb5SChandler Carruth TargetIRAnalysis getTargetIRAnalysis() const {
123aab5ec07SChandler Carruth if (TM)
124d294bdb5SChandler Carruth return TM->getTargetIRAnalysis();
125aab5ec07SChandler Carruth
126d294bdb5SChandler Carruth return TargetIRAnalysis();
127aab5ec07SChandler Carruth }
128aab5ec07SChandler Carruth
1292f16bc10SRafael Espindola /// Generates the TargetMachine.
13003f8907fSPeter Collingbourne /// Leaves TM unchanged if it is unable to create the target machine.
131dc06b2d3SNadav Rotem /// Some of our clang tests specify triples which are not built
132dc06b2d3SNadav Rotem /// into clang. This is okay because these tests check the generated
133dc06b2d3SNadav Rotem /// IR, and they require DataLayout which depends on the triple.
134dc06b2d3SNadav Rotem /// In this case, we allow this method to fail and not report an error.
135dc06b2d3SNadav Rotem /// When MustCreateTM is used, we print an error if we are unable to load
136dc06b2d3SNadav Rotem /// the requested target.
13703f8907fSPeter Collingbourne void CreateTargetMachine(bool MustCreateTM);
138c1b1729bSDaniel Dunbar
1392f16bc10SRafael Espindola /// Add passes necessary to emit assembly or LLVM IR.
140c1b1729bSDaniel Dunbar ///
141c1b1729bSDaniel Dunbar /// \return True on success.
14203f8907fSPeter Collingbourne bool AddEmitPasses(legacy::PassManager &CodeGenPasses, BackendAction Action,
14391d02844SPeter Collingbourne raw_pwrite_stream &OS, raw_pwrite_stream *DwoOS);
14491d02844SPeter Collingbourne
openOutputFile(StringRef Path)14591d02844SPeter Collingbourne std::unique_ptr<llvm::ToolOutputFile> openOutputFile(StringRef Path) {
14691d02844SPeter Collingbourne std::error_code EC;
1472b3d49b6SJonas Devlieghere auto F = std::make_unique<llvm::ToolOutputFile>(Path, EC,
148d9b948b6SFangrui Song llvm::sys::fs::OF_None);
14991d02844SPeter Collingbourne if (EC) {
15091d02844SPeter Collingbourne Diags.Report(diag::err_fe_unable_to_open_output) << Path << EC.message();
15191d02844SPeter Collingbourne F.reset();
15291d02844SPeter Collingbourne }
15391d02844SPeter Collingbourne return F;
15491d02844SPeter Collingbourne }
155c1b1729bSDaniel Dunbar
1562cadef65SArthur Eubanks void
1572cadef65SArthur Eubanks RunOptimizationPipeline(BackendAction Action,
1582cadef65SArthur Eubanks std::unique_ptr<raw_pwrite_stream> &OS,
1592cadef65SArthur Eubanks std::unique_ptr<llvm::ToolOutputFile> &ThinLinkOS);
1602cadef65SArthur Eubanks void RunCodegenPipeline(BackendAction Action,
1612cadef65SArthur Eubanks std::unique_ptr<raw_pwrite_stream> &OS,
1622cadef65SArthur Eubanks std::unique_ptr<llvm::ToolOutputFile> &DwoOS);
1632cadef65SArthur Eubanks
164b4ac8490SPavel Samolysov /// Check whether we should emit a module summary for regular LTO.
165b4ac8490SPavel Samolysov /// The module summary should be emitted by default for regular LTO
166b4ac8490SPavel Samolysov /// except for ld64 targets.
167b4ac8490SPavel Samolysov ///
168b4ac8490SPavel Samolysov /// \return True if the module summary should be emitted.
shouldEmitRegularLTOSummary() const169b4ac8490SPavel Samolysov bool shouldEmitRegularLTOSummary() const {
170b4ac8490SPavel Samolysov return CodeGenOpts.PrepareForLTO && !CodeGenOpts.DisableLLVMPasses &&
171b4ac8490SPavel Samolysov TargetTriple.getVendor() != llvm::Triple::Apple;
172b4ac8490SPavel Samolysov }
173b4ac8490SPavel Samolysov
174c1b1729bSDaniel Dunbar public:
EmitAssemblyHelper(DiagnosticsEngine & _Diags,const HeaderSearchOptions & HeaderSearchOpts,const CodeGenOptions & CGOpts,const clang::TargetOptions & TOpts,const LangOptions & LOpts,Module * M)175888e289eSSaleem Abdulrasool EmitAssemblyHelper(DiagnosticsEngine &_Diags,
176888e289eSSaleem Abdulrasool const HeaderSearchOptions &HeaderSearchOpts,
177888e289eSSaleem Abdulrasool const CodeGenOptions &CGOpts,
178432add5bSNick Lewycky const clang::TargetOptions &TOpts,
1794b4f4b90STeresa Johnson const LangOptions &LOpts, Module *M)
180888e289eSSaleem Abdulrasool : Diags(_Diags), HSOpts(HeaderSearchOpts), CodeGenOpts(CGOpts),
181888e289eSSaleem Abdulrasool TargetOpts(TOpts), LangOpts(LOpts), TheModule(M),
18287b28f50SPavel Samolysov CodeGenerationTime("codegen", "Code Generation Time"),
18387b28f50SPavel Samolysov TargetTriple(TheModule->getTargetTriple()) {}
184c1b1729bSDaniel Dunbar
~EmitAssemblyHelper()185c1b1729bSDaniel Dunbar ~EmitAssemblyHelper() {
186f4e22381SAlp Toker if (CodeGenOpts.DisableFree)
187a97eaa1bSDavid Blaikie BuryPointer(std::move(TM));
188c1b1729bSDaniel Dunbar }
189c1b1729bSDaniel Dunbar
190b8984329SAhmed Charles std::unique_ptr<TargetMachine> TM;
191f4e22381SAlp Toker
1922978d026SNikita Popov // Emit output using the new pass manager for the optimization pipeline.
193b6a8c695SArthur Eubanks void EmitAssembly(BackendAction Action,
19450f9e893SChandler Carruth std::unique_ptr<raw_pwrite_stream> OS);
195c1b1729bSDaniel Dunbar };
196a425589fSNuno Lopes }
197a425589fSNuno Lopes
198007f674cSLeonard Chan static SanitizerCoverageOptions
getSancovOptsFromCGOpts(const CodeGenOptions & CGOpts)199007f674cSLeonard Chan getSancovOptsFromCGOpts(const CodeGenOptions &CGOpts) {
2003f3b3abeSAlexey Samsonov SanitizerCoverageOptions Opts;
2013f3b3abeSAlexey Samsonov Opts.CoverageType =
2023f3b3abeSAlexey Samsonov static_cast<SanitizerCoverageOptions::Type>(CGOpts.SanitizeCoverageType);
2033f3b3abeSAlexey Samsonov Opts.IndirectCalls = CGOpts.SanitizeCoverageIndirectCalls;
2043f3b3abeSAlexey Samsonov Opts.TraceBB = CGOpts.SanitizeCoverageTraceBB;
2053f3b3abeSAlexey Samsonov Opts.TraceCmp = CGOpts.SanitizeCoverageTraceCmp;
2063b419717SKostya Serebryany Opts.TraceDiv = CGOpts.SanitizeCoverageTraceDiv;
2073b419717SKostya Serebryany Opts.TraceGep = CGOpts.SanitizeCoverageTraceGep;
2083f3b3abeSAlexey Samsonov Opts.Use8bitCounters = CGOpts.SanitizeCoverage8bitCounters;
209d4590c73SKostya Serebryany Opts.TracePC = CGOpts.SanitizeCoverageTracePC;
21060cdd611SKostya Serebryany Opts.TracePCGuard = CGOpts.SanitizeCoverageTracePCGuard;
21150fb618bSKostya Serebryany Opts.NoPrune = CGOpts.SanitizeCoverageNoPrune;
2122c2fb889SKostya Serebryany Opts.Inline8bitCounters = CGOpts.SanitizeCoverageInline8bitCounters;
213ced398fdSPratyai Mazumder Opts.InlineBoolFlag = CGOpts.SanitizeCoverageInlineBoolFlag;
21461457767SKostya Serebryany Opts.PCTable = CGOpts.SanitizeCoveragePCTable;
2155c7fc769SMatt Morehouse Opts.StackDepth = CGOpts.SanitizeCoverageStackDepth;
216b7f3a4f4SKostya Serebryany Opts.TraceLoads = CGOpts.SanitizeCoverageTraceLoads;
217b7f3a4f4SKostya Serebryany Opts.TraceStores = CGOpts.SanitizeCoverageTraceStores;
218007f674cSLeonard Chan return Opts;
219007f674cSLeonard Chan }
220007f674cSLeonard Chan
221df217a2fSEvgeniy Stepanov // Check if ASan should use GC-friendly instrumentation for globals.
222df217a2fSEvgeniy Stepanov // First of all, there is no point if -fdata-sections is off (expect for MachO,
223df217a2fSEvgeniy Stepanov // where this is not a factor). Also, on ELF this feature requires an assembler
224df217a2fSEvgeniy Stepanov // extension that only works with -integrated-as at the moment.
asanUseGlobalsGC(const Triple & T,const CodeGenOptions & CGOpts)225df217a2fSEvgeniy Stepanov static bool asanUseGlobalsGC(const Triple &T, const CodeGenOptions &CGOpts) {
226d991cdd5SEvgeniy Stepanov if (!CGOpts.SanitizeAddressGlobalsDeadStripping)
227d991cdd5SEvgeniy Stepanov return false;
228df217a2fSEvgeniy Stepanov switch (T.getObjectFormat()) {
229df217a2fSEvgeniy Stepanov case Triple::MachO:
230df217a2fSEvgeniy Stepanov case Triple::COFF:
231c7b90947SEvgeniy Stepanov return true;
232df217a2fSEvgeniy Stepanov case Triple::ELF:
2330477cac3SFangrui Song return !CGOpts.DisableIntegratedAS;
234b3aece05SKai Nacke case Triple::GOFF:
235b3aece05SKai Nacke llvm::report_fatal_error("ASan not implemented for GOFF");
2362711e16bSHubert Tong case Triple::XCOFF:
2372711e16bSHubert Tong llvm::report_fatal_error("ASan not implemented for XCOFF.");
2382711e16bSHubert Tong case Triple::Wasm:
239dfde3549SChris Bieneman case Triple::DXContainer:
2408b0e7f22SFangrui Song case Triple::SPIRV:
2412711e16bSHubert Tong case Triple::UnknownObjectFormat:
2422711e16bSHubert Tong break;
243df217a2fSEvgeniy Stepanov }
2442711e16bSHubert Tong return false;
245df217a2fSEvgeniy Stepanov }
246df217a2fSEvgeniy Stepanov
createTLII(llvm::Triple & TargetTriple,const CodeGenOptions & CodeGenOpts)247ed03d948SMehdi Amini static TargetLibraryInfoImpl *createTLII(llvm::Triple &TargetTriple,
248ed03d948SMehdi Amini const CodeGenOptions &CodeGenOpts) {
249ed03d948SMehdi Amini TargetLibraryInfoImpl *TLII = new TargetLibraryInfoImpl(TargetTriple);
250ed03d948SMehdi Amini
251ed03d948SMehdi Amini switch (CodeGenOpts.getVecLib()) {
252ed03d948SMehdi Amini case CodeGenOptions::Accelerate:
253ed03d948SMehdi Amini TLII->addVectorizableFunctionsFromVecLib(TargetLibraryInfoImpl::Accelerate);
254ed03d948SMehdi Amini break;
25557cdc52cSVenkataramanan Kumar case CodeGenOptions::LIBMVEC:
25657cdc52cSVenkataramanan Kumar switch(TargetTriple.getArch()) {
25757cdc52cSVenkataramanan Kumar default:
25857cdc52cSVenkataramanan Kumar break;
25957cdc52cSVenkataramanan Kumar case llvm::Triple::x86_64:
26057cdc52cSVenkataramanan Kumar TLII->addVectorizableFunctionsFromVecLib
26157cdc52cSVenkataramanan Kumar (TargetLibraryInfoImpl::LIBMVEC_X86);
26257cdc52cSVenkataramanan Kumar break;
26357cdc52cSVenkataramanan Kumar }
26457cdc52cSVenkataramanan Kumar break;
265ed03d948SMehdi Amini case CodeGenOptions::MASSV:
266ed03d948SMehdi Amini TLII->addVectorizableFunctionsFromVecLib(TargetLibraryInfoImpl::MASSV);
267ed03d948SMehdi Amini break;
268ed03d948SMehdi Amini case CodeGenOptions::SVML:
269ed03d948SMehdi Amini TLII->addVectorizableFunctionsFromVecLib(TargetLibraryInfoImpl::SVML);
270ed03d948SMehdi Amini break;
271803c52d0SFlorian Hahn case CodeGenOptions::Darwin_libsystem_m:
272803c52d0SFlorian Hahn TLII->addVectorizableFunctionsFromVecLib(
273803c52d0SFlorian Hahn TargetLibraryInfoImpl::DarwinLibSystemM);
274803c52d0SFlorian Hahn break;
275ed03d948SMehdi Amini default:
276ed03d948SMehdi Amini break;
277ed03d948SMehdi Amini }
278ed03d948SMehdi Amini return TLII;
279b8a71c5eSRafael Espindola }
280b8a71c5eSRafael Espindola
getCGOptLevel(const CodeGenOptions & CodeGenOpts)2815ed6c107STeresa Johnson static CodeGenOpt::Level getCGOptLevel(const CodeGenOptions &CodeGenOpts) {
2825ed6c107STeresa Johnson switch (CodeGenOpts.OptimizationLevel) {
2835ed6c107STeresa Johnson default:
2845ed6c107STeresa Johnson llvm_unreachable("Invalid optimization level!");
2855ed6c107STeresa Johnson case 0:
2865ed6c107STeresa Johnson return CodeGenOpt::None;
2875ed6c107STeresa Johnson case 1:
2885ed6c107STeresa Johnson return CodeGenOpt::Less;
2895ed6c107STeresa Johnson case 2:
2905ed6c107STeresa Johnson return CodeGenOpt::Default; // O2/Os/Oz
2915ed6c107STeresa Johnson case 3:
2925ed6c107STeresa Johnson return CodeGenOpt::Aggressive;
2935ed6c107STeresa Johnson }
2945ed6c107STeresa Johnson }
2955ed6c107STeresa Johnson
296aa0226edSRafael Espindola static Optional<llvm::CodeModel::Model>
getCodeModel(const CodeGenOptions & CodeGenOpts)297aa0226edSRafael Espindola getCodeModel(const CodeGenOptions &CodeGenOpts) {
298aa0226edSRafael Espindola unsigned CodeModel = llvm::StringSwitch<unsigned>(CodeGenOpts.CodeModel)
299ecc69871SDavid Green .Case("tiny", llvm::CodeModel::Tiny)
3005ed6c107STeresa Johnson .Case("small", llvm::CodeModel::Small)
3015ed6c107STeresa Johnson .Case("kernel", llvm::CodeModel::Kernel)
3025ed6c107STeresa Johnson .Case("medium", llvm::CodeModel::Medium)
3035ed6c107STeresa Johnson .Case("large", llvm::CodeModel::Large)
304aa0226edSRafael Espindola .Case("default", ~1u)
3055ed6c107STeresa Johnson .Default(~0u);
3065ed6c107STeresa Johnson assert(CodeModel != ~0u && "invalid code model!");
307aa0226edSRafael Espindola if (CodeModel == ~1u)
308aa0226edSRafael Espindola return None;
3095ed6c107STeresa Johnson return static_cast<llvm::CodeModel::Model>(CodeModel);
3105ed6c107STeresa Johnson }
3115ed6c107STeresa Johnson
getCodeGenFileType(BackendAction Action)3121dfede31SReid Kleckner static CodeGenFileType getCodeGenFileType(BackendAction Action) {
3135ed6c107STeresa Johnson if (Action == Backend_EmitObj)
3141dfede31SReid Kleckner return CGFT_ObjectFile;
3155ed6c107STeresa Johnson else if (Action == Backend_EmitMCNull)
3161dfede31SReid Kleckner return CGFT_Null;
3175ed6c107STeresa Johnson else {
3185ed6c107STeresa Johnson assert(Action == Backend_EmitAssembly && "Invalid action!");
3191dfede31SReid Kleckner return CGFT_AssemblyFile;
3205ed6c107STeresa Johnson }
3215ed6c107STeresa Johnson }
3225ed6c107STeresa Johnson
actionRequiresCodeGen(BackendAction Action)3239efce0baSItay Bookstein static bool actionRequiresCodeGen(BackendAction Action) {
3249efce0baSItay Bookstein return Action != Backend_EmitNothing && Action != Backend_EmitBC &&
3259efce0baSItay Bookstein Action != Backend_EmitLL;
3269efce0baSItay Bookstein }
3279efce0baSItay Bookstein
initTargetOptions(DiagnosticsEngine & Diags,llvm::TargetOptions & Options,const CodeGenOptions & CodeGenOpts,const clang::TargetOptions & TargetOpts,const LangOptions & LangOpts,const HeaderSearchOptions & HSOpts)328e625f9c5SFangrui Song static bool initTargetOptions(DiagnosticsEngine &Diags,
329e0bca46bSSriraman Tallam llvm::TargetOptions &Options,
3305ed6c107STeresa Johnson const CodeGenOptions &CodeGenOpts,
3315ed6c107STeresa Johnson const clang::TargetOptions &TargetOpts,
3325ed6c107STeresa Johnson const LangOptions &LangOpts,
3335ed6c107STeresa Johnson const HeaderSearchOptions &HSOpts) {
33415a3ae1aSZequan Wu switch (LangOpts.getThreadModel()) {
33515a3ae1aSZequan Wu case LangOptions::ThreadModelKind::POSIX:
33615a3ae1aSZequan Wu Options.ThreadModel = llvm::ThreadModel::POSIX;
33715a3ae1aSZequan Wu break;
33815a3ae1aSZequan Wu case LangOptions::ThreadModelKind::Single:
33915a3ae1aSZequan Wu Options.ThreadModel = llvm::ThreadModel::Single;
34015a3ae1aSZequan Wu break;
34115a3ae1aSZequan Wu }
3425ed6c107STeresa Johnson
3435ed6c107STeresa Johnson // Set float ABI type.
3445ed6c107STeresa Johnson assert((CodeGenOpts.FloatABI == "soft" || CodeGenOpts.FloatABI == "softfp" ||
3455ed6c107STeresa Johnson CodeGenOpts.FloatABI == "hard" || CodeGenOpts.FloatABI.empty()) &&
3465ed6c107STeresa Johnson "Invalid Floating Point ABI!");
3475ed6c107STeresa Johnson Options.FloatABIType =
3485ed6c107STeresa Johnson llvm::StringSwitch<llvm::FloatABI::ABIType>(CodeGenOpts.FloatABI)
3495ed6c107STeresa Johnson .Case("soft", llvm::FloatABI::Soft)
3505ed6c107STeresa Johnson .Case("softfp", llvm::FloatABI::Soft)
3515ed6c107STeresa Johnson .Case("hard", llvm::FloatABI::Hard)
3525ed6c107STeresa Johnson .Default(llvm::FloatABI::Default);
3535ed6c107STeresa Johnson
3545ed6c107STeresa Johnson // Set FP fusion mode.
3555ed6c107STeresa Johnson switch (LangOpts.getDefaultFPContractMode()) {
356c355bec7SMelanie Blower case LangOptions::FPM_Off:
35703af4244SAdam Nemet // Preserve any contraction performed by the front-end. (Strict performs
358b23ccecbSRaphael Isemann // splitting of the muladd intrinsic in the backend.)
35903af4244SAdam Nemet Options.AllowFPOpFusion = llvm::FPOpFusion::Standard;
3605ed6c107STeresa Johnson break;
361c355bec7SMelanie Blower case LangOptions::FPM_On:
362cb08558cSYaxun (Sam) Liu case LangOptions::FPM_FastHonorPragmas:
3635ed6c107STeresa Johnson Options.AllowFPOpFusion = llvm::FPOpFusion::Standard;
3645ed6c107STeresa Johnson break;
365c355bec7SMelanie Blower case LangOptions::FPM_Fast:
3665ed6c107STeresa Johnson Options.AllowFPOpFusion = llvm::FPOpFusion::Fast;
3675ed6c107STeresa Johnson break;
3685ed6c107STeresa Johnson }
3695ed6c107STeresa Johnson
37034b60d8aSFangrui Song Options.BinutilsVersion =
37134b60d8aSFangrui Song llvm::TargetMachine::parseBinutilsVersion(CodeGenOpts.BinutilsVersion);
3725ed6c107STeresa Johnson Options.UseInitArray = CodeGenOpts.UseInitArray;
37364902d33SJulian Lettner Options.LowerGlobalDtorsViaCxaAtExit =
37464902d33SJulian Lettner CodeGenOpts.RegisterGlobalDtorsWithAtExit;
3755ed6c107STeresa Johnson Options.DisableIntegratedAS = CodeGenOpts.DisableIntegratedAS;
37654448909SSaleem Abdulrasool Options.CompressDebugSections = CodeGenOpts.getCompressDebugSections();
3775ed6c107STeresa Johnson Options.RelaxELFRelocations = CodeGenOpts.RelaxELFRelocations;
3785ed6c107STeresa Johnson
3795ed6c107STeresa Johnson // Set EABI version.
380dc771509SYuka Takahashi Options.EABIVersion = TargetOpts.EABIVersion;
3815ed6c107STeresa Johnson
382f24e58dfSJan Svoboda if (LangOpts.hasSjLjExceptions())
3835ed6c107STeresa Johnson Options.ExceptionModel = llvm::ExceptionHandling::SjLj;
384f24e58dfSJan Svoboda if (LangOpts.hasSEHExceptions())
385c950c651SMartell Malone Options.ExceptionModel = llvm::ExceptionHandling::WinEH;
386f24e58dfSJan Svoboda if (LangOpts.hasDWARFExceptions())
387c950c651SMartell Malone Options.ExceptionModel = llvm::ExceptionHandling::DwarfCFI;
388f24e58dfSJan Svoboda if (LangOpts.hasWasmExceptions())
389e8b2b886SHeejin Ahn Options.ExceptionModel = llvm::ExceptionHandling::Wasm;
3905ed6c107STeresa Johnson
3918a8d703bSJohn McCall Options.NoInfsFPMath = LangOpts.NoHonorInfs;
3928a8d703bSJohn McCall Options.NoNaNsFPMath = LangOpts.NoHonorNaNs;
3935ed6c107STeresa Johnson Options.NoZerosInBSS = CodeGenOpts.NoZeroInitializedInBSS;
3948a8d703bSJohn McCall Options.UnsafeFPMath = LangOpts.UnsafeFPMath;
395b0f68791SMasoud Ataei Options.ApproxFuncFPMath = LangOpts.ApproxFunc;
396e0bca46bSSriraman Tallam
397e0bca46bSSriraman Tallam Options.BBSections =
398e0bca46bSSriraman Tallam llvm::StringSwitch<llvm::BasicBlockSection>(CodeGenOpts.BBSections)
399e0bca46bSSriraman Tallam .Case("all", llvm::BasicBlockSection::All)
400e0bca46bSSriraman Tallam .Case("labels", llvm::BasicBlockSection::Labels)
401e0bca46bSSriraman Tallam .StartsWith("list=", llvm::BasicBlockSection::List)
402e0bca46bSSriraman Tallam .Case("none", llvm::BasicBlockSection::None)
403e0bca46bSSriraman Tallam .Default(llvm::BasicBlockSection::None);
404e0bca46bSSriraman Tallam
405e0bca46bSSriraman Tallam if (Options.BBSections == llvm::BasicBlockSection::List) {
406e0bca46bSSriraman Tallam ErrorOr<std::unique_ptr<MemoryBuffer>> MBOrErr =
407e0bca46bSSriraman Tallam MemoryBuffer::getFile(CodeGenOpts.BBSections.substr(5));
408e625f9c5SFangrui Song if (!MBOrErr) {
409e0bca46bSSriraman Tallam Diags.Report(diag::err_fe_unable_to_load_basic_block_sections_file)
410e0bca46bSSriraman Tallam << MBOrErr.getError().message();
411e625f9c5SFangrui Song return false;
412e625f9c5SFangrui Song }
413e0bca46bSSriraman Tallam Options.BBSectionsFuncListBuf = std::move(*MBOrErr);
414e0bca46bSSriraman Tallam }
415e0bca46bSSriraman Tallam
416f1a3ab90SSnehasish Kumar Options.EnableMachineFunctionSplitter = CodeGenOpts.SplitMachineFunctions;
4175ed6c107STeresa Johnson Options.FunctionSections = CodeGenOpts.FunctionSections;
4185ed6c107STeresa Johnson Options.DataSections = CodeGenOpts.DataSections;
41946d4d1feSdiggerlin Options.IgnoreXCOFFVisibility = LangOpts.IgnoreXCOFFVisibility;
4205ed6c107STeresa Johnson Options.UniqueSectionNames = CodeGenOpts.UniqueSectionNames;
421e0bca46bSSriraman Tallam Options.UniqueBasicBlockSectionNames =
422e0bca46bSSriraman Tallam CodeGenOpts.UniqueBasicBlockSectionNames;
42310c11e4eSKAWASHIMA Takahiro Options.TLSSize = CodeGenOpts.TLSSize;
4245ed6c107STeresa Johnson Options.EmulatedTLS = CodeGenOpts.EmulatedTLS;
425ca552b8dSChih-Hung Hsieh Options.ExplicitEmulatedTLS = CodeGenOpts.ExplicitEmulatedTLS;
4265ed6c107STeresa Johnson Options.DebuggerTuning = CodeGenOpts.getDebuggerTuning();
4275110d4f5SSean Eveson Options.EmitStackSizeSection = CodeGenOpts.StackSizeSection;
428c9b36a04SPengxuan Zheng Options.StackUsageOutput = CodeGenOpts.StackUsageOutput;
42914b468baSPeter Collingbourne Options.EmitAddrsig = CodeGenOpts.Addrsig;
43092aa0c2dSDavid Candler Options.ForceDwarfFrameSection = CodeGenOpts.ForceDwarfFrameSection;
431c15c68abSDjordje Todorovic Options.EmitCallSiteInfo = CodeGenOpts.EmitCallSiteInfo;
432c92f29b0SZarko Todorovski Options.EnableAIXExtendedAltivecABI = CodeGenOpts.EnableAIXExtendedAltivecABI;
4337c7c8e0dSIan Levesque Options.XRayOmitFunctionIndex = CodeGenOpts.XRayOmitFunctionIndex;
434c38efb48SFangrui Song Options.LoopAlignment = CodeGenOpts.LoopAlignment;
435f9270214SYuanfang Chen Options.DebugStrictDwarf = CodeGenOpts.DebugStrictDwarf;
436f9270214SYuanfang Chen Options.ObjectFilenameForDebug = CodeGenOpts.ObjectFilenameForDebug;
437f9270214SYuanfang Chen Options.Hotpatch = CodeGenOpts.HotPatch;
438f9270214SYuanfang Chen Options.JMCInstrument = CodeGenOpts.JMCInstrument;
4395ed6c107STeresa Johnson
440f670c5aeSArnold Schwaighofer switch (CodeGenOpts.getSwiftAsyncFramePointer()) {
441f670c5aeSArnold Schwaighofer case CodeGenOptions::SwiftAsyncFramePointerKind::Auto:
442f670c5aeSArnold Schwaighofer Options.SwiftAsyncFramePointer =
443f670c5aeSArnold Schwaighofer SwiftAsyncFramePointerMode::DeploymentBased;
444f670c5aeSArnold Schwaighofer break;
445f670c5aeSArnold Schwaighofer
446f670c5aeSArnold Schwaighofer case CodeGenOptions::SwiftAsyncFramePointerKind::Always:
447f670c5aeSArnold Schwaighofer Options.SwiftAsyncFramePointer = SwiftAsyncFramePointerMode::Always;
448f670c5aeSArnold Schwaighofer break;
449f670c5aeSArnold Schwaighofer
450f670c5aeSArnold Schwaighofer case CodeGenOptions::SwiftAsyncFramePointerKind::Never:
451f670c5aeSArnold Schwaighofer Options.SwiftAsyncFramePointer = SwiftAsyncFramePointerMode::Never;
452f670c5aeSArnold Schwaighofer break;
453f670c5aeSArnold Schwaighofer }
454f670c5aeSArnold Schwaighofer
455e1dc495eSAaron Puchert Options.MCOptions.SplitDwarfFile = CodeGenOpts.SplitDwarfFile;
456d4bcb45dSJez Ng Options.MCOptions.EmitDwarfUnwind = CodeGenOpts.getEmitDwarfUnwind();
4575ed6c107STeresa Johnson Options.MCOptions.MCRelaxAll = CodeGenOpts.RelaxAll;
4585ed6c107STeresa Johnson Options.MCOptions.MCSaveTempLabels = CodeGenOpts.SaveTempLabels;
4590a27622aSAndrew Savonichev Options.MCOptions.MCUseDwarfDirectory =
4600a27622aSAndrew Savonichev CodeGenOpts.NoDwarfDirectoryAsm
4610a27622aSAndrew Savonichev ? llvm::MCTargetOptions::DisableDwarfDirectory
4620a27622aSAndrew Savonichev : llvm::MCTargetOptions::EnableDwarfDirectory;
4635ed6c107STeresa Johnson Options.MCOptions.MCNoExecStack = CodeGenOpts.NoExecStack;
4645ed6c107STeresa Johnson Options.MCOptions.MCIncrementalLinkerCompatible =
4655ed6c107STeresa Johnson CodeGenOpts.IncrementalLinkerCompatible;
4665ed6c107STeresa Johnson Options.MCOptions.MCFatalWarnings = CodeGenOpts.FatalWarnings;
4677b953b64SBrian Cain Options.MCOptions.MCNoWarn = CodeGenOpts.NoWarn;
4685ed6c107STeresa Johnson Options.MCOptions.AsmVerbose = CodeGenOpts.AsmVerbose;
4690e23fd67SHongtao Yu Options.MCOptions.Dwarf64 = CodeGenOpts.Dwarf64;
4705ed6c107STeresa Johnson Options.MCOptions.PreserveAsmComments = CodeGenOpts.PreserveAsmComments;
4715ed6c107STeresa Johnson Options.MCOptions.ABIName = TargetOpts.ABI;
4725ed6c107STeresa Johnson for (const auto &Entry : HSOpts.UserEntries)
4735ed6c107STeresa Johnson if (!Entry.IsFramework &&
4745ed6c107STeresa Johnson (Entry.Group == frontend::IncludeDirGroup::Quoted ||
4755ed6c107STeresa Johnson Entry.Group == frontend::IncludeDirGroup::Angled ||
4765ed6c107STeresa Johnson Entry.Group == frontend::IncludeDirGroup::System))
4775ed6c107STeresa Johnson Options.MCOptions.IASSearchPaths.push_back(
4785ed6c107STeresa Johnson Entry.IgnoreSysRoot ? Entry.Path : HSOpts.Sysroot + Entry.Path);
47989ea0b05SAlexandre Ganea Options.MCOptions.Argv0 = CodeGenOpts.Argv0;
48089ea0b05SAlexandre Ganea Options.MCOptions.CommandLineArgs = CodeGenOpts.CommandLineArgs;
481bac6cd5bSPaul Kirth Options.MisExpect = CodeGenOpts.MisExpect;
482e625f9c5SFangrui Song
483e625f9c5SFangrui Song return true;
4845ed6c107STeresa Johnson }
485b5ef137cSFangrui Song
getGCOVOptions(const CodeGenOptions & CodeGenOpts,const LangOptions & LangOpts)486b5ef137cSFangrui Song static Optional<GCOVOptions> getGCOVOptions(const CodeGenOptions &CodeGenOpts,
487b5ef137cSFangrui Song const LangOptions &LangOpts) {
4887a4f7f56SDavid Blaikie if (!CodeGenOpts.EmitGcovArcs && !CodeGenOpts.EmitGcovNotes)
4897a4f7f56SDavid Blaikie return None;
4907a4f7f56SDavid Blaikie // Not using 'GCOVOptions::getDefault' allows us to avoid exiting if
4917a4f7f56SDavid Blaikie // LLVM's -default-gcov-version flag is set to something invalid.
4927a4f7f56SDavid Blaikie GCOVOptions Options;
4937a4f7f56SDavid Blaikie Options.EmitNotes = CodeGenOpts.EmitGcovNotes;
4947a4f7f56SDavid Blaikie Options.EmitData = CodeGenOpts.EmitGcovArcs;
4957a4f7f56SDavid Blaikie llvm::copy(CodeGenOpts.CoverageVersion, std::begin(Options.Version));
4967a4f7f56SDavid Blaikie Options.NoRedZone = CodeGenOpts.DisableRedZone;
497f4bf671aSCalixte Denizet Options.Filter = CodeGenOpts.ProfileFilterFiles;
498f4bf671aSCalixte Denizet Options.Exclude = CodeGenOpts.ProfileExcludeFiles;
4993681be87SFangrui Song Options.Atomic = CodeGenOpts.AtomicProfileUpdate;
5007a4f7f56SDavid Blaikie return Options;
5017a4f7f56SDavid Blaikie }
5025ed6c107STeresa Johnson
5034059e143SRong Xu static Optional<InstrProfOptions>
getInstrProfOptions(const CodeGenOptions & CodeGenOpts,const LangOptions & LangOpts)5044059e143SRong Xu getInstrProfOptions(const CodeGenOptions &CodeGenOpts,
5054059e143SRong Xu const LangOptions &LangOpts) {
5064059e143SRong Xu if (!CodeGenOpts.hasProfileClangInstr())
5074059e143SRong Xu return None;
5084059e143SRong Xu InstrProfOptions Options;
5094059e143SRong Xu Options.NoRedZone = CodeGenOpts.DisableRedZone;
5104059e143SRong Xu Options.InstrProfileOutput = CodeGenOpts.InstrProfileOutput;
5113681be87SFangrui Song Options.Atomic = CodeGenOpts.AtomicProfileUpdate;
5124059e143SRong Xu return Options;
5134059e143SRong Xu }
5144059e143SRong Xu
setCommandLineOpts(const CodeGenOptions & CodeGenOpts)5156e2ec5f1SDavid Blaikie static void setCommandLineOpts(const CodeGenOptions &CodeGenOpts) {
516b5e80c31SYaxun Liu SmallVector<const char *, 16> BackendArgs;
517b5e80c31SYaxun Liu BackendArgs.push_back("clang"); // Fake program name.
518b5e80c31SYaxun Liu if (!CodeGenOpts.DebugPass.empty()) {
519b5e80c31SYaxun Liu BackendArgs.push_back("-debug-pass");
520b5e80c31SYaxun Liu BackendArgs.push_back(CodeGenOpts.DebugPass.c_str());
521b5e80c31SYaxun Liu }
522b5e80c31SYaxun Liu if (!CodeGenOpts.LimitFloatPrecision.empty()) {
523b5e80c31SYaxun Liu BackendArgs.push_back("-limit-float-precision");
524b5e80c31SYaxun Liu BackendArgs.push_back(CodeGenOpts.LimitFloatPrecision.c_str());
525b5e80c31SYaxun Liu }
52660854c32SRaphael Isemann // Check for the default "clang" invocation that won't set any cl::opt values.
52760854c32SRaphael Isemann // Skip trying to parse the command line invocation to avoid the issues
52860854c32SRaphael Isemann // described below.
52960854c32SRaphael Isemann if (BackendArgs.size() == 1)
53060854c32SRaphael Isemann return;
531b5e80c31SYaxun Liu BackendArgs.push_back(nullptr);
53260854c32SRaphael Isemann // FIXME: The command line parser below is not thread-safe and shares a global
53360854c32SRaphael Isemann // state, so this call might crash or overwrite the options of another Clang
53460854c32SRaphael Isemann // instance in the same process.
535b5e80c31SYaxun Liu llvm::cl::ParseCommandLineOptions(BackendArgs.size() - 1,
536b5e80c31SYaxun Liu BackendArgs.data());
537b5e80c31SYaxun Liu }
538b5e80c31SYaxun Liu
CreateTargetMachine(bool MustCreateTM)53903f8907fSPeter Collingbourne void EmitAssemblyHelper::CreateTargetMachine(bool MustCreateTM) {
540c1b1729bSDaniel Dunbar // Create the TargetMachine for generating code.
541c1b1729bSDaniel Dunbar std::string Error;
542c1b1729bSDaniel Dunbar std::string Triple = TheModule->getTargetTriple();
543c1b1729bSDaniel Dunbar const llvm::Target *TheTarget = TargetRegistry::lookupTarget(Triple, Error);
544c1b1729bSDaniel Dunbar if (!TheTarget) {
545dc06b2d3SNadav Rotem if (MustCreateTM)
546ecafbe60SChad Rosier Diags.Report(diag::err_fe_unable_to_create_target) << Error;
54703f8907fSPeter Collingbourne return;
548c1b1729bSDaniel Dunbar }
549c1b1729bSDaniel Dunbar
550aa0226edSRafael Espindola Optional<llvm::CodeModel::Model> CM = getCodeModel(CodeGenOpts);
551583a1f72SEric Christopher std::string FeaturesStr =
552583a1f72SEric Christopher llvm::join(TargetOpts.Features.begin(), TargetOpts.Features.end(), ",");
553e1d70530SRafael Espindola llvm::Reloc::Model RM = CodeGenOpts.RelocationModel;
5545ed6c107STeresa Johnson CodeGenOpt::Level OptLevel = getCGOptLevel(CodeGenOpts);
555dd286bceSEvan Cheng
556432add5bSNick Lewycky llvm::TargetOptions Options;
557e625f9c5SFangrui Song if (!initTargetOptions(Diags, Options, CodeGenOpts, TargetOpts, LangOpts,
558e625f9c5SFangrui Song HSOpts))
559e625f9c5SFangrui Song return;
56003f8907fSPeter Collingbourne TM.reset(TheTarget->createTargetMachine(Triple, TargetOpts.CPU, FeaturesStr,
56103f8907fSPeter Collingbourne Options, RM, CM, OptLevel));
562ec57ab37SNadav Rotem }
563ec57ab37SNadav Rotem
AddEmitPasses(legacy::PassManager & CodeGenPasses,BackendAction Action,raw_pwrite_stream & OS,raw_pwrite_stream * DwoOS)56403f8907fSPeter Collingbourne bool EmitAssemblyHelper::AddEmitPasses(legacy::PassManager &CodeGenPasses,
56503f8907fSPeter Collingbourne BackendAction Action,
56691d02844SPeter Collingbourne raw_pwrite_stream &OS,
56791d02844SPeter Collingbourne raw_pwrite_stream *DwoOS) {
568b1cfc686SChad Rosier // Add LibraryInfo.
569ed03d948SMehdi Amini std::unique_ptr<TargetLibraryInfoImpl> TLII(
570ed03d948SMehdi Amini createTLII(TargetTriple, CodeGenOpts));
57103f8907fSPeter Collingbourne CodeGenPasses.add(new TargetLibraryInfoWrapperPass(*TLII));
572e9c233b1SNadav Rotem
573c1b1729bSDaniel Dunbar // Normal mode, emit a .s or .o file by running the code generator. Note,
574c1b1729bSDaniel Dunbar // this also adds codegenerator level optimization passes.
5751dfede31SReid Kleckner CodeGenFileType CGFT = getCodeGenFileType(Action);
576fec0ff84SDan Gohman
577fec0ff84SDan Gohman // Add ObjC ARC final-cleanup optimizations. This is done as part of the
578fec0ff84SDan Gohman // "codegen" passes so that it isn't run multiple times when there is
579fec0ff84SDan Gohman // inlining happening.
5801d56be86SSteven Wu if (CodeGenOpts.OptimizationLevel > 0)
58103f8907fSPeter Collingbourne CodeGenPasses.add(createObjCARCContractPass());
582fec0ff84SDan Gohman
58391d02844SPeter Collingbourne if (TM->addPassesToEmitFile(CodeGenPasses, OS, DwoOS, CGFT,
584c1b1729bSDaniel Dunbar /*DisableVerify=*/!CodeGenOpts.VerifyModule)) {
585c1b1729bSDaniel Dunbar Diags.Report(diag::err_fe_unable_to_interface_with_target);
586c1b1729bSDaniel Dunbar return false;
587c1b1729bSDaniel Dunbar }
588c1b1729bSDaniel Dunbar
589c1b1729bSDaniel Dunbar return true;
590c1b1729bSDaniel Dunbar }
591c1b1729bSDaniel Dunbar
mapToLevel(const CodeGenOptions & Opts)5927a797b29STarindu Jayatilaka static OptimizationLevel mapToLevel(const CodeGenOptions &Opts) {
59350f9e893SChandler Carruth switch (Opts.OptimizationLevel) {
59450f9e893SChandler Carruth default:
59550f9e893SChandler Carruth llvm_unreachable("Invalid optimization level!");
59650f9e893SChandler Carruth
597b6ccff3dSArthur Eubanks case 0:
5987a797b29STarindu Jayatilaka return OptimizationLevel::O0;
599b6ccff3dSArthur Eubanks
60050f9e893SChandler Carruth case 1:
6017a797b29STarindu Jayatilaka return OptimizationLevel::O1;
60250f9e893SChandler Carruth
60350f9e893SChandler Carruth case 2:
60450f9e893SChandler Carruth switch (Opts.OptimizeSize) {
60550f9e893SChandler Carruth default:
6062a8c18d9SAlexander Kornienko llvm_unreachable("Invalid optimization level for size!");
60750f9e893SChandler Carruth
60850f9e893SChandler Carruth case 0:
6097a797b29STarindu Jayatilaka return OptimizationLevel::O2;
61050f9e893SChandler Carruth
61150f9e893SChandler Carruth case 1:
6127a797b29STarindu Jayatilaka return OptimizationLevel::Os;
61350f9e893SChandler Carruth
61450f9e893SChandler Carruth case 2:
6157a797b29STarindu Jayatilaka return OptimizationLevel::Oz;
61650f9e893SChandler Carruth }
61750f9e893SChandler Carruth
61850f9e893SChandler Carruth case 3:
6197a797b29STarindu Jayatilaka return OptimizationLevel::O3;
62050f9e893SChandler Carruth }
62150f9e893SChandler Carruth }
62250f9e893SChandler Carruth
addSanitizers(const Triple & TargetTriple,const CodeGenOptions & CodeGenOpts,const LangOptions & LangOpts,PassBuilder & PB)623f2f59d2aSVitaly Buka static void addSanitizers(const Triple &TargetTriple,
624f2f59d2aSVitaly Buka const CodeGenOptions &CodeGenOpts,
625f2f59d2aSVitaly Buka const LangOptions &LangOpts, PassBuilder &PB) {
626f2f59d2aSVitaly Buka PB.registerOptimizerLastEPCallback([&](ModulePassManager &MPM,
6277a797b29STarindu Jayatilaka OptimizationLevel Level) {
628ca6df734SMarco Elver if (CodeGenOpts.hasSanitizeCoverage()) {
629f2f59d2aSVitaly Buka auto SancovOpts = getSancovOptsFromCGOpts(CodeGenOpts);
630f2f59d2aSVitaly Buka MPM.addPass(ModuleSanitizerCoveragePass(
631f2f59d2aSVitaly Buka SancovOpts, CodeGenOpts.SanitizeCoverageAllowlistFiles,
632d7ec48d7SNico Weber CodeGenOpts.SanitizeCoverageIgnorelistFiles));
633f2f59d2aSVitaly Buka }
634f2f59d2aSVitaly Buka
635f2f59d2aSVitaly Buka auto MSanPass = [&](SanitizerMask Mask, bool CompileKernel) {
636f2f59d2aSVitaly Buka if (LangOpts.Sanitize.has(Mask)) {
637f2f59d2aSVitaly Buka int TrackOrigins = CodeGenOpts.SanitizeMemoryTrackOrigins;
638f2f59d2aSVitaly Buka bool Recover = CodeGenOpts.SanitizeRecover.has(Mask);
639f2f59d2aSVitaly Buka
640a0458b53SKevin Athey MemorySanitizerOptions options(TrackOrigins, Recover, CompileKernel,
641a0458b53SKevin Athey CodeGenOpts.SanitizeMemoryParamRetval);
642a0458b53SKevin Athey MPM.addPass(ModuleMemorySanitizerPass(options));
64334a8a437SArthur Eubanks FunctionPassManager FPM;
644a0458b53SKevin Athey FPM.addPass(MemorySanitizerPass(options));
6457a797b29STarindu Jayatilaka if (Level != OptimizationLevel::O0) {
646686b65f8SVitaly Buka // MemorySanitizer inserts complex instrumentation that mostly
647686b65f8SVitaly Buka // follows the logic of the original code, but operates on
648686b65f8SVitaly Buka // "shadow" values. It can benefit from re-running some
649686b65f8SVitaly Buka // general purpose optimization passes.
650686b65f8SVitaly Buka FPM.addPass(EarlyCSEPass());
651686b65f8SVitaly Buka // TODO: Consider add more passes like in
652686b65f8SVitaly Buka // addGeneralOptsForMemorySanitizer. EarlyCSEPass makes visible
653686b65f8SVitaly Buka // difference on size. It's not clear if the rest is still
654686b65f8SVitaly Buka // usefull. InstCombinePass breakes
655686b65f8SVitaly Buka // compiler-rt/test/msan/select_origin.cpp.
656686b65f8SVitaly Buka }
657686b65f8SVitaly Buka MPM.addPass(createModuleToFunctionPassAdaptor(std::move(FPM)));
658f2f59d2aSVitaly Buka }
659f2f59d2aSVitaly Buka };
660f2f59d2aSVitaly Buka MSanPass(SanitizerKind::Memory, false);
661f2f59d2aSVitaly Buka MSanPass(SanitizerKind::KernelMemory, true);
662f2f59d2aSVitaly Buka
663f2f59d2aSVitaly Buka if (LangOpts.Sanitize.has(SanitizerKind::Thread)) {
6648f861665SBjorn Pettersson MPM.addPass(ModuleThreadSanitizerPass());
665f2f59d2aSVitaly Buka MPM.addPass(createModuleToFunctionPassAdaptor(ThreadSanitizerPass()));
666f2f59d2aSVitaly Buka }
667f2f59d2aSVitaly Buka
668f2f59d2aSVitaly Buka auto ASanPass = [&](SanitizerMask Mask, bool CompileKernel) {
669f2f59d2aSVitaly Buka if (LangOpts.Sanitize.has(Mask)) {
670ee4634f7SVitaly Buka bool UseGlobalGC = asanUseGlobalsGC(TargetTriple, CodeGenOpts);
671f2f59d2aSVitaly Buka bool UseOdrIndicator = CodeGenOpts.SanitizeAddressUseOdrIndicator;
6725d64dd8eSDan Liew llvm::AsanDtorKind DestructorKind =
6731bbbcff9SDan Liew CodeGenOpts.getSanitizeAddressDtor();
6743131714fSVitaly Buka AddressSanitizerOptions Opts;
6753131714fSVitaly Buka Opts.CompileKernel = CompileKernel;
6763131714fSVitaly Buka Opts.Recover = CodeGenOpts.SanitizeRecover.has(Mask);
6773131714fSVitaly Buka Opts.UseAfterScope = CodeGenOpts.SanitizeAddressUseAfterScope;
6783131714fSVitaly Buka Opts.UseAfterReturn = CodeGenOpts.getSanitizeAddressUseAfterReturn();
6793131714fSVitaly Buka MPM.addPass(ModuleAddressSanitizerPass(
6803131714fSVitaly Buka Opts, UseGlobalGC, UseOdrIndicator, DestructorKind));
681f2f59d2aSVitaly Buka }
682f2f59d2aSVitaly Buka };
683f2f59d2aSVitaly Buka ASanPass(SanitizerKind::Address, false);
684f2f59d2aSVitaly Buka ASanPass(SanitizerKind::KernelAddress, true);
685f2f59d2aSVitaly Buka
686f2f59d2aSVitaly Buka auto HWASanPass = [&](SanitizerMask Mask, bool CompileKernel) {
687f2f59d2aSVitaly Buka if (LangOpts.Sanitize.has(Mask)) {
688f2f59d2aSVitaly Buka bool Recover = CodeGenOpts.SanitizeRecover.has(Mask);
68996c63492SFlorian Mayer MPM.addPass(HWAddressSanitizerPass(
69036d51386SBjorn Pettersson {CompileKernel, Recover,
69136d51386SBjorn Pettersson /*DisableOptimization=*/CodeGenOpts.OptimizationLevel == 0}));
692f2f59d2aSVitaly Buka }
693f2f59d2aSVitaly Buka };
694f2f59d2aSVitaly Buka HWASanPass(SanitizerKind::HWAddress, false);
695f2f59d2aSVitaly Buka HWASanPass(SanitizerKind::KernelHWAddress, true);
696f2f59d2aSVitaly Buka
697f2f59d2aSVitaly Buka if (LangOpts.Sanitize.has(SanitizerKind::DataFlow)) {
698e64fcdf8SMelanie Blower MPM.addPass(DataFlowSanitizerPass(LangOpts.NoSanitizeFiles));
699f2f59d2aSVitaly Buka }
700f2f59d2aSVitaly Buka });
701f2f59d2aSVitaly Buka }
702f2f59d2aSVitaly Buka
RunOptimizationPipeline(BackendAction Action,std::unique_ptr<raw_pwrite_stream> & OS,std::unique_ptr<llvm::ToolOutputFile> & ThinLinkOS)7032cadef65SArthur Eubanks void EmitAssemblyHelper::RunOptimizationPipeline(
7042cadef65SArthur Eubanks BackendAction Action, std::unique_ptr<raw_pwrite_stream> &OS,
7052cadef65SArthur Eubanks std::unique_ptr<llvm::ToolOutputFile> &ThinLinkOS) {
706c76a27e3SDehao Chen Optional<PGOOptions> PGOOpt;
707945de43dSDavide Italiano
708c76a27e3SDehao Chen if (CodeGenOpts.hasProfileIRInstr())
709945de43dSDavide Italiano // -fprofile-generate.
710c76a27e3SDehao Chen PGOOpt = PGOOptions(CodeGenOpts.InstrProfileOutput.empty()
71158d9c1aeSEllis Hoag ? getDefaultProfileGenName()
712c76a27e3SDehao Chen : CodeGenOpts.InstrProfileOutput,
713a4a09b23SRong Xu "", "", PGOOptions::IRInstr, PGOOptions::NoCSAction,
7148654ae52SRichard Smith CodeGenOpts.DebugInfoForProfiling);
715a4a09b23SRong Xu else if (CodeGenOpts.hasProfileIRUse()) {
716945de43dSDavide Italiano // -fprofile-use.
717a4a09b23SRong Xu auto CSAction = CodeGenOpts.hasProfileCSIRUse() ? PGOOptions::CSIRUse
718a4a09b23SRong Xu : PGOOptions::NoCSAction;
719a4a09b23SRong Xu PGOOpt = PGOOptions(CodeGenOpts.ProfileInstrumentUsePath, "",
720a4a09b23SRong Xu CodeGenOpts.ProfileRemappingFile, PGOOptions::IRUse,
721a4a09b23SRong Xu CSAction, CodeGenOpts.DebugInfoForProfiling);
722a4a09b23SRong Xu } else if (!CodeGenOpts.SampleProfileFile.empty())
723c76a27e3SDehao Chen // -fprofile-sample-use
724c083fedeSHongtao Yu PGOOpt = PGOOptions(
725c083fedeSHongtao Yu CodeGenOpts.SampleProfileFile, "", CodeGenOpts.ProfileRemappingFile,
726c083fedeSHongtao Yu PGOOptions::SampleUse, PGOOptions::NoCSAction,
727c083fedeSHongtao Yu CodeGenOpts.DebugInfoForProfiling, CodeGenOpts.PseudoProbeForProfiling);
728c083fedeSHongtao Yu else if (CodeGenOpts.PseudoProbeForProfiling)
729c083fedeSHongtao Yu // -fpseudo-probe-for-profiling
730a4a09b23SRong Xu PGOOpt =
731c083fedeSHongtao Yu PGOOptions("", "", "", PGOOptions::NoAction, PGOOptions::NoCSAction,
732c083fedeSHongtao Yu CodeGenOpts.DebugInfoForProfiling, true);
733c76a27e3SDehao Chen else if (CodeGenOpts.DebugInfoForProfiling)
734c76a27e3SDehao Chen // -fdebug-info-for-profiling
735a4a09b23SRong Xu PGOOpt = PGOOptions("", "", "", PGOOptions::NoAction,
736a4a09b23SRong Xu PGOOptions::NoCSAction, true);
737a4a09b23SRong Xu
738a4a09b23SRong Xu // Check to see if we want to generate a CS profile.
739a4a09b23SRong Xu if (CodeGenOpts.hasProfileCSIRInstr()) {
740a4a09b23SRong Xu assert(!CodeGenOpts.hasProfileCSIRUse() &&
741a4a09b23SRong Xu "Cannot have both CSProfileUse pass and CSProfileGen pass at "
742a4a09b23SRong Xu "the same time");
743452db157SKazu Hirata if (PGOOpt) {
744a4a09b23SRong Xu assert(PGOOpt->Action != PGOOptions::IRInstr &&
745a4a09b23SRong Xu PGOOpt->Action != PGOOptions::SampleUse &&
746a4a09b23SRong Xu "Cannot run CSProfileGen pass with ProfileGen or SampleUse "
747a4a09b23SRong Xu " pass");
748a4a09b23SRong Xu PGOOpt->CSProfileGenFile = CodeGenOpts.InstrProfileOutput.empty()
74958d9c1aeSEllis Hoag ? getDefaultProfileGenName()
750a4a09b23SRong Xu : CodeGenOpts.InstrProfileOutput;
751a4a09b23SRong Xu PGOOpt->CSAction = PGOOptions::CSIRInstr;
752a4a09b23SRong Xu } else
753a4a09b23SRong Xu PGOOpt = PGOOptions("",
754a4a09b23SRong Xu CodeGenOpts.InstrProfileOutput.empty()
75558d9c1aeSEllis Hoag ? getDefaultProfileGenName()
756a4a09b23SRong Xu : CodeGenOpts.InstrProfileOutput,
757a4a09b23SRong Xu "", PGOOptions::NoAction, PGOOptions::CSIRInstr,
758a4a09b23SRong Xu CodeGenOpts.DebugInfoForProfiling);
759a4a09b23SRong Xu }
7605fdaaf7fSRong Xu if (TM)
7615fdaaf7fSRong Xu TM->setPGOOption(PGOOpt);
762945de43dSDavide Italiano
763267ac925SAlina Sbirlea PipelineTuningOptions PTO;
76421efe2afSAlina Sbirlea PTO.LoopUnrolling = CodeGenOpts.UnrollLoops;
765267ac925SAlina Sbirlea // For historical reasons, loop interleaving is set to mirror setting for loop
766267ac925SAlina Sbirlea // unrolling.
767267ac925SAlina Sbirlea PTO.LoopInterleaving = CodeGenOpts.UnrollLoops;
768267ac925SAlina Sbirlea PTO.LoopVectorization = CodeGenOpts.VectorizeLoop;
769267ac925SAlina Sbirlea PTO.SLPVectorization = CodeGenOpts.VectorizeSLP;
770ff7e1da6SArthur Eubanks PTO.MergeFunctions = CodeGenOpts.MergeFunctions;
7711fbb7194SZequan Wu // Only enable CGProfilePass when using integrated assembler, since
7721fbb7194SZequan Wu // non-integrated assemblers don't recognize .cgprofile section.
7731fbb7194SZequan Wu PTO.CallGraphProfile = !CodeGenOpts.DisableIntegratedAS;
774267ac925SAlina Sbirlea
7756f713100SArthur Eubanks LoopAnalysisManager LAM;
7766f713100SArthur Eubanks FunctionAnalysisManager FAM;
7776f713100SArthur Eubanks CGSCCAnalysisManager CGAM;
7786f713100SArthur Eubanks ModuleAnalysisManager MAM;
77939e3e3aaSYevgeny Rouban
7800c509dbcSArthur Eubanks bool DebugPassStructure = CodeGenOpts.DebugPass == "Structure";
781d4c50f73STaewook Oh PassInstrumentationCallbacks PIC;
7820c509dbcSArthur Eubanks PrintPassOptions PrintPassOpts;
7830c509dbcSArthur Eubanks PrintPassOpts.Indent = DebugPassStructure;
7840c509dbcSArthur Eubanks PrintPassOpts.SkipAnalyses = DebugPassStructure;
7850c509dbcSArthur Eubanks StandardInstrumentations SI(CodeGenOpts.DebugPassManager ||
7860c509dbcSArthur Eubanks DebugPassStructure,
7870c509dbcSArthur Eubanks /*VerifyEach*/ false, PrintPassOpts);
78839e3e3aaSYevgeny Rouban SI.registerCallbacks(PIC, &FAM);
78934a8a437SArthur Eubanks PassBuilder PB(TM.get(), PTO, PGOOpt, &PIC);
79050f9e893SChandler Carruth
791*b5b6d3a4SNikola Tesic // Enable verify-debuginfo-preserve-each for new PM.
792*b5b6d3a4SNikola Tesic DebugifyEachInstrumentation Debugify;
793*b5b6d3a4SNikola Tesic DebugInfoPerPass DebugInfoBeforePass;
794*b5b6d3a4SNikola Tesic if (CodeGenOpts.EnableDIPreservationVerify) {
795*b5b6d3a4SNikola Tesic Debugify.setDebugifyMode(DebugifyMode::OriginalDebugInfo);
796*b5b6d3a4SNikola Tesic Debugify.setDebugInfoBeforePass(DebugInfoBeforePass);
797*b5b6d3a4SNikola Tesic
798*b5b6d3a4SNikola Tesic if (!CodeGenOpts.DIBugsReportFilePath.empty())
799*b5b6d3a4SNikola Tesic Debugify.setOrigDIVerifyBugsReportFilePath(
800*b5b6d3a4SNikola Tesic CodeGenOpts.DIBugsReportFilePath);
801*b5b6d3a4SNikola Tesic Debugify.registerCallbacks(PIC);
802*b5b6d3a4SNikola Tesic }
803e3f105c6SPhilip Pfaffe // Attempt to load pass plugins and register their callbacks with PB.
804e3f105c6SPhilip Pfaffe for (auto &PluginFN : CodeGenOpts.PassPlugins) {
805e3f105c6SPhilip Pfaffe auto PassPlugin = PassPlugin::Load(PluginFN);
806e3f105c6SPhilip Pfaffe if (PassPlugin) {
807e3f105c6SPhilip Pfaffe PassPlugin->registerPassBuilderCallbacks(PB);
808e3f105c6SPhilip Pfaffe } else {
809e3f105c6SPhilip Pfaffe Diags.Report(diag::err_fe_unable_to_load_plugin)
810e3f105c6SPhilip Pfaffe << PluginFN << toString(PassPlugin.takeError());
811e3f105c6SPhilip Pfaffe }
812e3f105c6SPhilip Pfaffe }
81324ab9b53Sserge_sans_paille #define HANDLE_EXTENSION(Ext) \
81424ab9b53Sserge_sans_paille get##Ext##PluginInfo().RegisterPassBuilderCallbacks(PB);
81524ab9b53Sserge_sans_paille #include "llvm/Support/Extension.def"
816e3f105c6SPhilip Pfaffe
8179fdd5fa5SChandler Carruth // Register the target library analysis directly and give it a customized
8189fdd5fa5SChandler Carruth // preset TLI.
819ed03d948SMehdi Amini std::unique_ptr<TargetLibraryInfoImpl> TLII(
820ed03d948SMehdi Amini createTLII(TargetTriple, CodeGenOpts));
8219fdd5fa5SChandler Carruth FAM.registerPass([&] { return TargetLibraryAnalysis(*TLII); });
8229fdd5fa5SChandler Carruth
82350f9e893SChandler Carruth // Register all the basic analyses with the managers.
82450f9e893SChandler Carruth PB.registerModuleAnalyses(MAM);
82550f9e893SChandler Carruth PB.registerCGSCCAnalyses(CGAM);
82650f9e893SChandler Carruth PB.registerFunctionAnalyses(FAM);
82750f9e893SChandler Carruth PB.registerLoopAnalyses(LAM);
82850f9e893SChandler Carruth PB.crossRegisterProxies(LAM, FAM, CGAM, MAM);
82950f9e893SChandler Carruth
83034a8a437SArthur Eubanks ModulePassManager MPM;
8316d1b83efSChandler Carruth
8326d1b83efSChandler Carruth if (!CodeGenOpts.DisableLLVMPasses) {
833b6ccff3dSArthur Eubanks // Map our optimization levels into one of the distinct levels used to
834b6ccff3dSArthur Eubanks // configure the pipeline.
8357a797b29STarindu Jayatilaka OptimizationLevel Level = mapToLevel(CodeGenOpts);
836b6ccff3dSArthur Eubanks
8377609cb83STobias Edler von Koch bool IsThinLTO = CodeGenOpts.PrepareForThinLTO;
83866470691STim Shen bool IsLTO = CodeGenOpts.PrepareForLTO;
83966470691STim Shen
840756dd707SArthur Eubanks if (LangOpts.ObjCAutoRefCount) {
841756dd707SArthur Eubanks PB.registerPipelineStartEPCallback(
8427a797b29STarindu Jayatilaka [](ModulePassManager &MPM, OptimizationLevel Level) {
8437a797b29STarindu Jayatilaka if (Level != OptimizationLevel::O0)
844756dd707SArthur Eubanks MPM.addPass(
845756dd707SArthur Eubanks createModuleToFunctionPassAdaptor(ObjCARCExpandPass()));
846756dd707SArthur Eubanks });
847756dd707SArthur Eubanks PB.registerPipelineEarlySimplificationEPCallback(
8487a797b29STarindu Jayatilaka [](ModulePassManager &MPM, OptimizationLevel Level) {
8497a797b29STarindu Jayatilaka if (Level != OptimizationLevel::O0)
850756dd707SArthur Eubanks MPM.addPass(ObjCARCAPElimPass());
851756dd707SArthur Eubanks });
852756dd707SArthur Eubanks PB.registerScalarOptimizerLateEPCallback(
8537a797b29STarindu Jayatilaka [](FunctionPassManager &FPM, OptimizationLevel Level) {
8547a797b29STarindu Jayatilaka if (Level != OptimizationLevel::O0)
855756dd707SArthur Eubanks FPM.addPass(ObjCARCOptPass());
856756dd707SArthur Eubanks });
857756dd707SArthur Eubanks }
858756dd707SArthur Eubanks
8592f63d549STeresa Johnson // If we reached here with a non-empty index file name, then the index
8602f63d549STeresa Johnson // file was empty and we are not performing ThinLTO backend compilation
8618560c2d4SVitaly Buka // (used in testing in a distributed build environment).
8628560c2d4SVitaly Buka bool IsThinLTOPostLink = !CodeGenOpts.ThinLTOIndexFile.empty();
8638560c2d4SVitaly Buka // If so drop any the type test assume sequences inserted for whole program
8648560c2d4SVitaly Buka // vtables so that codegen doesn't complain.
8658560c2d4SVitaly Buka if (IsThinLTOPostLink)
866ab0ddbc3SArthur Eubanks PB.registerPipelineStartEPCallback(
8677a797b29STarindu Jayatilaka [](ModulePassManager &MPM, OptimizationLevel Level) {
8682f63d549STeresa Johnson MPM.addPass(LowerTypeTestsPass(/*ExportSummary=*/nullptr,
8692f63d549STeresa Johnson /*ImportSummary=*/nullptr,
8702f63d549STeresa Johnson /*DropTypeTests=*/true));
8712f63d549STeresa Johnson });
8722f63d549STeresa Johnson
873040c1b49SArthur Eubanks if (CodeGenOpts.InstrumentFunctions ||
874040c1b49SArthur Eubanks CodeGenOpts.InstrumentFunctionEntryBare ||
875040c1b49SArthur Eubanks CodeGenOpts.InstrumentFunctionsAfterInlining ||
876040c1b49SArthur Eubanks CodeGenOpts.InstrumentForProfiling) {
877ab0ddbc3SArthur Eubanks PB.registerPipelineStartEPCallback(
8787a797b29STarindu Jayatilaka [](ModulePassManager &MPM, OptimizationLevel Level) {
879b206513eSLeonard Chan MPM.addPass(createModuleToFunctionPassAdaptor(
880b206513eSLeonard Chan EntryExitInstrumenterPass(/*PostInlining=*/false)));
881b206513eSLeonard Chan });
882040c1b49SArthur Eubanks PB.registerOptimizerLastEPCallback(
8837a797b29STarindu Jayatilaka [](ModulePassManager &MPM, OptimizationLevel Level) {
884040c1b49SArthur Eubanks MPM.addPass(createModuleToFunctionPassAdaptor(
885040c1b49SArthur Eubanks EntryExitInstrumenterPass(/*PostInlining=*/true)));
886040c1b49SArthur Eubanks });
8873a7b57b7SArthur Eubanks }
888b206513eSLeonard Chan
8893a7b57b7SArthur Eubanks // Register callbacks to schedule sanitizer passes at the appropriate part
8903a7b57b7SArthur Eubanks // of the pipeline.
891a8bd4e38SChandler Carruth if (LangOpts.Sanitize.has(SanitizerKind::LocalBounds))
892a8bd4e38SChandler Carruth PB.registerScalarOptimizerLateEPCallback(
8937a797b29STarindu Jayatilaka [](FunctionPassManager &FPM, OptimizationLevel Level) {
894a8bd4e38SChandler Carruth FPM.addPass(BoundsCheckingPass());
895a8bd4e38SChandler Carruth });
8961285e8bcSArthur Eubanks
8978560c2d4SVitaly Buka // Don't add sanitizers if we are here from ThinLTO PostLink. That already
8988560c2d4SVitaly Buka // done on PreLink stage.
8998560c2d4SVitaly Buka if (!IsThinLTOPostLink)
900f2f59d2aSVitaly Buka addSanitizers(TargetTriple, CodeGenOpts, LangOpts, PB);
9016e098189SArthur Eubanks
902b5ef137cSFangrui Song if (Optional<GCOVOptions> Options = getGCOVOptions(CodeGenOpts, LangOpts))
903ab0ddbc3SArthur Eubanks PB.registerPipelineStartEPCallback(
9047a797b29STarindu Jayatilaka [Options](ModulePassManager &MPM, OptimizationLevel Level) {
905ac904d0eSDavid Blaikie MPM.addPass(GCOVProfilerPass(*Options));
906ac904d0eSDavid Blaikie });
9074059e143SRong Xu if (Optional<InstrProfOptions> Options =
9084059e143SRong Xu getInstrProfOptions(CodeGenOpts, LangOpts))
909ab0ddbc3SArthur Eubanks PB.registerPipelineStartEPCallback(
9107a797b29STarindu Jayatilaka [Options](ModulePassManager &MPM, OptimizationLevel Level) {
9114059e143SRong Xu MPM.addPass(InstrProfiling(*Options, false));
9124059e143SRong Xu });
913a8bd4e38SChandler Carruth
914007f674cSLeonard Chan if (CodeGenOpts.OptimizationLevel == 0) {
91572badbcdSArthur Eubanks MPM = PB.buildO0DefaultPipeline(Level, IsLTO || IsThinLTO);
9163a7b57b7SArthur Eubanks } else if (IsThinLTO) {
9173a7b57b7SArthur Eubanks MPM = PB.buildThinLTOPreLinkDefaultPipeline(Level);
9183a7b57b7SArthur Eubanks } else if (IsLTO) {
9193a7b57b7SArthur Eubanks MPM = PB.buildLTOPreLinkDefaultPipeline(Level);
9203a7b57b7SArthur Eubanks } else {
9213a7b57b7SArthur Eubanks MPM = PB.buildPerModuleDefaultPipeline(Level);
9223a7b57b7SArthur Eubanks }
9233a7b57b7SArthur Eubanks
9243a7b57b7SArthur Eubanks if (!CodeGenOpts.MemoryProfileOutput.empty()) {
9253a7b57b7SArthur Eubanks MPM.addPass(createModuleToFunctionPassAdaptor(MemProfilerPass()));
9263a7b57b7SArthur Eubanks MPM.addPass(ModuleMemProfilerPass());
92766470691STim Shen }
928007f674cSLeonard Chan }
9299efce0baSItay Bookstein
9309efce0baSItay Bookstein // Add a verifier pass if requested. We don't have to do this if the action
9319efce0baSItay Bookstein // requires code generation because there will already be a verifier pass in
9329efce0baSItay Bookstein // the code-generation pipeline.
9339efce0baSItay Bookstein if (!actionRequiresCodeGen(Action) && CodeGenOpts.VerifyModule)
9349efce0baSItay Bookstein MPM.addPass(VerifierPass());
9359efce0baSItay Bookstein
93650f9e893SChandler Carruth switch (Action) {
93750f9e893SChandler Carruth case Backend_EmitBC:
93853591233SEli Friedman if (CodeGenOpts.PrepareForThinLTO && !CodeGenOpts.DisableLLVMPasses) {
93950fedec1STim Shen if (!CodeGenOpts.ThinLinkBitcodeFile.empty()) {
94091d02844SPeter Collingbourne ThinLinkOS = openOutputFile(CodeGenOpts.ThinLinkBitcodeFile);
94191d02844SPeter Collingbourne if (!ThinLinkOS)
94250fedec1STim Shen return;
94350fedec1STim Shen }
94453adfa87SDavid Greene if (!TheModule->getModuleFlag("EnableSplitLTOUnit"))
94584cecfcbSTeresa Johnson TheModule->addModuleFlag(Module::Error, "EnableSplitLTOUnit",
94684cecfcbSTeresa Johnson CodeGenOpts.EnableSplitLTOUnit);
94791d02844SPeter Collingbourne MPM.addPass(ThinLTOBitcodeWriterPass(*OS, ThinLinkOS ? &ThinLinkOS->os()
94891d02844SPeter Collingbourne : nullptr));
94950fedec1STim Shen } else {
9507609cb83STobias Edler von Koch // Emit a module summary by default for Regular LTO except for ld64
9517609cb83STobias Edler von Koch // targets
952b4ac8490SPavel Samolysov bool EmitLTOSummary = shouldEmitRegularLTOSummary();
95384cecfcbSTeresa Johnson if (EmitLTOSummary) {
95484cecfcbSTeresa Johnson if (!TheModule->getModuleFlag("ThinLTO"))
9557609cb83STobias Edler von Koch TheModule->addModuleFlag(Module::Error, "ThinLTO", uint32_t(0));
95653adfa87SDavid Greene if (!TheModule->getModuleFlag("EnableSplitLTOUnit"))
95784cecfcbSTeresa Johnson TheModule->addModuleFlag(Module::Error, "EnableSplitLTOUnit",
95819ec31d1SLeonard Chan uint32_t(1));
95984cecfcbSTeresa Johnson }
96084cecfcbSTeresa Johnson MPM.addPass(
96184cecfcbSTeresa Johnson BitcodeWriterPass(*OS, CodeGenOpts.EmitLLVMUseLists, EmitLTOSummary));
96250fedec1STim Shen }
96350f9e893SChandler Carruth break;
96450f9e893SChandler Carruth
96550f9e893SChandler Carruth case Backend_EmitLL:
96650f9e893SChandler Carruth MPM.addPass(PrintModulePass(*OS, "", CodeGenOpts.EmitLLVMUseLists));
96750f9e893SChandler Carruth break;
96850f9e893SChandler Carruth
9692cadef65SArthur Eubanks default:
9702cadef65SArthur Eubanks break;
9712cadef65SArthur Eubanks }
9722cadef65SArthur Eubanks
9732cadef65SArthur Eubanks // Now that we have all of the passes ready, run them.
97455d887b8SWei Wang {
9752cadef65SArthur Eubanks PrettyStackTraceString CrashInfo("Optimizer");
97655d887b8SWei Wang llvm::TimeTraceScope TimeScope("Optimizer");
9772cadef65SArthur Eubanks MPM.run(*TheModule, MAM);
9782cadef65SArthur Eubanks }
97955d887b8SWei Wang }
9802cadef65SArthur Eubanks
RunCodegenPipeline(BackendAction Action,std::unique_ptr<raw_pwrite_stream> & OS,std::unique_ptr<llvm::ToolOutputFile> & DwoOS)9812cadef65SArthur Eubanks void EmitAssemblyHelper::RunCodegenPipeline(
9822cadef65SArthur Eubanks BackendAction Action, std::unique_ptr<raw_pwrite_stream> &OS,
9832cadef65SArthur Eubanks std::unique_ptr<llvm::ToolOutputFile> &DwoOS) {
9842cadef65SArthur Eubanks // We still use the legacy PM to run the codegen pipeline since the new PM
9852cadef65SArthur Eubanks // does not work with the codegen pipeline.
9862cadef65SArthur Eubanks // FIXME: make the new PM work with the codegen pipeline.
9872cadef65SArthur Eubanks legacy::PassManager CodeGenPasses;
9882cadef65SArthur Eubanks
9892cadef65SArthur Eubanks // Append any output we need to the pass manager.
9902cadef65SArthur Eubanks switch (Action) {
99150f9e893SChandler Carruth case Backend_EmitAssembly:
99250f9e893SChandler Carruth case Backend_EmitMCNull:
99350f9e893SChandler Carruth case Backend_EmitObj:
99450f9e893SChandler Carruth CodeGenPasses.add(
99550f9e893SChandler Carruth createTargetTransformInfoWrapperPass(getTargetIRAnalysis()));
996b207baebSAaron Puchert if (!CodeGenOpts.SplitDwarfOutput.empty()) {
997922759a6SAaron Puchert DwoOS = openOutputFile(CodeGenOpts.SplitDwarfOutput);
99891d02844SPeter Collingbourne if (!DwoOS)
99991d02844SPeter Collingbourne return;
100091d02844SPeter Collingbourne }
100191d02844SPeter Collingbourne if (!AddEmitPasses(CodeGenPasses, Action, *OS,
100291d02844SPeter Collingbourne DwoOS ? &DwoOS->os() : nullptr))
100350f9e893SChandler Carruth // FIXME: Should we handle this error differently?
100450f9e893SChandler Carruth return;
100550f9e893SChandler Carruth break;
10062cadef65SArthur Eubanks default:
10072cadef65SArthur Eubanks return;
100850f9e893SChandler Carruth }
100950f9e893SChandler Carruth
101055d887b8SWei Wang {
10112cadef65SArthur Eubanks PrettyStackTraceString CrashInfo("Code generation");
101255d887b8SWei Wang llvm::TimeTraceScope TimeScope("CodeGenPasses");
10132cadef65SArthur Eubanks CodeGenPasses.run(*TheModule);
10142cadef65SArthur Eubanks }
101555d887b8SWei Wang }
10162cadef65SArthur Eubanks
EmitAssembly(BackendAction Action,std::unique_ptr<raw_pwrite_stream> OS)1017b6a8c695SArthur Eubanks void EmitAssemblyHelper::EmitAssembly(BackendAction Action,
1018b6a8c695SArthur Eubanks std::unique_ptr<raw_pwrite_stream> OS) {
10192cadef65SArthur Eubanks TimeRegion Region(CodeGenOpts.TimePasses ? &CodeGenerationTime : nullptr);
10202cadef65SArthur Eubanks setCommandLineOpts(CodeGenOpts);
10212cadef65SArthur Eubanks
10229efce0baSItay Bookstein bool RequiresCodeGen = actionRequiresCodeGen(Action);
10232cadef65SArthur Eubanks CreateTargetMachine(RequiresCodeGen);
10242cadef65SArthur Eubanks
10252cadef65SArthur Eubanks if (RequiresCodeGen && !TM)
10262cadef65SArthur Eubanks return;
10272cadef65SArthur Eubanks if (TM)
10282cadef65SArthur Eubanks TheModule->setDataLayout(TM->createDataLayout());
10292cadef65SArthur Eubanks
103050f9e893SChandler Carruth // Before executing passes, print the final values of the LLVM options.
103150f9e893SChandler Carruth cl::PrintOptionValues();
103250f9e893SChandler Carruth
10332cadef65SArthur Eubanks std::unique_ptr<llvm::ToolOutputFile> ThinLinkOS, DwoOS;
10342cadef65SArthur Eubanks RunOptimizationPipeline(Action, OS, ThinLinkOS);
10352cadef65SArthur Eubanks RunCodegenPipeline(Action, OS, DwoOS);
103691d02844SPeter Collingbourne
103791d02844SPeter Collingbourne if (ThinLinkOS)
103891d02844SPeter Collingbourne ThinLinkOS->keep();
103991d02844SPeter Collingbourne if (DwoOS)
104091d02844SPeter Collingbourne DwoOS->keep();
104150f9e893SChandler Carruth }
104250f9e893SChandler Carruth
runThinLTOBackend(DiagnosticsEngine & Diags,ModuleSummaryIndex * CombinedIndex,Module * M,const HeaderSearchOptions & HeaderOpts,const CodeGenOptions & CGOpts,const clang::TargetOptions & TOpts,const LangOptions & LOpts,std::unique_ptr<raw_pwrite_stream> OS,std::string SampleProfile,std::string ProfileRemapping,BackendAction Action)1043e0bca46bSSriraman Tallam static void runThinLTOBackend(
1044e0bca46bSSriraman Tallam DiagnosticsEngine &Diags, ModuleSummaryIndex *CombinedIndex, Module *M,
1045e0bca46bSSriraman Tallam const HeaderSearchOptions &HeaderOpts, const CodeGenOptions &CGOpts,
1046e0bca46bSSriraman Tallam const clang::TargetOptions &TOpts, const LangOptions &LOpts,
1047e0bca46bSSriraman Tallam std::unique_ptr<raw_pwrite_stream> OS, std::string SampleProfile,
1048e0bca46bSSriraman Tallam std::string ProfileRemapping, BackendAction Action) {
10495f83d0e9SDehao Chen StringMap<DenseMap<GlobalValue::GUID, GlobalValueSummary *>>
10509e3f4746STeresa Johnson ModuleToDefinedGVSummaries;
10519e3f4746STeresa Johnson CombinedIndex->collectDefinedGVSummariesPerModule(ModuleToDefinedGVSummaries);
10529e3f4746STeresa Johnson
10536e2ec5f1SDavid Blaikie setCommandLineOpts(CGOpts);
10546e2ec5f1SDavid Blaikie
1055f9b17d48STeresa Johnson // We can simply import the values mentioned in the combined index, since
1056f9b17d48STeresa Johnson // we should only invoke this using the individual indexes written out
1057f9b17d48STeresa Johnson // via a WriteIndexesThinBackend.
10589e3f4746STeresa Johnson FunctionImporter::ImportMapTy ImportList;
1059d535a05cSWei Mi if (!lto::initImportList(*M, *CombinedIndex, ImportList))
10609e3f4746STeresa Johnson return;
10611a0720e8SPeter Collingbourne
10622d3a26ffSPeter Collingbourne auto AddStream = [&](size_t Task) {
1063a282ea48SAlexandre Ganea return std::make_unique<CachedFileStream>(std::move(OS),
1064a282ea48SAlexandre Ganea CGOpts.ObjectFilenameForDebug);
1065406aa22cSMehdi Amini };
10669e3f4746STeresa Johnson lto::Config Conf;
10679e4321c1STeresa Johnson if (CGOpts.SaveTempsFilePrefix != "") {
10689e4321c1STeresa Johnson if (Error E = Conf.addSaveTemps(CGOpts.SaveTempsFilePrefix + ".",
10699e4321c1STeresa Johnson /* UseInputModulePath */ false)) {
10709e4321c1STeresa Johnson handleAllErrors(std::move(E), [&](ErrorInfoBase &EIB) {
10719e4321c1STeresa Johnson errs() << "Error setting up ThinLTO save-temps: " << EIB.message()
10729e4321c1STeresa Johnson << '\n';
10739e4321c1STeresa Johnson });
10749e4321c1STeresa Johnson }
10759e4321c1STeresa Johnson }
10765ed6c107STeresa Johnson Conf.CPU = TOpts.CPU;
10775ed6c107STeresa Johnson Conf.CodeModel = getCodeModel(CGOpts);
10785ed6c107STeresa Johnson Conf.MAttrs = TOpts.Features;
1079e1d70530SRafael Espindola Conf.RelocModel = CGOpts.RelocationModel;
10805ed6c107STeresa Johnson Conf.CGOptLevel = getCGOptLevel(CGOpts);
1081867bc395STeresa Johnson Conf.OptLevel = CGOpts.OptimizationLevel;
1082e0bca46bSSriraman Tallam initTargetOptions(Diags, Conf.Options, CGOpts, TOpts, LOpts, HeaderOpts);
1083f6021ecdSBenjamin Kramer Conf.SampleProfile = std::move(SampleProfile);
108421a4710cSWei Mi Conf.PTO.LoopUnrolling = CGOpts.UnrollLoops;
108521a4710cSWei Mi // For historical reasons, loop interleaving is set to mirror setting for loop
108621a4710cSWei Mi // unrolling.
108721a4710cSWei Mi Conf.PTO.LoopInterleaving = CGOpts.UnrollLoops;
108821a4710cSWei Mi Conf.PTO.LoopVectorization = CGOpts.VectorizeLoop;
108921a4710cSWei Mi Conf.PTO.SLPVectorization = CGOpts.VectorizeSLP;
10901fbb7194SZequan Wu // Only enable CGProfilePass when using integrated assembler, since
10911fbb7194SZequan Wu // non-integrated assemblers don't recognize .cgprofile section.
10921fbb7194SZequan Wu Conf.PTO.CallGraphProfile = !CGOpts.DisableIntegratedAS;
1093a4a09b23SRong Xu
1094a4a09b23SRong Xu // Context sensitive profile.
1095a4a09b23SRong Xu if (CGOpts.hasProfileCSIRInstr()) {
1096a4a09b23SRong Xu Conf.RunCSIRInstr = true;
1097a4a09b23SRong Xu Conf.CSIRProfile = std::move(CGOpts.InstrProfileOutput);
1098a4a09b23SRong Xu } else if (CGOpts.hasProfileCSIRUse()) {
1099a4a09b23SRong Xu Conf.RunCSIRInstr = false;
1100a4a09b23SRong Xu Conf.CSIRProfile = std::move(CGOpts.ProfileInstrumentUsePath);
1101a4a09b23SRong Xu }
1102a4a09b23SRong Xu
11038654ae52SRichard Smith Conf.ProfileRemapping = std::move(ProfileRemapping);
11044cd016abSTeresa Johnson Conf.DebugPassManager = CGOpts.DebugPassManager;
110566744f81STeresa Johnson Conf.RemarksWithHotness = CGOpts.DiagnosticsWithHotness;
110666744f81STeresa Johnson Conf.RemarksFilename = CGOpts.OptRecordFile;
1107dd42236cSFrancis Visoiu Mistrih Conf.RemarksPasses = CGOpts.OptRecordPasses;
110834667519SFrancis Visoiu Mistrih Conf.RemarksFormat = CGOpts.OptRecordFormat;
1109e1dc495eSAaron Puchert Conf.SplitDwarfFile = CGOpts.SplitDwarfFile;
1110e1dc495eSAaron Puchert Conf.SplitDwarfOutput = CGOpts.SplitDwarfOutput;
1111b637cb07STeresa Johnson switch (Action) {
1112b637cb07STeresa Johnson case Backend_EmitNothing:
1113b637cb07STeresa Johnson Conf.PreCodeGenModuleHook = [](size_t Task, const Module &Mod) {
1114b637cb07STeresa Johnson return false;
1115b637cb07STeresa Johnson };
1116b637cb07STeresa Johnson break;
1117b637cb07STeresa Johnson case Backend_EmitLL:
1118b637cb07STeresa Johnson Conf.PreCodeGenModuleHook = [&](size_t Task, const Module &Mod) {
1119b637cb07STeresa Johnson M->print(*OS, nullptr, CGOpts.EmitLLVMUseLists);
1120b637cb07STeresa Johnson return false;
1121b637cb07STeresa Johnson };
1122b637cb07STeresa Johnson break;
1123b637cb07STeresa Johnson case Backend_EmitBC:
1124b637cb07STeresa Johnson Conf.PreCodeGenModuleHook = [&](size_t Task, const Module &Mod) {
112576c8f82eSRafael Espindola WriteBitcodeToFile(*M, *OS, CGOpts.EmitLLVMUseLists);
1126b637cb07STeresa Johnson return false;
1127b637cb07STeresa Johnson };
1128b637cb07STeresa Johnson break;
1129b637cb07STeresa Johnson default:
1130b637cb07STeresa Johnson Conf.CGFileType = getCodeGenFileType(Action);
1131b637cb07STeresa Johnson break;
1132b637cb07STeresa Johnson }
113361fc10d6SMircea Trofin if (Error E =
113461fc10d6SMircea Trofin thinBackend(Conf, -1, AddStream, *M, *CombinedIndex, ImportList,
113561fc10d6SMircea Trofin ModuleToDefinedGVSummaries[M->getModuleIdentifier()],
1136d535a05cSWei Mi /* ModuleMap */ nullptr, CGOpts.CmdArgs)) {
11379e3f4746STeresa Johnson handleAllErrors(std::move(E), [&](ErrorInfoBase &EIB) {
11389e3f4746STeresa Johnson errs() << "Error running ThinLTO backend: " << EIB.message() << '\n';
11399e3f4746STeresa Johnson });
11409e3f4746STeresa Johnson }
11419e3f4746STeresa Johnson }
11429e3f4746STeresa Johnson
EmitBackendOutput(DiagnosticsEngine & Diags,const HeaderSearchOptions & HeaderOpts,const CodeGenOptions & CGOpts,const clang::TargetOptions & TOpts,const LangOptions & LOpts,StringRef TDesc,Module * M,BackendAction Action,std::unique_ptr<raw_pwrite_stream> OS)11439c902b55SDavid Blaikie void clang::EmitBackendOutput(DiagnosticsEngine &Diags,
1144888e289eSSaleem Abdulrasool const HeaderSearchOptions &HeaderOpts,
11459c902b55SDavid Blaikie const CodeGenOptions &CGOpts,
1146432add5bSNick Lewycky const clang::TargetOptions &TOpts,
1147888e289eSSaleem Abdulrasool const LangOptions &LOpts,
11480f1137baSNico Weber StringRef TDesc, Module *M,
1149888e289eSSaleem Abdulrasool BackendAction Action,
115003f8907fSPeter Collingbourne std::unique_ptr<raw_pwrite_stream> OS) {
1151d880de2dSAnton Afanasyev
1152df494f75SRussell Gallop llvm::TimeTraceScope TimeScope("Backend");
1153d880de2dSAnton Afanasyev
1154769134daSVitaly Buka std::unique_ptr<llvm::Module> EmptyModule;
11559e3f4746STeresa Johnson if (!CGOpts.ThinLTOIndexFile.empty()) {
1156cffeb54fSTeresa Johnson // If we are performing a ThinLTO importing compile, load the function index
1157cffeb54fSTeresa Johnson // into memory and pass it into runThinLTOBackend, which will run the
1158cffeb54fSTeresa Johnson // function importer and invoke LTO passes.
11592410fb46SDuncan P. N. Exon Smith std::unique_ptr<ModuleSummaryIndex> CombinedIndex;
11602410fb46SDuncan P. N. Exon Smith if (Error E = llvm::getModuleSummaryIndexForFile(
11612410fb46SDuncan P. N. Exon Smith CGOpts.ThinLTOIndexFile,
11622410fb46SDuncan P. N. Exon Smith /*IgnoreEmptyThinLTOIndexFile*/ true)
11632410fb46SDuncan P. N. Exon Smith .moveInto(CombinedIndex)) {
11642410fb46SDuncan P. N. Exon Smith logAllUnhandledErrors(std::move(E), errs(),
1165cffeb54fSTeresa Johnson "Error loading index file '" +
1166cffeb54fSTeresa Johnson CGOpts.ThinLTOIndexFile + "': ");
11679e3f4746STeresa Johnson return;
11689e3f4746STeresa Johnson }
11692410fb46SDuncan P. N. Exon Smith
1170cffeb54fSTeresa Johnson // A null CombinedIndex means we should skip ThinLTO compilation
1171cffeb54fSTeresa Johnson // (LLVM will optionally ignore empty index files, returning null instead
1172cffeb54fSTeresa Johnson // of an error).
1173769134daSVitaly Buka if (CombinedIndex) {
1174769134daSVitaly Buka if (!CombinedIndex->skipModuleByDistributedBackend()) {
1175e0bca46bSSriraman Tallam runThinLTOBackend(Diags, CombinedIndex.get(), M, HeaderOpts, CGOpts,
1176e0bca46bSSriraman Tallam TOpts, LOpts, std::move(OS), CGOpts.SampleProfileFile,
11778654ae52SRichard Smith CGOpts.ProfileRemappingFile, Action);
1178cffeb54fSTeresa Johnson return;
1179cffeb54fSTeresa Johnson }
1180769134daSVitaly Buka // Distributed indexing detected that nothing from the module is needed
1181769134daSVitaly Buka // for the final linking. So we can skip the compilation. We sill need to
1182769134daSVitaly Buka // output an empty object file to make sure that a linker does not fail
1183769134daSVitaly Buka // trying to read it. Also for some features, like CFI, we must skip
1184769134daSVitaly Buka // the compilation as CombinedIndex does not contain all required
1185769134daSVitaly Buka // information.
11862b3d49b6SJonas Devlieghere EmptyModule = std::make_unique<llvm::Module>("empty", M->getContext());
1187769134daSVitaly Buka EmptyModule->setTargetTriple(M->getTargetTriple());
1188769134daSVitaly Buka M = EmptyModule.get();
1189769134daSVitaly Buka }
1190cffeb54fSTeresa Johnson }
11919e3f4746STeresa Johnson
1192888e289eSSaleem Abdulrasool EmitAssemblyHelper AsmHelper(Diags, HeaderOpts, CGOpts, TOpts, LOpts, M);
119303f8907fSPeter Collingbourne AsmHelper.EmitAssembly(Action, std::move(OS));
1194e83b9060SAlp Toker
1195b214cbc7SJames Y Knight // Verify clang's TargetInfo DataLayout against the LLVM TargetMachine's
1196b214cbc7SJames Y Knight // DataLayout.
1197b214cbc7SJames Y Knight if (AsmHelper.TM) {
1198ca3cf9e6SMehdi Amini std::string DLDesc = M->getDataLayout().getStringRepresentation();
11990f1137baSNico Weber if (DLDesc != TDesc) {
1200e83b9060SAlp Toker unsigned DiagID = Diags.getCustomDiagID(
1201e83b9060SAlp Toker DiagnosticsEngine::Error, "backend data layout '%0' does not match "
1202e83b9060SAlp Toker "expected target description '%1'");
12030f1137baSNico Weber Diags.Report(DiagID) << DLDesc << TDesc;
1204e83b9060SAlp Toker }
1205e83b9060SAlp Toker }
1206c1b1729bSDaniel Dunbar }
120727fb5227SSteven Wu
120827fb5227SSteven Wu // With -fembed-bitcode, save a copy of the llvm IR as data in the
120927fb5227SSteven Wu // __LLVM,__bitcode section.
EmbedBitcode(llvm::Module * M,const CodeGenOptions & CGOpts,llvm::MemoryBufferRef Buf)121027fb5227SSteven Wu void clang::EmbedBitcode(llvm::Module *M, const CodeGenOptions &CGOpts,
121127fb5227SSteven Wu llvm::MemoryBufferRef Buf) {
121227fb5227SSteven Wu if (CGOpts.getEmbedBitcode() == CodeGenOptions::Embed_Off)
121327fb5227SSteven Wu return;
12147aaf024dSFangrui Song llvm::embedBitcodeInModule(
1215c8e0bb3bSTeresa Johnson *M, Buf, CGOpts.getEmbedBitcode() != CodeGenOptions::Embed_Marker,
1216c8e0bb3bSTeresa Johnson CGOpts.getEmbedBitcode() != CodeGenOptions::Embed_Bitcode,
12176fa35541SMircea Trofin CGOpts.CmdArgs);
12182c059a55SSteven Wu }
1219551b1774SJoseph Huber
EmbedObject(llvm::Module * M,const CodeGenOptions & CGOpts,DiagnosticsEngine & Diags)1220551b1774SJoseph Huber void clang::EmbedObject(llvm::Module *M, const CodeGenOptions &CGOpts,
1221551b1774SJoseph Huber DiagnosticsEngine &Diags) {
1222551b1774SJoseph Huber if (CGOpts.OffloadObjects.empty())
1223551b1774SJoseph Huber return;
1224551b1774SJoseph Huber
1225551b1774SJoseph Huber for (StringRef OffloadObject : CGOpts.OffloadObjects) {
122626eb0426SJoseph Huber llvm::ErrorOr<std::unique_ptr<llvm::MemoryBuffer>> ObjectOrErr =
122726eb0426SJoseph Huber llvm::MemoryBuffer::getFileOrSTDIN(OffloadObject);
122826eb0426SJoseph Huber if (std::error_code EC = ObjectOrErr.getError()) {
122926eb0426SJoseph Huber auto DiagID = Diags.getCustomDiagID(DiagnosticsEngine::Error,
123026eb0426SJoseph Huber "could not open '%0' for embedding");
1231984a0dc3SJoseph Huber Diags.Report(DiagID) << OffloadObject;
1232551b1774SJoseph Huber return;
1233551b1774SJoseph Huber }
1234551b1774SJoseph Huber
123526eb0426SJoseph Huber llvm::embedBufferInModule(*M, **ObjectOrErr, ".llvm.offloading",
1236afd2f7e9SJoseph Huber Align(object::OffloadBinary::getAlignment()));
1237551b1774SJoseph Huber }
1238551b1774SJoseph Huber }
1239