blob: 8c7e2aba89b3ae8d97396c38a1a0b34f4ea28d91 [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 Cheng057d0c32008-09-18 07:28:19 +000078 void emitConstPoolInstruction(const MachineInstr &MI);
79
Evan Cheng90922132008-11-06 02:25:39 +000080 void emitMOVi2piecesInstruction(const MachineInstr &MI);
81
Evan Cheng4df60f52008-11-07 09:06:08 +000082 void emitLEApcrelJTInstruction(const MachineInstr &MI);
83
Evan Cheng83b5cf02008-11-05 23:22:34 +000084 void addPCLabel(unsigned LabelID);
85
Evan Cheng057d0c32008-09-18 07:28:19 +000086 void emitPseudoInstruction(const MachineInstr &MI);
87
Evan Cheng5f1db7b2008-09-12 22:01:15 +000088 unsigned getMachineSoRegOpValue(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +000089 const TargetInstrDesc &TID,
Evan Chengeb4ed4b2008-10-31 19:10:44 +000090 const MachineOperand &MO,
Evan Cheng5f1db7b2008-09-12 22:01:15 +000091 unsigned OpIdx);
92
Evan Cheng90922132008-11-06 02:25:39 +000093 unsigned getMachineSoImmOpValue(unsigned SoImm);
Evan Chengeb4ed4b2008-10-31 19:10:44 +000094
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +000095 unsigned getAddrModeSBit(const MachineInstr &MI,
96 const TargetInstrDesc &TID) const;
Evan Cheng49a9f292008-09-12 22:45:55 +000097
Evan Cheng83b5cf02008-11-05 23:22:34 +000098 void emitDataProcessingInstruction(const MachineInstr &MI,
Evan Cheng437c1732008-11-07 22:30:53 +000099 unsigned ImplicitRd = 0,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000100 unsigned ImplicitRn = 0);
Evan Cheng7602e112008-09-02 06:52:38 +0000101
Evan Cheng83b5cf02008-11-05 23:22:34 +0000102 void emitLoadStoreInstruction(const MachineInstr &MI,
Evan Cheng4df60f52008-11-07 09:06:08 +0000103 unsigned ImplicitRd = 0,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000104 unsigned ImplicitRn = 0);
Evan Chengedda31c2008-11-05 18:35:52 +0000105
Evan Cheng83b5cf02008-11-05 23:22:34 +0000106 void emitMiscLoadStoreInstruction(const MachineInstr &MI,
107 unsigned ImplicitRn = 0);
Evan Chengedda31c2008-11-05 18:35:52 +0000108
109 void emitLoadStoreMultipleInstruction(const MachineInstr &MI);
110
Evan Chengfbc9d412008-11-06 01:21:28 +0000111 void emitMulFrmInstruction(const MachineInstr &MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000112
Evan Cheng97f48c32008-11-06 22:15:19 +0000113 void emitExtendInstruction(const MachineInstr &MI);
114
Evan Cheng8b59db32008-11-07 01:41:35 +0000115 void emitMiscArithInstruction(const MachineInstr &MI);
116
Evan Chengedda31c2008-11-05 18:35:52 +0000117 void emitBranchInstruction(const MachineInstr &MI);
118
Evan Cheng437c1732008-11-07 22:30:53 +0000119 void emitInlineJumpTable(unsigned JTIndex);
Evan Cheng4df60f52008-11-07 09:06:08 +0000120
Evan Chengedda31c2008-11-05 18:35:52 +0000121 void emitMiscBranchInstruction(const MachineInstr &MI);
Evan Cheng7602e112008-09-02 06:52:38 +0000122
123 /// getBinaryCodeForInstr - This function, generated by the
124 /// CodeEmitterGenerator using TableGen, produces the binary encoding for
125 /// machine instructions.
126 ///
Raul Herbster9c1a3822007-08-30 23:29:26 +0000127 unsigned getBinaryCodeForInstr(const MachineInstr &MI);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000128
Evan Cheng7602e112008-09-02 06:52:38 +0000129 /// getMachineOpValue - Return binary encoding of operand. If the machine
130 /// operand requires relocation, record the relocation and return zero.
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000131 unsigned getMachineOpValue(const MachineInstr &MI,const MachineOperand &MO);
Evan Cheng7602e112008-09-02 06:52:38 +0000132 unsigned getMachineOpValue(const MachineInstr &MI, unsigned OpIdx) {
133 return getMachineOpValue(MI, MI.getOperand(OpIdx));
134 }
Evan Cheng7602e112008-09-02 06:52:38 +0000135
Evan Cheng83b5cf02008-11-05 23:22:34 +0000136 /// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
Evan Cheng7602e112008-09-02 06:52:38 +0000137 ///
Evan Cheng83b5cf02008-11-05 23:22:34 +0000138 unsigned getShiftOp(unsigned Imm) const ;
Evan Cheng7602e112008-09-02 06:52:38 +0000139
140 /// Routines that handle operands which add machine relocations which are
Evan Cheng437c1732008-11-07 22:30:53 +0000141 /// fixed up by the relocation stage.
Evan Cheng057d0c32008-09-18 07:28:19 +0000142 void emitGlobalAddress(GlobalValue *GV, unsigned Reloc,
Evan Cheng437c1732008-11-07 22:30:53 +0000143 bool NeedStub, unsigned CPIdx = 0);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000144 void emitExternalSymbolAddress(const char *ES, unsigned Reloc);
Evan Cheng437c1732008-11-07 22:30:53 +0000145 void emitConstPoolAddress(unsigned CPI, unsigned Reloc);
146 void emitJumpTableAddress(unsigned JTIndex, unsigned Reloc);
147 void emitMachineBasicBlock(MachineBasicBlock *BB, unsigned Reloc,
148 intptr_t JTBase = 0);
Evan Cheng148b6a42007-07-05 21:15:40 +0000149 };
Evan Cheng7602e112008-09-02 06:52:38 +0000150 char ARMCodeEmitter::ID = 0;
Evan Cheng148b6a42007-07-05 21:15:40 +0000151}
152
153/// createARMCodeEmitterPass - Return a pass that emits the collected ARM code
154/// to the specified MCE object.
155FunctionPass *llvm::createARMCodeEmitterPass(ARMTargetMachine &TM,
156 MachineCodeEmitter &MCE) {
Evan Cheng7602e112008-09-02 06:52:38 +0000157 return new ARMCodeEmitter(TM, MCE);
Evan Cheng148b6a42007-07-05 21:15:40 +0000158}
159
Evan Cheng7602e112008-09-02 06:52:38 +0000160bool ARMCodeEmitter::runOnMachineFunction(MachineFunction &MF) {
Evan Cheng148b6a42007-07-05 21:15:40 +0000161 assert((MF.getTarget().getRelocationModel() != Reloc::Default ||
162 MF.getTarget().getRelocationModel() != Reloc::Static) &&
163 "JIT relocation model must be set to static or default!");
164 II = ((ARMTargetMachine&)MF.getTarget()).getInstrInfo();
165 TD = ((ARMTargetMachine&)MF.getTarget()).getTargetData();
Evan Cheng057d0c32008-09-18 07:28:19 +0000166 JTI = ((ARMTargetMachine&)MF.getTarget()).getJITInfo();
Evan Cheng938b9d82008-10-31 19:55:13 +0000167 MCPEs = &MF.getConstantPool()->getConstants();
Evan Cheng4df60f52008-11-07 09:06:08 +0000168 MJTEs = &MF.getJumpTableInfo()->getJumpTables();
169 IsPIC = TM.getRelocationModel() == Reloc::PIC_;
170 JTI->Initialize(MF);
Evan Cheng148b6a42007-07-05 21:15:40 +0000171
172 do {
Evan Cheng42d5ee062008-09-13 01:15:21 +0000173 DOUT << "JITTing function '" << MF.getFunction()->getName() << "'\n";
Evan Cheng148b6a42007-07-05 21:15:40 +0000174 MCE.startFunction(MF);
175 for (MachineFunction::iterator MBB = MF.begin(), E = MF.end();
176 MBB != E; ++MBB) {
177 MCE.StartMachineBasicBlock(MBB);
178 for (MachineBasicBlock::const_iterator I = MBB->begin(), E = MBB->end();
179 I != E; ++I)
180 emitInstruction(*I);
181 }
182 } while (MCE.finishFunction(MF));
183
184 return false;
185}
186
Evan Cheng83b5cf02008-11-05 23:22:34 +0000187/// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
Evan Cheng7602e112008-09-02 06:52:38 +0000188///
Evan Cheng83b5cf02008-11-05 23:22:34 +0000189unsigned ARMCodeEmitter::getShiftOp(unsigned Imm) const {
190 switch (ARM_AM::getAM2ShiftOpc(Imm)) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000191 default: assert(0 && "Unknown shift opc!");
Evan Cheng7602e112008-09-02 06:52:38 +0000192 case ARM_AM::asr: return 2;
193 case ARM_AM::lsl: return 0;
194 case ARM_AM::lsr: return 1;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000195 case ARM_AM::ror:
Evan Cheng7602e112008-09-02 06:52:38 +0000196 case ARM_AM::rrx: return 3;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000197 }
Evan Cheng7602e112008-09-02 06:52:38 +0000198 return 0;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000199}
200
Evan Cheng7602e112008-09-02 06:52:38 +0000201/// getMachineOpValue - Return binary encoding of operand. If the machine
202/// operand requires relocation, record the relocation and return zero.
203unsigned ARMCodeEmitter::getMachineOpValue(const MachineInstr &MI,
204 const MachineOperand &MO) {
Dan Gohmand735b802008-10-03 15:45:36 +0000205 if (MO.isReg())
Evan Cheng7602e112008-09-02 06:52:38 +0000206 return ARMRegisterInfo::getRegisterNumbering(MO.getReg());
Dan Gohmand735b802008-10-03 15:45:36 +0000207 else if (MO.isImm())
Evan Cheng7602e112008-09-02 06:52:38 +0000208 return static_cast<unsigned>(MO.getImm());
Dan Gohmand735b802008-10-03 15:45:36 +0000209 else if (MO.isGlobal())
Jim Grosbach016d34c2008-10-03 15:52:42 +0000210 emitGlobalAddress(MO.getGlobal(), ARM::reloc_arm_branch, true);
Dan Gohmand735b802008-10-03 15:45:36 +0000211 else if (MO.isSymbol())
Raul Herbster9c1a3822007-08-30 23:29:26 +0000212 emitExternalSymbolAddress(MO.getSymbolName(), ARM::reloc_arm_relative);
Dan Gohmand735b802008-10-03 15:45:36 +0000213 else if (MO.isCPI())
Evan Cheng0f282432008-10-29 23:55:43 +0000214 emitConstPoolAddress(MO.getIndex(), ARM::reloc_arm_cp_entry);
Dan Gohmand735b802008-10-03 15:45:36 +0000215 else if (MO.isJTI())
Chris Lattner8aa797a2007-12-30 23:10:15 +0000216 emitJumpTableAddress(MO.getIndex(), ARM::reloc_arm_relative);
Dan Gohmand735b802008-10-03 15:45:36 +0000217 else if (MO.isMBB())
Evan Cheng4df60f52008-11-07 09:06:08 +0000218 emitMachineBasicBlock(MO.getMBB(), ARM::reloc_arm_branch);
Evan Cheng2aa0e642008-09-13 01:55:59 +0000219 else {
220 cerr << "ERROR: Unknown type of MachineOperand: " << MO << "\n";
221 abort();
222 }
Evan Cheng7602e112008-09-02 06:52:38 +0000223 return 0;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000224}
225
Evan Cheng057d0c32008-09-18 07:28:19 +0000226/// emitGlobalAddress - Emit the specified address to the code stream.
Evan Cheng0ff94f72007-08-07 01:37:15 +0000227///
Evan Cheng057d0c32008-09-18 07:28:19 +0000228void ARMCodeEmitter::emitGlobalAddress(GlobalValue *GV,
Evan Cheng437c1732008-11-07 22:30:53 +0000229 unsigned Reloc, bool NeedStub,
230 unsigned CPIdx) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000231 MCE.addRelocation(MachineRelocation::getGV(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000232 Reloc, GV, CPIdx, NeedStub));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000233}
234
235/// emitExternalSymbolAddress - Arrange for the address of an external symbol to
236/// be emitted to the current location in the function, and allow it to be PC
237/// relative.
Evan Cheng7602e112008-09-02 06:52:38 +0000238void ARMCodeEmitter::emitExternalSymbolAddress(const char *ES, unsigned Reloc) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000239 MCE.addRelocation(MachineRelocation::getExtSym(MCE.getCurrentPCOffset(),
240 Reloc, ES));
241}
242
243/// emitConstPoolAddress - Arrange for the address of an constant pool
244/// to be emitted to the current location in the function, and allow it to be PC
245/// relative.
Evan Cheng437c1732008-11-07 22:30:53 +0000246void ARMCodeEmitter::emitConstPoolAddress(unsigned CPI, unsigned Reloc) {
Evan Cheng0f282432008-10-29 23:55:43 +0000247 // Tell JIT emitter we'll resolve the address.
Evan Cheng0ff94f72007-08-07 01:37:15 +0000248 MCE.addRelocation(MachineRelocation::getConstPool(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000249 Reloc, CPI, 0, true));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000250}
251
252/// emitJumpTableAddress - Arrange for the address of a jump table to
253/// be emitted to the current location in the function, and allow it to be PC
254/// relative.
Evan Cheng437c1732008-11-07 22:30:53 +0000255void ARMCodeEmitter::emitJumpTableAddress(unsigned JTIndex, unsigned Reloc) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000256 MCE.addRelocation(MachineRelocation::getJumpTable(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000257 Reloc, JTIndex, 0, true));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000258}
259
Raul Herbster9c1a3822007-08-30 23:29:26 +0000260/// emitMachineBasicBlock - Emit the specified address basic block.
Evan Cheng4df60f52008-11-07 09:06:08 +0000261void ARMCodeEmitter::emitMachineBasicBlock(MachineBasicBlock *BB,
Evan Cheng437c1732008-11-07 22:30:53 +0000262 unsigned Reloc, intptr_t JTBase) {
Raul Herbster9c1a3822007-08-30 23:29:26 +0000263 MCE.addRelocation(MachineRelocation::getBB(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000264 Reloc, BB, JTBase));
Raul Herbster9c1a3822007-08-30 23:29:26 +0000265}
Evan Cheng0ff94f72007-08-07 01:37:15 +0000266
Evan Cheng83b5cf02008-11-05 23:22:34 +0000267void ARMCodeEmitter::emitWordLE(unsigned Binary) {
Evan Cheng4df60f52008-11-07 09:06:08 +0000268#ifndef NDEBUG
269 DOUT << " 0x" << std::hex << std::setw(8) << std::setfill('0')
270 << Binary << std::dec << "\n";
271#endif
Evan Cheng83b5cf02008-11-05 23:22:34 +0000272 MCE.emitWordLE(Binary);
273}
274
Evan Cheng7602e112008-09-02 06:52:38 +0000275void ARMCodeEmitter::emitInstruction(const MachineInstr &MI) {
Evan Cheng25e04782008-11-04 00:50:32 +0000276 DOUT << "JIT: " << (void*)MCE.getCurrentPCValue() << ":\t" << MI;
Evan Cheng42d5ee062008-09-13 01:15:21 +0000277
Evan Cheng148b6a42007-07-05 21:15:40 +0000278 NumEmitted++; // Keep track of the # of mi's emitted
Evan Chengedda31c2008-11-05 18:35:52 +0000279 switch (MI.getDesc().TSFlags & ARMII::FormMask) {
280 default:
281 assert(0 && "Unhandled instruction encoding format!");
282 break;
283 case ARMII::Pseudo:
Evan Cheng057d0c32008-09-18 07:28:19 +0000284 emitPseudoInstruction(MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000285 break;
286 case ARMII::DPFrm:
287 case ARMII::DPSoRegFrm:
288 emitDataProcessingInstruction(MI);
289 break;
290 case ARMII::LdFrm:
291 case ARMII::StFrm:
292 emitLoadStoreInstruction(MI);
293 break;
294 case ARMII::LdMiscFrm:
295 case ARMII::StMiscFrm:
296 emitMiscLoadStoreInstruction(MI);
297 break;
298 case ARMII::LdMulFrm:
299 case ARMII::StMulFrm:
300 emitLoadStoreMultipleInstruction(MI);
301 break;
Evan Chengfbc9d412008-11-06 01:21:28 +0000302 case ARMII::MulFrm:
303 emitMulFrmInstruction(MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000304 break;
Evan Cheng97f48c32008-11-06 22:15:19 +0000305 case ARMII::ExtFrm:
306 emitExtendInstruction(MI);
307 break;
Evan Cheng8b59db32008-11-07 01:41:35 +0000308 case ARMII::ArithMiscFrm:
309 emitMiscArithInstruction(MI);
310 break;
Evan Cheng12c3a532008-11-06 17:48:05 +0000311 case ARMII::BrFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000312 emitBranchInstruction(MI);
313 break;
Evan Cheng12c3a532008-11-06 17:48:05 +0000314 case ARMII::BrMiscFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000315 emitMiscBranchInstruction(MI);
316 break;
317 }
Evan Cheng0ff94f72007-08-07 01:37:15 +0000318}
319
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000320void ARMCodeEmitter::emitConstPoolInstruction(const MachineInstr &MI) {
Evan Cheng437c1732008-11-07 22:30:53 +0000321 unsigned CPI = MI.getOperand(0).getImm(); // CP instruction index.
322 unsigned CPIndex = MI.getOperand(1).getIndex(); // Actual cp entry index.
Evan Cheng938b9d82008-10-31 19:55:13 +0000323 const MachineConstantPoolEntry &MCPE = (*MCPEs)[CPIndex];
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000324
325 // Remember the CONSTPOOL_ENTRY address for later relocation.
326 JTI->addConstantPoolEntryAddr(CPI, MCE.getCurrentPCValue());
327
328 // Emit constpool island entry. In most cases, the actual values will be
329 // resolved and relocated after code emission.
330 if (MCPE.isMachineConstantPoolEntry()) {
331 ARMConstantPoolValue *ACPV =
332 static_cast<ARMConstantPoolValue*>(MCPE.Val.MachineCPVal);
333
Evan Cheng12c3a532008-11-06 17:48:05 +0000334 DOUT << " ** ARM constant pool #" << CPI << " @ "
Evan Cheng437c1732008-11-07 22:30:53 +0000335 << (void*)MCE.getCurrentPCValue() << " " << *ACPV << '\n';
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000336
337 GlobalValue *GV = ACPV->getGV();
338 if (GV) {
339 assert(!ACPV->isStub() && "Don't know how to deal this yet!");
Evan Cheng437c1732008-11-07 22:30:53 +0000340 emitGlobalAddress(GV, ARM::reloc_arm_machine_cp_entry, false, CPIndex);
Evan Cheng25e04782008-11-04 00:50:32 +0000341 } else {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000342 assert(!ACPV->isNonLazyPointer() && "Don't know how to deal this yet!");
343 emitExternalSymbolAddress(ACPV->getSymbol(), ARM::reloc_arm_absolute);
344 }
Evan Cheng83b5cf02008-11-05 23:22:34 +0000345 emitWordLE(0);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000346 } else {
347 Constant *CV = MCPE.Val.ConstVal;
348
Evan Cheng12c3a532008-11-06 17:48:05 +0000349 DOUT << " ** Constant pool #" << CPI << " @ "
Evan Cheng437c1732008-11-07 22:30:53 +0000350 << (void*)MCE.getCurrentPCValue() << " " << *CV << '\n';
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000351
352 if (GlobalValue *GV = dyn_cast<GlobalValue>(CV)) {
353 emitGlobalAddress(GV, ARM::reloc_arm_absolute, false);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000354 emitWordLE(0);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000355 } else {
356 assert(CV->getType()->isInteger() &&
357 "Not expecting non-integer constpool entries yet!");
358 const ConstantInt *CI = dyn_cast<ConstantInt>(CV);
359 uint32_t Val = *(uint32_t*)CI->getValue().getRawData();
Evan Cheng83b5cf02008-11-05 23:22:34 +0000360 emitWordLE(Val);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000361 }
362 }
363}
364
Evan Cheng90922132008-11-06 02:25:39 +0000365void ARMCodeEmitter::emitMOVi2piecesInstruction(const MachineInstr &MI) {
366 const MachineOperand &MO0 = MI.getOperand(0);
367 const MachineOperand &MO1 = MI.getOperand(1);
368 assert(MO1.isImm() && "Not a valid so_imm value!");
369 unsigned V1 = ARM_AM::getSOImmTwoPartFirst(MO1.getImm());
370 unsigned V2 = ARM_AM::getSOImmTwoPartSecond(MO1.getImm());
371
372 // Emit the 'mov' instruction.
373 unsigned Binary = 0xd << 21; // mov: Insts{24-21} = 0b1101
374
375 // Set the conditional execution predicate.
Evan Cheng97f48c32008-11-06 22:15:19 +0000376 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng90922132008-11-06 02:25:39 +0000377
378 // Encode Rd.
379 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
380
381 // Encode so_imm.
382 // Set bit I(25) to identify this is the immediate form of <shifter_op>
383 Binary |= 1 << ARMII::I_BitShift;
384 Binary |= getMachineSoImmOpValue(ARM_AM::getSOImmVal(V1));
385 emitWordLE(Binary);
386
387 // Now the 'orr' instruction.
388 Binary = 0xc << 21; // orr: Insts{24-21} = 0b1100
389
390 // Set the conditional execution predicate.
Evan Cheng97f48c32008-11-06 22:15:19 +0000391 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng90922132008-11-06 02:25:39 +0000392
393 // Encode Rd.
394 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
395
396 // Encode Rn.
397 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRnShift;
398
399 // Encode so_imm.
400 // Set bit I(25) to identify this is the immediate form of <shifter_op>
401 Binary |= 1 << ARMII::I_BitShift;
402 Binary |= getMachineSoImmOpValue(ARM_AM::getSOImmVal(V2));
403 emitWordLE(Binary);
404}
405
Evan Cheng4df60f52008-11-07 09:06:08 +0000406void ARMCodeEmitter::emitLEApcrelJTInstruction(const MachineInstr &MI) {
407 // It's basically add r, pc, (LJTI - $+8)
408
409 const TargetInstrDesc &TID = MI.getDesc();
410
411 // Emit the 'add' instruction.
412 unsigned Binary = 0x4 << 21; // add: Insts{24-31} = 0b0100
413
414 // Set the conditional execution predicate
415 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
416
417 // Encode S bit if MI modifies CPSR.
418 Binary |= getAddrModeSBit(MI, TID);
419
420 // Encode Rd.
421 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
422
423 // Encode Rn which is PC.
424 Binary |= ARMRegisterInfo::getRegisterNumbering(ARM::PC) << ARMII::RegRnShift;
425
426 // Encode the displacement.
427 // Set bit I(25) to identify this is the immediate form of <shifter_op>.
428 Binary |= 1 << ARMII::I_BitShift;
429 emitJumpTableAddress(MI.getOperand(1).getIndex(), ARM::reloc_arm_jt_base);
430
431 emitWordLE(Binary);
432}
433
Evan Cheng83b5cf02008-11-05 23:22:34 +0000434void ARMCodeEmitter::addPCLabel(unsigned LabelID) {
Evan Cheng12c3a532008-11-06 17:48:05 +0000435 DOUT << " ** LPC" << LabelID << " @ "
Evan Cheng83b5cf02008-11-05 23:22:34 +0000436 << (void*)MCE.getCurrentPCValue() << '\n';
437 JTI->addPCLabelAddr(LabelID, MCE.getCurrentPCValue());
438}
439
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000440void ARMCodeEmitter::emitPseudoInstruction(const MachineInstr &MI) {
441 unsigned Opcode = MI.getDesc().Opcode;
442 switch (Opcode) {
443 default:
444 abort(); // FIXME:
445 case ARM::CONSTPOOL_ENTRY:
446 emitConstPoolInstruction(MI);
447 break;
448 case ARM::PICADD: {
Evan Cheng25e04782008-11-04 00:50:32 +0000449 // Remember of the address of the PC label for relocation later.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000450 addPCLabel(MI.getOperand(2).getImm());
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000451 // PICADD is just an add instruction that implicitly read pc.
Evan Cheng437c1732008-11-07 22:30:53 +0000452 emitDataProcessingInstruction(MI, 0, ARM::PC);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000453 break;
454 }
455 case ARM::PICLDR:
456 case ARM::PICLDRB:
457 case ARM::PICSTR:
458 case ARM::PICSTRB: {
459 // Remember of the address of the PC label for relocation later.
460 addPCLabel(MI.getOperand(2).getImm());
461 // These are just load / store instructions that implicitly read pc.
Evan Cheng4df60f52008-11-07 09:06:08 +0000462 emitLoadStoreInstruction(MI, 0, ARM::PC);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000463 break;
464 }
465 case ARM::PICLDRH:
466 case ARM::PICLDRSH:
467 case ARM::PICLDRSB:
468 case ARM::PICSTRH: {
469 // Remember of the address of the PC label for relocation later.
470 addPCLabel(MI.getOperand(2).getImm());
471 // These are just load / store instructions that implicitly read pc.
472 emitMiscLoadStoreInstruction(MI, ARM::PC);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000473 break;
474 }
Evan Cheng90922132008-11-06 02:25:39 +0000475 case ARM::MOVi2pieces:
476 // Two instructions to materialize a constant.
477 emitMOVi2piecesInstruction(MI);
478 break;
Evan Cheng4df60f52008-11-07 09:06:08 +0000479 case ARM::LEApcrelJT:
480 // Materialize jumptable address.
481 emitLEApcrelJTInstruction(MI);
482 break;
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000483 }
484}
485
486
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000487unsigned ARMCodeEmitter::getMachineSoRegOpValue(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +0000488 const TargetInstrDesc &TID,
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000489 const MachineOperand &MO,
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000490 unsigned OpIdx) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000491 unsigned Binary = getMachineOpValue(MI, MO);
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000492
493 const MachineOperand &MO1 = MI.getOperand(OpIdx + 1);
494 const MachineOperand &MO2 = MI.getOperand(OpIdx + 2);
495 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO2.getImm());
496
497 // Encode the shift opcode.
498 unsigned SBits = 0;
499 unsigned Rs = MO1.getReg();
500 if (Rs) {
501 // Set shift operand (bit[7:4]).
502 // LSL - 0001
503 // LSR - 0011
504 // ASR - 0101
505 // ROR - 0111
506 // RRX - 0110 and bit[11:8] clear.
507 switch (SOpc) {
508 default: assert(0 && "Unknown shift opc!");
509 case ARM_AM::lsl: SBits = 0x1; break;
510 case ARM_AM::lsr: SBits = 0x3; break;
511 case ARM_AM::asr: SBits = 0x5; break;
512 case ARM_AM::ror: SBits = 0x7; break;
513 case ARM_AM::rrx: SBits = 0x6; break;
514 }
515 } else {
516 // Set shift operand (bit[6:4]).
517 // LSL - 000
518 // LSR - 010
519 // ASR - 100
520 // ROR - 110
521 switch (SOpc) {
522 default: assert(0 && "Unknown shift opc!");
523 case ARM_AM::lsl: SBits = 0x0; break;
524 case ARM_AM::lsr: SBits = 0x2; break;
525 case ARM_AM::asr: SBits = 0x4; break;
526 case ARM_AM::ror: SBits = 0x6; break;
527 }
528 }
529 Binary |= SBits << 4;
530 if (SOpc == ARM_AM::rrx)
531 return Binary;
532
533 // Encode the shift operation Rs or shift_imm (except rrx).
534 if (Rs) {
535 // Encode Rs bit[11:8].
536 assert(ARM_AM::getSORegOffset(MO2.getImm()) == 0);
537 return Binary |
538 (ARMRegisterInfo::getRegisterNumbering(Rs) << ARMII::RegRsShift);
539 }
540
541 // Encode shift_imm bit[11:7].
542 return Binary | ARM_AM::getSORegOffset(MO2.getImm()) << 7;
543}
544
Evan Cheng90922132008-11-06 02:25:39 +0000545unsigned ARMCodeEmitter::getMachineSoImmOpValue(unsigned SoImm) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000546 // Encode rotate_imm.
Evan Cheng97f48c32008-11-06 22:15:19 +0000547 unsigned Binary = (ARM_AM::getSOImmValRot(SoImm) >> 1)
548 << ARMII::SoRotImmShift;
549
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000550 // Encode immed_8.
Evan Cheng90922132008-11-06 02:25:39 +0000551 Binary |= ARM_AM::getSOImmValImm(SoImm);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000552 return Binary;
553}
554
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000555unsigned ARMCodeEmitter::getAddrModeSBit(const MachineInstr &MI,
556 const TargetInstrDesc &TID) const {
Evan Cheng49a9f292008-09-12 22:45:55 +0000557 for (unsigned i = MI.getNumOperands(), e = TID.getNumOperands(); i != e; --i){
558 const MachineOperand &MO = MI.getOperand(i-1);
Dan Gohmand735b802008-10-03 15:45:36 +0000559 if (MO.isReg() && MO.isDef() && MO.getReg() == ARM::CPSR)
Evan Cheng49a9f292008-09-12 22:45:55 +0000560 return 1 << ARMII::S_BitShift;
561 }
562 return 0;
563}
564
Evan Cheng83b5cf02008-11-05 23:22:34 +0000565void ARMCodeEmitter::emitDataProcessingInstruction(const MachineInstr &MI,
Evan Cheng437c1732008-11-07 22:30:53 +0000566 unsigned ImplicitRd,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000567 unsigned ImplicitRn) {
Evan Chengedda31c2008-11-05 18:35:52 +0000568 const TargetInstrDesc &TID = MI.getDesc();
Evan Chengedda31c2008-11-05 18:35:52 +0000569
570 // Part of binary is determined by TableGn.
571 unsigned Binary = getBinaryCodeForInstr(MI);
572
Jim Grosbach33412622008-10-07 19:05:35 +0000573 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000574 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000575
Evan Cheng49a9f292008-09-12 22:45:55 +0000576 // Encode S bit if MI modifies CPSR.
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000577 Binary |= getAddrModeSBit(MI, TID);
Evan Cheng49a9f292008-09-12 22:45:55 +0000578
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000579 // Encode register def if there is one.
Evan Cheng49a9f292008-09-12 22:45:55 +0000580 unsigned NumDefs = TID.getNumDefs();
Evan Chenga964b7d2008-09-12 23:15:39 +0000581 unsigned OpIdx = 0;
Evan Cheng437c1732008-11-07 22:30:53 +0000582 if (NumDefs)
583 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
584 else if (ImplicitRd)
585 // Special handling for implicit use (e.g. PC).
586 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRd)
587 << ARMII::RegRdShift);
Evan Cheng7602e112008-09-02 06:52:38 +0000588
Evan Chengd87293c2008-11-06 08:47:38 +0000589 // If this is a two-address operand, skip it. e.g. MOVCCr operand 1.
590 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
591 ++OpIdx;
592
Jim Grosbachefd30ba2008-10-01 18:16:49 +0000593 // Encode first non-shifter register operand if there is one.
Evan Chengedda31c2008-11-05 18:35:52 +0000594 bool isUnary = TID.TSFlags & ARMII::UnaryDP;
595 if (!isUnary) {
Evan Cheng83b5cf02008-11-05 23:22:34 +0000596 if (ImplicitRn)
597 // Special handling for implicit use (e.g. PC).
598 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
Evan Chengedda31c2008-11-05 18:35:52 +0000599 << ARMII::RegRnShift);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000600 else {
601 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRnShift;
602 ++OpIdx;
603 }
Evan Cheng7602e112008-09-02 06:52:38 +0000604 }
605
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000606 // Encode shifter operand.
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000607 const MachineOperand &MO = MI.getOperand(OpIdx);
Evan Chengedda31c2008-11-05 18:35:52 +0000608 if ((TID.TSFlags & ARMII::FormMask) == ARMII::DPSoRegFrm) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000609 // Encode SoReg.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000610 emitWordLE(Binary | getMachineSoRegOpValue(MI, TID, MO, OpIdx));
Evan Chengedda31c2008-11-05 18:35:52 +0000611 return;
612 }
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000613
Evan Chengedda31c2008-11-05 18:35:52 +0000614 if (MO.isReg()) {
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000615 // Encode register Rm.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000616 emitWordLE(Binary | ARMRegisterInfo::getRegisterNumbering(MO.getReg()));
Evan Chengedda31c2008-11-05 18:35:52 +0000617 return;
618 }
Evan Cheng7602e112008-09-02 06:52:38 +0000619
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000620 // Encode so_imm.
Evan Cheng4df60f52008-11-07 09:06:08 +0000621 // Set bit I(25) to identify this is the immediate form of <shifter_op>.
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000622 Binary |= 1 << ARMII::I_BitShift;
Evan Cheng90922132008-11-06 02:25:39 +0000623 Binary |= getMachineSoImmOpValue(MO.getImm());
Evan Chengedda31c2008-11-05 18:35:52 +0000624
Evan Cheng83b5cf02008-11-05 23:22:34 +0000625 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000626}
627
Evan Cheng83b5cf02008-11-05 23:22:34 +0000628void ARMCodeEmitter::emitLoadStoreInstruction(const MachineInstr &MI,
Evan Cheng4df60f52008-11-07 09:06:08 +0000629 unsigned ImplicitRd,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000630 unsigned ImplicitRn) {
Evan Chengedda31c2008-11-05 18:35:52 +0000631 // Part of binary is determined by TableGn.
632 unsigned Binary = getBinaryCodeForInstr(MI);
633
Jim Grosbach33412622008-10-07 19:05:35 +0000634 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000635 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng057d0c32008-09-18 07:28:19 +0000636
Evan Cheng7602e112008-09-02 06:52:38 +0000637 // Set first operand
Evan Cheng4df60f52008-11-07 09:06:08 +0000638 unsigned OpIdx = 0;
639 if (ImplicitRd)
640 // Special handling for implicit use (e.g. PC).
641 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRd)
642 << ARMII::RegRdShift);
643 else
644 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000645
646 // Set second operand
Evan Cheng83b5cf02008-11-05 23:22:34 +0000647 if (ImplicitRn)
648 // Special handling for implicit use (e.g. PC).
649 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
650 << ARMII::RegRnShift);
Evan Cheng4df60f52008-11-07 09:06:08 +0000651 else
652 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000653
Evan Cheng83b5cf02008-11-05 23:22:34 +0000654 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Chengd87293c2008-11-06 08:47:38 +0000655 unsigned AM2Opc = (ImplicitRn == ARM::PC)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000656 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Cheng7602e112008-09-02 06:52:38 +0000657
Evan Chenge7de7e32008-09-13 01:44:01 +0000658 // Set bit U(23) according to sign of immed value (positive or negative).
Evan Cheng83b5cf02008-11-05 23:22:34 +0000659 Binary |= ((ARM_AM::getAM2Op(AM2Opc) == ARM_AM::add ? 1 : 0) <<
Evan Chenge7de7e32008-09-13 01:44:01 +0000660 ARMII::U_BitShift);
Evan Cheng7602e112008-09-02 06:52:38 +0000661 if (!MO2.getReg()) { // is immediate
Evan Cheng83b5cf02008-11-05 23:22:34 +0000662 if (ARM_AM::getAM2Offset(AM2Opc))
Evan Cheng7602e112008-09-02 06:52:38 +0000663 // Set the value of offset_12 field
Evan Cheng83b5cf02008-11-05 23:22:34 +0000664 Binary |= ARM_AM::getAM2Offset(AM2Opc);
665 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +0000666 return;
Evan Cheng7602e112008-09-02 06:52:38 +0000667 }
668
669 // Set bit I(25), because this is not in immediate enconding.
670 Binary |= 1 << ARMII::I_BitShift;
671 assert(TargetRegisterInfo::isPhysicalRegister(MO2.getReg()));
672 // Set bit[3:0] to the corresponding Rm register
673 Binary |= ARMRegisterInfo::getRegisterNumbering(MO2.getReg());
674
675 // if this instr is in scaled register offset/index instruction, set
676 // shift_immed(bit[11:7]) and shift(bit[6:5]) fields.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000677 if (unsigned ShImm = ARM_AM::getAM2Offset(AM2Opc)) {
678 Binary |= getShiftOp(AM2Opc) << 5; // shift
679 Binary |= ShImm << 7; // shift_immed
Evan Cheng7602e112008-09-02 06:52:38 +0000680 }
681
Evan Cheng83b5cf02008-11-05 23:22:34 +0000682 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000683}
684
Evan Cheng83b5cf02008-11-05 23:22:34 +0000685void ARMCodeEmitter::emitMiscLoadStoreInstruction(const MachineInstr &MI,
686 unsigned ImplicitRn) {
Evan Chengedda31c2008-11-05 18:35:52 +0000687 // Part of binary is determined by TableGn.
688 unsigned Binary = getBinaryCodeForInstr(MI);
689
Jim Grosbach33412622008-10-07 19:05:35 +0000690 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000691 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng057d0c32008-09-18 07:28:19 +0000692
Evan Cheng7602e112008-09-02 06:52:38 +0000693 // Set first operand
694 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
695
696 // Set second operand
Evan Cheng83b5cf02008-11-05 23:22:34 +0000697 unsigned OpIdx = 1;
698 if (ImplicitRn)
699 // Special handling for implicit use (e.g. PC).
700 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
701 << ARMII::RegRnShift);
Evan Cheng4df60f52008-11-07 09:06:08 +0000702 else
703 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000704
Evan Cheng83b5cf02008-11-05 23:22:34 +0000705 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Chengd87293c2008-11-06 08:47:38 +0000706 unsigned AM3Opc = (ImplicitRn == ARM::PC)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000707 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Cheng7602e112008-09-02 06:52:38 +0000708
Evan Chenge7de7e32008-09-13 01:44:01 +0000709 // Set bit U(23) according to sign of immed value (positive or negative)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000710 Binary |= ((ARM_AM::getAM3Op(AM3Opc) == ARM_AM::add ? 1 : 0) <<
Evan Cheng7602e112008-09-02 06:52:38 +0000711 ARMII::U_BitShift);
712
713 // If this instr is in register offset/index encoding, set bit[3:0]
714 // to the corresponding Rm register.
715 if (MO2.getReg()) {
716 Binary |= ARMRegisterInfo::getRegisterNumbering(MO2.getReg());
Evan Cheng83b5cf02008-11-05 23:22:34 +0000717 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +0000718 return;
Evan Cheng7602e112008-09-02 06:52:38 +0000719 }
720
Evan Chengd87293c2008-11-06 08:47:38 +0000721 // This instr is in immediate offset/index encoding, set bit 22 to 1.
Evan Cheng97f48c32008-11-06 22:15:19 +0000722 Binary |= 1 << ARMII::AM3_I_BitShift;
Evan Cheng83b5cf02008-11-05 23:22:34 +0000723 if (unsigned ImmOffs = ARM_AM::getAM3Offset(AM3Opc)) {
Evan Cheng7602e112008-09-02 06:52:38 +0000724 // Set operands
725 Binary |= (ImmOffs >> 4) << 8; // immedH
726 Binary |= (ImmOffs & ~0xF); // immedL
727 }
728
Evan Cheng83b5cf02008-11-05 23:22:34 +0000729 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000730}
731
Evan Chengedda31c2008-11-05 18:35:52 +0000732void ARMCodeEmitter::emitLoadStoreMultipleInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +0000733 // Part of binary is determined by TableGn.
734 unsigned Binary = getBinaryCodeForInstr(MI);
735
Jim Grosbach33412622008-10-07 19:05:35 +0000736 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000737 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng057d0c32008-09-18 07:28:19 +0000738
Evan Cheng7602e112008-09-02 06:52:38 +0000739 // Set first operand
740 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRnShift;
741
742 // Set addressing mode by modifying bits U(23) and P(24)
743 // IA - Increment after - bit U = 1 and bit P = 0
744 // IB - Increment before - bit U = 1 and bit P = 1
745 // DA - Decrement after - bit U = 0 and bit P = 0
746 // DB - Decrement before - bit U = 0 and bit P = 1
747 const MachineOperand &MO = MI.getOperand(1);
748 ARM_AM::AMSubMode Mode = ARM_AM::getAM4SubMode(MO.getImm());
749 switch (Mode) {
750 default: assert(0 && "Unknown addressing sub-mode!");
751 case ARM_AM::da: break;
Evan Cheng97f48c32008-11-06 22:15:19 +0000752 case ARM_AM::db: Binary |= 0x1 << ARMII::P_BitShift; break;
753 case ARM_AM::ia: Binary |= 0x1 << ARMII::U_BitShift; break;
754 case ARM_AM::ib: Binary |= 0x3 << ARMII::U_BitShift; break;
Evan Cheng7602e112008-09-02 06:52:38 +0000755 }
756
757 // Set bit W(21)
758 if (ARM_AM::getAM4WBFlag(MO.getImm()))
Evan Cheng97f48c32008-11-06 22:15:19 +0000759 Binary |= 0x1 << ARMII::W_BitShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000760
761 // Set registers
762 for (unsigned i = 4, e = MI.getNumOperands(); i != e; ++i) {
763 const MachineOperand &MO = MI.getOperand(i);
Dan Gohmand735b802008-10-03 15:45:36 +0000764 if (MO.isReg() && MO.isImplicit())
Evan Cheng7602e112008-09-02 06:52:38 +0000765 continue;
766 unsigned RegNum = ARMRegisterInfo::getRegisterNumbering(MO.getReg());
767 assert(TargetRegisterInfo::isPhysicalRegister(MO.getReg()) &&
768 RegNum < 16);
769 Binary |= 0x1 << RegNum;
770 }
771
Evan Cheng83b5cf02008-11-05 23:22:34 +0000772 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000773}
774
Evan Chengfbc9d412008-11-06 01:21:28 +0000775void ARMCodeEmitter::emitMulFrmInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +0000776 const TargetInstrDesc &TID = MI.getDesc();
777
778 // Part of binary is determined by TableGn.
779 unsigned Binary = getBinaryCodeForInstr(MI);
780
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000781 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000782 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000783
784 // Encode S bit if MI modifies CPSR.
785 Binary |= getAddrModeSBit(MI, TID);
786
787 // 32x32->64bit operations have two destination registers. The number
788 // of register definitions will tell us if that's what we're dealing with.
Evan Cheng97f48c32008-11-06 22:15:19 +0000789 unsigned OpIdx = 0;
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000790 if (TID.getNumDefs() == 2)
791 Binary |= getMachineOpValue (MI, OpIdx++) << ARMII::RegRdLoShift;
792
793 // Encode Rd
794 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdHiShift;
795
796 // Encode Rm
797 Binary |= getMachineOpValue(MI, OpIdx++);
798
799 // Encode Rs
800 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRsShift;
801
Evan Chengfbc9d412008-11-06 01:21:28 +0000802 // Many multiple instructions (e.g. MLA) have three src operands. Encode
803 // it as Rn (for multiply, that's in the same offset as RdLo.
Evan Cheng97f48c32008-11-06 22:15:19 +0000804 if (TID.getNumOperands() > OpIdx &&
805 !TID.OpInfo[OpIdx].isPredicate() &&
806 !TID.OpInfo[OpIdx].isOptionalDef())
807 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRdLoShift;
808
809 emitWordLE(Binary);
810}
811
812void ARMCodeEmitter::emitExtendInstruction(const MachineInstr &MI) {
813 const TargetInstrDesc &TID = MI.getDesc();
814
815 // Part of binary is determined by TableGn.
816 unsigned Binary = getBinaryCodeForInstr(MI);
817
818 // Set the conditional execution predicate
819 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
820
821 unsigned OpIdx = 0;
822
823 // Encode Rd
824 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
825
826 const MachineOperand &MO1 = MI.getOperand(OpIdx++);
827 const MachineOperand &MO2 = MI.getOperand(OpIdx);
828 if (MO2.isReg()) {
829 // Two register operand form.
830 // Encode Rn.
831 Binary |= getMachineOpValue(MI, MO1) << ARMII::RegRnShift;
832
833 // Encode Rm.
834 Binary |= getMachineOpValue(MI, MO2);
835 ++OpIdx;
836 } else {
837 Binary |= getMachineOpValue(MI, MO1);
838 }
839
840 // Encode rot imm (0, 8, 16, or 24) if it has a rotate immediate operand.
841 if (MI.getOperand(OpIdx).isImm() &&
842 !TID.OpInfo[OpIdx].isPredicate() &&
843 !TID.OpInfo[OpIdx].isOptionalDef())
844 Binary |= (getMachineOpValue(MI, OpIdx) / 8) << ARMII::ExtRotImmShift;
Evan Chengfbc9d412008-11-06 01:21:28 +0000845
Evan Cheng83b5cf02008-11-05 23:22:34 +0000846 emitWordLE(Binary);
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000847}
848
Evan Cheng8b59db32008-11-07 01:41:35 +0000849void ARMCodeEmitter::emitMiscArithInstruction(const MachineInstr &MI) {
850 const TargetInstrDesc &TID = MI.getDesc();
851
852 // Part of binary is determined by TableGn.
853 unsigned Binary = getBinaryCodeForInstr(MI);
854
855 // Set the conditional execution predicate
856 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
857
858 unsigned OpIdx = 0;
859
860 // Encode Rd
861 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
862
863 const MachineOperand &MO = MI.getOperand(OpIdx++);
864 if (OpIdx == TID.getNumOperands() ||
865 TID.OpInfo[OpIdx].isPredicate() ||
866 TID.OpInfo[OpIdx].isOptionalDef()) {
867 // Encode Rm and it's done.
868 Binary |= getMachineOpValue(MI, MO);
869 emitWordLE(Binary);
870 return;
871 }
872
873 // Encode Rn.
874 Binary |= getMachineOpValue(MI, MO) << ARMII::RegRnShift;
875
876 // Encode Rm.
877 Binary |= getMachineOpValue(MI, OpIdx++);
878
879 // Encode shift_imm.
880 unsigned ShiftAmt = MI.getOperand(OpIdx).getImm();
881 assert(ShiftAmt < 32 && "shift_imm range is 0 to 31!");
882 Binary |= ShiftAmt << ARMII::ShiftShift;
883
884 emitWordLE(Binary);
885}
886
Evan Chengedda31c2008-11-05 18:35:52 +0000887void ARMCodeEmitter::emitBranchInstruction(const MachineInstr &MI) {
888 const TargetInstrDesc &TID = MI.getDesc();
889
Evan Cheng12c3a532008-11-06 17:48:05 +0000890 if (TID.Opcode == ARM::TPsoft)
891 abort(); // FIXME
892
Evan Cheng7602e112008-09-02 06:52:38 +0000893 // Part of binary is determined by TableGn.
894 unsigned Binary = getBinaryCodeForInstr(MI);
895
Evan Chengedda31c2008-11-05 18:35:52 +0000896 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000897 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chengedda31c2008-11-05 18:35:52 +0000898
899 // Set signed_immed_24 field
900 Binary |= getMachineOpValue(MI, 0);
901
Evan Cheng83b5cf02008-11-05 23:22:34 +0000902 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +0000903}
904
Evan Cheng437c1732008-11-07 22:30:53 +0000905void ARMCodeEmitter::emitInlineJumpTable(unsigned JTIndex) {
Evan Cheng4df60f52008-11-07 09:06:08 +0000906 // Remember the base address of the inline jump table.
Evan Cheng437c1732008-11-07 22:30:53 +0000907 intptr_t JTBase = MCE.getCurrentPCValue();
908 JTI->addJumpTableBaseAddr(JTIndex, JTBase);
909 DOUT << " ** Jump Table #" << JTIndex << " @ " << (void*)JTBase << '\n';
Evan Cheng4df60f52008-11-07 09:06:08 +0000910
911 // Now emit the jump table entries.
912 const std::vector<MachineBasicBlock*> &MBBs = (*MJTEs)[JTIndex].MBBs;
913 for (unsigned i = 0, e = MBBs.size(); i != e; ++i) {
914 if (IsPIC)
915 // DestBB address - JT base.
Evan Cheng437c1732008-11-07 22:30:53 +0000916 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_pic_jt, JTBase);
Evan Cheng4df60f52008-11-07 09:06:08 +0000917 else
918 // Absolute DestBB address.
919 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_absolute);
920 emitWordLE(0);
921 }
922}
923
Evan Chengedda31c2008-11-05 18:35:52 +0000924void ARMCodeEmitter::emitMiscBranchInstruction(const MachineInstr &MI) {
925 const TargetInstrDesc &TID = MI.getDesc();
Evan Chengedda31c2008-11-05 18:35:52 +0000926
Evan Cheng437c1732008-11-07 22:30:53 +0000927 // Handle jump tables.
928 if (TID.Opcode == ARM::BR_JTr || TID.Opcode == ARM::BR_JTadd) {
929 // First emit a ldr pc, [] instruction.
930 emitDataProcessingInstruction(MI, ARM::PC);
931
932 // Then emit the inline jump table.
933 unsigned JTIndex = (TID.Opcode == ARM::BR_JTr)
934 ? MI.getOperand(1).getIndex() : MI.getOperand(2).getIndex();
935 emitInlineJumpTable(JTIndex);
936 return;
937 } else if (TID.Opcode == ARM::BR_JTm) {
Evan Cheng4df60f52008-11-07 09:06:08 +0000938 // First emit a ldr pc, [] instruction.
939 emitLoadStoreInstruction(MI, ARM::PC);
940
941 // Then emit the inline jump table.
Evan Cheng437c1732008-11-07 22:30:53 +0000942 emitInlineJumpTable(MI.getOperand(3).getIndex());
Evan Cheng4df60f52008-11-07 09:06:08 +0000943 return;
944 }
945
Evan Chengedda31c2008-11-05 18:35:52 +0000946 // Part of binary is determined by TableGn.
947 unsigned Binary = getBinaryCodeForInstr(MI);
948
949 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000950 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chengedda31c2008-11-05 18:35:52 +0000951
952 if (TID.Opcode == ARM::BX_RET)
953 // The return register is LR.
954 Binary |= ARMRegisterInfo::getRegisterNumbering(ARM::LR);
955 else
956 // otherwise, set the return register
957 Binary |= getMachineOpValue(MI, 0);
958
Evan Cheng83b5cf02008-11-05 23:22:34 +0000959 emitWordLE(Binary);
Evan Cheng148b6a42007-07-05 21:15:40 +0000960}
Evan Cheng7602e112008-09-02 06:52:38 +0000961
962#include "ARMGenCodeEmitter.inc"