Eugene Zelenko | 643c0a4 | 2017-06-07 23:53:32 +0000 | [diff] [blame] | 1 | //===- TailDuplication.cpp - Duplicate blocks into predecessors' tails ----===// |
Bob Wilson | 15acadd | 2009-11-26 00:32:21 +0000 | [diff] [blame] | 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
Matthias Braun | 9334f5c | 2018-01-19 06:08:17 +0000 | [diff] [blame] | 10 | /// \file This pass duplicates basic blocks ending in unconditional branches |
| 11 | /// into the tails of their predecessors, using the TailDuplicator utility |
| 12 | /// class. |
Bob Wilson | 15acadd | 2009-11-26 00:32:21 +0000 | [diff] [blame] | 13 | // |
| 14 | //===----------------------------------------------------------------------===// |
| 15 | |
Eugene Zelenko | 643c0a4 | 2017-06-07 23:53:32 +0000 | [diff] [blame] | 16 | #include "llvm/CodeGen/MachineBranchProbabilityInfo.h" |
| 17 | #include "llvm/CodeGen/MachineFunction.h" |
Bob Wilson | 15acadd | 2009-11-26 00:32:21 +0000 | [diff] [blame] | 18 | #include "llvm/CodeGen/MachineFunctionPass.h" |
Matthias Braun | f09cbb9 | 2017-12-13 02:51:01 +0000 | [diff] [blame] | 19 | #include "llvm/CodeGen/MachineRegisterInfo.h" |
| 20 | #include "llvm/CodeGen/Passes.h" |
Kyle Butt | 31fe4c9 | 2016-04-08 20:35:01 +0000 | [diff] [blame] | 21 | #include "llvm/CodeGen/TailDuplicator.h" |
Eugene Zelenko | 643c0a4 | 2017-06-07 23:53:32 +0000 | [diff] [blame] | 22 | #include "llvm/Pass.h" |
| 23 | |
Bob Wilson | 15acadd | 2009-11-26 00:32:21 +0000 | [diff] [blame] | 24 | using namespace llvm; |
| 25 | |
Chandler Carruth | 8677f2f | 2014-04-22 02:02:50 +0000 | [diff] [blame] | 26 | #define DEBUG_TYPE "tailduplication" |
| 27 | |
Bob Wilson | 15acadd | 2009-11-26 00:32:21 +0000 | [diff] [blame] | 28 | namespace { |
Eugene Zelenko | 643c0a4 | 2017-06-07 23:53:32 +0000 | [diff] [blame] | 29 | |
Matthias Braun | 9334f5c | 2018-01-19 06:08:17 +0000 | [diff] [blame] | 30 | class TailDuplicateBase : public MachineFunctionPass { |
Kyle Butt | 31fe4c9 | 2016-04-08 20:35:01 +0000 | [diff] [blame] | 31 | TailDuplicator Duplicator; |
Matthias Braun | 9334f5c | 2018-01-19 06:08:17 +0000 | [diff] [blame] | 32 | bool PreRegAlloc; |
Kyle Butt | 31fe4c9 | 2016-04-08 20:35:01 +0000 | [diff] [blame] | 33 | public: |
Matthias Braun | 9334f5c | 2018-01-19 06:08:17 +0000 | [diff] [blame] | 34 | TailDuplicateBase(char &PassID, bool PreRegAlloc) |
| 35 | : MachineFunctionPass(PassID), PreRegAlloc(PreRegAlloc) {} |
Evan Cheng | 111e762 | 2009-12-03 08:43:53 +0000 | [diff] [blame] | 36 | |
Kyle Butt | 31fe4c9 | 2016-04-08 20:35:01 +0000 | [diff] [blame] | 37 | bool runOnMachineFunction(MachineFunction &MF) override; |
Bob Wilson | 15acadd | 2009-11-26 00:32:21 +0000 | [diff] [blame] | 38 | |
Matthias Braun | 9334f5c | 2018-01-19 06:08:17 +0000 | [diff] [blame] | 39 | void getAnalysisUsage(AnalysisUsage &AU) const override { |
| 40 | AU.addRequired<MachineBranchProbabilityInfo>(); |
| 41 | MachineFunctionPass::getAnalysisUsage(AU); |
| 42 | } |
| 43 | }; |
| 44 | |
| 45 | class TailDuplicate : public TailDuplicateBase { |
| 46 | public: |
| 47 | static char ID; |
| 48 | TailDuplicate() : TailDuplicateBase(ID, false) { |
| 49 | initializeTailDuplicatePass(*PassRegistry::getPassRegistry()); |
| 50 | } |
| 51 | }; |
| 52 | |
| 53 | class EarlyTailDuplicate : public TailDuplicateBase { |
| 54 | public: |
| 55 | static char ID; |
| 56 | EarlyTailDuplicate() : TailDuplicateBase(ID, true) { |
| 57 | initializeEarlyTailDuplicatePass(*PassRegistry::getPassRegistry()); |
| 58 | } |
Kyle Butt | 31fe4c9 | 2016-04-08 20:35:01 +0000 | [diff] [blame] | 59 | }; |
Bob Wilson | 15acadd | 2009-11-26 00:32:21 +0000 | [diff] [blame] | 60 | |
Eugene Zelenko | 643c0a4 | 2017-06-07 23:53:32 +0000 | [diff] [blame] | 61 | } // end anonymous namespace |
| 62 | |
Matthias Braun | 9334f5c | 2018-01-19 06:08:17 +0000 | [diff] [blame] | 63 | char TailDuplicate::ID; |
| 64 | char EarlyTailDuplicate::ID; |
Bob Wilson | 15acadd | 2009-11-26 00:32:21 +0000 | [diff] [blame] | 65 | |
Matthias Braun | 9334f5c | 2018-01-19 06:08:17 +0000 | [diff] [blame] | 66 | char &llvm::TailDuplicateID = TailDuplicate::ID; |
| 67 | char &llvm::EarlyTailDuplicateID = EarlyTailDuplicate::ID; |
Andrew Trick | 1dd8c85 | 2012-02-08 21:23:13 +0000 | [diff] [blame] | 68 | |
Matthias Braun | 9334f5c | 2018-01-19 06:08:17 +0000 | [diff] [blame] | 69 | INITIALIZE_PASS(TailDuplicate, DEBUG_TYPE, "Tail Duplication", false, false) |
| 70 | INITIALIZE_PASS(EarlyTailDuplicate, "early-tailduplication", |
| 71 | "Early Tail Duplication", false, false) |
Bob Wilson | 15acadd | 2009-11-26 00:32:21 +0000 | [diff] [blame] | 72 | |
Matthias Braun | 9334f5c | 2018-01-19 06:08:17 +0000 | [diff] [blame] | 73 | bool TailDuplicateBase::runOnMachineFunction(MachineFunction &MF) { |
Matthias Braun | d318139 | 2017-12-15 22:22:58 +0000 | [diff] [blame] | 74 | if (skipFunction(MF.getFunction())) |
Paul Robinson | 5fa58a5 | 2014-03-31 17:43:35 +0000 | [diff] [blame] | 75 | return false; |
| 76 | |
Kyle Butt | 31fe4c9 | 2016-04-08 20:35:01 +0000 | [diff] [blame] | 77 | auto MBPI = &getAnalysis<MachineBranchProbabilityInfo>(); |
Matthias Braun | 9334f5c | 2018-01-19 06:08:17 +0000 | [diff] [blame] | 78 | Duplicator.initMF(MF, PreRegAlloc, MBPI, /*LayoutMode=*/false); |
Bob Wilson | 15acadd | 2009-11-26 00:32:21 +0000 | [diff] [blame] | 79 | |
| 80 | bool MadeChange = false; |
Kyle Butt | 227103b | 2016-08-25 01:37:03 +0000 | [diff] [blame] | 81 | while (Duplicator.tailDuplicateBlocks()) |
Jakob Stoklund Olesen | 057d539 | 2010-01-15 19:59:57 +0000 | [diff] [blame] | 82 | MadeChange = true; |
Bob Wilson | 15acadd | 2009-11-26 00:32:21 +0000 | [diff] [blame] | 83 | |
| 84 | return MadeChange; |
| 85 | } |