blob: b1c6f33f4b63afd19ca7287bf9ca63bf6ad0aa2b [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"
31#include "llvm/CodeGen/Passes.h"
Evan Cheng148b6a42007-07-05 21:15:40 +000032#include "llvm/ADT/Statistic.h"
33#include "llvm/Support/Compiler.h"
Evan Cheng42d5ee062008-09-13 01:15:21 +000034#include "llvm/Support/Debug.h"
Evan Cheng148b6a42007-07-05 21:15:40 +000035using namespace llvm;
36
37STATISTIC(NumEmitted, "Number of machine instructions emitted");
38
39namespace {
Evan Cheng7602e112008-09-02 06:52:38 +000040 class VISIBILITY_HIDDEN ARMCodeEmitter : public MachineFunctionPass {
Evan Cheng057d0c32008-09-18 07:28:19 +000041 ARMJITInfo *JTI;
42 const ARMInstrInfo *II;
43 const TargetData *TD;
44 TargetMachine &TM;
45 MachineCodeEmitter &MCE;
46 const MachineConstantPool *MCP;
Evan Cheng148b6a42007-07-05 21:15:40 +000047 public:
48 static char ID;
Evan Cheng7602e112008-09-02 06:52:38 +000049 explicit ARMCodeEmitter(TargetMachine &tm, MachineCodeEmitter &mce)
Evan Cheng057d0c32008-09-18 07:28:19 +000050 : MachineFunctionPass(&ID), JTI(0), II(0), TD(0), TM(tm),
51 MCE(mce), MCP(0) {}
Evan Cheng7602e112008-09-02 06:52:38 +000052 ARMCodeEmitter(TargetMachine &tm, MachineCodeEmitter &mce,
Evan Cheng148b6a42007-07-05 21:15:40 +000053 const ARMInstrInfo &ii, const TargetData &td)
Evan Cheng057d0c32008-09-18 07:28:19 +000054 : MachineFunctionPass(&ID), JTI(0), II(&ii), TD(&td), TM(tm),
55 MCE(mce), MCP(0) {}
Evan Cheng148b6a42007-07-05 21:15:40 +000056
57 bool runOnMachineFunction(MachineFunction &MF);
58
59 virtual const char *getPassName() const {
60 return "ARM Machine Code Emitter";
61 }
62
63 void emitInstruction(const MachineInstr &MI);
Evan Cheng7602e112008-09-02 06:52:38 +000064
65 private:
Evan Cheng057d0c32008-09-18 07:28:19 +000066
67 void emitConstPoolInstruction(const MachineInstr &MI);
68
69 void emitPseudoInstruction(const MachineInstr &MI);
70
Evan Cheng7602e112008-09-02 06:52:38 +000071 unsigned getAddrModeNoneInstrBinary(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +000072 const TargetInstrDesc &TID,
Evan Cheng5f1db7b2008-09-12 22:01:15 +000073 unsigned Binary);
74
75 unsigned getMachineSoRegOpValue(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +000076 const TargetInstrDesc &TID,
Evan Chengeb4ed4b2008-10-31 19:10:44 +000077 const MachineOperand &MO,
Evan Cheng5f1db7b2008-09-12 22:01:15 +000078 unsigned OpIdx);
79
Evan Chengeb4ed4b2008-10-31 19:10:44 +000080 unsigned getMachineSoImmOpValue(const MachineInstr &MI,
81 const TargetInstrDesc &TID,
82 const MachineOperand &MO);
83
Evan Cheng49a9f292008-09-12 22:45:55 +000084 unsigned getAddrMode1SBit(const MachineInstr &MI,
85 const TargetInstrDesc &TID) const;
86
Evan Cheng7602e112008-09-02 06:52:38 +000087 unsigned getAddrMode1InstrBinary(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +000088 const TargetInstrDesc &TID,
Evan Cheng7602e112008-09-02 06:52:38 +000089 unsigned Binary);
90 unsigned getAddrMode2InstrBinary(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +000091 const TargetInstrDesc &TID,
Evan Cheng7602e112008-09-02 06:52:38 +000092 unsigned Binary);
93 unsigned getAddrMode3InstrBinary(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +000094 const TargetInstrDesc &TID,
Evan Cheng7602e112008-09-02 06:52:38 +000095 unsigned Binary);
96 unsigned getAddrMode4InstrBinary(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +000097 const TargetInstrDesc &TID,
Evan Cheng7602e112008-09-02 06:52:38 +000098 unsigned Binary);
99
100 /// getInstrBinary - Return binary encoding for the specified
101 /// machine instruction.
102 unsigned getInstrBinary(const MachineInstr &MI);
103
104 /// getBinaryCodeForInstr - This function, generated by the
105 /// CodeEmitterGenerator using TableGen, produces the binary encoding for
106 /// machine instructions.
107 ///
Raul Herbster9c1a3822007-08-30 23:29:26 +0000108 unsigned getBinaryCodeForInstr(const MachineInstr &MI);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000109
Evan Cheng7602e112008-09-02 06:52:38 +0000110 /// getMachineOpValue - Return binary encoding of operand. If the machine
111 /// operand requires relocation, record the relocation and return zero.
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000112 unsigned getMachineOpValue(const MachineInstr &MI,const MachineOperand &MO);
Evan Cheng7602e112008-09-02 06:52:38 +0000113 unsigned getMachineOpValue(const MachineInstr &MI, unsigned OpIdx) {
114 return getMachineOpValue(MI, MI.getOperand(OpIdx));
115 }
Evan Cheng7602e112008-09-02 06:52:38 +0000116
117 /// getBaseOpcodeFor - Return the opcode value.
118 ///
119 unsigned getBaseOpcodeFor(const TargetInstrDesc &TID) const {
120 return (TID.TSFlags & ARMII::OpcodeMask) >> ARMII::OpcodeShift;
121 }
122
123 /// getShiftOp - Return the shift opcode (bit[6:5]) of the machine operand.
124 ///
125 unsigned getShiftOp(const MachineOperand &MO) const ;
126
127 /// Routines that handle operands which add machine relocations which are
128 /// fixed up by the JIT fixup stage.
Evan Cheng057d0c32008-09-18 07:28:19 +0000129 void emitGlobalAddress(GlobalValue *GV, unsigned Reloc,
Jim Grosbach016d34c2008-10-03 15:52:42 +0000130 bool NeedStub);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000131 void emitExternalSymbolAddress(const char *ES, unsigned Reloc);
132 void emitConstPoolAddress(unsigned CPI, unsigned Reloc,
133 int Disp = 0, unsigned PCAdj = 0 );
Evan Cheng057d0c32008-09-18 07:28:19 +0000134 void emitJumpTableAddress(unsigned JTIndex, unsigned Reloc,
Evan Cheng0ff94f72007-08-07 01:37:15 +0000135 unsigned PCAdj = 0);
Raul Herbster9c1a3822007-08-30 23:29:26 +0000136 void emitGlobalConstant(const Constant *CV);
137 void emitMachineBasicBlock(MachineBasicBlock *BB);
Evan Cheng148b6a42007-07-05 21:15:40 +0000138 };
Evan Cheng7602e112008-09-02 06:52:38 +0000139 char ARMCodeEmitter::ID = 0;
Evan Cheng148b6a42007-07-05 21:15:40 +0000140}
141
142/// createARMCodeEmitterPass - Return a pass that emits the collected ARM code
143/// to the specified MCE object.
144FunctionPass *llvm::createARMCodeEmitterPass(ARMTargetMachine &TM,
145 MachineCodeEmitter &MCE) {
Evan Cheng7602e112008-09-02 06:52:38 +0000146 return new ARMCodeEmitter(TM, MCE);
Evan Cheng148b6a42007-07-05 21:15:40 +0000147}
148
Evan Cheng7602e112008-09-02 06:52:38 +0000149bool ARMCodeEmitter::runOnMachineFunction(MachineFunction &MF) {
Evan Cheng148b6a42007-07-05 21:15:40 +0000150 assert((MF.getTarget().getRelocationModel() != Reloc::Default ||
151 MF.getTarget().getRelocationModel() != Reloc::Static) &&
152 "JIT relocation model must be set to static or default!");
153 II = ((ARMTargetMachine&)MF.getTarget()).getInstrInfo();
154 TD = ((ARMTargetMachine&)MF.getTarget()).getTargetData();
Evan Cheng057d0c32008-09-18 07:28:19 +0000155 JTI = ((ARMTargetMachine&)MF.getTarget()).getJITInfo();
156 MCP = MF.getConstantPool();
Evan Cheng148b6a42007-07-05 21:15:40 +0000157
158 do {
Evan Cheng42d5ee062008-09-13 01:15:21 +0000159 DOUT << "JITTing function '" << MF.getFunction()->getName() << "'\n";
Evan Cheng148b6a42007-07-05 21:15:40 +0000160 MCE.startFunction(MF);
161 for (MachineFunction::iterator MBB = MF.begin(), E = MF.end();
162 MBB != E; ++MBB) {
163 MCE.StartMachineBasicBlock(MBB);
164 for (MachineBasicBlock::const_iterator I = MBB->begin(), E = MBB->end();
165 I != E; ++I)
166 emitInstruction(*I);
167 }
168 } while (MCE.finishFunction(MF));
169
170 return false;
171}
172
Evan Cheng7602e112008-09-02 06:52:38 +0000173/// getShiftOp - Return the shift opcode (bit[6:5]) of the machine operand.
174///
175unsigned ARMCodeEmitter::getShiftOp(const MachineOperand &MO) const {
176 switch (ARM_AM::getAM2ShiftOpc(MO.getImm())) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000177 default: assert(0 && "Unknown shift opc!");
Evan Cheng7602e112008-09-02 06:52:38 +0000178 case ARM_AM::asr: return 2;
179 case ARM_AM::lsl: return 0;
180 case ARM_AM::lsr: return 1;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000181 case ARM_AM::ror:
Evan Cheng7602e112008-09-02 06:52:38 +0000182 case ARM_AM::rrx: return 3;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000183 }
Evan Cheng7602e112008-09-02 06:52:38 +0000184 return 0;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000185}
186
Evan Cheng7602e112008-09-02 06:52:38 +0000187/// getMachineOpValue - Return binary encoding of operand. If the machine
188/// operand requires relocation, record the relocation and return zero.
189unsigned ARMCodeEmitter::getMachineOpValue(const MachineInstr &MI,
190 const MachineOperand &MO) {
Dan Gohmand735b802008-10-03 15:45:36 +0000191 if (MO.isReg())
Evan Cheng7602e112008-09-02 06:52:38 +0000192 return ARMRegisterInfo::getRegisterNumbering(MO.getReg());
Dan Gohmand735b802008-10-03 15:45:36 +0000193 else if (MO.isImm())
Evan Cheng7602e112008-09-02 06:52:38 +0000194 return static_cast<unsigned>(MO.getImm());
Dan Gohmand735b802008-10-03 15:45:36 +0000195 else if (MO.isGlobal())
Jim Grosbach016d34c2008-10-03 15:52:42 +0000196 emitGlobalAddress(MO.getGlobal(), ARM::reloc_arm_branch, true);
Dan Gohmand735b802008-10-03 15:45:36 +0000197 else if (MO.isSymbol())
Raul Herbster9c1a3822007-08-30 23:29:26 +0000198 emitExternalSymbolAddress(MO.getSymbolName(), ARM::reloc_arm_relative);
Dan Gohmand735b802008-10-03 15:45:36 +0000199 else if (MO.isCPI())
Evan Cheng0f282432008-10-29 23:55:43 +0000200 emitConstPoolAddress(MO.getIndex(), ARM::reloc_arm_cp_entry);
Dan Gohmand735b802008-10-03 15:45:36 +0000201 else if (MO.isJTI())
Chris Lattner8aa797a2007-12-30 23:10:15 +0000202 emitJumpTableAddress(MO.getIndex(), ARM::reloc_arm_relative);
Dan Gohmand735b802008-10-03 15:45:36 +0000203 else if (MO.isMBB())
Chris Lattner8aa797a2007-12-30 23:10:15 +0000204 emitMachineBasicBlock(MO.getMBB());
Evan Cheng2aa0e642008-09-13 01:55:59 +0000205 else {
206 cerr << "ERROR: Unknown type of MachineOperand: " << MO << "\n";
207 abort();
208 }
Evan Cheng7602e112008-09-02 06:52:38 +0000209 return 0;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000210}
211
Evan Cheng057d0c32008-09-18 07:28:19 +0000212/// emitGlobalAddress - Emit the specified address to the code stream.
Evan Cheng0ff94f72007-08-07 01:37:15 +0000213///
Evan Cheng057d0c32008-09-18 07:28:19 +0000214void ARMCodeEmitter::emitGlobalAddress(GlobalValue *GV,
Jim Grosbach016d34c2008-10-03 15:52:42 +0000215 unsigned Reloc, bool NeedStub) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000216 MCE.addRelocation(MachineRelocation::getGV(MCE.getCurrentPCOffset(),
Jim Grosbach016d34c2008-10-03 15:52:42 +0000217 Reloc, GV, 0, NeedStub));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000218}
219
220/// emitExternalSymbolAddress - Arrange for the address of an external symbol to
221/// be emitted to the current location in the function, and allow it to be PC
222/// relative.
Evan Cheng7602e112008-09-02 06:52:38 +0000223void ARMCodeEmitter::emitExternalSymbolAddress(const char *ES, unsigned Reloc) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000224 MCE.addRelocation(MachineRelocation::getExtSym(MCE.getCurrentPCOffset(),
225 Reloc, ES));
226}
227
228/// emitConstPoolAddress - Arrange for the address of an constant pool
229/// to be emitted to the current location in the function, and allow it to be PC
230/// relative.
Evan Cheng7602e112008-09-02 06:52:38 +0000231void ARMCodeEmitter::emitConstPoolAddress(unsigned CPI, unsigned Reloc,
232 int Disp /* = 0 */,
233 unsigned PCAdj /* = 0 */) {
Evan Cheng0f282432008-10-29 23:55:43 +0000234 // Tell JIT emitter we'll resolve the address.
Evan Cheng0ff94f72007-08-07 01:37:15 +0000235 MCE.addRelocation(MachineRelocation::getConstPool(MCE.getCurrentPCOffset(),
Evan Cheng0f282432008-10-29 23:55:43 +0000236 Reloc, CPI, PCAdj, true));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000237}
238
239/// emitJumpTableAddress - Arrange for the address of a jump table to
240/// be emitted to the current location in the function, and allow it to be PC
241/// relative.
Evan Cheng057d0c32008-09-18 07:28:19 +0000242void ARMCodeEmitter::emitJumpTableAddress(unsigned JTIndex, unsigned Reloc,
Evan Cheng7602e112008-09-02 06:52:38 +0000243 unsigned PCAdj /* = 0 */) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000244 MCE.addRelocation(MachineRelocation::getJumpTable(MCE.getCurrentPCOffset(),
Evan Cheng057d0c32008-09-18 07:28:19 +0000245 Reloc, JTIndex, PCAdj));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000246}
247
Raul Herbster9c1a3822007-08-30 23:29:26 +0000248/// emitMachineBasicBlock - Emit the specified address basic block.
Evan Cheng7602e112008-09-02 06:52:38 +0000249void ARMCodeEmitter::emitMachineBasicBlock(MachineBasicBlock *BB) {
Raul Herbster9c1a3822007-08-30 23:29:26 +0000250 MCE.addRelocation(MachineRelocation::getBB(MCE.getCurrentPCOffset(),
Evan Cheng7602e112008-09-02 06:52:38 +0000251 ARM::reloc_arm_branch, BB));
Raul Herbster9c1a3822007-08-30 23:29:26 +0000252}
Evan Cheng0ff94f72007-08-07 01:37:15 +0000253
Evan Cheng7602e112008-09-02 06:52:38 +0000254void ARMCodeEmitter::emitInstruction(const MachineInstr &MI) {
Evan Cheng0f282432008-10-29 23:55:43 +0000255 DOUT << "JIT: " << "0x" << MCE.getCurrentPCValue() << ":\t" << MI;
Evan Cheng42d5ee062008-09-13 01:15:21 +0000256
Evan Cheng148b6a42007-07-05 21:15:40 +0000257 NumEmitted++; // Keep track of the # of mi's emitted
Evan Cheng057d0c32008-09-18 07:28:19 +0000258 if ((MI.getDesc().TSFlags & ARMII::FormMask) == ARMII::Pseudo)
259 emitPseudoInstruction(MI);
260 else
261 MCE.emitWordLE(getInstrBinary(MI));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000262}
263
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000264void ARMCodeEmitter::emitConstPoolInstruction(const MachineInstr &MI) {
265 unsigned CPI = MI.getOperand(0).getImm();
266 unsigned CPIndex = MI.getOperand(1).getIndex();
267 const MachineConstantPoolEntry &MCPE = MCP->getConstants()[CPIndex];
268
269 // Remember the CONSTPOOL_ENTRY address for later relocation.
270 JTI->addConstantPoolEntryAddr(CPI, MCE.getCurrentPCValue());
271
272 // Emit constpool island entry. In most cases, the actual values will be
273 // resolved and relocated after code emission.
274 if (MCPE.isMachineConstantPoolEntry()) {
275 ARMConstantPoolValue *ACPV =
276 static_cast<ARMConstantPoolValue*>(MCPE.Val.MachineCPVal);
277
278 DOUT << "\t** ARM constant pool #" << CPI << ", ' @ "
279 << (void*)MCE.getCurrentPCValue() << *ACPV << '\n';
280
281 GlobalValue *GV = ACPV->getGV();
282 if (GV) {
283 assert(!ACPV->isStub() && "Don't know how to deal this yet!");
284 emitGlobalAddress(GV, ARM::reloc_arm_absolute, false);
285 } else {
286 assert(!ACPV->isNonLazyPointer() && "Don't know how to deal this yet!");
287 emitExternalSymbolAddress(ACPV->getSymbol(), ARM::reloc_arm_absolute);
288 }
289 MCE.emitWordLE(0);
290 } else {
291 Constant *CV = MCPE.Val.ConstVal;
292
293 DOUT << "\t** Constant pool #" << CPI << ", ' @ "
294 << (void*)MCE.getCurrentPCValue() << *CV << '\n';
295
296 if (GlobalValue *GV = dyn_cast<GlobalValue>(CV)) {
297 emitGlobalAddress(GV, ARM::reloc_arm_absolute, false);
298 MCE.emitWordLE(0);
299 } else {
300 assert(CV->getType()->isInteger() &&
301 "Not expecting non-integer constpool entries yet!");
302 const ConstantInt *CI = dyn_cast<ConstantInt>(CV);
303 uint32_t Val = *(uint32_t*)CI->getValue().getRawData();
304 MCE.emitWordLE(Val);
305 }
306 }
307}
308
309void ARMCodeEmitter::emitPseudoInstruction(const MachineInstr &MI) {
310 unsigned Opcode = MI.getDesc().Opcode;
311 switch (Opcode) {
312 default:
313 abort(); // FIXME:
314 case ARM::CONSTPOOL_ENTRY:
315 emitConstPoolInstruction(MI);
316 break;
317 case ARM::PICADD: {
318 // PICADD is just an add instruction that implicitly read pc.
319 unsigned Binary = getBinaryCodeForInstr(MI);
320 const TargetInstrDesc &TID = MI.getDesc();
321 MCE.emitWordLE(getAddrMode1InstrBinary(MI, TID, Binary));
322 break;
323 }
324 }
325}
326
327
Evan Cheng7602e112008-09-02 06:52:38 +0000328unsigned ARMCodeEmitter::getAddrModeNoneInstrBinary(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +0000329 const TargetInstrDesc &TID,
Evan Cheng7602e112008-09-02 06:52:38 +0000330 unsigned Binary) {
Jim Grosbach33412622008-10-07 19:05:35 +0000331 // Set the conditional execution predicate
332 Binary |= II->getPredicate(&MI) << 28;
Evan Cheng057d0c32008-09-18 07:28:19 +0000333
Evan Cheng49a9f292008-09-12 22:45:55 +0000334 switch (TID.TSFlags & ARMII::FormMask) {
Evan Cheng7602e112008-09-02 06:52:38 +0000335 default:
336 assert(0 && "Unknown instruction subtype!");
337 break;
338 case ARMII::Branch: {
339 // Set signed_immed_24 field
340 Binary |= getMachineOpValue(MI, 0);
341
342 // if it is a conditional branch, set cond field
Evan Cheng49a9f292008-09-12 22:45:55 +0000343 if (TID.Opcode == ARM::Bcc) {
Evan Cheng7602e112008-09-02 06:52:38 +0000344 Binary &= 0x0FFFFFFF; // clear conditional field
345 Binary |= getMachineOpValue(MI, 1) << 28; // set conditional field
346 }
347 break;
348 }
349 case ARMII::BranchMisc: {
Evan Cheng7fd7ca42008-09-17 07:53:38 +0000350 if (TID.Opcode == ARM::BX)
351 abort(); // FIXME
Evan Cheng49a9f292008-09-12 22:45:55 +0000352 if (TID.Opcode == ARM::BX_RET)
Evan Cheng7602e112008-09-02 06:52:38 +0000353 Binary |= 0xe; // the return register is LR
354 else
355 // otherwise, set the return register
356 Binary |= getMachineOpValue(MI, 0);
357 break;
358 }
359 }
360
361 return Binary;
362}
363
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000364unsigned ARMCodeEmitter::getMachineSoRegOpValue(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +0000365 const TargetInstrDesc &TID,
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000366 const MachineOperand &MO,
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000367 unsigned OpIdx) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000368 unsigned Binary = getMachineOpValue(MI, MO);
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000369
370 const MachineOperand &MO1 = MI.getOperand(OpIdx + 1);
371 const MachineOperand &MO2 = MI.getOperand(OpIdx + 2);
372 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO2.getImm());
373
374 // Encode the shift opcode.
375 unsigned SBits = 0;
376 unsigned Rs = MO1.getReg();
377 if (Rs) {
378 // Set shift operand (bit[7:4]).
379 // LSL - 0001
380 // LSR - 0011
381 // ASR - 0101
382 // ROR - 0111
383 // RRX - 0110 and bit[11:8] clear.
384 switch (SOpc) {
385 default: assert(0 && "Unknown shift opc!");
386 case ARM_AM::lsl: SBits = 0x1; break;
387 case ARM_AM::lsr: SBits = 0x3; break;
388 case ARM_AM::asr: SBits = 0x5; break;
389 case ARM_AM::ror: SBits = 0x7; break;
390 case ARM_AM::rrx: SBits = 0x6; break;
391 }
392 } else {
393 // Set shift operand (bit[6:4]).
394 // LSL - 000
395 // LSR - 010
396 // ASR - 100
397 // ROR - 110
398 switch (SOpc) {
399 default: assert(0 && "Unknown shift opc!");
400 case ARM_AM::lsl: SBits = 0x0; break;
401 case ARM_AM::lsr: SBits = 0x2; break;
402 case ARM_AM::asr: SBits = 0x4; break;
403 case ARM_AM::ror: SBits = 0x6; break;
404 }
405 }
406 Binary |= SBits << 4;
407 if (SOpc == ARM_AM::rrx)
408 return Binary;
409
410 // Encode the shift operation Rs or shift_imm (except rrx).
411 if (Rs) {
412 // Encode Rs bit[11:8].
413 assert(ARM_AM::getSORegOffset(MO2.getImm()) == 0);
414 return Binary |
415 (ARMRegisterInfo::getRegisterNumbering(Rs) << ARMII::RegRsShift);
416 }
417
418 // Encode shift_imm bit[11:7].
419 return Binary | ARM_AM::getSORegOffset(MO2.getImm()) << 7;
420}
421
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000422unsigned ARMCodeEmitter::getMachineSoImmOpValue(const MachineInstr &MI,
423 const TargetInstrDesc &TID,
424 const MachineOperand &MO) {
425 unsigned SoImm = MO.getImm();
426 // Encode rotate_imm.
427 unsigned Binary = ARM_AM::getSOImmValRot(SoImm) << ARMII::RotImmShift;
428 // Encode immed_8.
429 Binary |= ARM_AM::getSOImmVal(SoImm);
430 return Binary;
431}
432
Evan Cheng49a9f292008-09-12 22:45:55 +0000433unsigned ARMCodeEmitter::getAddrMode1SBit(const MachineInstr &MI,
434 const TargetInstrDesc &TID) const {
435 for (unsigned i = MI.getNumOperands(), e = TID.getNumOperands(); i != e; --i){
436 const MachineOperand &MO = MI.getOperand(i-1);
Dan Gohmand735b802008-10-03 15:45:36 +0000437 if (MO.isReg() && MO.isDef() && MO.getReg() == ARM::CPSR)
Evan Cheng49a9f292008-09-12 22:45:55 +0000438 return 1 << ARMII::S_BitShift;
439 }
440 return 0;
441}
442
Evan Cheng7602e112008-09-02 06:52:38 +0000443unsigned ARMCodeEmitter::getAddrMode1InstrBinary(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +0000444 const TargetInstrDesc &TID,
Evan Cheng7602e112008-09-02 06:52:38 +0000445 unsigned Binary) {
Jim Grosbach33412622008-10-07 19:05:35 +0000446 // Set the conditional execution predicate
447 Binary |= II->getPredicate(&MI) << 28;
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000448
Evan Cheng49a9f292008-09-12 22:45:55 +0000449 // Encode S bit if MI modifies CPSR.
450 Binary |= getAddrMode1SBit(MI, TID);
451
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000452 // Encode register def if there is one.
Evan Cheng49a9f292008-09-12 22:45:55 +0000453 unsigned NumDefs = TID.getNumDefs();
Evan Chenga964b7d2008-09-12 23:15:39 +0000454 unsigned OpIdx = 0;
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000455 if (NumDefs) {
456 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRdShift;
457 ++OpIdx;
Evan Cheng7602e112008-09-02 06:52:38 +0000458 }
459
Jim Grosbachefd30ba2008-10-01 18:16:49 +0000460 // Encode first non-shifter register operand if there is one.
Evan Cheng057d0c32008-09-18 07:28:19 +0000461 unsigned Format = TID.TSFlags & ARMII::FormMask;
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000462 bool HasRnReg = !(Format == ARMII::DPRdMisc ||
463 Format == ARMII::DPRdIm ||
464 Format == ARMII::DPRdReg ||
465 Format == ARMII::DPRdSoReg);
466 if (HasRnReg) {
467 if (TID.getOpcode() == ARM::PICADD)
468 // Special handling for PICADD. It implicitly use add.
469 Binary |=
470 ARMRegisterInfo::getRegisterNumbering(ARM::PC) << ARMII::RegRnShift;
471 else {
472 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRnShift;
473 ++OpIdx;
474 }
Evan Cheng7602e112008-09-02 06:52:38 +0000475 }
476
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000477 // Encode shifter operand.
Evan Chengbe3034c2008-09-13 01:38:29 +0000478 bool HasSoReg = (Format == ARMII::DPRdSoReg ||
479 Format == ARMII::DPRnSoReg ||
480 Format == ARMII::DPRSoReg ||
481 Format == ARMII::DPRSoRegS);
Evan Cheng7602e112008-09-02 06:52:38 +0000482
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000483 const MachineOperand &MO = MI.getOperand(OpIdx);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000484 if (HasSoReg)
485 // Encode SoReg.
486 return Binary | getMachineSoRegOpValue(MI, TID, MO, OpIdx);
487
Dan Gohmand735b802008-10-03 15:45:36 +0000488 if (MO.isReg())
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000489 // Encode register Rm.
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000490 return Binary | ARMRegisterInfo::getRegisterNumbering(MO.getReg());
Evan Cheng7602e112008-09-02 06:52:38 +0000491
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000492 // Encode so_imm.
493 // Set bit I(25) to identify this is the immediate form of <shifter_op>
494 Binary |= 1 << ARMII::I_BitShift;
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000495 Binary |= getMachineSoImmOpValue(MI, TID, MO);
Evan Cheng7602e112008-09-02 06:52:38 +0000496 return Binary;
497}
498
499unsigned ARMCodeEmitter::getAddrMode2InstrBinary(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +0000500 const TargetInstrDesc &TID,
Evan Cheng7602e112008-09-02 06:52:38 +0000501 unsigned Binary) {
Jim Grosbach33412622008-10-07 19:05:35 +0000502 // Set the conditional execution predicate
503 Binary |= II->getPredicate(&MI) << 28;
Evan Cheng057d0c32008-09-18 07:28:19 +0000504
Evan Cheng7602e112008-09-02 06:52:38 +0000505 // Set first operand
506 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
507
508 // Set second operand
509 Binary |= getMachineOpValue(MI, 1) << ARMII::RegRnShift;
510
511 const MachineOperand &MO2 = MI.getOperand(2);
512 const MachineOperand &MO3 = MI.getOperand(3);
513
Evan Chenge7de7e32008-09-13 01:44:01 +0000514 // Set bit U(23) according to sign of immed value (positive or negative).
Evan Cheng7602e112008-09-02 06:52:38 +0000515 Binary |= ((ARM_AM::getAM2Op(MO3.getImm()) == ARM_AM::add ? 1 : 0) <<
Evan Chenge7de7e32008-09-13 01:44:01 +0000516 ARMII::U_BitShift);
Evan Cheng7602e112008-09-02 06:52:38 +0000517 if (!MO2.getReg()) { // is immediate
518 if (ARM_AM::getAM2Offset(MO3.getImm()))
519 // Set the value of offset_12 field
520 Binary |= ARM_AM::getAM2Offset(MO3.getImm());
521 return Binary;
522 }
523
524 // Set bit I(25), because this is not in immediate enconding.
525 Binary |= 1 << ARMII::I_BitShift;
526 assert(TargetRegisterInfo::isPhysicalRegister(MO2.getReg()));
527 // Set bit[3:0] to the corresponding Rm register
528 Binary |= ARMRegisterInfo::getRegisterNumbering(MO2.getReg());
529
530 // if this instr is in scaled register offset/index instruction, set
531 // shift_immed(bit[11:7]) and shift(bit[6:5]) fields.
532 if (unsigned ShImm = ARM_AM::getAM2Offset(MO3.getImm())) {
533 Binary |= getShiftOp(MO3) << 5; // shift
534 Binary |= ShImm << 7; // shift_immed
535 }
536
537 return Binary;
538}
539
540unsigned ARMCodeEmitter::getAddrMode3InstrBinary(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +0000541 const TargetInstrDesc &TID,
Evan Cheng7602e112008-09-02 06:52:38 +0000542 unsigned Binary) {
Jim Grosbach33412622008-10-07 19:05:35 +0000543 // Set the conditional execution predicate
544 Binary |= II->getPredicate(&MI) << 28;
Evan Cheng057d0c32008-09-18 07:28:19 +0000545
Evan Cheng7602e112008-09-02 06:52:38 +0000546 // Set first operand
547 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
548
549 // Set second operand
550 Binary |= getMachineOpValue(MI, 1) << ARMII::RegRnShift;
551
552 const MachineOperand &MO2 = MI.getOperand(2);
553 const MachineOperand &MO3 = MI.getOperand(3);
554
Evan Chenge7de7e32008-09-13 01:44:01 +0000555 // Set bit U(23) according to sign of immed value (positive or negative)
Evan Cheng7602e112008-09-02 06:52:38 +0000556 Binary |= ((ARM_AM::getAM2Op(MO3.getImm()) == ARM_AM::add ? 1 : 0) <<
557 ARMII::U_BitShift);
558
559 // If this instr is in register offset/index encoding, set bit[3:0]
560 // to the corresponding Rm register.
561 if (MO2.getReg()) {
562 Binary |= ARMRegisterInfo::getRegisterNumbering(MO2.getReg());
563 return Binary;
564 }
565
566 // if this instr is in immediate offset/index encoding, set bit 22 to 1
567 if (unsigned ImmOffs = ARM_AM::getAM3Offset(MO3.getImm())) {
568 Binary |= 1 << 22;
569 // Set operands
570 Binary |= (ImmOffs >> 4) << 8; // immedH
571 Binary |= (ImmOffs & ~0xF); // immedL
572 }
573
574 return Binary;
575}
576
577unsigned ARMCodeEmitter::getAddrMode4InstrBinary(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +0000578 const TargetInstrDesc &TID,
Evan Cheng7602e112008-09-02 06:52:38 +0000579 unsigned Binary) {
Jim Grosbach33412622008-10-07 19:05:35 +0000580 // Set the conditional execution predicate
581 Binary |= II->getPredicate(&MI) << 28;
Evan Cheng057d0c32008-09-18 07:28:19 +0000582
Evan Cheng7602e112008-09-02 06:52:38 +0000583 // Set first operand
584 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRnShift;
585
586 // Set addressing mode by modifying bits U(23) and P(24)
587 // IA - Increment after - bit U = 1 and bit P = 0
588 // IB - Increment before - bit U = 1 and bit P = 1
589 // DA - Decrement after - bit U = 0 and bit P = 0
590 // DB - Decrement before - bit U = 0 and bit P = 1
591 const MachineOperand &MO = MI.getOperand(1);
592 ARM_AM::AMSubMode Mode = ARM_AM::getAM4SubMode(MO.getImm());
593 switch (Mode) {
594 default: assert(0 && "Unknown addressing sub-mode!");
595 case ARM_AM::da: break;
596 case ARM_AM::db: Binary |= 0x1 << 24; break;
597 case ARM_AM::ia: Binary |= 0x1 << 23; break;
598 case ARM_AM::ib: Binary |= 0x3 << 23; break;
599 }
600
601 // Set bit W(21)
602 if (ARM_AM::getAM4WBFlag(MO.getImm()))
603 Binary |= 0x1 << 21;
604
605 // Set registers
606 for (unsigned i = 4, e = MI.getNumOperands(); i != e; ++i) {
607 const MachineOperand &MO = MI.getOperand(i);
Dan Gohmand735b802008-10-03 15:45:36 +0000608 if (MO.isReg() && MO.isImplicit())
Evan Cheng7602e112008-09-02 06:52:38 +0000609 continue;
610 unsigned RegNum = ARMRegisterInfo::getRegisterNumbering(MO.getReg());
611 assert(TargetRegisterInfo::isPhysicalRegister(MO.getReg()) &&
612 RegNum < 16);
613 Binary |= 0x1 << RegNum;
614 }
615
616 return Binary;
617}
618
619/// getInstrBinary - Return binary encoding for the specified
620/// machine instruction.
621unsigned ARMCodeEmitter::getInstrBinary(const MachineInstr &MI) {
622 // Part of binary is determined by TableGn.
623 unsigned Binary = getBinaryCodeForInstr(MI);
624
Evan Cheng49a9f292008-09-12 22:45:55 +0000625 const TargetInstrDesc &TID = MI.getDesc();
626 switch (TID.TSFlags & ARMII::AddrModeMask) {
Evan Cheng7602e112008-09-02 06:52:38 +0000627 case ARMII::AddrModeNone:
Evan Cheng49a9f292008-09-12 22:45:55 +0000628 return getAddrModeNoneInstrBinary(MI, TID, Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000629 case ARMII::AddrMode1:
Evan Cheng49a9f292008-09-12 22:45:55 +0000630 return getAddrMode1InstrBinary(MI, TID, Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000631 case ARMII::AddrMode2:
Evan Cheng49a9f292008-09-12 22:45:55 +0000632 return getAddrMode2InstrBinary(MI, TID, Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000633 case ARMII::AddrMode3:
Evan Cheng49a9f292008-09-12 22:45:55 +0000634 return getAddrMode3InstrBinary(MI, TID, Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000635 case ARMII::AddrMode4:
Evan Cheng49a9f292008-09-12 22:45:55 +0000636 return getAddrMode4InstrBinary(MI, TID, Binary);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000637 }
638
Evan Cheng7602e112008-09-02 06:52:38 +0000639 abort();
640 return 0;
Evan Cheng148b6a42007-07-05 21:15:40 +0000641}
Evan Cheng7602e112008-09-02 06:52:38 +0000642
643#include "ARMGenCodeEmitter.inc"