xref: /freebsd-src/contrib/llvm-project/llvm/lib/IRPrinter/IRPrintingPasses.cpp (revision 5f757f3ff9144b609b3c433dfd370cc6bdc191ad)
1bdd1243dSDimitry Andric //===--- IRPrintingPasses.cpp - Module and Function printing passes -------===//
2bdd1243dSDimitry Andric //
3bdd1243dSDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4bdd1243dSDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5bdd1243dSDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6bdd1243dSDimitry Andric //
7bdd1243dSDimitry Andric //===----------------------------------------------------------------------===//
8bdd1243dSDimitry Andric //
9bdd1243dSDimitry Andric // PrintModulePass and PrintFunctionPass implementations.
10bdd1243dSDimitry Andric //
11bdd1243dSDimitry Andric //===----------------------------------------------------------------------===//
12bdd1243dSDimitry Andric 
13bdd1243dSDimitry Andric #include "llvm/IRPrinter/IRPrintingPasses.h"
14bdd1243dSDimitry Andric #include "llvm/ADT/StringRef.h"
15bdd1243dSDimitry Andric #include "llvm/Analysis/ModuleSummaryAnalysis.h"
16bdd1243dSDimitry Andric #include "llvm/IR/Function.h"
17bdd1243dSDimitry Andric #include "llvm/IR/Module.h"
18bdd1243dSDimitry Andric #include "llvm/IR/PrintPasses.h"
19bdd1243dSDimitry Andric #include "llvm/Pass.h"
20bdd1243dSDimitry Andric #include "llvm/Support/Debug.h"
21bdd1243dSDimitry Andric #include "llvm/Support/raw_ostream.h"
22bdd1243dSDimitry Andric 
23bdd1243dSDimitry Andric using namespace llvm;
24bdd1243dSDimitry Andric 
25bdd1243dSDimitry Andric PrintModulePass::PrintModulePass() : OS(dbgs()) {}
26bdd1243dSDimitry Andric PrintModulePass::PrintModulePass(raw_ostream &OS, const std::string &Banner,
27bdd1243dSDimitry Andric                                  bool ShouldPreserveUseListOrder,
28bdd1243dSDimitry Andric                                  bool EmitSummaryIndex)
29bdd1243dSDimitry Andric     : OS(OS), Banner(Banner),
30bdd1243dSDimitry Andric       ShouldPreserveUseListOrder(ShouldPreserveUseListOrder),
31bdd1243dSDimitry Andric       EmitSummaryIndex(EmitSummaryIndex) {}
32bdd1243dSDimitry Andric 
33bdd1243dSDimitry Andric PreservedAnalyses PrintModulePass::run(Module &M, ModuleAnalysisManager &AM) {
34*5f757f3fSDimitry Andric   // RemoveDIs: there's no textual representation of the DPValue debug-info,
35*5f757f3fSDimitry Andric   // convert to dbg.values before writing out.
36*5f757f3fSDimitry Andric   bool ShouldConvert = M.IsNewDbgInfoFormat;
37*5f757f3fSDimitry Andric   if (ShouldConvert)
38*5f757f3fSDimitry Andric     M.convertFromNewDbgValues();
39*5f757f3fSDimitry Andric 
40bdd1243dSDimitry Andric   if (llvm::isFunctionInPrintList("*")) {
41bdd1243dSDimitry Andric     if (!Banner.empty())
42bdd1243dSDimitry Andric       OS << Banner << "\n";
43bdd1243dSDimitry Andric     M.print(OS, nullptr, ShouldPreserveUseListOrder);
44bdd1243dSDimitry Andric   } else {
45bdd1243dSDimitry Andric     bool BannerPrinted = false;
46bdd1243dSDimitry Andric     for (const auto &F : M.functions()) {
47bdd1243dSDimitry Andric       if (llvm::isFunctionInPrintList(F.getName())) {
48bdd1243dSDimitry Andric         if (!BannerPrinted && !Banner.empty()) {
49bdd1243dSDimitry Andric           OS << Banner << "\n";
50bdd1243dSDimitry Andric           BannerPrinted = true;
51bdd1243dSDimitry Andric         }
52bdd1243dSDimitry Andric         F.print(OS);
53bdd1243dSDimitry Andric       }
54bdd1243dSDimitry Andric     }
55bdd1243dSDimitry Andric   }
56bdd1243dSDimitry Andric 
57bdd1243dSDimitry Andric   ModuleSummaryIndex *Index =
58bdd1243dSDimitry Andric       EmitSummaryIndex ? &(AM.getResult<ModuleSummaryIndexAnalysis>(M))
59bdd1243dSDimitry Andric                        : nullptr;
60bdd1243dSDimitry Andric   if (Index) {
61bdd1243dSDimitry Andric     if (Index->modulePaths().empty())
62*5f757f3fSDimitry Andric       Index->addModule("");
63bdd1243dSDimitry Andric     Index->print(OS);
64bdd1243dSDimitry Andric   }
65bdd1243dSDimitry Andric 
66*5f757f3fSDimitry Andric   if (ShouldConvert)
67*5f757f3fSDimitry Andric     M.convertToNewDbgValues();
68*5f757f3fSDimitry Andric 
69bdd1243dSDimitry Andric   return PreservedAnalyses::all();
70bdd1243dSDimitry Andric }
71bdd1243dSDimitry Andric 
72bdd1243dSDimitry Andric PrintFunctionPass::PrintFunctionPass() : OS(dbgs()) {}
73bdd1243dSDimitry Andric PrintFunctionPass::PrintFunctionPass(raw_ostream &OS, const std::string &Banner)
74bdd1243dSDimitry Andric     : OS(OS), Banner(Banner) {}
75bdd1243dSDimitry Andric 
76bdd1243dSDimitry Andric PreservedAnalyses PrintFunctionPass::run(Function &F,
77bdd1243dSDimitry Andric                                          FunctionAnalysisManager &) {
78*5f757f3fSDimitry Andric   // RemoveDIs: there's no textual representation of the DPValue debug-info,
79*5f757f3fSDimitry Andric   // convert to dbg.values before writing out.
80*5f757f3fSDimitry Andric   bool ShouldConvert = F.IsNewDbgInfoFormat;
81*5f757f3fSDimitry Andric   if (ShouldConvert)
82*5f757f3fSDimitry Andric     F.convertFromNewDbgValues();
83*5f757f3fSDimitry Andric 
84bdd1243dSDimitry Andric   if (isFunctionInPrintList(F.getName())) {
85bdd1243dSDimitry Andric     if (forcePrintModuleIR())
86bdd1243dSDimitry Andric       OS << Banner << " (function: " << F.getName() << ")\n" << *F.getParent();
87bdd1243dSDimitry Andric     else
88bdd1243dSDimitry Andric       OS << Banner << '\n' << static_cast<Value &>(F);
89bdd1243dSDimitry Andric   }
90*5f757f3fSDimitry Andric 
91*5f757f3fSDimitry Andric   if (ShouldConvert)
92*5f757f3fSDimitry Andric     F.convertToNewDbgValues();
93*5f757f3fSDimitry Andric 
94bdd1243dSDimitry Andric   return PreservedAnalyses::all();
95bdd1243dSDimitry Andric }
96