xref: /freebsd/contrib/llvm-project/llvm/lib/Target/PowerPC/PPCTLSDynamicCall.cpp (revision e8d8bef961a50d4dc22501cde4fb9fb0be1b2532)
10b57cec5SDimitry Andric //===---------- PPCTLSDynamicCall.cpp - TLS Dynamic Call Fixup ------------===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric //
90b57cec5SDimitry Andric // This pass expands ADDItls{ld,gd}LADDR[32] machine instructions into
100b57cec5SDimitry Andric // separate ADDItls[gd]L[32] and GETtlsADDR[32] instructions, both of
110b57cec5SDimitry Andric // which define GPR3.  A copy is added from GPR3 to the target virtual
120b57cec5SDimitry Andric // register of the original instruction.  The GETtlsADDR[32] is really
130b57cec5SDimitry Andric // a call instruction, so its target register is constrained to be GPR3.
140b57cec5SDimitry Andric // This is not true of ADDItls[gd]L[32], but there is a legacy linker
150b57cec5SDimitry Andric // optimization bug that requires the target register of the addi of
160b57cec5SDimitry Andric // a local- or general-dynamic TLS access sequence to be GPR3.
170b57cec5SDimitry Andric //
180b57cec5SDimitry Andric // This is done in a late pass so that TLS variable accesses can be
190b57cec5SDimitry Andric // fully commoned by MachineCSE.
200b57cec5SDimitry Andric //
210b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
220b57cec5SDimitry Andric 
230b57cec5SDimitry Andric #include "PPC.h"
240b57cec5SDimitry Andric #include "PPCInstrBuilder.h"
250b57cec5SDimitry Andric #include "PPCInstrInfo.h"
260b57cec5SDimitry Andric #include "PPCTargetMachine.h"
270b57cec5SDimitry Andric #include "llvm/CodeGen/LiveIntervals.h"
280b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFunctionPass.h"
290b57cec5SDimitry Andric #include "llvm/CodeGen/MachineInstrBuilder.h"
30480093f4SDimitry Andric #include "llvm/InitializePasses.h"
310b57cec5SDimitry Andric #include "llvm/Support/Debug.h"
320b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h"
330b57cec5SDimitry Andric 
340b57cec5SDimitry Andric using namespace llvm;
350b57cec5SDimitry Andric 
360b57cec5SDimitry Andric #define DEBUG_TYPE "ppc-tls-dynamic-call"
370b57cec5SDimitry Andric 
380b57cec5SDimitry Andric namespace {
390b57cec5SDimitry Andric   struct PPCTLSDynamicCall : public MachineFunctionPass {
400b57cec5SDimitry Andric     static char ID;
410b57cec5SDimitry Andric     PPCTLSDynamicCall() : MachineFunctionPass(ID) {
420b57cec5SDimitry Andric       initializePPCTLSDynamicCallPass(*PassRegistry::getPassRegistry());
430b57cec5SDimitry Andric     }
440b57cec5SDimitry Andric 
450b57cec5SDimitry Andric     const PPCInstrInfo *TII;
460b57cec5SDimitry Andric     LiveIntervals *LIS;
470b57cec5SDimitry Andric 
480b57cec5SDimitry Andric protected:
490b57cec5SDimitry Andric     bool processBlock(MachineBasicBlock &MBB) {
500b57cec5SDimitry Andric       bool Changed = false;
510b57cec5SDimitry Andric       bool NeedFence = true;
520b57cec5SDimitry Andric       bool Is64Bit = MBB.getParent()->getSubtarget<PPCSubtarget>().isPPC64();
53*e8d8bef9SDimitry Andric       bool IsPCREL = false;
540b57cec5SDimitry Andric 
550b57cec5SDimitry Andric       for (MachineBasicBlock::iterator I = MBB.begin(), IE = MBB.end();
560b57cec5SDimitry Andric            I != IE;) {
570b57cec5SDimitry Andric         MachineInstr &MI = *I;
58*e8d8bef9SDimitry Andric         IsPCREL = isPCREL(MI);
590b57cec5SDimitry Andric 
600b57cec5SDimitry Andric         if (MI.getOpcode() != PPC::ADDItlsgdLADDR &&
610b57cec5SDimitry Andric             MI.getOpcode() != PPC::ADDItlsldLADDR &&
620b57cec5SDimitry Andric             MI.getOpcode() != PPC::ADDItlsgdLADDR32 &&
63*e8d8bef9SDimitry Andric             MI.getOpcode() != PPC::ADDItlsldLADDR32 && !IsPCREL) {
640b57cec5SDimitry Andric           // Although we create ADJCALLSTACKDOWN and ADJCALLSTACKUP
650b57cec5SDimitry Andric           // as scheduling fences, we skip creating fences if we already
660b57cec5SDimitry Andric           // have existing ADJCALLSTACKDOWN/UP to avoid nesting,
670b57cec5SDimitry Andric           // which causes verification error with -verify-machineinstrs.
680b57cec5SDimitry Andric           if (MI.getOpcode() == PPC::ADJCALLSTACKDOWN)
690b57cec5SDimitry Andric             NeedFence = false;
700b57cec5SDimitry Andric           else if (MI.getOpcode() == PPC::ADJCALLSTACKUP)
710b57cec5SDimitry Andric             NeedFence = true;
720b57cec5SDimitry Andric 
730b57cec5SDimitry Andric           ++I;
740b57cec5SDimitry Andric           continue;
750b57cec5SDimitry Andric         }
760b57cec5SDimitry Andric 
770b57cec5SDimitry Andric         LLVM_DEBUG(dbgs() << "TLS Dynamic Call Fixup:\n    " << MI);
780b57cec5SDimitry Andric 
798bcb0991SDimitry Andric         Register OutReg = MI.getOperand(0).getReg();
80*e8d8bef9SDimitry Andric         Register InReg = PPC::NoRegister;
815ffd83dbSDimitry Andric         Register GPR3 = Is64Bit ? PPC::X3 : PPC::R3;
82*e8d8bef9SDimitry Andric         SmallVector<Register, 3> OrigRegs = {OutReg, GPR3};
83*e8d8bef9SDimitry Andric         if (!IsPCREL) {
84*e8d8bef9SDimitry Andric           InReg = MI.getOperand(1).getReg();
85*e8d8bef9SDimitry Andric           OrigRegs.push_back(InReg);
86*e8d8bef9SDimitry Andric         }
87*e8d8bef9SDimitry Andric         DebugLoc DL = MI.getDebugLoc();
880b57cec5SDimitry Andric 
89*e8d8bef9SDimitry Andric         unsigned Opc1, Opc2;
900b57cec5SDimitry Andric         switch (MI.getOpcode()) {
910b57cec5SDimitry Andric         default:
920b57cec5SDimitry Andric           llvm_unreachable("Opcode inconsistency error");
930b57cec5SDimitry Andric         case PPC::ADDItlsgdLADDR:
940b57cec5SDimitry Andric           Opc1 = PPC::ADDItlsgdL;
950b57cec5SDimitry Andric           Opc2 = PPC::GETtlsADDR;
960b57cec5SDimitry Andric           break;
970b57cec5SDimitry Andric         case PPC::ADDItlsldLADDR:
980b57cec5SDimitry Andric           Opc1 = PPC::ADDItlsldL;
990b57cec5SDimitry Andric           Opc2 = PPC::GETtlsldADDR;
1000b57cec5SDimitry Andric           break;
1010b57cec5SDimitry Andric         case PPC::ADDItlsgdLADDR32:
1020b57cec5SDimitry Andric           Opc1 = PPC::ADDItlsgdL32;
1030b57cec5SDimitry Andric           Opc2 = PPC::GETtlsADDR32;
1040b57cec5SDimitry Andric           break;
1050b57cec5SDimitry Andric         case PPC::ADDItlsldLADDR32:
1060b57cec5SDimitry Andric           Opc1 = PPC::ADDItlsldL32;
1070b57cec5SDimitry Andric           Opc2 = PPC::GETtlsldADDR32;
1080b57cec5SDimitry Andric           break;
109*e8d8bef9SDimitry Andric         case PPC::PADDI8pc:
110*e8d8bef9SDimitry Andric           assert(IsPCREL && "Expecting General/Local Dynamic PCRel");
111*e8d8bef9SDimitry Andric           Opc1 = PPC::PADDI8pc;
112*e8d8bef9SDimitry Andric           Opc2 = MI.getOperand(2).getTargetFlags() ==
113*e8d8bef9SDimitry Andric                          PPCII::MO_GOT_TLSGD_PCREL_FLAG
114*e8d8bef9SDimitry Andric                      ? PPC::GETtlsADDRPCREL
115*e8d8bef9SDimitry Andric                      : PPC::GETtlsldADDRPCREL;
1160b57cec5SDimitry Andric         }
1170b57cec5SDimitry Andric 
1180b57cec5SDimitry Andric         // We create ADJCALLSTACKUP and ADJCALLSTACKDOWN around _tls_get_addr
1190b57cec5SDimitry Andric         // as scheduling fence to avoid it is scheduled before
1200b57cec5SDimitry Andric         // mflr in the prologue and the address in LR is clobbered (PR25839).
1210b57cec5SDimitry Andric         // We don't really need to save data to the stack - the clobbered
1220b57cec5SDimitry Andric         // registers are already saved when the SDNode (e.g. PPCaddiTlsgdLAddr)
1230b57cec5SDimitry Andric         // gets translated to the pseudo instruction (e.g. ADDItlsgdLADDR).
1240b57cec5SDimitry Andric         if (NeedFence)
1250b57cec5SDimitry Andric           BuildMI(MBB, I, DL, TII->get(PPC::ADJCALLSTACKDOWN)).addImm(0)
1260b57cec5SDimitry Andric                                                               .addImm(0);
1270b57cec5SDimitry Andric 
128*e8d8bef9SDimitry Andric         MachineInstr *Addi;
129*e8d8bef9SDimitry Andric         if (IsPCREL) {
130*e8d8bef9SDimitry Andric           Addi = BuildMI(MBB, I, DL, TII->get(Opc1), GPR3).addImm(0);
131*e8d8bef9SDimitry Andric         } else {
1320b57cec5SDimitry Andric           // Expand into two ops built prior to the existing instruction.
133*e8d8bef9SDimitry Andric           assert(InReg != PPC::NoRegister && "Operand must be a register");
134*e8d8bef9SDimitry Andric           Addi = BuildMI(MBB, I, DL, TII->get(Opc1), GPR3).addReg(InReg);
135*e8d8bef9SDimitry Andric         }
136*e8d8bef9SDimitry Andric 
1370b57cec5SDimitry Andric         Addi->addOperand(MI.getOperand(2));
1380b57cec5SDimitry Andric 
1390b57cec5SDimitry Andric         // The ADDItls* instruction is the first instruction in the
1400b57cec5SDimitry Andric         // repair range.
1410b57cec5SDimitry Andric         MachineBasicBlock::iterator First = I;
1420b57cec5SDimitry Andric         --First;
1430b57cec5SDimitry Andric 
1440b57cec5SDimitry Andric         MachineInstr *Call = (BuildMI(MBB, I, DL, TII->get(Opc2), GPR3)
1450b57cec5SDimitry Andric                               .addReg(GPR3));
146*e8d8bef9SDimitry Andric         if (IsPCREL)
147*e8d8bef9SDimitry Andric           Call->addOperand(MI.getOperand(2));
148*e8d8bef9SDimitry Andric         else
1490b57cec5SDimitry Andric           Call->addOperand(MI.getOperand(3));
1500b57cec5SDimitry Andric 
1510b57cec5SDimitry Andric         if (NeedFence)
1520b57cec5SDimitry Andric           BuildMI(MBB, I, DL, TII->get(PPC::ADJCALLSTACKUP)).addImm(0).addImm(0);
1530b57cec5SDimitry Andric 
1540b57cec5SDimitry Andric         BuildMI(MBB, I, DL, TII->get(TargetOpcode::COPY), OutReg)
1550b57cec5SDimitry Andric           .addReg(GPR3);
1560b57cec5SDimitry Andric 
1570b57cec5SDimitry Andric         // The COPY is the last instruction in the repair range.
1580b57cec5SDimitry Andric         MachineBasicBlock::iterator Last = I;
1590b57cec5SDimitry Andric         --Last;
1600b57cec5SDimitry Andric 
1610b57cec5SDimitry Andric         // Move past the original instruction and remove it.
1620b57cec5SDimitry Andric         ++I;
1630b57cec5SDimitry Andric         MI.removeFromParent();
1640b57cec5SDimitry Andric 
1650b57cec5SDimitry Andric         // Repair the live intervals.
1660b57cec5SDimitry Andric         LIS->repairIntervalsInRange(&MBB, First, Last, OrigRegs);
1670b57cec5SDimitry Andric         Changed = true;
1680b57cec5SDimitry Andric       }
1690b57cec5SDimitry Andric 
1700b57cec5SDimitry Andric       return Changed;
1710b57cec5SDimitry Andric     }
1720b57cec5SDimitry Andric 
1730b57cec5SDimitry Andric public:
174*e8d8bef9SDimitry Andric   bool isPCREL(const MachineInstr &MI) {
175*e8d8bef9SDimitry Andric     return (MI.getOpcode() == PPC::PADDI8pc) &&
176*e8d8bef9SDimitry Andric            (MI.getOperand(2).getTargetFlags() ==
177*e8d8bef9SDimitry Andric                 PPCII::MO_GOT_TLSGD_PCREL_FLAG ||
178*e8d8bef9SDimitry Andric             MI.getOperand(2).getTargetFlags() ==
179*e8d8bef9SDimitry Andric                 PPCII::MO_GOT_TLSLD_PCREL_FLAG);
180*e8d8bef9SDimitry Andric   }
181*e8d8bef9SDimitry Andric 
1820b57cec5SDimitry Andric     bool runOnMachineFunction(MachineFunction &MF) override {
1830b57cec5SDimitry Andric       TII = MF.getSubtarget<PPCSubtarget>().getInstrInfo();
1840b57cec5SDimitry Andric       LIS = &getAnalysis<LiveIntervals>();
1850b57cec5SDimitry Andric 
1860b57cec5SDimitry Andric       bool Changed = false;
1870b57cec5SDimitry Andric 
1880b57cec5SDimitry Andric       for (MachineFunction::iterator I = MF.begin(); I != MF.end();) {
1890b57cec5SDimitry Andric         MachineBasicBlock &B = *I++;
1900b57cec5SDimitry Andric         if (processBlock(B))
1910b57cec5SDimitry Andric           Changed = true;
1920b57cec5SDimitry Andric       }
1930b57cec5SDimitry Andric 
1940b57cec5SDimitry Andric       return Changed;
1950b57cec5SDimitry Andric     }
1960b57cec5SDimitry Andric 
1970b57cec5SDimitry Andric     void getAnalysisUsage(AnalysisUsage &AU) const override {
1980b57cec5SDimitry Andric       AU.addRequired<LiveIntervals>();
1990b57cec5SDimitry Andric       AU.addPreserved<LiveIntervals>();
2000b57cec5SDimitry Andric       AU.addRequired<SlotIndexes>();
2010b57cec5SDimitry Andric       AU.addPreserved<SlotIndexes>();
2020b57cec5SDimitry Andric       MachineFunctionPass::getAnalysisUsage(AU);
2030b57cec5SDimitry Andric     }
2040b57cec5SDimitry Andric   };
2050b57cec5SDimitry Andric }
2060b57cec5SDimitry Andric 
2070b57cec5SDimitry Andric INITIALIZE_PASS_BEGIN(PPCTLSDynamicCall, DEBUG_TYPE,
2080b57cec5SDimitry Andric                       "PowerPC TLS Dynamic Call Fixup", false, false)
2090b57cec5SDimitry Andric INITIALIZE_PASS_DEPENDENCY(LiveIntervals)
2100b57cec5SDimitry Andric INITIALIZE_PASS_DEPENDENCY(SlotIndexes)
2110b57cec5SDimitry Andric INITIALIZE_PASS_END(PPCTLSDynamicCall, DEBUG_TYPE,
2120b57cec5SDimitry Andric                     "PowerPC TLS Dynamic Call Fixup", false, false)
2130b57cec5SDimitry Andric 
2140b57cec5SDimitry Andric char PPCTLSDynamicCall::ID = 0;
2150b57cec5SDimitry Andric FunctionPass*
2160b57cec5SDimitry Andric llvm::createPPCTLSDynamicCallPass() { return new PPCTLSDynamicCall(); }
217