blob: 108a2445c3ff473afbe4156554655c56c53d4c7c [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"
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +000027#include "llvm/CodeGen/JITCodeEmitter.h"
Evan Cheng057d0c32008-09-18 07:28:19 +000028#include "llvm/CodeGen/MachineConstantPool.h"
Evan Cheng148b6a42007-07-05 21:15:40 +000029#include "llvm/CodeGen/MachineFunctionPass.h"
30#include "llvm/CodeGen/MachineInstr.h"
Evan Cheng4df60f52008-11-07 09:06:08 +000031#include "llvm/CodeGen/MachineJumpTableInfo.h"
Daniel Dunbar003de662009-09-21 05:58:35 +000032#include "llvm/CodeGen/MachineModuleInfo.h"
Evan Cheng148b6a42007-07-05 21:15:40 +000033#include "llvm/CodeGen/Passes.h"
Evan Cheng148b6a42007-07-05 21:15:40 +000034#include "llvm/ADT/Statistic.h"
Evan Cheng42d5ee062008-09-13 01:15:21 +000035#include "llvm/Support/Debug.h"
Torok Edwinab7c09b2009-07-08 18:01:40 +000036#include "llvm/Support/ErrorHandling.h"
37#include "llvm/Support/raw_ostream.h"
Evan Cheng4df60f52008-11-07 09:06:08 +000038#ifndef NDEBUG
39#include <iomanip>
40#endif
Evan Cheng148b6a42007-07-05 21:15:40 +000041using namespace llvm;
42
43STATISTIC(NumEmitted, "Number of machine instructions emitted");
44
45namespace {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +000046
Chris Lattner33fabd72010-02-02 21:48:51 +000047 class ARMCodeEmitter : public MachineFunctionPass {
Evan Cheng057d0c32008-09-18 07:28:19 +000048 ARMJITInfo *JTI;
49 const ARMInstrInfo *II;
50 const TargetData *TD;
Evan Cheng08669742009-09-10 01:23:53 +000051 const ARMSubtarget *Subtarget;
Evan Cheng057d0c32008-09-18 07:28:19 +000052 TargetMachine &TM;
Chris Lattner33fabd72010-02-02 21:48:51 +000053 JITCodeEmitter &MCE;
Evan Cheng938b9d82008-10-31 19:55:13 +000054 const std::vector<MachineConstantPoolEntry> *MCPEs;
Evan Cheng4df60f52008-11-07 09:06:08 +000055 const std::vector<MachineJumpTableEntry> *MJTEs;
56 bool IsPIC;
Chris Lattner33fabd72010-02-02 21:48:51 +000057
Daniel Dunbar003de662009-09-21 05:58:35 +000058 void getAnalysisUsage(AnalysisUsage &AU) const {
59 AU.addRequired<MachineModuleInfo>();
60 MachineFunctionPass::getAnalysisUsage(AU);
61 }
Chris Lattner33fabd72010-02-02 21:48:51 +000062
Evan Cheng148b6a42007-07-05 21:15:40 +000063 static char ID;
Chris Lattner33fabd72010-02-02 21:48:51 +000064 public:
65 ARMCodeEmitter(TargetMachine &tm, JITCodeEmitter &mce)
66 : MachineFunctionPass(&ID), JTI(0), II((ARMInstrInfo*)tm.getInstrInfo()),
67 TD(tm.getTargetData()), TM(tm),
68 MCE(mce), MCPEs(0), MJTEs(0),
69 IsPIC(TM.getRelocationModel() == Reloc::PIC_) {}
70
71 /// getBinaryCodeForInstr - This function, generated by the
72 /// CodeEmitterGenerator using TableGen, produces the binary encoding for
73 /// machine instructions.
74 unsigned getBinaryCodeForInstr(const MachineInstr &MI);
Evan Cheng148b6a42007-07-05 21:15:40 +000075
76 bool runOnMachineFunction(MachineFunction &MF);
77
78 virtual const char *getPassName() const {
79 return "ARM Machine Code Emitter";
80 }
81
82 void emitInstruction(const MachineInstr &MI);
Evan Cheng7602e112008-09-02 06:52:38 +000083
84 private:
Evan Cheng057d0c32008-09-18 07:28:19 +000085
Evan Cheng83b5cf02008-11-05 23:22:34 +000086 void emitWordLE(unsigned Binary);
Evan Chengcb5201f2008-11-11 22:19:31 +000087 void emitDWordLE(uint64_t Binary);
Evan Cheng057d0c32008-09-18 07:28:19 +000088 void emitConstPoolInstruction(const MachineInstr &MI);
Evan Cheng90922132008-11-06 02:25:39 +000089 void emitMOVi2piecesInstruction(const MachineInstr &MI);
Evan Cheng4df60f52008-11-07 09:06:08 +000090 void emitLEApcrelJTInstruction(const MachineInstr &MI);
Evan Chenga9562552008-11-14 20:09:11 +000091 void emitPseudoMoveInstruction(const MachineInstr &MI);
Evan Cheng83b5cf02008-11-05 23:22:34 +000092 void addPCLabel(unsigned LabelID);
Evan Cheng057d0c32008-09-18 07:28:19 +000093 void emitPseudoInstruction(const MachineInstr &MI);
Evan Cheng5f1db7b2008-09-12 22:01:15 +000094 unsigned getMachineSoRegOpValue(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +000095 const TargetInstrDesc &TID,
Evan Chengeb4ed4b2008-10-31 19:10:44 +000096 const MachineOperand &MO,
Evan Cheng5f1db7b2008-09-12 22:01:15 +000097 unsigned OpIdx);
98
Evan Cheng90922132008-11-06 02:25:39 +000099 unsigned getMachineSoImmOpValue(unsigned SoImm);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000100
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000101 unsigned getAddrModeSBit(const MachineInstr &MI,
102 const TargetInstrDesc &TID) const;
Evan Cheng49a9f292008-09-12 22:45:55 +0000103
Evan Cheng83b5cf02008-11-05 23:22:34 +0000104 void emitDataProcessingInstruction(const MachineInstr &MI,
Evan Cheng437c1732008-11-07 22:30:53 +0000105 unsigned ImplicitRd = 0,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000106 unsigned ImplicitRn = 0);
Evan Cheng7602e112008-09-02 06:52:38 +0000107
Evan Cheng83b5cf02008-11-05 23:22:34 +0000108 void emitLoadStoreInstruction(const MachineInstr &MI,
Evan Cheng4df60f52008-11-07 09:06:08 +0000109 unsigned ImplicitRd = 0,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000110 unsigned ImplicitRn = 0);
Evan Chengedda31c2008-11-05 18:35:52 +0000111
Evan Cheng83b5cf02008-11-05 23:22:34 +0000112 void emitMiscLoadStoreInstruction(const MachineInstr &MI,
113 unsigned ImplicitRn = 0);
Evan Chengedda31c2008-11-05 18:35:52 +0000114
115 void emitLoadStoreMultipleInstruction(const MachineInstr &MI);
116
Evan Chengfbc9d412008-11-06 01:21:28 +0000117 void emitMulFrmInstruction(const MachineInstr &MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000118
Evan Cheng97f48c32008-11-06 22:15:19 +0000119 void emitExtendInstruction(const MachineInstr &MI);
120
Evan Cheng8b59db32008-11-07 01:41:35 +0000121 void emitMiscArithInstruction(const MachineInstr &MI);
122
Evan Chengedda31c2008-11-05 18:35:52 +0000123 void emitBranchInstruction(const MachineInstr &MI);
124
Evan Cheng437c1732008-11-07 22:30:53 +0000125 void emitInlineJumpTable(unsigned JTIndex);
Evan Cheng4df60f52008-11-07 09:06:08 +0000126
Evan Chengedda31c2008-11-05 18:35:52 +0000127 void emitMiscBranchInstruction(const MachineInstr &MI);
Evan Cheng7602e112008-09-02 06:52:38 +0000128
Evan Cheng96581d32008-11-11 02:11:05 +0000129 void emitVFPArithInstruction(const MachineInstr &MI);
130
Evan Cheng78be83d2008-11-11 19:40:26 +0000131 void emitVFPConversionInstruction(const MachineInstr &MI);
132
Evan Chengcd8e66a2008-11-11 21:48:44 +0000133 void emitVFPLoadStoreInstruction(const MachineInstr &MI);
134
135 void emitVFPLoadStoreMultipleInstruction(const MachineInstr &MI);
136
137 void emitMiscInstruction(const MachineInstr &MI);
138
Evan Cheng7602e112008-09-02 06:52:38 +0000139 /// getMachineOpValue - Return binary encoding of operand. If the machine
140 /// operand requires relocation, record the relocation and return zero.
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000141 unsigned getMachineOpValue(const MachineInstr &MI,const MachineOperand &MO);
Evan Cheng7602e112008-09-02 06:52:38 +0000142 unsigned getMachineOpValue(const MachineInstr &MI, unsigned OpIdx) {
143 return getMachineOpValue(MI, MI.getOperand(OpIdx));
144 }
Evan Cheng7602e112008-09-02 06:52:38 +0000145
Evan Cheng83b5cf02008-11-05 23:22:34 +0000146 /// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
Evan Cheng7602e112008-09-02 06:52:38 +0000147 ///
Evan Cheng83b5cf02008-11-05 23:22:34 +0000148 unsigned getShiftOp(unsigned Imm) const ;
Evan Cheng7602e112008-09-02 06:52:38 +0000149
150 /// Routines that handle operands which add machine relocations which are
Evan Cheng437c1732008-11-07 22:30:53 +0000151 /// fixed up by the relocation stage.
Evan Cheng057d0c32008-09-18 07:28:19 +0000152 void emitGlobalAddress(GlobalValue *GV, unsigned Reloc,
Jeffrey Yasskin2d274412009-11-07 08:51:52 +0000153 bool MayNeedFarStub, bool Indirect,
154 intptr_t ACPV = 0);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000155 void emitExternalSymbolAddress(const char *ES, unsigned Reloc);
Evan Cheng437c1732008-11-07 22:30:53 +0000156 void emitConstPoolAddress(unsigned CPI, unsigned Reloc);
157 void emitJumpTableAddress(unsigned JTIndex, unsigned Reloc);
158 void emitMachineBasicBlock(MachineBasicBlock *BB, unsigned Reloc,
159 intptr_t JTBase = 0);
Evan Cheng148b6a42007-07-05 21:15:40 +0000160 };
Evan Cheng148b6a42007-07-05 21:15:40 +0000161}
162
Chris Lattner33fabd72010-02-02 21:48:51 +0000163char ARMCodeEmitter::ID = 0;
164
Chris Lattnere0faa542010-02-02 21:38:59 +0000165/// createARMJITCodeEmitterPass - Return a pass that emits the collected ARM
166/// code to the specified MCE object.
Bruno Cardoso Lopesac57e6e2009-07-06 05:09:34 +0000167FunctionPass *llvm::createARMJITCodeEmitterPass(ARMBaseTargetMachine &TM,
168 JITCodeEmitter &JCE) {
Chris Lattner33fabd72010-02-02 21:48:51 +0000169 return new ARMCodeEmitter(TM, JCE);
Evan Cheng148b6a42007-07-05 21:15:40 +0000170}
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000171
Chris Lattner33fabd72010-02-02 21:48:51 +0000172bool ARMCodeEmitter::runOnMachineFunction(MachineFunction &MF) {
Evan Cheng148b6a42007-07-05 21:15:40 +0000173 assert((MF.getTarget().getRelocationModel() != Reloc::Default ||
174 MF.getTarget().getRelocationModel() != Reloc::Static) &&
175 "JIT relocation model must be set to static or default!");
Evan Cheng08669742009-09-10 01:23:53 +0000176 JTI = ((ARMTargetMachine&)MF.getTarget()).getJITInfo();
Evan Cheng148b6a42007-07-05 21:15:40 +0000177 II = ((ARMTargetMachine&)MF.getTarget()).getInstrInfo();
178 TD = ((ARMTargetMachine&)MF.getTarget()).getTargetData();
Evan Cheng08669742009-09-10 01:23:53 +0000179 Subtarget = &TM.getSubtarget<ARMSubtarget>();
Evan Cheng938b9d82008-10-31 19:55:13 +0000180 MCPEs = &MF.getConstantPool()->getConstants();
Chris Lattnerb1e80392010-01-25 23:22:00 +0000181 MJTEs = 0;
182 if (MF.getJumpTableInfo()) MJTEs = &MF.getJumpTableInfo()->getJumpTables();
Evan Cheng4df60f52008-11-07 09:06:08 +0000183 IsPIC = TM.getRelocationModel() == Reloc::PIC_;
Evan Cheng3cc82232008-11-08 07:38:22 +0000184 JTI->Initialize(MF, IsPIC);
Daniel Dunbar003de662009-09-21 05:58:35 +0000185 MCE.setModuleInfo(&getAnalysis<MachineModuleInfo>());
Evan Cheng148b6a42007-07-05 21:15:40 +0000186
187 do {
Jim Grosbach764ab522009-08-11 15:33:49 +0000188 DEBUG(errs() << "JITTing function '"
Daniel Dunbarce63ffb2009-07-25 00:23:56 +0000189 << MF.getFunction()->getName() << "'\n");
Evan Cheng148b6a42007-07-05 21:15:40 +0000190 MCE.startFunction(MF);
Jim Grosbach764ab522009-08-11 15:33:49 +0000191 for (MachineFunction::iterator MBB = MF.begin(), E = MF.end();
Evan Cheng148b6a42007-07-05 21:15:40 +0000192 MBB != E; ++MBB) {
193 MCE.StartMachineBasicBlock(MBB);
194 for (MachineBasicBlock::const_iterator I = MBB->begin(), E = MBB->end();
195 I != E; ++I)
196 emitInstruction(*I);
197 }
198 } while (MCE.finishFunction(MF));
199
200 return false;
201}
202
Evan Cheng83b5cf02008-11-05 23:22:34 +0000203/// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
Evan Cheng7602e112008-09-02 06:52:38 +0000204///
Chris Lattner33fabd72010-02-02 21:48:51 +0000205unsigned ARMCodeEmitter::getShiftOp(unsigned Imm) const {
Evan Cheng83b5cf02008-11-05 23:22:34 +0000206 switch (ARM_AM::getAM2ShiftOpc(Imm)) {
Torok Edwinc23197a2009-07-14 16:55:14 +0000207 default: llvm_unreachable("Unknown shift opc!");
Evan Cheng7602e112008-09-02 06:52:38 +0000208 case ARM_AM::asr: return 2;
209 case ARM_AM::lsl: return 0;
210 case ARM_AM::lsr: return 1;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000211 case ARM_AM::ror:
Evan Cheng7602e112008-09-02 06:52:38 +0000212 case ARM_AM::rrx: return 3;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000213 }
Evan Cheng7602e112008-09-02 06:52:38 +0000214 return 0;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000215}
216
Evan Cheng7602e112008-09-02 06:52:38 +0000217/// getMachineOpValue - Return binary encoding of operand. If the machine
218/// operand requires relocation, record the relocation and return zero.
Chris Lattner33fabd72010-02-02 21:48:51 +0000219unsigned ARMCodeEmitter::getMachineOpValue(const MachineInstr &MI,
220 const MachineOperand &MO) {
Dan Gohmand735b802008-10-03 15:45:36 +0000221 if (MO.isReg())
Evan Cheng7602e112008-09-02 06:52:38 +0000222 return ARMRegisterInfo::getRegisterNumbering(MO.getReg());
Dan Gohmand735b802008-10-03 15:45:36 +0000223 else if (MO.isImm())
Evan Cheng7602e112008-09-02 06:52:38 +0000224 return static_cast<unsigned>(MO.getImm());
Dan Gohmand735b802008-10-03 15:45:36 +0000225 else if (MO.isGlobal())
Evan Cheng08669742009-09-10 01:23:53 +0000226 emitGlobalAddress(MO.getGlobal(), ARM::reloc_arm_branch, true, false);
Dan Gohmand735b802008-10-03 15:45:36 +0000227 else if (MO.isSymbol())
Evan Cheng10332512008-11-08 07:22:33 +0000228 emitExternalSymbolAddress(MO.getSymbolName(), ARM::reloc_arm_branch);
Evan Cheng580c0df2008-11-12 01:02:24 +0000229 else if (MO.isCPI()) {
230 const TargetInstrDesc &TID = MI.getDesc();
231 // For VFP load, the immediate offset is multiplied by 4.
232 unsigned Reloc = ((TID.TSFlags & ARMII::FormMask) == ARMII::VFPLdStFrm)
233 ? ARM::reloc_arm_vfp_cp_entry : ARM::reloc_arm_cp_entry;
234 emitConstPoolAddress(MO.getIndex(), Reloc);
235 } else if (MO.isJTI())
Chris Lattner8aa797a2007-12-30 23:10:15 +0000236 emitJumpTableAddress(MO.getIndex(), ARM::reloc_arm_relative);
Dan Gohmand735b802008-10-03 15:45:36 +0000237 else if (MO.isMBB())
Evan Cheng4df60f52008-11-07 09:06:08 +0000238 emitMachineBasicBlock(MO.getMBB(), ARM::reloc_arm_branch);
Evan Cheng2aa0e642008-09-13 01:55:59 +0000239 else {
Torok Edwindac237e2009-07-08 20:53:28 +0000240#ifndef NDEBUG
Chris Lattner705e07f2009-08-23 03:41:05 +0000241 errs() << MO;
Torok Edwindac237e2009-07-08 20:53:28 +0000242#endif
Torok Edwinc23197a2009-07-14 16:55:14 +0000243 llvm_unreachable(0);
Evan Cheng2aa0e642008-09-13 01:55:59 +0000244 }
Evan Cheng7602e112008-09-02 06:52:38 +0000245 return 0;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000246}
247
Evan Cheng057d0c32008-09-18 07:28:19 +0000248/// emitGlobalAddress - Emit the specified address to the code stream.
Evan Cheng0ff94f72007-08-07 01:37:15 +0000249///
Chris Lattner33fabd72010-02-02 21:48:51 +0000250void ARMCodeEmitter::emitGlobalAddress(GlobalValue *GV, unsigned Reloc,
251 bool MayNeedFarStub, bool Indirect,
252 intptr_t ACPV) {
Evan Cheng08669742009-09-10 01:23:53 +0000253 MachineRelocation MR = Indirect
254 ? MachineRelocation::getIndirectSymbol(MCE.getCurrentPCOffset(), Reloc,
Jeffrey Yasskin2d274412009-11-07 08:51:52 +0000255 GV, ACPV, MayNeedFarStub)
Evan Cheng08669742009-09-10 01:23:53 +0000256 : MachineRelocation::getGV(MCE.getCurrentPCOffset(), Reloc,
Jeffrey Yasskin2d274412009-11-07 08:51:52 +0000257 GV, ACPV, MayNeedFarStub);
Evan Cheng08669742009-09-10 01:23:53 +0000258 MCE.addRelocation(MR);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000259}
260
261/// emitExternalSymbolAddress - Arrange for the address of an external symbol to
262/// be emitted to the current location in the function, and allow it to be PC
263/// relative.
Chris Lattner33fabd72010-02-02 21:48:51 +0000264void ARMCodeEmitter::emitExternalSymbolAddress(const char *ES, unsigned Reloc) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000265 MCE.addRelocation(MachineRelocation::getExtSym(MCE.getCurrentPCOffset(),
266 Reloc, ES));
267}
268
269/// emitConstPoolAddress - Arrange for the address of an constant pool
270/// to be emitted to the current location in the function, and allow it to be PC
271/// relative.
Chris Lattner33fabd72010-02-02 21:48:51 +0000272void ARMCodeEmitter::emitConstPoolAddress(unsigned CPI, unsigned Reloc) {
Evan Cheng0f282432008-10-29 23:55:43 +0000273 // Tell JIT emitter we'll resolve the address.
Evan Cheng0ff94f72007-08-07 01:37:15 +0000274 MCE.addRelocation(MachineRelocation::getConstPool(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000275 Reloc, CPI, 0, true));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000276}
277
278/// emitJumpTableAddress - Arrange for the address of a jump table to
279/// be emitted to the current location in the function, and allow it to be PC
280/// relative.
Chris Lattner33fabd72010-02-02 21:48:51 +0000281void ARMCodeEmitter::emitJumpTableAddress(unsigned JTIndex, unsigned Reloc) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000282 MCE.addRelocation(MachineRelocation::getJumpTable(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000283 Reloc, JTIndex, 0, true));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000284}
285
Raul Herbster9c1a3822007-08-30 23:29:26 +0000286/// emitMachineBasicBlock - Emit the specified address basic block.
Chris Lattner33fabd72010-02-02 21:48:51 +0000287void ARMCodeEmitter::emitMachineBasicBlock(MachineBasicBlock *BB,
288 unsigned Reloc, intptr_t JTBase) {
Raul Herbster9c1a3822007-08-30 23:29:26 +0000289 MCE.addRelocation(MachineRelocation::getBB(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000290 Reloc, BB, JTBase));
Raul Herbster9c1a3822007-08-30 23:29:26 +0000291}
Evan Cheng0ff94f72007-08-07 01:37:15 +0000292
Chris Lattner33fabd72010-02-02 21:48:51 +0000293void ARMCodeEmitter::emitWordLE(unsigned Binary) {
Chris Lattner893e1c92009-08-23 06:49:22 +0000294 DEBUG(errs() << " 0x";
295 errs().write_hex(Binary) << "\n");
Evan Cheng83b5cf02008-11-05 23:22:34 +0000296 MCE.emitWordLE(Binary);
297}
298
Chris Lattner33fabd72010-02-02 21:48:51 +0000299void ARMCodeEmitter::emitDWordLE(uint64_t Binary) {
Chris Lattner893e1c92009-08-23 06:49:22 +0000300 DEBUG(errs() << " 0x";
301 errs().write_hex(Binary) << "\n");
Evan Chengcb5201f2008-11-11 22:19:31 +0000302 MCE.emitDWordLE(Binary);
303}
304
Chris Lattner33fabd72010-02-02 21:48:51 +0000305void ARMCodeEmitter::emitInstruction(const MachineInstr &MI) {
Chris Lattner705e07f2009-08-23 03:41:05 +0000306 DEBUG(errs() << "JIT: " << (void*)MCE.getCurrentPCValue() << ":\t" << MI);
Evan Cheng42d5ee062008-09-13 01:15:21 +0000307
Devang Patelaf0e2722009-10-06 02:19:11 +0000308 MCE.processDebugLoc(MI.getDebugLoc(), true);
Jeffrey Yasskin75402822009-07-17 18:49:39 +0000309
Evan Cheng148b6a42007-07-05 21:15:40 +0000310 NumEmitted++; // Keep track of the # of mi's emitted
Evan Chengedda31c2008-11-05 18:35:52 +0000311 switch (MI.getDesc().TSFlags & ARMII::FormMask) {
Evan Chengffa6d962008-11-13 23:36:57 +0000312 default: {
Torok Edwinc23197a2009-07-14 16:55:14 +0000313 llvm_unreachable("Unhandled instruction encoding format!");
Evan Chengedda31c2008-11-05 18:35:52 +0000314 break;
Evan Chengffa6d962008-11-13 23:36:57 +0000315 }
Evan Chengedda31c2008-11-05 18:35:52 +0000316 case ARMII::Pseudo:
Evan Cheng057d0c32008-09-18 07:28:19 +0000317 emitPseudoInstruction(MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000318 break;
319 case ARMII::DPFrm:
320 case ARMII::DPSoRegFrm:
321 emitDataProcessingInstruction(MI);
322 break;
Evan Cheng148cad82008-11-13 07:34:59 +0000323 case ARMII::LdFrm:
324 case ARMII::StFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000325 emitLoadStoreInstruction(MI);
326 break;
Evan Cheng148cad82008-11-13 07:34:59 +0000327 case ARMII::LdMiscFrm:
328 case ARMII::StMiscFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000329 emitMiscLoadStoreInstruction(MI);
330 break;
Evan Cheng3c4a4ff2008-11-12 07:18:38 +0000331 case ARMII::LdStMulFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000332 emitLoadStoreMultipleInstruction(MI);
333 break;
Evan Chengfbc9d412008-11-06 01:21:28 +0000334 case ARMII::MulFrm:
335 emitMulFrmInstruction(MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000336 break;
Evan Cheng97f48c32008-11-06 22:15:19 +0000337 case ARMII::ExtFrm:
338 emitExtendInstruction(MI);
339 break;
Evan Cheng8b59db32008-11-07 01:41:35 +0000340 case ARMII::ArithMiscFrm:
341 emitMiscArithInstruction(MI);
342 break;
Evan Cheng12c3a532008-11-06 17:48:05 +0000343 case ARMII::BrFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000344 emitBranchInstruction(MI);
345 break;
Evan Cheng12c3a532008-11-06 17:48:05 +0000346 case ARMII::BrMiscFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000347 emitMiscBranchInstruction(MI);
348 break;
Evan Cheng96581d32008-11-11 02:11:05 +0000349 // VFP instructions.
350 case ARMII::VFPUnaryFrm:
351 case ARMII::VFPBinaryFrm:
352 emitVFPArithInstruction(MI);
353 break;
Evan Cheng78be83d2008-11-11 19:40:26 +0000354 case ARMII::VFPConv1Frm:
355 case ARMII::VFPConv2Frm:
Evan Cheng0a0ab132008-11-11 22:46:12 +0000356 case ARMII::VFPConv3Frm:
Evan Cheng80a11982008-11-12 06:41:41 +0000357 case ARMII::VFPConv4Frm:
358 case ARMII::VFPConv5Frm:
Evan Cheng78be83d2008-11-11 19:40:26 +0000359 emitVFPConversionInstruction(MI);
360 break;
Evan Chengcd8e66a2008-11-11 21:48:44 +0000361 case ARMII::VFPLdStFrm:
362 emitVFPLoadStoreInstruction(MI);
363 break;
364 case ARMII::VFPLdStMulFrm:
365 emitVFPLoadStoreMultipleInstruction(MI);
366 break;
367 case ARMII::VFPMiscFrm:
368 emitMiscInstruction(MI);
369 break;
Evan Chengedda31c2008-11-05 18:35:52 +0000370 }
Devang Patelaf0e2722009-10-06 02:19:11 +0000371 MCE.processDebugLoc(MI.getDebugLoc(), false);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000372}
373
Chris Lattner33fabd72010-02-02 21:48:51 +0000374void ARMCodeEmitter::emitConstPoolInstruction(const MachineInstr &MI) {
Evan Cheng437c1732008-11-07 22:30:53 +0000375 unsigned CPI = MI.getOperand(0).getImm(); // CP instruction index.
376 unsigned CPIndex = MI.getOperand(1).getIndex(); // Actual cp entry index.
Evan Cheng938b9d82008-10-31 19:55:13 +0000377 const MachineConstantPoolEntry &MCPE = (*MCPEs)[CPIndex];
Jim Grosbach764ab522009-08-11 15:33:49 +0000378
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000379 // Remember the CONSTPOOL_ENTRY address for later relocation.
380 JTI->addConstantPoolEntryAddr(CPI, MCE.getCurrentPCValue());
381
382 // Emit constpool island entry. In most cases, the actual values will be
383 // resolved and relocated after code emission.
384 if (MCPE.isMachineConstantPoolEntry()) {
385 ARMConstantPoolValue *ACPV =
386 static_cast<ARMConstantPoolValue*>(MCPE.Val.MachineCPVal);
387
Chris Lattner705e07f2009-08-23 03:41:05 +0000388 DEBUG(errs() << " ** ARM constant pool #" << CPI << " @ "
389 << (void*)MCE.getCurrentPCValue() << " " << *ACPV << '\n');
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000390
Bob Wilson28989a82009-11-02 16:59:06 +0000391 assert(ACPV->isGlobalValue() && "unsupported constant pool value");
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000392 GlobalValue *GV = ACPV->getGV();
393 if (GV) {
Evan Cheng08669742009-09-10 01:23:53 +0000394 Reloc::Model RelocM = TM.getRelocationModel();
Evan Chenge4e4ed32009-08-28 23:18:09 +0000395 emitGlobalAddress(GV, ARM::reloc_arm_machine_cp_entry,
Evan Cheng08669742009-09-10 01:23:53 +0000396 isa<Function>(GV),
397 Subtarget->GVIsIndirectSymbol(GV, RelocM),
398 (intptr_t)ACPV);
Evan Cheng25e04782008-11-04 00:50:32 +0000399 } else {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000400 emitExternalSymbolAddress(ACPV->getSymbol(), ARM::reloc_arm_absolute);
401 }
Evan Cheng83b5cf02008-11-05 23:22:34 +0000402 emitWordLE(0);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000403 } else {
404 Constant *CV = MCPE.Val.ConstVal;
405
Daniel Dunbarce63ffb2009-07-25 00:23:56 +0000406 DEBUG({
407 errs() << " ** Constant pool #" << CPI << " @ "
408 << (void*)MCE.getCurrentPCValue() << " ";
409 if (const Function *F = dyn_cast<Function>(CV))
410 errs() << F->getName();
411 else
412 errs() << *CV;
413 errs() << '\n';
414 });
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000415
416 if (GlobalValue *GV = dyn_cast<GlobalValue>(CV)) {
Evan Cheng08669742009-09-10 01:23:53 +0000417 emitGlobalAddress(GV, ARM::reloc_arm_absolute, isa<Function>(GV), false);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000418 emitWordLE(0);
Evan Chengcb5201f2008-11-11 22:19:31 +0000419 } else if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000420 uint32_t Val = *(uint32_t*)CI->getValue().getRawData();
Evan Cheng83b5cf02008-11-05 23:22:34 +0000421 emitWordLE(Val);
Evan Chengcb5201f2008-11-11 22:19:31 +0000422 } else if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV)) {
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000423 if (CFP->getType()->isFloatTy())
Evan Chengcb5201f2008-11-11 22:19:31 +0000424 emitWordLE(CFP->getValueAPF().bitcastToAPInt().getZExtValue());
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000425 else if (CFP->getType()->isDoubleTy())
Evan Chengcb5201f2008-11-11 22:19:31 +0000426 emitDWordLE(CFP->getValueAPF().bitcastToAPInt().getZExtValue());
427 else {
Torok Edwinc23197a2009-07-14 16:55:14 +0000428 llvm_unreachable("Unable to handle this constantpool entry!");
Evan Chengcb5201f2008-11-11 22:19:31 +0000429 }
430 } else {
Torok Edwinc23197a2009-07-14 16:55:14 +0000431 llvm_unreachable("Unable to handle this constantpool entry!");
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000432 }
433 }
434}
435
Chris Lattner33fabd72010-02-02 21:48:51 +0000436void ARMCodeEmitter::emitMOVi2piecesInstruction(const MachineInstr &MI) {
Evan Cheng90922132008-11-06 02:25:39 +0000437 const MachineOperand &MO0 = MI.getOperand(0);
438 const MachineOperand &MO1 = MI.getOperand(1);
Evan Chenge7cbe412009-07-08 21:03:57 +0000439 assert(MO1.isImm() && ARM_AM::getSOImmVal(MO1.isImm()) != -1 &&
440 "Not a valid so_imm value!");
Evan Cheng90922132008-11-06 02:25:39 +0000441 unsigned V1 = ARM_AM::getSOImmTwoPartFirst(MO1.getImm());
442 unsigned V2 = ARM_AM::getSOImmTwoPartSecond(MO1.getImm());
443
444 // Emit the 'mov' instruction.
445 unsigned Binary = 0xd << 21; // mov: Insts{24-21} = 0b1101
446
447 // Set the conditional execution predicate.
Evan Cheng97f48c32008-11-06 22:15:19 +0000448 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng90922132008-11-06 02:25:39 +0000449
450 // Encode Rd.
451 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
452
453 // Encode so_imm.
454 // Set bit I(25) to identify this is the immediate form of <shifter_op>
455 Binary |= 1 << ARMII::I_BitShift;
Evan Chenge7cbe412009-07-08 21:03:57 +0000456 Binary |= getMachineSoImmOpValue(V1);
Evan Cheng90922132008-11-06 02:25:39 +0000457 emitWordLE(Binary);
458
459 // Now the 'orr' instruction.
460 Binary = 0xc << 21; // orr: Insts{24-21} = 0b1100
461
462 // Set the conditional execution predicate.
Evan Cheng97f48c32008-11-06 22:15:19 +0000463 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng90922132008-11-06 02:25:39 +0000464
465 // Encode Rd.
466 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
467
468 // Encode Rn.
469 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRnShift;
470
471 // Encode so_imm.
472 // Set bit I(25) to identify this is the immediate form of <shifter_op>
473 Binary |= 1 << ARMII::I_BitShift;
Evan Chenge7cbe412009-07-08 21:03:57 +0000474 Binary |= getMachineSoImmOpValue(V2);
Evan Cheng90922132008-11-06 02:25:39 +0000475 emitWordLE(Binary);
476}
477
Chris Lattner33fabd72010-02-02 21:48:51 +0000478void ARMCodeEmitter::emitLEApcrelJTInstruction(const MachineInstr &MI) {
Evan Cheng4df60f52008-11-07 09:06:08 +0000479 // It's basically add r, pc, (LJTI - $+8)
Jim Grosbach764ab522009-08-11 15:33:49 +0000480
Evan Cheng4df60f52008-11-07 09:06:08 +0000481 const TargetInstrDesc &TID = MI.getDesc();
482
483 // Emit the 'add' instruction.
484 unsigned Binary = 0x4 << 21; // add: Insts{24-31} = 0b0100
485
486 // Set the conditional execution predicate
487 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
488
489 // Encode S bit if MI modifies CPSR.
490 Binary |= getAddrModeSBit(MI, TID);
491
492 // Encode Rd.
493 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
494
495 // Encode Rn which is PC.
496 Binary |= ARMRegisterInfo::getRegisterNumbering(ARM::PC) << ARMII::RegRnShift;
497
498 // Encode the displacement.
Evan Cheng4df60f52008-11-07 09:06:08 +0000499 Binary |= 1 << ARMII::I_BitShift;
500 emitJumpTableAddress(MI.getOperand(1).getIndex(), ARM::reloc_arm_jt_base);
501
502 emitWordLE(Binary);
503}
504
Chris Lattner33fabd72010-02-02 21:48:51 +0000505void ARMCodeEmitter::emitPseudoMoveInstruction(const MachineInstr &MI) {
Evan Chenga9562552008-11-14 20:09:11 +0000506 unsigned Opcode = MI.getDesc().Opcode;
507
508 // Part of binary is determined by TableGn.
509 unsigned Binary = getBinaryCodeForInstr(MI);
510
511 // Set the conditional execution predicate
512 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
513
514 // Encode S bit if MI modifies CPSR.
515 if (Opcode == ARM::MOVsrl_flag || Opcode == ARM::MOVsra_flag)
516 Binary |= 1 << ARMII::S_BitShift;
517
518 // Encode register def if there is one.
519 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
520
521 // Encode the shift operation.
522 switch (Opcode) {
523 default: break;
524 case ARM::MOVrx:
525 // rrx
526 Binary |= 0x6 << 4;
527 break;
528 case ARM::MOVsrl_flag:
529 // lsr #1
530 Binary |= (0x2 << 4) | (1 << 7);
531 break;
532 case ARM::MOVsra_flag:
533 // asr #1
534 Binary |= (0x4 << 4) | (1 << 7);
535 break;
536 }
537
538 // Encode register Rm.
539 Binary |= getMachineOpValue(MI, 1);
540
541 emitWordLE(Binary);
542}
543
Chris Lattner33fabd72010-02-02 21:48:51 +0000544void ARMCodeEmitter::addPCLabel(unsigned LabelID) {
Chris Lattner893e1c92009-08-23 06:49:22 +0000545 DEBUG(errs() << " ** LPC" << LabelID << " @ "
546 << (void*)MCE.getCurrentPCValue() << '\n');
Evan Cheng83b5cf02008-11-05 23:22:34 +0000547 JTI->addPCLabelAddr(LabelID, MCE.getCurrentPCValue());
548}
549
Chris Lattner33fabd72010-02-02 21:48:51 +0000550void ARMCodeEmitter::emitPseudoInstruction(const MachineInstr &MI) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000551 unsigned Opcode = MI.getDesc().Opcode;
552 switch (Opcode) {
553 default:
Evan Cheng5adb66a2009-09-28 09:14:39 +0000554 llvm_unreachable("ARMCodeEmitter::emitPseudoInstruction");
555 // FIXME: Add support for MOVimm32.
Chris Lattner518bb532010-02-09 19:54:29 +0000556 case TargetOpcode::INLINEASM: {
Evan Chenge3066ab2008-11-19 23:21:33 +0000557 // We allow inline assembler nodes with empty bodies - they can
558 // implicitly define registers, which is ok for JIT.
559 if (MI.getOperand(0).getSymbolName()[0]) {
Torok Edwin29fd0562009-07-12 07:15:17 +0000560 llvm_report_error("JIT does not support inline asm!");
Evan Chenge3066ab2008-11-19 23:21:33 +0000561 }
Evan Chengffa6d962008-11-13 23:36:57 +0000562 break;
563 }
Chris Lattner518bb532010-02-09 19:54:29 +0000564 case TargetOpcode::DBG_LABEL:
565 case TargetOpcode::EH_LABEL:
Evan Chengffa6d962008-11-13 23:36:57 +0000566 MCE.emitLabel(MI.getOperand(0).getImm());
567 break;
Chris Lattner518bb532010-02-09 19:54:29 +0000568 case TargetOpcode::IMPLICIT_DEF:
569 case TargetOpcode::KILL:
Evan Chengffa6d962008-11-13 23:36:57 +0000570 // Do nothing.
571 break;
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000572 case ARM::CONSTPOOL_ENTRY:
573 emitConstPoolInstruction(MI);
574 break;
575 case ARM::PICADD: {
Evan Cheng25e04782008-11-04 00:50:32 +0000576 // Remember of the address of the PC label for relocation later.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000577 addPCLabel(MI.getOperand(2).getImm());
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000578 // PICADD is just an add instruction that implicitly read pc.
Evan Cheng437c1732008-11-07 22:30:53 +0000579 emitDataProcessingInstruction(MI, 0, ARM::PC);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000580 break;
581 }
582 case ARM::PICLDR:
583 case ARM::PICLDRB:
584 case ARM::PICSTR:
585 case ARM::PICSTRB: {
586 // Remember of the address of the PC label for relocation later.
587 addPCLabel(MI.getOperand(2).getImm());
588 // These are just load / store instructions that implicitly read pc.
Evan Cheng4df60f52008-11-07 09:06:08 +0000589 emitLoadStoreInstruction(MI, 0, ARM::PC);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000590 break;
591 }
592 case ARM::PICLDRH:
593 case ARM::PICLDRSH:
594 case ARM::PICLDRSB:
595 case ARM::PICSTRH: {
596 // Remember of the address of the PC label for relocation later.
597 addPCLabel(MI.getOperand(2).getImm());
598 // These are just load / store instructions that implicitly read pc.
599 emitMiscLoadStoreInstruction(MI, ARM::PC);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000600 break;
601 }
Evan Cheng90922132008-11-06 02:25:39 +0000602 case ARM::MOVi2pieces:
603 // Two instructions to materialize a constant.
604 emitMOVi2piecesInstruction(MI);
605 break;
Evan Cheng4df60f52008-11-07 09:06:08 +0000606 case ARM::LEApcrelJT:
607 // Materialize jumptable address.
608 emitLEApcrelJTInstruction(MI);
609 break;
Evan Chenga9562552008-11-14 20:09:11 +0000610 case ARM::MOVrx:
611 case ARM::MOVsrl_flag:
612 case ARM::MOVsra_flag:
613 emitPseudoMoveInstruction(MI);
614 break;
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000615 }
616}
617
Chris Lattner33fabd72010-02-02 21:48:51 +0000618unsigned ARMCodeEmitter::getMachineSoRegOpValue(
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000619 const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +0000620 const TargetInstrDesc &TID,
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000621 const MachineOperand &MO,
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000622 unsigned OpIdx) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000623 unsigned Binary = getMachineOpValue(MI, MO);
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000624
625 const MachineOperand &MO1 = MI.getOperand(OpIdx + 1);
626 const MachineOperand &MO2 = MI.getOperand(OpIdx + 2);
627 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO2.getImm());
628
629 // Encode the shift opcode.
630 unsigned SBits = 0;
631 unsigned Rs = MO1.getReg();
632 if (Rs) {
633 // Set shift operand (bit[7:4]).
634 // LSL - 0001
635 // LSR - 0011
636 // ASR - 0101
637 // ROR - 0111
638 // RRX - 0110 and bit[11:8] clear.
639 switch (SOpc) {
Torok Edwinc23197a2009-07-14 16:55:14 +0000640 default: llvm_unreachable("Unknown shift opc!");
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000641 case ARM_AM::lsl: SBits = 0x1; break;
642 case ARM_AM::lsr: SBits = 0x3; break;
643 case ARM_AM::asr: SBits = 0x5; break;
644 case ARM_AM::ror: SBits = 0x7; break;
645 case ARM_AM::rrx: SBits = 0x6; break;
646 }
647 } else {
648 // Set shift operand (bit[6:4]).
649 // LSL - 000
650 // LSR - 010
651 // ASR - 100
652 // ROR - 110
653 switch (SOpc) {
Torok Edwinc23197a2009-07-14 16:55:14 +0000654 default: llvm_unreachable("Unknown shift opc!");
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000655 case ARM_AM::lsl: SBits = 0x0; break;
656 case ARM_AM::lsr: SBits = 0x2; break;
657 case ARM_AM::asr: SBits = 0x4; break;
658 case ARM_AM::ror: SBits = 0x6; break;
659 }
660 }
661 Binary |= SBits << 4;
662 if (SOpc == ARM_AM::rrx)
663 return Binary;
664
665 // Encode the shift operation Rs or shift_imm (except rrx).
666 if (Rs) {
667 // Encode Rs bit[11:8].
668 assert(ARM_AM::getSORegOffset(MO2.getImm()) == 0);
669 return Binary |
670 (ARMRegisterInfo::getRegisterNumbering(Rs) << ARMII::RegRsShift);
671 }
672
673 // Encode shift_imm bit[11:7].
674 return Binary | ARM_AM::getSORegOffset(MO2.getImm()) << 7;
675}
676
Chris Lattner33fabd72010-02-02 21:48:51 +0000677unsigned ARMCodeEmitter::getMachineSoImmOpValue(unsigned SoImm) {
Evan Chenge7cbe412009-07-08 21:03:57 +0000678 int SoImmVal = ARM_AM::getSOImmVal(SoImm);
679 assert(SoImmVal != -1 && "Not a valid so_imm value!");
680
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000681 // Encode rotate_imm.
Evan Chenge7cbe412009-07-08 21:03:57 +0000682 unsigned Binary = (ARM_AM::getSOImmValRot((unsigned)SoImmVal) >> 1)
Evan Cheng97f48c32008-11-06 22:15:19 +0000683 << ARMII::SoRotImmShift;
684
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000685 // Encode immed_8.
Evan Chenge7cbe412009-07-08 21:03:57 +0000686 Binary |= ARM_AM::getSOImmValImm((unsigned)SoImmVal);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000687 return Binary;
688}
689
Chris Lattner33fabd72010-02-02 21:48:51 +0000690unsigned ARMCodeEmitter::getAddrModeSBit(const MachineInstr &MI,
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000691 const TargetInstrDesc &TID) const {
Evan Cheng97c573d2008-11-20 02:25:51 +0000692 for (unsigned i = MI.getNumOperands(), e = TID.getNumOperands(); i != e; --i){
Evan Cheng49a9f292008-09-12 22:45:55 +0000693 const MachineOperand &MO = MI.getOperand(i-1);
Dan Gohmand735b802008-10-03 15:45:36 +0000694 if (MO.isReg() && MO.isDef() && MO.getReg() == ARM::CPSR)
Evan Cheng49a9f292008-09-12 22:45:55 +0000695 return 1 << ARMII::S_BitShift;
696 }
697 return 0;
698}
699
Chris Lattner33fabd72010-02-02 21:48:51 +0000700void ARMCodeEmitter::emitDataProcessingInstruction(
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000701 const MachineInstr &MI,
Evan Cheng437c1732008-11-07 22:30:53 +0000702 unsigned ImplicitRd,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000703 unsigned ImplicitRn) {
Evan Chengedda31c2008-11-05 18:35:52 +0000704 const TargetInstrDesc &TID = MI.getDesc();
Evan Chengedda31c2008-11-05 18:35:52 +0000705
Evan Cheng36a0aeb2009-07-06 22:23:46 +0000706 if (TID.Opcode == ARM::BFC) {
Benjamin Kramerd5fe92e2009-08-03 13:33:33 +0000707 llvm_report_error("ARMv6t2 JIT is not yet supported.");
Evan Cheng36a0aeb2009-07-06 22:23:46 +0000708 }
709
Evan Chengedda31c2008-11-05 18:35:52 +0000710 // Part of binary is determined by TableGn.
711 unsigned Binary = getBinaryCodeForInstr(MI);
712
Jim Grosbach33412622008-10-07 19:05:35 +0000713 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000714 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000715
Evan Cheng49a9f292008-09-12 22:45:55 +0000716 // Encode S bit if MI modifies CPSR.
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000717 Binary |= getAddrModeSBit(MI, TID);
Evan Cheng49a9f292008-09-12 22:45:55 +0000718
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000719 // Encode register def if there is one.
Evan Cheng49a9f292008-09-12 22:45:55 +0000720 unsigned NumDefs = TID.getNumDefs();
Evan Chenga964b7d2008-09-12 23:15:39 +0000721 unsigned OpIdx = 0;
Evan Cheng437c1732008-11-07 22:30:53 +0000722 if (NumDefs)
723 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
724 else if (ImplicitRd)
725 // Special handling for implicit use (e.g. PC).
726 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRd)
727 << ARMII::RegRdShift);
Evan Cheng7602e112008-09-02 06:52:38 +0000728
Evan Chengd87293c2008-11-06 08:47:38 +0000729 // If this is a two-address operand, skip it. e.g. MOVCCr operand 1.
730 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
731 ++OpIdx;
732
Jim Grosbachefd30ba2008-10-01 18:16:49 +0000733 // Encode first non-shifter register operand if there is one.
Evan Chengedda31c2008-11-05 18:35:52 +0000734 bool isUnary = TID.TSFlags & ARMII::UnaryDP;
735 if (!isUnary) {
Evan Cheng83b5cf02008-11-05 23:22:34 +0000736 if (ImplicitRn)
737 // Special handling for implicit use (e.g. PC).
738 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
Evan Chengedda31c2008-11-05 18:35:52 +0000739 << ARMII::RegRnShift);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000740 else {
741 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRnShift;
742 ++OpIdx;
743 }
Evan Cheng7602e112008-09-02 06:52:38 +0000744 }
745
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000746 // Encode shifter operand.
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000747 const MachineOperand &MO = MI.getOperand(OpIdx);
Evan Chengedda31c2008-11-05 18:35:52 +0000748 if ((TID.TSFlags & ARMII::FormMask) == ARMII::DPSoRegFrm) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000749 // Encode SoReg.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000750 emitWordLE(Binary | getMachineSoRegOpValue(MI, TID, MO, OpIdx));
Evan Chengedda31c2008-11-05 18:35:52 +0000751 return;
752 }
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000753
Evan Chengedda31c2008-11-05 18:35:52 +0000754 if (MO.isReg()) {
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000755 // Encode register Rm.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000756 emitWordLE(Binary | ARMRegisterInfo::getRegisterNumbering(MO.getReg()));
Evan Chengedda31c2008-11-05 18:35:52 +0000757 return;
758 }
Evan Cheng7602e112008-09-02 06:52:38 +0000759
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000760 // Encode so_imm.
Evan Chenge7cbe412009-07-08 21:03:57 +0000761 Binary |= getMachineSoImmOpValue((unsigned)MO.getImm());
Evan Chengedda31c2008-11-05 18:35:52 +0000762
Evan Cheng83b5cf02008-11-05 23:22:34 +0000763 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000764}
765
Chris Lattner33fabd72010-02-02 21:48:51 +0000766void ARMCodeEmitter::emitLoadStoreInstruction(
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000767 const MachineInstr &MI,
Evan Cheng4df60f52008-11-07 09:06:08 +0000768 unsigned ImplicitRd,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000769 unsigned ImplicitRn) {
Evan Cheng05c356e2008-11-08 01:44:13 +0000770 const TargetInstrDesc &TID = MI.getDesc();
Evan Cheng148cad82008-11-13 07:34:59 +0000771 unsigned Form = TID.TSFlags & ARMII::FormMask;
772 bool IsPrePost = (TID.TSFlags & ARMII::IndexModeMask) != 0;
Evan Cheng05c356e2008-11-08 01:44:13 +0000773
Evan Chengedda31c2008-11-05 18:35:52 +0000774 // Part of binary is determined by TableGn.
775 unsigned Binary = getBinaryCodeForInstr(MI);
776
Jim Grosbach33412622008-10-07 19:05:35 +0000777 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000778 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng057d0c32008-09-18 07:28:19 +0000779
Evan Cheng4df60f52008-11-07 09:06:08 +0000780 unsigned OpIdx = 0;
Evan Cheng148cad82008-11-13 07:34:59 +0000781
782 // Operand 0 of a pre- and post-indexed store is the address base
783 // writeback. Skip it.
784 bool Skipped = false;
785 if (IsPrePost && Form == ARMII::StFrm) {
786 ++OpIdx;
787 Skipped = true;
788 }
789
790 // Set first operand
Evan Cheng4df60f52008-11-07 09:06:08 +0000791 if (ImplicitRd)
792 // Special handling for implicit use (e.g. PC).
793 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRd)
794 << ARMII::RegRdShift);
795 else
796 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000797
798 // Set second operand
Evan Cheng83b5cf02008-11-05 23:22:34 +0000799 if (ImplicitRn)
800 // Special handling for implicit use (e.g. PC).
801 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
802 << ARMII::RegRnShift);
Evan Cheng4df60f52008-11-07 09:06:08 +0000803 else
804 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000805
Evan Cheng05c356e2008-11-08 01:44:13 +0000806 // If this is a two-address operand, skip it. e.g. LDR_PRE.
Evan Cheng148cad82008-11-13 07:34:59 +0000807 if (!Skipped && TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
Evan Cheng05c356e2008-11-08 01:44:13 +0000808 ++OpIdx;
809
Evan Cheng83b5cf02008-11-05 23:22:34 +0000810 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Chengd87293c2008-11-06 08:47:38 +0000811 unsigned AM2Opc = (ImplicitRn == ARM::PC)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000812 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Cheng7602e112008-09-02 06:52:38 +0000813
Evan Chenge7de7e32008-09-13 01:44:01 +0000814 // Set bit U(23) according to sign of immed value (positive or negative).
Evan Cheng83b5cf02008-11-05 23:22:34 +0000815 Binary |= ((ARM_AM::getAM2Op(AM2Opc) == ARM_AM::add ? 1 : 0) <<
Evan Chenge7de7e32008-09-13 01:44:01 +0000816 ARMII::U_BitShift);
Evan Cheng7602e112008-09-02 06:52:38 +0000817 if (!MO2.getReg()) { // is immediate
Evan Cheng83b5cf02008-11-05 23:22:34 +0000818 if (ARM_AM::getAM2Offset(AM2Opc))
Evan Cheng7602e112008-09-02 06:52:38 +0000819 // Set the value of offset_12 field
Evan Cheng83b5cf02008-11-05 23:22:34 +0000820 Binary |= ARM_AM::getAM2Offset(AM2Opc);
821 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +0000822 return;
Evan Cheng7602e112008-09-02 06:52:38 +0000823 }
824
825 // Set bit I(25), because this is not in immediate enconding.
826 Binary |= 1 << ARMII::I_BitShift;
827 assert(TargetRegisterInfo::isPhysicalRegister(MO2.getReg()));
828 // Set bit[3:0] to the corresponding Rm register
829 Binary |= ARMRegisterInfo::getRegisterNumbering(MO2.getReg());
830
Evan Cheng70632912008-11-12 07:34:37 +0000831 // If this instr is in scaled register offset/index instruction, set
Evan Cheng7602e112008-09-02 06:52:38 +0000832 // shift_immed(bit[11:7]) and shift(bit[6:5]) fields.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000833 if (unsigned ShImm = ARM_AM::getAM2Offset(AM2Opc)) {
Evan Cheng70632912008-11-12 07:34:37 +0000834 Binary |= getShiftOp(AM2Opc) << ARMII::ShiftImmShift; // shift
835 Binary |= ShImm << ARMII::ShiftShift; // shift_immed
Evan Cheng7602e112008-09-02 06:52:38 +0000836 }
837
Evan Cheng83b5cf02008-11-05 23:22:34 +0000838 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000839}
840
Chris Lattner33fabd72010-02-02 21:48:51 +0000841void ARMCodeEmitter::emitMiscLoadStoreInstruction(const MachineInstr &MI,
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000842 unsigned ImplicitRn) {
Evan Cheng05c356e2008-11-08 01:44:13 +0000843 const TargetInstrDesc &TID = MI.getDesc();
Evan Cheng148cad82008-11-13 07:34:59 +0000844 unsigned Form = TID.TSFlags & ARMII::FormMask;
845 bool IsPrePost = (TID.TSFlags & ARMII::IndexModeMask) != 0;
Evan Cheng05c356e2008-11-08 01:44:13 +0000846
Evan Chengedda31c2008-11-05 18:35:52 +0000847 // Part of binary is determined by TableGn.
848 unsigned Binary = getBinaryCodeForInstr(MI);
849
Jim Grosbach33412622008-10-07 19:05:35 +0000850 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000851 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng057d0c32008-09-18 07:28:19 +0000852
Evan Cheng148cad82008-11-13 07:34:59 +0000853 unsigned OpIdx = 0;
854
855 // Operand 0 of a pre- and post-indexed store is the address base
856 // writeback. Skip it.
857 bool Skipped = false;
858 if (IsPrePost && Form == ARMII::StMiscFrm) {
859 ++OpIdx;
860 Skipped = true;
861 }
862
Evan Cheng7602e112008-09-02 06:52:38 +0000863 // Set first operand
Evan Cheng148cad82008-11-13 07:34:59 +0000864 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000865
Evan Cheng358dec52009-06-15 08:28:29 +0000866 // Skip LDRD and STRD's second operand.
867 if (TID.Opcode == ARM::LDRD || TID.Opcode == ARM::STRD)
868 ++OpIdx;
869
Evan Cheng7602e112008-09-02 06:52:38 +0000870 // Set second operand
Evan Cheng83b5cf02008-11-05 23:22:34 +0000871 if (ImplicitRn)
872 // Special handling for implicit use (e.g. PC).
873 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
874 << ARMII::RegRnShift);
Evan Cheng4df60f52008-11-07 09:06:08 +0000875 else
876 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000877
Evan Cheng05c356e2008-11-08 01:44:13 +0000878 // If this is a two-address operand, skip it. e.g. LDRH_POST.
Evan Cheng148cad82008-11-13 07:34:59 +0000879 if (!Skipped && TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
Evan Cheng05c356e2008-11-08 01:44:13 +0000880 ++OpIdx;
881
Evan Cheng83b5cf02008-11-05 23:22:34 +0000882 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Chengd87293c2008-11-06 08:47:38 +0000883 unsigned AM3Opc = (ImplicitRn == ARM::PC)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000884 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Cheng7602e112008-09-02 06:52:38 +0000885
Evan Chenge7de7e32008-09-13 01:44:01 +0000886 // Set bit U(23) according to sign of immed value (positive or negative)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000887 Binary |= ((ARM_AM::getAM3Op(AM3Opc) == ARM_AM::add ? 1 : 0) <<
Evan Cheng7602e112008-09-02 06:52:38 +0000888 ARMII::U_BitShift);
889
890 // If this instr is in register offset/index encoding, set bit[3:0]
891 // to the corresponding Rm register.
892 if (MO2.getReg()) {
893 Binary |= ARMRegisterInfo::getRegisterNumbering(MO2.getReg());
Evan Cheng83b5cf02008-11-05 23:22:34 +0000894 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +0000895 return;
Evan Cheng7602e112008-09-02 06:52:38 +0000896 }
897
Evan Chengd87293c2008-11-06 08:47:38 +0000898 // This instr is in immediate offset/index encoding, set bit 22 to 1.
Evan Cheng97f48c32008-11-06 22:15:19 +0000899 Binary |= 1 << ARMII::AM3_I_BitShift;
Evan Cheng83b5cf02008-11-05 23:22:34 +0000900 if (unsigned ImmOffs = ARM_AM::getAM3Offset(AM3Opc)) {
Evan Cheng7602e112008-09-02 06:52:38 +0000901 // Set operands
Evan Cheng70632912008-11-12 07:34:37 +0000902 Binary |= (ImmOffs >> 4) << ARMII::ImmHiShift; // immedH
903 Binary |= (ImmOffs & 0xF); // immedL
Evan Cheng7602e112008-09-02 06:52:38 +0000904 }
905
Evan Cheng83b5cf02008-11-05 23:22:34 +0000906 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000907}
908
Evan Chengcd8e66a2008-11-11 21:48:44 +0000909static unsigned getAddrModeUPBits(unsigned Mode) {
910 unsigned Binary = 0;
Evan Cheng7602e112008-09-02 06:52:38 +0000911
912 // Set addressing mode by modifying bits U(23) and P(24)
913 // IA - Increment after - bit U = 1 and bit P = 0
914 // IB - Increment before - bit U = 1 and bit P = 1
915 // DA - Decrement after - bit U = 0 and bit P = 0
916 // DB - Decrement before - bit U = 0 and bit P = 1
Evan Cheng7602e112008-09-02 06:52:38 +0000917 switch (Mode) {
Torok Edwinc23197a2009-07-14 16:55:14 +0000918 default: llvm_unreachable("Unknown addressing sub-mode!");
Evan Cheng10bf7342009-09-09 23:55:03 +0000919 case ARM_AM::da: break;
Evan Cheng97f48c32008-11-06 22:15:19 +0000920 case ARM_AM::db: Binary |= 0x1 << ARMII::P_BitShift; break;
921 case ARM_AM::ia: Binary |= 0x1 << ARMII::U_BitShift; break;
922 case ARM_AM::ib: Binary |= 0x3 << ARMII::U_BitShift; break;
Evan Cheng7602e112008-09-02 06:52:38 +0000923 }
924
Evan Chengcd8e66a2008-11-11 21:48:44 +0000925 return Binary;
926}
927
Chris Lattner33fabd72010-02-02 21:48:51 +0000928void ARMCodeEmitter::emitLoadStoreMultipleInstruction(
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000929 const MachineInstr &MI) {
Evan Chengcd8e66a2008-11-11 21:48:44 +0000930 // Part of binary is determined by TableGn.
931 unsigned Binary = getBinaryCodeForInstr(MI);
932
933 // Set the conditional execution predicate
934 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
935
936 // Set base address operand
937 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRnShift;
938
939 // Set addressing mode by modifying bits U(23) and P(24)
940 const MachineOperand &MO = MI.getOperand(1);
941 Binary |= getAddrModeUPBits(ARM_AM::getAM4SubMode(MO.getImm()));
942
Evan Cheng7602e112008-09-02 06:52:38 +0000943 // Set bit W(21)
944 if (ARM_AM::getAM4WBFlag(MO.getImm()))
Evan Cheng97f48c32008-11-06 22:15:19 +0000945 Binary |= 0x1 << ARMII::W_BitShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000946
947 // Set registers
Evan Cheng7c043d72009-10-01 01:39:21 +0000948 for (unsigned i = 5, e = MI.getNumOperands(); i != e; ++i) {
Evan Cheng7602e112008-09-02 06:52:38 +0000949 const MachineOperand &MO = MI.getOperand(i);
Evan Chengcd8e66a2008-11-11 21:48:44 +0000950 if (!MO.isReg() || MO.isImplicit())
951 break;
Evan Cheng7602e112008-09-02 06:52:38 +0000952 unsigned RegNum = ARMRegisterInfo::getRegisterNumbering(MO.getReg());
953 assert(TargetRegisterInfo::isPhysicalRegister(MO.getReg()) &&
954 RegNum < 16);
955 Binary |= 0x1 << RegNum;
956 }
957
Evan Cheng83b5cf02008-11-05 23:22:34 +0000958 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000959}
960
Chris Lattner33fabd72010-02-02 21:48:51 +0000961void ARMCodeEmitter::emitMulFrmInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +0000962 const TargetInstrDesc &TID = MI.getDesc();
963
964 // Part of binary is determined by TableGn.
965 unsigned Binary = getBinaryCodeForInstr(MI);
966
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000967 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000968 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000969
970 // Encode S bit if MI modifies CPSR.
971 Binary |= getAddrModeSBit(MI, TID);
972
973 // 32x32->64bit operations have two destination registers. The number
974 // of register definitions will tell us if that's what we're dealing with.
Evan Cheng97f48c32008-11-06 22:15:19 +0000975 unsigned OpIdx = 0;
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000976 if (TID.getNumDefs() == 2)
977 Binary |= getMachineOpValue (MI, OpIdx++) << ARMII::RegRdLoShift;
978
979 // Encode Rd
980 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdHiShift;
981
982 // Encode Rm
983 Binary |= getMachineOpValue(MI, OpIdx++);
984
985 // Encode Rs
986 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRsShift;
987
Evan Chengfbc9d412008-11-06 01:21:28 +0000988 // Many multiple instructions (e.g. MLA) have three src operands. Encode
989 // it as Rn (for multiply, that's in the same offset as RdLo.
Evan Cheng97f48c32008-11-06 22:15:19 +0000990 if (TID.getNumOperands() > OpIdx &&
991 !TID.OpInfo[OpIdx].isPredicate() &&
992 !TID.OpInfo[OpIdx].isOptionalDef())
993 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRdLoShift;
994
995 emitWordLE(Binary);
996}
997
Chris Lattner33fabd72010-02-02 21:48:51 +0000998void ARMCodeEmitter::emitExtendInstruction(const MachineInstr &MI) {
Evan Cheng97f48c32008-11-06 22:15:19 +0000999 const TargetInstrDesc &TID = MI.getDesc();
1000
1001 // Part of binary is determined by TableGn.
1002 unsigned Binary = getBinaryCodeForInstr(MI);
1003
1004 // Set the conditional execution predicate
1005 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1006
1007 unsigned OpIdx = 0;
1008
1009 // Encode Rd
1010 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
1011
1012 const MachineOperand &MO1 = MI.getOperand(OpIdx++);
1013 const MachineOperand &MO2 = MI.getOperand(OpIdx);
1014 if (MO2.isReg()) {
1015 // Two register operand form.
1016 // Encode Rn.
1017 Binary |= getMachineOpValue(MI, MO1) << ARMII::RegRnShift;
1018
1019 // Encode Rm.
1020 Binary |= getMachineOpValue(MI, MO2);
1021 ++OpIdx;
1022 } else {
1023 Binary |= getMachineOpValue(MI, MO1);
1024 }
1025
1026 // Encode rot imm (0, 8, 16, or 24) if it has a rotate immediate operand.
1027 if (MI.getOperand(OpIdx).isImm() &&
1028 !TID.OpInfo[OpIdx].isPredicate() &&
1029 !TID.OpInfo[OpIdx].isOptionalDef())
1030 Binary |= (getMachineOpValue(MI, OpIdx) / 8) << ARMII::ExtRotImmShift;
Evan Chengfbc9d412008-11-06 01:21:28 +00001031
Evan Cheng83b5cf02008-11-05 23:22:34 +00001032 emitWordLE(Binary);
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +00001033}
1034
Chris Lattner33fabd72010-02-02 21:48:51 +00001035void ARMCodeEmitter::emitMiscArithInstruction(const MachineInstr &MI) {
Evan Cheng8b59db32008-11-07 01:41:35 +00001036 const TargetInstrDesc &TID = MI.getDesc();
1037
1038 // Part of binary is determined by TableGn.
1039 unsigned Binary = getBinaryCodeForInstr(MI);
1040
1041 // Set the conditional execution predicate
1042 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1043
1044 unsigned OpIdx = 0;
1045
1046 // Encode Rd
1047 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
1048
1049 const MachineOperand &MO = MI.getOperand(OpIdx++);
1050 if (OpIdx == TID.getNumOperands() ||
1051 TID.OpInfo[OpIdx].isPredicate() ||
1052 TID.OpInfo[OpIdx].isOptionalDef()) {
1053 // Encode Rm and it's done.
1054 Binary |= getMachineOpValue(MI, MO);
1055 emitWordLE(Binary);
1056 return;
1057 }
1058
1059 // Encode Rn.
1060 Binary |= getMachineOpValue(MI, MO) << ARMII::RegRnShift;
1061
1062 // Encode Rm.
1063 Binary |= getMachineOpValue(MI, OpIdx++);
1064
1065 // Encode shift_imm.
1066 unsigned ShiftAmt = MI.getOperand(OpIdx).getImm();
1067 assert(ShiftAmt < 32 && "shift_imm range is 0 to 31!");
1068 Binary |= ShiftAmt << ARMII::ShiftShift;
Jim Grosbach764ab522009-08-11 15:33:49 +00001069
Evan Cheng8b59db32008-11-07 01:41:35 +00001070 emitWordLE(Binary);
1071}
1072
Chris Lattner33fabd72010-02-02 21:48:51 +00001073void ARMCodeEmitter::emitBranchInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +00001074 const TargetInstrDesc &TID = MI.getDesc();
1075
Torok Edwindac237e2009-07-08 20:53:28 +00001076 if (TID.Opcode == ARM::TPsoft) {
Torok Edwinc23197a2009-07-14 16:55:14 +00001077 llvm_unreachable("ARM::TPsoft FIXME"); // FIXME
Torok Edwindac237e2009-07-08 20:53:28 +00001078 }
Evan Cheng12c3a532008-11-06 17:48:05 +00001079
Evan Cheng7602e112008-09-02 06:52:38 +00001080 // Part of binary is determined by TableGn.
1081 unsigned Binary = getBinaryCodeForInstr(MI);
1082
Evan Chengedda31c2008-11-05 18:35:52 +00001083 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +00001084 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chengedda31c2008-11-05 18:35:52 +00001085
1086 // Set signed_immed_24 field
1087 Binary |= getMachineOpValue(MI, 0);
1088
Evan Cheng83b5cf02008-11-05 23:22:34 +00001089 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +00001090}
1091
Chris Lattner33fabd72010-02-02 21:48:51 +00001092void ARMCodeEmitter::emitInlineJumpTable(unsigned JTIndex) {
Evan Cheng4df60f52008-11-07 09:06:08 +00001093 // Remember the base address of the inline jump table.
Evan Cheng5788d1a2008-12-10 02:32:19 +00001094 uintptr_t JTBase = MCE.getCurrentPCValue();
Evan Cheng437c1732008-11-07 22:30:53 +00001095 JTI->addJumpTableBaseAddr(JTIndex, JTBase);
Chris Lattner893e1c92009-08-23 06:49:22 +00001096 DEBUG(errs() << " ** Jump Table #" << JTIndex << " @ " << (void*)JTBase
1097 << '\n');
Evan Cheng4df60f52008-11-07 09:06:08 +00001098
1099 // Now emit the jump table entries.
1100 const std::vector<MachineBasicBlock*> &MBBs = (*MJTEs)[JTIndex].MBBs;
1101 for (unsigned i = 0, e = MBBs.size(); i != e; ++i) {
1102 if (IsPIC)
1103 // DestBB address - JT base.
Evan Cheng437c1732008-11-07 22:30:53 +00001104 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_pic_jt, JTBase);
Evan Cheng4df60f52008-11-07 09:06:08 +00001105 else
1106 // Absolute DestBB address.
1107 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_absolute);
1108 emitWordLE(0);
1109 }
1110}
1111
Chris Lattner33fabd72010-02-02 21:48:51 +00001112void ARMCodeEmitter::emitMiscBranchInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +00001113 const TargetInstrDesc &TID = MI.getDesc();
Evan Chengedda31c2008-11-05 18:35:52 +00001114
Evan Cheng437c1732008-11-07 22:30:53 +00001115 // Handle jump tables.
Evan Cheng90daf4d2009-07-25 00:13:11 +00001116 if (TID.Opcode == ARM::BR_JTr || TID.Opcode == ARM::BR_JTadd) {
Evan Cheng437c1732008-11-07 22:30:53 +00001117 // First emit a ldr pc, [] instruction.
1118 emitDataProcessingInstruction(MI, ARM::PC);
1119
1120 // Then emit the inline jump table.
Evan Chengc9a41532009-07-08 00:05:05 +00001121 unsigned JTIndex =
Evan Cheng90daf4d2009-07-25 00:13:11 +00001122 (TID.Opcode == ARM::BR_JTr)
Evan Cheng437c1732008-11-07 22:30:53 +00001123 ? MI.getOperand(1).getIndex() : MI.getOperand(2).getIndex();
1124 emitInlineJumpTable(JTIndex);
1125 return;
Evan Cheng90daf4d2009-07-25 00:13:11 +00001126 } else if (TID.Opcode == ARM::BR_JTm) {
Evan Cheng4df60f52008-11-07 09:06:08 +00001127 // First emit a ldr pc, [] instruction.
1128 emitLoadStoreInstruction(MI, ARM::PC);
1129
1130 // Then emit the inline jump table.
Evan Cheng437c1732008-11-07 22:30:53 +00001131 emitInlineJumpTable(MI.getOperand(3).getIndex());
Evan Cheng4df60f52008-11-07 09:06:08 +00001132 return;
1133 }
1134
Evan Chengedda31c2008-11-05 18:35:52 +00001135 // Part of binary is determined by TableGn.
1136 unsigned Binary = getBinaryCodeForInstr(MI);
1137
1138 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +00001139 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chengedda31c2008-11-05 18:35:52 +00001140
Anton Korobeynikovce7bf1c2010-03-06 19:39:36 +00001141 if (TID.Opcode == ARM::BX_RET || TID.Opcode == ARM::MOVPCLR)
Evan Chengedda31c2008-11-05 18:35:52 +00001142 // The return register is LR.
1143 Binary |= ARMRegisterInfo::getRegisterNumbering(ARM::LR);
Jim Grosbach764ab522009-08-11 15:33:49 +00001144 else
Evan Chengedda31c2008-11-05 18:35:52 +00001145 // otherwise, set the return register
1146 Binary |= getMachineOpValue(MI, 0);
1147
Evan Cheng83b5cf02008-11-05 23:22:34 +00001148 emitWordLE(Binary);
Evan Cheng148b6a42007-07-05 21:15:40 +00001149}
Evan Cheng7602e112008-09-02 06:52:38 +00001150
Evan Cheng80a11982008-11-12 06:41:41 +00001151static unsigned encodeVFPRd(const MachineInstr &MI, unsigned OpIdx) {
Evan Chengd06d48d2008-11-12 02:19:38 +00001152 unsigned RegD = MI.getOperand(OpIdx).getReg();
Evan Cheng80a11982008-11-12 06:41:41 +00001153 unsigned Binary = 0;
Evan Chengd06d48d2008-11-12 02:19:38 +00001154 bool isSPVFP = false;
Evan Cheng8295d992009-07-22 05:55:18 +00001155 RegD = ARMRegisterInfo::getRegisterNumbering(RegD, &isSPVFP);
Evan Chengd06d48d2008-11-12 02:19:38 +00001156 if (!isSPVFP)
1157 Binary |= RegD << ARMII::RegRdShift;
1158 else {
1159 Binary |= ((RegD & 0x1E) >> 1) << ARMII::RegRdShift;
1160 Binary |= (RegD & 0x01) << ARMII::D_BitShift;
1161 }
Evan Cheng80a11982008-11-12 06:41:41 +00001162 return Binary;
1163}
Evan Cheng78be83d2008-11-11 19:40:26 +00001164
Evan Cheng80a11982008-11-12 06:41:41 +00001165static unsigned encodeVFPRn(const MachineInstr &MI, unsigned OpIdx) {
Evan Chengd06d48d2008-11-12 02:19:38 +00001166 unsigned RegN = MI.getOperand(OpIdx).getReg();
Evan Cheng80a11982008-11-12 06:41:41 +00001167 unsigned Binary = 0;
1168 bool isSPVFP = false;
Evan Cheng8295d992009-07-22 05:55:18 +00001169 RegN = ARMRegisterInfo::getRegisterNumbering(RegN, &isSPVFP);
Evan Chengd06d48d2008-11-12 02:19:38 +00001170 if (!isSPVFP)
1171 Binary |= RegN << ARMII::RegRnShift;
1172 else {
1173 Binary |= ((RegN & 0x1E) >> 1) << ARMII::RegRnShift;
1174 Binary |= (RegN & 0x01) << ARMII::N_BitShift;
1175 }
Evan Cheng80a11982008-11-12 06:41:41 +00001176 return Binary;
1177}
Evan Chengd06d48d2008-11-12 02:19:38 +00001178
Evan Cheng80a11982008-11-12 06:41:41 +00001179static unsigned encodeVFPRm(const MachineInstr &MI, unsigned OpIdx) {
1180 unsigned RegM = MI.getOperand(OpIdx).getReg();
1181 unsigned Binary = 0;
1182 bool isSPVFP = false;
Evan Cheng8295d992009-07-22 05:55:18 +00001183 RegM = ARMRegisterInfo::getRegisterNumbering(RegM, &isSPVFP);
Evan Cheng80a11982008-11-12 06:41:41 +00001184 if (!isSPVFP)
1185 Binary |= RegM;
1186 else {
1187 Binary |= ((RegM & 0x1E) >> 1);
1188 Binary |= (RegM & 0x01) << ARMII::M_BitShift;
Evan Cheng78be83d2008-11-11 19:40:26 +00001189 }
Evan Cheng80a11982008-11-12 06:41:41 +00001190 return Binary;
1191}
1192
Chris Lattner33fabd72010-02-02 21:48:51 +00001193void ARMCodeEmitter::emitVFPArithInstruction(const MachineInstr &MI) {
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001194 const TargetInstrDesc &TID = MI.getDesc();
1195
1196 // Part of binary is determined by TableGn.
1197 unsigned Binary = getBinaryCodeForInstr(MI);
1198
1199 // Set the conditional execution predicate
1200 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1201
1202 unsigned OpIdx = 0;
1203 assert((Binary & ARMII::D_BitShift) == 0 &&
1204 (Binary & ARMII::N_BitShift) == 0 &&
1205 (Binary & ARMII::M_BitShift) == 0 && "VFP encoding bug!");
1206
1207 // Encode Dd / Sd.
1208 Binary |= encodeVFPRd(MI, OpIdx++);
1209
1210 // If this is a two-address operand, skip it, e.g. FMACD.
1211 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1212 ++OpIdx;
1213
1214 // Encode Dn / Sn.
1215 if ((TID.TSFlags & ARMII::FormMask) == ARMII::VFPBinaryFrm)
Evan Cheng3f4924e2008-11-12 08:14:21 +00001216 Binary |= encodeVFPRn(MI, OpIdx++);
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001217
1218 if (OpIdx == TID.getNumOperands() ||
1219 TID.OpInfo[OpIdx].isPredicate() ||
1220 TID.OpInfo[OpIdx].isOptionalDef()) {
1221 // FCMPEZD etc. has only one operand.
1222 emitWordLE(Binary);
1223 return;
1224 }
1225
1226 // Encode Dm / Sm.
1227 Binary |= encodeVFPRm(MI, OpIdx);
Jim Grosbach764ab522009-08-11 15:33:49 +00001228
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001229 emitWordLE(Binary);
1230}
1231
Chris Lattner33fabd72010-02-02 21:48:51 +00001232void ARMCodeEmitter::emitVFPConversionInstruction(
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +00001233 const MachineInstr &MI) {
Evan Cheng80a11982008-11-12 06:41:41 +00001234 const TargetInstrDesc &TID = MI.getDesc();
1235 unsigned Form = TID.TSFlags & ARMII::FormMask;
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 switch (Form) {
1244 default: break;
1245 case ARMII::VFPConv1Frm:
1246 case ARMII::VFPConv2Frm:
1247 case ARMII::VFPConv3Frm:
1248 // Encode Dd / Sd.
1249 Binary |= encodeVFPRd(MI, 0);
1250 break;
1251 case ARMII::VFPConv4Frm:
1252 // Encode Dn / Sn.
1253 Binary |= encodeVFPRn(MI, 0);
1254 break;
1255 case ARMII::VFPConv5Frm:
1256 // Encode Dm / Sm.
1257 Binary |= encodeVFPRm(MI, 0);
1258 break;
1259 }
1260
1261 switch (Form) {
1262 default: break;
1263 case ARMII::VFPConv1Frm:
1264 // Encode Dm / Sm.
1265 Binary |= encodeVFPRm(MI, 1);
Evan Cheng67fd91f2008-11-13 07:46:59 +00001266 break;
Evan Cheng80a11982008-11-12 06:41:41 +00001267 case ARMII::VFPConv2Frm:
1268 case ARMII::VFPConv3Frm:
1269 // Encode Dn / Sn.
1270 Binary |= encodeVFPRn(MI, 1);
1271 break;
1272 case ARMII::VFPConv4Frm:
1273 case ARMII::VFPConv5Frm:
1274 // Encode Dd / Sd.
1275 Binary |= encodeVFPRd(MI, 1);
1276 break;
1277 }
1278
1279 if (Form == ARMII::VFPConv5Frm)
1280 // Encode Dn / Sn.
1281 Binary |= encodeVFPRn(MI, 2);
1282 else if (Form == ARMII::VFPConv3Frm)
1283 // Encode Dm / Sm.
1284 Binary |= encodeVFPRm(MI, 2);
Evan Cheng78be83d2008-11-11 19:40:26 +00001285
1286 emitWordLE(Binary);
1287}
1288
Chris Lattner33fabd72010-02-02 21:48:51 +00001289void ARMCodeEmitter::emitVFPLoadStoreInstruction(const MachineInstr &MI) {
Evan Chengcd8e66a2008-11-11 21:48:44 +00001290 // Part of binary is determined by TableGn.
1291 unsigned Binary = getBinaryCodeForInstr(MI);
1292
1293 // Set the conditional execution predicate
1294 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1295
1296 unsigned OpIdx = 0;
1297
1298 // Encode Dd / Sd.
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001299 Binary |= encodeVFPRd(MI, OpIdx++);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001300
1301 // Encode address base.
1302 const MachineOperand &Base = MI.getOperand(OpIdx++);
1303 Binary |= getMachineOpValue(MI, Base) << ARMII::RegRnShift;
1304
1305 // If there is a non-zero immediate offset, encode it.
1306 if (Base.isReg()) {
1307 const MachineOperand &Offset = MI.getOperand(OpIdx);
1308 if (unsigned ImmOffs = ARM_AM::getAM5Offset(Offset.getImm())) {
1309 if (ARM_AM::getAM5Op(Offset.getImm()) == ARM_AM::add)
1310 Binary |= 1 << ARMII::U_BitShift;
Evan Cheng607f1b42008-11-12 08:21:12 +00001311 Binary |= ImmOffs;
Evan Chengcd8e66a2008-11-11 21:48:44 +00001312 emitWordLE(Binary);
1313 return;
1314 }
1315 }
1316
1317 // If immediate offset is omitted, default to +0.
1318 Binary |= 1 << ARMII::U_BitShift;
1319
1320 emitWordLE(Binary);
1321}
1322
Chris Lattner33fabd72010-02-02 21:48:51 +00001323void ARMCodeEmitter::emitVFPLoadStoreMultipleInstruction(
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +00001324 const MachineInstr &MI) {
Evan Chengcd8e66a2008-11-11 21:48:44 +00001325 // Part of binary is determined by TableGn.
1326 unsigned Binary = getBinaryCodeForInstr(MI);
1327
1328 // Set the conditional execution predicate
1329 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1330
1331 // Set base address operand
1332 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRnShift;
1333
1334 // Set addressing mode by modifying bits U(23) and P(24)
1335 const MachineOperand &MO = MI.getOperand(1);
1336 Binary |= getAddrModeUPBits(ARM_AM::getAM5SubMode(MO.getImm()));
1337
1338 // Set bit W(21)
1339 if (ARM_AM::getAM5WBFlag(MO.getImm()))
1340 Binary |= 0x1 << ARMII::W_BitShift;
1341
1342 // First register is encoded in Dd.
Evan Cheng7c043d72009-10-01 01:39:21 +00001343 Binary |= encodeVFPRd(MI, 5);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001344
1345 // Number of registers are encoded in offset field.
1346 unsigned NumRegs = 1;
Evan Cheng7c043d72009-10-01 01:39:21 +00001347 for (unsigned i = 6, e = MI.getNumOperands(); i != e; ++i) {
Evan Chengcd8e66a2008-11-11 21:48:44 +00001348 const MachineOperand &MO = MI.getOperand(i);
1349 if (!MO.isReg() || MO.isImplicit())
1350 break;
1351 ++NumRegs;
1352 }
1353 Binary |= NumRegs * 2;
1354
1355 emitWordLE(Binary);
1356}
1357
Chris Lattner33fabd72010-02-02 21:48:51 +00001358void ARMCodeEmitter::emitMiscInstruction(const MachineInstr &MI) {
Evan Chengcd8e66a2008-11-11 21:48:44 +00001359 // Part of binary is determined by TableGn.
1360 unsigned Binary = getBinaryCodeForInstr(MI);
1361
1362 // Set the conditional execution predicate
1363 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1364
1365 emitWordLE(Binary);
1366}
1367
Evan Cheng7602e112008-09-02 06:52:38 +00001368#include "ARMGenCodeEmitter.inc"