| Jia Liu | b22310f | 2012-02-18 12:03:15 +0000 | [diff] [blame] | 1 | //===-- PPCAsmPrinter.cpp - Print machine instrs to PowerPC assembly ------===// | 
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 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 | 
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 6 | // | 
| Misha Brukman | e05203f | 2004-06-21 16:55:25 +0000 | [diff] [blame] | 7 | //===----------------------------------------------------------------------===// | 
|  | 8 | // | 
| Misha Brukman | b604b4d | 2004-07-08 17:58:04 +0000 | [diff] [blame] | 9 | // This file contains a printer that converts from our internal representation | 
|  | 10 | // of machine-dependent LLVM code to PowerPC assembly language. This printer is | 
| Chris Lattner | 07fad1c | 2004-07-28 20:18:53 +0000 | [diff] [blame] | 11 | // the output mechanism used by `llc'. | 
| Misha Brukman | e05203f | 2004-06-21 16:55:25 +0000 | [diff] [blame] | 12 | // | 
| Misha Brukman | b604b4d | 2004-07-08 17:58:04 +0000 | [diff] [blame] | 13 | // Documentation at http://developer.apple.com/documentation/DeveloperTools/ | 
|  | 14 | // Reference/Assembler/ASMIntroduction/chapter_1_section_1.html | 
| Misha Brukman | 811f5c2 | 2004-06-29 17:13:26 +0000 | [diff] [blame] | 15 | // | 
| Misha Brukman | e05203f | 2004-06-21 16:55:25 +0000 | [diff] [blame] | 16 | //===----------------------------------------------------------------------===// | 
|  | 17 |  | 
| Richard Trieu | 4bdb136 | 2019-05-11 02:33:18 +0000 | [diff] [blame] | 18 | #include "MCTargetDesc/PPCInstPrinter.h" | 
| Ulrich Weigand | 41789de | 2013-05-23 22:26:41 +0000 | [diff] [blame] | 19 | #include "MCTargetDesc/PPCMCExpr.h" | 
| Eugene Zelenko | 6a9226d | 2016-12-12 22:23:53 +0000 | [diff] [blame] | 20 | #include "MCTargetDesc/PPCMCTargetDesc.h" | 
| Tim Shen | cee7536 | 2017-09-22 18:30:02 +0000 | [diff] [blame] | 21 | #include "MCTargetDesc/PPCPredicates.h" | 
| Chandler Carruth | 6bda14b | 2017-06-06 11:49:48 +0000 | [diff] [blame] | 22 | #include "PPC.h" | 
|  | 23 | #include "PPCInstrInfo.h" | 
| Chandler Carruth | d990388 | 2015-01-14 11:23:27 +0000 | [diff] [blame] | 24 | #include "PPCMachineFunctionInfo.h" | 
| Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 25 | #include "PPCSubtarget.h" | 
|  | 26 | #include "PPCTargetMachine.h" | 
| Rafael Espindola | a17151a | 2013-10-08 13:08:17 +0000 | [diff] [blame] | 27 | #include "PPCTargetStreamer.h" | 
| Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 28 | #include "llvm/ADT/MapVector.h" | 
| Eugene Zelenko | 6a9226d | 2016-12-12 22:23:53 +0000 | [diff] [blame] | 29 | #include "llvm/ADT/StringRef.h" | 
|  | 30 | #include "llvm/ADT/Triple.h" | 
|  | 31 | #include "llvm/ADT/Twine.h" | 
| Zachary Turner | 264b5d9 | 2017-06-07 03:48:56 +0000 | [diff] [blame] | 32 | #include "llvm/BinaryFormat/ELF.h" | 
|  | 33 | #include "llvm/BinaryFormat/MachO.h" | 
| Chris Lattner | 0ced905 | 2004-08-16 23:25:21 +0000 | [diff] [blame] | 34 | #include "llvm/CodeGen/AsmPrinter.h" | 
| Eugene Zelenko | 6a9226d | 2016-12-12 22:23:53 +0000 | [diff] [blame] | 35 | #include "llvm/CodeGen/MachineBasicBlock.h" | 
|  | 36 | #include "llvm/CodeGen/MachineFunction.h" | 
| Misha Brukman | e05203f | 2004-06-21 16:55:25 +0000 | [diff] [blame] | 37 | #include "llvm/CodeGen/MachineInstr.h" | 
| Chris Lattner | 1ff4794 | 2010-01-20 21:16:14 +0000 | [diff] [blame] | 38 | #include "llvm/CodeGen/MachineModuleInfoImpls.h" | 
| Eugene Zelenko | 6a9226d | 2016-12-12 22:23:53 +0000 | [diff] [blame] | 39 | #include "llvm/CodeGen/MachineOperand.h" | 
| Ulrich Weigand | aa0ac4f | 2014-07-20 23:31:44 +0000 | [diff] [blame] | 40 | #include "llvm/CodeGen/MachineRegisterInfo.h" | 
| Hal Finkel | 934361a | 2015-01-14 01:07:51 +0000 | [diff] [blame] | 41 | #include "llvm/CodeGen/StackMaps.h" | 
| Anton Korobeynikov | ab663a0 | 2010-02-15 22:37:53 +0000 | [diff] [blame] | 42 | #include "llvm/CodeGen/TargetLoweringObjectFileImpl.h" | 
| Eugene Zelenko | 6a9226d | 2016-12-12 22:23:53 +0000 | [diff] [blame] | 43 | #include "llvm/IR/DataLayout.h" | 
|  | 44 | #include "llvm/IR/GlobalValue.h" | 
| Chandler Carruth | 9fb823b | 2013-01-02 11:36:10 +0000 | [diff] [blame] | 45 | #include "llvm/IR/Module.h" | 
| Chris Lattner | 4cd4498 | 2009-09-13 17:14:04 +0000 | [diff] [blame] | 46 | #include "llvm/MC/MCAsmInfo.h" | 
| Chris Lattner | 9148f36 | 2010-01-13 19:00:57 +0000 | [diff] [blame] | 47 | #include "llvm/MC/MCContext.h" | 
| Bill Wendling | faec081 | 2010-03-11 23:39:44 +0000 | [diff] [blame] | 48 | #include "llvm/MC/MCExpr.h" | 
| Chris Lattner | 686a095 | 2010-11-14 19:53:02 +0000 | [diff] [blame] | 49 | #include "llvm/MC/MCInst.h" | 
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 50 | #include "llvm/MC/MCInstBuilder.h" | 
| Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 51 | #include "llvm/MC/MCSectionELF.h" | 
| Chris Lattner | 6c20391 | 2009-08-10 18:15:01 +0000 | [diff] [blame] | 52 | #include "llvm/MC/MCSectionMachO.h" | 
| Chris Lattner | 4b7dadb | 2009-08-19 05:49:37 +0000 | [diff] [blame] | 53 | #include "llvm/MC/MCStreamer.h" | 
| Eugene Zelenko | 6a9226d | 2016-12-12 22:23:53 +0000 | [diff] [blame] | 54 | #include "llvm/MC/MCSymbol.h" | 
| Rafael Espindola | 95fb9b9 | 2015-06-02 20:38:46 +0000 | [diff] [blame] | 55 | #include "llvm/MC/MCSymbolELF.h" | 
| Eugene Zelenko | 6a9226d | 2016-12-12 22:23:53 +0000 | [diff] [blame] | 56 | #include "llvm/MC/SectionKind.h" | 
|  | 57 | #include "llvm/Support/Casting.h" | 
|  | 58 | #include "llvm/Support/CodeGen.h" | 
| Devang Patel | 6e9a979 | 2010-08-04 22:07:50 +0000 | [diff] [blame] | 59 | #include "llvm/Support/Debug.h" | 
| Torok Edwin | fb8d6d5 | 2009-07-08 20:53:28 +0000 | [diff] [blame] | 60 | #include "llvm/Support/ErrorHandling.h" | 
| Eugene Zelenko | 6a9226d | 2016-12-12 22:23:53 +0000 | [diff] [blame] | 61 | #include "llvm/Support/TargetRegistry.h" | 
| Chandler Carruth | 6bda14b | 2017-06-06 11:49:48 +0000 | [diff] [blame] | 62 | #include "llvm/Support/raw_ostream.h" | 
| Eugene Zelenko | 6a9226d | 2016-12-12 22:23:53 +0000 | [diff] [blame] | 63 | #include "llvm/Target/TargetMachine.h" | 
|  | 64 | #include <algorithm> | 
|  | 65 | #include <cassert> | 
|  | 66 | #include <cstdint> | 
|  | 67 | #include <memory> | 
|  | 68 | #include <new> | 
|  | 69 |  | 
| Chris Lattner | 0ced905 | 2004-08-16 23:25:21 +0000 | [diff] [blame] | 70 | using namespace llvm; | 
| Misha Brukman | e05203f | 2004-06-21 16:55:25 +0000 | [diff] [blame] | 71 |  | 
| Chandler Carruth | 84e68b2 | 2014-04-22 02:41:26 +0000 | [diff] [blame] | 72 | #define DEBUG_TYPE "asmprinter" | 
|  | 73 |  | 
| Chris Lattner | 1ef9cd4 | 2006-12-19 22:59:26 +0000 | [diff] [blame] | 74 | namespace { | 
| Eugene Zelenko | 6a9226d | 2016-12-12 22:23:53 +0000 | [diff] [blame] | 75 |  | 
| NAKAMURA Takumi | 70ad98a | 2015-09-22 11:13:55 +0000 | [diff] [blame] | 76 | class PPCAsmPrinter : public AsmPrinter { | 
|  | 77 | protected: | 
|  | 78 | MapVector<MCSymbol *, MCSymbol *> TOC; | 
|  | 79 | const PPCSubtarget *Subtarget; | 
|  | 80 | StackMaps SM; | 
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 81 |  | 
| NAKAMURA Takumi | 70ad98a | 2015-09-22 11:13:55 +0000 | [diff] [blame] | 82 | public: | 
|  | 83 | explicit PPCAsmPrinter(TargetMachine &TM, | 
|  | 84 | std::unique_ptr<MCStreamer> Streamer) | 
|  | 85 | : AsmPrinter(TM, std::move(Streamer)), SM(*this) {} | 
|  | 86 |  | 
| Mehdi Amini | 117296c | 2016-10-01 02:56:57 +0000 | [diff] [blame] | 87 | StringRef getPassName() const override { return "PowerPC Assembly Printer"; } | 
| Misha Brukman | e05203f | 2004-06-21 16:55:25 +0000 | [diff] [blame] | 88 |  | 
| Mehdi Amini | 117296c | 2016-10-01 02:56:57 +0000 | [diff] [blame] | 89 | MCSymbol *lookUpOrCreateTOCEntry(MCSymbol *Sym); | 
| Nate Begeman | 0ad7f81 | 2004-08-14 22:09:10 +0000 | [diff] [blame] | 90 |  | 
| Eugene Zelenko | 6a9226d | 2016-12-12 22:23:53 +0000 | [diff] [blame] | 91 | bool doInitialization(Module &M) override { | 
| Mehdi Amini | 117296c | 2016-10-01 02:56:57 +0000 | [diff] [blame] | 92 | if (!TOC.empty()) | 
|  | 93 | TOC.clear(); | 
|  | 94 | return AsmPrinter::doInitialization(M); | 
| Eugene Zelenko | 6a9226d | 2016-12-12 22:23:53 +0000 | [diff] [blame] | 95 | } | 
| Nemanja Ivanovic | bd56e4e | 2016-03-12 10:23:07 +0000 | [diff] [blame] | 96 |  | 
| Craig Topper | 0d3fa92 | 2014-04-29 07:57:37 +0000 | [diff] [blame] | 97 | void EmitInstruction(const MachineInstr *MI) override; | 
| Anton Korobeynikov | 7c20ede | 2008-08-08 18:22:59 +0000 | [diff] [blame] | 98 |  | 
| Jinsong Ji | c6063e8 | 2019-03-11 17:57:49 +0000 | [diff] [blame] | 99 | /// This function is for PrintAsmOperand and PrintAsmMemoryOperand, | 
|  | 100 | /// invoked by EmitMSInlineAsmStr and EmitGCCInlineAsmStr only. | 
|  | 101 | /// The \p MI would be INLINEASM ONLY. | 
| Chris Lattner | 510c66f | 2010-11-15 03:39:06 +0000 | [diff] [blame] | 102 | void printOperand(const MachineInstr *MI, unsigned OpNo, raw_ostream &O); | 
| Anton Korobeynikov | 7c20ede | 2008-08-08 18:22:59 +0000 | [diff] [blame] | 103 |  | 
| Nick Desaulniers | 7ab164c | 2019-04-26 18:45:04 +0000 | [diff] [blame] | 104 | void PrintSymbolOperand(const MachineOperand &MO, raw_ostream &O) override; | 
| Chris Lattner | f7f0567 | 2006-02-01 22:38:46 +0000 | [diff] [blame] | 105 | bool PrintAsmOperand(const MachineInstr *MI, unsigned OpNo, | 
| Nick Desaulniers | 5277b3f | 2019-04-10 16:38:43 +0000 | [diff] [blame] | 106 | const char *ExtraCode, raw_ostream &O) override; | 
| Chris Lattner | 7674d90 | 2006-02-24 20:27:40 +0000 | [diff] [blame] | 107 | bool PrintAsmMemoryOperand(const MachineInstr *MI, unsigned OpNo, | 
| Nick Desaulniers | 5277b3f | 2019-04-10 16:38:43 +0000 | [diff] [blame] | 108 | const char *ExtraCode, raw_ostream &O) override; | 
| Hal Finkel | 934361a | 2015-01-14 01:07:51 +0000 | [diff] [blame] | 109 |  | 
|  | 110 | void EmitEndOfAsmFile(Module &M) override; | 
|  | 111 |  | 
| Hal Finkel | 98347d3 | 2015-12-12 01:47:08 +0000 | [diff] [blame] | 112 | void LowerSTACKMAP(StackMaps &SM, const MachineInstr &MI); | 
|  | 113 | void LowerPATCHPOINT(StackMaps &SM, const MachineInstr &MI); | 
| Bill Schmidt | 82f1c77 | 2015-02-10 19:09:05 +0000 | [diff] [blame] | 114 | void EmitTlsCall(const MachineInstr *MI, MCSymbolRefExpr::VariantKind VK); | 
| Eric Christopher | 5c0e009 | 2015-02-17 07:21:21 +0000 | [diff] [blame] | 115 | bool runOnMachineFunction(MachineFunction &MF) override { | 
|  | 116 | Subtarget = &MF.getSubtarget<PPCSubtarget>(); | 
| Tim Shen | 918ed87 | 2017-02-10 21:03:24 +0000 | [diff] [blame] | 117 | bool Changed = AsmPrinter::runOnMachineFunction(MF); | 
|  | 118 | emitXRayTable(); | 
|  | 119 | return Changed; | 
| Eric Christopher | 5c0e009 | 2015-02-17 07:21:21 +0000 | [diff] [blame] | 120 | } | 
| Nate Begeman | 4bfceb1 | 2004-09-04 05:00:00 +0000 | [diff] [blame] | 121 | }; | 
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 122 |  | 
| Anton Korobeynikov | 7c20ede | 2008-08-08 18:22:59 +0000 | [diff] [blame] | 123 | /// PPCLinuxAsmPrinter - PowerPC assembly printer, customized for Linux | 
| Nick Lewycky | 02d5f77 | 2009-10-25 06:33:48 +0000 | [diff] [blame] | 124 | class PPCLinuxAsmPrinter : public PPCAsmPrinter { | 
| Bill Wendling | c5437ea | 2009-02-24 08:30:20 +0000 | [diff] [blame] | 125 | public: | 
| David Blaikie | 9459832 | 2015-01-18 20:29:04 +0000 | [diff] [blame] | 126 | explicit PPCLinuxAsmPrinter(TargetMachine &TM, | 
|  | 127 | std::unique_ptr<MCStreamer> Streamer) | 
|  | 128 | : PPCAsmPrinter(TM, std::move(Streamer)) {} | 
| Jim Laskey | 28663c7 | 2006-12-21 20:26:09 +0000 | [diff] [blame] | 129 |  | 
| Mehdi Amini | 117296c | 2016-10-01 02:56:57 +0000 | [diff] [blame] | 130 | StringRef getPassName() const override { | 
| Jim Laskey | 28663c7 | 2006-12-21 20:26:09 +0000 | [diff] [blame] | 131 | return "Linux PPC Assembly Printer"; | 
|  | 132 | } | 
|  | 133 |  | 
| Craig Topper | 0d3fa92 | 2014-04-29 07:57:37 +0000 | [diff] [blame] | 134 | bool doFinalization(Module &M) override; | 
| Hal Finkel | 3ee2af7 | 2014-07-18 23:29:49 +0000 | [diff] [blame] | 135 | void EmitStartOfAsmFile(Module &M) override; | 
| Anton Korobeynikov | 7c20ede | 2008-08-08 18:22:59 +0000 | [diff] [blame] | 136 |  | 
| Craig Topper | 0d3fa92 | 2014-04-29 07:57:37 +0000 | [diff] [blame] | 137 | void EmitFunctionEntryLabel() override; | 
| Roman Divacky | 8c4b6a3 | 2012-08-28 19:06:55 +0000 | [diff] [blame] | 138 |  | 
| Ulrich Weigand | aa0ac4f | 2014-07-20 23:31:44 +0000 | [diff] [blame] | 139 | void EmitFunctionBodyStart() override; | 
| Craig Topper | 0d3fa92 | 2014-04-29 07:57:37 +0000 | [diff] [blame] | 140 | void EmitFunctionBodyEnd() override; | 
| Tim Shen | 918ed87 | 2017-02-10 21:03:24 +0000 | [diff] [blame] | 141 | void EmitInstruction(const MachineInstr *MI) override; | 
| Jim Laskey | 28663c7 | 2006-12-21 20:26:09 +0000 | [diff] [blame] | 142 | }; | 
|  | 143 |  | 
| Anton Korobeynikov | 7c20ede | 2008-08-08 18:22:59 +0000 | [diff] [blame] | 144 | /// PPCDarwinAsmPrinter - PowerPC assembly printer, customized for Darwin/Mac | 
|  | 145 | /// OS X | 
| Nick Lewycky | 02d5f77 | 2009-10-25 06:33:48 +0000 | [diff] [blame] | 146 | class PPCDarwinAsmPrinter : public PPCAsmPrinter { | 
| Bill Wendling | c5437ea | 2009-02-24 08:30:20 +0000 | [diff] [blame] | 147 | public: | 
| David Blaikie | 9459832 | 2015-01-18 20:29:04 +0000 | [diff] [blame] | 148 | explicit PPCDarwinAsmPrinter(TargetMachine &TM, | 
|  | 149 | std::unique_ptr<MCStreamer> Streamer) | 
|  | 150 | : PPCAsmPrinter(TM, std::move(Streamer)) {} | 
| Nate Begeman | 4bfceb1 | 2004-09-04 05:00:00 +0000 | [diff] [blame] | 151 |  | 
| Mehdi Amini | 117296c | 2016-10-01 02:56:57 +0000 | [diff] [blame] | 152 | StringRef getPassName() const override { | 
| Nate Begeman | 4bfceb1 | 2004-09-04 05:00:00 +0000 | [diff] [blame] | 153 | return "Darwin PPC Assembly Printer"; | 
|  | 154 | } | 
| Anton Korobeynikov | 7c20ede | 2008-08-08 18:22:59 +0000 | [diff] [blame] | 155 |  | 
| Craig Topper | 0d3fa92 | 2014-04-29 07:57:37 +0000 | [diff] [blame] | 156 | bool doFinalization(Module &M) override; | 
|  | 157 | void EmitStartOfAsmFile(Module &M) override; | 
| Misha Brukman | e05203f | 2004-06-21 16:55:25 +0000 | [diff] [blame] | 158 | }; | 
| Eugene Zelenko | 6a9226d | 2016-12-12 22:23:53 +0000 | [diff] [blame] | 159 |  | 
|  | 160 | } // end anonymous namespace | 
| Misha Brukman | e05203f | 2004-06-21 16:55:25 +0000 | [diff] [blame] | 161 |  | 
| Nick Desaulniers | 7ab164c | 2019-04-26 18:45:04 +0000 | [diff] [blame] | 162 | void PPCAsmPrinter::PrintSymbolOperand(const MachineOperand &MO, | 
|  | 163 | raw_ostream &O) { | 
|  | 164 | // Computing the address of a global symbol, not calling it. | 
|  | 165 | const GlobalValue *GV = MO.getGlobal(); | 
|  | 166 | MCSymbol *SymToPrint; | 
|  | 167 |  | 
|  | 168 | // External or weakly linked global variables need non-lazily-resolved stubs | 
|  | 169 | if (Subtarget->hasLazyResolverStub(GV)) { | 
|  | 170 | SymToPrint = getSymbolWithGlobalValueBase(GV, "$non_lazy_ptr"); | 
|  | 171 | MachineModuleInfoImpl::StubValueTy &StubSym = | 
|  | 172 | MMI->getObjFileInfo<MachineModuleInfoMachO>().getGVStubEntry( | 
|  | 173 | SymToPrint); | 
|  | 174 | if (!StubSym.getPointer()) | 
|  | 175 | StubSym = MachineModuleInfoImpl::StubValueTy(getSymbol(GV), | 
|  | 176 | !GV->hasInternalLinkage()); | 
|  | 177 | } else { | 
|  | 178 | SymToPrint = getSymbol(GV); | 
|  | 179 | } | 
|  | 180 |  | 
|  | 181 | SymToPrint->print(O, MAI); | 
|  | 182 |  | 
|  | 183 | printOffset(MO.getOffset(), O); | 
|  | 184 | } | 
|  | 185 |  | 
| Chris Lattner | 510c66f | 2010-11-15 03:39:06 +0000 | [diff] [blame] | 186 | void PPCAsmPrinter::printOperand(const MachineInstr *MI, unsigned OpNo, | 
|  | 187 | raw_ostream &O) { | 
| Mehdi Amini | bd7287e | 2015-07-16 06:11:10 +0000 | [diff] [blame] | 188 | const DataLayout &DL = getDataLayout(); | 
| Chris Lattner | 510c66f | 2010-11-15 03:39:06 +0000 | [diff] [blame] | 189 | const MachineOperand &MO = MI->getOperand(OpNo); | 
| NAKAMURA Takumi | a9cb538 | 2015-09-22 11:14:39 +0000 | [diff] [blame] | 190 |  | 
| Misha Brukman | e05203f | 2004-06-21 16:55:25 +0000 | [diff] [blame] | 191 | switch (MO.getType()) { | 
| Chris Lattner | 510c66f | 2010-11-15 03:39:06 +0000 | [diff] [blame] | 192 | case MachineOperand::MO_Register: { | 
| Jinsong Ji | c6063e8 | 2019-03-11 17:57:49 +0000 | [diff] [blame] | 193 | // The MI is INLINEASM ONLY and UseVSXReg is always false. | 
| Stefan Pintilie | e1d79a8 | 2019-03-26 20:28:21 +0000 | [diff] [blame] | 194 | const char *RegName = PPCInstPrinter::getRegisterName(MO.getReg()); | 
| Nemanja Ivanovic | 11049f8 | 2016-10-04 06:59:23 +0000 | [diff] [blame] | 195 |  | 
| Chris Lattner | 510c66f | 2010-11-15 03:39:06 +0000 | [diff] [blame] | 196 | // Linux assembler (Others?) does not take register mnemonics. | 
|  | 197 | // FIXME - What about special registers used in mfspr/mtspr? | 
| Eric Christopher | d498680 | 2015-02-10 00:44:17 +0000 | [diff] [blame] | 198 | if (!Subtarget->isDarwin()) | 
| Nemanja Ivanovic | a590967 | 2018-09-27 11:49:47 +0000 | [diff] [blame] | 199 | RegName = PPCRegisterInfo::stripRegisterPrefix(RegName); | 
| Chris Lattner | 510c66f | 2010-11-15 03:39:06 +0000 | [diff] [blame] | 200 | O << RegName; | 
|  | 201 | return; | 
|  | 202 | } | 
| Chris Lattner | fef7a2d | 2006-05-04 17:21:20 +0000 | [diff] [blame] | 203 | case MachineOperand::MO_Immediate: | 
| Chris Lattner | 510c66f | 2010-11-15 03:39:06 +0000 | [diff] [blame] | 204 | O << MO.getImm(); | 
|  | 205 | return; | 
| Misha Brukman | 8d75aa4 | 2004-07-21 20:11:11 +0000 | [diff] [blame] | 206 |  | 
| Nate Begeman | 4ca2ea5 | 2006-04-22 18:53:45 +0000 | [diff] [blame] | 207 | case MachineOperand::MO_MachineBasicBlock: | 
| Matt Arsenault | 8b64355 | 2015-06-09 00:31:39 +0000 | [diff] [blame] | 208 | MO.getMBB()->getSymbol()->print(O, MAI); | 
| Misha Brukman | e05203f | 2004-06-21 16:55:25 +0000 | [diff] [blame] | 209 | return; | 
| Misha Brukman | b604b4d | 2004-07-08 17:58:04 +0000 | [diff] [blame] | 210 | case MachineOperand::MO_ConstantPoolIndex: | 
| Mehdi Amini | bd7287e | 2015-07-16 06:11:10 +0000 | [diff] [blame] | 211 | O << DL.getPrivateGlobalPrefix() << "CPI" << getFunctionNumber() << '_' | 
|  | 212 | << MO.getIndex(); | 
| Misha Brukman | e05203f | 2004-06-21 16:55:25 +0000 | [diff] [blame] | 213 | return; | 
| Bob Wilson | f84f710 | 2009-11-04 21:31:18 +0000 | [diff] [blame] | 214 | case MachineOperand::MO_BlockAddress: | 
| Matt Arsenault | 8b64355 | 2015-06-09 00:31:39 +0000 | [diff] [blame] | 215 | GetBlockAddressSymbol(MO.getBlockAddress())->print(O, MAI); | 
| Bob Wilson | f84f710 | 2009-11-04 21:31:18 +0000 | [diff] [blame] | 216 | return; | 
| Nate Begeman | 5bf9bfe | 2004-08-13 09:32:01 +0000 | [diff] [blame] | 217 | case MachineOperand::MO_GlobalAddress: { | 
| Nick Desaulniers | 7ab164c | 2019-04-26 18:45:04 +0000 | [diff] [blame] | 218 | PrintSymbolOperand(MO, O); | 
| Misha Brukman | e05203f | 2004-06-21 16:55:25 +0000 | [diff] [blame] | 219 | return; | 
| Nate Begeman | 5bf9bfe | 2004-08-13 09:32:01 +0000 | [diff] [blame] | 220 | } | 
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 221 |  | 
| Misha Brukman | e05203f | 2004-06-21 16:55:25 +0000 | [diff] [blame] | 222 | default: | 
| Pete Cooper | 0d4ea97 | 2014-05-16 23:28:17 +0000 | [diff] [blame] | 223 | O << "<unknown operand type: " << (unsigned)MO.getType() << ">"; | 
| Misha Brukman | a273758 | 2004-06-25 15:11:34 +0000 | [diff] [blame] | 224 | return; | 
| Misha Brukman | e05203f | 2004-06-21 16:55:25 +0000 | [diff] [blame] | 225 | } | 
|  | 226 | } | 
|  | 227 |  | 
| Chris Lattner | 1bad254 | 2006-02-23 19:31:10 +0000 | [diff] [blame] | 228 | /// PrintAsmOperand - Print out an operand for an inline asm expression. | 
|  | 229 | /// | 
|  | 230 | bool PPCAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNo, | 
| Chris Lattner | 3bb0976 | 2010-04-04 05:29:35 +0000 | [diff] [blame] | 231 | const char *ExtraCode, raw_ostream &O) { | 
| Chris Lattner | 1bad254 | 2006-02-23 19:31:10 +0000 | [diff] [blame] | 232 | // Does this asm operand have a single letter operand modifier? | 
|  | 233 | if (ExtraCode && ExtraCode[0]) { | 
|  | 234 | if (ExtraCode[1] != 0) return true; // Unknown modifier. | 
| Anton Korobeynikov | 7c20ede | 2008-08-08 18:22:59 +0000 | [diff] [blame] | 235 |  | 
| Chris Lattner | 1bad254 | 2006-02-23 19:31:10 +0000 | [diff] [blame] | 236 | switch (ExtraCode[0]) { | 
| Jack Carter | 5e69cff | 2012-06-26 13:49:27 +0000 | [diff] [blame] | 237 | default: | 
|  | 238 | // See if this is a generic print operand | 
| Nick Desaulniers | 5277b3f | 2019-04-10 16:38:43 +0000 | [diff] [blame] | 239 | return AsmPrinter::PrintAsmOperand(MI, OpNo, ExtraCode, O); | 
| Anton Korobeynikov | 7c20ede | 2008-08-08 18:22:59 +0000 | [diff] [blame] | 240 | case 'L': // Write second word of DImode reference. | 
| Chris Lattner | 1bad254 | 2006-02-23 19:31:10 +0000 | [diff] [blame] | 241 | // Verify that this operand has two consecutive registers. | 
| Dan Gohman | 0d1e9a8 | 2008-10-03 15:45:36 +0000 | [diff] [blame] | 242 | if (!MI->getOperand(OpNo).isReg() || | 
| Chris Lattner | 1bad254 | 2006-02-23 19:31:10 +0000 | [diff] [blame] | 243 | OpNo+1 == MI->getNumOperands() || | 
| Dan Gohman | 0d1e9a8 | 2008-10-03 15:45:36 +0000 | [diff] [blame] | 244 | !MI->getOperand(OpNo+1).isReg()) | 
| Chris Lattner | 1bad254 | 2006-02-23 19:31:10 +0000 | [diff] [blame] | 245 | return true; | 
|  | 246 | ++OpNo;   // Return the high-part. | 
|  | 247 | break; | 
| Chris Lattner | cb35c61 | 2007-04-24 22:51:03 +0000 | [diff] [blame] | 248 | case 'I': | 
|  | 249 | // Write 'i' if an integer constant, otherwise nothing.  Used to print | 
|  | 250 | // addi vs add, etc. | 
| Dan Gohman | 0d1e9a8 | 2008-10-03 15:45:36 +0000 | [diff] [blame] | 251 | if (MI->getOperand(OpNo).isImm()) | 
| Chris Lattner | cb35c61 | 2007-04-24 22:51:03 +0000 | [diff] [blame] | 252 | O << "i"; | 
|  | 253 | return false; | 
| Zaara Syeda | edefda4 | 2018-09-24 14:01:16 +0000 | [diff] [blame] | 254 | case 'x': | 
|  | 255 | if(!MI->getOperand(OpNo).isReg()) | 
|  | 256 | return true; | 
|  | 257 | // This operand uses VSX numbering. | 
|  | 258 | // If the operand is a VMX register, convert it to a VSX register. | 
|  | 259 | unsigned Reg = MI->getOperand(OpNo).getReg(); | 
|  | 260 | if (PPCInstrInfo::isVRRegister(Reg)) | 
|  | 261 | Reg = PPC::VSX32 + (Reg - PPC::V0); | 
|  | 262 | else if (PPCInstrInfo::isVFRegister(Reg)) | 
|  | 263 | Reg = PPC::VSX32 + (Reg - PPC::VF0); | 
|  | 264 | const char *RegName; | 
|  | 265 | RegName = PPCInstPrinter::getRegisterName(Reg); | 
| Nemanja Ivanovic | a590967 | 2018-09-27 11:49:47 +0000 | [diff] [blame] | 266 | RegName = PPCRegisterInfo::stripRegisterPrefix(RegName); | 
| Zaara Syeda | edefda4 | 2018-09-24 14:01:16 +0000 | [diff] [blame] | 267 | O << RegName; | 
|  | 268 | return false; | 
| Chris Lattner | 1bad254 | 2006-02-23 19:31:10 +0000 | [diff] [blame] | 269 | } | 
|  | 270 | } | 
| Anton Korobeynikov | 7c20ede | 2008-08-08 18:22:59 +0000 | [diff] [blame] | 271 |  | 
| Chris Lattner | 76c564b | 2010-04-04 04:47:45 +0000 | [diff] [blame] | 272 | printOperand(MI, OpNo, O); | 
| Chris Lattner | 1bad254 | 2006-02-23 19:31:10 +0000 | [diff] [blame] | 273 | return false; | 
|  | 274 | } | 
|  | 275 |  | 
| Dale Johannesen | 4a50e68 | 2009-08-18 00:18:39 +0000 | [diff] [blame] | 276 | // At the moment, all inline asm memory operands are a single register. | 
|  | 277 | // In any case, the output of this routine should always be just one | 
|  | 278 | // assembler operand. | 
|  | 279 |  | 
| Chris Lattner | 7674d90 | 2006-02-24 20:27:40 +0000 | [diff] [blame] | 280 | bool PPCAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI, unsigned OpNo, | 
| Chris Lattner | 3bb0976 | 2010-04-04 05:29:35 +0000 | [diff] [blame] | 281 | const char *ExtraCode, | 
|  | 282 | raw_ostream &O) { | 
| Hal Finkel | 4f24c62 | 2012-11-05 18:18:42 +0000 | [diff] [blame] | 283 | if (ExtraCode && ExtraCode[0]) { | 
|  | 284 | if (ExtraCode[1] != 0) return true; // Unknown modifier. | 
|  | 285 |  | 
|  | 286 | switch (ExtraCode[0]) { | 
|  | 287 | default: return true;  // Unknown modifier. | 
|  | 288 | case 'y': // A memory reference for an X-form instruction | 
|  | 289 | { | 
|  | 290 | const char *RegName = "r0"; | 
| Eric Christopher | d498680 | 2015-02-10 00:44:17 +0000 | [diff] [blame] | 291 | if (!Subtarget->isDarwin()) | 
| Nemanja Ivanovic | a590967 | 2018-09-27 11:49:47 +0000 | [diff] [blame] | 292 | RegName = PPCRegisterInfo::stripRegisterPrefix(RegName); | 
| Hal Finkel | 4f24c62 | 2012-11-05 18:18:42 +0000 | [diff] [blame] | 293 | O << RegName << ", "; | 
|  | 294 | printOperand(MI, OpNo, O); | 
|  | 295 | return false; | 
|  | 296 | } | 
| Bill Schmidt | be95fd5 | 2014-09-11 20:10:03 +0000 | [diff] [blame] | 297 | case 'U': // Print 'u' for update form. | 
|  | 298 | case 'X': // Print 'x' for indexed form. | 
| NAKAMURA Takumi | 0a7d0ad | 2015-09-22 11:15:07 +0000 | [diff] [blame] | 299 | { | 
|  | 300 | // FIXME: Currently for PowerPC memory operands are always loaded | 
|  | 301 | // into a register, so we never get an update or indexed form. | 
|  | 302 | // This is bad even for offset forms, since even if we know we | 
|  | 303 | // have a value in -16(r1), we will generate a load into r<n> | 
|  | 304 | // and then load from 0(r<n>).  Until that issue is fixed, | 
|  | 305 | // tolerate 'U' and 'X' but don't output anything. | 
|  | 306 | assert(MI->getOperand(OpNo).isReg()); | 
|  | 307 | return false; | 
|  | 308 | } | 
| Hal Finkel | 4f24c62 | 2012-11-05 18:18:42 +0000 | [diff] [blame] | 309 | } | 
|  | 310 | } | 
|  | 311 |  | 
| Chris Lattner | 510c66f | 2010-11-15 03:39:06 +0000 | [diff] [blame] | 312 | assert(MI->getOperand(OpNo).isReg()); | 
| Dale Johannesen | f582ac7 | 2009-08-26 18:10:32 +0000 | [diff] [blame] | 313 | O << "0("; | 
| Chris Lattner | 76c564b | 2010-04-04 04:47:45 +0000 | [diff] [blame] | 314 | printOperand(MI, OpNo, O); | 
| Dale Johannesen | f582ac7 | 2009-08-26 18:10:32 +0000 | [diff] [blame] | 315 | O << ")"; | 
| Chris Lattner | 7674d90 | 2006-02-24 20:27:40 +0000 | [diff] [blame] | 316 | return false; | 
|  | 317 | } | 
| Chris Lattner | 1bad254 | 2006-02-23 19:31:10 +0000 | [diff] [blame] | 318 |  | 
| Bill Schmidt | 34627e3 | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 319 | /// lookUpOrCreateTOCEntry -- Given a symbol, look up whether a TOC entry | 
|  | 320 | /// exists for it.  If not, create one.  Then return a symbol that references | 
|  | 321 | /// the TOC entry. | 
|  | 322 | MCSymbol *PPCAsmPrinter::lookUpOrCreateTOCEntry(MCSymbol *Sym) { | 
| Bill Schmidt | 34627e3 | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 323 | MCSymbol *&TOCEntry = TOC[Sym]; | 
| Rafael Espindola | ccfbbd5 | 2015-03-17 14:50:32 +0000 | [diff] [blame] | 324 | if (!TOCEntry) | 
| Rafael Espindola | 9ab0923 | 2015-03-17 20:07:06 +0000 | [diff] [blame] | 325 | TOCEntry = createTempSymbol("C"); | 
| Bill Schmidt | 34627e3 | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 326 | return TOCEntry; | 
|  | 327 | } | 
|  | 328 |  | 
| Hal Finkel | 934361a | 2015-01-14 01:07:51 +0000 | [diff] [blame] | 329 | void PPCAsmPrinter::EmitEndOfAsmFile(Module &M) { | 
| Than McIntosh | 30c804b | 2018-11-26 18:43:48 +0000 | [diff] [blame] | 330 | emitStackMaps(SM); | 
| Hal Finkel | 934361a | 2015-01-14 01:07:51 +0000 | [diff] [blame] | 331 | } | 
|  | 332 |  | 
| Hal Finkel | 98347d3 | 2015-12-12 01:47:08 +0000 | [diff] [blame] | 333 | void PPCAsmPrinter::LowerSTACKMAP(StackMaps &SM, const MachineInstr &MI) { | 
| Hal Finkel | 934361a | 2015-01-14 01:07:51 +0000 | [diff] [blame] | 334 | unsigned NumNOPBytes = MI.getOperand(1).getImm(); | 
|  | 335 |  | 
|  | 336 | SM.recordStackMap(MI); | 
|  | 337 | assert(NumNOPBytes % 4 == 0 && "Invalid number of NOP bytes requested!"); | 
|  | 338 |  | 
|  | 339 | // Scan ahead to trim the shadow. | 
|  | 340 | const MachineBasicBlock &MBB = *MI.getParent(); | 
|  | 341 | MachineBasicBlock::const_iterator MII(MI); | 
|  | 342 | ++MII; | 
|  | 343 | while (NumNOPBytes > 0) { | 
|  | 344 | if (MII == MBB.end() || MII->isCall() || | 
|  | 345 | MII->getOpcode() == PPC::DBG_VALUE || | 
|  | 346 | MII->getOpcode() == TargetOpcode::PATCHPOINT || | 
|  | 347 | MII->getOpcode() == TargetOpcode::STACKMAP) | 
|  | 348 | break; | 
|  | 349 | ++MII; | 
|  | 350 | NumNOPBytes -= 4; | 
|  | 351 | } | 
|  | 352 |  | 
|  | 353 | // Emit nops. | 
|  | 354 | for (unsigned i = 0; i < NumNOPBytes; i += 4) | 
| Hal Finkel | 98347d3 | 2015-12-12 01:47:08 +0000 | [diff] [blame] | 355 | EmitToStreamer(*OutStreamer, MCInstBuilder(PPC::NOP)); | 
| Hal Finkel | 934361a | 2015-01-14 01:07:51 +0000 | [diff] [blame] | 356 | } | 
|  | 357 |  | 
|  | 358 | // Lower a patchpoint of the form: | 
|  | 359 | // [<def>], <id>, <numBytes>, <target>, <numArgs> | 
| Hal Finkel | 98347d3 | 2015-12-12 01:47:08 +0000 | [diff] [blame] | 360 | void PPCAsmPrinter::LowerPATCHPOINT(StackMaps &SM, const MachineInstr &MI) { | 
| Hal Finkel | 934361a | 2015-01-14 01:07:51 +0000 | [diff] [blame] | 361 | SM.recordPatchPoint(MI); | 
|  | 362 | PatchPointOpers Opers(&MI); | 
|  | 363 |  | 
| Hal Finkel | 934361a | 2015-01-14 01:07:51 +0000 | [diff] [blame] | 364 | unsigned EncodedBytes = 0; | 
| Philip Reames | e83c4b3 | 2016-08-23 23:33:29 +0000 | [diff] [blame] | 365 | const MachineOperand &CalleeMO = Opers.getCallTarget(); | 
| Hal Finkel | 934361a | 2015-01-14 01:07:51 +0000 | [diff] [blame] | 366 |  | 
| Hal Finkel | 4012024 | 2015-07-14 22:53:11 +0000 | [diff] [blame] | 367 | if (CalleeMO.isImm()) { | 
| Philip Reames | e83c4b3 | 2016-08-23 23:33:29 +0000 | [diff] [blame] | 368 | int64_t CallTarget = CalleeMO.getImm(); | 
| Hal Finkel | 4012024 | 2015-07-14 22:53:11 +0000 | [diff] [blame] | 369 | if (CallTarget) { | 
|  | 370 | assert((CallTarget & 0xFFFFFFFFFFFF) == CallTarget && | 
|  | 371 | "High 16 bits of call target should be zero."); | 
|  | 372 | unsigned ScratchReg = MI.getOperand(Opers.getNextScratchIdx()).getReg(); | 
|  | 373 | EncodedBytes = 0; | 
|  | 374 | // Materialize the jump address: | 
| Hal Finkel | 98347d3 | 2015-12-12 01:47:08 +0000 | [diff] [blame] | 375 | EmitToStreamer(*OutStreamer, MCInstBuilder(PPC::LI8) | 
| Hal Finkel | 4012024 | 2015-07-14 22:53:11 +0000 | [diff] [blame] | 376 | .addReg(ScratchReg) | 
|  | 377 | .addImm((CallTarget >> 32) & 0xFFFF)); | 
|  | 378 | ++EncodedBytes; | 
| Hal Finkel | 98347d3 | 2015-12-12 01:47:08 +0000 | [diff] [blame] | 379 | EmitToStreamer(*OutStreamer, MCInstBuilder(PPC::RLDIC) | 
| Hal Finkel | 4012024 | 2015-07-14 22:53:11 +0000 | [diff] [blame] | 380 | .addReg(ScratchReg) | 
|  | 381 | .addReg(ScratchReg) | 
|  | 382 | .addImm(32).addImm(16)); | 
|  | 383 | ++EncodedBytes; | 
| Hal Finkel | 98347d3 | 2015-12-12 01:47:08 +0000 | [diff] [blame] | 384 | EmitToStreamer(*OutStreamer, MCInstBuilder(PPC::ORIS8) | 
| Hal Finkel | 4012024 | 2015-07-14 22:53:11 +0000 | [diff] [blame] | 385 | .addReg(ScratchReg) | 
|  | 386 | .addReg(ScratchReg) | 
|  | 387 | .addImm((CallTarget >> 16) & 0xFFFF)); | 
|  | 388 | ++EncodedBytes; | 
| Hal Finkel | 98347d3 | 2015-12-12 01:47:08 +0000 | [diff] [blame] | 389 | EmitToStreamer(*OutStreamer, MCInstBuilder(PPC::ORI8) | 
| Hal Finkel | 4012024 | 2015-07-14 22:53:11 +0000 | [diff] [blame] | 390 | .addReg(ScratchReg) | 
|  | 391 | .addReg(ScratchReg) | 
|  | 392 | .addImm(CallTarget & 0xFFFF)); | 
|  | 393 |  | 
|  | 394 | // Save the current TOC pointer before the remote call. | 
| Eric Christopher | d78bd57 | 2017-04-10 22:22:11 +0000 | [diff] [blame] | 395 | int TOCSaveOffset = Subtarget->getFrameLowering()->getTOCSaveOffset(); | 
| Hal Finkel | 98347d3 | 2015-12-12 01:47:08 +0000 | [diff] [blame] | 396 | EmitToStreamer(*OutStreamer, MCInstBuilder(PPC::STD) | 
| Hal Finkel | 4012024 | 2015-07-14 22:53:11 +0000 | [diff] [blame] | 397 | .addReg(PPC::X2) | 
|  | 398 | .addImm(TOCSaveOffset) | 
|  | 399 | .addReg(PPC::X1)); | 
|  | 400 | ++EncodedBytes; | 
| Hal Finkel | 9bbad03 | 2015-07-14 22:26:06 +0000 | [diff] [blame] | 401 |  | 
| Hal Finkel | 4012024 | 2015-07-14 22:53:11 +0000 | [diff] [blame] | 402 | // If we're on ELFv1, then we need to load the actual function pointer | 
|  | 403 | // from the function descriptor. | 
|  | 404 | if (!Subtarget->isELFv2ABI()) { | 
| NAKAMURA Takumi | 8496503 | 2015-09-22 11:14:12 +0000 | [diff] [blame] | 405 | // Load the new TOC pointer and the function address, but not r11 | 
|  | 406 | // (needing this is rare, and loading it here would prevent passing it | 
|  | 407 | // via a 'nest' parameter. | 
| Hal Finkel | 98347d3 | 2015-12-12 01:47:08 +0000 | [diff] [blame] | 408 | EmitToStreamer(*OutStreamer, MCInstBuilder(PPC::LD) | 
| Hal Finkel | 4012024 | 2015-07-14 22:53:11 +0000 | [diff] [blame] | 409 | .addReg(PPC::X2) | 
|  | 410 | .addImm(8) | 
|  | 411 | .addReg(ScratchReg)); | 
|  | 412 | ++EncodedBytes; | 
| Hal Finkel | 98347d3 | 2015-12-12 01:47:08 +0000 | [diff] [blame] | 413 | EmitToStreamer(*OutStreamer, MCInstBuilder(PPC::LD) | 
| Hal Finkel | 4012024 | 2015-07-14 22:53:11 +0000 | [diff] [blame] | 414 | .addReg(ScratchReg) | 
|  | 415 | .addImm(0) | 
|  | 416 | .addReg(ScratchReg)); | 
|  | 417 | ++EncodedBytes; | 
|  | 418 | } | 
|  | 419 |  | 
| Hal Finkel | 98347d3 | 2015-12-12 01:47:08 +0000 | [diff] [blame] | 420 | EmitToStreamer(*OutStreamer, MCInstBuilder(PPC::MTCTR8) | 
| Hal Finkel | 4012024 | 2015-07-14 22:53:11 +0000 | [diff] [blame] | 421 | .addReg(ScratchReg)); | 
|  | 422 | ++EncodedBytes; | 
| Hal Finkel | 98347d3 | 2015-12-12 01:47:08 +0000 | [diff] [blame] | 423 | EmitToStreamer(*OutStreamer, MCInstBuilder(PPC::BCTRL8)); | 
| Hal Finkel | 4012024 | 2015-07-14 22:53:11 +0000 | [diff] [blame] | 424 | ++EncodedBytes; | 
|  | 425 |  | 
|  | 426 | // Restore the TOC pointer after the call. | 
| Hal Finkel | 98347d3 | 2015-12-12 01:47:08 +0000 | [diff] [blame] | 427 | EmitToStreamer(*OutStreamer, MCInstBuilder(PPC::LD) | 
| Hal Finkel | 9bbad03 | 2015-07-14 22:26:06 +0000 | [diff] [blame] | 428 | .addReg(PPC::X2) | 
| Hal Finkel | 4012024 | 2015-07-14 22:53:11 +0000 | [diff] [blame] | 429 | .addImm(TOCSaveOffset) | 
|  | 430 | .addReg(PPC::X1)); | 
| Hal Finkel | 9bbad03 | 2015-07-14 22:26:06 +0000 | [diff] [blame] | 431 | ++EncodedBytes; | 
|  | 432 | } | 
| Hal Finkel | 4012024 | 2015-07-14 22:53:11 +0000 | [diff] [blame] | 433 | } else if (CalleeMO.isGlobal()) { | 
|  | 434 | const GlobalValue *GValue = CalleeMO.getGlobal(); | 
|  | 435 | MCSymbol *MOSymbol = getSymbol(GValue); | 
|  | 436 | const MCExpr *SymVar = MCSymbolRefExpr::create(MOSymbol, OutContext); | 
| Hal Finkel | 9bbad03 | 2015-07-14 22:26:06 +0000 | [diff] [blame] | 437 |  | 
| Hal Finkel | 98347d3 | 2015-12-12 01:47:08 +0000 | [diff] [blame] | 438 | EmitToStreamer(*OutStreamer, MCInstBuilder(PPC::BL8_NOP) | 
| Hal Finkel | 4012024 | 2015-07-14 22:53:11 +0000 | [diff] [blame] | 439 | .addExpr(SymVar)); | 
|  | 440 | EncodedBytes += 2; | 
| Hal Finkel | 934361a | 2015-01-14 01:07:51 +0000 | [diff] [blame] | 441 | } | 
|  | 442 |  | 
| Hal Finkel | 9bbad03 | 2015-07-14 22:26:06 +0000 | [diff] [blame] | 443 | // Each instruction is 4 bytes. | 
|  | 444 | EncodedBytes *= 4; | 
|  | 445 |  | 
| Hal Finkel | 934361a | 2015-01-14 01:07:51 +0000 | [diff] [blame] | 446 | // Emit padding. | 
| Philip Reames | e83c4b3 | 2016-08-23 23:33:29 +0000 | [diff] [blame] | 447 | unsigned NumBytes = Opers.getNumPatchBytes(); | 
| Hal Finkel | 934361a | 2015-01-14 01:07:51 +0000 | [diff] [blame] | 448 | assert(NumBytes >= EncodedBytes && | 
|  | 449 | "Patchpoint can't request size less than the length of a call."); | 
|  | 450 | assert((NumBytes - EncodedBytes) % 4 == 0 && | 
|  | 451 | "Invalid number of NOP bytes requested!"); | 
|  | 452 | for (unsigned i = EncodedBytes; i < NumBytes; i += 4) | 
| Hal Finkel | 98347d3 | 2015-12-12 01:47:08 +0000 | [diff] [blame] | 453 | EmitToStreamer(*OutStreamer, MCInstBuilder(PPC::NOP)); | 
| Hal Finkel | 934361a | 2015-01-14 01:07:51 +0000 | [diff] [blame] | 454 | } | 
| Bill Schmidt | 34627e3 | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 455 |  | 
| Bill Schmidt | 82f1c77 | 2015-02-10 19:09:05 +0000 | [diff] [blame] | 456 | /// EmitTlsCall -- Given a GETtls[ld]ADDR[32] instruction, print a | 
|  | 457 | /// call to __tls_get_addr to the current output stream. | 
|  | 458 | void PPCAsmPrinter::EmitTlsCall(const MachineInstr *MI, | 
|  | 459 | MCSymbolRefExpr::VariantKind VK) { | 
|  | 460 | StringRef Name = "__tls_get_addr"; | 
| Jim Grosbach | 6f48200 | 2015-05-18 18:43:14 +0000 | [diff] [blame] | 461 | MCSymbol *TlsGetAddr = OutContext.getOrCreateSymbol(Name); | 
| Bill Schmidt | 82f1c77 | 2015-02-10 19:09:05 +0000 | [diff] [blame] | 462 | MCSymbolRefExpr::VariantKind Kind = MCSymbolRefExpr::VK_None; | 
|  | 463 |  | 
|  | 464 | assert(MI->getOperand(0).isReg() && | 
| Bill Schmidt | 67f36bd | 2015-02-10 19:31:55 +0000 | [diff] [blame] | 465 | ((Subtarget->isPPC64() && MI->getOperand(0).getReg() == PPC::X3) || | 
|  | 466 | (!Subtarget->isPPC64() && MI->getOperand(0).getReg() == PPC::R3)) && | 
| Bill Schmidt | 82f1c77 | 2015-02-10 19:09:05 +0000 | [diff] [blame] | 467 | "GETtls[ld]ADDR[32] must define GPR3"); | 
|  | 468 | assert(MI->getOperand(1).isReg() && | 
| Bill Schmidt | 67f36bd | 2015-02-10 19:31:55 +0000 | [diff] [blame] | 469 | ((Subtarget->isPPC64() && MI->getOperand(1).getReg() == PPC::X3) || | 
|  | 470 | (!Subtarget->isPPC64() && MI->getOperand(1).getReg() == PPC::R3)) && | 
| Bill Schmidt | 82f1c77 | 2015-02-10 19:09:05 +0000 | [diff] [blame] | 471 | "GETtls[ld]ADDR[32] must read GPR3"); | 
|  | 472 |  | 
| Bill Schmidt | 67f36bd | 2015-02-10 19:31:55 +0000 | [diff] [blame] | 473 | if (!Subtarget->isPPC64() && !Subtarget->isDarwin() && | 
| Rafael Espindola | 0db11db | 2016-06-27 14:19:45 +0000 | [diff] [blame] | 474 | isPositionIndependent()) | 
| Bill Schmidt | 82f1c77 | 2015-02-10 19:09:05 +0000 | [diff] [blame] | 475 | Kind = MCSymbolRefExpr::VK_PLT; | 
| Strahinja Petrovic | 94fccc9 | 2019-03-06 15:00:10 +0000 | [diff] [blame] | 476 | const MCExpr *TlsRef = | 
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 477 | MCSymbolRefExpr::create(TlsGetAddr, Kind, OutContext); | 
| Strahinja Petrovic | 94fccc9 | 2019-03-06 15:00:10 +0000 | [diff] [blame] | 478 |  | 
|  | 479 | // Add 32768 offset to the symbol so we follow up the latest GOT/PLT ABI. | 
|  | 480 | if (Kind == MCSymbolRefExpr::VK_PLT && Subtarget->isSecurePlt()) | 
|  | 481 | TlsRef = MCBinaryExpr::createAdd(TlsRef, | 
|  | 482 | MCConstantExpr::create(32768, OutContext), | 
|  | 483 | OutContext); | 
| Bill Schmidt | 82f1c77 | 2015-02-10 19:09:05 +0000 | [diff] [blame] | 484 | const MachineOperand &MO = MI->getOperand(2); | 
|  | 485 | const GlobalValue *GValue = MO.getGlobal(); | 
|  | 486 | MCSymbol *MOSymbol = getSymbol(GValue); | 
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 487 | const MCExpr *SymVar = MCSymbolRefExpr::create(MOSymbol, VK, OutContext); | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 488 | EmitToStreamer(*OutStreamer, | 
| Bill Schmidt | 67f36bd | 2015-02-10 19:31:55 +0000 | [diff] [blame] | 489 | MCInstBuilder(Subtarget->isPPC64() ? | 
| Bill Schmidt | 82f1c77 | 2015-02-10 19:09:05 +0000 | [diff] [blame] | 490 | PPC::BL8_NOP_TLS : PPC::BL_TLS) | 
|  | 491 | .addExpr(TlsRef) | 
|  | 492 | .addExpr(SymVar)); | 
|  | 493 | } | 
|  | 494 |  | 
| Chris Lattner | 73de5fb | 2010-01-28 01:28:58 +0000 | [diff] [blame] | 495 | /// EmitInstruction -- Print out a single PowerPC MI in Darwin syntax to | 
| Nate Begeman | 0ad7f81 | 2004-08-14 22:09:10 +0000 | [diff] [blame] | 496 | /// the current output stream. | 
| Misha Brukman | e05203f | 2004-06-21 16:55:25 +0000 | [diff] [blame] | 497 | /// | 
| Chris Lattner | 73de5fb | 2010-01-28 01:28:58 +0000 | [diff] [blame] | 498 | void PPCAsmPrinter::EmitInstruction(const MachineInstr *MI) { | 
| Chris Lattner | 510c66f | 2010-11-15 03:39:06 +0000 | [diff] [blame] | 499 | MCInst TmpInst; | 
| Eric Christopher | d498680 | 2015-02-10 00:44:17 +0000 | [diff] [blame] | 500 | bool isPPC64 = Subtarget->isPPC64(); | 
| Daniel Sanders | c81f450 | 2015-06-16 15:44:21 +0000 | [diff] [blame] | 501 | bool isDarwin = TM.getTargetTriple().isOSDarwin(); | 
| Matthias Braun | f1caa28 | 2017-12-15 22:22:58 +0000 | [diff] [blame] | 502 | const Module *M = MF->getFunction().getParent(); | 
| Justin Hibbits | a88b605 | 2014-11-12 15:16:30 +0000 | [diff] [blame] | 503 | PICLevel::Level PL = M->getPICLevel(); | 
| NAKAMURA Takumi | a9cb538 | 2015-09-22 11:14:39 +0000 | [diff] [blame] | 504 |  | 
| Justin Hibbits | d52990c | 2018-07-18 04:25:10 +0000 | [diff] [blame] | 505 | #ifndef NDEBUG | 
|  | 506 | // Validate that SPE and FPU are mutually exclusive in codegen | 
|  | 507 | if (!MI->isInlineAsm()) { | 
|  | 508 | for (const MachineOperand &MO: MI->operands()) { | 
|  | 509 | if (MO.isReg()) { | 
|  | 510 | unsigned Reg = MO.getReg(); | 
|  | 511 | if (Subtarget->hasSPE()) { | 
|  | 512 | if (PPC::F4RCRegClass.contains(Reg) || | 
|  | 513 | PPC::F8RCRegClass.contains(Reg) || | 
|  | 514 | PPC::QBRCRegClass.contains(Reg) || | 
|  | 515 | PPC::QFRCRegClass.contains(Reg) || | 
|  | 516 | PPC::QSRCRegClass.contains(Reg) || | 
|  | 517 | PPC::VFRCRegClass.contains(Reg) || | 
|  | 518 | PPC::VRRCRegClass.contains(Reg) || | 
|  | 519 | PPC::VSFRCRegClass.contains(Reg) || | 
|  | 520 | PPC::VSSRCRegClass.contains(Reg) | 
|  | 521 | ) | 
|  | 522 | llvm_unreachable("SPE targets cannot have FPRegs!"); | 
|  | 523 | } else { | 
|  | 524 | if (PPC::SPERCRegClass.contains(Reg)) | 
|  | 525 | llvm_unreachable("SPE register found in FPU-targeted code!"); | 
|  | 526 | } | 
|  | 527 | } | 
|  | 528 | } | 
|  | 529 | } | 
|  | 530 | #endif | 
| Chris Lattner | 510c66f | 2010-11-15 03:39:06 +0000 | [diff] [blame] | 531 | // Lower multi-instruction pseudo operations. | 
|  | 532 | switch (MI->getOpcode()) { | 
|  | 533 | default: break; | 
| David Blaikie | b735b4d | 2013-06-16 20:34:27 +0000 | [diff] [blame] | 534 | case TargetOpcode::DBG_VALUE: | 
|  | 535 | llvm_unreachable("Should be handled target independently"); | 
| Hal Finkel | 934361a | 2015-01-14 01:07:51 +0000 | [diff] [blame] | 536 | case TargetOpcode::STACKMAP: | 
| Hal Finkel | 98347d3 | 2015-12-12 01:47:08 +0000 | [diff] [blame] | 537 | return LowerSTACKMAP(SM, *MI); | 
| Hal Finkel | 934361a | 2015-01-14 01:07:51 +0000 | [diff] [blame] | 538 | case TargetOpcode::PATCHPOINT: | 
| Hal Finkel | 98347d3 | 2015-12-12 01:47:08 +0000 | [diff] [blame] | 539 | return LowerPATCHPOINT(SM, *MI); | 
| Hal Finkel | 934361a | 2015-01-14 01:07:51 +0000 | [diff] [blame] | 540 |  | 
| Justin Hibbits | a88b605 | 2014-11-12 15:16:30 +0000 | [diff] [blame] | 541 | case PPC::MoveGOTtoLR: { | 
| Francis Visoiu Mistrih | 9d7bb0c | 2017-11-28 17:15:09 +0000 | [diff] [blame] | 542 | // Transform %lr = MoveGOTtoLR | 
| Justin Hibbits | a88b605 | 2014-11-12 15:16:30 +0000 | [diff] [blame] | 543 | // Into this: bl _GLOBAL_OFFSET_TABLE_@local-4 | 
|  | 544 | // _GLOBAL_OFFSET_TABLE_@local-4 (instruction preceding | 
|  | 545 | // _GLOBAL_OFFSET_TABLE_) has exactly one instruction: | 
|  | 546 | //      blrl | 
|  | 547 | // This will return the pointer to _GLOBAL_OFFSET_TABLE_@local | 
|  | 548 | MCSymbol *GOTSymbol = | 
| Jim Grosbach | 6f48200 | 2015-05-18 18:43:14 +0000 | [diff] [blame] | 549 | OutContext.getOrCreateSymbol(StringRef("_GLOBAL_OFFSET_TABLE_")); | 
| Justin Hibbits | a88b605 | 2014-11-12 15:16:30 +0000 | [diff] [blame] | 550 | const MCExpr *OffsExpr = | 
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 551 | MCBinaryExpr::createSub(MCSymbolRefExpr::create(GOTSymbol, | 
| Justin Hibbits | a88b605 | 2014-11-12 15:16:30 +0000 | [diff] [blame] | 552 | MCSymbolRefExpr::VK_PPC_LOCAL, | 
|  | 553 | OutContext), | 
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 554 | MCConstantExpr::create(4, OutContext), | 
| Justin Hibbits | a88b605 | 2014-11-12 15:16:30 +0000 | [diff] [blame] | 555 | OutContext); | 
|  | 556 |  | 
|  | 557 | // Emit the 'bl'. | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 558 | EmitToStreamer(*OutStreamer, MCInstBuilder(PPC::BL).addExpr(OffsExpr)); | 
| Justin Hibbits | a88b605 | 2014-11-12 15:16:30 +0000 | [diff] [blame] | 559 | return; | 
|  | 560 | } | 
| Chris Lattner | 510c66f | 2010-11-15 03:39:06 +0000 | [diff] [blame] | 561 | case PPC::MovePCtoLR: | 
|  | 562 | case PPC::MovePCtoLR8: { | 
| Francis Visoiu Mistrih | 9d7bb0c | 2017-11-28 17:15:09 +0000 | [diff] [blame] | 563 | // Transform %lr = MovePCtoLR | 
| NAKAMURA Takumi | 8496503 | 2015-09-22 11:14:12 +0000 | [diff] [blame] | 564 | // Into this, where the label is the PIC base: | 
| Chris Lattner | 510c66f | 2010-11-15 03:39:06 +0000 | [diff] [blame] | 565 | //     bl L1$pb | 
|  | 566 | // L1$pb: | 
|  | 567 | MCSymbol *PICBase = MF->getPICBaseSymbol(); | 
| NAKAMURA Takumi | a9cb538 | 2015-09-22 11:14:39 +0000 | [diff] [blame] | 568 |  | 
| Chris Lattner | 510c66f | 2010-11-15 03:39:06 +0000 | [diff] [blame] | 569 | // Emit the 'bl'. | 
| NAKAMURA Takumi | 70ad98a | 2015-09-22 11:13:55 +0000 | [diff] [blame] | 570 | EmitToStreamer(*OutStreamer, | 
|  | 571 | MCInstBuilder(PPC::BL) | 
|  | 572 | // FIXME: We would like an efficient form for this, so we | 
|  | 573 | // don't have to do a lot of extra uniquing. | 
|  | 574 | .addExpr(MCSymbolRefExpr::create(PICBase, OutContext))); | 
|  | 575 |  | 
| Chris Lattner | 510c66f | 2010-11-15 03:39:06 +0000 | [diff] [blame] | 576 | // Emit the label. | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 577 | OutStreamer->EmitLabel(PICBase); | 
| Chris Lattner | 510c66f | 2010-11-15 03:39:06 +0000 | [diff] [blame] | 578 | return; | 
|  | 579 | } | 
| Justin Hibbits | a88b605 | 2014-11-12 15:16:30 +0000 | [diff] [blame] | 580 | case PPC::UpdateGBR: { | 
| Francis Visoiu Mistrih | 9d7bb0c | 2017-11-28 17:15:09 +0000 | [diff] [blame] | 581 | // Transform %rd = UpdateGBR(%rt, %ri) | 
|  | 582 | // Into: lwz %rt, .L0$poff - .L0$pb(%ri) | 
|  | 583 | //       add %rd, %rt, %ri | 
| Strahinja Petrovic | 06cf6a6 | 2018-03-27 11:23:53 +0000 | [diff] [blame] | 584 | // or into (if secure plt mode is on): | 
|  | 585 | //       addis r30, r30, .LTOC - .L0$pb@ha | 
|  | 586 | //       addi r30, r30, .LTOC - .L0$pb@l | 
| Hal Finkel | 3ee2af7 | 2014-07-18 23:29:49 +0000 | [diff] [blame] | 587 | // Get the offset from the GOT Base Register to the GOT | 
| Justin Hibbits | a88b605 | 2014-11-12 15:16:30 +0000 | [diff] [blame] | 588 | LowerPPCMachineInstrToMCInst(MI, TmpInst, *this, isDarwin); | 
| Strahinja Petrovic | 06cf6a6 | 2018-03-27 11:23:53 +0000 | [diff] [blame] | 589 | if (Subtarget->isSecurePlt() && isPositionIndependent() ) { | 
|  | 590 | unsigned PICR = TmpInst.getOperand(0).getReg(); | 
|  | 591 | MCSymbol *LTOCSymbol = OutContext.getOrCreateSymbol(StringRef(".LTOC")); | 
|  | 592 | const MCExpr *PB = | 
|  | 593 | MCSymbolRefExpr::create(MF->getPICBaseSymbol(), | 
|  | 594 | OutContext); | 
| Justin Hibbits | a88b605 | 2014-11-12 15:16:30 +0000 | [diff] [blame] | 595 |  | 
| Strahinja Petrovic | 06cf6a6 | 2018-03-27 11:23:53 +0000 | [diff] [blame] | 596 | const MCExpr *LTOCDeltaExpr = | 
|  | 597 | MCBinaryExpr::createSub(MCSymbolRefExpr::create(LTOCSymbol, OutContext), | 
|  | 598 | PB, OutContext); | 
| Justin Hibbits | a88b605 | 2014-11-12 15:16:30 +0000 | [diff] [blame] | 599 |  | 
| Strahinja Petrovic | 06cf6a6 | 2018-03-27 11:23:53 +0000 | [diff] [blame] | 600 | const MCExpr *LTOCDeltaHi = | 
|  | 601 | PPCMCExpr::createHa(LTOCDeltaExpr, false, OutContext); | 
|  | 602 | EmitToStreamer(*OutStreamer, MCInstBuilder(PPC::ADDIS) | 
|  | 603 | .addReg(PICR) | 
|  | 604 | .addReg(PICR) | 
|  | 605 | .addExpr(LTOCDeltaHi)); | 
|  | 606 |  | 
|  | 607 | const MCExpr *LTOCDeltaLo = | 
|  | 608 | PPCMCExpr::createLo(LTOCDeltaExpr, false, OutContext); | 
|  | 609 | EmitToStreamer(*OutStreamer, MCInstBuilder(PPC::ADDI) | 
|  | 610 | .addReg(PICR) | 
|  | 611 | .addReg(PICR) | 
|  | 612 | .addExpr(LTOCDeltaLo)); | 
|  | 613 | return; | 
|  | 614 | } else { | 
|  | 615 | MCSymbol *PICOffset = | 
|  | 616 | MF->getInfo<PPCFunctionInfo>()->getPICOffsetSymbol(); | 
|  | 617 | TmpInst.setOpcode(PPC::LWZ); | 
|  | 618 | const MCExpr *Exp = | 
|  | 619 | MCSymbolRefExpr::create(PICOffset, MCSymbolRefExpr::VK_None, OutContext); | 
|  | 620 | const MCExpr *PB = | 
|  | 621 | MCSymbolRefExpr::create(MF->getPICBaseSymbol(), | 
|  | 622 | MCSymbolRefExpr::VK_None, | 
|  | 623 | OutContext); | 
|  | 624 | const MCOperand TR = TmpInst.getOperand(1); | 
|  | 625 | const MCOperand PICR = TmpInst.getOperand(0); | 
|  | 626 |  | 
|  | 627 | // Step 1: lwz %rt, .L$poff - .L$pb(%ri) | 
|  | 628 | TmpInst.getOperand(1) = | 
|  | 629 | MCOperand::createExpr(MCBinaryExpr::createSub(Exp, PB, OutContext)); | 
|  | 630 | TmpInst.getOperand(0) = TR; | 
|  | 631 | TmpInst.getOperand(2) = PICR; | 
|  | 632 | EmitToStreamer(*OutStreamer, TmpInst); | 
|  | 633 |  | 
|  | 634 | TmpInst.setOpcode(PPC::ADD4); | 
|  | 635 | TmpInst.getOperand(0) = PICR; | 
|  | 636 | TmpInst.getOperand(1) = TR; | 
|  | 637 | TmpInst.getOperand(2) = PICR; | 
|  | 638 | EmitToStreamer(*OutStreamer, TmpInst); | 
|  | 639 | return; | 
|  | 640 | } | 
| Hal Finkel | 3ee2af7 | 2014-07-18 23:29:49 +0000 | [diff] [blame] | 641 | } | 
|  | 642 | case PPC::LWZtoc: { | 
| Francis Visoiu Mistrih | 5df3bbf | 2017-12-14 10:03:09 +0000 | [diff] [blame] | 643 | // Transform %r3 = LWZtoc @min1, %r2 | 
| Justin Hibbits | a88b605 | 2014-11-12 15:16:30 +0000 | [diff] [blame] | 644 | LowerPPCMachineInstrToMCInst(MI, TmpInst, *this, isDarwin); | 
| Hal Finkel | 3ee2af7 | 2014-07-18 23:29:49 +0000 | [diff] [blame] | 645 |  | 
|  | 646 | // Change the opcode to LWZ, and the global address operand to be a | 
|  | 647 | // reference to the GOT entry we will synthesize later. | 
|  | 648 | TmpInst.setOpcode(PPC::LWZ); | 
|  | 649 | const MachineOperand &MO = MI->getOperand(1); | 
|  | 650 |  | 
|  | 651 | // Map symbol -> label of TOC entry | 
| Ulrich Weigand | c8c2ea2 | 2014-10-31 10:33:14 +0000 | [diff] [blame] | 652 | assert(MO.isGlobal() || MO.isCPI() || MO.isJTI() || MO.isBlockAddress()); | 
| Hal Finkel | 3ee2af7 | 2014-07-18 23:29:49 +0000 | [diff] [blame] | 653 | MCSymbol *MOSymbol = nullptr; | 
|  | 654 | if (MO.isGlobal()) | 
|  | 655 | MOSymbol = getSymbol(MO.getGlobal()); | 
|  | 656 | else if (MO.isCPI()) | 
|  | 657 | MOSymbol = GetCPISymbol(MO.getIndex()); | 
|  | 658 | else if (MO.isJTI()) | 
|  | 659 | MOSymbol = GetJTISymbol(MO.getIndex()); | 
| Ulrich Weigand | c8c2ea2 | 2014-10-31 10:33:14 +0000 | [diff] [blame] | 660 | else if (MO.isBlockAddress()) | 
|  | 661 | MOSymbol = GetBlockAddressSymbol(MO.getBlockAddress()); | 
| Hal Finkel | 3ee2af7 | 2014-07-18 23:29:49 +0000 | [diff] [blame] | 662 |  | 
| Davide Italiano | 4cccc48 | 2016-06-17 18:07:14 +0000 | [diff] [blame] | 663 | if (PL == PICLevel::SmallPIC) { | 
| Justin Hibbits | a88b605 | 2014-11-12 15:16:30 +0000 | [diff] [blame] | 664 | const MCExpr *Exp = | 
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 665 | MCSymbolRefExpr::create(MOSymbol, MCSymbolRefExpr::VK_GOT, | 
| Justin Hibbits | a88b605 | 2014-11-12 15:16:30 +0000 | [diff] [blame] | 666 | OutContext); | 
| Jim Grosbach | e9119e4 | 2015-05-13 18:37:00 +0000 | [diff] [blame] | 667 | TmpInst.getOperand(1) = MCOperand::createExpr(Exp); | 
| Justin Hibbits | a88b605 | 2014-11-12 15:16:30 +0000 | [diff] [blame] | 668 | } else { | 
|  | 669 | MCSymbol *TOCEntry = lookUpOrCreateTOCEntry(MOSymbol); | 
| Hal Finkel | 3ee2af7 | 2014-07-18 23:29:49 +0000 | [diff] [blame] | 670 |  | 
| Justin Hibbits | a88b605 | 2014-11-12 15:16:30 +0000 | [diff] [blame] | 671 | const MCExpr *Exp = | 
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 672 | MCSymbolRefExpr::create(TOCEntry, MCSymbolRefExpr::VK_None, | 
| Justin Hibbits | a88b605 | 2014-11-12 15:16:30 +0000 | [diff] [blame] | 673 | OutContext); | 
|  | 674 | const MCExpr *PB = | 
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 675 | MCSymbolRefExpr::create(OutContext.getOrCreateSymbol(Twine(".LTOC")), | 
| Justin Hibbits | a88b605 | 2014-11-12 15:16:30 +0000 | [diff] [blame] | 676 | OutContext); | 
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 677 | Exp = MCBinaryExpr::createSub(Exp, PB, OutContext); | 
| Jim Grosbach | e9119e4 | 2015-05-13 18:37:00 +0000 | [diff] [blame] | 678 | TmpInst.getOperand(1) = MCOperand::createExpr(Exp); | 
| Justin Hibbits | a88b605 | 2014-11-12 15:16:30 +0000 | [diff] [blame] | 679 | } | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 680 | EmitToStreamer(*OutStreamer, TmpInst); | 
| Hal Finkel | 3ee2af7 | 2014-07-18 23:29:49 +0000 | [diff] [blame] | 681 | return; | 
|  | 682 | } | 
| Roman Divacky | ace4707 | 2012-08-24 16:26:02 +0000 | [diff] [blame] | 683 | case PPC::LDtocJTI: | 
|  | 684 | case PPC::LDtocCPT: | 
| Ulrich Weigand | c8c2ea2 | 2014-10-31 10:33:14 +0000 | [diff] [blame] | 685 | case PPC::LDtocBA: | 
| Chris Lattner | 510c66f | 2010-11-15 03:39:06 +0000 | [diff] [blame] | 686 | case PPC::LDtoc: { | 
| Francis Visoiu Mistrih | 5df3bbf | 2017-12-14 10:03:09 +0000 | [diff] [blame] | 687 | // Transform %x3 = LDtoc @min1, %x2 | 
| Justin Hibbits | a88b605 | 2014-11-12 15:16:30 +0000 | [diff] [blame] | 688 | LowerPPCMachineInstrToMCInst(MI, TmpInst, *this, isDarwin); | 
| Roman Divacky | ace4707 | 2012-08-24 16:26:02 +0000 | [diff] [blame] | 689 |  | 
| Chris Lattner | 510c66f | 2010-11-15 03:39:06 +0000 | [diff] [blame] | 690 | // Change the opcode to LD, and the global address operand to be a | 
|  | 691 | // reference to the TOC entry we will synthesize later. | 
|  | 692 | TmpInst.setOpcode(PPC::LD); | 
|  | 693 | const MachineOperand &MO = MI->getOperand(1); | 
| Roman Divacky | ace4707 | 2012-08-24 16:26:02 +0000 | [diff] [blame] | 694 |  | 
|  | 695 | // Map symbol -> label of TOC entry | 
| Ulrich Weigand | c8c2ea2 | 2014-10-31 10:33:14 +0000 | [diff] [blame] | 696 | assert(MO.isGlobal() || MO.isCPI() || MO.isJTI() || MO.isBlockAddress()); | 
| Craig Topper | 062a2ba | 2014-04-25 05:30:21 +0000 | [diff] [blame] | 697 | MCSymbol *MOSymbol = nullptr; | 
| Roman Divacky | ace4707 | 2012-08-24 16:26:02 +0000 | [diff] [blame] | 698 | if (MO.isGlobal()) | 
| Rafael Espindola | 79858aa | 2013-10-29 17:07:16 +0000 | [diff] [blame] | 699 | MOSymbol = getSymbol(MO.getGlobal()); | 
| Roman Divacky | ace4707 | 2012-08-24 16:26:02 +0000 | [diff] [blame] | 700 | else if (MO.isCPI()) | 
|  | 701 | MOSymbol = GetCPISymbol(MO.getIndex()); | 
|  | 702 | else if (MO.isJTI()) | 
|  | 703 | MOSymbol = GetJTISymbol(MO.getIndex()); | 
| Ulrich Weigand | c8c2ea2 | 2014-10-31 10:33:14 +0000 | [diff] [blame] | 704 | else if (MO.isBlockAddress()) | 
|  | 705 | MOSymbol = GetBlockAddressSymbol(MO.getBlockAddress()); | 
| Bill Schmidt | 34627e3 | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 706 |  | 
|  | 707 | MCSymbol *TOCEntry = lookUpOrCreateTOCEntry(MOSymbol); | 
| Roman Divacky | 0be3359 | 2012-09-18 17:10:37 +0000 | [diff] [blame] | 708 |  | 
| Chris Lattner | 510c66f | 2010-11-15 03:39:06 +0000 | [diff] [blame] | 709 | const MCExpr *Exp = | 
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 710 | MCSymbolRefExpr::create(TOCEntry, MCSymbolRefExpr::VK_PPC_TOC, | 
| Chris Lattner | 510c66f | 2010-11-15 03:39:06 +0000 | [diff] [blame] | 711 | OutContext); | 
| Jim Grosbach | e9119e4 | 2015-05-13 18:37:00 +0000 | [diff] [blame] | 712 | TmpInst.getOperand(1) = MCOperand::createExpr(Exp); | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 713 | EmitToStreamer(*OutStreamer, TmpInst); | 
| Chris Lattner | 686a095 | 2010-11-14 19:53:02 +0000 | [diff] [blame] | 714 | return; | 
|  | 715 | } | 
| NAKAMURA Takumi | a9cb538 | 2015-09-22 11:14:39 +0000 | [diff] [blame] | 716 |  | 
| Bill Schmidt | 34627e3 | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 717 | case PPC::ADDIStocHA: { | 
| Francis Visoiu Mistrih | 5df3bbf | 2017-12-14 10:03:09 +0000 | [diff] [blame] | 718 | // Transform %xd = ADDIStocHA %x2, @sym | 
| Justin Hibbits | a88b605 | 2014-11-12 15:16:30 +0000 | [diff] [blame] | 719 | LowerPPCMachineInstrToMCInst(MI, TmpInst, *this, isDarwin); | 
| Bill Schmidt | 34627e3 | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 720 |  | 
| Bill Schmidt | 5d82f09 | 2014-06-16 21:36:02 +0000 | [diff] [blame] | 721 | // Change the opcode to ADDIS8.  If the global address is external, has | 
|  | 722 | // common linkage, is a non-local function address, or is a jump table | 
| Bill Schmidt | 34627e3 | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 723 | // address, then generate a TOC entry and reference that.  Otherwise | 
|  | 724 | // reference the symbol directly. | 
|  | 725 | TmpInst.setOpcode(PPC::ADDIS8); | 
|  | 726 | const MachineOperand &MO = MI->getOperand(2); | 
| Ulrich Weigand | c8c2ea2 | 2014-10-31 10:33:14 +0000 | [diff] [blame] | 727 | assert((MO.isGlobal() || MO.isCPI() || MO.isJTI() || | 
|  | 728 | MO.isBlockAddress()) && | 
| Bill Schmidt | 34627e3 | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 729 | "Invalid operand for ADDIStocHA!"); | 
| Craig Topper | 062a2ba | 2014-04-25 05:30:21 +0000 | [diff] [blame] | 730 | MCSymbol *MOSymbol = nullptr; | 
| Eric Christopher | c180836 | 2015-11-20 20:51:31 +0000 | [diff] [blame] | 731 | bool GlobalToc = false; | 
| Bill Schmidt | 34627e3 | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 732 |  | 
|  | 733 | if (MO.isGlobal()) { | 
| Rafael Espindola | 0490286 | 2014-05-29 15:41:38 +0000 | [diff] [blame] | 734 | const GlobalValue *GV = MO.getGlobal(); | 
|  | 735 | MOSymbol = getSymbol(GV); | 
| Eric Christopher | c180836 | 2015-11-20 20:51:31 +0000 | [diff] [blame] | 736 | unsigned char GVFlags = Subtarget->classifyGlobalReference(GV); | 
|  | 737 | GlobalToc = (GVFlags & PPCII::MO_NLP_FLAG); | 
|  | 738 | } else if (MO.isCPI()) { | 
| Bill Schmidt | 34627e3 | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 739 | MOSymbol = GetCPISymbol(MO.getIndex()); | 
| Eric Christopher | c180836 | 2015-11-20 20:51:31 +0000 | [diff] [blame] | 740 | } else if (MO.isJTI()) { | 
| Bill Schmidt | 34627e3 | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 741 | MOSymbol = GetJTISymbol(MO.getIndex()); | 
| Eric Christopher | c180836 | 2015-11-20 20:51:31 +0000 | [diff] [blame] | 742 | } else if (MO.isBlockAddress()) { | 
| Ulrich Weigand | c8c2ea2 | 2014-10-31 10:33:14 +0000 | [diff] [blame] | 743 | MOSymbol = GetBlockAddressSymbol(MO.getBlockAddress()); | 
| Eric Christopher | c180836 | 2015-11-20 20:51:31 +0000 | [diff] [blame] | 744 | } | 
| Bill Schmidt | 34627e3 | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 745 |  | 
| Eric Christopher | c180836 | 2015-11-20 20:51:31 +0000 | [diff] [blame] | 746 | if (GlobalToc || MO.isJTI() || MO.isBlockAddress() || | 
| Ulrich Weigand | c8c2ea2 | 2014-10-31 10:33:14 +0000 | [diff] [blame] | 747 | TM.getCodeModel() == CodeModel::Large) | 
| Bill Schmidt | 34627e3 | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 748 | MOSymbol = lookUpOrCreateTOCEntry(MOSymbol); | 
|  | 749 |  | 
|  | 750 | const MCExpr *Exp = | 
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 751 | MCSymbolRefExpr::create(MOSymbol, MCSymbolRefExpr::VK_PPC_TOC_HA, | 
| Bill Schmidt | 34627e3 | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 752 | OutContext); | 
| Hal Finkel | 7b104d4 | 2016-09-02 21:37:07 +0000 | [diff] [blame] | 753 |  | 
|  | 754 | if (!MO.isJTI() && MO.getOffset()) | 
|  | 755 | Exp = MCBinaryExpr::createAdd(Exp, | 
|  | 756 | MCConstantExpr::create(MO.getOffset(), | 
|  | 757 | OutContext), | 
|  | 758 | OutContext); | 
|  | 759 |  | 
| Jim Grosbach | e9119e4 | 2015-05-13 18:37:00 +0000 | [diff] [blame] | 760 | TmpInst.getOperand(2) = MCOperand::createExpr(Exp); | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 761 | EmitToStreamer(*OutStreamer, TmpInst); | 
| Bill Schmidt | 34627e3 | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 762 | return; | 
|  | 763 | } | 
|  | 764 | case PPC::LDtocL: { | 
| Francis Visoiu Mistrih | 5df3bbf | 2017-12-14 10:03:09 +0000 | [diff] [blame] | 765 | // Transform %xd = LDtocL @sym, %xs | 
| Justin Hibbits | a88b605 | 2014-11-12 15:16:30 +0000 | [diff] [blame] | 766 | LowerPPCMachineInstrToMCInst(MI, TmpInst, *this, isDarwin); | 
| Bill Schmidt | 34627e3 | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 767 |  | 
| Ulrich Weigand | 4a08388 | 2013-03-26 10:55:45 +0000 | [diff] [blame] | 768 | // Change the opcode to LD.  If the global address is external, has | 
| Bill Schmidt | 34627e3 | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 769 | // common linkage, or is a jump table address, then reference the | 
|  | 770 | // associated TOC entry.  Otherwise reference the symbol directly. | 
| Ulrich Weigand | 4a08388 | 2013-03-26 10:55:45 +0000 | [diff] [blame] | 771 | TmpInst.setOpcode(PPC::LD); | 
| Bill Schmidt | 34627e3 | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 772 | const MachineOperand &MO = MI->getOperand(1); | 
| Ulrich Weigand | c8c2ea2 | 2014-10-31 10:33:14 +0000 | [diff] [blame] | 773 | assert((MO.isGlobal() || MO.isCPI() || MO.isJTI() || | 
|  | 774 | MO.isBlockAddress()) && | 
| Bill Schmidt | 2791778 | 2013-02-21 17:12:27 +0000 | [diff] [blame] | 775 | "Invalid operand for LDtocL!"); | 
| Craig Topper | 062a2ba | 2014-04-25 05:30:21 +0000 | [diff] [blame] | 776 | MCSymbol *MOSymbol = nullptr; | 
| Bill Schmidt | 34627e3 | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 777 |  | 
|  | 778 | if (MO.isJTI()) | 
|  | 779 | MOSymbol = lookUpOrCreateTOCEntry(GetJTISymbol(MO.getIndex())); | 
| Ulrich Weigand | c8c2ea2 | 2014-10-31 10:33:14 +0000 | [diff] [blame] | 780 | else if (MO.isBlockAddress()) { | 
|  | 781 | MOSymbol = GetBlockAddressSymbol(MO.getBlockAddress()); | 
|  | 782 | MOSymbol = lookUpOrCreateTOCEntry(MOSymbol); | 
|  | 783 | } | 
| Bill Schmidt | bb381d7 | 2013-09-17 20:03:25 +0000 | [diff] [blame] | 784 | else if (MO.isCPI()) { | 
| Bill Schmidt | 2791778 | 2013-02-21 17:12:27 +0000 | [diff] [blame] | 785 | MOSymbol = GetCPISymbol(MO.getIndex()); | 
| Bill Schmidt | bb381d7 | 2013-09-17 20:03:25 +0000 | [diff] [blame] | 786 | if (TM.getCodeModel() == CodeModel::Large) | 
|  | 787 | MOSymbol = lookUpOrCreateTOCEntry(MOSymbol); | 
|  | 788 | } | 
| Bill Schmidt | 2791778 | 2013-02-21 17:12:27 +0000 | [diff] [blame] | 789 | else if (MO.isGlobal()) { | 
| Eric Christopher | c180836 | 2015-11-20 20:51:31 +0000 | [diff] [blame] | 790 | const GlobalValue *GV = MO.getGlobal(); | 
|  | 791 | MOSymbol = getSymbol(GV); | 
| Nicola Zaghen | d34e60c | 2018-05-14 12:53:11 +0000 | [diff] [blame] | 792 | LLVM_DEBUG( | 
|  | 793 | unsigned char GVFlags = Subtarget->classifyGlobalReference(GV); | 
|  | 794 | assert((GVFlags & PPCII::MO_NLP_FLAG) && | 
|  | 795 | "LDtocL used on symbol that could be accessed directly is " | 
|  | 796 | "invalid. Must match ADDIStocHA.")); | 
| Eric Christopher | c180836 | 2015-11-20 20:51:31 +0000 | [diff] [blame] | 797 | MOSymbol = lookUpOrCreateTOCEntry(MOSymbol); | 
| Bill Schmidt | 34627e3 | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 798 | } | 
|  | 799 |  | 
|  | 800 | const MCExpr *Exp = | 
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 801 | MCSymbolRefExpr::create(MOSymbol, MCSymbolRefExpr::VK_PPC_TOC_LO, | 
| Bill Schmidt | 34627e3 | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 802 | OutContext); | 
| Jim Grosbach | e9119e4 | 2015-05-13 18:37:00 +0000 | [diff] [blame] | 803 | TmpInst.getOperand(1) = MCOperand::createExpr(Exp); | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 804 | EmitToStreamer(*OutStreamer, TmpInst); | 
| Bill Schmidt | 34627e3 | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 805 | return; | 
|  | 806 | } | 
|  | 807 | case PPC::ADDItocL: { | 
| Francis Visoiu Mistrih | 5df3bbf | 2017-12-14 10:03:09 +0000 | [diff] [blame] | 808 | // Transform %xd = ADDItocL %xs, @sym | 
| Justin Hibbits | a88b605 | 2014-11-12 15:16:30 +0000 | [diff] [blame] | 809 | LowerPPCMachineInstrToMCInst(MI, TmpInst, *this, isDarwin); | 
| Bill Schmidt | 34627e3 | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 810 |  | 
| Ulrich Weigand | 35f9fdf | 2013-03-26 10:55:20 +0000 | [diff] [blame] | 811 | // Change the opcode to ADDI8.  If the global address is external, then | 
| Bill Schmidt | 34627e3 | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 812 | // generate a TOC entry and reference that.  Otherwise reference the | 
|  | 813 | // symbol directly. | 
| Ulrich Weigand | 35f9fdf | 2013-03-26 10:55:20 +0000 | [diff] [blame] | 814 | TmpInst.setOpcode(PPC::ADDI8); | 
| Bill Schmidt | 34627e3 | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 815 | const MachineOperand &MO = MI->getOperand(2); | 
|  | 816 | assert((MO.isGlobal() || MO.isCPI()) && "Invalid operand for ADDItocL"); | 
| Craig Topper | 062a2ba | 2014-04-25 05:30:21 +0000 | [diff] [blame] | 817 | MCSymbol *MOSymbol = nullptr; | 
| Bill Schmidt | 34627e3 | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 818 |  | 
|  | 819 | if (MO.isGlobal()) { | 
| Rafael Espindola | 0490286 | 2014-05-29 15:41:38 +0000 | [diff] [blame] | 820 | const GlobalValue *GV = MO.getGlobal(); | 
| Nicola Zaghen | d34e60c | 2018-05-14 12:53:11 +0000 | [diff] [blame] | 821 | LLVM_DEBUG(unsigned char GVFlags = Subtarget->classifyGlobalReference(GV); | 
|  | 822 | assert(!(GVFlags & PPCII::MO_NLP_FLAG) && | 
|  | 823 | "Interposable definitions must use indirect access.")); | 
| Rafael Espindola | 0490286 | 2014-05-29 15:41:38 +0000 | [diff] [blame] | 824 | MOSymbol = getSymbol(GV); | 
| Eric Christopher | c180836 | 2015-11-20 20:51:31 +0000 | [diff] [blame] | 825 | } else if (MO.isCPI()) { | 
| Bill Schmidt | 34627e3 | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 826 | MOSymbol = GetCPISymbol(MO.getIndex()); | 
| Eric Christopher | c180836 | 2015-11-20 20:51:31 +0000 | [diff] [blame] | 827 | } | 
| Bill Schmidt | 34627e3 | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 828 |  | 
|  | 829 | const MCExpr *Exp = | 
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 830 | MCSymbolRefExpr::create(MOSymbol, MCSymbolRefExpr::VK_PPC_TOC_LO, | 
| Bill Schmidt | 34627e3 | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 831 | OutContext); | 
| Jim Grosbach | e9119e4 | 2015-05-13 18:37:00 +0000 | [diff] [blame] | 832 | TmpInst.getOperand(2) = MCOperand::createExpr(Exp); | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 833 | EmitToStreamer(*OutStreamer, TmpInst); | 
| Bill Schmidt | 34627e3 | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 834 | return; | 
|  | 835 | } | 
| Bill Schmidt | 9f0b4ec | 2012-12-14 17:02:38 +0000 | [diff] [blame] | 836 | case PPC::ADDISgotTprelHA: { | 
| Francis Visoiu Mistrih | 5df3bbf | 2017-12-14 10:03:09 +0000 | [diff] [blame] | 837 | // Transform: %xd = ADDISgotTprelHA %x2, @sym | 
| Francis Visoiu Mistrih | 9d7bb0c | 2017-11-28 17:15:09 +0000 | [diff] [blame] | 838 | // Into:      %xd = ADDIS8 %x2, sym@got@tlsgd@ha | 
| Eric Christopher | d498680 | 2015-02-10 00:44:17 +0000 | [diff] [blame] | 839 | assert(Subtarget->isPPC64() && "Not supported for 32-bit PowerPC"); | 
| Bill Schmidt | 9f0b4ec | 2012-12-14 17:02:38 +0000 | [diff] [blame] | 840 | const MachineOperand &MO = MI->getOperand(2); | 
|  | 841 | const GlobalValue *GValue = MO.getGlobal(); | 
| Rafael Espindola | 79858aa | 2013-10-29 17:07:16 +0000 | [diff] [blame] | 842 | MCSymbol *MOSymbol = getSymbol(GValue); | 
| Bill Schmidt | 9f0b4ec | 2012-12-14 17:02:38 +0000 | [diff] [blame] | 843 | const MCExpr *SymGotTprel = | 
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 844 | MCSymbolRefExpr::create(MOSymbol, MCSymbolRefExpr::VK_PPC_GOT_TPREL_HA, | 
| Bill Schmidt | 9f0b4ec | 2012-12-14 17:02:38 +0000 | [diff] [blame] | 845 | OutContext); | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 846 | EmitToStreamer(*OutStreamer, MCInstBuilder(PPC::ADDIS8) | 
|  | 847 | .addReg(MI->getOperand(0).getReg()) | 
|  | 848 | .addReg(MI->getOperand(1).getReg()) | 
|  | 849 | .addExpr(SymGotTprel)); | 
| Bill Schmidt | 9f0b4ec | 2012-12-14 17:02:38 +0000 | [diff] [blame] | 850 | return; | 
|  | 851 | } | 
| Roman Divacky | 32143e2 | 2013-12-20 18:08:54 +0000 | [diff] [blame] | 852 | case PPC::LDgotTprelL: | 
|  | 853 | case PPC::LDgotTprelL32: { | 
| Francis Visoiu Mistrih | 5df3bbf | 2017-12-14 10:03:09 +0000 | [diff] [blame] | 854 | // Transform %xd = LDgotTprelL @sym, %xs | 
| Justin Hibbits | a88b605 | 2014-11-12 15:16:30 +0000 | [diff] [blame] | 855 | LowerPPCMachineInstrToMCInst(MI, TmpInst, *this, isDarwin); | 
| Bill Schmidt | ca4a0c9 | 2012-12-04 16:18:08 +0000 | [diff] [blame] | 856 |  | 
| Ulrich Weigand | 4a08388 | 2013-03-26 10:55:45 +0000 | [diff] [blame] | 857 | // Change the opcode to LD. | 
| Roman Divacky | 32143e2 | 2013-12-20 18:08:54 +0000 | [diff] [blame] | 858 | TmpInst.setOpcode(isPPC64 ? PPC::LD : PPC::LWZ); | 
| Bill Schmidt | ca4a0c9 | 2012-12-04 16:18:08 +0000 | [diff] [blame] | 859 | const MachineOperand &MO = MI->getOperand(1); | 
|  | 860 | const GlobalValue *GValue = MO.getGlobal(); | 
| Rafael Espindola | 79858aa | 2013-10-29 17:07:16 +0000 | [diff] [blame] | 861 | MCSymbol *MOSymbol = getSymbol(GValue); | 
| Bill Schmidt | ca4a0c9 | 2012-12-04 16:18:08 +0000 | [diff] [blame] | 862 | const MCExpr *Exp = | 
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 863 | MCSymbolRefExpr::create(MOSymbol, MCSymbolRefExpr::VK_PPC_GOT_TPREL_LO, | 
| Bill Schmidt | ca4a0c9 | 2012-12-04 16:18:08 +0000 | [diff] [blame] | 864 | OutContext); | 
| Jim Grosbach | e9119e4 | 2015-05-13 18:37:00 +0000 | [diff] [blame] | 865 | TmpInst.getOperand(1) = MCOperand::createExpr(Exp); | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 866 | EmitToStreamer(*OutStreamer, TmpInst); | 
| Bill Schmidt | ca4a0c9 | 2012-12-04 16:18:08 +0000 | [diff] [blame] | 867 | return; | 
|  | 868 | } | 
| Roman Divacky | 32143e2 | 2013-12-20 18:08:54 +0000 | [diff] [blame] | 869 |  | 
| Hal Finkel | 7c8ae53 | 2014-07-25 17:47:22 +0000 | [diff] [blame] | 870 | case PPC::PPC32PICGOT: { | 
| Jim Grosbach | 6f48200 | 2015-05-18 18:43:14 +0000 | [diff] [blame] | 871 | MCSymbol *GOTSymbol = OutContext.getOrCreateSymbol(StringRef("_GLOBAL_OFFSET_TABLE_")); | 
|  | 872 | MCSymbol *GOTRef = OutContext.createTempSymbol(); | 
|  | 873 | MCSymbol *NextInstr = OutContext.createTempSymbol(); | 
| Hal Finkel | 7c8ae53 | 2014-07-25 17:47:22 +0000 | [diff] [blame] | 874 |  | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 875 | EmitToStreamer(*OutStreamer, MCInstBuilder(PPC::BL) | 
| Hal Finkel | 7c8ae53 | 2014-07-25 17:47:22 +0000 | [diff] [blame] | 876 | // FIXME: We would like an efficient form for this, so we don't have to do | 
|  | 877 | // a lot of extra uniquing. | 
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 878 | .addExpr(MCSymbolRefExpr::create(NextInstr, OutContext))); | 
| Hal Finkel | 7c8ae53 | 2014-07-25 17:47:22 +0000 | [diff] [blame] | 879 | const MCExpr *OffsExpr = | 
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 880 | MCBinaryExpr::createSub(MCSymbolRefExpr::create(GOTSymbol, OutContext), | 
|  | 881 | MCSymbolRefExpr::create(GOTRef, OutContext), | 
| Hal Finkel | 7c8ae53 | 2014-07-25 17:47:22 +0000 | [diff] [blame] | 882 | OutContext); | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 883 | OutStreamer->EmitLabel(GOTRef); | 
|  | 884 | OutStreamer->EmitValue(OffsExpr, 4); | 
|  | 885 | OutStreamer->EmitLabel(NextInstr); | 
|  | 886 | EmitToStreamer(*OutStreamer, MCInstBuilder(PPC::MFLR) | 
|  | 887 | .addReg(MI->getOperand(0).getReg())); | 
|  | 888 | EmitToStreamer(*OutStreamer, MCInstBuilder(PPC::LWZ) | 
|  | 889 | .addReg(MI->getOperand(1).getReg()) | 
|  | 890 | .addImm(0) | 
|  | 891 | .addReg(MI->getOperand(0).getReg())); | 
|  | 892 | EmitToStreamer(*OutStreamer, MCInstBuilder(PPC::ADD4) | 
|  | 893 | .addReg(MI->getOperand(0).getReg()) | 
|  | 894 | .addReg(MI->getOperand(1).getReg()) | 
|  | 895 | .addReg(MI->getOperand(0).getReg())); | 
| Hal Finkel | 7c8ae53 | 2014-07-25 17:47:22 +0000 | [diff] [blame] | 896 | return; | 
|  | 897 | } | 
| Roman Divacky | 32143e2 | 2013-12-20 18:08:54 +0000 | [diff] [blame] | 898 | case PPC::PPC32GOT: { | 
| NAKAMURA Takumi | 70ad98a | 2015-09-22 11:13:55 +0000 | [diff] [blame] | 899 | MCSymbol *GOTSymbol = | 
|  | 900 | OutContext.getOrCreateSymbol(StringRef("_GLOBAL_OFFSET_TABLE_")); | 
|  | 901 | const MCExpr *SymGotTlsL = MCSymbolRefExpr::create( | 
|  | 902 | GOTSymbol, MCSymbolRefExpr::VK_PPC_LO, OutContext); | 
|  | 903 | const MCExpr *SymGotTlsHA = MCSymbolRefExpr::create( | 
|  | 904 | GOTSymbol, MCSymbolRefExpr::VK_PPC_HA, OutContext); | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 905 | EmitToStreamer(*OutStreamer, MCInstBuilder(PPC::LI) | 
|  | 906 | .addReg(MI->getOperand(0).getReg()) | 
|  | 907 | .addExpr(SymGotTlsL)); | 
|  | 908 | EmitToStreamer(*OutStreamer, MCInstBuilder(PPC::ADDIS) | 
|  | 909 | .addReg(MI->getOperand(0).getReg()) | 
|  | 910 | .addReg(MI->getOperand(0).getReg()) | 
|  | 911 | .addExpr(SymGotTlsHA)); | 
| Roman Divacky | 32143e2 | 2013-12-20 18:08:54 +0000 | [diff] [blame] | 912 | return; | 
|  | 913 | } | 
| Bill Schmidt | c56f1d3 | 2012-12-11 20:30:11 +0000 | [diff] [blame] | 914 | case PPC::ADDIStlsgdHA: { | 
| Francis Visoiu Mistrih | 5df3bbf | 2017-12-14 10:03:09 +0000 | [diff] [blame] | 915 | // Transform: %xd = ADDIStlsgdHA %x2, @sym | 
| Francis Visoiu Mistrih | 9d7bb0c | 2017-11-28 17:15:09 +0000 | [diff] [blame] | 916 | // Into:      %xd = ADDIS8 %x2, sym@got@tlsgd@ha | 
| Eric Christopher | d498680 | 2015-02-10 00:44:17 +0000 | [diff] [blame] | 917 | assert(Subtarget->isPPC64() && "Not supported for 32-bit PowerPC"); | 
| Bill Schmidt | c56f1d3 | 2012-12-11 20:30:11 +0000 | [diff] [blame] | 918 | const MachineOperand &MO = MI->getOperand(2); | 
|  | 919 | const GlobalValue *GValue = MO.getGlobal(); | 
| Rafael Espindola | 79858aa | 2013-10-29 17:07:16 +0000 | [diff] [blame] | 920 | MCSymbol *MOSymbol = getSymbol(GValue); | 
| Bill Schmidt | c56f1d3 | 2012-12-11 20:30:11 +0000 | [diff] [blame] | 921 | const MCExpr *SymGotTlsGD = | 
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 922 | MCSymbolRefExpr::create(MOSymbol, MCSymbolRefExpr::VK_PPC_GOT_TLSGD_HA, | 
| Bill Schmidt | c56f1d3 | 2012-12-11 20:30:11 +0000 | [diff] [blame] | 923 | OutContext); | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 924 | EmitToStreamer(*OutStreamer, MCInstBuilder(PPC::ADDIS8) | 
|  | 925 | .addReg(MI->getOperand(0).getReg()) | 
|  | 926 | .addReg(MI->getOperand(1).getReg()) | 
|  | 927 | .addExpr(SymGotTlsGD)); | 
| Bill Schmidt | c56f1d3 | 2012-12-11 20:30:11 +0000 | [diff] [blame] | 928 | return; | 
|  | 929 | } | 
| Hal Finkel | 7c8ae53 | 2014-07-25 17:47:22 +0000 | [diff] [blame] | 930 | case PPC::ADDItlsgdL: | 
| Francis Visoiu Mistrih | 5df3bbf | 2017-12-14 10:03:09 +0000 | [diff] [blame] | 931 | // Transform: %xd = ADDItlsgdL %xs, @sym | 
| Francis Visoiu Mistrih | 9d7bb0c | 2017-11-28 17:15:09 +0000 | [diff] [blame] | 932 | // Into:      %xd = ADDI8 %xs, sym@got@tlsgd@l | 
| Hal Finkel | 7c8ae53 | 2014-07-25 17:47:22 +0000 | [diff] [blame] | 933 | case PPC::ADDItlsgdL32: { | 
| Francis Visoiu Mistrih | 5df3bbf | 2017-12-14 10:03:09 +0000 | [diff] [blame] | 934 | // Transform: %rd = ADDItlsgdL32 %rs, @sym | 
| Francis Visoiu Mistrih | 9d7bb0c | 2017-11-28 17:15:09 +0000 | [diff] [blame] | 935 | // Into:      %rd = ADDI %rs, sym@got@tlsgd | 
| Bill Schmidt | c56f1d3 | 2012-12-11 20:30:11 +0000 | [diff] [blame] | 936 | const MachineOperand &MO = MI->getOperand(2); | 
|  | 937 | const GlobalValue *GValue = MO.getGlobal(); | 
| Rafael Espindola | 79858aa | 2013-10-29 17:07:16 +0000 | [diff] [blame] | 938 | MCSymbol *MOSymbol = getSymbol(GValue); | 
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 939 | const MCExpr *SymGotTlsGD = MCSymbolRefExpr::create( | 
| Eric Christopher | d498680 | 2015-02-10 00:44:17 +0000 | [diff] [blame] | 940 | MOSymbol, Subtarget->isPPC64() ? MCSymbolRefExpr::VK_PPC_GOT_TLSGD_LO | 
|  | 941 | : MCSymbolRefExpr::VK_PPC_GOT_TLSGD, | 
|  | 942 | OutContext); | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 943 | EmitToStreamer(*OutStreamer, | 
| Eric Christopher | d498680 | 2015-02-10 00:44:17 +0000 | [diff] [blame] | 944 | MCInstBuilder(Subtarget->isPPC64() ? PPC::ADDI8 : PPC::ADDI) | 
| Hal Finkel | 7c8ae53 | 2014-07-25 17:47:22 +0000 | [diff] [blame] | 945 | .addReg(MI->getOperand(0).getReg()) | 
|  | 946 | .addReg(MI->getOperand(1).getReg()) | 
|  | 947 | .addExpr(SymGotTlsGD)); | 
| Bill Schmidt | c56f1d3 | 2012-12-11 20:30:11 +0000 | [diff] [blame] | 948 | return; | 
|  | 949 | } | 
| Bill Schmidt | 82f1c77 | 2015-02-10 19:09:05 +0000 | [diff] [blame] | 950 | case PPC::GETtlsADDR: | 
| Francis Visoiu Mistrih | 5df3bbf | 2017-12-14 10:03:09 +0000 | [diff] [blame] | 951 | // Transform: %x3 = GETtlsADDR %x3, @sym | 
| Bill Schmidt | 82f1c77 | 2015-02-10 19:09:05 +0000 | [diff] [blame] | 952 | // Into: BL8_NOP_TLS __tls_get_addr(sym at tlsgd) | 
|  | 953 | case PPC::GETtlsADDR32: { | 
| Francis Visoiu Mistrih | 5df3bbf | 2017-12-14 10:03:09 +0000 | [diff] [blame] | 954 | // Transform: %r3 = GETtlsADDR32 %r3, @sym | 
| Bill Schmidt | 82f1c77 | 2015-02-10 19:09:05 +0000 | [diff] [blame] | 955 | // Into: BL_TLS __tls_get_addr(sym at tlsgd)@PLT | 
|  | 956 | EmitTlsCall(MI, MCSymbolRefExpr::VK_PPC_TLSGD); | 
|  | 957 | return; | 
|  | 958 | } | 
| Bill Schmidt | 24b8dd6 | 2012-12-12 19:29:35 +0000 | [diff] [blame] | 959 | case PPC::ADDIStlsldHA: { | 
| Francis Visoiu Mistrih | 5df3bbf | 2017-12-14 10:03:09 +0000 | [diff] [blame] | 960 | // Transform: %xd = ADDIStlsldHA %x2, @sym | 
| Francis Visoiu Mistrih | 9d7bb0c | 2017-11-28 17:15:09 +0000 | [diff] [blame] | 961 | // Into:      %xd = ADDIS8 %x2, sym@got@tlsld@ha | 
| Eric Christopher | d498680 | 2015-02-10 00:44:17 +0000 | [diff] [blame] | 962 | assert(Subtarget->isPPC64() && "Not supported for 32-bit PowerPC"); | 
| Bill Schmidt | 24b8dd6 | 2012-12-12 19:29:35 +0000 | [diff] [blame] | 963 | const MachineOperand &MO = MI->getOperand(2); | 
|  | 964 | const GlobalValue *GValue = MO.getGlobal(); | 
| Rafael Espindola | 79858aa | 2013-10-29 17:07:16 +0000 | [diff] [blame] | 965 | MCSymbol *MOSymbol = getSymbol(GValue); | 
| Bill Schmidt | 24b8dd6 | 2012-12-12 19:29:35 +0000 | [diff] [blame] | 966 | const MCExpr *SymGotTlsLD = | 
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 967 | MCSymbolRefExpr::create(MOSymbol, MCSymbolRefExpr::VK_PPC_GOT_TLSLD_HA, | 
| Bill Schmidt | 24b8dd6 | 2012-12-12 19:29:35 +0000 | [diff] [blame] | 968 | OutContext); | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 969 | EmitToStreamer(*OutStreamer, MCInstBuilder(PPC::ADDIS8) | 
|  | 970 | .addReg(MI->getOperand(0).getReg()) | 
|  | 971 | .addReg(MI->getOperand(1).getReg()) | 
|  | 972 | .addExpr(SymGotTlsLD)); | 
| Bill Schmidt | 24b8dd6 | 2012-12-12 19:29:35 +0000 | [diff] [blame] | 973 | return; | 
|  | 974 | } | 
| Hal Finkel | 7c8ae53 | 2014-07-25 17:47:22 +0000 | [diff] [blame] | 975 | case PPC::ADDItlsldL: | 
| Francis Visoiu Mistrih | 5df3bbf | 2017-12-14 10:03:09 +0000 | [diff] [blame] | 976 | // Transform: %xd = ADDItlsldL %xs, @sym | 
| Francis Visoiu Mistrih | 9d7bb0c | 2017-11-28 17:15:09 +0000 | [diff] [blame] | 977 | // Into:      %xd = ADDI8 %xs, sym@got@tlsld@l | 
| Hal Finkel | 7c8ae53 | 2014-07-25 17:47:22 +0000 | [diff] [blame] | 978 | case PPC::ADDItlsldL32: { | 
| Francis Visoiu Mistrih | 5df3bbf | 2017-12-14 10:03:09 +0000 | [diff] [blame] | 979 | // Transform: %rd = ADDItlsldL32 %rs, @sym | 
| Francis Visoiu Mistrih | 9d7bb0c | 2017-11-28 17:15:09 +0000 | [diff] [blame] | 980 | // Into:      %rd = ADDI %rs, sym@got@tlsld | 
| Bill Schmidt | 24b8dd6 | 2012-12-12 19:29:35 +0000 | [diff] [blame] | 981 | const MachineOperand &MO = MI->getOperand(2); | 
|  | 982 | const GlobalValue *GValue = MO.getGlobal(); | 
| Rafael Espindola | 79858aa | 2013-10-29 17:07:16 +0000 | [diff] [blame] | 983 | MCSymbol *MOSymbol = getSymbol(GValue); | 
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 984 | const MCExpr *SymGotTlsLD = MCSymbolRefExpr::create( | 
| Eric Christopher | d498680 | 2015-02-10 00:44:17 +0000 | [diff] [blame] | 985 | MOSymbol, Subtarget->isPPC64() ? MCSymbolRefExpr::VK_PPC_GOT_TLSLD_LO | 
|  | 986 | : MCSymbolRefExpr::VK_PPC_GOT_TLSLD, | 
|  | 987 | OutContext); | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 988 | EmitToStreamer(*OutStreamer, | 
| Eric Christopher | d498680 | 2015-02-10 00:44:17 +0000 | [diff] [blame] | 989 | MCInstBuilder(Subtarget->isPPC64() ? PPC::ADDI8 : PPC::ADDI) | 
|  | 990 | .addReg(MI->getOperand(0).getReg()) | 
|  | 991 | .addReg(MI->getOperand(1).getReg()) | 
|  | 992 | .addExpr(SymGotTlsLD)); | 
| Bill Schmidt | 24b8dd6 | 2012-12-12 19:29:35 +0000 | [diff] [blame] | 993 | return; | 
|  | 994 | } | 
| Bill Schmidt | 82f1c77 | 2015-02-10 19:09:05 +0000 | [diff] [blame] | 995 | case PPC::GETtlsldADDR: | 
| Francis Visoiu Mistrih | 5df3bbf | 2017-12-14 10:03:09 +0000 | [diff] [blame] | 996 | // Transform: %x3 = GETtlsldADDR %x3, @sym | 
| Bill Schmidt | 82f1c77 | 2015-02-10 19:09:05 +0000 | [diff] [blame] | 997 | // Into: BL8_NOP_TLS __tls_get_addr(sym at tlsld) | 
|  | 998 | case PPC::GETtlsldADDR32: { | 
| Francis Visoiu Mistrih | 5df3bbf | 2017-12-14 10:03:09 +0000 | [diff] [blame] | 999 | // Transform: %r3 = GETtlsldADDR32 %r3, @sym | 
| Bill Schmidt | 82f1c77 | 2015-02-10 19:09:05 +0000 | [diff] [blame] | 1000 | // Into: BL_TLS __tls_get_addr(sym at tlsld)@PLT | 
|  | 1001 | EmitTlsCall(MI, MCSymbolRefExpr::VK_PPC_TLSLD); | 
|  | 1002 | return; | 
|  | 1003 | } | 
| Hal Finkel | 7c8ae53 | 2014-07-25 17:47:22 +0000 | [diff] [blame] | 1004 | case PPC::ADDISdtprelHA: | 
| Francis Visoiu Mistrih | 5df3bbf | 2017-12-14 10:03:09 +0000 | [diff] [blame] | 1005 | // Transform: %xd = ADDISdtprelHA %xs, @sym | 
| Francis Visoiu Mistrih | 9d7bb0c | 2017-11-28 17:15:09 +0000 | [diff] [blame] | 1006 | // Into:      %xd = ADDIS8 %xs, sym@dtprel@ha | 
| Hal Finkel | 7c8ae53 | 2014-07-25 17:47:22 +0000 | [diff] [blame] | 1007 | case PPC::ADDISdtprelHA32: { | 
| Francis Visoiu Mistrih | 5df3bbf | 2017-12-14 10:03:09 +0000 | [diff] [blame] | 1008 | // Transform: %rd = ADDISdtprelHA32 %rs, @sym | 
| Francis Visoiu Mistrih | 9d7bb0c | 2017-11-28 17:15:09 +0000 | [diff] [blame] | 1009 | // Into:      %rd = ADDIS %rs, sym@dtprel@ha | 
| Bill Schmidt | 24b8dd6 | 2012-12-12 19:29:35 +0000 | [diff] [blame] | 1010 | const MachineOperand &MO = MI->getOperand(2); | 
|  | 1011 | const GlobalValue *GValue = MO.getGlobal(); | 
| Rafael Espindola | 79858aa | 2013-10-29 17:07:16 +0000 | [diff] [blame] | 1012 | MCSymbol *MOSymbol = getSymbol(GValue); | 
| Bill Schmidt | 24b8dd6 | 2012-12-12 19:29:35 +0000 | [diff] [blame] | 1013 | const MCExpr *SymDtprel = | 
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 1014 | MCSymbolRefExpr::create(MOSymbol, MCSymbolRefExpr::VK_PPC_DTPREL_HA, | 
| Bill Schmidt | 24b8dd6 | 2012-12-12 19:29:35 +0000 | [diff] [blame] | 1015 | OutContext); | 
| Eric Christopher | d498680 | 2015-02-10 00:44:17 +0000 | [diff] [blame] | 1016 | EmitToStreamer( | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1017 | *OutStreamer, | 
| Eric Christopher | d498680 | 2015-02-10 00:44:17 +0000 | [diff] [blame] | 1018 | MCInstBuilder(Subtarget->isPPC64() ? PPC::ADDIS8 : PPC::ADDIS) | 
|  | 1019 | .addReg(MI->getOperand(0).getReg()) | 
| Hal Finkel | d2fd9be | 2015-08-30 07:44:05 +0000 | [diff] [blame] | 1020 | .addReg(MI->getOperand(1).getReg()) | 
| Eric Christopher | d498680 | 2015-02-10 00:44:17 +0000 | [diff] [blame] | 1021 | .addExpr(SymDtprel)); | 
| Bill Schmidt | 24b8dd6 | 2012-12-12 19:29:35 +0000 | [diff] [blame] | 1022 | return; | 
|  | 1023 | } | 
| Hal Finkel | 7c8ae53 | 2014-07-25 17:47:22 +0000 | [diff] [blame] | 1024 | case PPC::ADDIdtprelL: | 
| Francis Visoiu Mistrih | 5df3bbf | 2017-12-14 10:03:09 +0000 | [diff] [blame] | 1025 | // Transform: %xd = ADDIdtprelL %xs, @sym | 
| Francis Visoiu Mistrih | 9d7bb0c | 2017-11-28 17:15:09 +0000 | [diff] [blame] | 1026 | // Into:      %xd = ADDI8 %xs, sym@dtprel@l | 
| Hal Finkel | 7c8ae53 | 2014-07-25 17:47:22 +0000 | [diff] [blame] | 1027 | case PPC::ADDIdtprelL32: { | 
| Francis Visoiu Mistrih | 5df3bbf | 2017-12-14 10:03:09 +0000 | [diff] [blame] | 1028 | // Transform: %rd = ADDIdtprelL32 %rs, @sym | 
| Francis Visoiu Mistrih | 9d7bb0c | 2017-11-28 17:15:09 +0000 | [diff] [blame] | 1029 | // Into:      %rd = ADDI %rs, sym@dtprel@l | 
| Bill Schmidt | 24b8dd6 | 2012-12-12 19:29:35 +0000 | [diff] [blame] | 1030 | const MachineOperand &MO = MI->getOperand(2); | 
|  | 1031 | const GlobalValue *GValue = MO.getGlobal(); | 
| Rafael Espindola | 79858aa | 2013-10-29 17:07:16 +0000 | [diff] [blame] | 1032 | MCSymbol *MOSymbol = getSymbol(GValue); | 
| Bill Schmidt | 24b8dd6 | 2012-12-12 19:29:35 +0000 | [diff] [blame] | 1033 | const MCExpr *SymDtprel = | 
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 1034 | MCSymbolRefExpr::create(MOSymbol, MCSymbolRefExpr::VK_PPC_DTPREL_LO, | 
| Bill Schmidt | 24b8dd6 | 2012-12-12 19:29:35 +0000 | [diff] [blame] | 1035 | OutContext); | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1036 | EmitToStreamer(*OutStreamer, | 
| Eric Christopher | d498680 | 2015-02-10 00:44:17 +0000 | [diff] [blame] | 1037 | MCInstBuilder(Subtarget->isPPC64() ? PPC::ADDI8 : PPC::ADDI) | 
|  | 1038 | .addReg(MI->getOperand(0).getReg()) | 
|  | 1039 | .addReg(MI->getOperand(1).getReg()) | 
|  | 1040 | .addExpr(SymDtprel)); | 
| Bill Schmidt | 24b8dd6 | 2012-12-12 19:29:35 +0000 | [diff] [blame] | 1041 | return; | 
|  | 1042 | } | 
| Ulrich Weigand | d5ebc62 | 2013-07-03 17:05:42 +0000 | [diff] [blame] | 1043 | case PPC::MFOCRF: | 
|  | 1044 | case PPC::MFOCRF8: | 
| Eric Christopher | d498680 | 2015-02-10 00:44:17 +0000 | [diff] [blame] | 1045 | if (!Subtarget->hasMFOCRF()) { | 
| Francis Visoiu Mistrih | 9d7bb0c | 2017-11-28 17:15:09 +0000 | [diff] [blame] | 1046 | // Transform: %r3 = MFOCRF %cr7 | 
|  | 1047 | // Into:      %r3 = MFCR   ;; cr7 | 
| Ulrich Weigand | d5ebc62 | 2013-07-03 17:05:42 +0000 | [diff] [blame] | 1048 | unsigned NewOpcode = | 
|  | 1049 | MI->getOpcode() == PPC::MFOCRF ? PPC::MFCR : PPC::MFCR8; | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1050 | OutStreamer->AddComment(PPCInstPrinter:: | 
|  | 1051 | getRegisterName(MI->getOperand(1).getReg())); | 
|  | 1052 | EmitToStreamer(*OutStreamer, MCInstBuilder(NewOpcode) | 
| Ulrich Weigand | d5ebc62 | 2013-07-03 17:05:42 +0000 | [diff] [blame] | 1053 | .addReg(MI->getOperand(0).getReg())); | 
|  | 1054 | return; | 
|  | 1055 | } | 
|  | 1056 | break; | 
| Ulrich Weigand | 49f487e | 2013-07-03 17:59:07 +0000 | [diff] [blame] | 1057 | case PPC::MTOCRF: | 
|  | 1058 | case PPC::MTOCRF8: | 
| Eric Christopher | d498680 | 2015-02-10 00:44:17 +0000 | [diff] [blame] | 1059 | if (!Subtarget->hasMFOCRF()) { | 
| Francis Visoiu Mistrih | 9d7bb0c | 2017-11-28 17:15:09 +0000 | [diff] [blame] | 1060 | // Transform: %cr7 = MTOCRF %r3 | 
|  | 1061 | // Into:      MTCRF mask, %r3 ;; cr7 | 
| Ulrich Weigand | 49f487e | 2013-07-03 17:59:07 +0000 | [diff] [blame] | 1062 | unsigned NewOpcode = | 
|  | 1063 | MI->getOpcode() == PPC::MTOCRF ? PPC::MTCRF : PPC::MTCRF8; | 
|  | 1064 | unsigned Mask = 0x80 >> OutContext.getRegisterInfo() | 
|  | 1065 | ->getEncodingValue(MI->getOperand(0).getReg()); | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1066 | OutStreamer->AddComment(PPCInstPrinter:: | 
|  | 1067 | getRegisterName(MI->getOperand(0).getReg())); | 
|  | 1068 | EmitToStreamer(*OutStreamer, MCInstBuilder(NewOpcode) | 
|  | 1069 | .addImm(Mask) | 
|  | 1070 | .addReg(MI->getOperand(1).getReg())); | 
| Ulrich Weigand | 49f487e | 2013-07-03 17:59:07 +0000 | [diff] [blame] | 1071 | return; | 
|  | 1072 | } | 
|  | 1073 | break; | 
| Bill Schmidt | 48fc20a | 2013-07-01 20:52:27 +0000 | [diff] [blame] | 1074 | case PPC::LD: | 
|  | 1075 | case PPC::STD: | 
| Bill Schmidt | 8d86fe7 | 2013-08-30 15:18:11 +0000 | [diff] [blame] | 1076 | case PPC::LWA_32: | 
| Bill Schmidt | 48fc20a | 2013-07-01 20:52:27 +0000 | [diff] [blame] | 1077 | case PPC::LWA: { | 
|  | 1078 | // Verify alignment is legal, so we don't create relocations | 
|  | 1079 | // that can't be supported. | 
|  | 1080 | // FIXME:  This test is currently disabled for Darwin.  The test | 
|  | 1081 | // suite shows a handful of test cases that fail this check for | 
|  | 1082 | // Darwin.  Those need to be investigated before this sanity test | 
|  | 1083 | // can be enabled for those subtargets. | 
| Eric Christopher | d498680 | 2015-02-10 00:44:17 +0000 | [diff] [blame] | 1084 | if (!Subtarget->isDarwin()) { | 
| Bill Schmidt | 48fc20a | 2013-07-01 20:52:27 +0000 | [diff] [blame] | 1085 | unsigned OpNum = (MI->getOpcode() == PPC::STD) ? 2 : 1; | 
|  | 1086 | const MachineOperand &MO = MI->getOperand(OpNum); | 
|  | 1087 | if (MO.isGlobal() && MO.getGlobal()->getAlignment() < 4) | 
|  | 1088 | llvm_unreachable("Global must be word-aligned for LD, STD, LWA!"); | 
|  | 1089 | } | 
|  | 1090 | // Now process the instruction normally. | 
|  | 1091 | break; | 
|  | 1092 | } | 
| Dale Johannesen | bc41cfa | 2010-04-26 20:05:01 +0000 | [diff] [blame] | 1093 | } | 
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 1094 |  | 
| Justin Hibbits | a88b605 | 2014-11-12 15:16:30 +0000 | [diff] [blame] | 1095 | LowerPPCMachineInstrToMCInst(MI, TmpInst, *this, isDarwin); | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1096 | EmitToStreamer(*OutStreamer, TmpInst); | 
| Misha Brukman | e05203f | 2004-06-21 16:55:25 +0000 | [diff] [blame] | 1097 | } | 
|  | 1098 |  | 
| Tim Shen | 918ed87 | 2017-02-10 21:03:24 +0000 | [diff] [blame] | 1099 | void PPCLinuxAsmPrinter::EmitInstruction(const MachineInstr *MI) { | 
|  | 1100 | if (!Subtarget->isPPC64()) | 
|  | 1101 | return PPCAsmPrinter::EmitInstruction(MI); | 
|  | 1102 |  | 
|  | 1103 | switch (MI->getOpcode()) { | 
|  | 1104 | default: | 
|  | 1105 | return PPCAsmPrinter::EmitInstruction(MI); | 
|  | 1106 | case TargetOpcode::PATCHABLE_FUNCTION_ENTER: { | 
|  | 1107 | // .begin: | 
|  | 1108 | //   b .end # lis 0, FuncId[16..32] | 
|  | 1109 | //   nop    # li  0, FuncId[0..15] | 
|  | 1110 | //   std 0, -8(1) | 
|  | 1111 | //   mflr 0 | 
|  | 1112 | //   bl __xray_FunctionEntry | 
|  | 1113 | //   mtlr 0 | 
|  | 1114 | // .end: | 
|  | 1115 | // | 
|  | 1116 | // Update compiler-rt/lib/xray/xray_powerpc64.cc accordingly when number | 
|  | 1117 | // of instructions change. | 
|  | 1118 | MCSymbol *BeginOfSled = OutContext.createTempSymbol(); | 
|  | 1119 | MCSymbol *EndOfSled = OutContext.createTempSymbol(); | 
|  | 1120 | OutStreamer->EmitLabel(BeginOfSled); | 
|  | 1121 | EmitToStreamer(*OutStreamer, | 
|  | 1122 | MCInstBuilder(PPC::B).addExpr( | 
|  | 1123 | MCSymbolRefExpr::create(EndOfSled, OutContext))); | 
|  | 1124 | EmitToStreamer(*OutStreamer, MCInstBuilder(PPC::NOP)); | 
|  | 1125 | EmitToStreamer( | 
|  | 1126 | *OutStreamer, | 
|  | 1127 | MCInstBuilder(PPC::STD).addReg(PPC::X0).addImm(-8).addReg(PPC::X1)); | 
|  | 1128 | EmitToStreamer(*OutStreamer, MCInstBuilder(PPC::MFLR8).addReg(PPC::X0)); | 
|  | 1129 | EmitToStreamer(*OutStreamer, | 
|  | 1130 | MCInstBuilder(PPC::BL8_NOP) | 
|  | 1131 | .addExpr(MCSymbolRefExpr::create( | 
|  | 1132 | OutContext.getOrCreateSymbol("__xray_FunctionEntry"), | 
|  | 1133 | OutContext))); | 
|  | 1134 | EmitToStreamer(*OutStreamer, MCInstBuilder(PPC::MTLR8).addReg(PPC::X0)); | 
|  | 1135 | OutStreamer->EmitLabel(EndOfSled); | 
|  | 1136 | recordSled(BeginOfSled, *MI, SledKind::FUNCTION_ENTER); | 
|  | 1137 | break; | 
|  | 1138 | } | 
| Tim Shen | cee7536 | 2017-09-22 18:30:02 +0000 | [diff] [blame] | 1139 | case TargetOpcode::PATCHABLE_RET: { | 
|  | 1140 | unsigned RetOpcode = MI->getOperand(0).getImm(); | 
|  | 1141 | MCInst RetInst; | 
|  | 1142 | RetInst.setOpcode(RetOpcode); | 
|  | 1143 | for (const auto &MO : | 
|  | 1144 | make_range(std::next(MI->operands_begin()), MI->operands_end())) { | 
|  | 1145 | MCOperand MCOp; | 
|  | 1146 | if (LowerPPCMachineOperandToMCOperand(MO, MCOp, *this, false)) | 
|  | 1147 | RetInst.addOperand(MCOp); | 
|  | 1148 | } | 
|  | 1149 |  | 
|  | 1150 | bool IsConditional; | 
|  | 1151 | if (RetOpcode == PPC::BCCLR) { | 
|  | 1152 | IsConditional = true; | 
|  | 1153 | } else if (RetOpcode == PPC::TCRETURNdi8 || RetOpcode == PPC::TCRETURNri8 || | 
|  | 1154 | RetOpcode == PPC::TCRETURNai8) { | 
|  | 1155 | break; | 
|  | 1156 | } else if (RetOpcode == PPC::BLR8 || RetOpcode == PPC::TAILB8) { | 
|  | 1157 | IsConditional = false; | 
|  | 1158 | } else { | 
|  | 1159 | EmitToStreamer(*OutStreamer, RetInst); | 
|  | 1160 | break; | 
|  | 1161 | } | 
|  | 1162 |  | 
|  | 1163 | MCSymbol *FallthroughLabel; | 
|  | 1164 | if (IsConditional) { | 
|  | 1165 | // Before: | 
|  | 1166 | //   bgtlr cr0 | 
|  | 1167 | // | 
|  | 1168 | // After: | 
|  | 1169 | //   ble cr0, .end | 
|  | 1170 | // .p2align 3 | 
|  | 1171 | // .begin: | 
|  | 1172 | //   blr    # lis 0, FuncId[16..32] | 
|  | 1173 | //   nop    # li  0, FuncId[0..15] | 
|  | 1174 | //   std 0, -8(1) | 
|  | 1175 | //   mflr 0 | 
|  | 1176 | //   bl __xray_FunctionExit | 
|  | 1177 | //   mtlr 0 | 
|  | 1178 | //   blr | 
|  | 1179 | // .end: | 
|  | 1180 | // | 
|  | 1181 | // Update compiler-rt/lib/xray/xray_powerpc64.cc accordingly when number | 
|  | 1182 | // of instructions change. | 
|  | 1183 | FallthroughLabel = OutContext.createTempSymbol(); | 
|  | 1184 | EmitToStreamer( | 
|  | 1185 | *OutStreamer, | 
|  | 1186 | MCInstBuilder(PPC::BCC) | 
|  | 1187 | .addImm(PPC::InvertPredicate( | 
|  | 1188 | static_cast<PPC::Predicate>(MI->getOperand(1).getImm()))) | 
|  | 1189 | .addReg(MI->getOperand(2).getReg()) | 
|  | 1190 | .addExpr(MCSymbolRefExpr::create(FallthroughLabel, OutContext))); | 
|  | 1191 | RetInst = MCInst(); | 
|  | 1192 | RetInst.setOpcode(PPC::BLR8); | 
|  | 1193 | } | 
| Tim Shen | 918ed87 | 2017-02-10 21:03:24 +0000 | [diff] [blame] | 1194 | // .p2align 3 | 
|  | 1195 | // .begin: | 
|  | 1196 | //   b(lr)? # lis 0, FuncId[16..32] | 
|  | 1197 | //   nop    # li  0, FuncId[0..15] | 
|  | 1198 | //   std 0, -8(1) | 
|  | 1199 | //   mflr 0 | 
|  | 1200 | //   bl __xray_FunctionExit | 
|  | 1201 | //   mtlr 0 | 
| Tim Shen | 918ed87 | 2017-02-10 21:03:24 +0000 | [diff] [blame] | 1202 | //   b(lr)? | 
|  | 1203 | // | 
|  | 1204 | // Update compiler-rt/lib/xray/xray_powerpc64.cc accordingly when number | 
|  | 1205 | // of instructions change. | 
| Tim Shen | 918ed87 | 2017-02-10 21:03:24 +0000 | [diff] [blame] | 1206 | OutStreamer->EmitCodeAlignment(8); | 
|  | 1207 | MCSymbol *BeginOfSled = OutContext.createTempSymbol(); | 
|  | 1208 | OutStreamer->EmitLabel(BeginOfSled); | 
| Tim Shen | cee7536 | 2017-09-22 18:30:02 +0000 | [diff] [blame] | 1209 | EmitToStreamer(*OutStreamer, RetInst); | 
| Tim Shen | 918ed87 | 2017-02-10 21:03:24 +0000 | [diff] [blame] | 1210 | EmitToStreamer(*OutStreamer, MCInstBuilder(PPC::NOP)); | 
|  | 1211 | EmitToStreamer( | 
|  | 1212 | *OutStreamer, | 
|  | 1213 | MCInstBuilder(PPC::STD).addReg(PPC::X0).addImm(-8).addReg(PPC::X1)); | 
|  | 1214 | EmitToStreamer(*OutStreamer, MCInstBuilder(PPC::MFLR8).addReg(PPC::X0)); | 
|  | 1215 | EmitToStreamer(*OutStreamer, | 
|  | 1216 | MCInstBuilder(PPC::BL8_NOP) | 
|  | 1217 | .addExpr(MCSymbolRefExpr::create( | 
|  | 1218 | OutContext.getOrCreateSymbol("__xray_FunctionExit"), | 
|  | 1219 | OutContext))); | 
|  | 1220 | EmitToStreamer(*OutStreamer, MCInstBuilder(PPC::MTLR8).addReg(PPC::X0)); | 
| Tim Shen | cee7536 | 2017-09-22 18:30:02 +0000 | [diff] [blame] | 1221 | EmitToStreamer(*OutStreamer, RetInst); | 
|  | 1222 | if (IsConditional) | 
|  | 1223 | OutStreamer->EmitLabel(FallthroughLabel); | 
| Tim Shen | 918ed87 | 2017-02-10 21:03:24 +0000 | [diff] [blame] | 1224 | recordSled(BeginOfSled, *MI, SledKind::FUNCTION_EXIT); | 
|  | 1225 | break; | 
|  | 1226 | } | 
| Tim Shen | cee7536 | 2017-09-22 18:30:02 +0000 | [diff] [blame] | 1227 | case TargetOpcode::PATCHABLE_FUNCTION_EXIT: | 
|  | 1228 | llvm_unreachable("PATCHABLE_FUNCTION_EXIT should never be emitted"); | 
| Tim Shen | 918ed87 | 2017-02-10 21:03:24 +0000 | [diff] [blame] | 1229 | case TargetOpcode::PATCHABLE_TAIL_CALL: | 
| Dean Michael Berris | 711dec2 | 2017-09-08 01:47:56 +0000 | [diff] [blame] | 1230 | // TODO: Define a trampoline `__xray_FunctionTailExit` and differentiate a | 
|  | 1231 | // normal function exit from a tail exit. | 
| Tim Shen | cee7536 | 2017-09-22 18:30:02 +0000 | [diff] [blame] | 1232 | llvm_unreachable("Tail call is handled in the normal case. See comments " | 
| Tim Shen | 21a960b | 2017-02-10 21:17:35 +0000 | [diff] [blame] | 1233 | "around this assert."); | 
| Tim Shen | 918ed87 | 2017-02-10 21:03:24 +0000 | [diff] [blame] | 1234 | } | 
|  | 1235 | } | 
|  | 1236 |  | 
| Hal Finkel | 3ee2af7 | 2014-07-18 23:29:49 +0000 | [diff] [blame] | 1237 | void PPCLinuxAsmPrinter::EmitStartOfAsmFile(Module &M) { | 
| Eric Christopher | 5c0e009 | 2015-02-17 07:21:21 +0000 | [diff] [blame] | 1238 | if (static_cast<const PPCTargetMachine &>(TM).isELFv2ABI()) { | 
| Ulrich Weigand | aa0ac4f | 2014-07-20 23:31:44 +0000 | [diff] [blame] | 1239 | PPCTargetStreamer *TS = | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1240 | static_cast<PPCTargetStreamer *>(OutStreamer->getTargetStreamer()); | 
| Ulrich Weigand | aa0ac4f | 2014-07-20 23:31:44 +0000 | [diff] [blame] | 1241 |  | 
|  | 1242 | if (TS) | 
|  | 1243 | TS->emitAbiVersion(2); | 
|  | 1244 | } | 
|  | 1245 |  | 
| Eric Christopher | 5c0e009 | 2015-02-17 07:21:21 +0000 | [diff] [blame] | 1246 | if (static_cast<const PPCTargetMachine &>(TM).isPPC64() || | 
| Rafael Espindola | 0db11db | 2016-06-27 14:19:45 +0000 | [diff] [blame] | 1247 | !isPositionIndependent()) | 
| Hal Finkel | 3ee2af7 | 2014-07-18 23:29:49 +0000 | [diff] [blame] | 1248 | return AsmPrinter::EmitStartOfAsmFile(M); | 
|  | 1249 |  | 
| Davide Italiano | 4cccc48 | 2016-06-17 18:07:14 +0000 | [diff] [blame] | 1250 | if (M.getPICLevel() == PICLevel::SmallPIC) | 
| Justin Hibbits | a88b605 | 2014-11-12 15:16:30 +0000 | [diff] [blame] | 1251 | return AsmPrinter::EmitStartOfAsmFile(M); | 
|  | 1252 |  | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1253 | OutStreamer->SwitchSection(OutContext.getELFSection( | 
| Rafael Espindola | ba31e27 | 2015-01-29 17:33:21 +0000 | [diff] [blame] | 1254 | ".got2", ELF::SHT_PROGBITS, ELF::SHF_WRITE | ELF::SHF_ALLOC)); | 
| Hal Finkel | 3ee2af7 | 2014-07-18 23:29:49 +0000 | [diff] [blame] | 1255 |  | 
| Jim Grosbach | 6f48200 | 2015-05-18 18:43:14 +0000 | [diff] [blame] | 1256 | MCSymbol *TOCSym = OutContext.getOrCreateSymbol(Twine(".LTOC")); | 
|  | 1257 | MCSymbol *CurrentPos = OutContext.createTempSymbol(); | 
| Hal Finkel | 3ee2af7 | 2014-07-18 23:29:49 +0000 | [diff] [blame] | 1258 |  | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1259 | OutStreamer->EmitLabel(CurrentPos); | 
| Hal Finkel | 3ee2af7 | 2014-07-18 23:29:49 +0000 | [diff] [blame] | 1260 |  | 
|  | 1261 | // The GOT pointer points to the middle of the GOT, in order to reference the | 
|  | 1262 | // entire 64kB range.  0x8000 is the midpoint. | 
|  | 1263 | const MCExpr *tocExpr = | 
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 1264 | MCBinaryExpr::createAdd(MCSymbolRefExpr::create(CurrentPos, OutContext), | 
|  | 1265 | MCConstantExpr::create(0x8000, OutContext), | 
| Hal Finkel | 3ee2af7 | 2014-07-18 23:29:49 +0000 | [diff] [blame] | 1266 | OutContext); | 
|  | 1267 |  | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1268 | OutStreamer->EmitAssignment(TOCSym, tocExpr); | 
| Hal Finkel | 3ee2af7 | 2014-07-18 23:29:49 +0000 | [diff] [blame] | 1269 |  | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1270 | OutStreamer->SwitchSection(getObjFileLowering().getTextSection()); | 
| Hal Finkel | 3ee2af7 | 2014-07-18 23:29:49 +0000 | [diff] [blame] | 1271 | } | 
|  | 1272 |  | 
| Chris Lattner | bc1e6f0 | 2010-01-27 07:21:55 +0000 | [diff] [blame] | 1273 | void PPCLinuxAsmPrinter::EmitFunctionEntryLabel() { | 
| Hal Finkel | 3ee2af7 | 2014-07-18 23:29:49 +0000 | [diff] [blame] | 1274 | // linux/ppc32 - Normal entry label. | 
| NAKAMURA Takumi | 10c80e7 | 2015-09-22 11:19:03 +0000 | [diff] [blame] | 1275 | if (!Subtarget->isPPC64() && | 
| Rafael Espindola | 0db11db | 2016-06-27 14:19:45 +0000 | [diff] [blame] | 1276 | (!isPositionIndependent() || | 
| Matthias Braun | f1caa28 | 2017-12-15 22:22:58 +0000 | [diff] [blame] | 1277 | MF->getFunction().getParent()->getPICLevel() == PICLevel::SmallPIC)) | 
| Chris Lattner | bc1e6f0 | 2010-01-27 07:21:55 +0000 | [diff] [blame] | 1278 | return AsmPrinter::EmitFunctionEntryLabel(); | 
| Hal Finkel | 3ee2af7 | 2014-07-18 23:29:49 +0000 | [diff] [blame] | 1279 |  | 
| Eric Christopher | d498680 | 2015-02-10 00:44:17 +0000 | [diff] [blame] | 1280 | if (!Subtarget->isPPC64()) { | 
| Hal Finkel | 3ee2af7 | 2014-07-18 23:29:49 +0000 | [diff] [blame] | 1281 | const PPCFunctionInfo *PPCFI = MF->getInfo<PPCFunctionInfo>(); | 
| Strahinja Petrovic | 06cf6a6 | 2018-03-27 11:23:53 +0000 | [diff] [blame] | 1282 | if (PPCFI->usesPICBase() && !Subtarget->isSecurePlt()) { | 
| Hal Finkel | 3ee2af7 | 2014-07-18 23:29:49 +0000 | [diff] [blame] | 1283 | MCSymbol *RelocSymbol = PPCFI->getPICOffsetSymbol(); | 
|  | 1284 | MCSymbol *PICBase = MF->getPICBaseSymbol(); | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1285 | OutStreamer->EmitLabel(RelocSymbol); | 
| Hal Finkel | 3ee2af7 | 2014-07-18 23:29:49 +0000 | [diff] [blame] | 1286 |  | 
|  | 1287 | const MCExpr *OffsExpr = | 
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 1288 | MCBinaryExpr::createSub( | 
|  | 1289 | MCSymbolRefExpr::create(OutContext.getOrCreateSymbol(Twine(".LTOC")), | 
| Hal Finkel | 3ee2af7 | 2014-07-18 23:29:49 +0000 | [diff] [blame] | 1290 | OutContext), | 
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 1291 | MCSymbolRefExpr::create(PICBase, OutContext), | 
| Hal Finkel | 3ee2af7 | 2014-07-18 23:29:49 +0000 | [diff] [blame] | 1292 | OutContext); | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1293 | OutStreamer->EmitValue(OffsExpr, 4); | 
|  | 1294 | OutStreamer->EmitLabel(CurrentFnSym); | 
| Hal Finkel | 3ee2af7 | 2014-07-18 23:29:49 +0000 | [diff] [blame] | 1295 | return; | 
|  | 1296 | } else | 
|  | 1297 | return AsmPrinter::EmitFunctionEntryLabel(); | 
|  | 1298 | } | 
| Ulrich Weigand | aa0ac4f | 2014-07-20 23:31:44 +0000 | [diff] [blame] | 1299 |  | 
|  | 1300 | // ELFv2 ABI - Normal entry label. | 
| Ulrich Weigand | 46ff7ec | 2016-01-13 13:12:23 +0000 | [diff] [blame] | 1301 | if (Subtarget->isELFv2ABI()) { | 
|  | 1302 | // In the Large code model, we allow arbitrary displacements between | 
|  | 1303 | // the text section and its associated TOC section.  We place the | 
| Hiroshi Inoue | 0f7f59f | 2018-06-13 08:54:13 +0000 | [diff] [blame] | 1304 | // full 8-byte offset to the TOC in memory immediately preceding | 
| Ulrich Weigand | 46ff7ec | 2016-01-13 13:12:23 +0000 | [diff] [blame] | 1305 | // the function global entry point. | 
|  | 1306 | if (TM.getCodeModel() == CodeModel::Large | 
|  | 1307 | && !MF->getRegInfo().use_empty(PPC::X2)) { | 
|  | 1308 | const PPCFunctionInfo *PPCFI = MF->getInfo<PPCFunctionInfo>(); | 
|  | 1309 |  | 
|  | 1310 | MCSymbol *TOCSymbol = OutContext.getOrCreateSymbol(StringRef(".TOC.")); | 
|  | 1311 | MCSymbol *GlobalEPSymbol = PPCFI->getGlobalEPSymbol(); | 
|  | 1312 | const MCExpr *TOCDeltaExpr = | 
|  | 1313 | MCBinaryExpr::createSub(MCSymbolRefExpr::create(TOCSymbol, OutContext), | 
|  | 1314 | MCSymbolRefExpr::create(GlobalEPSymbol, | 
|  | 1315 | OutContext), | 
|  | 1316 | OutContext); | 
|  | 1317 |  | 
|  | 1318 | OutStreamer->EmitLabel(PPCFI->getTOCOffsetSymbol()); | 
|  | 1319 | OutStreamer->EmitValue(TOCDeltaExpr, 8); | 
|  | 1320 | } | 
| Ulrich Weigand | aa0ac4f | 2014-07-20 23:31:44 +0000 | [diff] [blame] | 1321 | return AsmPrinter::EmitFunctionEntryLabel(); | 
| Ulrich Weigand | 46ff7ec | 2016-01-13 13:12:23 +0000 | [diff] [blame] | 1322 | } | 
| Ulrich Weigand | aa0ac4f | 2014-07-20 23:31:44 +0000 | [diff] [blame] | 1323 |  | 
| Chris Lattner | bc1e6f0 | 2010-01-27 07:21:55 +0000 | [diff] [blame] | 1324 | // Emit an official procedure descriptor. | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1325 | MCSectionSubPair Current = OutStreamer->getCurrentSection(); | 
| Rafael Espindola | 0709a7b | 2015-05-21 19:20:38 +0000 | [diff] [blame] | 1326 | MCSectionELF *Section = OutStreamer->getContext().getELFSection( | 
| Rafael Espindola | ba31e27 | 2015-01-29 17:33:21 +0000 | [diff] [blame] | 1327 | ".opd", ELF::SHT_PROGBITS, ELF::SHF_WRITE | ELF::SHF_ALLOC); | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1328 | OutStreamer->SwitchSection(Section); | 
|  | 1329 | OutStreamer->EmitLabel(CurrentFnSym); | 
|  | 1330 | OutStreamer->EmitValueToAlignment(8); | 
| Rafael Espindola | 092b619 | 2015-03-05 19:47:50 +0000 | [diff] [blame] | 1331 | MCSymbol *Symbol1 = CurrentFnSymForSize; | 
| Adhemerval Zanella | f2aceda | 2012-10-25 12:27:42 +0000 | [diff] [blame] | 1332 | // Generates a R_PPC64_ADDR64 (from FK_DATA_8) relocation for the function | 
|  | 1333 | // entry point. | 
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 1334 | OutStreamer->EmitValue(MCSymbolRefExpr::create(Symbol1, OutContext), | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1335 | 8 /*size*/); | 
| Jim Grosbach | 6f48200 | 2015-05-18 18:43:14 +0000 | [diff] [blame] | 1336 | MCSymbol *Symbol2 = OutContext.getOrCreateSymbol(StringRef(".TOC.")); | 
| Adhemerval Zanella | f2aceda | 2012-10-25 12:27:42 +0000 | [diff] [blame] | 1337 | // Generates a R_PPC64_TOC relocation for TOC base insertion. | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1338 | OutStreamer->EmitValue( | 
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 1339 | MCSymbolRefExpr::create(Symbol2, MCSymbolRefExpr::VK_PPC_TOCBASE, OutContext), | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1340 | 8/*size*/); | 
| Roman Divacky | d4f6f42 | 2012-09-18 16:55:29 +0000 | [diff] [blame] | 1341 | // Emit a null environment pointer. | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1342 | OutStreamer->EmitIntValue(0, 8 /* size */); | 
|  | 1343 | OutStreamer->SwitchSection(Current.first, Current.second); | 
| Chris Lattner | bc1e6f0 | 2010-01-27 07:21:55 +0000 | [diff] [blame] | 1344 | } | 
|  | 1345 |  | 
| Tilmann Scheller | d1aaa32 | 2009-08-15 11:54:46 +0000 | [diff] [blame] | 1346 | bool PPCLinuxAsmPrinter::doFinalization(Module &M) { | 
| Mehdi Amini | bd7287e | 2015-07-16 06:11:10 +0000 | [diff] [blame] | 1347 | const DataLayout &DL = getDataLayout(); | 
| Tilmann Scheller | d1aaa32 | 2009-08-15 11:54:46 +0000 | [diff] [blame] | 1348 |  | 
| Mehdi Amini | bd7287e | 2015-07-16 06:11:10 +0000 | [diff] [blame] | 1349 | bool isPPC64 = DL.getPointerSizeInBits() == 64; | 
| Tilmann Scheller | d1aaa32 | 2009-08-15 11:54:46 +0000 | [diff] [blame] | 1350 |  | 
| Rafael Espindola | a17151a | 2013-10-08 13:08:17 +0000 | [diff] [blame] | 1351 | PPCTargetStreamer &TS = | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1352 | static_cast<PPCTargetStreamer &>(*OutStreamer->getTargetStreamer()); | 
| Rafael Espindola | a17151a | 2013-10-08 13:08:17 +0000 | [diff] [blame] | 1353 |  | 
| Hal Finkel | 3ee2af7 | 2014-07-18 23:29:49 +0000 | [diff] [blame] | 1354 | if (!TOC.empty()) { | 
| Rafael Espindola | 0709a7b | 2015-05-21 19:20:38 +0000 | [diff] [blame] | 1355 | MCSectionELF *Section; | 
|  | 1356 |  | 
| Hal Finkel | 3ee2af7 | 2014-07-18 23:29:49 +0000 | [diff] [blame] | 1357 | if (isPPC64) | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1358 | Section = OutStreamer->getContext().getELFSection( | 
| Rafael Espindola | ba31e27 | 2015-01-29 17:33:21 +0000 | [diff] [blame] | 1359 | ".toc", ELF::SHT_PROGBITS, ELF::SHF_WRITE | ELF::SHF_ALLOC); | 
|  | 1360 | else | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1361 | Section = OutStreamer->getContext().getELFSection( | 
| Rafael Espindola | ba31e27 | 2015-01-29 17:33:21 +0000 | [diff] [blame] | 1362 | ".got2", ELF::SHT_PROGBITS, ELF::SHF_WRITE | ELF::SHF_ALLOC); | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1363 | OutStreamer->SwitchSection(Section); | 
| Tilmann Scheller | d1aaa32 | 2009-08-15 11:54:46 +0000 | [diff] [blame] | 1364 |  | 
| Ulrich Weigand | 2c93acd | 2012-11-12 19:13:24 +0000 | [diff] [blame] | 1365 | for (MapVector<MCSymbol*, MCSymbol*>::iterator I = TOC.begin(), | 
| Chris Lattner | 3d571ff | 2010-01-16 02:09:06 +0000 | [diff] [blame] | 1366 | E = TOC.end(); I != E; ++I) { | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1367 | OutStreamer->EmitLabel(I->second); | 
| Ulrich Weigand | c8c2ea2 | 2014-10-31 10:33:14 +0000 | [diff] [blame] | 1368 | MCSymbol *S = I->first; | 
| Hal Finkel | 18d0e3f4 | 2016-08-30 01:43:38 +0000 | [diff] [blame] | 1369 | if (isPPC64) { | 
| Hal Finkel | 3ee2af7 | 2014-07-18 23:29:49 +0000 | [diff] [blame] | 1370 | TS.emitTCEntry(*S); | 
| Hal Finkel | 18d0e3f4 | 2016-08-30 01:43:38 +0000 | [diff] [blame] | 1371 | } else { | 
|  | 1372 | OutStreamer->EmitValueToAlignment(4); | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1373 | OutStreamer->EmitSymbolValue(S, 4); | 
| Hal Finkel | 18d0e3f4 | 2016-08-30 01:43:38 +0000 | [diff] [blame] | 1374 | } | 
| Tilmann Scheller | d1aaa32 | 2009-08-15 11:54:46 +0000 | [diff] [blame] | 1375 | } | 
|  | 1376 | } | 
|  | 1377 |  | 
|  | 1378 | return AsmPrinter::doFinalization(M); | 
|  | 1379 | } | 
| Jim Laskey | 28663c7 | 2006-12-21 20:26:09 +0000 | [diff] [blame] | 1380 |  | 
| Ulrich Weigand | aa0ac4f | 2014-07-20 23:31:44 +0000 | [diff] [blame] | 1381 | /// EmitFunctionBodyStart - Emit a global entry point prefix for ELFv2. | 
|  | 1382 | void PPCLinuxAsmPrinter::EmitFunctionBodyStart() { | 
|  | 1383 | // In the ELFv2 ABI, in functions that use the TOC register, we need to | 
|  | 1384 | // provide two entry points.  The ABI guarantees that when calling the | 
|  | 1385 | // local entry point, r2 is set up by the caller to contain the TOC base | 
|  | 1386 | // for this function, and when calling the global entry point, r12 is set | 
|  | 1387 | // up by the caller to hold the address of the global entry point.  We | 
|  | 1388 | // thus emit a prefix sequence along the following lines: | 
|  | 1389 | // | 
|  | 1390 | // func: | 
| Ulrich Weigand | 46ff7ec | 2016-01-13 13:12:23 +0000 | [diff] [blame] | 1391 | // .Lfunc_gepNN: | 
| Ulrich Weigand | aa0ac4f | 2014-07-20 23:31:44 +0000 | [diff] [blame] | 1392 | //         # global entry point | 
| Ulrich Weigand | 46ff7ec | 2016-01-13 13:12:23 +0000 | [diff] [blame] | 1393 | //         addis r2,r12,(.TOC.-.Lfunc_gepNN)@ha | 
|  | 1394 | //         addi  r2,r2,(.TOC.-.Lfunc_gepNN)@l | 
|  | 1395 | // .Lfunc_lepNN: | 
|  | 1396 | //         .localentry func, .Lfunc_lepNN-.Lfunc_gepNN | 
|  | 1397 | //         # local entry point, followed by function body | 
|  | 1398 | // | 
|  | 1399 | // For the Large code model, we create | 
|  | 1400 | // | 
|  | 1401 | // .Lfunc_tocNN: | 
|  | 1402 | //         .quad .TOC.-.Lfunc_gepNN      # done by EmitFunctionEntryLabel | 
|  | 1403 | // func: | 
|  | 1404 | // .Lfunc_gepNN: | 
|  | 1405 | //         # global entry point | 
|  | 1406 | //         ld    r2,.Lfunc_tocNN-.Lfunc_gepNN(r12) | 
|  | 1407 | //         add   r2,r2,r12 | 
|  | 1408 | // .Lfunc_lepNN: | 
|  | 1409 | //         .localentry func, .Lfunc_lepNN-.Lfunc_gepNN | 
| Ulrich Weigand | aa0ac4f | 2014-07-20 23:31:44 +0000 | [diff] [blame] | 1410 | //         # local entry point, followed by function body | 
|  | 1411 | // | 
|  | 1412 | // This ensures we have r2 set up correctly while executing the function | 
|  | 1413 | // body, no matter which entry point is called. | 
| Eric Christopher | d498680 | 2015-02-10 00:44:17 +0000 | [diff] [blame] | 1414 | if (Subtarget->isELFv2ABI() | 
| Ulrich Weigand | aa0ac4f | 2014-07-20 23:31:44 +0000 | [diff] [blame] | 1415 | // Only do all that if the function uses r2 in the first place. | 
|  | 1416 | && !MF->getRegInfo().use_empty(PPC::X2)) { | 
| Hal Finkel | 530fa5f | 2016-10-03 04:06:44 +0000 | [diff] [blame] | 1417 | // Note: The logic here must be synchronized with the code in the | 
|  | 1418 | // branch-selection pass which sets the offset of the first block in the | 
|  | 1419 | // function. This matters because it affects the alignment. | 
| Ulrich Weigand | 46ff7ec | 2016-01-13 13:12:23 +0000 | [diff] [blame] | 1420 | const PPCFunctionInfo *PPCFI = MF->getInfo<PPCFunctionInfo>(); | 
| Ulrich Weigand | aa0ac4f | 2014-07-20 23:31:44 +0000 | [diff] [blame] | 1421 |  | 
| Ulrich Weigand | 46ff7ec | 2016-01-13 13:12:23 +0000 | [diff] [blame] | 1422 | MCSymbol *GlobalEntryLabel = PPCFI->getGlobalEPSymbol(); | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1423 | OutStreamer->EmitLabel(GlobalEntryLabel); | 
| Ulrich Weigand | aa0ac4f | 2014-07-20 23:31:44 +0000 | [diff] [blame] | 1424 | const MCSymbolRefExpr *GlobalEntryLabelExp = | 
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 1425 | MCSymbolRefExpr::create(GlobalEntryLabel, OutContext); | 
| Ulrich Weigand | aa0ac4f | 2014-07-20 23:31:44 +0000 | [diff] [blame] | 1426 |  | 
| Ulrich Weigand | 46ff7ec | 2016-01-13 13:12:23 +0000 | [diff] [blame] | 1427 | if (TM.getCodeModel() != CodeModel::Large) { | 
|  | 1428 | MCSymbol *TOCSymbol = OutContext.getOrCreateSymbol(StringRef(".TOC.")); | 
|  | 1429 | const MCExpr *TOCDeltaExpr = | 
|  | 1430 | MCBinaryExpr::createSub(MCSymbolRefExpr::create(TOCSymbol, OutContext), | 
|  | 1431 | GlobalEntryLabelExp, OutContext); | 
| Ulrich Weigand | aa0ac4f | 2014-07-20 23:31:44 +0000 | [diff] [blame] | 1432 |  | 
| Ulrich Weigand | 46ff7ec | 2016-01-13 13:12:23 +0000 | [diff] [blame] | 1433 | const MCExpr *TOCDeltaHi = | 
|  | 1434 | PPCMCExpr::createHa(TOCDeltaExpr, false, OutContext); | 
|  | 1435 | EmitToStreamer(*OutStreamer, MCInstBuilder(PPC::ADDIS) | 
|  | 1436 | .addReg(PPC::X2) | 
|  | 1437 | .addReg(PPC::X12) | 
|  | 1438 | .addExpr(TOCDeltaHi)); | 
| Ulrich Weigand | aa0ac4f | 2014-07-20 23:31:44 +0000 | [diff] [blame] | 1439 |  | 
| Ulrich Weigand | 46ff7ec | 2016-01-13 13:12:23 +0000 | [diff] [blame] | 1440 | const MCExpr *TOCDeltaLo = | 
|  | 1441 | PPCMCExpr::createLo(TOCDeltaExpr, false, OutContext); | 
|  | 1442 | EmitToStreamer(*OutStreamer, MCInstBuilder(PPC::ADDI) | 
|  | 1443 | .addReg(PPC::X2) | 
|  | 1444 | .addReg(PPC::X2) | 
|  | 1445 | .addExpr(TOCDeltaLo)); | 
|  | 1446 | } else { | 
|  | 1447 | MCSymbol *TOCOffset = PPCFI->getTOCOffsetSymbol(); | 
|  | 1448 | const MCExpr *TOCOffsetDeltaExpr = | 
|  | 1449 | MCBinaryExpr::createSub(MCSymbolRefExpr::create(TOCOffset, OutContext), | 
|  | 1450 | GlobalEntryLabelExp, OutContext); | 
| Ulrich Weigand | aa0ac4f | 2014-07-20 23:31:44 +0000 | [diff] [blame] | 1451 |  | 
| Ulrich Weigand | 46ff7ec | 2016-01-13 13:12:23 +0000 | [diff] [blame] | 1452 | EmitToStreamer(*OutStreamer, MCInstBuilder(PPC::LD) | 
|  | 1453 | .addReg(PPC::X2) | 
|  | 1454 | .addExpr(TOCOffsetDeltaExpr) | 
|  | 1455 | .addReg(PPC::X12)); | 
|  | 1456 | EmitToStreamer(*OutStreamer, MCInstBuilder(PPC::ADD8) | 
|  | 1457 | .addReg(PPC::X2) | 
|  | 1458 | .addReg(PPC::X2) | 
|  | 1459 | .addReg(PPC::X12)); | 
|  | 1460 | } | 
|  | 1461 |  | 
|  | 1462 | MCSymbol *LocalEntryLabel = PPCFI->getLocalEPSymbol(); | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1463 | OutStreamer->EmitLabel(LocalEntryLabel); | 
| Ulrich Weigand | aa0ac4f | 2014-07-20 23:31:44 +0000 | [diff] [blame] | 1464 | const MCSymbolRefExpr *LocalEntryLabelExp = | 
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 1465 | MCSymbolRefExpr::create(LocalEntryLabel, OutContext); | 
| Ulrich Weigand | aa0ac4f | 2014-07-20 23:31:44 +0000 | [diff] [blame] | 1466 | const MCExpr *LocalOffsetExp = | 
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 1467 | MCBinaryExpr::createSub(LocalEntryLabelExp, | 
| Ulrich Weigand | aa0ac4f | 2014-07-20 23:31:44 +0000 | [diff] [blame] | 1468 | GlobalEntryLabelExp, OutContext); | 
|  | 1469 |  | 
|  | 1470 | PPCTargetStreamer *TS = | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1471 | static_cast<PPCTargetStreamer *>(OutStreamer->getTargetStreamer()); | 
| Ulrich Weigand | aa0ac4f | 2014-07-20 23:31:44 +0000 | [diff] [blame] | 1472 |  | 
|  | 1473 | if (TS) | 
| Rafael Espindola | 95fb9b9 | 2015-06-02 20:38:46 +0000 | [diff] [blame] | 1474 | TS->emitLocalEntry(cast<MCSymbolELF>(CurrentFnSym), LocalOffsetExp); | 
| Ulrich Weigand | aa0ac4f | 2014-07-20 23:31:44 +0000 | [diff] [blame] | 1475 | } | 
|  | 1476 | } | 
|  | 1477 |  | 
| Roman Divacky | 8c4b6a3 | 2012-08-28 19:06:55 +0000 | [diff] [blame] | 1478 | /// EmitFunctionBodyEnd - Print the traceback table before the .size | 
|  | 1479 | /// directive. | 
|  | 1480 | /// | 
|  | 1481 | void PPCLinuxAsmPrinter::EmitFunctionBodyEnd() { | 
|  | 1482 | // Only the 64-bit target requires a traceback table.  For now, | 
|  | 1483 | // we only emit the word of zeroes that GDB requires to find | 
| Hal Finkel | 1859d26 | 2012-08-29 20:22:24 +0000 | [diff] [blame] | 1484 | // the end of the function, and zeroes for the eight-byte | 
|  | 1485 | // mandatory fields. | 
|  | 1486 | // FIXME: We should fill in the eight-byte mandatory fields as described in | 
|  | 1487 | // the PPC64 ELF ABI (this is a low-priority item because GDB does not | 
|  | 1488 | // currently make use of these fields). | 
| Eric Christopher | d498680 | 2015-02-10 00:44:17 +0000 | [diff] [blame] | 1489 | if (Subtarget->isPPC64()) { | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1490 | OutStreamer->EmitIntValue(0, 4/*size*/); | 
|  | 1491 | OutStreamer->EmitIntValue(0, 8/*size*/); | 
| Hal Finkel | 1859d26 | 2012-08-29 20:22:24 +0000 | [diff] [blame] | 1492 | } | 
| Roman Divacky | 8c4b6a3 | 2012-08-28 19:06:55 +0000 | [diff] [blame] | 1493 | } | 
|  | 1494 |  | 
| Bob Wilson | b633d7a | 2009-09-30 22:06:26 +0000 | [diff] [blame] | 1495 | void PPCDarwinAsmPrinter::EmitStartOfAsmFile(Module &M) { | 
| Dan Gohman | bdc24ad | 2008-03-25 21:45:14 +0000 | [diff] [blame] | 1496 | static const char *const CPUDirectives[] = { | 
| Dale Johannesen | 6ca3ccf | 2008-02-14 23:35:16 +0000 | [diff] [blame] | 1497 | "", | 
| Jim Laskey | 59e7a77 | 2006-12-12 20:57:08 +0000 | [diff] [blame] | 1498 | "ppc", | 
| Hal Finkel | 6fa5697 | 2011-10-17 04:03:49 +0000 | [diff] [blame] | 1499 | "ppc440", | 
| Jim Laskey | 59e7a77 | 2006-12-12 20:57:08 +0000 | [diff] [blame] | 1500 | "ppc601", | 
|  | 1501 | "ppc602", | 
|  | 1502 | "ppc603", | 
|  | 1503 | "ppc7400", | 
|  | 1504 | "ppc750", | 
|  | 1505 | "ppc970", | 
| Hal Finkel | 9f9f892 | 2012-04-01 19:22:40 +0000 | [diff] [blame] | 1506 | "ppcA2", | 
| Justin Hibbits | ceb3cd9 | 2018-07-18 04:24:49 +0000 | [diff] [blame] | 1507 | "ppce500", | 
| Hal Finkel | 742b535 | 2012-08-28 16:12:39 +0000 | [diff] [blame] | 1508 | "ppce500mc", | 
|  | 1509 | "ppce5500", | 
| NAKAMURA Takumi | 3d591ae0 | 2013-02-04 00:47:33 +0000 | [diff] [blame] | 1510 | "power3", | 
|  | 1511 | "power4", | 
|  | 1512 | "power5", | 
|  | 1513 | "power5x", | 
| Hal Finkel | f2b9c38 | 2012-06-11 15:43:08 +0000 | [diff] [blame] | 1514 | "power6", | 
| NAKAMURA Takumi | 3d591ae0 | 2013-02-04 00:47:33 +0000 | [diff] [blame] | 1515 | "power6x", | 
| Hal Finkel | f2b9c38 | 2012-06-11 15:43:08 +0000 | [diff] [blame] | 1516 | "power7", | 
| Nemanja Ivanovic | 6e29baf | 2016-05-09 18:54:58 +0000 | [diff] [blame] | 1517 | // FIXME: why is power8 missing here? | 
| Bill Schmidt | 0a9170d | 2013-07-26 01:35:43 +0000 | [diff] [blame] | 1518 | "ppc64", | 
| Nemanja Ivanovic | 6e29baf | 2016-05-09 18:54:58 +0000 | [diff] [blame] | 1519 | "ppc64le", | 
|  | 1520 | "power9" | 
| Jim Laskey | 59e7a77 | 2006-12-12 20:57:08 +0000 | [diff] [blame] | 1521 | }; | 
|  | 1522 |  | 
| Eric Christopher | 5c0e009 | 2015-02-17 07:21:21 +0000 | [diff] [blame] | 1523 | // Get the numerically largest directive. | 
|  | 1524 | // FIXME: How should we merge darwin directives? | 
|  | 1525 | unsigned Directive = PPC::DIR_NONE; | 
|  | 1526 | for (const Function &F : M) { | 
| Eric Christopher | 1947a9e2 | 2015-02-20 07:32:59 +0000 | [diff] [blame] | 1527 | const PPCSubtarget &STI = TM.getSubtarget<PPCSubtarget>(F); | 
| Eric Christopher | 5c0e009 | 2015-02-17 07:21:21 +0000 | [diff] [blame] | 1528 | unsigned FDir = STI.getDarwinDirective(); | 
|  | 1529 | Directive = Directive > FDir ? FDir : STI.getDarwinDirective(); | 
|  | 1530 | if (STI.hasMFOCRF() && Directive < PPC::DIR_970) | 
|  | 1531 | Directive = PPC::DIR_970; | 
|  | 1532 | if (STI.hasAltivec() && Directive < PPC::DIR_7400) | 
|  | 1533 | Directive = PPC::DIR_7400; | 
|  | 1534 | if (STI.isPPC64() && Directive < PPC::DIR_64) | 
|  | 1535 | Directive = PPC::DIR_64; | 
|  | 1536 | } | 
|  | 1537 |  | 
| Jim Laskey | 59e7a77 | 2006-12-12 20:57:08 +0000 | [diff] [blame] | 1538 | assert(Directive <= PPC::DIR_64 && "Directive out of range."); | 
| Rafael Espindola | 6b9ee9b | 2014-01-25 02:35:56 +0000 | [diff] [blame] | 1539 |  | 
|  | 1540 | assert(Directive < array_lengthof(CPUDirectives) && | 
|  | 1541 | "CPUDirectives[] might not be up-to-date!"); | 
|  | 1542 | PPCTargetStreamer &TStreamer = | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1543 | *static_cast<PPCTargetStreamer *>(OutStreamer->getTargetStreamer()); | 
| Rafael Espindola | 6b9ee9b | 2014-01-25 02:35:56 +0000 | [diff] [blame] | 1544 | TStreamer.emitMachine(CPUDirectives[Directive]); | 
| Anton Korobeynikov | 7c20ede | 2008-08-08 18:22:59 +0000 | [diff] [blame] | 1545 |  | 
| Jim Laskey | ec05b04 | 2006-11-28 18:21:52 +0000 | [diff] [blame] | 1546 | // Prime text sections so they are adjacent.  This reduces the likelihood a | 
|  | 1547 | // large data or debug section causes a branch to exceed 16M limit. | 
| NAKAMURA Takumi | 70ad98a | 2015-09-22 11:13:55 +0000 | [diff] [blame] | 1548 | const TargetLoweringObjectFileMachO &TLOFMacho = | 
|  | 1549 | static_cast<const TargetLoweringObjectFileMachO &>(getObjFileLowering()); | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1550 | OutStreamer->SwitchSection(TLOFMacho.getTextCoalSection()); | 
| Jim Laskey | ec05b04 | 2006-11-28 18:21:52 +0000 | [diff] [blame] | 1551 | if (TM.getRelocationModel() == Reloc::PIC_) { | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1552 | OutStreamer->SwitchSection( | 
| Chris Lattner | 433d406 | 2010-04-08 20:40:11 +0000 | [diff] [blame] | 1553 | OutContext.getMachOSection("__TEXT", "__picsymbolstub1", | 
| David Majnemer | 7b58305 | 2014-03-07 07:36:05 +0000 | [diff] [blame] | 1554 | MachO::S_SYMBOL_STUBS | | 
|  | 1555 | MachO::S_ATTR_PURE_INSTRUCTIONS, | 
| Chris Lattner | 4b7dadb | 2009-08-19 05:49:37 +0000 | [diff] [blame] | 1556 | 32, SectionKind::getText())); | 
| Jim Laskey | ec05b04 | 2006-11-28 18:21:52 +0000 | [diff] [blame] | 1557 | } else if (TM.getRelocationModel() == Reloc::DynamicNoPIC) { | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1558 | OutStreamer->SwitchSection( | 
| Chris Lattner | 433d406 | 2010-04-08 20:40:11 +0000 | [diff] [blame] | 1559 | OutContext.getMachOSection("__TEXT","__symbol_stub1", | 
| David Majnemer | 7b58305 | 2014-03-07 07:36:05 +0000 | [diff] [blame] | 1560 | MachO::S_SYMBOL_STUBS | | 
|  | 1561 | MachO::S_ATTR_PURE_INSTRUCTIONS, | 
| Chris Lattner | 4b7dadb | 2009-08-19 05:49:37 +0000 | [diff] [blame] | 1562 | 16, SectionKind::getText())); | 
| Jim Laskey | ec05b04 | 2006-11-28 18:21:52 +0000 | [diff] [blame] | 1563 | } | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1564 | OutStreamer->SwitchSection(getObjFileLowering().getTextSection()); | 
| Nate Begeman | 1552711 | 2005-07-21 01:25:49 +0000 | [diff] [blame] | 1565 | } | 
|  | 1566 |  | 
| Chris Lattner | 2f7c279 | 2010-01-20 21:19:44 +0000 | [diff] [blame] | 1567 | bool PPCDarwinAsmPrinter::doFinalization(Module &M) { | 
| Mehdi Amini | bd7287e | 2015-07-16 06:11:10 +0000 | [diff] [blame] | 1568 | bool isPPC64 = getDataLayout().getPointerSizeInBits() == 64; | 
| Chris Lattner | 2f7c279 | 2010-01-20 21:19:44 +0000 | [diff] [blame] | 1569 |  | 
|  | 1570 | // Darwin/PPC always uses mach-o. | 
| NAKAMURA Takumi | 70ad98a | 2015-09-22 11:13:55 +0000 | [diff] [blame] | 1571 | const TargetLoweringObjectFileMachO &TLOFMacho = | 
|  | 1572 | static_cast<const TargetLoweringObjectFileMachO &>(getObjFileLowering()); | 
| Chandler Carruth | 651f019 | 2016-11-03 23:33:46 +0000 | [diff] [blame] | 1573 | if (MMI) { | 
|  | 1574 | MachineModuleInfoMachO &MMIMacho = | 
|  | 1575 | MMI->getObjFileInfo<MachineModuleInfoMachO>(); | 
| NAKAMURA Takumi | 70ad98a | 2015-09-22 11:13:55 +0000 | [diff] [blame] | 1576 |  | 
| Chandler Carruth | 651f019 | 2016-11-03 23:33:46 +0000 | [diff] [blame] | 1577 | if (MAI->doesSupportExceptionHandling()) { | 
|  | 1578 | // Add the (possibly multiple) personalities to the set of global values. | 
|  | 1579 | // Only referenced functions get into the Personalities list. | 
|  | 1580 | for (const Function *Personality : MMI->getPersonalities()) { | 
|  | 1581 | if (Personality) { | 
|  | 1582 | MCSymbol *NLPSym = | 
|  | 1583 | getSymbolWithGlobalValueBase(Personality, "$non_lazy_ptr"); | 
|  | 1584 | MachineModuleInfoImpl::StubValueTy &StubSym = | 
|  | 1585 | MMIMacho.getGVStubEntry(NLPSym); | 
|  | 1586 | StubSym = | 
|  | 1587 | MachineModuleInfoImpl::StubValueTy(getSymbol(Personality), true); | 
|  | 1588 | } | 
| Chris Lattner | 1ff4794 | 2010-01-20 21:16:14 +0000 | [diff] [blame] | 1589 | } | 
| Chris Lattner | 9ffa4e2 | 2009-07-15 01:14:44 +0000 | [diff] [blame] | 1590 | } | 
| Dale Johannesen | 763e110 | 2007-11-20 23:24:42 +0000 | [diff] [blame] | 1591 |  | 
| Chandler Carruth | 651f019 | 2016-11-03 23:33:46 +0000 | [diff] [blame] | 1592 | // Output stubs for dynamically-linked functions. | 
|  | 1593 | MachineModuleInfoMachO::SymbolListTy Stubs = MMIMacho.GetGVStubList(); | 
| NAKAMURA Takumi | a9cb538 | 2015-09-22 11:14:39 +0000 | [diff] [blame] | 1594 |  | 
| Chandler Carruth | 651f019 | 2016-11-03 23:33:46 +0000 | [diff] [blame] | 1595 | // Output macho stubs for external and common global variables. | 
|  | 1596 | if (!Stubs.empty()) { | 
|  | 1597 | // Switch with ".non_lazy_symbol_pointer" directive. | 
|  | 1598 | OutStreamer->SwitchSection(TLOFMacho.getNonLazySymbolPointerSection()); | 
|  | 1599 | EmitAlignment(isPPC64 ? 3 : 2); | 
| NAKAMURA Takumi | a9cb538 | 2015-09-22 11:14:39 +0000 | [diff] [blame] | 1600 |  | 
| Chandler Carruth | 651f019 | 2016-11-03 23:33:46 +0000 | [diff] [blame] | 1601 | for (unsigned i = 0, e = Stubs.size(); i != e; ++i) { | 
|  | 1602 | // L_foo$stub: | 
|  | 1603 | OutStreamer->EmitLabel(Stubs[i].first); | 
|  | 1604 | //   .indirect_symbol _foo | 
|  | 1605 | MachineModuleInfoImpl::StubValueTy &MCSym = Stubs[i].second; | 
|  | 1606 | OutStreamer->EmitSymbolAttribute(MCSym.getPointer(), | 
|  | 1607 | MCSA_IndirectSymbol); | 
| Bill Wendling | dd3fe94 | 2010-03-12 02:00:43 +0000 | [diff] [blame] | 1608 |  | 
| Chandler Carruth | 651f019 | 2016-11-03 23:33:46 +0000 | [diff] [blame] | 1609 | if (MCSym.getInt()) | 
|  | 1610 | // External to current translation unit. | 
|  | 1611 | OutStreamer->EmitIntValue(0, isPPC64 ? 8 : 4 /*size*/); | 
|  | 1612 | else | 
|  | 1613 | // Internal to current translation unit. | 
|  | 1614 | // | 
|  | 1615 | // When we place the LSDA into the TEXT section, the type info | 
|  | 1616 | // pointers | 
|  | 1617 | // need to be indirect and pc-rel. We accomplish this by using NLPs. | 
|  | 1618 | // However, sometimes the types are local to the file. So we need to | 
|  | 1619 | // fill in the value for the NLP in those cases. | 
|  | 1620 | OutStreamer->EmitValue( | 
|  | 1621 | MCSymbolRefExpr::create(MCSym.getPointer(), OutContext), | 
|  | 1622 | isPPC64 ? 8 : 4 /*size*/); | 
|  | 1623 | } | 
|  | 1624 |  | 
|  | 1625 | Stubs.clear(); | 
|  | 1626 | OutStreamer->AddBlankLine(); | 
| Chris Lattner | 54a11df | 2005-12-13 04:33:58 +0000 | [diff] [blame] | 1627 | } | 
| Nate Begeman | 0ad7f81 | 2004-08-14 22:09:10 +0000 | [diff] [blame] | 1628 | } | 
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 1629 |  | 
| Chris Lattner | 7432ceef | 2005-11-01 00:12:36 +0000 | [diff] [blame] | 1630 | // Funny Darwin hack: This flag tells the linker that no global symbols | 
|  | 1631 | // contain code that falls through to other global symbols (e.g. the obvious | 
|  | 1632 | // implementation of multiple entry points).  If this doesn't occur, the | 
|  | 1633 | // linker can safely perform dead code stripping.  Since LLVM never generates | 
|  | 1634 | // code that does this, it is always safe to set. | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 1635 | OutStreamer->EmitAssemblerFlag(MCAF_SubsectionsViaSymbols); | 
| Chris Lattner | 7432ceef | 2005-11-01 00:12:36 +0000 | [diff] [blame] | 1636 |  | 
| Dan Gohman | cf0a534 | 2007-07-25 19:33:14 +0000 | [diff] [blame] | 1637 | return AsmPrinter::doFinalization(M); | 
| Misha Brukman | e05203f | 2004-06-21 16:55:25 +0000 | [diff] [blame] | 1638 | } | 
| Nate Begeman | 4bfceb1 | 2004-09-04 05:00:00 +0000 | [diff] [blame] | 1639 |  | 
| Jim Laskey | 41621a7 | 2006-12-20 20:56:46 +0000 | [diff] [blame] | 1640 | /// createPPCAsmPrinterPass - Returns a pass that prints the PPC assembly code | 
|  | 1641 | /// for a MachineFunction to the given output stream, in a format that the | 
| Chris Lattner | a81a75c | 2006-09-20 17:12:19 +0000 | [diff] [blame] | 1642 | /// Darwin assembler can deal with. | 
|  | 1643 | /// | 
| David Blaikie | 9459832 | 2015-01-18 20:29:04 +0000 | [diff] [blame] | 1644 | static AsmPrinter * | 
|  | 1645 | createPPCAsmPrinterPass(TargetMachine &tm, | 
|  | 1646 | std::unique_ptr<MCStreamer> &&Streamer) { | 
| Daniel Sanders | c81f450 | 2015-06-16 15:44:21 +0000 | [diff] [blame] | 1647 | if (tm.getTargetTriple().isMacOSX()) | 
| David Blaikie | 9459832 | 2015-01-18 20:29:04 +0000 | [diff] [blame] | 1648 | return new PPCDarwinAsmPrinter(tm, std::move(Streamer)); | 
|  | 1649 | return new PPCLinuxAsmPrinter(tm, std::move(Streamer)); | 
| Chris Lattner | a81a75c | 2006-09-20 17:12:19 +0000 | [diff] [blame] | 1650 | } | 
| Anton Korobeynikov | 28dc9d0 | 2008-08-17 13:54:28 +0000 | [diff] [blame] | 1651 |  | 
| Bob Wilson | 5a495fe | 2009-06-23 23:59:40 +0000 | [diff] [blame] | 1652 | // Force static initialization. | 
| NAKAMURA Takumi | 10c80e7 | 2015-09-22 11:19:03 +0000 | [diff] [blame] | 1653 | extern "C" void LLVMInitializePowerPCAsmPrinter() { | 
| Mehdi Amini | f42454b | 2016-10-09 23:00:34 +0000 | [diff] [blame] | 1654 | TargetRegistry::RegisterAsmPrinter(getThePPC32Target(), | 
|  | 1655 | createPPCAsmPrinterPass); | 
|  | 1656 | TargetRegistry::RegisterAsmPrinter(getThePPC64Target(), | 
|  | 1657 | createPPCAsmPrinterPass); | 
|  | 1658 | TargetRegistry::RegisterAsmPrinter(getThePPC64LETarget(), | 
|  | 1659 | createPPCAsmPrinterPass); | 
| Daniel Dunbar | e833810 | 2009-07-15 20:24:03 +0000 | [diff] [blame] | 1660 | } |