xref: /freebsd-src/contrib/llvm-project/llvm/lib/Target/PowerPC/GISel/PPCCallLowering.cpp (revision 349cc55c9796c4596a5b9904cd3281af295f878f)
1e8d8bef9SDimitry Andric //===-- PPCCallLowering.h - Call lowering for GlobalISel -------*- C++ -*-===//
2e8d8bef9SDimitry Andric //
3e8d8bef9SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4e8d8bef9SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5e8d8bef9SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6e8d8bef9SDimitry Andric //
7e8d8bef9SDimitry Andric //===----------------------------------------------------------------------===//
8e8d8bef9SDimitry Andric ///
9e8d8bef9SDimitry Andric /// \file
10e8d8bef9SDimitry Andric /// This file implements the lowering of LLVM calls to machine code calls for
11e8d8bef9SDimitry Andric /// GlobalISel.
12e8d8bef9SDimitry Andric ///
13e8d8bef9SDimitry Andric //===----------------------------------------------------------------------===//
14e8d8bef9SDimitry Andric 
15e8d8bef9SDimitry Andric #include "PPCCallLowering.h"
16fe6060f1SDimitry Andric #include "PPCISelLowering.h"
17fe6060f1SDimitry Andric #include "PPCSubtarget.h"
18fe6060f1SDimitry Andric #include "PPCTargetMachine.h"
19fe6060f1SDimitry Andric #include "llvm/CodeGen/CallingConvLower.h"
20fe6060f1SDimitry Andric #include "llvm/CodeGen/GlobalISel/CallLowering.h"
21e8d8bef9SDimitry Andric #include "llvm/CodeGen/GlobalISel/MachineIRBuilder.h"
22fe6060f1SDimitry Andric #include "llvm/CodeGen/TargetCallingConv.h"
23e8d8bef9SDimitry Andric #include "llvm/Support/Debug.h"
24e8d8bef9SDimitry Andric 
25e8d8bef9SDimitry Andric #define DEBUG_TYPE "ppc-call-lowering"
26e8d8bef9SDimitry Andric 
27e8d8bef9SDimitry Andric using namespace llvm;
28e8d8bef9SDimitry Andric 
29e8d8bef9SDimitry Andric PPCCallLowering::PPCCallLowering(const PPCTargetLowering &TLI)
30e8d8bef9SDimitry Andric     : CallLowering(&TLI) {}
31e8d8bef9SDimitry Andric 
32e8d8bef9SDimitry Andric bool PPCCallLowering::lowerReturn(MachineIRBuilder &MIRBuilder,
33e8d8bef9SDimitry Andric                                   const Value *Val, ArrayRef<Register> VRegs,
34e8d8bef9SDimitry Andric                                   FunctionLoweringInfo &FLI,
35e8d8bef9SDimitry Andric                                   Register SwiftErrorVReg) const {
36e8d8bef9SDimitry Andric   assert(((Val && !VRegs.empty()) || (!Val && VRegs.empty())) &&
37e8d8bef9SDimitry Andric          "Return value without a vreg");
38e8d8bef9SDimitry Andric   if (VRegs.size() > 0)
39e8d8bef9SDimitry Andric     return false;
40e8d8bef9SDimitry Andric 
41e8d8bef9SDimitry Andric   MIRBuilder.buildInstr(PPC::BLR8);
42e8d8bef9SDimitry Andric   return true;
43e8d8bef9SDimitry Andric }
44e8d8bef9SDimitry Andric 
45fe6060f1SDimitry Andric bool PPCCallLowering::lowerCall(MachineIRBuilder &MIRBuilder,
46fe6060f1SDimitry Andric                                 CallLoweringInfo &Info) const {
47fe6060f1SDimitry Andric   return false;
48fe6060f1SDimitry Andric }
49fe6060f1SDimitry Andric 
50e8d8bef9SDimitry Andric bool PPCCallLowering::lowerFormalArguments(MachineIRBuilder &MIRBuilder,
51e8d8bef9SDimitry Andric                                            const Function &F,
52e8d8bef9SDimitry Andric                                            ArrayRef<ArrayRef<Register>> VRegs,
53e8d8bef9SDimitry Andric                                            FunctionLoweringInfo &FLI) const {
54fe6060f1SDimitry Andric   MachineFunction &MF = MIRBuilder.getMF();
55fe6060f1SDimitry Andric   MachineRegisterInfo &MRI = MF.getRegInfo();
56fe6060f1SDimitry Andric   const auto &DL = F.getParent()->getDataLayout();
57fe6060f1SDimitry Andric   auto &TLI = *getTLI<PPCTargetLowering>();
58e8d8bef9SDimitry Andric 
59fe6060f1SDimitry Andric   // Loop over each arg, set flags and split to single value types
60fe6060f1SDimitry Andric   SmallVector<ArgInfo, 8> SplitArgs;
61fe6060f1SDimitry Andric   unsigned I = 0;
62fe6060f1SDimitry Andric   for (const auto &Arg : F.args()) {
63fe6060f1SDimitry Andric     if (DL.getTypeStoreSize(Arg.getType()).isZero())
64fe6060f1SDimitry Andric       continue;
65fe6060f1SDimitry Andric 
66fe6060f1SDimitry Andric     ArgInfo OrigArg{VRegs[I], Arg, I};
67fe6060f1SDimitry Andric     setArgFlags(OrigArg, I + AttributeList::FirstArgIndex, DL, F);
68fe6060f1SDimitry Andric     splitToValueTypes(OrigArg, SplitArgs, DL, F.getCallingConv());
69fe6060f1SDimitry Andric     ++I;
70e8d8bef9SDimitry Andric   }
71e8d8bef9SDimitry Andric 
72fe6060f1SDimitry Andric   CCAssignFn *AssignFn =
73fe6060f1SDimitry Andric       TLI.ccAssignFnForCall(F.getCallingConv(), false, F.isVarArg());
74fe6060f1SDimitry Andric   IncomingValueAssigner ArgAssigner(AssignFn);
75fe6060f1SDimitry Andric   FormalArgHandler ArgHandler(MIRBuilder, MRI);
76fe6060f1SDimitry Andric   return determineAndHandleAssignments(ArgHandler, ArgAssigner, SplitArgs,
77fe6060f1SDimitry Andric                                        MIRBuilder, F.getCallingConv(),
78fe6060f1SDimitry Andric                                        F.isVarArg());
79fe6060f1SDimitry Andric }
80fe6060f1SDimitry Andric 
81fe6060f1SDimitry Andric void PPCIncomingValueHandler::assignValueToReg(Register ValVReg,
82fe6060f1SDimitry Andric                                                Register PhysReg,
83*349cc55cSDimitry Andric                                                CCValAssign VA) {
84fe6060f1SDimitry Andric   markPhysRegUsed(PhysReg);
85fe6060f1SDimitry Andric   IncomingValueHandler::assignValueToReg(ValVReg, PhysReg, VA);
86fe6060f1SDimitry Andric }
87fe6060f1SDimitry Andric 
88fe6060f1SDimitry Andric void PPCIncomingValueHandler::assignValueToAddress(Register ValVReg,
89fe6060f1SDimitry Andric                                                    Register Addr, LLT MemTy,
90fe6060f1SDimitry Andric                                                    MachinePointerInfo &MPO,
91fe6060f1SDimitry Andric                                                    CCValAssign &VA) {
92fe6060f1SDimitry Andric   // define a lambda expression to load value
93fe6060f1SDimitry Andric   auto BuildLoad = [](MachineIRBuilder &MIRBuilder, MachinePointerInfo &MPO,
94fe6060f1SDimitry Andric                       LLT MemTy, const DstOp &Res, Register Addr) {
95fe6060f1SDimitry Andric     MachineFunction &MF = MIRBuilder.getMF();
96fe6060f1SDimitry Andric     auto *MMO = MF.getMachineMemOperand(MPO, MachineMemOperand::MOLoad, MemTy,
97fe6060f1SDimitry Andric                                         inferAlignFromPtrInfo(MF, MPO));
98fe6060f1SDimitry Andric     return MIRBuilder.buildLoad(Res, Addr, *MMO);
99fe6060f1SDimitry Andric   };
100fe6060f1SDimitry Andric 
101fe6060f1SDimitry Andric   BuildLoad(MIRBuilder, MPO, MemTy, ValVReg, Addr);
102fe6060f1SDimitry Andric }
103fe6060f1SDimitry Andric 
104fe6060f1SDimitry Andric Register PPCIncomingValueHandler::getStackAddress(uint64_t Size, int64_t Offset,
105fe6060f1SDimitry Andric                                                   MachinePointerInfo &MPO,
106fe6060f1SDimitry Andric                                                   ISD::ArgFlagsTy Flags) {
107fe6060f1SDimitry Andric   auto &MFI = MIRBuilder.getMF().getFrameInfo();
108fe6060f1SDimitry Andric   const bool IsImmutable = !Flags.isByVal();
109fe6060f1SDimitry Andric   int FI = MFI.CreateFixedObject(Size, Offset, IsImmutable);
110fe6060f1SDimitry Andric   MPO = MachinePointerInfo::getFixedStack(MIRBuilder.getMF(), FI);
111fe6060f1SDimitry Andric 
112fe6060f1SDimitry Andric   // Build Frame Index based on whether the machine is 32-bit or 64-bit
113fe6060f1SDimitry Andric   llvm::LLT FramePtr = LLT::pointer(
114fe6060f1SDimitry Andric       0, MIRBuilder.getMF().getDataLayout().getPointerSizeInBits());
115fe6060f1SDimitry Andric   MachineInstrBuilder AddrReg = MIRBuilder.buildFrameIndex(FramePtr, FI);
116fe6060f1SDimitry Andric   StackUsed = std::max(StackUsed, Size + Offset);
117fe6060f1SDimitry Andric   return AddrReg.getReg(0);
118fe6060f1SDimitry Andric }
119fe6060f1SDimitry Andric 
120fe6060f1SDimitry Andric void FormalArgHandler::markPhysRegUsed(unsigned PhysReg) {
121fe6060f1SDimitry Andric   MIRBuilder.getMRI()->addLiveIn(PhysReg);
122fe6060f1SDimitry Andric   MIRBuilder.getMBB().addLiveIn(PhysReg);
123e8d8bef9SDimitry Andric }
124