LLVM 19.0.0git
Public Member Functions | List of all members
llvm::LegalizerInfo Class Reference

#include "llvm/CodeGen/GlobalISel/LegalizerInfo.h"

Inheritance diagram for llvm::LegalizerInfo:
Inheritance graph
[legend]

Public Member Functions

virtual ~LegalizerInfo ()=default
 
const LegacyLegalizerInfogetLegacyLegalizerInfo () const
 
LegacyLegalizerInfogetLegacyLegalizerInfo ()
 
unsigned getOpcodeIdxForOpcode (unsigned Opcode) const
 
unsigned getActionDefinitionsIdx (unsigned Opcode) const
 
void verify (const MCInstrInfo &MII) const
 Perform simple self-diagnostic and assert if there is anything obviously wrong with the actions set up.
 
const LegalizeRuleSetgetActionDefinitions (unsigned Opcode) const
 Get the action definitions for the given opcode.
 
LegalizeRuleSetgetActionDefinitionsBuilder (unsigned Opcode)
 Get the action definition builder for the given opcode.
 
LegalizeRuleSetgetActionDefinitionsBuilder (std::initializer_list< unsigned > Opcodes)
 Get the action definition builder for the given set of opcodes.
 
void aliasActionDefinitions (unsigned OpcodeTo, unsigned OpcodeFrom)
 
LegalizeActionStep getAction (const LegalityQuery &Query) const
 Determine what action should be taken to legalize the described instruction.
 
LegalizeActionStep getAction (const MachineInstr &MI, const MachineRegisterInfo &MRI) const
 Determine what action should be taken to legalize the given generic instruction.
 
bool isLegal (const LegalityQuery &Query) const
 
bool isLegalOrCustom (const LegalityQuery &Query) const
 
bool isLegal (const MachineInstr &MI, const MachineRegisterInfo &MRI) const
 
bool isLegalOrCustom (const MachineInstr &MI, const MachineRegisterInfo &MRI) const
 
virtual bool legalizeCustom (LegalizerHelper &Helper, MachineInstr &MI, LostDebugLocObserver &LocObserver) const
 Called for instructions with the Custom LegalizationAction.
 
virtual bool legalizeIntrinsic (LegalizerHelper &Helper, MachineInstr &MI) const
 
virtual unsigned getExtOpcodeForWideningConstant (LLT SmallTy) const
 Return the opcode (SEXT/ZEXT/ANYEXT) that should be performed while widening a constant of type SmallTy which targets can override.
 

Detailed Description

Definition at line 1238 of file LegalizerInfo.h.

Constructor & Destructor Documentation

◆ ~LegalizerInfo()

virtual llvm::LegalizerInfo::~LegalizerInfo ( )
virtualdefault

Member Function Documentation

◆ aliasActionDefinitions()

void LegalizerInfo::aliasActionDefinitions ( unsigned  OpcodeTo,
unsigned  OpcodeFrom 
)

◆ getAction() [1/2]

LegalizeActionStep LegalizerInfo::getAction ( const LegalityQuery Query) const

◆ getAction() [2/2]

LegalizeActionStep LegalizerInfo::getAction ( const MachineInstr MI,
const MachineRegisterInfo MRI 
) const

Determine what action should be taken to legalize the given generic instruction.

Returns
a description of the next legalization step to perform.

Definition at line 333 of file LegalizerInfo.cpp.

References getAction(), getTypeFromTypeIdx(), MI, MRI, llvm::SmallVectorTemplateBase< T, bool >::push_back(), and llvm::SmallBitVector::set().

◆ getActionDefinitions()

const LegalizeRuleSet & LegalizerInfo::getActionDefinitions ( unsigned  Opcode) const

Get the action definitions for the given opcode.

Use this to run a LegalityQuery through the definitions.

Definition at line 287 of file LegalizerInfo.cpp.

References getActionDefinitionsIdx().

Referenced by getAction(), and verify().

◆ getActionDefinitionsBuilder() [1/2]

LegalizeRuleSet & LegalizerInfo::getActionDefinitionsBuilder ( std::initializer_list< unsigned Opcodes)

Get the action definition builder for the given set of opcodes.

Use this to define the action definitions for multiple opcodes at once. The first opcode given will be considered the representative opcode and will hold the definitions whereas the other opcodes will be configured to refer to the representative opcode. This lowers memory requirements and very slightly improves performance.

It would be very easy to introduce unexpected side-effects as a result of this aliasing if it were permitted to request different but intersecting sets of opcodes but that is difficult to keep track of. It is therefore an error to request the same opcode twice using this API, to request an opcode that already has definitions, or to use the single-opcode API on an opcode that has already been requested by this API.

Definition at line 299 of file LegalizerInfo.cpp.

References aliasActionDefinitions(), assert(), llvm::drop_begin(), and getActionDefinitionsBuilder().

◆ getActionDefinitionsBuilder() [2/2]

LegalizeRuleSet & LegalizerInfo::getActionDefinitionsBuilder ( unsigned  Opcode)

◆ getActionDefinitionsIdx()

unsigned LegalizerInfo::getActionDefinitionsIdx ( unsigned  Opcode) const

◆ getExtOpcodeForWideningConstant()

unsigned LegalizerInfo::getExtOpcodeForWideningConstant ( LLT  SmallTy) const
virtual

Return the opcode (SEXT/ZEXT/ANYEXT) that should be performed while widening a constant of type SmallTy which targets can override.

For eg, the DAG does (SmallTy.isByteSized() ? G_SEXT : G_ZEXT) which will be the default.

Definition at line 375 of file LegalizerInfo.cpp.

References llvm::LLT::isByteSized().

Referenced by llvm::LegalizerHelper::widenScalar().

◆ getLegacyLegalizerInfo() [1/2]

LegacyLegalizerInfo & llvm::LegalizerInfo::getLegacyLegalizerInfo ( )
inline

Definition at line 1245 of file LegalizerInfo.h.

◆ getLegacyLegalizerInfo() [2/2]

const LegacyLegalizerInfo & llvm::LegalizerInfo::getLegacyLegalizerInfo ( ) const
inline

◆ getOpcodeIdxForOpcode()

unsigned LegalizerInfo::getOpcodeIdxForOpcode ( unsigned  Opcode) const

Definition at line 269 of file LegalizerInfo.cpp.

References assert().

Referenced by aliasActionDefinitions(), and getActionDefinitionsIdx().

◆ isLegal() [1/2]

bool llvm::LegalizerInfo::isLegal ( const LegalityQuery Query) const
inline

Definition at line 1295 of file LegalizerInfo.h.

References llvm::LegalizeActionStep::Action, and getAction().

◆ isLegal() [2/2]

bool LegalizerInfo::isLegal ( const MachineInstr MI,
const MachineRegisterInfo MRI 
) const

◆ isLegalOrCustom() [1/2]

bool llvm::LegalizerInfo::isLegalOrCustom ( const LegalityQuery Query) const
inline

◆ isLegalOrCustom() [2/2]

bool LegalizerInfo::isLegalOrCustom ( const MachineInstr MI,
const MachineRegisterInfo MRI 
) const

◆ legalizeCustom()

virtual bool llvm::LegalizerInfo::legalizeCustom ( LegalizerHelper Helper,
MachineInstr MI,
LostDebugLocObserver LocObserver 
) const
inlinevirtual

Called for instructions with the Custom LegalizationAction.

Reimplemented in llvm::AArch64LegalizerInfo, llvm::AMDGPULegalizerInfo, llvm::ARMLegalizerInfo, llvm::MipsLegalizerInfo, llvm::RISCVLegalizerInfo, and llvm::SPIRVLegalizerInfo.

Definition at line 1309 of file LegalizerInfo.h.

References llvm_unreachable.

Referenced by llvm::LegalizerHelper::legalizeInstrStep().

◆ legalizeIntrinsic()

virtual bool llvm::LegalizerInfo::legalizeIntrinsic ( LegalizerHelper Helper,
MachineInstr MI 
) const
inlinevirtual
Returns
true if MI is either legal or has been legalized and false if not legal. Return true if MI is either legal or has been legalized and false if not legal.

Reimplemented in llvm::AArch64LegalizerInfo, llvm::AMDGPULegalizerInfo, llvm::MipsLegalizerInfo, llvm::RISCVLegalizerInfo, and llvm::X86LegalizerInfo.

Definition at line 1318 of file LegalizerInfo.h.

Referenced by llvm::LegalizerHelper::legalizeInstrStep().

◆ verify()

void LegalizerInfo::verify ( const MCInstrInfo MII) const

Perform simple self-diagnostic and assert if there is anything obviously wrong with the actions set up.

Precondition
Type indices of every opcode form a dense set starting from 0.

Definition at line 380 of file LegalizerInfo.cpp.

References llvm::dbgs(), llvm::errs(), llvm::MCInstrInfo::get(), getActionDefinitions(), llvm::MCInstrInfo::getName(), LLVM_DEBUG, llvm::MCInstrDesc::operands(), llvm::report_fatal_error(), llvm::LegalizeRuleSet::verifyImmIdxsCoverage(), and llvm::LegalizeRuleSet::verifyTypeIdxsCoverage().


The documentation for this class was generated from the following files: