Chris Lattner | 686a095 | 2010-11-14 19:53:02 +0000 | [diff] [blame] | 1 | //===-- PPCMCInstLower.cpp - Convert PPC MachineInstr to an MCInst --------===// |
| 2 | // |
Chandler Carruth | 2946cd7 | 2019-01-19 08:50:56 +0000 | [diff] [blame] | 3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| 4 | // See https://llvm.org/LICENSE.txt for license information. |
| 5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
Chris Lattner | 686a095 | 2010-11-14 19:53:02 +0000 | [diff] [blame] | 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | // |
| 9 | // This file contains code to lower PPC MachineInstrs to their corresponding |
| 10 | // MCInst records. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
Ulrich Weigand | 41789de | 2013-05-23 22:26:41 +0000 | [diff] [blame] | 14 | #include "MCTargetDesc/PPCMCExpr.h" |
Chandler Carruth | 6bda14b | 2017-06-06 11:49:48 +0000 | [diff] [blame] | 15 | #include "PPC.h" |
Chandler Carruth | d990388 | 2015-01-14 11:23:27 +0000 | [diff] [blame] | 16 | #include "PPCSubtarget.h" |
Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 17 | #include "llvm/ADT/SmallString.h" |
Rafael Espindola | 1357ab7 | 2013-04-27 00:43:16 +0000 | [diff] [blame] | 18 | #include "llvm/ADT/Twine.h" |
Chris Lattner | 686a095 | 2010-11-14 19:53:02 +0000 | [diff] [blame] | 19 | #include "llvm/CodeGen/AsmPrinter.h" |
Chris Lattner | edb9d84 | 2010-11-15 02:46:57 +0000 | [diff] [blame] | 20 | #include "llvm/CodeGen/MachineFunction.h" |
Chris Lattner | df8e17d | 2010-11-14 23:42:06 +0000 | [diff] [blame] | 21 | #include "llvm/CodeGen/MachineModuleInfoImpls.h" |
David Blaikie | b3bde2e | 2017-11-17 01:07:10 +0000 | [diff] [blame] | 22 | #include "llvm/CodeGen/TargetLowering.h" |
Rafael Espindola | 5887356 | 2014-01-03 19:21:54 +0000 | [diff] [blame] | 23 | #include "llvm/IR/DataLayout.h" |
Jakub Staszak | 2be3832 | 2013-02-20 00:31:54 +0000 | [diff] [blame] | 24 | #include "llvm/IR/GlobalValue.h" |
Rafael Espindola | 894843c | 2014-01-07 21:19:40 +0000 | [diff] [blame] | 25 | #include "llvm/IR/Mangler.h" |
Chris Lattner | df8e17d | 2010-11-14 23:42:06 +0000 | [diff] [blame] | 26 | #include "llvm/MC/MCAsmInfo.h" |
Chris Lattner | 686a095 | 2010-11-14 19:53:02 +0000 | [diff] [blame] | 27 | #include "llvm/MC/MCExpr.h" |
| 28 | #include "llvm/MC/MCInst.h" |
David Blaikie | 6054e65 | 2018-03-23 23:58:19 +0000 | [diff] [blame] | 29 | #include "llvm/Target/TargetLoweringObjectFile.h" |
Chris Lattner | 686a095 | 2010-11-14 19:53:02 +0000 | [diff] [blame] | 30 | using namespace llvm; |
| 31 | |
Chris Lattner | df8e17d | 2010-11-14 23:42:06 +0000 | [diff] [blame] | 32 | static MachineModuleInfoMachO &getMachOMMI(AsmPrinter &AP) { |
| 33 | return AP.MMI->getObjFileInfo<MachineModuleInfoMachO>(); |
| 34 | } |
| 35 | |
Eric Christopher | dd7d68d | 2016-09-16 17:07:13 +0000 | [diff] [blame] | 36 | static MCSymbol *GetSymbolFromOperand(const MachineOperand &MO, |
| 37 | AsmPrinter &AP) { |
Rafael Espindola | daeafb4 | 2014-02-19 17:23:20 +0000 | [diff] [blame] | 38 | const TargetMachine &TM = AP.TM; |
Eric Christopher | dd7d68d | 2016-09-16 17:07:13 +0000 | [diff] [blame] | 39 | Mangler &Mang = TM.getObjFileLowering()->getMangler(); |
Mehdi Amini | bd7287e | 2015-07-16 06:11:10 +0000 | [diff] [blame] | 40 | const DataLayout &DL = AP.getDataLayout(); |
Chris Lattner | df8e17d | 2010-11-14 23:42:06 +0000 | [diff] [blame] | 41 | MCContext &Ctx = AP.OutContext; |
| 42 | |
| 43 | SmallString<128> Name; |
Rafael Espindola | 3263578 | 2013-12-02 03:26:43 +0000 | [diff] [blame] | 44 | StringRef Suffix; |
Rafael Espindola | a99ccfc | 2016-06-29 14:59:50 +0000 | [diff] [blame] | 45 | if (MO.getTargetFlags() & PPCII::MO_NLP_FLAG) |
Rafael Espindola | 3263578 | 2013-12-02 03:26:43 +0000 | [diff] [blame] | 46 | Suffix = "$non_lazy_ptr"; |
| 47 | |
| 48 | if (!Suffix.empty()) |
Mehdi Amini | bd7287e | 2015-07-16 06:11:10 +0000 | [diff] [blame] | 49 | Name += DL.getPrivateGlobalPrefix(); |
Rafael Espindola | 3263578 | 2013-12-02 03:26:43 +0000 | [diff] [blame] | 50 | |
Chris Lattner | df8e17d | 2010-11-14 23:42:06 +0000 | [diff] [blame] | 51 | if (!MO.isGlobal()) { |
| 52 | assert(MO.isSymbol() && "Isn't a symbol reference"); |
Mehdi Amini | bd7287e | 2015-07-16 06:11:10 +0000 | [diff] [blame] | 53 | Mangler::getNameWithPrefix(Name, MO.getSymbolName(), DL); |
Rafael Espindola | 3263578 | 2013-12-02 03:26:43 +0000 | [diff] [blame] | 54 | } else { |
Chris Lattner | df8e17d | 2010-11-14 23:42:06 +0000 | [diff] [blame] | 55 | const GlobalValue *GV = MO.getGlobal(); |
Eric Christopher | dd7d68d | 2016-09-16 17:07:13 +0000 | [diff] [blame] | 56 | TM.getNameWithPrefix(Name, GV, Mang); |
Chris Lattner | df8e17d | 2010-11-14 23:42:06 +0000 | [diff] [blame] | 57 | } |
Rafael Espindola | 3263578 | 2013-12-02 03:26:43 +0000 | [diff] [blame] | 58 | |
Rafael Espindola | 3263578 | 2013-12-02 03:26:43 +0000 | [diff] [blame] | 59 | Name += Suffix; |
Jim Grosbach | 6f48200 | 2015-05-18 18:43:14 +0000 | [diff] [blame] | 60 | MCSymbol *Sym = Ctx.getOrCreateSymbol(Name); |
Chris Lattner | dd6df84 | 2010-11-15 03:13:19 +0000 | [diff] [blame] | 61 | |
| 62 | // If the symbol reference is actually to a non_lazy_ptr, not to the symbol, |
| 63 | // then add the suffix. |
| 64 | if (MO.getTargetFlags() & PPCII::MO_NLP_FLAG) { |
Chris Lattner | dd6df84 | 2010-11-15 03:13:19 +0000 | [diff] [blame] | 65 | MachineModuleInfoMachO &MachO = getMachOMMI(AP); |
Rafael Espindola | 8571aa3 | 2016-05-20 12:00:52 +0000 | [diff] [blame] | 66 | |
| 67 | MachineModuleInfoImpl::StubValueTy &StubSym = MachO.getGVStubEntry(Sym); |
| 68 | |
Craig Topper | 062a2ba | 2014-04-25 05:30:21 +0000 | [diff] [blame] | 69 | if (!StubSym.getPointer()) { |
Chris Lattner | dd6df84 | 2010-11-15 03:13:19 +0000 | [diff] [blame] | 70 | assert(MO.isGlobal() && "Extern symbol not handled yet"); |
| 71 | StubSym = MachineModuleInfoImpl:: |
Rafael Espindola | 79858aa | 2013-10-29 17:07:16 +0000 | [diff] [blame] | 72 | StubValueTy(AP.getSymbol(MO.getGlobal()), |
Chris Lattner | dd6df84 | 2010-11-15 03:13:19 +0000 | [diff] [blame] | 73 | !MO.getGlobal()->hasInternalLinkage()); |
| 74 | } |
| 75 | return Sym; |
Chris Lattner | df8e17d | 2010-11-14 23:42:06 +0000 | [diff] [blame] | 76 | } |
Fangrui Song | f78650a | 2018-07-30 19:41:25 +0000 | [diff] [blame] | 77 | |
Rafael Espindola | 3263578 | 2013-12-02 03:26:43 +0000 | [diff] [blame] | 78 | return Sym; |
Chris Lattner | df8e17d | 2010-11-14 23:42:06 +0000 | [diff] [blame] | 79 | } |
| 80 | |
Chris Lattner | 3dc9bb2 | 2010-11-14 21:20:46 +0000 | [diff] [blame] | 81 | static MCOperand GetSymbolRef(const MachineOperand &MO, const MCSymbol *Symbol, |
Ulrich Weigand | 266db7f | 2013-07-08 20:20:51 +0000 | [diff] [blame] | 82 | AsmPrinter &Printer, bool isDarwin) { |
Chris Lattner | 3dc9bb2 | 2010-11-14 21:20:46 +0000 | [diff] [blame] | 83 | MCContext &Ctx = Printer.OutContext; |
Chris Lattner | df8e17d | 2010-11-14 23:42:06 +0000 | [diff] [blame] | 84 | MCSymbolRefExpr::VariantKind RefKind = MCSymbolRefExpr::VK_None; |
| 85 | |
Roman Divacky | e3f15c98 | 2012-06-04 17:36:38 +0000 | [diff] [blame] | 86 | unsigned access = MO.getTargetFlags() & PPCII::MO_ACCESS_MASK; |
| 87 | |
Ulrich Weigand | 96e6578 | 2013-06-20 16:23:52 +0000 | [diff] [blame] | 88 | switch (access) { |
Ulrich Weigand | d51c09f | 2013-06-21 14:42:20 +0000 | [diff] [blame] | 89 | case PPCII::MO_TPREL_LO: |
| 90 | RefKind = MCSymbolRefExpr::VK_PPC_TPREL_LO; |
Ulrich Weigand | 96e6578 | 2013-06-20 16:23:52 +0000 | [diff] [blame] | 91 | break; |
Ulrich Weigand | d51c09f | 2013-06-21 14:42:20 +0000 | [diff] [blame] | 92 | case PPCII::MO_TPREL_HA: |
| 93 | RefKind = MCSymbolRefExpr::VK_PPC_TPREL_HA; |
Ulrich Weigand | 96e6578 | 2013-06-20 16:23:52 +0000 | [diff] [blame] | 94 | break; |
Ulrich Weigand | d51c09f | 2013-06-21 14:42:20 +0000 | [diff] [blame] | 95 | case PPCII::MO_DTPREL_LO: |
| 96 | RefKind = MCSymbolRefExpr::VK_PPC_DTPREL_LO; |
Ulrich Weigand | 96e6578 | 2013-06-20 16:23:52 +0000 | [diff] [blame] | 97 | break; |
Ulrich Weigand | d51c09f | 2013-06-21 14:42:20 +0000 | [diff] [blame] | 98 | case PPCII::MO_TLSLD_LO: |
| 99 | RefKind = MCSymbolRefExpr::VK_PPC_GOT_TLSLD_LO; |
Ulrich Weigand | 96e6578 | 2013-06-20 16:23:52 +0000 | [diff] [blame] | 100 | break; |
Ulrich Weigand | d51c09f | 2013-06-21 14:42:20 +0000 | [diff] [blame] | 101 | case PPCII::MO_TOC_LO: |
| 102 | RefKind = MCSymbolRefExpr::VK_PPC_TOC_LO; |
Ulrich Weigand | 96e6578 | 2013-06-20 16:23:52 +0000 | [diff] [blame] | 103 | break; |
Ulrich Weigand | 5b42759 | 2013-07-05 12:22:36 +0000 | [diff] [blame] | 104 | case PPCII::MO_TLS: |
| 105 | RefKind = MCSymbolRefExpr::VK_PPC_TLS; |
| 106 | break; |
Ulrich Weigand | 41789de | 2013-05-23 22:26:41 +0000 | [diff] [blame] | 107 | } |
Chris Lattner | df8e17d | 2010-11-14 23:42:06 +0000 | [diff] [blame] | 108 | |
Strahinja Petrovic | 06cf6a6 | 2018-03-27 11:23:53 +0000 | [diff] [blame] | 109 | if (MO.getTargetFlags() == PPCII::MO_PLT) |
Hal Finkel | 3ee2af7 | 2014-07-18 23:29:49 +0000 | [diff] [blame] | 110 | RefKind = MCSymbolRefExpr::VK_PLT; |
| 111 | |
Strahinja Petrovic | 06cf6a6 | 2018-03-27 11:23:53 +0000 | [diff] [blame] | 112 | const MachineFunction *MF = MO.getParent()->getParent()->getParent(); |
| 113 | const PPCSubtarget *Subtarget = &(MF->getSubtarget<PPCSubtarget>()); |
| 114 | const TargetMachine &TM = Printer.TM; |
Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 115 | const MCExpr *Expr = MCSymbolRefExpr::create(Symbol, RefKind, Ctx); |
Strahinja Petrovic | 06cf6a6 | 2018-03-27 11:23:53 +0000 | [diff] [blame] | 116 | // -msecure-plt option works only in PIC mode. If secure plt mode |
| 117 | // is on add 32768 to symbol. |
| 118 | if (Subtarget->isSecurePlt() && TM.isPositionIndependent() && |
| 119 | MO.getTargetFlags() == PPCII::MO_PLT) |
| 120 | Expr = MCBinaryExpr::createAdd(Expr, |
| 121 | MCConstantExpr::create(32768, Ctx), |
| 122 | Ctx); |
Chris Lattner | df8e17d | 2010-11-14 23:42:06 +0000 | [diff] [blame] | 123 | |
Chris Lattner | 3dc9bb2 | 2010-11-14 21:20:46 +0000 | [diff] [blame] | 124 | if (!MO.isJTI() && MO.getOffset()) |
Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 125 | Expr = MCBinaryExpr::createAdd(Expr, |
| 126 | MCConstantExpr::create(MO.getOffset(), Ctx), |
Chris Lattner | 3dc9bb2 | 2010-11-14 21:20:46 +0000 | [diff] [blame] | 127 | Ctx); |
Chris Lattner | edb9d84 | 2010-11-15 02:46:57 +0000 | [diff] [blame] | 128 | |
Chris Lattner | dd6df84 | 2010-11-15 03:13:19 +0000 | [diff] [blame] | 129 | // Subtract off the PIC base if required. |
| 130 | if (MO.getTargetFlags() & PPCII::MO_PIC_FLAG) { |
Chris Lattner | edb9d84 | 2010-11-15 02:46:57 +0000 | [diff] [blame] | 131 | const MachineFunction *MF = MO.getParent()->getParent()->getParent(); |
Fangrui Song | f78650a | 2018-07-30 19:41:25 +0000 | [diff] [blame] | 132 | |
Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 133 | const MCExpr *PB = MCSymbolRefExpr::create(MF->getPICBaseSymbol(), Ctx); |
| 134 | Expr = MCBinaryExpr::createSub(Expr, PB, Ctx); |
Chris Lattner | edb9d84 | 2010-11-15 02:46:57 +0000 | [diff] [blame] | 135 | } |
Ulrich Weigand | 41789de | 2013-05-23 22:26:41 +0000 | [diff] [blame] | 136 | |
Ulrich Weigand | 96e6578 | 2013-06-20 16:23:52 +0000 | [diff] [blame] | 137 | // Add ha16() / lo16() markers if required. |
| 138 | switch (access) { |
Ulrich Weigand | d51c09f | 2013-06-21 14:42:20 +0000 | [diff] [blame] | 139 | case PPCII::MO_LO: |
Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 140 | Expr = PPCMCExpr::createLo(Expr, isDarwin, Ctx); |
Ulrich Weigand | 96e6578 | 2013-06-20 16:23:52 +0000 | [diff] [blame] | 141 | break; |
Ulrich Weigand | d51c09f | 2013-06-21 14:42:20 +0000 | [diff] [blame] | 142 | case PPCII::MO_HA: |
Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 143 | Expr = PPCMCExpr::createHa(Expr, isDarwin, Ctx); |
Ulrich Weigand | 96e6578 | 2013-06-20 16:23:52 +0000 | [diff] [blame] | 144 | break; |
Ulrich Weigand | 41789de | 2013-05-23 22:26:41 +0000 | [diff] [blame] | 145 | } |
| 146 | |
Jim Grosbach | e9119e4 | 2015-05-13 18:37:00 +0000 | [diff] [blame] | 147 | return MCOperand::createExpr(Expr); |
Chris Lattner | 3dc9bb2 | 2010-11-14 21:20:46 +0000 | [diff] [blame] | 148 | } |
| 149 | |
Chris Lattner | 5c1b0cd | 2010-11-14 21:12:33 +0000 | [diff] [blame] | 150 | void llvm::LowerPPCMachineInstrToMCInst(const MachineInstr *MI, MCInst &OutMI, |
Ulrich Weigand | 266db7f | 2013-07-08 20:20:51 +0000 | [diff] [blame] | 151 | AsmPrinter &AP, bool isDarwin) { |
Chris Lattner | 686a095 | 2010-11-14 19:53:02 +0000 | [diff] [blame] | 152 | OutMI.setOpcode(MI->getOpcode()); |
Fangrui Song | f78650a | 2018-07-30 19:41:25 +0000 | [diff] [blame] | 153 | |
Chris Lattner | 686a095 | 2010-11-14 19:53:02 +0000 | [diff] [blame] | 154 | for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) { |
Chris Lattner | 686a095 | 2010-11-14 19:53:02 +0000 | [diff] [blame] | 155 | MCOperand MCOp; |
Tim Shen | cee7536 | 2017-09-22 18:30:02 +0000 | [diff] [blame] | 156 | if (LowerPPCMachineOperandToMCOperand(MI->getOperand(i), MCOp, AP, |
| 157 | isDarwin)) |
| 158 | OutMI.addOperand(MCOp); |
| 159 | } |
| 160 | } |
| 161 | |
| 162 | bool llvm::LowerPPCMachineOperandToMCOperand(const MachineOperand &MO, |
| 163 | MCOperand &OutMO, AsmPrinter &AP, |
| 164 | bool isDarwin) { |
| 165 | switch (MO.getType()) { |
| 166 | default: |
| 167 | llvm_unreachable("unknown operand type"); |
| 168 | case MachineOperand::MO_Register: |
| 169 | assert(!MO.getSubReg() && "Subregs should be eliminated!"); |
| 170 | assert(MO.getReg() > PPC::NoRegister && |
| 171 | MO.getReg() < PPC::NUM_TARGET_REGS && |
| 172 | "Invalid register for this target!"); |
| 173 | OutMO = MCOperand::createReg(MO.getReg()); |
| 174 | return true; |
| 175 | case MachineOperand::MO_Immediate: |
| 176 | OutMO = MCOperand::createImm(MO.getImm()); |
| 177 | return true; |
| 178 | case MachineOperand::MO_MachineBasicBlock: |
| 179 | OutMO = MCOperand::createExpr( |
| 180 | MCSymbolRefExpr::create(MO.getMBB()->getSymbol(), AP.OutContext)); |
| 181 | return true; |
| 182 | case MachineOperand::MO_GlobalAddress: |
| 183 | case MachineOperand::MO_ExternalSymbol: |
| 184 | OutMO = GetSymbolRef(MO, GetSymbolFromOperand(MO, AP), AP, isDarwin); |
| 185 | return true; |
| 186 | case MachineOperand::MO_JumpTableIndex: |
| 187 | OutMO = GetSymbolRef(MO, AP.GetJTISymbol(MO.getIndex()), AP, isDarwin); |
| 188 | return true; |
| 189 | case MachineOperand::MO_ConstantPoolIndex: |
| 190 | OutMO = GetSymbolRef(MO, AP.GetCPISymbol(MO.getIndex()), AP, isDarwin); |
| 191 | return true; |
| 192 | case MachineOperand::MO_BlockAddress: |
| 193 | OutMO = GetSymbolRef(MO, AP.GetBlockAddressSymbol(MO.getBlockAddress()), AP, |
| 194 | isDarwin); |
| 195 | return true; |
| 196 | case MachineOperand::MO_RegisterMask: |
| 197 | return false; |
Chris Lattner | 686a095 | 2010-11-14 19:53:02 +0000 | [diff] [blame] | 198 | } |
| 199 | } |