LLVM
10.0.0svn
|
#include "BranchFolding.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/ScopeExit.h"
#include "llvm/ADT/SmallSet.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/SparseSet.h"
#include "llvm/ADT/Statistic.h"
#include "llvm/ADT/iterator_range.h"
#include "llvm/CodeGen/LivePhysRegs.h"
#include "llvm/CodeGen/MachineBasicBlock.h"
#include "llvm/CodeGen/MachineBlockFrequencyInfo.h"
#include "llvm/CodeGen/MachineBranchProbabilityInfo.h"
#include "llvm/CodeGen/MachineFunction.h"
#include "llvm/CodeGen/MachineFunctionPass.h"
#include "llvm/CodeGen/MachineInstr.h"
#include "llvm/CodeGen/MachineInstrBuilder.h"
#include "llvm/CodeGen/MachineModuleInfo.h"
#include "llvm/CodeGen/MachineOperand.h"
#include "llvm/CodeGen/MachineRegisterInfo.h"
#include "llvm/CodeGen/TargetInstrInfo.h"
#include "llvm/CodeGen/TargetLowering.h"
#include "llvm/CodeGen/TargetRegisterInfo.h"
#include "llvm/CodeGen/TargetSchedule.h"
#include "llvm/CodeGen/TargetSubtargetInfo.h"
#include "llvm/IR/DebugLoc.h"
#include "llvm/MC/MCRegisterInfo.h"
#include "llvm/Pass.h"
#include "llvm/Support/BranchProbability.h"
#include "llvm/Support/CommandLine.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/ErrorHandling.h"
#include "llvm/Support/raw_ostream.h"
#include <algorithm>
#include <cassert>
#include <functional>
#include <iterator>
#include <memory>
#include <utility>
#include <vector>
Go to the source code of this file.
Macros | |
#define | DEBUG_TYPE "if-converter" |
Functions | |
STATISTIC (NumSimple, "Number of simple if-conversions performed") | |
STATISTIC (NumSimpleFalse, "Number of simple (F) if-conversions performed") | |
STATISTIC (NumTriangle, "Number of triangle if-conversions performed") | |
STATISTIC (NumTriangleRev, "Number of triangle (R) if-conversions performed") | |
STATISTIC (NumTriangleFalse,"Number of triangle (F) if-conversions performed") | |
STATISTIC (NumTriangleFRev, "Number of triangle (F/R) if-conversions performed") | |
STATISTIC (NumDiamonds, "Number of diamond if-conversions performed") | |
STATISTIC (NumForkedDiamonds, "Number of forked-diamond if-conversions performed") | |
STATISTIC (NumIfConvBBs, "Number of if-converted blocks") | |
STATISTIC (NumDupBBs, "Number of duplicated blocks") | |
STATISTIC (NumUnpred, "Number of true blocks of diamonds unpredicated") | |
static MachineBasicBlock * | findFalseBlock (MachineBasicBlock *BB, MachineBasicBlock *TrueBB) |
BB has a fallthrough. Find its 'false' successor given its 'true' successor. More... | |
static MachineBasicBlock * | getNextBlock (MachineBasicBlock &MBB) |
Returns the next block in the function blocks ordering. More... | |
static void | verifySameBranchInstructions (MachineBasicBlock *MBB1, MachineBasicBlock *MBB2) |
static bool | canFallThroughTo (MachineBasicBlock &MBB, MachineBasicBlock &ToMBB) |
Returns true either if ToMBB is the next block after MBB or that all the intervening blocks are empty (given MBB can fall through to its next block). More... | |
static void | InsertUncondBranch (MachineBasicBlock &MBB, MachineBasicBlock &ToMBB, const TargetInstrInfo *TII) |
Inserts an unconditional branch from MBB to ToMBB . More... | |
static void | UpdatePredRedefs (MachineInstr &MI, LivePhysRegs &Redefs) |
Behaves like LiveRegUnits::StepForward() but also adds implicit uses to all values defined in MI which are also live/used by MI. More... | |
static bool | MaySpeculate (const MachineInstr &MI, SmallSet< MCPhysReg, 4 > &LaterRedefs) |
Variables | |
static cl::opt< int > | IfCvtFnStart ("ifcvt-fn-start", cl::init(-1), cl::Hidden) |
static cl::opt< int > | IfCvtFnStop ("ifcvt-fn-stop", cl::init(-1), cl::Hidden) |
static cl::opt< int > | IfCvtLimit ("ifcvt-limit", cl::init(-1), cl::Hidden) |
static cl::opt< bool > | DisableSimple ("disable-ifcvt-simple", cl::init(false), cl::Hidden) |
static cl::opt< bool > | DisableSimpleF ("disable-ifcvt-simple-false", cl::init(false), cl::Hidden) |
static cl::opt< bool > | DisableTriangle ("disable-ifcvt-triangle", cl::init(false), cl::Hidden) |
static cl::opt< bool > | DisableTriangleR ("disable-ifcvt-triangle-rev", cl::init(false), cl::Hidden) |
static cl::opt< bool > | DisableTriangleF ("disable-ifcvt-triangle-false", cl::init(false), cl::Hidden) |
static cl::opt< bool > | DisableTriangleFR ("disable-ifcvt-triangle-false-rev", cl::init(false), cl::Hidden) |
static cl::opt< bool > | DisableDiamond ("disable-ifcvt-diamond", cl::init(false), cl::Hidden) |
static cl::opt< bool > | DisableForkedDiamond ("disable-ifcvt-forked-diamond", cl::init(false), cl::Hidden) |
static cl::opt< bool > | IfCvtBranchFold ("ifcvt-branch-fold", cl::init(true), cl::Hidden) |
#define DEBUG_TYPE "if-converter" |
Definition at line 56 of file IfConversion.cpp.
|
static |
Returns true either if ToMBB is the next block after MBB or that all the intervening blocks are empty (given MBB can fall through to its next block).
Definition at line 1436 of file IfConversion.cpp.
References E, llvm::MachineFunction::end(), llvm::ilist_node_impl< OptionsT >::getIterator(), llvm::MachineBasicBlock::getParent(), I, and llvm::MachineBasicBlock::predecessors().
|
static |
BB has a fallthrough. Find its 'false' successor given its 'true' successor.
Definition at line 611 of file IfConversion.cpp.
References llvm::TargetInstrInfo::insertBranch(), llvm::TargetInstrInfo::removeBranch(), llvm::TargetInstrInfo::reverseBranchCondition(), llvm::MachineBasicBlock::successors(), and std::swap().
Referenced by verifySameBranchInstructions().
|
inlinestatic |
Returns the next block in the function blocks ordering.
If it is the end, returns NULL.
Definition at line 635 of file IfConversion.cpp.
References llvm::TargetInstrInfo::DefinesPredicate(), E, llvm::MachineFunction::end(), llvm::ilist_node_impl< OptionsT >::getIterator(), llvm::MachineBasicBlock::getParent(), llvm::MachineInstrBundleIterator< Ty, IsReverse >::getReverse(), I, llvm::TargetInstrInfo::isProfitableToDupForIfCvt(), Size, llvm::skipDebugInstructionsForward(), and llvm::MachineBasicBlock::succ_empty().
Referenced by verifySameBranchInstructions().
|
static |
Inserts an unconditional branch from MBB
to ToMBB
.
Definition at line 1465 of file IfConversion.cpp.
References llvm::TargetInstrInfo::insertBranch().
|
static |
Definition at line 2107 of file IfConversion.cpp.
References llvm::SmallSet< T, N, C >::count(), E, llvm::MachineInstr::isSafeToMove(), llvm::MachineInstr::operands(), and Reg.
STATISTIC | ( | NumSimple | , |
"Number of simple if-conversions performed" | |||
) |
STATISTIC | ( | NumTriangle | , |
"Number of triangle if-conversions performed" | |||
) |
STATISTIC | ( | NumTriangleRev | , |
"Number of triangle (R) if-conversions performed" | |||
) |
STATISTIC | ( | NumDiamonds | , |
"Number of diamond if-conversions performed" | |||
) |
STATISTIC | ( | NumForkedDiamonds | , |
"Number of forked-diamond if-conversions performed" | |||
) |
STATISTIC | ( | NumIfConvBBs | , |
"Number of if-converted blocks" | |||
) |
STATISTIC | ( | NumDupBBs | , |
"Number of duplicated blocks" | |||
) |
STATISTIC | ( | NumUnpred | , |
"Number of true blocks of diamonds unpredicated" | |||
) |
|
static |
Behaves like LiveRegUnits::StepForward() but also adds implicit uses to all values defined in MI which are also live/used by MI.
Definition at line 1474 of file IfConversion.cpp.
References llvm::MachineInstrBuilder::addReg(), llvm::SparseSet< ValueT, KeyFunctorT, SparseT >::count(), llvm::RegState::Define, llvm::MachineInstr::getMF(), llvm::MCRegisterInfo::getNumRegs(), llvm::MachineOperand::getParent(), llvm::TargetSubtargetInfo::getRegisterInfo(), llvm::MachineFunction::getSubtarget(), llvm::RegState::Implicit, llvm::SparseSet< ValueT, KeyFunctorT, SparseT >::insert(), llvm::MachineOperand::isRegMask(), llvm::MCRegisterInfo::DiffListIterator::isValid(), Reg, and llvm::SparseSet< ValueT, KeyFunctorT, SparseT >::setUniverse().
|
static |
Definition at line 831 of file IfConversion.cpp.
References llvm::TargetInstrInfo::analyzeBranch(), assert(), findFalseBlock(), getNextBlock(), llvm::make_scope_exit(), llvm::MachineBasicBlock::rbegin(), llvm::MachineBasicBlock::rend(), llvm::TargetInstrInfo::reverseBranchCondition(), llvm::skipDebugInstructionsForward(), and TT.
|
static |
|
static |
|
static |
|
static |
|
static |