blob: 3187eb5096b4b26b2ab2ddcefbfd146d3a64dc2b [file] [log] [blame]
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001//===-- ARM/ARMCodeEmitter.cpp - Convert ARM code to machine code ---------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner081ce942007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Dan Gohmanf17a25c2007-07-18 16:29:46 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file contains the pass that transforms the ARM machine instructions into
11// relocatable machine code.
12//
13//===----------------------------------------------------------------------===//
14
Evan Chengf07a9b62008-10-29 23:55:43 +000015#define DEBUG_TYPE "jit"
Evan Chengefc43652008-09-02 06:52:38 +000016#include "ARM.h"
17#include "ARMAddressingModes.h"
Evan Chengf07a9b62008-10-29 23:55:43 +000018#include "ARMConstantPoolValue.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000019#include "ARMInstrInfo.h"
Evan Chengefc43652008-09-02 06:52:38 +000020#include "ARMRelocations.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000021#include "ARMSubtarget.h"
22#include "ARMTargetMachine.h"
Jim Grosbachcd40d892008-10-28 18:25:49 +000023#include "llvm/Constants.h"
24#include "llvm/DerivedTypes.h"
Evan Chengefb91812008-09-13 01:15:21 +000025#include "llvm/Function.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000026#include "llvm/PassManager.h"
27#include "llvm/CodeGen/MachineCodeEmitter.h"
Bruno Cardoso Lopes1ea31ff2009-05-30 20:51:52 +000028#include "llvm/CodeGen/JITCodeEmitter.h"
Bruno Cardoso Lopesaabb9a52009-07-06 05:09:34 +000029#include "llvm/CodeGen/ObjectCodeEmitter.h"
Evan Chenge4c813c2008-09-18 07:28:19 +000030#include "llvm/CodeGen/MachineConstantPool.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000031#include "llvm/CodeGen/MachineFunctionPass.h"
32#include "llvm/CodeGen/MachineInstr.h"
Evan Cheng0f63ae12008-11-07 09:06:08 +000033#include "llvm/CodeGen/MachineJumpTableInfo.h"
Daniel Dunbar98cb5532009-09-21 05:58:35 +000034#include "llvm/CodeGen/MachineModuleInfo.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000035#include "llvm/CodeGen/Passes.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000036#include "llvm/ADT/Statistic.h"
Evan Chengefb91812008-09-13 01:15:21 +000037#include "llvm/Support/Debug.h"
Edwin Török3cb88482009-07-08 18:01:40 +000038#include "llvm/Support/ErrorHandling.h"
39#include "llvm/Support/raw_ostream.h"
Evan Cheng0f63ae12008-11-07 09:06:08 +000040#ifndef NDEBUG
41#include <iomanip>
42#endif
Dan Gohmanf17a25c2007-07-18 16:29:46 +000043using namespace llvm;
44
45STATISTIC(NumEmitted, "Number of machine instructions emitted");
46
47namespace {
Bruno Cardoso Lopes1ea31ff2009-05-30 20:51:52 +000048
49 class ARMCodeEmitter {
50 public:
Bruno Cardoso Lopes1ea31ff2009-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 Lopes1ea31ff2009-05-30 20:51:52 +000054 unsigned getBinaryCodeForInstr(const MachineInstr &MI);
55 };
56
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +000057 template<class CodeEmitter>
Nick Lewycky492d06e2009-10-25 06:33:48 +000058 class Emitter : public MachineFunctionPass, public ARMCodeEmitter {
Evan Chenge4c813c2008-09-18 07:28:19 +000059 ARMJITInfo *JTI;
60 const ARMInstrInfo *II;
61 const TargetData *TD;
Evan Cheng50e503f2009-09-10 01:23:53 +000062 const ARMSubtarget *Subtarget;
Evan Chenge4c813c2008-09-18 07:28:19 +000063 TargetMachine &TM;
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +000064 CodeEmitter &MCE;
Evan Chengb562f8b2008-10-31 19:55:13 +000065 const std::vector<MachineConstantPoolEntry> *MCPEs;
Evan Cheng0f63ae12008-11-07 09:06:08 +000066 const std::vector<MachineJumpTableEntry> *MJTEs;
67 bool IsPIC;
68
Daniel Dunbar98cb5532009-09-21 05:58:35 +000069 void getAnalysisUsage(AnalysisUsage &AU) const {
70 AU.addRequired<MachineModuleInfo>();
71 MachineFunctionPass::getAnalysisUsage(AU);
72 }
73
Dan Gohmanf17a25c2007-07-18 16:29:46 +000074 public:
75 static char ID;
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +000076 explicit Emitter(TargetMachine &tm, CodeEmitter &mce)
Evan Chenge4c813c2008-09-18 07:28:19 +000077 : MachineFunctionPass(&ID), JTI(0), II(0), TD(0), TM(tm),
Evan Cheng0f63ae12008-11-07 09:06:08 +000078 MCE(mce), MCPEs(0), MJTEs(0),
79 IsPIC(TM.getRelocationModel() == Reloc::PIC_) {}
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +000080 Emitter(TargetMachine &tm, CodeEmitter &mce,
Dan Gohmanf17a25c2007-07-18 16:29:46 +000081 const ARMInstrInfo &ii, const TargetData &td)
Evan Chenge4c813c2008-09-18 07:28:19 +000082 : MachineFunctionPass(&ID), JTI(0), II(&ii), TD(&td), TM(tm),
Evan Cheng0f63ae12008-11-07 09:06:08 +000083 MCE(mce), MCPEs(0), MJTEs(0),
84 IsPIC(TM.getRelocationModel() == Reloc::PIC_) {}
Dan Gohmanf17a25c2007-07-18 16:29:46 +000085
86 bool runOnMachineFunction(MachineFunction &MF);
87
88 virtual const char *getPassName() const {
89 return "ARM Machine Code Emitter";
90 }
91
92 void emitInstruction(const MachineInstr &MI);
Evan Chengefc43652008-09-02 06:52:38 +000093
94 private:
Evan Chenge4c813c2008-09-18 07:28:19 +000095
Evan Chengc41fb3152008-11-05 23:22:34 +000096 void emitWordLE(unsigned Binary);
97
Evan Cheng9e280e02008-11-11 22:19:31 +000098 void emitDWordLE(uint64_t Binary);
99
Evan Chenge4c813c2008-09-18 07:28:19 +0000100 void emitConstPoolInstruction(const MachineInstr &MI);
101
Evan Cheng7cd4acb2008-11-06 02:25:39 +0000102 void emitMOVi2piecesInstruction(const MachineInstr &MI);
103
Evan Cheng0f63ae12008-11-07 09:06:08 +0000104 void emitLEApcrelJTInstruction(const MachineInstr &MI);
105
Evan Cheng7f240d22008-11-14 20:09:11 +0000106 void emitPseudoMoveInstruction(const MachineInstr &MI);
107
Evan Chengc41fb3152008-11-05 23:22:34 +0000108 void addPCLabel(unsigned LabelID);
109
Evan Chenge4c813c2008-09-18 07:28:19 +0000110 void emitPseudoInstruction(const MachineInstr &MI);
111
Evan Cheng00dc31b2008-09-12 22:01:15 +0000112 unsigned getMachineSoRegOpValue(const MachineInstr &MI,
Evan Cheng378c3a92008-09-12 22:45:55 +0000113 const TargetInstrDesc &TID,
Evan Chengd6dcbe22008-10-31 19:10:44 +0000114 const MachineOperand &MO,
Evan Cheng00dc31b2008-09-12 22:01:15 +0000115 unsigned OpIdx);
116
Evan Cheng7cd4acb2008-11-06 02:25:39 +0000117 unsigned getMachineSoImmOpValue(unsigned SoImm);
Evan Chengd6dcbe22008-10-31 19:10:44 +0000118
Jim Grosbach1feed042008-11-03 18:38:31 +0000119 unsigned getAddrModeSBit(const MachineInstr &MI,
120 const TargetInstrDesc &TID) const;
Evan Cheng378c3a92008-09-12 22:45:55 +0000121
Evan Chengc41fb3152008-11-05 23:22:34 +0000122 void emitDataProcessingInstruction(const MachineInstr &MI,
Evan Cheng260ae192008-11-07 22:30:53 +0000123 unsigned ImplicitRd = 0,
Evan Chengc41fb3152008-11-05 23:22:34 +0000124 unsigned ImplicitRn = 0);
Evan Chengefc43652008-09-02 06:52:38 +0000125
Evan Chengc41fb3152008-11-05 23:22:34 +0000126 void emitLoadStoreInstruction(const MachineInstr &MI,
Evan Cheng0f63ae12008-11-07 09:06:08 +0000127 unsigned ImplicitRd = 0,
Evan Chengc41fb3152008-11-05 23:22:34 +0000128 unsigned ImplicitRn = 0);
Evan Cheng86a926a2008-11-05 18:35:52 +0000129
Evan Chengc41fb3152008-11-05 23:22:34 +0000130 void emitMiscLoadStoreInstruction(const MachineInstr &MI,
131 unsigned ImplicitRn = 0);
Evan Cheng86a926a2008-11-05 18:35:52 +0000132
133 void emitLoadStoreMultipleInstruction(const MachineInstr &MI);
134
Evan Chengee80fb72008-11-06 01:21:28 +0000135 void emitMulFrmInstruction(const MachineInstr &MI);
Evan Cheng86a926a2008-11-05 18:35:52 +0000136
Evan Cheng37afa432008-11-06 22:15:19 +0000137 void emitExtendInstruction(const MachineInstr &MI);
138
Evan Chengc2121a22008-11-07 01:41:35 +0000139 void emitMiscArithInstruction(const MachineInstr &MI);
140
Evan Cheng86a926a2008-11-05 18:35:52 +0000141 void emitBranchInstruction(const MachineInstr &MI);
142
Evan Cheng260ae192008-11-07 22:30:53 +0000143 void emitInlineJumpTable(unsigned JTIndex);
Evan Cheng0f63ae12008-11-07 09:06:08 +0000144
Evan Cheng86a926a2008-11-05 18:35:52 +0000145 void emitMiscBranchInstruction(const MachineInstr &MI);
Evan Chengefc43652008-09-02 06:52:38 +0000146
Evan Chengc63e15e2008-11-11 02:11:05 +0000147 void emitVFPArithInstruction(const MachineInstr &MI);
148
Evan Cheng9d3cc182008-11-11 19:40:26 +0000149 void emitVFPConversionInstruction(const MachineInstr &MI);
150
Evan Chengbb786b32008-11-11 21:48:44 +0000151 void emitVFPLoadStoreInstruction(const MachineInstr &MI);
152
153 void emitVFPLoadStoreMultipleInstruction(const MachineInstr &MI);
154
155 void emitMiscInstruction(const MachineInstr &MI);
156
Evan Chengefc43652008-09-02 06:52:38 +0000157 /// getMachineOpValue - Return binary encoding of operand. If the machine
158 /// operand requires relocation, record the relocation and return zero.
Evan Chengd6dcbe22008-10-31 19:10:44 +0000159 unsigned getMachineOpValue(const MachineInstr &MI,const MachineOperand &MO);
Evan Chengefc43652008-09-02 06:52:38 +0000160 unsigned getMachineOpValue(const MachineInstr &MI, unsigned OpIdx) {
161 return getMachineOpValue(MI, MI.getOperand(OpIdx));
162 }
Evan Chengefc43652008-09-02 06:52:38 +0000163
Evan Chengc41fb3152008-11-05 23:22:34 +0000164 /// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
Evan Chengefc43652008-09-02 06:52:38 +0000165 ///
Evan Chengc41fb3152008-11-05 23:22:34 +0000166 unsigned getShiftOp(unsigned Imm) const ;
Evan Chengefc43652008-09-02 06:52:38 +0000167
168 /// Routines that handle operands which add machine relocations which are
Evan Cheng260ae192008-11-07 22:30:53 +0000169 /// fixed up by the relocation stage.
Evan Chenge4c813c2008-09-18 07:28:19 +0000170 void emitGlobalAddress(GlobalValue *GV, unsigned Reloc,
Evan Cheng50e503f2009-09-10 01:23:53 +0000171 bool NeedStub, bool Indirect, intptr_t ACPV = 0);
Evan Chenga7b3e7c2007-08-07 01:37:15 +0000172 void emitExternalSymbolAddress(const char *ES, unsigned Reloc);
Evan Cheng260ae192008-11-07 22:30:53 +0000173 void emitConstPoolAddress(unsigned CPI, unsigned Reloc);
174 void emitJumpTableAddress(unsigned JTIndex, unsigned Reloc);
175 void emitMachineBasicBlock(MachineBasicBlock *BB, unsigned Reloc,
176 intptr_t JTBase = 0);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000177 };
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000178 template <class CodeEmitter>
179 char Emitter<CodeEmitter>::ID = 0;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000180}
181
182/// createARMCodeEmitterPass - Return a pass that emits the collected ARM code
183/// to the specified MCE object.
Bruno Cardoso Lopes1ea31ff2009-05-30 20:51:52 +0000184
Bruno Cardoso Lopesaabb9a52009-07-06 05:09:34 +0000185FunctionPass *llvm::createARMCodeEmitterPass(ARMBaseTargetMachine &TM,
186 MachineCodeEmitter &MCE) {
Bruno Cardoso Lopes1ea31ff2009-05-30 20:51:52 +0000187 return new Emitter<MachineCodeEmitter>(TM, MCE);
188}
Bruno Cardoso Lopesaabb9a52009-07-06 05:09:34 +0000189FunctionPass *llvm::createARMJITCodeEmitterPass(ARMBaseTargetMachine &TM,
190 JITCodeEmitter &JCE) {
Bruno Cardoso Lopes1ea31ff2009-05-30 20:51:52 +0000191 return new Emitter<JITCodeEmitter>(TM, JCE);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000192}
Bruno Cardoso Lopesaabb9a52009-07-06 05:09:34 +0000193FunctionPass *llvm::createARMObjectCodeEmitterPass(ARMBaseTargetMachine &TM,
194 ObjectCodeEmitter &OCE) {
195 return new Emitter<ObjectCodeEmitter>(TM, OCE);
196}
Bruno Cardoso Lopes1ea31ff2009-05-30 20:51:52 +0000197
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000198template<class CodeEmitter>
199bool Emitter<CodeEmitter>::runOnMachineFunction(MachineFunction &MF) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000200 assert((MF.getTarget().getRelocationModel() != Reloc::Default ||
201 MF.getTarget().getRelocationModel() != Reloc::Static) &&
202 "JIT relocation model must be set to static or default!");
Evan Cheng50e503f2009-09-10 01:23:53 +0000203 JTI = ((ARMTargetMachine&)MF.getTarget()).getJITInfo();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000204 II = ((ARMTargetMachine&)MF.getTarget()).getInstrInfo();
205 TD = ((ARMTargetMachine&)MF.getTarget()).getTargetData();
Evan Cheng50e503f2009-09-10 01:23:53 +0000206 Subtarget = &TM.getSubtarget<ARMSubtarget>();
Evan Chengb562f8b2008-10-31 19:55:13 +0000207 MCPEs = &MF.getConstantPool()->getConstants();
Evan Cheng0f63ae12008-11-07 09:06:08 +0000208 MJTEs = &MF.getJumpTableInfo()->getJumpTables();
209 IsPIC = TM.getRelocationModel() == Reloc::PIC_;
Evan Chengba96b1a2008-11-08 07:38:22 +0000210 JTI->Initialize(MF, IsPIC);
Daniel Dunbar98cb5532009-09-21 05:58:35 +0000211 MCE.setModuleInfo(&getAnalysis<MachineModuleInfo>());
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000212
213 do {
Jim Grosbach770d7182009-08-11 15:33:49 +0000214 DEBUG(errs() << "JITTing function '"
Daniel Dunbar005975c2009-07-25 00:23:56 +0000215 << MF.getFunction()->getName() << "'\n");
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000216 MCE.startFunction(MF);
Jim Grosbach770d7182009-08-11 15:33:49 +0000217 for (MachineFunction::iterator MBB = MF.begin(), E = MF.end();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000218 MBB != E; ++MBB) {
219 MCE.StartMachineBasicBlock(MBB);
220 for (MachineBasicBlock::const_iterator I = MBB->begin(), E = MBB->end();
221 I != E; ++I)
222 emitInstruction(*I);
223 }
224 } while (MCE.finishFunction(MF));
225
226 return false;
227}
228
Evan Chengc41fb3152008-11-05 23:22:34 +0000229/// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
Evan Chengefc43652008-09-02 06:52:38 +0000230///
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000231template<class CodeEmitter>
232unsigned Emitter<CodeEmitter>::getShiftOp(unsigned Imm) const {
Evan Chengc41fb3152008-11-05 23:22:34 +0000233 switch (ARM_AM::getAM2ShiftOpc(Imm)) {
Edwin Törökbd448e32009-07-14 16:55:14 +0000234 default: llvm_unreachable("Unknown shift opc!");
Evan Chengefc43652008-09-02 06:52:38 +0000235 case ARM_AM::asr: return 2;
236 case ARM_AM::lsl: return 0;
237 case ARM_AM::lsr: return 1;
Evan Chenga7b3e7c2007-08-07 01:37:15 +0000238 case ARM_AM::ror:
Evan Chengefc43652008-09-02 06:52:38 +0000239 case ARM_AM::rrx: return 3;
Evan Chenga7b3e7c2007-08-07 01:37:15 +0000240 }
Evan Chengefc43652008-09-02 06:52:38 +0000241 return 0;
Evan Chenga7b3e7c2007-08-07 01:37:15 +0000242}
243
Evan Chengefc43652008-09-02 06:52:38 +0000244/// getMachineOpValue - Return binary encoding of operand. If the machine
245/// operand requires relocation, record the relocation and return zero.
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000246template<class CodeEmitter>
247unsigned Emitter<CodeEmitter>::getMachineOpValue(const MachineInstr &MI,
248 const MachineOperand &MO) {
Dan Gohmanb9f4fa72008-10-03 15:45:36 +0000249 if (MO.isReg())
Evan Chengefc43652008-09-02 06:52:38 +0000250 return ARMRegisterInfo::getRegisterNumbering(MO.getReg());
Dan Gohmanb9f4fa72008-10-03 15:45:36 +0000251 else if (MO.isImm())
Evan Chengefc43652008-09-02 06:52:38 +0000252 return static_cast<unsigned>(MO.getImm());
Dan Gohmanb9f4fa72008-10-03 15:45:36 +0000253 else if (MO.isGlobal())
Evan Cheng50e503f2009-09-10 01:23:53 +0000254 emitGlobalAddress(MO.getGlobal(), ARM::reloc_arm_branch, true, false);
Dan Gohmanb9f4fa72008-10-03 15:45:36 +0000255 else if (MO.isSymbol())
Evan Cheng5c454e92008-11-08 07:22:33 +0000256 emitExternalSymbolAddress(MO.getSymbolName(), ARM::reloc_arm_branch);
Evan Cheng668d0df2008-11-12 01:02:24 +0000257 else if (MO.isCPI()) {
258 const TargetInstrDesc &TID = MI.getDesc();
259 // For VFP load, the immediate offset is multiplied by 4.
260 unsigned Reloc = ((TID.TSFlags & ARMII::FormMask) == ARMII::VFPLdStFrm)
261 ? ARM::reloc_arm_vfp_cp_entry : ARM::reloc_arm_cp_entry;
262 emitConstPoolAddress(MO.getIndex(), Reloc);
263 } else if (MO.isJTI())
Chris Lattner6017d482007-12-30 23:10:15 +0000264 emitJumpTableAddress(MO.getIndex(), ARM::reloc_arm_relative);
Dan Gohmanb9f4fa72008-10-03 15:45:36 +0000265 else if (MO.isMBB())
Evan Cheng0f63ae12008-11-07 09:06:08 +0000266 emitMachineBasicBlock(MO.getMBB(), ARM::reloc_arm_branch);
Evan Cheng453bbc32008-09-13 01:55:59 +0000267 else {
Edwin Török4d9756a2009-07-08 20:53:28 +0000268#ifndef NDEBUG
Chris Lattnerd71b0b02009-08-23 03:41:05 +0000269 errs() << MO;
Edwin Török4d9756a2009-07-08 20:53:28 +0000270#endif
Edwin Törökbd448e32009-07-14 16:55:14 +0000271 llvm_unreachable(0);
Evan Cheng453bbc32008-09-13 01:55:59 +0000272 }
Evan Chengefc43652008-09-02 06:52:38 +0000273 return 0;
Evan Chenga7b3e7c2007-08-07 01:37:15 +0000274}
275
Evan Chenge4c813c2008-09-18 07:28:19 +0000276/// emitGlobalAddress - Emit the specified address to the code stream.
Evan Chenga7b3e7c2007-08-07 01:37:15 +0000277///
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000278template<class CodeEmitter>
279void Emitter<CodeEmitter>::emitGlobalAddress(GlobalValue *GV, unsigned Reloc,
Evan Cheng50e503f2009-09-10 01:23:53 +0000280 bool NeedStub, bool Indirect,
281 intptr_t ACPV) {
282 MachineRelocation MR = Indirect
283 ? MachineRelocation::getIndirectSymbol(MCE.getCurrentPCOffset(), Reloc,
284 GV, ACPV, NeedStub)
285 : MachineRelocation::getGV(MCE.getCurrentPCOffset(), Reloc,
286 GV, ACPV, NeedStub);
287 MCE.addRelocation(MR);
Evan Chenga7b3e7c2007-08-07 01:37:15 +0000288}
289
290/// emitExternalSymbolAddress - Arrange for the address of an external symbol to
291/// be emitted to the current location in the function, and allow it to be PC
292/// relative.
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000293template<class CodeEmitter>
294void Emitter<CodeEmitter>::emitExternalSymbolAddress(const char *ES,
295 unsigned Reloc) {
Evan Chenga7b3e7c2007-08-07 01:37:15 +0000296 MCE.addRelocation(MachineRelocation::getExtSym(MCE.getCurrentPCOffset(),
297 Reloc, ES));
298}
299
300/// emitConstPoolAddress - Arrange for the address of an constant pool
301/// to be emitted to the current location in the function, and allow it to be PC
302/// relative.
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000303template<class CodeEmitter>
304void Emitter<CodeEmitter>::emitConstPoolAddress(unsigned CPI,
305 unsigned Reloc) {
Evan Chengf07a9b62008-10-29 23:55:43 +0000306 // Tell JIT emitter we'll resolve the address.
Evan Chenga7b3e7c2007-08-07 01:37:15 +0000307 MCE.addRelocation(MachineRelocation::getConstPool(MCE.getCurrentPCOffset(),
Evan Cheng260ae192008-11-07 22:30:53 +0000308 Reloc, CPI, 0, true));
Evan Chenga7b3e7c2007-08-07 01:37:15 +0000309}
310
311/// emitJumpTableAddress - Arrange for the address of a jump table to
312/// be emitted to the current location in the function, and allow it to be PC
313/// relative.
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000314template<class CodeEmitter>
Jim Grosbach770d7182009-08-11 15:33:49 +0000315void Emitter<CodeEmitter>::emitJumpTableAddress(unsigned JTIndex,
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000316 unsigned Reloc) {
Evan Chenga7b3e7c2007-08-07 01:37:15 +0000317 MCE.addRelocation(MachineRelocation::getJumpTable(MCE.getCurrentPCOffset(),
Evan Cheng260ae192008-11-07 22:30:53 +0000318 Reloc, JTIndex, 0, true));
Evan Chenga7b3e7c2007-08-07 01:37:15 +0000319}
320
Raul Herbsterd8dc8c52007-08-30 23:29:26 +0000321/// emitMachineBasicBlock - Emit the specified address basic block.
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000322template<class CodeEmitter>
323void Emitter<CodeEmitter>::emitMachineBasicBlock(MachineBasicBlock *BB,
324 unsigned Reloc, intptr_t JTBase) {
Raul Herbsterd8dc8c52007-08-30 23:29:26 +0000325 MCE.addRelocation(MachineRelocation::getBB(MCE.getCurrentPCOffset(),
Evan Cheng260ae192008-11-07 22:30:53 +0000326 Reloc, BB, JTBase));
Raul Herbsterd8dc8c52007-08-30 23:29:26 +0000327}
Evan Chenga7b3e7c2007-08-07 01:37:15 +0000328
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000329template<class CodeEmitter>
330void Emitter<CodeEmitter>::emitWordLE(unsigned Binary) {
Chris Lattner2c6014b2009-08-23 06:49:22 +0000331 DEBUG(errs() << " 0x";
332 errs().write_hex(Binary) << "\n");
Evan Chengc41fb3152008-11-05 23:22:34 +0000333 MCE.emitWordLE(Binary);
334}
335
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000336template<class CodeEmitter>
337void Emitter<CodeEmitter>::emitDWordLE(uint64_t Binary) {
Chris Lattner2c6014b2009-08-23 06:49:22 +0000338 DEBUG(errs() << " 0x";
339 errs().write_hex(Binary) << "\n");
Evan Cheng9e280e02008-11-11 22:19:31 +0000340 MCE.emitDWordLE(Binary);
341}
342
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000343template<class CodeEmitter>
344void Emitter<CodeEmitter>::emitInstruction(const MachineInstr &MI) {
Chris Lattnerd71b0b02009-08-23 03:41:05 +0000345 DEBUG(errs() << "JIT: " << (void*)MCE.getCurrentPCValue() << ":\t" << MI);
Evan Chengefb91812008-09-13 01:15:21 +0000346
Devang Patel5450fc12009-10-06 02:19:11 +0000347 MCE.processDebugLoc(MI.getDebugLoc(), true);
Jeffrey Yasskin6628b5b2009-07-17 18:49:39 +0000348
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000349 NumEmitted++; // Keep track of the # of mi's emitted
Evan Cheng86a926a2008-11-05 18:35:52 +0000350 switch (MI.getDesc().TSFlags & ARMII::FormMask) {
Evan Cheng9d2c9232008-11-13 23:36:57 +0000351 default: {
Edwin Törökbd448e32009-07-14 16:55:14 +0000352 llvm_unreachable("Unhandled instruction encoding format!");
Evan Cheng86a926a2008-11-05 18:35:52 +0000353 break;
Evan Cheng9d2c9232008-11-13 23:36:57 +0000354 }
Evan Cheng86a926a2008-11-05 18:35:52 +0000355 case ARMII::Pseudo:
Evan Chenge4c813c2008-09-18 07:28:19 +0000356 emitPseudoInstruction(MI);
Evan Cheng86a926a2008-11-05 18:35:52 +0000357 break;
358 case ARMII::DPFrm:
359 case ARMII::DPSoRegFrm:
360 emitDataProcessingInstruction(MI);
361 break;
Evan Cheng81794bb2008-11-13 07:34:59 +0000362 case ARMII::LdFrm:
363 case ARMII::StFrm:
Evan Cheng86a926a2008-11-05 18:35:52 +0000364 emitLoadStoreInstruction(MI);
365 break;
Evan Cheng81794bb2008-11-13 07:34:59 +0000366 case ARMII::LdMiscFrm:
367 case ARMII::StMiscFrm:
Evan Cheng86a926a2008-11-05 18:35:52 +0000368 emitMiscLoadStoreInstruction(MI);
369 break;
Evan Cheng11838a82008-11-12 07:18:38 +0000370 case ARMII::LdStMulFrm:
Evan Cheng86a926a2008-11-05 18:35:52 +0000371 emitLoadStoreMultipleInstruction(MI);
372 break;
Evan Chengee80fb72008-11-06 01:21:28 +0000373 case ARMII::MulFrm:
374 emitMulFrmInstruction(MI);
Evan Cheng86a926a2008-11-05 18:35:52 +0000375 break;
Evan Cheng37afa432008-11-06 22:15:19 +0000376 case ARMII::ExtFrm:
377 emitExtendInstruction(MI);
378 break;
Evan Chengc2121a22008-11-07 01:41:35 +0000379 case ARMII::ArithMiscFrm:
380 emitMiscArithInstruction(MI);
381 break;
Evan Chengf8e8b622008-11-06 17:48:05 +0000382 case ARMII::BrFrm:
Evan Cheng86a926a2008-11-05 18:35:52 +0000383 emitBranchInstruction(MI);
384 break;
Evan Chengf8e8b622008-11-06 17:48:05 +0000385 case ARMII::BrMiscFrm:
Evan Cheng86a926a2008-11-05 18:35:52 +0000386 emitMiscBranchInstruction(MI);
387 break;
Evan Chengc63e15e2008-11-11 02:11:05 +0000388 // VFP instructions.
389 case ARMII::VFPUnaryFrm:
390 case ARMII::VFPBinaryFrm:
391 emitVFPArithInstruction(MI);
392 break;
Evan Cheng9d3cc182008-11-11 19:40:26 +0000393 case ARMII::VFPConv1Frm:
394 case ARMII::VFPConv2Frm:
Evan Cheng828ccdc2008-11-11 22:46:12 +0000395 case ARMII::VFPConv3Frm:
Evan Cheng74273382008-11-12 06:41:41 +0000396 case ARMII::VFPConv4Frm:
397 case ARMII::VFPConv5Frm:
Evan Cheng9d3cc182008-11-11 19:40:26 +0000398 emitVFPConversionInstruction(MI);
399 break;
Evan Chengbb786b32008-11-11 21:48:44 +0000400 case ARMII::VFPLdStFrm:
401 emitVFPLoadStoreInstruction(MI);
402 break;
403 case ARMII::VFPLdStMulFrm:
404 emitVFPLoadStoreMultipleInstruction(MI);
405 break;
406 case ARMII::VFPMiscFrm:
407 emitMiscInstruction(MI);
408 break;
Evan Cheng86a926a2008-11-05 18:35:52 +0000409 }
Devang Patel5450fc12009-10-06 02:19:11 +0000410 MCE.processDebugLoc(MI.getDebugLoc(), false);
Evan Chenga7b3e7c2007-08-07 01:37:15 +0000411}
412
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000413template<class CodeEmitter>
414void Emitter<CodeEmitter>::emitConstPoolInstruction(const MachineInstr &MI) {
Evan Cheng260ae192008-11-07 22:30:53 +0000415 unsigned CPI = MI.getOperand(0).getImm(); // CP instruction index.
416 unsigned CPIndex = MI.getOperand(1).getIndex(); // Actual cp entry index.
Evan Chengb562f8b2008-10-31 19:55:13 +0000417 const MachineConstantPoolEntry &MCPE = (*MCPEs)[CPIndex];
Jim Grosbach770d7182009-08-11 15:33:49 +0000418
Evan Chengd6dcbe22008-10-31 19:10:44 +0000419 // Remember the CONSTPOOL_ENTRY address for later relocation.
420 JTI->addConstantPoolEntryAddr(CPI, MCE.getCurrentPCValue());
421
422 // Emit constpool island entry. In most cases, the actual values will be
423 // resolved and relocated after code emission.
424 if (MCPE.isMachineConstantPoolEntry()) {
425 ARMConstantPoolValue *ACPV =
426 static_cast<ARMConstantPoolValue*>(MCPE.Val.MachineCPVal);
427
Chris Lattnerd71b0b02009-08-23 03:41:05 +0000428 DEBUG(errs() << " ** ARM constant pool #" << CPI << " @ "
429 << (void*)MCE.getCurrentPCValue() << " " << *ACPV << '\n');
Evan Chengd6dcbe22008-10-31 19:10:44 +0000430
431 GlobalValue *GV = ACPV->getGV();
432 if (GV) {
Evan Cheng50e503f2009-09-10 01:23:53 +0000433 Reloc::Model RelocM = TM.getRelocationModel();
Evan Chengc2999142009-08-28 23:18:09 +0000434 emitGlobalAddress(GV, ARM::reloc_arm_machine_cp_entry,
Evan Cheng50e503f2009-09-10 01:23:53 +0000435 isa<Function>(GV),
436 Subtarget->GVIsIndirectSymbol(GV, RelocM),
437 (intptr_t)ACPV);
Evan Cheng5a033a62008-11-04 00:50:32 +0000438 } else {
Evan Chengd6dcbe22008-10-31 19:10:44 +0000439 emitExternalSymbolAddress(ACPV->getSymbol(), ARM::reloc_arm_absolute);
440 }
Evan Chengc41fb3152008-11-05 23:22:34 +0000441 emitWordLE(0);
Evan Chengd6dcbe22008-10-31 19:10:44 +0000442 } else {
443 Constant *CV = MCPE.Val.ConstVal;
444
Daniel Dunbar005975c2009-07-25 00:23:56 +0000445 DEBUG({
446 errs() << " ** Constant pool #" << CPI << " @ "
447 << (void*)MCE.getCurrentPCValue() << " ";
448 if (const Function *F = dyn_cast<Function>(CV))
449 errs() << F->getName();
450 else
451 errs() << *CV;
452 errs() << '\n';
453 });
Evan Chengd6dcbe22008-10-31 19:10:44 +0000454
455 if (GlobalValue *GV = dyn_cast<GlobalValue>(CV)) {
Evan Cheng50e503f2009-09-10 01:23:53 +0000456 emitGlobalAddress(GV, ARM::reloc_arm_absolute, isa<Function>(GV), false);
Evan Chengc41fb3152008-11-05 23:22:34 +0000457 emitWordLE(0);
Evan Cheng9e280e02008-11-11 22:19:31 +0000458 } else if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) {
Evan Chengd6dcbe22008-10-31 19:10:44 +0000459 uint32_t Val = *(uint32_t*)CI->getValue().getRawData();
Evan Chengc41fb3152008-11-05 23:22:34 +0000460 emitWordLE(Val);
Evan Cheng9e280e02008-11-11 22:19:31 +0000461 } else if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV)) {
Chris Lattner82cdc062009-10-05 05:54:46 +0000462 if (CFP->getType()->isFloatTy())
Evan Cheng9e280e02008-11-11 22:19:31 +0000463 emitWordLE(CFP->getValueAPF().bitcastToAPInt().getZExtValue());
Chris Lattner82cdc062009-10-05 05:54:46 +0000464 else if (CFP->getType()->isDoubleTy())
Evan Cheng9e280e02008-11-11 22:19:31 +0000465 emitDWordLE(CFP->getValueAPF().bitcastToAPInt().getZExtValue());
466 else {
Edwin Törökbd448e32009-07-14 16:55:14 +0000467 llvm_unreachable("Unable to handle this constantpool entry!");
Evan Cheng9e280e02008-11-11 22:19:31 +0000468 }
469 } else {
Edwin Törökbd448e32009-07-14 16:55:14 +0000470 llvm_unreachable("Unable to handle this constantpool entry!");
Evan Chengd6dcbe22008-10-31 19:10:44 +0000471 }
472 }
473}
474
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000475template<class CodeEmitter>
476void Emitter<CodeEmitter>::emitMOVi2piecesInstruction(const MachineInstr &MI) {
Evan Cheng7cd4acb2008-11-06 02:25:39 +0000477 const MachineOperand &MO0 = MI.getOperand(0);
478 const MachineOperand &MO1 = MI.getOperand(1);
Evan Cheng8be2a5b2009-07-08 21:03:57 +0000479 assert(MO1.isImm() && ARM_AM::getSOImmVal(MO1.isImm()) != -1 &&
480 "Not a valid so_imm value!");
Evan Cheng7cd4acb2008-11-06 02:25:39 +0000481 unsigned V1 = ARM_AM::getSOImmTwoPartFirst(MO1.getImm());
482 unsigned V2 = ARM_AM::getSOImmTwoPartSecond(MO1.getImm());
483
484 // Emit the 'mov' instruction.
485 unsigned Binary = 0xd << 21; // mov: Insts{24-21} = 0b1101
486
487 // Set the conditional execution predicate.
Evan Cheng37afa432008-11-06 22:15:19 +0000488 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng7cd4acb2008-11-06 02:25:39 +0000489
490 // Encode Rd.
491 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
492
493 // Encode so_imm.
494 // Set bit I(25) to identify this is the immediate form of <shifter_op>
495 Binary |= 1 << ARMII::I_BitShift;
Evan Cheng8be2a5b2009-07-08 21:03:57 +0000496 Binary |= getMachineSoImmOpValue(V1);
Evan Cheng7cd4acb2008-11-06 02:25:39 +0000497 emitWordLE(Binary);
498
499 // Now the 'orr' instruction.
500 Binary = 0xc << 21; // orr: Insts{24-21} = 0b1100
501
502 // Set the conditional execution predicate.
Evan Cheng37afa432008-11-06 22:15:19 +0000503 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng7cd4acb2008-11-06 02:25:39 +0000504
505 // Encode Rd.
506 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
507
508 // Encode Rn.
509 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRnShift;
510
511 // Encode so_imm.
512 // Set bit I(25) to identify this is the immediate form of <shifter_op>
513 Binary |= 1 << ARMII::I_BitShift;
Evan Cheng8be2a5b2009-07-08 21:03:57 +0000514 Binary |= getMachineSoImmOpValue(V2);
Evan Cheng7cd4acb2008-11-06 02:25:39 +0000515 emitWordLE(Binary);
516}
517
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000518template<class CodeEmitter>
519void Emitter<CodeEmitter>::emitLEApcrelJTInstruction(const MachineInstr &MI) {
Evan Cheng0f63ae12008-11-07 09:06:08 +0000520 // It's basically add r, pc, (LJTI - $+8)
Jim Grosbach770d7182009-08-11 15:33:49 +0000521
Evan Cheng0f63ae12008-11-07 09:06:08 +0000522 const TargetInstrDesc &TID = MI.getDesc();
523
524 // Emit the 'add' instruction.
525 unsigned Binary = 0x4 << 21; // add: Insts{24-31} = 0b0100
526
527 // Set the conditional execution predicate
528 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
529
530 // Encode S bit if MI modifies CPSR.
531 Binary |= getAddrModeSBit(MI, TID);
532
533 // Encode Rd.
534 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
535
536 // Encode Rn which is PC.
537 Binary |= ARMRegisterInfo::getRegisterNumbering(ARM::PC) << ARMII::RegRnShift;
538
539 // Encode the displacement.
Evan Cheng0f63ae12008-11-07 09:06:08 +0000540 Binary |= 1 << ARMII::I_BitShift;
541 emitJumpTableAddress(MI.getOperand(1).getIndex(), ARM::reloc_arm_jt_base);
542
543 emitWordLE(Binary);
544}
545
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000546template<class CodeEmitter>
547void Emitter<CodeEmitter>::emitPseudoMoveInstruction(const MachineInstr &MI) {
Evan Cheng7f240d22008-11-14 20:09:11 +0000548 unsigned Opcode = MI.getDesc().Opcode;
549
550 // Part of binary is determined by TableGn.
551 unsigned Binary = getBinaryCodeForInstr(MI);
552
553 // Set the conditional execution predicate
554 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
555
556 // Encode S bit if MI modifies CPSR.
557 if (Opcode == ARM::MOVsrl_flag || Opcode == ARM::MOVsra_flag)
558 Binary |= 1 << ARMII::S_BitShift;
559
560 // Encode register def if there is one.
561 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
562
563 // Encode the shift operation.
564 switch (Opcode) {
565 default: break;
566 case ARM::MOVrx:
567 // rrx
568 Binary |= 0x6 << 4;
569 break;
570 case ARM::MOVsrl_flag:
571 // lsr #1
572 Binary |= (0x2 << 4) | (1 << 7);
573 break;
574 case ARM::MOVsra_flag:
575 // asr #1
576 Binary |= (0x4 << 4) | (1 << 7);
577 break;
578 }
579
580 // Encode register Rm.
581 Binary |= getMachineOpValue(MI, 1);
582
583 emitWordLE(Binary);
584}
585
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000586template<class CodeEmitter>
587void Emitter<CodeEmitter>::addPCLabel(unsigned LabelID) {
Chris Lattner2c6014b2009-08-23 06:49:22 +0000588 DEBUG(errs() << " ** LPC" << LabelID << " @ "
589 << (void*)MCE.getCurrentPCValue() << '\n');
Evan Chengc41fb3152008-11-05 23:22:34 +0000590 JTI->addPCLabelAddr(LabelID, MCE.getCurrentPCValue());
591}
592
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000593template<class CodeEmitter>
594void Emitter<CodeEmitter>::emitPseudoInstruction(const MachineInstr &MI) {
Evan Chengd6dcbe22008-10-31 19:10:44 +0000595 unsigned Opcode = MI.getDesc().Opcode;
596 switch (Opcode) {
597 default:
Evan Cheng16c012d2009-09-28 09:14:39 +0000598 llvm_unreachable("ARMCodeEmitter::emitPseudoInstruction");
599 // FIXME: Add support for MOVimm32.
Evan Cheng9d2c9232008-11-13 23:36:57 +0000600 case TargetInstrInfo::INLINEASM: {
Evan Cheng0f6a5612008-11-19 23:21:33 +0000601 // We allow inline assembler nodes with empty bodies - they can
602 // implicitly define registers, which is ok for JIT.
603 if (MI.getOperand(0).getSymbolName()[0]) {
Edwin Török151026f2009-07-12 07:15:17 +0000604 llvm_report_error("JIT does not support inline asm!");
Evan Cheng0f6a5612008-11-19 23:21:33 +0000605 }
Evan Cheng9d2c9232008-11-13 23:36:57 +0000606 break;
607 }
608 case TargetInstrInfo::DBG_LABEL:
609 case TargetInstrInfo::EH_LABEL:
610 MCE.emitLabel(MI.getOperand(0).getImm());
611 break;
612 case TargetInstrInfo::IMPLICIT_DEF:
Jakob Stoklund Olesen8f12c7c2009-09-28 20:32:26 +0000613 case TargetInstrInfo::KILL:
Evan Cheng9d2c9232008-11-13 23:36:57 +0000614 case ARM::DWARF_LOC:
615 // Do nothing.
616 break;
Evan Chengd6dcbe22008-10-31 19:10:44 +0000617 case ARM::CONSTPOOL_ENTRY:
618 emitConstPoolInstruction(MI);
619 break;
620 case ARM::PICADD: {
Evan Cheng5a033a62008-11-04 00:50:32 +0000621 // Remember of the address of the PC label for relocation later.
Evan Chengc41fb3152008-11-05 23:22:34 +0000622 addPCLabel(MI.getOperand(2).getImm());
Evan Chengd6dcbe22008-10-31 19:10:44 +0000623 // PICADD is just an add instruction that implicitly read pc.
Evan Cheng260ae192008-11-07 22:30:53 +0000624 emitDataProcessingInstruction(MI, 0, ARM::PC);
Evan Chengc41fb3152008-11-05 23:22:34 +0000625 break;
626 }
627 case ARM::PICLDR:
628 case ARM::PICLDRB:
629 case ARM::PICSTR:
630 case ARM::PICSTRB: {
631 // Remember of the address of the PC label for relocation later.
632 addPCLabel(MI.getOperand(2).getImm());
633 // These are just load / store instructions that implicitly read pc.
Evan Cheng0f63ae12008-11-07 09:06:08 +0000634 emitLoadStoreInstruction(MI, 0, ARM::PC);
Evan Chengc41fb3152008-11-05 23:22:34 +0000635 break;
636 }
637 case ARM::PICLDRH:
638 case ARM::PICLDRSH:
639 case ARM::PICLDRSB:
640 case ARM::PICSTRH: {
641 // Remember of the address of the PC label for relocation later.
642 addPCLabel(MI.getOperand(2).getImm());
643 // These are just load / store instructions that implicitly read pc.
644 emitMiscLoadStoreInstruction(MI, ARM::PC);
Evan Chengd6dcbe22008-10-31 19:10:44 +0000645 break;
646 }
Evan Cheng7cd4acb2008-11-06 02:25:39 +0000647 case ARM::MOVi2pieces:
648 // Two instructions to materialize a constant.
649 emitMOVi2piecesInstruction(MI);
650 break;
Evan Cheng0f63ae12008-11-07 09:06:08 +0000651 case ARM::LEApcrelJT:
652 // Materialize jumptable address.
653 emitLEApcrelJTInstruction(MI);
654 break;
Evan Cheng7f240d22008-11-14 20:09:11 +0000655 case ARM::MOVrx:
656 case ARM::MOVsrl_flag:
657 case ARM::MOVsra_flag:
658 emitPseudoMoveInstruction(MI);
659 break;
Evan Chengd6dcbe22008-10-31 19:10:44 +0000660 }
661}
662
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000663template<class CodeEmitter>
664unsigned Emitter<CodeEmitter>::getMachineSoRegOpValue(
665 const MachineInstr &MI,
Evan Cheng378c3a92008-09-12 22:45:55 +0000666 const TargetInstrDesc &TID,
Evan Chengd6dcbe22008-10-31 19:10:44 +0000667 const MachineOperand &MO,
Evan Cheng00dc31b2008-09-12 22:01:15 +0000668 unsigned OpIdx) {
Evan Chengd6dcbe22008-10-31 19:10:44 +0000669 unsigned Binary = getMachineOpValue(MI, MO);
Evan Cheng00dc31b2008-09-12 22:01:15 +0000670
671 const MachineOperand &MO1 = MI.getOperand(OpIdx + 1);
672 const MachineOperand &MO2 = MI.getOperand(OpIdx + 2);
673 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO2.getImm());
674
675 // Encode the shift opcode.
676 unsigned SBits = 0;
677 unsigned Rs = MO1.getReg();
678 if (Rs) {
679 // Set shift operand (bit[7:4]).
680 // LSL - 0001
681 // LSR - 0011
682 // ASR - 0101
683 // ROR - 0111
684 // RRX - 0110 and bit[11:8] clear.
685 switch (SOpc) {
Edwin Törökbd448e32009-07-14 16:55:14 +0000686 default: llvm_unreachable("Unknown shift opc!");
Evan Cheng00dc31b2008-09-12 22:01:15 +0000687 case ARM_AM::lsl: SBits = 0x1; break;
688 case ARM_AM::lsr: SBits = 0x3; break;
689 case ARM_AM::asr: SBits = 0x5; break;
690 case ARM_AM::ror: SBits = 0x7; break;
691 case ARM_AM::rrx: SBits = 0x6; break;
692 }
693 } else {
694 // Set shift operand (bit[6:4]).
695 // LSL - 000
696 // LSR - 010
697 // ASR - 100
698 // ROR - 110
699 switch (SOpc) {
Edwin Törökbd448e32009-07-14 16:55:14 +0000700 default: llvm_unreachable("Unknown shift opc!");
Evan Cheng00dc31b2008-09-12 22:01:15 +0000701 case ARM_AM::lsl: SBits = 0x0; break;
702 case ARM_AM::lsr: SBits = 0x2; break;
703 case ARM_AM::asr: SBits = 0x4; break;
704 case ARM_AM::ror: SBits = 0x6; break;
705 }
706 }
707 Binary |= SBits << 4;
708 if (SOpc == ARM_AM::rrx)
709 return Binary;
710
711 // Encode the shift operation Rs or shift_imm (except rrx).
712 if (Rs) {
713 // Encode Rs bit[11:8].
714 assert(ARM_AM::getSORegOffset(MO2.getImm()) == 0);
715 return Binary |
716 (ARMRegisterInfo::getRegisterNumbering(Rs) << ARMII::RegRsShift);
717 }
718
719 // Encode shift_imm bit[11:7].
720 return Binary | ARM_AM::getSORegOffset(MO2.getImm()) << 7;
721}
722
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000723template<class CodeEmitter>
724unsigned Emitter<CodeEmitter>::getMachineSoImmOpValue(unsigned SoImm) {
Evan Cheng8be2a5b2009-07-08 21:03:57 +0000725 int SoImmVal = ARM_AM::getSOImmVal(SoImm);
726 assert(SoImmVal != -1 && "Not a valid so_imm value!");
727
Evan Chengd6dcbe22008-10-31 19:10:44 +0000728 // Encode rotate_imm.
Evan Cheng8be2a5b2009-07-08 21:03:57 +0000729 unsigned Binary = (ARM_AM::getSOImmValRot((unsigned)SoImmVal) >> 1)
Evan Cheng37afa432008-11-06 22:15:19 +0000730 << ARMII::SoRotImmShift;
731
Evan Chengd6dcbe22008-10-31 19:10:44 +0000732 // Encode immed_8.
Evan Cheng8be2a5b2009-07-08 21:03:57 +0000733 Binary |= ARM_AM::getSOImmValImm((unsigned)SoImmVal);
Evan Chengd6dcbe22008-10-31 19:10:44 +0000734 return Binary;
735}
736
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000737template<class CodeEmitter>
738unsigned Emitter<CodeEmitter>::getAddrModeSBit(const MachineInstr &MI,
739 const TargetInstrDesc &TID) const {
Evan Cheng63143d72008-11-20 02:25:51 +0000740 for (unsigned i = MI.getNumOperands(), e = TID.getNumOperands(); i != e; --i){
Evan Cheng378c3a92008-09-12 22:45:55 +0000741 const MachineOperand &MO = MI.getOperand(i-1);
Dan Gohmanb9f4fa72008-10-03 15:45:36 +0000742 if (MO.isReg() && MO.isDef() && MO.getReg() == ARM::CPSR)
Evan Cheng378c3a92008-09-12 22:45:55 +0000743 return 1 << ARMII::S_BitShift;
744 }
745 return 0;
746}
747
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000748template<class CodeEmitter>
749void Emitter<CodeEmitter>::emitDataProcessingInstruction(
750 const MachineInstr &MI,
Evan Cheng260ae192008-11-07 22:30:53 +0000751 unsigned ImplicitRd,
Evan Chengc41fb3152008-11-05 23:22:34 +0000752 unsigned ImplicitRn) {
Evan Cheng86a926a2008-11-05 18:35:52 +0000753 const TargetInstrDesc &TID = MI.getDesc();
Evan Cheng86a926a2008-11-05 18:35:52 +0000754
Evan Cheng299ee652009-07-06 22:23:46 +0000755 if (TID.Opcode == ARM::BFC) {
Benjamin Kramer98c00ab2009-08-03 13:33:33 +0000756 llvm_report_error("ARMv6t2 JIT is not yet supported.");
Evan Cheng299ee652009-07-06 22:23:46 +0000757 }
758
Evan Cheng86a926a2008-11-05 18:35:52 +0000759 // Part of binary is determined by TableGn.
760 unsigned Binary = getBinaryCodeForInstr(MI);
761
Jim Grosbach320c1482008-10-07 19:05:35 +0000762 // Set the conditional execution predicate
Evan Cheng37afa432008-11-06 22:15:19 +0000763 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng00dc31b2008-09-12 22:01:15 +0000764
Evan Cheng378c3a92008-09-12 22:45:55 +0000765 // Encode S bit if MI modifies CPSR.
Jim Grosbach1feed042008-11-03 18:38:31 +0000766 Binary |= getAddrModeSBit(MI, TID);
Evan Cheng378c3a92008-09-12 22:45:55 +0000767
Evan Cheng00dc31b2008-09-12 22:01:15 +0000768 // Encode register def if there is one.
Evan Cheng378c3a92008-09-12 22:45:55 +0000769 unsigned NumDefs = TID.getNumDefs();
Evan Cheng3eb25b32008-09-12 23:15:39 +0000770 unsigned OpIdx = 0;
Evan Cheng260ae192008-11-07 22:30:53 +0000771 if (NumDefs)
772 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
773 else if (ImplicitRd)
774 // Special handling for implicit use (e.g. PC).
775 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRd)
776 << ARMII::RegRdShift);
Evan Chengefc43652008-09-02 06:52:38 +0000777
Evan Chengbe998242008-11-06 08:47:38 +0000778 // If this is a two-address operand, skip it. e.g. MOVCCr operand 1.
779 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
780 ++OpIdx;
781
Jim Grosbachb98d7192008-10-01 18:16:49 +0000782 // Encode first non-shifter register operand if there is one.
Evan Cheng86a926a2008-11-05 18:35:52 +0000783 bool isUnary = TID.TSFlags & ARMII::UnaryDP;
784 if (!isUnary) {
Evan Chengc41fb3152008-11-05 23:22:34 +0000785 if (ImplicitRn)
786 // Special handling for implicit use (e.g. PC).
787 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
Evan Cheng86a926a2008-11-05 18:35:52 +0000788 << ARMII::RegRnShift);
Evan Chengd6dcbe22008-10-31 19:10:44 +0000789 else {
790 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRnShift;
791 ++OpIdx;
792 }
Evan Chengefc43652008-09-02 06:52:38 +0000793 }
794
Evan Cheng00dc31b2008-09-12 22:01:15 +0000795 // Encode shifter operand.
Evan Cheng00dc31b2008-09-12 22:01:15 +0000796 const MachineOperand &MO = MI.getOperand(OpIdx);
Evan Cheng86a926a2008-11-05 18:35:52 +0000797 if ((TID.TSFlags & ARMII::FormMask) == ARMII::DPSoRegFrm) {
Evan Chengd6dcbe22008-10-31 19:10:44 +0000798 // Encode SoReg.
Evan Chengc41fb3152008-11-05 23:22:34 +0000799 emitWordLE(Binary | getMachineSoRegOpValue(MI, TID, MO, OpIdx));
Evan Cheng86a926a2008-11-05 18:35:52 +0000800 return;
801 }
Evan Chengd6dcbe22008-10-31 19:10:44 +0000802
Evan Cheng86a926a2008-11-05 18:35:52 +0000803 if (MO.isReg()) {
Evan Cheng00dc31b2008-09-12 22:01:15 +0000804 // Encode register Rm.
Evan Chengc41fb3152008-11-05 23:22:34 +0000805 emitWordLE(Binary | ARMRegisterInfo::getRegisterNumbering(MO.getReg()));
Evan Cheng86a926a2008-11-05 18:35:52 +0000806 return;
807 }
Evan Chengefc43652008-09-02 06:52:38 +0000808
Evan Cheng00dc31b2008-09-12 22:01:15 +0000809 // Encode so_imm.
Evan Cheng8be2a5b2009-07-08 21:03:57 +0000810 Binary |= getMachineSoImmOpValue((unsigned)MO.getImm());
Evan Cheng86a926a2008-11-05 18:35:52 +0000811
Evan Chengc41fb3152008-11-05 23:22:34 +0000812 emitWordLE(Binary);
Evan Chengefc43652008-09-02 06:52:38 +0000813}
814
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000815template<class CodeEmitter>
816void Emitter<CodeEmitter>::emitLoadStoreInstruction(
817 const MachineInstr &MI,
Evan Cheng0f63ae12008-11-07 09:06:08 +0000818 unsigned ImplicitRd,
Evan Chengc41fb3152008-11-05 23:22:34 +0000819 unsigned ImplicitRn) {
Evan Cheng2929cc02008-11-08 01:44:13 +0000820 const TargetInstrDesc &TID = MI.getDesc();
Evan Cheng81794bb2008-11-13 07:34:59 +0000821 unsigned Form = TID.TSFlags & ARMII::FormMask;
822 bool IsPrePost = (TID.TSFlags & ARMII::IndexModeMask) != 0;
Evan Cheng2929cc02008-11-08 01:44:13 +0000823
Evan Cheng86a926a2008-11-05 18:35:52 +0000824 // Part of binary is determined by TableGn.
825 unsigned Binary = getBinaryCodeForInstr(MI);
826
Jim Grosbach320c1482008-10-07 19:05:35 +0000827 // Set the conditional execution predicate
Evan Cheng37afa432008-11-06 22:15:19 +0000828 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chenge4c813c2008-09-18 07:28:19 +0000829
Evan Cheng0f63ae12008-11-07 09:06:08 +0000830 unsigned OpIdx = 0;
Evan Cheng81794bb2008-11-13 07:34:59 +0000831
832 // Operand 0 of a pre- and post-indexed store is the address base
833 // writeback. Skip it.
834 bool Skipped = false;
835 if (IsPrePost && Form == ARMII::StFrm) {
836 ++OpIdx;
837 Skipped = true;
838 }
839
840 // Set first operand
Evan Cheng0f63ae12008-11-07 09:06:08 +0000841 if (ImplicitRd)
842 // Special handling for implicit use (e.g. PC).
843 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRd)
844 << ARMII::RegRdShift);
845 else
846 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
Evan Chengefc43652008-09-02 06:52:38 +0000847
848 // Set second operand
Evan Chengc41fb3152008-11-05 23:22:34 +0000849 if (ImplicitRn)
850 // Special handling for implicit use (e.g. PC).
851 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
852 << ARMII::RegRnShift);
Evan Cheng0f63ae12008-11-07 09:06:08 +0000853 else
854 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Chengefc43652008-09-02 06:52:38 +0000855
Evan Cheng2929cc02008-11-08 01:44:13 +0000856 // If this is a two-address operand, skip it. e.g. LDR_PRE.
Evan Cheng81794bb2008-11-13 07:34:59 +0000857 if (!Skipped && TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
Evan Cheng2929cc02008-11-08 01:44:13 +0000858 ++OpIdx;
859
Evan Chengc41fb3152008-11-05 23:22:34 +0000860 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Chengbe998242008-11-06 08:47:38 +0000861 unsigned AM2Opc = (ImplicitRn == ARM::PC)
Evan Chengc41fb3152008-11-05 23:22:34 +0000862 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Chengefc43652008-09-02 06:52:38 +0000863
Evan Cheng00330db2008-09-13 01:44:01 +0000864 // Set bit U(23) according to sign of immed value (positive or negative).
Evan Chengc41fb3152008-11-05 23:22:34 +0000865 Binary |= ((ARM_AM::getAM2Op(AM2Opc) == ARM_AM::add ? 1 : 0) <<
Evan Cheng00330db2008-09-13 01:44:01 +0000866 ARMII::U_BitShift);
Evan Chengefc43652008-09-02 06:52:38 +0000867 if (!MO2.getReg()) { // is immediate
Evan Chengc41fb3152008-11-05 23:22:34 +0000868 if (ARM_AM::getAM2Offset(AM2Opc))
Evan Chengefc43652008-09-02 06:52:38 +0000869 // Set the value of offset_12 field
Evan Chengc41fb3152008-11-05 23:22:34 +0000870 Binary |= ARM_AM::getAM2Offset(AM2Opc);
871 emitWordLE(Binary);
Evan Cheng86a926a2008-11-05 18:35:52 +0000872 return;
Evan Chengefc43652008-09-02 06:52:38 +0000873 }
874
875 // Set bit I(25), because this is not in immediate enconding.
876 Binary |= 1 << ARMII::I_BitShift;
877 assert(TargetRegisterInfo::isPhysicalRegister(MO2.getReg()));
878 // Set bit[3:0] to the corresponding Rm register
879 Binary |= ARMRegisterInfo::getRegisterNumbering(MO2.getReg());
880
Evan Cheng9eba9112008-11-12 07:34:37 +0000881 // If this instr is in scaled register offset/index instruction, set
Evan Chengefc43652008-09-02 06:52:38 +0000882 // shift_immed(bit[11:7]) and shift(bit[6:5]) fields.
Evan Chengc41fb3152008-11-05 23:22:34 +0000883 if (unsigned ShImm = ARM_AM::getAM2Offset(AM2Opc)) {
Evan Cheng9eba9112008-11-12 07:34:37 +0000884 Binary |= getShiftOp(AM2Opc) << ARMII::ShiftImmShift; // shift
885 Binary |= ShImm << ARMII::ShiftShift; // shift_immed
Evan Chengefc43652008-09-02 06:52:38 +0000886 }
887
Evan Chengc41fb3152008-11-05 23:22:34 +0000888 emitWordLE(Binary);
Evan Chengefc43652008-09-02 06:52:38 +0000889}
890
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000891template<class CodeEmitter>
892void Emitter<CodeEmitter>::emitMiscLoadStoreInstruction(const MachineInstr &MI,
893 unsigned ImplicitRn) {
Evan Cheng2929cc02008-11-08 01:44:13 +0000894 const TargetInstrDesc &TID = MI.getDesc();
Evan Cheng81794bb2008-11-13 07:34:59 +0000895 unsigned Form = TID.TSFlags & ARMII::FormMask;
896 bool IsPrePost = (TID.TSFlags & ARMII::IndexModeMask) != 0;
Evan Cheng2929cc02008-11-08 01:44:13 +0000897
Evan Cheng86a926a2008-11-05 18:35:52 +0000898 // Part of binary is determined by TableGn.
899 unsigned Binary = getBinaryCodeForInstr(MI);
900
Jim Grosbach320c1482008-10-07 19:05:35 +0000901 // Set the conditional execution predicate
Evan Cheng37afa432008-11-06 22:15:19 +0000902 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chenge4c813c2008-09-18 07:28:19 +0000903
Evan Cheng81794bb2008-11-13 07:34:59 +0000904 unsigned OpIdx = 0;
905
906 // Operand 0 of a pre- and post-indexed store is the address base
907 // writeback. Skip it.
908 bool Skipped = false;
909 if (IsPrePost && Form == ARMII::StMiscFrm) {
910 ++OpIdx;
911 Skipped = true;
912 }
913
Evan Chengefc43652008-09-02 06:52:38 +0000914 // Set first operand
Evan Cheng81794bb2008-11-13 07:34:59 +0000915 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
Evan Chengefc43652008-09-02 06:52:38 +0000916
Evan Cheng41169552009-06-15 08:28:29 +0000917 // Skip LDRD and STRD's second operand.
918 if (TID.Opcode == ARM::LDRD || TID.Opcode == ARM::STRD)
919 ++OpIdx;
920
Evan Chengefc43652008-09-02 06:52:38 +0000921 // Set second operand
Evan Chengc41fb3152008-11-05 23:22:34 +0000922 if (ImplicitRn)
923 // Special handling for implicit use (e.g. PC).
924 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
925 << ARMII::RegRnShift);
Evan Cheng0f63ae12008-11-07 09:06:08 +0000926 else
927 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Chengefc43652008-09-02 06:52:38 +0000928
Evan Cheng2929cc02008-11-08 01:44:13 +0000929 // If this is a two-address operand, skip it. e.g. LDRH_POST.
Evan Cheng81794bb2008-11-13 07:34:59 +0000930 if (!Skipped && TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
Evan Cheng2929cc02008-11-08 01:44:13 +0000931 ++OpIdx;
932
Evan Chengc41fb3152008-11-05 23:22:34 +0000933 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Chengbe998242008-11-06 08:47:38 +0000934 unsigned AM3Opc = (ImplicitRn == ARM::PC)
Evan Chengc41fb3152008-11-05 23:22:34 +0000935 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Chengefc43652008-09-02 06:52:38 +0000936
Evan Cheng00330db2008-09-13 01:44:01 +0000937 // Set bit U(23) according to sign of immed value (positive or negative)
Evan Chengc41fb3152008-11-05 23:22:34 +0000938 Binary |= ((ARM_AM::getAM3Op(AM3Opc) == ARM_AM::add ? 1 : 0) <<
Evan Chengefc43652008-09-02 06:52:38 +0000939 ARMII::U_BitShift);
940
941 // If this instr is in register offset/index encoding, set bit[3:0]
942 // to the corresponding Rm register.
943 if (MO2.getReg()) {
944 Binary |= ARMRegisterInfo::getRegisterNumbering(MO2.getReg());
Evan Chengc41fb3152008-11-05 23:22:34 +0000945 emitWordLE(Binary);
Evan Cheng86a926a2008-11-05 18:35:52 +0000946 return;
Evan Chengefc43652008-09-02 06:52:38 +0000947 }
948
Evan Chengbe998242008-11-06 08:47:38 +0000949 // This instr is in immediate offset/index encoding, set bit 22 to 1.
Evan Cheng37afa432008-11-06 22:15:19 +0000950 Binary |= 1 << ARMII::AM3_I_BitShift;
Evan Chengc41fb3152008-11-05 23:22:34 +0000951 if (unsigned ImmOffs = ARM_AM::getAM3Offset(AM3Opc)) {
Evan Chengefc43652008-09-02 06:52:38 +0000952 // Set operands
Evan Cheng9eba9112008-11-12 07:34:37 +0000953 Binary |= (ImmOffs >> 4) << ARMII::ImmHiShift; // immedH
954 Binary |= (ImmOffs & 0xF); // immedL
Evan Chengefc43652008-09-02 06:52:38 +0000955 }
956
Evan Chengc41fb3152008-11-05 23:22:34 +0000957 emitWordLE(Binary);
Evan Chengefc43652008-09-02 06:52:38 +0000958}
959
Evan Chengbb786b32008-11-11 21:48:44 +0000960static unsigned getAddrModeUPBits(unsigned Mode) {
961 unsigned Binary = 0;
Evan Chengefc43652008-09-02 06:52:38 +0000962
963 // Set addressing mode by modifying bits U(23) and P(24)
964 // IA - Increment after - bit U = 1 and bit P = 0
965 // IB - Increment before - bit U = 1 and bit P = 1
966 // DA - Decrement after - bit U = 0 and bit P = 0
967 // DB - Decrement before - bit U = 0 and bit P = 1
Evan Chengefc43652008-09-02 06:52:38 +0000968 switch (Mode) {
Edwin Törökbd448e32009-07-14 16:55:14 +0000969 default: llvm_unreachable("Unknown addressing sub-mode!");
Evan Cheng71429f82009-09-09 23:55:03 +0000970 case ARM_AM::da: break;
Evan Cheng37afa432008-11-06 22:15:19 +0000971 case ARM_AM::db: Binary |= 0x1 << ARMII::P_BitShift; break;
972 case ARM_AM::ia: Binary |= 0x1 << ARMII::U_BitShift; break;
973 case ARM_AM::ib: Binary |= 0x3 << ARMII::U_BitShift; break;
Evan Chengefc43652008-09-02 06:52:38 +0000974 }
975
Evan Chengbb786b32008-11-11 21:48:44 +0000976 return Binary;
977}
978
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000979template<class CodeEmitter>
980void Emitter<CodeEmitter>::emitLoadStoreMultipleInstruction(
981 const MachineInstr &MI) {
Evan Chengbb786b32008-11-11 21:48:44 +0000982 // Part of binary is determined by TableGn.
983 unsigned Binary = getBinaryCodeForInstr(MI);
984
985 // Set the conditional execution predicate
986 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
987
988 // Set base address operand
989 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRnShift;
990
991 // Set addressing mode by modifying bits U(23) and P(24)
992 const MachineOperand &MO = MI.getOperand(1);
993 Binary |= getAddrModeUPBits(ARM_AM::getAM4SubMode(MO.getImm()));
994
Evan Chengefc43652008-09-02 06:52:38 +0000995 // Set bit W(21)
996 if (ARM_AM::getAM4WBFlag(MO.getImm()))
Evan Cheng37afa432008-11-06 22:15:19 +0000997 Binary |= 0x1 << ARMII::W_BitShift;
Evan Chengefc43652008-09-02 06:52:38 +0000998
999 // Set registers
Evan Cheng713ff842009-10-01 01:39:21 +00001000 for (unsigned i = 5, e = MI.getNumOperands(); i != e; ++i) {
Evan Chengefc43652008-09-02 06:52:38 +00001001 const MachineOperand &MO = MI.getOperand(i);
Evan Chengbb786b32008-11-11 21:48:44 +00001002 if (!MO.isReg() || MO.isImplicit())
1003 break;
Evan Chengefc43652008-09-02 06:52:38 +00001004 unsigned RegNum = ARMRegisterInfo::getRegisterNumbering(MO.getReg());
1005 assert(TargetRegisterInfo::isPhysicalRegister(MO.getReg()) &&
1006 RegNum < 16);
1007 Binary |= 0x1 << RegNum;
1008 }
1009
Evan Chengc41fb3152008-11-05 23:22:34 +00001010 emitWordLE(Binary);
Evan Chengefc43652008-09-02 06:52:38 +00001011}
1012
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +00001013template<class CodeEmitter>
1014void Emitter<CodeEmitter>::emitMulFrmInstruction(const MachineInstr &MI) {
Evan Cheng86a926a2008-11-05 18:35:52 +00001015 const TargetInstrDesc &TID = MI.getDesc();
1016
1017 // Part of binary is determined by TableGn.
1018 unsigned Binary = getBinaryCodeForInstr(MI);
1019
Jim Grosbach1feed042008-11-03 18:38:31 +00001020 // Set the conditional execution predicate
Evan Cheng37afa432008-11-06 22:15:19 +00001021 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Jim Grosbach1feed042008-11-03 18:38:31 +00001022
1023 // Encode S bit if MI modifies CPSR.
1024 Binary |= getAddrModeSBit(MI, TID);
1025
1026 // 32x32->64bit operations have two destination registers. The number
1027 // of register definitions will tell us if that's what we're dealing with.
Evan Cheng37afa432008-11-06 22:15:19 +00001028 unsigned OpIdx = 0;
Jim Grosbach1feed042008-11-03 18:38:31 +00001029 if (TID.getNumDefs() == 2)
1030 Binary |= getMachineOpValue (MI, OpIdx++) << ARMII::RegRdLoShift;
1031
1032 // Encode Rd
1033 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdHiShift;
1034
1035 // Encode Rm
1036 Binary |= getMachineOpValue(MI, OpIdx++);
1037
1038 // Encode Rs
1039 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRsShift;
1040
Evan Chengee80fb72008-11-06 01:21:28 +00001041 // Many multiple instructions (e.g. MLA) have three src operands. Encode
1042 // it as Rn (for multiply, that's in the same offset as RdLo.
Evan Cheng37afa432008-11-06 22:15:19 +00001043 if (TID.getNumOperands() > OpIdx &&
1044 !TID.OpInfo[OpIdx].isPredicate() &&
1045 !TID.OpInfo[OpIdx].isOptionalDef())
1046 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRdLoShift;
1047
1048 emitWordLE(Binary);
1049}
1050
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +00001051template<class CodeEmitter>
1052void Emitter<CodeEmitter>::emitExtendInstruction(const MachineInstr &MI) {
Evan Cheng37afa432008-11-06 22:15:19 +00001053 const TargetInstrDesc &TID = MI.getDesc();
1054
1055 // Part of binary is determined by TableGn.
1056 unsigned Binary = getBinaryCodeForInstr(MI);
1057
1058 // Set the conditional execution predicate
1059 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1060
1061 unsigned OpIdx = 0;
1062
1063 // Encode Rd
1064 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
1065
1066 const MachineOperand &MO1 = MI.getOperand(OpIdx++);
1067 const MachineOperand &MO2 = MI.getOperand(OpIdx);
1068 if (MO2.isReg()) {
1069 // Two register operand form.
1070 // Encode Rn.
1071 Binary |= getMachineOpValue(MI, MO1) << ARMII::RegRnShift;
1072
1073 // Encode Rm.
1074 Binary |= getMachineOpValue(MI, MO2);
1075 ++OpIdx;
1076 } else {
1077 Binary |= getMachineOpValue(MI, MO1);
1078 }
1079
1080 // Encode rot imm (0, 8, 16, or 24) if it has a rotate immediate operand.
1081 if (MI.getOperand(OpIdx).isImm() &&
1082 !TID.OpInfo[OpIdx].isPredicate() &&
1083 !TID.OpInfo[OpIdx].isOptionalDef())
1084 Binary |= (getMachineOpValue(MI, OpIdx) / 8) << ARMII::ExtRotImmShift;
Evan Chengee80fb72008-11-06 01:21:28 +00001085
Evan Chengc41fb3152008-11-05 23:22:34 +00001086 emitWordLE(Binary);
Jim Grosbach1feed042008-11-03 18:38:31 +00001087}
1088
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +00001089template<class CodeEmitter>
1090void Emitter<CodeEmitter>::emitMiscArithInstruction(const MachineInstr &MI) {
Evan Chengc2121a22008-11-07 01:41:35 +00001091 const TargetInstrDesc &TID = MI.getDesc();
1092
1093 // Part of binary is determined by TableGn.
1094 unsigned Binary = getBinaryCodeForInstr(MI);
1095
1096 // Set the conditional execution predicate
1097 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1098
1099 unsigned OpIdx = 0;
1100
1101 // Encode Rd
1102 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
1103
1104 const MachineOperand &MO = MI.getOperand(OpIdx++);
1105 if (OpIdx == TID.getNumOperands() ||
1106 TID.OpInfo[OpIdx].isPredicate() ||
1107 TID.OpInfo[OpIdx].isOptionalDef()) {
1108 // Encode Rm and it's done.
1109 Binary |= getMachineOpValue(MI, MO);
1110 emitWordLE(Binary);
1111 return;
1112 }
1113
1114 // Encode Rn.
1115 Binary |= getMachineOpValue(MI, MO) << ARMII::RegRnShift;
1116
1117 // Encode Rm.
1118 Binary |= getMachineOpValue(MI, OpIdx++);
1119
1120 // Encode shift_imm.
1121 unsigned ShiftAmt = MI.getOperand(OpIdx).getImm();
1122 assert(ShiftAmt < 32 && "shift_imm range is 0 to 31!");
1123 Binary |= ShiftAmt << ARMII::ShiftShift;
Jim Grosbach770d7182009-08-11 15:33:49 +00001124
Evan Chengc2121a22008-11-07 01:41:35 +00001125 emitWordLE(Binary);
1126}
1127
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +00001128template<class CodeEmitter>
1129void Emitter<CodeEmitter>::emitBranchInstruction(const MachineInstr &MI) {
Evan Cheng86a926a2008-11-05 18:35:52 +00001130 const TargetInstrDesc &TID = MI.getDesc();
1131
Edwin Török4d9756a2009-07-08 20:53:28 +00001132 if (TID.Opcode == ARM::TPsoft) {
Edwin Törökbd448e32009-07-14 16:55:14 +00001133 llvm_unreachable("ARM::TPsoft FIXME"); // FIXME
Edwin Török4d9756a2009-07-08 20:53:28 +00001134 }
Evan Chengf8e8b622008-11-06 17:48:05 +00001135
Evan Chengefc43652008-09-02 06:52:38 +00001136 // Part of binary is determined by TableGn.
1137 unsigned Binary = getBinaryCodeForInstr(MI);
1138
Evan Cheng86a926a2008-11-05 18:35:52 +00001139 // Set the conditional execution predicate
Evan Cheng37afa432008-11-06 22:15:19 +00001140 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng86a926a2008-11-05 18:35:52 +00001141
1142 // Set signed_immed_24 field
1143 Binary |= getMachineOpValue(MI, 0);
1144
Evan Chengc41fb3152008-11-05 23:22:34 +00001145 emitWordLE(Binary);
Evan Cheng86a926a2008-11-05 18:35:52 +00001146}
1147
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +00001148template<class CodeEmitter>
1149void Emitter<CodeEmitter>::emitInlineJumpTable(unsigned JTIndex) {
Evan Cheng0f63ae12008-11-07 09:06:08 +00001150 // Remember the base address of the inline jump table.
Evan Cheng6e561c72008-12-10 02:32:19 +00001151 uintptr_t JTBase = MCE.getCurrentPCValue();
Evan Cheng260ae192008-11-07 22:30:53 +00001152 JTI->addJumpTableBaseAddr(JTIndex, JTBase);
Chris Lattner2c6014b2009-08-23 06:49:22 +00001153 DEBUG(errs() << " ** Jump Table #" << JTIndex << " @ " << (void*)JTBase
1154 << '\n');
Evan Cheng0f63ae12008-11-07 09:06:08 +00001155
1156 // Now emit the jump table entries.
1157 const std::vector<MachineBasicBlock*> &MBBs = (*MJTEs)[JTIndex].MBBs;
1158 for (unsigned i = 0, e = MBBs.size(); i != e; ++i) {
1159 if (IsPIC)
1160 // DestBB address - JT base.
Evan Cheng260ae192008-11-07 22:30:53 +00001161 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_pic_jt, JTBase);
Evan Cheng0f63ae12008-11-07 09:06:08 +00001162 else
1163 // Absolute DestBB address.
1164 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_absolute);
1165 emitWordLE(0);
1166 }
1167}
1168
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +00001169template<class CodeEmitter>
1170void Emitter<CodeEmitter>::emitMiscBranchInstruction(const MachineInstr &MI) {
Evan Cheng86a926a2008-11-05 18:35:52 +00001171 const TargetInstrDesc &TID = MI.getDesc();
Evan Cheng86a926a2008-11-05 18:35:52 +00001172
Evan Cheng260ae192008-11-07 22:30:53 +00001173 // Handle jump tables.
Evan Cheng7cdd0cc2009-07-25 00:13:11 +00001174 if (TID.Opcode == ARM::BR_JTr || TID.Opcode == ARM::BR_JTadd) {
Evan Cheng260ae192008-11-07 22:30:53 +00001175 // First emit a ldr pc, [] instruction.
1176 emitDataProcessingInstruction(MI, ARM::PC);
1177
1178 // Then emit the inline jump table.
Evan Chengec6e5922009-07-08 00:05:05 +00001179 unsigned JTIndex =
Evan Cheng7cdd0cc2009-07-25 00:13:11 +00001180 (TID.Opcode == ARM::BR_JTr)
Evan Cheng260ae192008-11-07 22:30:53 +00001181 ? MI.getOperand(1).getIndex() : MI.getOperand(2).getIndex();
1182 emitInlineJumpTable(JTIndex);
1183 return;
Evan Cheng7cdd0cc2009-07-25 00:13:11 +00001184 } else if (TID.Opcode == ARM::BR_JTm) {
Evan Cheng0f63ae12008-11-07 09:06:08 +00001185 // First emit a ldr pc, [] instruction.
1186 emitLoadStoreInstruction(MI, ARM::PC);
1187
1188 // Then emit the inline jump table.
Evan Cheng260ae192008-11-07 22:30:53 +00001189 emitInlineJumpTable(MI.getOperand(3).getIndex());
Evan Cheng0f63ae12008-11-07 09:06:08 +00001190 return;
1191 }
1192
Evan Cheng86a926a2008-11-05 18:35:52 +00001193 // Part of binary is determined by TableGn.
1194 unsigned Binary = getBinaryCodeForInstr(MI);
1195
1196 // Set the conditional execution predicate
Evan Cheng37afa432008-11-06 22:15:19 +00001197 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng86a926a2008-11-05 18:35:52 +00001198
1199 if (TID.Opcode == ARM::BX_RET)
1200 // The return register is LR.
1201 Binary |= ARMRegisterInfo::getRegisterNumbering(ARM::LR);
Jim Grosbach770d7182009-08-11 15:33:49 +00001202 else
Evan Cheng86a926a2008-11-05 18:35:52 +00001203 // otherwise, set the return register
1204 Binary |= getMachineOpValue(MI, 0);
1205
Evan Chengc41fb3152008-11-05 23:22:34 +00001206 emitWordLE(Binary);
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001207}
Evan Chengefc43652008-09-02 06:52:38 +00001208
Evan Cheng74273382008-11-12 06:41:41 +00001209static unsigned encodeVFPRd(const MachineInstr &MI, unsigned OpIdx) {
Evan Cheng8a0454b2008-11-12 02:19:38 +00001210 unsigned RegD = MI.getOperand(OpIdx).getReg();
Evan Cheng74273382008-11-12 06:41:41 +00001211 unsigned Binary = 0;
Evan Cheng8a0454b2008-11-12 02:19:38 +00001212 bool isSPVFP = false;
Evan Cheng6eb14932009-07-22 05:55:18 +00001213 RegD = ARMRegisterInfo::getRegisterNumbering(RegD, &isSPVFP);
Evan Cheng8a0454b2008-11-12 02:19:38 +00001214 if (!isSPVFP)
1215 Binary |= RegD << ARMII::RegRdShift;
1216 else {
1217 Binary |= ((RegD & 0x1E) >> 1) << ARMII::RegRdShift;
1218 Binary |= (RegD & 0x01) << ARMII::D_BitShift;
1219 }
Evan Cheng74273382008-11-12 06:41:41 +00001220 return Binary;
1221}
Evan Cheng9d3cc182008-11-11 19:40:26 +00001222
Evan Cheng74273382008-11-12 06:41:41 +00001223static unsigned encodeVFPRn(const MachineInstr &MI, unsigned OpIdx) {
Evan Cheng8a0454b2008-11-12 02:19:38 +00001224 unsigned RegN = MI.getOperand(OpIdx).getReg();
Evan Cheng74273382008-11-12 06:41:41 +00001225 unsigned Binary = 0;
1226 bool isSPVFP = false;
Evan Cheng6eb14932009-07-22 05:55:18 +00001227 RegN = ARMRegisterInfo::getRegisterNumbering(RegN, &isSPVFP);
Evan Cheng8a0454b2008-11-12 02:19:38 +00001228 if (!isSPVFP)
1229 Binary |= RegN << ARMII::RegRnShift;
1230 else {
1231 Binary |= ((RegN & 0x1E) >> 1) << ARMII::RegRnShift;
1232 Binary |= (RegN & 0x01) << ARMII::N_BitShift;
1233 }
Evan Cheng74273382008-11-12 06:41:41 +00001234 return Binary;
1235}
Evan Cheng8a0454b2008-11-12 02:19:38 +00001236
Evan Cheng74273382008-11-12 06:41:41 +00001237static unsigned encodeVFPRm(const MachineInstr &MI, unsigned OpIdx) {
1238 unsigned RegM = MI.getOperand(OpIdx).getReg();
1239 unsigned Binary = 0;
1240 bool isSPVFP = false;
Evan Cheng6eb14932009-07-22 05:55:18 +00001241 RegM = ARMRegisterInfo::getRegisterNumbering(RegM, &isSPVFP);
Evan Cheng74273382008-11-12 06:41:41 +00001242 if (!isSPVFP)
1243 Binary |= RegM;
1244 else {
1245 Binary |= ((RegM & 0x1E) >> 1);
1246 Binary |= (RegM & 0x01) << ARMII::M_BitShift;
Evan Cheng9d3cc182008-11-11 19:40:26 +00001247 }
Evan Cheng74273382008-11-12 06:41:41 +00001248 return Binary;
1249}
1250
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +00001251template<class CodeEmitter>
1252void Emitter<CodeEmitter>::emitVFPArithInstruction(const MachineInstr &MI) {
Evan Cheng11838a82008-11-12 07:18:38 +00001253 const TargetInstrDesc &TID = MI.getDesc();
1254
1255 // Part of binary is determined by TableGn.
1256 unsigned Binary = getBinaryCodeForInstr(MI);
1257
1258 // Set the conditional execution predicate
1259 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1260
1261 unsigned OpIdx = 0;
1262 assert((Binary & ARMII::D_BitShift) == 0 &&
1263 (Binary & ARMII::N_BitShift) == 0 &&
1264 (Binary & ARMII::M_BitShift) == 0 && "VFP encoding bug!");
1265
1266 // Encode Dd / Sd.
1267 Binary |= encodeVFPRd(MI, OpIdx++);
1268
1269 // If this is a two-address operand, skip it, e.g. FMACD.
1270 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1271 ++OpIdx;
1272
1273 // Encode Dn / Sn.
1274 if ((TID.TSFlags & ARMII::FormMask) == ARMII::VFPBinaryFrm)
Evan Chengdb608062008-11-12 08:14:21 +00001275 Binary |= encodeVFPRn(MI, OpIdx++);
Evan Cheng11838a82008-11-12 07:18:38 +00001276
1277 if (OpIdx == TID.getNumOperands() ||
1278 TID.OpInfo[OpIdx].isPredicate() ||
1279 TID.OpInfo[OpIdx].isOptionalDef()) {
1280 // FCMPEZD etc. has only one operand.
1281 emitWordLE(Binary);
1282 return;
1283 }
1284
1285 // Encode Dm / Sm.
1286 Binary |= encodeVFPRm(MI, OpIdx);
Jim Grosbach770d7182009-08-11 15:33:49 +00001287
Evan Cheng11838a82008-11-12 07:18:38 +00001288 emitWordLE(Binary);
1289}
1290
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +00001291template<class CodeEmitter>
1292void Emitter<CodeEmitter>::emitVFPConversionInstruction(
1293 const MachineInstr &MI) {
Evan Cheng74273382008-11-12 06:41:41 +00001294 const TargetInstrDesc &TID = MI.getDesc();
1295 unsigned Form = TID.TSFlags & ARMII::FormMask;
1296
1297 // Part of binary is determined by TableGn.
1298 unsigned Binary = getBinaryCodeForInstr(MI);
1299
1300 // Set the conditional execution predicate
1301 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1302
1303 switch (Form) {
1304 default: break;
1305 case ARMII::VFPConv1Frm:
1306 case ARMII::VFPConv2Frm:
1307 case ARMII::VFPConv3Frm:
1308 // Encode Dd / Sd.
1309 Binary |= encodeVFPRd(MI, 0);
1310 break;
1311 case ARMII::VFPConv4Frm:
1312 // Encode Dn / Sn.
1313 Binary |= encodeVFPRn(MI, 0);
1314 break;
1315 case ARMII::VFPConv5Frm:
1316 // Encode Dm / Sm.
1317 Binary |= encodeVFPRm(MI, 0);
1318 break;
1319 }
1320
1321 switch (Form) {
1322 default: break;
1323 case ARMII::VFPConv1Frm:
1324 // Encode Dm / Sm.
1325 Binary |= encodeVFPRm(MI, 1);
Evan Cheng3d895982008-11-13 07:46:59 +00001326 break;
Evan Cheng74273382008-11-12 06:41:41 +00001327 case ARMII::VFPConv2Frm:
1328 case ARMII::VFPConv3Frm:
1329 // Encode Dn / Sn.
1330 Binary |= encodeVFPRn(MI, 1);
1331 break;
1332 case ARMII::VFPConv4Frm:
1333 case ARMII::VFPConv5Frm:
1334 // Encode Dd / Sd.
1335 Binary |= encodeVFPRd(MI, 1);
1336 break;
1337 }
1338
1339 if (Form == ARMII::VFPConv5Frm)
1340 // Encode Dn / Sn.
1341 Binary |= encodeVFPRn(MI, 2);
1342 else if (Form == ARMII::VFPConv3Frm)
1343 // Encode Dm / Sm.
1344 Binary |= encodeVFPRm(MI, 2);
Evan Cheng9d3cc182008-11-11 19:40:26 +00001345
1346 emitWordLE(Binary);
1347}
1348
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +00001349template<class CodeEmitter>
1350void Emitter<CodeEmitter>::emitVFPLoadStoreInstruction(const MachineInstr &MI) {
Evan Chengbb786b32008-11-11 21:48:44 +00001351 // Part of binary is determined by TableGn.
1352 unsigned Binary = getBinaryCodeForInstr(MI);
1353
1354 // Set the conditional execution predicate
1355 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1356
1357 unsigned OpIdx = 0;
1358
1359 // Encode Dd / Sd.
Evan Cheng11838a82008-11-12 07:18:38 +00001360 Binary |= encodeVFPRd(MI, OpIdx++);
Evan Chengbb786b32008-11-11 21:48:44 +00001361
1362 // Encode address base.
1363 const MachineOperand &Base = MI.getOperand(OpIdx++);
1364 Binary |= getMachineOpValue(MI, Base) << ARMII::RegRnShift;
1365
1366 // If there is a non-zero immediate offset, encode it.
1367 if (Base.isReg()) {
1368 const MachineOperand &Offset = MI.getOperand(OpIdx);
1369 if (unsigned ImmOffs = ARM_AM::getAM5Offset(Offset.getImm())) {
1370 if (ARM_AM::getAM5Op(Offset.getImm()) == ARM_AM::add)
1371 Binary |= 1 << ARMII::U_BitShift;
Evan Cheng517b3e82008-11-12 08:21:12 +00001372 Binary |= ImmOffs;
Evan Chengbb786b32008-11-11 21:48:44 +00001373 emitWordLE(Binary);
1374 return;
1375 }
1376 }
1377
1378 // If immediate offset is omitted, default to +0.
1379 Binary |= 1 << ARMII::U_BitShift;
1380
1381 emitWordLE(Binary);
1382}
1383
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +00001384template<class CodeEmitter>
1385void Emitter<CodeEmitter>::emitVFPLoadStoreMultipleInstruction(
1386 const MachineInstr &MI) {
Evan Chengbb786b32008-11-11 21:48:44 +00001387 // Part of binary is determined by TableGn.
1388 unsigned Binary = getBinaryCodeForInstr(MI);
1389
1390 // Set the conditional execution predicate
1391 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1392
1393 // Set base address operand
1394 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRnShift;
1395
1396 // Set addressing mode by modifying bits U(23) and P(24)
1397 const MachineOperand &MO = MI.getOperand(1);
1398 Binary |= getAddrModeUPBits(ARM_AM::getAM5SubMode(MO.getImm()));
1399
1400 // Set bit W(21)
1401 if (ARM_AM::getAM5WBFlag(MO.getImm()))
1402 Binary |= 0x1 << ARMII::W_BitShift;
1403
1404 // First register is encoded in Dd.
Evan Cheng713ff842009-10-01 01:39:21 +00001405 Binary |= encodeVFPRd(MI, 5);
Evan Chengbb786b32008-11-11 21:48:44 +00001406
1407 // Number of registers are encoded in offset field.
1408 unsigned NumRegs = 1;
Evan Cheng713ff842009-10-01 01:39:21 +00001409 for (unsigned i = 6, e = MI.getNumOperands(); i != e; ++i) {
Evan Chengbb786b32008-11-11 21:48:44 +00001410 const MachineOperand &MO = MI.getOperand(i);
1411 if (!MO.isReg() || MO.isImplicit())
1412 break;
1413 ++NumRegs;
1414 }
1415 Binary |= NumRegs * 2;
1416
1417 emitWordLE(Binary);
1418}
1419
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +00001420template<class CodeEmitter>
1421void Emitter<CodeEmitter>::emitMiscInstruction(const MachineInstr &MI) {
Evan Chengbb786b32008-11-11 21:48:44 +00001422 // Part of binary is determined by TableGn.
1423 unsigned Binary = getBinaryCodeForInstr(MI);
1424
1425 // Set the conditional execution predicate
1426 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1427
1428 emitWordLE(Binary);
1429}
1430
Evan Chengefc43652008-09-02 06:52:38 +00001431#include "ARMGenCodeEmitter.inc"