blob: b6a57e533094c6123bc546ca5f70c8e13a84f615 [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 Cheng5f1db7b2008-09-12 22:01:15 +000077 unsigned OpIdx);
78
Evan Cheng49a9f292008-09-12 22:45:55 +000079 unsigned getAddrMode1SBit(const MachineInstr &MI,
80 const TargetInstrDesc &TID) const;
81
Evan Cheng7602e112008-09-02 06:52:38 +000082 unsigned getAddrMode1InstrBinary(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +000083 const TargetInstrDesc &TID,
Evan Cheng7602e112008-09-02 06:52:38 +000084 unsigned Binary);
85 unsigned getAddrMode2InstrBinary(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +000086 const TargetInstrDesc &TID,
Evan Cheng7602e112008-09-02 06:52:38 +000087 unsigned Binary);
88 unsigned getAddrMode3InstrBinary(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +000089 const TargetInstrDesc &TID,
Evan Cheng7602e112008-09-02 06:52:38 +000090 unsigned Binary);
91 unsigned getAddrMode4InstrBinary(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +000092 const TargetInstrDesc &TID,
Evan Cheng7602e112008-09-02 06:52:38 +000093 unsigned Binary);
94
95 /// getInstrBinary - Return binary encoding for the specified
96 /// machine instruction.
97 unsigned getInstrBinary(const MachineInstr &MI);
98
99 /// getBinaryCodeForInstr - This function, generated by the
100 /// CodeEmitterGenerator using TableGen, produces the binary encoding for
101 /// machine instructions.
102 ///
Raul Herbster9c1a3822007-08-30 23:29:26 +0000103 unsigned getBinaryCodeForInstr(const MachineInstr &MI);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000104
Evan Cheng7602e112008-09-02 06:52:38 +0000105 /// getMachineOpValue - Return binary encoding of operand. If the machine
106 /// operand requires relocation, record the relocation and return zero.
107 unsigned getMachineOpValue(const MachineInstr &MI, unsigned OpIdx) {
108 return getMachineOpValue(MI, MI.getOperand(OpIdx));
109 }
110 unsigned getMachineOpValue(const MachineInstr &MI,
111 const MachineOperand &MO);
112
113 /// getBaseOpcodeFor - Return the opcode value.
114 ///
115 unsigned getBaseOpcodeFor(const TargetInstrDesc &TID) const {
116 return (TID.TSFlags & ARMII::OpcodeMask) >> ARMII::OpcodeShift;
117 }
118
119 /// getShiftOp - Return the shift opcode (bit[6:5]) of the machine operand.
120 ///
121 unsigned getShiftOp(const MachineOperand &MO) const ;
122
123 /// Routines that handle operands which add machine relocations which are
124 /// fixed up by the JIT fixup stage.
Evan Cheng057d0c32008-09-18 07:28:19 +0000125 void emitGlobalAddress(GlobalValue *GV, unsigned Reloc,
Jim Grosbach016d34c2008-10-03 15:52:42 +0000126 bool NeedStub);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000127 void emitExternalSymbolAddress(const char *ES, unsigned Reloc);
128 void emitConstPoolAddress(unsigned CPI, unsigned Reloc,
129 int Disp = 0, unsigned PCAdj = 0 );
Evan Cheng057d0c32008-09-18 07:28:19 +0000130 void emitJumpTableAddress(unsigned JTIndex, unsigned Reloc,
Evan Cheng0ff94f72007-08-07 01:37:15 +0000131 unsigned PCAdj = 0);
Raul Herbster9c1a3822007-08-30 23:29:26 +0000132 void emitGlobalConstant(const Constant *CV);
133 void emitMachineBasicBlock(MachineBasicBlock *BB);
Evan Cheng148b6a42007-07-05 21:15:40 +0000134 };
Evan Cheng7602e112008-09-02 06:52:38 +0000135 char ARMCodeEmitter::ID = 0;
Evan Cheng148b6a42007-07-05 21:15:40 +0000136}
137
138/// createARMCodeEmitterPass - Return a pass that emits the collected ARM code
139/// to the specified MCE object.
140FunctionPass *llvm::createARMCodeEmitterPass(ARMTargetMachine &TM,
141 MachineCodeEmitter &MCE) {
Evan Cheng7602e112008-09-02 06:52:38 +0000142 return new ARMCodeEmitter(TM, MCE);
Evan Cheng148b6a42007-07-05 21:15:40 +0000143}
144
Evan Cheng7602e112008-09-02 06:52:38 +0000145bool ARMCodeEmitter::runOnMachineFunction(MachineFunction &MF) {
Evan Cheng148b6a42007-07-05 21:15:40 +0000146 assert((MF.getTarget().getRelocationModel() != Reloc::Default ||
147 MF.getTarget().getRelocationModel() != Reloc::Static) &&
148 "JIT relocation model must be set to static or default!");
149 II = ((ARMTargetMachine&)MF.getTarget()).getInstrInfo();
150 TD = ((ARMTargetMachine&)MF.getTarget()).getTargetData();
Evan Cheng057d0c32008-09-18 07:28:19 +0000151 JTI = ((ARMTargetMachine&)MF.getTarget()).getJITInfo();
152 MCP = MF.getConstantPool();
Evan Cheng148b6a42007-07-05 21:15:40 +0000153
154 do {
Evan Cheng42d5ee062008-09-13 01:15:21 +0000155 DOUT << "JITTing function '" << MF.getFunction()->getName() << "'\n";
Evan Cheng148b6a42007-07-05 21:15:40 +0000156 MCE.startFunction(MF);
157 for (MachineFunction::iterator MBB = MF.begin(), E = MF.end();
158 MBB != E; ++MBB) {
159 MCE.StartMachineBasicBlock(MBB);
160 for (MachineBasicBlock::const_iterator I = MBB->begin(), E = MBB->end();
161 I != E; ++I)
162 emitInstruction(*I);
163 }
164 } while (MCE.finishFunction(MF));
165
166 return false;
167}
168
Evan Cheng7602e112008-09-02 06:52:38 +0000169/// getShiftOp - Return the shift opcode (bit[6:5]) of the machine operand.
170///
171unsigned ARMCodeEmitter::getShiftOp(const MachineOperand &MO) const {
172 switch (ARM_AM::getAM2ShiftOpc(MO.getImm())) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000173 default: assert(0 && "Unknown shift opc!");
Evan Cheng7602e112008-09-02 06:52:38 +0000174 case ARM_AM::asr: return 2;
175 case ARM_AM::lsl: return 0;
176 case ARM_AM::lsr: return 1;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000177 case ARM_AM::ror:
Evan Cheng7602e112008-09-02 06:52:38 +0000178 case ARM_AM::rrx: return 3;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000179 }
Evan Cheng7602e112008-09-02 06:52:38 +0000180 return 0;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000181}
182
Evan Cheng7602e112008-09-02 06:52:38 +0000183/// getMachineOpValue - Return binary encoding of operand. If the machine
184/// operand requires relocation, record the relocation and return zero.
185unsigned ARMCodeEmitter::getMachineOpValue(const MachineInstr &MI,
186 const MachineOperand &MO) {
Dan Gohmand735b802008-10-03 15:45:36 +0000187 if (MO.isReg())
Evan Cheng7602e112008-09-02 06:52:38 +0000188 return ARMRegisterInfo::getRegisterNumbering(MO.getReg());
Dan Gohmand735b802008-10-03 15:45:36 +0000189 else if (MO.isImm())
Evan Cheng7602e112008-09-02 06:52:38 +0000190 return static_cast<unsigned>(MO.getImm());
Dan Gohmand735b802008-10-03 15:45:36 +0000191 else if (MO.isGlobal())
Jim Grosbach016d34c2008-10-03 15:52:42 +0000192 emitGlobalAddress(MO.getGlobal(), ARM::reloc_arm_branch, true);
Dan Gohmand735b802008-10-03 15:45:36 +0000193 else if (MO.isSymbol())
Raul Herbster9c1a3822007-08-30 23:29:26 +0000194 emitExternalSymbolAddress(MO.getSymbolName(), ARM::reloc_arm_relative);
Dan Gohmand735b802008-10-03 15:45:36 +0000195 else if (MO.isCPI())
Evan Cheng0f282432008-10-29 23:55:43 +0000196 emitConstPoolAddress(MO.getIndex(), ARM::reloc_arm_cp_entry);
Dan Gohmand735b802008-10-03 15:45:36 +0000197 else if (MO.isJTI())
Chris Lattner8aa797a2007-12-30 23:10:15 +0000198 emitJumpTableAddress(MO.getIndex(), ARM::reloc_arm_relative);
Dan Gohmand735b802008-10-03 15:45:36 +0000199 else if (MO.isMBB())
Chris Lattner8aa797a2007-12-30 23:10:15 +0000200 emitMachineBasicBlock(MO.getMBB());
Evan Cheng2aa0e642008-09-13 01:55:59 +0000201 else {
202 cerr << "ERROR: Unknown type of MachineOperand: " << MO << "\n";
203 abort();
204 }
Evan Cheng7602e112008-09-02 06:52:38 +0000205 return 0;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000206}
207
Evan Cheng057d0c32008-09-18 07:28:19 +0000208/// emitGlobalAddress - Emit the specified address to the code stream.
Evan Cheng0ff94f72007-08-07 01:37:15 +0000209///
Evan Cheng057d0c32008-09-18 07:28:19 +0000210void ARMCodeEmitter::emitGlobalAddress(GlobalValue *GV,
Jim Grosbach016d34c2008-10-03 15:52:42 +0000211 unsigned Reloc, bool NeedStub) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000212 MCE.addRelocation(MachineRelocation::getGV(MCE.getCurrentPCOffset(),
Jim Grosbach016d34c2008-10-03 15:52:42 +0000213 Reloc, GV, 0, NeedStub));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000214}
215
216/// emitExternalSymbolAddress - Arrange for the address of an external symbol to
217/// be emitted to the current location in the function, and allow it to be PC
218/// relative.
Evan Cheng7602e112008-09-02 06:52:38 +0000219void ARMCodeEmitter::emitExternalSymbolAddress(const char *ES, unsigned Reloc) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000220 MCE.addRelocation(MachineRelocation::getExtSym(MCE.getCurrentPCOffset(),
221 Reloc, ES));
222}
223
224/// emitConstPoolAddress - Arrange for the address of an constant pool
225/// to be emitted to the current location in the function, and allow it to be PC
226/// relative.
Evan Cheng7602e112008-09-02 06:52:38 +0000227void ARMCodeEmitter::emitConstPoolAddress(unsigned CPI, unsigned Reloc,
228 int Disp /* = 0 */,
229 unsigned PCAdj /* = 0 */) {
Evan Cheng0f282432008-10-29 23:55:43 +0000230 // Tell JIT emitter we'll resolve the address.
Evan Cheng0ff94f72007-08-07 01:37:15 +0000231 MCE.addRelocation(MachineRelocation::getConstPool(MCE.getCurrentPCOffset(),
Evan Cheng0f282432008-10-29 23:55:43 +0000232 Reloc, CPI, PCAdj, true));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000233}
234
235/// emitJumpTableAddress - Arrange for the address of a jump table to
236/// be emitted to the current location in the function, and allow it to be PC
237/// relative.
Evan Cheng057d0c32008-09-18 07:28:19 +0000238void ARMCodeEmitter::emitJumpTableAddress(unsigned JTIndex, unsigned Reloc,
Evan Cheng7602e112008-09-02 06:52:38 +0000239 unsigned PCAdj /* = 0 */) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000240 MCE.addRelocation(MachineRelocation::getJumpTable(MCE.getCurrentPCOffset(),
Evan Cheng057d0c32008-09-18 07:28:19 +0000241 Reloc, JTIndex, PCAdj));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000242}
243
Raul Herbster9c1a3822007-08-30 23:29:26 +0000244/// emitMachineBasicBlock - Emit the specified address basic block.
Evan Cheng7602e112008-09-02 06:52:38 +0000245void ARMCodeEmitter::emitMachineBasicBlock(MachineBasicBlock *BB) {
Raul Herbster9c1a3822007-08-30 23:29:26 +0000246 MCE.addRelocation(MachineRelocation::getBB(MCE.getCurrentPCOffset(),
Evan Cheng7602e112008-09-02 06:52:38 +0000247 ARM::reloc_arm_branch, BB));
Raul Herbster9c1a3822007-08-30 23:29:26 +0000248}
Evan Cheng0ff94f72007-08-07 01:37:15 +0000249
Evan Cheng7602e112008-09-02 06:52:38 +0000250void ARMCodeEmitter::emitInstruction(const MachineInstr &MI) {
Evan Cheng0f282432008-10-29 23:55:43 +0000251 DOUT << "JIT: " << "0x" << MCE.getCurrentPCValue() << ":\t" << MI;
Evan Cheng42d5ee062008-09-13 01:15:21 +0000252
Evan Cheng148b6a42007-07-05 21:15:40 +0000253 NumEmitted++; // Keep track of the # of mi's emitted
Evan Cheng057d0c32008-09-18 07:28:19 +0000254 if ((MI.getDesc().TSFlags & ARMII::FormMask) == ARMII::Pseudo)
255 emitPseudoInstruction(MI);
256 else
257 MCE.emitWordLE(getInstrBinary(MI));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000258}
259
Evan Cheng7602e112008-09-02 06:52:38 +0000260unsigned ARMCodeEmitter::getAddrModeNoneInstrBinary(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +0000261 const TargetInstrDesc &TID,
Evan Cheng7602e112008-09-02 06:52:38 +0000262 unsigned Binary) {
Jim Grosbach33412622008-10-07 19:05:35 +0000263 // Set the conditional execution predicate
264 Binary |= II->getPredicate(&MI) << 28;
Evan Cheng057d0c32008-09-18 07:28:19 +0000265
Evan Cheng49a9f292008-09-12 22:45:55 +0000266 switch (TID.TSFlags & ARMII::FormMask) {
Evan Cheng7602e112008-09-02 06:52:38 +0000267 default:
268 assert(0 && "Unknown instruction subtype!");
269 break;
270 case ARMII::Branch: {
271 // Set signed_immed_24 field
272 Binary |= getMachineOpValue(MI, 0);
273
274 // if it is a conditional branch, set cond field
Evan Cheng49a9f292008-09-12 22:45:55 +0000275 if (TID.Opcode == ARM::Bcc) {
Evan Cheng7602e112008-09-02 06:52:38 +0000276 Binary &= 0x0FFFFFFF; // clear conditional field
277 Binary |= getMachineOpValue(MI, 1) << 28; // set conditional field
278 }
279 break;
280 }
281 case ARMII::BranchMisc: {
Evan Cheng7fd7ca42008-09-17 07:53:38 +0000282 if (TID.Opcode == ARM::BX)
283 abort(); // FIXME
Evan Cheng49a9f292008-09-12 22:45:55 +0000284 if (TID.Opcode == ARM::BX_RET)
Evan Cheng7602e112008-09-02 06:52:38 +0000285 Binary |= 0xe; // the return register is LR
286 else
287 // otherwise, set the return register
288 Binary |= getMachineOpValue(MI, 0);
289 break;
290 }
291 }
292
293 return Binary;
294}
295
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000296unsigned ARMCodeEmitter::getMachineSoRegOpValue(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +0000297 const TargetInstrDesc &TID,
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000298 unsigned OpIdx) {
299 // Set last operand (register Rm)
300 unsigned Binary = getMachineOpValue(MI, OpIdx);
301
302 const MachineOperand &MO1 = MI.getOperand(OpIdx + 1);
303 const MachineOperand &MO2 = MI.getOperand(OpIdx + 2);
304 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO2.getImm());
305
306 // Encode the shift opcode.
307 unsigned SBits = 0;
308 unsigned Rs = MO1.getReg();
309 if (Rs) {
310 // Set shift operand (bit[7:4]).
311 // LSL - 0001
312 // LSR - 0011
313 // ASR - 0101
314 // ROR - 0111
315 // RRX - 0110 and bit[11:8] clear.
316 switch (SOpc) {
317 default: assert(0 && "Unknown shift opc!");
318 case ARM_AM::lsl: SBits = 0x1; break;
319 case ARM_AM::lsr: SBits = 0x3; break;
320 case ARM_AM::asr: SBits = 0x5; break;
321 case ARM_AM::ror: SBits = 0x7; break;
322 case ARM_AM::rrx: SBits = 0x6; break;
323 }
324 } else {
325 // Set shift operand (bit[6:4]).
326 // LSL - 000
327 // LSR - 010
328 // ASR - 100
329 // ROR - 110
330 switch (SOpc) {
331 default: assert(0 && "Unknown shift opc!");
332 case ARM_AM::lsl: SBits = 0x0; break;
333 case ARM_AM::lsr: SBits = 0x2; break;
334 case ARM_AM::asr: SBits = 0x4; break;
335 case ARM_AM::ror: SBits = 0x6; break;
336 }
337 }
338 Binary |= SBits << 4;
339 if (SOpc == ARM_AM::rrx)
340 return Binary;
341
342 // Encode the shift operation Rs or shift_imm (except rrx).
343 if (Rs) {
344 // Encode Rs bit[11:8].
345 assert(ARM_AM::getSORegOffset(MO2.getImm()) == 0);
346 return Binary |
347 (ARMRegisterInfo::getRegisterNumbering(Rs) << ARMII::RegRsShift);
348 }
349
350 // Encode shift_imm bit[11:7].
351 return Binary | ARM_AM::getSORegOffset(MO2.getImm()) << 7;
352}
353
Evan Cheng49a9f292008-09-12 22:45:55 +0000354unsigned ARMCodeEmitter::getAddrMode1SBit(const MachineInstr &MI,
355 const TargetInstrDesc &TID) const {
356 for (unsigned i = MI.getNumOperands(), e = TID.getNumOperands(); i != e; --i){
357 const MachineOperand &MO = MI.getOperand(i-1);
Dan Gohmand735b802008-10-03 15:45:36 +0000358 if (MO.isReg() && MO.isDef() && MO.getReg() == ARM::CPSR)
Evan Cheng49a9f292008-09-12 22:45:55 +0000359 return 1 << ARMII::S_BitShift;
360 }
361 return 0;
362}
363
Evan Cheng057d0c32008-09-18 07:28:19 +0000364void ARMCodeEmitter::emitConstPoolInstruction(const MachineInstr &MI) {
Evan Cheng0f282432008-10-29 23:55:43 +0000365 unsigned CPI = MI.getOperand(0).getImm();
Jim Grosbachbc6d8762008-10-28 18:25:49 +0000366 unsigned CPIndex = MI.getOperand(1).getIndex();
367 const MachineConstantPoolEntry &MCPE = MCP->getConstants()[CPIndex];
368
Evan Cheng0f282432008-10-29 23:55:43 +0000369 // Remember the CONSTPOOL_ENTRY address for later relocation.
370 JTI->addConstantPoolEntryAddr(CPI, MCE.getCurrentPCValue());
Jim Grosbachbc6d8762008-10-28 18:25:49 +0000371
Evan Cheng0f282432008-10-29 23:55:43 +0000372 // Emit constpool island entry. In most cases, the actual values will be
373 // resolved and relocated after code emission.
374 if (MCPE.isMachineConstantPoolEntry()) {
375 ARMConstantPoolValue *ACPV =
376 static_cast<ARMConstantPoolValue*>(MCPE.Val.MachineCPVal);
Jim Grosbachbc6d8762008-10-28 18:25:49 +0000377
Evan Cheng0f282432008-10-29 23:55:43 +0000378 DOUT << "\t** ARM constant pool #" << CPI << ", ' @ "
379 << (void*)MCE.getCurrentPCValue() << *ACPV << '\n';
Jim Grosbachbc6d8762008-10-28 18:25:49 +0000380
Evan Cheng0f282432008-10-29 23:55:43 +0000381 GlobalValue *GV = ACPV->getGV();
382 if (GV) {
383 assert(!ACPV->isStub() && "Don't know how to deal this yet!");
384 emitGlobalAddress(GV, ARM::reloc_arm_absolute, false);
385 } else {
386 assert(!ACPV->isNonLazyPointer() && "Don't know how to deal this yet!");
387 emitExternalSymbolAddress(ACPV->getSymbol(), ARM::reloc_arm_absolute);
388 }
389 MCE.emitWordLE(0);
390 } else {
391 Constant *CV = MCPE.Val.ConstVal;
Jim Grosbachbc6d8762008-10-28 18:25:49 +0000392
Evan Cheng0f282432008-10-29 23:55:43 +0000393 DOUT << "\t** Constant pool #" << CPI << ", ' @ "
394 << (void*)MCE.getCurrentPCValue() << *CV << '\n';
395
396 if (GlobalValue *GV = dyn_cast<GlobalValue>(CV)) {
397 emitGlobalAddress(GV, ARM::reloc_arm_absolute, false);
398 MCE.emitWordLE(0);
399 } else {
400 abort(); // FIXME: Is this right?
401 const ConstantInt *CI = dyn_cast<ConstantInt>(CV);
402 uint32_t Val = *(uint32_t*)CI->getValue().getRawData();
403 MCE.emitWordLE(Val);
404 }
405 }
Evan Cheng057d0c32008-09-18 07:28:19 +0000406}
407
408void ARMCodeEmitter::emitPseudoInstruction(const MachineInstr &MI) {
409 unsigned Opcode = MI.getDesc().Opcode;
410 switch (Opcode) {
411 default:
412 abort(); // FIXME:
413 case ARM::CONSTPOOL_ENTRY: {
414 emitConstPoolInstruction(MI);
415 break;
416 }
417 }
418}
419
Evan Cheng7602e112008-09-02 06:52:38 +0000420unsigned ARMCodeEmitter::getAddrMode1InstrBinary(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +0000421 const TargetInstrDesc &TID,
Evan Cheng7602e112008-09-02 06:52:38 +0000422 unsigned Binary) {
Jim Grosbach33412622008-10-07 19:05:35 +0000423 // Set the conditional execution predicate
424 Binary |= II->getPredicate(&MI) << 28;
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000425
Evan Cheng49a9f292008-09-12 22:45:55 +0000426 // Encode S bit if MI modifies CPSR.
427 Binary |= getAddrMode1SBit(MI, TID);
428
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000429 // Encode register def if there is one.
Evan Cheng49a9f292008-09-12 22:45:55 +0000430 unsigned NumDefs = TID.getNumDefs();
Evan Chenga964b7d2008-09-12 23:15:39 +0000431 unsigned OpIdx = 0;
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000432 if (NumDefs) {
433 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRdShift;
434 ++OpIdx;
Evan Cheng7602e112008-09-02 06:52:38 +0000435 }
436
Jim Grosbachefd30ba2008-10-01 18:16:49 +0000437 // Encode first non-shifter register operand if there is one.
Evan Cheng057d0c32008-09-18 07:28:19 +0000438 unsigned Format = TID.TSFlags & ARMII::FormMask;
Jim Grosbach9e729a22008-10-07 17:42:09 +0000439 bool hasRnOperand= !(Format == ARMII::DPRdMisc ||
440 Format == ARMII::DPRdIm ||
441 Format == ARMII::DPRdReg ||
442 Format == ARMII::DPRdSoReg);
443 if (hasRnOperand) {
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000444 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRnShift;
445 ++OpIdx;
Evan Cheng7602e112008-09-02 06:52:38 +0000446 }
447
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000448 // Encode shifter operand.
Evan Chengbe3034c2008-09-13 01:38:29 +0000449 bool HasSoReg = (Format == ARMII::DPRdSoReg ||
450 Format == ARMII::DPRnSoReg ||
451 Format == ARMII::DPRSoReg ||
452 Format == ARMII::DPRSoRegS);
453 if (HasSoReg)
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000454 // Encode SoReg.
Evan Cheng49a9f292008-09-12 22:45:55 +0000455 return Binary | getMachineSoRegOpValue(MI, TID, OpIdx);
Evan Cheng7602e112008-09-02 06:52:38 +0000456
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000457 const MachineOperand &MO = MI.getOperand(OpIdx);
Dan Gohmand735b802008-10-03 15:45:36 +0000458 if (MO.isReg())
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000459 // Encode register Rm.
Jim Grosbach48b828f2008-10-03 15:53:56 +0000460 return Binary | getMachineOpValue(MI, NumDefs);
Evan Cheng7602e112008-09-02 06:52:38 +0000461
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000462 // Encode so_imm.
463 // Set bit I(25) to identify this is the immediate form of <shifter_op>
464 Binary |= 1 << ARMII::I_BitShift;
465 unsigned SoImm = MO.getImm();
466 // Encode rotate_imm.
467 Binary |= ARM_AM::getSOImmValRot(SoImm) << ARMII::RotImmShift;
468 // Encode immed_8.
469 Binary |= ARM_AM::getSOImmVal(SoImm);
Evan Cheng7602e112008-09-02 06:52:38 +0000470 return Binary;
471}
472
473unsigned ARMCodeEmitter::getAddrMode2InstrBinary(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +0000474 const TargetInstrDesc &TID,
Evan Cheng7602e112008-09-02 06:52:38 +0000475 unsigned Binary) {
Jim Grosbach33412622008-10-07 19:05:35 +0000476 // Set the conditional execution predicate
477 Binary |= II->getPredicate(&MI) << 28;
Evan Cheng057d0c32008-09-18 07:28:19 +0000478
Evan Cheng7602e112008-09-02 06:52:38 +0000479 // Set first operand
480 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
481
482 // Set second operand
483 Binary |= getMachineOpValue(MI, 1) << ARMII::RegRnShift;
484
485 const MachineOperand &MO2 = MI.getOperand(2);
486 const MachineOperand &MO3 = MI.getOperand(3);
487
Evan Chenge7de7e32008-09-13 01:44:01 +0000488 // Set bit U(23) according to sign of immed value (positive or negative).
Evan Cheng7602e112008-09-02 06:52:38 +0000489 Binary |= ((ARM_AM::getAM2Op(MO3.getImm()) == ARM_AM::add ? 1 : 0) <<
Evan Chenge7de7e32008-09-13 01:44:01 +0000490 ARMII::U_BitShift);
Evan Cheng7602e112008-09-02 06:52:38 +0000491 if (!MO2.getReg()) { // is immediate
492 if (ARM_AM::getAM2Offset(MO3.getImm()))
493 // Set the value of offset_12 field
494 Binary |= ARM_AM::getAM2Offset(MO3.getImm());
495 return Binary;
496 }
497
498 // Set bit I(25), because this is not in immediate enconding.
499 Binary |= 1 << ARMII::I_BitShift;
500 assert(TargetRegisterInfo::isPhysicalRegister(MO2.getReg()));
501 // Set bit[3:0] to the corresponding Rm register
502 Binary |= ARMRegisterInfo::getRegisterNumbering(MO2.getReg());
503
504 // if this instr is in scaled register offset/index instruction, set
505 // shift_immed(bit[11:7]) and shift(bit[6:5]) fields.
506 if (unsigned ShImm = ARM_AM::getAM2Offset(MO3.getImm())) {
507 Binary |= getShiftOp(MO3) << 5; // shift
508 Binary |= ShImm << 7; // shift_immed
509 }
510
511 return Binary;
512}
513
514unsigned ARMCodeEmitter::getAddrMode3InstrBinary(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +0000515 const TargetInstrDesc &TID,
Evan Cheng7602e112008-09-02 06:52:38 +0000516 unsigned Binary) {
Jim Grosbach33412622008-10-07 19:05:35 +0000517 // Set the conditional execution predicate
518 Binary |= II->getPredicate(&MI) << 28;
Evan Cheng057d0c32008-09-18 07:28:19 +0000519
Evan Cheng7602e112008-09-02 06:52:38 +0000520 // Set first operand
521 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
522
523 // Set second operand
524 Binary |= getMachineOpValue(MI, 1) << ARMII::RegRnShift;
525
526 const MachineOperand &MO2 = MI.getOperand(2);
527 const MachineOperand &MO3 = MI.getOperand(3);
528
Evan Chenge7de7e32008-09-13 01:44:01 +0000529 // Set bit U(23) according to sign of immed value (positive or negative)
Evan Cheng7602e112008-09-02 06:52:38 +0000530 Binary |= ((ARM_AM::getAM2Op(MO3.getImm()) == ARM_AM::add ? 1 : 0) <<
531 ARMII::U_BitShift);
532
533 // If this instr is in register offset/index encoding, set bit[3:0]
534 // to the corresponding Rm register.
535 if (MO2.getReg()) {
536 Binary |= ARMRegisterInfo::getRegisterNumbering(MO2.getReg());
537 return Binary;
538 }
539
540 // if this instr is in immediate offset/index encoding, set bit 22 to 1
541 if (unsigned ImmOffs = ARM_AM::getAM3Offset(MO3.getImm())) {
542 Binary |= 1 << 22;
543 // Set operands
544 Binary |= (ImmOffs >> 4) << 8; // immedH
545 Binary |= (ImmOffs & ~0xF); // immedL
546 }
547
548 return Binary;
549}
550
551unsigned ARMCodeEmitter::getAddrMode4InstrBinary(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +0000552 const TargetInstrDesc &TID,
Evan Cheng7602e112008-09-02 06:52:38 +0000553 unsigned Binary) {
Jim Grosbach33412622008-10-07 19:05:35 +0000554 // Set the conditional execution predicate
555 Binary |= II->getPredicate(&MI) << 28;
Evan Cheng057d0c32008-09-18 07:28:19 +0000556
Evan Cheng7602e112008-09-02 06:52:38 +0000557 // Set first operand
558 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRnShift;
559
560 // Set addressing mode by modifying bits U(23) and P(24)
561 // IA - Increment after - bit U = 1 and bit P = 0
562 // IB - Increment before - bit U = 1 and bit P = 1
563 // DA - Decrement after - bit U = 0 and bit P = 0
564 // DB - Decrement before - bit U = 0 and bit P = 1
565 const MachineOperand &MO = MI.getOperand(1);
566 ARM_AM::AMSubMode Mode = ARM_AM::getAM4SubMode(MO.getImm());
567 switch (Mode) {
568 default: assert(0 && "Unknown addressing sub-mode!");
569 case ARM_AM::da: break;
570 case ARM_AM::db: Binary |= 0x1 << 24; break;
571 case ARM_AM::ia: Binary |= 0x1 << 23; break;
572 case ARM_AM::ib: Binary |= 0x3 << 23; break;
573 }
574
575 // Set bit W(21)
576 if (ARM_AM::getAM4WBFlag(MO.getImm()))
577 Binary |= 0x1 << 21;
578
579 // Set registers
580 for (unsigned i = 4, e = MI.getNumOperands(); i != e; ++i) {
581 const MachineOperand &MO = MI.getOperand(i);
Dan Gohmand735b802008-10-03 15:45:36 +0000582 if (MO.isReg() && MO.isImplicit())
Evan Cheng7602e112008-09-02 06:52:38 +0000583 continue;
584 unsigned RegNum = ARMRegisterInfo::getRegisterNumbering(MO.getReg());
585 assert(TargetRegisterInfo::isPhysicalRegister(MO.getReg()) &&
586 RegNum < 16);
587 Binary |= 0x1 << RegNum;
588 }
589
590 return Binary;
591}
592
593/// getInstrBinary - Return binary encoding for the specified
594/// machine instruction.
595unsigned ARMCodeEmitter::getInstrBinary(const MachineInstr &MI) {
596 // Part of binary is determined by TableGn.
597 unsigned Binary = getBinaryCodeForInstr(MI);
598
Evan Cheng49a9f292008-09-12 22:45:55 +0000599 const TargetInstrDesc &TID = MI.getDesc();
600 switch (TID.TSFlags & ARMII::AddrModeMask) {
Evan Cheng7602e112008-09-02 06:52:38 +0000601 case ARMII::AddrModeNone:
Evan Cheng49a9f292008-09-12 22:45:55 +0000602 return getAddrModeNoneInstrBinary(MI, TID, Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000603 case ARMII::AddrMode1:
Evan Cheng49a9f292008-09-12 22:45:55 +0000604 return getAddrMode1InstrBinary(MI, TID, Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000605 case ARMII::AddrMode2:
Evan Cheng49a9f292008-09-12 22:45:55 +0000606 return getAddrMode2InstrBinary(MI, TID, Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000607 case ARMII::AddrMode3:
Evan Cheng49a9f292008-09-12 22:45:55 +0000608 return getAddrMode3InstrBinary(MI, TID, Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000609 case ARMII::AddrMode4:
Evan Cheng49a9f292008-09-12 22:45:55 +0000610 return getAddrMode4InstrBinary(MI, TID, Binary);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000611 }
612
Evan Cheng7602e112008-09-02 06:52:38 +0000613 abort();
614 return 0;
Evan Cheng148b6a42007-07-05 21:15:40 +0000615}
Evan Cheng7602e112008-09-02 06:52:38 +0000616
617#include "ARMGenCodeEmitter.inc"