blob: 4bbf3018c2065fc6cca31efaf684501f85a4cdd1 [file] [log] [blame]
Evan Cheng148b6a42007-07-05 21:15:40 +00001//===-- ARM/ARMCodeEmitter.cpp - Convert ARM code to machine code ---------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Evan Cheng148b6a42007-07-05 21:15:40 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file contains the pass that transforms the ARM machine instructions into
11// relocatable machine code.
12//
13//===----------------------------------------------------------------------===//
14
Evan Cheng0f282432008-10-29 23:55:43 +000015#define DEBUG_TYPE "jit"
Evan Cheng7602e112008-09-02 06:52:38 +000016#include "ARM.h"
17#include "ARMAddressingModes.h"
Evan Cheng0f282432008-10-29 23:55:43 +000018#include "ARMConstantPoolValue.h"
Evan Cheng148b6a42007-07-05 21:15:40 +000019#include "ARMInstrInfo.h"
Evan Cheng7602e112008-09-02 06:52:38 +000020#include "ARMRelocations.h"
Evan Cheng148b6a42007-07-05 21:15:40 +000021#include "ARMSubtarget.h"
22#include "ARMTargetMachine.h"
Jim Grosbachbc6d8762008-10-28 18:25:49 +000023#include "llvm/Constants.h"
24#include "llvm/DerivedTypes.h"
Evan Cheng42d5ee062008-09-13 01:15:21 +000025#include "llvm/Function.h"
Evan Cheng148b6a42007-07-05 21:15:40 +000026#include "llvm/PassManager.h"
27#include "llvm/CodeGen/MachineCodeEmitter.h"
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"
Evan Cheng148b6a42007-07-05 21:15:40 +000032#include "llvm/CodeGen/Passes.h"
Evan Cheng148b6a42007-07-05 21:15:40 +000033#include "llvm/ADT/Statistic.h"
34#include "llvm/Support/Compiler.h"
Evan Cheng42d5ee062008-09-13 01:15:21 +000035#include "llvm/Support/Debug.h"
Evan Cheng4df60f52008-11-07 09:06:08 +000036#ifndef NDEBUG
37#include <iomanip>
38#endif
Evan Cheng148b6a42007-07-05 21:15:40 +000039using namespace llvm;
40
41STATISTIC(NumEmitted, "Number of machine instructions emitted");
42
43namespace {
Evan Cheng7602e112008-09-02 06:52:38 +000044 class VISIBILITY_HIDDEN ARMCodeEmitter : public MachineFunctionPass {
Evan Cheng057d0c32008-09-18 07:28:19 +000045 ARMJITInfo *JTI;
46 const ARMInstrInfo *II;
47 const TargetData *TD;
48 TargetMachine &TM;
49 MachineCodeEmitter &MCE;
Evan Cheng938b9d82008-10-31 19:55:13 +000050 const std::vector<MachineConstantPoolEntry> *MCPEs;
Evan Cheng4df60f52008-11-07 09:06:08 +000051 const std::vector<MachineJumpTableEntry> *MJTEs;
52 bool IsPIC;
53
Evan Cheng148b6a42007-07-05 21:15:40 +000054 public:
55 static char ID;
Evan Cheng7602e112008-09-02 06:52:38 +000056 explicit ARMCodeEmitter(TargetMachine &tm, MachineCodeEmitter &mce)
Evan Cheng057d0c32008-09-18 07:28:19 +000057 : MachineFunctionPass(&ID), JTI(0), II(0), TD(0), TM(tm),
Evan Cheng4df60f52008-11-07 09:06:08 +000058 MCE(mce), MCPEs(0), MJTEs(0),
59 IsPIC(TM.getRelocationModel() == Reloc::PIC_) {}
Evan Cheng7602e112008-09-02 06:52:38 +000060 ARMCodeEmitter(TargetMachine &tm, MachineCodeEmitter &mce,
Evan Cheng148b6a42007-07-05 21:15:40 +000061 const ARMInstrInfo &ii, const TargetData &td)
Evan Cheng057d0c32008-09-18 07:28:19 +000062 : MachineFunctionPass(&ID), JTI(0), II(&ii), TD(&td), TM(tm),
Evan Cheng4df60f52008-11-07 09:06:08 +000063 MCE(mce), MCPEs(0), MJTEs(0),
64 IsPIC(TM.getRelocationModel() == Reloc::PIC_) {}
Evan Cheng148b6a42007-07-05 21:15:40 +000065
66 bool runOnMachineFunction(MachineFunction &MF);
67
68 virtual const char *getPassName() const {
69 return "ARM Machine Code Emitter";
70 }
71
72 void emitInstruction(const MachineInstr &MI);
Evan Cheng7602e112008-09-02 06:52:38 +000073
74 private:
Evan Cheng057d0c32008-09-18 07:28:19 +000075
Evan Cheng83b5cf02008-11-05 23:22:34 +000076 void emitWordLE(unsigned Binary);
77
Evan Chengcb5201f2008-11-11 22:19:31 +000078 void emitDWordLE(uint64_t Binary);
79
Evan Cheng057d0c32008-09-18 07:28:19 +000080 void emitConstPoolInstruction(const MachineInstr &MI);
81
Evan Cheng90922132008-11-06 02:25:39 +000082 void emitMOVi2piecesInstruction(const MachineInstr &MI);
83
Evan Cheng4df60f52008-11-07 09:06:08 +000084 void emitLEApcrelJTInstruction(const MachineInstr &MI);
85
Evan Cheng83b5cf02008-11-05 23:22:34 +000086 void addPCLabel(unsigned LabelID);
87
Evan Cheng057d0c32008-09-18 07:28:19 +000088 void emitPseudoInstruction(const MachineInstr &MI);
89
Evan Cheng5f1db7b2008-09-12 22:01:15 +000090 unsigned getMachineSoRegOpValue(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +000091 const TargetInstrDesc &TID,
Evan Chengeb4ed4b2008-10-31 19:10:44 +000092 const MachineOperand &MO,
Evan Cheng5f1db7b2008-09-12 22:01:15 +000093 unsigned OpIdx);
94
Evan Cheng90922132008-11-06 02:25:39 +000095 unsigned getMachineSoImmOpValue(unsigned SoImm);
Evan Chengeb4ed4b2008-10-31 19:10:44 +000096
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +000097 unsigned getAddrModeSBit(const MachineInstr &MI,
98 const TargetInstrDesc &TID) const;
Evan Cheng49a9f292008-09-12 22:45:55 +000099
Evan Cheng83b5cf02008-11-05 23:22:34 +0000100 void emitDataProcessingInstruction(const MachineInstr &MI,
Evan Cheng437c1732008-11-07 22:30:53 +0000101 unsigned ImplicitRd = 0,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000102 unsigned ImplicitRn = 0);
Evan Cheng7602e112008-09-02 06:52:38 +0000103
Evan Cheng83b5cf02008-11-05 23:22:34 +0000104 void emitLoadStoreInstruction(const MachineInstr &MI,
Evan Cheng4df60f52008-11-07 09:06:08 +0000105 unsigned ImplicitRd = 0,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000106 unsigned ImplicitRn = 0);
Evan Chengedda31c2008-11-05 18:35:52 +0000107
Evan Cheng83b5cf02008-11-05 23:22:34 +0000108 void emitMiscLoadStoreInstruction(const MachineInstr &MI,
109 unsigned ImplicitRn = 0);
Evan Chengedda31c2008-11-05 18:35:52 +0000110
111 void emitLoadStoreMultipleInstruction(const MachineInstr &MI);
112
Evan Chengfbc9d412008-11-06 01:21:28 +0000113 void emitMulFrmInstruction(const MachineInstr &MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000114
Evan Cheng97f48c32008-11-06 22:15:19 +0000115 void emitExtendInstruction(const MachineInstr &MI);
116
Evan Cheng8b59db32008-11-07 01:41:35 +0000117 void emitMiscArithInstruction(const MachineInstr &MI);
118
Evan Chengedda31c2008-11-05 18:35:52 +0000119 void emitBranchInstruction(const MachineInstr &MI);
120
Evan Cheng437c1732008-11-07 22:30:53 +0000121 void emitInlineJumpTable(unsigned JTIndex);
Evan Cheng4df60f52008-11-07 09:06:08 +0000122
Evan Chengedda31c2008-11-05 18:35:52 +0000123 void emitMiscBranchInstruction(const MachineInstr &MI);
Evan Cheng7602e112008-09-02 06:52:38 +0000124
Evan Cheng96581d32008-11-11 02:11:05 +0000125 void emitVFPArithInstruction(const MachineInstr &MI);
126
Evan Cheng78be83d2008-11-11 19:40:26 +0000127 void emitVFPConversionInstruction(const MachineInstr &MI);
128
Evan Chengcd8e66a2008-11-11 21:48:44 +0000129 void emitVFPLoadStoreInstruction(const MachineInstr &MI);
130
131 void emitVFPLoadStoreMultipleInstruction(const MachineInstr &MI);
132
133 void emitMiscInstruction(const MachineInstr &MI);
134
Evan Cheng7602e112008-09-02 06:52:38 +0000135 /// getBinaryCodeForInstr - This function, generated by the
136 /// CodeEmitterGenerator using TableGen, produces the binary encoding for
137 /// machine instructions.
138 ///
Raul Herbster9c1a3822007-08-30 23:29:26 +0000139 unsigned getBinaryCodeForInstr(const MachineInstr &MI);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000140
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.
Evan Cheng057d0c32008-09-18 07:28:19 +0000154 void emitGlobalAddress(GlobalValue *GV, unsigned Reloc,
Evan Cheng413a89f2008-11-07 22:57:53 +0000155 bool NeedStub, intptr_t ACPV = 0);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000156 void emitExternalSymbolAddress(const char *ES, unsigned Reloc);
Evan Cheng437c1732008-11-07 22:30:53 +0000157 void emitConstPoolAddress(unsigned CPI, unsigned Reloc);
158 void emitJumpTableAddress(unsigned JTIndex, unsigned Reloc);
159 void emitMachineBasicBlock(MachineBasicBlock *BB, unsigned Reloc,
160 intptr_t JTBase = 0);
Evan Cheng148b6a42007-07-05 21:15:40 +0000161 };
Evan Cheng7602e112008-09-02 06:52:38 +0000162 char ARMCodeEmitter::ID = 0;
Evan Cheng148b6a42007-07-05 21:15:40 +0000163}
164
165/// createARMCodeEmitterPass - Return a pass that emits the collected ARM code
166/// to the specified MCE object.
167FunctionPass *llvm::createARMCodeEmitterPass(ARMTargetMachine &TM,
168 MachineCodeEmitter &MCE) {
Evan Cheng7602e112008-09-02 06:52:38 +0000169 return new ARMCodeEmitter(TM, MCE);
Evan Cheng148b6a42007-07-05 21:15:40 +0000170}
171
Evan Cheng7602e112008-09-02 06:52:38 +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!");
176 II = ((ARMTargetMachine&)MF.getTarget()).getInstrInfo();
177 TD = ((ARMTargetMachine&)MF.getTarget()).getTargetData();
Evan Cheng057d0c32008-09-18 07:28:19 +0000178 JTI = ((ARMTargetMachine&)MF.getTarget()).getJITInfo();
Evan Cheng938b9d82008-10-31 19:55:13 +0000179 MCPEs = &MF.getConstantPool()->getConstants();
Evan Cheng4df60f52008-11-07 09:06:08 +0000180 MJTEs = &MF.getJumpTableInfo()->getJumpTables();
181 IsPIC = TM.getRelocationModel() == Reloc::PIC_;
Evan Cheng3cc82232008-11-08 07:38:22 +0000182 JTI->Initialize(MF, IsPIC);
Evan Cheng148b6a42007-07-05 21:15:40 +0000183
184 do {
Evan Cheng42d5ee062008-09-13 01:15:21 +0000185 DOUT << "JITTing function '" << MF.getFunction()->getName() << "'\n";
Evan Cheng148b6a42007-07-05 21:15:40 +0000186 MCE.startFunction(MF);
187 for (MachineFunction::iterator MBB = MF.begin(), E = MF.end();
188 MBB != E; ++MBB) {
189 MCE.StartMachineBasicBlock(MBB);
190 for (MachineBasicBlock::const_iterator I = MBB->begin(), E = MBB->end();
191 I != E; ++I)
192 emitInstruction(*I);
193 }
194 } while (MCE.finishFunction(MF));
195
196 return false;
197}
198
Evan Cheng83b5cf02008-11-05 23:22:34 +0000199/// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
Evan Cheng7602e112008-09-02 06:52:38 +0000200///
Evan Cheng83b5cf02008-11-05 23:22:34 +0000201unsigned ARMCodeEmitter::getShiftOp(unsigned Imm) const {
202 switch (ARM_AM::getAM2ShiftOpc(Imm)) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000203 default: assert(0 && "Unknown shift opc!");
Evan Cheng7602e112008-09-02 06:52:38 +0000204 case ARM_AM::asr: return 2;
205 case ARM_AM::lsl: return 0;
206 case ARM_AM::lsr: return 1;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000207 case ARM_AM::ror:
Evan Cheng7602e112008-09-02 06:52:38 +0000208 case ARM_AM::rrx: return 3;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000209 }
Evan Cheng7602e112008-09-02 06:52:38 +0000210 return 0;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000211}
212
Evan Cheng7602e112008-09-02 06:52:38 +0000213/// getMachineOpValue - Return binary encoding of operand. If the machine
214/// operand requires relocation, record the relocation and return zero.
215unsigned ARMCodeEmitter::getMachineOpValue(const MachineInstr &MI,
216 const MachineOperand &MO) {
Dan Gohmand735b802008-10-03 15:45:36 +0000217 if (MO.isReg())
Evan Cheng7602e112008-09-02 06:52:38 +0000218 return ARMRegisterInfo::getRegisterNumbering(MO.getReg());
Dan Gohmand735b802008-10-03 15:45:36 +0000219 else if (MO.isImm())
Evan Cheng7602e112008-09-02 06:52:38 +0000220 return static_cast<unsigned>(MO.getImm());
Dan Gohmand735b802008-10-03 15:45:36 +0000221 else if (MO.isGlobal())
Jim Grosbach016d34c2008-10-03 15:52:42 +0000222 emitGlobalAddress(MO.getGlobal(), ARM::reloc_arm_branch, true);
Dan Gohmand735b802008-10-03 15:45:36 +0000223 else if (MO.isSymbol())
Evan Cheng10332512008-11-08 07:22:33 +0000224 emitExternalSymbolAddress(MO.getSymbolName(), ARM::reloc_arm_branch);
Evan Cheng580c0df2008-11-12 01:02:24 +0000225 else if (MO.isCPI()) {
226 const TargetInstrDesc &TID = MI.getDesc();
227 // For VFP load, the immediate offset is multiplied by 4.
228 unsigned Reloc = ((TID.TSFlags & ARMII::FormMask) == ARMII::VFPLdStFrm)
229 ? ARM::reloc_arm_vfp_cp_entry : ARM::reloc_arm_cp_entry;
230 emitConstPoolAddress(MO.getIndex(), Reloc);
231 } else if (MO.isJTI())
Chris Lattner8aa797a2007-12-30 23:10:15 +0000232 emitJumpTableAddress(MO.getIndex(), ARM::reloc_arm_relative);
Dan Gohmand735b802008-10-03 15:45:36 +0000233 else if (MO.isMBB())
Evan Cheng4df60f52008-11-07 09:06:08 +0000234 emitMachineBasicBlock(MO.getMBB(), ARM::reloc_arm_branch);
Evan Cheng2aa0e642008-09-13 01:55:59 +0000235 else {
236 cerr << "ERROR: Unknown type of MachineOperand: " << MO << "\n";
237 abort();
238 }
Evan Cheng7602e112008-09-02 06:52:38 +0000239 return 0;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000240}
241
Evan Cheng057d0c32008-09-18 07:28:19 +0000242/// emitGlobalAddress - Emit the specified address to the code stream.
Evan Cheng0ff94f72007-08-07 01:37:15 +0000243///
Evan Cheng413a89f2008-11-07 22:57:53 +0000244void ARMCodeEmitter::emitGlobalAddress(GlobalValue *GV, unsigned Reloc,
245 bool NeedStub, intptr_t ACPV) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000246 MCE.addRelocation(MachineRelocation::getGV(MCE.getCurrentPCOffset(),
Evan Cheng413a89f2008-11-07 22:57:53 +0000247 Reloc, GV, ACPV, NeedStub));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000248}
249
250/// emitExternalSymbolAddress - Arrange for the address of an external symbol to
251/// be emitted to the current location in the function, and allow it to be PC
252/// relative.
Evan Cheng7602e112008-09-02 06:52:38 +0000253void ARMCodeEmitter::emitExternalSymbolAddress(const char *ES, unsigned Reloc) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000254 MCE.addRelocation(MachineRelocation::getExtSym(MCE.getCurrentPCOffset(),
255 Reloc, ES));
256}
257
258/// emitConstPoolAddress - Arrange for the address of an constant pool
259/// to be emitted to the current location in the function, and allow it to be PC
260/// relative.
Evan Cheng437c1732008-11-07 22:30:53 +0000261void ARMCodeEmitter::emitConstPoolAddress(unsigned CPI, unsigned Reloc) {
Evan Cheng0f282432008-10-29 23:55:43 +0000262 // Tell JIT emitter we'll resolve the address.
Evan Cheng0ff94f72007-08-07 01:37:15 +0000263 MCE.addRelocation(MachineRelocation::getConstPool(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000264 Reloc, CPI, 0, true));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000265}
266
267/// emitJumpTableAddress - Arrange for the address of a jump table to
268/// be emitted to the current location in the function, and allow it to be PC
269/// relative.
Evan Cheng437c1732008-11-07 22:30:53 +0000270void ARMCodeEmitter::emitJumpTableAddress(unsigned JTIndex, unsigned Reloc) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000271 MCE.addRelocation(MachineRelocation::getJumpTable(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000272 Reloc, JTIndex, 0, true));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000273}
274
Raul Herbster9c1a3822007-08-30 23:29:26 +0000275/// emitMachineBasicBlock - Emit the specified address basic block.
Evan Cheng4df60f52008-11-07 09:06:08 +0000276void ARMCodeEmitter::emitMachineBasicBlock(MachineBasicBlock *BB,
Evan Cheng437c1732008-11-07 22:30:53 +0000277 unsigned Reloc, intptr_t JTBase) {
Raul Herbster9c1a3822007-08-30 23:29:26 +0000278 MCE.addRelocation(MachineRelocation::getBB(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000279 Reloc, BB, JTBase));
Raul Herbster9c1a3822007-08-30 23:29:26 +0000280}
Evan Cheng0ff94f72007-08-07 01:37:15 +0000281
Evan Cheng83b5cf02008-11-05 23:22:34 +0000282void ARMCodeEmitter::emitWordLE(unsigned Binary) {
Evan Cheng4df60f52008-11-07 09:06:08 +0000283#ifndef NDEBUG
284 DOUT << " 0x" << std::hex << std::setw(8) << std::setfill('0')
285 << Binary << std::dec << "\n";
286#endif
Evan Cheng83b5cf02008-11-05 23:22:34 +0000287 MCE.emitWordLE(Binary);
288}
289
Evan Chengcb5201f2008-11-11 22:19:31 +0000290void ARMCodeEmitter::emitDWordLE(uint64_t Binary) {
291#ifndef NDEBUG
292 DOUT << " 0x" << std::hex << std::setw(8) << std::setfill('0')
293 << (unsigned)Binary << std::dec << "\n";
294 DOUT << " 0x" << std::hex << std::setw(8) << std::setfill('0')
295 << (unsigned)(Binary >> 32) << std::dec << "\n";
296#endif
297 MCE.emitDWordLE(Binary);
298}
299
Evan Cheng7602e112008-09-02 06:52:38 +0000300void ARMCodeEmitter::emitInstruction(const MachineInstr &MI) {
Evan Cheng25e04782008-11-04 00:50:32 +0000301 DOUT << "JIT: " << (void*)MCE.getCurrentPCValue() << ":\t" << MI;
Evan Cheng42d5ee062008-09-13 01:15:21 +0000302
Evan Cheng148b6a42007-07-05 21:15:40 +0000303 NumEmitted++; // Keep track of the # of mi's emitted
Evan Chengedda31c2008-11-05 18:35:52 +0000304 switch (MI.getDesc().TSFlags & ARMII::FormMask) {
305 default:
306 assert(0 && "Unhandled instruction encoding format!");
307 break;
308 case ARMII::Pseudo:
Evan Cheng057d0c32008-09-18 07:28:19 +0000309 emitPseudoInstruction(MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000310 break;
311 case ARMII::DPFrm:
312 case ARMII::DPSoRegFrm:
313 emitDataProcessingInstruction(MI);
314 break;
Evan Cheng148cad82008-11-13 07:34:59 +0000315 case ARMII::LdFrm:
316 case ARMII::StFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000317 emitLoadStoreInstruction(MI);
318 break;
Evan Cheng148cad82008-11-13 07:34:59 +0000319 case ARMII::LdMiscFrm:
320 case ARMII::StMiscFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000321 emitMiscLoadStoreInstruction(MI);
322 break;
Evan Cheng3c4a4ff2008-11-12 07:18:38 +0000323 case ARMII::LdStMulFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000324 emitLoadStoreMultipleInstruction(MI);
325 break;
Evan Chengfbc9d412008-11-06 01:21:28 +0000326 case ARMII::MulFrm:
327 emitMulFrmInstruction(MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000328 break;
Evan Cheng97f48c32008-11-06 22:15:19 +0000329 case ARMII::ExtFrm:
330 emitExtendInstruction(MI);
331 break;
Evan Cheng8b59db32008-11-07 01:41:35 +0000332 case ARMII::ArithMiscFrm:
333 emitMiscArithInstruction(MI);
334 break;
Evan Cheng12c3a532008-11-06 17:48:05 +0000335 case ARMII::BrFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000336 emitBranchInstruction(MI);
337 break;
Evan Cheng12c3a532008-11-06 17:48:05 +0000338 case ARMII::BrMiscFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000339 emitMiscBranchInstruction(MI);
340 break;
Evan Cheng96581d32008-11-11 02:11:05 +0000341 // VFP instructions.
342 case ARMII::VFPUnaryFrm:
343 case ARMII::VFPBinaryFrm:
344 emitVFPArithInstruction(MI);
345 break;
Evan Cheng78be83d2008-11-11 19:40:26 +0000346 case ARMII::VFPConv1Frm:
347 case ARMII::VFPConv2Frm:
Evan Cheng0a0ab132008-11-11 22:46:12 +0000348 case ARMII::VFPConv3Frm:
Evan Cheng80a11982008-11-12 06:41:41 +0000349 case ARMII::VFPConv4Frm:
350 case ARMII::VFPConv5Frm:
Evan Cheng78be83d2008-11-11 19:40:26 +0000351 emitVFPConversionInstruction(MI);
352 break;
Evan Chengcd8e66a2008-11-11 21:48:44 +0000353 case ARMII::VFPLdStFrm:
354 emitVFPLoadStoreInstruction(MI);
355 break;
356 case ARMII::VFPLdStMulFrm:
357 emitVFPLoadStoreMultipleInstruction(MI);
358 break;
359 case ARMII::VFPMiscFrm:
360 emitMiscInstruction(MI);
361 break;
Evan Chengedda31c2008-11-05 18:35:52 +0000362 }
Evan Cheng0ff94f72007-08-07 01:37:15 +0000363}
364
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000365void ARMCodeEmitter::emitConstPoolInstruction(const MachineInstr &MI) {
Evan Cheng437c1732008-11-07 22:30:53 +0000366 unsigned CPI = MI.getOperand(0).getImm(); // CP instruction index.
367 unsigned CPIndex = MI.getOperand(1).getIndex(); // Actual cp entry index.
Evan Cheng938b9d82008-10-31 19:55:13 +0000368 const MachineConstantPoolEntry &MCPE = (*MCPEs)[CPIndex];
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000369
370 // Remember the CONSTPOOL_ENTRY address for later relocation.
371 JTI->addConstantPoolEntryAddr(CPI, MCE.getCurrentPCValue());
372
373 // Emit constpool island entry. In most cases, the actual values will be
374 // resolved and relocated after code emission.
375 if (MCPE.isMachineConstantPoolEntry()) {
376 ARMConstantPoolValue *ACPV =
377 static_cast<ARMConstantPoolValue*>(MCPE.Val.MachineCPVal);
378
Evan Cheng12c3a532008-11-06 17:48:05 +0000379 DOUT << " ** ARM constant pool #" << CPI << " @ "
Evan Cheng437c1732008-11-07 22:30:53 +0000380 << (void*)MCE.getCurrentPCValue() << " " << *ACPV << '\n';
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000381
382 GlobalValue *GV = ACPV->getGV();
383 if (GV) {
384 assert(!ACPV->isStub() && "Don't know how to deal this yet!");
Evan Chenge96a4902008-11-08 01:31:27 +0000385 if (ACPV->isNonLazyPointer())
Evan Cheng9ed2f802008-11-10 01:08:07 +0000386 MCE.addRelocation(MachineRelocation::getIndirectSymbol(
Evan Chenge96a4902008-11-08 01:31:27 +0000387 MCE.getCurrentPCOffset(), ARM::reloc_arm_machine_cp_entry, GV,
388 (intptr_t)ACPV, false));
389 else
390 emitGlobalAddress(GV, ARM::reloc_arm_machine_cp_entry,
Evan Cheng35b0bfd2008-11-13 19:22:28 +0000391 ACPV->isStub() || isa<Function>(GV), (intptr_t)ACPV);
Evan Cheng25e04782008-11-04 00:50:32 +0000392 } else {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000393 assert(!ACPV->isNonLazyPointer() && "Don't know how to deal this yet!");
394 emitExternalSymbolAddress(ACPV->getSymbol(), ARM::reloc_arm_absolute);
395 }
Evan Cheng83b5cf02008-11-05 23:22:34 +0000396 emitWordLE(0);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000397 } else {
398 Constant *CV = MCPE.Val.ConstVal;
399
Evan Cheng35b0bfd2008-11-13 19:22:28 +0000400#ifndef NDEBUG
Evan Cheng12c3a532008-11-06 17:48:05 +0000401 DOUT << " ** Constant pool #" << CPI << " @ "
Evan Cheng35b0bfd2008-11-13 19:22:28 +0000402 << (void*)MCE.getCurrentPCValue() << " ";
403 if (const Function *F = dyn_cast<Function>(CV))
404 DOUT << F->getName();
405 else
406 DOUT << *CV;
407 DOUT << '\n';
408#endif
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000409
410 if (GlobalValue *GV = dyn_cast<GlobalValue>(CV)) {
Evan Cheng35b0bfd2008-11-13 19:22:28 +0000411 emitGlobalAddress(GV, ARM::reloc_arm_absolute, isa<Function>(GV));
Evan Cheng83b5cf02008-11-05 23:22:34 +0000412 emitWordLE(0);
Evan Chengcb5201f2008-11-11 22:19:31 +0000413 } else if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000414 uint32_t Val = *(uint32_t*)CI->getValue().getRawData();
Evan Cheng83b5cf02008-11-05 23:22:34 +0000415 emitWordLE(Val);
Evan Chengcb5201f2008-11-11 22:19:31 +0000416 } else if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV)) {
417 if (CFP->getType() == Type::FloatTy)
418 emitWordLE(CFP->getValueAPF().bitcastToAPInt().getZExtValue());
419 else if (CFP->getType() == Type::DoubleTy)
420 emitDWordLE(CFP->getValueAPF().bitcastToAPInt().getZExtValue());
421 else {
422 assert(0 && "Unable to handle this constantpool entry!");
423 abort();
424 }
425 } else {
426 assert(0 && "Unable to handle this constantpool entry!");
427 abort();
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000428 }
429 }
430}
431
Evan Cheng90922132008-11-06 02:25:39 +0000432void ARMCodeEmitter::emitMOVi2piecesInstruction(const MachineInstr &MI) {
433 const MachineOperand &MO0 = MI.getOperand(0);
434 const MachineOperand &MO1 = MI.getOperand(1);
435 assert(MO1.isImm() && "Not a valid so_imm value!");
436 unsigned V1 = ARM_AM::getSOImmTwoPartFirst(MO1.getImm());
437 unsigned V2 = ARM_AM::getSOImmTwoPartSecond(MO1.getImm());
438
439 // Emit the 'mov' instruction.
440 unsigned Binary = 0xd << 21; // mov: Insts{24-21} = 0b1101
441
442 // Set the conditional execution predicate.
Evan Cheng97f48c32008-11-06 22:15:19 +0000443 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng90922132008-11-06 02:25:39 +0000444
445 // Encode Rd.
446 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
447
448 // Encode so_imm.
449 // Set bit I(25) to identify this is the immediate form of <shifter_op>
450 Binary |= 1 << ARMII::I_BitShift;
451 Binary |= getMachineSoImmOpValue(ARM_AM::getSOImmVal(V1));
452 emitWordLE(Binary);
453
454 // Now the 'orr' instruction.
455 Binary = 0xc << 21; // orr: Insts{24-21} = 0b1100
456
457 // Set the conditional execution predicate.
Evan Cheng97f48c32008-11-06 22:15:19 +0000458 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng90922132008-11-06 02:25:39 +0000459
460 // Encode Rd.
461 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
462
463 // Encode Rn.
464 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRnShift;
465
466 // Encode so_imm.
467 // Set bit I(25) to identify this is the immediate form of <shifter_op>
468 Binary |= 1 << ARMII::I_BitShift;
469 Binary |= getMachineSoImmOpValue(ARM_AM::getSOImmVal(V2));
470 emitWordLE(Binary);
471}
472
Evan Cheng4df60f52008-11-07 09:06:08 +0000473void ARMCodeEmitter::emitLEApcrelJTInstruction(const MachineInstr &MI) {
474 // It's basically add r, pc, (LJTI - $+8)
475
476 const TargetInstrDesc &TID = MI.getDesc();
477
478 // Emit the 'add' instruction.
479 unsigned Binary = 0x4 << 21; // add: Insts{24-31} = 0b0100
480
481 // Set the conditional execution predicate
482 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
483
484 // Encode S bit if MI modifies CPSR.
485 Binary |= getAddrModeSBit(MI, TID);
486
487 // Encode Rd.
488 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
489
490 // Encode Rn which is PC.
491 Binary |= ARMRegisterInfo::getRegisterNumbering(ARM::PC) << ARMII::RegRnShift;
492
493 // Encode the displacement.
494 // Set bit I(25) to identify this is the immediate form of <shifter_op>.
495 Binary |= 1 << ARMII::I_BitShift;
496 emitJumpTableAddress(MI.getOperand(1).getIndex(), ARM::reloc_arm_jt_base);
497
498 emitWordLE(Binary);
499}
500
Evan Cheng83b5cf02008-11-05 23:22:34 +0000501void ARMCodeEmitter::addPCLabel(unsigned LabelID) {
Evan Cheng12c3a532008-11-06 17:48:05 +0000502 DOUT << " ** LPC" << LabelID << " @ "
Evan Cheng83b5cf02008-11-05 23:22:34 +0000503 << (void*)MCE.getCurrentPCValue() << '\n';
504 JTI->addPCLabelAddr(LabelID, MCE.getCurrentPCValue());
505}
506
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000507void ARMCodeEmitter::emitPseudoInstruction(const MachineInstr &MI) {
508 unsigned Opcode = MI.getDesc().Opcode;
509 switch (Opcode) {
510 default:
511 abort(); // FIXME:
512 case ARM::CONSTPOOL_ENTRY:
513 emitConstPoolInstruction(MI);
514 break;
515 case ARM::PICADD: {
Evan Cheng25e04782008-11-04 00:50:32 +0000516 // Remember of the address of the PC label for relocation later.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000517 addPCLabel(MI.getOperand(2).getImm());
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000518 // PICADD is just an add instruction that implicitly read pc.
Evan Cheng437c1732008-11-07 22:30:53 +0000519 emitDataProcessingInstruction(MI, 0, ARM::PC);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000520 break;
521 }
522 case ARM::PICLDR:
523 case ARM::PICLDRB:
524 case ARM::PICSTR:
525 case ARM::PICSTRB: {
526 // Remember of the address of the PC label for relocation later.
527 addPCLabel(MI.getOperand(2).getImm());
528 // These are just load / store instructions that implicitly read pc.
Evan Cheng4df60f52008-11-07 09:06:08 +0000529 emitLoadStoreInstruction(MI, 0, ARM::PC);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000530 break;
531 }
532 case ARM::PICLDRH:
533 case ARM::PICLDRSH:
534 case ARM::PICLDRSB:
535 case ARM::PICSTRH: {
536 // Remember of the address of the PC label for relocation later.
537 addPCLabel(MI.getOperand(2).getImm());
538 // These are just load / store instructions that implicitly read pc.
539 emitMiscLoadStoreInstruction(MI, ARM::PC);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000540 break;
541 }
Evan Cheng90922132008-11-06 02:25:39 +0000542 case ARM::MOVi2pieces:
543 // Two instructions to materialize a constant.
544 emitMOVi2piecesInstruction(MI);
545 break;
Evan Cheng4df60f52008-11-07 09:06:08 +0000546 case ARM::LEApcrelJT:
547 // Materialize jumptable address.
548 emitLEApcrelJTInstruction(MI);
549 break;
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000550 }
551}
552
553
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000554unsigned ARMCodeEmitter::getMachineSoRegOpValue(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +0000555 const TargetInstrDesc &TID,
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000556 const MachineOperand &MO,
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000557 unsigned OpIdx) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000558 unsigned Binary = getMachineOpValue(MI, MO);
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000559
560 const MachineOperand &MO1 = MI.getOperand(OpIdx + 1);
561 const MachineOperand &MO2 = MI.getOperand(OpIdx + 2);
562 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO2.getImm());
563
564 // Encode the shift opcode.
565 unsigned SBits = 0;
566 unsigned Rs = MO1.getReg();
567 if (Rs) {
568 // Set shift operand (bit[7:4]).
569 // LSL - 0001
570 // LSR - 0011
571 // ASR - 0101
572 // ROR - 0111
573 // RRX - 0110 and bit[11:8] clear.
574 switch (SOpc) {
575 default: assert(0 && "Unknown shift opc!");
576 case ARM_AM::lsl: SBits = 0x1; break;
577 case ARM_AM::lsr: SBits = 0x3; break;
578 case ARM_AM::asr: SBits = 0x5; break;
579 case ARM_AM::ror: SBits = 0x7; break;
580 case ARM_AM::rrx: SBits = 0x6; break;
581 }
582 } else {
583 // Set shift operand (bit[6:4]).
584 // LSL - 000
585 // LSR - 010
586 // ASR - 100
587 // ROR - 110
588 switch (SOpc) {
589 default: assert(0 && "Unknown shift opc!");
590 case ARM_AM::lsl: SBits = 0x0; break;
591 case ARM_AM::lsr: SBits = 0x2; break;
592 case ARM_AM::asr: SBits = 0x4; break;
593 case ARM_AM::ror: SBits = 0x6; break;
594 }
595 }
596 Binary |= SBits << 4;
597 if (SOpc == ARM_AM::rrx)
598 return Binary;
599
600 // Encode the shift operation Rs or shift_imm (except rrx).
601 if (Rs) {
602 // Encode Rs bit[11:8].
603 assert(ARM_AM::getSORegOffset(MO2.getImm()) == 0);
604 return Binary |
605 (ARMRegisterInfo::getRegisterNumbering(Rs) << ARMII::RegRsShift);
606 }
607
608 // Encode shift_imm bit[11:7].
609 return Binary | ARM_AM::getSORegOffset(MO2.getImm()) << 7;
610}
611
Evan Cheng90922132008-11-06 02:25:39 +0000612unsigned ARMCodeEmitter::getMachineSoImmOpValue(unsigned SoImm) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000613 // Encode rotate_imm.
Evan Cheng97f48c32008-11-06 22:15:19 +0000614 unsigned Binary = (ARM_AM::getSOImmValRot(SoImm) >> 1)
615 << ARMII::SoRotImmShift;
616
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000617 // Encode immed_8.
Evan Cheng90922132008-11-06 02:25:39 +0000618 Binary |= ARM_AM::getSOImmValImm(SoImm);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000619 return Binary;
620}
621
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000622unsigned ARMCodeEmitter::getAddrModeSBit(const MachineInstr &MI,
623 const TargetInstrDesc &TID) const {
Evan Cheng49a9f292008-09-12 22:45:55 +0000624 for (unsigned i = MI.getNumOperands(), e = TID.getNumOperands(); i != e; --i){
625 const MachineOperand &MO = MI.getOperand(i-1);
Dan Gohmand735b802008-10-03 15:45:36 +0000626 if (MO.isReg() && MO.isDef() && MO.getReg() == ARM::CPSR)
Evan Cheng49a9f292008-09-12 22:45:55 +0000627 return 1 << ARMII::S_BitShift;
628 }
629 return 0;
630}
631
Evan Cheng83b5cf02008-11-05 23:22:34 +0000632void ARMCodeEmitter::emitDataProcessingInstruction(const MachineInstr &MI,
Evan Cheng437c1732008-11-07 22:30:53 +0000633 unsigned ImplicitRd,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000634 unsigned ImplicitRn) {
Evan Chengedda31c2008-11-05 18:35:52 +0000635 const TargetInstrDesc &TID = MI.getDesc();
Evan Chengedda31c2008-11-05 18:35:52 +0000636
637 // Part of binary is determined by TableGn.
638 unsigned Binary = getBinaryCodeForInstr(MI);
639
Jim Grosbach33412622008-10-07 19:05:35 +0000640 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000641 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000642
Evan Cheng49a9f292008-09-12 22:45:55 +0000643 // Encode S bit if MI modifies CPSR.
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000644 Binary |= getAddrModeSBit(MI, TID);
Evan Cheng49a9f292008-09-12 22:45:55 +0000645
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000646 // Encode register def if there is one.
Evan Cheng49a9f292008-09-12 22:45:55 +0000647 unsigned NumDefs = TID.getNumDefs();
Evan Chenga964b7d2008-09-12 23:15:39 +0000648 unsigned OpIdx = 0;
Evan Cheng437c1732008-11-07 22:30:53 +0000649 if (NumDefs)
650 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
651 else if (ImplicitRd)
652 // Special handling for implicit use (e.g. PC).
653 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRd)
654 << ARMII::RegRdShift);
Evan Cheng7602e112008-09-02 06:52:38 +0000655
Evan Chengd87293c2008-11-06 08:47:38 +0000656 // If this is a two-address operand, skip it. e.g. MOVCCr operand 1.
657 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
658 ++OpIdx;
659
Jim Grosbachefd30ba2008-10-01 18:16:49 +0000660 // Encode first non-shifter register operand if there is one.
Evan Chengedda31c2008-11-05 18:35:52 +0000661 bool isUnary = TID.TSFlags & ARMII::UnaryDP;
662 if (!isUnary) {
Evan Cheng83b5cf02008-11-05 23:22:34 +0000663 if (ImplicitRn)
664 // Special handling for implicit use (e.g. PC).
665 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
Evan Chengedda31c2008-11-05 18:35:52 +0000666 << ARMII::RegRnShift);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000667 else {
668 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRnShift;
669 ++OpIdx;
670 }
Evan Cheng7602e112008-09-02 06:52:38 +0000671 }
672
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000673 // Encode shifter operand.
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000674 const MachineOperand &MO = MI.getOperand(OpIdx);
Evan Chengedda31c2008-11-05 18:35:52 +0000675 if ((TID.TSFlags & ARMII::FormMask) == ARMII::DPSoRegFrm) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000676 // Encode SoReg.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000677 emitWordLE(Binary | getMachineSoRegOpValue(MI, TID, MO, OpIdx));
Evan Chengedda31c2008-11-05 18:35:52 +0000678 return;
679 }
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000680
Evan Chengedda31c2008-11-05 18:35:52 +0000681 if (MO.isReg()) {
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000682 // Encode register Rm.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000683 emitWordLE(Binary | ARMRegisterInfo::getRegisterNumbering(MO.getReg()));
Evan Chengedda31c2008-11-05 18:35:52 +0000684 return;
685 }
Evan Cheng7602e112008-09-02 06:52:38 +0000686
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000687 // Encode so_imm.
Evan Cheng4df60f52008-11-07 09:06:08 +0000688 // Set bit I(25) to identify this is the immediate form of <shifter_op>.
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000689 Binary |= 1 << ARMII::I_BitShift;
Evan Cheng90922132008-11-06 02:25:39 +0000690 Binary |= getMachineSoImmOpValue(MO.getImm());
Evan Chengedda31c2008-11-05 18:35:52 +0000691
Evan Cheng83b5cf02008-11-05 23:22:34 +0000692 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000693}
694
Evan Cheng83b5cf02008-11-05 23:22:34 +0000695void ARMCodeEmitter::emitLoadStoreInstruction(const MachineInstr &MI,
Evan Cheng4df60f52008-11-07 09:06:08 +0000696 unsigned ImplicitRd,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000697 unsigned ImplicitRn) {
Evan Cheng05c356e2008-11-08 01:44:13 +0000698 const TargetInstrDesc &TID = MI.getDesc();
Evan Cheng148cad82008-11-13 07:34:59 +0000699 unsigned Form = TID.TSFlags & ARMII::FormMask;
700 bool IsPrePost = (TID.TSFlags & ARMII::IndexModeMask) != 0;
Evan Cheng05c356e2008-11-08 01:44:13 +0000701
Evan Chengedda31c2008-11-05 18:35:52 +0000702 // Part of binary is determined by TableGn.
703 unsigned Binary = getBinaryCodeForInstr(MI);
704
Jim Grosbach33412622008-10-07 19:05:35 +0000705 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000706 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng057d0c32008-09-18 07:28:19 +0000707
Evan Cheng4df60f52008-11-07 09:06:08 +0000708 unsigned OpIdx = 0;
Evan Cheng148cad82008-11-13 07:34:59 +0000709
710 // Operand 0 of a pre- and post-indexed store is the address base
711 // writeback. Skip it.
712 bool Skipped = false;
713 if (IsPrePost && Form == ARMII::StFrm) {
714 ++OpIdx;
715 Skipped = true;
716 }
717
718 // Set first operand
Evan Cheng4df60f52008-11-07 09:06:08 +0000719 if (ImplicitRd)
720 // Special handling for implicit use (e.g. PC).
721 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRd)
722 << ARMII::RegRdShift);
723 else
724 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000725
726 // Set second operand
Evan Cheng83b5cf02008-11-05 23:22:34 +0000727 if (ImplicitRn)
728 // Special handling for implicit use (e.g. PC).
729 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
730 << ARMII::RegRnShift);
Evan Cheng4df60f52008-11-07 09:06:08 +0000731 else
732 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000733
Evan Cheng05c356e2008-11-08 01:44:13 +0000734 // If this is a two-address operand, skip it. e.g. LDR_PRE.
Evan Cheng148cad82008-11-13 07:34:59 +0000735 if (!Skipped && TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
Evan Cheng05c356e2008-11-08 01:44:13 +0000736 ++OpIdx;
737
Evan Cheng83b5cf02008-11-05 23:22:34 +0000738 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Chengd87293c2008-11-06 08:47:38 +0000739 unsigned AM2Opc = (ImplicitRn == ARM::PC)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000740 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Cheng7602e112008-09-02 06:52:38 +0000741
Evan Chenge7de7e32008-09-13 01:44:01 +0000742 // Set bit U(23) according to sign of immed value (positive or negative).
Evan Cheng83b5cf02008-11-05 23:22:34 +0000743 Binary |= ((ARM_AM::getAM2Op(AM2Opc) == ARM_AM::add ? 1 : 0) <<
Evan Chenge7de7e32008-09-13 01:44:01 +0000744 ARMII::U_BitShift);
Evan Cheng7602e112008-09-02 06:52:38 +0000745 if (!MO2.getReg()) { // is immediate
Evan Cheng83b5cf02008-11-05 23:22:34 +0000746 if (ARM_AM::getAM2Offset(AM2Opc))
Evan Cheng7602e112008-09-02 06:52:38 +0000747 // Set the value of offset_12 field
Evan Cheng83b5cf02008-11-05 23:22:34 +0000748 Binary |= ARM_AM::getAM2Offset(AM2Opc);
749 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +0000750 return;
Evan Cheng7602e112008-09-02 06:52:38 +0000751 }
752
753 // Set bit I(25), because this is not in immediate enconding.
754 Binary |= 1 << ARMII::I_BitShift;
755 assert(TargetRegisterInfo::isPhysicalRegister(MO2.getReg()));
756 // Set bit[3:0] to the corresponding Rm register
757 Binary |= ARMRegisterInfo::getRegisterNumbering(MO2.getReg());
758
Evan Cheng70632912008-11-12 07:34:37 +0000759 // If this instr is in scaled register offset/index instruction, set
Evan Cheng7602e112008-09-02 06:52:38 +0000760 // shift_immed(bit[11:7]) and shift(bit[6:5]) fields.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000761 if (unsigned ShImm = ARM_AM::getAM2Offset(AM2Opc)) {
Evan Cheng70632912008-11-12 07:34:37 +0000762 Binary |= getShiftOp(AM2Opc) << ARMII::ShiftImmShift; // shift
763 Binary |= ShImm << ARMII::ShiftShift; // shift_immed
Evan Cheng7602e112008-09-02 06:52:38 +0000764 }
765
Evan Cheng83b5cf02008-11-05 23:22:34 +0000766 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000767}
768
Evan Cheng83b5cf02008-11-05 23:22:34 +0000769void ARMCodeEmitter::emitMiscLoadStoreInstruction(const MachineInstr &MI,
770 unsigned ImplicitRn) {
Evan Cheng05c356e2008-11-08 01:44:13 +0000771 const TargetInstrDesc &TID = MI.getDesc();
Evan Cheng148cad82008-11-13 07:34:59 +0000772 unsigned Form = TID.TSFlags & ARMII::FormMask;
773 bool IsPrePost = (TID.TSFlags & ARMII::IndexModeMask) != 0;
Evan Cheng05c356e2008-11-08 01:44:13 +0000774
Evan Chengedda31c2008-11-05 18:35:52 +0000775 // Part of binary is determined by TableGn.
776 unsigned Binary = getBinaryCodeForInstr(MI);
777
Jim Grosbach33412622008-10-07 19:05:35 +0000778 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000779 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng057d0c32008-09-18 07:28:19 +0000780
Evan Cheng148cad82008-11-13 07:34:59 +0000781 unsigned OpIdx = 0;
782
783 // Operand 0 of a pre- and post-indexed store is the address base
784 // writeback. Skip it.
785 bool Skipped = false;
786 if (IsPrePost && Form == ARMII::StMiscFrm) {
787 ++OpIdx;
788 Skipped = true;
789 }
790
Evan Cheng7602e112008-09-02 06:52:38 +0000791 // Set first operand
Evan Cheng148cad82008-11-13 07:34:59 +0000792 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000793
794 // Set second operand
Evan Cheng83b5cf02008-11-05 23:22:34 +0000795 if (ImplicitRn)
796 // Special handling for implicit use (e.g. PC).
797 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
798 << ARMII::RegRnShift);
Evan Cheng4df60f52008-11-07 09:06:08 +0000799 else
800 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000801
Evan Cheng05c356e2008-11-08 01:44:13 +0000802 // If this is a two-address operand, skip it. e.g. LDRH_POST.
Evan Cheng148cad82008-11-13 07:34:59 +0000803 if (!Skipped && TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
Evan Cheng05c356e2008-11-08 01:44:13 +0000804 ++OpIdx;
805
Evan Cheng83b5cf02008-11-05 23:22:34 +0000806 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Chengd87293c2008-11-06 08:47:38 +0000807 unsigned AM3Opc = (ImplicitRn == ARM::PC)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000808 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Cheng7602e112008-09-02 06:52:38 +0000809
Evan Chenge7de7e32008-09-13 01:44:01 +0000810 // Set bit U(23) according to sign of immed value (positive or negative)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000811 Binary |= ((ARM_AM::getAM3Op(AM3Opc) == ARM_AM::add ? 1 : 0) <<
Evan Cheng7602e112008-09-02 06:52:38 +0000812 ARMII::U_BitShift);
813
814 // If this instr is in register offset/index encoding, set bit[3:0]
815 // to the corresponding Rm register.
816 if (MO2.getReg()) {
817 Binary |= ARMRegisterInfo::getRegisterNumbering(MO2.getReg());
Evan Cheng83b5cf02008-11-05 23:22:34 +0000818 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +0000819 return;
Evan Cheng7602e112008-09-02 06:52:38 +0000820 }
821
Evan Chengd87293c2008-11-06 08:47:38 +0000822 // This instr is in immediate offset/index encoding, set bit 22 to 1.
Evan Cheng97f48c32008-11-06 22:15:19 +0000823 Binary |= 1 << ARMII::AM3_I_BitShift;
Evan Cheng83b5cf02008-11-05 23:22:34 +0000824 if (unsigned ImmOffs = ARM_AM::getAM3Offset(AM3Opc)) {
Evan Cheng7602e112008-09-02 06:52:38 +0000825 // Set operands
Evan Cheng70632912008-11-12 07:34:37 +0000826 Binary |= (ImmOffs >> 4) << ARMII::ImmHiShift; // immedH
827 Binary |= (ImmOffs & 0xF); // immedL
Evan Cheng7602e112008-09-02 06:52:38 +0000828 }
829
Evan Cheng83b5cf02008-11-05 23:22:34 +0000830 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000831}
832
Evan Chengcd8e66a2008-11-11 21:48:44 +0000833static unsigned getAddrModeUPBits(unsigned Mode) {
834 unsigned Binary = 0;
Evan Cheng7602e112008-09-02 06:52:38 +0000835
836 // Set addressing mode by modifying bits U(23) and P(24)
837 // IA - Increment after - bit U = 1 and bit P = 0
838 // IB - Increment before - bit U = 1 and bit P = 1
839 // DA - Decrement after - bit U = 0 and bit P = 0
840 // DB - Decrement before - bit U = 0 and bit P = 1
Evan Cheng7602e112008-09-02 06:52:38 +0000841 switch (Mode) {
842 default: assert(0 && "Unknown addressing sub-mode!");
843 case ARM_AM::da: break;
Evan Cheng97f48c32008-11-06 22:15:19 +0000844 case ARM_AM::db: Binary |= 0x1 << ARMII::P_BitShift; break;
845 case ARM_AM::ia: Binary |= 0x1 << ARMII::U_BitShift; break;
846 case ARM_AM::ib: Binary |= 0x3 << ARMII::U_BitShift; break;
Evan Cheng7602e112008-09-02 06:52:38 +0000847 }
848
Evan Chengcd8e66a2008-11-11 21:48:44 +0000849 return Binary;
850}
851
852void ARMCodeEmitter::emitLoadStoreMultipleInstruction(const MachineInstr &MI) {
853 // Part of binary is determined by TableGn.
854 unsigned Binary = getBinaryCodeForInstr(MI);
855
856 // Set the conditional execution predicate
857 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
858
859 // Set base address operand
860 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRnShift;
861
862 // Set addressing mode by modifying bits U(23) and P(24)
863 const MachineOperand &MO = MI.getOperand(1);
864 Binary |= getAddrModeUPBits(ARM_AM::getAM4SubMode(MO.getImm()));
865
Evan Cheng7602e112008-09-02 06:52:38 +0000866 // Set bit W(21)
867 if (ARM_AM::getAM4WBFlag(MO.getImm()))
Evan Cheng97f48c32008-11-06 22:15:19 +0000868 Binary |= 0x1 << ARMII::W_BitShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000869
870 // Set registers
871 for (unsigned i = 4, e = MI.getNumOperands(); i != e; ++i) {
872 const MachineOperand &MO = MI.getOperand(i);
Evan Chengcd8e66a2008-11-11 21:48:44 +0000873 if (!MO.isReg() || MO.isImplicit())
874 break;
Evan Cheng7602e112008-09-02 06:52:38 +0000875 unsigned RegNum = ARMRegisterInfo::getRegisterNumbering(MO.getReg());
876 assert(TargetRegisterInfo::isPhysicalRegister(MO.getReg()) &&
877 RegNum < 16);
878 Binary |= 0x1 << RegNum;
879 }
880
Evan Cheng83b5cf02008-11-05 23:22:34 +0000881 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000882}
883
Evan Chengfbc9d412008-11-06 01:21:28 +0000884void ARMCodeEmitter::emitMulFrmInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +0000885 const TargetInstrDesc &TID = MI.getDesc();
886
887 // Part of binary is determined by TableGn.
888 unsigned Binary = getBinaryCodeForInstr(MI);
889
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000890 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000891 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000892
893 // Encode S bit if MI modifies CPSR.
894 Binary |= getAddrModeSBit(MI, TID);
895
896 // 32x32->64bit operations have two destination registers. The number
897 // of register definitions will tell us if that's what we're dealing with.
Evan Cheng97f48c32008-11-06 22:15:19 +0000898 unsigned OpIdx = 0;
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000899 if (TID.getNumDefs() == 2)
900 Binary |= getMachineOpValue (MI, OpIdx++) << ARMII::RegRdLoShift;
901
902 // Encode Rd
903 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdHiShift;
904
905 // Encode Rm
906 Binary |= getMachineOpValue(MI, OpIdx++);
907
908 // Encode Rs
909 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRsShift;
910
Evan Chengfbc9d412008-11-06 01:21:28 +0000911 // Many multiple instructions (e.g. MLA) have three src operands. Encode
912 // it as Rn (for multiply, that's in the same offset as RdLo.
Evan Cheng97f48c32008-11-06 22:15:19 +0000913 if (TID.getNumOperands() > OpIdx &&
914 !TID.OpInfo[OpIdx].isPredicate() &&
915 !TID.OpInfo[OpIdx].isOptionalDef())
916 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRdLoShift;
917
918 emitWordLE(Binary);
919}
920
921void ARMCodeEmitter::emitExtendInstruction(const MachineInstr &MI) {
922 const TargetInstrDesc &TID = MI.getDesc();
923
924 // Part of binary is determined by TableGn.
925 unsigned Binary = getBinaryCodeForInstr(MI);
926
927 // Set the conditional execution predicate
928 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
929
930 unsigned OpIdx = 0;
931
932 // Encode Rd
933 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
934
935 const MachineOperand &MO1 = MI.getOperand(OpIdx++);
936 const MachineOperand &MO2 = MI.getOperand(OpIdx);
937 if (MO2.isReg()) {
938 // Two register operand form.
939 // Encode Rn.
940 Binary |= getMachineOpValue(MI, MO1) << ARMII::RegRnShift;
941
942 // Encode Rm.
943 Binary |= getMachineOpValue(MI, MO2);
944 ++OpIdx;
945 } else {
946 Binary |= getMachineOpValue(MI, MO1);
947 }
948
949 // Encode rot imm (0, 8, 16, or 24) if it has a rotate immediate operand.
950 if (MI.getOperand(OpIdx).isImm() &&
951 !TID.OpInfo[OpIdx].isPredicate() &&
952 !TID.OpInfo[OpIdx].isOptionalDef())
953 Binary |= (getMachineOpValue(MI, OpIdx) / 8) << ARMII::ExtRotImmShift;
Evan Chengfbc9d412008-11-06 01:21:28 +0000954
Evan Cheng83b5cf02008-11-05 23:22:34 +0000955 emitWordLE(Binary);
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000956}
957
Evan Cheng8b59db32008-11-07 01:41:35 +0000958void ARMCodeEmitter::emitMiscArithInstruction(const MachineInstr &MI) {
959 const TargetInstrDesc &TID = MI.getDesc();
960
961 // Part of binary is determined by TableGn.
962 unsigned Binary = getBinaryCodeForInstr(MI);
963
964 // Set the conditional execution predicate
965 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
966
967 unsigned OpIdx = 0;
968
969 // Encode Rd
970 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
971
972 const MachineOperand &MO = MI.getOperand(OpIdx++);
973 if (OpIdx == TID.getNumOperands() ||
974 TID.OpInfo[OpIdx].isPredicate() ||
975 TID.OpInfo[OpIdx].isOptionalDef()) {
976 // Encode Rm and it's done.
977 Binary |= getMachineOpValue(MI, MO);
978 emitWordLE(Binary);
979 return;
980 }
981
982 // Encode Rn.
983 Binary |= getMachineOpValue(MI, MO) << ARMII::RegRnShift;
984
985 // Encode Rm.
986 Binary |= getMachineOpValue(MI, OpIdx++);
987
988 // Encode shift_imm.
989 unsigned ShiftAmt = MI.getOperand(OpIdx).getImm();
990 assert(ShiftAmt < 32 && "shift_imm range is 0 to 31!");
991 Binary |= ShiftAmt << ARMII::ShiftShift;
992
993 emitWordLE(Binary);
994}
995
Evan Chengedda31c2008-11-05 18:35:52 +0000996void ARMCodeEmitter::emitBranchInstruction(const MachineInstr &MI) {
997 const TargetInstrDesc &TID = MI.getDesc();
998
Evan Cheng12c3a532008-11-06 17:48:05 +0000999 if (TID.Opcode == ARM::TPsoft)
1000 abort(); // FIXME
1001
Evan Cheng7602e112008-09-02 06:52:38 +00001002 // Part of binary is determined by TableGn.
1003 unsigned Binary = getBinaryCodeForInstr(MI);
1004
Evan Chengedda31c2008-11-05 18:35:52 +00001005 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +00001006 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chengedda31c2008-11-05 18:35:52 +00001007
1008 // Set signed_immed_24 field
1009 Binary |= getMachineOpValue(MI, 0);
1010
Evan Cheng83b5cf02008-11-05 23:22:34 +00001011 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +00001012}
1013
Evan Cheng437c1732008-11-07 22:30:53 +00001014void ARMCodeEmitter::emitInlineJumpTable(unsigned JTIndex) {
Evan Cheng4df60f52008-11-07 09:06:08 +00001015 // Remember the base address of the inline jump table.
Evan Cheng437c1732008-11-07 22:30:53 +00001016 intptr_t JTBase = MCE.getCurrentPCValue();
1017 JTI->addJumpTableBaseAddr(JTIndex, JTBase);
1018 DOUT << " ** Jump Table #" << JTIndex << " @ " << (void*)JTBase << '\n';
Evan Cheng4df60f52008-11-07 09:06:08 +00001019
1020 // Now emit the jump table entries.
1021 const std::vector<MachineBasicBlock*> &MBBs = (*MJTEs)[JTIndex].MBBs;
1022 for (unsigned i = 0, e = MBBs.size(); i != e; ++i) {
1023 if (IsPIC)
1024 // DestBB address - JT base.
Evan Cheng437c1732008-11-07 22:30:53 +00001025 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_pic_jt, JTBase);
Evan Cheng4df60f52008-11-07 09:06:08 +00001026 else
1027 // Absolute DestBB address.
1028 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_absolute);
1029 emitWordLE(0);
1030 }
1031}
1032
Evan Chengedda31c2008-11-05 18:35:52 +00001033void ARMCodeEmitter::emitMiscBranchInstruction(const MachineInstr &MI) {
1034 const TargetInstrDesc &TID = MI.getDesc();
Evan Chengedda31c2008-11-05 18:35:52 +00001035
Evan Cheng437c1732008-11-07 22:30:53 +00001036 // Handle jump tables.
1037 if (TID.Opcode == ARM::BR_JTr || TID.Opcode == ARM::BR_JTadd) {
1038 // First emit a ldr pc, [] instruction.
1039 emitDataProcessingInstruction(MI, ARM::PC);
1040
1041 // Then emit the inline jump table.
1042 unsigned JTIndex = (TID.Opcode == ARM::BR_JTr)
1043 ? MI.getOperand(1).getIndex() : MI.getOperand(2).getIndex();
1044 emitInlineJumpTable(JTIndex);
1045 return;
1046 } else if (TID.Opcode == ARM::BR_JTm) {
Evan Cheng4df60f52008-11-07 09:06:08 +00001047 // First emit a ldr pc, [] instruction.
1048 emitLoadStoreInstruction(MI, ARM::PC);
1049
1050 // Then emit the inline jump table.
Evan Cheng437c1732008-11-07 22:30:53 +00001051 emitInlineJumpTable(MI.getOperand(3).getIndex());
Evan Cheng4df60f52008-11-07 09:06:08 +00001052 return;
1053 }
1054
Evan Chengedda31c2008-11-05 18:35:52 +00001055 // Part of binary is determined by TableGn.
1056 unsigned Binary = getBinaryCodeForInstr(MI);
1057
1058 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +00001059 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chengedda31c2008-11-05 18:35:52 +00001060
1061 if (TID.Opcode == ARM::BX_RET)
1062 // The return register is LR.
1063 Binary |= ARMRegisterInfo::getRegisterNumbering(ARM::LR);
1064 else
1065 // otherwise, set the return register
1066 Binary |= getMachineOpValue(MI, 0);
1067
Evan Cheng83b5cf02008-11-05 23:22:34 +00001068 emitWordLE(Binary);
Evan Cheng148b6a42007-07-05 21:15:40 +00001069}
Evan Cheng7602e112008-09-02 06:52:38 +00001070
Evan Cheng80a11982008-11-12 06:41:41 +00001071static unsigned encodeVFPRd(const MachineInstr &MI, unsigned OpIdx) {
Evan Chengd06d48d2008-11-12 02:19:38 +00001072 unsigned RegD = MI.getOperand(OpIdx).getReg();
Evan Cheng80a11982008-11-12 06:41:41 +00001073 unsigned Binary = 0;
Evan Chengd06d48d2008-11-12 02:19:38 +00001074 bool isSPVFP = false;
1075 RegD = ARMRegisterInfo::getRegisterNumbering(RegD, isSPVFP);
1076 if (!isSPVFP)
1077 Binary |= RegD << ARMII::RegRdShift;
1078 else {
1079 Binary |= ((RegD & 0x1E) >> 1) << ARMII::RegRdShift;
1080 Binary |= (RegD & 0x01) << ARMII::D_BitShift;
1081 }
Evan Cheng80a11982008-11-12 06:41:41 +00001082 return Binary;
1083}
Evan Cheng78be83d2008-11-11 19:40:26 +00001084
Evan Cheng80a11982008-11-12 06:41:41 +00001085static unsigned encodeVFPRn(const MachineInstr &MI, unsigned OpIdx) {
Evan Chengd06d48d2008-11-12 02:19:38 +00001086 unsigned RegN = MI.getOperand(OpIdx).getReg();
Evan Cheng80a11982008-11-12 06:41:41 +00001087 unsigned Binary = 0;
1088 bool isSPVFP = false;
Evan Chengd06d48d2008-11-12 02:19:38 +00001089 RegN = ARMRegisterInfo::getRegisterNumbering(RegN, isSPVFP);
1090 if (!isSPVFP)
1091 Binary |= RegN << ARMII::RegRnShift;
1092 else {
1093 Binary |= ((RegN & 0x1E) >> 1) << ARMII::RegRnShift;
1094 Binary |= (RegN & 0x01) << ARMII::N_BitShift;
1095 }
Evan Cheng80a11982008-11-12 06:41:41 +00001096 return Binary;
1097}
Evan Chengd06d48d2008-11-12 02:19:38 +00001098
Evan Cheng80a11982008-11-12 06:41:41 +00001099static unsigned encodeVFPRm(const MachineInstr &MI, unsigned OpIdx) {
1100 unsigned RegM = MI.getOperand(OpIdx).getReg();
1101 unsigned Binary = 0;
1102 bool isSPVFP = false;
1103 RegM = ARMRegisterInfo::getRegisterNumbering(RegM, isSPVFP);
1104 if (!isSPVFP)
1105 Binary |= RegM;
1106 else {
1107 Binary |= ((RegM & 0x1E) >> 1);
1108 Binary |= (RegM & 0x01) << ARMII::M_BitShift;
Evan Cheng78be83d2008-11-11 19:40:26 +00001109 }
Evan Cheng80a11982008-11-12 06:41:41 +00001110 return Binary;
1111}
1112
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001113void ARMCodeEmitter::emitVFPArithInstruction(const MachineInstr &MI) {
1114 const TargetInstrDesc &TID = MI.getDesc();
1115
1116 // Part of binary is determined by TableGn.
1117 unsigned Binary = getBinaryCodeForInstr(MI);
1118
1119 // Set the conditional execution predicate
1120 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1121
1122 unsigned OpIdx = 0;
1123 assert((Binary & ARMII::D_BitShift) == 0 &&
1124 (Binary & ARMII::N_BitShift) == 0 &&
1125 (Binary & ARMII::M_BitShift) == 0 && "VFP encoding bug!");
1126
1127 // Encode Dd / Sd.
1128 Binary |= encodeVFPRd(MI, OpIdx++);
1129
1130 // If this is a two-address operand, skip it, e.g. FMACD.
1131 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1132 ++OpIdx;
1133
1134 // Encode Dn / Sn.
1135 if ((TID.TSFlags & ARMII::FormMask) == ARMII::VFPBinaryFrm)
Evan Cheng3f4924e2008-11-12 08:14:21 +00001136 Binary |= encodeVFPRn(MI, OpIdx++);
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001137
1138 if (OpIdx == TID.getNumOperands() ||
1139 TID.OpInfo[OpIdx].isPredicate() ||
1140 TID.OpInfo[OpIdx].isOptionalDef()) {
1141 // FCMPEZD etc. has only one operand.
1142 emitWordLE(Binary);
1143 return;
1144 }
1145
1146 // Encode Dm / Sm.
1147 Binary |= encodeVFPRm(MI, OpIdx);
1148
1149 emitWordLE(Binary);
1150}
1151
Evan Cheng80a11982008-11-12 06:41:41 +00001152void ARMCodeEmitter::emitVFPConversionInstruction(const MachineInstr &MI) {
1153 const TargetInstrDesc &TID = MI.getDesc();
1154 unsigned Form = TID.TSFlags & ARMII::FormMask;
1155
1156 // Part of binary is determined by TableGn.
1157 unsigned Binary = getBinaryCodeForInstr(MI);
1158
1159 // Set the conditional execution predicate
1160 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1161
1162 switch (Form) {
1163 default: break;
1164 case ARMII::VFPConv1Frm:
1165 case ARMII::VFPConv2Frm:
1166 case ARMII::VFPConv3Frm:
1167 // Encode Dd / Sd.
1168 Binary |= encodeVFPRd(MI, 0);
1169 break;
1170 case ARMII::VFPConv4Frm:
1171 // Encode Dn / Sn.
1172 Binary |= encodeVFPRn(MI, 0);
1173 break;
1174 case ARMII::VFPConv5Frm:
1175 // Encode Dm / Sm.
1176 Binary |= encodeVFPRm(MI, 0);
1177 break;
1178 }
1179
1180 switch (Form) {
1181 default: break;
1182 case ARMII::VFPConv1Frm:
1183 // Encode Dm / Sm.
1184 Binary |= encodeVFPRm(MI, 1);
Evan Cheng67fd91f2008-11-13 07:46:59 +00001185 break;
Evan Cheng80a11982008-11-12 06:41:41 +00001186 case ARMII::VFPConv2Frm:
1187 case ARMII::VFPConv3Frm:
1188 // Encode Dn / Sn.
1189 Binary |= encodeVFPRn(MI, 1);
1190 break;
1191 case ARMII::VFPConv4Frm:
1192 case ARMII::VFPConv5Frm:
1193 // Encode Dd / Sd.
1194 Binary |= encodeVFPRd(MI, 1);
1195 break;
1196 }
1197
1198 if (Form == ARMII::VFPConv5Frm)
1199 // Encode Dn / Sn.
1200 Binary |= encodeVFPRn(MI, 2);
1201 else if (Form == ARMII::VFPConv3Frm)
1202 // Encode Dm / Sm.
1203 Binary |= encodeVFPRm(MI, 2);
Evan Cheng78be83d2008-11-11 19:40:26 +00001204
1205 emitWordLE(Binary);
1206}
1207
Evan Chengcd8e66a2008-11-11 21:48:44 +00001208void ARMCodeEmitter::emitVFPLoadStoreInstruction(const MachineInstr &MI) {
1209 // Part of binary is determined by TableGn.
1210 unsigned Binary = getBinaryCodeForInstr(MI);
1211
1212 // Set the conditional execution predicate
1213 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1214
1215 unsigned OpIdx = 0;
1216
1217 // Encode Dd / Sd.
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001218 Binary |= encodeVFPRd(MI, OpIdx++);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001219
1220 // Encode address base.
1221 const MachineOperand &Base = MI.getOperand(OpIdx++);
1222 Binary |= getMachineOpValue(MI, Base) << ARMII::RegRnShift;
1223
1224 // If there is a non-zero immediate offset, encode it.
1225 if (Base.isReg()) {
1226 const MachineOperand &Offset = MI.getOperand(OpIdx);
1227 if (unsigned ImmOffs = ARM_AM::getAM5Offset(Offset.getImm())) {
1228 if (ARM_AM::getAM5Op(Offset.getImm()) == ARM_AM::add)
1229 Binary |= 1 << ARMII::U_BitShift;
Evan Cheng607f1b42008-11-12 08:21:12 +00001230 Binary |= ImmOffs;
Evan Chengcd8e66a2008-11-11 21:48:44 +00001231 emitWordLE(Binary);
1232 return;
1233 }
1234 }
1235
1236 // If immediate offset is omitted, default to +0.
1237 Binary |= 1 << ARMII::U_BitShift;
1238
1239 emitWordLE(Binary);
1240}
1241
1242void
1243ARMCodeEmitter::emitVFPLoadStoreMultipleInstruction(const MachineInstr &MI) {
1244 // Part of binary is determined by TableGn.
1245 unsigned Binary = getBinaryCodeForInstr(MI);
1246
1247 // Set the conditional execution predicate
1248 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1249
1250 // Set base address operand
1251 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRnShift;
1252
1253 // Set addressing mode by modifying bits U(23) and P(24)
1254 const MachineOperand &MO = MI.getOperand(1);
1255 Binary |= getAddrModeUPBits(ARM_AM::getAM5SubMode(MO.getImm()));
1256
1257 // Set bit W(21)
1258 if (ARM_AM::getAM5WBFlag(MO.getImm()))
1259 Binary |= 0x1 << ARMII::W_BitShift;
1260
1261 // First register is encoded in Dd.
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001262 Binary |= encodeVFPRd(MI, 4);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001263
1264 // Number of registers are encoded in offset field.
1265 unsigned NumRegs = 1;
1266 for (unsigned i = 5, e = MI.getNumOperands(); i != e; ++i) {
1267 const MachineOperand &MO = MI.getOperand(i);
1268 if (!MO.isReg() || MO.isImplicit())
1269 break;
1270 ++NumRegs;
1271 }
1272 Binary |= NumRegs * 2;
1273
1274 emitWordLE(Binary);
1275}
1276
1277void ARMCodeEmitter::emitMiscInstruction(const MachineInstr &MI) {
1278 // Part of binary is determined by TableGn.
1279 unsigned Binary = getBinaryCodeForInstr(MI);
1280
1281 // Set the conditional execution predicate
1282 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1283
1284 emitWordLE(Binary);
1285}
1286
Evan Cheng7602e112008-09-02 06:52:38 +00001287#include "ARMGenCodeEmitter.inc"