LLVM: llvm::CallLowering Class Reference (original) (raw)

#include "[llvm/CodeGen/GlobalISel/CallLowering.h](CallLowering%5F8h%5Fsource.html)"

Definition at line 45 of file CallLowering.h.

◆ ~CallLowering()

◆ addArgFlagsFromAttributes()

◆ canLowerReturn()

◆ checkReturn()

◆ checkReturnTypeForCallConv()

◆ determineAndHandleAssignments()

Invoke ValueAssigner::assignArg on each of the given Args and then use Handler to move them to the assigned locations.

Returns

True if everything has succeeded, false otherwise.

Definition at line 654 of file CallLowering.cpp.

References determineAssignments(), F, llvm::MachineFunction::getFunction(), llvm::MachineIRBuilder::getMF(), and handleAssignments().

Referenced by llvm::AArch64CallLowering::lowerCall(), llvm::AMDGPUCallLowering::lowerCall(), llvm::ARMCallLowering::lowerCall(), llvm::M68kCallLowering::lowerCall(), llvm::RISCVCallLowering::lowerCall(), llvm::X86CallLowering::lowerCall(), llvm::ARMCallLowering::lowerFormalArguments(), llvm::M68kCallLowering::lowerFormalArguments(), llvm::PPCCallLowering::lowerFormalArguments(), llvm::X86CallLowering::lowerFormalArguments(), llvm::AArch64CallLowering::lowerReturn(), llvm::M68kCallLowering::lowerReturn(), llvm::PPCCallLowering::lowerReturn(), llvm::RISCVCallLowering::lowerReturn(), and llvm::X86CallLowering::lowerReturn().

◆ determineAssignments()

Analyze the argument list in Args, using Assigner to populate CCInfo.

This will determine the types and locations to use for passed or returned values. This may resize fields in Args if the value is split across multiple registers or stack slots.

This is independent of the function state and can be used to determine how a call would pass arguments without needing to change the function. This can be used to check if arguments are suitable for tail call lowering.

Returns

True if everything has succeeded, false otherwise.

Definition at line 679 of file CallLowering.cpp.

References llvm::CallLowering::ValueAssigner::assignArg(), llvm::CCValAssign::Full, llvm::CCState::getCallingConv(), llvm::CCState::getContext(), and llvm::EVT::getEVT().

Referenced by llvm::AMDGPUCallLowering::areCalleeOutgoingArgsTailCallable(), determineAndHandleAssignments(), llvm::AMDGPUCallLowering::lowerCall(), llvm::MipsCallLowering::lowerCall(), llvm::AArch64CallLowering::lowerFormalArguments(), llvm::AMDGPUCallLowering::lowerFormalArguments(), llvm::MipsCallLowering::lowerFormalArguments(), llvm::RISCVCallLowering::lowerFormalArguments(), llvm::MipsCallLowering::lowerReturn(), llvm::AMDGPUCallLowering::lowerTailCall(), and resultsCompatible().

◆ enableBigEndian()

◆ fallBackToDAGISel()

◆ getAttributesForArgIdx()

◆ getAttributesForReturn()

◆ getReturnInfo()

◆ getTLI() [1/2]

Getter for generic TargetLowering class.

Definition at line 354 of file CallLowering.h.

Referenced by llvm::AMDGPUCallLowering::areCalleeOutgoingArgsTailCallable(), llvm::AArch64CallLowering::canLowerReturn(), llvm::AMDGPUCallLowering::doCallerAndCalleePassArgsTheSameWay(), llvm::AArch64CallLowering::lowerCall(), llvm::AMDGPUCallLowering::lowerCall(), llvm::ARMCallLowering::lowerCall(), llvm::M68kCallLowering::lowerCall(), llvm::MipsCallLowering::lowerCall(), llvm::AArch64CallLowering::lowerFormalArguments(), llvm::AMDGPUCallLowering::lowerFormalArguments(), llvm::ARMCallLowering::lowerFormalArguments(), llvm::M68kCallLowering::lowerFormalArguments(), llvm::MipsCallLowering::lowerFormalArguments(), llvm::PPCCallLowering::lowerFormalArguments(), llvm::AMDGPUCallLowering::lowerFormalArgumentsKernel(), llvm::AArch64CallLowering::lowerReturn(), llvm::M68kCallLowering::lowerReturn(), llvm::MipsCallLowering::lowerReturn(), llvm::AMDGPUCallLowering::lowerTailCall(), and setArgFlags().

◆ getTLI() [2/2]

template

◆ handleAssignments()

Use Handler to insert code to handle the argument/return values represented by Args.

It's expected determineAssignments previously processed these arguments to populate [CCState](classllvm%5F1%5F1CCState.html "CCState - This class holds information needed while lowering arguments and return values.") and ArgLocs.

Definition at line 740 of file CallLowering.cpp.

References llvm::ArrayRef(), assert(), llvm::CallLowering::ValueHandler::assignCustomValue(), llvm::CallLowering::ValueHandler::assignValueToAddress(), llvm::CallLowering::ValueHandler::assignValueToReg(), llvm::MachineIRBuilder::buildCopy(), buildCopyFromRegs(), buildCopyToRegs(), llvm::MachineIRBuilder::buildFrameIndex(), llvm::MachineIRBuilder::buildLoad(), llvm::MachineIRBuilder::buildStore(), llvm::CallLowering::ValueHandler::copyArgumentMemory(), llvm::MachineFrameInfo::CreateStackObject(), DL, llvm::ArrayRef< T >::empty(), extendOpFromFlags(), F, llvm::LLT::getAddressSpace(), llvm::DataLayout::getAllocaAddrSpace(), llvm::MachineFunction::getDataLayout(), llvm::EVT::getEVT(), llvm::MachinePointerInfo::getFixedStack(), llvm::MachineFunction::getFrameInfo(), llvm::MachineFunction::getFunction(), llvm::getLLTForType(), llvm::CCValAssign::getLocInfo(), llvm::CCValAssign::getLocMemOffset(), llvm::CCValAssign::getLocReg(), llvm::CCValAssign::getLocVT(), llvm::MachineIRBuilder::getMF(), llvm::MachineInstrBuilder::getReg(), llvm::MachineFunction::getRegInfo(), llvm::LLT::getScalarSizeInBits(), llvm::LLT::getSizeInBytes(), llvm::CallLowering::ValueHandler::getStackAddress(), llvm::CallLowering::ValueHandler::getStackValueStoreType(), llvm::MachinePointerInfo::getUnknownStack(), llvm::CCValAssign::getValNo(), llvm::CCValAssign::getValVT(), llvm::CCValAssign::Indirect, llvm::inferAlignFromPtrInfo(), llvm::CallLowering::ValueHandler::isIncomingArgumentHandler(), llvm::CCValAssign::isMemLoc(), isTypeIsValidForThisReturn(), MRI, llvm::CCValAssign::needsCustom(), llvm::Offset, llvm::LLT::pointer(), and llvm::SmallVectorTemplateCommon< T, typename >::size().

Referenced by determineAndHandleAssignments(), llvm::AMDGPUCallLowering::lowerCall(), llvm::MipsCallLowering::lowerCall(), llvm::AArch64CallLowering::lowerFormalArguments(), llvm::AMDGPUCallLowering::lowerFormalArguments(), llvm::MipsCallLowering::lowerFormalArguments(), llvm::RISCVCallLowering::lowerFormalArguments(), llvm::MipsCallLowering::lowerReturn(), and llvm::AMDGPUCallLowering::lowerTailCall().

◆ insertSRetIncomingArgument()

Insert the hidden sret ArgInfo to the beginning of SplitArgs.

This function should be called from the target specific lowerFormalArguments when F requires the sret demotion.

Definition at line 1058 of file CallLowering.cpp.

References assert(), llvm::SmallVectorTemplateCommon< T, typename >::begin(), llvm::ComputeValueVTs(), DL, F, llvm::CallLowering::BaseArgInfo::Flags, llvm::PointerType::get(), llvm::Type::getContext(), llvm::SmallVectorImpl< T >::insert(), MRI, llvm::CallLowering::ArgInfo::NoArgIndex, llvm::LLT::pointer(), setArgFlags(), and llvm::SmallVectorTemplateCommon< T, typename >::size().

Referenced by llvm::AArch64CallLowering::lowerFormalArguments(), llvm::AMDGPUCallLowering::lowerFormalArguments(), llvm::RISCVCallLowering::lowerFormalArguments(), and llvm::X86CallLowering::lowerFormalArguments().

◆ insertSRetLoads()

Load the returned value from the stack into virtual registers in VRegs.

It uses the frame index FI and the start offset from DemoteReg. The loaded data size will be determined from RetTy.

Definition at line 995 of file CallLowering.cpp.

References assert(), llvm::MachineIRBuilder::buildLoad(), llvm::commonAlignment(), llvm::ComputeValueVTs(), DL, llvm::PointerType::get(), llvm::Type::getContext(), llvm::MachineFunction::getDataLayout(), llvm::MachinePointerInfo::getFixedStack(), llvm::getLLTForType(), llvm::MachineFunction::getMachineMemOperand(), llvm::MachineIRBuilder::getMF(), llvm::MachineFunction::getRegInfo(), I, llvm::MachineIRBuilder::materializeObjectPtrOffset(), llvm::MachineMemOperand::MOLoad, MRI, llvm::ArrayRef< T >::size(), and llvm::SmallVectorTemplateCommon< T, typename >::size().

Referenced by llvm::AArch64CallLowering::lowerCall(), llvm::AMDGPUCallLowering::lowerCall(), llvm::RISCVCallLowering::lowerCall(), and llvm::X86CallLowering::lowerCall().

◆ insertSRetOutgoingArgument()

For the call-base described by CB, insert the hidden sret ArgInfo to the OrigArgs field of Info.

Definition at line 1080 of file CallLowering.cpp.

References llvm::MachineIRBuilder::buildFrameIndex(), llvm::MachineFrameInfo::CreateStackObject(), DL, llvm::CallLowering::BaseArgInfo::Flags, llvm::PointerType::get(), llvm::Type::getContext(), llvm::MachineIRBuilder::getDataLayout(), llvm::MachineFunction::getFrameInfo(), llvm::MachineIRBuilder::getMF(), llvm::MachineInstrBuilder::getReg(), llvm::Value::getType(), llvm::CallLowering::ArgInfo::NoArgIndex, llvm::LLT::pointer(), and setArgFlags().

Referenced by lowerCall().

◆ insertSRetStores()

Store the return value given by VRegs into stack starting at the offset specified in DemoteReg.

Definition at line 1027 of file CallLowering.cpp.

References assert(), llvm::MachineIRBuilder::buildStore(), llvm::commonAlignment(), llvm::ComputeValueVTs(), DL, llvm::Type::getContext(), llvm::MachineFunction::getDataLayout(), llvm::getLLTForType(), llvm::MachineFunction::getMachineMemOperand(), llvm::MachineIRBuilder::getMF(), llvm::MachineFunction::getRegInfo(), I, llvm::MachineIRBuilder::materializeObjectPtrOffset(), llvm::MachineMemOperand::MOStore, MRI, llvm::ArrayRef< T >::size(), and llvm::SmallVectorTemplateCommon< T, typename >::size().

Referenced by llvm::AArch64CallLowering::lowerReturn(), llvm::AMDGPUCallLowering::lowerReturn(), llvm::RISCVCallLowering::lowerReturn(), and llvm::X86CallLowering::lowerReturn().

◆ isTypeIsValidForThisReturn()

◆ lowerCall() [1/2]

This hook must be implemented to lower the given call instruction, including argument and return value marshalling.

Returns

true if the lowering succeeded, false otherwise.

Reimplemented in llvm::AArch64CallLowering, llvm::AMDGPUCallLowering, llvm::ARMCallLowering, llvm::BPFCallLowering, llvm::M68kCallLowering, llvm::MipsCallLowering, llvm::PPCCallLowering, llvm::RISCVCallLowering, llvm::SPIRVCallLowering, and llvm::X86CallLowering.

Definition at line 567 of file CallLowering.h.

References Info.

Referenced by lowerCall().

◆ lowerCall() [2/2]

Lower the given call instruction, including argument and return value marshalling.

CI is the call/invoke instruction.

ResRegs are the registers where the call's return value should be stored (or 0 if there is no return value). There will be one register for each non-aggregate type, as returned by computeValueLLTs.

ArgRegs is a list of lists of virtual registers containing each argument that needs to be passed (argument i should be placed in ArgRegs[i]). For each argument, there will be one register for each non-aggregate type, as returned by computeValueLLTs.

SwiftErrorVReg is non-zero if the call has a swifterror inout parameter, and contains the vreg that the swifterror should be copied into after the call.

GetCalleeReg is a callback to materialize a register for the callee if the target determines it cannot jump to the destination based purely on CI. This might be because CI is indirect, or because of the limited range of an immediate jump.

Returns

true if the lowering succeeded, false otherwise.

Definition at line 93 of file CallLowering.cpp.

References llvm::CallBase::args(), assert(), llvm::MachineIRBuilder::buildAssertAlign(), llvm::MachineIRBuilder::buildGlobalValue(), canLowerReturn(), llvm::cast(), llvm::CallBase::countOperandBundlesOfType(), llvm::MachineOperand::CreateGA(), llvm::MachineOperand::CreateReg(), DL, llvm::dyn_cast(), F, llvm::CallLowering::BaseArgInfo::Flags, llvm::CallBase::getAttributes(), getAttributesForArgIdx(), getAttributesForReturn(), llvm::CallBase::getCalledOperand(), llvm::CallBase::getCallingConv(), llvm::MachineIRBuilder::getDataLayout(), llvm::MachineFunction::getFunction(), llvm::CallBase::getFunctionType(), llvm::getLLTForType(), llvm::Instruction::getMetadata(), llvm::MachineIRBuilder::getMF(), llvm::FunctionType::getNumParams(), llvm::CallBase::getOperandBundle(), llvm::MachineInstrBuilder::getReg(), llvm::MachineFunction::getRegInfo(), llvm::CallBase::getRetAlign(), getReturnInfo(), llvm::MachineFunction::getTarget(), llvm::Value::getType(), insertSRetOutgoingArgument(), llvm::isa(), llvm::CallBase::isConvergent(), llvm::CallBase::isIndirectCall(), llvm::isInTailCallPosition(), llvm::CallBase::isMustTailCall(), llvm::CallBase::isTailCall(), llvm::FunctionType::isVarArg(), lowerCall(), MRI, llvm::LLVMContext::OB_deactivation_symbol, llvm::LLVMContext::OB_kcfi, llvm::LLVMContext::OB_ptrauth, setArgFlags(), and llvm::Value::stripPointerCasts().

◆ lowerFormalArguments()

This hook must be implemented to lower the incoming (formal) arguments, described by VRegs, for GlobalISel.

Each argument must end up in the related virtual registers described by VRegs. In other words, the first argument should end up in VRegs[0], the second in VRegs[1], and so on. For each argument, there will be one register for each non-aggregate type, as returned by computeValueLLTs. MIRBuilder is set to the proper insertion for the argument lowering. FLI is required for sret demotion.

Returns

True if the lowering succeeded, false otherwise.

Reimplemented in llvm::AArch64CallLowering, llvm::AMDGPUCallLowering, llvm::ARMCallLowering, llvm::BPFCallLowering, llvm::M68kCallLowering, llvm::MipsCallLowering, llvm::PPCCallLowering, llvm::RISCVCallLowering, llvm::SPIRVCallLowering, and llvm::X86CallLowering.

Definition at line 555 of file CallLowering.h.

References F.

◆ lowerReturn() [1/2]

◆ lowerReturn() [2/2]

◆ parametersInCSRMatch()

Check whether parameters to a call that are passed in callee saved registers are the same as from the calling function.

This needs to be checked for tail call eligibility.

Definition at line 1147 of file CallLowering.cpp.

References llvm::MachineOperand::clobbersPhysReg(), llvm::dbgs(), llvm::getDefIgnoringCopies(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getReg(), LLVM_DEBUG, MRI, llvm::CallLowering::ArgInfo::Regs, and llvm::SmallVectorTemplateCommon< T, typename >::size().

Referenced by llvm::AMDGPUCallLowering::areCalleeOutgoingArgsTailCallable().

◆ resultsCompatible()

◆ setArgFlags()

template

Definition at line 224 of file CallLowering.cpp.

References addArgFlagsFromAttributes(), assert(), DL, llvm::dyn_cast(), llvm::CallLowering::BaseArgInfo::Flags, llvm::TargetLoweringBase::getByValTypeAlignment(), llvm::Type::getPointerAddressSpace(), llvm::Type::getScalarType(), getTLI(), OpIdx, and llvm::CallLowering::BaseArgInfo::Ty.

Referenced by insertSRetIncomingArgument(), insertSRetOutgoingArgument(), lowerCall(), llvm::AArch64CallLowering::lowerFormalArguments(), llvm::AMDGPUCallLowering::lowerFormalArguments(), llvm::ARMCallLowering::lowerFormalArguments(), llvm::M68kCallLowering::lowerFormalArguments(), llvm::MipsCallLowering::lowerFormalArguments(), llvm::PPCCallLowering::lowerFormalArguments(), llvm::RISCVCallLowering::lowerFormalArguments(), llvm::X86CallLowering::lowerFormalArguments(), llvm::AMDGPUCallLowering::lowerFormalArgumentsKernel(), llvm::AArch64CallLowering::lowerReturn(), llvm::M68kCallLowering::lowerReturn(), llvm::MipsCallLowering::lowerReturn(), llvm::PPCCallLowering::lowerReturn(), llvm::RISCVCallLowering::lowerReturn(), and llvm::X86CallLowering::lowerReturn().

◆ splitToValueTypes()

Break OrigArgInfo into one or more pieces the calling convention can process, returned in SplitArgs.

For example, this should break structs down into individual fields.

If Offsets is non-null, it points to a vector to be filled in with the in-memory offsets of each of the individual values.

Definition at line 291 of file CallLowering.cpp.

References assert(), llvm::SmallVectorTemplateCommon< T, typename >::back(), llvm::ComputeValueVTs(), DL, llvm::SmallVectorImpl< T >::emplace_back(), llvm::CallLowering::BaseArgInfo::Flags, llvm::Type::getContext(), llvm::CallLowering::ArgInfo::OrigArgIndex, llvm::CallLowering::ArgInfo::OrigValue, llvm::CallLowering::ArgInfo::Regs, llvm::SmallVectorTemplateCommon< T, typename >::size(), and llvm::CallLowering::BaseArgInfo::Ty.

Referenced by llvm::AArch64CallLowering::lowerCall(), llvm::AMDGPUCallLowering::lowerCall(), llvm::ARMCallLowering::lowerCall(), llvm::M68kCallLowering::lowerCall(), llvm::MipsCallLowering::lowerCall(), llvm::RISCVCallLowering::lowerCall(), llvm::X86CallLowering::lowerCall(), llvm::AMDGPUCallLowering::lowerChainCall(), llvm::AArch64CallLowering::lowerFormalArguments(), llvm::AMDGPUCallLowering::lowerFormalArguments(), llvm::ARMCallLowering::lowerFormalArguments(), llvm::M68kCallLowering::lowerFormalArguments(), llvm::MipsCallLowering::lowerFormalArguments(), llvm::PPCCallLowering::lowerFormalArguments(), llvm::RISCVCallLowering::lowerFormalArguments(), llvm::X86CallLowering::lowerFormalArguments(), llvm::AArch64CallLowering::lowerReturn(), llvm::M68kCallLowering::lowerReturn(), llvm::MipsCallLowering::lowerReturn(), llvm::PPCCallLowering::lowerReturn(), llvm::RISCVCallLowering::lowerReturn(), and llvm::X86CallLowering::lowerReturn().

◆ supportSwiftError()

Returns

true if the target is capable of handling swifterror values that have been promoted to a specified register. The extended versions of lowerReturn and lowerCall should be implemented.

Reimplemented in llvm::AArch64CallLowering.

Definition at line 458 of file CallLowering.h.

Referenced by lowerReturn().

The documentation for this class was generated from the following files:

• include/llvm/CodeGen/GlobalISel/CallLowering.h
• lib/CodeGen/GlobalISel/CallLowering.cpp