LLVM 20.0.0git
Classes | Macros | Functions | Variables
AArch64CollectLOH.cpp File Reference
#include "AArch64.h"
#include "AArch64InstrInfo.h"
#include "AArch64MachineFunctionInfo.h"
#include "llvm/ADT/SmallSet.h"
#include "llvm/ADT/Statistic.h"
#include "llvm/CodeGen/MachineBasicBlock.h"
#include "llvm/CodeGen/MachineFunctionPass.h"
#include "llvm/CodeGen/MachineInstr.h"
#include "llvm/CodeGen/TargetRegisterInfo.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/ErrorHandling.h"
#include "llvm/Support/raw_ostream.h"
#include "llvm/Target/TargetMachine.h"

Go to the source code of this file.

Classes

struct  LOHInfo
 State tracked per register. More...
 

Macros

#define DEBUG_TYPE   "aarch64-collect-loh"
 
#define AARCH64_COLLECT_LOH_NAME   "AArch64 Collect Linker Optimization Hint (LOH)"
 

Functions

 STATISTIC (NumADRPSimpleCandidate, "Number of simplifiable ADRP dominate by another")
 
 STATISTIC (NumADDToSTR, "Number of simplifiable STR reachable by ADD")
 
 STATISTIC (NumLDRToSTR, "Number of simplifiable STR reachable by LDR")
 
 STATISTIC (NumADDToLDR, "Number of simplifiable LDR reachable by ADD")
 
 STATISTIC (NumLDRToLDR, "Number of simplifiable LDR reachable by LDR")
 
 STATISTIC (NumADRPToLDR, "Number of simplifiable LDR reachable by ADRP")
 
 STATISTIC (NumADRSimpleCandidate, "Number of simplifiable ADRP + ADD")
 
 INITIALIZE_PASS (AArch64CollectLOH, "aarch64-collect-loh", AARCH64_COLLECT_LOH_NAME, false, false) static bool canAddBePartOfLOH(const MachineInstr &MI)
 
static bool canDefBePartOfLOH (const MachineInstr &MI)
 Answer the following question: Can Def be one of the definition involved in a part of a LOH?
 
static bool isCandidateStore (const MachineInstr &MI, const MachineOperand &MO)
 Check whether the given instruction can the end of a LOH chain involving a store.
 
static bool isCandidateLoad (const MachineInstr &MI)
 Check whether the given instruction can be the end of a LOH chain involving a load.
 
static bool supportLoadFromLiteral (const MachineInstr &MI)
 Check whether the given instruction can load a litteral.
 
static int mapRegToGPRIndex (MCPhysReg Reg)
 Map register number to index from 0-30.
 
static void handleUse (const MachineInstr &MI, const MachineOperand &MO, LOHInfo &Info)
 Update state Info given MI uses the tracked register.
 
static void handleClobber (LOHInfo &Info)
 Update state Info given the tracked register is clobbered.
 
static bool handleMiddleInst (const MachineInstr &MI, LOHInfo &DefInfo, LOHInfo &OpInfo)
 Update state Info given that MI is possibly the middle instruction of an LOH involving 3 instructions.
 
static void handleADRP (const MachineInstr &MI, AArch64FunctionInfo &AFI, LOHInfo &Info, LOHInfo *LOHInfos)
 Update state when seeing and ADRP instruction.
 
static void handleRegMaskClobber (const uint32_t *RegMask, MCPhysReg Reg, LOHInfo *LOHInfos)
 
static void handleNormalInst (const MachineInstr &MI, LOHInfo *LOHInfos)
 

Variables

static const unsigned N_GPR_REGS = 31
 Number of GPR registers traked by mapRegToGPRIndex()
 

Macro Definition Documentation

◆ AARCH64_COLLECT_LOH_NAME

#define AARCH64_COLLECT_LOH_NAME   "AArch64 Collect Linker Optimization Hint (LOH)"

Definition at line 126 of file AArch64CollectLOH.cpp.

◆ DEBUG_TYPE

#define DEBUG_TYPE   "aarch64-collect-loh"

Definition at line 115 of file AArch64CollectLOH.cpp.

Function Documentation

◆ canDefBePartOfLOH()

static bool canDefBePartOfLOH ( const MachineInstr MI)
static

Answer the following question: Can Def be one of the definition involved in a part of a LOH?

Definition at line 171 of file AArch64CollectLOH.cpp.

References MI, llvm::MachineOperand::MO_GlobalAddress, and llvm::AArch64II::MO_GOT.

◆ handleADRP()

static void handleADRP ( const MachineInstr MI,
AArch64FunctionInfo AFI,
LOHInfo Info,
LOHInfo LOHInfos 
)
static

◆ handleClobber()

static void handleClobber ( LOHInfo Info)
static

Update state Info given the tracked register is clobbered.

Definition at line 323 of file AArch64CollectLOH.cpp.

References Info.

Referenced by handleADRP(), handleMiddleInst(), handleNormalInst(), and handleRegMaskClobber().

◆ handleMiddleInst()

static bool handleMiddleInst ( const MachineInstr MI,
LOHInfo DefInfo,
LOHInfo OpInfo 
)
static

Update state Info given that MI is possibly the middle instruction of an LOH involving 3 instructions.

Definition at line 332 of file AArch64CollectLOH.cpp.

References assert(), handleClobber(), LOHInfo::IsCandidate, LOHInfo::LastADRP, llvm::MCLOH_AdrpAddLdr, llvm::MCLOH_AdrpAddStr, llvm::MCLOH_AdrpLdr, llvm::MCLOH_AdrpLdrGotLdr, llvm::MCLOH_AdrpLdrGotStr, MI, LOHInfo::MI1, llvm::AArch64II::MO_GOT, LOHInfo::OneUser, and LOHInfo::Type.

◆ handleNormalInst()

static void handleNormalInst ( const MachineInstr MI,
LOHInfo LOHInfos 
)
static

◆ handleRegMaskClobber()

static void handleRegMaskClobber ( const uint32_t RegMask,
MCPhysReg  Reg,
LOHInfo LOHInfos 
)
static

◆ handleUse()

static void handleUse ( const MachineInstr MI,
const MachineOperand MO,
LOHInfo Info 
)
static

Update state Info given MI uses the tracked register.

Definition at line 287 of file AArch64CollectLOH.cpp.

References Info, isCandidateLoad(), isCandidateStore(), llvm::MCLOH_AdrpAdd, llvm::MCLOH_AdrpAddStr, llvm::MCLOH_AdrpLdr, llvm::MCLOH_AdrpLdrGot, MI, and llvm::AArch64II::MO_GOT.

Referenced by handleNormalInst().

◆ INITIALIZE_PASS()

INITIALIZE_PASS ( AArch64CollectLOH  ,
"aarch64-collect-loh"  ,
AARCH64_COLLECT_LOH_NAME  ,
false  ,
false   
) const &

◆ isCandidateLoad()

static bool isCandidateLoad ( const MachineInstr MI)
static

Check whether the given instruction can be the end of a LOH chain involving a load.

Definition at line 218 of file AArch64CollectLOH.cpp.

References MI, and llvm::AArch64II::MO_GOT.

Referenced by handleUse().

◆ isCandidateStore()

static bool isCandidateStore ( const MachineInstr MI,
const MachineOperand MO 
)
static

Check whether the given instruction can the end of a LOH chain involving a store.

Definition at line 194 of file AArch64CollectLOH.cpp.

References llvm::MachineOperand::getOperandNo(), and MI.

Referenced by handleUse().

◆ mapRegToGPRIndex()

static int mapRegToGPRIndex ( MCPhysReg  Reg)
static

Map register number to index from 0-30.

Definition at line 256 of file AArch64CollectLOH.cpp.

References N_GPR_REGS.

Referenced by handleADRP(), handleNormalInst(), and handleRegMaskClobber().

◆ STATISTIC() [1/7]

STATISTIC ( NumADDToLDR  ,
"Number of simplifiable LDR reachable by ADD"   
)

◆ STATISTIC() [2/7]

STATISTIC ( NumADDToSTR  ,
"Number of simplifiable STR reachable by ADD"   
)

◆ STATISTIC() [3/7]

STATISTIC ( NumADRPSimpleCandidate  ,
"Number of simplifiable ADRP dominate by another"   
)

◆ STATISTIC() [4/7]

STATISTIC ( NumADRPToLDR  ,
"Number of simplifiable LDR reachable by ADRP"   
)

◆ STATISTIC() [5/7]

STATISTIC ( NumADRSimpleCandidate  ,
"Number of simplifiable ADRP + ADD"   
)

◆ STATISTIC() [6/7]

STATISTIC ( NumLDRToLDR  ,
"Number of simplifiable LDR reachable by LDR"   
)

◆ STATISTIC() [7/7]

STATISTIC ( NumLDRToSTR  ,
"Number of simplifiable STR reachable by LDR"   
)

◆ supportLoadFromLiteral()

static bool supportLoadFromLiteral ( const MachineInstr MI)
static

Check whether the given instruction can load a litteral.

Definition at line 239 of file AArch64CollectLOH.cpp.

References MI.

Referenced by handleADRP().

Variable Documentation

◆ N_GPR_REGS

const unsigned N_GPR_REGS = 31
static

Number of GPR registers traked by mapRegToGPRIndex()

Definition at line 254 of file AArch64CollectLOH.cpp.

Referenced by mapRegToGPRIndex().