19f610119SJia Liu //===-- MipsMCCodeEmitter.cpp - Convert Mips Code to Machine Code ---------===// 2750ecec7SAkira Hatanaka // 3750ecec7SAkira Hatanaka // The LLVM Compiler Infrastructure 4750ecec7SAkira Hatanaka // 5750ecec7SAkira Hatanaka // This file is distributed under the University of Illinois Open Source 6750ecec7SAkira Hatanaka // License. See LICENSE.TXT for details. 7750ecec7SAkira Hatanaka // 8750ecec7SAkira Hatanaka //===----------------------------------------------------------------------===// 9750ecec7SAkira Hatanaka // 10750ecec7SAkira Hatanaka // This file implements the MipsMCCodeEmitter class. 11750ecec7SAkira Hatanaka // 12750ecec7SAkira Hatanaka //===----------------------------------------------------------------------===// 13750ecec7SAkira Hatanaka // 149e1450bcSMatheus Almeida 159e1450bcSMatheus Almeida #include "MipsMCCodeEmitter.h" 16c85e3ff3SBruno Cardoso Lopes #include "MCTargetDesc/MipsFixupKinds.h" 17a5da588bSPetar Jovanovic #include "MCTargetDesc/MipsMCExpr.h" 18c85e3ff3SBruno Cardoso Lopes #include "MCTargetDesc/MipsMCTargetDesc.h" 19c85e3ff3SBruno Cardoso Lopes #include "llvm/ADT/APFloat.h" 209e1450bcSMatheus Almeida #include "llvm/ADT/SmallVector.h" 215d6faed1SAkira Hatanaka #include "llvm/MC/MCContext.h" 22750ecec7SAkira Hatanaka #include "llvm/MC/MCExpr.h" 23750ecec7SAkira Hatanaka #include "llvm/MC/MCInst.h" 24750ecec7SAkira Hatanaka #include "llvm/MC/MCInstrInfo.h" 259e1450bcSMatheus Almeida #include "llvm/MC/MCFixup.h" 26750ecec7SAkira Hatanaka #include "llvm/MC/MCSubtargetInfo.h" 27750ecec7SAkira Hatanaka #include "llvm/Support/raw_ostream.h" 28750ecec7SAkira Hatanaka 2984e68b29SChandler Carruth #define DEBUG_TYPE "mccodeemitter" 3084e68b29SChandler Carruth 31be6a818fSAkira Hatanaka #define GET_INSTRMAP_INFO 32be6a818fSAkira Hatanaka #include "MipsGenInstrInfo.inc" 339e1450bcSMatheus Almeida #undef GET_INSTRMAP_INFO 34be6a818fSAkira Hatanaka 359e1450bcSMatheus Almeida namespace llvm { 369e1450bcSMatheus Almeida MCCodeEmitter *createMipsMCCodeEmitterEB(const MCInstrInfo &MCII, 37c3b04279SJim Grosbach const MCRegisterInfo &MRI, 38750ecec7SAkira Hatanaka const MCSubtargetInfo &STI, 399e1450bcSMatheus Almeida MCContext &Ctx) { 40d2cca113SDavid Woodhouse return new MipsMCCodeEmitter(MCII, Ctx, false); 411ee768dbSAkira Hatanaka } 421ee768dbSAkira Hatanaka 439e1450bcSMatheus Almeida MCCodeEmitter *createMipsMCCodeEmitterEL(const MCInstrInfo &MCII, 44c3b04279SJim Grosbach const MCRegisterInfo &MRI, 451ee768dbSAkira Hatanaka const MCSubtargetInfo &STI, 469e1450bcSMatheus Almeida MCContext &Ctx) { 47d2cca113SDavid Woodhouse return new MipsMCCodeEmitter(MCII, Ctx, true); 48750ecec7SAkira Hatanaka } 499e1450bcSMatheus Almeida } // End of namespace llvm. 50f30f2cceSRafael Espindola 51f30f2cceSRafael Espindola // If the D<shift> instruction has a shift amount that is greater 52f30f2cceSRafael Espindola // than 31 (checked in calling routine), lower it to a D<shift>32 instruction 53f30f2cceSRafael Espindola static void LowerLargeShift(MCInst& Inst) { 54f30f2cceSRafael Espindola 55f30f2cceSRafael Espindola assert(Inst.getNumOperands() == 3 && "Invalid no. of operands for shift!"); 56f30f2cceSRafael Espindola assert(Inst.getOperand(2).isImm()); 57f30f2cceSRafael Espindola 58f30f2cceSRafael Espindola int64_t Shift = Inst.getOperand(2).getImm(); 59f30f2cceSRafael Espindola if (Shift <= 31) 60f30f2cceSRafael Espindola return; // Do nothing 61f30f2cceSRafael Espindola Shift -= 32; 62f30f2cceSRafael Espindola 63f30f2cceSRafael Espindola // saminus32 64f30f2cceSRafael Espindola Inst.getOperand(2).setImm(Shift); 65f30f2cceSRafael Espindola 66f30f2cceSRafael Espindola switch (Inst.getOpcode()) { 67f30f2cceSRafael Espindola default: 68f30f2cceSRafael Espindola // Calling function is not synchronized 69f30f2cceSRafael Espindola llvm_unreachable("Unexpected shift instruction"); 70f30f2cceSRafael Espindola case Mips::DSLL: 71f30f2cceSRafael Espindola Inst.setOpcode(Mips::DSLL32); 72f30f2cceSRafael Espindola return; 73f30f2cceSRafael Espindola case Mips::DSRL: 74f30f2cceSRafael Espindola Inst.setOpcode(Mips::DSRL32); 75f30f2cceSRafael Espindola return; 76f30f2cceSRafael Espindola case Mips::DSRA: 77f30f2cceSRafael Espindola Inst.setOpcode(Mips::DSRA32); 78f30f2cceSRafael Espindola return; 796a3fe574SAkira Hatanaka case Mips::DROTR: 806a3fe574SAkira Hatanaka Inst.setOpcode(Mips::DROTR32); 816a3fe574SAkira Hatanaka return; 82f30f2cceSRafael Espindola } 83f30f2cceSRafael Espindola } 84f30f2cceSRafael Espindola 85f30f2cceSRafael Espindola // Pick a DEXT or DINS instruction variant based on the pos and size operands 86f30f2cceSRafael Espindola static void LowerDextDins(MCInst& InstIn) { 87f30f2cceSRafael Espindola int Opcode = InstIn.getOpcode(); 88f30f2cceSRafael Espindola 89f30f2cceSRafael Espindola if (Opcode == Mips::DEXT) 90f30f2cceSRafael Espindola assert(InstIn.getNumOperands() == 4 && 91f30f2cceSRafael Espindola "Invalid no. of machine operands for DEXT!"); 92f30f2cceSRafael Espindola else // Only DEXT and DINS are possible 93f30f2cceSRafael Espindola assert(InstIn.getNumOperands() == 5 && 94f30f2cceSRafael Espindola "Invalid no. of machine operands for DINS!"); 95f30f2cceSRafael Espindola 96f30f2cceSRafael Espindola assert(InstIn.getOperand(2).isImm()); 97f30f2cceSRafael Espindola int64_t pos = InstIn.getOperand(2).getImm(); 98f30f2cceSRafael Espindola assert(InstIn.getOperand(3).isImm()); 99f30f2cceSRafael Espindola int64_t size = InstIn.getOperand(3).getImm(); 100f30f2cceSRafael Espindola 101f30f2cceSRafael Espindola if (size <= 32) { 102f30f2cceSRafael Espindola if (pos < 32) // DEXT/DINS, do nothing 103f30f2cceSRafael Espindola return; 104f30f2cceSRafael Espindola // DEXTU/DINSU 105f30f2cceSRafael Espindola InstIn.getOperand(2).setImm(pos - 32); 106f30f2cceSRafael Espindola InstIn.setOpcode((Opcode == Mips::DEXT) ? Mips::DEXTU : Mips::DINSU); 107f30f2cceSRafael Espindola return; 108f30f2cceSRafael Espindola } 109f30f2cceSRafael Espindola // DEXTM/DINSM 110f30f2cceSRafael Espindola assert(pos < 32 && "DEXT/DINS cannot have both size and pos > 32"); 111f30f2cceSRafael Espindola InstIn.getOperand(3).setImm(size - 32); 112f30f2cceSRafael Espindola InstIn.setOpcode((Opcode == Mips::DEXT) ? Mips::DEXTM : Mips::DINSM); 113f30f2cceSRafael Espindola return; 114f30f2cceSRafael Espindola } 115f30f2cceSRafael Espindola 1169e1450bcSMatheus Almeida bool MipsMCCodeEmitter::isMicroMips(const MCSubtargetInfo &STI) const { 1179e1450bcSMatheus Almeida return STI.getFeatureBits() & Mips::FeatureMicroMips; 1189e1450bcSMatheus Almeida } 1199e1450bcSMatheus Almeida 1209e1450bcSMatheus Almeida void MipsMCCodeEmitter::EmitByte(unsigned char C, raw_ostream &OS) const { 1219e1450bcSMatheus Almeida OS << (char)C; 1229e1450bcSMatheus Almeida } 1239e1450bcSMatheus Almeida 1249e1450bcSMatheus Almeida void MipsMCCodeEmitter::EmitInstruction(uint64_t Val, unsigned Size, 1259e1450bcSMatheus Almeida const MCSubtargetInfo &STI, 1269e1450bcSMatheus Almeida raw_ostream &OS) const { 1279e1450bcSMatheus Almeida // Output the instruction encoding in little endian byte order. 1289e1450bcSMatheus Almeida // Little-endian byte ordering: 1299e1450bcSMatheus Almeida // mips32r2: 4 | 3 | 2 | 1 1309e1450bcSMatheus Almeida // microMIPS: 2 | 1 | 4 | 3 1319e1450bcSMatheus Almeida if (IsLittleEndian && Size == 4 && isMicroMips(STI)) { 1329e1450bcSMatheus Almeida EmitInstruction(Val >> 16, 2, STI, OS); 1339e1450bcSMatheus Almeida EmitInstruction(Val, 2, STI, OS); 1349e1450bcSMatheus Almeida } else { 1359e1450bcSMatheus Almeida for (unsigned i = 0; i < Size; ++i) { 1369e1450bcSMatheus Almeida unsigned Shift = IsLittleEndian ? i * 8 : (Size - 1 - i) * 8; 1379e1450bcSMatheus Almeida EmitByte((Val >> Shift) & 0xff, OS); 1389e1450bcSMatheus Almeida } 1399e1450bcSMatheus Almeida } 1409e1450bcSMatheus Almeida } 1419e1450bcSMatheus Almeida 142c85e3ff3SBruno Cardoso Lopes /// EncodeInstruction - Emit the instruction. 1434e07b95dSJack Carter /// Size the instruction with Desc.getSize(). 144c85e3ff3SBruno Cardoso Lopes void MipsMCCodeEmitter:: 145c85e3ff3SBruno Cardoso Lopes EncodeInstruction(const MCInst &MI, raw_ostream &OS, 1469784cef3SDavid Woodhouse SmallVectorImpl<MCFixup> &Fixups, 1479784cef3SDavid Woodhouse const MCSubtargetInfo &STI) const 148c85e3ff3SBruno Cardoso Lopes { 149aa7aeaa0SJack Carter 150aa7aeaa0SJack Carter // Non-pseudo instructions that get changed for direct object 151aa7aeaa0SJack Carter // only based on operand values. 152aa7aeaa0SJack Carter // If this list of instructions get much longer we will move 153aa7aeaa0SJack Carter // the check to a function call. Until then, this is more efficient. 154aa7aeaa0SJack Carter MCInst TmpInst = MI; 155aa7aeaa0SJack Carter switch (MI.getOpcode()) { 156aa7aeaa0SJack Carter // If shift amount is >= 32 it the inst needs to be lowered further 157aa7aeaa0SJack Carter case Mips::DSLL: 158aa7aeaa0SJack Carter case Mips::DSRL: 159aa7aeaa0SJack Carter case Mips::DSRA: 1606a3fe574SAkira Hatanaka case Mips::DROTR: 161f30f2cceSRafael Espindola LowerLargeShift(TmpInst); 162aa7aeaa0SJack Carter break; 163aa7aeaa0SJack Carter // Double extract instruction is chosen by pos and size operands 164aa7aeaa0SJack Carter case Mips::DEXT: 165aa7aeaa0SJack Carter case Mips::DINS: 166f30f2cceSRafael Espindola LowerDextDins(TmpInst); 167aa7aeaa0SJack Carter } 168aa7aeaa0SJack Carter 16997700977SJack Carter unsigned long N = Fixups.size(); 1703fa98a65SDavid Woodhouse uint32_t Binary = getBinaryCodeForInstr(TmpInst, Fixups, STI); 171c85e3ff3SBruno Cardoso Lopes 172c85e3ff3SBruno Cardoso Lopes // Check for unimplemented opcodes. 173aa7aeaa0SJack Carter // Unfortunately in MIPS both NOP and SLL will come in with Binary == 0 174c85e3ff3SBruno Cardoso Lopes // so we have to special check for them. 175aa7aeaa0SJack Carter unsigned Opcode = TmpInst.getOpcode(); 176c85e3ff3SBruno Cardoso Lopes if ((Opcode != Mips::NOP) && (Opcode != Mips::SLL) && !Binary) 177c85e3ff3SBruno Cardoso Lopes llvm_unreachable("unimplemented opcode in EncodeInstruction()"); 178c85e3ff3SBruno Cardoso Lopes 179be6a818fSAkira Hatanaka if (STI.getFeatureBits() & Mips::FeatureMicroMips) { 180be6a818fSAkira Hatanaka int NewOpcode = Mips::Std2MicroMips (Opcode, Mips::Arch_micromips); 181be6a818fSAkira Hatanaka if (NewOpcode != -1) { 18297700977SJack Carter if (Fixups.size() > N) 18397700977SJack Carter Fixups.pop_back(); 184be6a818fSAkira Hatanaka Opcode = NewOpcode; 185be6a818fSAkira Hatanaka TmpInst.setOpcode (NewOpcode); 1863fa98a65SDavid Woodhouse Binary = getBinaryCodeForInstr(TmpInst, Fixups, STI); 187be6a818fSAkira Hatanaka } 188be6a818fSAkira Hatanaka } 189be6a818fSAkira Hatanaka 190aa7aeaa0SJack Carter const MCInstrDesc &Desc = MCII.get(TmpInst.getOpcode()); 191c85e3ff3SBruno Cardoso Lopes 1925b5559d3SJack Carter // Get byte count of instruction 1935b5559d3SJack Carter unsigned Size = Desc.getSize(); 1945b5559d3SJack Carter if (!Size) 1955b5559d3SJack Carter llvm_unreachable("Desc.getSize() returns 0"); 196c85e3ff3SBruno Cardoso Lopes 197d2cca113SDavid Woodhouse EmitInstruction(Binary, Size, STI, OS); 198c85e3ff3SBruno Cardoso Lopes } 199c85e3ff3SBruno Cardoso Lopes 200c85e3ff3SBruno Cardoso Lopes /// getBranchTargetOpValue - Return binary encoding of the branch 201c85e3ff3SBruno Cardoso Lopes /// target operand. If the machine operand requires relocation, 202c85e3ff3SBruno Cardoso Lopes /// record the relocation and return zero. 203c85e3ff3SBruno Cardoso Lopes unsigned MipsMCCodeEmitter:: 204c85e3ff3SBruno Cardoso Lopes getBranchTargetOpValue(const MCInst &MI, unsigned OpNo, 2053fa98a65SDavid Woodhouse SmallVectorImpl<MCFixup> &Fixups, 2063fa98a65SDavid Woodhouse const MCSubtargetInfo &STI) const { 207c85e3ff3SBruno Cardoso Lopes 208c85e3ff3SBruno Cardoso Lopes const MCOperand &MO = MI.getOperand(OpNo); 20971e6a749SJack Carter 2104f69a0f2SJack Carter // If the destination is an immediate, divide by 4. 2114f69a0f2SJack Carter if (MO.isImm()) return MO.getImm() >> 2; 2124f69a0f2SJack Carter 21371e6a749SJack Carter assert(MO.isExpr() && 21471e6a749SJack Carter "getBranchTargetOpValue expects only expressions or immediates"); 215c85e3ff3SBruno Cardoso Lopes 216c85e3ff3SBruno Cardoso Lopes const MCExpr *Expr = MO.getExpr(); 217c85e3ff3SBruno Cardoso Lopes Fixups.push_back(MCFixup::Create(0, Expr, 218c85e3ff3SBruno Cardoso Lopes MCFixupKind(Mips::fixup_Mips_PC16))); 219c85e3ff3SBruno Cardoso Lopes return 0; 220c85e3ff3SBruno Cardoso Lopes } 221c85e3ff3SBruno Cardoso Lopes 2228a80aa76SZoran Jovanovic /// getBranchTargetOpValue - Return binary encoding of the microMIPS branch 2238a80aa76SZoran Jovanovic /// target operand. If the machine operand requires relocation, 2248a80aa76SZoran Jovanovic /// record the relocation and return zero. 2258a80aa76SZoran Jovanovic unsigned MipsMCCodeEmitter:: 2268a80aa76SZoran Jovanovic getBranchTargetOpValueMM(const MCInst &MI, unsigned OpNo, 2273fa98a65SDavid Woodhouse SmallVectorImpl<MCFixup> &Fixups, 2283fa98a65SDavid Woodhouse const MCSubtargetInfo &STI) const { 2298a80aa76SZoran Jovanovic 2308a80aa76SZoran Jovanovic const MCOperand &MO = MI.getOperand(OpNo); 2318a80aa76SZoran Jovanovic 2328a80aa76SZoran Jovanovic // If the destination is an immediate, divide by 2. 2338a80aa76SZoran Jovanovic if (MO.isImm()) return MO.getImm() >> 1; 2348a80aa76SZoran Jovanovic 2358a80aa76SZoran Jovanovic assert(MO.isExpr() && 2368a80aa76SZoran Jovanovic "getBranchTargetOpValueMM expects only expressions or immediates"); 2378a80aa76SZoran Jovanovic 2388a80aa76SZoran Jovanovic const MCExpr *Expr = MO.getExpr(); 2398a80aa76SZoran Jovanovic Fixups.push_back(MCFixup::Create(0, Expr, 2408a80aa76SZoran Jovanovic MCFixupKind(Mips:: 2418a80aa76SZoran Jovanovic fixup_MICROMIPS_PC16_S1))); 2428a80aa76SZoran Jovanovic return 0; 2438a80aa76SZoran Jovanovic } 2448a80aa76SZoran Jovanovic 245*3c8869dcSZoran Jovanovic /// getBranchTarget21OpValue - Return binary encoding of the branch 246*3c8869dcSZoran Jovanovic /// target operand. If the machine operand requires relocation, 247*3c8869dcSZoran Jovanovic /// record the relocation and return zero. 248*3c8869dcSZoran Jovanovic unsigned MipsMCCodeEmitter:: 249*3c8869dcSZoran Jovanovic getBranchTarget21OpValue(const MCInst &MI, unsigned OpNo, 250*3c8869dcSZoran Jovanovic SmallVectorImpl<MCFixup> &Fixups, 251*3c8869dcSZoran Jovanovic const MCSubtargetInfo &STI) const { 252*3c8869dcSZoran Jovanovic 253*3c8869dcSZoran Jovanovic const MCOperand &MO = MI.getOperand(OpNo); 254*3c8869dcSZoran Jovanovic 255*3c8869dcSZoran Jovanovic // If the destination is an immediate, divide by 4. 256*3c8869dcSZoran Jovanovic if (MO.isImm()) return MO.getImm() >> 2; 257*3c8869dcSZoran Jovanovic 258*3c8869dcSZoran Jovanovic assert(MO.isExpr() && 259*3c8869dcSZoran Jovanovic "getBranchTarget21OpValue expects only expressions or immediates"); 260*3c8869dcSZoran Jovanovic 261*3c8869dcSZoran Jovanovic // TODO: Push 21 PC fixup. 262*3c8869dcSZoran Jovanovic return 0; 263*3c8869dcSZoran Jovanovic } 264*3c8869dcSZoran Jovanovic 265*3c8869dcSZoran Jovanovic /// getBranchTarget26OpValue - Return binary encoding of the branch 266*3c8869dcSZoran Jovanovic /// target operand. If the machine operand requires relocation, 267*3c8869dcSZoran Jovanovic /// record the relocation and return zero. 268*3c8869dcSZoran Jovanovic unsigned MipsMCCodeEmitter:: 269*3c8869dcSZoran Jovanovic getBranchTarget26OpValue(const MCInst &MI, unsigned OpNo, 270*3c8869dcSZoran Jovanovic SmallVectorImpl<MCFixup> &Fixups, 271*3c8869dcSZoran Jovanovic const MCSubtargetInfo &STI) const { 272*3c8869dcSZoran Jovanovic 273*3c8869dcSZoran Jovanovic const MCOperand &MO = MI.getOperand(OpNo); 274*3c8869dcSZoran Jovanovic 275*3c8869dcSZoran Jovanovic // If the destination is an immediate, divide by 4. 276*3c8869dcSZoran Jovanovic if (MO.isImm()) return MO.getImm() >> 2; 277*3c8869dcSZoran Jovanovic 278*3c8869dcSZoran Jovanovic assert(MO.isExpr() && 279*3c8869dcSZoran Jovanovic "getBranchTarget26OpValue expects only expressions or immediates"); 280*3c8869dcSZoran Jovanovic 281*3c8869dcSZoran Jovanovic // TODO: Push 26 PC fixup. 282*3c8869dcSZoran Jovanovic return 0; 283*3c8869dcSZoran Jovanovic } 284*3c8869dcSZoran Jovanovic 285c85e3ff3SBruno Cardoso Lopes /// getJumpTargetOpValue - Return binary encoding of the jump 286c85e3ff3SBruno Cardoso Lopes /// target operand. If the machine operand requires relocation, 287c85e3ff3SBruno Cardoso Lopes /// record the relocation and return zero. 288c85e3ff3SBruno Cardoso Lopes unsigned MipsMCCodeEmitter:: 289c85e3ff3SBruno Cardoso Lopes getJumpTargetOpValue(const MCInst &MI, unsigned OpNo, 2903fa98a65SDavid Woodhouse SmallVectorImpl<MCFixup> &Fixups, 2913fa98a65SDavid Woodhouse const MCSubtargetInfo &STI) const { 292c85e3ff3SBruno Cardoso Lopes 293c85e3ff3SBruno Cardoso Lopes const MCOperand &MO = MI.getOperand(OpNo); 2944f69a0f2SJack Carter // If the destination is an immediate, divide by 4. 2954f69a0f2SJack Carter if (MO.isImm()) return MO.getImm()>>2; 2964f69a0f2SJack Carter 29771e6a749SJack Carter assert(MO.isExpr() && 29871e6a749SJack Carter "getJumpTargetOpValue expects only expressions or an immediate"); 299c85e3ff3SBruno Cardoso Lopes 300c85e3ff3SBruno Cardoso Lopes const MCExpr *Expr = MO.getExpr(); 301c85e3ff3SBruno Cardoso Lopes Fixups.push_back(MCFixup::Create(0, Expr, 302c85e3ff3SBruno Cardoso Lopes MCFixupKind(Mips::fixup_Mips_26))); 303c85e3ff3SBruno Cardoso Lopes return 0; 304c85e3ff3SBruno Cardoso Lopes } 305c85e3ff3SBruno Cardoso Lopes 306c85e3ff3SBruno Cardoso Lopes unsigned MipsMCCodeEmitter:: 307507e084aSZoran Jovanovic getJumpTargetOpValueMM(const MCInst &MI, unsigned OpNo, 3083fa98a65SDavid Woodhouse SmallVectorImpl<MCFixup> &Fixups, 3093fa98a65SDavid Woodhouse const MCSubtargetInfo &STI) const { 310507e084aSZoran Jovanovic 311507e084aSZoran Jovanovic const MCOperand &MO = MI.getOperand(OpNo); 312507e084aSZoran Jovanovic // If the destination is an immediate, divide by 2. 313507e084aSZoran Jovanovic if (MO.isImm()) return MO.getImm() >> 1; 314507e084aSZoran Jovanovic 315507e084aSZoran Jovanovic assert(MO.isExpr() && 316507e084aSZoran Jovanovic "getJumpTargetOpValueMM expects only expressions or an immediate"); 317507e084aSZoran Jovanovic 318507e084aSZoran Jovanovic const MCExpr *Expr = MO.getExpr(); 319507e084aSZoran Jovanovic Fixups.push_back(MCFixup::Create(0, Expr, 320507e084aSZoran Jovanovic MCFixupKind(Mips::fixup_MICROMIPS_26_S1))); 321507e084aSZoran Jovanovic return 0; 322507e084aSZoran Jovanovic } 323507e084aSZoran Jovanovic 324507e084aSZoran Jovanovic unsigned MipsMCCodeEmitter:: 3253fa98a65SDavid Woodhouse getExprOpValue(const MCExpr *Expr,SmallVectorImpl<MCFixup> &Fixups, 3263fa98a65SDavid Woodhouse const MCSubtargetInfo &STI) const { 327b5cf5909SJack Carter int64_t Res; 328049e9e4dSAkira Hatanaka 329b5cf5909SJack Carter if (Expr->EvaluateAsAbsolute(Res)) 330b5cf5909SJack Carter return Res; 331fe384a2cSAkira Hatanaka 332fe384a2cSAkira Hatanaka MCExpr::ExprKind Kind = Expr->getKind(); 333b5cf5909SJack Carter if (Kind == MCExpr::Constant) { 334b5cf5909SJack Carter return cast<MCConstantExpr>(Expr)->getValue(); 335b5cf5909SJack Carter } 336fe384a2cSAkira Hatanaka 337fe384a2cSAkira Hatanaka if (Kind == MCExpr::Binary) { 3383fa98a65SDavid Woodhouse unsigned Res = getExprOpValue(cast<MCBinaryExpr>(Expr)->getLHS(), Fixups, STI); 3393fa98a65SDavid Woodhouse Res += getExprOpValue(cast<MCBinaryExpr>(Expr)->getRHS(), Fixups, STI); 340b5cf5909SJack Carter return Res; 341fe384a2cSAkira Hatanaka } 342a5da588bSPetar Jovanovic 343a5da588bSPetar Jovanovic if (Kind == MCExpr::Target) { 344a5da588bSPetar Jovanovic const MipsMCExpr *MipsExpr = cast<MipsMCExpr>(Expr); 345a5da588bSPetar Jovanovic 346a5da588bSPetar Jovanovic Mips::Fixups FixupKind = Mips::Fixups(0); 347a5da588bSPetar Jovanovic switch (MipsExpr->getKind()) { 348a5da588bSPetar Jovanovic default: llvm_unreachable("Unsupported fixup kind for target expression!"); 34906c47803SSasa Stankovic case MipsMCExpr::VK_Mips_HIGHEST: 35006c47803SSasa Stankovic FixupKind = Mips::fixup_Mips_HIGHEST; 35106c47803SSasa Stankovic break; 35206c47803SSasa Stankovic case MipsMCExpr::VK_Mips_HIGHER: 35306c47803SSasa Stankovic FixupKind = Mips::fixup_Mips_HIGHER; 35406c47803SSasa Stankovic break; 35506c47803SSasa Stankovic case MipsMCExpr::VK_Mips_HI: 356a5da588bSPetar Jovanovic FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_HI16 357a5da588bSPetar Jovanovic : Mips::fixup_Mips_HI16; 358a5da588bSPetar Jovanovic break; 35906c47803SSasa Stankovic case MipsMCExpr::VK_Mips_LO: 360a5da588bSPetar Jovanovic FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_LO16 361a5da588bSPetar Jovanovic : Mips::fixup_Mips_LO16; 362a5da588bSPetar Jovanovic break; 363a5da588bSPetar Jovanovic } 364a5da588bSPetar Jovanovic Fixups.push_back(MCFixup::Create(0, MipsExpr, MCFixupKind(FixupKind))); 365a5da588bSPetar Jovanovic return 0; 366a5da588bSPetar Jovanovic } 367a5da588bSPetar Jovanovic 368b5cf5909SJack Carter if (Kind == MCExpr::SymbolRef) { 369f9774c32SBill Wendling Mips::Fixups FixupKind = Mips::Fixups(0); 370e2eed964SAkira Hatanaka 371049e9e4dSAkira Hatanaka switch(cast<MCSymbolRefExpr>(Expr)->getKind()) { 372b9f9de93SJack Carter default: llvm_unreachable("Unknown fixup kind!"); 373b9f9de93SJack Carter break; 374b9f9de93SJack Carter case MCSymbolRefExpr::VK_Mips_GPOFF_HI : 375b9f9de93SJack Carter FixupKind = Mips::fixup_Mips_GPOFF_HI; 376b9f9de93SJack Carter break; 377b9f9de93SJack Carter case MCSymbolRefExpr::VK_Mips_GPOFF_LO : 378b9f9de93SJack Carter FixupKind = Mips::fixup_Mips_GPOFF_LO; 379b9f9de93SJack Carter break; 380b9f9de93SJack Carter case MCSymbolRefExpr::VK_Mips_GOT_PAGE : 381d2cca113SDavid Woodhouse FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_GOT_PAGE 382e7ae8af8SZoran Jovanovic : Mips::fixup_Mips_GOT_PAGE; 383b9f9de93SJack Carter break; 384b9f9de93SJack Carter case MCSymbolRefExpr::VK_Mips_GOT_OFST : 385d2cca113SDavid Woodhouse FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_GOT_OFST 386e7ae8af8SZoran Jovanovic : Mips::fixup_Mips_GOT_OFST; 387b9f9de93SJack Carter break; 3885ddcfda8SJack Carter case MCSymbolRefExpr::VK_Mips_GOT_DISP : 389d2cca113SDavid Woodhouse FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_GOT_DISP 390e7ae8af8SZoran Jovanovic : Mips::fixup_Mips_GOT_DISP; 3915ddcfda8SJack Carter break; 392c85e3ff3SBruno Cardoso Lopes case MCSymbolRefExpr::VK_Mips_GPREL: 393c85e3ff3SBruno Cardoso Lopes FixupKind = Mips::fixup_Mips_GPREL16; 394c85e3ff3SBruno Cardoso Lopes break; 395c85e3ff3SBruno Cardoso Lopes case MCSymbolRefExpr::VK_Mips_GOT_CALL: 396d2cca113SDavid Woodhouse FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_CALL16 397e7ae8af8SZoran Jovanovic : Mips::fixup_Mips_CALL16; 398c85e3ff3SBruno Cardoso Lopes break; 39961e6d987SBruno Cardoso Lopes case MCSymbolRefExpr::VK_Mips_GOT16: 400d2cca113SDavid Woodhouse FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_GOT16 401e7ae8af8SZoran Jovanovic : Mips::fixup_Mips_GOT_Global; 40261e6d987SBruno Cardoso Lopes break; 403c85e3ff3SBruno Cardoso Lopes case MCSymbolRefExpr::VK_Mips_GOT: 404d2cca113SDavid Woodhouse FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_GOT16 405e7ae8af8SZoran Jovanovic : Mips::fixup_Mips_GOT_Local; 406c85e3ff3SBruno Cardoso Lopes break; 407c85e3ff3SBruno Cardoso Lopes case MCSymbolRefExpr::VK_Mips_ABS_HI: 408d2cca113SDavid Woodhouse FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_HI16 409e7ae8af8SZoran Jovanovic : Mips::fixup_Mips_HI16; 410c85e3ff3SBruno Cardoso Lopes break; 411c85e3ff3SBruno Cardoso Lopes case MCSymbolRefExpr::VK_Mips_ABS_LO: 412d2cca113SDavid Woodhouse FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_LO16 413e7ae8af8SZoran Jovanovic : Mips::fixup_Mips_LO16; 414c85e3ff3SBruno Cardoso Lopes break; 415c85e3ff3SBruno Cardoso Lopes case MCSymbolRefExpr::VK_Mips_TLSGD: 416d2cca113SDavid Woodhouse FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_GD 41769be811aSZoran Jovanovic : Mips::fixup_Mips_TLSGD; 418c85e3ff3SBruno Cardoso Lopes break; 419e2eed964SAkira Hatanaka case MCSymbolRefExpr::VK_Mips_TLSLDM: 420d2cca113SDavid Woodhouse FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_LDM 42169be811aSZoran Jovanovic : Mips::fixup_Mips_TLSLDM; 422e2eed964SAkira Hatanaka break; 423e2eed964SAkira Hatanaka case MCSymbolRefExpr::VK_Mips_DTPREL_HI: 424d2cca113SDavid Woodhouse FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_DTPREL_HI16 425e7ae8af8SZoran Jovanovic : Mips::fixup_Mips_DTPREL_HI; 426e2eed964SAkira Hatanaka break; 427e2eed964SAkira Hatanaka case MCSymbolRefExpr::VK_Mips_DTPREL_LO: 428d2cca113SDavid Woodhouse FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_DTPREL_LO16 429e7ae8af8SZoran Jovanovic : Mips::fixup_Mips_DTPREL_LO; 430e2eed964SAkira Hatanaka break; 431c85e3ff3SBruno Cardoso Lopes case MCSymbolRefExpr::VK_Mips_GOTTPREL: 432c85e3ff3SBruno Cardoso Lopes FixupKind = Mips::fixup_Mips_GOTTPREL; 433c85e3ff3SBruno Cardoso Lopes break; 434c85e3ff3SBruno Cardoso Lopes case MCSymbolRefExpr::VK_Mips_TPREL_HI: 435d2cca113SDavid Woodhouse FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_TPREL_HI16 436e7ae8af8SZoran Jovanovic : Mips::fixup_Mips_TPREL_HI; 437c85e3ff3SBruno Cardoso Lopes break; 438c85e3ff3SBruno Cardoso Lopes case MCSymbolRefExpr::VK_Mips_TPREL_LO: 439d2cca113SDavid Woodhouse FixupKind = isMicroMips(STI) ? Mips::fixup_MICROMIPS_TLS_TPREL_LO16 440e7ae8af8SZoran Jovanovic : Mips::fixup_Mips_TPREL_LO; 441c85e3ff3SBruno Cardoso Lopes break; 44284491abbSJack Carter case MCSymbolRefExpr::VK_Mips_HIGHER: 44384491abbSJack Carter FixupKind = Mips::fixup_Mips_HIGHER; 44484491abbSJack Carter break; 44584491abbSJack Carter case MCSymbolRefExpr::VK_Mips_HIGHEST: 44684491abbSJack Carter FixupKind = Mips::fixup_Mips_HIGHEST; 44784491abbSJack Carter break; 448b05cb67bSJack Carter case MCSymbolRefExpr::VK_Mips_GOT_HI16: 449b05cb67bSJack Carter FixupKind = Mips::fixup_Mips_GOT_HI16; 450b05cb67bSJack Carter break; 451b05cb67bSJack Carter case MCSymbolRefExpr::VK_Mips_GOT_LO16: 452b05cb67bSJack Carter FixupKind = Mips::fixup_Mips_GOT_LO16; 453b05cb67bSJack Carter break; 454b05cb67bSJack Carter case MCSymbolRefExpr::VK_Mips_CALL_HI16: 455b05cb67bSJack Carter FixupKind = Mips::fixup_Mips_CALL_HI16; 456b05cb67bSJack Carter break; 457b05cb67bSJack Carter case MCSymbolRefExpr::VK_Mips_CALL_LO16: 458b05cb67bSJack Carter FixupKind = Mips::fixup_Mips_CALL_LO16; 459b05cb67bSJack Carter break; 460c85e3ff3SBruno Cardoso Lopes } // switch 461fe384a2cSAkira Hatanaka 462b5cf5909SJack Carter Fixups.push_back(MCFixup::Create(0, Expr, MCFixupKind(FixupKind))); 463fe384a2cSAkira Hatanaka return 0; 464c85e3ff3SBruno Cardoso Lopes } 465b5cf5909SJack Carter return 0; 466b5cf5909SJack Carter } 467b5cf5909SJack Carter 468b5cf5909SJack Carter /// getMachineOpValue - Return binary encoding of operand. If the machine 469b5cf5909SJack Carter /// operand requires relocation, record the relocation and return zero. 470b5cf5909SJack Carter unsigned MipsMCCodeEmitter:: 471b5cf5909SJack Carter getMachineOpValue(const MCInst &MI, const MCOperand &MO, 4723fa98a65SDavid Woodhouse SmallVectorImpl<MCFixup> &Fixups, 4733fa98a65SDavid Woodhouse const MCSubtargetInfo &STI) const { 474b5cf5909SJack Carter if (MO.isReg()) { 475b5cf5909SJack Carter unsigned Reg = MO.getReg(); 476bc07a890SBill Wendling unsigned RegNo = Ctx.getRegisterInfo()->getEncodingValue(Reg); 477b5cf5909SJack Carter return RegNo; 478b5cf5909SJack Carter } else if (MO.isImm()) { 479b5cf5909SJack Carter return static_cast<unsigned>(MO.getImm()); 480b5cf5909SJack Carter } else if (MO.isFPImm()) { 481b5cf5909SJack Carter return static_cast<unsigned>(APFloat(MO.getFPImm()) 482b5cf5909SJack Carter .bitcastToAPInt().getHiBits(32).getLimitedValue()); 483b5cf5909SJack Carter } 484b5cf5909SJack Carter // MO must be an Expr. 485b5cf5909SJack Carter assert(MO.isExpr()); 4863fa98a65SDavid Woodhouse return getExprOpValue(MO.getExpr(),Fixups, STI); 487b5cf5909SJack Carter } 488c85e3ff3SBruno Cardoso Lopes 4896b59c449SMatheus Almeida /// getMSAMemEncoding - Return binary encoding of memory operand for LD/ST 4906b59c449SMatheus Almeida /// instructions. 4916b59c449SMatheus Almeida unsigned 4926b59c449SMatheus Almeida MipsMCCodeEmitter::getMSAMemEncoding(const MCInst &MI, unsigned OpNo, 4933fa98a65SDavid Woodhouse SmallVectorImpl<MCFixup> &Fixups, 4943fa98a65SDavid Woodhouse const MCSubtargetInfo &STI) const { 4956b59c449SMatheus Almeida // Base register is encoded in bits 20-16, offset is encoded in bits 15-0. 4966b59c449SMatheus Almeida assert(MI.getOperand(OpNo).isReg()); 4973fa98a65SDavid Woodhouse unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo),Fixups, STI) << 16; 4983fa98a65SDavid Woodhouse unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1), Fixups, STI); 4996b59c449SMatheus Almeida 5006b59c449SMatheus Almeida // The immediate field of an LD/ST instruction is scaled which means it must 5016b59c449SMatheus Almeida // be divided (when encoding) by the size (in bytes) of the instructions' 5026b59c449SMatheus Almeida // data format. 5036b59c449SMatheus Almeida // .b - 1 byte 5046b59c449SMatheus Almeida // .h - 2 bytes 5056b59c449SMatheus Almeida // .w - 4 bytes 5066b59c449SMatheus Almeida // .d - 8 bytes 5076b59c449SMatheus Almeida switch(MI.getOpcode()) 5086b59c449SMatheus Almeida { 5096b59c449SMatheus Almeida default: 5106b59c449SMatheus Almeida assert (0 && "Unexpected instruction"); 5116b59c449SMatheus Almeida break; 5126b59c449SMatheus Almeida case Mips::LD_B: 5136b59c449SMatheus Almeida case Mips::ST_B: 5146b59c449SMatheus Almeida // We don't need to scale the offset in this case 5156b59c449SMatheus Almeida break; 5166b59c449SMatheus Almeida case Mips::LD_H: 5176b59c449SMatheus Almeida case Mips::ST_H: 5186b59c449SMatheus Almeida OffBits >>= 1; 5196b59c449SMatheus Almeida break; 5206b59c449SMatheus Almeida case Mips::LD_W: 5216b59c449SMatheus Almeida case Mips::ST_W: 5226b59c449SMatheus Almeida OffBits >>= 2; 5236b59c449SMatheus Almeida break; 5246b59c449SMatheus Almeida case Mips::LD_D: 5256b59c449SMatheus Almeida case Mips::ST_D: 5266b59c449SMatheus Almeida OffBits >>= 3; 5276b59c449SMatheus Almeida break; 5286b59c449SMatheus Almeida } 5296b59c449SMatheus Almeida 5306b59c449SMatheus Almeida return (OffBits & 0xFFFF) | RegBits; 5316b59c449SMatheus Almeida } 5326b59c449SMatheus Almeida 533c85e3ff3SBruno Cardoso Lopes /// getMemEncoding - Return binary encoding of memory related operand. 534c85e3ff3SBruno Cardoso Lopes /// If the offset operand requires relocation, record the relocation. 535c85e3ff3SBruno Cardoso Lopes unsigned 536c85e3ff3SBruno Cardoso Lopes MipsMCCodeEmitter::getMemEncoding(const MCInst &MI, unsigned OpNo, 5373fa98a65SDavid Woodhouse SmallVectorImpl<MCFixup> &Fixups, 5383fa98a65SDavid Woodhouse const MCSubtargetInfo &STI) const { 539c85e3ff3SBruno Cardoso Lopes // Base register is encoded in bits 20-16, offset is encoded in bits 15-0. 540c85e3ff3SBruno Cardoso Lopes assert(MI.getOperand(OpNo).isReg()); 5413fa98a65SDavid Woodhouse unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo),Fixups, STI) << 16; 5423fa98a65SDavid Woodhouse unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1), Fixups, STI); 543c85e3ff3SBruno Cardoso Lopes 544c85e3ff3SBruno Cardoso Lopes return (OffBits & 0xFFFF) | RegBits; 545c85e3ff3SBruno Cardoso Lopes } 546c85e3ff3SBruno Cardoso Lopes 54797700977SJack Carter unsigned MipsMCCodeEmitter:: 54897700977SJack Carter getMemEncodingMMImm12(const MCInst &MI, unsigned OpNo, 5493fa98a65SDavid Woodhouse SmallVectorImpl<MCFixup> &Fixups, 5503fa98a65SDavid Woodhouse const MCSubtargetInfo &STI) const { 55197700977SJack Carter // Base register is encoded in bits 20-16, offset is encoded in bits 11-0. 55297700977SJack Carter assert(MI.getOperand(OpNo).isReg()); 5533fa98a65SDavid Woodhouse unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups, STI) << 16; 5543fa98a65SDavid Woodhouse unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1), Fixups, STI); 55597700977SJack Carter 55697700977SJack Carter return (OffBits & 0x0FFF) | RegBits; 55797700977SJack Carter } 55897700977SJack Carter 559c85e3ff3SBruno Cardoso Lopes unsigned 560c85e3ff3SBruno Cardoso Lopes MipsMCCodeEmitter::getSizeExtEncoding(const MCInst &MI, unsigned OpNo, 5613fa98a65SDavid Woodhouse SmallVectorImpl<MCFixup> &Fixups, 5623fa98a65SDavid Woodhouse const MCSubtargetInfo &STI) const { 563049e9e4dSAkira Hatanaka assert(MI.getOperand(OpNo).isImm()); 5643fa98a65SDavid Woodhouse unsigned SizeEncoding = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups, STI); 56556b70de0SBruno Cardoso Lopes return SizeEncoding - 1; 566c85e3ff3SBruno Cardoso Lopes } 567c85e3ff3SBruno Cardoso Lopes 568049e9e4dSAkira Hatanaka // FIXME: should be called getMSBEncoding 569049e9e4dSAkira Hatanaka // 570c85e3ff3SBruno Cardoso Lopes unsigned 571c85e3ff3SBruno Cardoso Lopes MipsMCCodeEmitter::getSizeInsEncoding(const MCInst &MI, unsigned OpNo, 5723fa98a65SDavid Woodhouse SmallVectorImpl<MCFixup> &Fixups, 5733fa98a65SDavid Woodhouse const MCSubtargetInfo &STI) const { 574049e9e4dSAkira Hatanaka assert(MI.getOperand(OpNo-1).isImm()); 575049e9e4dSAkira Hatanaka assert(MI.getOperand(OpNo).isImm()); 5763fa98a65SDavid Woodhouse unsigned Position = getMachineOpValue(MI, MI.getOperand(OpNo-1), Fixups, STI); 5773fa98a65SDavid Woodhouse unsigned Size = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups, STI); 578049e9e4dSAkira Hatanaka 57956b70de0SBruno Cardoso Lopes return Position + Size - 1; 580c85e3ff3SBruno Cardoso Lopes } 581c85e3ff3SBruno Cardoso Lopes 582779c5937SMatheus Almeida unsigned 583779c5937SMatheus Almeida MipsMCCodeEmitter::getLSAImmEncoding(const MCInst &MI, unsigned OpNo, 5843fa98a65SDavid Woodhouse SmallVectorImpl<MCFixup> &Fixups, 5853fa98a65SDavid Woodhouse const MCSubtargetInfo &STI) const { 586779c5937SMatheus Almeida assert(MI.getOperand(OpNo).isImm()); 587779c5937SMatheus Almeida // The immediate is encoded as 'immediate - 1'. 5883fa98a65SDavid Woodhouse return getMachineOpValue(MI, MI.getOperand(OpNo), Fixups, STI) - 1; 589779c5937SMatheus Almeida } 590779c5937SMatheus Almeida 591b59e1a41SDaniel Sanders unsigned 592b59e1a41SDaniel Sanders MipsMCCodeEmitter::getSimm19Lsl2Encoding(const MCInst &MI, unsigned OpNo, 593b59e1a41SDaniel Sanders SmallVectorImpl<MCFixup> &Fixups, 594b59e1a41SDaniel Sanders const MCSubtargetInfo &STI) const { 595b59e1a41SDaniel Sanders assert(MI.getOperand(OpNo).isImm()); 596b59e1a41SDaniel Sanders // The immediate is encoded as 'immediate << 2'. 597b59e1a41SDaniel Sanders unsigned Res = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups, STI); 598b59e1a41SDaniel Sanders assert((Res & 3) == 0); 599b59e1a41SDaniel Sanders return Res >> 2; 600b59e1a41SDaniel Sanders } 601c85e3ff3SBruno Cardoso Lopes 602b59e1a41SDaniel Sanders #include "MipsGenMCCodeEmitter.inc" 603