LegalizerInfo.cpp File Reference

#include "llvm/CodeGen/GlobalISel/LegalizerInfo.h"
#include "llvm/ADT/SmallBitVector.h"
#include "llvm/CodeGen/MachineInstr.h"
#include "llvm/CodeGen/MachineOperand.h"
#include "llvm/CodeGen/MachineRegisterInfo.h"
#include "llvm/CodeGen/TargetOpcodes.h"
#include "llvm/CodeGenTypes/LowLevelType.h"
#include "llvm/MC/MCInstrDesc.h"
#include "llvm/MC/MCInstrInfo.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/ErrorHandling.h"
#include <algorithm>

Go to the source code of this file.

Macros
#define	DEBUG_TYPE   "legalizer-info"

Functions
static bool	hasNoSimpleLoops (const LegalizeRule &Rule, const LegalityQuery &Q, const std::pair< unsigned, LLT > &Mutation)
static bool	mutationIsSane (const LegalizeRule &Rule, const LegalityQuery &Q, std::pair< unsigned, LLT > Mutation)
static LLT	getTypeFromTypeIdx (const MachineInstr &MI, const MachineRegisterInfo &MRI, unsigned OpIdx, unsigned TypeIdx)
	Helper function to get LLT for the given type index.

Variables
cl::opt< bool >	VerboseVerifyLegalizerInfo ("verbose-gisel-verify-legalizer-info", cl::desc("Print more information to dbgs about GlobalISel legalizer rules " "being verified"), cl::Hidden)

Macro Definition Documentation

DEBUG_TYPE

#define DEBUG_TYPE   "legalizer-info"

Definition at line 30 of file LegalizerInfo.cpp.

Function Documentation

getTypeFromTypeIdx()

LLT getTypeFromTypeIdx ( const MachineInstr & MI, const MachineRegisterInfo & MRI, unsigned OpIdx, unsigned TypeIdx )

static

Helper function to get LLT for the given type index.

Definition at line 277 of file LegalizerInfo.cpp.

References assert(), MI, MRI, and OpIdx.

Referenced by llvm::LegalizerInfo::getAction().

hasNoSimpleLoops()

bool hasNoSimpleLoops ( const LegalizeRule & Rule, const LegalityQuery & Q, const std::pair< unsigned, LLT > & Mutation )

static

Definition at line 101 of file LegalizerInfo.cpp.

References llvm::LegalizeActions::Custom, llvm::LegalizeActions::FewerElements, llvm::LegalizeRule::getAction(), llvm::IRSimilarity::Legal, llvm::LegalizeActions::Libcall, llvm::LegalizeActions::Lower, llvm::LegalizeActions::MoreElements, Mutation, and llvm::LegalityQuery::Types.

Referenced by llvm::LegalizeRuleSet::apply().

mutationIsSane()

bool mutationIsSane ( const LegalizeRule & Rule, const LegalityQuery & Q, std::pair< unsigned, LLT > Mutation )

static

Definition at line 118 of file LegalizerInfo.cpp.

References llvm::LegalizeActions::Bitcast, llvm::LegalizeActions::Custom, llvm::LegalizeActions::FewerElements, llvm::LegalizeRule::getAction(), llvm::LLT::getElementCount(), llvm::ElementCount::getFixed(), llvm::LLT::getScalarSizeInBits(), llvm::LLT::getScalarType(), llvm::LLT::getSizeInBits(), llvm::details::FixedOrScalableQuantity< ElementCount, unsigned >::isKnownGE(), llvm::details::FixedOrScalableQuantity< ElementCount, unsigned >::isKnownLE(), llvm::LLT::isVector(), llvm::IRSimilarity::Legal, llvm::LegalizeActions::MoreElements, Mutation, llvm::LegalizeActions::NarrowScalar, llvm::LegalityQuery::Types, and llvm::LegalizeActions::WidenScalar.

Referenced by llvm::LegalizeRuleSet::apply().

Variable Documentation

VerboseVerifyLegalizerInfo

cl::opt< bool > VerboseVerifyLegalizerInfo("verbose-gisel-verify-legalizer-info", cl::desc("Print more information to dbgs about GlobalISel legalizer rules " "being verified"), cl::Hidden)	(	"verbose-gisel-verify-legalizer-info"	,
		cl::desc("Print more information to dbgs about GlobalISel legalizer rules " "being verified")	,
		cl::Hidden	)

Referenced by llvm::LegalizerInfo::getActionDefinitionsIdx(), llvm::LegalizerInfo::verify(), llvm::LegalizeRuleSet::verifyImmIdxsCoverage(), and llvm::LegalizeRuleSet::verifyTypeIdxsCoverage().