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 // 14750ecec7SAkira Hatanaka #define DEBUG_TYPE "mccodeemitter" 15c85e3ff3SBruno Cardoso Lopes #include "MCTargetDesc/MipsBaseInfo.h" 16c85e3ff3SBruno Cardoso Lopes #include "MCTargetDesc/MipsFixupKinds.h" 17c85e3ff3SBruno Cardoso Lopes #include "MCTargetDesc/MipsMCTargetDesc.h" 18c85e3ff3SBruno Cardoso Lopes #include "llvm/ADT/APFloat.h" 19c85e3ff3SBruno Cardoso Lopes #include "llvm/ADT/Statistic.h" 20750ecec7SAkira Hatanaka #include "llvm/MC/MCCodeEmitter.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" 25750ecec7SAkira Hatanaka #include "llvm/MC/MCRegisterInfo.h" 26750ecec7SAkira Hatanaka #include "llvm/MC/MCSubtargetInfo.h" 27750ecec7SAkira Hatanaka #include "llvm/Support/raw_ostream.h" 28750ecec7SAkira Hatanaka 29be6a818fSAkira Hatanaka #define GET_INSTRMAP_INFO 30be6a818fSAkira Hatanaka #include "MipsGenInstrInfo.inc" 31be6a818fSAkira Hatanaka 32750ecec7SAkira Hatanaka using namespace llvm; 33750ecec7SAkira Hatanaka 34750ecec7SAkira Hatanaka namespace { 35750ecec7SAkira Hatanaka class MipsMCCodeEmitter : public MCCodeEmitter { 362ed23ce7SCraig Topper MipsMCCodeEmitter(const MipsMCCodeEmitter &) LLVM_DELETED_FUNCTION; 372ed23ce7SCraig Topper void operator=(const MipsMCCodeEmitter &) LLVM_DELETED_FUNCTION; 38750ecec7SAkira Hatanaka const MCInstrInfo &MCII; 395d6faed1SAkira Hatanaka MCContext &Ctx; 40be6a818fSAkira Hatanaka const MCSubtargetInfo &STI; 411ee768dbSAkira Hatanaka bool IsLittleEndian; 427bd3c7d1SJack Carter bool IsMicroMips; 43750ecec7SAkira Hatanaka 44750ecec7SAkira Hatanaka public: 45ab3cb425SJack Carter MipsMCCodeEmitter(const MCInstrInfo &mcii, MCContext &Ctx_, 46ab3cb425SJack Carter const MCSubtargetInfo &sti, bool IsLittle) : 477bd3c7d1SJack Carter MCII(mcii), Ctx(Ctx_), STI (sti), IsLittleEndian(IsLittle) { 487bd3c7d1SJack Carter IsMicroMips = STI.getFeatureBits() & Mips::FeatureMicroMips; 497bd3c7d1SJack Carter } 50750ecec7SAkira Hatanaka 51750ecec7SAkira Hatanaka ~MipsMCCodeEmitter() {} 52750ecec7SAkira Hatanaka 53c85e3ff3SBruno Cardoso Lopes void EmitByte(unsigned char C, raw_ostream &OS) const { 54c85e3ff3SBruno Cardoso Lopes OS << (char)C; 55750ecec7SAkira Hatanaka } 56c85e3ff3SBruno Cardoso Lopes 57c85e3ff3SBruno Cardoso Lopes void EmitInstruction(uint64_t Val, unsigned Size, raw_ostream &OS) const { 58c85e3ff3SBruno Cardoso Lopes // Output the instruction encoding in little endian byte order. 597bd3c7d1SJack Carter // Little-endian byte ordering: 607bd3c7d1SJack Carter // mips32r2: 4 | 3 | 2 | 1 617bd3c7d1SJack Carter // microMIPS: 2 | 1 | 4 | 3 627bd3c7d1SJack Carter if (IsLittleEndian && Size == 4 && IsMicroMips) { 637bd3c7d1SJack Carter EmitInstruction(Val>>16, 2, OS); 647bd3c7d1SJack Carter EmitInstruction(Val, 2, OS); 657bd3c7d1SJack Carter } else { 660137dfe4SAkira Hatanaka for (unsigned i = 0; i < Size; ++i) { 670137dfe4SAkira Hatanaka unsigned Shift = IsLittleEndian ? i * 8 : (Size - 1 - i) * 8; 680137dfe4SAkira Hatanaka EmitByte((Val >> Shift) & 0xff, OS); 69c85e3ff3SBruno Cardoso Lopes } 70c85e3ff3SBruno Cardoso Lopes } 717bd3c7d1SJack Carter } 72c85e3ff3SBruno Cardoso Lopes 73c85e3ff3SBruno Cardoso Lopes void EncodeInstruction(const MCInst &MI, raw_ostream &OS, 74c85e3ff3SBruno Cardoso Lopes SmallVectorImpl<MCFixup> &Fixups) const; 75c85e3ff3SBruno Cardoso Lopes 76c85e3ff3SBruno Cardoso Lopes // getBinaryCodeForInstr - TableGen'erated function for getting the 77c85e3ff3SBruno Cardoso Lopes // binary encoding for an instruction. 78d845d9d9SOwen Anderson uint64_t getBinaryCodeForInstr(const MCInst &MI, 79c85e3ff3SBruno Cardoso Lopes SmallVectorImpl<MCFixup> &Fixups) const; 80c85e3ff3SBruno Cardoso Lopes 81c85e3ff3SBruno Cardoso Lopes // getBranchJumpOpValue - Return binary encoding of the jump 82c85e3ff3SBruno Cardoso Lopes // target operand. If the machine operand requires relocation, 83c85e3ff3SBruno Cardoso Lopes // record the relocation and return zero. 84c85e3ff3SBruno Cardoso Lopes unsigned getJumpTargetOpValue(const MCInst &MI, unsigned OpNo, 85c85e3ff3SBruno Cardoso Lopes SmallVectorImpl<MCFixup> &Fixups) const; 86c85e3ff3SBruno Cardoso Lopes 87507e084aSZoran Jovanovic // getBranchJumpOpValueMM - Return binary encoding of the microMIPS jump 88507e084aSZoran Jovanovic // target operand. If the machine operand requires relocation, 89507e084aSZoran Jovanovic // record the relocation and return zero. 90507e084aSZoran Jovanovic unsigned getJumpTargetOpValueMM(const MCInst &MI, unsigned OpNo, 91507e084aSZoran Jovanovic SmallVectorImpl<MCFixup> &Fixups) const; 92507e084aSZoran Jovanovic 93c85e3ff3SBruno Cardoso Lopes // getBranchTargetOpValue - Return binary encoding of the branch 94c85e3ff3SBruno Cardoso Lopes // target operand. If the machine operand requires relocation, 95c85e3ff3SBruno Cardoso Lopes // record the relocation and return zero. 96c85e3ff3SBruno Cardoso Lopes unsigned getBranchTargetOpValue(const MCInst &MI, unsigned OpNo, 97c85e3ff3SBruno Cardoso Lopes SmallVectorImpl<MCFixup> &Fixups) const; 98c85e3ff3SBruno Cardoso Lopes 998a80aa76SZoran Jovanovic // getBranchTargetOpValue - Return binary encoding of the microMIPS branch 1008a80aa76SZoran Jovanovic // target operand. If the machine operand requires relocation, 1018a80aa76SZoran Jovanovic // record the relocation and return zero. 1028a80aa76SZoran Jovanovic unsigned getBranchTargetOpValueMM(const MCInst &MI, unsigned OpNo, 1038a80aa76SZoran Jovanovic SmallVectorImpl<MCFixup> &Fixups) const; 1048a80aa76SZoran Jovanovic 105c85e3ff3SBruno Cardoso Lopes // getMachineOpValue - Return binary encoding of operand. If the machin 106c85e3ff3SBruno Cardoso Lopes // operand requires relocation, record the relocation and return zero. 107c85e3ff3SBruno Cardoso Lopes unsigned getMachineOpValue(const MCInst &MI,const MCOperand &MO, 108c85e3ff3SBruno Cardoso Lopes SmallVectorImpl<MCFixup> &Fixups) const; 109c85e3ff3SBruno Cardoso Lopes 1106b59c449SMatheus Almeida unsigned getMSAMemEncoding(const MCInst &MI, unsigned OpNo, 1116b59c449SMatheus Almeida SmallVectorImpl<MCFixup> &Fixups) const; 1126b59c449SMatheus Almeida 113c85e3ff3SBruno Cardoso Lopes unsigned getMemEncoding(const MCInst &MI, unsigned OpNo, 114c85e3ff3SBruno Cardoso Lopes SmallVectorImpl<MCFixup> &Fixups) const; 11597700977SJack Carter unsigned getMemEncodingMMImm12(const MCInst &MI, unsigned OpNo, 11697700977SJack Carter SmallVectorImpl<MCFixup> &Fixups) const; 117c85e3ff3SBruno Cardoso Lopes unsigned getSizeExtEncoding(const MCInst &MI, unsigned OpNo, 118c85e3ff3SBruno Cardoso Lopes SmallVectorImpl<MCFixup> &Fixups) const; 119c85e3ff3SBruno Cardoso Lopes unsigned getSizeInsEncoding(const MCInst &MI, unsigned OpNo, 120c85e3ff3SBruno Cardoso Lopes SmallVectorImpl<MCFixup> &Fixups) const; 121c85e3ff3SBruno Cardoso Lopes 122779c5937SMatheus Almeida // getLSAImmEncoding - Return binary encoding of LSA immediate. 123779c5937SMatheus Almeida unsigned getLSAImmEncoding(const MCInst &MI, unsigned OpNo, 124779c5937SMatheus Almeida SmallVectorImpl<MCFixup> &Fixups) const; 125779c5937SMatheus Almeida 126b5cf5909SJack Carter unsigned 127b5cf5909SJack Carter getExprOpValue(const MCExpr *Expr,SmallVectorImpl<MCFixup> &Fixups) const; 128b5cf5909SJack Carter 129750ecec7SAkira Hatanaka }; // class MipsMCCodeEmitter 130750ecec7SAkira Hatanaka } // namespace 131750ecec7SAkira Hatanaka 1321ee768dbSAkira Hatanaka MCCodeEmitter *llvm::createMipsMCCodeEmitterEB(const MCInstrInfo &MCII, 133c3b04279SJim Grosbach const MCRegisterInfo &MRI, 134750ecec7SAkira Hatanaka const MCSubtargetInfo &STI, 135c85e3ff3SBruno Cardoso Lopes MCContext &Ctx) 136c85e3ff3SBruno Cardoso Lopes { 137ab3cb425SJack Carter return new MipsMCCodeEmitter(MCII, Ctx, STI, false); 1381ee768dbSAkira Hatanaka } 1391ee768dbSAkira Hatanaka 1401ee768dbSAkira Hatanaka MCCodeEmitter *llvm::createMipsMCCodeEmitterEL(const MCInstrInfo &MCII, 141c3b04279SJim Grosbach const MCRegisterInfo &MRI, 1421ee768dbSAkira Hatanaka const MCSubtargetInfo &STI, 1431ee768dbSAkira Hatanaka MCContext &Ctx) 1441ee768dbSAkira Hatanaka { 145ab3cb425SJack Carter return new MipsMCCodeEmitter(MCII, Ctx, STI, true); 146750ecec7SAkira Hatanaka } 147c85e3ff3SBruno Cardoso Lopes 148f30f2cceSRafael Espindola 149f30f2cceSRafael Espindola // If the D<shift> instruction has a shift amount that is greater 150f30f2cceSRafael Espindola // than 31 (checked in calling routine), lower it to a D<shift>32 instruction 151f30f2cceSRafael Espindola static void LowerLargeShift(MCInst& Inst) { 152f30f2cceSRafael Espindola 153f30f2cceSRafael Espindola assert(Inst.getNumOperands() == 3 && "Invalid no. of operands for shift!"); 154f30f2cceSRafael Espindola assert(Inst.getOperand(2).isImm()); 155f30f2cceSRafael Espindola 156f30f2cceSRafael Espindola int64_t Shift = Inst.getOperand(2).getImm(); 157f30f2cceSRafael Espindola if (Shift <= 31) 158f30f2cceSRafael Espindola return; // Do nothing 159f30f2cceSRafael Espindola Shift -= 32; 160f30f2cceSRafael Espindola 161f30f2cceSRafael Espindola // saminus32 162f30f2cceSRafael Espindola Inst.getOperand(2).setImm(Shift); 163f30f2cceSRafael Espindola 164f30f2cceSRafael Espindola switch (Inst.getOpcode()) { 165f30f2cceSRafael Espindola default: 166f30f2cceSRafael Espindola // Calling function is not synchronized 167f30f2cceSRafael Espindola llvm_unreachable("Unexpected shift instruction"); 168f30f2cceSRafael Espindola case Mips::DSLL: 169f30f2cceSRafael Espindola Inst.setOpcode(Mips::DSLL32); 170f30f2cceSRafael Espindola return; 171f30f2cceSRafael Espindola case Mips::DSRL: 172f30f2cceSRafael Espindola Inst.setOpcode(Mips::DSRL32); 173f30f2cceSRafael Espindola return; 174f30f2cceSRafael Espindola case Mips::DSRA: 175f30f2cceSRafael Espindola Inst.setOpcode(Mips::DSRA32); 176f30f2cceSRafael Espindola return; 1776a3fe574SAkira Hatanaka case Mips::DROTR: 1786a3fe574SAkira Hatanaka Inst.setOpcode(Mips::DROTR32); 1796a3fe574SAkira Hatanaka return; 180f30f2cceSRafael Espindola } 181f30f2cceSRafael Espindola } 182f30f2cceSRafael Espindola 183f30f2cceSRafael Espindola // Pick a DEXT or DINS instruction variant based on the pos and size operands 184f30f2cceSRafael Espindola static void LowerDextDins(MCInst& InstIn) { 185f30f2cceSRafael Espindola int Opcode = InstIn.getOpcode(); 186f30f2cceSRafael Espindola 187f30f2cceSRafael Espindola if (Opcode == Mips::DEXT) 188f30f2cceSRafael Espindola assert(InstIn.getNumOperands() == 4 && 189f30f2cceSRafael Espindola "Invalid no. of machine operands for DEXT!"); 190f30f2cceSRafael Espindola else // Only DEXT and DINS are possible 191f30f2cceSRafael Espindola assert(InstIn.getNumOperands() == 5 && 192f30f2cceSRafael Espindola "Invalid no. of machine operands for DINS!"); 193f30f2cceSRafael Espindola 194f30f2cceSRafael Espindola assert(InstIn.getOperand(2).isImm()); 195f30f2cceSRafael Espindola int64_t pos = InstIn.getOperand(2).getImm(); 196f30f2cceSRafael Espindola assert(InstIn.getOperand(3).isImm()); 197f30f2cceSRafael Espindola int64_t size = InstIn.getOperand(3).getImm(); 198f30f2cceSRafael Espindola 199f30f2cceSRafael Espindola if (size <= 32) { 200f30f2cceSRafael Espindola if (pos < 32) // DEXT/DINS, do nothing 201f30f2cceSRafael Espindola return; 202f30f2cceSRafael Espindola // DEXTU/DINSU 203f30f2cceSRafael Espindola InstIn.getOperand(2).setImm(pos - 32); 204f30f2cceSRafael Espindola InstIn.setOpcode((Opcode == Mips::DEXT) ? Mips::DEXTU : Mips::DINSU); 205f30f2cceSRafael Espindola return; 206f30f2cceSRafael Espindola } 207f30f2cceSRafael Espindola // DEXTM/DINSM 208f30f2cceSRafael Espindola assert(pos < 32 && "DEXT/DINS cannot have both size and pos > 32"); 209f30f2cceSRafael Espindola InstIn.getOperand(3).setImm(size - 32); 210f30f2cceSRafael Espindola InstIn.setOpcode((Opcode == Mips::DEXT) ? Mips::DEXTM : Mips::DINSM); 211f30f2cceSRafael Espindola return; 212f30f2cceSRafael Espindola } 213f30f2cceSRafael Espindola 214c85e3ff3SBruno Cardoso Lopes /// EncodeInstruction - Emit the instruction. 2154e07b95dSJack Carter /// Size the instruction with Desc.getSize(). 216c85e3ff3SBruno Cardoso Lopes void MipsMCCodeEmitter:: 217c85e3ff3SBruno Cardoso Lopes EncodeInstruction(const MCInst &MI, raw_ostream &OS, 218c85e3ff3SBruno Cardoso Lopes SmallVectorImpl<MCFixup> &Fixups) const 219c85e3ff3SBruno Cardoso Lopes { 220aa7aeaa0SJack Carter 221aa7aeaa0SJack Carter // Non-pseudo instructions that get changed for direct object 222aa7aeaa0SJack Carter // only based on operand values. 223aa7aeaa0SJack Carter // If this list of instructions get much longer we will move 224aa7aeaa0SJack Carter // the check to a function call. Until then, this is more efficient. 225aa7aeaa0SJack Carter MCInst TmpInst = MI; 226aa7aeaa0SJack Carter switch (MI.getOpcode()) { 227aa7aeaa0SJack Carter // If shift amount is >= 32 it the inst needs to be lowered further 228aa7aeaa0SJack Carter case Mips::DSLL: 229aa7aeaa0SJack Carter case Mips::DSRL: 230aa7aeaa0SJack Carter case Mips::DSRA: 2316a3fe574SAkira Hatanaka case Mips::DROTR: 232f30f2cceSRafael Espindola LowerLargeShift(TmpInst); 233aa7aeaa0SJack Carter break; 234aa7aeaa0SJack Carter // Double extract instruction is chosen by pos and size operands 235aa7aeaa0SJack Carter case Mips::DEXT: 236aa7aeaa0SJack Carter case Mips::DINS: 237f30f2cceSRafael Espindola LowerDextDins(TmpInst); 238aa7aeaa0SJack Carter } 239aa7aeaa0SJack Carter 24097700977SJack Carter unsigned long N = Fixups.size(); 241aa7aeaa0SJack Carter uint32_t Binary = getBinaryCodeForInstr(TmpInst, Fixups); 242c85e3ff3SBruno Cardoso Lopes 243c85e3ff3SBruno Cardoso Lopes // Check for unimplemented opcodes. 244aa7aeaa0SJack Carter // Unfortunately in MIPS both NOP and SLL will come in with Binary == 0 245c85e3ff3SBruno Cardoso Lopes // so we have to special check for them. 246aa7aeaa0SJack Carter unsigned Opcode = TmpInst.getOpcode(); 247c85e3ff3SBruno Cardoso Lopes if ((Opcode != Mips::NOP) && (Opcode != Mips::SLL) && !Binary) 248c85e3ff3SBruno Cardoso Lopes llvm_unreachable("unimplemented opcode in EncodeInstruction()"); 249c85e3ff3SBruno Cardoso Lopes 250be6a818fSAkira Hatanaka if (STI.getFeatureBits() & Mips::FeatureMicroMips) { 251be6a818fSAkira Hatanaka int NewOpcode = Mips::Std2MicroMips (Opcode, Mips::Arch_micromips); 252be6a818fSAkira Hatanaka if (NewOpcode != -1) { 25397700977SJack Carter if (Fixups.size() > N) 25497700977SJack Carter Fixups.pop_back(); 255be6a818fSAkira Hatanaka Opcode = NewOpcode; 256be6a818fSAkira Hatanaka TmpInst.setOpcode (NewOpcode); 257be6a818fSAkira Hatanaka Binary = getBinaryCodeForInstr(TmpInst, Fixups); 258be6a818fSAkira Hatanaka } 259be6a818fSAkira Hatanaka } 260be6a818fSAkira Hatanaka 261aa7aeaa0SJack Carter const MCInstrDesc &Desc = MCII.get(TmpInst.getOpcode()); 262c85e3ff3SBruno Cardoso Lopes 2635b5559d3SJack Carter // Get byte count of instruction 2645b5559d3SJack Carter unsigned Size = Desc.getSize(); 2655b5559d3SJack Carter if (!Size) 2665b5559d3SJack Carter llvm_unreachable("Desc.getSize() returns 0"); 267c85e3ff3SBruno Cardoso Lopes 268c85e3ff3SBruno Cardoso Lopes EmitInstruction(Binary, Size, OS); 269c85e3ff3SBruno Cardoso Lopes } 270c85e3ff3SBruno Cardoso Lopes 271c85e3ff3SBruno Cardoso Lopes /// getBranchTargetOpValue - Return binary encoding of the branch 272c85e3ff3SBruno Cardoso Lopes /// target operand. If the machine operand requires relocation, 273c85e3ff3SBruno Cardoso Lopes /// record the relocation and return zero. 274c85e3ff3SBruno Cardoso Lopes unsigned MipsMCCodeEmitter:: 275c85e3ff3SBruno Cardoso Lopes getBranchTargetOpValue(const MCInst &MI, unsigned OpNo, 276c85e3ff3SBruno Cardoso Lopes SmallVectorImpl<MCFixup> &Fixups) const { 277c85e3ff3SBruno Cardoso Lopes 278c85e3ff3SBruno Cardoso Lopes const MCOperand &MO = MI.getOperand(OpNo); 27971e6a749SJack Carter 2804f69a0f2SJack Carter // If the destination is an immediate, divide by 4. 2814f69a0f2SJack Carter if (MO.isImm()) return MO.getImm() >> 2; 2824f69a0f2SJack Carter 28371e6a749SJack Carter assert(MO.isExpr() && 28471e6a749SJack Carter "getBranchTargetOpValue expects only expressions or immediates"); 285c85e3ff3SBruno Cardoso Lopes 286c85e3ff3SBruno Cardoso Lopes const MCExpr *Expr = MO.getExpr(); 287c85e3ff3SBruno Cardoso Lopes Fixups.push_back(MCFixup::Create(0, Expr, 288c85e3ff3SBruno Cardoso Lopes MCFixupKind(Mips::fixup_Mips_PC16))); 289c85e3ff3SBruno Cardoso Lopes return 0; 290c85e3ff3SBruno Cardoso Lopes } 291c85e3ff3SBruno Cardoso Lopes 2928a80aa76SZoran Jovanovic /// getBranchTargetOpValue - Return binary encoding of the microMIPS branch 2938a80aa76SZoran Jovanovic /// target operand. If the machine operand requires relocation, 2948a80aa76SZoran Jovanovic /// record the relocation and return zero. 2958a80aa76SZoran Jovanovic unsigned MipsMCCodeEmitter:: 2968a80aa76SZoran Jovanovic getBranchTargetOpValueMM(const MCInst &MI, unsigned OpNo, 2978a80aa76SZoran Jovanovic SmallVectorImpl<MCFixup> &Fixups) const { 2988a80aa76SZoran Jovanovic 2998a80aa76SZoran Jovanovic const MCOperand &MO = MI.getOperand(OpNo); 3008a80aa76SZoran Jovanovic 3018a80aa76SZoran Jovanovic // If the destination is an immediate, divide by 2. 3028a80aa76SZoran Jovanovic if (MO.isImm()) return MO.getImm() >> 1; 3038a80aa76SZoran Jovanovic 3048a80aa76SZoran Jovanovic assert(MO.isExpr() && 3058a80aa76SZoran Jovanovic "getBranchTargetOpValueMM expects only expressions or immediates"); 3068a80aa76SZoran Jovanovic 3078a80aa76SZoran Jovanovic const MCExpr *Expr = MO.getExpr(); 3088a80aa76SZoran Jovanovic Fixups.push_back(MCFixup::Create(0, Expr, 3098a80aa76SZoran Jovanovic MCFixupKind(Mips:: 3108a80aa76SZoran Jovanovic fixup_MICROMIPS_PC16_S1))); 3118a80aa76SZoran Jovanovic return 0; 3128a80aa76SZoran Jovanovic } 3138a80aa76SZoran Jovanovic 314c85e3ff3SBruno Cardoso Lopes /// getJumpTargetOpValue - Return binary encoding of the jump 315c85e3ff3SBruno Cardoso Lopes /// target operand. If the machine operand requires relocation, 316c85e3ff3SBruno Cardoso Lopes /// record the relocation and return zero. 317c85e3ff3SBruno Cardoso Lopes unsigned MipsMCCodeEmitter:: 318c85e3ff3SBruno Cardoso Lopes getJumpTargetOpValue(const MCInst &MI, unsigned OpNo, 319c85e3ff3SBruno Cardoso Lopes SmallVectorImpl<MCFixup> &Fixups) const { 320c85e3ff3SBruno Cardoso Lopes 321c85e3ff3SBruno Cardoso Lopes const MCOperand &MO = MI.getOperand(OpNo); 3224f69a0f2SJack Carter // If the destination is an immediate, divide by 4. 3234f69a0f2SJack Carter if (MO.isImm()) return MO.getImm()>>2; 3244f69a0f2SJack Carter 32571e6a749SJack Carter assert(MO.isExpr() && 32671e6a749SJack Carter "getJumpTargetOpValue expects only expressions or an immediate"); 327c85e3ff3SBruno Cardoso Lopes 328c85e3ff3SBruno Cardoso Lopes const MCExpr *Expr = MO.getExpr(); 329c85e3ff3SBruno Cardoso Lopes Fixups.push_back(MCFixup::Create(0, Expr, 330c85e3ff3SBruno Cardoso Lopes MCFixupKind(Mips::fixup_Mips_26))); 331c85e3ff3SBruno Cardoso Lopes return 0; 332c85e3ff3SBruno Cardoso Lopes } 333c85e3ff3SBruno Cardoso Lopes 334c85e3ff3SBruno Cardoso Lopes unsigned MipsMCCodeEmitter:: 335507e084aSZoran Jovanovic getJumpTargetOpValueMM(const MCInst &MI, unsigned OpNo, 336507e084aSZoran Jovanovic SmallVectorImpl<MCFixup> &Fixups) const { 337507e084aSZoran Jovanovic 338507e084aSZoran Jovanovic const MCOperand &MO = MI.getOperand(OpNo); 339507e084aSZoran Jovanovic // If the destination is an immediate, divide by 2. 340507e084aSZoran Jovanovic if (MO.isImm()) return MO.getImm() >> 1; 341507e084aSZoran Jovanovic 342507e084aSZoran Jovanovic assert(MO.isExpr() && 343507e084aSZoran Jovanovic "getJumpTargetOpValueMM expects only expressions or an immediate"); 344507e084aSZoran Jovanovic 345507e084aSZoran Jovanovic const MCExpr *Expr = MO.getExpr(); 346507e084aSZoran Jovanovic Fixups.push_back(MCFixup::Create(0, Expr, 347507e084aSZoran Jovanovic MCFixupKind(Mips::fixup_MICROMIPS_26_S1))); 348507e084aSZoran Jovanovic return 0; 349507e084aSZoran Jovanovic } 350507e084aSZoran Jovanovic 351507e084aSZoran Jovanovic unsigned MipsMCCodeEmitter:: 352b5cf5909SJack Carter getExprOpValue(const MCExpr *Expr,SmallVectorImpl<MCFixup> &Fixups) const { 353b5cf5909SJack Carter int64_t Res; 354049e9e4dSAkira Hatanaka 355b5cf5909SJack Carter if (Expr->EvaluateAsAbsolute(Res)) 356b5cf5909SJack Carter return Res; 357fe384a2cSAkira Hatanaka 358fe384a2cSAkira Hatanaka MCExpr::ExprKind Kind = Expr->getKind(); 359b5cf5909SJack Carter if (Kind == MCExpr::Constant) { 360b5cf5909SJack Carter return cast<MCConstantExpr>(Expr)->getValue(); 361b5cf5909SJack Carter } 362fe384a2cSAkira Hatanaka 363fe384a2cSAkira Hatanaka if (Kind == MCExpr::Binary) { 364b5cf5909SJack Carter unsigned Res = getExprOpValue(cast<MCBinaryExpr>(Expr)->getLHS(), Fixups); 365b5cf5909SJack Carter Res += getExprOpValue(cast<MCBinaryExpr>(Expr)->getRHS(), Fixups); 366b5cf5909SJack Carter return Res; 367fe384a2cSAkira Hatanaka } 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 : 381e7ae8af8SZoran Jovanovic FixupKind = IsMicroMips ? Mips::fixup_MICROMIPS_GOT_PAGE 382e7ae8af8SZoran Jovanovic : Mips::fixup_Mips_GOT_PAGE; 383b9f9de93SJack Carter break; 384b9f9de93SJack Carter case MCSymbolRefExpr::VK_Mips_GOT_OFST : 385e7ae8af8SZoran Jovanovic FixupKind = IsMicroMips ? Mips::fixup_MICROMIPS_GOT_OFST 386e7ae8af8SZoran Jovanovic : Mips::fixup_Mips_GOT_OFST; 387b9f9de93SJack Carter break; 3885ddcfda8SJack Carter case MCSymbolRefExpr::VK_Mips_GOT_DISP : 389e7ae8af8SZoran Jovanovic FixupKind = IsMicroMips ? 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: 396e7ae8af8SZoran Jovanovic FixupKind = IsMicroMips ? Mips::fixup_MICROMIPS_CALL16 397e7ae8af8SZoran Jovanovic : Mips::fixup_Mips_CALL16; 398c85e3ff3SBruno Cardoso Lopes break; 39961e6d987SBruno Cardoso Lopes case MCSymbolRefExpr::VK_Mips_GOT16: 400e7ae8af8SZoran Jovanovic FixupKind = IsMicroMips ? Mips::fixup_MICROMIPS_GOT16 401e7ae8af8SZoran Jovanovic : Mips::fixup_Mips_GOT_Global; 40261e6d987SBruno Cardoso Lopes break; 403c85e3ff3SBruno Cardoso Lopes case MCSymbolRefExpr::VK_Mips_GOT: 404e7ae8af8SZoran Jovanovic FixupKind = IsMicroMips ? Mips::fixup_MICROMIPS_GOT16 405e7ae8af8SZoran Jovanovic : Mips::fixup_Mips_GOT_Local; 406c85e3ff3SBruno Cardoso Lopes break; 407c85e3ff3SBruno Cardoso Lopes case MCSymbolRefExpr::VK_Mips_ABS_HI: 408e7ae8af8SZoran Jovanovic FixupKind = IsMicroMips ? Mips::fixup_MICROMIPS_HI16 409e7ae8af8SZoran Jovanovic : Mips::fixup_Mips_HI16; 410c85e3ff3SBruno Cardoso Lopes break; 411c85e3ff3SBruno Cardoso Lopes case MCSymbolRefExpr::VK_Mips_ABS_LO: 412e7ae8af8SZoran Jovanovic FixupKind = IsMicroMips ? Mips::fixup_MICROMIPS_LO16 413e7ae8af8SZoran Jovanovic : Mips::fixup_Mips_LO16; 414c85e3ff3SBruno Cardoso Lopes break; 415c85e3ff3SBruno Cardoso Lopes case MCSymbolRefExpr::VK_Mips_TLSGD: 416*69be811aSZoran Jovanovic FixupKind = IsMicroMips ? Mips::fixup_MICROMIPS_TLS_GD 417*69be811aSZoran Jovanovic : Mips::fixup_Mips_TLSGD; 418c85e3ff3SBruno Cardoso Lopes break; 419e2eed964SAkira Hatanaka case MCSymbolRefExpr::VK_Mips_TLSLDM: 420*69be811aSZoran Jovanovic FixupKind = IsMicroMips ? Mips::fixup_MICROMIPS_TLS_LDM 421*69be811aSZoran Jovanovic : Mips::fixup_Mips_TLSLDM; 422e2eed964SAkira Hatanaka break; 423e2eed964SAkira Hatanaka case MCSymbolRefExpr::VK_Mips_DTPREL_HI: 424e7ae8af8SZoran Jovanovic FixupKind = IsMicroMips ? Mips::fixup_MICROMIPS_TLS_DTPREL_HI16 425e7ae8af8SZoran Jovanovic : Mips::fixup_Mips_DTPREL_HI; 426e2eed964SAkira Hatanaka break; 427e2eed964SAkira Hatanaka case MCSymbolRefExpr::VK_Mips_DTPREL_LO: 428e7ae8af8SZoran Jovanovic FixupKind = IsMicroMips ? 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: 435e7ae8af8SZoran Jovanovic FixupKind = IsMicroMips ? 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: 439e7ae8af8SZoran Jovanovic FixupKind = IsMicroMips ? 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, 472b5cf5909SJack Carter SmallVectorImpl<MCFixup> &Fixups) const { 473b5cf5909SJack Carter if (MO.isReg()) { 474b5cf5909SJack Carter unsigned Reg = MO.getReg(); 475bc07a890SBill Wendling unsigned RegNo = Ctx.getRegisterInfo()->getEncodingValue(Reg); 476b5cf5909SJack Carter return RegNo; 477b5cf5909SJack Carter } else if (MO.isImm()) { 478b5cf5909SJack Carter return static_cast<unsigned>(MO.getImm()); 479b5cf5909SJack Carter } else if (MO.isFPImm()) { 480b5cf5909SJack Carter return static_cast<unsigned>(APFloat(MO.getFPImm()) 481b5cf5909SJack Carter .bitcastToAPInt().getHiBits(32).getLimitedValue()); 482b5cf5909SJack Carter } 483b5cf5909SJack Carter // MO must be an Expr. 484b5cf5909SJack Carter assert(MO.isExpr()); 485b5cf5909SJack Carter return getExprOpValue(MO.getExpr(),Fixups); 486b5cf5909SJack Carter } 487c85e3ff3SBruno Cardoso Lopes 4886b59c449SMatheus Almeida /// getMSAMemEncoding - Return binary encoding of memory operand for LD/ST 4896b59c449SMatheus Almeida /// instructions. 4906b59c449SMatheus Almeida unsigned 4916b59c449SMatheus Almeida MipsMCCodeEmitter::getMSAMemEncoding(const MCInst &MI, unsigned OpNo, 4926b59c449SMatheus Almeida SmallVectorImpl<MCFixup> &Fixups) const { 4936b59c449SMatheus Almeida // Base register is encoded in bits 20-16, offset is encoded in bits 15-0. 4946b59c449SMatheus Almeida assert(MI.getOperand(OpNo).isReg()); 4956b59c449SMatheus Almeida unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo),Fixups) << 16; 4966b59c449SMatheus Almeida unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1), Fixups); 4976b59c449SMatheus Almeida 4986b59c449SMatheus Almeida // The immediate field of an LD/ST instruction is scaled which means it must 4996b59c449SMatheus Almeida // be divided (when encoding) by the size (in bytes) of the instructions' 5006b59c449SMatheus Almeida // data format. 5016b59c449SMatheus Almeida // .b - 1 byte 5026b59c449SMatheus Almeida // .h - 2 bytes 5036b59c449SMatheus Almeida // .w - 4 bytes 5046b59c449SMatheus Almeida // .d - 8 bytes 5056b59c449SMatheus Almeida switch(MI.getOpcode()) 5066b59c449SMatheus Almeida { 5076b59c449SMatheus Almeida default: 5086b59c449SMatheus Almeida assert (0 && "Unexpected instruction"); 5096b59c449SMatheus Almeida break; 5106b59c449SMatheus Almeida case Mips::LD_B: 5116b59c449SMatheus Almeida case Mips::ST_B: 5126b59c449SMatheus Almeida // We don't need to scale the offset in this case 5136b59c449SMatheus Almeida break; 5146b59c449SMatheus Almeida case Mips::LD_H: 5156b59c449SMatheus Almeida case Mips::ST_H: 5166b59c449SMatheus Almeida OffBits >>= 1; 5176b59c449SMatheus Almeida break; 5186b59c449SMatheus Almeida case Mips::LD_W: 5196b59c449SMatheus Almeida case Mips::ST_W: 5206b59c449SMatheus Almeida OffBits >>= 2; 5216b59c449SMatheus Almeida break; 5226b59c449SMatheus Almeida case Mips::LD_D: 5236b59c449SMatheus Almeida case Mips::ST_D: 5246b59c449SMatheus Almeida OffBits >>= 3; 5256b59c449SMatheus Almeida break; 5266b59c449SMatheus Almeida } 5276b59c449SMatheus Almeida 5286b59c449SMatheus Almeida return (OffBits & 0xFFFF) | RegBits; 5296b59c449SMatheus Almeida } 5306b59c449SMatheus Almeida 531c85e3ff3SBruno Cardoso Lopes /// getMemEncoding - Return binary encoding of memory related operand. 532c85e3ff3SBruno Cardoso Lopes /// If the offset operand requires relocation, record the relocation. 533c85e3ff3SBruno Cardoso Lopes unsigned 534c85e3ff3SBruno Cardoso Lopes MipsMCCodeEmitter::getMemEncoding(const MCInst &MI, unsigned OpNo, 535c85e3ff3SBruno Cardoso Lopes SmallVectorImpl<MCFixup> &Fixups) const { 536c85e3ff3SBruno Cardoso Lopes // Base register is encoded in bits 20-16, offset is encoded in bits 15-0. 537c85e3ff3SBruno Cardoso Lopes assert(MI.getOperand(OpNo).isReg()); 538c85e3ff3SBruno Cardoso Lopes unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo),Fixups) << 16; 539c85e3ff3SBruno Cardoso Lopes unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1), Fixups); 540c85e3ff3SBruno Cardoso Lopes 541c85e3ff3SBruno Cardoso Lopes return (OffBits & 0xFFFF) | RegBits; 542c85e3ff3SBruno Cardoso Lopes } 543c85e3ff3SBruno Cardoso Lopes 54497700977SJack Carter unsigned MipsMCCodeEmitter:: 54597700977SJack Carter getMemEncodingMMImm12(const MCInst &MI, unsigned OpNo, 54697700977SJack Carter SmallVectorImpl<MCFixup> &Fixups) const { 54797700977SJack Carter // Base register is encoded in bits 20-16, offset is encoded in bits 11-0. 54897700977SJack Carter assert(MI.getOperand(OpNo).isReg()); 54997700977SJack Carter unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups) << 16; 55097700977SJack Carter unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1), Fixups); 55197700977SJack Carter 55297700977SJack Carter return (OffBits & 0x0FFF) | RegBits; 55397700977SJack Carter } 55497700977SJack Carter 555c85e3ff3SBruno Cardoso Lopes unsigned 556c85e3ff3SBruno Cardoso Lopes MipsMCCodeEmitter::getSizeExtEncoding(const MCInst &MI, unsigned OpNo, 557c85e3ff3SBruno Cardoso Lopes SmallVectorImpl<MCFixup> &Fixups) const { 558049e9e4dSAkira Hatanaka assert(MI.getOperand(OpNo).isImm()); 55956b70de0SBruno Cardoso Lopes unsigned SizeEncoding = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups); 56056b70de0SBruno Cardoso Lopes return SizeEncoding - 1; 561c85e3ff3SBruno Cardoso Lopes } 562c85e3ff3SBruno Cardoso Lopes 563049e9e4dSAkira Hatanaka // FIXME: should be called getMSBEncoding 564049e9e4dSAkira Hatanaka // 565c85e3ff3SBruno Cardoso Lopes unsigned 566c85e3ff3SBruno Cardoso Lopes MipsMCCodeEmitter::getSizeInsEncoding(const MCInst &MI, unsigned OpNo, 567c85e3ff3SBruno Cardoso Lopes SmallVectorImpl<MCFixup> &Fixups) const { 568049e9e4dSAkira Hatanaka assert(MI.getOperand(OpNo-1).isImm()); 569049e9e4dSAkira Hatanaka assert(MI.getOperand(OpNo).isImm()); 57056b70de0SBruno Cardoso Lopes unsigned Position = getMachineOpValue(MI, MI.getOperand(OpNo-1), Fixups); 57156b70de0SBruno Cardoso Lopes unsigned Size = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups); 572049e9e4dSAkira Hatanaka 57356b70de0SBruno Cardoso Lopes return Position + Size - 1; 574c85e3ff3SBruno Cardoso Lopes } 575c85e3ff3SBruno Cardoso Lopes 576779c5937SMatheus Almeida unsigned 577779c5937SMatheus Almeida MipsMCCodeEmitter::getLSAImmEncoding(const MCInst &MI, unsigned OpNo, 578779c5937SMatheus Almeida SmallVectorImpl<MCFixup> &Fixups) const { 579779c5937SMatheus Almeida assert(MI.getOperand(OpNo).isImm()); 580779c5937SMatheus Almeida // The immediate is encoded as 'immediate - 1'. 581779c5937SMatheus Almeida return getMachineOpValue(MI, MI.getOperand(OpNo), Fixups) - 1; 582779c5937SMatheus Almeida } 583779c5937SMatheus Almeida 584c85e3ff3SBruno Cardoso Lopes #include "MipsGenMCCodeEmitter.inc" 585c85e3ff3SBruno Cardoso Lopes 586