123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201 |
- //===- BranchFolding.h - Fold machine code branch instructions --*- C++ -*-===//
- //
- // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
- // See https://llvm.org/LICENSE.txt for license information.
- // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
- //
- //===----------------------------------------------------------------------===//
- #ifndef LLVM_LIB_CODEGEN_BRANCHFOLDING_H
- #define LLVM_LIB_CODEGEN_BRANCHFOLDING_H
- #include "llvm/ADT/DenseMap.h"
- #include "llvm/ADT/SmallPtrSet.h"
- #include "llvm/CodeGen/LivePhysRegs.h"
- #include "llvm/CodeGen/MachineBasicBlock.h"
- #include "llvm/Support/Compiler.h"
- #include <cstdint>
- #include <vector>
- namespace llvm {
- class BasicBlock;
- class MachineBranchProbabilityInfo;
- class MachineFunction;
- class MachineLoopInfo;
- class MachineRegisterInfo;
- class MBFIWrapper;
- class ProfileSummaryInfo;
- class TargetInstrInfo;
- class TargetRegisterInfo;
- class LLVM_LIBRARY_VISIBILITY BranchFolder {
- public:
- explicit BranchFolder(bool DefaultEnableTailMerge, bool CommonHoist,
- MBFIWrapper &FreqInfo,
- const MachineBranchProbabilityInfo &ProbInfo,
- ProfileSummaryInfo *PSI,
- // Min tail length to merge. Defaults to commandline
- // flag. Ignored for optsize.
- unsigned MinTailLength = 0);
- /// Perhaps branch folding, tail merging and other CFG optimizations on the
- /// given function. Block placement changes the layout and may create new
- /// tail merging opportunities.
- bool OptimizeFunction(MachineFunction &MF, const TargetInstrInfo *tii,
- const TargetRegisterInfo *tri,
- MachineLoopInfo *mli = nullptr,
- bool AfterPlacement = false);
- private:
- class MergePotentialsElt {
- unsigned Hash;
- MachineBasicBlock *Block;
- public:
- MergePotentialsElt(unsigned h, MachineBasicBlock *b)
- : Hash(h), Block(b) {}
- unsigned getHash() const { return Hash; }
- MachineBasicBlock *getBlock() const { return Block; }
- void setBlock(MachineBasicBlock *MBB) {
- Block = MBB;
- }
- bool operator<(const MergePotentialsElt &) const;
- };
- using MPIterator = std::vector<MergePotentialsElt>::iterator;
- std::vector<MergePotentialsElt> MergePotentials;
- SmallPtrSet<const MachineBasicBlock*, 2> TriedMerging;
- DenseMap<const MachineBasicBlock *, int> EHScopeMembership;
- class SameTailElt {
- MPIterator MPIter;
- MachineBasicBlock::iterator TailStartPos;
- public:
- SameTailElt(MPIterator mp, MachineBasicBlock::iterator tsp)
- : MPIter(mp), TailStartPos(tsp) {}
- MPIterator getMPIter() const {
- return MPIter;
- }
- MergePotentialsElt &getMergePotentialsElt() const {
- return *getMPIter();
- }
- MachineBasicBlock::iterator getTailStartPos() const {
- return TailStartPos;
- }
- unsigned getHash() const {
- return getMergePotentialsElt().getHash();
- }
- MachineBasicBlock *getBlock() const {
- return getMergePotentialsElt().getBlock();
- }
- bool tailIsWholeBlock() const {
- return TailStartPos == getBlock()->begin();
- }
- void setBlock(MachineBasicBlock *MBB) {
- getMergePotentialsElt().setBlock(MBB);
- }
- void setTailStartPos(MachineBasicBlock::iterator Pos) {
- TailStartPos = Pos;
- }
- };
- std::vector<SameTailElt> SameTails;
- bool AfterBlockPlacement;
- bool EnableTailMerge;
- bool EnableHoistCommonCode;
- bool UpdateLiveIns;
- unsigned MinCommonTailLength;
- const TargetInstrInfo *TII;
- const MachineRegisterInfo *MRI;
- const TargetRegisterInfo *TRI;
- MachineLoopInfo *MLI;
- LivePhysRegs LiveRegs;
- private:
- MBFIWrapper &MBBFreqInfo;
- const MachineBranchProbabilityInfo &MBPI;
- ProfileSummaryInfo *PSI;
- bool TailMergeBlocks(MachineFunction &MF);
- bool TryTailMergeBlocks(MachineBasicBlock* SuccBB,
- MachineBasicBlock* PredBB,
- unsigned MinCommonTailLength);
- void setCommonTailEdgeWeights(MachineBasicBlock &TailMBB);
- /// Delete the instruction OldInst and everything after it, replacing it
- /// with an unconditional branch to NewDest.
- void replaceTailWithBranchTo(MachineBasicBlock::iterator OldInst,
- MachineBasicBlock &NewDest);
- /// Given a machine basic block and an iterator into it, split the MBB so
- /// that the part before the iterator falls into the part starting at the
- /// iterator. This returns the new MBB.
- MachineBasicBlock *SplitMBBAt(MachineBasicBlock &CurMBB,
- MachineBasicBlock::iterator BBI1,
- const BasicBlock *BB);
- /// Look through all the blocks in MergePotentials that have hash CurHash
- /// (guaranteed to match the last element). Build the vector SameTails of
- /// all those that have the (same) largest number of instructions in common
- /// of any pair of these blocks. SameTails entries contain an iterator into
- /// MergePotentials (from which the MachineBasicBlock can be found) and a
- /// MachineBasicBlock::iterator into that MBB indicating the instruction
- /// where the matching code sequence begins. Order of elements in SameTails
- /// is the reverse of the order in which those blocks appear in
- /// MergePotentials (where they are not necessarily consecutive).
- unsigned ComputeSameTails(unsigned CurHash, unsigned minCommonTailLength,
- MachineBasicBlock *SuccBB,
- MachineBasicBlock *PredBB);
- /// Remove all blocks with hash CurHash from MergePotentials, restoring
- /// branches at ends of blocks as appropriate.
- void RemoveBlocksWithHash(unsigned CurHash, MachineBasicBlock* SuccBB,
- MachineBasicBlock* PredBB);
- /// None of the blocks to be tail-merged consist only of the common tail.
- /// Create a block that does by splitting one.
- bool CreateCommonTailOnlyBlock(MachineBasicBlock *&PredBB,
- MachineBasicBlock *SuccBB,
- unsigned maxCommonTailLength,
- unsigned &commonTailIndex);
- /// Create merged DebugLocs of identical instructions across SameTails and
- /// assign it to the instruction in common tail; merge MMOs and undef flags.
- void mergeCommonTails(unsigned commonTailIndex);
- bool OptimizeBranches(MachineFunction &MF);
- /// Analyze and optimize control flow related to the specified block. This
- /// is never called on the entry block.
- bool OptimizeBlock(MachineBasicBlock *MBB);
- /// Remove the specified dead machine basic block from the function,
- /// updating the CFG.
- void RemoveDeadBlock(MachineBasicBlock *MBB);
- /// Hoist common instruction sequences at the start of basic blocks to their
- /// common predecessor.
- bool HoistCommonCode(MachineFunction &MF);
- /// If the successors of MBB has common instruction sequence at the start of
- /// the function, move the instructions before MBB terminator if it's legal.
- bool HoistCommonCodeInSuccs(MachineBasicBlock *MBB);
- };
- } // end namespace llvm
- #endif // LLVM_LIB_CODEGEN_BRANCHFOLDING_H
|