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, 74*9784cef3SDavid Woodhouse SmallVectorImpl<MCFixup> &Fixups, 75*9784cef3SDavid Woodhouse const MCSubtargetInfo &STI) const; 76c85e3ff3SBruno Cardoso Lopes 77c85e3ff3SBruno Cardoso Lopes // getBinaryCodeForInstr - TableGen'erated function for getting the 78c85e3ff3SBruno Cardoso Lopes // binary encoding for an instruction. 79d845d9d9SOwen Anderson uint64_t getBinaryCodeForInstr(const MCInst &MI, 80c85e3ff3SBruno Cardoso Lopes SmallVectorImpl<MCFixup> &Fixups) const; 81c85e3ff3SBruno Cardoso Lopes 82c85e3ff3SBruno Cardoso Lopes // getBranchJumpOpValue - Return binary encoding of the jump 83c85e3ff3SBruno Cardoso Lopes // target operand. If the machine operand requires relocation, 84c85e3ff3SBruno Cardoso Lopes // record the relocation and return zero. 85c85e3ff3SBruno Cardoso Lopes unsigned getJumpTargetOpValue(const MCInst &MI, unsigned OpNo, 86c85e3ff3SBruno Cardoso Lopes SmallVectorImpl<MCFixup> &Fixups) const; 87c85e3ff3SBruno Cardoso Lopes 88507e084aSZoran Jovanovic // getBranchJumpOpValueMM - Return binary encoding of the microMIPS jump 89507e084aSZoran Jovanovic // target operand. If the machine operand requires relocation, 90507e084aSZoran Jovanovic // record the relocation and return zero. 91507e084aSZoran Jovanovic unsigned getJumpTargetOpValueMM(const MCInst &MI, unsigned OpNo, 92507e084aSZoran Jovanovic SmallVectorImpl<MCFixup> &Fixups) const; 93507e084aSZoran Jovanovic 94c85e3ff3SBruno Cardoso Lopes // getBranchTargetOpValue - Return binary encoding of the branch 95c85e3ff3SBruno Cardoso Lopes // target operand. If the machine operand requires relocation, 96c85e3ff3SBruno Cardoso Lopes // record the relocation and return zero. 97c85e3ff3SBruno Cardoso Lopes unsigned getBranchTargetOpValue(const MCInst &MI, unsigned OpNo, 98c85e3ff3SBruno Cardoso Lopes SmallVectorImpl<MCFixup> &Fixups) const; 99c85e3ff3SBruno Cardoso Lopes 1008a80aa76SZoran Jovanovic // getBranchTargetOpValue - Return binary encoding of the microMIPS branch 1018a80aa76SZoran Jovanovic // target operand. If the machine operand requires relocation, 1028a80aa76SZoran Jovanovic // record the relocation and return zero. 1038a80aa76SZoran Jovanovic unsigned getBranchTargetOpValueMM(const MCInst &MI, unsigned OpNo, 1048a80aa76SZoran Jovanovic SmallVectorImpl<MCFixup> &Fixups) const; 1058a80aa76SZoran Jovanovic 106c85e3ff3SBruno Cardoso Lopes // getMachineOpValue - Return binary encoding of operand. If the machin 107c85e3ff3SBruno Cardoso Lopes // operand requires relocation, record the relocation and return zero. 108c85e3ff3SBruno Cardoso Lopes unsigned getMachineOpValue(const MCInst &MI,const MCOperand &MO, 109c85e3ff3SBruno Cardoso Lopes SmallVectorImpl<MCFixup> &Fixups) const; 110c85e3ff3SBruno Cardoso Lopes 1116b59c449SMatheus Almeida unsigned getMSAMemEncoding(const MCInst &MI, unsigned OpNo, 1126b59c449SMatheus Almeida SmallVectorImpl<MCFixup> &Fixups) const; 1136b59c449SMatheus Almeida 114c85e3ff3SBruno Cardoso Lopes unsigned getMemEncoding(const MCInst &MI, unsigned OpNo, 115c85e3ff3SBruno Cardoso Lopes SmallVectorImpl<MCFixup> &Fixups) const; 11697700977SJack Carter unsigned getMemEncodingMMImm12(const MCInst &MI, unsigned OpNo, 11797700977SJack Carter SmallVectorImpl<MCFixup> &Fixups) const; 118c85e3ff3SBruno Cardoso Lopes unsigned getSizeExtEncoding(const MCInst &MI, unsigned OpNo, 119c85e3ff3SBruno Cardoso Lopes SmallVectorImpl<MCFixup> &Fixups) const; 120c85e3ff3SBruno Cardoso Lopes unsigned getSizeInsEncoding(const MCInst &MI, unsigned OpNo, 121c85e3ff3SBruno Cardoso Lopes SmallVectorImpl<MCFixup> &Fixups) const; 122c85e3ff3SBruno Cardoso Lopes 123779c5937SMatheus Almeida // getLSAImmEncoding - Return binary encoding of LSA immediate. 124779c5937SMatheus Almeida unsigned getLSAImmEncoding(const MCInst &MI, unsigned OpNo, 125779c5937SMatheus Almeida SmallVectorImpl<MCFixup> &Fixups) const; 126779c5937SMatheus Almeida 127b5cf5909SJack Carter unsigned 128b5cf5909SJack Carter getExprOpValue(const MCExpr *Expr,SmallVectorImpl<MCFixup> &Fixups) const; 129b5cf5909SJack Carter 130750ecec7SAkira Hatanaka }; // class MipsMCCodeEmitter 131750ecec7SAkira Hatanaka } // namespace 132750ecec7SAkira Hatanaka 1331ee768dbSAkira Hatanaka MCCodeEmitter *llvm::createMipsMCCodeEmitterEB(const MCInstrInfo &MCII, 134c3b04279SJim Grosbach const MCRegisterInfo &MRI, 135750ecec7SAkira Hatanaka const MCSubtargetInfo &STI, 136c85e3ff3SBruno Cardoso Lopes MCContext &Ctx) 137c85e3ff3SBruno Cardoso Lopes { 138ab3cb425SJack Carter return new MipsMCCodeEmitter(MCII, Ctx, STI, false); 1391ee768dbSAkira Hatanaka } 1401ee768dbSAkira Hatanaka 1411ee768dbSAkira Hatanaka MCCodeEmitter *llvm::createMipsMCCodeEmitterEL(const MCInstrInfo &MCII, 142c3b04279SJim Grosbach const MCRegisterInfo &MRI, 1431ee768dbSAkira Hatanaka const MCSubtargetInfo &STI, 1441ee768dbSAkira Hatanaka MCContext &Ctx) 1451ee768dbSAkira Hatanaka { 146ab3cb425SJack Carter return new MipsMCCodeEmitter(MCII, Ctx, STI, true); 147750ecec7SAkira Hatanaka } 148c85e3ff3SBruno Cardoso Lopes 149f30f2cceSRafael Espindola 150f30f2cceSRafael Espindola // If the D<shift> instruction has a shift amount that is greater 151f30f2cceSRafael Espindola // than 31 (checked in calling routine), lower it to a D<shift>32 instruction 152f30f2cceSRafael Espindola static void LowerLargeShift(MCInst& Inst) { 153f30f2cceSRafael Espindola 154f30f2cceSRafael Espindola assert(Inst.getNumOperands() == 3 && "Invalid no. of operands for shift!"); 155f30f2cceSRafael Espindola assert(Inst.getOperand(2).isImm()); 156f30f2cceSRafael Espindola 157f30f2cceSRafael Espindola int64_t Shift = Inst.getOperand(2).getImm(); 158f30f2cceSRafael Espindola if (Shift <= 31) 159f30f2cceSRafael Espindola return; // Do nothing 160f30f2cceSRafael Espindola Shift -= 32; 161f30f2cceSRafael Espindola 162f30f2cceSRafael Espindola // saminus32 163f30f2cceSRafael Espindola Inst.getOperand(2).setImm(Shift); 164f30f2cceSRafael Espindola 165f30f2cceSRafael Espindola switch (Inst.getOpcode()) { 166f30f2cceSRafael Espindola default: 167f30f2cceSRafael Espindola // Calling function is not synchronized 168f30f2cceSRafael Espindola llvm_unreachable("Unexpected shift instruction"); 169f30f2cceSRafael Espindola case Mips::DSLL: 170f30f2cceSRafael Espindola Inst.setOpcode(Mips::DSLL32); 171f30f2cceSRafael Espindola return; 172f30f2cceSRafael Espindola case Mips::DSRL: 173f30f2cceSRafael Espindola Inst.setOpcode(Mips::DSRL32); 174f30f2cceSRafael Espindola return; 175f30f2cceSRafael Espindola case Mips::DSRA: 176f30f2cceSRafael Espindola Inst.setOpcode(Mips::DSRA32); 177f30f2cceSRafael Espindola return; 1786a3fe574SAkira Hatanaka case Mips::DROTR: 1796a3fe574SAkira Hatanaka Inst.setOpcode(Mips::DROTR32); 1806a3fe574SAkira Hatanaka return; 181f30f2cceSRafael Espindola } 182f30f2cceSRafael Espindola } 183f30f2cceSRafael Espindola 184f30f2cceSRafael Espindola // Pick a DEXT or DINS instruction variant based on the pos and size operands 185f30f2cceSRafael Espindola static void LowerDextDins(MCInst& InstIn) { 186f30f2cceSRafael Espindola int Opcode = InstIn.getOpcode(); 187f30f2cceSRafael Espindola 188f30f2cceSRafael Espindola if (Opcode == Mips::DEXT) 189f30f2cceSRafael Espindola assert(InstIn.getNumOperands() == 4 && 190f30f2cceSRafael Espindola "Invalid no. of machine operands for DEXT!"); 191f30f2cceSRafael Espindola else // Only DEXT and DINS are possible 192f30f2cceSRafael Espindola assert(InstIn.getNumOperands() == 5 && 193f30f2cceSRafael Espindola "Invalid no. of machine operands for DINS!"); 194f30f2cceSRafael Espindola 195f30f2cceSRafael Espindola assert(InstIn.getOperand(2).isImm()); 196f30f2cceSRafael Espindola int64_t pos = InstIn.getOperand(2).getImm(); 197f30f2cceSRafael Espindola assert(InstIn.getOperand(3).isImm()); 198f30f2cceSRafael Espindola int64_t size = InstIn.getOperand(3).getImm(); 199f30f2cceSRafael Espindola 200f30f2cceSRafael Espindola if (size <= 32) { 201f30f2cceSRafael Espindola if (pos < 32) // DEXT/DINS, do nothing 202f30f2cceSRafael Espindola return; 203f30f2cceSRafael Espindola // DEXTU/DINSU 204f30f2cceSRafael Espindola InstIn.getOperand(2).setImm(pos - 32); 205f30f2cceSRafael Espindola InstIn.setOpcode((Opcode == Mips::DEXT) ? Mips::DEXTU : Mips::DINSU); 206f30f2cceSRafael Espindola return; 207f30f2cceSRafael Espindola } 208f30f2cceSRafael Espindola // DEXTM/DINSM 209f30f2cceSRafael Espindola assert(pos < 32 && "DEXT/DINS cannot have both size and pos > 32"); 210f30f2cceSRafael Espindola InstIn.getOperand(3).setImm(size - 32); 211f30f2cceSRafael Espindola InstIn.setOpcode((Opcode == Mips::DEXT) ? Mips::DEXTM : Mips::DINSM); 212f30f2cceSRafael Espindola return; 213f30f2cceSRafael Espindola } 214f30f2cceSRafael Espindola 215c85e3ff3SBruno Cardoso Lopes /// EncodeInstruction - Emit the instruction. 2164e07b95dSJack Carter /// Size the instruction with Desc.getSize(). 217c85e3ff3SBruno Cardoso Lopes void MipsMCCodeEmitter:: 218c85e3ff3SBruno Cardoso Lopes EncodeInstruction(const MCInst &MI, raw_ostream &OS, 219*9784cef3SDavid Woodhouse SmallVectorImpl<MCFixup> &Fixups, 220*9784cef3SDavid Woodhouse const MCSubtargetInfo &STI) const 221c85e3ff3SBruno Cardoso Lopes { 222aa7aeaa0SJack Carter 223aa7aeaa0SJack Carter // Non-pseudo instructions that get changed for direct object 224aa7aeaa0SJack Carter // only based on operand values. 225aa7aeaa0SJack Carter // If this list of instructions get much longer we will move 226aa7aeaa0SJack Carter // the check to a function call. Until then, this is more efficient. 227aa7aeaa0SJack Carter MCInst TmpInst = MI; 228aa7aeaa0SJack Carter switch (MI.getOpcode()) { 229aa7aeaa0SJack Carter // If shift amount is >= 32 it the inst needs to be lowered further 230aa7aeaa0SJack Carter case Mips::DSLL: 231aa7aeaa0SJack Carter case Mips::DSRL: 232aa7aeaa0SJack Carter case Mips::DSRA: 2336a3fe574SAkira Hatanaka case Mips::DROTR: 234f30f2cceSRafael Espindola LowerLargeShift(TmpInst); 235aa7aeaa0SJack Carter break; 236aa7aeaa0SJack Carter // Double extract instruction is chosen by pos and size operands 237aa7aeaa0SJack Carter case Mips::DEXT: 238aa7aeaa0SJack Carter case Mips::DINS: 239f30f2cceSRafael Espindola LowerDextDins(TmpInst); 240aa7aeaa0SJack Carter } 241aa7aeaa0SJack Carter 24297700977SJack Carter unsigned long N = Fixups.size(); 243aa7aeaa0SJack Carter uint32_t Binary = getBinaryCodeForInstr(TmpInst, Fixups); 244c85e3ff3SBruno Cardoso Lopes 245c85e3ff3SBruno Cardoso Lopes // Check for unimplemented opcodes. 246aa7aeaa0SJack Carter // Unfortunately in MIPS both NOP and SLL will come in with Binary == 0 247c85e3ff3SBruno Cardoso Lopes // so we have to special check for them. 248aa7aeaa0SJack Carter unsigned Opcode = TmpInst.getOpcode(); 249c85e3ff3SBruno Cardoso Lopes if ((Opcode != Mips::NOP) && (Opcode != Mips::SLL) && !Binary) 250c85e3ff3SBruno Cardoso Lopes llvm_unreachable("unimplemented opcode in EncodeInstruction()"); 251c85e3ff3SBruno Cardoso Lopes 252be6a818fSAkira Hatanaka if (STI.getFeatureBits() & Mips::FeatureMicroMips) { 253be6a818fSAkira Hatanaka int NewOpcode = Mips::Std2MicroMips (Opcode, Mips::Arch_micromips); 254be6a818fSAkira Hatanaka if (NewOpcode != -1) { 25597700977SJack Carter if (Fixups.size() > N) 25697700977SJack Carter Fixups.pop_back(); 257be6a818fSAkira Hatanaka Opcode = NewOpcode; 258be6a818fSAkira Hatanaka TmpInst.setOpcode (NewOpcode); 259be6a818fSAkira Hatanaka Binary = getBinaryCodeForInstr(TmpInst, Fixups); 260be6a818fSAkira Hatanaka } 261be6a818fSAkira Hatanaka } 262be6a818fSAkira Hatanaka 263aa7aeaa0SJack Carter const MCInstrDesc &Desc = MCII.get(TmpInst.getOpcode()); 264c85e3ff3SBruno Cardoso Lopes 2655b5559d3SJack Carter // Get byte count of instruction 2665b5559d3SJack Carter unsigned Size = Desc.getSize(); 2675b5559d3SJack Carter if (!Size) 2685b5559d3SJack Carter llvm_unreachable("Desc.getSize() returns 0"); 269c85e3ff3SBruno Cardoso Lopes 270c85e3ff3SBruno Cardoso Lopes EmitInstruction(Binary, Size, OS); 271c85e3ff3SBruno Cardoso Lopes } 272c85e3ff3SBruno Cardoso Lopes 273c85e3ff3SBruno Cardoso Lopes /// getBranchTargetOpValue - Return binary encoding of the branch 274c85e3ff3SBruno Cardoso Lopes /// target operand. If the machine operand requires relocation, 275c85e3ff3SBruno Cardoso Lopes /// record the relocation and return zero. 276c85e3ff3SBruno Cardoso Lopes unsigned MipsMCCodeEmitter:: 277c85e3ff3SBruno Cardoso Lopes getBranchTargetOpValue(const MCInst &MI, unsigned OpNo, 278c85e3ff3SBruno Cardoso Lopes SmallVectorImpl<MCFixup> &Fixups) const { 279c85e3ff3SBruno Cardoso Lopes 280c85e3ff3SBruno Cardoso Lopes const MCOperand &MO = MI.getOperand(OpNo); 28171e6a749SJack Carter 2824f69a0f2SJack Carter // If the destination is an immediate, divide by 4. 2834f69a0f2SJack Carter if (MO.isImm()) return MO.getImm() >> 2; 2844f69a0f2SJack Carter 28571e6a749SJack Carter assert(MO.isExpr() && 28671e6a749SJack Carter "getBranchTargetOpValue expects only expressions or immediates"); 287c85e3ff3SBruno Cardoso Lopes 288c85e3ff3SBruno Cardoso Lopes const MCExpr *Expr = MO.getExpr(); 289c85e3ff3SBruno Cardoso Lopes Fixups.push_back(MCFixup::Create(0, Expr, 290c85e3ff3SBruno Cardoso Lopes MCFixupKind(Mips::fixup_Mips_PC16))); 291c85e3ff3SBruno Cardoso Lopes return 0; 292c85e3ff3SBruno Cardoso Lopes } 293c85e3ff3SBruno Cardoso Lopes 2948a80aa76SZoran Jovanovic /// getBranchTargetOpValue - Return binary encoding of the microMIPS branch 2958a80aa76SZoran Jovanovic /// target operand. If the machine operand requires relocation, 2968a80aa76SZoran Jovanovic /// record the relocation and return zero. 2978a80aa76SZoran Jovanovic unsigned MipsMCCodeEmitter:: 2988a80aa76SZoran Jovanovic getBranchTargetOpValueMM(const MCInst &MI, unsigned OpNo, 2998a80aa76SZoran Jovanovic SmallVectorImpl<MCFixup> &Fixups) const { 3008a80aa76SZoran Jovanovic 3018a80aa76SZoran Jovanovic const MCOperand &MO = MI.getOperand(OpNo); 3028a80aa76SZoran Jovanovic 3038a80aa76SZoran Jovanovic // If the destination is an immediate, divide by 2. 3048a80aa76SZoran Jovanovic if (MO.isImm()) return MO.getImm() >> 1; 3058a80aa76SZoran Jovanovic 3068a80aa76SZoran Jovanovic assert(MO.isExpr() && 3078a80aa76SZoran Jovanovic "getBranchTargetOpValueMM expects only expressions or immediates"); 3088a80aa76SZoran Jovanovic 3098a80aa76SZoran Jovanovic const MCExpr *Expr = MO.getExpr(); 3108a80aa76SZoran Jovanovic Fixups.push_back(MCFixup::Create(0, Expr, 3118a80aa76SZoran Jovanovic MCFixupKind(Mips:: 3128a80aa76SZoran Jovanovic fixup_MICROMIPS_PC16_S1))); 3138a80aa76SZoran Jovanovic return 0; 3148a80aa76SZoran Jovanovic } 3158a80aa76SZoran Jovanovic 316c85e3ff3SBruno Cardoso Lopes /// getJumpTargetOpValue - Return binary encoding of the jump 317c85e3ff3SBruno Cardoso Lopes /// target operand. If the machine operand requires relocation, 318c85e3ff3SBruno Cardoso Lopes /// record the relocation and return zero. 319c85e3ff3SBruno Cardoso Lopes unsigned MipsMCCodeEmitter:: 320c85e3ff3SBruno Cardoso Lopes getJumpTargetOpValue(const MCInst &MI, unsigned OpNo, 321c85e3ff3SBruno Cardoso Lopes SmallVectorImpl<MCFixup> &Fixups) const { 322c85e3ff3SBruno Cardoso Lopes 323c85e3ff3SBruno Cardoso Lopes const MCOperand &MO = MI.getOperand(OpNo); 3244f69a0f2SJack Carter // If the destination is an immediate, divide by 4. 3254f69a0f2SJack Carter if (MO.isImm()) return MO.getImm()>>2; 3264f69a0f2SJack Carter 32771e6a749SJack Carter assert(MO.isExpr() && 32871e6a749SJack Carter "getJumpTargetOpValue expects only expressions or an immediate"); 329c85e3ff3SBruno Cardoso Lopes 330c85e3ff3SBruno Cardoso Lopes const MCExpr *Expr = MO.getExpr(); 331c85e3ff3SBruno Cardoso Lopes Fixups.push_back(MCFixup::Create(0, Expr, 332c85e3ff3SBruno Cardoso Lopes MCFixupKind(Mips::fixup_Mips_26))); 333c85e3ff3SBruno Cardoso Lopes return 0; 334c85e3ff3SBruno Cardoso Lopes } 335c85e3ff3SBruno Cardoso Lopes 336c85e3ff3SBruno Cardoso Lopes unsigned MipsMCCodeEmitter:: 337507e084aSZoran Jovanovic getJumpTargetOpValueMM(const MCInst &MI, unsigned OpNo, 338507e084aSZoran Jovanovic SmallVectorImpl<MCFixup> &Fixups) const { 339507e084aSZoran Jovanovic 340507e084aSZoran Jovanovic const MCOperand &MO = MI.getOperand(OpNo); 341507e084aSZoran Jovanovic // If the destination is an immediate, divide by 2. 342507e084aSZoran Jovanovic if (MO.isImm()) return MO.getImm() >> 1; 343507e084aSZoran Jovanovic 344507e084aSZoran Jovanovic assert(MO.isExpr() && 345507e084aSZoran Jovanovic "getJumpTargetOpValueMM expects only expressions or an immediate"); 346507e084aSZoran Jovanovic 347507e084aSZoran Jovanovic const MCExpr *Expr = MO.getExpr(); 348507e084aSZoran Jovanovic Fixups.push_back(MCFixup::Create(0, Expr, 349507e084aSZoran Jovanovic MCFixupKind(Mips::fixup_MICROMIPS_26_S1))); 350507e084aSZoran Jovanovic return 0; 351507e084aSZoran Jovanovic } 352507e084aSZoran Jovanovic 353507e084aSZoran Jovanovic unsigned MipsMCCodeEmitter:: 354b5cf5909SJack Carter getExprOpValue(const MCExpr *Expr,SmallVectorImpl<MCFixup> &Fixups) const { 355b5cf5909SJack Carter int64_t Res; 356049e9e4dSAkira Hatanaka 357b5cf5909SJack Carter if (Expr->EvaluateAsAbsolute(Res)) 358b5cf5909SJack Carter return Res; 359fe384a2cSAkira Hatanaka 360fe384a2cSAkira Hatanaka MCExpr::ExprKind Kind = Expr->getKind(); 361b5cf5909SJack Carter if (Kind == MCExpr::Constant) { 362b5cf5909SJack Carter return cast<MCConstantExpr>(Expr)->getValue(); 363b5cf5909SJack Carter } 364fe384a2cSAkira Hatanaka 365fe384a2cSAkira Hatanaka if (Kind == MCExpr::Binary) { 366b5cf5909SJack Carter unsigned Res = getExprOpValue(cast<MCBinaryExpr>(Expr)->getLHS(), Fixups); 367b5cf5909SJack Carter Res += getExprOpValue(cast<MCBinaryExpr>(Expr)->getRHS(), Fixups); 368b5cf5909SJack Carter return Res; 369fe384a2cSAkira Hatanaka } 370b5cf5909SJack Carter if (Kind == MCExpr::SymbolRef) { 371f9774c32SBill Wendling Mips::Fixups FixupKind = Mips::Fixups(0); 372e2eed964SAkira Hatanaka 373049e9e4dSAkira Hatanaka switch(cast<MCSymbolRefExpr>(Expr)->getKind()) { 374b9f9de93SJack Carter default: llvm_unreachable("Unknown fixup kind!"); 375b9f9de93SJack Carter break; 376b9f9de93SJack Carter case MCSymbolRefExpr::VK_Mips_GPOFF_HI : 377b9f9de93SJack Carter FixupKind = Mips::fixup_Mips_GPOFF_HI; 378b9f9de93SJack Carter break; 379b9f9de93SJack Carter case MCSymbolRefExpr::VK_Mips_GPOFF_LO : 380b9f9de93SJack Carter FixupKind = Mips::fixup_Mips_GPOFF_LO; 381b9f9de93SJack Carter break; 382b9f9de93SJack Carter case MCSymbolRefExpr::VK_Mips_GOT_PAGE : 383e7ae8af8SZoran Jovanovic FixupKind = IsMicroMips ? Mips::fixup_MICROMIPS_GOT_PAGE 384e7ae8af8SZoran Jovanovic : Mips::fixup_Mips_GOT_PAGE; 385b9f9de93SJack Carter break; 386b9f9de93SJack Carter case MCSymbolRefExpr::VK_Mips_GOT_OFST : 387e7ae8af8SZoran Jovanovic FixupKind = IsMicroMips ? Mips::fixup_MICROMIPS_GOT_OFST 388e7ae8af8SZoran Jovanovic : Mips::fixup_Mips_GOT_OFST; 389b9f9de93SJack Carter break; 3905ddcfda8SJack Carter case MCSymbolRefExpr::VK_Mips_GOT_DISP : 391e7ae8af8SZoran Jovanovic FixupKind = IsMicroMips ? Mips::fixup_MICROMIPS_GOT_DISP 392e7ae8af8SZoran Jovanovic : Mips::fixup_Mips_GOT_DISP; 3935ddcfda8SJack Carter break; 394c85e3ff3SBruno Cardoso Lopes case MCSymbolRefExpr::VK_Mips_GPREL: 395c85e3ff3SBruno Cardoso Lopes FixupKind = Mips::fixup_Mips_GPREL16; 396c85e3ff3SBruno Cardoso Lopes break; 397c85e3ff3SBruno Cardoso Lopes case MCSymbolRefExpr::VK_Mips_GOT_CALL: 398e7ae8af8SZoran Jovanovic FixupKind = IsMicroMips ? Mips::fixup_MICROMIPS_CALL16 399e7ae8af8SZoran Jovanovic : Mips::fixup_Mips_CALL16; 400c85e3ff3SBruno Cardoso Lopes break; 40161e6d987SBruno Cardoso Lopes case MCSymbolRefExpr::VK_Mips_GOT16: 402e7ae8af8SZoran Jovanovic FixupKind = IsMicroMips ? Mips::fixup_MICROMIPS_GOT16 403e7ae8af8SZoran Jovanovic : Mips::fixup_Mips_GOT_Global; 40461e6d987SBruno Cardoso Lopes break; 405c85e3ff3SBruno Cardoso Lopes case MCSymbolRefExpr::VK_Mips_GOT: 406e7ae8af8SZoran Jovanovic FixupKind = IsMicroMips ? Mips::fixup_MICROMIPS_GOT16 407e7ae8af8SZoran Jovanovic : Mips::fixup_Mips_GOT_Local; 408c85e3ff3SBruno Cardoso Lopes break; 409c85e3ff3SBruno Cardoso Lopes case MCSymbolRefExpr::VK_Mips_ABS_HI: 410e7ae8af8SZoran Jovanovic FixupKind = IsMicroMips ? Mips::fixup_MICROMIPS_HI16 411e7ae8af8SZoran Jovanovic : Mips::fixup_Mips_HI16; 412c85e3ff3SBruno Cardoso Lopes break; 413c85e3ff3SBruno Cardoso Lopes case MCSymbolRefExpr::VK_Mips_ABS_LO: 414e7ae8af8SZoran Jovanovic FixupKind = IsMicroMips ? Mips::fixup_MICROMIPS_LO16 415e7ae8af8SZoran Jovanovic : Mips::fixup_Mips_LO16; 416c85e3ff3SBruno Cardoso Lopes break; 417c85e3ff3SBruno Cardoso Lopes case MCSymbolRefExpr::VK_Mips_TLSGD: 41869be811aSZoran Jovanovic FixupKind = IsMicroMips ? Mips::fixup_MICROMIPS_TLS_GD 41969be811aSZoran Jovanovic : Mips::fixup_Mips_TLSGD; 420c85e3ff3SBruno Cardoso Lopes break; 421e2eed964SAkira Hatanaka case MCSymbolRefExpr::VK_Mips_TLSLDM: 42269be811aSZoran Jovanovic FixupKind = IsMicroMips ? Mips::fixup_MICROMIPS_TLS_LDM 42369be811aSZoran Jovanovic : Mips::fixup_Mips_TLSLDM; 424e2eed964SAkira Hatanaka break; 425e2eed964SAkira Hatanaka case MCSymbolRefExpr::VK_Mips_DTPREL_HI: 426e7ae8af8SZoran Jovanovic FixupKind = IsMicroMips ? Mips::fixup_MICROMIPS_TLS_DTPREL_HI16 427e7ae8af8SZoran Jovanovic : Mips::fixup_Mips_DTPREL_HI; 428e2eed964SAkira Hatanaka break; 429e2eed964SAkira Hatanaka case MCSymbolRefExpr::VK_Mips_DTPREL_LO: 430e7ae8af8SZoran Jovanovic FixupKind = IsMicroMips ? Mips::fixup_MICROMIPS_TLS_DTPREL_LO16 431e7ae8af8SZoran Jovanovic : Mips::fixup_Mips_DTPREL_LO; 432e2eed964SAkira Hatanaka break; 433c85e3ff3SBruno Cardoso Lopes case MCSymbolRefExpr::VK_Mips_GOTTPREL: 434c85e3ff3SBruno Cardoso Lopes FixupKind = Mips::fixup_Mips_GOTTPREL; 435c85e3ff3SBruno Cardoso Lopes break; 436c85e3ff3SBruno Cardoso Lopes case MCSymbolRefExpr::VK_Mips_TPREL_HI: 437e7ae8af8SZoran Jovanovic FixupKind = IsMicroMips ? Mips::fixup_MICROMIPS_TLS_TPREL_HI16 438e7ae8af8SZoran Jovanovic : Mips::fixup_Mips_TPREL_HI; 439c85e3ff3SBruno Cardoso Lopes break; 440c85e3ff3SBruno Cardoso Lopes case MCSymbolRefExpr::VK_Mips_TPREL_LO: 441e7ae8af8SZoran Jovanovic FixupKind = IsMicroMips ? Mips::fixup_MICROMIPS_TLS_TPREL_LO16 442e7ae8af8SZoran Jovanovic : Mips::fixup_Mips_TPREL_LO; 443c85e3ff3SBruno Cardoso Lopes break; 44484491abbSJack Carter case MCSymbolRefExpr::VK_Mips_HIGHER: 44584491abbSJack Carter FixupKind = Mips::fixup_Mips_HIGHER; 44684491abbSJack Carter break; 44784491abbSJack Carter case MCSymbolRefExpr::VK_Mips_HIGHEST: 44884491abbSJack Carter FixupKind = Mips::fixup_Mips_HIGHEST; 44984491abbSJack Carter break; 450b05cb67bSJack Carter case MCSymbolRefExpr::VK_Mips_GOT_HI16: 451b05cb67bSJack Carter FixupKind = Mips::fixup_Mips_GOT_HI16; 452b05cb67bSJack Carter break; 453b05cb67bSJack Carter case MCSymbolRefExpr::VK_Mips_GOT_LO16: 454b05cb67bSJack Carter FixupKind = Mips::fixup_Mips_GOT_LO16; 455b05cb67bSJack Carter break; 456b05cb67bSJack Carter case MCSymbolRefExpr::VK_Mips_CALL_HI16: 457b05cb67bSJack Carter FixupKind = Mips::fixup_Mips_CALL_HI16; 458b05cb67bSJack Carter break; 459b05cb67bSJack Carter case MCSymbolRefExpr::VK_Mips_CALL_LO16: 460b05cb67bSJack Carter FixupKind = Mips::fixup_Mips_CALL_LO16; 461b05cb67bSJack Carter break; 462c85e3ff3SBruno Cardoso Lopes } // switch 463fe384a2cSAkira Hatanaka 464b5cf5909SJack Carter Fixups.push_back(MCFixup::Create(0, Expr, MCFixupKind(FixupKind))); 465fe384a2cSAkira Hatanaka return 0; 466c85e3ff3SBruno Cardoso Lopes } 467b5cf5909SJack Carter return 0; 468b5cf5909SJack Carter } 469b5cf5909SJack Carter 470b5cf5909SJack Carter /// getMachineOpValue - Return binary encoding of operand. If the machine 471b5cf5909SJack Carter /// operand requires relocation, record the relocation and return zero. 472b5cf5909SJack Carter unsigned MipsMCCodeEmitter:: 473b5cf5909SJack Carter getMachineOpValue(const MCInst &MI, const MCOperand &MO, 474b5cf5909SJack Carter SmallVectorImpl<MCFixup> &Fixups) const { 475b5cf5909SJack Carter if (MO.isReg()) { 476b5cf5909SJack Carter unsigned Reg = MO.getReg(); 477bc07a890SBill Wendling unsigned RegNo = Ctx.getRegisterInfo()->getEncodingValue(Reg); 478b5cf5909SJack Carter return RegNo; 479b5cf5909SJack Carter } else if (MO.isImm()) { 480b5cf5909SJack Carter return static_cast<unsigned>(MO.getImm()); 481b5cf5909SJack Carter } else if (MO.isFPImm()) { 482b5cf5909SJack Carter return static_cast<unsigned>(APFloat(MO.getFPImm()) 483b5cf5909SJack Carter .bitcastToAPInt().getHiBits(32).getLimitedValue()); 484b5cf5909SJack Carter } 485b5cf5909SJack Carter // MO must be an Expr. 486b5cf5909SJack Carter assert(MO.isExpr()); 487b5cf5909SJack Carter return getExprOpValue(MO.getExpr(),Fixups); 488b5cf5909SJack Carter } 489c85e3ff3SBruno Cardoso Lopes 4906b59c449SMatheus Almeida /// getMSAMemEncoding - Return binary encoding of memory operand for LD/ST 4916b59c449SMatheus Almeida /// instructions. 4926b59c449SMatheus Almeida unsigned 4936b59c449SMatheus Almeida MipsMCCodeEmitter::getMSAMemEncoding(const MCInst &MI, unsigned OpNo, 4946b59c449SMatheus Almeida SmallVectorImpl<MCFixup> &Fixups) 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()); 4976b59c449SMatheus Almeida unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo),Fixups) << 16; 4986b59c449SMatheus Almeida unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1), Fixups); 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, 537c85e3ff3SBruno Cardoso Lopes SmallVectorImpl<MCFixup> &Fixups) const { 538c85e3ff3SBruno Cardoso Lopes // Base register is encoded in bits 20-16, offset is encoded in bits 15-0. 539c85e3ff3SBruno Cardoso Lopes assert(MI.getOperand(OpNo).isReg()); 540c85e3ff3SBruno Cardoso Lopes unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo),Fixups) << 16; 541c85e3ff3SBruno Cardoso Lopes unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1), Fixups); 542c85e3ff3SBruno Cardoso Lopes 543c85e3ff3SBruno Cardoso Lopes return (OffBits & 0xFFFF) | RegBits; 544c85e3ff3SBruno Cardoso Lopes } 545c85e3ff3SBruno Cardoso Lopes 54697700977SJack Carter unsigned MipsMCCodeEmitter:: 54797700977SJack Carter getMemEncodingMMImm12(const MCInst &MI, unsigned OpNo, 54897700977SJack Carter SmallVectorImpl<MCFixup> &Fixups) const { 54997700977SJack Carter // Base register is encoded in bits 20-16, offset is encoded in bits 11-0. 55097700977SJack Carter assert(MI.getOperand(OpNo).isReg()); 55197700977SJack Carter unsigned RegBits = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups) << 16; 55297700977SJack Carter unsigned OffBits = getMachineOpValue(MI, MI.getOperand(OpNo+1), Fixups); 55397700977SJack Carter 55497700977SJack Carter return (OffBits & 0x0FFF) | RegBits; 55597700977SJack Carter } 55697700977SJack Carter 557c85e3ff3SBruno Cardoso Lopes unsigned 558c85e3ff3SBruno Cardoso Lopes MipsMCCodeEmitter::getSizeExtEncoding(const MCInst &MI, unsigned OpNo, 559c85e3ff3SBruno Cardoso Lopes SmallVectorImpl<MCFixup> &Fixups) const { 560049e9e4dSAkira Hatanaka assert(MI.getOperand(OpNo).isImm()); 56156b70de0SBruno Cardoso Lopes unsigned SizeEncoding = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups); 56256b70de0SBruno Cardoso Lopes return SizeEncoding - 1; 563c85e3ff3SBruno Cardoso Lopes } 564c85e3ff3SBruno Cardoso Lopes 565049e9e4dSAkira Hatanaka // FIXME: should be called getMSBEncoding 566049e9e4dSAkira Hatanaka // 567c85e3ff3SBruno Cardoso Lopes unsigned 568c85e3ff3SBruno Cardoso Lopes MipsMCCodeEmitter::getSizeInsEncoding(const MCInst &MI, unsigned OpNo, 569c85e3ff3SBruno Cardoso Lopes SmallVectorImpl<MCFixup> &Fixups) const { 570049e9e4dSAkira Hatanaka assert(MI.getOperand(OpNo-1).isImm()); 571049e9e4dSAkira Hatanaka assert(MI.getOperand(OpNo).isImm()); 57256b70de0SBruno Cardoso Lopes unsigned Position = getMachineOpValue(MI, MI.getOperand(OpNo-1), Fixups); 57356b70de0SBruno Cardoso Lopes unsigned Size = getMachineOpValue(MI, MI.getOperand(OpNo), Fixups); 574049e9e4dSAkira Hatanaka 57556b70de0SBruno Cardoso Lopes return Position + Size - 1; 576c85e3ff3SBruno Cardoso Lopes } 577c85e3ff3SBruno Cardoso Lopes 578779c5937SMatheus Almeida unsigned 579779c5937SMatheus Almeida MipsMCCodeEmitter::getLSAImmEncoding(const MCInst &MI, unsigned OpNo, 580779c5937SMatheus Almeida SmallVectorImpl<MCFixup> &Fixups) const { 581779c5937SMatheus Almeida assert(MI.getOperand(OpNo).isImm()); 582779c5937SMatheus Almeida // The immediate is encoded as 'immediate - 1'. 583779c5937SMatheus Almeida return getMachineOpValue(MI, MI.getOperand(OpNo), Fixups) - 1; 584779c5937SMatheus Almeida } 585779c5937SMatheus Almeida 586c85e3ff3SBruno Cardoso Lopes #include "MipsGenMCCodeEmitter.inc" 587c85e3ff3SBruno Cardoso Lopes 588