blob: 096b44a043a7e29fe4825cb80bbc9b317a2cdcd6 [file] [log] [blame]
Michael Gottesman1649a872013-08-12 20:49:27 +00001//===-- BranchFolding.h - Fold machine code branch instructions -*- C++ -*-===//
Evan Cheng3d2fce02009-09-04 07:47:40 +00002//
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
Benjamin Kramera7c40ef2014-08-13 16:26:38 +000010#ifndef LLVM_LIB_CODEGEN_BRANCHFOLDING_H
11#define LLVM_LIB_CODEGEN_BRANCHFOLDING_H
Evan Cheng3d2fce02009-09-04 07:47:40 +000012
Rafael Espindola3aeaf9e2011-06-14 15:31:54 +000013#include "llvm/ADT/SmallPtrSet.h"
Matthias Braunaeab09f2016-07-12 18:44:33 +000014#include "llvm/CodeGen/LivePhysRegs.h"
Evan Cheng3d2fce02009-09-04 07:47:40 +000015#include "llvm/CodeGen/MachineBasicBlock.h"
Akira Hatanakabbd33f62014-08-07 19:30:13 +000016#include "llvm/Support/BlockFrequency.h"
Evan Cheng3d2fce02009-09-04 07:47:40 +000017#include <vector>
18
19namespace llvm {
Akira Hatanakabbd33f62014-08-07 19:30:13 +000020 class MachineBlockFrequencyInfo;
21 class MachineBranchProbabilityInfo;
Evan Cheng3d2fce02009-09-04 07:47:40 +000022 class MachineFunction;
23 class MachineModuleInfo;
Haicheng Wu5b458cc2016-06-09 15:24:29 +000024 class MachineLoopInfo;
Evan Cheng3d2fce02009-09-04 07:47:40 +000025 class TargetInstrInfo;
26 class TargetRegisterInfo;
27
Benjamin Kramerf4c20252015-07-01 14:47:39 +000028 class LLVM_LIBRARY_VISIBILITY BranchFolder {
Evan Cheng3d2fce02009-09-04 07:47:40 +000029 public:
Haicheng Wu5b458cc2016-06-09 15:24:29 +000030 class MBFIWrapper;
31
Kyle Butt64e42812016-08-18 18:57:29 +000032 explicit BranchFolder(bool defaultEnableTailMerge,
33 bool CommonHoist,
Haicheng Wu5b458cc2016-06-09 15:24:29 +000034 MBFIWrapper &MBFI,
Kyle Butt64e42812016-08-18 18:57:29 +000035 const MachineBranchProbabilityInfo &MBPI,
36 // Min tail length to merge. Defaults to commandline
37 // flag. Ignored for optsize.
38 unsigned MinCommonTailLength = 0);
Evan Cheng3d2fce02009-09-04 07:47:40 +000039
Haicheng Wu5b458cc2016-06-09 15:24:29 +000040 bool OptimizeFunction(MachineFunction &MF, const TargetInstrInfo *tii,
41 const TargetRegisterInfo *tri, MachineModuleInfo *mmi,
42 MachineLoopInfo *mli = nullptr,
43 bool AfterPlacement = false);
44
Evan Cheng3d2fce02009-09-04 07:47:40 +000045 private:
Dan Gohman02b15542009-11-11 21:57:02 +000046 class MergePotentialsElt {
47 unsigned Hash;
48 MachineBasicBlock *Block;
49 public:
50 MergePotentialsElt(unsigned h, MachineBasicBlock *b)
51 : Hash(h), Block(b) {}
52
53 unsigned getHash() const { return Hash; }
54 MachineBasicBlock *getBlock() const { return Block; }
55
56 void setBlock(MachineBasicBlock *MBB) {
57 Block = MBB;
58 }
59
60 bool operator<(const MergePotentialsElt &) const;
61 };
Evan Cheng3d2fce02009-09-04 07:47:40 +000062 typedef std::vector<MergePotentialsElt>::iterator MPIterator;
63 std::vector<MergePotentialsElt> MergePotentials;
Rafael Espindola3aeaf9e2011-06-14 15:31:54 +000064 SmallPtrSet<const MachineBasicBlock*, 2> TriedMerging;
David Majnemer16193552015-10-04 02:22:52 +000065 DenseMap<const MachineBasicBlock *, int> FuncletMembership;
Evan Cheng3d2fce02009-09-04 07:47:40 +000066
Dan Gohman02b15542009-11-11 21:57:02 +000067 class SameTailElt {
68 MPIterator MPIter;
69 MachineBasicBlock::iterator TailStartPos;
70 public:
71 SameTailElt(MPIterator mp, MachineBasicBlock::iterator tsp)
72 : MPIter(mp), TailStartPos(tsp) {}
73
74 MPIterator getMPIter() const {
75 return MPIter;
76 }
77 MergePotentialsElt &getMergePotentialsElt() const {
78 return *getMPIter();
79 }
80 MachineBasicBlock::iterator getTailStartPos() const {
81 return TailStartPos;
82 }
83 unsigned getHash() const {
84 return getMergePotentialsElt().getHash();
85 }
86 MachineBasicBlock *getBlock() const {
87 return getMergePotentialsElt().getBlock();
88 }
89 bool tailIsWholeBlock() const {
90 return TailStartPos == getBlock()->begin();
91 }
92
93 void setBlock(MachineBasicBlock *MBB) {
94 getMergePotentialsElt().setBlock(MBB);
95 }
96 void setTailStartPos(MachineBasicBlock::iterator Pos) {
97 TailStartPos = Pos;
98 }
99 };
Evan Cheng3d2fce02009-09-04 07:47:40 +0000100 std::vector<SameTailElt> SameTails;
101
Haicheng Wu5b458cc2016-06-09 15:24:29 +0000102 bool AfterBlockPlacement;
Evan Cheng3d2fce02009-09-04 07:47:40 +0000103 bool EnableTailMerge;
Evan Chengcfdf3392011-05-12 00:56:58 +0000104 bool EnableHoistCommonCode;
Matthias Braunaeab09f2016-07-12 18:44:33 +0000105 bool UpdateLiveIns;
Kyle Butt64e42812016-08-18 18:57:29 +0000106 unsigned MinCommonTailLength;
Evan Cheng3d2fce02009-09-04 07:47:40 +0000107 const TargetInstrInfo *TII;
108 const TargetRegisterInfo *TRI;
109 MachineModuleInfo *MMI;
Haicheng Wu5b458cc2016-06-09 15:24:29 +0000110 MachineLoopInfo *MLI;
Matthias Braunaeab09f2016-07-12 18:44:33 +0000111 LivePhysRegs LiveRegs;
Evan Cheng3d2fce02009-09-04 07:47:40 +0000112
Haicheng Wu5b458cc2016-06-09 15:24:29 +0000113 public:
Akira Hatanakabbd33f62014-08-07 19:30:13 +0000114 /// \brief This class keeps track of branch frequencies of newly created
115 /// blocks and tail-merged blocks.
116 class MBFIWrapper {
117 public:
118 MBFIWrapper(const MachineBlockFrequencyInfo &I) : MBFI(I) {}
119 BlockFrequency getBlockFreq(const MachineBasicBlock *MBB) const;
120 void setBlockFreq(const MachineBasicBlock *MBB, BlockFrequency F);
Haicheng Wu5b458cc2016-06-09 15:24:29 +0000121 raw_ostream &printBlockFreq(raw_ostream &OS,
122 const MachineBasicBlock *MBB) const;
123 raw_ostream &printBlockFreq(raw_ostream &OS,
124 const BlockFrequency Freq) const;
Akira Hatanakabbd33f62014-08-07 19:30:13 +0000125
126 private:
127 const MachineBlockFrequencyInfo &MBFI;
128 DenseMap<const MachineBasicBlock *, BlockFrequency> MergedBBFreq;
129 };
130
Haicheng Wu5b458cc2016-06-09 15:24:29 +0000131 private:
132 MBFIWrapper &MBBFreqInfo;
Akira Hatanakabbd33f62014-08-07 19:30:13 +0000133 const MachineBranchProbabilityInfo &MBPI;
134
Evan Cheng3d2fce02009-09-04 07:47:40 +0000135 bool TailMergeBlocks(MachineFunction &MF);
Dan Gohman34eeb4e2009-11-11 19:49:34 +0000136 bool TryTailMergeBlocks(MachineBasicBlock* SuccBB,
Kyle Butt64e42812016-08-18 18:57:29 +0000137 MachineBasicBlock* PredBB,
138 unsigned MinCommonTailLength);
Akira Hatanakabbd33f62014-08-07 19:30:13 +0000139 void setCommonTailEdgeWeights(MachineBasicBlock &TailMBB);
Matthias Braunaeab09f2016-07-12 18:44:33 +0000140 void computeLiveIns(MachineBasicBlock &MBB);
Evan Cheng3d2fce02009-09-04 07:47:40 +0000141 void ReplaceTailWithBranchTo(MachineBasicBlock::iterator OldInst,
142 MachineBasicBlock *NewDest);
143 MachineBasicBlock *SplitMBBAt(MachineBasicBlock &CurMBB,
Andrew Trick97a1d7c2013-06-24 01:55:01 +0000144 MachineBasicBlock::iterator BBI1,
145 const BasicBlock *BB);
Dan Gohman34eeb4e2009-11-11 19:49:34 +0000146 unsigned ComputeSameTails(unsigned CurHash, unsigned minCommonTailLength,
147 MachineBasicBlock *SuccBB,
148 MachineBasicBlock *PredBB);
Evan Cheng3d2fce02009-09-04 07:47:40 +0000149 void RemoveBlocksWithHash(unsigned CurHash, MachineBasicBlock* SuccBB,
150 MachineBasicBlock* PredBB);
Evan Cheng37bb6172010-06-22 01:18:16 +0000151 bool CreateCommonTailOnlyBlock(MachineBasicBlock *&PredBB,
Andrew Trick97a1d7c2013-06-24 01:55:01 +0000152 MachineBasicBlock *SuccBB,
Evan Cheng37bb6172010-06-22 01:18:16 +0000153 unsigned maxCommonTailLength,
154 unsigned &commonTailIndex);
Evan Cheng3d2fce02009-09-04 07:47:40 +0000155
156 bool OptimizeBranches(MachineFunction &MF);
157 bool OptimizeBlock(MachineBasicBlock *MBB);
158 void RemoveDeadBlock(MachineBasicBlock *MBB);
Evan Chengcfdf3392011-05-12 00:56:58 +0000159
160 bool HoistCommonCode(MachineFunction &MF);
161 bool HoistCommonCodeInSuccs(MachineBasicBlock *MBB);
Evan Cheng3d2fce02009-09-04 07:47:40 +0000162 };
Alexander Kornienkof00654e2015-06-23 09:49:53 +0000163}
Evan Cheng3d2fce02009-09-04 07:47:40 +0000164
165#endif /* LLVM_CODEGEN_BRANCHFOLDING_HPP */