blob: b16860527fc0f43dfa0012d4bafb274188d60e84 [file] [log] [blame]
Evan Cheng148b6a42007-07-05 21:15:40 +00001//===-- ARM/ARMCodeEmitter.cpp - Convert ARM code to machine code ---------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Evan Cheng148b6a42007-07-05 21:15:40 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file contains the pass that transforms the ARM machine instructions into
11// relocatable machine code.
12//
13//===----------------------------------------------------------------------===//
14
Evan Cheng0f282432008-10-29 23:55:43 +000015#define DEBUG_TYPE "jit"
Evan Cheng7602e112008-09-02 06:52:38 +000016#include "ARM.h"
17#include "ARMAddressingModes.h"
Evan Cheng0f282432008-10-29 23:55:43 +000018#include "ARMConstantPoolValue.h"
Evan Cheng148b6a42007-07-05 21:15:40 +000019#include "ARMInstrInfo.h"
Evan Cheng7602e112008-09-02 06:52:38 +000020#include "ARMRelocations.h"
Evan Cheng148b6a42007-07-05 21:15:40 +000021#include "ARMSubtarget.h"
22#include "ARMTargetMachine.h"
Jim Grosbachbc6d8762008-10-28 18:25:49 +000023#include "llvm/Constants.h"
24#include "llvm/DerivedTypes.h"
Evan Cheng42d5ee062008-09-13 01:15:21 +000025#include "llvm/Function.h"
Evan Cheng148b6a42007-07-05 21:15:40 +000026#include "llvm/PassManager.h"
27#include "llvm/CodeGen/MachineCodeEmitter.h"
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +000028#include "llvm/CodeGen/JITCodeEmitter.h"
Bruno Cardoso Lopesac57e6e2009-07-06 05:09:34 +000029#include "llvm/CodeGen/ObjectCodeEmitter.h"
Evan Cheng057d0c32008-09-18 07:28:19 +000030#include "llvm/CodeGen/MachineConstantPool.h"
Evan Cheng148b6a42007-07-05 21:15:40 +000031#include "llvm/CodeGen/MachineFunctionPass.h"
32#include "llvm/CodeGen/MachineInstr.h"
Evan Cheng4df60f52008-11-07 09:06:08 +000033#include "llvm/CodeGen/MachineJumpTableInfo.h"
Evan Cheng148b6a42007-07-05 21:15:40 +000034#include "llvm/CodeGen/Passes.h"
Evan Cheng148b6a42007-07-05 21:15:40 +000035#include "llvm/ADT/Statistic.h"
36#include "llvm/Support/Compiler.h"
Evan Cheng42d5ee062008-09-13 01:15:21 +000037#include "llvm/Support/Debug.h"
Evan Cheng4df60f52008-11-07 09:06:08 +000038#ifndef NDEBUG
39#include <iomanip>
40#endif
Evan Cheng148b6a42007-07-05 21:15:40 +000041using namespace llvm;
42
43STATISTIC(NumEmitted, "Number of machine instructions emitted");
44
45namespace {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +000046
47 class ARMCodeEmitter {
48 public:
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +000049 /// getBinaryCodeForInstr - This function, generated by the
50 /// CodeEmitterGenerator using TableGen, produces the binary encoding for
51 /// machine instructions.
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +000052 unsigned getBinaryCodeForInstr(const MachineInstr &MI);
53 };
54
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +000055 template<class CodeEmitter>
56 class VISIBILITY_HIDDEN Emitter : public MachineFunctionPass,
57 public ARMCodeEmitter {
Evan Cheng057d0c32008-09-18 07:28:19 +000058 ARMJITInfo *JTI;
59 const ARMInstrInfo *II;
60 const TargetData *TD;
61 TargetMachine &TM;
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +000062 CodeEmitter &MCE;
Evan Cheng938b9d82008-10-31 19:55:13 +000063 const std::vector<MachineConstantPoolEntry> *MCPEs;
Evan Cheng4df60f52008-11-07 09:06:08 +000064 const std::vector<MachineJumpTableEntry> *MJTEs;
65 bool IsPIC;
66
Evan Cheng148b6a42007-07-05 21:15:40 +000067 public:
68 static char ID;
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +000069 explicit Emitter(TargetMachine &tm, CodeEmitter &mce)
Evan Cheng057d0c32008-09-18 07:28:19 +000070 : MachineFunctionPass(&ID), JTI(0), II(0), TD(0), TM(tm),
Evan Cheng4df60f52008-11-07 09:06:08 +000071 MCE(mce), MCPEs(0), MJTEs(0),
72 IsPIC(TM.getRelocationModel() == Reloc::PIC_) {}
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +000073 Emitter(TargetMachine &tm, CodeEmitter &mce,
Evan Cheng148b6a42007-07-05 21:15:40 +000074 const ARMInstrInfo &ii, const TargetData &td)
Evan Cheng057d0c32008-09-18 07:28:19 +000075 : MachineFunctionPass(&ID), JTI(0), II(&ii), TD(&td), TM(tm),
Evan Cheng4df60f52008-11-07 09:06:08 +000076 MCE(mce), MCPEs(0), MJTEs(0),
77 IsPIC(TM.getRelocationModel() == Reloc::PIC_) {}
Evan Cheng148b6a42007-07-05 21:15:40 +000078
79 bool runOnMachineFunction(MachineFunction &MF);
80
81 virtual const char *getPassName() const {
82 return "ARM Machine Code Emitter";
83 }
84
85 void emitInstruction(const MachineInstr &MI);
Evan Cheng7602e112008-09-02 06:52:38 +000086
87 private:
Evan Cheng057d0c32008-09-18 07:28:19 +000088
Evan Cheng83b5cf02008-11-05 23:22:34 +000089 void emitWordLE(unsigned Binary);
90
Evan Chengcb5201f2008-11-11 22:19:31 +000091 void emitDWordLE(uint64_t Binary);
92
Evan Cheng057d0c32008-09-18 07:28:19 +000093 void emitConstPoolInstruction(const MachineInstr &MI);
94
Evan Cheng90922132008-11-06 02:25:39 +000095 void emitMOVi2piecesInstruction(const MachineInstr &MI);
96
Evan Cheng4df60f52008-11-07 09:06:08 +000097 void emitLEApcrelJTInstruction(const MachineInstr &MI);
98
Evan Chenga9562552008-11-14 20:09:11 +000099 void emitPseudoMoveInstruction(const MachineInstr &MI);
100
Evan Cheng83b5cf02008-11-05 23:22:34 +0000101 void addPCLabel(unsigned LabelID);
102
Evan Cheng057d0c32008-09-18 07:28:19 +0000103 void emitPseudoInstruction(const MachineInstr &MI);
104
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000105 unsigned getMachineSoRegOpValue(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +0000106 const TargetInstrDesc &TID,
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000107 const MachineOperand &MO,
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000108 unsigned OpIdx);
109
Evan Cheng90922132008-11-06 02:25:39 +0000110 unsigned getMachineSoImmOpValue(unsigned SoImm);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000111
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000112 unsigned getAddrModeSBit(const MachineInstr &MI,
113 const TargetInstrDesc &TID) const;
Evan Cheng49a9f292008-09-12 22:45:55 +0000114
Evan Cheng83b5cf02008-11-05 23:22:34 +0000115 void emitDataProcessingInstruction(const MachineInstr &MI,
Evan Cheng437c1732008-11-07 22:30:53 +0000116 unsigned ImplicitRd = 0,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000117 unsigned ImplicitRn = 0);
Evan Cheng7602e112008-09-02 06:52:38 +0000118
Evan Cheng83b5cf02008-11-05 23:22:34 +0000119 void emitLoadStoreInstruction(const MachineInstr &MI,
Evan Cheng4df60f52008-11-07 09:06:08 +0000120 unsigned ImplicitRd = 0,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000121 unsigned ImplicitRn = 0);
Evan Chengedda31c2008-11-05 18:35:52 +0000122
Evan Cheng83b5cf02008-11-05 23:22:34 +0000123 void emitMiscLoadStoreInstruction(const MachineInstr &MI,
124 unsigned ImplicitRn = 0);
Evan Chengedda31c2008-11-05 18:35:52 +0000125
126 void emitLoadStoreMultipleInstruction(const MachineInstr &MI);
127
Evan Chengfbc9d412008-11-06 01:21:28 +0000128 void emitMulFrmInstruction(const MachineInstr &MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000129
Evan Cheng97f48c32008-11-06 22:15:19 +0000130 void emitExtendInstruction(const MachineInstr &MI);
131
Evan Cheng8b59db32008-11-07 01:41:35 +0000132 void emitMiscArithInstruction(const MachineInstr &MI);
133
Evan Chengedda31c2008-11-05 18:35:52 +0000134 void emitBranchInstruction(const MachineInstr &MI);
135
Evan Cheng437c1732008-11-07 22:30:53 +0000136 void emitInlineJumpTable(unsigned JTIndex);
Evan Cheng4df60f52008-11-07 09:06:08 +0000137
Evan Chengedda31c2008-11-05 18:35:52 +0000138 void emitMiscBranchInstruction(const MachineInstr &MI);
Evan Cheng7602e112008-09-02 06:52:38 +0000139
Evan Cheng96581d32008-11-11 02:11:05 +0000140 void emitVFPArithInstruction(const MachineInstr &MI);
141
Evan Cheng78be83d2008-11-11 19:40:26 +0000142 void emitVFPConversionInstruction(const MachineInstr &MI);
143
Evan Chengcd8e66a2008-11-11 21:48:44 +0000144 void emitVFPLoadStoreInstruction(const MachineInstr &MI);
145
146 void emitVFPLoadStoreMultipleInstruction(const MachineInstr &MI);
147
148 void emitMiscInstruction(const MachineInstr &MI);
149
Evan Cheng7602e112008-09-02 06:52:38 +0000150 /// getMachineOpValue - Return binary encoding of operand. If the machine
151 /// operand requires relocation, record the relocation and return zero.
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000152 unsigned getMachineOpValue(const MachineInstr &MI,const MachineOperand &MO);
Evan Cheng7602e112008-09-02 06:52:38 +0000153 unsigned getMachineOpValue(const MachineInstr &MI, unsigned OpIdx) {
154 return getMachineOpValue(MI, MI.getOperand(OpIdx));
155 }
Evan Cheng7602e112008-09-02 06:52:38 +0000156
Evan Cheng83b5cf02008-11-05 23:22:34 +0000157 /// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
Evan Cheng7602e112008-09-02 06:52:38 +0000158 ///
Evan Cheng83b5cf02008-11-05 23:22:34 +0000159 unsigned getShiftOp(unsigned Imm) const ;
Evan Cheng7602e112008-09-02 06:52:38 +0000160
161 /// Routines that handle operands which add machine relocations which are
Evan Cheng437c1732008-11-07 22:30:53 +0000162 /// fixed up by the relocation stage.
Evan Cheng057d0c32008-09-18 07:28:19 +0000163 void emitGlobalAddress(GlobalValue *GV, unsigned Reloc,
Evan Cheng413a89f2008-11-07 22:57:53 +0000164 bool NeedStub, intptr_t ACPV = 0);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000165 void emitExternalSymbolAddress(const char *ES, unsigned Reloc);
Evan Cheng437c1732008-11-07 22:30:53 +0000166 void emitConstPoolAddress(unsigned CPI, unsigned Reloc);
167 void emitJumpTableAddress(unsigned JTIndex, unsigned Reloc);
168 void emitMachineBasicBlock(MachineBasicBlock *BB, unsigned Reloc,
169 intptr_t JTBase = 0);
Evan Cheng148b6a42007-07-05 21:15:40 +0000170 };
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000171 template <class CodeEmitter>
172 char Emitter<CodeEmitter>::ID = 0;
Evan Cheng148b6a42007-07-05 21:15:40 +0000173}
174
175/// createARMCodeEmitterPass - Return a pass that emits the collected ARM code
176/// to the specified MCE object.
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000177
Bruno Cardoso Lopesac57e6e2009-07-06 05:09:34 +0000178FunctionPass *llvm::createARMCodeEmitterPass(ARMBaseTargetMachine &TM,
179 MachineCodeEmitter &MCE) {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000180 return new Emitter<MachineCodeEmitter>(TM, MCE);
181}
Bruno Cardoso Lopesac57e6e2009-07-06 05:09:34 +0000182FunctionPass *llvm::createARMJITCodeEmitterPass(ARMBaseTargetMachine &TM,
183 JITCodeEmitter &JCE) {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000184 return new Emitter<JITCodeEmitter>(TM, JCE);
Evan Cheng148b6a42007-07-05 21:15:40 +0000185}
Bruno Cardoso Lopesac57e6e2009-07-06 05:09:34 +0000186FunctionPass *llvm::createARMObjectCodeEmitterPass(ARMBaseTargetMachine &TM,
187 ObjectCodeEmitter &OCE) {
188 return new Emitter<ObjectCodeEmitter>(TM, OCE);
189}
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000190
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000191template<class CodeEmitter>
192bool Emitter<CodeEmitter>::runOnMachineFunction(MachineFunction &MF) {
Evan Cheng148b6a42007-07-05 21:15:40 +0000193 assert((MF.getTarget().getRelocationModel() != Reloc::Default ||
194 MF.getTarget().getRelocationModel() != Reloc::Static) &&
195 "JIT relocation model must be set to static or default!");
196 II = ((ARMTargetMachine&)MF.getTarget()).getInstrInfo();
197 TD = ((ARMTargetMachine&)MF.getTarget()).getTargetData();
Evan Cheng057d0c32008-09-18 07:28:19 +0000198 JTI = ((ARMTargetMachine&)MF.getTarget()).getJITInfo();
Evan Cheng938b9d82008-10-31 19:55:13 +0000199 MCPEs = &MF.getConstantPool()->getConstants();
Evan Cheng4df60f52008-11-07 09:06:08 +0000200 MJTEs = &MF.getJumpTableInfo()->getJumpTables();
201 IsPIC = TM.getRelocationModel() == Reloc::PIC_;
Evan Cheng3cc82232008-11-08 07:38:22 +0000202 JTI->Initialize(MF, IsPIC);
Evan Cheng148b6a42007-07-05 21:15:40 +0000203
204 do {
Evan Cheng42d5ee062008-09-13 01:15:21 +0000205 DOUT << "JITTing function '" << MF.getFunction()->getName() << "'\n";
Evan Cheng148b6a42007-07-05 21:15:40 +0000206 MCE.startFunction(MF);
207 for (MachineFunction::iterator MBB = MF.begin(), E = MF.end();
208 MBB != E; ++MBB) {
209 MCE.StartMachineBasicBlock(MBB);
210 for (MachineBasicBlock::const_iterator I = MBB->begin(), E = MBB->end();
211 I != E; ++I)
212 emitInstruction(*I);
213 }
214 } while (MCE.finishFunction(MF));
215
216 return false;
217}
218
Evan Cheng83b5cf02008-11-05 23:22:34 +0000219/// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
Evan Cheng7602e112008-09-02 06:52:38 +0000220///
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000221template<class CodeEmitter>
222unsigned Emitter<CodeEmitter>::getShiftOp(unsigned Imm) const {
Evan Cheng83b5cf02008-11-05 23:22:34 +0000223 switch (ARM_AM::getAM2ShiftOpc(Imm)) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000224 default: assert(0 && "Unknown shift opc!");
Evan Cheng7602e112008-09-02 06:52:38 +0000225 case ARM_AM::asr: return 2;
226 case ARM_AM::lsl: return 0;
227 case ARM_AM::lsr: return 1;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000228 case ARM_AM::ror:
Evan Cheng7602e112008-09-02 06:52:38 +0000229 case ARM_AM::rrx: return 3;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000230 }
Evan Cheng7602e112008-09-02 06:52:38 +0000231 return 0;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000232}
233
Evan Cheng7602e112008-09-02 06:52:38 +0000234/// getMachineOpValue - Return binary encoding of operand. If the machine
235/// operand requires relocation, record the relocation and return zero.
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000236template<class CodeEmitter>
237unsigned Emitter<CodeEmitter>::getMachineOpValue(const MachineInstr &MI,
238 const MachineOperand &MO) {
Dan Gohmand735b802008-10-03 15:45:36 +0000239 if (MO.isReg())
Evan Cheng7602e112008-09-02 06:52:38 +0000240 return ARMRegisterInfo::getRegisterNumbering(MO.getReg());
Dan Gohmand735b802008-10-03 15:45:36 +0000241 else if (MO.isImm())
Evan Cheng7602e112008-09-02 06:52:38 +0000242 return static_cast<unsigned>(MO.getImm());
Dan Gohmand735b802008-10-03 15:45:36 +0000243 else if (MO.isGlobal())
Jim Grosbach016d34c2008-10-03 15:52:42 +0000244 emitGlobalAddress(MO.getGlobal(), ARM::reloc_arm_branch, true);
Dan Gohmand735b802008-10-03 15:45:36 +0000245 else if (MO.isSymbol())
Evan Cheng10332512008-11-08 07:22:33 +0000246 emitExternalSymbolAddress(MO.getSymbolName(), ARM::reloc_arm_branch);
Evan Cheng580c0df2008-11-12 01:02:24 +0000247 else if (MO.isCPI()) {
248 const TargetInstrDesc &TID = MI.getDesc();
249 // For VFP load, the immediate offset is multiplied by 4.
250 unsigned Reloc = ((TID.TSFlags & ARMII::FormMask) == ARMII::VFPLdStFrm)
251 ? ARM::reloc_arm_vfp_cp_entry : ARM::reloc_arm_cp_entry;
252 emitConstPoolAddress(MO.getIndex(), Reloc);
253 } else if (MO.isJTI())
Chris Lattner8aa797a2007-12-30 23:10:15 +0000254 emitJumpTableAddress(MO.getIndex(), ARM::reloc_arm_relative);
Dan Gohmand735b802008-10-03 15:45:36 +0000255 else if (MO.isMBB())
Evan Cheng4df60f52008-11-07 09:06:08 +0000256 emitMachineBasicBlock(MO.getMBB(), ARM::reloc_arm_branch);
Evan Cheng2aa0e642008-09-13 01:55:59 +0000257 else {
258 cerr << "ERROR: Unknown type of MachineOperand: " << MO << "\n";
259 abort();
260 }
Evan Cheng7602e112008-09-02 06:52:38 +0000261 return 0;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000262}
263
Evan Cheng057d0c32008-09-18 07:28:19 +0000264/// emitGlobalAddress - Emit the specified address to the code stream.
Evan Cheng0ff94f72007-08-07 01:37:15 +0000265///
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000266template<class CodeEmitter>
267void Emitter<CodeEmitter>::emitGlobalAddress(GlobalValue *GV, unsigned Reloc,
268 bool NeedStub, intptr_t ACPV) {
269 MCE.addRelocation(MachineRelocation::getGV(MCE.getCurrentPCOffset(), Reloc,
270 GV, ACPV, NeedStub));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000271}
272
273/// emitExternalSymbolAddress - Arrange for the address of an external symbol to
274/// be emitted to the current location in the function, and allow it to be PC
275/// relative.
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000276template<class CodeEmitter>
277void Emitter<CodeEmitter>::emitExternalSymbolAddress(const char *ES,
278 unsigned Reloc) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000279 MCE.addRelocation(MachineRelocation::getExtSym(MCE.getCurrentPCOffset(),
280 Reloc, ES));
281}
282
283/// emitConstPoolAddress - Arrange for the address of an constant pool
284/// to be emitted to the current location in the function, and allow it to be PC
285/// relative.
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000286template<class CodeEmitter>
287void Emitter<CodeEmitter>::emitConstPoolAddress(unsigned CPI,
288 unsigned Reloc) {
Evan Cheng0f282432008-10-29 23:55:43 +0000289 // Tell JIT emitter we'll resolve the address.
Evan Cheng0ff94f72007-08-07 01:37:15 +0000290 MCE.addRelocation(MachineRelocation::getConstPool(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000291 Reloc, CPI, 0, true));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000292}
293
294/// emitJumpTableAddress - Arrange for the address of a jump table to
295/// be emitted to the current location in the function, and allow it to be PC
296/// relative.
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000297template<class CodeEmitter>
298void Emitter<CodeEmitter>::emitJumpTableAddress(unsigned JTIndex,
299 unsigned Reloc) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000300 MCE.addRelocation(MachineRelocation::getJumpTable(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000301 Reloc, JTIndex, 0, true));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000302}
303
Raul Herbster9c1a3822007-08-30 23:29:26 +0000304/// emitMachineBasicBlock - Emit the specified address basic block.
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000305template<class CodeEmitter>
306void Emitter<CodeEmitter>::emitMachineBasicBlock(MachineBasicBlock *BB,
307 unsigned Reloc, intptr_t JTBase) {
Raul Herbster9c1a3822007-08-30 23:29:26 +0000308 MCE.addRelocation(MachineRelocation::getBB(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000309 Reloc, BB, JTBase));
Raul Herbster9c1a3822007-08-30 23:29:26 +0000310}
Evan Cheng0ff94f72007-08-07 01:37:15 +0000311
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000312template<class CodeEmitter>
313void Emitter<CodeEmitter>::emitWordLE(unsigned Binary) {
Evan Cheng4df60f52008-11-07 09:06:08 +0000314#ifndef NDEBUG
315 DOUT << " 0x" << std::hex << std::setw(8) << std::setfill('0')
316 << Binary << std::dec << "\n";
317#endif
Evan Cheng83b5cf02008-11-05 23:22:34 +0000318 MCE.emitWordLE(Binary);
319}
320
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000321template<class CodeEmitter>
322void Emitter<CodeEmitter>::emitDWordLE(uint64_t Binary) {
Evan Chengcb5201f2008-11-11 22:19:31 +0000323#ifndef NDEBUG
324 DOUT << " 0x" << std::hex << std::setw(8) << std::setfill('0')
325 << (unsigned)Binary << std::dec << "\n";
326 DOUT << " 0x" << std::hex << std::setw(8) << std::setfill('0')
327 << (unsigned)(Binary >> 32) << std::dec << "\n";
328#endif
329 MCE.emitDWordLE(Binary);
330}
331
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000332template<class CodeEmitter>
333void Emitter<CodeEmitter>::emitInstruction(const MachineInstr &MI) {
Evan Cheng25e04782008-11-04 00:50:32 +0000334 DOUT << "JIT: " << (void*)MCE.getCurrentPCValue() << ":\t" << MI;
Evan Cheng42d5ee062008-09-13 01:15:21 +0000335
Evan Cheng148b6a42007-07-05 21:15:40 +0000336 NumEmitted++; // Keep track of the # of mi's emitted
Evan Chengedda31c2008-11-05 18:35:52 +0000337 switch (MI.getDesc().TSFlags & ARMII::FormMask) {
Evan Chengffa6d962008-11-13 23:36:57 +0000338 default: {
Evan Chengedda31c2008-11-05 18:35:52 +0000339 assert(0 && "Unhandled instruction encoding format!");
340 break;
Evan Chengffa6d962008-11-13 23:36:57 +0000341 }
Evan Chengedda31c2008-11-05 18:35:52 +0000342 case ARMII::Pseudo:
Evan Cheng057d0c32008-09-18 07:28:19 +0000343 emitPseudoInstruction(MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000344 break;
345 case ARMII::DPFrm:
346 case ARMII::DPSoRegFrm:
347 emitDataProcessingInstruction(MI);
348 break;
Evan Cheng148cad82008-11-13 07:34:59 +0000349 case ARMII::LdFrm:
350 case ARMII::StFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000351 emitLoadStoreInstruction(MI);
352 break;
Evan Cheng148cad82008-11-13 07:34:59 +0000353 case ARMII::LdMiscFrm:
354 case ARMII::StMiscFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000355 emitMiscLoadStoreInstruction(MI);
356 break;
Evan Cheng3c4a4ff2008-11-12 07:18:38 +0000357 case ARMII::LdStMulFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000358 emitLoadStoreMultipleInstruction(MI);
359 break;
Evan Chengfbc9d412008-11-06 01:21:28 +0000360 case ARMII::MulFrm:
361 emitMulFrmInstruction(MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000362 break;
Evan Cheng97f48c32008-11-06 22:15:19 +0000363 case ARMII::ExtFrm:
364 emitExtendInstruction(MI);
365 break;
Evan Cheng8b59db32008-11-07 01:41:35 +0000366 case ARMII::ArithMiscFrm:
367 emitMiscArithInstruction(MI);
368 break;
Evan Cheng12c3a532008-11-06 17:48:05 +0000369 case ARMII::BrFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000370 emitBranchInstruction(MI);
371 break;
Evan Cheng12c3a532008-11-06 17:48:05 +0000372 case ARMII::BrMiscFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000373 emitMiscBranchInstruction(MI);
374 break;
Evan Cheng96581d32008-11-11 02:11:05 +0000375 // VFP instructions.
376 case ARMII::VFPUnaryFrm:
377 case ARMII::VFPBinaryFrm:
378 emitVFPArithInstruction(MI);
379 break;
Evan Cheng78be83d2008-11-11 19:40:26 +0000380 case ARMII::VFPConv1Frm:
381 case ARMII::VFPConv2Frm:
Evan Cheng0a0ab132008-11-11 22:46:12 +0000382 case ARMII::VFPConv3Frm:
Evan Cheng80a11982008-11-12 06:41:41 +0000383 case ARMII::VFPConv4Frm:
384 case ARMII::VFPConv5Frm:
Evan Cheng78be83d2008-11-11 19:40:26 +0000385 emitVFPConversionInstruction(MI);
386 break;
Evan Chengcd8e66a2008-11-11 21:48:44 +0000387 case ARMII::VFPLdStFrm:
388 emitVFPLoadStoreInstruction(MI);
389 break;
390 case ARMII::VFPLdStMulFrm:
391 emitVFPLoadStoreMultipleInstruction(MI);
392 break;
393 case ARMII::VFPMiscFrm:
394 emitMiscInstruction(MI);
395 break;
Evan Chengedda31c2008-11-05 18:35:52 +0000396 }
Evan Cheng0ff94f72007-08-07 01:37:15 +0000397}
398
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000399template<class CodeEmitter>
400void Emitter<CodeEmitter>::emitConstPoolInstruction(const MachineInstr &MI) {
Evan Cheng437c1732008-11-07 22:30:53 +0000401 unsigned CPI = MI.getOperand(0).getImm(); // CP instruction index.
402 unsigned CPIndex = MI.getOperand(1).getIndex(); // Actual cp entry index.
Evan Cheng938b9d82008-10-31 19:55:13 +0000403 const MachineConstantPoolEntry &MCPE = (*MCPEs)[CPIndex];
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000404
405 // Remember the CONSTPOOL_ENTRY address for later relocation.
406 JTI->addConstantPoolEntryAddr(CPI, MCE.getCurrentPCValue());
407
408 // Emit constpool island entry. In most cases, the actual values will be
409 // resolved and relocated after code emission.
410 if (MCPE.isMachineConstantPoolEntry()) {
411 ARMConstantPoolValue *ACPV =
412 static_cast<ARMConstantPoolValue*>(MCPE.Val.MachineCPVal);
413
Evan Cheng12c3a532008-11-06 17:48:05 +0000414 DOUT << " ** ARM constant pool #" << CPI << " @ "
Evan Cheng437c1732008-11-07 22:30:53 +0000415 << (void*)MCE.getCurrentPCValue() << " " << *ACPV << '\n';
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000416
417 GlobalValue *GV = ACPV->getGV();
418 if (GV) {
419 assert(!ACPV->isStub() && "Don't know how to deal this yet!");
Evan Chenge96a4902008-11-08 01:31:27 +0000420 if (ACPV->isNonLazyPointer())
Evan Cheng9ed2f802008-11-10 01:08:07 +0000421 MCE.addRelocation(MachineRelocation::getIndirectSymbol(
Evan Chenge96a4902008-11-08 01:31:27 +0000422 MCE.getCurrentPCOffset(), ARM::reloc_arm_machine_cp_entry, GV,
423 (intptr_t)ACPV, false));
424 else
425 emitGlobalAddress(GV, ARM::reloc_arm_machine_cp_entry,
Evan Cheng35b0bfd2008-11-13 19:22:28 +0000426 ACPV->isStub() || isa<Function>(GV), (intptr_t)ACPV);
Evan Cheng25e04782008-11-04 00:50:32 +0000427 } else {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000428 assert(!ACPV->isNonLazyPointer() && "Don't know how to deal this yet!");
429 emitExternalSymbolAddress(ACPV->getSymbol(), ARM::reloc_arm_absolute);
430 }
Evan Cheng83b5cf02008-11-05 23:22:34 +0000431 emitWordLE(0);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000432 } else {
433 Constant *CV = MCPE.Val.ConstVal;
434
Evan Cheng35b0bfd2008-11-13 19:22:28 +0000435#ifndef NDEBUG
Evan Cheng12c3a532008-11-06 17:48:05 +0000436 DOUT << " ** Constant pool #" << CPI << " @ "
Evan Cheng35b0bfd2008-11-13 19:22:28 +0000437 << (void*)MCE.getCurrentPCValue() << " ";
438 if (const Function *F = dyn_cast<Function>(CV))
439 DOUT << F->getName();
440 else
441 DOUT << *CV;
442 DOUT << '\n';
443#endif
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000444
445 if (GlobalValue *GV = dyn_cast<GlobalValue>(CV)) {
Evan Cheng35b0bfd2008-11-13 19:22:28 +0000446 emitGlobalAddress(GV, ARM::reloc_arm_absolute, isa<Function>(GV));
Evan Cheng83b5cf02008-11-05 23:22:34 +0000447 emitWordLE(0);
Evan Chengcb5201f2008-11-11 22:19:31 +0000448 } else if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000449 uint32_t Val = *(uint32_t*)CI->getValue().getRawData();
Evan Cheng83b5cf02008-11-05 23:22:34 +0000450 emitWordLE(Val);
Evan Chengcb5201f2008-11-11 22:19:31 +0000451 } else if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV)) {
452 if (CFP->getType() == Type::FloatTy)
453 emitWordLE(CFP->getValueAPF().bitcastToAPInt().getZExtValue());
454 else if (CFP->getType() == Type::DoubleTy)
455 emitDWordLE(CFP->getValueAPF().bitcastToAPInt().getZExtValue());
456 else {
457 assert(0 && "Unable to handle this constantpool entry!");
458 abort();
459 }
460 } else {
461 assert(0 && "Unable to handle this constantpool entry!");
462 abort();
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000463 }
464 }
465}
466
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000467template<class CodeEmitter>
468void Emitter<CodeEmitter>::emitMOVi2piecesInstruction(const MachineInstr &MI) {
Evan Cheng90922132008-11-06 02:25:39 +0000469 const MachineOperand &MO0 = MI.getOperand(0);
470 const MachineOperand &MO1 = MI.getOperand(1);
471 assert(MO1.isImm() && "Not a valid so_imm value!");
472 unsigned V1 = ARM_AM::getSOImmTwoPartFirst(MO1.getImm());
473 unsigned V2 = ARM_AM::getSOImmTwoPartSecond(MO1.getImm());
474
475 // Emit the 'mov' instruction.
476 unsigned Binary = 0xd << 21; // mov: Insts{24-21} = 0b1101
477
478 // Set the conditional execution predicate.
Evan Cheng97f48c32008-11-06 22:15:19 +0000479 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng90922132008-11-06 02:25:39 +0000480
481 // Encode Rd.
482 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
483
484 // Encode so_imm.
485 // Set bit I(25) to identify this is the immediate form of <shifter_op>
486 Binary |= 1 << ARMII::I_BitShift;
487 Binary |= getMachineSoImmOpValue(ARM_AM::getSOImmVal(V1));
488 emitWordLE(Binary);
489
490 // Now the 'orr' instruction.
491 Binary = 0xc << 21; // orr: Insts{24-21} = 0b1100
492
493 // Set the conditional execution predicate.
Evan Cheng97f48c32008-11-06 22:15:19 +0000494 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng90922132008-11-06 02:25:39 +0000495
496 // Encode Rd.
497 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
498
499 // Encode Rn.
500 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRnShift;
501
502 // Encode so_imm.
503 // Set bit I(25) to identify this is the immediate form of <shifter_op>
504 Binary |= 1 << ARMII::I_BitShift;
505 Binary |= getMachineSoImmOpValue(ARM_AM::getSOImmVal(V2));
506 emitWordLE(Binary);
507}
508
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000509template<class CodeEmitter>
510void Emitter<CodeEmitter>::emitLEApcrelJTInstruction(const MachineInstr &MI) {
Evan Cheng4df60f52008-11-07 09:06:08 +0000511 // It's basically add r, pc, (LJTI - $+8)
512
513 const TargetInstrDesc &TID = MI.getDesc();
514
515 // Emit the 'add' instruction.
516 unsigned Binary = 0x4 << 21; // add: Insts{24-31} = 0b0100
517
518 // Set the conditional execution predicate
519 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
520
521 // Encode S bit if MI modifies CPSR.
522 Binary |= getAddrModeSBit(MI, TID);
523
524 // Encode Rd.
525 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
526
527 // Encode Rn which is PC.
528 Binary |= ARMRegisterInfo::getRegisterNumbering(ARM::PC) << ARMII::RegRnShift;
529
530 // Encode the displacement.
531 // Set bit I(25) to identify this is the immediate form of <shifter_op>.
532 Binary |= 1 << ARMII::I_BitShift;
533 emitJumpTableAddress(MI.getOperand(1).getIndex(), ARM::reloc_arm_jt_base);
534
535 emitWordLE(Binary);
536}
537
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000538template<class CodeEmitter>
539void Emitter<CodeEmitter>::emitPseudoMoveInstruction(const MachineInstr &MI) {
Evan Chenga9562552008-11-14 20:09:11 +0000540 unsigned Opcode = MI.getDesc().Opcode;
541
542 // Part of binary is determined by TableGn.
543 unsigned Binary = getBinaryCodeForInstr(MI);
544
545 // Set the conditional execution predicate
546 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
547
548 // Encode S bit if MI modifies CPSR.
549 if (Opcode == ARM::MOVsrl_flag || Opcode == ARM::MOVsra_flag)
550 Binary |= 1 << ARMII::S_BitShift;
551
552 // Encode register def if there is one.
553 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
554
555 // Encode the shift operation.
556 switch (Opcode) {
557 default: break;
558 case ARM::MOVrx:
559 // rrx
560 Binary |= 0x6 << 4;
561 break;
562 case ARM::MOVsrl_flag:
563 // lsr #1
564 Binary |= (0x2 << 4) | (1 << 7);
565 break;
566 case ARM::MOVsra_flag:
567 // asr #1
568 Binary |= (0x4 << 4) | (1 << 7);
569 break;
570 }
571
572 // Encode register Rm.
573 Binary |= getMachineOpValue(MI, 1);
574
575 emitWordLE(Binary);
576}
577
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000578template<class CodeEmitter>
579void Emitter<CodeEmitter>::addPCLabel(unsigned LabelID) {
Evan Cheng12c3a532008-11-06 17:48:05 +0000580 DOUT << " ** LPC" << LabelID << " @ "
Evan Cheng83b5cf02008-11-05 23:22:34 +0000581 << (void*)MCE.getCurrentPCValue() << '\n';
582 JTI->addPCLabelAddr(LabelID, MCE.getCurrentPCValue());
583}
584
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000585template<class CodeEmitter>
586void Emitter<CodeEmitter>::emitPseudoInstruction(const MachineInstr &MI) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000587 unsigned Opcode = MI.getDesc().Opcode;
588 switch (Opcode) {
589 default:
590 abort(); // FIXME:
Evan Chengffa6d962008-11-13 23:36:57 +0000591 case TargetInstrInfo::INLINEASM: {
Evan Chenge3066ab2008-11-19 23:21:33 +0000592 // We allow inline assembler nodes with empty bodies - they can
593 // implicitly define registers, which is ok for JIT.
594 if (MI.getOperand(0).getSymbolName()[0]) {
595 assert(0 && "JIT does not support inline asm!\n");
596 abort();
597 }
Evan Chengffa6d962008-11-13 23:36:57 +0000598 break;
599 }
600 case TargetInstrInfo::DBG_LABEL:
601 case TargetInstrInfo::EH_LABEL:
602 MCE.emitLabel(MI.getOperand(0).getImm());
603 break;
604 case TargetInstrInfo::IMPLICIT_DEF:
605 case TargetInstrInfo::DECLARE:
606 case ARM::DWARF_LOC:
607 // Do nothing.
608 break;
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000609 case ARM::CONSTPOOL_ENTRY:
610 emitConstPoolInstruction(MI);
611 break;
612 case ARM::PICADD: {
Evan Cheng25e04782008-11-04 00:50:32 +0000613 // Remember of the address of the PC label for relocation later.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000614 addPCLabel(MI.getOperand(2).getImm());
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000615 // PICADD is just an add instruction that implicitly read pc.
Evan Cheng437c1732008-11-07 22:30:53 +0000616 emitDataProcessingInstruction(MI, 0, ARM::PC);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000617 break;
618 }
619 case ARM::PICLDR:
620 case ARM::PICLDRB:
621 case ARM::PICSTR:
622 case ARM::PICSTRB: {
623 // Remember of the address of the PC label for relocation later.
624 addPCLabel(MI.getOperand(2).getImm());
625 // These are just load / store instructions that implicitly read pc.
Evan Cheng4df60f52008-11-07 09:06:08 +0000626 emitLoadStoreInstruction(MI, 0, ARM::PC);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000627 break;
628 }
629 case ARM::PICLDRH:
630 case ARM::PICLDRSH:
631 case ARM::PICLDRSB:
632 case ARM::PICSTRH: {
633 // Remember of the address of the PC label for relocation later.
634 addPCLabel(MI.getOperand(2).getImm());
635 // These are just load / store instructions that implicitly read pc.
636 emitMiscLoadStoreInstruction(MI, ARM::PC);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000637 break;
638 }
Evan Cheng90922132008-11-06 02:25:39 +0000639 case ARM::MOVi2pieces:
640 // Two instructions to materialize a constant.
641 emitMOVi2piecesInstruction(MI);
642 break;
Evan Cheng4df60f52008-11-07 09:06:08 +0000643 case ARM::LEApcrelJT:
644 // Materialize jumptable address.
645 emitLEApcrelJTInstruction(MI);
646 break;
Evan Chenga9562552008-11-14 20:09:11 +0000647 case ARM::MOVrx:
648 case ARM::MOVsrl_flag:
649 case ARM::MOVsra_flag:
650 emitPseudoMoveInstruction(MI);
651 break;
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000652 }
653}
654
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000655template<class CodeEmitter>
656unsigned Emitter<CodeEmitter>::getMachineSoRegOpValue(
657 const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +0000658 const TargetInstrDesc &TID,
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000659 const MachineOperand &MO,
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000660 unsigned OpIdx) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000661 unsigned Binary = getMachineOpValue(MI, MO);
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000662
663 const MachineOperand &MO1 = MI.getOperand(OpIdx + 1);
664 const MachineOperand &MO2 = MI.getOperand(OpIdx + 2);
665 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO2.getImm());
666
667 // Encode the shift opcode.
668 unsigned SBits = 0;
669 unsigned Rs = MO1.getReg();
670 if (Rs) {
671 // Set shift operand (bit[7:4]).
672 // LSL - 0001
673 // LSR - 0011
674 // ASR - 0101
675 // ROR - 0111
676 // RRX - 0110 and bit[11:8] clear.
677 switch (SOpc) {
678 default: assert(0 && "Unknown shift opc!");
679 case ARM_AM::lsl: SBits = 0x1; break;
680 case ARM_AM::lsr: SBits = 0x3; break;
681 case ARM_AM::asr: SBits = 0x5; break;
682 case ARM_AM::ror: SBits = 0x7; break;
683 case ARM_AM::rrx: SBits = 0x6; break;
684 }
685 } else {
686 // Set shift operand (bit[6:4]).
687 // LSL - 000
688 // LSR - 010
689 // ASR - 100
690 // ROR - 110
691 switch (SOpc) {
692 default: assert(0 && "Unknown shift opc!");
693 case ARM_AM::lsl: SBits = 0x0; break;
694 case ARM_AM::lsr: SBits = 0x2; break;
695 case ARM_AM::asr: SBits = 0x4; break;
696 case ARM_AM::ror: SBits = 0x6; break;
697 }
698 }
699 Binary |= SBits << 4;
700 if (SOpc == ARM_AM::rrx)
701 return Binary;
702
703 // Encode the shift operation Rs or shift_imm (except rrx).
704 if (Rs) {
705 // Encode Rs bit[11:8].
706 assert(ARM_AM::getSORegOffset(MO2.getImm()) == 0);
707 return Binary |
708 (ARMRegisterInfo::getRegisterNumbering(Rs) << ARMII::RegRsShift);
709 }
710
711 // Encode shift_imm bit[11:7].
712 return Binary | ARM_AM::getSORegOffset(MO2.getImm()) << 7;
713}
714
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000715template<class CodeEmitter>
716unsigned Emitter<CodeEmitter>::getMachineSoImmOpValue(unsigned SoImm) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000717 // Encode rotate_imm.
Evan Cheng97f48c32008-11-06 22:15:19 +0000718 unsigned Binary = (ARM_AM::getSOImmValRot(SoImm) >> 1)
719 << ARMII::SoRotImmShift;
720
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000721 // Encode immed_8.
Evan Cheng90922132008-11-06 02:25:39 +0000722 Binary |= ARM_AM::getSOImmValImm(SoImm);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000723 return Binary;
724}
725
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000726template<class CodeEmitter>
727unsigned Emitter<CodeEmitter>::getAddrModeSBit(const MachineInstr &MI,
728 const TargetInstrDesc &TID) const {
Evan Cheng97c573d2008-11-20 02:25:51 +0000729 for (unsigned i = MI.getNumOperands(), e = TID.getNumOperands(); i != e; --i){
Evan Cheng49a9f292008-09-12 22:45:55 +0000730 const MachineOperand &MO = MI.getOperand(i-1);
Dan Gohmand735b802008-10-03 15:45:36 +0000731 if (MO.isReg() && MO.isDef() && MO.getReg() == ARM::CPSR)
Evan Cheng49a9f292008-09-12 22:45:55 +0000732 return 1 << ARMII::S_BitShift;
733 }
734 return 0;
735}
736
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000737template<class CodeEmitter>
738void Emitter<CodeEmitter>::emitDataProcessingInstruction(
739 const MachineInstr &MI,
Evan Cheng437c1732008-11-07 22:30:53 +0000740 unsigned ImplicitRd,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000741 unsigned ImplicitRn) {
Evan Chengedda31c2008-11-05 18:35:52 +0000742 const TargetInstrDesc &TID = MI.getDesc();
Evan Chengedda31c2008-11-05 18:35:52 +0000743
Evan Cheng36a0aeb2009-07-06 22:23:46 +0000744 if (TID.Opcode == ARM::BFC) {
745 cerr << "ERROR: ARMv6t2 JIT is not yet supported.\n";
746 abort();
747 }
748
Evan Chengedda31c2008-11-05 18:35:52 +0000749 // Part of binary is determined by TableGn.
750 unsigned Binary = getBinaryCodeForInstr(MI);
751
Jim Grosbach33412622008-10-07 19:05:35 +0000752 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000753 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000754
Evan Cheng49a9f292008-09-12 22:45:55 +0000755 // Encode S bit if MI modifies CPSR.
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000756 Binary |= getAddrModeSBit(MI, TID);
Evan Cheng49a9f292008-09-12 22:45:55 +0000757
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000758 // Encode register def if there is one.
Evan Cheng49a9f292008-09-12 22:45:55 +0000759 unsigned NumDefs = TID.getNumDefs();
Evan Chenga964b7d2008-09-12 23:15:39 +0000760 unsigned OpIdx = 0;
Evan Cheng437c1732008-11-07 22:30:53 +0000761 if (NumDefs)
762 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
763 else if (ImplicitRd)
764 // Special handling for implicit use (e.g. PC).
765 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRd)
766 << ARMII::RegRdShift);
Evan Cheng7602e112008-09-02 06:52:38 +0000767
Evan Chengd87293c2008-11-06 08:47:38 +0000768 // If this is a two-address operand, skip it. e.g. MOVCCr operand 1.
769 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
770 ++OpIdx;
771
Jim Grosbachefd30ba2008-10-01 18:16:49 +0000772 // Encode first non-shifter register operand if there is one.
Evan Chengedda31c2008-11-05 18:35:52 +0000773 bool isUnary = TID.TSFlags & ARMII::UnaryDP;
774 if (!isUnary) {
Evan Cheng83b5cf02008-11-05 23:22:34 +0000775 if (ImplicitRn)
776 // Special handling for implicit use (e.g. PC).
777 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
Evan Chengedda31c2008-11-05 18:35:52 +0000778 << ARMII::RegRnShift);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000779 else {
780 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRnShift;
781 ++OpIdx;
782 }
Evan Cheng7602e112008-09-02 06:52:38 +0000783 }
784
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000785 // Encode shifter operand.
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000786 const MachineOperand &MO = MI.getOperand(OpIdx);
Evan Chengedda31c2008-11-05 18:35:52 +0000787 if ((TID.TSFlags & ARMII::FormMask) == ARMII::DPSoRegFrm) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000788 // Encode SoReg.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000789 emitWordLE(Binary | getMachineSoRegOpValue(MI, TID, MO, OpIdx));
Evan Chengedda31c2008-11-05 18:35:52 +0000790 return;
791 }
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000792
Evan Chengedda31c2008-11-05 18:35:52 +0000793 if (MO.isReg()) {
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000794 // Encode register Rm.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000795 emitWordLE(Binary | ARMRegisterInfo::getRegisterNumbering(MO.getReg()));
Evan Chengedda31c2008-11-05 18:35:52 +0000796 return;
797 }
Evan Cheng7602e112008-09-02 06:52:38 +0000798
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000799 // Encode so_imm.
Evan Cheng4df60f52008-11-07 09:06:08 +0000800 // Set bit I(25) to identify this is the immediate form of <shifter_op>.
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000801 Binary |= 1 << ARMII::I_BitShift;
Evan Cheng90922132008-11-06 02:25:39 +0000802 Binary |= getMachineSoImmOpValue(MO.getImm());
Evan Chengedda31c2008-11-05 18:35:52 +0000803
Evan Cheng83b5cf02008-11-05 23:22:34 +0000804 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000805}
806
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000807template<class CodeEmitter>
808void Emitter<CodeEmitter>::emitLoadStoreInstruction(
809 const MachineInstr &MI,
Evan Cheng4df60f52008-11-07 09:06:08 +0000810 unsigned ImplicitRd,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000811 unsigned ImplicitRn) {
Evan Cheng05c356e2008-11-08 01:44:13 +0000812 const TargetInstrDesc &TID = MI.getDesc();
Evan Cheng148cad82008-11-13 07:34:59 +0000813 unsigned Form = TID.TSFlags & ARMII::FormMask;
814 bool IsPrePost = (TID.TSFlags & ARMII::IndexModeMask) != 0;
Evan Cheng05c356e2008-11-08 01:44:13 +0000815
Evan Chengedda31c2008-11-05 18:35:52 +0000816 // Part of binary is determined by TableGn.
817 unsigned Binary = getBinaryCodeForInstr(MI);
818
Jim Grosbach33412622008-10-07 19:05:35 +0000819 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000820 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng057d0c32008-09-18 07:28:19 +0000821
Evan Cheng4df60f52008-11-07 09:06:08 +0000822 unsigned OpIdx = 0;
Evan Cheng148cad82008-11-13 07:34:59 +0000823
824 // Operand 0 of a pre- and post-indexed store is the address base
825 // writeback. Skip it.
826 bool Skipped = false;
827 if (IsPrePost && Form == ARMII::StFrm) {
828 ++OpIdx;
829 Skipped = true;
830 }
831
832 // Set first operand
Evan Cheng4df60f52008-11-07 09:06:08 +0000833 if (ImplicitRd)
834 // Special handling for implicit use (e.g. PC).
835 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRd)
836 << ARMII::RegRdShift);
837 else
838 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000839
840 // Set second operand
Evan Cheng83b5cf02008-11-05 23:22:34 +0000841 if (ImplicitRn)
842 // Special handling for implicit use (e.g. PC).
843 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
844 << ARMII::RegRnShift);
Evan Cheng4df60f52008-11-07 09:06:08 +0000845 else
846 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000847
Evan Cheng05c356e2008-11-08 01:44:13 +0000848 // If this is a two-address operand, skip it. e.g. LDR_PRE.
Evan Cheng148cad82008-11-13 07:34:59 +0000849 if (!Skipped && TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
Evan Cheng05c356e2008-11-08 01:44:13 +0000850 ++OpIdx;
851
Evan Cheng83b5cf02008-11-05 23:22:34 +0000852 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Chengd87293c2008-11-06 08:47:38 +0000853 unsigned AM2Opc = (ImplicitRn == ARM::PC)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000854 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Cheng7602e112008-09-02 06:52:38 +0000855
Evan Chenge7de7e32008-09-13 01:44:01 +0000856 // Set bit U(23) according to sign of immed value (positive or negative).
Evan Cheng83b5cf02008-11-05 23:22:34 +0000857 Binary |= ((ARM_AM::getAM2Op(AM2Opc) == ARM_AM::add ? 1 : 0) <<
Evan Chenge7de7e32008-09-13 01:44:01 +0000858 ARMII::U_BitShift);
Evan Cheng7602e112008-09-02 06:52:38 +0000859 if (!MO2.getReg()) { // is immediate
Evan Cheng83b5cf02008-11-05 23:22:34 +0000860 if (ARM_AM::getAM2Offset(AM2Opc))
Evan Cheng7602e112008-09-02 06:52:38 +0000861 // Set the value of offset_12 field
Evan Cheng83b5cf02008-11-05 23:22:34 +0000862 Binary |= ARM_AM::getAM2Offset(AM2Opc);
863 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +0000864 return;
Evan Cheng7602e112008-09-02 06:52:38 +0000865 }
866
867 // Set bit I(25), because this is not in immediate enconding.
868 Binary |= 1 << ARMII::I_BitShift;
869 assert(TargetRegisterInfo::isPhysicalRegister(MO2.getReg()));
870 // Set bit[3:0] to the corresponding Rm register
871 Binary |= ARMRegisterInfo::getRegisterNumbering(MO2.getReg());
872
Evan Cheng70632912008-11-12 07:34:37 +0000873 // If this instr is in scaled register offset/index instruction, set
Evan Cheng7602e112008-09-02 06:52:38 +0000874 // shift_immed(bit[11:7]) and shift(bit[6:5]) fields.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000875 if (unsigned ShImm = ARM_AM::getAM2Offset(AM2Opc)) {
Evan Cheng70632912008-11-12 07:34:37 +0000876 Binary |= getShiftOp(AM2Opc) << ARMII::ShiftImmShift; // shift
877 Binary |= ShImm << ARMII::ShiftShift; // shift_immed
Evan Cheng7602e112008-09-02 06:52:38 +0000878 }
879
Evan Cheng83b5cf02008-11-05 23:22:34 +0000880 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000881}
882
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000883template<class CodeEmitter>
884void Emitter<CodeEmitter>::emitMiscLoadStoreInstruction(const MachineInstr &MI,
885 unsigned ImplicitRn) {
Evan Cheng05c356e2008-11-08 01:44:13 +0000886 const TargetInstrDesc &TID = MI.getDesc();
Evan Cheng148cad82008-11-13 07:34:59 +0000887 unsigned Form = TID.TSFlags & ARMII::FormMask;
888 bool IsPrePost = (TID.TSFlags & ARMII::IndexModeMask) != 0;
Evan Cheng05c356e2008-11-08 01:44:13 +0000889
Evan Chengedda31c2008-11-05 18:35:52 +0000890 // Part of binary is determined by TableGn.
891 unsigned Binary = getBinaryCodeForInstr(MI);
892
Jim Grosbach33412622008-10-07 19:05:35 +0000893 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000894 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng057d0c32008-09-18 07:28:19 +0000895
Evan Cheng148cad82008-11-13 07:34:59 +0000896 unsigned OpIdx = 0;
897
898 // Operand 0 of a pre- and post-indexed store is the address base
899 // writeback. Skip it.
900 bool Skipped = false;
901 if (IsPrePost && Form == ARMII::StMiscFrm) {
902 ++OpIdx;
903 Skipped = true;
904 }
905
Evan Cheng7602e112008-09-02 06:52:38 +0000906 // Set first operand
Evan Cheng148cad82008-11-13 07:34:59 +0000907 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000908
Evan Cheng358dec52009-06-15 08:28:29 +0000909 // Skip LDRD and STRD's second operand.
910 if (TID.Opcode == ARM::LDRD || TID.Opcode == ARM::STRD)
911 ++OpIdx;
912
Evan Cheng7602e112008-09-02 06:52:38 +0000913 // Set second operand
Evan Cheng83b5cf02008-11-05 23:22:34 +0000914 if (ImplicitRn)
915 // Special handling for implicit use (e.g. PC).
916 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
917 << ARMII::RegRnShift);
Evan Cheng4df60f52008-11-07 09:06:08 +0000918 else
919 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000920
Evan Cheng05c356e2008-11-08 01:44:13 +0000921 // If this is a two-address operand, skip it. e.g. LDRH_POST.
Evan Cheng148cad82008-11-13 07:34:59 +0000922 if (!Skipped && TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
Evan Cheng05c356e2008-11-08 01:44:13 +0000923 ++OpIdx;
924
Evan Cheng83b5cf02008-11-05 23:22:34 +0000925 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Chengd87293c2008-11-06 08:47:38 +0000926 unsigned AM3Opc = (ImplicitRn == ARM::PC)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000927 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Cheng7602e112008-09-02 06:52:38 +0000928
Evan Chenge7de7e32008-09-13 01:44:01 +0000929 // Set bit U(23) according to sign of immed value (positive or negative)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000930 Binary |= ((ARM_AM::getAM3Op(AM3Opc) == ARM_AM::add ? 1 : 0) <<
Evan Cheng7602e112008-09-02 06:52:38 +0000931 ARMII::U_BitShift);
932
933 // If this instr is in register offset/index encoding, set bit[3:0]
934 // to the corresponding Rm register.
935 if (MO2.getReg()) {
936 Binary |= ARMRegisterInfo::getRegisterNumbering(MO2.getReg());
Evan Cheng83b5cf02008-11-05 23:22:34 +0000937 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +0000938 return;
Evan Cheng7602e112008-09-02 06:52:38 +0000939 }
940
Evan Chengd87293c2008-11-06 08:47:38 +0000941 // This instr is in immediate offset/index encoding, set bit 22 to 1.
Evan Cheng97f48c32008-11-06 22:15:19 +0000942 Binary |= 1 << ARMII::AM3_I_BitShift;
Evan Cheng83b5cf02008-11-05 23:22:34 +0000943 if (unsigned ImmOffs = ARM_AM::getAM3Offset(AM3Opc)) {
Evan Cheng7602e112008-09-02 06:52:38 +0000944 // Set operands
Evan Cheng70632912008-11-12 07:34:37 +0000945 Binary |= (ImmOffs >> 4) << ARMII::ImmHiShift; // immedH
946 Binary |= (ImmOffs & 0xF); // immedL
Evan Cheng7602e112008-09-02 06:52:38 +0000947 }
948
Evan Cheng83b5cf02008-11-05 23:22:34 +0000949 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000950}
951
Evan Chengcd8e66a2008-11-11 21:48:44 +0000952static unsigned getAddrModeUPBits(unsigned Mode) {
953 unsigned Binary = 0;
Evan Cheng7602e112008-09-02 06:52:38 +0000954
955 // Set addressing mode by modifying bits U(23) and P(24)
956 // IA - Increment after - bit U = 1 and bit P = 0
957 // IB - Increment before - bit U = 1 and bit P = 1
958 // DA - Decrement after - bit U = 0 and bit P = 0
959 // DB - Decrement before - bit U = 0 and bit P = 1
Evan Cheng7602e112008-09-02 06:52:38 +0000960 switch (Mode) {
961 default: assert(0 && "Unknown addressing sub-mode!");
962 case ARM_AM::da: break;
Evan Cheng97f48c32008-11-06 22:15:19 +0000963 case ARM_AM::db: Binary |= 0x1 << ARMII::P_BitShift; break;
964 case ARM_AM::ia: Binary |= 0x1 << ARMII::U_BitShift; break;
965 case ARM_AM::ib: Binary |= 0x3 << ARMII::U_BitShift; break;
Evan Cheng7602e112008-09-02 06:52:38 +0000966 }
967
Evan Chengcd8e66a2008-11-11 21:48:44 +0000968 return Binary;
969}
970
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000971template<class CodeEmitter>
972void Emitter<CodeEmitter>::emitLoadStoreMultipleInstruction(
973 const MachineInstr &MI) {
Evan Chengcd8e66a2008-11-11 21:48:44 +0000974 // Part of binary is determined by TableGn.
975 unsigned Binary = getBinaryCodeForInstr(MI);
976
977 // Set the conditional execution predicate
978 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
979
980 // Set base address operand
981 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRnShift;
982
983 // Set addressing mode by modifying bits U(23) and P(24)
984 const MachineOperand &MO = MI.getOperand(1);
985 Binary |= getAddrModeUPBits(ARM_AM::getAM4SubMode(MO.getImm()));
986
Evan Cheng7602e112008-09-02 06:52:38 +0000987 // Set bit W(21)
988 if (ARM_AM::getAM4WBFlag(MO.getImm()))
Evan Cheng97f48c32008-11-06 22:15:19 +0000989 Binary |= 0x1 << ARMII::W_BitShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000990
991 // Set registers
992 for (unsigned i = 4, e = MI.getNumOperands(); i != e; ++i) {
993 const MachineOperand &MO = MI.getOperand(i);
Evan Chengcd8e66a2008-11-11 21:48:44 +0000994 if (!MO.isReg() || MO.isImplicit())
995 break;
Evan Cheng7602e112008-09-02 06:52:38 +0000996 unsigned RegNum = ARMRegisterInfo::getRegisterNumbering(MO.getReg());
997 assert(TargetRegisterInfo::isPhysicalRegister(MO.getReg()) &&
998 RegNum < 16);
999 Binary |= 0x1 << RegNum;
1000 }
1001
Evan Cheng83b5cf02008-11-05 23:22:34 +00001002 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +00001003}
1004
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +00001005template<class CodeEmitter>
1006void Emitter<CodeEmitter>::emitMulFrmInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +00001007 const TargetInstrDesc &TID = MI.getDesc();
1008
1009 // Part of binary is determined by TableGn.
1010 unsigned Binary = getBinaryCodeForInstr(MI);
1011
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +00001012 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +00001013 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +00001014
1015 // Encode S bit if MI modifies CPSR.
1016 Binary |= getAddrModeSBit(MI, TID);
1017
1018 // 32x32->64bit operations have two destination registers. The number
1019 // of register definitions will tell us if that's what we're dealing with.
Evan Cheng97f48c32008-11-06 22:15:19 +00001020 unsigned OpIdx = 0;
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +00001021 if (TID.getNumDefs() == 2)
1022 Binary |= getMachineOpValue (MI, OpIdx++) << ARMII::RegRdLoShift;
1023
1024 // Encode Rd
1025 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdHiShift;
1026
1027 // Encode Rm
1028 Binary |= getMachineOpValue(MI, OpIdx++);
1029
1030 // Encode Rs
1031 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRsShift;
1032
Evan Chengfbc9d412008-11-06 01:21:28 +00001033 // Many multiple instructions (e.g. MLA) have three src operands. Encode
1034 // it as Rn (for multiply, that's in the same offset as RdLo.
Evan Cheng97f48c32008-11-06 22:15:19 +00001035 if (TID.getNumOperands() > OpIdx &&
1036 !TID.OpInfo[OpIdx].isPredicate() &&
1037 !TID.OpInfo[OpIdx].isOptionalDef())
1038 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRdLoShift;
1039
1040 emitWordLE(Binary);
1041}
1042
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +00001043template<class CodeEmitter>
1044void Emitter<CodeEmitter>::emitExtendInstruction(const MachineInstr &MI) {
Evan Cheng97f48c32008-11-06 22:15:19 +00001045 const TargetInstrDesc &TID = MI.getDesc();
1046
1047 // Part of binary is determined by TableGn.
1048 unsigned Binary = getBinaryCodeForInstr(MI);
1049
1050 // Set the conditional execution predicate
1051 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1052
1053 unsigned OpIdx = 0;
1054
1055 // Encode Rd
1056 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
1057
1058 const MachineOperand &MO1 = MI.getOperand(OpIdx++);
1059 const MachineOperand &MO2 = MI.getOperand(OpIdx);
1060 if (MO2.isReg()) {
1061 // Two register operand form.
1062 // Encode Rn.
1063 Binary |= getMachineOpValue(MI, MO1) << ARMII::RegRnShift;
1064
1065 // Encode Rm.
1066 Binary |= getMachineOpValue(MI, MO2);
1067 ++OpIdx;
1068 } else {
1069 Binary |= getMachineOpValue(MI, MO1);
1070 }
1071
1072 // Encode rot imm (0, 8, 16, or 24) if it has a rotate immediate operand.
1073 if (MI.getOperand(OpIdx).isImm() &&
1074 !TID.OpInfo[OpIdx].isPredicate() &&
1075 !TID.OpInfo[OpIdx].isOptionalDef())
1076 Binary |= (getMachineOpValue(MI, OpIdx) / 8) << ARMII::ExtRotImmShift;
Evan Chengfbc9d412008-11-06 01:21:28 +00001077
Evan Cheng83b5cf02008-11-05 23:22:34 +00001078 emitWordLE(Binary);
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +00001079}
1080
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +00001081template<class CodeEmitter>
1082void Emitter<CodeEmitter>::emitMiscArithInstruction(const MachineInstr &MI) {
Evan Cheng8b59db32008-11-07 01:41:35 +00001083 const TargetInstrDesc &TID = MI.getDesc();
1084
1085 // Part of binary is determined by TableGn.
1086 unsigned Binary = getBinaryCodeForInstr(MI);
1087
1088 // Set the conditional execution predicate
1089 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1090
1091 unsigned OpIdx = 0;
1092
1093 // Encode Rd
1094 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
1095
1096 const MachineOperand &MO = MI.getOperand(OpIdx++);
1097 if (OpIdx == TID.getNumOperands() ||
1098 TID.OpInfo[OpIdx].isPredicate() ||
1099 TID.OpInfo[OpIdx].isOptionalDef()) {
1100 // Encode Rm and it's done.
1101 Binary |= getMachineOpValue(MI, MO);
1102 emitWordLE(Binary);
1103 return;
1104 }
1105
1106 // Encode Rn.
1107 Binary |= getMachineOpValue(MI, MO) << ARMII::RegRnShift;
1108
1109 // Encode Rm.
1110 Binary |= getMachineOpValue(MI, OpIdx++);
1111
1112 // Encode shift_imm.
1113 unsigned ShiftAmt = MI.getOperand(OpIdx).getImm();
1114 assert(ShiftAmt < 32 && "shift_imm range is 0 to 31!");
1115 Binary |= ShiftAmt << ARMII::ShiftShift;
1116
1117 emitWordLE(Binary);
1118}
1119
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +00001120template<class CodeEmitter>
1121void Emitter<CodeEmitter>::emitBranchInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +00001122 const TargetInstrDesc &TID = MI.getDesc();
1123
Evan Cheng12c3a532008-11-06 17:48:05 +00001124 if (TID.Opcode == ARM::TPsoft)
1125 abort(); // FIXME
1126
Evan Cheng7602e112008-09-02 06:52:38 +00001127 // Part of binary is determined by TableGn.
1128 unsigned Binary = getBinaryCodeForInstr(MI);
1129
Evan Chengedda31c2008-11-05 18:35:52 +00001130 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +00001131 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chengedda31c2008-11-05 18:35:52 +00001132
1133 // Set signed_immed_24 field
1134 Binary |= getMachineOpValue(MI, 0);
1135
Evan Cheng83b5cf02008-11-05 23:22:34 +00001136 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +00001137}
1138
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +00001139template<class CodeEmitter>
1140void Emitter<CodeEmitter>::emitInlineJumpTable(unsigned JTIndex) {
Evan Cheng4df60f52008-11-07 09:06:08 +00001141 // Remember the base address of the inline jump table.
Evan Cheng5788d1a2008-12-10 02:32:19 +00001142 uintptr_t JTBase = MCE.getCurrentPCValue();
Evan Cheng437c1732008-11-07 22:30:53 +00001143 JTI->addJumpTableBaseAddr(JTIndex, JTBase);
1144 DOUT << " ** Jump Table #" << JTIndex << " @ " << (void*)JTBase << '\n';
Evan Cheng4df60f52008-11-07 09:06:08 +00001145
1146 // Now emit the jump table entries.
1147 const std::vector<MachineBasicBlock*> &MBBs = (*MJTEs)[JTIndex].MBBs;
1148 for (unsigned i = 0, e = MBBs.size(); i != e; ++i) {
1149 if (IsPIC)
1150 // DestBB address - JT base.
Evan Cheng437c1732008-11-07 22:30:53 +00001151 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_pic_jt, JTBase);
Evan Cheng4df60f52008-11-07 09:06:08 +00001152 else
1153 // Absolute DestBB address.
1154 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_absolute);
1155 emitWordLE(0);
1156 }
1157}
1158
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +00001159template<class CodeEmitter>
1160void Emitter<CodeEmitter>::emitMiscBranchInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +00001161 const TargetInstrDesc &TID = MI.getDesc();
Evan Chengedda31c2008-11-05 18:35:52 +00001162
Evan Cheng437c1732008-11-07 22:30:53 +00001163 // Handle jump tables.
David Goodwinc9a59b52009-06-30 19:50:22 +00001164 if (TID.Opcode == ARM::BR_JTr || TID.Opcode == ARM::BR_JTadd ||
1165 TID.Opcode == ARM::t2BR_JTr || TID.Opcode == ARM::t2BR_JTadd) {
Evan Cheng437c1732008-11-07 22:30:53 +00001166 // First emit a ldr pc, [] instruction.
1167 emitDataProcessingInstruction(MI, ARM::PC);
1168
1169 // Then emit the inline jump table.
David Goodwinc9a59b52009-06-30 19:50:22 +00001170 unsigned JTIndex = (TID.Opcode == ARM::BR_JTr || TID.Opcode == ARM::t2BR_JTr)
Evan Cheng437c1732008-11-07 22:30:53 +00001171 ? MI.getOperand(1).getIndex() : MI.getOperand(2).getIndex();
1172 emitInlineJumpTable(JTIndex);
1173 return;
David Goodwinc9a59b52009-06-30 19:50:22 +00001174 } else if (TID.Opcode == ARM::BR_JTm || TID.Opcode == ARM::t2BR_JTm) {
Evan Cheng4df60f52008-11-07 09:06:08 +00001175 // First emit a ldr pc, [] instruction.
1176 emitLoadStoreInstruction(MI, ARM::PC);
1177
1178 // Then emit the inline jump table.
Evan Cheng437c1732008-11-07 22:30:53 +00001179 emitInlineJumpTable(MI.getOperand(3).getIndex());
Evan Cheng4df60f52008-11-07 09:06:08 +00001180 return;
1181 }
1182
Evan Chengedda31c2008-11-05 18:35:52 +00001183 // Part of binary is determined by TableGn.
1184 unsigned Binary = getBinaryCodeForInstr(MI);
1185
1186 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +00001187 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chengedda31c2008-11-05 18:35:52 +00001188
1189 if (TID.Opcode == ARM::BX_RET)
1190 // The return register is LR.
1191 Binary |= ARMRegisterInfo::getRegisterNumbering(ARM::LR);
1192 else
1193 // otherwise, set the return register
1194 Binary |= getMachineOpValue(MI, 0);
1195
Evan Cheng83b5cf02008-11-05 23:22:34 +00001196 emitWordLE(Binary);
Evan Cheng148b6a42007-07-05 21:15:40 +00001197}
Evan Cheng7602e112008-09-02 06:52:38 +00001198
Evan Cheng80a11982008-11-12 06:41:41 +00001199static unsigned encodeVFPRd(const MachineInstr &MI, unsigned OpIdx) {
Evan Chengd06d48d2008-11-12 02:19:38 +00001200 unsigned RegD = MI.getOperand(OpIdx).getReg();
Evan Cheng80a11982008-11-12 06:41:41 +00001201 unsigned Binary = 0;
Evan Chengd06d48d2008-11-12 02:19:38 +00001202 bool isSPVFP = false;
1203 RegD = ARMRegisterInfo::getRegisterNumbering(RegD, isSPVFP);
1204 if (!isSPVFP)
1205 Binary |= RegD << ARMII::RegRdShift;
1206 else {
1207 Binary |= ((RegD & 0x1E) >> 1) << ARMII::RegRdShift;
1208 Binary |= (RegD & 0x01) << ARMII::D_BitShift;
1209 }
Evan Cheng80a11982008-11-12 06:41:41 +00001210 return Binary;
1211}
Evan Cheng78be83d2008-11-11 19:40:26 +00001212
Evan Cheng80a11982008-11-12 06:41:41 +00001213static unsigned encodeVFPRn(const MachineInstr &MI, unsigned OpIdx) {
Evan Chengd06d48d2008-11-12 02:19:38 +00001214 unsigned RegN = MI.getOperand(OpIdx).getReg();
Evan Cheng80a11982008-11-12 06:41:41 +00001215 unsigned Binary = 0;
1216 bool isSPVFP = false;
Evan Chengd06d48d2008-11-12 02:19:38 +00001217 RegN = ARMRegisterInfo::getRegisterNumbering(RegN, isSPVFP);
1218 if (!isSPVFP)
1219 Binary |= RegN << ARMII::RegRnShift;
1220 else {
1221 Binary |= ((RegN & 0x1E) >> 1) << ARMII::RegRnShift;
1222 Binary |= (RegN & 0x01) << ARMII::N_BitShift;
1223 }
Evan Cheng80a11982008-11-12 06:41:41 +00001224 return Binary;
1225}
Evan Chengd06d48d2008-11-12 02:19:38 +00001226
Evan Cheng80a11982008-11-12 06:41:41 +00001227static unsigned encodeVFPRm(const MachineInstr &MI, unsigned OpIdx) {
1228 unsigned RegM = MI.getOperand(OpIdx).getReg();
1229 unsigned Binary = 0;
1230 bool isSPVFP = false;
1231 RegM = ARMRegisterInfo::getRegisterNumbering(RegM, isSPVFP);
1232 if (!isSPVFP)
1233 Binary |= RegM;
1234 else {
1235 Binary |= ((RegM & 0x1E) >> 1);
1236 Binary |= (RegM & 0x01) << ARMII::M_BitShift;
Evan Cheng78be83d2008-11-11 19:40:26 +00001237 }
Evan Cheng80a11982008-11-12 06:41:41 +00001238 return Binary;
1239}
1240
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +00001241template<class CodeEmitter>
1242void Emitter<CodeEmitter>::emitVFPArithInstruction(const MachineInstr &MI) {
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001243 const TargetInstrDesc &TID = MI.getDesc();
1244
1245 // Part of binary is determined by TableGn.
1246 unsigned Binary = getBinaryCodeForInstr(MI);
1247
1248 // Set the conditional execution predicate
1249 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1250
1251 unsigned OpIdx = 0;
1252 assert((Binary & ARMII::D_BitShift) == 0 &&
1253 (Binary & ARMII::N_BitShift) == 0 &&
1254 (Binary & ARMII::M_BitShift) == 0 && "VFP encoding bug!");
1255
1256 // Encode Dd / Sd.
1257 Binary |= encodeVFPRd(MI, OpIdx++);
1258
1259 // If this is a two-address operand, skip it, e.g. FMACD.
1260 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1261 ++OpIdx;
1262
1263 // Encode Dn / Sn.
1264 if ((TID.TSFlags & ARMII::FormMask) == ARMII::VFPBinaryFrm)
Evan Cheng3f4924e2008-11-12 08:14:21 +00001265 Binary |= encodeVFPRn(MI, OpIdx++);
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001266
1267 if (OpIdx == TID.getNumOperands() ||
1268 TID.OpInfo[OpIdx].isPredicate() ||
1269 TID.OpInfo[OpIdx].isOptionalDef()) {
1270 // FCMPEZD etc. has only one operand.
1271 emitWordLE(Binary);
1272 return;
1273 }
1274
1275 // Encode Dm / Sm.
1276 Binary |= encodeVFPRm(MI, OpIdx);
1277
1278 emitWordLE(Binary);
1279}
1280
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +00001281template<class CodeEmitter>
1282void Emitter<CodeEmitter>::emitVFPConversionInstruction(
1283 const MachineInstr &MI) {
Evan Cheng80a11982008-11-12 06:41:41 +00001284 const TargetInstrDesc &TID = MI.getDesc();
1285 unsigned Form = TID.TSFlags & ARMII::FormMask;
1286
1287 // Part of binary is determined by TableGn.
1288 unsigned Binary = getBinaryCodeForInstr(MI);
1289
1290 // Set the conditional execution predicate
1291 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1292
1293 switch (Form) {
1294 default: break;
1295 case ARMII::VFPConv1Frm:
1296 case ARMII::VFPConv2Frm:
1297 case ARMII::VFPConv3Frm:
1298 // Encode Dd / Sd.
1299 Binary |= encodeVFPRd(MI, 0);
1300 break;
1301 case ARMII::VFPConv4Frm:
1302 // Encode Dn / Sn.
1303 Binary |= encodeVFPRn(MI, 0);
1304 break;
1305 case ARMII::VFPConv5Frm:
1306 // Encode Dm / Sm.
1307 Binary |= encodeVFPRm(MI, 0);
1308 break;
1309 }
1310
1311 switch (Form) {
1312 default: break;
1313 case ARMII::VFPConv1Frm:
1314 // Encode Dm / Sm.
1315 Binary |= encodeVFPRm(MI, 1);
Evan Cheng67fd91f2008-11-13 07:46:59 +00001316 break;
Evan Cheng80a11982008-11-12 06:41:41 +00001317 case ARMII::VFPConv2Frm:
1318 case ARMII::VFPConv3Frm:
1319 // Encode Dn / Sn.
1320 Binary |= encodeVFPRn(MI, 1);
1321 break;
1322 case ARMII::VFPConv4Frm:
1323 case ARMII::VFPConv5Frm:
1324 // Encode Dd / Sd.
1325 Binary |= encodeVFPRd(MI, 1);
1326 break;
1327 }
1328
1329 if (Form == ARMII::VFPConv5Frm)
1330 // Encode Dn / Sn.
1331 Binary |= encodeVFPRn(MI, 2);
1332 else if (Form == ARMII::VFPConv3Frm)
1333 // Encode Dm / Sm.
1334 Binary |= encodeVFPRm(MI, 2);
Evan Cheng78be83d2008-11-11 19:40:26 +00001335
1336 emitWordLE(Binary);
1337}
1338
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +00001339template<class CodeEmitter>
1340void Emitter<CodeEmitter>::emitVFPLoadStoreInstruction(const MachineInstr &MI) {
Evan Chengcd8e66a2008-11-11 21:48:44 +00001341 // Part of binary is determined by TableGn.
1342 unsigned Binary = getBinaryCodeForInstr(MI);
1343
1344 // Set the conditional execution predicate
1345 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1346
1347 unsigned OpIdx = 0;
1348
1349 // Encode Dd / Sd.
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001350 Binary |= encodeVFPRd(MI, OpIdx++);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001351
1352 // Encode address base.
1353 const MachineOperand &Base = MI.getOperand(OpIdx++);
1354 Binary |= getMachineOpValue(MI, Base) << ARMII::RegRnShift;
1355
1356 // If there is a non-zero immediate offset, encode it.
1357 if (Base.isReg()) {
1358 const MachineOperand &Offset = MI.getOperand(OpIdx);
1359 if (unsigned ImmOffs = ARM_AM::getAM5Offset(Offset.getImm())) {
1360 if (ARM_AM::getAM5Op(Offset.getImm()) == ARM_AM::add)
1361 Binary |= 1 << ARMII::U_BitShift;
Evan Cheng607f1b42008-11-12 08:21:12 +00001362 Binary |= ImmOffs;
Evan Chengcd8e66a2008-11-11 21:48:44 +00001363 emitWordLE(Binary);
1364 return;
1365 }
1366 }
1367
1368 // If immediate offset is omitted, default to +0.
1369 Binary |= 1 << ARMII::U_BitShift;
1370
1371 emitWordLE(Binary);
1372}
1373
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +00001374template<class CodeEmitter>
1375void Emitter<CodeEmitter>::emitVFPLoadStoreMultipleInstruction(
1376 const MachineInstr &MI) {
Evan Chengcd8e66a2008-11-11 21:48:44 +00001377 // Part of binary is determined by TableGn.
1378 unsigned Binary = getBinaryCodeForInstr(MI);
1379
1380 // Set the conditional execution predicate
1381 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1382
1383 // Set base address operand
1384 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRnShift;
1385
1386 // Set addressing mode by modifying bits U(23) and P(24)
1387 const MachineOperand &MO = MI.getOperand(1);
1388 Binary |= getAddrModeUPBits(ARM_AM::getAM5SubMode(MO.getImm()));
1389
1390 // Set bit W(21)
1391 if (ARM_AM::getAM5WBFlag(MO.getImm()))
1392 Binary |= 0x1 << ARMII::W_BitShift;
1393
1394 // First register is encoded in Dd.
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001395 Binary |= encodeVFPRd(MI, 4);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001396
1397 // Number of registers are encoded in offset field.
1398 unsigned NumRegs = 1;
1399 for (unsigned i = 5, e = MI.getNumOperands(); i != e; ++i) {
1400 const MachineOperand &MO = MI.getOperand(i);
1401 if (!MO.isReg() || MO.isImplicit())
1402 break;
1403 ++NumRegs;
1404 }
1405 Binary |= NumRegs * 2;
1406
1407 emitWordLE(Binary);
1408}
1409
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +00001410template<class CodeEmitter>
1411void Emitter<CodeEmitter>::emitMiscInstruction(const MachineInstr &MI) {
Evan Chengcd8e66a2008-11-11 21:48:44 +00001412 // Part of binary is determined by TableGn.
1413 unsigned Binary = getBinaryCodeForInstr(MI);
1414
1415 // Set the conditional execution predicate
1416 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1417
1418 emitWordLE(Binary);
1419}
1420
Evan Cheng7602e112008-09-02 06:52:38 +00001421#include "ARMGenCodeEmitter.inc"
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +00001422