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

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

Inheritance diagram for llvm::LegalizerInfo:
[legend]

Public Member Functions

virtual ~LegalizerInfo ()=default
const LegacyLegalizerInfo & getLegacyLegalizerInfo () const
LegacyLegalizerInfo & getLegacyLegalizerInfo ()
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 LegalizeRuleSet & getActionDefinitions (unsigned Opcode) const
 Get the action definitions for the given opcode.
LegalizeRuleSet & getActionDefinitionsBuilder (unsigned Opcode)
 Get the action definition builder for the given opcode.
LegalizeRuleSet & getActionDefinitionsBuilder (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 1327 of file LegalizerInfo.h.

Constructor & Destructor Documentation

◆ ~LegalizerInfo()

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

Member Function Documentation

◆ aliasActionDefinitions()

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

Definition at line 336 of file LegalizerInfo.cpp.

References assert(), and getOpcodeIdxForOpcode().

Referenced by getActionDefinitionsBuilder().

◆ getAction() [1/2]

LegalizeActionStep LegalizerInfo::getAction ( const LegalityQuery & Query) const

Determine what action should be taken to legalize the described instruction.

Requires computeTables to have been called.

Returns
a description of the next legalization step to perform.

Definition at line 345 of file LegalizerInfo.cpp.

References llvm::LegalizeActionStep::Action, llvm::LegalizeRuleSet::apply(), llvm::LegacyLegalizerInfo::getAction(), getActionDefinitions(), getLegacyLegalizerInfo(), and llvm::LegalityQuery::Opcode.

Referenced by getAction(), isLegal(), isLegal(), isLegalOrCustom(), and isLegalOrCustom().

◆ 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 355 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 309 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 321 of file LegalizerInfo.cpp.

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

◆ getActionDefinitionsBuilder() [2/2]

LegalizeRuleSet & LegalizerInfo::getActionDefinitionsBuilder ( unsigned Opcode)

Get the action definition builder for the given opcode.

Use this to define the action definitions.

It is an error to request an opcode that has already been requested by the multiple-opcode variant.

Definition at line 314 of file LegalizerInfo.cpp.

References assert(), and getActionDefinitionsIdx().

Referenced by llvm::AArch64LegalizerInfo::AArch64LegalizerInfo(), llvm::AMDGPULegalizerInfo::AMDGPULegalizerInfo(), llvm::ARMLegalizerInfo::ARMLegalizerInfo(), getActionDefinitionsBuilder(), llvm::M68kLegalizerInfo::M68kLegalizerInfo(), llvm::MipsLegalizerInfo::MipsLegalizerInfo(), llvm::PPCLegalizerInfo::PPCLegalizerInfo(), llvm::RISCVLegalizerInfo::RISCVLegalizerInfo(), llvm::SPIRVLegalizerInfo::SPIRVLegalizerInfo(), and llvm::X86LegalizerInfo::X86LegalizerInfo().

◆ getActionDefinitionsIdx()

unsigned LegalizerInfo::getActionDefinitionsIdx ( unsigned Opcode) const

Definition at line 294 of file LegalizerInfo.cpp.

References assert(), llvm::dbgs(), getOpcodeIdxForOpcode(), LLVM_DEBUG, and VerboseVerifyLegalizerInfo.

Referenced by getActionDefinitions(), and getActionDefinitionsBuilder().

◆ 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 397 of file LegalizerInfo.cpp.

References llvm::LLT::isByteSized().

◆ getLegacyLegalizerInfo() [1/2]

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

Definition at line 1334 of file LegalizerInfo.h.

◆ getLegacyLegalizerInfo() [2/2]

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

Definition at line 1331 of file LegalizerInfo.h.

Referenced by llvm::AArch64LegalizerInfo::AArch64LegalizerInfo(), llvm::AMDGPULegalizerInfo::AMDGPULegalizerInfo(), llvm::ARMLegalizerInfo::ARMLegalizerInfo(), llvm::BPFLegalizerInfo::BPFLegalizerInfo(), getAction(), llvm::M68kLegalizerInfo::M68kLegalizerInfo(), llvm::MipsLegalizerInfo::MipsLegalizerInfo(), llvm::PPCLegalizerInfo::PPCLegalizerInfo(), llvm::SPIRVLegalizerInfo::SPIRVLegalizerInfo(), and llvm::X86LegalizerInfo::X86LegalizerInfo().

◆ getOpcodeIdxForOpcode()

unsigned LegalizerInfo::getOpcodeIdxForOpcode ( unsigned Opcode) const

Definition at line 289 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 1384 of file LegalizerInfo.h.

References getAction().

◆ isLegal() [2/2]

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

Definition at line 384 of file LegalizerInfo.cpp.

References llvm::LegalizeActionStep::Action, getAction(), llvm::IRSimilarity::Legal, MI, and MRI.

◆ isLegalOrCustom() [1/2]

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

Definition at line 1388 of file LegalizerInfo.h.

References getAction().

◆ isLegalOrCustom() [2/2]

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

Definition at line 389 of file LegalizerInfo.cpp.

References llvm::LegalizeActionStep::Action, llvm::LegalizeActions::Custom, getAction(), llvm::IRSimilarity::Legal, MI, and MRI.

◆ 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, llvm::SPIRVLegalizerInfo, and llvm::X86LegalizerInfo.

Definition at line 1398 of file LegalizerInfo.h.

References llvm_unreachable, and MI.

◆ 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 1407 of file LegalizerInfo.h.

References MI.

◆ 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 402 of file LegalizerInfo.cpp.

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

The documentation for this class was generated from the following files:
Generated on for LLVM by doxygen 1.14.0