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