Chandler Carruth | 12e9d2b | 2014-01-09 02:39:45 +0000 | [diff] [blame] | 1 | //===--- IRPrintingPasses.cpp - Module and Function printing passes -------===// |
Daniel Dunbar | 54d5b9e | 2008-10-21 23:33:38 +0000 | [diff] [blame] | 2 | // |
Chandler Carruth | 2946cd7 | 2019-01-19 08:50:56 +0000 | [diff] [blame] | 3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| 4 | // See https://llvm.org/LICENSE.txt for license information. |
| 5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
Daniel Dunbar | 54d5b9e | 2008-10-21 23:33:38 +0000 | [diff] [blame] | 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | // |
| 9 | // PrintModulePass and PrintFunctionPass implementations. |
| 10 | // |
| 11 | //===----------------------------------------------------------------------===// |
| 12 | |
Chandler Carruth | b8ddc70 | 2014-01-12 11:10:32 +0000 | [diff] [blame] | 13 | #include "llvm/IR/IRPrintingPasses.h" |
Chandler Carruth | 9fb823b | 2013-01-02 11:36:10 +0000 | [diff] [blame] | 14 | #include "llvm/IR/Function.h" |
| 15 | #include "llvm/IR/Module.h" |
Chandler Carruth | 52eef88 | 2014-01-12 12:15:39 +0000 | [diff] [blame] | 16 | #include "llvm/IR/PassManager.h" |
Daniel Dunbar | 54d5b9e | 2008-10-21 23:33:38 +0000 | [diff] [blame] | 17 | #include "llvm/Pass.h" |
David Greene | 5f2433e | 2010-01-05 01:30:18 +0000 | [diff] [blame] | 18 | #include "llvm/Support/Debug.h" |
Daniel Dunbar | 81b5fa5 | 2008-10-22 03:25:22 +0000 | [diff] [blame] | 19 | #include "llvm/Support/raw_ostream.h" |
Daniel Dunbar | 54d5b9e | 2008-10-21 23:33:38 +0000 | [diff] [blame] | 20 | using namespace llvm; |
| 21 | |
Chandler Carruth | 52eef88 | 2014-01-12 12:15:39 +0000 | [diff] [blame] | 22 | PrintModulePass::PrintModulePass() : OS(dbgs()) {} |
Duncan P. N. Exon Smith | 8a74f68 | 2015-04-15 02:38:06 +0000 | [diff] [blame] | 23 | PrintModulePass::PrintModulePass(raw_ostream &OS, const std::string &Banner, |
| 24 | bool ShouldPreserveUseListOrder) |
| 25 | : OS(OS), Banner(Banner), |
| 26 | ShouldPreserveUseListOrder(ShouldPreserveUseListOrder) {} |
Chandler Carruth | 52eef88 | 2014-01-12 12:15:39 +0000 | [diff] [blame] | 27 | |
Sean Silva | fd03ac6 | 2016-08-09 00:28:38 +0000 | [diff] [blame] | 28 | PreservedAnalyses PrintModulePass::run(Module &M, ModuleAnalysisManager &) { |
Sven van Haastregt | 0011114 | 2018-11-14 10:05:28 +0000 | [diff] [blame] | 29 | if (!Banner.empty()) |
| 30 | OS << Banner << "\n"; |
Weiming Zhao | 0f1762c | 2016-01-06 22:55:03 +0000 | [diff] [blame] | 31 | if (llvm::isFunctionInPrintList("*")) |
| 32 | M.print(OS, nullptr, ShouldPreserveUseListOrder); |
| 33 | else { |
| 34 | for(const auto &F : M.functions()) |
| 35 | if (llvm::isFunctionInPrintList(F.getName())) |
| 36 | F.print(OS); |
| 37 | } |
Chandler Carruth | 52eef88 | 2014-01-12 12:15:39 +0000 | [diff] [blame] | 38 | return PreservedAnalyses::all(); |
| 39 | } |
| 40 | |
| 41 | PrintFunctionPass::PrintFunctionPass() : OS(dbgs()) {} |
| 42 | PrintFunctionPass::PrintFunctionPass(raw_ostream &OS, const std::string &Banner) |
| 43 | : OS(OS), Banner(Banner) {} |
| 44 | |
Chandler Carruth | 164a2aa6 | 2016-06-17 00:11:01 +0000 | [diff] [blame] | 45 | PreservedAnalyses PrintFunctionPass::run(Function &F, |
Sean Silva | 36e0d01 | 2016-08-09 00:28:15 +0000 | [diff] [blame] | 46 | FunctionAnalysisManager &) { |
Benjamin Kramer | 094ac65 | 2017-12-01 18:39:58 +0000 | [diff] [blame] | 47 | if (isFunctionInPrintList(F.getName())) { |
Fedor Sergeev | 94dca7c | 2017-12-01 17:42:46 +0000 | [diff] [blame] | 48 | if (forcePrintModuleIR()) |
| 49 | OS << Banner << " (function: " << F.getName() << ")\n" << *F.getParent(); |
| 50 | else |
| 51 | OS << Banner << static_cast<Value &>(F); |
Benjamin Kramer | 094ac65 | 2017-12-01 18:39:58 +0000 | [diff] [blame] | 52 | } |
Chandler Carruth | 52eef88 | 2014-01-12 12:15:39 +0000 | [diff] [blame] | 53 | return PreservedAnalyses::all(); |
| 54 | } |
| 55 | |
Daniel Dunbar | 54d5b9e | 2008-10-21 23:33:38 +0000 | [diff] [blame] | 56 | namespace { |
| 57 | |
Chandler Carruth | 52eef88 | 2014-01-12 12:15:39 +0000 | [diff] [blame] | 58 | class PrintModulePassWrapper : public ModulePass { |
| 59 | PrintModulePass P; |
Chandler Carruth | 3dd261d | 2014-01-12 11:16:01 +0000 | [diff] [blame] | 60 | |
| 61 | public: |
| 62 | static char ID; |
Chandler Carruth | 52eef88 | 2014-01-12 12:15:39 +0000 | [diff] [blame] | 63 | PrintModulePassWrapper() : ModulePass(ID) {} |
Duncan P. N. Exon Smith | 8a74f68 | 2015-04-15 02:38:06 +0000 | [diff] [blame] | 64 | PrintModulePassWrapper(raw_ostream &OS, const std::string &Banner, |
| 65 | bool ShouldPreserveUseListOrder) |
| 66 | : ModulePass(ID), P(OS, Banner, ShouldPreserveUseListOrder) {} |
Chandler Carruth | 3dd261d | 2014-01-12 11:16:01 +0000 | [diff] [blame] | 67 | |
Craig Topper | f398d7c | 2014-03-05 06:35:38 +0000 | [diff] [blame] | 68 | bool runOnModule(Module &M) override { |
Chandler Carruth | 164a2aa6 | 2016-06-17 00:11:01 +0000 | [diff] [blame] | 69 | ModuleAnalysisManager DummyMAM; |
| 70 | P.run(M, DummyMAM); |
Chandler Carruth | 3dd261d | 2014-01-12 11:16:01 +0000 | [diff] [blame] | 71 | return false; |
| 72 | } |
| 73 | |
Craig Topper | f398d7c | 2014-03-05 06:35:38 +0000 | [diff] [blame] | 74 | void getAnalysisUsage(AnalysisUsage &AU) const override { |
Chandler Carruth | 3dd261d | 2014-01-12 11:16:01 +0000 | [diff] [blame] | 75 | AU.setPreservesAll(); |
| 76 | } |
Yaron Keren | 1de4792 | 2017-03-10 07:09:20 +0000 | [diff] [blame] | 77 | |
Michael Kruse | c0a6aab | 2017-08-25 12:38:53 +0000 | [diff] [blame] | 78 | StringRef getPassName() const override { return "Print Module IR"; } |
Chandler Carruth | 3dd261d | 2014-01-12 11:16:01 +0000 | [diff] [blame] | 79 | }; |
| 80 | |
Chandler Carruth | 52eef88 | 2014-01-12 12:15:39 +0000 | [diff] [blame] | 81 | class PrintFunctionPassWrapper : public FunctionPass { |
| 82 | PrintFunctionPass P; |
Chandler Carruth | 3dd261d | 2014-01-12 11:16:01 +0000 | [diff] [blame] | 83 | |
| 84 | public: |
| 85 | static char ID; |
Chandler Carruth | 52eef88 | 2014-01-12 12:15:39 +0000 | [diff] [blame] | 86 | PrintFunctionPassWrapper() : FunctionPass(ID) {} |
| 87 | PrintFunctionPassWrapper(raw_ostream &OS, const std::string &Banner) |
| 88 | : FunctionPass(ID), P(OS, Banner) {} |
Chandler Carruth | 3dd261d | 2014-01-12 11:16:01 +0000 | [diff] [blame] | 89 | |
| 90 | // This pass just prints a banner followed by the function as it's processed. |
Craig Topper | f398d7c | 2014-03-05 06:35:38 +0000 | [diff] [blame] | 91 | bool runOnFunction(Function &F) override { |
Chandler Carruth | 164a2aa6 | 2016-06-17 00:11:01 +0000 | [diff] [blame] | 92 | FunctionAnalysisManager DummyFAM; |
| 93 | P.run(F, DummyFAM); |
Chandler Carruth | 3dd261d | 2014-01-12 11:16:01 +0000 | [diff] [blame] | 94 | return false; |
| 95 | } |
| 96 | |
Craig Topper | f398d7c | 2014-03-05 06:35:38 +0000 | [diff] [blame] | 97 | void getAnalysisUsage(AnalysisUsage &AU) const override { |
Chandler Carruth | 3dd261d | 2014-01-12 11:16:01 +0000 | [diff] [blame] | 98 | AU.setPreservesAll(); |
| 99 | } |
Yaron Keren | 1de4792 | 2017-03-10 07:09:20 +0000 | [diff] [blame] | 100 | |
Michael Kruse | c0a6aab | 2017-08-25 12:38:53 +0000 | [diff] [blame] | 101 | StringRef getPassName() const override { return "Print Function IR"; } |
Chandler Carruth | 3dd261d | 2014-01-12 11:16:01 +0000 | [diff] [blame] | 102 | }; |
| 103 | |
| 104 | class PrintBasicBlockPass : public BasicBlockPass { |
Chandler Carruth | e0af664 | 2014-01-12 11:40:03 +0000 | [diff] [blame] | 105 | raw_ostream &Out; |
Chandler Carruth | 3dd261d | 2014-01-12 11:16:01 +0000 | [diff] [blame] | 106 | std::string Banner; |
Chandler Carruth | 3dd261d | 2014-01-12 11:16:01 +0000 | [diff] [blame] | 107 | |
| 108 | public: |
| 109 | static char ID; |
Chandler Carruth | e0af664 | 2014-01-12 11:40:03 +0000 | [diff] [blame] | 110 | PrintBasicBlockPass() : BasicBlockPass(ID), Out(dbgs()) {} |
| 111 | PrintBasicBlockPass(raw_ostream &Out, const std::string &Banner) |
| 112 | : BasicBlockPass(ID), Out(Out), Banner(Banner) {} |
Chandler Carruth | 3dd261d | 2014-01-12 11:16:01 +0000 | [diff] [blame] | 113 | |
Craig Topper | f398d7c | 2014-03-05 06:35:38 +0000 | [diff] [blame] | 114 | bool runOnBasicBlock(BasicBlock &BB) override { |
Chandler Carruth | e0af664 | 2014-01-12 11:40:03 +0000 | [diff] [blame] | 115 | Out << Banner << BB; |
Chandler Carruth | 3dd261d | 2014-01-12 11:16:01 +0000 | [diff] [blame] | 116 | return false; |
| 117 | } |
| 118 | |
Hans Wennborg | 12d1e24 | 2014-05-24 20:19:40 +0000 | [diff] [blame] | 119 | void getAnalysisUsage(AnalysisUsage &AU) const override { |
Chandler Carruth | 3dd261d | 2014-01-12 11:16:01 +0000 | [diff] [blame] | 120 | AU.setPreservesAll(); |
| 121 | } |
Yaron Keren | 1de4792 | 2017-03-10 07:09:20 +0000 | [diff] [blame] | 122 | |
| 123 | StringRef getPassName() const override { return "Print BasicBlock IR"; } |
Chandler Carruth | 3dd261d | 2014-01-12 11:16:01 +0000 | [diff] [blame] | 124 | }; |
Chandler Carruth | e0af664 | 2014-01-12 11:40:03 +0000 | [diff] [blame] | 125 | |
Alexander Kornienko | f00654e | 2015-06-23 09:49:53 +0000 | [diff] [blame] | 126 | } |
Daniel Dunbar | 54d5b9e | 2008-10-21 23:33:38 +0000 | [diff] [blame] | 127 | |
Chandler Carruth | 52eef88 | 2014-01-12 12:15:39 +0000 | [diff] [blame] | 128 | char PrintModulePassWrapper::ID = 0; |
| 129 | INITIALIZE_PASS(PrintModulePassWrapper, "print-module", |
Duncan P. N. Exon Smith | 9f22752 | 2018-07-11 23:30:25 +0000 | [diff] [blame] | 130 | "Print module to stderr", false, true) |
Chandler Carruth | 52eef88 | 2014-01-12 12:15:39 +0000 | [diff] [blame] | 131 | char PrintFunctionPassWrapper::ID = 0; |
| 132 | INITIALIZE_PASS(PrintFunctionPassWrapper, "print-function", |
Duncan P. N. Exon Smith | 9f22752 | 2018-07-11 23:30:25 +0000 | [diff] [blame] | 133 | "Print function to stderr", false, true) |
Sergei Larin | cd1201b | 2013-02-08 23:37:41 +0000 | [diff] [blame] | 134 | char PrintBasicBlockPass::ID = 0; |
Chandler Carruth | 3dd261d | 2014-01-12 11:16:01 +0000 | [diff] [blame] | 135 | INITIALIZE_PASS(PrintBasicBlockPass, "print-bb", "Print BB to stderr", false, |
Duncan P. N. Exon Smith | 9f22752 | 2018-07-11 23:30:25 +0000 | [diff] [blame] | 136 | true) |
Daniel Dunbar | 54d5b9e | 2008-10-21 23:33:38 +0000 | [diff] [blame] | 137 | |
Chandler Carruth | 9d80513 | 2014-01-12 11:30:46 +0000 | [diff] [blame] | 138 | ModulePass *llvm::createPrintModulePass(llvm::raw_ostream &OS, |
Duncan P. N. Exon Smith | 8a74f68 | 2015-04-15 02:38:06 +0000 | [diff] [blame] | 139 | const std::string &Banner, |
| 140 | bool ShouldPreserveUseListOrder) { |
| 141 | return new PrintModulePassWrapper(OS, Banner, ShouldPreserveUseListOrder); |
Daniel Dunbar | 54d5b9e | 2008-10-21 23:33:38 +0000 | [diff] [blame] | 142 | } |
| 143 | |
Chandler Carruth | 9d80513 | 2014-01-12 11:30:46 +0000 | [diff] [blame] | 144 | FunctionPass *llvm::createPrintFunctionPass(llvm::raw_ostream &OS, |
| 145 | const std::string &Banner) { |
Chandler Carruth | 52eef88 | 2014-01-12 12:15:39 +0000 | [diff] [blame] | 146 | return new PrintFunctionPassWrapper(OS, Banner); |
Daniel Dunbar | 54d5b9e | 2008-10-21 23:33:38 +0000 | [diff] [blame] | 147 | } |
| 148 | |
Chandler Carruth | 9d80513 | 2014-01-12 11:30:46 +0000 | [diff] [blame] | 149 | BasicBlockPass *llvm::createPrintBasicBlockPass(llvm::raw_ostream &OS, |
Chandler Carruth | 3dd261d | 2014-01-12 11:16:01 +0000 | [diff] [blame] | 150 | const std::string &Banner) { |
Chandler Carruth | e0af664 | 2014-01-12 11:40:03 +0000 | [diff] [blame] | 151 | return new PrintBasicBlockPass(OS, Banner); |
Sergei Larin | cd1201b | 2013-02-08 23:37:41 +0000 | [diff] [blame] | 152 | } |
Vedant Kumar | 595ba1d | 2018-05-15 00:29:27 +0000 | [diff] [blame] | 153 | |
| 154 | bool llvm::isIRPrintingPass(Pass *P) { |
| 155 | const char *PID = (const char*)P->getPassID(); |
| 156 | |
| 157 | return (PID == &PrintModulePassWrapper::ID) |
| 158 | || (PID == &PrintFunctionPassWrapper::ID) |
| 159 | || (PID == &PrintBasicBlockPass::ID); |
| 160 | } |