blob: c583ed12defe42bfe8ccca62b09b58d2db4158b2 [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 Cheng3c4a4ff2008-11-12 07:18:38 +0000315 case ARMII::LdStFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000316 emitLoadStoreInstruction(MI);
317 break;
Evan Cheng3c4a4ff2008-11-12 07:18:38 +0000318 case ARMII::LdStMiscFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000319 emitMiscLoadStoreInstruction(MI);
320 break;
Evan Cheng3c4a4ff2008-11-12 07:18:38 +0000321 case ARMII::LdStMulFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000322 emitLoadStoreMultipleInstruction(MI);
323 break;
Evan Chengfbc9d412008-11-06 01:21:28 +0000324 case ARMII::MulFrm:
325 emitMulFrmInstruction(MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000326 break;
Evan Cheng97f48c32008-11-06 22:15:19 +0000327 case ARMII::ExtFrm:
328 emitExtendInstruction(MI);
329 break;
Evan Cheng8b59db32008-11-07 01:41:35 +0000330 case ARMII::ArithMiscFrm:
331 emitMiscArithInstruction(MI);
332 break;
Evan Cheng12c3a532008-11-06 17:48:05 +0000333 case ARMII::BrFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000334 emitBranchInstruction(MI);
335 break;
Evan Cheng12c3a532008-11-06 17:48:05 +0000336 case ARMII::BrMiscFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000337 emitMiscBranchInstruction(MI);
338 break;
Evan Cheng96581d32008-11-11 02:11:05 +0000339 // VFP instructions.
340 case ARMII::VFPUnaryFrm:
341 case ARMII::VFPBinaryFrm:
342 emitVFPArithInstruction(MI);
343 break;
Evan Cheng78be83d2008-11-11 19:40:26 +0000344 case ARMII::VFPConv1Frm:
345 case ARMII::VFPConv2Frm:
Evan Cheng0a0ab132008-11-11 22:46:12 +0000346 case ARMII::VFPConv3Frm:
Evan Cheng80a11982008-11-12 06:41:41 +0000347 case ARMII::VFPConv4Frm:
348 case ARMII::VFPConv5Frm:
Evan Cheng78be83d2008-11-11 19:40:26 +0000349 emitVFPConversionInstruction(MI);
350 break;
Evan Chengcd8e66a2008-11-11 21:48:44 +0000351 case ARMII::VFPLdStFrm:
352 emitVFPLoadStoreInstruction(MI);
353 break;
354 case ARMII::VFPLdStMulFrm:
355 emitVFPLoadStoreMultipleInstruction(MI);
356 break;
357 case ARMII::VFPMiscFrm:
358 emitMiscInstruction(MI);
359 break;
Evan Chengedda31c2008-11-05 18:35:52 +0000360 }
Evan Cheng0ff94f72007-08-07 01:37:15 +0000361}
362
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000363void ARMCodeEmitter::emitConstPoolInstruction(const MachineInstr &MI) {
Evan Cheng437c1732008-11-07 22:30:53 +0000364 unsigned CPI = MI.getOperand(0).getImm(); // CP instruction index.
365 unsigned CPIndex = MI.getOperand(1).getIndex(); // Actual cp entry index.
Evan Cheng938b9d82008-10-31 19:55:13 +0000366 const MachineConstantPoolEntry &MCPE = (*MCPEs)[CPIndex];
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000367
368 // Remember the CONSTPOOL_ENTRY address for later relocation.
369 JTI->addConstantPoolEntryAddr(CPI, MCE.getCurrentPCValue());
370
371 // Emit constpool island entry. In most cases, the actual values will be
372 // resolved and relocated after code emission.
373 if (MCPE.isMachineConstantPoolEntry()) {
374 ARMConstantPoolValue *ACPV =
375 static_cast<ARMConstantPoolValue*>(MCPE.Val.MachineCPVal);
376
Evan Cheng12c3a532008-11-06 17:48:05 +0000377 DOUT << " ** ARM constant pool #" << CPI << " @ "
Evan Cheng437c1732008-11-07 22:30:53 +0000378 << (void*)MCE.getCurrentPCValue() << " " << *ACPV << '\n';
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000379
380 GlobalValue *GV = ACPV->getGV();
381 if (GV) {
382 assert(!ACPV->isStub() && "Don't know how to deal this yet!");
Evan Chenge96a4902008-11-08 01:31:27 +0000383 if (ACPV->isNonLazyPointer())
Evan Cheng9ed2f802008-11-10 01:08:07 +0000384 MCE.addRelocation(MachineRelocation::getIndirectSymbol(
Evan Chenge96a4902008-11-08 01:31:27 +0000385 MCE.getCurrentPCOffset(), ARM::reloc_arm_machine_cp_entry, GV,
386 (intptr_t)ACPV, false));
387 else
388 emitGlobalAddress(GV, ARM::reloc_arm_machine_cp_entry,
389 ACPV->isStub(), (intptr_t)ACPV);
Evan Cheng25e04782008-11-04 00:50:32 +0000390 } else {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000391 assert(!ACPV->isNonLazyPointer() && "Don't know how to deal this yet!");
392 emitExternalSymbolAddress(ACPV->getSymbol(), ARM::reloc_arm_absolute);
393 }
Evan Cheng83b5cf02008-11-05 23:22:34 +0000394 emitWordLE(0);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000395 } else {
396 Constant *CV = MCPE.Val.ConstVal;
397
Evan Cheng12c3a532008-11-06 17:48:05 +0000398 DOUT << " ** Constant pool #" << CPI << " @ "
Evan Cheng437c1732008-11-07 22:30:53 +0000399 << (void*)MCE.getCurrentPCValue() << " " << *CV << '\n';
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000400
401 if (GlobalValue *GV = dyn_cast<GlobalValue>(CV)) {
402 emitGlobalAddress(GV, ARM::reloc_arm_absolute, false);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000403 emitWordLE(0);
Evan Chengcb5201f2008-11-11 22:19:31 +0000404 } else if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000405 uint32_t Val = *(uint32_t*)CI->getValue().getRawData();
Evan Cheng83b5cf02008-11-05 23:22:34 +0000406 emitWordLE(Val);
Evan Chengcb5201f2008-11-11 22:19:31 +0000407 } else if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV)) {
408 if (CFP->getType() == Type::FloatTy)
409 emitWordLE(CFP->getValueAPF().bitcastToAPInt().getZExtValue());
410 else if (CFP->getType() == Type::DoubleTy)
411 emitDWordLE(CFP->getValueAPF().bitcastToAPInt().getZExtValue());
412 else {
413 assert(0 && "Unable to handle this constantpool entry!");
414 abort();
415 }
416 } else {
417 assert(0 && "Unable to handle this constantpool entry!");
418 abort();
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000419 }
420 }
421}
422
Evan Cheng90922132008-11-06 02:25:39 +0000423void ARMCodeEmitter::emitMOVi2piecesInstruction(const MachineInstr &MI) {
424 const MachineOperand &MO0 = MI.getOperand(0);
425 const MachineOperand &MO1 = MI.getOperand(1);
426 assert(MO1.isImm() && "Not a valid so_imm value!");
427 unsigned V1 = ARM_AM::getSOImmTwoPartFirst(MO1.getImm());
428 unsigned V2 = ARM_AM::getSOImmTwoPartSecond(MO1.getImm());
429
430 // Emit the 'mov' instruction.
431 unsigned Binary = 0xd << 21; // mov: Insts{24-21} = 0b1101
432
433 // Set the conditional execution predicate.
Evan Cheng97f48c32008-11-06 22:15:19 +0000434 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng90922132008-11-06 02:25:39 +0000435
436 // Encode Rd.
437 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
438
439 // Encode so_imm.
440 // Set bit I(25) to identify this is the immediate form of <shifter_op>
441 Binary |= 1 << ARMII::I_BitShift;
442 Binary |= getMachineSoImmOpValue(ARM_AM::getSOImmVal(V1));
443 emitWordLE(Binary);
444
445 // Now the 'orr' instruction.
446 Binary = 0xc << 21; // orr: Insts{24-21} = 0b1100
447
448 // Set the conditional execution predicate.
Evan Cheng97f48c32008-11-06 22:15:19 +0000449 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng90922132008-11-06 02:25:39 +0000450
451 // Encode Rd.
452 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
453
454 // Encode Rn.
455 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRnShift;
456
457 // Encode so_imm.
458 // Set bit I(25) to identify this is the immediate form of <shifter_op>
459 Binary |= 1 << ARMII::I_BitShift;
460 Binary |= getMachineSoImmOpValue(ARM_AM::getSOImmVal(V2));
461 emitWordLE(Binary);
462}
463
Evan Cheng4df60f52008-11-07 09:06:08 +0000464void ARMCodeEmitter::emitLEApcrelJTInstruction(const MachineInstr &MI) {
465 // It's basically add r, pc, (LJTI - $+8)
466
467 const TargetInstrDesc &TID = MI.getDesc();
468
469 // Emit the 'add' instruction.
470 unsigned Binary = 0x4 << 21; // add: Insts{24-31} = 0b0100
471
472 // Set the conditional execution predicate
473 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
474
475 // Encode S bit if MI modifies CPSR.
476 Binary |= getAddrModeSBit(MI, TID);
477
478 // Encode Rd.
479 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
480
481 // Encode Rn which is PC.
482 Binary |= ARMRegisterInfo::getRegisterNumbering(ARM::PC) << ARMII::RegRnShift;
483
484 // Encode the displacement.
485 // Set bit I(25) to identify this is the immediate form of <shifter_op>.
486 Binary |= 1 << ARMII::I_BitShift;
487 emitJumpTableAddress(MI.getOperand(1).getIndex(), ARM::reloc_arm_jt_base);
488
489 emitWordLE(Binary);
490}
491
Evan Cheng83b5cf02008-11-05 23:22:34 +0000492void ARMCodeEmitter::addPCLabel(unsigned LabelID) {
Evan Cheng12c3a532008-11-06 17:48:05 +0000493 DOUT << " ** LPC" << LabelID << " @ "
Evan Cheng83b5cf02008-11-05 23:22:34 +0000494 << (void*)MCE.getCurrentPCValue() << '\n';
495 JTI->addPCLabelAddr(LabelID, MCE.getCurrentPCValue());
496}
497
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000498void ARMCodeEmitter::emitPseudoInstruction(const MachineInstr &MI) {
499 unsigned Opcode = MI.getDesc().Opcode;
500 switch (Opcode) {
501 default:
502 abort(); // FIXME:
503 case ARM::CONSTPOOL_ENTRY:
504 emitConstPoolInstruction(MI);
505 break;
506 case ARM::PICADD: {
Evan Cheng25e04782008-11-04 00:50:32 +0000507 // Remember of the address of the PC label for relocation later.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000508 addPCLabel(MI.getOperand(2).getImm());
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000509 // PICADD is just an add instruction that implicitly read pc.
Evan Cheng437c1732008-11-07 22:30:53 +0000510 emitDataProcessingInstruction(MI, 0, ARM::PC);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000511 break;
512 }
513 case ARM::PICLDR:
514 case ARM::PICLDRB:
515 case ARM::PICSTR:
516 case ARM::PICSTRB: {
517 // Remember of the address of the PC label for relocation later.
518 addPCLabel(MI.getOperand(2).getImm());
519 // These are just load / store instructions that implicitly read pc.
Evan Cheng4df60f52008-11-07 09:06:08 +0000520 emitLoadStoreInstruction(MI, 0, ARM::PC);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000521 break;
522 }
523 case ARM::PICLDRH:
524 case ARM::PICLDRSH:
525 case ARM::PICLDRSB:
526 case ARM::PICSTRH: {
527 // Remember of the address of the PC label for relocation later.
528 addPCLabel(MI.getOperand(2).getImm());
529 // These are just load / store instructions that implicitly read pc.
530 emitMiscLoadStoreInstruction(MI, ARM::PC);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000531 break;
532 }
Evan Cheng90922132008-11-06 02:25:39 +0000533 case ARM::MOVi2pieces:
534 // Two instructions to materialize a constant.
535 emitMOVi2piecesInstruction(MI);
536 break;
Evan Cheng4df60f52008-11-07 09:06:08 +0000537 case ARM::LEApcrelJT:
538 // Materialize jumptable address.
539 emitLEApcrelJTInstruction(MI);
540 break;
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000541 }
542}
543
544
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000545unsigned ARMCodeEmitter::getMachineSoRegOpValue(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +0000546 const TargetInstrDesc &TID,
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000547 const MachineOperand &MO,
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000548 unsigned OpIdx) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000549 unsigned Binary = getMachineOpValue(MI, MO);
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000550
551 const MachineOperand &MO1 = MI.getOperand(OpIdx + 1);
552 const MachineOperand &MO2 = MI.getOperand(OpIdx + 2);
553 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO2.getImm());
554
555 // Encode the shift opcode.
556 unsigned SBits = 0;
557 unsigned Rs = MO1.getReg();
558 if (Rs) {
559 // Set shift operand (bit[7:4]).
560 // LSL - 0001
561 // LSR - 0011
562 // ASR - 0101
563 // ROR - 0111
564 // RRX - 0110 and bit[11:8] clear.
565 switch (SOpc) {
566 default: assert(0 && "Unknown shift opc!");
567 case ARM_AM::lsl: SBits = 0x1; break;
568 case ARM_AM::lsr: SBits = 0x3; break;
569 case ARM_AM::asr: SBits = 0x5; break;
570 case ARM_AM::ror: SBits = 0x7; break;
571 case ARM_AM::rrx: SBits = 0x6; break;
572 }
573 } else {
574 // Set shift operand (bit[6:4]).
575 // LSL - 000
576 // LSR - 010
577 // ASR - 100
578 // ROR - 110
579 switch (SOpc) {
580 default: assert(0 && "Unknown shift opc!");
581 case ARM_AM::lsl: SBits = 0x0; break;
582 case ARM_AM::lsr: SBits = 0x2; break;
583 case ARM_AM::asr: SBits = 0x4; break;
584 case ARM_AM::ror: SBits = 0x6; break;
585 }
586 }
587 Binary |= SBits << 4;
588 if (SOpc == ARM_AM::rrx)
589 return Binary;
590
591 // Encode the shift operation Rs or shift_imm (except rrx).
592 if (Rs) {
593 // Encode Rs bit[11:8].
594 assert(ARM_AM::getSORegOffset(MO2.getImm()) == 0);
595 return Binary |
596 (ARMRegisterInfo::getRegisterNumbering(Rs) << ARMII::RegRsShift);
597 }
598
599 // Encode shift_imm bit[11:7].
600 return Binary | ARM_AM::getSORegOffset(MO2.getImm()) << 7;
601}
602
Evan Cheng90922132008-11-06 02:25:39 +0000603unsigned ARMCodeEmitter::getMachineSoImmOpValue(unsigned SoImm) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000604 // Encode rotate_imm.
Evan Cheng97f48c32008-11-06 22:15:19 +0000605 unsigned Binary = (ARM_AM::getSOImmValRot(SoImm) >> 1)
606 << ARMII::SoRotImmShift;
607
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000608 // Encode immed_8.
Evan Cheng90922132008-11-06 02:25:39 +0000609 Binary |= ARM_AM::getSOImmValImm(SoImm);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000610 return Binary;
611}
612
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000613unsigned ARMCodeEmitter::getAddrModeSBit(const MachineInstr &MI,
614 const TargetInstrDesc &TID) const {
Evan Cheng49a9f292008-09-12 22:45:55 +0000615 for (unsigned i = MI.getNumOperands(), e = TID.getNumOperands(); i != e; --i){
616 const MachineOperand &MO = MI.getOperand(i-1);
Dan Gohmand735b802008-10-03 15:45:36 +0000617 if (MO.isReg() && MO.isDef() && MO.getReg() == ARM::CPSR)
Evan Cheng49a9f292008-09-12 22:45:55 +0000618 return 1 << ARMII::S_BitShift;
619 }
620 return 0;
621}
622
Evan Cheng83b5cf02008-11-05 23:22:34 +0000623void ARMCodeEmitter::emitDataProcessingInstruction(const MachineInstr &MI,
Evan Cheng437c1732008-11-07 22:30:53 +0000624 unsigned ImplicitRd,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000625 unsigned ImplicitRn) {
Evan Chengedda31c2008-11-05 18:35:52 +0000626 const TargetInstrDesc &TID = MI.getDesc();
Evan Chengedda31c2008-11-05 18:35:52 +0000627
628 // Part of binary is determined by TableGn.
629 unsigned Binary = getBinaryCodeForInstr(MI);
630
Jim Grosbach33412622008-10-07 19:05:35 +0000631 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000632 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000633
Evan Cheng49a9f292008-09-12 22:45:55 +0000634 // Encode S bit if MI modifies CPSR.
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000635 Binary |= getAddrModeSBit(MI, TID);
Evan Cheng49a9f292008-09-12 22:45:55 +0000636
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000637 // Encode register def if there is one.
Evan Cheng49a9f292008-09-12 22:45:55 +0000638 unsigned NumDefs = TID.getNumDefs();
Evan Chenga964b7d2008-09-12 23:15:39 +0000639 unsigned OpIdx = 0;
Evan Cheng437c1732008-11-07 22:30:53 +0000640 if (NumDefs)
641 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
642 else if (ImplicitRd)
643 // Special handling for implicit use (e.g. PC).
644 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRd)
645 << ARMII::RegRdShift);
Evan Cheng7602e112008-09-02 06:52:38 +0000646
Evan Chengd87293c2008-11-06 08:47:38 +0000647 // If this is a two-address operand, skip it. e.g. MOVCCr operand 1.
648 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
649 ++OpIdx;
650
Jim Grosbachefd30ba2008-10-01 18:16:49 +0000651 // Encode first non-shifter register operand if there is one.
Evan Chengedda31c2008-11-05 18:35:52 +0000652 bool isUnary = TID.TSFlags & ARMII::UnaryDP;
653 if (!isUnary) {
Evan Cheng83b5cf02008-11-05 23:22:34 +0000654 if (ImplicitRn)
655 // Special handling for implicit use (e.g. PC).
656 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
Evan Chengedda31c2008-11-05 18:35:52 +0000657 << ARMII::RegRnShift);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000658 else {
659 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRnShift;
660 ++OpIdx;
661 }
Evan Cheng7602e112008-09-02 06:52:38 +0000662 }
663
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000664 // Encode shifter operand.
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000665 const MachineOperand &MO = MI.getOperand(OpIdx);
Evan Chengedda31c2008-11-05 18:35:52 +0000666 if ((TID.TSFlags & ARMII::FormMask) == ARMII::DPSoRegFrm) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000667 // Encode SoReg.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000668 emitWordLE(Binary | getMachineSoRegOpValue(MI, TID, MO, OpIdx));
Evan Chengedda31c2008-11-05 18:35:52 +0000669 return;
670 }
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000671
Evan Chengedda31c2008-11-05 18:35:52 +0000672 if (MO.isReg()) {
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000673 // Encode register Rm.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000674 emitWordLE(Binary | ARMRegisterInfo::getRegisterNumbering(MO.getReg()));
Evan Chengedda31c2008-11-05 18:35:52 +0000675 return;
676 }
Evan Cheng7602e112008-09-02 06:52:38 +0000677
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000678 // Encode so_imm.
Evan Cheng4df60f52008-11-07 09:06:08 +0000679 // Set bit I(25) to identify this is the immediate form of <shifter_op>.
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000680 Binary |= 1 << ARMII::I_BitShift;
Evan Cheng90922132008-11-06 02:25:39 +0000681 Binary |= getMachineSoImmOpValue(MO.getImm());
Evan Chengedda31c2008-11-05 18:35:52 +0000682
Evan Cheng83b5cf02008-11-05 23:22:34 +0000683 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000684}
685
Evan Cheng83b5cf02008-11-05 23:22:34 +0000686void ARMCodeEmitter::emitLoadStoreInstruction(const MachineInstr &MI,
Evan Cheng4df60f52008-11-07 09:06:08 +0000687 unsigned ImplicitRd,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000688 unsigned ImplicitRn) {
Evan Cheng05c356e2008-11-08 01:44:13 +0000689 const TargetInstrDesc &TID = MI.getDesc();
690
Evan Chengedda31c2008-11-05 18:35:52 +0000691 // Part of binary is determined by TableGn.
692 unsigned Binary = getBinaryCodeForInstr(MI);
693
Jim Grosbach33412622008-10-07 19:05:35 +0000694 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000695 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng057d0c32008-09-18 07:28:19 +0000696
Evan Cheng7602e112008-09-02 06:52:38 +0000697 // Set first operand
Evan Cheng4df60f52008-11-07 09:06:08 +0000698 unsigned OpIdx = 0;
699 if (ImplicitRd)
700 // Special handling for implicit use (e.g. PC).
701 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRd)
702 << ARMII::RegRdShift);
703 else
704 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000705
706 // Set second operand
Evan Cheng83b5cf02008-11-05 23:22:34 +0000707 if (ImplicitRn)
708 // Special handling for implicit use (e.g. PC).
709 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
710 << ARMII::RegRnShift);
Evan Cheng4df60f52008-11-07 09:06:08 +0000711 else
712 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000713
Evan Cheng05c356e2008-11-08 01:44:13 +0000714 // If this is a two-address operand, skip it. e.g. LDR_PRE.
715 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
716 ++OpIdx;
717
Evan Cheng83b5cf02008-11-05 23:22:34 +0000718 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Chengd87293c2008-11-06 08:47:38 +0000719 unsigned AM2Opc = (ImplicitRn == ARM::PC)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000720 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Cheng7602e112008-09-02 06:52:38 +0000721
Evan Chenge7de7e32008-09-13 01:44:01 +0000722 // Set bit U(23) according to sign of immed value (positive or negative).
Evan Cheng83b5cf02008-11-05 23:22:34 +0000723 Binary |= ((ARM_AM::getAM2Op(AM2Opc) == ARM_AM::add ? 1 : 0) <<
Evan Chenge7de7e32008-09-13 01:44:01 +0000724 ARMII::U_BitShift);
Evan Cheng7602e112008-09-02 06:52:38 +0000725 if (!MO2.getReg()) { // is immediate
Evan Cheng83b5cf02008-11-05 23:22:34 +0000726 if (ARM_AM::getAM2Offset(AM2Opc))
Evan Cheng7602e112008-09-02 06:52:38 +0000727 // Set the value of offset_12 field
Evan Cheng83b5cf02008-11-05 23:22:34 +0000728 Binary |= ARM_AM::getAM2Offset(AM2Opc);
729 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +0000730 return;
Evan Cheng7602e112008-09-02 06:52:38 +0000731 }
732
733 // Set bit I(25), because this is not in immediate enconding.
734 Binary |= 1 << ARMII::I_BitShift;
735 assert(TargetRegisterInfo::isPhysicalRegister(MO2.getReg()));
736 // Set bit[3:0] to the corresponding Rm register
737 Binary |= ARMRegisterInfo::getRegisterNumbering(MO2.getReg());
738
Evan Cheng70632912008-11-12 07:34:37 +0000739 // If this instr is in scaled register offset/index instruction, set
Evan Cheng7602e112008-09-02 06:52:38 +0000740 // shift_immed(bit[11:7]) and shift(bit[6:5]) fields.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000741 if (unsigned ShImm = ARM_AM::getAM2Offset(AM2Opc)) {
Evan Cheng70632912008-11-12 07:34:37 +0000742 Binary |= getShiftOp(AM2Opc) << ARMII::ShiftImmShift; // shift
743 Binary |= ShImm << ARMII::ShiftShift; // shift_immed
Evan Cheng7602e112008-09-02 06:52:38 +0000744 }
745
Evan Cheng83b5cf02008-11-05 23:22:34 +0000746 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000747}
748
Evan Cheng83b5cf02008-11-05 23:22:34 +0000749void ARMCodeEmitter::emitMiscLoadStoreInstruction(const MachineInstr &MI,
750 unsigned ImplicitRn) {
Evan Cheng05c356e2008-11-08 01:44:13 +0000751 const TargetInstrDesc &TID = MI.getDesc();
752
Evan Chengedda31c2008-11-05 18:35:52 +0000753 // Part of binary is determined by TableGn.
754 unsigned Binary = getBinaryCodeForInstr(MI);
755
Jim Grosbach33412622008-10-07 19:05:35 +0000756 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000757 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng057d0c32008-09-18 07:28:19 +0000758
Evan Cheng7602e112008-09-02 06:52:38 +0000759 // Set first operand
760 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
761
762 // Set second operand
Evan Cheng83b5cf02008-11-05 23:22:34 +0000763 unsigned OpIdx = 1;
764 if (ImplicitRn)
765 // Special handling for implicit use (e.g. PC).
766 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
767 << ARMII::RegRnShift);
Evan Cheng4df60f52008-11-07 09:06:08 +0000768 else
769 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000770
Evan Cheng05c356e2008-11-08 01:44:13 +0000771 // If this is a two-address operand, skip it. e.g. LDRH_POST.
772 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
773 ++OpIdx;
774
Evan Cheng83b5cf02008-11-05 23:22:34 +0000775 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Chengd87293c2008-11-06 08:47:38 +0000776 unsigned AM3Opc = (ImplicitRn == ARM::PC)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000777 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Cheng7602e112008-09-02 06:52:38 +0000778
Evan Chenge7de7e32008-09-13 01:44:01 +0000779 // Set bit U(23) according to sign of immed value (positive or negative)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000780 Binary |= ((ARM_AM::getAM3Op(AM3Opc) == ARM_AM::add ? 1 : 0) <<
Evan Cheng7602e112008-09-02 06:52:38 +0000781 ARMII::U_BitShift);
782
783 // If this instr is in register offset/index encoding, set bit[3:0]
784 // to the corresponding Rm register.
785 if (MO2.getReg()) {
786 Binary |= ARMRegisterInfo::getRegisterNumbering(MO2.getReg());
Evan Cheng83b5cf02008-11-05 23:22:34 +0000787 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +0000788 return;
Evan Cheng7602e112008-09-02 06:52:38 +0000789 }
790
Evan Chengd87293c2008-11-06 08:47:38 +0000791 // This instr is in immediate offset/index encoding, set bit 22 to 1.
Evan Cheng97f48c32008-11-06 22:15:19 +0000792 Binary |= 1 << ARMII::AM3_I_BitShift;
Evan Cheng83b5cf02008-11-05 23:22:34 +0000793 if (unsigned ImmOffs = ARM_AM::getAM3Offset(AM3Opc)) {
Evan Cheng7602e112008-09-02 06:52:38 +0000794 // Set operands
Evan Cheng70632912008-11-12 07:34:37 +0000795 Binary |= (ImmOffs >> 4) << ARMII::ImmHiShift; // immedH
796 Binary |= (ImmOffs & 0xF); // immedL
Evan Cheng7602e112008-09-02 06:52:38 +0000797 }
798
Evan Cheng83b5cf02008-11-05 23:22:34 +0000799 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000800}
801
Evan Chengcd8e66a2008-11-11 21:48:44 +0000802static unsigned getAddrModeUPBits(unsigned Mode) {
803 unsigned Binary = 0;
Evan Cheng7602e112008-09-02 06:52:38 +0000804
805 // Set addressing mode by modifying bits U(23) and P(24)
806 // IA - Increment after - bit U = 1 and bit P = 0
807 // IB - Increment before - bit U = 1 and bit P = 1
808 // DA - Decrement after - bit U = 0 and bit P = 0
809 // DB - Decrement before - bit U = 0 and bit P = 1
Evan Cheng7602e112008-09-02 06:52:38 +0000810 switch (Mode) {
811 default: assert(0 && "Unknown addressing sub-mode!");
812 case ARM_AM::da: break;
Evan Cheng97f48c32008-11-06 22:15:19 +0000813 case ARM_AM::db: Binary |= 0x1 << ARMII::P_BitShift; break;
814 case ARM_AM::ia: Binary |= 0x1 << ARMII::U_BitShift; break;
815 case ARM_AM::ib: Binary |= 0x3 << ARMII::U_BitShift; break;
Evan Cheng7602e112008-09-02 06:52:38 +0000816 }
817
Evan Chengcd8e66a2008-11-11 21:48:44 +0000818 return Binary;
819}
820
821void ARMCodeEmitter::emitLoadStoreMultipleInstruction(const MachineInstr &MI) {
822 // Part of binary is determined by TableGn.
823 unsigned Binary = getBinaryCodeForInstr(MI);
824
825 // Set the conditional execution predicate
826 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
827
828 // Set base address operand
829 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRnShift;
830
831 // Set addressing mode by modifying bits U(23) and P(24)
832 const MachineOperand &MO = MI.getOperand(1);
833 Binary |= getAddrModeUPBits(ARM_AM::getAM4SubMode(MO.getImm()));
834
Evan Cheng7602e112008-09-02 06:52:38 +0000835 // Set bit W(21)
836 if (ARM_AM::getAM4WBFlag(MO.getImm()))
Evan Cheng97f48c32008-11-06 22:15:19 +0000837 Binary |= 0x1 << ARMII::W_BitShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000838
839 // Set registers
840 for (unsigned i = 4, e = MI.getNumOperands(); i != e; ++i) {
841 const MachineOperand &MO = MI.getOperand(i);
Evan Chengcd8e66a2008-11-11 21:48:44 +0000842 if (!MO.isReg() || MO.isImplicit())
843 break;
Evan Cheng7602e112008-09-02 06:52:38 +0000844 unsigned RegNum = ARMRegisterInfo::getRegisterNumbering(MO.getReg());
845 assert(TargetRegisterInfo::isPhysicalRegister(MO.getReg()) &&
846 RegNum < 16);
847 Binary |= 0x1 << RegNum;
848 }
849
Evan Cheng83b5cf02008-11-05 23:22:34 +0000850 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000851}
852
Evan Chengfbc9d412008-11-06 01:21:28 +0000853void ARMCodeEmitter::emitMulFrmInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +0000854 const TargetInstrDesc &TID = MI.getDesc();
855
856 // Part of binary is determined by TableGn.
857 unsigned Binary = getBinaryCodeForInstr(MI);
858
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000859 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000860 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000861
862 // Encode S bit if MI modifies CPSR.
863 Binary |= getAddrModeSBit(MI, TID);
864
865 // 32x32->64bit operations have two destination registers. The number
866 // of register definitions will tell us if that's what we're dealing with.
Evan Cheng97f48c32008-11-06 22:15:19 +0000867 unsigned OpIdx = 0;
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000868 if (TID.getNumDefs() == 2)
869 Binary |= getMachineOpValue (MI, OpIdx++) << ARMII::RegRdLoShift;
870
871 // Encode Rd
872 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdHiShift;
873
874 // Encode Rm
875 Binary |= getMachineOpValue(MI, OpIdx++);
876
877 // Encode Rs
878 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRsShift;
879
Evan Chengfbc9d412008-11-06 01:21:28 +0000880 // Many multiple instructions (e.g. MLA) have three src operands. Encode
881 // it as Rn (for multiply, that's in the same offset as RdLo.
Evan Cheng97f48c32008-11-06 22:15:19 +0000882 if (TID.getNumOperands() > OpIdx &&
883 !TID.OpInfo[OpIdx].isPredicate() &&
884 !TID.OpInfo[OpIdx].isOptionalDef())
885 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRdLoShift;
886
887 emitWordLE(Binary);
888}
889
890void ARMCodeEmitter::emitExtendInstruction(const MachineInstr &MI) {
891 const TargetInstrDesc &TID = MI.getDesc();
892
893 // Part of binary is determined by TableGn.
894 unsigned Binary = getBinaryCodeForInstr(MI);
895
896 // Set the conditional execution predicate
897 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
898
899 unsigned OpIdx = 0;
900
901 // Encode Rd
902 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
903
904 const MachineOperand &MO1 = MI.getOperand(OpIdx++);
905 const MachineOperand &MO2 = MI.getOperand(OpIdx);
906 if (MO2.isReg()) {
907 // Two register operand form.
908 // Encode Rn.
909 Binary |= getMachineOpValue(MI, MO1) << ARMII::RegRnShift;
910
911 // Encode Rm.
912 Binary |= getMachineOpValue(MI, MO2);
913 ++OpIdx;
914 } else {
915 Binary |= getMachineOpValue(MI, MO1);
916 }
917
918 // Encode rot imm (0, 8, 16, or 24) if it has a rotate immediate operand.
919 if (MI.getOperand(OpIdx).isImm() &&
920 !TID.OpInfo[OpIdx].isPredicate() &&
921 !TID.OpInfo[OpIdx].isOptionalDef())
922 Binary |= (getMachineOpValue(MI, OpIdx) / 8) << ARMII::ExtRotImmShift;
Evan Chengfbc9d412008-11-06 01:21:28 +0000923
Evan Cheng83b5cf02008-11-05 23:22:34 +0000924 emitWordLE(Binary);
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000925}
926
Evan Cheng8b59db32008-11-07 01:41:35 +0000927void ARMCodeEmitter::emitMiscArithInstruction(const MachineInstr &MI) {
928 const TargetInstrDesc &TID = MI.getDesc();
929
930 // Part of binary is determined by TableGn.
931 unsigned Binary = getBinaryCodeForInstr(MI);
932
933 // Set the conditional execution predicate
934 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
935
936 unsigned OpIdx = 0;
937
938 // Encode Rd
939 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
940
941 const MachineOperand &MO = MI.getOperand(OpIdx++);
942 if (OpIdx == TID.getNumOperands() ||
943 TID.OpInfo[OpIdx].isPredicate() ||
944 TID.OpInfo[OpIdx].isOptionalDef()) {
945 // Encode Rm and it's done.
946 Binary |= getMachineOpValue(MI, MO);
947 emitWordLE(Binary);
948 return;
949 }
950
951 // Encode Rn.
952 Binary |= getMachineOpValue(MI, MO) << ARMII::RegRnShift;
953
954 // Encode Rm.
955 Binary |= getMachineOpValue(MI, OpIdx++);
956
957 // Encode shift_imm.
958 unsigned ShiftAmt = MI.getOperand(OpIdx).getImm();
959 assert(ShiftAmt < 32 && "shift_imm range is 0 to 31!");
960 Binary |= ShiftAmt << ARMII::ShiftShift;
961
962 emitWordLE(Binary);
963}
964
Evan Chengedda31c2008-11-05 18:35:52 +0000965void ARMCodeEmitter::emitBranchInstruction(const MachineInstr &MI) {
966 const TargetInstrDesc &TID = MI.getDesc();
967
Evan Cheng12c3a532008-11-06 17:48:05 +0000968 if (TID.Opcode == ARM::TPsoft)
969 abort(); // FIXME
970
Evan Cheng7602e112008-09-02 06:52:38 +0000971 // Part of binary is determined by TableGn.
972 unsigned Binary = getBinaryCodeForInstr(MI);
973
Evan Chengedda31c2008-11-05 18:35:52 +0000974 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000975 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chengedda31c2008-11-05 18:35:52 +0000976
977 // Set signed_immed_24 field
978 Binary |= getMachineOpValue(MI, 0);
979
Evan Cheng83b5cf02008-11-05 23:22:34 +0000980 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +0000981}
982
Evan Cheng437c1732008-11-07 22:30:53 +0000983void ARMCodeEmitter::emitInlineJumpTable(unsigned JTIndex) {
Evan Cheng4df60f52008-11-07 09:06:08 +0000984 // Remember the base address of the inline jump table.
Evan Cheng437c1732008-11-07 22:30:53 +0000985 intptr_t JTBase = MCE.getCurrentPCValue();
986 JTI->addJumpTableBaseAddr(JTIndex, JTBase);
987 DOUT << " ** Jump Table #" << JTIndex << " @ " << (void*)JTBase << '\n';
Evan Cheng4df60f52008-11-07 09:06:08 +0000988
989 // Now emit the jump table entries.
990 const std::vector<MachineBasicBlock*> &MBBs = (*MJTEs)[JTIndex].MBBs;
991 for (unsigned i = 0, e = MBBs.size(); i != e; ++i) {
992 if (IsPIC)
993 // DestBB address - JT base.
Evan Cheng437c1732008-11-07 22:30:53 +0000994 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_pic_jt, JTBase);
Evan Cheng4df60f52008-11-07 09:06:08 +0000995 else
996 // Absolute DestBB address.
997 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_absolute);
998 emitWordLE(0);
999 }
1000}
1001
Evan Chengedda31c2008-11-05 18:35:52 +00001002void ARMCodeEmitter::emitMiscBranchInstruction(const MachineInstr &MI) {
1003 const TargetInstrDesc &TID = MI.getDesc();
Evan Chengedda31c2008-11-05 18:35:52 +00001004
Evan Cheng437c1732008-11-07 22:30:53 +00001005 // Handle jump tables.
1006 if (TID.Opcode == ARM::BR_JTr || TID.Opcode == ARM::BR_JTadd) {
1007 // First emit a ldr pc, [] instruction.
1008 emitDataProcessingInstruction(MI, ARM::PC);
1009
1010 // Then emit the inline jump table.
1011 unsigned JTIndex = (TID.Opcode == ARM::BR_JTr)
1012 ? MI.getOperand(1).getIndex() : MI.getOperand(2).getIndex();
1013 emitInlineJumpTable(JTIndex);
1014 return;
1015 } else if (TID.Opcode == ARM::BR_JTm) {
Evan Cheng4df60f52008-11-07 09:06:08 +00001016 // First emit a ldr pc, [] instruction.
1017 emitLoadStoreInstruction(MI, ARM::PC);
1018
1019 // Then emit the inline jump table.
Evan Cheng437c1732008-11-07 22:30:53 +00001020 emitInlineJumpTable(MI.getOperand(3).getIndex());
Evan Cheng4df60f52008-11-07 09:06:08 +00001021 return;
1022 }
1023
Evan Chengedda31c2008-11-05 18:35:52 +00001024 // Part of binary is determined by TableGn.
1025 unsigned Binary = getBinaryCodeForInstr(MI);
1026
1027 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +00001028 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chengedda31c2008-11-05 18:35:52 +00001029
1030 if (TID.Opcode == ARM::BX_RET)
1031 // The return register is LR.
1032 Binary |= ARMRegisterInfo::getRegisterNumbering(ARM::LR);
1033 else
1034 // otherwise, set the return register
1035 Binary |= getMachineOpValue(MI, 0);
1036
Evan Cheng83b5cf02008-11-05 23:22:34 +00001037 emitWordLE(Binary);
Evan Cheng148b6a42007-07-05 21:15:40 +00001038}
Evan Cheng7602e112008-09-02 06:52:38 +00001039
Evan Cheng80a11982008-11-12 06:41:41 +00001040static unsigned encodeVFPRd(const MachineInstr &MI, unsigned OpIdx) {
Evan Chengd06d48d2008-11-12 02:19:38 +00001041 unsigned RegD = MI.getOperand(OpIdx).getReg();
Evan Cheng80a11982008-11-12 06:41:41 +00001042 unsigned Binary = 0;
Evan Chengd06d48d2008-11-12 02:19:38 +00001043 bool isSPVFP = false;
1044 RegD = ARMRegisterInfo::getRegisterNumbering(RegD, isSPVFP);
1045 if (!isSPVFP)
1046 Binary |= RegD << ARMII::RegRdShift;
1047 else {
1048 Binary |= ((RegD & 0x1E) >> 1) << ARMII::RegRdShift;
1049 Binary |= (RegD & 0x01) << ARMII::D_BitShift;
1050 }
Evan Cheng80a11982008-11-12 06:41:41 +00001051 return Binary;
1052}
Evan Cheng78be83d2008-11-11 19:40:26 +00001053
Evan Cheng80a11982008-11-12 06:41:41 +00001054static unsigned encodeVFPRn(const MachineInstr &MI, unsigned OpIdx) {
Evan Chengd06d48d2008-11-12 02:19:38 +00001055 unsigned RegN = MI.getOperand(OpIdx).getReg();
Evan Cheng80a11982008-11-12 06:41:41 +00001056 unsigned Binary = 0;
1057 bool isSPVFP = false;
Evan Chengd06d48d2008-11-12 02:19:38 +00001058 RegN = ARMRegisterInfo::getRegisterNumbering(RegN, isSPVFP);
1059 if (!isSPVFP)
1060 Binary |= RegN << ARMII::RegRnShift;
1061 else {
1062 Binary |= ((RegN & 0x1E) >> 1) << ARMII::RegRnShift;
1063 Binary |= (RegN & 0x01) << ARMII::N_BitShift;
1064 }
Evan Cheng80a11982008-11-12 06:41:41 +00001065 return Binary;
1066}
Evan Chengd06d48d2008-11-12 02:19:38 +00001067
Evan Cheng80a11982008-11-12 06:41:41 +00001068static unsigned encodeVFPRm(const MachineInstr &MI, unsigned OpIdx) {
1069 unsigned RegM = MI.getOperand(OpIdx).getReg();
1070 unsigned Binary = 0;
1071 bool isSPVFP = false;
1072 RegM = ARMRegisterInfo::getRegisterNumbering(RegM, isSPVFP);
1073 if (!isSPVFP)
1074 Binary |= RegM;
1075 else {
1076 Binary |= ((RegM & 0x1E) >> 1);
1077 Binary |= (RegM & 0x01) << ARMII::M_BitShift;
Evan Cheng78be83d2008-11-11 19:40:26 +00001078 }
Evan Cheng80a11982008-11-12 06:41:41 +00001079 return Binary;
1080}
1081
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001082void ARMCodeEmitter::emitVFPArithInstruction(const MachineInstr &MI) {
1083 const TargetInstrDesc &TID = MI.getDesc();
1084
1085 // Part of binary is determined by TableGn.
1086 unsigned Binary = getBinaryCodeForInstr(MI);
1087
1088 // Set the conditional execution predicate
1089 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1090
1091 unsigned OpIdx = 0;
1092 assert((Binary & ARMII::D_BitShift) == 0 &&
1093 (Binary & ARMII::N_BitShift) == 0 &&
1094 (Binary & ARMII::M_BitShift) == 0 && "VFP encoding bug!");
1095
1096 // Encode Dd / Sd.
1097 Binary |= encodeVFPRd(MI, OpIdx++);
1098
1099 // If this is a two-address operand, skip it, e.g. FMACD.
1100 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1101 ++OpIdx;
1102
1103 // Encode Dn / Sn.
1104 if ((TID.TSFlags & ARMII::FormMask) == ARMII::VFPBinaryFrm)
Evan Cheng3f4924e2008-11-12 08:14:21 +00001105 Binary |= encodeVFPRn(MI, OpIdx++);
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001106
1107 if (OpIdx == TID.getNumOperands() ||
1108 TID.OpInfo[OpIdx].isPredicate() ||
1109 TID.OpInfo[OpIdx].isOptionalDef()) {
1110 // FCMPEZD etc. has only one operand.
1111 emitWordLE(Binary);
1112 return;
1113 }
1114
1115 // Encode Dm / Sm.
1116 Binary |= encodeVFPRm(MI, OpIdx);
1117
1118 emitWordLE(Binary);
1119}
1120
Evan Cheng80a11982008-11-12 06:41:41 +00001121void ARMCodeEmitter::emitVFPConversionInstruction(const MachineInstr &MI) {
1122 const TargetInstrDesc &TID = MI.getDesc();
1123 unsigned Form = TID.TSFlags & ARMII::FormMask;
1124
1125 // Part of binary is determined by TableGn.
1126 unsigned Binary = getBinaryCodeForInstr(MI);
1127
1128 // Set the conditional execution predicate
1129 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1130
1131 switch (Form) {
1132 default: break;
1133 case ARMII::VFPConv1Frm:
1134 case ARMII::VFPConv2Frm:
1135 case ARMII::VFPConv3Frm:
1136 // Encode Dd / Sd.
1137 Binary |= encodeVFPRd(MI, 0);
1138 break;
1139 case ARMII::VFPConv4Frm:
1140 // Encode Dn / Sn.
1141 Binary |= encodeVFPRn(MI, 0);
1142 break;
1143 case ARMII::VFPConv5Frm:
1144 // Encode Dm / Sm.
1145 Binary |= encodeVFPRm(MI, 0);
1146 break;
1147 }
1148
1149 switch (Form) {
1150 default: break;
1151 case ARMII::VFPConv1Frm:
1152 // Encode Dm / Sm.
1153 Binary |= encodeVFPRm(MI, 1);
1154 case ARMII::VFPConv2Frm:
1155 case ARMII::VFPConv3Frm:
1156 // Encode Dn / Sn.
1157 Binary |= encodeVFPRn(MI, 1);
1158 break;
1159 case ARMII::VFPConv4Frm:
1160 case ARMII::VFPConv5Frm:
1161 // Encode Dd / Sd.
1162 Binary |= encodeVFPRd(MI, 1);
1163 break;
1164 }
1165
1166 if (Form == ARMII::VFPConv5Frm)
1167 // Encode Dn / Sn.
1168 Binary |= encodeVFPRn(MI, 2);
1169 else if (Form == ARMII::VFPConv3Frm)
1170 // Encode Dm / Sm.
1171 Binary |= encodeVFPRm(MI, 2);
Evan Cheng78be83d2008-11-11 19:40:26 +00001172
1173 emitWordLE(Binary);
1174}
1175
Evan Chengcd8e66a2008-11-11 21:48:44 +00001176void ARMCodeEmitter::emitVFPLoadStoreInstruction(const MachineInstr &MI) {
1177 // Part of binary is determined by TableGn.
1178 unsigned Binary = getBinaryCodeForInstr(MI);
1179
1180 // Set the conditional execution predicate
1181 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1182
1183 unsigned OpIdx = 0;
1184
1185 // Encode Dd / Sd.
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001186 Binary |= encodeVFPRd(MI, OpIdx++);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001187
1188 // Encode address base.
1189 const MachineOperand &Base = MI.getOperand(OpIdx++);
1190 Binary |= getMachineOpValue(MI, Base) << ARMII::RegRnShift;
1191
1192 // If there is a non-zero immediate offset, encode it.
1193 if (Base.isReg()) {
1194 const MachineOperand &Offset = MI.getOperand(OpIdx);
1195 if (unsigned ImmOffs = ARM_AM::getAM5Offset(Offset.getImm())) {
1196 if (ARM_AM::getAM5Op(Offset.getImm()) == ARM_AM::add)
1197 Binary |= 1 << ARMII::U_BitShift;
Evan Cheng607f1b42008-11-12 08:21:12 +00001198 Binary |= ImmOffs;
Evan Chengcd8e66a2008-11-11 21:48:44 +00001199 emitWordLE(Binary);
1200 return;
1201 }
1202 }
1203
1204 // If immediate offset is omitted, default to +0.
1205 Binary |= 1 << ARMII::U_BitShift;
1206
1207 emitWordLE(Binary);
1208}
1209
1210void
1211ARMCodeEmitter::emitVFPLoadStoreMultipleInstruction(const MachineInstr &MI) {
1212 // Part of binary is determined by TableGn.
1213 unsigned Binary = getBinaryCodeForInstr(MI);
1214
1215 // Set the conditional execution predicate
1216 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1217
1218 // Set base address operand
1219 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRnShift;
1220
1221 // Set addressing mode by modifying bits U(23) and P(24)
1222 const MachineOperand &MO = MI.getOperand(1);
1223 Binary |= getAddrModeUPBits(ARM_AM::getAM5SubMode(MO.getImm()));
1224
1225 // Set bit W(21)
1226 if (ARM_AM::getAM5WBFlag(MO.getImm()))
1227 Binary |= 0x1 << ARMII::W_BitShift;
1228
1229 // First register is encoded in Dd.
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001230 Binary |= encodeVFPRd(MI, 4);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001231
1232 // Number of registers are encoded in offset field.
1233 unsigned NumRegs = 1;
1234 for (unsigned i = 5, e = MI.getNumOperands(); i != e; ++i) {
1235 const MachineOperand &MO = MI.getOperand(i);
1236 if (!MO.isReg() || MO.isImplicit())
1237 break;
1238 ++NumRegs;
1239 }
1240 Binary |= NumRegs * 2;
1241
1242 emitWordLE(Binary);
1243}
1244
1245void ARMCodeEmitter::emitMiscInstruction(const MachineInstr &MI) {
1246 // Part of binary is determined by TableGn.
1247 unsigned Binary = getBinaryCodeForInstr(MI);
1248
1249 // Set the conditional execution predicate
1250 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1251
1252 emitWordLE(Binary);
1253}
1254
Evan Cheng7602e112008-09-02 06:52:38 +00001255#include "ARMGenCodeEmitter.inc"