xref: /freebsd/contrib/llvm-project/llvm/tools/llc/llc.cpp (revision 0eae32dcef82f6f06de6419a0d623d7def0cc8f6)
10b57cec5SDimitry Andric //===-- llc.cpp - Implement the LLVM Native Code Generator ----------------===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric //
90b57cec5SDimitry Andric // This is the llc code generator driver. It provides a convenient
100b57cec5SDimitry Andric // command-line interface for generating native assembly-language code
110b57cec5SDimitry Andric // or C code, given LLVM bitcode.
120b57cec5SDimitry Andric //
130b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
140b57cec5SDimitry Andric 
150b57cec5SDimitry Andric #include "llvm/ADT/STLExtras.h"
16349cc55cSDimitry Andric #include "llvm/ADT/ScopeExit.h"
170b57cec5SDimitry Andric #include "llvm/ADT/Triple.h"
180b57cec5SDimitry Andric #include "llvm/Analysis/TargetLibraryInfo.h"
195ffd83dbSDimitry Andric #include "llvm/CodeGen/CommandFlags.h"
200b57cec5SDimitry Andric #include "llvm/CodeGen/LinkAllAsmWriterComponents.h"
210b57cec5SDimitry Andric #include "llvm/CodeGen/LinkAllCodegenComponents.h"
220b57cec5SDimitry Andric #include "llvm/CodeGen/MIRParser/MIRParser.h"
230b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFunctionPass.h"
240b57cec5SDimitry Andric #include "llvm/CodeGen/MachineModuleInfo.h"
250b57cec5SDimitry Andric #include "llvm/CodeGen/TargetPassConfig.h"
260b57cec5SDimitry Andric #include "llvm/CodeGen/TargetSubtargetInfo.h"
270b57cec5SDimitry Andric #include "llvm/IR/AutoUpgrade.h"
280b57cec5SDimitry Andric #include "llvm/IR/DataLayout.h"
290b57cec5SDimitry Andric #include "llvm/IR/DiagnosticInfo.h"
300b57cec5SDimitry Andric #include "llvm/IR/DiagnosticPrinter.h"
310b57cec5SDimitry Andric #include "llvm/IR/IRPrintingPasses.h"
320b57cec5SDimitry Andric #include "llvm/IR/LLVMContext.h"
335ffd83dbSDimitry Andric #include "llvm/IR/LLVMRemarkStreamer.h"
340b57cec5SDimitry Andric #include "llvm/IR/LegacyPassManager.h"
350b57cec5SDimitry Andric #include "llvm/IR/Module.h"
360b57cec5SDimitry Andric #include "llvm/IR/Verifier.h"
370b57cec5SDimitry Andric #include "llvm/IRReader/IRReader.h"
38480093f4SDimitry Andric #include "llvm/InitializePasses.h"
390b57cec5SDimitry Andric #include "llvm/MC/SubtargetFeature.h"
40349cc55cSDimitry Andric #include "llvm/MC/TargetRegistry.h"
410b57cec5SDimitry Andric #include "llvm/Pass.h"
42e8d8bef9SDimitry Andric #include "llvm/Remarks/HotnessThresholdParser.h"
430b57cec5SDimitry Andric #include "llvm/Support/CommandLine.h"
440b57cec5SDimitry Andric #include "llvm/Support/Debug.h"
450b57cec5SDimitry Andric #include "llvm/Support/FileSystem.h"
460b57cec5SDimitry Andric #include "llvm/Support/FormattedStream.h"
470b57cec5SDimitry Andric #include "llvm/Support/Host.h"
480b57cec5SDimitry Andric #include "llvm/Support/InitLLVM.h"
490b57cec5SDimitry Andric #include "llvm/Support/ManagedStatic.h"
500b57cec5SDimitry Andric #include "llvm/Support/PluginLoader.h"
510b57cec5SDimitry Andric #include "llvm/Support/SourceMgr.h"
520b57cec5SDimitry Andric #include "llvm/Support/TargetSelect.h"
53349cc55cSDimitry Andric #include "llvm/Support/TimeProfiler.h"
540b57cec5SDimitry Andric #include "llvm/Support/ToolOutputFile.h"
550b57cec5SDimitry Andric #include "llvm/Support/WithColor.h"
565ffd83dbSDimitry Andric #include "llvm/Target/TargetLoweringObjectFile.h"
570b57cec5SDimitry Andric #include "llvm/Target/TargetMachine.h"
580b57cec5SDimitry Andric #include "llvm/Transforms/Utils/Cloning.h"
590b57cec5SDimitry Andric #include <memory>
600b57cec5SDimitry Andric using namespace llvm;
610b57cec5SDimitry Andric 
625ffd83dbSDimitry Andric static codegen::RegisterCodeGenFlags CGF;
635ffd83dbSDimitry Andric 
640b57cec5SDimitry Andric // General options for llc.  Other pass-specific options are specified
650b57cec5SDimitry Andric // within the corresponding llc passes, and target-specific options
660b57cec5SDimitry Andric // and back-end code generation options are specified with the target machine.
670b57cec5SDimitry Andric //
680b57cec5SDimitry Andric static cl::opt<std::string>
690b57cec5SDimitry Andric InputFilename(cl::Positional, cl::desc("<input bitcode>"), cl::init("-"));
700b57cec5SDimitry Andric 
710b57cec5SDimitry Andric static cl::opt<std::string>
720b57cec5SDimitry Andric InputLanguage("x", cl::desc("Input language ('ir' or 'mir')"));
730b57cec5SDimitry Andric 
740b57cec5SDimitry Andric static cl::opt<std::string>
750b57cec5SDimitry Andric OutputFilename("o", cl::desc("Output filename"), cl::value_desc("filename"));
760b57cec5SDimitry Andric 
770b57cec5SDimitry Andric static cl::opt<std::string>
780b57cec5SDimitry Andric     SplitDwarfOutputFile("split-dwarf-output",
790b57cec5SDimitry Andric                          cl::desc(".dwo output filename"),
800b57cec5SDimitry Andric                          cl::value_desc("filename"));
810b57cec5SDimitry Andric 
820b57cec5SDimitry Andric static cl::opt<unsigned>
830b57cec5SDimitry Andric TimeCompilations("time-compilations", cl::Hidden, cl::init(1u),
840b57cec5SDimitry Andric                  cl::value_desc("N"),
850b57cec5SDimitry Andric                  cl::desc("Repeat compilation N times for timing"));
860b57cec5SDimitry Andric 
87349cc55cSDimitry Andric static cl::opt<bool> TimeTrace("time-trace", cl::desc("Record time trace"));
88349cc55cSDimitry Andric 
89349cc55cSDimitry Andric static cl::opt<unsigned> TimeTraceGranularity(
90349cc55cSDimitry Andric     "time-trace-granularity",
91349cc55cSDimitry Andric     cl::desc(
92349cc55cSDimitry Andric         "Minimum time granularity (in microseconds) traced by time profiler"),
93349cc55cSDimitry Andric     cl::init(500), cl::Hidden);
94349cc55cSDimitry Andric 
95349cc55cSDimitry Andric static cl::opt<std::string>
96349cc55cSDimitry Andric     TimeTraceFile("time-trace-file",
97349cc55cSDimitry Andric                   cl::desc("Specify time trace file destination"),
98349cc55cSDimitry Andric                   cl::value_desc("filename"));
99349cc55cSDimitry Andric 
100e8d8bef9SDimitry Andric static cl::opt<std::string>
101e8d8bef9SDimitry Andric     BinutilsVersion("binutils-version", cl::Hidden,
102e8d8bef9SDimitry Andric                     cl::desc("Produced object files can use all ELF features "
103e8d8bef9SDimitry Andric                              "supported by this binutils version and newer."
104e8d8bef9SDimitry Andric                              "If -no-integrated-as is specified, the generated "
105e8d8bef9SDimitry Andric                              "assembly will consider GNU as support."
106e8d8bef9SDimitry Andric                              "'none' means that all ELF features can be used, "
107e8d8bef9SDimitry Andric                              "regardless of binutils support"));
108e8d8bef9SDimitry Andric 
1090b57cec5SDimitry Andric static cl::opt<bool>
1100b57cec5SDimitry Andric NoIntegratedAssembler("no-integrated-as", cl::Hidden,
1110b57cec5SDimitry Andric                       cl::desc("Disable integrated assembler"));
1120b57cec5SDimitry Andric 
1130b57cec5SDimitry Andric static cl::opt<bool>
1140b57cec5SDimitry Andric     PreserveComments("preserve-as-comments", cl::Hidden,
1150b57cec5SDimitry Andric                      cl::desc("Preserve Comments in outputted assembly"),
1160b57cec5SDimitry Andric                      cl::init(true));
1170b57cec5SDimitry Andric 
1180b57cec5SDimitry Andric // Determine optimization level.
1190b57cec5SDimitry Andric static cl::opt<char>
1200b57cec5SDimitry Andric OptLevel("O",
1210b57cec5SDimitry Andric          cl::desc("Optimization level. [-O0, -O1, -O2, or -O3] "
1220b57cec5SDimitry Andric                   "(default = '-O2')"),
1230b57cec5SDimitry Andric          cl::Prefix,
1240b57cec5SDimitry Andric          cl::ZeroOrMore,
1250b57cec5SDimitry Andric          cl::init(' '));
1260b57cec5SDimitry Andric 
1270b57cec5SDimitry Andric static cl::opt<std::string>
1280b57cec5SDimitry Andric TargetTriple("mtriple", cl::desc("Override target triple for module"));
1290b57cec5SDimitry Andric 
1300b57cec5SDimitry Andric static cl::opt<std::string> SplitDwarfFile(
1310b57cec5SDimitry Andric     "split-dwarf-file",
1320b57cec5SDimitry Andric     cl::desc(
1330b57cec5SDimitry Andric         "Specify the name of the .dwo file to encode in the DWARF output"));
1340b57cec5SDimitry Andric 
1350b57cec5SDimitry Andric static cl::opt<bool> NoVerify("disable-verify", cl::Hidden,
1360b57cec5SDimitry Andric                               cl::desc("Do not verify input module"));
1370b57cec5SDimitry Andric 
1380b57cec5SDimitry Andric static cl::opt<bool> DisableSimplifyLibCalls("disable-simplify-libcalls",
1390b57cec5SDimitry Andric                                              cl::desc("Disable simplify-libcalls"));
1400b57cec5SDimitry Andric 
1410b57cec5SDimitry Andric static cl::opt<bool> ShowMCEncoding("show-mc-encoding", cl::Hidden,
1420b57cec5SDimitry Andric                                     cl::desc("Show encoding in .s output"));
1430b57cec5SDimitry Andric 
144fe6060f1SDimitry Andric static cl::opt<bool>
145fe6060f1SDimitry Andric     DwarfDirectory("dwarf-directory", cl::Hidden,
146fe6060f1SDimitry Andric                    cl::desc("Use .file directives with an explicit directory"),
147fe6060f1SDimitry Andric                    cl::init(true));
1480b57cec5SDimitry Andric 
1490b57cec5SDimitry Andric static cl::opt<bool> AsmVerbose("asm-verbose",
1500b57cec5SDimitry Andric                                 cl::desc("Add comments to directives."),
1510b57cec5SDimitry Andric                                 cl::init(true));
1520b57cec5SDimitry Andric 
1530b57cec5SDimitry Andric static cl::opt<bool>
1540b57cec5SDimitry Andric     CompileTwice("compile-twice", cl::Hidden,
1550b57cec5SDimitry Andric                  cl::desc("Run everything twice, re-using the same pass "
1560b57cec5SDimitry Andric                           "manager and verify the result is the same."),
1570b57cec5SDimitry Andric                  cl::init(false));
1580b57cec5SDimitry Andric 
1590b57cec5SDimitry Andric static cl::opt<bool> DiscardValueNames(
1600b57cec5SDimitry Andric     "discard-value-names",
1610b57cec5SDimitry Andric     cl::desc("Discard names from Value (other than GlobalValue)."),
1620b57cec5SDimitry Andric     cl::init(false), cl::Hidden);
1630b57cec5SDimitry Andric 
1640b57cec5SDimitry Andric static cl::list<std::string> IncludeDirs("I", cl::desc("include search path"));
1650b57cec5SDimitry Andric 
1660b57cec5SDimitry Andric static cl::opt<bool> RemarksWithHotness(
1670b57cec5SDimitry Andric     "pass-remarks-with-hotness",
1680b57cec5SDimitry Andric     cl::desc("With PGO, include profile count in optimization remarks"),
1690b57cec5SDimitry Andric     cl::Hidden);
1700b57cec5SDimitry Andric 
171e8d8bef9SDimitry Andric static cl::opt<Optional<uint64_t>, false, remarks::HotnessThresholdParser>
172e8d8bef9SDimitry Andric     RemarksHotnessThreshold(
173e8d8bef9SDimitry Andric         "pass-remarks-hotness-threshold",
1740b57cec5SDimitry Andric         cl::desc("Minimum profile count required for "
175e8d8bef9SDimitry Andric                  "an optimization remark to be output. "
176e8d8bef9SDimitry Andric                  "Use 'auto' to apply the threshold from profile summary."),
177e8d8bef9SDimitry Andric         cl::value_desc("N or 'auto'"), cl::init(0), cl::Hidden);
1780b57cec5SDimitry Andric 
1790b57cec5SDimitry Andric static cl::opt<std::string>
1800b57cec5SDimitry Andric     RemarksFilename("pass-remarks-output",
1810b57cec5SDimitry Andric                     cl::desc("Output filename for pass remarks"),
1820b57cec5SDimitry Andric                     cl::value_desc("filename"));
1830b57cec5SDimitry Andric 
1840b57cec5SDimitry Andric static cl::opt<std::string>
1850b57cec5SDimitry Andric     RemarksPasses("pass-remarks-filter",
1860b57cec5SDimitry Andric                   cl::desc("Only record optimization remarks from passes whose "
1870b57cec5SDimitry Andric                            "names match the given regular expression"),
1880b57cec5SDimitry Andric                   cl::value_desc("regex"));
1890b57cec5SDimitry Andric 
1900b57cec5SDimitry Andric static cl::opt<std::string> RemarksFormat(
1910b57cec5SDimitry Andric     "pass-remarks-format",
1920b57cec5SDimitry Andric     cl::desc("The format used for serializing remarks (default: YAML)"),
1930b57cec5SDimitry Andric     cl::value_desc("format"), cl::init("yaml"));
1940b57cec5SDimitry Andric 
1950b57cec5SDimitry Andric namespace {
1960b57cec5SDimitry Andric static ManagedStatic<std::vector<std::string>> RunPassNames;
1970b57cec5SDimitry Andric 
1980b57cec5SDimitry Andric struct RunPassOption {
1990b57cec5SDimitry Andric   void operator=(const std::string &Val) const {
2000b57cec5SDimitry Andric     if (Val.empty())
2010b57cec5SDimitry Andric       return;
2020b57cec5SDimitry Andric     SmallVector<StringRef, 8> PassNames;
2030b57cec5SDimitry Andric     StringRef(Val).split(PassNames, ',', -1, false);
2040b57cec5SDimitry Andric     for (auto PassName : PassNames)
2055ffd83dbSDimitry Andric       RunPassNames->push_back(std::string(PassName));
2060b57cec5SDimitry Andric   }
2070b57cec5SDimitry Andric };
2080b57cec5SDimitry Andric }
2090b57cec5SDimitry Andric 
2100b57cec5SDimitry Andric static RunPassOption RunPassOpt;
2110b57cec5SDimitry Andric 
2120b57cec5SDimitry Andric static cl::opt<RunPassOption, true, cl::parser<std::string>> RunPass(
2130b57cec5SDimitry Andric     "run-pass",
2140b57cec5SDimitry Andric     cl::desc("Run compiler only for specified passes (comma separated list)"),
2150b57cec5SDimitry Andric     cl::value_desc("pass-name"), cl::ZeroOrMore, cl::location(RunPassOpt));
2160b57cec5SDimitry Andric 
2170b57cec5SDimitry Andric static int compileModule(char **, LLVMContext &);
2180b57cec5SDimitry Andric 
219349cc55cSDimitry Andric [[noreturn]] static void reportError(Twine Msg, StringRef Filename = "") {
220e8d8bef9SDimitry Andric   SmallString<256> Prefix;
221e8d8bef9SDimitry Andric   if (!Filename.empty()) {
222e8d8bef9SDimitry Andric     if (Filename == "-")
223e8d8bef9SDimitry Andric       Filename = "<stdin>";
224e8d8bef9SDimitry Andric     ("'" + Twine(Filename) + "': ").toStringRef(Prefix);
225e8d8bef9SDimitry Andric   }
226e8d8bef9SDimitry Andric   WithColor::error(errs(), "llc") << Prefix << Msg << "\n";
227e8d8bef9SDimitry Andric   exit(1);
228e8d8bef9SDimitry Andric }
229e8d8bef9SDimitry Andric 
230349cc55cSDimitry Andric [[noreturn]] static void reportError(Error Err, StringRef Filename) {
231e8d8bef9SDimitry Andric   assert(Err);
232e8d8bef9SDimitry Andric   handleAllErrors(createFileError(Filename, std::move(Err)),
233e8d8bef9SDimitry Andric                   [&](const ErrorInfoBase &EI) { reportError(EI.message()); });
234e8d8bef9SDimitry Andric   llvm_unreachable("reportError() should not return");
235e8d8bef9SDimitry Andric }
236e8d8bef9SDimitry Andric 
2370b57cec5SDimitry Andric static std::unique_ptr<ToolOutputFile> GetOutputStream(const char *TargetName,
2380b57cec5SDimitry Andric                                                        Triple::OSType OS,
2390b57cec5SDimitry Andric                                                        const char *ProgName) {
2400b57cec5SDimitry Andric   // If we don't yet have an output filename, make one.
2410b57cec5SDimitry Andric   if (OutputFilename.empty()) {
2420b57cec5SDimitry Andric     if (InputFilename == "-")
2430b57cec5SDimitry Andric       OutputFilename = "-";
2440b57cec5SDimitry Andric     else {
2450b57cec5SDimitry Andric       // If InputFilename ends in .bc or .ll, remove it.
2460b57cec5SDimitry Andric       StringRef IFN = InputFilename;
2470b57cec5SDimitry Andric       if (IFN.endswith(".bc") || IFN.endswith(".ll"))
2485ffd83dbSDimitry Andric         OutputFilename = std::string(IFN.drop_back(3));
2490b57cec5SDimitry Andric       else if (IFN.endswith(".mir"))
2505ffd83dbSDimitry Andric         OutputFilename = std::string(IFN.drop_back(4));
2510b57cec5SDimitry Andric       else
2525ffd83dbSDimitry Andric         OutputFilename = std::string(IFN);
2530b57cec5SDimitry Andric 
2545ffd83dbSDimitry Andric       switch (codegen::getFileType()) {
255480093f4SDimitry Andric       case CGFT_AssemblyFile:
2560b57cec5SDimitry Andric         if (TargetName[0] == 'c') {
2570b57cec5SDimitry Andric           if (TargetName[1] == 0)
2580b57cec5SDimitry Andric             OutputFilename += ".cbe.c";
2590b57cec5SDimitry Andric           else if (TargetName[1] == 'p' && TargetName[2] == 'p')
2600b57cec5SDimitry Andric             OutputFilename += ".cpp";
2610b57cec5SDimitry Andric           else
2620b57cec5SDimitry Andric             OutputFilename += ".s";
2630b57cec5SDimitry Andric         } else
2640b57cec5SDimitry Andric           OutputFilename += ".s";
2650b57cec5SDimitry Andric         break;
266480093f4SDimitry Andric       case CGFT_ObjectFile:
2670b57cec5SDimitry Andric         if (OS == Triple::Win32)
2680b57cec5SDimitry Andric           OutputFilename += ".obj";
2690b57cec5SDimitry Andric         else
2700b57cec5SDimitry Andric           OutputFilename += ".o";
2710b57cec5SDimitry Andric         break;
272480093f4SDimitry Andric       case CGFT_Null:
273e8d8bef9SDimitry Andric         OutputFilename = "-";
2740b57cec5SDimitry Andric         break;
2750b57cec5SDimitry Andric       }
2760b57cec5SDimitry Andric     }
2770b57cec5SDimitry Andric   }
2780b57cec5SDimitry Andric 
2790b57cec5SDimitry Andric   // Decide if we need "binary" output.
2800b57cec5SDimitry Andric   bool Binary = false;
2815ffd83dbSDimitry Andric   switch (codegen::getFileType()) {
282480093f4SDimitry Andric   case CGFT_AssemblyFile:
2830b57cec5SDimitry Andric     break;
284480093f4SDimitry Andric   case CGFT_ObjectFile:
285480093f4SDimitry Andric   case CGFT_Null:
2860b57cec5SDimitry Andric     Binary = true;
2870b57cec5SDimitry Andric     break;
2880b57cec5SDimitry Andric   }
2890b57cec5SDimitry Andric 
2900b57cec5SDimitry Andric   // Open the file.
2910b57cec5SDimitry Andric   std::error_code EC;
2928bcb0991SDimitry Andric   sys::fs::OpenFlags OpenFlags = sys::fs::OF_None;
2930b57cec5SDimitry Andric   if (!Binary)
294fe6060f1SDimitry Andric     OpenFlags |= sys::fs::OF_TextWithCRLF;
2958bcb0991SDimitry Andric   auto FDOut = std::make_unique<ToolOutputFile>(OutputFilename, EC, OpenFlags);
2960b57cec5SDimitry Andric   if (EC) {
297e8d8bef9SDimitry Andric     reportError(EC.message());
2980b57cec5SDimitry Andric     return nullptr;
2990b57cec5SDimitry Andric   }
3000b57cec5SDimitry Andric 
3010b57cec5SDimitry Andric   return FDOut;
3020b57cec5SDimitry Andric }
3030b57cec5SDimitry Andric 
3040b57cec5SDimitry Andric struct LLCDiagnosticHandler : public DiagnosticHandler {
3050b57cec5SDimitry Andric   bool *HasError;
3060b57cec5SDimitry Andric   LLCDiagnosticHandler(bool *HasErrorPtr) : HasError(HasErrorPtr) {}
3070b57cec5SDimitry Andric   bool handleDiagnostics(const DiagnosticInfo &DI) override {
308fe6060f1SDimitry Andric     if (DI.getKind() == llvm::DK_SrcMgr) {
309fe6060f1SDimitry Andric       const auto &DISM = cast<DiagnosticInfoSrcMgr>(DI);
310fe6060f1SDimitry Andric       const SMDiagnostic &SMD = DISM.getSMDiag();
311fe6060f1SDimitry Andric 
312fe6060f1SDimitry Andric       if (SMD.getKind() == SourceMgr::DK_Error)
313fe6060f1SDimitry Andric         *HasError = true;
314fe6060f1SDimitry Andric 
315fe6060f1SDimitry Andric       SMD.print(nullptr, errs());
316fe6060f1SDimitry Andric 
317fe6060f1SDimitry Andric       // For testing purposes, we print the LocCookie here.
318fe6060f1SDimitry Andric       if (DISM.isInlineAsmDiag() && DISM.getLocCookie())
319fe6060f1SDimitry Andric         WithColor::note() << "!srcloc = " << DISM.getLocCookie() << "\n";
320fe6060f1SDimitry Andric 
321fe6060f1SDimitry Andric       return true;
322fe6060f1SDimitry Andric     }
323fe6060f1SDimitry Andric 
3240b57cec5SDimitry Andric     if (DI.getSeverity() == DS_Error)
3250b57cec5SDimitry Andric       *HasError = true;
3260b57cec5SDimitry Andric 
3270b57cec5SDimitry Andric     if (auto *Remark = dyn_cast<DiagnosticInfoOptimizationBase>(&DI))
3280b57cec5SDimitry Andric       if (!Remark->isEnabled())
3290b57cec5SDimitry Andric         return true;
3300b57cec5SDimitry Andric 
3310b57cec5SDimitry Andric     DiagnosticPrinterRawOStream DP(errs());
3320b57cec5SDimitry Andric     errs() << LLVMContext::getDiagnosticMessagePrefix(DI.getSeverity()) << ": ";
3330b57cec5SDimitry Andric     DI.print(DP);
3340b57cec5SDimitry Andric     errs() << "\n";
3350b57cec5SDimitry Andric     return true;
3360b57cec5SDimitry Andric   }
3370b57cec5SDimitry Andric };
3380b57cec5SDimitry Andric 
3390b57cec5SDimitry Andric // main - Entry point for the llc compiler.
3400b57cec5SDimitry Andric //
3410b57cec5SDimitry Andric int main(int argc, char **argv) {
3420b57cec5SDimitry Andric   InitLLVM X(argc, argv);
3430b57cec5SDimitry Andric 
3440b57cec5SDimitry Andric   // Enable debug stream buffering.
3450b57cec5SDimitry Andric   EnableDebugBuffering = true;
3460b57cec5SDimitry Andric 
3470b57cec5SDimitry Andric   // Initialize targets first, so that --version shows registered targets.
3480b57cec5SDimitry Andric   InitializeAllTargets();
3490b57cec5SDimitry Andric   InitializeAllTargetMCs();
3500b57cec5SDimitry Andric   InitializeAllAsmPrinters();
3510b57cec5SDimitry Andric   InitializeAllAsmParsers();
3520b57cec5SDimitry Andric 
3530b57cec5SDimitry Andric   // Initialize codegen and IR passes used by llc so that the -print-after,
3540b57cec5SDimitry Andric   // -print-before, and -stop-after options work.
3550b57cec5SDimitry Andric   PassRegistry *Registry = PassRegistry::getPassRegistry();
3560b57cec5SDimitry Andric   initializeCore(*Registry);
3570b57cec5SDimitry Andric   initializeCodeGen(*Registry);
3580b57cec5SDimitry Andric   initializeLoopStrengthReducePass(*Registry);
3590b57cec5SDimitry Andric   initializeLowerIntrinsicsPass(*Registry);
3600b57cec5SDimitry Andric   initializeEntryExitInstrumenterPass(*Registry);
3610b57cec5SDimitry Andric   initializePostInlineEntryExitInstrumenterPass(*Registry);
3620b57cec5SDimitry Andric   initializeUnreachableBlockElimLegacyPassPass(*Registry);
3630b57cec5SDimitry Andric   initializeConstantHoistingLegacyPassPass(*Registry);
3640b57cec5SDimitry Andric   initializeScalarOpts(*Registry);
3650b57cec5SDimitry Andric   initializeVectorization(*Registry);
366e8d8bef9SDimitry Andric   initializeScalarizeMaskedMemIntrinLegacyPassPass(*Registry);
3670b57cec5SDimitry Andric   initializeExpandReductionsPass(*Registry);
368fe6060f1SDimitry Andric   initializeExpandVectorPredicationPass(*Registry);
3690b57cec5SDimitry Andric   initializeHardwareLoopsPass(*Registry);
3705ffd83dbSDimitry Andric   initializeTransformUtils(*Registry);
371fe6060f1SDimitry Andric   initializeReplaceWithVeclibLegacyPass(*Registry);
3720b57cec5SDimitry Andric 
3730b57cec5SDimitry Andric   // Initialize debugging passes.
3740b57cec5SDimitry Andric   initializeScavengerTestPass(*Registry);
3750b57cec5SDimitry Andric 
3760b57cec5SDimitry Andric   // Register the target printer for --version.
3770b57cec5SDimitry Andric   cl::AddExtraVersionPrinter(TargetRegistry::printRegisteredTargetsForVersion);
3780b57cec5SDimitry Andric 
3790b57cec5SDimitry Andric   cl::ParseCommandLineOptions(argc, argv, "llvm system compiler\n");
3800b57cec5SDimitry Andric 
381349cc55cSDimitry Andric   if (TimeTrace)
382349cc55cSDimitry Andric     timeTraceProfilerInitialize(TimeTraceGranularity, argv[0]);
383349cc55cSDimitry Andric   auto TimeTraceScopeExit = make_scope_exit([]() {
384349cc55cSDimitry Andric     if (TimeTrace) {
385349cc55cSDimitry Andric       if (auto E = timeTraceProfilerWrite(TimeTraceFile, OutputFilename)) {
386349cc55cSDimitry Andric         handleAllErrors(std::move(E), [&](const StringError &SE) {
387349cc55cSDimitry Andric           errs() << SE.getMessage() << "\n";
388349cc55cSDimitry Andric         });
389349cc55cSDimitry Andric         return;
390349cc55cSDimitry Andric       }
391349cc55cSDimitry Andric       timeTraceProfilerCleanup();
392349cc55cSDimitry Andric     }
393349cc55cSDimitry Andric   });
394349cc55cSDimitry Andric 
395349cc55cSDimitry Andric   LLVMContext Context;
3960b57cec5SDimitry Andric   Context.setDiscardValueNames(DiscardValueNames);
3970b57cec5SDimitry Andric 
3980b57cec5SDimitry Andric   // Set a diagnostic handler that doesn't exit on the first error
3990b57cec5SDimitry Andric   bool HasError = false;
4000b57cec5SDimitry Andric   Context.setDiagnosticHandler(
4018bcb0991SDimitry Andric       std::make_unique<LLCDiagnosticHandler>(&HasError));
4020b57cec5SDimitry Andric 
4030b57cec5SDimitry Andric   Expected<std::unique_ptr<ToolOutputFile>> RemarksFileOrErr =
4045ffd83dbSDimitry Andric       setupLLVMOptimizationRemarks(Context, RemarksFilename, RemarksPasses,
4050b57cec5SDimitry Andric                                    RemarksFormat, RemarksWithHotness,
4060b57cec5SDimitry Andric                                    RemarksHotnessThreshold);
407e8d8bef9SDimitry Andric   if (Error E = RemarksFileOrErr.takeError())
408e8d8bef9SDimitry Andric     reportError(std::move(E), RemarksFilename);
4090b57cec5SDimitry Andric   std::unique_ptr<ToolOutputFile> RemarksFile = std::move(*RemarksFileOrErr);
4100b57cec5SDimitry Andric 
411e8d8bef9SDimitry Andric   if (InputLanguage != "" && InputLanguage != "ir" && InputLanguage != "mir")
412e8d8bef9SDimitry Andric     reportError("input language must be '', 'IR' or 'MIR'");
4130b57cec5SDimitry Andric 
4140b57cec5SDimitry Andric   // Compile the module TimeCompilations times to give better compile time
4150b57cec5SDimitry Andric   // metrics.
4160b57cec5SDimitry Andric   for (unsigned I = TimeCompilations; I; --I)
4170b57cec5SDimitry Andric     if (int RetVal = compileModule(argv, Context))
4180b57cec5SDimitry Andric       return RetVal;
4190b57cec5SDimitry Andric 
4200b57cec5SDimitry Andric   if (RemarksFile)
4210b57cec5SDimitry Andric     RemarksFile->keep();
4220b57cec5SDimitry Andric   return 0;
4230b57cec5SDimitry Andric }
4240b57cec5SDimitry Andric 
4250b57cec5SDimitry Andric static bool addPass(PassManagerBase &PM, const char *argv0,
4260b57cec5SDimitry Andric                     StringRef PassName, TargetPassConfig &TPC) {
4270b57cec5SDimitry Andric   if (PassName == "none")
4280b57cec5SDimitry Andric     return false;
4290b57cec5SDimitry Andric 
4300b57cec5SDimitry Andric   const PassRegistry *PR = PassRegistry::getPassRegistry();
4310b57cec5SDimitry Andric   const PassInfo *PI = PR->getPassInfo(PassName);
4320b57cec5SDimitry Andric   if (!PI) {
4330b57cec5SDimitry Andric     WithColor::error(errs(), argv0)
4340b57cec5SDimitry Andric         << "run-pass " << PassName << " is not registered.\n";
4350b57cec5SDimitry Andric     return true;
4360b57cec5SDimitry Andric   }
4370b57cec5SDimitry Andric 
4380b57cec5SDimitry Andric   Pass *P;
4390b57cec5SDimitry Andric   if (PI->getNormalCtor())
4400b57cec5SDimitry Andric     P = PI->getNormalCtor()();
4410b57cec5SDimitry Andric   else {
4420b57cec5SDimitry Andric     WithColor::error(errs(), argv0)
4430b57cec5SDimitry Andric         << "cannot create pass: " << PI->getPassName() << "\n";
4440b57cec5SDimitry Andric     return true;
4450b57cec5SDimitry Andric   }
4460b57cec5SDimitry Andric   std::string Banner = std::string("After ") + std::string(P->getPassName());
4475ffd83dbSDimitry Andric   TPC.addMachinePrePasses();
4480b57cec5SDimitry Andric   PM.add(P);
4495ffd83dbSDimitry Andric   TPC.addMachinePostPasses(Banner);
4500b57cec5SDimitry Andric 
4510b57cec5SDimitry Andric   return false;
4520b57cec5SDimitry Andric }
4530b57cec5SDimitry Andric 
4540b57cec5SDimitry Andric static int compileModule(char **argv, LLVMContext &Context) {
4550b57cec5SDimitry Andric   // Load the module to be compiled...
4560b57cec5SDimitry Andric   SMDiagnostic Err;
4570b57cec5SDimitry Andric   std::unique_ptr<Module> M;
4580b57cec5SDimitry Andric   std::unique_ptr<MIRParser> MIR;
4590b57cec5SDimitry Andric   Triple TheTriple;
4605ffd83dbSDimitry Andric   std::string CPUStr = codegen::getCPUStr(),
4615ffd83dbSDimitry Andric               FeaturesStr = codegen::getFeaturesStr();
462480093f4SDimitry Andric 
463480093f4SDimitry Andric   // Set attributes on functions as loaded from MIR from command line arguments.
464480093f4SDimitry Andric   auto setMIRFunctionAttributes = [&CPUStr, &FeaturesStr](Function &F) {
4655ffd83dbSDimitry Andric     codegen::setFunctionAttributes(CPUStr, FeaturesStr, F);
466480093f4SDimitry Andric   };
4670b57cec5SDimitry Andric 
4685ffd83dbSDimitry Andric   auto MAttrs = codegen::getMAttrs();
4695ffd83dbSDimitry Andric   bool SkipModule = codegen::getMCPU() == "help" ||
4700b57cec5SDimitry Andric                     (!MAttrs.empty() && MAttrs.front() == "help");
4710b57cec5SDimitry Andric 
4720b57cec5SDimitry Andric   CodeGenOpt::Level OLvl = CodeGenOpt::Default;
4730b57cec5SDimitry Andric   switch (OptLevel) {
4740b57cec5SDimitry Andric   default:
4750b57cec5SDimitry Andric     WithColor::error(errs(), argv[0]) << "invalid optimization level.\n";
4760b57cec5SDimitry Andric     return 1;
4770b57cec5SDimitry Andric   case ' ': break;
4780b57cec5SDimitry Andric   case '0': OLvl = CodeGenOpt::None; break;
4790b57cec5SDimitry Andric   case '1': OLvl = CodeGenOpt::Less; break;
4800b57cec5SDimitry Andric   case '2': OLvl = CodeGenOpt::Default; break;
4810b57cec5SDimitry Andric   case '3': OLvl = CodeGenOpt::Aggressive; break;
4820b57cec5SDimitry Andric   }
4830b57cec5SDimitry Andric 
484e8d8bef9SDimitry Andric   // Parse 'none' or '$major.$minor'. Disallow -binutils-version=0 because we
485e8d8bef9SDimitry Andric   // use that to indicate the MC default.
486e8d8bef9SDimitry Andric   if (!BinutilsVersion.empty() && BinutilsVersion != "none") {
487e8d8bef9SDimitry Andric     StringRef V = BinutilsVersion.getValue();
488e8d8bef9SDimitry Andric     unsigned Num;
489e8d8bef9SDimitry Andric     if (V.consumeInteger(10, Num) || Num == 0 ||
490e8d8bef9SDimitry Andric         !(V.empty() ||
491e8d8bef9SDimitry Andric           (V.consume_front(".") && !V.consumeInteger(10, Num) && V.empty()))) {
492e8d8bef9SDimitry Andric       WithColor::error(errs(), argv[0])
493e8d8bef9SDimitry Andric           << "invalid -binutils-version, accepting 'none' or major.minor\n";
494e8d8bef9SDimitry Andric       return 1;
495e8d8bef9SDimitry Andric     }
496e8d8bef9SDimitry Andric   }
497e8d8bef9SDimitry Andric   TargetOptions Options;
498e8d8bef9SDimitry Andric   auto InitializeOptions = [&](const Triple &TheTriple) {
499e8d8bef9SDimitry Andric     Options = codegen::InitTargetOptionsFromCodeGenFlags(TheTriple);
500e8d8bef9SDimitry Andric     Options.BinutilsVersion =
501e8d8bef9SDimitry Andric         TargetMachine::parseBinutilsVersion(BinutilsVersion);
5020b57cec5SDimitry Andric     Options.DisableIntegratedAS = NoIntegratedAssembler;
5030b57cec5SDimitry Andric     Options.MCOptions.ShowMCEncoding = ShowMCEncoding;
504fe6060f1SDimitry Andric     Options.MCOptions.MCUseDwarfDirectory = DwarfDirectory;
5050b57cec5SDimitry Andric     Options.MCOptions.AsmVerbose = AsmVerbose;
5060b57cec5SDimitry Andric     Options.MCOptions.PreserveAsmComments = PreserveComments;
5070b57cec5SDimitry Andric     Options.MCOptions.IASSearchPaths = IncludeDirs;
5080b57cec5SDimitry Andric     Options.MCOptions.SplitDwarfFile = SplitDwarfFile;
509e8d8bef9SDimitry Andric   };
5100b57cec5SDimitry Andric 
5115ffd83dbSDimitry Andric   Optional<Reloc::Model> RM = codegen::getExplicitRelocModel();
5120b57cec5SDimitry Andric 
5135ffd83dbSDimitry Andric   const Target *TheTarget = nullptr;
5145ffd83dbSDimitry Andric   std::unique_ptr<TargetMachine> Target;
5155ffd83dbSDimitry Andric 
5165ffd83dbSDimitry Andric   // If user just wants to list available options, skip module loading
5175ffd83dbSDimitry Andric   if (!SkipModule) {
5185ffd83dbSDimitry Andric     auto SetDataLayout =
5195ffd83dbSDimitry Andric         [&](StringRef DataLayoutTargetTriple) -> Optional<std::string> {
5205ffd83dbSDimitry Andric       // If we are supposed to override the target triple, do so now.
5215ffd83dbSDimitry Andric       std::string IRTargetTriple = DataLayoutTargetTriple.str();
5225ffd83dbSDimitry Andric       if (!TargetTriple.empty())
5235ffd83dbSDimitry Andric         IRTargetTriple = Triple::normalize(TargetTriple);
5245ffd83dbSDimitry Andric       TheTriple = Triple(IRTargetTriple);
5255ffd83dbSDimitry Andric       if (TheTriple.getTriple().empty())
5265ffd83dbSDimitry Andric         TheTriple.setTriple(sys::getDefaultTargetTriple());
5275ffd83dbSDimitry Andric 
5285ffd83dbSDimitry Andric       std::string Error;
5295ffd83dbSDimitry Andric       TheTarget =
5305ffd83dbSDimitry Andric           TargetRegistry::lookupTarget(codegen::getMArch(), TheTriple, Error);
5315ffd83dbSDimitry Andric       if (!TheTarget) {
5325ffd83dbSDimitry Andric         WithColor::error(errs(), argv[0]) << Error;
5335ffd83dbSDimitry Andric         exit(1);
5345ffd83dbSDimitry Andric       }
5355ffd83dbSDimitry Andric 
5365ffd83dbSDimitry Andric       // On AIX, setting the relocation model to anything other than PIC is
5375ffd83dbSDimitry Andric       // considered a user error.
538e8d8bef9SDimitry Andric       if (TheTriple.isOSAIX() && RM.hasValue() && *RM != Reloc::PIC_)
539e8d8bef9SDimitry Andric         reportError("invalid relocation model, AIX only supports PIC",
540e8d8bef9SDimitry Andric                     InputFilename);
5415ffd83dbSDimitry Andric 
542e8d8bef9SDimitry Andric       InitializeOptions(TheTriple);
5435ffd83dbSDimitry Andric       Target = std::unique_ptr<TargetMachine>(TheTarget->createTargetMachine(
5445ffd83dbSDimitry Andric           TheTriple.getTriple(), CPUStr, FeaturesStr, Options, RM,
5455ffd83dbSDimitry Andric           codegen::getExplicitCodeModel(), OLvl));
5465ffd83dbSDimitry Andric       assert(Target && "Could not allocate target machine!");
5475ffd83dbSDimitry Andric 
5485ffd83dbSDimitry Andric       return Target->createDataLayout().getStringRepresentation();
5495ffd83dbSDimitry Andric     };
5505ffd83dbSDimitry Andric     if (InputLanguage == "mir" ||
5515ffd83dbSDimitry Andric         (InputLanguage == "" && StringRef(InputFilename).endswith(".mir"))) {
5525ffd83dbSDimitry Andric       MIR = createMIRParserFromFile(InputFilename, Err, Context,
5535ffd83dbSDimitry Andric                                     setMIRFunctionAttributes);
5545ffd83dbSDimitry Andric       if (MIR)
5555ffd83dbSDimitry Andric         M = MIR->parseIRModule(SetDataLayout);
5565ffd83dbSDimitry Andric     } else {
5575ffd83dbSDimitry Andric       M = parseIRFile(InputFilename, Err, Context, SetDataLayout);
5585ffd83dbSDimitry Andric     }
5595ffd83dbSDimitry Andric     if (!M) {
5605ffd83dbSDimitry Andric       Err.print(argv[0], WithColor::error(errs(), argv[0]));
5615ffd83dbSDimitry Andric       return 1;
5625ffd83dbSDimitry Andric     }
5635ffd83dbSDimitry Andric     if (!TargetTriple.empty())
5645ffd83dbSDimitry Andric       M->setTargetTriple(Triple::normalize(TargetTriple));
5655ffd83dbSDimitry Andric   } else {
5665ffd83dbSDimitry Andric     TheTriple = Triple(Triple::normalize(TargetTriple));
5675ffd83dbSDimitry Andric     if (TheTriple.getTriple().empty())
5685ffd83dbSDimitry Andric       TheTriple.setTriple(sys::getDefaultTargetTriple());
5695ffd83dbSDimitry Andric 
5705ffd83dbSDimitry Andric     // Get the target specific parser.
5715ffd83dbSDimitry Andric     std::string Error;
5725ffd83dbSDimitry Andric     TheTarget =
5735ffd83dbSDimitry Andric         TargetRegistry::lookupTarget(codegen::getMArch(), TheTriple, Error);
5745ffd83dbSDimitry Andric     if (!TheTarget) {
5755ffd83dbSDimitry Andric       WithColor::error(errs(), argv[0]) << Error;
5765ffd83dbSDimitry Andric       return 1;
5775ffd83dbSDimitry Andric     }
5785ffd83dbSDimitry Andric 
5795ffd83dbSDimitry Andric     // On AIX, setting the relocation model to anything other than PIC is
5805ffd83dbSDimitry Andric     // considered a user error.
5815ffd83dbSDimitry Andric     if (TheTriple.isOSAIX() && RM.hasValue() && *RM != Reloc::PIC_) {
5825ffd83dbSDimitry Andric       WithColor::error(errs(), argv[0])
5835ffd83dbSDimitry Andric           << "invalid relocation model, AIX only supports PIC.\n";
5845ffd83dbSDimitry Andric       return 1;
5855ffd83dbSDimitry Andric     }
5865ffd83dbSDimitry Andric 
587e8d8bef9SDimitry Andric     InitializeOptions(TheTriple);
5885ffd83dbSDimitry Andric     Target = std::unique_ptr<TargetMachine>(TheTarget->createTargetMachine(
5895ffd83dbSDimitry Andric         TheTriple.getTriple(), CPUStr, FeaturesStr, Options, RM,
5905ffd83dbSDimitry Andric         codegen::getExplicitCodeModel(), OLvl));
5910b57cec5SDimitry Andric     assert(Target && "Could not allocate target machine!");
5920b57cec5SDimitry Andric 
5930b57cec5SDimitry Andric     // If we don't have a module then just exit now. We do this down
5940b57cec5SDimitry Andric     // here since the CPU/Feature help is underneath the target machine
5950b57cec5SDimitry Andric     // creation.
5960b57cec5SDimitry Andric     return 0;
5975ffd83dbSDimitry Andric   }
5980b57cec5SDimitry Andric 
5990b57cec5SDimitry Andric   assert(M && "Should have exited if we didn't have a module!");
6005ffd83dbSDimitry Andric   if (codegen::getFloatABIForCalls() != FloatABI::Default)
6015ffd83dbSDimitry Andric     Options.FloatABIType = codegen::getFloatABIForCalls();
6020b57cec5SDimitry Andric 
6030b57cec5SDimitry Andric   // Figure out where we are going to send the output.
6040b57cec5SDimitry Andric   std::unique_ptr<ToolOutputFile> Out =
6050b57cec5SDimitry Andric       GetOutputStream(TheTarget->getName(), TheTriple.getOS(), argv[0]);
6060b57cec5SDimitry Andric   if (!Out) return 1;
6070b57cec5SDimitry Andric 
608*0eae32dcSDimitry Andric   // Ensure the filename is passed down to CodeViewDebug.
609*0eae32dcSDimitry Andric   Target->Options.ObjectFilenameForDebug = Out->outputFilename();
610*0eae32dcSDimitry Andric 
6110b57cec5SDimitry Andric   std::unique_ptr<ToolOutputFile> DwoOut;
6120b57cec5SDimitry Andric   if (!SplitDwarfOutputFile.empty()) {
6130b57cec5SDimitry Andric     std::error_code EC;
6148bcb0991SDimitry Andric     DwoOut = std::make_unique<ToolOutputFile>(SplitDwarfOutputFile, EC,
6158bcb0991SDimitry Andric                                                sys::fs::OF_None);
616e8d8bef9SDimitry Andric     if (EC)
617e8d8bef9SDimitry Andric       reportError(EC.message(), SplitDwarfOutputFile);
6180b57cec5SDimitry Andric   }
6190b57cec5SDimitry Andric 
6200b57cec5SDimitry Andric   // Build up all of the passes that we want to do to the module.
6210b57cec5SDimitry Andric   legacy::PassManager PM;
6220b57cec5SDimitry Andric 
6230b57cec5SDimitry Andric   // Add an appropriate TargetLibraryInfo pass for the module's triple.
6240b57cec5SDimitry Andric   TargetLibraryInfoImpl TLII(Triple(M->getTargetTriple()));
6250b57cec5SDimitry Andric 
6260b57cec5SDimitry Andric   // The -disable-simplify-libcalls flag actually disables all builtin optzns.
6270b57cec5SDimitry Andric   if (DisableSimplifyLibCalls)
6280b57cec5SDimitry Andric     TLII.disableAllFunctions();
6290b57cec5SDimitry Andric   PM.add(new TargetLibraryInfoWrapperPass(TLII));
6300b57cec5SDimitry Andric 
6310b57cec5SDimitry Andric   // Verify module immediately to catch problems before doInitialization() is
6320b57cec5SDimitry Andric   // called on any passes.
633e8d8bef9SDimitry Andric   if (!NoVerify && verifyModule(*M, &errs()))
634e8d8bef9SDimitry Andric     reportError("input module cannot be verified", InputFilename);
6350b57cec5SDimitry Andric 
6360b57cec5SDimitry Andric   // Override function attributes based on CPUStr, FeaturesStr, and command line
6370b57cec5SDimitry Andric   // flags.
6385ffd83dbSDimitry Andric   codegen::setFunctionAttributes(CPUStr, FeaturesStr, *M);
6390b57cec5SDimitry Andric 
6405ffd83dbSDimitry Andric   if (mc::getExplicitRelaxAll() && codegen::getFileType() != CGFT_ObjectFile)
6410b57cec5SDimitry Andric     WithColor::warning(errs(), argv[0])
6420b57cec5SDimitry Andric         << ": warning: ignoring -mc-relax-all because filetype != obj";
6430b57cec5SDimitry Andric 
6440b57cec5SDimitry Andric   {
6450b57cec5SDimitry Andric     raw_pwrite_stream *OS = &Out->os();
6460b57cec5SDimitry Andric 
6470b57cec5SDimitry Andric     // Manually do the buffering rather than using buffer_ostream,
6480b57cec5SDimitry Andric     // so we can memcmp the contents in CompileTwice mode
6490b57cec5SDimitry Andric     SmallVector<char, 0> Buffer;
6500b57cec5SDimitry Andric     std::unique_ptr<raw_svector_ostream> BOS;
6515ffd83dbSDimitry Andric     if ((codegen::getFileType() != CGFT_AssemblyFile &&
6520b57cec5SDimitry Andric          !Out->os().supportsSeeking()) ||
6530b57cec5SDimitry Andric         CompileTwice) {
6548bcb0991SDimitry Andric       BOS = std::make_unique<raw_svector_ostream>(Buffer);
6550b57cec5SDimitry Andric       OS = BOS.get();
6560b57cec5SDimitry Andric     }
6570b57cec5SDimitry Andric 
6580b57cec5SDimitry Andric     const char *argv0 = argv[0];
6590b57cec5SDimitry Andric     LLVMTargetMachine &LLVMTM = static_cast<LLVMTargetMachine &>(*Target);
6608bcb0991SDimitry Andric     MachineModuleInfoWrapperPass *MMIWP =
6618bcb0991SDimitry Andric         new MachineModuleInfoWrapperPass(&LLVMTM);
6620b57cec5SDimitry Andric 
6630b57cec5SDimitry Andric     // Construct a custom pass pipeline that starts after instruction
6640b57cec5SDimitry Andric     // selection.
6650b57cec5SDimitry Andric     if (!RunPassNames->empty()) {
6660b57cec5SDimitry Andric       if (!MIR) {
6670b57cec5SDimitry Andric         WithColor::warning(errs(), argv[0])
6680b57cec5SDimitry Andric             << "run-pass is for .mir file only.\n";
6690b57cec5SDimitry Andric         return 1;
6700b57cec5SDimitry Andric       }
6710b57cec5SDimitry Andric       TargetPassConfig &TPC = *LLVMTM.createPassConfig(PM);
6720b57cec5SDimitry Andric       if (TPC.hasLimitedCodeGenPipeline()) {
6730b57cec5SDimitry Andric         WithColor::warning(errs(), argv[0])
6740b57cec5SDimitry Andric             << "run-pass cannot be used with "
6750b57cec5SDimitry Andric             << TPC.getLimitedCodeGenPipelineReason(" and ") << ".\n";
6760b57cec5SDimitry Andric         return 1;
6770b57cec5SDimitry Andric       }
6780b57cec5SDimitry Andric 
6790b57cec5SDimitry Andric       TPC.setDisableVerify(NoVerify);
6800b57cec5SDimitry Andric       PM.add(&TPC);
6818bcb0991SDimitry Andric       PM.add(MMIWP);
6820b57cec5SDimitry Andric       TPC.printAndVerify("");
6830b57cec5SDimitry Andric       for (const std::string &RunPassName : *RunPassNames) {
6840b57cec5SDimitry Andric         if (addPass(PM, argv0, RunPassName, TPC))
6850b57cec5SDimitry Andric           return 1;
6860b57cec5SDimitry Andric       }
6870b57cec5SDimitry Andric       TPC.setInitialized();
6880b57cec5SDimitry Andric       PM.add(createPrintMIRPass(*OS));
6890b57cec5SDimitry Andric       PM.add(createFreeMachineFunctionPass());
6905ffd83dbSDimitry Andric     } else if (Target->addPassesToEmitFile(
6915ffd83dbSDimitry Andric                    PM, *OS, DwoOut ? &DwoOut->os() : nullptr,
6925ffd83dbSDimitry Andric                    codegen::getFileType(), NoVerify, MMIWP)) {
693e8d8bef9SDimitry Andric       reportError("target does not support generation of this file type");
6940b57cec5SDimitry Andric     }
6950b57cec5SDimitry Andric 
6965ffd83dbSDimitry Andric     const_cast<TargetLoweringObjectFile *>(LLVMTM.getObjFileLowering())
6975ffd83dbSDimitry Andric         ->Initialize(MMIWP->getMMI().getContext(), *Target);
6980b57cec5SDimitry Andric     if (MIR) {
6998bcb0991SDimitry Andric       assert(MMIWP && "Forgot to create MMIWP?");
7008bcb0991SDimitry Andric       if (MIR->parseMachineFunctions(*M, MMIWP->getMMI()))
7010b57cec5SDimitry Andric         return 1;
7020b57cec5SDimitry Andric     }
7030b57cec5SDimitry Andric 
7040b57cec5SDimitry Andric     // Before executing passes, print the final values of the LLVM options.
7050b57cec5SDimitry Andric     cl::PrintOptionValues();
7060b57cec5SDimitry Andric 
7070b57cec5SDimitry Andric     // If requested, run the pass manager over the same module again,
7080b57cec5SDimitry Andric     // to catch any bugs due to persistent state in the passes. Note that
7090b57cec5SDimitry Andric     // opt has the same functionality, so it may be worth abstracting this out
7100b57cec5SDimitry Andric     // in the future.
7110b57cec5SDimitry Andric     SmallVector<char, 0> CompileTwiceBuffer;
7120b57cec5SDimitry Andric     if (CompileTwice) {
7130b57cec5SDimitry Andric       std::unique_ptr<Module> M2(llvm::CloneModule(*M));
7140b57cec5SDimitry Andric       PM.run(*M2);
7150b57cec5SDimitry Andric       CompileTwiceBuffer = Buffer;
7160b57cec5SDimitry Andric       Buffer.clear();
7170b57cec5SDimitry Andric     }
7180b57cec5SDimitry Andric 
7190b57cec5SDimitry Andric     PM.run(*M);
7200b57cec5SDimitry Andric 
7210b57cec5SDimitry Andric     auto HasError =
7220b57cec5SDimitry Andric         ((const LLCDiagnosticHandler *)(Context.getDiagHandlerPtr()))->HasError;
7230b57cec5SDimitry Andric     if (*HasError)
7240b57cec5SDimitry Andric       return 1;
7250b57cec5SDimitry Andric 
7260b57cec5SDimitry Andric     // Compare the two outputs and make sure they're the same
7270b57cec5SDimitry Andric     if (CompileTwice) {
7280b57cec5SDimitry Andric       if (Buffer.size() != CompileTwiceBuffer.size() ||
7290b57cec5SDimitry Andric           (memcmp(Buffer.data(), CompileTwiceBuffer.data(), Buffer.size()) !=
7300b57cec5SDimitry Andric            0)) {
7310b57cec5SDimitry Andric         errs()
7320b57cec5SDimitry Andric             << "Running the pass manager twice changed the output.\n"
7330b57cec5SDimitry Andric                "Writing the result of the second run to the specified output\n"
7340b57cec5SDimitry Andric                "To generate the one-run comparison binary, just run without\n"
7350b57cec5SDimitry Andric                "the compile-twice option\n";
7360b57cec5SDimitry Andric         Out->os() << Buffer;
7370b57cec5SDimitry Andric         Out->keep();
7380b57cec5SDimitry Andric         return 1;
7390b57cec5SDimitry Andric       }
7400b57cec5SDimitry Andric     }
7410b57cec5SDimitry Andric 
7420b57cec5SDimitry Andric     if (BOS) {
7430b57cec5SDimitry Andric       Out->os() << Buffer;
7440b57cec5SDimitry Andric     }
7450b57cec5SDimitry Andric   }
7460b57cec5SDimitry Andric 
7470b57cec5SDimitry Andric   // Declare success.
7480b57cec5SDimitry Andric   Out->keep();
7490b57cec5SDimitry Andric   if (DwoOut)
7500b57cec5SDimitry Andric     DwoOut->keep();
7510b57cec5SDimitry Andric 
7520b57cec5SDimitry Andric   return 0;
7530b57cec5SDimitry Andric }
754