llvm::AArch64GISelUtils Namespace Reference

Functions
bool	isCMN (const MachineInstr *MaybeSub, const CmpInst::Predicate &Pred, const MachineRegisterInfo &MRI)
bool	matchEmitBZero (const MachineInstr &MI, const MachineRegisterInfo &MRI, const LibcallLoweringInfo &Libcalls, bool MinSize)
	Replace a G_MEMSET with a value of 0 with a G_BZERO instruction if it is supported and beneficial to do so.
void	applyEmitBZero (MachineInstr &MI, MachineIRBuilder &MIRBuilder)
	Replace MI with a G_BZERO.
std::tuple< uint16_t, Register >	extractPtrauthBlendDiscriminators (Register Disc, MachineRegisterInfo &MRI)
	Analyze a ptrauth discriminator value to try to find the constant integer and address parts, cracking a ptrauth_blend intrinsic if there is one.
void	changeFCMPPredToAArch64CC (const CmpInst::Predicate P, AArch64CC::CondCode &CondCode, AArch64CC::CondCode &CondCode2)
	Find the AArch64 condition codes necessary to represent P for a scalar floating point comparison.
void	changeVectorFCMPPredToAArch64CC (const CmpInst::Predicate P, AArch64CC::CondCode &CondCode, AArch64CC::CondCode &CondCode2, bool &Invert)
	Find the AArch64 condition codes necessary to represent P for a vector floating point comparison.

Function Documentation

applyEmitBZero()

void llvm::AArch64GISelUtils::applyEmitBZero	(	MachineInstr &	MI,
		MachineIRBuilder &	MIRBuilder )

Replace MI with a G_BZERO.

Definition at line 42 of file AArch64GlobalISelUtils.cpp.

References llvm::MachineInstrBuilder::addMemOperand(), assert(), llvm::MachineIRBuilder::buildInstr(), MI, and llvm::MachineIRBuilder::setInstrAndDebugLoc().

changeFCMPPredToAArch64CC()

void llvm::AArch64GISelUtils::changeFCMPPredToAArch64CC	(	const CmpInst::Predicate	P,
		AArch64CC::CondCode &	CondCode,
		AArch64CC::CondCode &	CondCode2 )

Find the AArch64 condition codes necessary to represent P for a scalar floating point comparison.

Parameters

[out]	CondCode	is the first condition code.
[out]	CondCode2	is the second condition code if necessary. AArch64CC::AL otherwise.

Definition at line 112 of file AArch64GlobalISelUtils.cpp.

References llvm::AArch64CC::AL, llvm::AArch64CC::EQ, llvm::CmpInst::FCMP_FALSE, llvm::CmpInst::FCMP_OEQ, llvm::CmpInst::FCMP_OGE, llvm::CmpInst::FCMP_OGT, llvm::CmpInst::FCMP_OLE, llvm::CmpInst::FCMP_OLT, llvm::CmpInst::FCMP_ONE, llvm::CmpInst::FCMP_ORD, llvm::CmpInst::FCMP_TRUE, llvm::CmpInst::FCMP_UEQ, llvm::CmpInst::FCMP_UGE, llvm::CmpInst::FCMP_UGT, llvm::CmpInst::FCMP_ULE, llvm::CmpInst::FCMP_ULT, llvm::CmpInst::FCMP_UNE, llvm::CmpInst::FCMP_UNO, llvm::AArch64CC::GE, llvm::AArch64CC::GT, llvm::AArch64CC::HI, llvm::AArch64CC::LE, llvm_unreachable, llvm::AArch64CC::LS, llvm::AArch64CC::LT, llvm::AArch64CC::MI, llvm::AArch64CC::NE, llvm::AArch64CC::NV, P, llvm::AArch64CC::PL, llvm::AArch64CC::VC, and llvm::AArch64CC::VS.

Referenced by changeVectorFCMPPredToAArch64CC().

changeVectorFCMPPredToAArch64CC()

void llvm::AArch64GISelUtils::changeVectorFCMPPredToAArch64CC	(	const CmpInst::Predicate	P,
		AArch64CC::CondCode &	CondCode,
		AArch64CC::CondCode &	CondCode2,
		bool &	Invert )

Find the AArch64 condition codes necessary to represent P for a vector floating point comparison.

Parameters

[out]	CondCode	- The first condition code.
[out]	CondCode2	- The second condition code if necessary. AArch64CC::AL otherwise.
[out]	Invert	- True if the comparison must be inverted with a NOT.

Definition at line 172 of file AArch64GlobalISelUtils.cpp.

References changeFCMPPredToAArch64CC(), llvm::CmpInst::FCMP_ORD, llvm::CmpInst::FCMP_UEQ, llvm::CmpInst::FCMP_UGE, llvm::CmpInst::FCMP_UGT, llvm::CmpInst::FCMP_ULE, llvm::CmpInst::FCMP_ULT, llvm::CmpInst::FCMP_UNO, llvm::AArch64CC::GE, llvm::CmpInst::getInversePredicate(), llvm::AArch64CC::MI, and P.

extractPtrauthBlendDiscriminators()

std::tuple< uint16_t, Register > llvm::AArch64GISelUtils::extractPtrauthBlendDiscriminators	(	Register	Disc,
		MachineRegisterInfo &	MRI )

Analyze a ptrauth discriminator value to try to find the constant integer and address parts, cracking a ptrauth_blend intrinsic if there is one.

Returns

integer/address disc. parts, with NoRegister if no address disc.

Definition at line 84 of file AArch64GlobalISelUtils.cpp.

References llvm::getIConstantVRegVal(), llvm::isUInt(), llvm::MIPatternMatch::m_GIntrinsic(), llvm::MIPatternMatch::m_Reg(), llvm::MIPatternMatch::mi_match(), and Register.

isCMN()

bool llvm::AArch64GISelUtils::isCMN	(	const MachineInstr *	MaybeSub,
		const CmpInst::Predicate &	Pred,
		const MachineRegisterInfo &	MRI )

Returns

true if MaybeSub and Pred are part of a CMN tree for an integer compare.

Definition at line 20 of file AArch64GlobalISelUtils.cpp.

References llvm::MachineInstr::getFlag(), llvm::getIConstantVRegValWithLookThrough(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getReg(), llvm::CmpInst::isEquality(), llvm::CmpInst::isSigned(), and llvm::MachineInstr::NoSWrap.

matchEmitBZero()

bool llvm::AArch64GISelUtils::matchEmitBZero	(	const MachineInstr &	MI,
		const MachineRegisterInfo &	MRI,
		const LibcallLoweringInfo &	Libcalls,
		bool	MinSize )

Replace a G_MEMSET with a value of 0 with a G_BZERO instruction if it is supported and beneficial to do so.

Note

This only applies on Darwin.

Returns

true if MI can be replaced with a G_BZERO.

Definition at line 55 of file AArch64GlobalISelUtils.cpp.

References assert(), llvm::getIConstantVRegValWithLookThrough(), llvm::LibcallLoweringInfo::getLibcallImpl(), MI, and Size.