1 //===---------- PPCTLSDynamicCall.cpp - TLS Dynamic Call Fixup ------------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This pass expands ADDItls{ld,gd}LADDR[32] machine instructions into
11 // separate ADDItls[gd]L[32] and GETtlsADDR[32] instructions, both of
12 // which define GPR3. A copy is added from GPR3 to the target virtual
13 // register of the original instruction. The GETtlsADDR[32] is really
14 // a call instruction, so its target register is constrained to be GPR3.
15 // This is not true of ADDItls[gd]L[32], but there is a legacy linker
16 // optimization bug that requires the target register of the addi of
17 // a local- or general-dynamic TLS access sequence to be GPR3.
19 // This is done in a late pass so that TLS variable accesses can be
20 // fully commoned by MachineCSE.
22 //===----------------------------------------------------------------------===//
24 #include "PPCInstrInfo.h"
26 #include "PPCInstrBuilder.h"
27 #include "PPCTargetMachine.h"
28 #include "llvm/CodeGen/LiveIntervalAnalysis.h"
29 #include "llvm/CodeGen/MachineFunctionPass.h"
30 #include "llvm/CodeGen/MachineInstrBuilder.h"
31 #include "llvm/Support/Debug.h"
32 #include "llvm/Support/raw_ostream.h"
36 #define DEBUG_TYPE "ppc-tls-dynamic-call"
39 void initializePPCTLSDynamicCallPass(PassRegistry&);
43 struct PPCTLSDynamicCall : public MachineFunctionPass {
45 PPCTLSDynamicCall() : MachineFunctionPass(ID) {
46 initializePPCTLSDynamicCallPass(*PassRegistry::getPassRegistry());
49 const PPCInstrInfo *TII;
53 bool processBlock(MachineBasicBlock &MBB) {
55 bool Is64Bit = MBB.getParent()->getSubtarget<PPCSubtarget>().isPPC64();
57 for (MachineBasicBlock::iterator I = MBB.begin(), IE = MBB.end();
59 MachineInstr &MI = *I;
61 if (MI.getOpcode() != PPC::ADDItlsgdLADDR &&
62 MI.getOpcode() != PPC::ADDItlsldLADDR &&
63 MI.getOpcode() != PPC::ADDItlsgdLADDR32 &&
64 MI.getOpcode() != PPC::ADDItlsldLADDR32) {
69 DEBUG(dbgs() << "TLS Dynamic Call Fixup:\n " << MI);
71 unsigned OutReg = MI.getOperand(0).getReg();
72 unsigned InReg = MI.getOperand(1).getReg();
73 DebugLoc DL = MI.getDebugLoc();
74 unsigned GPR3 = Is64Bit ? PPC::X3 : PPC::R3;
76 const unsigned OrigRegs[] = {OutReg, InReg, GPR3};
78 switch (MI.getOpcode()) {
80 llvm_unreachable("Opcode inconsistency error");
81 case PPC::ADDItlsgdLADDR:
82 Opc1 = PPC::ADDItlsgdL;
83 Opc2 = PPC::GETtlsADDR;
85 case PPC::ADDItlsldLADDR:
86 Opc1 = PPC::ADDItlsldL;
87 Opc2 = PPC::GETtlsldADDR;
89 case PPC::ADDItlsgdLADDR32:
90 Opc1 = PPC::ADDItlsgdL32;
91 Opc2 = PPC::GETtlsADDR32;
93 case PPC::ADDItlsldLADDR32:
94 Opc1 = PPC::ADDItlsldL32;
95 Opc2 = PPC::GETtlsldADDR32;
99 // Don't really need to save data to the stack - the clobbered
100 // registers are already saved when the SDNode (e.g. PPCaddiTlsgdLAddr)
101 // gets translated to the pseudo instruction (e.g. ADDItlsgdLADDR).
102 BuildMI(MBB, I, DL, TII->get(PPC::ADJCALLSTACKDOWN)).addImm(0);
104 // Expand into two ops built prior to the existing instruction.
105 MachineInstr *Addi = BuildMI(MBB, I, DL, TII->get(Opc1), GPR3)
107 Addi->addOperand(MI.getOperand(2));
109 // The ADDItls* instruction is the first instruction in the
111 MachineBasicBlock::iterator First = I;
114 MachineInstr *Call = (BuildMI(MBB, I, DL, TII->get(Opc2), GPR3)
116 Call->addOperand(MI.getOperand(3));
118 BuildMI(MBB, I, DL, TII->get(PPC::ADJCALLSTACKUP)).addImm(0).addImm(0);
120 BuildMI(MBB, I, DL, TII->get(TargetOpcode::COPY), OutReg)
123 // The COPY is the last instruction in the repair range.
124 MachineBasicBlock::iterator Last = I;
127 // Move past the original instruction and remove it.
129 MI.removeFromParent();
131 // Repair the live intervals.
132 LIS->repairIntervalsInRange(&MBB, First, Last, OrigRegs);
140 bool runOnMachineFunction(MachineFunction &MF) override {
141 TII = MF.getSubtarget<PPCSubtarget>().getInstrInfo();
142 LIS = &getAnalysis<LiveIntervals>();
144 bool Changed = false;
146 for (MachineFunction::iterator I = MF.begin(); I != MF.end();) {
147 MachineBasicBlock &B = *I++;
155 void getAnalysisUsage(AnalysisUsage &AU) const override {
156 AU.addRequired<LiveIntervals>();
157 AU.addPreserved<LiveIntervals>();
158 AU.addRequired<SlotIndexes>();
159 AU.addPreserved<SlotIndexes>();
160 MachineFunctionPass::getAnalysisUsage(AU);
165 INITIALIZE_PASS_BEGIN(PPCTLSDynamicCall, DEBUG_TYPE,
166 "PowerPC TLS Dynamic Call Fixup", false, false)
167 INITIALIZE_PASS_DEPENDENCY(LiveIntervals)
168 INITIALIZE_PASS_DEPENDENCY(SlotIndexes)
169 INITIALIZE_PASS_END(PPCTLSDynamicCall, DEBUG_TYPE,
170 "PowerPC TLS Dynamic Call Fixup", false, false)
172 char PPCTLSDynamicCall::ID = 0;
174 llvm::createPPCTLSDynamicCallPass() { return new PPCTLSDynamicCall(); }