LLVM  6.0.0svn
Macros | Functions | Variables
ARMConstantIslandPass.cpp File Reference
#include "ARM.h"
#include "ARMBaseInstrInfo.h"
#include "ARMBasicBlockInfo.h"
#include "ARMMachineFunctionInfo.h"
#include "ARMSubtarget.h"
#include "MCTargetDesc/ARMBaseInfo.h"
#include "Thumb2InstrInfo.h"
#include "Utils/ARMBaseInfo.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/SmallSet.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/Statistic.h"
#include "llvm/ADT/StringRef.h"
#include "llvm/CodeGen/MachineBasicBlock.h"
#include "llvm/CodeGen/MachineConstantPool.h"
#include "llvm/CodeGen/MachineFunction.h"
#include "llvm/CodeGen/MachineFunctionPass.h"
#include "llvm/CodeGen/MachineInstr.h"
#include "llvm/CodeGen/MachineJumpTableInfo.h"
#include "llvm/CodeGen/MachineOperand.h"
#include "llvm/CodeGen/MachineRegisterInfo.h"
#include "llvm/IR/DataLayout.h"
#include "llvm/IR/DebugLoc.h"
#include "llvm/MC/MCInstrDesc.h"
#include "llvm/Pass.h"
#include "llvm/Support/CommandLine.h"
#include "llvm/Support/Compiler.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/ErrorHandling.h"
#include "llvm/Support/Format.h"
#include "llvm/Support/MathExtras.h"
#include "llvm/Support/raw_ostream.h"
#include <algorithm>
#include <cassert>
#include <cstdint>
#include <iterator>
#include <utility>
#include <vector>
Include dependency graph for ARMConstantIslandPass.cpp:

Go to the source code of this file.

Macros

#define DEBUG_TYPE   "arm-cp-islands"
 
#define ARM_CP_ISLANDS_OPT_NAME   "ARM constant island placement and branch shortening pass"
 

Functions

 STATISTIC (NumCPEs, "Number of constpool entries")
 
 STATISTIC (NumSplit, "Number of uncond branches inserted")
 
 STATISTIC (NumCBrFixed, "Number of cond branches fixed")
 
 STATISTIC (NumUBrFixed, "Number of uncond branches fixed")
 
 STATISTIC (NumTBs, "Number of table branches generated")
 
 STATISTIC (NumT2CPShrunk, "Number of Thumb2 constantpool instructions shrunk")
 
 STATISTIC (NumT2BrShrunk, "Number of Thumb2 immediate branches shrunk")
 
 STATISTIC (NumCBZ, "Number of CBZ / CBNZ formed")
 
 STATISTIC (NumJTMoved, "Number of jump table destination blocks moved")
 
 STATISTIC (NumJTInserted, "Number of jump table intermediate blocks inserted")
 
static bool CompareMBBNumbers (const MachineBasicBlock *LHS, const MachineBasicBlock *RHS)
 CompareMBBNumbers - Little predicate function to sort the WaterList by MBB ID. More...
 
static bool BBIsJumpedOver (MachineBasicBlock *MBB)
 BBIsJumpedOver - Return true of the specified basic block's only predecessor unconditionally branches to its only successor. More...
 
static unsigned getUnconditionalBrDisp (int Opc)
 getUnconditionalBrDisp - Returns the maximum displacement that can fit in the specific unconditional branch instruction. More...
 
static bool isSimpleIndexCalc (MachineInstr &I, unsigned EntryReg, unsigned BaseReg)
 
static bool jumpTableFollowsTB (MachineInstr *JTMI, MachineInstr *CPEMI)
 Returns whether CPEMI is the first instruction in the block immediately following JTMI (assumed to be a TBB or TBH terminator). More...
 
static void RemoveDeadAddBetweenLEAAndJT (MachineInstr *LEAMI, MachineInstr *JumpMI, unsigned &DeadSize)
 
static bool registerDefinedBetween (unsigned Reg, MachineBasicBlock::iterator From, MachineBasicBlock::iterator To, const TargetRegisterInfo *TRI)
 

Variables

static cl::opt< boolAdjustJumpTableBlocks ("arm-adjust-jump-tables", cl::Hidden, cl::init(true), cl::desc("Adjust basic block layout to better use TB[BH]"))
 
static cl::opt< unsignedCPMaxIteration ("arm-constant-island-max-iteration", cl::Hidden, cl::init(30), cl::desc("The max number of iteration for converge"))
 
static cl::opt< boolSynthesizeThumb1TBB ("arm-synthesize-thumb-1-tbb", cl::Hidden, cl::init(true), cl::desc("Use compressed jump tables in Thumb-1 by synthesizing an " "equivalent to the TBB/TBH instructions"))
 

Macro Definition Documentation

◆ ARM_CP_ISLANDS_OPT_NAME

#define ARM_CP_ISLANDS_OPT_NAME   "ARM constant island placement and branch shortening pass"

Definition at line 60 of file ARMConstantIslandPass.cpp.

Referenced by llvm::createARMConstantIslandPass().

◆ DEBUG_TYPE

#define DEBUG_TYPE   "arm-cp-islands"

Definition at line 58 of file ARMConstantIslandPass.cpp.

Function Documentation

◆ BBIsJumpedOver()

static bool BBIsJumpedOver ( MachineBasicBlock MBB)
static

◆ CompareMBBNumbers()

static bool CompareMBBNumbers ( const MachineBasicBlock LHS,
const MachineBasicBlock RHS 
)
static

◆ getUnconditionalBrDisp()

static unsigned getUnconditionalBrDisp ( int  Opc)
inlinestatic

getUnconditionalBrDisp - Returns the maximum displacement that can fit in the specific unconditional branch instruction.

Definition at line 1200 of file ARMConstantIslandPass.cpp.

References llvm::ARM_AM::add, llvm::MachineInstrBuilder::add(), llvm::MachineInstrBuilder::addImm(), llvm::MachineInstrBuilder::addMBB(), llvm::MachineInstrBuilder::addReg(), llvm::MachineBasicBlock::addSuccessor(), llvm::ARMCC::AL, assert(), B, llvm::MachineBasicBlock::back(), BBHasFallthrough(), BBIsJumpedOver(), llvm::MachineBasicBlock::begin(), llvm::tgtok::Bits, llvm::BuildMI(), llvm::computeBlockSize(), llvm::SmallSet< T, N, C >::count(), llvm::ARMFunctionInfo::createPICLabelUId(), llvm::dbgs(), DEBUG, llvm::MachineBasicBlock::empty(), llvm::MachineBasicBlock::end(), llvm::ARMCC::EQ, llvm::SmallSet< T, N, C >::erase(), llvm::MachineInstr::eraseFromParent(), llvm::find(), llvm::format(), llvm::MachineInstr::getDebugLoc(), llvm::MachineInstr::getDesc(), llvm::MachineOperand::getImm(), llvm::getInstrPredicate(), llvm::ARMBaseInstrInfo::getInstSizeInBytes(), llvm::ilist_node_impl< OptionsT >::getIterator(), llvm::getITInstrPredicate(), llvm::MachineOperand::getMBB(), llvm::MachineBasicBlock::getNumber(), llvm::MachineInstr::getNumExplicitOperands(), llvm::MachineInstr::getNumOperands(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::ARMCC::getOppositeCondition(), llvm::MachineInstr::getParent(), llvm::MachineOperand::getReg(), llvm::SmallSet< T, N, C >::insert(), llvm::BasicBlockInfo::internalKnownBits(), llvm::isARMLowRegister(), llvm::MachineOperand::isCPI(), llvm_unreachable, llvm::max(), MI, llvm::ARMCC::NE, llvm::BasicBlockInfo::postOffset(), llvm::predOps(), llvm::printMBBReference(), llvm::MachineBasicBlock::setAlignment(), llvm::MachineInstr::setDesc(), llvm::MachineOperand::setImm(), llvm::MachineOperand::setIndex(), llvm::MachineOperand::setMBB(), llvm::SmallVectorTemplateCommon< T, typename >::size(), llvm::AMDGPU::HSAMD::Kernel::Arg::Key::Size, and llvm::UnknownPadding().

◆ isSimpleIndexCalc()

static bool isSimpleIndexCalc ( MachineInstr I,
unsigned  EntryReg,
unsigned  BaseReg 
)
static

◆ jumpTableFollowsTB()

static bool jumpTableFollowsTB ( MachineInstr JTMI,
MachineInstr CPEMI 
)
static

Returns whether CPEMI is the first instruction in the block immediately following JTMI (assumed to be a TBB or TBH terminator).

If so, we can switch the first register to PC and usually remove the address calculation that preceded it.

Definition at line 2013 of file ARMConstantIslandPass.cpp.

References llvm::MachineFunction::end(), llvm::ilist_node_impl< OptionsT >::getIterator(), and llvm::MachineInstr::getParent().

Referenced by registerDefinedBetween().

◆ registerDefinedBetween()

static bool registerDefinedBetween ( unsigned  Reg,
MachineBasicBlock::iterator  From,
MachineBasicBlock::iterator  To,
const TargetRegisterInfo TRI 
)
static

Definition at line 2060 of file ARMConstantIslandPass.cpp.

References llvm::MCID::Add, llvm::MachineInstrBuilder::add(), llvm::MachineBasicBlock::addSuccessor(), llvm::ARMCC::AL, llvm::ARMBaseInstrInfo::analyzeBranch(), assert(), B, llvm::BuildMI(), llvm::dbgs(), DEBUG, E, llvm::SmallVectorBase::empty(), llvm::MachineBasicBlock::end(), llvm::MachineInstr::eraseFromParent(), llvm::find_if(), llvm::MachineBasicBlock::front(), llvm::MachineBasicBlock::getBasicBlock(), llvm::MachineInstr::getDebugLoc(), llvm::MachineInstr::getDesc(), llvm::MachineOperand::getImm(), llvm::ARMBaseInstrInfo::getInstSizeInBytes(), llvm::ilist_node_impl< OptionsT >::getIterator(), llvm::MachineJumpTableInfo::getJumpTables(), llvm::getKillRegState(), llvm::ilist_node_with_parent< NodeTy, ParentTy, Options >::getNextNode(), llvm::MachineBasicBlock::getNumber(), llvm::MCInstrDesc::getNumOperands(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::MachineInstr::getParent(), llvm::MachineOperand::getReg(), I, llvm::MachineOperand::isKill(), llvm::MachineInstr::isPredicable(), jumpTableFollowsTB(), llvm::SPII::Load, MI, llvm::MachineBasicBlock::moveAfter(), llvm::predOps(), llvm::printMBBReference(), RemoveDeadAddBetweenLEAAndJT(), llvm::MachineJumpTableInfo::ReplaceMBBInJumpTable(), llvm::MachineBasicBlock::replaceSuccessor(), llvm::MachineInstr::setDesc(), llvm::MachineOperand::setIsKill(), llvm::MachineOperand::setReg(), llvm::SmallVectorTemplateCommon< T, typename >::size(), and llvm::MachineBasicBlock::updateTerminator().

◆ RemoveDeadAddBetweenLEAAndJT()

static void RemoveDeadAddBetweenLEAAndJT ( MachineInstr LEAMI,
MachineInstr JumpMI,
unsigned DeadSize 
)
static

◆ STATISTIC() [1/10]

STATISTIC ( NumCPEs  ,
"Number of constpool entries"   
)

◆ STATISTIC() [2/10]

STATISTIC ( NumSplit  ,
"Number of uncond branches inserted"   
)

◆ STATISTIC() [3/10]

STATISTIC ( NumCBrFixed  ,
"Number of cond branches fixed"   
)

◆ STATISTIC() [4/10]

STATISTIC ( NumUBrFixed  ,
"Number of uncond branches fixed"   
)

◆ STATISTIC() [5/10]

STATISTIC ( NumTBs  ,
"Number of table branches generated"   
)

◆ STATISTIC() [6/10]

STATISTIC ( NumT2CPShrunk  ,
"Number of Thumb2 constantpool instructions shrunk"   
)

◆ STATISTIC() [7/10]

STATISTIC ( NumT2BrShrunk  ,
"Number of Thumb2 immediate branches shrunk"   
)

◆ STATISTIC() [8/10]

STATISTIC ( NumCBZ  ,
"Number of CBZ / CBNZ formed"   
)

◆ STATISTIC() [9/10]

STATISTIC ( NumJTMoved  ,
"Number of jump table destination blocks moved"   
)

◆ STATISTIC() [10/10]

STATISTIC ( NumJTInserted  ,
"Number of jump table intermediate blocks inserted"   
)

Variable Documentation

◆ AdjustJumpTableBlocks

cl::opt<bool> AdjustJumpTableBlocks("arm-adjust-jump-tables", cl::Hidden, cl::init(true), cl::desc("Adjust basic block layout to better use TB[BH]"))
static

◆ CPMaxIteration

cl::opt<unsigned> CPMaxIteration("arm-constant-island-max-iteration", cl::Hidden, cl::init(30), cl::desc("The max number of iteration for converge"))
static

◆ SynthesizeThumb1TBB

cl::opt<bool> SynthesizeThumb1TBB("arm-synthesize-thumb-1-tbb", cl::Hidden, cl::init(true), cl::desc("Use compressed jump tables in Thumb-1 by synthesizing an " "equivalent to the TBB/TBH instructions"))
static