#include "M68kISelLowering.h"
#include "M68kCallingConv.h"
#include "M68kMachineFunction.h"
#include "M68kSubtarget.h"
#include "M68kTargetMachine.h"
#include "M68kTargetObjectFile.h"
#include "llvm/ADT/Statistic.h"
#include "llvm/CodeGen/CallingConvLower.h"
#include "llvm/CodeGen/MachineFrameInfo.h"
#include "llvm/CodeGen/MachineFunction.h"
#include "llvm/CodeGen/MachineInstrBuilder.h"
#include "llvm/CodeGen/MachineJumpTableInfo.h"
#include "llvm/CodeGen/MachineRegisterInfo.h"
#include "llvm/CodeGen/SelectionDAG.h"
#include "llvm/CodeGen/ValueTypes.h"
#include "llvm/IR/CallingConv.h"
#include "llvm/IR/DerivedTypes.h"
#include "llvm/IR/GlobalVariable.h"
#include "llvm/Support/CommandLine.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/ErrorHandling.h"
#include "llvm/Support/KnownBits.h"
#include "llvm/Support/raw_ostream.h"
#include "M68kGenCallingConv.inc"

Include dependency graph for M68kISelLowering.cpp:

Macros
#define	DEBUG_TYPE "M68k-isel"

Enumerations
enum	StructReturnType { NotStructReturn, RegStructReturn, StackStructReturn }

Functions
	STATISTIC (NumTailCalls, "Number of tail calls")

static StructReturnType	callIsStructReturn (const SmallVectorImpl< ISD::OutputArg > &Outs)

static StructReturnType	argsAreStructReturn (const SmallVectorImpl< ISD::InputArg > &Ins)
	Determines whether a function uses struct return semantics. More...

static SDValue	CreateCopyOfByValArgument (SDValue Src, SDValue Dst, SDValue Chain, ISD::ArgFlagsTy Flags, SelectionDAG &DAG, const SDLoc &DL)
	Make a copy of an aggregate at address specified by "Src" to address "Dst" with size and alignment information specified by the specific parameter attribute. More...

static bool	canGuaranteeTCO (CallingConv::ID CC)
	Return true if the calling convention is one that we can guarantee TCO for. More...

static bool	mayTailCallThisCC (CallingConv::ID CC)
	Return true if we might ever do TCO for calls with this calling convention. More...

static bool	shouldGuaranteeTCO (CallingConv::ID CC, bool GuaranteedTailCallOpt)
	Return true if the function is being made into a tailcall target by changing its ABI. More...

static bool	MatchingStackOffset (SDValue Arg, unsigned Offset, ISD::ArgFlagsTy Flags, MachineFrameInfo &MFI, const MachineRegisterInfo MRI, const M68kInstrInfo TII, const CCValAssign &VA)
	Return true if the given stack call argument is already available in the same position (relatively) of the caller's incoming argument stack. More...

static SDValue	getBitTestCondition (SDValue Src, SDValue BitNo, ISD::CondCode CC, const SDLoc &DL, SelectionDAG &DAG)
	Create a BTST (Bit Test) node - Test bit `BitNo` in `Src` and set condition according to equal/not-equal condition code `CC`. More...

static SDValue	LowerAndToBTST (SDValue And, ISD::CondCode CC, const SDLoc &DL, SelectionDAG &DAG)
	Result of 'and' is compared against zero. Change to a BTST node if possible. More...

static M68k::CondCode	TranslateIntegerM68kCC (ISD::CondCode SetCCOpcode)

static unsigned	TranslateM68kCC (ISD::CondCode SetCCOpcode, const SDLoc &DL, bool IsFP, SDValue &LHS, SDValue &RHS, SelectionDAG &DAG)
	Do a one-to-one translation of a ISD::CondCode to the M68k-specific condition code, returning the condition code and the LHS/RHS of the comparison to make. More...

static SDValue	LowerTruncateToBTST (SDValue Op, ISD::CondCode CC, const SDLoc &DL, SelectionDAG &DAG)

static bool	hasNonFlagsUse (SDValue Op)
	return true if `Op` has a use that doesn't just read flags. More...

static bool	isM68kCCUnsigned (unsigned M68kCC)
	Return true if the condition is an unsigned comparison operation. More...

static bool	isM68kLogicalCmp (SDValue Op)
	Return true if opcode is a M68k logical comparison. More...

static bool	isTruncWithZeroHighBitsInput (SDValue V, SelectionDAG &DAG)

static bool	isAndOrOfSetCCs (SDValue Op, unsigned &Opc)
	Return true if node is an ISD::AND or ISD::OR of two M68k::SETcc nodes each of which has no other use apart from the AND / OR. More...

static bool	isXor1OfSetCC (SDValue Op)
	Return true if node is an ISD::XOR of a M68kISD::SETCC and 1 and that the SETCC node has a single use. More...

static bool	isCMOVPseudo (MachineInstr &MI)

static bool	checkAndUpdateCCRKill (MachineBasicBlock::iterator SelectItr, MachineBasicBlock BB, const TargetRegisterInfo TRI)

static SDValue	getSETCC (M68k::CondCode Cond, SDValue CCR, const SDLoc &dl, SelectionDAG &DAG)

static SDValue	combineCarryThroughADD (SDValue CCR)

static SDValue	combineSetCCCCR (SDValue CCR, M68k::CondCode &CC, SelectionDAG &DAG, const M68kSubtarget &Subtarget)
	Optimize a CCR definition used according to the condition code `CC` into a simpler CCR value, potentially returning a new `CC` and replacing uses of chain values. More...

static SDValue	combineM68kSetCC (SDNode *N, SelectionDAG &DAG, const M68kSubtarget &Subtarget)

static SDValue	combineM68kBrCond (SDNode *N, SelectionDAG &DAG, const M68kSubtarget &Subtarget)

static SDValue	combineSUBX (SDNode *N, SelectionDAG &DAG)

static SDValue	combineADDX (SDNode *N, SelectionDAG &DAG, TargetLowering::DAGCombinerInfo &DCI)

Detailed Description

This file defines the interfaces that M68k uses to lower LLVM code into a selection DAG.

Definition in file M68kISelLowering.cpp.

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE "M68k-isel"

Definition at line 42 of file M68kISelLowering.cpp.

Enumeration Type Documentation

◆ StructReturnType

enum StructReturnType

Enumerator
NotStructReturn
RegStructReturn
StackStructReturn

Definition at line 212 of file M68kISelLowering.cpp.

Function Documentation

◆ argsAreStructReturn()

static StructReturnType argsAreStructReturn ( const SmallVectorImpl< ISD::InputArg > & Ins )

static

Determines whether a function uses struct return semantics.

Definition at line 229 of file M68kISelLowering.cpp.

References llvm::MipsISD::Ins, NotStructReturn, RegStructReturn, and StackStructReturn.

◆ callIsStructReturn()

static StructReturnType callIsStructReturn ( const SmallVectorImpl< ISD::OutputArg > & Outs )

static

Definition at line 215 of file M68kISelLowering.cpp.

References NotStructReturn, RegStructReturn, and StackStructReturn.

◆ canGuaranteeTCO()

static bool canGuaranteeTCO ( CallingConv::ID CC )

static

Return true if the calling convention is one that we can guarantee TCO for.

Definition at line 256 of file M68kISelLowering.cpp.

Referenced by mayTailCallThisCC(), and shouldGuaranteeTCO().

◆ checkAndUpdateCCRKill()

static bool checkAndUpdateCCRKill	(	MachineBasicBlock::iterator	SelectItr,
		MachineBasicBlock *	BB,
		const TargetRegisterInfo *	TRI
	)

static

Definition at line 2946 of file M68kISelLowering.cpp.

References BB, llvm::MachineInstr::definesRegister(), llvm::MachineInstr::readsRegister(), and TRI.

◆ combineADDX()

static SDValue combineADDX	(	SDNode *	N,
		SelectionDAG &	DAG,
		TargetLowering::DAGCombinerInfo &	DCI
	)

static

Definition at line 3464 of file M68kISelLowering.cpp.

References llvm::M68kISD::ADDX, combineCarryThroughADD(), llvm::SelectionDAG::getNode(), llvm::SelectionDAG::getVTList(), llvm::MVT::i32, and N.

◆ combineCarryThroughADD()

static SDValue combineCarryThroughADD ( SDValue CCR )

static

Definition at line 3386 of file M68kISelLowering.cpp.

References llvm::M68kISD::ADD, llvm::ISD::AND, llvm::ISD::ANY_EXTEND, llvm::M68k::COND_CS, llvm::SDValue::getConstantOperandVal(), llvm::SDValue::getOpcode(), llvm::SDValue::getOperand(), llvm::isAllOnesConstant(), llvm::isOneConstant(), llvm::M68kISD::SETCC, llvm::M68kISD::SETCC_CARRY, llvm::ISD::SIGN_EXTEND, llvm::ISD::TRUNCATE, and llvm::ISD::ZERO_EXTEND.

Referenced by combineADDX(), combineSetCCCCR(), and combineSUBX().

◆ combineM68kBrCond()

static SDValue combineM68kBrCond	(	SDNode *	N,
		SelectionDAG &	DAG,
		const M68kSubtarget &	Subtarget
	)

static

Definition at line 3434 of file M68kISelLowering.cpp.

References llvm::M68kISD::BRCOND, CC, combineSetCCCCR(), Cond, DL, llvm::SelectionDAG::getConstant(), llvm::SelectionDAG::getNode(), llvm::MVT::i8, and N.

◆ combineM68kSetCC()

static SDValue combineM68kSetCC	(	SDNode *	N,
		SelectionDAG &	DAG,
		const M68kSubtarget &	Subtarget
	)

static

Definition at line 3422 of file M68kISelLowering.cpp.

References CC, combineSetCCCCR(), DL, getSETCC(), and N.

◆ combineSetCCCCR()

static SDValue combineSetCCCCR	(	SDValue	CCR,
		M68k::CondCode &	CC,
		SelectionDAG &	DAG,
		const M68kSubtarget &	Subtarget
	)

static

Optimize a CCR definition used according to the condition code CC into a simpler CCR value, potentially returning a new CC and replacing uses of chain values.

Definition at line 3411 of file M68kISelLowering.cpp.

References CC, combineCarryThroughADD(), and llvm::M68k::COND_CS.

Referenced by combineM68kBrCond(), and combineM68kSetCC().

◆ combineSUBX()

static SDValue combineSUBX	(	SDNode *	N,
		SelectionDAG &	DAG
	)

static

Definition at line 3452 of file M68kISelLowering.cpp.

References combineCarryThroughADD(), llvm::SelectionDAG::getNode(), llvm::SelectionDAG::getVTList(), llvm::MVT::i32, N, and llvm::M68kISD::SUBX.

◆ CreateCopyOfByValArgument()

static SDValue CreateCopyOfByValArgument	(	SDValue	Src,
		SDValue	Dst,
		SDValue	Chain,
		ISD::ArgFlagsTy	Flags,
		SelectionDAG &	DAG,
		const SDLoc &	DL
	)

static

Make a copy of an aggregate at address specified by "Src" to address "Dst" with size and alignment information specified by the specific parameter attribute.

The copy will be passed as a byval function parameter.

Definition at line 244 of file M68kISelLowering.cpp.

References DL, llvm::SelectionDAG::getConstant(), llvm::SelectionDAG::getMemcpy(), and llvm::MVT::i32.

◆ getBitTestCondition()

static SDValue getBitTestCondition	(	SDValue	Src,
		SDValue	BitNo,
		ISD::CondCode	CC,
		const SDLoc &	DL,
		SelectionDAG &	DAG
	)

static

Create a BTST (Bit Test) node - Test bit BitNo in Src and set condition according to equal/not-equal condition code CC.

Definition at line 1451 of file M68kISelLowering.cpp.

References llvm::ISD::ANY_EXTEND, llvm::M68kISD::BTST, CC, Cond, llvm::M68k::COND_EQ, llvm::M68k::COND_NE, DL, llvm::SelectionDAG::getConstant(), llvm::SelectionDAG::getNode(), llvm::SDValue::getValueType(), llvm::MVT::i16, llvm::MVT::i32, llvm::MVT::i8, llvm::M68kISD::SETCC, and llvm::ISD::SETEQ.

Referenced by LowerAndToBTST(), and LowerTruncateToBTST().

◆ getSETCC()

static SDValue getSETCC	(	M68k::CondCode	Cond,
		SDValue	CCR,
		const SDLoc &	dl,
		SelectionDAG &	DAG
	)

static

Definition at line 3378 of file M68kISelLowering.cpp.

References Cond, llvm::SelectionDAG::getConstant(), llvm::SelectionDAG::getNode(), llvm::MVT::i8, and llvm::M68kISD::SETCC.

Referenced by combineM68kSetCC().

◆ hasNonFlagsUse()

static bool hasNonFlagsUse ( SDValue Op )

static

return true if Op has a use that doesn't just read flags.

Definition at line 1647 of file M68kISelLowering.cpp.

References llvm::ISD::BRCOND, llvm::Value::hasOneUse(), llvm::ISD::SELECT, llvm::ISD::SETCC, llvm::ISD::TRUNCATE, and llvm::Value::use_begin().

◆ isAndOrOfSetCCs()

static bool isAndOrOfSetCCs	(	SDValue	Op,
		unsigned &	Opc
	)

static

Return true if node is an ISD::AND or ISD::OR of two M68k::SETcc nodes each of which has no other use apart from the AND / OR.

Definition at line 2260 of file M68kISelLowering.cpp.

References llvm::ISD::AND, llvm::M68k::IsSETCC(), and llvm::ISD::OR.

◆ isCMOVPseudo()

static bool isCMOVPseudo ( MachineInstr & MI )

static

Definition at line 2929 of file M68kISelLowering.cpp.

References MI.

◆ isM68kCCUnsigned()

static bool isM68kCCUnsigned ( unsigned M68kCC )

static

Return true if the condition is an unsigned comparison operation.

Definition at line 1881 of file M68kISelLowering.cpp.

References llvm::M68k::COND_CC, llvm::M68k::COND_CS, llvm::M68k::COND_EQ, llvm::M68k::COND_GE, llvm::M68k::COND_GT, llvm::M68k::COND_HI, llvm::M68k::COND_LE, llvm::M68k::COND_LS, llvm::M68k::COND_LT, llvm::M68k::COND_NE, and llvm_unreachable.

◆ isM68kLogicalCmp()

static bool isM68kLogicalCmp ( SDValue Op )

static

Return true if opcode is a M68k logical comparison.

Definition at line 2031 of file M68kISelLowering.cpp.

References llvm::M68kISD::ADD, llvm::M68kISD::ADDX, llvm::M68kISD::AND, llvm::M68kISD::CMP, llvm::M68kISD::OR, llvm::M68kISD::SMUL, llvm::M68kISD::SUB, llvm::M68kISD::SUBX, llvm::M68kISD::UMUL, and llvm::M68kISD::XOR.

◆ isTruncWithZeroHighBitsInput()

static bool isTruncWithZeroHighBitsInput	(	SDValue	V,
		SelectionDAG &	DAG
	)

static

Definition at line 2047 of file M68kISelLowering.cpp.

References llvm::tgtok::Bits, llvm::APInt::getHighBitsSet(), llvm::SDValue::getOpcode(), llvm::SDValue::getOperand(), llvm::SDValue::getValueSizeInBits(), llvm::SelectionDAG::MaskedValueIsZero(), and llvm::ISD::TRUNCATE.

◆ isXor1OfSetCC()

static bool isXor1OfSetCC ( SDValue Op )

static

Return true if node is an ISD::XOR of a M68kISD::SETCC and 1 and that the SETCC node has a single use.

Definition at line 2272 of file M68kISelLowering.cpp.

References llvm::isOneConstant(), llvm::M68kISD::SETCC, and llvm::ISD::XOR.

◆ LowerAndToBTST()

static SDValue LowerAndToBTST	(	SDValue	And,
		ISD::CondCode	CC,
		const SDLoc &	DL,
		SelectionDAG &	DAG
	)

static

Result of 'and' is compared against zero. Change to a BTST node if possible.

Definition at line 1473 of file M68kISelLowering.cpp.

References llvm::And, llvm::BitWidth, CC, llvm::SelectionDAG::computeKnownBits(), DL, getBitTestCondition(), llvm::SelectionDAG::getConstant(), llvm::SDValue::getOpcode(), llvm::SDValue::getOperand(), llvm::SDValue::getValueSizeInBits(), llvm::isOneConstant(), llvm::isPowerOf2_64(), LHS, llvm::Log2_64_Ceil(), RHS, llvm::ISD::SHL, llvm::ISD::SRL, std::swap(), and llvm::ISD::TRUNCATE.

◆ LowerTruncateToBTST()

static SDValue LowerTruncateToBTST	(	SDValue	Op,
		ISD::CondCode	CC,
		const SDLoc &	DL,
		SelectionDAG &	DAG
	)

static

Definition at line 1632 of file M68kISelLowering.cpp.

References assert(), CC, DL, getBitTestCondition(), llvm::SDValue::getOperand(), llvm::MVT::i1, llvm::ISD::SRL, and llvm::ISD::TRUNCATE.

◆ MatchingStackOffset()

static bool MatchingStackOffset	(	SDValue	Arg,
		unsigned	Offset,
		ISD::ArgFlagsTy	Flags,
		MachineFrameInfo &	MFI,
		const MachineRegisterInfo *	MRI,
		const M68kInstrInfo *	TII,
		const CCValAssign &	VA
	)

static

Return true if the given stack call argument is already available in the same position (relatively) of the caller's incoming argument stack.

Definition at line 277 of file M68kISelLowering.cpp.

References llvm::ISD::ANY_EXTEND, Arg, assert(), llvm::ISD::AssertZext, llvm::ISD::BITCAST, llvm::ISD::CopyFromReg, llvm::tgtok::Def, llvm::ISD::FrameIndex, llvm::FrameIndexSDNode::getIndex(), llvm::CCValAssign::getLocVT(), llvm::MachineFrameInfo::getObjectOffset(), llvm::MachineFrameInfo::getObjectSize(), llvm::SDValue::getOpcode(), llvm::SDValue::getOperand(), llvm::MVT::getSizeInBits(), llvm::MachineRegisterInfo::getVRegDef(), llvm::MachineFrameInfo::isFixedObjectIndex(), llvm::HexagonInstrInfo::isLoadFromStackSlot(), llvm::MachineFrameInfo::isObjectSExt(), llvm::MachineFrameInfo::isObjectZExt(), llvm::Register::isVirtualRegister(), MRI, Ptr, TII, llvm::ISD::TRUNCATE, and llvm::ISD::ZERO_EXTEND.

◆ mayTailCallThisCC()

static bool mayTailCallThisCC ( CallingConv::ID CC )

static

Return true if we might ever do TCO for calls with this calling convention.

Definition at line 259 of file M68kISelLowering.cpp.

References llvm::CallingConv::C, canGuaranteeTCO(), and CC.

◆ shouldGuaranteeTCO()

static bool shouldGuaranteeTCO	(	CallingConv::ID	CC,
		bool	GuaranteedTailCallOpt
	)

static

Return true if the function is being made into a tailcall target by changing its ABI.

Definition at line 271 of file M68kISelLowering.cpp.

References canGuaranteeTCO(), and CC.

◆ STATISTIC()

STATISTIC	(	NumTailCalls	,
		"Number of tail calls"
	)

◆ TranslateIntegerM68kCC()

static M68k::CondCode TranslateIntegerM68kCC ( ISD::CondCode SetCCOpcode )

static

Definition at line 1521 of file M68kISelLowering.cpp.

References llvm::M68k::COND_CC, llvm::M68k::COND_CS, llvm::M68k::COND_EQ, llvm::M68k::COND_GE, llvm::M68k::COND_GT, llvm::M68k::COND_HI, llvm::M68k::COND_LE, llvm::M68k::COND_LS, llvm::M68k::COND_LT, llvm::M68k::COND_NE, llvm_unreachable, llvm::ISD::SETEQ, llvm::ISD::SETGE, llvm::ISD::SETGT, llvm::ISD::SETLE, llvm::ISD::SETLT, llvm::ISD::SETNE, llvm::ISD::SETUGE, llvm::ISD::SETUGT, llvm::ISD::SETULE, and llvm::ISD::SETULT.

Referenced by TranslateM68kCC().

◆ TranslateM68kCC()

static unsigned TranslateM68kCC	(	ISD::CondCode	SetCCOpcode,
		const SDLoc &	DL,
		bool	IsFP,
		SDValue &	LHS,
		SDValue &	RHS,
		SelectionDAG &	DAG
	)

static

Do a one-to-one translation of a ISD::CondCode to the M68k-specific condition code, returning the condition code and the LHS/RHS of the comparison to make.

Definition at line 1551 of file M68kISelLowering.cpp.

References llvm::M68k::COND_CC, llvm::M68k::COND_CS, llvm::M68k::COND_EQ, llvm::M68k::COND_HI, llvm::M68k::COND_INVALID, llvm::M68k::COND_LE, llvm::M68k::COND_LS, llvm::M68k::COND_MI, llvm::M68k::COND_NE, llvm::M68k::COND_PL, DL, llvm::SelectionDAG::getConstant(), llvm::ISD::getSetCCSwappedOperands(), llvm::ISD::isNON_EXTLoad(), LHS, llvm_unreachable, RHS, llvm::ISD::SETEQ, llvm::ISD::SETGE, llvm::ISD::SETGT, llvm::ISD::SETLE, llvm::ISD::SETLT, llvm::ISD::SETNE, llvm::ISD::SETOEQ, llvm::ISD::SETOGE, llvm::ISD::SETOGT, llvm::ISD::SETOLE, llvm::ISD::SETOLT, llvm::ISD::SETONE, llvm::ISD::SETUEQ, llvm::ISD::SETUGE, llvm::ISD::SETUGT, llvm::ISD::SETULE, llvm::ISD::SETULT, llvm::ISD::SETUNE, std::swap(), and TranslateIntegerM68kCC().

Macros

Enumerations

Functions

Detailed Description

Macro Definition Documentation

◆ DEBUG_TYPE

Enumeration Type Documentation

◆ StructReturnType

Function Documentation

◆ argsAreStructReturn()

◆ callIsStructReturn()

◆ canGuaranteeTCO()

◆ checkAndUpdateCCRKill()

◆ combineADDX()

◆ combineCarryThroughADD()

◆ combineM68kBrCond()

◆ combineM68kSetCC()

◆ combineSetCCCCR()

◆ combineSUBX()

◆ CreateCopyOfByValArgument()

◆ getBitTestCondition()

◆ getSETCC()

◆ hasNonFlagsUse()

◆ isAndOrOfSetCCs()

◆ isCMOVPseudo()

◆ isM68kCCUnsigned()

◆ isM68kLogicalCmp()

◆ isTruncWithZeroHighBitsInput()

◆ isXor1OfSetCC()

◆ LowerAndToBTST()

◆ LowerTruncateToBTST()

◆ MatchingStackOffset()

◆ mayTailCallThisCC()

◆ shouldGuaranteeTCO()

◆ STATISTIC()

◆ TranslateIntegerM68kCC()

◆ TranslateM68kCC()