#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 1239 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 314 of file LegalizerInfo.cpp.

References llvm::LegalizeRuleSet::aliasTo(), 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 323 of file LegalizerInfo.cpp.

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

Referenced by getAction(), llvm::CombinerHelper::isLegal(), isLegal(), isLegalOrCustom(), llvm::LegalizerHelper::legalizeInstrStep(), llvm::LegalizerHelper::lowerBitCount(), llvm::LegalizerHelper::lowerFunnelShift(), llvm::CombinerHelper::matchCombineExtendingLoads(), and llvm::LegalizationArtifactCombiner::tryFoldUnmergeCast().

◆ 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 )

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 292 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 274 of file LegalizerInfo.cpp.

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

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

◆ getLegacyLegalizerInfo() [2/2]

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

inline

Definition at line 1243 of file LegalizerInfo.h.

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

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

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

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

◆ isLegal() [2/2]

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

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

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

Referenced by llvm::LegalizerHelper::lower(), llvm::LegalizerHelper::lowerRotate(), llvm::CombinerHelper::matchBitfieldExtractFromAnd(), llvm::CombinerHelper::matchBitfieldExtractFromSExtInReg(), llvm::CombinerHelper::matchBitfieldExtractFromShr(), and llvm::CombinerHelper::matchBitfieldExtractFromShrAnd().

◆ isLegalOrCustom() [2/2]

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

Definition at line 367 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 1310 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 1319 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:

include/llvm/CodeGen/GlobalISel/LegalizerInfo.h
lib/CodeGen/GlobalISel/LegalizerInfo.cpp

Public Member Functions

Detailed Description

Constructor & Destructor Documentation

◆ ~LegalizerInfo()

Member Function Documentation

◆ aliasActionDefinitions()

◆ getAction() [1/2]

◆ getAction() [2/2]

◆ getActionDefinitions()

◆ getActionDefinitionsBuilder() [1/2]

◆ getActionDefinitionsBuilder() [2/2]

◆ getActionDefinitionsIdx()

◆ getExtOpcodeForWideningConstant()

◆ getLegacyLegalizerInfo() [1/2]

◆ getLegacyLegalizerInfo() [2/2]

◆ getOpcodeIdxForOpcode()

◆ isLegal() [1/2]

◆ isLegal() [2/2]

◆ isLegalOrCustom() [1/2]

◆ isLegalOrCustom() [2/2]

◆ legalizeCustom()

◆ legalizeIntrinsic()

◆ verify()