blob: f84f85a86141b9db379b339d2bfa96b603363f99 [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;
Chris Lattner16112732010-03-14 01:41:15 +000054 MachineModuleInfo *MMI;
Evan Cheng938b9d82008-10-31 19:55:13 +000055 const std::vector<MachineConstantPoolEntry> *MCPEs;
Evan Cheng4df60f52008-11-07 09:06:08 +000056 const std::vector<MachineJumpTableEntry> *MJTEs;
57 bool IsPIC;
Bob Wilson87949d42010-03-17 21:16:45 +000058
Daniel Dunbar003de662009-09-21 05:58:35 +000059 void getAnalysisUsage(AnalysisUsage &AU) const {
60 AU.addRequired<MachineModuleInfo>();
61 MachineFunctionPass::getAnalysisUsage(AU);
62 }
Bob Wilson87949d42010-03-17 21:16:45 +000063
Evan Cheng148b6a42007-07-05 21:15:40 +000064 static char ID;
Chris Lattner33fabd72010-02-02 21:48:51 +000065 public:
66 ARMCodeEmitter(TargetMachine &tm, JITCodeEmitter &mce)
Dan Gohman3fb150a2010-04-17 17:42:52 +000067 : MachineFunctionPass(&ID), JTI(0),
68 II((const ARMInstrInfo *)tm.getInstrInfo()),
Chris Lattner33fabd72010-02-02 21:48:51 +000069 TD(tm.getTargetData()), TM(tm),
70 MCE(mce), MCPEs(0), MJTEs(0),
71 IsPIC(TM.getRelocationModel() == Reloc::PIC_) {}
Bob Wilson87949d42010-03-17 21:16:45 +000072
Chris Lattner33fabd72010-02-02 21:48:51 +000073 /// getBinaryCodeForInstr - This function, generated by the
74 /// CodeEmitterGenerator using TableGen, produces the binary encoding for
75 /// machine instructions.
76 unsigned getBinaryCodeForInstr(const MachineInstr &MI);
Evan Cheng148b6a42007-07-05 21:15:40 +000077
78 bool runOnMachineFunction(MachineFunction &MF);
79
80 virtual const char *getPassName() const {
81 return "ARM Machine Code Emitter";
82 }
83
84 void emitInstruction(const MachineInstr &MI);
Evan Cheng7602e112008-09-02 06:52:38 +000085
86 private:
Evan Cheng057d0c32008-09-18 07:28:19 +000087
Evan Cheng83b5cf02008-11-05 23:22:34 +000088 void emitWordLE(unsigned Binary);
Evan Chengcb5201f2008-11-11 22:19:31 +000089 void emitDWordLE(uint64_t Binary);
Evan Cheng057d0c32008-09-18 07:28:19 +000090 void emitConstPoolInstruction(const MachineInstr &MI);
Evan Cheng90922132008-11-06 02:25:39 +000091 void emitMOVi2piecesInstruction(const MachineInstr &MI);
Evan Cheng4df60f52008-11-07 09:06:08 +000092 void emitLEApcrelJTInstruction(const MachineInstr &MI);
Evan Chenga9562552008-11-14 20:09:11 +000093 void emitPseudoMoveInstruction(const MachineInstr &MI);
Evan Cheng83b5cf02008-11-05 23:22:34 +000094 void addPCLabel(unsigned LabelID);
Evan Cheng057d0c32008-09-18 07:28:19 +000095 void emitPseudoInstruction(const MachineInstr &MI);
Evan Cheng5f1db7b2008-09-12 22:01:15 +000096 unsigned getMachineSoRegOpValue(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +000097 const TargetInstrDesc &TID,
Evan Chengeb4ed4b2008-10-31 19:10:44 +000098 const MachineOperand &MO,
Evan Cheng5f1db7b2008-09-12 22:01:15 +000099 unsigned OpIdx);
100
Evan Cheng90922132008-11-06 02:25:39 +0000101 unsigned getMachineSoImmOpValue(unsigned SoImm);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000102
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000103 unsigned getAddrModeSBit(const MachineInstr &MI,
104 const TargetInstrDesc &TID) const;
Evan Cheng49a9f292008-09-12 22:45:55 +0000105
Evan Cheng83b5cf02008-11-05 23:22:34 +0000106 void emitDataProcessingInstruction(const MachineInstr &MI,
Evan Cheng437c1732008-11-07 22:30:53 +0000107 unsigned ImplicitRd = 0,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000108 unsigned ImplicitRn = 0);
Evan Cheng7602e112008-09-02 06:52:38 +0000109
Evan Cheng83b5cf02008-11-05 23:22:34 +0000110 void emitLoadStoreInstruction(const MachineInstr &MI,
Evan Cheng4df60f52008-11-07 09:06:08 +0000111 unsigned ImplicitRd = 0,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000112 unsigned ImplicitRn = 0);
Evan Chengedda31c2008-11-05 18:35:52 +0000113
Evan Cheng83b5cf02008-11-05 23:22:34 +0000114 void emitMiscLoadStoreInstruction(const MachineInstr &MI,
115 unsigned ImplicitRn = 0);
Evan Chengedda31c2008-11-05 18:35:52 +0000116
117 void emitLoadStoreMultipleInstruction(const MachineInstr &MI);
118
Evan Chengfbc9d412008-11-06 01:21:28 +0000119 void emitMulFrmInstruction(const MachineInstr &MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000120
Evan Cheng97f48c32008-11-06 22:15:19 +0000121 void emitExtendInstruction(const MachineInstr &MI);
122
Evan Cheng8b59db32008-11-07 01:41:35 +0000123 void emitMiscArithInstruction(const MachineInstr &MI);
124
Evan Chengedda31c2008-11-05 18:35:52 +0000125 void emitBranchInstruction(const MachineInstr &MI);
126
Evan Cheng437c1732008-11-07 22:30:53 +0000127 void emitInlineJumpTable(unsigned JTIndex);
Evan Cheng4df60f52008-11-07 09:06:08 +0000128
Evan Chengedda31c2008-11-05 18:35:52 +0000129 void emitMiscBranchInstruction(const MachineInstr &MI);
Evan Cheng7602e112008-09-02 06:52:38 +0000130
Evan Cheng96581d32008-11-11 02:11:05 +0000131 void emitVFPArithInstruction(const MachineInstr &MI);
132
Evan Cheng78be83d2008-11-11 19:40:26 +0000133 void emitVFPConversionInstruction(const MachineInstr &MI);
134
Evan Chengcd8e66a2008-11-11 21:48:44 +0000135 void emitVFPLoadStoreInstruction(const MachineInstr &MI);
136
137 void emitVFPLoadStoreMultipleInstruction(const MachineInstr &MI);
138
139 void emitMiscInstruction(const MachineInstr &MI);
140
Evan Cheng7602e112008-09-02 06:52:38 +0000141 /// getMachineOpValue - Return binary encoding of operand. If the machine
142 /// operand requires relocation, record the relocation and return zero.
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000143 unsigned getMachineOpValue(const MachineInstr &MI,const MachineOperand &MO);
Evan Cheng7602e112008-09-02 06:52:38 +0000144 unsigned getMachineOpValue(const MachineInstr &MI, unsigned OpIdx) {
145 return getMachineOpValue(MI, MI.getOperand(OpIdx));
146 }
Evan Cheng7602e112008-09-02 06:52:38 +0000147
Evan Cheng83b5cf02008-11-05 23:22:34 +0000148 /// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
Evan Cheng7602e112008-09-02 06:52:38 +0000149 ///
Evan Cheng83b5cf02008-11-05 23:22:34 +0000150 unsigned getShiftOp(unsigned Imm) const ;
Evan Cheng7602e112008-09-02 06:52:38 +0000151
152 /// Routines that handle operands which add machine relocations which are
Evan Cheng437c1732008-11-07 22:30:53 +0000153 /// fixed up by the relocation stage.
Dan Gohman46510a72010-04-15 01:51:59 +0000154 void emitGlobalAddress(const GlobalValue *GV, unsigned Reloc,
Jeffrey Yasskin2d274412009-11-07 08:51:52 +0000155 bool MayNeedFarStub, bool Indirect,
156 intptr_t ACPV = 0);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000157 void emitExternalSymbolAddress(const char *ES, unsigned Reloc);
Evan Cheng437c1732008-11-07 22:30:53 +0000158 void emitConstPoolAddress(unsigned CPI, unsigned Reloc);
159 void emitJumpTableAddress(unsigned JTIndex, unsigned Reloc);
160 void emitMachineBasicBlock(MachineBasicBlock *BB, unsigned Reloc,
161 intptr_t JTBase = 0);
Evan Cheng148b6a42007-07-05 21:15:40 +0000162 };
Evan Cheng148b6a42007-07-05 21:15:40 +0000163}
164
Chris Lattner33fabd72010-02-02 21:48:51 +0000165char ARMCodeEmitter::ID = 0;
166
Bob Wilson87949d42010-03-17 21:16:45 +0000167/// createARMJITCodeEmitterPass - Return a pass that emits the collected ARM
Chris Lattnere0faa542010-02-02 21:38:59 +0000168/// code to the specified MCE object.
Bruno Cardoso Lopesac57e6e2009-07-06 05:09:34 +0000169FunctionPass *llvm::createARMJITCodeEmitterPass(ARMBaseTargetMachine &TM,
170 JITCodeEmitter &JCE) {
Chris Lattner33fabd72010-02-02 21:48:51 +0000171 return new ARMCodeEmitter(TM, JCE);
Evan Cheng148b6a42007-07-05 21:15:40 +0000172}
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000173
Chris Lattner33fabd72010-02-02 21:48:51 +0000174bool ARMCodeEmitter::runOnMachineFunction(MachineFunction &MF) {
Evan Cheng148b6a42007-07-05 21:15:40 +0000175 assert((MF.getTarget().getRelocationModel() != Reloc::Default ||
176 MF.getTarget().getRelocationModel() != Reloc::Static) &&
177 "JIT relocation model must be set to static or default!");
Dan Gohman3fb150a2010-04-17 17:42:52 +0000178 JTI = ((ARMTargetMachine &)MF.getTarget()).getJITInfo();
179 II = ((const ARMTargetMachine &)MF.getTarget()).getInstrInfo();
180 TD = ((const ARMTargetMachine &)MF.getTarget()).getTargetData();
Evan Cheng08669742009-09-10 01:23:53 +0000181 Subtarget = &TM.getSubtarget<ARMSubtarget>();
Evan Cheng938b9d82008-10-31 19:55:13 +0000182 MCPEs = &MF.getConstantPool()->getConstants();
Chris Lattnerb1e80392010-01-25 23:22:00 +0000183 MJTEs = 0;
184 if (MF.getJumpTableInfo()) MJTEs = &MF.getJumpTableInfo()->getJumpTables();
Evan Cheng4df60f52008-11-07 09:06:08 +0000185 IsPIC = TM.getRelocationModel() == Reloc::PIC_;
Evan Cheng3cc82232008-11-08 07:38:22 +0000186 JTI->Initialize(MF, IsPIC);
Chris Lattner16112732010-03-14 01:41:15 +0000187 MMI = &getAnalysis<MachineModuleInfo>();
188 MCE.setModuleInfo(MMI);
Evan Cheng148b6a42007-07-05 21:15:40 +0000189
190 do {
Jim Grosbach764ab522009-08-11 15:33:49 +0000191 DEBUG(errs() << "JITTing function '"
Daniel Dunbarce63ffb2009-07-25 00:23:56 +0000192 << MF.getFunction()->getName() << "'\n");
Evan Cheng148b6a42007-07-05 21:15:40 +0000193 MCE.startFunction(MF);
Jim Grosbach764ab522009-08-11 15:33:49 +0000194 for (MachineFunction::iterator MBB = MF.begin(), E = MF.end();
Evan Cheng148b6a42007-07-05 21:15:40 +0000195 MBB != E; ++MBB) {
196 MCE.StartMachineBasicBlock(MBB);
197 for (MachineBasicBlock::const_iterator I = MBB->begin(), E = MBB->end();
198 I != E; ++I)
199 emitInstruction(*I);
200 }
201 } while (MCE.finishFunction(MF));
202
203 return false;
204}
205
Evan Cheng83b5cf02008-11-05 23:22:34 +0000206/// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
Evan Cheng7602e112008-09-02 06:52:38 +0000207///
Chris Lattner33fabd72010-02-02 21:48:51 +0000208unsigned ARMCodeEmitter::getShiftOp(unsigned Imm) const {
Evan Cheng83b5cf02008-11-05 23:22:34 +0000209 switch (ARM_AM::getAM2ShiftOpc(Imm)) {
Torok Edwinc23197a2009-07-14 16:55:14 +0000210 default: llvm_unreachable("Unknown shift opc!");
Evan Cheng7602e112008-09-02 06:52:38 +0000211 case ARM_AM::asr: return 2;
212 case ARM_AM::lsl: return 0;
213 case ARM_AM::lsr: return 1;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000214 case ARM_AM::ror:
Evan Cheng7602e112008-09-02 06:52:38 +0000215 case ARM_AM::rrx: return 3;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000216 }
Evan Cheng7602e112008-09-02 06:52:38 +0000217 return 0;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000218}
219
Evan Cheng7602e112008-09-02 06:52:38 +0000220/// getMachineOpValue - Return binary encoding of operand. If the machine
221/// operand requires relocation, record the relocation and return zero.
Chris Lattner33fabd72010-02-02 21:48:51 +0000222unsigned ARMCodeEmitter::getMachineOpValue(const MachineInstr &MI,
223 const MachineOperand &MO) {
Dan Gohmand735b802008-10-03 15:45:36 +0000224 if (MO.isReg())
Evan Cheng7602e112008-09-02 06:52:38 +0000225 return ARMRegisterInfo::getRegisterNumbering(MO.getReg());
Dan Gohmand735b802008-10-03 15:45:36 +0000226 else if (MO.isImm())
Evan Cheng7602e112008-09-02 06:52:38 +0000227 return static_cast<unsigned>(MO.getImm());
Dan Gohmand735b802008-10-03 15:45:36 +0000228 else if (MO.isGlobal())
Evan Cheng08669742009-09-10 01:23:53 +0000229 emitGlobalAddress(MO.getGlobal(), ARM::reloc_arm_branch, true, false);
Dan Gohmand735b802008-10-03 15:45:36 +0000230 else if (MO.isSymbol())
Evan Cheng10332512008-11-08 07:22:33 +0000231 emitExternalSymbolAddress(MO.getSymbolName(), ARM::reloc_arm_branch);
Evan Cheng580c0df2008-11-12 01:02:24 +0000232 else if (MO.isCPI()) {
233 const TargetInstrDesc &TID = MI.getDesc();
234 // For VFP load, the immediate offset is multiplied by 4.
235 unsigned Reloc = ((TID.TSFlags & ARMII::FormMask) == ARMII::VFPLdStFrm)
236 ? ARM::reloc_arm_vfp_cp_entry : ARM::reloc_arm_cp_entry;
237 emitConstPoolAddress(MO.getIndex(), Reloc);
238 } else if (MO.isJTI())
Chris Lattner8aa797a2007-12-30 23:10:15 +0000239 emitJumpTableAddress(MO.getIndex(), ARM::reloc_arm_relative);
Dan Gohmand735b802008-10-03 15:45:36 +0000240 else if (MO.isMBB())
Evan Cheng4df60f52008-11-07 09:06:08 +0000241 emitMachineBasicBlock(MO.getMBB(), ARM::reloc_arm_branch);
Evan Cheng2aa0e642008-09-13 01:55:59 +0000242 else {
Torok Edwindac237e2009-07-08 20:53:28 +0000243#ifndef NDEBUG
Chris Lattner705e07f2009-08-23 03:41:05 +0000244 errs() << MO;
Torok Edwindac237e2009-07-08 20:53:28 +0000245#endif
Torok Edwinc23197a2009-07-14 16:55:14 +0000246 llvm_unreachable(0);
Evan Cheng2aa0e642008-09-13 01:55:59 +0000247 }
Evan Cheng7602e112008-09-02 06:52:38 +0000248 return 0;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000249}
250
Evan Cheng057d0c32008-09-18 07:28:19 +0000251/// emitGlobalAddress - Emit the specified address to the code stream.
Evan Cheng0ff94f72007-08-07 01:37:15 +0000252///
Dan Gohman46510a72010-04-15 01:51:59 +0000253void ARMCodeEmitter::emitGlobalAddress(const GlobalValue *GV, unsigned Reloc,
Chris Lattner33fabd72010-02-02 21:48:51 +0000254 bool MayNeedFarStub, bool Indirect,
255 intptr_t ACPV) {
Evan Cheng08669742009-09-10 01:23:53 +0000256 MachineRelocation MR = Indirect
257 ? MachineRelocation::getIndirectSymbol(MCE.getCurrentPCOffset(), Reloc,
Dan Gohman46510a72010-04-15 01:51:59 +0000258 const_cast<GlobalValue *>(GV),
259 ACPV, MayNeedFarStub)
Evan Cheng08669742009-09-10 01:23:53 +0000260 : MachineRelocation::getGV(MCE.getCurrentPCOffset(), Reloc,
Dan Gohman46510a72010-04-15 01:51:59 +0000261 const_cast<GlobalValue *>(GV), ACPV,
262 MayNeedFarStub);
Evan Cheng08669742009-09-10 01:23:53 +0000263 MCE.addRelocation(MR);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000264}
265
266/// emitExternalSymbolAddress - Arrange for the address of an external symbol to
267/// be emitted to the current location in the function, and allow it to be PC
268/// relative.
Chris Lattner33fabd72010-02-02 21:48:51 +0000269void ARMCodeEmitter::emitExternalSymbolAddress(const char *ES, unsigned Reloc) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000270 MCE.addRelocation(MachineRelocation::getExtSym(MCE.getCurrentPCOffset(),
271 Reloc, ES));
272}
273
274/// emitConstPoolAddress - Arrange for the address of an constant pool
275/// to be emitted to the current location in the function, and allow it to be PC
276/// relative.
Chris Lattner33fabd72010-02-02 21:48:51 +0000277void ARMCodeEmitter::emitConstPoolAddress(unsigned CPI, unsigned Reloc) {
Evan Cheng0f282432008-10-29 23:55:43 +0000278 // Tell JIT emitter we'll resolve the address.
Evan Cheng0ff94f72007-08-07 01:37:15 +0000279 MCE.addRelocation(MachineRelocation::getConstPool(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000280 Reloc, CPI, 0, true));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000281}
282
283/// emitJumpTableAddress - Arrange for the address of a jump table to
284/// be emitted to the current location in the function, and allow it to be PC
285/// relative.
Chris Lattner33fabd72010-02-02 21:48:51 +0000286void ARMCodeEmitter::emitJumpTableAddress(unsigned JTIndex, unsigned Reloc) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000287 MCE.addRelocation(MachineRelocation::getJumpTable(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000288 Reloc, JTIndex, 0, true));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000289}
290
Raul Herbster9c1a3822007-08-30 23:29:26 +0000291/// emitMachineBasicBlock - Emit the specified address basic block.
Chris Lattner33fabd72010-02-02 21:48:51 +0000292void ARMCodeEmitter::emitMachineBasicBlock(MachineBasicBlock *BB,
293 unsigned Reloc, intptr_t JTBase) {
Raul Herbster9c1a3822007-08-30 23:29:26 +0000294 MCE.addRelocation(MachineRelocation::getBB(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000295 Reloc, BB, JTBase));
Raul Herbster9c1a3822007-08-30 23:29:26 +0000296}
Evan Cheng0ff94f72007-08-07 01:37:15 +0000297
Chris Lattner33fabd72010-02-02 21:48:51 +0000298void ARMCodeEmitter::emitWordLE(unsigned Binary) {
Chris Lattner893e1c92009-08-23 06:49:22 +0000299 DEBUG(errs() << " 0x";
300 errs().write_hex(Binary) << "\n");
Evan Cheng83b5cf02008-11-05 23:22:34 +0000301 MCE.emitWordLE(Binary);
302}
303
Chris Lattner33fabd72010-02-02 21:48:51 +0000304void ARMCodeEmitter::emitDWordLE(uint64_t Binary) {
Chris Lattner893e1c92009-08-23 06:49:22 +0000305 DEBUG(errs() << " 0x";
306 errs().write_hex(Binary) << "\n");
Evan Chengcb5201f2008-11-11 22:19:31 +0000307 MCE.emitDWordLE(Binary);
308}
309
Chris Lattner33fabd72010-02-02 21:48:51 +0000310void ARMCodeEmitter::emitInstruction(const MachineInstr &MI) {
Chris Lattner705e07f2009-08-23 03:41:05 +0000311 DEBUG(errs() << "JIT: " << (void*)MCE.getCurrentPCValue() << ":\t" << MI);
Evan Cheng42d5ee062008-09-13 01:15:21 +0000312
Devang Patelaf0e2722009-10-06 02:19:11 +0000313 MCE.processDebugLoc(MI.getDebugLoc(), true);
Jeffrey Yasskin75402822009-07-17 18:49:39 +0000314
Evan Cheng148b6a42007-07-05 21:15:40 +0000315 NumEmitted++; // Keep track of the # of mi's emitted
Evan Chengedda31c2008-11-05 18:35:52 +0000316 switch (MI.getDesc().TSFlags & ARMII::FormMask) {
Evan Chengffa6d962008-11-13 23:36:57 +0000317 default: {
Torok Edwinc23197a2009-07-14 16:55:14 +0000318 llvm_unreachable("Unhandled instruction encoding format!");
Evan Chengedda31c2008-11-05 18:35:52 +0000319 break;
Evan Chengffa6d962008-11-13 23:36:57 +0000320 }
Evan Chengedda31c2008-11-05 18:35:52 +0000321 case ARMII::Pseudo:
Evan Cheng057d0c32008-09-18 07:28:19 +0000322 emitPseudoInstruction(MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000323 break;
324 case ARMII::DPFrm:
325 case ARMII::DPSoRegFrm:
326 emitDataProcessingInstruction(MI);
327 break;
Evan Cheng148cad82008-11-13 07:34:59 +0000328 case ARMII::LdFrm:
329 case ARMII::StFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000330 emitLoadStoreInstruction(MI);
331 break;
Evan Cheng148cad82008-11-13 07:34:59 +0000332 case ARMII::LdMiscFrm:
333 case ARMII::StMiscFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000334 emitMiscLoadStoreInstruction(MI);
335 break;
Evan Cheng3c4a4ff2008-11-12 07:18:38 +0000336 case ARMII::LdStMulFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000337 emitLoadStoreMultipleInstruction(MI);
338 break;
Evan Chengfbc9d412008-11-06 01:21:28 +0000339 case ARMII::MulFrm:
340 emitMulFrmInstruction(MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000341 break;
Evan Cheng97f48c32008-11-06 22:15:19 +0000342 case ARMII::ExtFrm:
343 emitExtendInstruction(MI);
344 break;
Evan Cheng8b59db32008-11-07 01:41:35 +0000345 case ARMII::ArithMiscFrm:
346 emitMiscArithInstruction(MI);
347 break;
Evan Cheng12c3a532008-11-06 17:48:05 +0000348 case ARMII::BrFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000349 emitBranchInstruction(MI);
350 break;
Evan Cheng12c3a532008-11-06 17:48:05 +0000351 case ARMII::BrMiscFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000352 emitMiscBranchInstruction(MI);
353 break;
Evan Cheng96581d32008-11-11 02:11:05 +0000354 // VFP instructions.
355 case ARMII::VFPUnaryFrm:
356 case ARMII::VFPBinaryFrm:
357 emitVFPArithInstruction(MI);
358 break;
Evan Cheng78be83d2008-11-11 19:40:26 +0000359 case ARMII::VFPConv1Frm:
360 case ARMII::VFPConv2Frm:
Evan Cheng0a0ab132008-11-11 22:46:12 +0000361 case ARMII::VFPConv3Frm:
Evan Cheng80a11982008-11-12 06:41:41 +0000362 case ARMII::VFPConv4Frm:
363 case ARMII::VFPConv5Frm:
Evan Cheng78be83d2008-11-11 19:40:26 +0000364 emitVFPConversionInstruction(MI);
365 break;
Evan Chengcd8e66a2008-11-11 21:48:44 +0000366 case ARMII::VFPLdStFrm:
367 emitVFPLoadStoreInstruction(MI);
368 break;
369 case ARMII::VFPLdStMulFrm:
370 emitVFPLoadStoreMultipleInstruction(MI);
371 break;
372 case ARMII::VFPMiscFrm:
373 emitMiscInstruction(MI);
374 break;
Evan Chengedda31c2008-11-05 18:35:52 +0000375 }
Devang Patelaf0e2722009-10-06 02:19:11 +0000376 MCE.processDebugLoc(MI.getDebugLoc(), false);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000377}
378
Chris Lattner33fabd72010-02-02 21:48:51 +0000379void ARMCodeEmitter::emitConstPoolInstruction(const MachineInstr &MI) {
Evan Cheng437c1732008-11-07 22:30:53 +0000380 unsigned CPI = MI.getOperand(0).getImm(); // CP instruction index.
381 unsigned CPIndex = MI.getOperand(1).getIndex(); // Actual cp entry index.
Evan Cheng938b9d82008-10-31 19:55:13 +0000382 const MachineConstantPoolEntry &MCPE = (*MCPEs)[CPIndex];
Jim Grosbach764ab522009-08-11 15:33:49 +0000383
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000384 // Remember the CONSTPOOL_ENTRY address for later relocation.
385 JTI->addConstantPoolEntryAddr(CPI, MCE.getCurrentPCValue());
386
387 // Emit constpool island entry. In most cases, the actual values will be
388 // resolved and relocated after code emission.
389 if (MCPE.isMachineConstantPoolEntry()) {
390 ARMConstantPoolValue *ACPV =
391 static_cast<ARMConstantPoolValue*>(MCPE.Val.MachineCPVal);
392
Chris Lattner705e07f2009-08-23 03:41:05 +0000393 DEBUG(errs() << " ** ARM constant pool #" << CPI << " @ "
394 << (void*)MCE.getCurrentPCValue() << " " << *ACPV << '\n');
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000395
Bob Wilson28989a82009-11-02 16:59:06 +0000396 assert(ACPV->isGlobalValue() && "unsupported constant pool value");
Dan Gohman46510a72010-04-15 01:51:59 +0000397 const GlobalValue *GV = ACPV->getGV();
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000398 if (GV) {
Evan Cheng08669742009-09-10 01:23:53 +0000399 Reloc::Model RelocM = TM.getRelocationModel();
Evan Chenge4e4ed32009-08-28 23:18:09 +0000400 emitGlobalAddress(GV, ARM::reloc_arm_machine_cp_entry,
Evan Cheng08669742009-09-10 01:23:53 +0000401 isa<Function>(GV),
402 Subtarget->GVIsIndirectSymbol(GV, RelocM),
403 (intptr_t)ACPV);
Evan Cheng25e04782008-11-04 00:50:32 +0000404 } else {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000405 emitExternalSymbolAddress(ACPV->getSymbol(), ARM::reloc_arm_absolute);
406 }
Evan Cheng83b5cf02008-11-05 23:22:34 +0000407 emitWordLE(0);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000408 } else {
Dan Gohman46510a72010-04-15 01:51:59 +0000409 const Constant *CV = MCPE.Val.ConstVal;
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000410
Daniel Dunbarce63ffb2009-07-25 00:23:56 +0000411 DEBUG({
412 errs() << " ** Constant pool #" << CPI << " @ "
413 << (void*)MCE.getCurrentPCValue() << " ";
414 if (const Function *F = dyn_cast<Function>(CV))
415 errs() << F->getName();
416 else
417 errs() << *CV;
418 errs() << '\n';
419 });
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000420
Dan Gohman46510a72010-04-15 01:51:59 +0000421 if (const GlobalValue *GV = dyn_cast<GlobalValue>(CV)) {
Evan Cheng08669742009-09-10 01:23:53 +0000422 emitGlobalAddress(GV, ARM::reloc_arm_absolute, isa<Function>(GV), false);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000423 emitWordLE(0);
Evan Chengcb5201f2008-11-11 22:19:31 +0000424 } else if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000425 uint32_t Val = *(uint32_t*)CI->getValue().getRawData();
Evan Cheng83b5cf02008-11-05 23:22:34 +0000426 emitWordLE(Val);
Evan Chengcb5201f2008-11-11 22:19:31 +0000427 } else if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV)) {
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000428 if (CFP->getType()->isFloatTy())
Evan Chengcb5201f2008-11-11 22:19:31 +0000429 emitWordLE(CFP->getValueAPF().bitcastToAPInt().getZExtValue());
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000430 else if (CFP->getType()->isDoubleTy())
Evan Chengcb5201f2008-11-11 22:19:31 +0000431 emitDWordLE(CFP->getValueAPF().bitcastToAPInt().getZExtValue());
432 else {
Torok Edwinc23197a2009-07-14 16:55:14 +0000433 llvm_unreachable("Unable to handle this constantpool entry!");
Evan Chengcb5201f2008-11-11 22:19:31 +0000434 }
435 } else {
Torok Edwinc23197a2009-07-14 16:55:14 +0000436 llvm_unreachable("Unable to handle this constantpool entry!");
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000437 }
438 }
439}
440
Chris Lattner33fabd72010-02-02 21:48:51 +0000441void ARMCodeEmitter::emitMOVi2piecesInstruction(const MachineInstr &MI) {
Evan Cheng90922132008-11-06 02:25:39 +0000442 const MachineOperand &MO0 = MI.getOperand(0);
443 const MachineOperand &MO1 = MI.getOperand(1);
Bob Wilson5265a122010-03-11 00:46:22 +0000444 assert(MO1.isImm() && ARM_AM::isSOImmTwoPartVal(MO1.getImm()) &&
445 "Not a valid so_imm value!");
Evan Cheng90922132008-11-06 02:25:39 +0000446 unsigned V1 = ARM_AM::getSOImmTwoPartFirst(MO1.getImm());
447 unsigned V2 = ARM_AM::getSOImmTwoPartSecond(MO1.getImm());
448
449 // Emit the 'mov' instruction.
450 unsigned Binary = 0xd << 21; // mov: Insts{24-21} = 0b1101
451
452 // Set the conditional execution predicate.
Evan Cheng97f48c32008-11-06 22:15:19 +0000453 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng90922132008-11-06 02:25:39 +0000454
455 // Encode Rd.
456 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
457
458 // Encode so_imm.
459 // Set bit I(25) to identify this is the immediate form of <shifter_op>
460 Binary |= 1 << ARMII::I_BitShift;
Evan Chenge7cbe412009-07-08 21:03:57 +0000461 Binary |= getMachineSoImmOpValue(V1);
Evan Cheng90922132008-11-06 02:25:39 +0000462 emitWordLE(Binary);
463
464 // Now the 'orr' instruction.
465 Binary = 0xc << 21; // orr: Insts{24-21} = 0b1100
466
467 // Set the conditional execution predicate.
Evan Cheng97f48c32008-11-06 22:15:19 +0000468 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng90922132008-11-06 02:25:39 +0000469
470 // Encode Rd.
471 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
472
473 // Encode Rn.
474 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRnShift;
475
476 // Encode so_imm.
477 // Set bit I(25) to identify this is the immediate form of <shifter_op>
478 Binary |= 1 << ARMII::I_BitShift;
Evan Chenge7cbe412009-07-08 21:03:57 +0000479 Binary |= getMachineSoImmOpValue(V2);
Evan Cheng90922132008-11-06 02:25:39 +0000480 emitWordLE(Binary);
481}
482
Chris Lattner33fabd72010-02-02 21:48:51 +0000483void ARMCodeEmitter::emitLEApcrelJTInstruction(const MachineInstr &MI) {
Evan Cheng4df60f52008-11-07 09:06:08 +0000484 // It's basically add r, pc, (LJTI - $+8)
Jim Grosbach764ab522009-08-11 15:33:49 +0000485
Evan Cheng4df60f52008-11-07 09:06:08 +0000486 const TargetInstrDesc &TID = MI.getDesc();
487
488 // Emit the 'add' instruction.
489 unsigned Binary = 0x4 << 21; // add: Insts{24-31} = 0b0100
490
491 // Set the conditional execution predicate
492 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
493
494 // Encode S bit if MI modifies CPSR.
495 Binary |= getAddrModeSBit(MI, TID);
496
497 // Encode Rd.
498 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
499
500 // Encode Rn which is PC.
501 Binary |= ARMRegisterInfo::getRegisterNumbering(ARM::PC) << ARMII::RegRnShift;
502
503 // Encode the displacement.
Evan Cheng4df60f52008-11-07 09:06:08 +0000504 Binary |= 1 << ARMII::I_BitShift;
505 emitJumpTableAddress(MI.getOperand(1).getIndex(), ARM::reloc_arm_jt_base);
506
507 emitWordLE(Binary);
508}
509
Chris Lattner33fabd72010-02-02 21:48:51 +0000510void ARMCodeEmitter::emitPseudoMoveInstruction(const MachineInstr &MI) {
Evan Chenga9562552008-11-14 20:09:11 +0000511 unsigned Opcode = MI.getDesc().Opcode;
512
513 // Part of binary is determined by TableGn.
514 unsigned Binary = getBinaryCodeForInstr(MI);
515
516 // Set the conditional execution predicate
517 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
518
519 // Encode S bit if MI modifies CPSR.
520 if (Opcode == ARM::MOVsrl_flag || Opcode == ARM::MOVsra_flag)
521 Binary |= 1 << ARMII::S_BitShift;
522
523 // Encode register def if there is one.
524 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
525
526 // Encode the shift operation.
527 switch (Opcode) {
528 default: break;
529 case ARM::MOVrx:
530 // rrx
531 Binary |= 0x6 << 4;
532 break;
533 case ARM::MOVsrl_flag:
534 // lsr #1
535 Binary |= (0x2 << 4) | (1 << 7);
536 break;
537 case ARM::MOVsra_flag:
538 // asr #1
539 Binary |= (0x4 << 4) | (1 << 7);
540 break;
541 }
542
543 // Encode register Rm.
544 Binary |= getMachineOpValue(MI, 1);
545
546 emitWordLE(Binary);
547}
548
Chris Lattner33fabd72010-02-02 21:48:51 +0000549void ARMCodeEmitter::addPCLabel(unsigned LabelID) {
Chris Lattner893e1c92009-08-23 06:49:22 +0000550 DEBUG(errs() << " ** LPC" << LabelID << " @ "
551 << (void*)MCE.getCurrentPCValue() << '\n');
Evan Cheng83b5cf02008-11-05 23:22:34 +0000552 JTI->addPCLabelAddr(LabelID, MCE.getCurrentPCValue());
553}
554
Chris Lattner33fabd72010-02-02 21:48:51 +0000555void ARMCodeEmitter::emitPseudoInstruction(const MachineInstr &MI) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000556 unsigned Opcode = MI.getDesc().Opcode;
557 switch (Opcode) {
558 default:
Evan Cheng5adb66a2009-09-28 09:14:39 +0000559 llvm_unreachable("ARMCodeEmitter::emitPseudoInstruction");
560 // FIXME: Add support for MOVimm32.
Chris Lattner518bb532010-02-09 19:54:29 +0000561 case TargetOpcode::INLINEASM: {
Evan Chenge3066ab2008-11-19 23:21:33 +0000562 // We allow inline assembler nodes with empty bodies - they can
563 // implicitly define registers, which is ok for JIT.
564 if (MI.getOperand(0).getSymbolName()[0]) {
Chris Lattner75361b62010-04-07 22:58:41 +0000565 report_fatal_error("JIT does not support inline asm!");
Evan Chenge3066ab2008-11-19 23:21:33 +0000566 }
Evan Chengffa6d962008-11-13 23:36:57 +0000567 break;
568 }
Chris Lattner518bb532010-02-09 19:54:29 +0000569 case TargetOpcode::DBG_LABEL:
Chris Lattner7561d482010-03-14 02:33:54 +0000570 case TargetOpcode::EH_LABEL:
571 MCE.emitLabel(MI.getOperand(0).getMCSymbol());
572 break;
Chris Lattner518bb532010-02-09 19:54:29 +0000573 case TargetOpcode::IMPLICIT_DEF:
574 case TargetOpcode::KILL:
Evan Chengffa6d962008-11-13 23:36:57 +0000575 // Do nothing.
576 break;
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000577 case ARM::CONSTPOOL_ENTRY:
578 emitConstPoolInstruction(MI);
579 break;
580 case ARM::PICADD: {
Evan Cheng25e04782008-11-04 00:50:32 +0000581 // Remember of the address of the PC label for relocation later.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000582 addPCLabel(MI.getOperand(2).getImm());
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000583 // PICADD is just an add instruction that implicitly read pc.
Evan Cheng437c1732008-11-07 22:30:53 +0000584 emitDataProcessingInstruction(MI, 0, ARM::PC);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000585 break;
586 }
587 case ARM::PICLDR:
588 case ARM::PICLDRB:
589 case ARM::PICSTR:
590 case ARM::PICSTRB: {
591 // Remember of the address of the PC label for relocation later.
592 addPCLabel(MI.getOperand(2).getImm());
593 // These are just load / store instructions that implicitly read pc.
Evan Cheng4df60f52008-11-07 09:06:08 +0000594 emitLoadStoreInstruction(MI, 0, ARM::PC);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000595 break;
596 }
597 case ARM::PICLDRH:
598 case ARM::PICLDRSH:
599 case ARM::PICLDRSB:
600 case ARM::PICSTRH: {
601 // Remember of the address of the PC label for relocation later.
602 addPCLabel(MI.getOperand(2).getImm());
603 // These are just load / store instructions that implicitly read pc.
604 emitMiscLoadStoreInstruction(MI, ARM::PC);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000605 break;
606 }
Evan Cheng90922132008-11-06 02:25:39 +0000607 case ARM::MOVi2pieces:
608 // Two instructions to materialize a constant.
609 emitMOVi2piecesInstruction(MI);
610 break;
Evan Cheng4df60f52008-11-07 09:06:08 +0000611 case ARM::LEApcrelJT:
612 // Materialize jumptable address.
613 emitLEApcrelJTInstruction(MI);
614 break;
Evan Chenga9562552008-11-14 20:09:11 +0000615 case ARM::MOVrx:
616 case ARM::MOVsrl_flag:
617 case ARM::MOVsra_flag:
618 emitPseudoMoveInstruction(MI);
619 break;
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000620 }
621}
622
Bob Wilson87949d42010-03-17 21:16:45 +0000623unsigned ARMCodeEmitter::getMachineSoRegOpValue(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +0000624 const TargetInstrDesc &TID,
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000625 const MachineOperand &MO,
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000626 unsigned OpIdx) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000627 unsigned Binary = getMachineOpValue(MI, MO);
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000628
629 const MachineOperand &MO1 = MI.getOperand(OpIdx + 1);
630 const MachineOperand &MO2 = MI.getOperand(OpIdx + 2);
631 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO2.getImm());
632
633 // Encode the shift opcode.
634 unsigned SBits = 0;
635 unsigned Rs = MO1.getReg();
636 if (Rs) {
637 // Set shift operand (bit[7:4]).
638 // LSL - 0001
639 // LSR - 0011
640 // ASR - 0101
641 // ROR - 0111
642 // RRX - 0110 and bit[11:8] clear.
643 switch (SOpc) {
Torok Edwinc23197a2009-07-14 16:55:14 +0000644 default: llvm_unreachable("Unknown shift opc!");
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000645 case ARM_AM::lsl: SBits = 0x1; break;
646 case ARM_AM::lsr: SBits = 0x3; break;
647 case ARM_AM::asr: SBits = 0x5; break;
648 case ARM_AM::ror: SBits = 0x7; break;
649 case ARM_AM::rrx: SBits = 0x6; break;
650 }
651 } else {
652 // Set shift operand (bit[6:4]).
653 // LSL - 000
654 // LSR - 010
655 // ASR - 100
656 // ROR - 110
657 switch (SOpc) {
Torok Edwinc23197a2009-07-14 16:55:14 +0000658 default: llvm_unreachable("Unknown shift opc!");
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000659 case ARM_AM::lsl: SBits = 0x0; break;
660 case ARM_AM::lsr: SBits = 0x2; break;
661 case ARM_AM::asr: SBits = 0x4; break;
662 case ARM_AM::ror: SBits = 0x6; break;
663 }
664 }
665 Binary |= SBits << 4;
666 if (SOpc == ARM_AM::rrx)
667 return Binary;
668
669 // Encode the shift operation Rs or shift_imm (except rrx).
670 if (Rs) {
671 // Encode Rs bit[11:8].
672 assert(ARM_AM::getSORegOffset(MO2.getImm()) == 0);
673 return Binary |
674 (ARMRegisterInfo::getRegisterNumbering(Rs) << ARMII::RegRsShift);
675 }
676
677 // Encode shift_imm bit[11:7].
678 return Binary | ARM_AM::getSORegOffset(MO2.getImm()) << 7;
679}
680
Chris Lattner33fabd72010-02-02 21:48:51 +0000681unsigned ARMCodeEmitter::getMachineSoImmOpValue(unsigned SoImm) {
Evan Chenge7cbe412009-07-08 21:03:57 +0000682 int SoImmVal = ARM_AM::getSOImmVal(SoImm);
683 assert(SoImmVal != -1 && "Not a valid so_imm value!");
684
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000685 // Encode rotate_imm.
Evan Chenge7cbe412009-07-08 21:03:57 +0000686 unsigned Binary = (ARM_AM::getSOImmValRot((unsigned)SoImmVal) >> 1)
Evan Cheng97f48c32008-11-06 22:15:19 +0000687 << ARMII::SoRotImmShift;
688
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000689 // Encode immed_8.
Evan Chenge7cbe412009-07-08 21:03:57 +0000690 Binary |= ARM_AM::getSOImmValImm((unsigned)SoImmVal);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000691 return Binary;
692}
693
Chris Lattner33fabd72010-02-02 21:48:51 +0000694unsigned ARMCodeEmitter::getAddrModeSBit(const MachineInstr &MI,
Bob Wilson87949d42010-03-17 21:16:45 +0000695 const TargetInstrDesc &TID) const {
Evan Cheng97c573d2008-11-20 02:25:51 +0000696 for (unsigned i = MI.getNumOperands(), e = TID.getNumOperands(); i != e; --i){
Evan Cheng49a9f292008-09-12 22:45:55 +0000697 const MachineOperand &MO = MI.getOperand(i-1);
Dan Gohmand735b802008-10-03 15:45:36 +0000698 if (MO.isReg() && MO.isDef() && MO.getReg() == ARM::CPSR)
Evan Cheng49a9f292008-09-12 22:45:55 +0000699 return 1 << ARMII::S_BitShift;
700 }
701 return 0;
702}
703
Bob Wilson87949d42010-03-17 21:16:45 +0000704void ARMCodeEmitter::emitDataProcessingInstruction(const MachineInstr &MI,
Evan Cheng437c1732008-11-07 22:30:53 +0000705 unsigned ImplicitRd,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000706 unsigned ImplicitRn) {
Evan Chengedda31c2008-11-05 18:35:52 +0000707 const TargetInstrDesc &TID = MI.getDesc();
Evan Chengedda31c2008-11-05 18:35:52 +0000708
Evan Cheng36a0aeb2009-07-06 22:23:46 +0000709 if (TID.Opcode == ARM::BFC) {
Chris Lattner75361b62010-04-07 22:58:41 +0000710 report_fatal_error("ARMv6t2 JIT is not yet supported.");
Evan Cheng36a0aeb2009-07-06 22:23:46 +0000711 }
712
Evan Chengedda31c2008-11-05 18:35:52 +0000713 // Part of binary is determined by TableGn.
714 unsigned Binary = getBinaryCodeForInstr(MI);
715
Jim Grosbach33412622008-10-07 19:05:35 +0000716 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000717 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000718
Evan Cheng49a9f292008-09-12 22:45:55 +0000719 // Encode S bit if MI modifies CPSR.
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000720 Binary |= getAddrModeSBit(MI, TID);
Evan Cheng49a9f292008-09-12 22:45:55 +0000721
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000722 // Encode register def if there is one.
Evan Cheng49a9f292008-09-12 22:45:55 +0000723 unsigned NumDefs = TID.getNumDefs();
Evan Chenga964b7d2008-09-12 23:15:39 +0000724 unsigned OpIdx = 0;
Evan Cheng437c1732008-11-07 22:30:53 +0000725 if (NumDefs)
726 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
727 else if (ImplicitRd)
728 // Special handling for implicit use (e.g. PC).
729 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRd)
730 << ARMII::RegRdShift);
Evan Cheng7602e112008-09-02 06:52:38 +0000731
Evan Chengd87293c2008-11-06 08:47:38 +0000732 // If this is a two-address operand, skip it. e.g. MOVCCr operand 1.
733 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
734 ++OpIdx;
735
Jim Grosbachefd30ba2008-10-01 18:16:49 +0000736 // Encode first non-shifter register operand if there is one.
Evan Chengedda31c2008-11-05 18:35:52 +0000737 bool isUnary = TID.TSFlags & ARMII::UnaryDP;
738 if (!isUnary) {
Evan Cheng83b5cf02008-11-05 23:22:34 +0000739 if (ImplicitRn)
740 // Special handling for implicit use (e.g. PC).
741 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
Evan Chengedda31c2008-11-05 18:35:52 +0000742 << ARMII::RegRnShift);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000743 else {
744 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRnShift;
745 ++OpIdx;
746 }
Evan Cheng7602e112008-09-02 06:52:38 +0000747 }
748
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000749 // Encode shifter operand.
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000750 const MachineOperand &MO = MI.getOperand(OpIdx);
Evan Chengedda31c2008-11-05 18:35:52 +0000751 if ((TID.TSFlags & ARMII::FormMask) == ARMII::DPSoRegFrm) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000752 // Encode SoReg.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000753 emitWordLE(Binary | getMachineSoRegOpValue(MI, TID, MO, OpIdx));
Evan Chengedda31c2008-11-05 18:35:52 +0000754 return;
755 }
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000756
Evan Chengedda31c2008-11-05 18:35:52 +0000757 if (MO.isReg()) {
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000758 // Encode register Rm.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000759 emitWordLE(Binary | ARMRegisterInfo::getRegisterNumbering(MO.getReg()));
Evan Chengedda31c2008-11-05 18:35:52 +0000760 return;
761 }
Evan Cheng7602e112008-09-02 06:52:38 +0000762
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000763 // Encode so_imm.
Evan Chenge7cbe412009-07-08 21:03:57 +0000764 Binary |= getMachineSoImmOpValue((unsigned)MO.getImm());
Evan Chengedda31c2008-11-05 18:35:52 +0000765
Evan Cheng83b5cf02008-11-05 23:22:34 +0000766 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000767}
768
Bob Wilson87949d42010-03-17 21:16:45 +0000769void ARMCodeEmitter::emitLoadStoreInstruction(const MachineInstr &MI,
Evan Cheng4df60f52008-11-07 09:06:08 +0000770 unsigned ImplicitRd,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000771 unsigned ImplicitRn) {
Evan Cheng05c356e2008-11-08 01:44:13 +0000772 const TargetInstrDesc &TID = MI.getDesc();
Evan Cheng148cad82008-11-13 07:34:59 +0000773 unsigned Form = TID.TSFlags & ARMII::FormMask;
774 bool IsPrePost = (TID.TSFlags & ARMII::IndexModeMask) != 0;
Evan Cheng05c356e2008-11-08 01:44:13 +0000775
Evan Chengedda31c2008-11-05 18:35:52 +0000776 // Part of binary is determined by TableGn.
777 unsigned Binary = getBinaryCodeForInstr(MI);
778
Jim Grosbach33412622008-10-07 19:05:35 +0000779 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000780 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng057d0c32008-09-18 07:28:19 +0000781
Evan Cheng4df60f52008-11-07 09:06:08 +0000782 unsigned OpIdx = 0;
Evan Cheng148cad82008-11-13 07:34:59 +0000783
784 // Operand 0 of a pre- and post-indexed store is the address base
785 // writeback. Skip it.
786 bool Skipped = false;
787 if (IsPrePost && Form == ARMII::StFrm) {
788 ++OpIdx;
789 Skipped = true;
790 }
791
792 // Set first operand
Evan Cheng4df60f52008-11-07 09:06:08 +0000793 if (ImplicitRd)
794 // Special handling for implicit use (e.g. PC).
795 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRd)
796 << ARMII::RegRdShift);
797 else
798 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000799
800 // Set second operand
Evan Cheng83b5cf02008-11-05 23:22:34 +0000801 if (ImplicitRn)
802 // Special handling for implicit use (e.g. PC).
803 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
804 << ARMII::RegRnShift);
Evan Cheng4df60f52008-11-07 09:06:08 +0000805 else
806 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000807
Evan Cheng05c356e2008-11-08 01:44:13 +0000808 // If this is a two-address operand, skip it. e.g. LDR_PRE.
Evan Cheng148cad82008-11-13 07:34:59 +0000809 if (!Skipped && TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
Evan Cheng05c356e2008-11-08 01:44:13 +0000810 ++OpIdx;
811
Evan Cheng83b5cf02008-11-05 23:22:34 +0000812 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Chengd87293c2008-11-06 08:47:38 +0000813 unsigned AM2Opc = (ImplicitRn == ARM::PC)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000814 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Cheng7602e112008-09-02 06:52:38 +0000815
Evan Chenge7de7e32008-09-13 01:44:01 +0000816 // Set bit U(23) according to sign of immed value (positive or negative).
Evan Cheng83b5cf02008-11-05 23:22:34 +0000817 Binary |= ((ARM_AM::getAM2Op(AM2Opc) == ARM_AM::add ? 1 : 0) <<
Evan Chenge7de7e32008-09-13 01:44:01 +0000818 ARMII::U_BitShift);
Evan Cheng7602e112008-09-02 06:52:38 +0000819 if (!MO2.getReg()) { // is immediate
Evan Cheng83b5cf02008-11-05 23:22:34 +0000820 if (ARM_AM::getAM2Offset(AM2Opc))
Evan Cheng7602e112008-09-02 06:52:38 +0000821 // Set the value of offset_12 field
Evan Cheng83b5cf02008-11-05 23:22:34 +0000822 Binary |= ARM_AM::getAM2Offset(AM2Opc);
823 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +0000824 return;
Evan Cheng7602e112008-09-02 06:52:38 +0000825 }
826
827 // Set bit I(25), because this is not in immediate enconding.
828 Binary |= 1 << ARMII::I_BitShift;
829 assert(TargetRegisterInfo::isPhysicalRegister(MO2.getReg()));
830 // Set bit[3:0] to the corresponding Rm register
831 Binary |= ARMRegisterInfo::getRegisterNumbering(MO2.getReg());
832
Evan Cheng70632912008-11-12 07:34:37 +0000833 // If this instr is in scaled register offset/index instruction, set
Evan Cheng7602e112008-09-02 06:52:38 +0000834 // shift_immed(bit[11:7]) and shift(bit[6:5]) fields.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000835 if (unsigned ShImm = ARM_AM::getAM2Offset(AM2Opc)) {
Evan Cheng70632912008-11-12 07:34:37 +0000836 Binary |= getShiftOp(AM2Opc) << ARMII::ShiftImmShift; // shift
837 Binary |= ShImm << ARMII::ShiftShift; // shift_immed
Evan Cheng7602e112008-09-02 06:52:38 +0000838 }
839
Evan Cheng83b5cf02008-11-05 23:22:34 +0000840 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000841}
842
Chris Lattner33fabd72010-02-02 21:48:51 +0000843void ARMCodeEmitter::emitMiscLoadStoreInstruction(const MachineInstr &MI,
Bob Wilson87949d42010-03-17 21:16:45 +0000844 unsigned ImplicitRn) {
Evan Cheng05c356e2008-11-08 01:44:13 +0000845 const TargetInstrDesc &TID = MI.getDesc();
Evan Cheng148cad82008-11-13 07:34:59 +0000846 unsigned Form = TID.TSFlags & ARMII::FormMask;
847 bool IsPrePost = (TID.TSFlags & ARMII::IndexModeMask) != 0;
Evan Cheng05c356e2008-11-08 01:44:13 +0000848
Evan Chengedda31c2008-11-05 18:35:52 +0000849 // Part of binary is determined by TableGn.
850 unsigned Binary = getBinaryCodeForInstr(MI);
851
Jim Grosbach33412622008-10-07 19:05:35 +0000852 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000853 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng057d0c32008-09-18 07:28:19 +0000854
Evan Cheng148cad82008-11-13 07:34:59 +0000855 unsigned OpIdx = 0;
856
857 // Operand 0 of a pre- and post-indexed store is the address base
858 // writeback. Skip it.
859 bool Skipped = false;
860 if (IsPrePost && Form == ARMII::StMiscFrm) {
861 ++OpIdx;
862 Skipped = true;
863 }
864
Evan Cheng7602e112008-09-02 06:52:38 +0000865 // Set first operand
Evan Cheng148cad82008-11-13 07:34:59 +0000866 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000867
Evan Cheng358dec52009-06-15 08:28:29 +0000868 // Skip LDRD and STRD's second operand.
869 if (TID.Opcode == ARM::LDRD || TID.Opcode == ARM::STRD)
870 ++OpIdx;
871
Evan Cheng7602e112008-09-02 06:52:38 +0000872 // Set second operand
Evan Cheng83b5cf02008-11-05 23:22:34 +0000873 if (ImplicitRn)
874 // Special handling for implicit use (e.g. PC).
875 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
876 << ARMII::RegRnShift);
Evan Cheng4df60f52008-11-07 09:06:08 +0000877 else
878 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000879
Evan Cheng05c356e2008-11-08 01:44:13 +0000880 // If this is a two-address operand, skip it. e.g. LDRH_POST.
Evan Cheng148cad82008-11-13 07:34:59 +0000881 if (!Skipped && TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
Evan Cheng05c356e2008-11-08 01:44:13 +0000882 ++OpIdx;
883
Evan Cheng83b5cf02008-11-05 23:22:34 +0000884 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Chengd87293c2008-11-06 08:47:38 +0000885 unsigned AM3Opc = (ImplicitRn == ARM::PC)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000886 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Cheng7602e112008-09-02 06:52:38 +0000887
Evan Chenge7de7e32008-09-13 01:44:01 +0000888 // Set bit U(23) according to sign of immed value (positive or negative)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000889 Binary |= ((ARM_AM::getAM3Op(AM3Opc) == ARM_AM::add ? 1 : 0) <<
Evan Cheng7602e112008-09-02 06:52:38 +0000890 ARMII::U_BitShift);
891
892 // If this instr is in register offset/index encoding, set bit[3:0]
893 // to the corresponding Rm register.
894 if (MO2.getReg()) {
895 Binary |= ARMRegisterInfo::getRegisterNumbering(MO2.getReg());
Evan Cheng83b5cf02008-11-05 23:22:34 +0000896 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +0000897 return;
Evan Cheng7602e112008-09-02 06:52:38 +0000898 }
899
Evan Chengd87293c2008-11-06 08:47:38 +0000900 // This instr is in immediate offset/index encoding, set bit 22 to 1.
Evan Cheng97f48c32008-11-06 22:15:19 +0000901 Binary |= 1 << ARMII::AM3_I_BitShift;
Evan Cheng83b5cf02008-11-05 23:22:34 +0000902 if (unsigned ImmOffs = ARM_AM::getAM3Offset(AM3Opc)) {
Evan Cheng7602e112008-09-02 06:52:38 +0000903 // Set operands
Evan Cheng70632912008-11-12 07:34:37 +0000904 Binary |= (ImmOffs >> 4) << ARMII::ImmHiShift; // immedH
905 Binary |= (ImmOffs & 0xF); // immedL
Evan Cheng7602e112008-09-02 06:52:38 +0000906 }
907
Evan Cheng83b5cf02008-11-05 23:22:34 +0000908 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000909}
910
Evan Chengcd8e66a2008-11-11 21:48:44 +0000911static unsigned getAddrModeUPBits(unsigned Mode) {
912 unsigned Binary = 0;
Evan Cheng7602e112008-09-02 06:52:38 +0000913
914 // Set addressing mode by modifying bits U(23) and P(24)
915 // IA - Increment after - bit U = 1 and bit P = 0
916 // IB - Increment before - bit U = 1 and bit P = 1
917 // DA - Decrement after - bit U = 0 and bit P = 0
918 // DB - Decrement before - bit U = 0 and bit P = 1
Evan Cheng7602e112008-09-02 06:52:38 +0000919 switch (Mode) {
Torok Edwinc23197a2009-07-14 16:55:14 +0000920 default: llvm_unreachable("Unknown addressing sub-mode!");
Evan Cheng10bf7342009-09-09 23:55:03 +0000921 case ARM_AM::da: break;
Evan Cheng97f48c32008-11-06 22:15:19 +0000922 case ARM_AM::db: Binary |= 0x1 << ARMII::P_BitShift; break;
923 case ARM_AM::ia: Binary |= 0x1 << ARMII::U_BitShift; break;
924 case ARM_AM::ib: Binary |= 0x3 << ARMII::U_BitShift; break;
Evan Cheng7602e112008-09-02 06:52:38 +0000925 }
926
Evan Chengcd8e66a2008-11-11 21:48:44 +0000927 return Binary;
928}
929
Bob Wilsonbffb5b32010-03-13 07:34:35 +0000930void ARMCodeEmitter::emitLoadStoreMultipleInstruction(const MachineInstr &MI) {
931 const TargetInstrDesc &TID = MI.getDesc();
932 bool IsUpdating = (TID.TSFlags & ARMII::IndexModeMask) != 0;
933
Evan Chengcd8e66a2008-11-11 21:48:44 +0000934 // Part of binary is determined by TableGn.
935 unsigned Binary = getBinaryCodeForInstr(MI);
936
937 // Set the conditional execution predicate
938 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
939
Bob Wilsonbffb5b32010-03-13 07:34:35 +0000940 // Skip operand 0 of an instruction with base register update.
941 unsigned OpIdx = 0;
942 if (IsUpdating)
943 ++OpIdx;
944
Evan Chengcd8e66a2008-11-11 21:48:44 +0000945 // Set base address operand
Bob Wilsonbffb5b32010-03-13 07:34:35 +0000946 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Chengcd8e66a2008-11-11 21:48:44 +0000947
948 // Set addressing mode by modifying bits U(23) and P(24)
Bob Wilsonbffb5b32010-03-13 07:34:35 +0000949 const MachineOperand &MO = MI.getOperand(OpIdx++);
Evan Chengcd8e66a2008-11-11 21:48:44 +0000950 Binary |= getAddrModeUPBits(ARM_AM::getAM4SubMode(MO.getImm()));
951
Evan Cheng7602e112008-09-02 06:52:38 +0000952 // Set bit W(21)
Bob Wilsonab346052010-03-16 17:46:45 +0000953 if (IsUpdating)
Evan Cheng97f48c32008-11-06 22:15:19 +0000954 Binary |= 0x1 << ARMII::W_BitShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000955
956 // Set registers
Bob Wilsonbffb5b32010-03-13 07:34:35 +0000957 for (unsigned i = OpIdx+2, e = MI.getNumOperands(); i != e; ++i) {
Evan Cheng7602e112008-09-02 06:52:38 +0000958 const MachineOperand &MO = MI.getOperand(i);
Evan Chengcd8e66a2008-11-11 21:48:44 +0000959 if (!MO.isReg() || MO.isImplicit())
960 break;
Evan Cheng7602e112008-09-02 06:52:38 +0000961 unsigned RegNum = ARMRegisterInfo::getRegisterNumbering(MO.getReg());
962 assert(TargetRegisterInfo::isPhysicalRegister(MO.getReg()) &&
963 RegNum < 16);
964 Binary |= 0x1 << RegNum;
965 }
966
Evan Cheng83b5cf02008-11-05 23:22:34 +0000967 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000968}
969
Chris Lattner33fabd72010-02-02 21:48:51 +0000970void ARMCodeEmitter::emitMulFrmInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +0000971 const TargetInstrDesc &TID = MI.getDesc();
972
973 // Part of binary is determined by TableGn.
974 unsigned Binary = getBinaryCodeForInstr(MI);
975
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000976 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000977 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000978
979 // Encode S bit if MI modifies CPSR.
980 Binary |= getAddrModeSBit(MI, TID);
981
982 // 32x32->64bit operations have two destination registers. The number
983 // of register definitions will tell us if that's what we're dealing with.
Evan Cheng97f48c32008-11-06 22:15:19 +0000984 unsigned OpIdx = 0;
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000985 if (TID.getNumDefs() == 2)
986 Binary |= getMachineOpValue (MI, OpIdx++) << ARMII::RegRdLoShift;
987
988 // Encode Rd
989 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdHiShift;
990
991 // Encode Rm
992 Binary |= getMachineOpValue(MI, OpIdx++);
993
994 // Encode Rs
995 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRsShift;
996
Evan Chengfbc9d412008-11-06 01:21:28 +0000997 // Many multiple instructions (e.g. MLA) have three src operands. Encode
998 // it as Rn (for multiply, that's in the same offset as RdLo.
Evan Cheng97f48c32008-11-06 22:15:19 +0000999 if (TID.getNumOperands() > OpIdx &&
1000 !TID.OpInfo[OpIdx].isPredicate() &&
1001 !TID.OpInfo[OpIdx].isOptionalDef())
1002 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRdLoShift;
1003
1004 emitWordLE(Binary);
1005}
1006
Chris Lattner33fabd72010-02-02 21:48:51 +00001007void ARMCodeEmitter::emitExtendInstruction(const MachineInstr &MI) {
Evan Cheng97f48c32008-11-06 22:15:19 +00001008 const TargetInstrDesc &TID = MI.getDesc();
1009
1010 // Part of binary is determined by TableGn.
1011 unsigned Binary = getBinaryCodeForInstr(MI);
1012
1013 // Set the conditional execution predicate
1014 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1015
1016 unsigned OpIdx = 0;
1017
1018 // Encode Rd
1019 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
1020
1021 const MachineOperand &MO1 = MI.getOperand(OpIdx++);
1022 const MachineOperand &MO2 = MI.getOperand(OpIdx);
1023 if (MO2.isReg()) {
1024 // Two register operand form.
1025 // Encode Rn.
1026 Binary |= getMachineOpValue(MI, MO1) << ARMII::RegRnShift;
1027
1028 // Encode Rm.
1029 Binary |= getMachineOpValue(MI, MO2);
1030 ++OpIdx;
1031 } else {
1032 Binary |= getMachineOpValue(MI, MO1);
1033 }
1034
1035 // Encode rot imm (0, 8, 16, or 24) if it has a rotate immediate operand.
1036 if (MI.getOperand(OpIdx).isImm() &&
1037 !TID.OpInfo[OpIdx].isPredicate() &&
1038 !TID.OpInfo[OpIdx].isOptionalDef())
1039 Binary |= (getMachineOpValue(MI, OpIdx) / 8) << ARMII::ExtRotImmShift;
Evan Chengfbc9d412008-11-06 01:21:28 +00001040
Evan Cheng83b5cf02008-11-05 23:22:34 +00001041 emitWordLE(Binary);
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +00001042}
1043
Chris Lattner33fabd72010-02-02 21:48:51 +00001044void ARMCodeEmitter::emitMiscArithInstruction(const MachineInstr &MI) {
Evan Cheng8b59db32008-11-07 01:41:35 +00001045 const TargetInstrDesc &TID = MI.getDesc();
1046
1047 // Part of binary is determined by TableGn.
1048 unsigned Binary = getBinaryCodeForInstr(MI);
1049
1050 // Set the conditional execution predicate
1051 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1052
1053 unsigned OpIdx = 0;
1054
1055 // Encode Rd
1056 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
1057
1058 const MachineOperand &MO = MI.getOperand(OpIdx++);
1059 if (OpIdx == TID.getNumOperands() ||
1060 TID.OpInfo[OpIdx].isPredicate() ||
1061 TID.OpInfo[OpIdx].isOptionalDef()) {
1062 // Encode Rm and it's done.
1063 Binary |= getMachineOpValue(MI, MO);
1064 emitWordLE(Binary);
1065 return;
1066 }
1067
1068 // Encode Rn.
1069 Binary |= getMachineOpValue(MI, MO) << ARMII::RegRnShift;
1070
1071 // Encode Rm.
1072 Binary |= getMachineOpValue(MI, OpIdx++);
1073
1074 // Encode shift_imm.
1075 unsigned ShiftAmt = MI.getOperand(OpIdx).getImm();
1076 assert(ShiftAmt < 32 && "shift_imm range is 0 to 31!");
1077 Binary |= ShiftAmt << ARMII::ShiftShift;
Jim Grosbach764ab522009-08-11 15:33:49 +00001078
Evan Cheng8b59db32008-11-07 01:41:35 +00001079 emitWordLE(Binary);
1080}
1081
Chris Lattner33fabd72010-02-02 21:48:51 +00001082void ARMCodeEmitter::emitBranchInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +00001083 const TargetInstrDesc &TID = MI.getDesc();
1084
Torok Edwindac237e2009-07-08 20:53:28 +00001085 if (TID.Opcode == ARM::TPsoft) {
Torok Edwinc23197a2009-07-14 16:55:14 +00001086 llvm_unreachable("ARM::TPsoft FIXME"); // FIXME
Torok Edwindac237e2009-07-08 20:53:28 +00001087 }
Evan Cheng12c3a532008-11-06 17:48:05 +00001088
Evan Cheng7602e112008-09-02 06:52:38 +00001089 // Part of binary is determined by TableGn.
1090 unsigned Binary = getBinaryCodeForInstr(MI);
1091
Evan Chengedda31c2008-11-05 18:35:52 +00001092 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +00001093 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chengedda31c2008-11-05 18:35:52 +00001094
1095 // Set signed_immed_24 field
1096 Binary |= getMachineOpValue(MI, 0);
1097
Evan Cheng83b5cf02008-11-05 23:22:34 +00001098 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +00001099}
1100
Chris Lattner33fabd72010-02-02 21:48:51 +00001101void ARMCodeEmitter::emitInlineJumpTable(unsigned JTIndex) {
Evan Cheng4df60f52008-11-07 09:06:08 +00001102 // Remember the base address of the inline jump table.
Evan Cheng5788d1a2008-12-10 02:32:19 +00001103 uintptr_t JTBase = MCE.getCurrentPCValue();
Evan Cheng437c1732008-11-07 22:30:53 +00001104 JTI->addJumpTableBaseAddr(JTIndex, JTBase);
Chris Lattner893e1c92009-08-23 06:49:22 +00001105 DEBUG(errs() << " ** Jump Table #" << JTIndex << " @ " << (void*)JTBase
1106 << '\n');
Evan Cheng4df60f52008-11-07 09:06:08 +00001107
1108 // Now emit the jump table entries.
1109 const std::vector<MachineBasicBlock*> &MBBs = (*MJTEs)[JTIndex].MBBs;
1110 for (unsigned i = 0, e = MBBs.size(); i != e; ++i) {
1111 if (IsPIC)
1112 // DestBB address - JT base.
Evan Cheng437c1732008-11-07 22:30:53 +00001113 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_pic_jt, JTBase);
Evan Cheng4df60f52008-11-07 09:06:08 +00001114 else
1115 // Absolute DestBB address.
1116 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_absolute);
1117 emitWordLE(0);
1118 }
1119}
1120
Chris Lattner33fabd72010-02-02 21:48:51 +00001121void ARMCodeEmitter::emitMiscBranchInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +00001122 const TargetInstrDesc &TID = MI.getDesc();
Evan Chengedda31c2008-11-05 18:35:52 +00001123
Evan Cheng437c1732008-11-07 22:30:53 +00001124 // Handle jump tables.
Evan Cheng90daf4d2009-07-25 00:13:11 +00001125 if (TID.Opcode == ARM::BR_JTr || TID.Opcode == ARM::BR_JTadd) {
Evan Cheng437c1732008-11-07 22:30:53 +00001126 // First emit a ldr pc, [] instruction.
1127 emitDataProcessingInstruction(MI, ARM::PC);
1128
1129 // Then emit the inline jump table.
Evan Chengc9a41532009-07-08 00:05:05 +00001130 unsigned JTIndex =
Evan Cheng90daf4d2009-07-25 00:13:11 +00001131 (TID.Opcode == ARM::BR_JTr)
Evan Cheng437c1732008-11-07 22:30:53 +00001132 ? MI.getOperand(1).getIndex() : MI.getOperand(2).getIndex();
1133 emitInlineJumpTable(JTIndex);
1134 return;
Evan Cheng90daf4d2009-07-25 00:13:11 +00001135 } else if (TID.Opcode == ARM::BR_JTm) {
Evan Cheng4df60f52008-11-07 09:06:08 +00001136 // First emit a ldr pc, [] instruction.
1137 emitLoadStoreInstruction(MI, ARM::PC);
1138
1139 // Then emit the inline jump table.
Evan Cheng437c1732008-11-07 22:30:53 +00001140 emitInlineJumpTable(MI.getOperand(3).getIndex());
Evan Cheng4df60f52008-11-07 09:06:08 +00001141 return;
1142 }
1143
Evan Chengedda31c2008-11-05 18:35:52 +00001144 // Part of binary is determined by TableGn.
1145 unsigned Binary = getBinaryCodeForInstr(MI);
1146
1147 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +00001148 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chengedda31c2008-11-05 18:35:52 +00001149
Anton Korobeynikovce7bf1c2010-03-06 19:39:36 +00001150 if (TID.Opcode == ARM::BX_RET || TID.Opcode == ARM::MOVPCLR)
Evan Chengedda31c2008-11-05 18:35:52 +00001151 // The return register is LR.
1152 Binary |= ARMRegisterInfo::getRegisterNumbering(ARM::LR);
Jim Grosbach764ab522009-08-11 15:33:49 +00001153 else
Evan Chengedda31c2008-11-05 18:35:52 +00001154 // otherwise, set the return register
1155 Binary |= getMachineOpValue(MI, 0);
1156
Evan Cheng83b5cf02008-11-05 23:22:34 +00001157 emitWordLE(Binary);
Evan Cheng148b6a42007-07-05 21:15:40 +00001158}
Evan Cheng7602e112008-09-02 06:52:38 +00001159
Evan Cheng80a11982008-11-12 06:41:41 +00001160static unsigned encodeVFPRd(const MachineInstr &MI, unsigned OpIdx) {
Evan Chengd06d48d2008-11-12 02:19:38 +00001161 unsigned RegD = MI.getOperand(OpIdx).getReg();
Evan Cheng80a11982008-11-12 06:41:41 +00001162 unsigned Binary = 0;
Evan Chengd06d48d2008-11-12 02:19:38 +00001163 bool isSPVFP = false;
Evan Cheng8295d992009-07-22 05:55:18 +00001164 RegD = ARMRegisterInfo::getRegisterNumbering(RegD, &isSPVFP);
Evan Chengd06d48d2008-11-12 02:19:38 +00001165 if (!isSPVFP)
1166 Binary |= RegD << ARMII::RegRdShift;
1167 else {
1168 Binary |= ((RegD & 0x1E) >> 1) << ARMII::RegRdShift;
1169 Binary |= (RegD & 0x01) << ARMII::D_BitShift;
1170 }
Evan Cheng80a11982008-11-12 06:41:41 +00001171 return Binary;
1172}
Evan Cheng78be83d2008-11-11 19:40:26 +00001173
Evan Cheng80a11982008-11-12 06:41:41 +00001174static unsigned encodeVFPRn(const MachineInstr &MI, unsigned OpIdx) {
Evan Chengd06d48d2008-11-12 02:19:38 +00001175 unsigned RegN = MI.getOperand(OpIdx).getReg();
Evan Cheng80a11982008-11-12 06:41:41 +00001176 unsigned Binary = 0;
1177 bool isSPVFP = false;
Evan Cheng8295d992009-07-22 05:55:18 +00001178 RegN = ARMRegisterInfo::getRegisterNumbering(RegN, &isSPVFP);
Evan Chengd06d48d2008-11-12 02:19:38 +00001179 if (!isSPVFP)
1180 Binary |= RegN << ARMII::RegRnShift;
1181 else {
1182 Binary |= ((RegN & 0x1E) >> 1) << ARMII::RegRnShift;
1183 Binary |= (RegN & 0x01) << ARMII::N_BitShift;
1184 }
Evan Cheng80a11982008-11-12 06:41:41 +00001185 return Binary;
1186}
Evan Chengd06d48d2008-11-12 02:19:38 +00001187
Evan Cheng80a11982008-11-12 06:41:41 +00001188static unsigned encodeVFPRm(const MachineInstr &MI, unsigned OpIdx) {
1189 unsigned RegM = MI.getOperand(OpIdx).getReg();
1190 unsigned Binary = 0;
1191 bool isSPVFP = false;
Evan Cheng8295d992009-07-22 05:55:18 +00001192 RegM = ARMRegisterInfo::getRegisterNumbering(RegM, &isSPVFP);
Evan Cheng80a11982008-11-12 06:41:41 +00001193 if (!isSPVFP)
1194 Binary |= RegM;
1195 else {
1196 Binary |= ((RegM & 0x1E) >> 1);
1197 Binary |= (RegM & 0x01) << ARMII::M_BitShift;
Evan Cheng78be83d2008-11-11 19:40:26 +00001198 }
Evan Cheng80a11982008-11-12 06:41:41 +00001199 return Binary;
1200}
1201
Chris Lattner33fabd72010-02-02 21:48:51 +00001202void ARMCodeEmitter::emitVFPArithInstruction(const MachineInstr &MI) {
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001203 const TargetInstrDesc &TID = MI.getDesc();
1204
1205 // Part of binary is determined by TableGn.
1206 unsigned Binary = getBinaryCodeForInstr(MI);
1207
1208 // Set the conditional execution predicate
1209 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1210
1211 unsigned OpIdx = 0;
1212 assert((Binary & ARMII::D_BitShift) == 0 &&
1213 (Binary & ARMII::N_BitShift) == 0 &&
1214 (Binary & ARMII::M_BitShift) == 0 && "VFP encoding bug!");
1215
1216 // Encode Dd / Sd.
1217 Binary |= encodeVFPRd(MI, OpIdx++);
1218
1219 // If this is a two-address operand, skip it, e.g. FMACD.
1220 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1221 ++OpIdx;
1222
1223 // Encode Dn / Sn.
1224 if ((TID.TSFlags & ARMII::FormMask) == ARMII::VFPBinaryFrm)
Evan Cheng3f4924e2008-11-12 08:14:21 +00001225 Binary |= encodeVFPRn(MI, OpIdx++);
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001226
1227 if (OpIdx == TID.getNumOperands() ||
1228 TID.OpInfo[OpIdx].isPredicate() ||
1229 TID.OpInfo[OpIdx].isOptionalDef()) {
1230 // FCMPEZD etc. has only one operand.
1231 emitWordLE(Binary);
1232 return;
1233 }
1234
1235 // Encode Dm / Sm.
1236 Binary |= encodeVFPRm(MI, OpIdx);
Jim Grosbach764ab522009-08-11 15:33:49 +00001237
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001238 emitWordLE(Binary);
1239}
1240
Bob Wilson87949d42010-03-17 21:16:45 +00001241void ARMCodeEmitter::emitVFPConversionInstruction(const MachineInstr &MI) {
Evan Cheng80a11982008-11-12 06:41:41 +00001242 const TargetInstrDesc &TID = MI.getDesc();
1243 unsigned Form = TID.TSFlags & ARMII::FormMask;
1244
1245 // Part of binary is determined by TableGn.
1246 unsigned Binary = getBinaryCodeForInstr(MI);
1247
1248 // Set the conditional execution predicate
1249 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1250
1251 switch (Form) {
1252 default: break;
1253 case ARMII::VFPConv1Frm:
1254 case ARMII::VFPConv2Frm:
1255 case ARMII::VFPConv3Frm:
1256 // Encode Dd / Sd.
1257 Binary |= encodeVFPRd(MI, 0);
1258 break;
1259 case ARMII::VFPConv4Frm:
1260 // Encode Dn / Sn.
1261 Binary |= encodeVFPRn(MI, 0);
1262 break;
1263 case ARMII::VFPConv5Frm:
1264 // Encode Dm / Sm.
1265 Binary |= encodeVFPRm(MI, 0);
1266 break;
1267 }
1268
1269 switch (Form) {
1270 default: break;
1271 case ARMII::VFPConv1Frm:
1272 // Encode Dm / Sm.
1273 Binary |= encodeVFPRm(MI, 1);
Evan Cheng67fd91f2008-11-13 07:46:59 +00001274 break;
Evan Cheng80a11982008-11-12 06:41:41 +00001275 case ARMII::VFPConv2Frm:
1276 case ARMII::VFPConv3Frm:
1277 // Encode Dn / Sn.
1278 Binary |= encodeVFPRn(MI, 1);
1279 break;
1280 case ARMII::VFPConv4Frm:
1281 case ARMII::VFPConv5Frm:
1282 // Encode Dd / Sd.
1283 Binary |= encodeVFPRd(MI, 1);
1284 break;
1285 }
1286
1287 if (Form == ARMII::VFPConv5Frm)
1288 // Encode Dn / Sn.
1289 Binary |= encodeVFPRn(MI, 2);
1290 else if (Form == ARMII::VFPConv3Frm)
1291 // Encode Dm / Sm.
1292 Binary |= encodeVFPRm(MI, 2);
Evan Cheng78be83d2008-11-11 19:40:26 +00001293
1294 emitWordLE(Binary);
1295}
1296
Chris Lattner33fabd72010-02-02 21:48:51 +00001297void ARMCodeEmitter::emitVFPLoadStoreInstruction(const MachineInstr &MI) {
Evan Chengcd8e66a2008-11-11 21:48:44 +00001298 // Part of binary is determined by TableGn.
1299 unsigned Binary = getBinaryCodeForInstr(MI);
1300
1301 // Set the conditional execution predicate
1302 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1303
1304 unsigned OpIdx = 0;
1305
1306 // Encode Dd / Sd.
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001307 Binary |= encodeVFPRd(MI, OpIdx++);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001308
1309 // Encode address base.
1310 const MachineOperand &Base = MI.getOperand(OpIdx++);
1311 Binary |= getMachineOpValue(MI, Base) << ARMII::RegRnShift;
1312
1313 // If there is a non-zero immediate offset, encode it.
1314 if (Base.isReg()) {
1315 const MachineOperand &Offset = MI.getOperand(OpIdx);
1316 if (unsigned ImmOffs = ARM_AM::getAM5Offset(Offset.getImm())) {
1317 if (ARM_AM::getAM5Op(Offset.getImm()) == ARM_AM::add)
1318 Binary |= 1 << ARMII::U_BitShift;
Evan Cheng607f1b42008-11-12 08:21:12 +00001319 Binary |= ImmOffs;
Evan Chengcd8e66a2008-11-11 21:48:44 +00001320 emitWordLE(Binary);
1321 return;
1322 }
1323 }
1324
1325 // If immediate offset is omitted, default to +0.
1326 Binary |= 1 << ARMII::U_BitShift;
1327
1328 emitWordLE(Binary);
1329}
1330
Bob Wilson87949d42010-03-17 21:16:45 +00001331void
1332ARMCodeEmitter::emitVFPLoadStoreMultipleInstruction(const MachineInstr &MI) {
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001333 const TargetInstrDesc &TID = MI.getDesc();
1334 bool IsUpdating = (TID.TSFlags & ARMII::IndexModeMask) != 0;
1335
Evan Chengcd8e66a2008-11-11 21:48:44 +00001336 // Part of binary is determined by TableGn.
1337 unsigned Binary = getBinaryCodeForInstr(MI);
1338
1339 // Set the conditional execution predicate
1340 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1341
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001342 // Skip operand 0 of an instruction with base register update.
1343 unsigned OpIdx = 0;
1344 if (IsUpdating)
1345 ++OpIdx;
1346
Evan Chengcd8e66a2008-11-11 21:48:44 +00001347 // Set base address operand
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001348 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Chengcd8e66a2008-11-11 21:48:44 +00001349
1350 // Set addressing mode by modifying bits U(23) and P(24)
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001351 const MachineOperand &MO = MI.getOperand(OpIdx++);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001352 Binary |= getAddrModeUPBits(ARM_AM::getAM5SubMode(MO.getImm()));
1353
1354 // Set bit W(21)
Bob Wilson2d357f62010-03-16 18:38:09 +00001355 if (IsUpdating)
Evan Chengcd8e66a2008-11-11 21:48:44 +00001356 Binary |= 0x1 << ARMII::W_BitShift;
1357
1358 // First register is encoded in Dd.
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001359 Binary |= encodeVFPRd(MI, OpIdx+2);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001360
1361 // Number of registers are encoded in offset field.
1362 unsigned NumRegs = 1;
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001363 for (unsigned i = OpIdx+3, e = MI.getNumOperands(); i != e; ++i) {
Evan Chengcd8e66a2008-11-11 21:48:44 +00001364 const MachineOperand &MO = MI.getOperand(i);
1365 if (!MO.isReg() || MO.isImplicit())
1366 break;
1367 ++NumRegs;
1368 }
1369 Binary |= NumRegs * 2;
1370
1371 emitWordLE(Binary);
1372}
1373
Chris Lattner33fabd72010-02-02 21:48:51 +00001374void ARMCodeEmitter::emitMiscInstruction(const MachineInstr &MI) {
Evan Chengcd8e66a2008-11-11 21:48:44 +00001375 // Part of binary is determined by TableGn.
1376 unsigned Binary = getBinaryCodeForInstr(MI);
1377
1378 // Set the conditional execution predicate
1379 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1380
1381 emitWordLE(Binary);
1382}
1383
Evan Cheng7602e112008-09-02 06:52:38 +00001384#include "ARMGenCodeEmitter.inc"