Akira Hatanaka | 4552c9a | 2011-04-15 21:51:11 +0000 | [diff] [blame] | 1 | //===-- MipsAsmPrinter.cpp - Mips LLVM assembly writer --------------------===// |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 4ee451d | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 7 | // |
Akira Hatanaka | 4552c9a | 2011-04-15 21:51:11 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 9 | // |
| 10 | // This file contains a printer that converts from our internal representation |
| 11 | // of machine-dependent LLVM code to GAS-format MIPS assembly language. |
| 12 | // |
Akira Hatanaka | 4552c9a | 2011-04-15 21:51:11 +0000 | [diff] [blame] | 13 | //===----------------------------------------------------------------------===// |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 14 | |
| 15 | #define DEBUG_TYPE "mips-asm-printer" |
Akira Hatanaka | aa08ea0 | 2011-07-07 20:10:52 +0000 | [diff] [blame] | 16 | #include "MipsAsmPrinter.h" |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 17 | #include "Mips.h" |
| 18 | #include "MipsInstrInfo.h" |
Bruno Cardoso Lopes | a4e8200 | 2007-07-11 23:24:41 +0000 | [diff] [blame] | 19 | #include "MipsMachineFunction.h" |
Akira Hatanaka | 794bf17 | 2011-07-07 23:56:50 +0000 | [diff] [blame] | 20 | #include "MipsMCInstLower.h" |
Akira Hatanaka | 614051a | 2011-08-16 03:51:51 +0000 | [diff] [blame] | 21 | #include "MipsMCSymbolRefExpr.h" |
Akira Hatanaka | 794bf17 | 2011-07-07 23:56:50 +0000 | [diff] [blame] | 22 | #include "InstPrinter/MipsInstPrinter.h" |
Bruno Cardoso Lopes | 4677379 | 2010-07-20 08:37:04 +0000 | [diff] [blame] | 23 | #include "llvm/BasicBlock.h" |
| 24 | #include "llvm/Instructions.h" |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 25 | #include "llvm/CodeGen/MachineFunctionPass.h" |
| 26 | #include "llvm/CodeGen/MachineConstantPool.h" |
Bruno Cardoso Lopes | a4e8200 | 2007-07-11 23:24:41 +0000 | [diff] [blame] | 27 | #include "llvm/CodeGen/MachineFrameInfo.h" |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 28 | #include "llvm/CodeGen/MachineInstr.h" |
Akira Hatanaka | 5c21c9e | 2011-08-12 21:30:06 +0000 | [diff] [blame] | 29 | #include "llvm/CodeGen/MachineMemOperand.h" |
Chris Lattner | 6c2f9e1 | 2009-08-19 05:49:37 +0000 | [diff] [blame] | 30 | #include "llvm/MC/MCStreamer.h" |
Chris Lattner | af76e59 | 2009-08-22 20:48:53 +0000 | [diff] [blame] | 31 | #include "llvm/MC/MCAsmInfo.h" |
Akira Hatanaka | 794bf17 | 2011-07-07 23:56:50 +0000 | [diff] [blame] | 32 | #include "llvm/MC/MCInst.h" |
Chris Lattner | 325d3dc | 2009-09-13 17:14:04 +0000 | [diff] [blame] | 33 | #include "llvm/MC/MCSymbol.h" |
Chris Lattner | d62f1b4 | 2010-03-12 21:19:23 +0000 | [diff] [blame] | 34 | #include "llvm/Target/Mangler.h" |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 35 | #include "llvm/Target/TargetData.h" |
Bruno Cardoso Lopes | 81092dc | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 36 | #include "llvm/Target/TargetLoweringObjectFile.h" |
Bruno Cardoso Lopes | 753a987 | 2007-11-12 19:49:57 +0000 | [diff] [blame] | 37 | #include "llvm/Target/TargetOptions.h" |
Chris Lattner | 7ad07c4 | 2010-04-04 06:12:20 +0000 | [diff] [blame] | 38 | #include "llvm/ADT/SmallString.h" |
Akira Hatanaka | 614051a | 2011-08-16 03:51:51 +0000 | [diff] [blame] | 39 | #include "llvm/ADT/SmallVector.h" |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 40 | #include "llvm/ADT/StringExtras.h" |
Chris Lattner | b23569a | 2010-04-04 08:18:47 +0000 | [diff] [blame] | 41 | #include "llvm/ADT/Twine.h" |
Evan Cheng | 3e74d6f | 2011-08-24 18:08:43 +0000 | [diff] [blame] | 42 | #include "llvm/Support/TargetRegistry.h" |
Chris Lattner | b23569a | 2010-04-04 08:18:47 +0000 | [diff] [blame] | 43 | #include "llvm/Support/raw_ostream.h" |
Akira Hatanaka | c4f24eb | 2011-07-01 01:04:43 +0000 | [diff] [blame] | 44 | #include "llvm/Analysis/DebugInfo.h" |
| 45 | |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 46 | using namespace llvm; |
| 47 | |
Akira Hatanaka | aa08ea0 | 2011-07-07 20:10:52 +0000 | [diff] [blame] | 48 | void MipsAsmPrinter::EmitInstruction(const MachineInstr *MI) { |
| 49 | SmallString<128> Str; |
| 50 | raw_svector_ostream OS(Str); |
| 51 | |
| 52 | if (MI->isDebugValue()) { |
| 53 | PrintDebugValueComment(MI, OS); |
| 54 | return; |
| 55 | } |
| 56 | |
Akira Hatanaka | 794bf17 | 2011-07-07 23:56:50 +0000 | [diff] [blame] | 57 | MipsMCInstLower MCInstLowering(Mang, *MF, *this); |
Akira Hatanaka | 614051a | 2011-08-16 03:51:51 +0000 | [diff] [blame] | 58 | unsigned Opc = MI->getOpcode(); |
| 59 | |
| 60 | // If target is Mips1, expand double precision load/store to two single |
| 61 | // precision loads/stores (and delay slot if MI is a load). |
| 62 | if (Subtarget->isMips1() && (Opc == Mips::LDC1 || Opc == Mips::SDC1)) { |
| 63 | SmallVector<MCInst, 4> MCInsts; |
| 64 | const unsigned* SubReg = |
| 65 | TM.getRegisterInfo()->getSubRegisters(MI->getOperand(0).getReg()); |
| 66 | MCInstLowering.LowerMips1F64LoadStore(MI, Opc, MCInsts, |
| 67 | Subtarget->isLittle(), SubReg); |
| 68 | |
| 69 | for (SmallVector<MCInst, 4>::iterator I = MCInsts.begin(); |
| 70 | I != MCInsts.end(); ++I) |
| 71 | OutStreamer.EmitInstruction(*I); |
| 72 | |
| 73 | return; |
| 74 | } |
| 75 | |
Akira Hatanaka | 794bf17 | 2011-07-07 23:56:50 +0000 | [diff] [blame] | 76 | MCInst TmpInst0; |
| 77 | MCInstLowering.Lower(MI, TmpInst0); |
Akira Hatanaka | 5c21c9e | 2011-08-12 21:30:06 +0000 | [diff] [blame] | 78 | |
| 79 | // Convert aligned loads/stores to their unaligned counterparts. |
Akira Hatanaka | 511961a | 2011-08-17 18:49:18 +0000 | [diff] [blame] | 80 | if (!MI->memoperands_empty()) { |
| 81 | unsigned NaturalAlignment, UnalignedOpc; |
| 82 | |
| 83 | switch (Opc) { |
| 84 | case Mips::LW: NaturalAlignment = 4; UnalignedOpc = Mips::ULW; break; |
| 85 | case Mips::SW: NaturalAlignment = 4; UnalignedOpc = Mips::USW; break; |
| 86 | case Mips::LH: NaturalAlignment = 2; UnalignedOpc = Mips::ULH; break; |
| 87 | case Mips::LHu: NaturalAlignment = 2; UnalignedOpc = Mips::ULHu; break; |
| 88 | case Mips::SH: NaturalAlignment = 2; UnalignedOpc = Mips::USH; break; |
| 89 | default: NaturalAlignment = 0; |
| 90 | } |
| 91 | |
| 92 | if ((*MI->memoperands_begin())->getAlignment() < NaturalAlignment) { |
| 93 | MCInst Directive; |
| 94 | Directive.setOpcode(Mips::MACRO); |
| 95 | OutStreamer.EmitInstruction(Directive); |
| 96 | TmpInst0.setOpcode(UnalignedOpc); |
| 97 | OutStreamer.EmitInstruction(TmpInst0); |
| 98 | Directive.setOpcode(Mips::NOMACRO); |
| 99 | OutStreamer.EmitInstruction(Directive); |
| 100 | return; |
| 101 | } |
Akira Hatanaka | 5c21c9e | 2011-08-12 21:30:06 +0000 | [diff] [blame] | 102 | } |
| 103 | |
Akira Hatanaka | 794bf17 | 2011-07-07 23:56:50 +0000 | [diff] [blame] | 104 | OutStreamer.EmitInstruction(TmpInst0); |
Akira Hatanaka | aa08ea0 | 2011-07-07 20:10:52 +0000 | [diff] [blame] | 105 | } |
| 106 | |
Akira Hatanaka | 4552c9a | 2011-04-15 21:51:11 +0000 | [diff] [blame] | 107 | //===----------------------------------------------------------------------===// |
Bruno Cardoso Lopes | dc0c04c | 2007-08-28 05:06:17 +0000 | [diff] [blame] | 108 | // |
| 109 | // Mips Asm Directives |
| 110 | // |
| 111 | // -- Frame directive "frame Stackpointer, Stacksize, RARegister" |
| 112 | // Describe the stack frame. |
| 113 | // |
Bruno Cardoso Lopes | 81092dc | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 114 | // -- Mask directives "(f)mask bitmask, offset" |
Bruno Cardoso Lopes | dc0c04c | 2007-08-28 05:06:17 +0000 | [diff] [blame] | 115 | // Tells the assembler which registers are saved and where. |
Bruno Cardoso Lopes | 81092dc | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 116 | // bitmask - contain a little endian bitset indicating which registers are |
| 117 | // saved on function prologue (e.g. with a 0x80000000 mask, the |
Bruno Cardoso Lopes | dc0c04c | 2007-08-28 05:06:17 +0000 | [diff] [blame] | 118 | // assembler knows the register 31 (RA) is saved at prologue. |
Bruno Cardoso Lopes | 81092dc | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 119 | // offset - the position before stack pointer subtraction indicating where |
Bruno Cardoso Lopes | dc0c04c | 2007-08-28 05:06:17 +0000 | [diff] [blame] | 120 | // the first saved register on prologue is located. (e.g. with a |
| 121 | // |
| 122 | // Consider the following function prologue: |
| 123 | // |
Bill Wendling | 6ef781f | 2008-02-27 06:33:05 +0000 | [diff] [blame] | 124 | // .frame $fp,48,$ra |
| 125 | // .mask 0xc0000000,-8 |
| 126 | // addiu $sp, $sp, -48 |
| 127 | // sw $ra, 40($sp) |
| 128 | // sw $fp, 36($sp) |
Bruno Cardoso Lopes | dc0c04c | 2007-08-28 05:06:17 +0000 | [diff] [blame] | 129 | // |
Bruno Cardoso Lopes | 81092dc | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 130 | // With a 0xc0000000 mask, the assembler knows the register 31 (RA) and |
| 131 | // 30 (FP) are saved at prologue. As the save order on prologue is from |
| 132 | // left to right, RA is saved first. A -8 offset means that after the |
Bruno Cardoso Lopes | dc0c04c | 2007-08-28 05:06:17 +0000 | [diff] [blame] | 133 | // stack pointer subtration, the first register in the mask (RA) will be |
| 134 | // saved at address 48-8=40. |
| 135 | // |
Akira Hatanaka | 4552c9a | 2011-04-15 21:51:11 +0000 | [diff] [blame] | 136 | //===----------------------------------------------------------------------===// |
Bruno Cardoso Lopes | dc0c04c | 2007-08-28 05:06:17 +0000 | [diff] [blame] | 137 | |
Akira Hatanaka | 4552c9a | 2011-04-15 21:51:11 +0000 | [diff] [blame] | 138 | //===----------------------------------------------------------------------===// |
Bruno Cardoso Lopes | 43d526d | 2008-07-14 14:42:54 +0000 | [diff] [blame] | 139 | // Mask directives |
Akira Hatanaka | 4552c9a | 2011-04-15 21:51:11 +0000 | [diff] [blame] | 140 | //===----------------------------------------------------------------------===// |
Bruno Cardoso Lopes | 43d526d | 2008-07-14 14:42:54 +0000 | [diff] [blame] | 141 | |
Bruno Cardoso Lopes | 81092dc | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 142 | // Create a bitmask with all callee saved registers for CPU or Floating Point |
Bruno Cardoso Lopes | bbe5136 | 2008-08-06 06:14:43 +0000 | [diff] [blame] | 143 | // registers. For CPU registers consider RA, GP and FP for saving if necessary. |
Chris Lattner | 35c33bd | 2010-04-04 04:47:45 +0000 | [diff] [blame] | 144 | void MipsAsmPrinter::printSavedRegsBitmask(raw_ostream &O) { |
Bruno Cardoso Lopes | bbe5136 | 2008-08-06 06:14:43 +0000 | [diff] [blame] | 145 | // CPU and FPU Saved Registers Bitmasks |
Akira Hatanaka | f8928c0 | 2011-05-23 20:34:30 +0000 | [diff] [blame] | 146 | unsigned CPUBitmask = 0, FPUBitmask = 0; |
| 147 | int CPUTopSavedRegOff, FPUTopSavedRegOff; |
Bruno Cardoso Lopes | dc0c04c | 2007-08-28 05:06:17 +0000 | [diff] [blame] | 148 | |
Bruno Cardoso Lopes | bbe5136 | 2008-08-06 06:14:43 +0000 | [diff] [blame] | 149 | // Set the CPU and FPU Bitmasks |
Chris Lattner | a34103f | 2010-01-28 06:22:43 +0000 | [diff] [blame] | 150 | const MachineFrameInfo *MFI = MF->getFrameInfo(); |
Bruno Cardoso Lopes | dc0c04c | 2007-08-28 05:06:17 +0000 | [diff] [blame] | 151 | const std::vector<CalleeSavedInfo> &CSI = MFI->getCalleeSavedInfo(); |
Akira Hatanaka | f8928c0 | 2011-05-23 20:34:30 +0000 | [diff] [blame] | 152 | // size of stack area to which FP callee-saved regs are saved. |
| 153 | unsigned CPURegSize = Mips::CPURegsRegisterClass->getSize(); |
| 154 | unsigned FGR32RegSize = Mips::FGR32RegisterClass->getSize(); |
| 155 | unsigned AFGR64RegSize = Mips::AFGR64RegisterClass->getSize(); |
| 156 | bool HasAFGR64Reg = false; |
| 157 | unsigned CSFPRegsSize = 0; |
| 158 | unsigned i, e = CSI.size(); |
| 159 | |
| 160 | // Set FPU Bitmask. |
| 161 | for (i = 0; i != e; ++i) { |
Rafael Espindola | 42d075c | 2010-06-02 20:02:30 +0000 | [diff] [blame] | 162 | unsigned Reg = CSI[i].getReg(); |
Rafael Espindola | 42d075c | 2010-06-02 20:02:30 +0000 | [diff] [blame] | 163 | if (Mips::CPURegsRegisterClass->contains(Reg)) |
Akira Hatanaka | f8928c0 | 2011-05-23 20:34:30 +0000 | [diff] [blame] | 164 | break; |
| 165 | |
| 166 | unsigned RegNum = MipsRegisterInfo::getRegisterNumbering(Reg); |
| 167 | if (Mips::AFGR64RegisterClass->contains(Reg)) { |
| 168 | FPUBitmask |= (3 << RegNum); |
| 169 | CSFPRegsSize += AFGR64RegSize; |
| 170 | HasAFGR64Reg = true; |
| 171 | continue; |
| 172 | } |
| 173 | |
| 174 | FPUBitmask |= (1 << RegNum); |
| 175 | CSFPRegsSize += FGR32RegSize; |
Bruno Cardoso Lopes | bbe5136 | 2008-08-06 06:14:43 +0000 | [diff] [blame] | 176 | } |
Bruno Cardoso Lopes | dc0c04c | 2007-08-28 05:06:17 +0000 | [diff] [blame] | 177 | |
Akira Hatanaka | f8928c0 | 2011-05-23 20:34:30 +0000 | [diff] [blame] | 178 | // Set CPU Bitmask. |
| 179 | for (; i != e; ++i) { |
| 180 | unsigned Reg = CSI[i].getReg(); |
| 181 | unsigned RegNum = MipsRegisterInfo::getRegisterNumbering(Reg); |
| 182 | CPUBitmask |= (1 << RegNum); |
| 183 | } |
Anton Korobeynikov | d0c3817 | 2010-11-18 21:19:35 +0000 | [diff] [blame] | 184 | |
Akira Hatanaka | f8928c0 | 2011-05-23 20:34:30 +0000 | [diff] [blame] | 185 | // FP Regs are saved right below where the virtual frame pointer points to. |
| 186 | FPUTopSavedRegOff = FPUBitmask ? |
| 187 | (HasAFGR64Reg ? -AFGR64RegSize : -FGR32RegSize) : 0; |
| 188 | |
| 189 | // CPU Regs are saved below FP Regs. |
| 190 | CPUTopSavedRegOff = CPUBitmask ? -CSFPRegsSize - CPURegSize : 0; |
Bruno Cardoso Lopes | dc0c04c | 2007-08-28 05:06:17 +0000 | [diff] [blame] | 191 | |
Bruno Cardoso Lopes | bbe5136 | 2008-08-06 06:14:43 +0000 | [diff] [blame] | 192 | // Print CPUBitmask |
Chris Lattner | 35c33bd | 2010-04-04 04:47:45 +0000 | [diff] [blame] | 193 | O << "\t.mask \t"; printHex32(CPUBitmask, O); |
Akira Hatanaka | f8928c0 | 2011-05-23 20:34:30 +0000 | [diff] [blame] | 194 | O << ',' << CPUTopSavedRegOff << '\n'; |
Bruno Cardoso Lopes | bbe5136 | 2008-08-06 06:14:43 +0000 | [diff] [blame] | 195 | |
| 196 | // Print FPUBitmask |
Akira Hatanaka | f8928c0 | 2011-05-23 20:34:30 +0000 | [diff] [blame] | 197 | O << "\t.fmask\t"; printHex32(FPUBitmask, O); |
| 198 | O << "," << FPUTopSavedRegOff << '\n'; |
Bruno Cardoso Lopes | dc0c04c | 2007-08-28 05:06:17 +0000 | [diff] [blame] | 199 | } |
| 200 | |
| 201 | // Print a 32 bit hex number with all numbers. |
Chris Lattner | 35c33bd | 2010-04-04 04:47:45 +0000 | [diff] [blame] | 202 | void MipsAsmPrinter::printHex32(unsigned Value, raw_ostream &O) { |
Owen Anderson | cb37188 | 2008-08-21 00:14:44 +0000 | [diff] [blame] | 203 | O << "0x"; |
Bruno Cardoso Lopes | 81092dc | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 204 | for (int i = 7; i >= 0; i--) |
Chris Lattner | 35c33bd | 2010-04-04 04:47:45 +0000 | [diff] [blame] | 205 | O << utohexstr((Value & (0xF << (i*4))) >> (i*4)); |
Bruno Cardoso Lopes | a4e8200 | 2007-07-11 23:24:41 +0000 | [diff] [blame] | 206 | } |
| 207 | |
Akira Hatanaka | 4552c9a | 2011-04-15 21:51:11 +0000 | [diff] [blame] | 208 | //===----------------------------------------------------------------------===// |
Bruno Cardoso Lopes | 43d526d | 2008-07-14 14:42:54 +0000 | [diff] [blame] | 209 | // Frame and Set directives |
Akira Hatanaka | 4552c9a | 2011-04-15 21:51:11 +0000 | [diff] [blame] | 210 | //===----------------------------------------------------------------------===// |
Bruno Cardoso Lopes | 43d526d | 2008-07-14 14:42:54 +0000 | [diff] [blame] | 211 | |
| 212 | /// Frame Directive |
Chris Lattner | 9d7efd3 | 2010-04-04 07:05:53 +0000 | [diff] [blame] | 213 | void MipsAsmPrinter::emitFrameDirective() { |
Bruno Cardoso Lopes | 43d526d | 2008-07-14 14:42:54 +0000 | [diff] [blame] | 214 | const TargetRegisterInfo &RI = *TM.getRegisterInfo(); |
| 215 | |
Chris Lattner | a34103f | 2010-01-28 06:22:43 +0000 | [diff] [blame] | 216 | unsigned stackReg = RI.getFrameRegister(*MF); |
Bruno Cardoso Lopes | 43d526d | 2008-07-14 14:42:54 +0000 | [diff] [blame] | 217 | unsigned returnReg = RI.getRARegister(); |
Chris Lattner | a34103f | 2010-01-28 06:22:43 +0000 | [diff] [blame] | 218 | unsigned stackSize = MF->getFrameInfo()->getStackSize(); |
Bruno Cardoso Lopes | 43d526d | 2008-07-14 14:42:54 +0000 | [diff] [blame] | 219 | |
Chris Lattner | 9d7efd3 | 2010-04-04 07:05:53 +0000 | [diff] [blame] | 220 | OutStreamer.EmitRawText("\t.frame\t$" + |
Akira Hatanaka | 794bf17 | 2011-07-07 23:56:50 +0000 | [diff] [blame] | 221 | Twine(LowercaseString(MipsInstPrinter::getRegisterName(stackReg))) + |
| 222 | "," + Twine(stackSize) + ",$" + |
| 223 | Twine(LowercaseString(MipsInstPrinter::getRegisterName(returnReg)))); |
Bruno Cardoso Lopes | 43d526d | 2008-07-14 14:42:54 +0000 | [diff] [blame] | 224 | } |
| 225 | |
| 226 | /// Emit Set directives. |
Bruno Cardoso Lopes | 81092dc | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 227 | const char *MipsAsmPrinter::getCurrentABIString() const { |
Chris Lattner | 9d7efd3 | 2010-04-04 07:05:53 +0000 | [diff] [blame] | 228 | switch (Subtarget->getTargetABI()) { |
Bruno Cardoso Lopes | 81092dc | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 229 | case MipsSubtarget::O32: return "abi32"; |
Chris Lattner | 9d7efd3 | 2010-04-04 07:05:53 +0000 | [diff] [blame] | 230 | case MipsSubtarget::O64: return "abiO64"; |
| 231 | case MipsSubtarget::N32: return "abiN32"; |
| 232 | case MipsSubtarget::N64: return "abi64"; |
| 233 | case MipsSubtarget::EABI: return "eabi32"; // TODO: handle eabi64 |
| 234 | default: break; |
Bruno Cardoso Lopes | 43d526d | 2008-07-14 14:42:54 +0000 | [diff] [blame] | 235 | } |
| 236 | |
Torok Edwin | c23197a | 2009-07-14 16:55:14 +0000 | [diff] [blame] | 237 | llvm_unreachable("Unknown Mips ABI"); |
Bruno Cardoso Lopes | 43d526d | 2008-07-14 14:42:54 +0000 | [diff] [blame] | 238 | return NULL; |
Bruno Cardoso Lopes | 81092dc | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 239 | } |
Bruno Cardoso Lopes | 43d526d | 2008-07-14 14:42:54 +0000 | [diff] [blame] | 240 | |
Chris Lattner | 5006071 | 2010-01-27 23:23:58 +0000 | [diff] [blame] | 241 | void MipsAsmPrinter::EmitFunctionEntryLabel() { |
Chris Lattner | 9d7efd3 | 2010-04-04 07:05:53 +0000 | [diff] [blame] | 242 | OutStreamer.EmitRawText("\t.ent\t" + Twine(CurrentFnSym->getName())); |
Chris Lattner | 5006071 | 2010-01-27 23:23:58 +0000 | [diff] [blame] | 243 | OutStreamer.EmitLabel(CurrentFnSym); |
| 244 | } |
| 245 | |
Chris Lattner | a34103f | 2010-01-28 06:22:43 +0000 | [diff] [blame] | 246 | /// EmitFunctionBodyStart - Targets can override this to emit stuff before |
| 247 | /// the first basic block in the function. |
| 248 | void MipsAsmPrinter::EmitFunctionBodyStart() { |
Chris Lattner | 9d7efd3 | 2010-04-04 07:05:53 +0000 | [diff] [blame] | 249 | emitFrameDirective(); |
Bruno Cardoso Lopes | 81092dc | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 250 | |
Chris Lattner | 9d7efd3 | 2010-04-04 07:05:53 +0000 | [diff] [blame] | 251 | SmallString<128> Str; |
| 252 | raw_svector_ostream OS(Str); |
| 253 | printSavedRegsBitmask(OS); |
| 254 | OutStreamer.EmitRawText(OS.str()); |
Chris Lattner | a34103f | 2010-01-28 06:22:43 +0000 | [diff] [blame] | 255 | } |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 256 | |
Chris Lattner | a34103f | 2010-01-28 06:22:43 +0000 | [diff] [blame] | 257 | /// EmitFunctionBodyEnd - Targets can override this to emit stuff after |
| 258 | /// the last basic block in the function. |
| 259 | void MipsAsmPrinter::EmitFunctionBodyEnd() { |
Chris Lattner | 745ec06 | 2010-01-28 01:48:52 +0000 | [diff] [blame] | 260 | // There are instruction for this macros, but they must |
| 261 | // always be at the function end, and we can't emit and |
Bruno Cardoso Lopes | 81092dc | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 262 | // break with BB logic. |
Chris Lattner | 9d7efd3 | 2010-04-04 07:05:53 +0000 | [diff] [blame] | 263 | OutStreamer.EmitRawText(StringRef("\t.set\tmacro")); |
| 264 | OutStreamer.EmitRawText(StringRef("\t.set\treorder")); |
| 265 | OutStreamer.EmitRawText("\t.end\t" + Twine(CurrentFnSym->getName())); |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 266 | } |
| 267 | |
Chris Lattner | a34103f | 2010-01-28 06:22:43 +0000 | [diff] [blame] | 268 | |
Bruno Cardoso Lopes | 4677379 | 2010-07-20 08:37:04 +0000 | [diff] [blame] | 269 | /// isBlockOnlyReachableByFallthough - Return true if the basic block has |
| 270 | /// exactly one predecessor and the control transfer mechanism between |
| 271 | /// the predecessor and this block is a fall-through. |
Akira Hatanaka | 4552c9a | 2011-04-15 21:51:11 +0000 | [diff] [blame] | 272 | bool MipsAsmPrinter::isBlockOnlyReachableByFallthrough(const MachineBasicBlock* |
| 273 | MBB) const { |
Bruno Cardoso Lopes | 4677379 | 2010-07-20 08:37:04 +0000 | [diff] [blame] | 274 | // The predecessor has to be immediately before this block. |
| 275 | const MachineBasicBlock *Pred = *MBB->pred_begin(); |
| 276 | |
| 277 | // If the predecessor is a switch statement, assume a jump table |
| 278 | // implementation, so it is not a fall through. |
| 279 | if (const BasicBlock *bb = Pred->getBasicBlock()) |
| 280 | if (isa<SwitchInst>(bb->getTerminator())) |
| 281 | return false; |
Bruno Cardoso Lopes | 81092dc | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 282 | |
Akira Hatanaka | a4485c4 | 2011-04-01 18:57:38 +0000 | [diff] [blame] | 283 | // If this is a landing pad, it isn't a fall through. If it has no preds, |
| 284 | // then nothing falls through to it. |
| 285 | if (MBB->isLandingPad() || MBB->pred_empty()) |
| 286 | return false; |
| 287 | |
| 288 | // If there isn't exactly one predecessor, it can't be a fall through. |
| 289 | MachineBasicBlock::const_pred_iterator PI = MBB->pred_begin(), PI2 = PI; |
| 290 | ++PI2; |
| 291 | |
| 292 | if (PI2 != MBB->pred_end()) |
| 293 | return false; |
| 294 | |
| 295 | // The predecessor has to be immediately before this block. |
| 296 | if (!Pred->isLayoutSuccessor(MBB)) |
| 297 | return false; |
| 298 | |
| 299 | // If the block is completely empty, then it definitely does fall through. |
| 300 | if (Pred->empty()) |
| 301 | return true; |
| 302 | |
| 303 | // Otherwise, check the last instruction. |
| 304 | // Check if the last terminator is an unconditional branch. |
| 305 | MachineBasicBlock::const_iterator I = Pred->end(); |
Akira Hatanaka | dc1652f | 2011-04-02 00:15:58 +0000 | [diff] [blame] | 306 | while (I != Pred->begin() && !(--I)->getDesc().isTerminator()) ; |
Akira Hatanaka | a4485c4 | 2011-04-01 18:57:38 +0000 | [diff] [blame] | 307 | |
| 308 | return !I->getDesc().isBarrier(); |
Bruno Cardoso Lopes | 4677379 | 2010-07-20 08:37:04 +0000 | [diff] [blame] | 309 | } |
| 310 | |
Bruno Cardoso Lopes | 91ef849 | 2008-08-02 19:42:36 +0000 | [diff] [blame] | 311 | // Print out an operand for an inline asm expression. |
Bruno Cardoso Lopes | 81092dc | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 312 | bool MipsAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNo, |
Chris Lattner | c75c028 | 2010-04-04 05:29:35 +0000 | [diff] [blame] | 313 | unsigned AsmVariant,const char *ExtraCode, |
| 314 | raw_ostream &O) { |
Bruno Cardoso Lopes | 91ef849 | 2008-08-02 19:42:36 +0000 | [diff] [blame] | 315 | // Does this asm operand have a single letter operand modifier? |
Bruno Cardoso Lopes | 81092dc | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 316 | if (ExtraCode && ExtraCode[0]) |
Bruno Cardoso Lopes | 91ef849 | 2008-08-02 19:42:36 +0000 | [diff] [blame] | 317 | return true; // Unknown modifier. |
| 318 | |
Chris Lattner | 35c33bd | 2010-04-04 04:47:45 +0000 | [diff] [blame] | 319 | printOperand(MI, OpNo, O); |
Bruno Cardoso Lopes | 91ef849 | 2008-08-02 19:42:36 +0000 | [diff] [blame] | 320 | return false; |
| 321 | } |
| 322 | |
Akira Hatanaka | 21afc63 | 2011-06-21 00:40:49 +0000 | [diff] [blame] | 323 | bool MipsAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI, |
| 324 | unsigned OpNum, unsigned AsmVariant, |
| 325 | const char *ExtraCode, |
| 326 | raw_ostream &O) { |
| 327 | if (ExtraCode && ExtraCode[0]) |
| 328 | return true; // Unknown modifier. |
| 329 | |
| 330 | const MachineOperand &MO = MI->getOperand(OpNum); |
| 331 | assert(MO.isReg() && "unexpected inline asm memory operand"); |
Akira Hatanaka | 794bf17 | 2011-07-07 23:56:50 +0000 | [diff] [blame] | 332 | O << "0($" << MipsInstPrinter::getRegisterName(MO.getReg()) << ")"; |
Akira Hatanaka | 21afc63 | 2011-06-21 00:40:49 +0000 | [diff] [blame] | 333 | return false; |
| 334 | } |
| 335 | |
Chris Lattner | 35c33bd | 2010-04-04 04:47:45 +0000 | [diff] [blame] | 336 | void MipsAsmPrinter::printOperand(const MachineInstr *MI, int opNum, |
| 337 | raw_ostream &O) { |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 338 | const MachineOperand &MO = MI->getOperand(opNum); |
Bruno Cardoso Lopes | c7db561 | 2007-11-05 03:02:32 +0000 | [diff] [blame] | 339 | bool closeP = false; |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 340 | |
Bruno Cardoso Lopes | c517cb0 | 2009-09-01 17:27:58 +0000 | [diff] [blame] | 341 | if (MO.getTargetFlags()) |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 342 | closeP = true; |
Bruno Cardoso Lopes | c517cb0 | 2009-09-01 17:27:58 +0000 | [diff] [blame] | 343 | |
| 344 | switch(MO.getTargetFlags()) { |
| 345 | case MipsII::MO_GPREL: O << "%gp_rel("; break; |
| 346 | case MipsII::MO_GOT_CALL: O << "%call16("; break; |
Akira Hatanaka | e2e436a | 2011-04-01 21:41:06 +0000 | [diff] [blame] | 347 | case MipsII::MO_GOT: O << "%got("; break; |
| 348 | case MipsII::MO_ABS_HI: O << "%hi("; break; |
| 349 | case MipsII::MO_ABS_LO: O << "%lo("; break; |
Bruno Cardoso Lopes | d979686 | 2011-05-31 02:53:58 +0000 | [diff] [blame] | 350 | case MipsII::MO_TLSGD: O << "%tlsgd("; break; |
| 351 | case MipsII::MO_GOTTPREL: O << "%gottprel("; break; |
| 352 | case MipsII::MO_TPREL_HI: O << "%tprel_hi("; break; |
| 353 | case MipsII::MO_TPREL_LO: O << "%tprel_lo("; break; |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 354 | } |
Bruno Cardoso Lopes | c517cb0 | 2009-09-01 17:27:58 +0000 | [diff] [blame] | 355 | |
Chris Lattner | 762ccea | 2009-09-13 20:31:40 +0000 | [diff] [blame] | 356 | switch (MO.getType()) { |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 357 | case MachineOperand::MO_Register: |
Akira Hatanaka | 794bf17 | 2011-07-07 23:56:50 +0000 | [diff] [blame] | 358 | O << '$' |
| 359 | << LowercaseString(MipsInstPrinter::getRegisterName(MO.getReg())); |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 360 | break; |
| 361 | |
| 362 | case MachineOperand::MO_Immediate: |
Akira Hatanaka | ce98deb | 2011-05-24 21:22:21 +0000 | [diff] [blame] | 363 | O << MO.getImm(); |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 364 | break; |
| 365 | |
| 366 | case MachineOperand::MO_MachineBasicBlock: |
Chris Lattner | 1b2eb0e | 2010-03-13 21:04:28 +0000 | [diff] [blame] | 367 | O << *MO.getMBB()->getSymbol(); |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 368 | return; |
| 369 | |
| 370 | case MachineOperand::MO_GlobalAddress: |
Chris Lattner | d62f1b4 | 2010-03-12 21:19:23 +0000 | [diff] [blame] | 371 | O << *Mang->getSymbol(MO.getGlobal()); |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 372 | break; |
| 373 | |
Bruno Cardoso Lopes | ca8a2aa | 2011-03-04 20:01:52 +0000 | [diff] [blame] | 374 | case MachineOperand::MO_BlockAddress: { |
| 375 | MCSymbol* BA = GetBlockAddressSymbol(MO.getBlockAddress()); |
| 376 | O << BA->getName(); |
| 377 | break; |
| 378 | } |
| 379 | |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 380 | case MachineOperand::MO_ExternalSymbol: |
Chris Lattner | 10b318b | 2010-01-17 21:43:43 +0000 | [diff] [blame] | 381 | O << *GetExternalSymbolSymbol(MO.getSymbolName()); |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 382 | break; |
| 383 | |
Bruno Cardoso Lopes | 753a987 | 2007-11-12 19:49:57 +0000 | [diff] [blame] | 384 | case MachineOperand::MO_JumpTableIndex: |
Chris Lattner | 33adcfb | 2009-08-22 21:43:10 +0000 | [diff] [blame] | 385 | O << MAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber() |
Chris Lattner | 1216441 | 2010-01-16 00:21:18 +0000 | [diff] [blame] | 386 | << '_' << MO.getIndex(); |
Bruno Cardoso Lopes | 753a987 | 2007-11-12 19:49:57 +0000 | [diff] [blame] | 387 | break; |
| 388 | |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 389 | case MachineOperand::MO_ConstantPoolIndex: |
Chris Lattner | 33adcfb | 2009-08-22 21:43:10 +0000 | [diff] [blame] | 390 | O << MAI->getPrivateGlobalPrefix() << "CPI" |
Chris Lattner | 8aa797a | 2007-12-30 23:10:15 +0000 | [diff] [blame] | 391 | << getFunctionNumber() << "_" << MO.getIndex(); |
Bruno Cardoso Lopes | 2045c47 | 2009-11-19 06:06:13 +0000 | [diff] [blame] | 392 | if (MO.getOffset()) |
| 393 | O << "+" << MO.getOffset(); |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 394 | break; |
Bruno Cardoso Lopes | 81092dc | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 395 | |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 396 | default: |
Torok Edwin | c23197a | 2009-07-14 16:55:14 +0000 | [diff] [blame] | 397 | llvm_unreachable("<unknown operand type>"); |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 398 | } |
| 399 | |
| 400 | if (closeP) O << ")"; |
| 401 | } |
| 402 | |
Chris Lattner | 35c33bd | 2010-04-04 04:47:45 +0000 | [diff] [blame] | 403 | void MipsAsmPrinter::printUnsignedImm(const MachineInstr *MI, int opNum, |
| 404 | raw_ostream &O) { |
Bruno Cardoso Lopes | 739e441 | 2008-08-13 07:13:40 +0000 | [diff] [blame] | 405 | const MachineOperand &MO = MI->getOperand(opNum); |
Devang Patel | a00adba | 2010-04-27 22:24:37 +0000 | [diff] [blame] | 406 | if (MO.isImm()) |
Bruno Cardoso Lopes | 739e441 | 2008-08-13 07:13:40 +0000 | [diff] [blame] | 407 | O << (unsigned short int)MO.getImm(); |
Bruno Cardoso Lopes | 81092dc | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 408 | else |
Chris Lattner | 35c33bd | 2010-04-04 04:47:45 +0000 | [diff] [blame] | 409 | printOperand(MI, opNum, O); |
Bruno Cardoso Lopes | 739e441 | 2008-08-13 07:13:40 +0000 | [diff] [blame] | 410 | } |
| 411 | |
| 412 | void MipsAsmPrinter:: |
Akira Hatanaka | 03236be | 2011-07-07 20:54:20 +0000 | [diff] [blame] | 413 | printMemOperand(const MachineInstr *MI, int opNum, raw_ostream &O) { |
Bruno Cardoso Lopes | 81092dc | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 414 | // Load/Store memory operands -- imm($reg) |
| 415 | // If PIC target the target is loaded as the |
Bruno Cardoso Lopes | c7db561 | 2007-11-05 03:02:32 +0000 | [diff] [blame] | 416 | // pattern lw $25,%call16($28) |
Chris Lattner | 35c33bd | 2010-04-04 04:47:45 +0000 | [diff] [blame] | 417 | printOperand(MI, opNum+1, O); |
Akira Hatanaka | d3ac47f | 2011-07-07 18:57:00 +0000 | [diff] [blame] | 418 | O << "("; |
| 419 | printOperand(MI, opNum, O); |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 420 | O << ")"; |
| 421 | } |
| 422 | |
Bruno Cardoso Lopes | 225ca9c | 2008-07-05 19:05:21 +0000 | [diff] [blame] | 423 | void MipsAsmPrinter:: |
Akira Hatanaka | 03236be | 2011-07-07 20:54:20 +0000 | [diff] [blame] | 424 | printMemOperandEA(const MachineInstr *MI, int opNum, raw_ostream &O) { |
| 425 | // when using stack locations for not load/store instructions |
| 426 | // print the same way as all normal 3 operand instructions. |
| 427 | printOperand(MI, opNum, O); |
| 428 | O << ", "; |
| 429 | printOperand(MI, opNum+1, O); |
| 430 | return; |
| 431 | } |
| 432 | |
| 433 | void MipsAsmPrinter:: |
Chris Lattner | 35c33bd | 2010-04-04 04:47:45 +0000 | [diff] [blame] | 434 | printFCCOperand(const MachineInstr *MI, int opNum, raw_ostream &O, |
| 435 | const char *Modifier) { |
Bruno Cardoso Lopes | 225ca9c | 2008-07-05 19:05:21 +0000 | [diff] [blame] | 436 | const MachineOperand& MO = MI->getOperand(opNum); |
Bruno Cardoso Lopes | 81092dc | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 437 | O << Mips::MipsFCCToString((Mips::CondCode)MO.getImm()); |
Bruno Cardoso Lopes | 225ca9c | 2008-07-05 19:05:21 +0000 | [diff] [blame] | 438 | } |
| 439 | |
Bob Wilson | 812209a | 2009-09-30 22:06:26 +0000 | [diff] [blame] | 440 | void MipsAsmPrinter::EmitStartOfAsmFile(Module &M) { |
Chris Lattner | 6c2f9e1 | 2009-08-19 05:49:37 +0000 | [diff] [blame] | 441 | // FIXME: Use SwitchSection. |
Bruno Cardoso Lopes | 81092dc | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 442 | |
Bruno Cardoso Lopes | 43d526d | 2008-07-14 14:42:54 +0000 | [diff] [blame] | 443 | // Tell the assembler which ABI we are using |
Akira Hatanaka | 4552c9a | 2011-04-15 21:51:11 +0000 | [diff] [blame] | 444 | OutStreamer.EmitRawText("\t.section .mdebug." + Twine(getCurrentABIString())); |
Bruno Cardoso Lopes | 43d526d | 2008-07-14 14:42:54 +0000 | [diff] [blame] | 445 | |
| 446 | // TODO: handle O64 ABI |
Benjamin Kramer | 75e818a | 2010-04-05 10:17:15 +0000 | [diff] [blame] | 447 | if (Subtarget->isABI_EABI()) { |
Chris Lattner | 9d7efd3 | 2010-04-04 07:05:53 +0000 | [diff] [blame] | 448 | if (Subtarget->isGP32bit()) |
| 449 | OutStreamer.EmitRawText(StringRef("\t.section .gcc_compiled_long32")); |
| 450 | else |
| 451 | OutStreamer.EmitRawText(StringRef("\t.section .gcc_compiled_long64")); |
Benjamin Kramer | 75e818a | 2010-04-05 10:17:15 +0000 | [diff] [blame] | 452 | } |
Bruno Cardoso Lopes | 43d526d | 2008-07-14 14:42:54 +0000 | [diff] [blame] | 453 | |
| 454 | // return to previous section |
Bruno Cardoso Lopes | 81092dc | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 455 | OutStreamer.EmitRawText(StringRef("\t.previous")); |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 456 | } |
| 457 | |
Akira Hatanaka | c4f24eb | 2011-07-01 01:04:43 +0000 | [diff] [blame] | 458 | MachineLocation |
| 459 | MipsAsmPrinter::getDebugValueLocation(const MachineInstr *MI) const { |
| 460 | // Handles frame addresses emitted in MipsInstrInfo::emitFrameIndexDebugValue. |
| 461 | assert(MI->getNumOperands() == 4 && "Invalid no. of machine operands!"); |
| 462 | assert(MI->getOperand(0).isReg() && MI->getOperand(1).isImm() && |
| 463 | "Unexpected MachineOperand types"); |
| 464 | return MachineLocation(MI->getOperand(0).getReg(), |
| 465 | MI->getOperand(1).getImm()); |
| 466 | } |
| 467 | |
| 468 | void MipsAsmPrinter::PrintDebugValueComment(const MachineInstr *MI, |
| 469 | raw_ostream &OS) { |
| 470 | // TODO: implement |
| 471 | } |
| 472 | |
Bob Wilson | a96751f | 2009-06-23 23:59:40 +0000 | [diff] [blame] | 473 | // Force static initialization. |
Bruno Cardoso Lopes | 81092dc | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 474 | extern "C" void LLVMInitializeMipsAsmPrinter() { |
Daniel Dunbar | 0c795d6 | 2009-07-25 06:49:55 +0000 | [diff] [blame] | 475 | RegisterAsmPrinter<MipsAsmPrinter> X(TheMipsTarget); |
| 476 | RegisterAsmPrinter<MipsAsmPrinter> Y(TheMipselTarget); |
Daniel Dunbar | 51b198a | 2009-07-15 20:24:03 +0000 | [diff] [blame] | 477 | } |