blob: 37e2cfc09de2fba7acdb1fc80efb64435ae6c0b5 [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"
Torok Edwinab7c09b2009-07-08 18:01:40 +000038#include "llvm/Support/ErrorHandling.h"
39#include "llvm/Support/raw_ostream.h"
Evan Cheng4df60f52008-11-07 09:06:08 +000040#ifndef NDEBUG
41#include <iomanip>
42#endif
Evan Cheng148b6a42007-07-05 21:15:40 +000043using namespace llvm;
44
45STATISTIC(NumEmitted, "Number of machine instructions emitted");
46
47namespace {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +000048
49 class ARMCodeEmitter {
50 public:
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +000051 /// getBinaryCodeForInstr - This function, generated by the
52 /// CodeEmitterGenerator using TableGen, produces the binary encoding for
53 /// machine instructions.
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +000054 unsigned getBinaryCodeForInstr(const MachineInstr &MI);
55 };
56
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +000057 template<class CodeEmitter>
58 class VISIBILITY_HIDDEN Emitter : public MachineFunctionPass,
59 public ARMCodeEmitter {
Evan Cheng057d0c32008-09-18 07:28:19 +000060 ARMJITInfo *JTI;
61 const ARMInstrInfo *II;
62 const TargetData *TD;
63 TargetMachine &TM;
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +000064 CodeEmitter &MCE;
Evan Cheng938b9d82008-10-31 19:55:13 +000065 const std::vector<MachineConstantPoolEntry> *MCPEs;
Evan Cheng4df60f52008-11-07 09:06:08 +000066 const std::vector<MachineJumpTableEntry> *MJTEs;
67 bool IsPIC;
68
Evan Cheng148b6a42007-07-05 21:15:40 +000069 public:
70 static char ID;
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +000071 explicit Emitter(TargetMachine &tm, CodeEmitter &mce)
Evan Cheng057d0c32008-09-18 07:28:19 +000072 : MachineFunctionPass(&ID), JTI(0), II(0), TD(0), TM(tm),
Evan Cheng4df60f52008-11-07 09:06:08 +000073 MCE(mce), MCPEs(0), MJTEs(0),
74 IsPIC(TM.getRelocationModel() == Reloc::PIC_) {}
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +000075 Emitter(TargetMachine &tm, CodeEmitter &mce,
Evan Cheng148b6a42007-07-05 21:15:40 +000076 const ARMInstrInfo &ii, const TargetData &td)
Evan Cheng057d0c32008-09-18 07:28:19 +000077 : MachineFunctionPass(&ID), JTI(0), II(&ii), TD(&td), TM(tm),
Evan Cheng4df60f52008-11-07 09:06:08 +000078 MCE(mce), MCPEs(0), MJTEs(0),
79 IsPIC(TM.getRelocationModel() == Reloc::PIC_) {}
Evan Cheng148b6a42007-07-05 21:15:40 +000080
81 bool runOnMachineFunction(MachineFunction &MF);
82
83 virtual const char *getPassName() const {
84 return "ARM Machine Code Emitter";
85 }
86
87 void emitInstruction(const MachineInstr &MI);
Evan Cheng7602e112008-09-02 06:52:38 +000088
89 private:
Evan Cheng057d0c32008-09-18 07:28:19 +000090
Evan Cheng83b5cf02008-11-05 23:22:34 +000091 void emitWordLE(unsigned Binary);
92
Evan Chengcb5201f2008-11-11 22:19:31 +000093 void emitDWordLE(uint64_t Binary);
94
Evan Cheng057d0c32008-09-18 07:28:19 +000095 void emitConstPoolInstruction(const MachineInstr &MI);
96
Evan Cheng90922132008-11-06 02:25:39 +000097 void emitMOVi2piecesInstruction(const MachineInstr &MI);
98
Evan Cheng4df60f52008-11-07 09:06:08 +000099 void emitLEApcrelJTInstruction(const MachineInstr &MI);
100
Evan Chenga9562552008-11-14 20:09:11 +0000101 void emitPseudoMoveInstruction(const MachineInstr &MI);
102
Evan Cheng83b5cf02008-11-05 23:22:34 +0000103 void addPCLabel(unsigned LabelID);
104
Evan Cheng057d0c32008-09-18 07:28:19 +0000105 void emitPseudoInstruction(const MachineInstr &MI);
106
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000107 unsigned getMachineSoRegOpValue(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +0000108 const TargetInstrDesc &TID,
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000109 const MachineOperand &MO,
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000110 unsigned OpIdx);
111
Evan Cheng90922132008-11-06 02:25:39 +0000112 unsigned getMachineSoImmOpValue(unsigned SoImm);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000113
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000114 unsigned getAddrModeSBit(const MachineInstr &MI,
115 const TargetInstrDesc &TID) const;
Evan Cheng49a9f292008-09-12 22:45:55 +0000116
Evan Cheng83b5cf02008-11-05 23:22:34 +0000117 void emitDataProcessingInstruction(const MachineInstr &MI,
Evan Cheng437c1732008-11-07 22:30:53 +0000118 unsigned ImplicitRd = 0,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000119 unsigned ImplicitRn = 0);
Evan Cheng7602e112008-09-02 06:52:38 +0000120
Evan Cheng83b5cf02008-11-05 23:22:34 +0000121 void emitLoadStoreInstruction(const MachineInstr &MI,
Evan Cheng4df60f52008-11-07 09:06:08 +0000122 unsigned ImplicitRd = 0,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000123 unsigned ImplicitRn = 0);
Evan Chengedda31c2008-11-05 18:35:52 +0000124
Evan Cheng83b5cf02008-11-05 23:22:34 +0000125 void emitMiscLoadStoreInstruction(const MachineInstr &MI,
126 unsigned ImplicitRn = 0);
Evan Chengedda31c2008-11-05 18:35:52 +0000127
128 void emitLoadStoreMultipleInstruction(const MachineInstr &MI);
129
Evan Chengfbc9d412008-11-06 01:21:28 +0000130 void emitMulFrmInstruction(const MachineInstr &MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000131
Evan Cheng97f48c32008-11-06 22:15:19 +0000132 void emitExtendInstruction(const MachineInstr &MI);
133
Evan Cheng8b59db32008-11-07 01:41:35 +0000134 void emitMiscArithInstruction(const MachineInstr &MI);
135
Evan Chengedda31c2008-11-05 18:35:52 +0000136 void emitBranchInstruction(const MachineInstr &MI);
137
Evan Cheng437c1732008-11-07 22:30:53 +0000138 void emitInlineJumpTable(unsigned JTIndex);
Evan Cheng4df60f52008-11-07 09:06:08 +0000139
Evan Chengedda31c2008-11-05 18:35:52 +0000140 void emitMiscBranchInstruction(const MachineInstr &MI);
Evan Cheng7602e112008-09-02 06:52:38 +0000141
Evan Cheng96581d32008-11-11 02:11:05 +0000142 void emitVFPArithInstruction(const MachineInstr &MI);
143
Evan Cheng78be83d2008-11-11 19:40:26 +0000144 void emitVFPConversionInstruction(const MachineInstr &MI);
145
Evan Chengcd8e66a2008-11-11 21:48:44 +0000146 void emitVFPLoadStoreInstruction(const MachineInstr &MI);
147
148 void emitVFPLoadStoreMultipleInstruction(const MachineInstr &MI);
149
150 void emitMiscInstruction(const MachineInstr &MI);
151
Evan Cheng7602e112008-09-02 06:52:38 +0000152 /// getMachineOpValue - Return binary encoding of operand. If the machine
153 /// operand requires relocation, record the relocation and return zero.
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000154 unsigned getMachineOpValue(const MachineInstr &MI,const MachineOperand &MO);
Evan Cheng7602e112008-09-02 06:52:38 +0000155 unsigned getMachineOpValue(const MachineInstr &MI, unsigned OpIdx) {
156 return getMachineOpValue(MI, MI.getOperand(OpIdx));
157 }
Evan Cheng7602e112008-09-02 06:52:38 +0000158
Evan Cheng83b5cf02008-11-05 23:22:34 +0000159 /// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
Evan Cheng7602e112008-09-02 06:52:38 +0000160 ///
Evan Cheng83b5cf02008-11-05 23:22:34 +0000161 unsigned getShiftOp(unsigned Imm) const ;
Evan Cheng7602e112008-09-02 06:52:38 +0000162
163 /// Routines that handle operands which add machine relocations which are
Evan Cheng437c1732008-11-07 22:30:53 +0000164 /// fixed up by the relocation stage.
Evan Cheng057d0c32008-09-18 07:28:19 +0000165 void emitGlobalAddress(GlobalValue *GV, unsigned Reloc,
Evan Cheng413a89f2008-11-07 22:57:53 +0000166 bool NeedStub, intptr_t ACPV = 0);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000167 void emitExternalSymbolAddress(const char *ES, unsigned Reloc);
Evan Cheng437c1732008-11-07 22:30:53 +0000168 void emitConstPoolAddress(unsigned CPI, unsigned Reloc);
169 void emitJumpTableAddress(unsigned JTIndex, unsigned Reloc);
170 void emitMachineBasicBlock(MachineBasicBlock *BB, unsigned Reloc,
171 intptr_t JTBase = 0);
Evan Cheng148b6a42007-07-05 21:15:40 +0000172 };
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000173 template <class CodeEmitter>
174 char Emitter<CodeEmitter>::ID = 0;
Evan Cheng148b6a42007-07-05 21:15:40 +0000175}
176
177/// createARMCodeEmitterPass - Return a pass that emits the collected ARM code
178/// to the specified MCE object.
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000179
Bruno Cardoso Lopesac57e6e2009-07-06 05:09:34 +0000180FunctionPass *llvm::createARMCodeEmitterPass(ARMBaseTargetMachine &TM,
181 MachineCodeEmitter &MCE) {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000182 return new Emitter<MachineCodeEmitter>(TM, MCE);
183}
Bruno Cardoso Lopesac57e6e2009-07-06 05:09:34 +0000184FunctionPass *llvm::createARMJITCodeEmitterPass(ARMBaseTargetMachine &TM,
185 JITCodeEmitter &JCE) {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000186 return new Emitter<JITCodeEmitter>(TM, JCE);
Evan Cheng148b6a42007-07-05 21:15:40 +0000187}
Bruno Cardoso Lopesac57e6e2009-07-06 05:09:34 +0000188FunctionPass *llvm::createARMObjectCodeEmitterPass(ARMBaseTargetMachine &TM,
189 ObjectCodeEmitter &OCE) {
190 return new Emitter<ObjectCodeEmitter>(TM, OCE);
191}
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000192
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000193template<class CodeEmitter>
194bool Emitter<CodeEmitter>::runOnMachineFunction(MachineFunction &MF) {
Evan Cheng148b6a42007-07-05 21:15:40 +0000195 assert((MF.getTarget().getRelocationModel() != Reloc::Default ||
196 MF.getTarget().getRelocationModel() != Reloc::Static) &&
197 "JIT relocation model must be set to static or default!");
198 II = ((ARMTargetMachine&)MF.getTarget()).getInstrInfo();
199 TD = ((ARMTargetMachine&)MF.getTarget()).getTargetData();
Evan Cheng057d0c32008-09-18 07:28:19 +0000200 JTI = ((ARMTargetMachine&)MF.getTarget()).getJITInfo();
Evan Cheng938b9d82008-10-31 19:55:13 +0000201 MCPEs = &MF.getConstantPool()->getConstants();
Evan Cheng4df60f52008-11-07 09:06:08 +0000202 MJTEs = &MF.getJumpTableInfo()->getJumpTables();
203 IsPIC = TM.getRelocationModel() == Reloc::PIC_;
Evan Cheng3cc82232008-11-08 07:38:22 +0000204 JTI->Initialize(MF, IsPIC);
Evan Cheng148b6a42007-07-05 21:15:40 +0000205
206 do {
Jim Grosbach764ab522009-08-11 15:33:49 +0000207 DEBUG(errs() << "JITTing function '"
Daniel Dunbarce63ffb2009-07-25 00:23:56 +0000208 << MF.getFunction()->getName() << "'\n");
Evan Cheng148b6a42007-07-05 21:15:40 +0000209 MCE.startFunction(MF);
Jim Grosbach764ab522009-08-11 15:33:49 +0000210 for (MachineFunction::iterator MBB = MF.begin(), E = MF.end();
Evan Cheng148b6a42007-07-05 21:15:40 +0000211 MBB != E; ++MBB) {
212 MCE.StartMachineBasicBlock(MBB);
213 for (MachineBasicBlock::const_iterator I = MBB->begin(), E = MBB->end();
214 I != E; ++I)
215 emitInstruction(*I);
216 }
217 } while (MCE.finishFunction(MF));
218
219 return false;
220}
221
Evan Cheng83b5cf02008-11-05 23:22:34 +0000222/// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
Evan Cheng7602e112008-09-02 06:52:38 +0000223///
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000224template<class CodeEmitter>
225unsigned Emitter<CodeEmitter>::getShiftOp(unsigned Imm) const {
Evan Cheng83b5cf02008-11-05 23:22:34 +0000226 switch (ARM_AM::getAM2ShiftOpc(Imm)) {
Torok Edwinc23197a2009-07-14 16:55:14 +0000227 default: llvm_unreachable("Unknown shift opc!");
Evan Cheng7602e112008-09-02 06:52:38 +0000228 case ARM_AM::asr: return 2;
229 case ARM_AM::lsl: return 0;
230 case ARM_AM::lsr: return 1;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000231 case ARM_AM::ror:
Evan Cheng7602e112008-09-02 06:52:38 +0000232 case ARM_AM::rrx: return 3;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000233 }
Evan Cheng7602e112008-09-02 06:52:38 +0000234 return 0;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000235}
236
Evan Cheng7602e112008-09-02 06:52:38 +0000237/// getMachineOpValue - Return binary encoding of operand. If the machine
238/// operand requires relocation, record the relocation and return zero.
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000239template<class CodeEmitter>
240unsigned Emitter<CodeEmitter>::getMachineOpValue(const MachineInstr &MI,
241 const MachineOperand &MO) {
Dan Gohmand735b802008-10-03 15:45:36 +0000242 if (MO.isReg())
Evan Cheng7602e112008-09-02 06:52:38 +0000243 return ARMRegisterInfo::getRegisterNumbering(MO.getReg());
Dan Gohmand735b802008-10-03 15:45:36 +0000244 else if (MO.isImm())
Evan Cheng7602e112008-09-02 06:52:38 +0000245 return static_cast<unsigned>(MO.getImm());
Dan Gohmand735b802008-10-03 15:45:36 +0000246 else if (MO.isGlobal())
Jim Grosbach016d34c2008-10-03 15:52:42 +0000247 emitGlobalAddress(MO.getGlobal(), ARM::reloc_arm_branch, true);
Dan Gohmand735b802008-10-03 15:45:36 +0000248 else if (MO.isSymbol())
Evan Cheng10332512008-11-08 07:22:33 +0000249 emitExternalSymbolAddress(MO.getSymbolName(), ARM::reloc_arm_branch);
Evan Cheng580c0df2008-11-12 01:02:24 +0000250 else if (MO.isCPI()) {
251 const TargetInstrDesc &TID = MI.getDesc();
252 // For VFP load, the immediate offset is multiplied by 4.
253 unsigned Reloc = ((TID.TSFlags & ARMII::FormMask) == ARMII::VFPLdStFrm)
254 ? ARM::reloc_arm_vfp_cp_entry : ARM::reloc_arm_cp_entry;
255 emitConstPoolAddress(MO.getIndex(), Reloc);
256 } else if (MO.isJTI())
Chris Lattner8aa797a2007-12-30 23:10:15 +0000257 emitJumpTableAddress(MO.getIndex(), ARM::reloc_arm_relative);
Dan Gohmand735b802008-10-03 15:45:36 +0000258 else if (MO.isMBB())
Evan Cheng4df60f52008-11-07 09:06:08 +0000259 emitMachineBasicBlock(MO.getMBB(), ARM::reloc_arm_branch);
Evan Cheng2aa0e642008-09-13 01:55:59 +0000260 else {
Torok Edwindac237e2009-07-08 20:53:28 +0000261#ifndef NDEBUG
Chris Lattner705e07f2009-08-23 03:41:05 +0000262 errs() << MO;
Torok Edwindac237e2009-07-08 20:53:28 +0000263#endif
Torok Edwinc23197a2009-07-14 16:55:14 +0000264 llvm_unreachable(0);
Evan Cheng2aa0e642008-09-13 01:55:59 +0000265 }
Evan Cheng7602e112008-09-02 06:52:38 +0000266 return 0;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000267}
268
Evan Cheng057d0c32008-09-18 07:28:19 +0000269/// emitGlobalAddress - Emit the specified address to the code stream.
Evan Cheng0ff94f72007-08-07 01:37:15 +0000270///
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000271template<class CodeEmitter>
272void Emitter<CodeEmitter>::emitGlobalAddress(GlobalValue *GV, unsigned Reloc,
273 bool NeedStub, intptr_t ACPV) {
274 MCE.addRelocation(MachineRelocation::getGV(MCE.getCurrentPCOffset(), Reloc,
275 GV, ACPV, NeedStub));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000276}
277
278/// emitExternalSymbolAddress - Arrange for the address of an external symbol to
279/// be emitted to the current location in the function, and allow it to be PC
280/// relative.
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000281template<class CodeEmitter>
282void Emitter<CodeEmitter>::emitExternalSymbolAddress(const char *ES,
283 unsigned Reloc) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000284 MCE.addRelocation(MachineRelocation::getExtSym(MCE.getCurrentPCOffset(),
285 Reloc, ES));
286}
287
288/// emitConstPoolAddress - Arrange for the address of an constant pool
289/// to be emitted to the current location in the function, and allow it to be PC
290/// relative.
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000291template<class CodeEmitter>
292void Emitter<CodeEmitter>::emitConstPoolAddress(unsigned CPI,
293 unsigned Reloc) {
Evan Cheng0f282432008-10-29 23:55:43 +0000294 // Tell JIT emitter we'll resolve the address.
Evan Cheng0ff94f72007-08-07 01:37:15 +0000295 MCE.addRelocation(MachineRelocation::getConstPool(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000296 Reloc, CPI, 0, true));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000297}
298
299/// emitJumpTableAddress - Arrange for the address of a jump table to
300/// be emitted to the current location in the function, and allow it to be PC
301/// relative.
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000302template<class CodeEmitter>
Jim Grosbach764ab522009-08-11 15:33:49 +0000303void Emitter<CodeEmitter>::emitJumpTableAddress(unsigned JTIndex,
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000304 unsigned Reloc) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000305 MCE.addRelocation(MachineRelocation::getJumpTable(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000306 Reloc, JTIndex, 0, true));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000307}
308
Raul Herbster9c1a3822007-08-30 23:29:26 +0000309/// emitMachineBasicBlock - Emit the specified address basic block.
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000310template<class CodeEmitter>
311void Emitter<CodeEmitter>::emitMachineBasicBlock(MachineBasicBlock *BB,
312 unsigned Reloc, intptr_t JTBase) {
Raul Herbster9c1a3822007-08-30 23:29:26 +0000313 MCE.addRelocation(MachineRelocation::getBB(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000314 Reloc, BB, JTBase));
Raul Herbster9c1a3822007-08-30 23:29:26 +0000315}
Evan Cheng0ff94f72007-08-07 01:37:15 +0000316
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000317template<class CodeEmitter>
318void Emitter<CodeEmitter>::emitWordLE(unsigned Binary) {
Chris Lattner893e1c92009-08-23 06:49:22 +0000319 DEBUG(errs() << " 0x";
320 errs().write_hex(Binary) << "\n");
Evan Cheng83b5cf02008-11-05 23:22:34 +0000321 MCE.emitWordLE(Binary);
322}
323
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000324template<class CodeEmitter>
325void Emitter<CodeEmitter>::emitDWordLE(uint64_t Binary) {
Chris Lattner893e1c92009-08-23 06:49:22 +0000326 DEBUG(errs() << " 0x";
327 errs().write_hex(Binary) << "\n");
Evan Chengcb5201f2008-11-11 22:19:31 +0000328 MCE.emitDWordLE(Binary);
329}
330
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000331template<class CodeEmitter>
332void Emitter<CodeEmitter>::emitInstruction(const MachineInstr &MI) {
Chris Lattner705e07f2009-08-23 03:41:05 +0000333 DEBUG(errs() << "JIT: " << (void*)MCE.getCurrentPCValue() << ":\t" << MI);
Evan Cheng42d5ee062008-09-13 01:15:21 +0000334
Jeffrey Yasskin75402822009-07-17 18:49:39 +0000335 MCE.processDebugLoc(MI.getDebugLoc());
336
Evan Cheng148b6a42007-07-05 21:15:40 +0000337 NumEmitted++; // Keep track of the # of mi's emitted
Evan Chengedda31c2008-11-05 18:35:52 +0000338 switch (MI.getDesc().TSFlags & ARMII::FormMask) {
Evan Chengffa6d962008-11-13 23:36:57 +0000339 default: {
Torok Edwinc23197a2009-07-14 16:55:14 +0000340 llvm_unreachable("Unhandled instruction encoding format!");
Evan Chengedda31c2008-11-05 18:35:52 +0000341 break;
Evan Chengffa6d962008-11-13 23:36:57 +0000342 }
Evan Chengedda31c2008-11-05 18:35:52 +0000343 case ARMII::Pseudo:
Evan Cheng057d0c32008-09-18 07:28:19 +0000344 emitPseudoInstruction(MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000345 break;
346 case ARMII::DPFrm:
347 case ARMII::DPSoRegFrm:
348 emitDataProcessingInstruction(MI);
349 break;
Evan Cheng148cad82008-11-13 07:34:59 +0000350 case ARMII::LdFrm:
351 case ARMII::StFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000352 emitLoadStoreInstruction(MI);
353 break;
Evan Cheng148cad82008-11-13 07:34:59 +0000354 case ARMII::LdMiscFrm:
355 case ARMII::StMiscFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000356 emitMiscLoadStoreInstruction(MI);
357 break;
Evan Cheng3c4a4ff2008-11-12 07:18:38 +0000358 case ARMII::LdStMulFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000359 emitLoadStoreMultipleInstruction(MI);
360 break;
Evan Chengfbc9d412008-11-06 01:21:28 +0000361 case ARMII::MulFrm:
362 emitMulFrmInstruction(MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000363 break;
Evan Cheng97f48c32008-11-06 22:15:19 +0000364 case ARMII::ExtFrm:
365 emitExtendInstruction(MI);
366 break;
Evan Cheng8b59db32008-11-07 01:41:35 +0000367 case ARMII::ArithMiscFrm:
368 emitMiscArithInstruction(MI);
369 break;
Evan Cheng12c3a532008-11-06 17:48:05 +0000370 case ARMII::BrFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000371 emitBranchInstruction(MI);
372 break;
Evan Cheng12c3a532008-11-06 17:48:05 +0000373 case ARMII::BrMiscFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000374 emitMiscBranchInstruction(MI);
375 break;
Evan Cheng96581d32008-11-11 02:11:05 +0000376 // VFP instructions.
377 case ARMII::VFPUnaryFrm:
378 case ARMII::VFPBinaryFrm:
379 emitVFPArithInstruction(MI);
380 break;
Evan Cheng78be83d2008-11-11 19:40:26 +0000381 case ARMII::VFPConv1Frm:
382 case ARMII::VFPConv2Frm:
Evan Cheng0a0ab132008-11-11 22:46:12 +0000383 case ARMII::VFPConv3Frm:
Evan Cheng80a11982008-11-12 06:41:41 +0000384 case ARMII::VFPConv4Frm:
385 case ARMII::VFPConv5Frm:
Evan Cheng78be83d2008-11-11 19:40:26 +0000386 emitVFPConversionInstruction(MI);
387 break;
Evan Chengcd8e66a2008-11-11 21:48:44 +0000388 case ARMII::VFPLdStFrm:
389 emitVFPLoadStoreInstruction(MI);
390 break;
391 case ARMII::VFPLdStMulFrm:
392 emitVFPLoadStoreMultipleInstruction(MI);
393 break;
394 case ARMII::VFPMiscFrm:
395 emitMiscInstruction(MI);
396 break;
Evan Chengedda31c2008-11-05 18:35:52 +0000397 }
Evan Cheng0ff94f72007-08-07 01:37:15 +0000398}
399
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000400template<class CodeEmitter>
401void Emitter<CodeEmitter>::emitConstPoolInstruction(const MachineInstr &MI) {
Evan Cheng437c1732008-11-07 22:30:53 +0000402 unsigned CPI = MI.getOperand(0).getImm(); // CP instruction index.
403 unsigned CPIndex = MI.getOperand(1).getIndex(); // Actual cp entry index.
Evan Cheng938b9d82008-10-31 19:55:13 +0000404 const MachineConstantPoolEntry &MCPE = (*MCPEs)[CPIndex];
Jim Grosbach764ab522009-08-11 15:33:49 +0000405
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000406 // Remember the CONSTPOOL_ENTRY address for later relocation.
407 JTI->addConstantPoolEntryAddr(CPI, MCE.getCurrentPCValue());
408
409 // Emit constpool island entry. In most cases, the actual values will be
410 // resolved and relocated after code emission.
411 if (MCPE.isMachineConstantPoolEntry()) {
412 ARMConstantPoolValue *ACPV =
413 static_cast<ARMConstantPoolValue*>(MCPE.Val.MachineCPVal);
414
Chris Lattner705e07f2009-08-23 03:41:05 +0000415 DEBUG(errs() << " ** ARM constant pool #" << CPI << " @ "
416 << (void*)MCE.getCurrentPCValue() << " " << *ACPV << '\n');
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000417
418 GlobalValue *GV = ACPV->getGV();
419 if (GV) {
Evan Chenge4e4ed32009-08-28 23:18:09 +0000420 emitGlobalAddress(GV, ARM::reloc_arm_machine_cp_entry,
421 isa<Function>(GV), (intptr_t)ACPV);
Evan Cheng25e04782008-11-04 00:50:32 +0000422 } else {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000423 emitExternalSymbolAddress(ACPV->getSymbol(), ARM::reloc_arm_absolute);
424 }
Evan Cheng83b5cf02008-11-05 23:22:34 +0000425 emitWordLE(0);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000426 } else {
427 Constant *CV = MCPE.Val.ConstVal;
428
Daniel Dunbarce63ffb2009-07-25 00:23:56 +0000429 DEBUG({
430 errs() << " ** Constant pool #" << CPI << " @ "
431 << (void*)MCE.getCurrentPCValue() << " ";
432 if (const Function *F = dyn_cast<Function>(CV))
433 errs() << F->getName();
434 else
435 errs() << *CV;
436 errs() << '\n';
437 });
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000438
439 if (GlobalValue *GV = dyn_cast<GlobalValue>(CV)) {
Evan Cheng35b0bfd2008-11-13 19:22:28 +0000440 emitGlobalAddress(GV, ARM::reloc_arm_absolute, isa<Function>(GV));
Evan Cheng83b5cf02008-11-05 23:22:34 +0000441 emitWordLE(0);
Evan Chengcb5201f2008-11-11 22:19:31 +0000442 } else if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000443 uint32_t Val = *(uint32_t*)CI->getValue().getRawData();
Evan Cheng83b5cf02008-11-05 23:22:34 +0000444 emitWordLE(Val);
Evan Chengcb5201f2008-11-11 22:19:31 +0000445 } else if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV)) {
Owen Anderson1d0be152009-08-13 21:58:54 +0000446 if (CFP->getType() == Type::getFloatTy(CFP->getContext()))
Evan Chengcb5201f2008-11-11 22:19:31 +0000447 emitWordLE(CFP->getValueAPF().bitcastToAPInt().getZExtValue());
Owen Anderson1d0be152009-08-13 21:58:54 +0000448 else if (CFP->getType() == Type::getDoubleTy(CFP->getContext()))
Evan Chengcb5201f2008-11-11 22:19:31 +0000449 emitDWordLE(CFP->getValueAPF().bitcastToAPInt().getZExtValue());
450 else {
Torok Edwinc23197a2009-07-14 16:55:14 +0000451 llvm_unreachable("Unable to handle this constantpool entry!");
Evan Chengcb5201f2008-11-11 22:19:31 +0000452 }
453 } else {
Torok Edwinc23197a2009-07-14 16:55:14 +0000454 llvm_unreachable("Unable to handle this constantpool entry!");
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000455 }
456 }
457}
458
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000459template<class CodeEmitter>
460void Emitter<CodeEmitter>::emitMOVi2piecesInstruction(const MachineInstr &MI) {
Evan Cheng90922132008-11-06 02:25:39 +0000461 const MachineOperand &MO0 = MI.getOperand(0);
462 const MachineOperand &MO1 = MI.getOperand(1);
Evan Chenge7cbe412009-07-08 21:03:57 +0000463 assert(MO1.isImm() && ARM_AM::getSOImmVal(MO1.isImm()) != -1 &&
464 "Not a valid so_imm value!");
Evan Cheng90922132008-11-06 02:25:39 +0000465 unsigned V1 = ARM_AM::getSOImmTwoPartFirst(MO1.getImm());
466 unsigned V2 = ARM_AM::getSOImmTwoPartSecond(MO1.getImm());
467
468 // Emit the 'mov' instruction.
469 unsigned Binary = 0xd << 21; // mov: Insts{24-21} = 0b1101
470
471 // Set the conditional execution predicate.
Evan Cheng97f48c32008-11-06 22:15:19 +0000472 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng90922132008-11-06 02:25:39 +0000473
474 // Encode Rd.
475 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
476
477 // Encode so_imm.
478 // Set bit I(25) to identify this is the immediate form of <shifter_op>
479 Binary |= 1 << ARMII::I_BitShift;
Evan Chenge7cbe412009-07-08 21:03:57 +0000480 Binary |= getMachineSoImmOpValue(V1);
Evan Cheng90922132008-11-06 02:25:39 +0000481 emitWordLE(Binary);
482
483 // Now the 'orr' instruction.
484 Binary = 0xc << 21; // orr: Insts{24-21} = 0b1100
485
486 // Set the conditional execution predicate.
Evan Cheng97f48c32008-11-06 22:15:19 +0000487 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng90922132008-11-06 02:25:39 +0000488
489 // Encode Rd.
490 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
491
492 // Encode Rn.
493 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRnShift;
494
495 // Encode so_imm.
496 // Set bit I(25) to identify this is the immediate form of <shifter_op>
497 Binary |= 1 << ARMII::I_BitShift;
Evan Chenge7cbe412009-07-08 21:03:57 +0000498 Binary |= getMachineSoImmOpValue(V2);
Evan Cheng90922132008-11-06 02:25:39 +0000499 emitWordLE(Binary);
500}
501
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000502template<class CodeEmitter>
503void Emitter<CodeEmitter>::emitLEApcrelJTInstruction(const MachineInstr &MI) {
Evan Cheng4df60f52008-11-07 09:06:08 +0000504 // It's basically add r, pc, (LJTI - $+8)
Jim Grosbach764ab522009-08-11 15:33:49 +0000505
Evan Cheng4df60f52008-11-07 09:06:08 +0000506 const TargetInstrDesc &TID = MI.getDesc();
507
508 // Emit the 'add' instruction.
509 unsigned Binary = 0x4 << 21; // add: Insts{24-31} = 0b0100
510
511 // Set the conditional execution predicate
512 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
513
514 // Encode S bit if MI modifies CPSR.
515 Binary |= getAddrModeSBit(MI, TID);
516
517 // Encode Rd.
518 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
519
520 // Encode Rn which is PC.
521 Binary |= ARMRegisterInfo::getRegisterNumbering(ARM::PC) << ARMII::RegRnShift;
522
523 // Encode the displacement.
Evan Cheng4df60f52008-11-07 09:06:08 +0000524 Binary |= 1 << ARMII::I_BitShift;
525 emitJumpTableAddress(MI.getOperand(1).getIndex(), ARM::reloc_arm_jt_base);
526
527 emitWordLE(Binary);
528}
529
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000530template<class CodeEmitter>
531void Emitter<CodeEmitter>::emitPseudoMoveInstruction(const MachineInstr &MI) {
Evan Chenga9562552008-11-14 20:09:11 +0000532 unsigned Opcode = MI.getDesc().Opcode;
533
534 // Part of binary is determined by TableGn.
535 unsigned Binary = getBinaryCodeForInstr(MI);
536
537 // Set the conditional execution predicate
538 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
539
540 // Encode S bit if MI modifies CPSR.
541 if (Opcode == ARM::MOVsrl_flag || Opcode == ARM::MOVsra_flag)
542 Binary |= 1 << ARMII::S_BitShift;
543
544 // Encode register def if there is one.
545 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
546
547 // Encode the shift operation.
548 switch (Opcode) {
549 default: break;
550 case ARM::MOVrx:
551 // rrx
552 Binary |= 0x6 << 4;
553 break;
554 case ARM::MOVsrl_flag:
555 // lsr #1
556 Binary |= (0x2 << 4) | (1 << 7);
557 break;
558 case ARM::MOVsra_flag:
559 // asr #1
560 Binary |= (0x4 << 4) | (1 << 7);
561 break;
562 }
563
564 // Encode register Rm.
565 Binary |= getMachineOpValue(MI, 1);
566
567 emitWordLE(Binary);
568}
569
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000570template<class CodeEmitter>
571void Emitter<CodeEmitter>::addPCLabel(unsigned LabelID) {
Chris Lattner893e1c92009-08-23 06:49:22 +0000572 DEBUG(errs() << " ** LPC" << LabelID << " @ "
573 << (void*)MCE.getCurrentPCValue() << '\n');
Evan Cheng83b5cf02008-11-05 23:22:34 +0000574 JTI->addPCLabelAddr(LabelID, MCE.getCurrentPCValue());
575}
576
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000577template<class CodeEmitter>
578void Emitter<CodeEmitter>::emitPseudoInstruction(const MachineInstr &MI) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000579 unsigned Opcode = MI.getDesc().Opcode;
580 switch (Opcode) {
581 default:
Torok Edwinc23197a2009-07-14 16:55:14 +0000582 llvm_unreachable("ARMCodeEmitter::emitPseudoInstruction");//FIXME:
Evan Chengffa6d962008-11-13 23:36:57 +0000583 case TargetInstrInfo::INLINEASM: {
Evan Chenge3066ab2008-11-19 23:21:33 +0000584 // We allow inline assembler nodes with empty bodies - they can
585 // implicitly define registers, which is ok for JIT.
586 if (MI.getOperand(0).getSymbolName()[0]) {
Torok Edwin29fd0562009-07-12 07:15:17 +0000587 llvm_report_error("JIT does not support inline asm!");
Evan Chenge3066ab2008-11-19 23:21:33 +0000588 }
Evan Chengffa6d962008-11-13 23:36:57 +0000589 break;
590 }
591 case TargetInstrInfo::DBG_LABEL:
592 case TargetInstrInfo::EH_LABEL:
593 MCE.emitLabel(MI.getOperand(0).getImm());
594 break;
595 case TargetInstrInfo::IMPLICIT_DEF:
Evan Chengffa6d962008-11-13 23:36:57 +0000596 case ARM::DWARF_LOC:
597 // Do nothing.
598 break;
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000599 case ARM::CONSTPOOL_ENTRY:
600 emitConstPoolInstruction(MI);
601 break;
602 case ARM::PICADD: {
Evan Cheng25e04782008-11-04 00:50:32 +0000603 // Remember of the address of the PC label for relocation later.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000604 addPCLabel(MI.getOperand(2).getImm());
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000605 // PICADD is just an add instruction that implicitly read pc.
Evan Cheng437c1732008-11-07 22:30:53 +0000606 emitDataProcessingInstruction(MI, 0, ARM::PC);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000607 break;
608 }
609 case ARM::PICLDR:
610 case ARM::PICLDRB:
611 case ARM::PICSTR:
612 case ARM::PICSTRB: {
613 // Remember of the address of the PC label for relocation later.
614 addPCLabel(MI.getOperand(2).getImm());
615 // These are just load / store instructions that implicitly read pc.
Evan Cheng4df60f52008-11-07 09:06:08 +0000616 emitLoadStoreInstruction(MI, 0, ARM::PC);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000617 break;
618 }
619 case ARM::PICLDRH:
620 case ARM::PICLDRSH:
621 case ARM::PICLDRSB:
622 case ARM::PICSTRH: {
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.
626 emitMiscLoadStoreInstruction(MI, ARM::PC);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000627 break;
628 }
Evan Cheng90922132008-11-06 02:25:39 +0000629 case ARM::MOVi2pieces:
630 // Two instructions to materialize a constant.
631 emitMOVi2piecesInstruction(MI);
632 break;
Evan Cheng4df60f52008-11-07 09:06:08 +0000633 case ARM::LEApcrelJT:
634 // Materialize jumptable address.
635 emitLEApcrelJTInstruction(MI);
636 break;
Evan Chenga9562552008-11-14 20:09:11 +0000637 case ARM::MOVrx:
638 case ARM::MOVsrl_flag:
639 case ARM::MOVsra_flag:
640 emitPseudoMoveInstruction(MI);
641 break;
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000642 }
643}
644
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000645template<class CodeEmitter>
646unsigned Emitter<CodeEmitter>::getMachineSoRegOpValue(
647 const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +0000648 const TargetInstrDesc &TID,
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000649 const MachineOperand &MO,
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000650 unsigned OpIdx) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000651 unsigned Binary = getMachineOpValue(MI, MO);
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000652
653 const MachineOperand &MO1 = MI.getOperand(OpIdx + 1);
654 const MachineOperand &MO2 = MI.getOperand(OpIdx + 2);
655 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO2.getImm());
656
657 // Encode the shift opcode.
658 unsigned SBits = 0;
659 unsigned Rs = MO1.getReg();
660 if (Rs) {
661 // Set shift operand (bit[7:4]).
662 // LSL - 0001
663 // LSR - 0011
664 // ASR - 0101
665 // ROR - 0111
666 // RRX - 0110 and bit[11:8] clear.
667 switch (SOpc) {
Torok Edwinc23197a2009-07-14 16:55:14 +0000668 default: llvm_unreachable("Unknown shift opc!");
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000669 case ARM_AM::lsl: SBits = 0x1; break;
670 case ARM_AM::lsr: SBits = 0x3; break;
671 case ARM_AM::asr: SBits = 0x5; break;
672 case ARM_AM::ror: SBits = 0x7; break;
673 case ARM_AM::rrx: SBits = 0x6; break;
674 }
675 } else {
676 // Set shift operand (bit[6:4]).
677 // LSL - 000
678 // LSR - 010
679 // ASR - 100
680 // ROR - 110
681 switch (SOpc) {
Torok Edwinc23197a2009-07-14 16:55:14 +0000682 default: llvm_unreachable("Unknown shift opc!");
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000683 case ARM_AM::lsl: SBits = 0x0; break;
684 case ARM_AM::lsr: SBits = 0x2; break;
685 case ARM_AM::asr: SBits = 0x4; break;
686 case ARM_AM::ror: SBits = 0x6; break;
687 }
688 }
689 Binary |= SBits << 4;
690 if (SOpc == ARM_AM::rrx)
691 return Binary;
692
693 // Encode the shift operation Rs or shift_imm (except rrx).
694 if (Rs) {
695 // Encode Rs bit[11:8].
696 assert(ARM_AM::getSORegOffset(MO2.getImm()) == 0);
697 return Binary |
698 (ARMRegisterInfo::getRegisterNumbering(Rs) << ARMII::RegRsShift);
699 }
700
701 // Encode shift_imm bit[11:7].
702 return Binary | ARM_AM::getSORegOffset(MO2.getImm()) << 7;
703}
704
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000705template<class CodeEmitter>
706unsigned Emitter<CodeEmitter>::getMachineSoImmOpValue(unsigned SoImm) {
Evan Chenge7cbe412009-07-08 21:03:57 +0000707 int SoImmVal = ARM_AM::getSOImmVal(SoImm);
708 assert(SoImmVal != -1 && "Not a valid so_imm value!");
709
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000710 // Encode rotate_imm.
Evan Chenge7cbe412009-07-08 21:03:57 +0000711 unsigned Binary = (ARM_AM::getSOImmValRot((unsigned)SoImmVal) >> 1)
Evan Cheng97f48c32008-11-06 22:15:19 +0000712 << ARMII::SoRotImmShift;
713
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000714 // Encode immed_8.
Evan Chenge7cbe412009-07-08 21:03:57 +0000715 Binary |= ARM_AM::getSOImmValImm((unsigned)SoImmVal);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000716 return Binary;
717}
718
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000719template<class CodeEmitter>
720unsigned Emitter<CodeEmitter>::getAddrModeSBit(const MachineInstr &MI,
721 const TargetInstrDesc &TID) const {
Evan Cheng97c573d2008-11-20 02:25:51 +0000722 for (unsigned i = MI.getNumOperands(), e = TID.getNumOperands(); i != e; --i){
Evan Cheng49a9f292008-09-12 22:45:55 +0000723 const MachineOperand &MO = MI.getOperand(i-1);
Dan Gohmand735b802008-10-03 15:45:36 +0000724 if (MO.isReg() && MO.isDef() && MO.getReg() == ARM::CPSR)
Evan Cheng49a9f292008-09-12 22:45:55 +0000725 return 1 << ARMII::S_BitShift;
726 }
727 return 0;
728}
729
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000730template<class CodeEmitter>
731void Emitter<CodeEmitter>::emitDataProcessingInstruction(
732 const MachineInstr &MI,
Evan Cheng437c1732008-11-07 22:30:53 +0000733 unsigned ImplicitRd,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000734 unsigned ImplicitRn) {
Evan Chengedda31c2008-11-05 18:35:52 +0000735 const TargetInstrDesc &TID = MI.getDesc();
Evan Chengedda31c2008-11-05 18:35:52 +0000736
Evan Cheng36a0aeb2009-07-06 22:23:46 +0000737 if (TID.Opcode == ARM::BFC) {
Benjamin Kramerd5fe92e2009-08-03 13:33:33 +0000738 llvm_report_error("ARMv6t2 JIT is not yet supported.");
Evan Cheng36a0aeb2009-07-06 22:23:46 +0000739 }
740
Evan Chengedda31c2008-11-05 18:35:52 +0000741 // Part of binary is determined by TableGn.
742 unsigned Binary = getBinaryCodeForInstr(MI);
743
Jim Grosbach33412622008-10-07 19:05:35 +0000744 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000745 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000746
Evan Cheng49a9f292008-09-12 22:45:55 +0000747 // Encode S bit if MI modifies CPSR.
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000748 Binary |= getAddrModeSBit(MI, TID);
Evan Cheng49a9f292008-09-12 22:45:55 +0000749
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000750 // Encode register def if there is one.
Evan Cheng49a9f292008-09-12 22:45:55 +0000751 unsigned NumDefs = TID.getNumDefs();
Evan Chenga964b7d2008-09-12 23:15:39 +0000752 unsigned OpIdx = 0;
Evan Cheng437c1732008-11-07 22:30:53 +0000753 if (NumDefs)
754 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
755 else if (ImplicitRd)
756 // Special handling for implicit use (e.g. PC).
757 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRd)
758 << ARMII::RegRdShift);
Evan Cheng7602e112008-09-02 06:52:38 +0000759
Evan Chengd87293c2008-11-06 08:47:38 +0000760 // If this is a two-address operand, skip it. e.g. MOVCCr operand 1.
761 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
762 ++OpIdx;
763
Jim Grosbachefd30ba2008-10-01 18:16:49 +0000764 // Encode first non-shifter register operand if there is one.
Evan Chengedda31c2008-11-05 18:35:52 +0000765 bool isUnary = TID.TSFlags & ARMII::UnaryDP;
766 if (!isUnary) {
Evan Cheng83b5cf02008-11-05 23:22:34 +0000767 if (ImplicitRn)
768 // Special handling for implicit use (e.g. PC).
769 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
Evan Chengedda31c2008-11-05 18:35:52 +0000770 << ARMII::RegRnShift);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000771 else {
772 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRnShift;
773 ++OpIdx;
774 }
Evan Cheng7602e112008-09-02 06:52:38 +0000775 }
776
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000777 // Encode shifter operand.
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000778 const MachineOperand &MO = MI.getOperand(OpIdx);
Evan Chengedda31c2008-11-05 18:35:52 +0000779 if ((TID.TSFlags & ARMII::FormMask) == ARMII::DPSoRegFrm) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000780 // Encode SoReg.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000781 emitWordLE(Binary | getMachineSoRegOpValue(MI, TID, MO, OpIdx));
Evan Chengedda31c2008-11-05 18:35:52 +0000782 return;
783 }
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000784
Evan Chengedda31c2008-11-05 18:35:52 +0000785 if (MO.isReg()) {
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000786 // Encode register Rm.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000787 emitWordLE(Binary | ARMRegisterInfo::getRegisterNumbering(MO.getReg()));
Evan Chengedda31c2008-11-05 18:35:52 +0000788 return;
789 }
Evan Cheng7602e112008-09-02 06:52:38 +0000790
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000791 // Encode so_imm.
Evan Chenge7cbe412009-07-08 21:03:57 +0000792 Binary |= getMachineSoImmOpValue((unsigned)MO.getImm());
Evan Chengedda31c2008-11-05 18:35:52 +0000793
Evan Cheng83b5cf02008-11-05 23:22:34 +0000794 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000795}
796
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000797template<class CodeEmitter>
798void Emitter<CodeEmitter>::emitLoadStoreInstruction(
799 const MachineInstr &MI,
Evan Cheng4df60f52008-11-07 09:06:08 +0000800 unsigned ImplicitRd,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000801 unsigned ImplicitRn) {
Evan Cheng05c356e2008-11-08 01:44:13 +0000802 const TargetInstrDesc &TID = MI.getDesc();
Evan Cheng148cad82008-11-13 07:34:59 +0000803 unsigned Form = TID.TSFlags & ARMII::FormMask;
804 bool IsPrePost = (TID.TSFlags & ARMII::IndexModeMask) != 0;
Evan Cheng05c356e2008-11-08 01:44:13 +0000805
Evan Chengedda31c2008-11-05 18:35:52 +0000806 // Part of binary is determined by TableGn.
807 unsigned Binary = getBinaryCodeForInstr(MI);
808
Jim Grosbach33412622008-10-07 19:05:35 +0000809 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000810 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng057d0c32008-09-18 07:28:19 +0000811
Evan Cheng4df60f52008-11-07 09:06:08 +0000812 unsigned OpIdx = 0;
Evan Cheng148cad82008-11-13 07:34:59 +0000813
814 // Operand 0 of a pre- and post-indexed store is the address base
815 // writeback. Skip it.
816 bool Skipped = false;
817 if (IsPrePost && Form == ARMII::StFrm) {
818 ++OpIdx;
819 Skipped = true;
820 }
821
822 // Set first operand
Evan Cheng4df60f52008-11-07 09:06:08 +0000823 if (ImplicitRd)
824 // Special handling for implicit use (e.g. PC).
825 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRd)
826 << ARMII::RegRdShift);
827 else
828 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000829
830 // Set second operand
Evan Cheng83b5cf02008-11-05 23:22:34 +0000831 if (ImplicitRn)
832 // Special handling for implicit use (e.g. PC).
833 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
834 << ARMII::RegRnShift);
Evan Cheng4df60f52008-11-07 09:06:08 +0000835 else
836 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000837
Evan Cheng05c356e2008-11-08 01:44:13 +0000838 // If this is a two-address operand, skip it. e.g. LDR_PRE.
Evan Cheng148cad82008-11-13 07:34:59 +0000839 if (!Skipped && TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
Evan Cheng05c356e2008-11-08 01:44:13 +0000840 ++OpIdx;
841
Evan Cheng83b5cf02008-11-05 23:22:34 +0000842 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Chengd87293c2008-11-06 08:47:38 +0000843 unsigned AM2Opc = (ImplicitRn == ARM::PC)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000844 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Cheng7602e112008-09-02 06:52:38 +0000845
Evan Chenge7de7e32008-09-13 01:44:01 +0000846 // Set bit U(23) according to sign of immed value (positive or negative).
Evan Cheng83b5cf02008-11-05 23:22:34 +0000847 Binary |= ((ARM_AM::getAM2Op(AM2Opc) == ARM_AM::add ? 1 : 0) <<
Evan Chenge7de7e32008-09-13 01:44:01 +0000848 ARMII::U_BitShift);
Evan Cheng7602e112008-09-02 06:52:38 +0000849 if (!MO2.getReg()) { // is immediate
Evan Cheng83b5cf02008-11-05 23:22:34 +0000850 if (ARM_AM::getAM2Offset(AM2Opc))
Evan Cheng7602e112008-09-02 06:52:38 +0000851 // Set the value of offset_12 field
Evan Cheng83b5cf02008-11-05 23:22:34 +0000852 Binary |= ARM_AM::getAM2Offset(AM2Opc);
853 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +0000854 return;
Evan Cheng7602e112008-09-02 06:52:38 +0000855 }
856
857 // Set bit I(25), because this is not in immediate enconding.
858 Binary |= 1 << ARMII::I_BitShift;
859 assert(TargetRegisterInfo::isPhysicalRegister(MO2.getReg()));
860 // Set bit[3:0] to the corresponding Rm register
861 Binary |= ARMRegisterInfo::getRegisterNumbering(MO2.getReg());
862
Evan Cheng70632912008-11-12 07:34:37 +0000863 // If this instr is in scaled register offset/index instruction, set
Evan Cheng7602e112008-09-02 06:52:38 +0000864 // shift_immed(bit[11:7]) and shift(bit[6:5]) fields.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000865 if (unsigned ShImm = ARM_AM::getAM2Offset(AM2Opc)) {
Evan Cheng70632912008-11-12 07:34:37 +0000866 Binary |= getShiftOp(AM2Opc) << ARMII::ShiftImmShift; // shift
867 Binary |= ShImm << ARMII::ShiftShift; // shift_immed
Evan Cheng7602e112008-09-02 06:52:38 +0000868 }
869
Evan Cheng83b5cf02008-11-05 23:22:34 +0000870 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000871}
872
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000873template<class CodeEmitter>
874void Emitter<CodeEmitter>::emitMiscLoadStoreInstruction(const MachineInstr &MI,
875 unsigned ImplicitRn) {
Evan Cheng05c356e2008-11-08 01:44:13 +0000876 const TargetInstrDesc &TID = MI.getDesc();
Evan Cheng148cad82008-11-13 07:34:59 +0000877 unsigned Form = TID.TSFlags & ARMII::FormMask;
878 bool IsPrePost = (TID.TSFlags & ARMII::IndexModeMask) != 0;
Evan Cheng05c356e2008-11-08 01:44:13 +0000879
Evan Chengedda31c2008-11-05 18:35:52 +0000880 // Part of binary is determined by TableGn.
881 unsigned Binary = getBinaryCodeForInstr(MI);
882
Jim Grosbach33412622008-10-07 19:05:35 +0000883 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000884 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng057d0c32008-09-18 07:28:19 +0000885
Evan Cheng148cad82008-11-13 07:34:59 +0000886 unsigned OpIdx = 0;
887
888 // Operand 0 of a pre- and post-indexed store is the address base
889 // writeback. Skip it.
890 bool Skipped = false;
891 if (IsPrePost && Form == ARMII::StMiscFrm) {
892 ++OpIdx;
893 Skipped = true;
894 }
895
Evan Cheng7602e112008-09-02 06:52:38 +0000896 // Set first operand
Evan Cheng148cad82008-11-13 07:34:59 +0000897 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000898
Evan Cheng358dec52009-06-15 08:28:29 +0000899 // Skip LDRD and STRD's second operand.
900 if (TID.Opcode == ARM::LDRD || TID.Opcode == ARM::STRD)
901 ++OpIdx;
902
Evan Cheng7602e112008-09-02 06:52:38 +0000903 // Set second operand
Evan Cheng83b5cf02008-11-05 23:22:34 +0000904 if (ImplicitRn)
905 // Special handling for implicit use (e.g. PC).
906 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
907 << ARMII::RegRnShift);
Evan Cheng4df60f52008-11-07 09:06:08 +0000908 else
909 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000910
Evan Cheng05c356e2008-11-08 01:44:13 +0000911 // If this is a two-address operand, skip it. e.g. LDRH_POST.
Evan Cheng148cad82008-11-13 07:34:59 +0000912 if (!Skipped && TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
Evan Cheng05c356e2008-11-08 01:44:13 +0000913 ++OpIdx;
914
Evan Cheng83b5cf02008-11-05 23:22:34 +0000915 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Chengd87293c2008-11-06 08:47:38 +0000916 unsigned AM3Opc = (ImplicitRn == ARM::PC)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000917 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Cheng7602e112008-09-02 06:52:38 +0000918
Evan Chenge7de7e32008-09-13 01:44:01 +0000919 // Set bit U(23) according to sign of immed value (positive or negative)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000920 Binary |= ((ARM_AM::getAM3Op(AM3Opc) == ARM_AM::add ? 1 : 0) <<
Evan Cheng7602e112008-09-02 06:52:38 +0000921 ARMII::U_BitShift);
922
923 // If this instr is in register offset/index encoding, set bit[3:0]
924 // to the corresponding Rm register.
925 if (MO2.getReg()) {
926 Binary |= ARMRegisterInfo::getRegisterNumbering(MO2.getReg());
Evan Cheng83b5cf02008-11-05 23:22:34 +0000927 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +0000928 return;
Evan Cheng7602e112008-09-02 06:52:38 +0000929 }
930
Evan Chengd87293c2008-11-06 08:47:38 +0000931 // This instr is in immediate offset/index encoding, set bit 22 to 1.
Evan Cheng97f48c32008-11-06 22:15:19 +0000932 Binary |= 1 << ARMII::AM3_I_BitShift;
Evan Cheng83b5cf02008-11-05 23:22:34 +0000933 if (unsigned ImmOffs = ARM_AM::getAM3Offset(AM3Opc)) {
Evan Cheng7602e112008-09-02 06:52:38 +0000934 // Set operands
Evan Cheng70632912008-11-12 07:34:37 +0000935 Binary |= (ImmOffs >> 4) << ARMII::ImmHiShift; // immedH
936 Binary |= (ImmOffs & 0xF); // immedL
Evan Cheng7602e112008-09-02 06:52:38 +0000937 }
938
Evan Cheng83b5cf02008-11-05 23:22:34 +0000939 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000940}
941
Evan Chengcd8e66a2008-11-11 21:48:44 +0000942static unsigned getAddrModeUPBits(unsigned Mode) {
943 unsigned Binary = 0;
Evan Cheng7602e112008-09-02 06:52:38 +0000944
945 // Set addressing mode by modifying bits U(23) and P(24)
946 // IA - Increment after - bit U = 1 and bit P = 0
947 // IB - Increment before - bit U = 1 and bit P = 1
948 // DA - Decrement after - bit U = 0 and bit P = 0
949 // DB - Decrement before - bit U = 0 and bit P = 1
Evan Cheng7602e112008-09-02 06:52:38 +0000950 switch (Mode) {
Torok Edwinc23197a2009-07-14 16:55:14 +0000951 default: llvm_unreachable("Unknown addressing sub-mode!");
Evan Cheng7602e112008-09-02 06:52:38 +0000952 case ARM_AM::da: break;
Evan Cheng97f48c32008-11-06 22:15:19 +0000953 case ARM_AM::db: Binary |= 0x1 << ARMII::P_BitShift; break;
954 case ARM_AM::ia: Binary |= 0x1 << ARMII::U_BitShift; break;
955 case ARM_AM::ib: Binary |= 0x3 << ARMII::U_BitShift; break;
Evan Cheng7602e112008-09-02 06:52:38 +0000956 }
957
Evan Chengcd8e66a2008-11-11 21:48:44 +0000958 return Binary;
959}
960
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000961template<class CodeEmitter>
962void Emitter<CodeEmitter>::emitLoadStoreMultipleInstruction(
963 const MachineInstr &MI) {
Evan Chengcd8e66a2008-11-11 21:48:44 +0000964 // Part of binary is determined by TableGn.
965 unsigned Binary = getBinaryCodeForInstr(MI);
966
967 // Set the conditional execution predicate
968 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
969
970 // Set base address operand
971 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRnShift;
972
973 // Set addressing mode by modifying bits U(23) and P(24)
974 const MachineOperand &MO = MI.getOperand(1);
975 Binary |= getAddrModeUPBits(ARM_AM::getAM4SubMode(MO.getImm()));
976
Evan Cheng7602e112008-09-02 06:52:38 +0000977 // Set bit W(21)
978 if (ARM_AM::getAM4WBFlag(MO.getImm()))
Evan Cheng97f48c32008-11-06 22:15:19 +0000979 Binary |= 0x1 << ARMII::W_BitShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000980
981 // Set registers
982 for (unsigned i = 4, e = MI.getNumOperands(); i != e; ++i) {
983 const MachineOperand &MO = MI.getOperand(i);
Evan Chengcd8e66a2008-11-11 21:48:44 +0000984 if (!MO.isReg() || MO.isImplicit())
985 break;
Evan Cheng7602e112008-09-02 06:52:38 +0000986 unsigned RegNum = ARMRegisterInfo::getRegisterNumbering(MO.getReg());
987 assert(TargetRegisterInfo::isPhysicalRegister(MO.getReg()) &&
988 RegNum < 16);
989 Binary |= 0x1 << RegNum;
990 }
991
Evan Cheng83b5cf02008-11-05 23:22:34 +0000992 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000993}
994
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000995template<class CodeEmitter>
996void Emitter<CodeEmitter>::emitMulFrmInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +0000997 const TargetInstrDesc &TID = MI.getDesc();
998
999 // Part of binary is determined by TableGn.
1000 unsigned Binary = getBinaryCodeForInstr(MI);
1001
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +00001002 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +00001003 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +00001004
1005 // Encode S bit if MI modifies CPSR.
1006 Binary |= getAddrModeSBit(MI, TID);
1007
1008 // 32x32->64bit operations have two destination registers. The number
1009 // of register definitions will tell us if that's what we're dealing with.
Evan Cheng97f48c32008-11-06 22:15:19 +00001010 unsigned OpIdx = 0;
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +00001011 if (TID.getNumDefs() == 2)
1012 Binary |= getMachineOpValue (MI, OpIdx++) << ARMII::RegRdLoShift;
1013
1014 // Encode Rd
1015 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdHiShift;
1016
1017 // Encode Rm
1018 Binary |= getMachineOpValue(MI, OpIdx++);
1019
1020 // Encode Rs
1021 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRsShift;
1022
Evan Chengfbc9d412008-11-06 01:21:28 +00001023 // Many multiple instructions (e.g. MLA) have three src operands. Encode
1024 // it as Rn (for multiply, that's in the same offset as RdLo.
Evan Cheng97f48c32008-11-06 22:15:19 +00001025 if (TID.getNumOperands() > OpIdx &&
1026 !TID.OpInfo[OpIdx].isPredicate() &&
1027 !TID.OpInfo[OpIdx].isOptionalDef())
1028 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRdLoShift;
1029
1030 emitWordLE(Binary);
1031}
1032
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +00001033template<class CodeEmitter>
1034void Emitter<CodeEmitter>::emitExtendInstruction(const MachineInstr &MI) {
Evan Cheng97f48c32008-11-06 22:15:19 +00001035 const TargetInstrDesc &TID = MI.getDesc();
1036
1037 // Part of binary is determined by TableGn.
1038 unsigned Binary = getBinaryCodeForInstr(MI);
1039
1040 // Set the conditional execution predicate
1041 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1042
1043 unsigned OpIdx = 0;
1044
1045 // Encode Rd
1046 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
1047
1048 const MachineOperand &MO1 = MI.getOperand(OpIdx++);
1049 const MachineOperand &MO2 = MI.getOperand(OpIdx);
1050 if (MO2.isReg()) {
1051 // Two register operand form.
1052 // Encode Rn.
1053 Binary |= getMachineOpValue(MI, MO1) << ARMII::RegRnShift;
1054
1055 // Encode Rm.
1056 Binary |= getMachineOpValue(MI, MO2);
1057 ++OpIdx;
1058 } else {
1059 Binary |= getMachineOpValue(MI, MO1);
1060 }
1061
1062 // Encode rot imm (0, 8, 16, or 24) if it has a rotate immediate operand.
1063 if (MI.getOperand(OpIdx).isImm() &&
1064 !TID.OpInfo[OpIdx].isPredicate() &&
1065 !TID.OpInfo[OpIdx].isOptionalDef())
1066 Binary |= (getMachineOpValue(MI, OpIdx) / 8) << ARMII::ExtRotImmShift;
Evan Chengfbc9d412008-11-06 01:21:28 +00001067
Evan Cheng83b5cf02008-11-05 23:22:34 +00001068 emitWordLE(Binary);
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +00001069}
1070
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +00001071template<class CodeEmitter>
1072void Emitter<CodeEmitter>::emitMiscArithInstruction(const MachineInstr &MI) {
Evan Cheng8b59db32008-11-07 01:41:35 +00001073 const TargetInstrDesc &TID = MI.getDesc();
1074
1075 // Part of binary is determined by TableGn.
1076 unsigned Binary = getBinaryCodeForInstr(MI);
1077
1078 // Set the conditional execution predicate
1079 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1080
1081 unsigned OpIdx = 0;
1082
1083 // Encode Rd
1084 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
1085
1086 const MachineOperand &MO = MI.getOperand(OpIdx++);
1087 if (OpIdx == TID.getNumOperands() ||
1088 TID.OpInfo[OpIdx].isPredicate() ||
1089 TID.OpInfo[OpIdx].isOptionalDef()) {
1090 // Encode Rm and it's done.
1091 Binary |= getMachineOpValue(MI, MO);
1092 emitWordLE(Binary);
1093 return;
1094 }
1095
1096 // Encode Rn.
1097 Binary |= getMachineOpValue(MI, MO) << ARMII::RegRnShift;
1098
1099 // Encode Rm.
1100 Binary |= getMachineOpValue(MI, OpIdx++);
1101
1102 // Encode shift_imm.
1103 unsigned ShiftAmt = MI.getOperand(OpIdx).getImm();
1104 assert(ShiftAmt < 32 && "shift_imm range is 0 to 31!");
1105 Binary |= ShiftAmt << ARMII::ShiftShift;
Jim Grosbach764ab522009-08-11 15:33:49 +00001106
Evan Cheng8b59db32008-11-07 01:41:35 +00001107 emitWordLE(Binary);
1108}
1109
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +00001110template<class CodeEmitter>
1111void Emitter<CodeEmitter>::emitBranchInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +00001112 const TargetInstrDesc &TID = MI.getDesc();
1113
Torok Edwindac237e2009-07-08 20:53:28 +00001114 if (TID.Opcode == ARM::TPsoft) {
Torok Edwinc23197a2009-07-14 16:55:14 +00001115 llvm_unreachable("ARM::TPsoft FIXME"); // FIXME
Torok Edwindac237e2009-07-08 20:53:28 +00001116 }
Evan Cheng12c3a532008-11-06 17:48:05 +00001117
Evan Cheng7602e112008-09-02 06:52:38 +00001118 // Part of binary is determined by TableGn.
1119 unsigned Binary = getBinaryCodeForInstr(MI);
1120
Evan Chengedda31c2008-11-05 18:35:52 +00001121 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +00001122 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chengedda31c2008-11-05 18:35:52 +00001123
1124 // Set signed_immed_24 field
1125 Binary |= getMachineOpValue(MI, 0);
1126
Evan Cheng83b5cf02008-11-05 23:22:34 +00001127 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +00001128}
1129
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +00001130template<class CodeEmitter>
1131void Emitter<CodeEmitter>::emitInlineJumpTable(unsigned JTIndex) {
Evan Cheng4df60f52008-11-07 09:06:08 +00001132 // Remember the base address of the inline jump table.
Evan Cheng5788d1a2008-12-10 02:32:19 +00001133 uintptr_t JTBase = MCE.getCurrentPCValue();
Evan Cheng437c1732008-11-07 22:30:53 +00001134 JTI->addJumpTableBaseAddr(JTIndex, JTBase);
Chris Lattner893e1c92009-08-23 06:49:22 +00001135 DEBUG(errs() << " ** Jump Table #" << JTIndex << " @ " << (void*)JTBase
1136 << '\n');
Evan Cheng4df60f52008-11-07 09:06:08 +00001137
1138 // Now emit the jump table entries.
1139 const std::vector<MachineBasicBlock*> &MBBs = (*MJTEs)[JTIndex].MBBs;
1140 for (unsigned i = 0, e = MBBs.size(); i != e; ++i) {
1141 if (IsPIC)
1142 // DestBB address - JT base.
Evan Cheng437c1732008-11-07 22:30:53 +00001143 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_pic_jt, JTBase);
Evan Cheng4df60f52008-11-07 09:06:08 +00001144 else
1145 // Absolute DestBB address.
1146 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_absolute);
1147 emitWordLE(0);
1148 }
1149}
1150
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +00001151template<class CodeEmitter>
1152void Emitter<CodeEmitter>::emitMiscBranchInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +00001153 const TargetInstrDesc &TID = MI.getDesc();
Evan Chengedda31c2008-11-05 18:35:52 +00001154
Evan Cheng437c1732008-11-07 22:30:53 +00001155 // Handle jump tables.
Evan Cheng90daf4d2009-07-25 00:13:11 +00001156 if (TID.Opcode == ARM::BR_JTr || TID.Opcode == ARM::BR_JTadd) {
Evan Cheng437c1732008-11-07 22:30:53 +00001157 // First emit a ldr pc, [] instruction.
1158 emitDataProcessingInstruction(MI, ARM::PC);
1159
1160 // Then emit the inline jump table.
Evan Chengc9a41532009-07-08 00:05:05 +00001161 unsigned JTIndex =
Evan Cheng90daf4d2009-07-25 00:13:11 +00001162 (TID.Opcode == ARM::BR_JTr)
Evan Cheng437c1732008-11-07 22:30:53 +00001163 ? MI.getOperand(1).getIndex() : MI.getOperand(2).getIndex();
1164 emitInlineJumpTable(JTIndex);
1165 return;
Evan Cheng90daf4d2009-07-25 00:13:11 +00001166 } else if (TID.Opcode == ARM::BR_JTm) {
Evan Cheng4df60f52008-11-07 09:06:08 +00001167 // First emit a ldr pc, [] instruction.
1168 emitLoadStoreInstruction(MI, ARM::PC);
1169
1170 // Then emit the inline jump table.
Evan Cheng437c1732008-11-07 22:30:53 +00001171 emitInlineJumpTable(MI.getOperand(3).getIndex());
Evan Cheng4df60f52008-11-07 09:06:08 +00001172 return;
1173 }
1174
Evan Chengedda31c2008-11-05 18:35:52 +00001175 // Part of binary is determined by TableGn.
1176 unsigned Binary = getBinaryCodeForInstr(MI);
1177
1178 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +00001179 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chengedda31c2008-11-05 18:35:52 +00001180
1181 if (TID.Opcode == ARM::BX_RET)
1182 // The return register is LR.
1183 Binary |= ARMRegisterInfo::getRegisterNumbering(ARM::LR);
Jim Grosbach764ab522009-08-11 15:33:49 +00001184 else
Evan Chengedda31c2008-11-05 18:35:52 +00001185 // otherwise, set the return register
1186 Binary |= getMachineOpValue(MI, 0);
1187
Evan Cheng83b5cf02008-11-05 23:22:34 +00001188 emitWordLE(Binary);
Evan Cheng148b6a42007-07-05 21:15:40 +00001189}
Evan Cheng7602e112008-09-02 06:52:38 +00001190
Evan Cheng80a11982008-11-12 06:41:41 +00001191static unsigned encodeVFPRd(const MachineInstr &MI, unsigned OpIdx) {
Evan Chengd06d48d2008-11-12 02:19:38 +00001192 unsigned RegD = MI.getOperand(OpIdx).getReg();
Evan Cheng80a11982008-11-12 06:41:41 +00001193 unsigned Binary = 0;
Evan Chengd06d48d2008-11-12 02:19:38 +00001194 bool isSPVFP = false;
Evan Cheng8295d992009-07-22 05:55:18 +00001195 RegD = ARMRegisterInfo::getRegisterNumbering(RegD, &isSPVFP);
Evan Chengd06d48d2008-11-12 02:19:38 +00001196 if (!isSPVFP)
1197 Binary |= RegD << ARMII::RegRdShift;
1198 else {
1199 Binary |= ((RegD & 0x1E) >> 1) << ARMII::RegRdShift;
1200 Binary |= (RegD & 0x01) << ARMII::D_BitShift;
1201 }
Evan Cheng80a11982008-11-12 06:41:41 +00001202 return Binary;
1203}
Evan Cheng78be83d2008-11-11 19:40:26 +00001204
Evan Cheng80a11982008-11-12 06:41:41 +00001205static unsigned encodeVFPRn(const MachineInstr &MI, unsigned OpIdx) {
Evan Chengd06d48d2008-11-12 02:19:38 +00001206 unsigned RegN = MI.getOperand(OpIdx).getReg();
Evan Cheng80a11982008-11-12 06:41:41 +00001207 unsigned Binary = 0;
1208 bool isSPVFP = false;
Evan Cheng8295d992009-07-22 05:55:18 +00001209 RegN = ARMRegisterInfo::getRegisterNumbering(RegN, &isSPVFP);
Evan Chengd06d48d2008-11-12 02:19:38 +00001210 if (!isSPVFP)
1211 Binary |= RegN << ARMII::RegRnShift;
1212 else {
1213 Binary |= ((RegN & 0x1E) >> 1) << ARMII::RegRnShift;
1214 Binary |= (RegN & 0x01) << ARMII::N_BitShift;
1215 }
Evan Cheng80a11982008-11-12 06:41:41 +00001216 return Binary;
1217}
Evan Chengd06d48d2008-11-12 02:19:38 +00001218
Evan Cheng80a11982008-11-12 06:41:41 +00001219static unsigned encodeVFPRm(const MachineInstr &MI, unsigned OpIdx) {
1220 unsigned RegM = MI.getOperand(OpIdx).getReg();
1221 unsigned Binary = 0;
1222 bool isSPVFP = false;
Evan Cheng8295d992009-07-22 05:55:18 +00001223 RegM = ARMRegisterInfo::getRegisterNumbering(RegM, &isSPVFP);
Evan Cheng80a11982008-11-12 06:41:41 +00001224 if (!isSPVFP)
1225 Binary |= RegM;
1226 else {
1227 Binary |= ((RegM & 0x1E) >> 1);
1228 Binary |= (RegM & 0x01) << ARMII::M_BitShift;
Evan Cheng78be83d2008-11-11 19:40:26 +00001229 }
Evan Cheng80a11982008-11-12 06:41:41 +00001230 return Binary;
1231}
1232
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +00001233template<class CodeEmitter>
1234void Emitter<CodeEmitter>::emitVFPArithInstruction(const MachineInstr &MI) {
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001235 const TargetInstrDesc &TID = MI.getDesc();
1236
1237 // Part of binary is determined by TableGn.
1238 unsigned Binary = getBinaryCodeForInstr(MI);
1239
1240 // Set the conditional execution predicate
1241 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1242
1243 unsigned OpIdx = 0;
1244 assert((Binary & ARMII::D_BitShift) == 0 &&
1245 (Binary & ARMII::N_BitShift) == 0 &&
1246 (Binary & ARMII::M_BitShift) == 0 && "VFP encoding bug!");
1247
1248 // Encode Dd / Sd.
1249 Binary |= encodeVFPRd(MI, OpIdx++);
1250
1251 // If this is a two-address operand, skip it, e.g. FMACD.
1252 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1253 ++OpIdx;
1254
1255 // Encode Dn / Sn.
1256 if ((TID.TSFlags & ARMII::FormMask) == ARMII::VFPBinaryFrm)
Evan Cheng3f4924e2008-11-12 08:14:21 +00001257 Binary |= encodeVFPRn(MI, OpIdx++);
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001258
1259 if (OpIdx == TID.getNumOperands() ||
1260 TID.OpInfo[OpIdx].isPredicate() ||
1261 TID.OpInfo[OpIdx].isOptionalDef()) {
1262 // FCMPEZD etc. has only one operand.
1263 emitWordLE(Binary);
1264 return;
1265 }
1266
1267 // Encode Dm / Sm.
1268 Binary |= encodeVFPRm(MI, OpIdx);
Jim Grosbach764ab522009-08-11 15:33:49 +00001269
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001270 emitWordLE(Binary);
1271}
1272
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +00001273template<class CodeEmitter>
1274void Emitter<CodeEmitter>::emitVFPConversionInstruction(
1275 const MachineInstr &MI) {
Evan Cheng80a11982008-11-12 06:41:41 +00001276 const TargetInstrDesc &TID = MI.getDesc();
1277 unsigned Form = TID.TSFlags & ARMII::FormMask;
1278
1279 // Part of binary is determined by TableGn.
1280 unsigned Binary = getBinaryCodeForInstr(MI);
1281
1282 // Set the conditional execution predicate
1283 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1284
1285 switch (Form) {
1286 default: break;
1287 case ARMII::VFPConv1Frm:
1288 case ARMII::VFPConv2Frm:
1289 case ARMII::VFPConv3Frm:
1290 // Encode Dd / Sd.
1291 Binary |= encodeVFPRd(MI, 0);
1292 break;
1293 case ARMII::VFPConv4Frm:
1294 // Encode Dn / Sn.
1295 Binary |= encodeVFPRn(MI, 0);
1296 break;
1297 case ARMII::VFPConv5Frm:
1298 // Encode Dm / Sm.
1299 Binary |= encodeVFPRm(MI, 0);
1300 break;
1301 }
1302
1303 switch (Form) {
1304 default: break;
1305 case ARMII::VFPConv1Frm:
1306 // Encode Dm / Sm.
1307 Binary |= encodeVFPRm(MI, 1);
Evan Cheng67fd91f2008-11-13 07:46:59 +00001308 break;
Evan Cheng80a11982008-11-12 06:41:41 +00001309 case ARMII::VFPConv2Frm:
1310 case ARMII::VFPConv3Frm:
1311 // Encode Dn / Sn.
1312 Binary |= encodeVFPRn(MI, 1);
1313 break;
1314 case ARMII::VFPConv4Frm:
1315 case ARMII::VFPConv5Frm:
1316 // Encode Dd / Sd.
1317 Binary |= encodeVFPRd(MI, 1);
1318 break;
1319 }
1320
1321 if (Form == ARMII::VFPConv5Frm)
1322 // Encode Dn / Sn.
1323 Binary |= encodeVFPRn(MI, 2);
1324 else if (Form == ARMII::VFPConv3Frm)
1325 // Encode Dm / Sm.
1326 Binary |= encodeVFPRm(MI, 2);
Evan Cheng78be83d2008-11-11 19:40:26 +00001327
1328 emitWordLE(Binary);
1329}
1330
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +00001331template<class CodeEmitter>
1332void Emitter<CodeEmitter>::emitVFPLoadStoreInstruction(const MachineInstr &MI) {
Evan Chengcd8e66a2008-11-11 21:48:44 +00001333 // Part of binary is determined by TableGn.
1334 unsigned Binary = getBinaryCodeForInstr(MI);
1335
1336 // Set the conditional execution predicate
1337 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1338
1339 unsigned OpIdx = 0;
1340
1341 // Encode Dd / Sd.
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001342 Binary |= encodeVFPRd(MI, OpIdx++);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001343
1344 // Encode address base.
1345 const MachineOperand &Base = MI.getOperand(OpIdx++);
1346 Binary |= getMachineOpValue(MI, Base) << ARMII::RegRnShift;
1347
1348 // If there is a non-zero immediate offset, encode it.
1349 if (Base.isReg()) {
1350 const MachineOperand &Offset = MI.getOperand(OpIdx);
1351 if (unsigned ImmOffs = ARM_AM::getAM5Offset(Offset.getImm())) {
1352 if (ARM_AM::getAM5Op(Offset.getImm()) == ARM_AM::add)
1353 Binary |= 1 << ARMII::U_BitShift;
Evan Cheng607f1b42008-11-12 08:21:12 +00001354 Binary |= ImmOffs;
Evan Chengcd8e66a2008-11-11 21:48:44 +00001355 emitWordLE(Binary);
1356 return;
1357 }
1358 }
1359
1360 // If immediate offset is omitted, default to +0.
1361 Binary |= 1 << ARMII::U_BitShift;
1362
1363 emitWordLE(Binary);
1364}
1365
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +00001366template<class CodeEmitter>
1367void Emitter<CodeEmitter>::emitVFPLoadStoreMultipleInstruction(
1368 const MachineInstr &MI) {
Evan Chengcd8e66a2008-11-11 21:48:44 +00001369 // Part of binary is determined by TableGn.
1370 unsigned Binary = getBinaryCodeForInstr(MI);
1371
1372 // Set the conditional execution predicate
1373 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1374
1375 // Set base address operand
1376 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRnShift;
1377
1378 // Set addressing mode by modifying bits U(23) and P(24)
1379 const MachineOperand &MO = MI.getOperand(1);
1380 Binary |= getAddrModeUPBits(ARM_AM::getAM5SubMode(MO.getImm()));
1381
1382 // Set bit W(21)
1383 if (ARM_AM::getAM5WBFlag(MO.getImm()))
1384 Binary |= 0x1 << ARMII::W_BitShift;
1385
1386 // First register is encoded in Dd.
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001387 Binary |= encodeVFPRd(MI, 4);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001388
1389 // Number of registers are encoded in offset field.
1390 unsigned NumRegs = 1;
1391 for (unsigned i = 5, e = MI.getNumOperands(); i != e; ++i) {
1392 const MachineOperand &MO = MI.getOperand(i);
1393 if (!MO.isReg() || MO.isImplicit())
1394 break;
1395 ++NumRegs;
1396 }
1397 Binary |= NumRegs * 2;
1398
1399 emitWordLE(Binary);
1400}
1401
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +00001402template<class CodeEmitter>
1403void Emitter<CodeEmitter>::emitMiscInstruction(const MachineInstr &MI) {
Evan Chengcd8e66a2008-11-11 21:48:44 +00001404 // Part of binary is determined by TableGn.
1405 unsigned Binary = getBinaryCodeForInstr(MI);
1406
1407 // Set the conditional execution predicate
1408 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1409
1410 emitWordLE(Binary);
1411}
1412
Evan Cheng7602e112008-09-02 06:52:38 +00001413#include "ARMGenCodeEmitter.inc"