41 : CallLowering::OutgoingValueAssigner(nullptr),
42 RISCVAssignFn(RISCVAssignFn_), IsRet(IsRet) {}
44 bool assignArg(
unsigned ValNo, EVT OrigVT, MVT ValVT, MVT LocVT,
46 const CallLowering::ArgInfo &Info, ISD::ArgFlagsTy Flags,
47 CCState &State)
override {
48 if (RISCVAssignFn(ValNo, ValVT, LocVT, LocInfo, Flags, State, IsRet,
58 RISCVOutgoingValueHandler(MachineIRBuilder &
B, MachineRegisterInfo &MRI,
59 MachineInstrBuilder MIB)
60 : OutgoingValueHandler(
B, MRI), MIB(MIB),
61 Subtarget(MIRBuilder.getMF().getSubtarget<RISCVSubtarget>()) {}
63 MachinePointerInfo &MPO,
64 ISD::ArgFlagsTy Flags)
override {
65 MachineFunction &MF = MIRBuilder.getMF();
70 SPReg = MIRBuilder.buildCopy(p0,
Register(RISCV::X2)).getReg(0);
72 auto OffsetReg = MIRBuilder.buildConstant(sXLen,
Offset);
74 auto AddrReg = MIRBuilder.buildPtrAdd(p0, SPReg, OffsetReg);
77 return AddrReg.getReg(0);
81 const MachinePointerInfo &MPO,
82 const CCValAssign &VA)
override {
83 MachineFunction &MF = MIRBuilder.getMF();
91 Register ExtReg = extendRegister(ValVReg, VA);
92 MIRBuilder.buildStore(ExtReg, Addr, *MMO);
96 const CCValAssign &VA,
97 ISD::ArgFlagsTy Flags = {})
override {
98 Register ExtReg = extendRegister(ValVReg, VA);
99 MIRBuilder.buildCopy(PhysReg, ExtReg);
100 MIB.addUse(PhysReg, RegState::Implicit);
103 unsigned assignCustomValue(CallLowering::ArgInfo &Arg,
105 std::function<
void()> *Thunk)
override {
106 const CCValAssign &VA = VAs[0];
111 auto assignFunc = [=]() {
112 auto Trunc = MIRBuilder.buildAnyExt(LLT(VA.
getLocVT()), Arg.
Regs[0]);
113 MIRBuilder.buildCopy(PhysReg, Trunc);
114 MIB.addUse(PhysReg, RegState::Implicit);
118 *
Thunk = std::move(assignFunc);
126 assert(VAs.
size() >= 2 &&
"Expected at least 2 VAs.");
127 const CCValAssign &VAHi = VAs[1];
131 "Values belong to different arguments");
135 "unexpected custom value");
138 MRI.createGenericVirtualRegister(
LLT::scalar(32))};
139 MIRBuilder.buildUnmerge(NewRegs, Arg.
Regs[0]);
144 MachinePointerInfo MPO;
145 Register StackAddr = getStackAddress(
148 assignValueToAddress(NewRegs[1], StackAddr, MemTy, MPO,
149 const_cast<CCValAssign &
>(VAHi));
152 auto assignFunc = [=]() {
153 assignValueToReg(NewRegs[0], VA.
getLocReg(), VA);
155 assignValueToReg(NewRegs[1], VAHi.
getLocReg(), VAHi);
159 *
Thunk = std::move(assignFunc);
168 MachineInstrBuilder MIB;
173 const RISCVSubtarget &Subtarget;
187 RISCVIncomingValueAssigner(
RISCVCCAssignFn *RISCVAssignFn_,
bool IsRet)
188 : CallLowering::IncomingValueAssigner(nullptr),
189 RISCVAssignFn(RISCVAssignFn_), IsRet(IsRet) {}
191 bool assignArg(
unsigned ValNo, EVT OrigVT, MVT ValVT, MVT LocVT,
193 const CallLowering::ArgInfo &Info, ISD::ArgFlagsTy Flags,
194 CCState &State)
override {
198 MF.
getInfo<RISCVMachineFunctionInfo>()->setIsVectorCall();
200 if (RISCVAssignFn(ValNo, ValVT, LocVT, LocInfo, Flags, State, IsRet,
210 RISCVIncomingValueHandler(MachineIRBuilder &
B, MachineRegisterInfo &MRI)
211 : IncomingValueHandler(
B, MRI),
212 Subtarget(MIRBuilder.getMF().getSubtarget<RISCVSubtarget>()) {}
215 MachinePointerInfo &MPO,
216 ISD::ArgFlagsTy Flags)
override {
217 MachineFrameInfo &MFI = MIRBuilder.getMF().getFrameInfo();
221 return MIRBuilder.buildFrameIndex(
LLT::pointer(0, Subtarget.getXLen()), FI)
226 const MachinePointerInfo &MPO,
227 const CCValAssign &VA)
override {
228 MachineFunction &MF = MIRBuilder.getMF();
231 MIRBuilder.buildLoad(ValVReg, Addr, *MMO);
235 const CCValAssign &VA,
236 ISD::ArgFlagsTy Flags = {})
override {
237 markPhysRegUsed(PhysReg);
238 IncomingValueHandler::assignValueToReg(ValVReg, PhysReg, VA);
241 unsigned assignCustomValue(CallLowering::ArgInfo &Arg,
243 std::function<
void()> *Thunk)
override {
244 const CCValAssign &VA = VAs[0];
249 markPhysRegUsed(PhysReg);
252 auto Copy = MIRBuilder.buildCopy(LocTy, PhysReg);
254 MIRBuilder.buildTrunc(Arg.
Regs[0],
Copy.getReg(0));
258 assert(VAs.
size() >= 2 &&
"Expected at least 2 VAs.");
259 const CCValAssign &VAHi = VAs[1];
263 "Values belong to different arguments");
267 "unexpected custom value");
270 MRI.createGenericVirtualRegister(
LLT::scalar(32))};
275 MachinePointerInfo MPO;
276 Register StackAddr = getStackAddress(
279 assignValueToAddress(NewRegs[1], StackAddr, MemTy, MPO,
280 const_cast<CCValAssign &
>(VAHi));
283 assignValueToReg(NewRegs[0], VA.
getLocReg(), VA);
285 assignValueToReg(NewRegs[1], VAHi.
getLocReg(), VAHi);
287 MIRBuilder.buildMergeLikeInstr(Arg.
Regs[0], NewRegs);
295 virtual void markPhysRegUsed(MCRegister PhysReg) = 0;
298 const RISCVSubtarget &Subtarget;
301struct RISCVFormalArgHandler :
public RISCVIncomingValueHandler {
302 RISCVFormalArgHandler(MachineIRBuilder &
B, MachineRegisterInfo &MRI)
303 : RISCVIncomingValueHandler(
B, MRI) {}
305 void markPhysRegUsed(MCRegister PhysReg)
override {
306 MIRBuilder.getMRI()->addLiveIn(PhysReg);
307 MIRBuilder.getMBB().addLiveIn(PhysReg);
311struct RISCVCallReturnHandler :
public RISCVIncomingValueHandler {
312 RISCVCallReturnHandler(MachineIRBuilder &
B, MachineRegisterInfo &MRI,
313 MachineInstrBuilder &MIB)
314 : RISCVIncomingValueHandler(
B, MRI), MIB(MIB) {}
316 void markPhysRegUsed(MCRegister PhysReg)
override {
317 MIB.addDef(PhysReg, RegState::Implicit);
320 MachineInstrBuilder MIB;
352 bool IsLowerArgs =
false) {
353 if (
T->isIntegerTy())
355 if (
T->isHalfTy() ||
T->isFloatTy() ||
T->isDoubleTy() ||
T->isFP128Ty())
357 if (
T->isPointerTy())
374 bool IsLowerRetVal =
false) {
375 if (
T->isIntegerTy() ||
T->isFloatingPointTy() ||
T->isPointerTy())
381 if (
T->isStructTy()) {
383 for (
unsigned i = 0, e = StructT->getNumElements(); i != e; ++i)
400 assert(!Val == VRegs.
empty() &&
"Return value without a vreg");
405 }
else if (!VRegs.
empty()) {
423 RISCVOutgoingValueAssigner Assigner(
426 RISCVOutgoingValueHandler Handler(MIRBuilder, MF.
getRegInfo(), Ret);
428 MIRBuilder, CC,
F.isVarArg()))
439 bool IsVarArg)
const {
441 CCState CCInfo(CallConv, IsVarArg, MF, ArgLocs,
444 for (
unsigned I = 0, E = Outs.
size();
I < E; ++
I) {
455void RISCVCallLowering::saveVarArgRegisters(
457 IncomingValueAssigner &Assigner,
CCState &CCInfo)
const {
460 unsigned XLenInBytes = Subtarget.
getXLen() / 8;
469 int VarArgsSaveSize = XLenInBytes * (ArgRegs.
size() - Idx);
474 if (VarArgsSaveSize == 0) {
475 int VaArgOffset = Assigner.StackSize;
478 int VaArgOffset = -VarArgsSaveSize;
486 VaArgOffset -
static_cast<int>(XLenInBytes),
true);
487 VarArgsSaveSize += XLenInBytes;
500 const MVT XLenVT = Subtarget.
getXLenVT();
501 for (
unsigned I = Idx;
I < ArgRegs.
size(); ++
I) {
528 for (
auto &Arg :
F.args()) {
546 for (
auto &Arg :
F.args()) {
548 ArgInfo AInfo(VRegs[Index], Arg.getType(), Index);
562 RISCVFormalArgHandler Handler(MIRBuilder, MF.
getRegInfo());
565 CCState CCInfo(CC,
F.isVarArg(), MIRBuilder.
getMF(), ArgLocs,
F.getContext());
571 saveVarArgRegisters(MIRBuilder, Handler, Assigner, CCInfo);
584 for (
auto &AInfo : Info.OrigArgs) {
587 if (AInfo.Flags[0].isByVal())
591 if (!Info.OrigRet.Ty->isVoidTy() &&
596 MIRBuilder.
buildInstr(RISCV::ADJCALLSTACKDOWN);
599 for (
auto &AInfo : Info.OrigArgs) {
607 Info.IsTailCall =
false;
610 if (!Info.Callee.isReg())
619 Call.addRegMask(
TRI->getCallPreservedMask(MF, Info.CallConv));
621 RISCVOutgoingValueAssigner ArgAssigner(
624 RISCVOutgoingValueHandler ArgHandler(MIRBuilder, MF.
getRegInfo(),
Call);
626 MIRBuilder, CC, Info.IsVarArg))
633 .
addImm(ArgAssigner.StackSize)
639 if (
Call->getOperand(0).isReg())
643 Call->getDesc(),
Call->getOperand(0), 0);
645 if (Info.CanLowerReturn && !Info.OrigRet.Ty->isVoidTy()) {
649 RISCVIncomingValueAssigner RetAssigner(
652 RISCVCallReturnHandler RetHandler(MIRBuilder, MF.
getRegInfo(),
Call);
654 MIRBuilder, CC, Info.IsVarArg))
658 if (!Info.CanLowerReturn)
660 Info.DemoteRegister, Info.DemoteStackIndex);
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
This file declares the MachineIRBuilder class.
Register const TargetRegisterInfo * TRI
Promote Memory to Register
static bool isSupportedReturnType(Type *T)
static bool isSupportedArgumentType(Type *T)
static bool isLegalElementTypeForRVV(Type *EltTy, const RISCVSubtarget &Subtarget)
Return true if scalable vector with ScalarTy is legal for lowering.
This file describes how to lower LLVM calls to machine code calls.
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
size_t size() const
size - Get the array size.
bool empty() const
empty - Check if the array is empty.
CCState - This class holds information needed while lowering arguments and return values.
MachineFunction & getMachineFunction() const
unsigned getFirstUnallocated(ArrayRef< MCPhysReg > Regs) const
getFirstUnallocated - Return the index of the first unallocated register in the set,...
uint64_t getStackSize() const
Returns the size of the currently allocated portion of the stack.
Register getLocReg() const
static CCValAssign getReg(unsigned ValNo, MVT ValVT, MCRegister Reg, MVT LocVT, LocInfo HTP, bool IsCustom=false)
int64_t getLocMemOffset() const
unsigned getValNo() const
void insertSRetLoads(MachineIRBuilder &MIRBuilder, Type *RetTy, ArrayRef< Register > VRegs, Register DemoteReg, int FI) const
Load the returned value from the stack into virtual registers in VRegs.
bool handleAssignments(ValueHandler &Handler, SmallVectorImpl< ArgInfo > &Args, CCState &CCState, SmallVectorImpl< CCValAssign > &ArgLocs, MachineIRBuilder &MIRBuilder, ArrayRef< Register > ThisReturnRegs={}) const
Use Handler to insert code to handle the argument/return values represented by Args.
void insertSRetIncomingArgument(const Function &F, SmallVectorImpl< ArgInfo > &SplitArgs, Register &DemoteReg, MachineRegisterInfo &MRI, const DataLayout &DL) const
Insert the hidden sret ArgInfo to the beginning of SplitArgs.
void splitToValueTypes(const ArgInfo &OrigArgInfo, SmallVectorImpl< ArgInfo > &SplitArgs, const DataLayout &DL, CallingConv::ID CallConv, SmallVectorImpl< TypeSize > *Offsets=nullptr) const
Break OrigArgInfo into one or more pieces the calling convention can process, returned in SplitArgs.
bool determineAndHandleAssignments(ValueHandler &Handler, ValueAssigner &Assigner, SmallVectorImpl< ArgInfo > &Args, MachineIRBuilder &MIRBuilder, CallingConv::ID CallConv, bool IsVarArg, ArrayRef< Register > ThisReturnRegs={}) const
Invoke ValueAssigner::assignArg on each of the given Args and then use Handler to move them to the as...
void insertSRetStores(MachineIRBuilder &MIRBuilder, Type *RetTy, ArrayRef< Register > VRegs, Register DemoteReg) const
Store the return value given by VRegs into stack starting at the offset specified in DemoteReg.
bool determineAssignments(ValueAssigner &Assigner, SmallVectorImpl< ArgInfo > &Args, CCState &CCInfo) const
Analyze the argument list in Args, using Assigner to populate CCInfo.
CallLowering(const TargetLowering *TLI)
void setArgFlags(ArgInfo &Arg, unsigned OpIdx, const DataLayout &DL, const FuncInfoTy &FuncInfo) const
A parsed version of the target data layout string in and methods for querying it.
unsigned getAllocaAddrSpace() const
FunctionLoweringInfo - This contains information that is global to a function that is used when lower...
Register DemoteRegister
DemoteRegister - if CanLowerReturn is false, DemoteRegister is a vreg allocated to hold a pointer to ...
bool CanLowerReturn
CanLowerReturn - true iff the function's return value can be lowered to registers.
LLVMContext & getContext() const
getContext - Return a reference to the LLVMContext associated with this function.
static constexpr LLT scalar(unsigned SizeInBits)
Get a low-level scalar or aggregate "bag of bits".
static constexpr LLT pointer(unsigned AddressSpace, unsigned SizeInBits)
Get a low-level pointer in the given address space.
constexpr TypeSize getSizeInBytes() const
Returns the total size of the type in bytes, i.e.
bool isInteger() const
Return true if this is an integer or a vector integer type.
bool isScalableVector() const
Return true if this is a vector value type where the runtime length is machine dependent.
static LLVM_ABI MVT getVT(Type *Ty, bool HandleUnknown=false)
Return the value type corresponding to the specified type.
The MachineFrameInfo class represents an abstract stack frame until prolog/epilog code is inserted.
LLVM_ABI int CreateFixedObject(uint64_t Size, int64_t SPOffset, bool IsImmutable, bool isAliased=false)
Create a new object at a fixed location on the stack.
const TargetSubtargetInfo & getSubtarget() const
getSubtarget - Return the subtarget for which this machine code is being compiled.
MachineMemOperand * getMachineMemOperand(MachinePointerInfo PtrInfo, MachineMemOperand::Flags f, LLT MemTy, Align base_alignment, const AAMDNodes &AAInfo=AAMDNodes(), const MDNode *Ranges=nullptr, SyncScope::ID SSID=SyncScope::System, AtomicOrdering Ordering=AtomicOrdering::NotAtomic, AtomicOrdering FailureOrdering=AtomicOrdering::NotAtomic)
getMachineMemOperand - Allocate a new MachineMemOperand.
MachineFrameInfo & getFrameInfo()
getFrameInfo - Return the frame info object for the current function.
MachineRegisterInfo & getRegInfo()
getRegInfo - Return information about the registers currently in use.
const DataLayout & getDataLayout() const
Return the DataLayout attached to the Module associated to this MF.
Function & getFunction()
Return the LLVM function that this machine code represents.
Ty * getInfo()
getInfo - Keep track of various per-function pieces of information for backends that would like to do...
Helper class to build MachineInstr.
MachineInstrBuilder insertInstr(MachineInstrBuilder MIB)
Insert an existing instruction at the insertion point.
MachineInstrBuilder buildPtrAdd(const DstOp &Res, const SrcOp &Op0, const SrcOp &Op1, std::optional< unsigned > Flags=std::nullopt)
Build and insert Res = G_PTR_ADD Op0, Op1.
MachineInstrBuilder buildStore(const SrcOp &Val, const SrcOp &Addr, MachineMemOperand &MMO)
Build and insert G_STORE Val, Addr, MMO.
MachineInstrBuilder buildInstr(unsigned Opcode)
Build and insert <empty> = Opcode <empty>.
MachineInstrBuilder buildFrameIndex(const DstOp &Res, int Idx)
Build and insert Res = G_FRAME_INDEX Idx.
MachineFunction & getMF()
Getter for the function we currently build.
MachineInstrBuilder buildInstrNoInsert(unsigned Opcode)
Build but don't insert <empty> = Opcode <empty>.
virtual MachineInstrBuilder buildConstant(const DstOp &Res, const ConstantInt &Val)
Build and insert Res = G_CONSTANT Val.
const MachineInstrBuilder & addImm(int64_t Val) const
Add a new immediate operand.
const MachineInstrBuilder & add(const MachineOperand &MO) const
@ MOLoad
The memory access reads data.
@ MOStore
The memory access writes data.
MachineRegisterInfo - Keep track of information for virtual and physical registers,...
LLVM_ABI Register createGenericVirtualRegister(LLT Ty, StringRef Name="")
Create and return a new generic virtual register with low-level type Ty.
bool lowerReturn(MachineIRBuilder &MIRBuiler, const Value *Val, ArrayRef< Register > VRegs, FunctionLoweringInfo &FLI) const override
This hook behaves as the extended lowerReturn function, but for targets that do not support swifterro...
bool canLowerReturn(MachineFunction &MF, CallingConv::ID CallConv, SmallVectorImpl< BaseArgInfo > &Outs, bool IsVarArg) const override
This hook must be implemented to check whether the return values described by Outs can fit into the r...
bool lowerCall(MachineIRBuilder &MIRBuilder, CallLoweringInfo &Info) const override
This hook must be implemented to lower the given call instruction, including argument and return valu...
bool lowerFormalArguments(MachineIRBuilder &MIRBuilder, const Function &F, ArrayRef< ArrayRef< Register > > VRegs, FunctionLoweringInfo &FLI) const override
This hook must be implemented to lower the incoming (formal) arguments, described by VRegs,...
RISCVCallLowering(const RISCVTargetLowering &TLI)
RISCVMachineFunctionInfo - This class is derived from MachineFunctionInfo and contains private RISCV-...
void setVarArgsFrameIndex(int Index)
void setVarArgsSaveSize(int Size)
RISCVABI::ABI getTargetABI() const
bool hasVInstructionsI64() const
bool hasVInstructionsF64() const
bool hasVInstructionsBF16Minimal() const
bool hasVInstructionsF16Minimal() const
const RISCVRegisterBankInfo * getRegBankInfo() const override
bool hasVInstructions() const
const RISCVRegisterInfo * getRegisterInfo() const override
const RISCVInstrInfo * getInstrInfo() const override
bool hasVInstructionsF32() const
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
TargetRegisterInfo base class - We assume that the target defines a static array of TargetRegisterDes...
The instances of the Type class are immutable: once they are created, they are never changed.
bool isPointerTy() const
True if this is an instance of PointerType.
bool isFloatTy() const
Return true if this is 'float', a 32-bit IEEE fp type.
bool isBFloatTy() const
Return true if this is 'bfloat', a 16-bit bfloat type.
bool isHalfTy() const
Return true if this is 'half', a 16-bit IEEE fp type.
bool isDoubleTy() const
Return true if this is 'double', a 64-bit IEEE fp type.
bool isIntegerTy() const
True if this is an instance of IntegerType.
unsigned getNumOperands() const
LLVM Value Representation.
Type * getType() const
All values are typed, get the type of this value.
constexpr char Align[]
Key for Kernel::Arg::Metadata::mAlign.
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
@ Fast
Attempts to make calls as fast as possible (e.g.
ArrayRef< MCPhysReg > getArgGPRs(const RISCVABI::ABI ABI)
This is an optimization pass for GlobalISel generic memory operations.
bool CC_RISCV_FastCC(unsigned ValNo, MVT ValVT, MVT LocVT, CCValAssign::LocInfo LocInfo, ISD::ArgFlagsTy ArgFlags, CCState &State, bool IsRet, Type *OrigTy)
LLVM_ABI Register constrainOperandRegClass(const MachineFunction &MF, const TargetRegisterInfo &TRI, MachineRegisterInfo &MRI, const TargetInstrInfo &TII, const RegisterBankInfo &RBI, MachineInstr &InsertPt, const TargetRegisterClass &RegClass, MachineOperand &RegMO)
Constrain the Register operand OpIdx, so that it is now constrained to the TargetRegisterClass passed...
bool RISCVCCAssignFn(unsigned ValNo, MVT ValVT, MVT LocVT, CCValAssign::LocInfo LocInfo, ISD::ArgFlagsTy ArgFlags, CCState &State, bool IsRet, Type *OrigTy)
RISCVCCAssignFn - This target-specific function extends the default CCValAssign with additional infor...
bool CC_RISCV(unsigned ValNo, MVT ValVT, MVT LocVT, CCValAssign::LocInfo LocInfo, ISD::ArgFlagsTy ArgFlags, CCState &State, bool IsRet, Type *OrigTy)
ArrayRef(const T &OneElt) -> ArrayRef< T >
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
Align commonAlignment(Align A, uint64_t Offset)
Returns the alignment that satisfies both alignments.
LLVM_ABI Align inferAlignFromPtrInfo(MachineFunction &MF, const MachinePointerInfo &MPO)
SmallVector< Register, 4 > Regs
SmallVector< ISD::ArgFlagsTy, 4 > Flags
Base class for ValueHandlers used for arguments coming into the current function, or for return value...
void assignValueToReg(Register ValVReg, Register PhysReg, const CCValAssign &VA, ISD::ArgFlagsTy Flags={}) override
Provides a default implementation for argument handling.
Base class for ValueHandlers used for arguments passed to a function call, or for return values.
static LLVM_ABI MachinePointerInfo getStack(MachineFunction &MF, int64_t Offset, uint8_t ID=0)
Stack pointer relative access.
static LLVM_ABI MachinePointerInfo getFixedStack(MachineFunction &MF, int FI, int64_t Offset=0)
Return a MachinePointerInfo record that refers to the specified FrameIndex.