203 lines
7.3 KiB
C
203 lines
7.3 KiB
C
|
//===- 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 MachineModuleInfo;
|
||
|
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
|