blob: 026727607e6dae60e743d0fc7cac533ad774272f [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,
99 unsigned ImplicitRn = 0);
Evan Cheng7602e112008-09-02 06:52:38 +0000100
Evan Cheng83b5cf02008-11-05 23:22:34 +0000101 void emitLoadStoreInstruction(const MachineInstr &MI,
Evan Cheng4df60f52008-11-07 09:06:08 +0000102 unsigned ImplicitRd = 0,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000103 unsigned ImplicitRn = 0);
Evan Chengedda31c2008-11-05 18:35:52 +0000104
Evan Cheng83b5cf02008-11-05 23:22:34 +0000105 void emitMiscLoadStoreInstruction(const MachineInstr &MI,
106 unsigned ImplicitRn = 0);
Evan Chengedda31c2008-11-05 18:35:52 +0000107
108 void emitLoadStoreMultipleInstruction(const MachineInstr &MI);
109
Evan Chengfbc9d412008-11-06 01:21:28 +0000110 void emitMulFrmInstruction(const MachineInstr &MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000111
Evan Cheng97f48c32008-11-06 22:15:19 +0000112 void emitExtendInstruction(const MachineInstr &MI);
113
Evan Cheng8b59db32008-11-07 01:41:35 +0000114 void emitMiscArithInstruction(const MachineInstr &MI);
115
Evan Chengedda31c2008-11-05 18:35:52 +0000116 void emitBranchInstruction(const MachineInstr &MI);
117
Evan Cheng4df60f52008-11-07 09:06:08 +0000118 void emitInlineJumpTable(unsigned JTIndex, intptr_t JTBase);
119
Evan Chengedda31c2008-11-05 18:35:52 +0000120 void emitMiscBranchInstruction(const MachineInstr &MI);
Evan Cheng7602e112008-09-02 06:52:38 +0000121
122 /// getBinaryCodeForInstr - This function, generated by the
123 /// CodeEmitterGenerator using TableGen, produces the binary encoding for
124 /// machine instructions.
125 ///
Raul Herbster9c1a3822007-08-30 23:29:26 +0000126 unsigned getBinaryCodeForInstr(const MachineInstr &MI);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000127
Evan Cheng7602e112008-09-02 06:52:38 +0000128 /// getMachineOpValue - Return binary encoding of operand. If the machine
129 /// operand requires relocation, record the relocation and return zero.
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000130 unsigned getMachineOpValue(const MachineInstr &MI,const MachineOperand &MO);
Evan Cheng7602e112008-09-02 06:52:38 +0000131 unsigned getMachineOpValue(const MachineInstr &MI, unsigned OpIdx) {
132 return getMachineOpValue(MI, MI.getOperand(OpIdx));
133 }
Evan Cheng7602e112008-09-02 06:52:38 +0000134
Evan Cheng83b5cf02008-11-05 23:22:34 +0000135 /// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
Evan Cheng7602e112008-09-02 06:52:38 +0000136 ///
Evan Cheng83b5cf02008-11-05 23:22:34 +0000137 unsigned getShiftOp(unsigned Imm) const ;
Evan Cheng7602e112008-09-02 06:52:38 +0000138
139 /// Routines that handle operands which add machine relocations which are
140 /// fixed up by the JIT fixup stage.
Evan Cheng057d0c32008-09-18 07:28:19 +0000141 void emitGlobalAddress(GlobalValue *GV, unsigned Reloc,
Jim Grosbach016d34c2008-10-03 15:52:42 +0000142 bool NeedStub);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000143 void emitExternalSymbolAddress(const char *ES, unsigned Reloc);
144 void emitConstPoolAddress(unsigned CPI, unsigned Reloc,
145 int Disp = 0, unsigned PCAdj = 0 );
Evan Cheng057d0c32008-09-18 07:28:19 +0000146 void emitJumpTableAddress(unsigned JTIndex, unsigned Reloc,
Evan Cheng0ff94f72007-08-07 01:37:15 +0000147 unsigned PCAdj = 0);
Raul Herbster9c1a3822007-08-30 23:29:26 +0000148 void emitGlobalConstant(const Constant *CV);
Evan Cheng4df60f52008-11-07 09:06:08 +0000149 void emitMachineBasicBlock(MachineBasicBlock *BB, unsigned Reloc);
Evan Cheng148b6a42007-07-05 21:15:40 +0000150 };
Evan Cheng7602e112008-09-02 06:52:38 +0000151 char ARMCodeEmitter::ID = 0;
Evan Cheng148b6a42007-07-05 21:15:40 +0000152}
153
154/// createARMCodeEmitterPass - Return a pass that emits the collected ARM code
155/// to the specified MCE object.
156FunctionPass *llvm::createARMCodeEmitterPass(ARMTargetMachine &TM,
157 MachineCodeEmitter &MCE) {
Evan Cheng7602e112008-09-02 06:52:38 +0000158 return new ARMCodeEmitter(TM, MCE);
Evan Cheng148b6a42007-07-05 21:15:40 +0000159}
160
Evan Cheng7602e112008-09-02 06:52:38 +0000161bool ARMCodeEmitter::runOnMachineFunction(MachineFunction &MF) {
Evan Cheng148b6a42007-07-05 21:15:40 +0000162 assert((MF.getTarget().getRelocationModel() != Reloc::Default ||
163 MF.getTarget().getRelocationModel() != Reloc::Static) &&
164 "JIT relocation model must be set to static or default!");
165 II = ((ARMTargetMachine&)MF.getTarget()).getInstrInfo();
166 TD = ((ARMTargetMachine&)MF.getTarget()).getTargetData();
Evan Cheng057d0c32008-09-18 07:28:19 +0000167 JTI = ((ARMTargetMachine&)MF.getTarget()).getJITInfo();
Evan Cheng938b9d82008-10-31 19:55:13 +0000168 MCPEs = &MF.getConstantPool()->getConstants();
Evan Cheng4df60f52008-11-07 09:06:08 +0000169 MJTEs = &MF.getJumpTableInfo()->getJumpTables();
170 IsPIC = TM.getRelocationModel() == Reloc::PIC_;
171 JTI->Initialize(MF);
Evan Cheng148b6a42007-07-05 21:15:40 +0000172
173 do {
Evan Cheng42d5ee062008-09-13 01:15:21 +0000174 DOUT << "JITTing function '" << MF.getFunction()->getName() << "'\n";
Evan Cheng148b6a42007-07-05 21:15:40 +0000175 MCE.startFunction(MF);
176 for (MachineFunction::iterator MBB = MF.begin(), E = MF.end();
177 MBB != E; ++MBB) {
178 MCE.StartMachineBasicBlock(MBB);
179 for (MachineBasicBlock::const_iterator I = MBB->begin(), E = MBB->end();
180 I != E; ++I)
181 emitInstruction(*I);
182 }
183 } while (MCE.finishFunction(MF));
184
185 return false;
186}
187
Evan Cheng83b5cf02008-11-05 23:22:34 +0000188/// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
Evan Cheng7602e112008-09-02 06:52:38 +0000189///
Evan Cheng83b5cf02008-11-05 23:22:34 +0000190unsigned ARMCodeEmitter::getShiftOp(unsigned Imm) const {
191 switch (ARM_AM::getAM2ShiftOpc(Imm)) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000192 default: assert(0 && "Unknown shift opc!");
Evan Cheng7602e112008-09-02 06:52:38 +0000193 case ARM_AM::asr: return 2;
194 case ARM_AM::lsl: return 0;
195 case ARM_AM::lsr: return 1;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000196 case ARM_AM::ror:
Evan Cheng7602e112008-09-02 06:52:38 +0000197 case ARM_AM::rrx: return 3;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000198 }
Evan Cheng7602e112008-09-02 06:52:38 +0000199 return 0;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000200}
201
Evan Cheng7602e112008-09-02 06:52:38 +0000202/// getMachineOpValue - Return binary encoding of operand. If the machine
203/// operand requires relocation, record the relocation and return zero.
204unsigned ARMCodeEmitter::getMachineOpValue(const MachineInstr &MI,
205 const MachineOperand &MO) {
Dan Gohmand735b802008-10-03 15:45:36 +0000206 if (MO.isReg())
Evan Cheng7602e112008-09-02 06:52:38 +0000207 return ARMRegisterInfo::getRegisterNumbering(MO.getReg());
Dan Gohmand735b802008-10-03 15:45:36 +0000208 else if (MO.isImm())
Evan Cheng7602e112008-09-02 06:52:38 +0000209 return static_cast<unsigned>(MO.getImm());
Dan Gohmand735b802008-10-03 15:45:36 +0000210 else if (MO.isGlobal())
Jim Grosbach016d34c2008-10-03 15:52:42 +0000211 emitGlobalAddress(MO.getGlobal(), ARM::reloc_arm_branch, true);
Dan Gohmand735b802008-10-03 15:45:36 +0000212 else if (MO.isSymbol())
Raul Herbster9c1a3822007-08-30 23:29:26 +0000213 emitExternalSymbolAddress(MO.getSymbolName(), ARM::reloc_arm_relative);
Dan Gohmand735b802008-10-03 15:45:36 +0000214 else if (MO.isCPI())
Evan Cheng0f282432008-10-29 23:55:43 +0000215 emitConstPoolAddress(MO.getIndex(), ARM::reloc_arm_cp_entry);
Dan Gohmand735b802008-10-03 15:45:36 +0000216 else if (MO.isJTI())
Chris Lattner8aa797a2007-12-30 23:10:15 +0000217 emitJumpTableAddress(MO.getIndex(), ARM::reloc_arm_relative);
Dan Gohmand735b802008-10-03 15:45:36 +0000218 else if (MO.isMBB())
Evan Cheng4df60f52008-11-07 09:06:08 +0000219 emitMachineBasicBlock(MO.getMBB(), ARM::reloc_arm_branch);
Evan Cheng2aa0e642008-09-13 01:55:59 +0000220 else {
221 cerr << "ERROR: Unknown type of MachineOperand: " << MO << "\n";
222 abort();
223 }
Evan Cheng7602e112008-09-02 06:52:38 +0000224 return 0;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000225}
226
Evan Cheng057d0c32008-09-18 07:28:19 +0000227/// emitGlobalAddress - Emit the specified address to the code stream.
Evan Cheng0ff94f72007-08-07 01:37:15 +0000228///
Evan Cheng057d0c32008-09-18 07:28:19 +0000229void ARMCodeEmitter::emitGlobalAddress(GlobalValue *GV,
Jim Grosbach016d34c2008-10-03 15:52:42 +0000230 unsigned Reloc, bool NeedStub) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000231 MCE.addRelocation(MachineRelocation::getGV(MCE.getCurrentPCOffset(),
Jim Grosbach016d34c2008-10-03 15:52:42 +0000232 Reloc, GV, 0, 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 Cheng7602e112008-09-02 06:52:38 +0000246void ARMCodeEmitter::emitConstPoolAddress(unsigned CPI, unsigned Reloc,
247 int Disp /* = 0 */,
248 unsigned PCAdj /* = 0 */) {
Evan Cheng0f282432008-10-29 23:55:43 +0000249 // Tell JIT emitter we'll resolve the address.
Evan Cheng0ff94f72007-08-07 01:37:15 +0000250 MCE.addRelocation(MachineRelocation::getConstPool(MCE.getCurrentPCOffset(),
Evan Cheng0f282432008-10-29 23:55:43 +0000251 Reloc, CPI, PCAdj, true));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000252}
253
254/// emitJumpTableAddress - Arrange for the address of a jump table to
255/// be emitted to the current location in the function, and allow it to be PC
256/// relative.
Evan Cheng057d0c32008-09-18 07:28:19 +0000257void ARMCodeEmitter::emitJumpTableAddress(unsigned JTIndex, unsigned Reloc,
Evan Cheng7602e112008-09-02 06:52:38 +0000258 unsigned PCAdj /* = 0 */) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000259 MCE.addRelocation(MachineRelocation::getJumpTable(MCE.getCurrentPCOffset(),
Evan Cheng4df60f52008-11-07 09:06:08 +0000260 Reloc, JTIndex, PCAdj, true));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000261}
262
Raul Herbster9c1a3822007-08-30 23:29:26 +0000263/// emitMachineBasicBlock - Emit the specified address basic block.
Evan Cheng4df60f52008-11-07 09:06:08 +0000264void ARMCodeEmitter::emitMachineBasicBlock(MachineBasicBlock *BB,
265 unsigned Reloc) {
Raul Herbster9c1a3822007-08-30 23:29:26 +0000266 MCE.addRelocation(MachineRelocation::getBB(MCE.getCurrentPCOffset(),
Evan Cheng4df60f52008-11-07 09:06:08 +0000267 Reloc, BB));
Raul Herbster9c1a3822007-08-30 23:29:26 +0000268}
Evan Cheng0ff94f72007-08-07 01:37:15 +0000269
Evan Cheng83b5cf02008-11-05 23:22:34 +0000270void ARMCodeEmitter::emitWordLE(unsigned Binary) {
Evan Cheng4df60f52008-11-07 09:06:08 +0000271#ifndef NDEBUG
272 DOUT << " 0x" << std::hex << std::setw(8) << std::setfill('0')
273 << Binary << std::dec << "\n";
274#endif
Evan Cheng83b5cf02008-11-05 23:22:34 +0000275 MCE.emitWordLE(Binary);
276}
277
Evan Cheng7602e112008-09-02 06:52:38 +0000278void ARMCodeEmitter::emitInstruction(const MachineInstr &MI) {
Evan Cheng25e04782008-11-04 00:50:32 +0000279 DOUT << "JIT: " << (void*)MCE.getCurrentPCValue() << ":\t" << MI;
Evan Cheng42d5ee062008-09-13 01:15:21 +0000280
Evan Cheng148b6a42007-07-05 21:15:40 +0000281 NumEmitted++; // Keep track of the # of mi's emitted
Evan Chengedda31c2008-11-05 18:35:52 +0000282 switch (MI.getDesc().TSFlags & ARMII::FormMask) {
283 default:
284 assert(0 && "Unhandled instruction encoding format!");
285 break;
286 case ARMII::Pseudo:
Evan Cheng057d0c32008-09-18 07:28:19 +0000287 emitPseudoInstruction(MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000288 break;
289 case ARMII::DPFrm:
290 case ARMII::DPSoRegFrm:
291 emitDataProcessingInstruction(MI);
292 break;
293 case ARMII::LdFrm:
294 case ARMII::StFrm:
295 emitLoadStoreInstruction(MI);
296 break;
297 case ARMII::LdMiscFrm:
298 case ARMII::StMiscFrm:
299 emitMiscLoadStoreInstruction(MI);
300 break;
301 case ARMII::LdMulFrm:
302 case ARMII::StMulFrm:
303 emitLoadStoreMultipleInstruction(MI);
304 break;
Evan Chengfbc9d412008-11-06 01:21:28 +0000305 case ARMII::MulFrm:
306 emitMulFrmInstruction(MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000307 break;
Evan Cheng97f48c32008-11-06 22:15:19 +0000308 case ARMII::ExtFrm:
309 emitExtendInstruction(MI);
310 break;
Evan Cheng8b59db32008-11-07 01:41:35 +0000311 case ARMII::ArithMiscFrm:
312 emitMiscArithInstruction(MI);
313 break;
Evan Cheng12c3a532008-11-06 17:48:05 +0000314 case ARMII::BrFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000315 emitBranchInstruction(MI);
316 break;
Evan Cheng12c3a532008-11-06 17:48:05 +0000317 case ARMII::BrMiscFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000318 emitMiscBranchInstruction(MI);
319 break;
320 }
Evan Cheng0ff94f72007-08-07 01:37:15 +0000321}
322
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000323void ARMCodeEmitter::emitConstPoolInstruction(const MachineInstr &MI) {
324 unsigned CPI = MI.getOperand(0).getImm();
325 unsigned CPIndex = MI.getOperand(1).getIndex();
Evan Cheng938b9d82008-10-31 19:55:13 +0000326 const MachineConstantPoolEntry &MCPE = (*MCPEs)[CPIndex];
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000327
328 // Remember the CONSTPOOL_ENTRY address for later relocation.
329 JTI->addConstantPoolEntryAddr(CPI, MCE.getCurrentPCValue());
330
331 // Emit constpool island entry. In most cases, the actual values will be
332 // resolved and relocated after code emission.
333 if (MCPE.isMachineConstantPoolEntry()) {
334 ARMConstantPoolValue *ACPV =
335 static_cast<ARMConstantPoolValue*>(MCPE.Val.MachineCPVal);
336
Evan Cheng12c3a532008-11-06 17:48:05 +0000337 DOUT << " ** ARM constant pool #" << CPI << " @ "
Evan Cheng142c15e2008-11-04 17:58:53 +0000338 << (void*)MCE.getCurrentPCValue() << " " << *ACPV << "\n";
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000339
340 GlobalValue *GV = ACPV->getGV();
341 if (GV) {
342 assert(!ACPV->isStub() && "Don't know how to deal this yet!");
Evan Cheng25e04782008-11-04 00:50:32 +0000343 MCE.addRelocation(MachineRelocation::getGV(MCE.getCurrentPCOffset(),
344 ARM::reloc_arm_machine_cp_entry,
345 GV, CPIndex, false));
346 } else {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000347 assert(!ACPV->isNonLazyPointer() && "Don't know how to deal this yet!");
348 emitExternalSymbolAddress(ACPV->getSymbol(), ARM::reloc_arm_absolute);
349 }
Evan Cheng83b5cf02008-11-05 23:22:34 +0000350 emitWordLE(0);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000351 } else {
352 Constant *CV = MCPE.Val.ConstVal;
353
Evan Cheng12c3a532008-11-06 17:48:05 +0000354 DOUT << " ** Constant pool #" << CPI << " @ "
Evan Cheng142c15e2008-11-04 17:58:53 +0000355 << (void*)MCE.getCurrentPCValue() << " " << *CV << "\n";
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000356
357 if (GlobalValue *GV = dyn_cast<GlobalValue>(CV)) {
358 emitGlobalAddress(GV, ARM::reloc_arm_absolute, false);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000359 emitWordLE(0);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000360 } else {
361 assert(CV->getType()->isInteger() &&
362 "Not expecting non-integer constpool entries yet!");
363 const ConstantInt *CI = dyn_cast<ConstantInt>(CV);
364 uint32_t Val = *(uint32_t*)CI->getValue().getRawData();
Evan Cheng83b5cf02008-11-05 23:22:34 +0000365 emitWordLE(Val);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000366 }
367 }
368}
369
Evan Cheng90922132008-11-06 02:25:39 +0000370void ARMCodeEmitter::emitMOVi2piecesInstruction(const MachineInstr &MI) {
371 const MachineOperand &MO0 = MI.getOperand(0);
372 const MachineOperand &MO1 = MI.getOperand(1);
373 assert(MO1.isImm() && "Not a valid so_imm value!");
374 unsigned V1 = ARM_AM::getSOImmTwoPartFirst(MO1.getImm());
375 unsigned V2 = ARM_AM::getSOImmTwoPartSecond(MO1.getImm());
376
377 // Emit the 'mov' instruction.
378 unsigned Binary = 0xd << 21; // mov: Insts{24-21} = 0b1101
379
380 // Set the conditional execution predicate.
Evan Cheng97f48c32008-11-06 22:15:19 +0000381 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng90922132008-11-06 02:25:39 +0000382
383 // Encode Rd.
384 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
385
386 // Encode so_imm.
387 // Set bit I(25) to identify this is the immediate form of <shifter_op>
388 Binary |= 1 << ARMII::I_BitShift;
389 Binary |= getMachineSoImmOpValue(ARM_AM::getSOImmVal(V1));
390 emitWordLE(Binary);
391
392 // Now the 'orr' instruction.
393 Binary = 0xc << 21; // orr: Insts{24-21} = 0b1100
394
395 // Set the conditional execution predicate.
Evan Cheng97f48c32008-11-06 22:15:19 +0000396 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng90922132008-11-06 02:25:39 +0000397
398 // Encode Rd.
399 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
400
401 // Encode Rn.
402 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRnShift;
403
404 // Encode so_imm.
405 // Set bit I(25) to identify this is the immediate form of <shifter_op>
406 Binary |= 1 << ARMII::I_BitShift;
407 Binary |= getMachineSoImmOpValue(ARM_AM::getSOImmVal(V2));
408 emitWordLE(Binary);
409}
410
Evan Cheng4df60f52008-11-07 09:06:08 +0000411void ARMCodeEmitter::emitLEApcrelJTInstruction(const MachineInstr &MI) {
412 // It's basically add r, pc, (LJTI - $+8)
413
414 const TargetInstrDesc &TID = MI.getDesc();
415
416 // Emit the 'add' instruction.
417 unsigned Binary = 0x4 << 21; // add: Insts{24-31} = 0b0100
418
419 // Set the conditional execution predicate
420 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
421
422 // Encode S bit if MI modifies CPSR.
423 Binary |= getAddrModeSBit(MI, TID);
424
425 // Encode Rd.
426 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
427
428 // Encode Rn which is PC.
429 Binary |= ARMRegisterInfo::getRegisterNumbering(ARM::PC) << ARMII::RegRnShift;
430
431 // Encode the displacement.
432 // Set bit I(25) to identify this is the immediate form of <shifter_op>.
433 Binary |= 1 << ARMII::I_BitShift;
434 emitJumpTableAddress(MI.getOperand(1).getIndex(), ARM::reloc_arm_jt_base);
435
436 emitWordLE(Binary);
437}
438
Evan Cheng83b5cf02008-11-05 23:22:34 +0000439void ARMCodeEmitter::addPCLabel(unsigned LabelID) {
Evan Cheng12c3a532008-11-06 17:48:05 +0000440 DOUT << " ** LPC" << LabelID << " @ "
Evan Cheng83b5cf02008-11-05 23:22:34 +0000441 << (void*)MCE.getCurrentPCValue() << '\n';
442 JTI->addPCLabelAddr(LabelID, MCE.getCurrentPCValue());
443}
444
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000445void ARMCodeEmitter::emitPseudoInstruction(const MachineInstr &MI) {
446 unsigned Opcode = MI.getDesc().Opcode;
447 switch (Opcode) {
448 default:
449 abort(); // FIXME:
450 case ARM::CONSTPOOL_ENTRY:
451 emitConstPoolInstruction(MI);
452 break;
453 case ARM::PICADD: {
Evan Cheng25e04782008-11-04 00:50:32 +0000454 // Remember of the address of the PC label for relocation later.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000455 addPCLabel(MI.getOperand(2).getImm());
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000456 // PICADD is just an add instruction that implicitly read pc.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000457 emitDataProcessingInstruction(MI, ARM::PC);
458 break;
459 }
460 case ARM::PICLDR:
461 case ARM::PICLDRB:
462 case ARM::PICSTR:
463 case ARM::PICSTRB: {
464 // Remember of the address of the PC label for relocation later.
465 addPCLabel(MI.getOperand(2).getImm());
466 // These are just load / store instructions that implicitly read pc.
Evan Cheng4df60f52008-11-07 09:06:08 +0000467 emitLoadStoreInstruction(MI, 0, ARM::PC);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000468 break;
469 }
470 case ARM::PICLDRH:
471 case ARM::PICLDRSH:
472 case ARM::PICLDRSB:
473 case ARM::PICSTRH: {
474 // Remember of the address of the PC label for relocation later.
475 addPCLabel(MI.getOperand(2).getImm());
476 // These are just load / store instructions that implicitly read pc.
477 emitMiscLoadStoreInstruction(MI, ARM::PC);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000478 break;
479 }
Evan Cheng90922132008-11-06 02:25:39 +0000480 case ARM::MOVi2pieces:
481 // Two instructions to materialize a constant.
482 emitMOVi2piecesInstruction(MI);
483 break;
Evan Cheng4df60f52008-11-07 09:06:08 +0000484 case ARM::LEApcrelJT:
485 // Materialize jumptable address.
486 emitLEApcrelJTInstruction(MI);
487 break;
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000488 }
489}
490
491
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000492unsigned ARMCodeEmitter::getMachineSoRegOpValue(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +0000493 const TargetInstrDesc &TID,
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000494 const MachineOperand &MO,
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000495 unsigned OpIdx) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000496 unsigned Binary = getMachineOpValue(MI, MO);
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000497
498 const MachineOperand &MO1 = MI.getOperand(OpIdx + 1);
499 const MachineOperand &MO2 = MI.getOperand(OpIdx + 2);
500 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO2.getImm());
501
502 // Encode the shift opcode.
503 unsigned SBits = 0;
504 unsigned Rs = MO1.getReg();
505 if (Rs) {
506 // Set shift operand (bit[7:4]).
507 // LSL - 0001
508 // LSR - 0011
509 // ASR - 0101
510 // ROR - 0111
511 // RRX - 0110 and bit[11:8] clear.
512 switch (SOpc) {
513 default: assert(0 && "Unknown shift opc!");
514 case ARM_AM::lsl: SBits = 0x1; break;
515 case ARM_AM::lsr: SBits = 0x3; break;
516 case ARM_AM::asr: SBits = 0x5; break;
517 case ARM_AM::ror: SBits = 0x7; break;
518 case ARM_AM::rrx: SBits = 0x6; break;
519 }
520 } else {
521 // Set shift operand (bit[6:4]).
522 // LSL - 000
523 // LSR - 010
524 // ASR - 100
525 // ROR - 110
526 switch (SOpc) {
527 default: assert(0 && "Unknown shift opc!");
528 case ARM_AM::lsl: SBits = 0x0; break;
529 case ARM_AM::lsr: SBits = 0x2; break;
530 case ARM_AM::asr: SBits = 0x4; break;
531 case ARM_AM::ror: SBits = 0x6; break;
532 }
533 }
534 Binary |= SBits << 4;
535 if (SOpc == ARM_AM::rrx)
536 return Binary;
537
538 // Encode the shift operation Rs or shift_imm (except rrx).
539 if (Rs) {
540 // Encode Rs bit[11:8].
541 assert(ARM_AM::getSORegOffset(MO2.getImm()) == 0);
542 return Binary |
543 (ARMRegisterInfo::getRegisterNumbering(Rs) << ARMII::RegRsShift);
544 }
545
546 // Encode shift_imm bit[11:7].
547 return Binary | ARM_AM::getSORegOffset(MO2.getImm()) << 7;
548}
549
Evan Cheng90922132008-11-06 02:25:39 +0000550unsigned ARMCodeEmitter::getMachineSoImmOpValue(unsigned SoImm) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000551 // Encode rotate_imm.
Evan Cheng97f48c32008-11-06 22:15:19 +0000552 unsigned Binary = (ARM_AM::getSOImmValRot(SoImm) >> 1)
553 << ARMII::SoRotImmShift;
554
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000555 // Encode immed_8.
Evan Cheng90922132008-11-06 02:25:39 +0000556 Binary |= ARM_AM::getSOImmValImm(SoImm);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000557 return Binary;
558}
559
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000560unsigned ARMCodeEmitter::getAddrModeSBit(const MachineInstr &MI,
561 const TargetInstrDesc &TID) const {
Evan Cheng49a9f292008-09-12 22:45:55 +0000562 for (unsigned i = MI.getNumOperands(), e = TID.getNumOperands(); i != e; --i){
563 const MachineOperand &MO = MI.getOperand(i-1);
Dan Gohmand735b802008-10-03 15:45:36 +0000564 if (MO.isReg() && MO.isDef() && MO.getReg() == ARM::CPSR)
Evan Cheng49a9f292008-09-12 22:45:55 +0000565 return 1 << ARMII::S_BitShift;
566 }
567 return 0;
568}
569
Evan Cheng83b5cf02008-11-05 23:22:34 +0000570void ARMCodeEmitter::emitDataProcessingInstruction(const MachineInstr &MI,
571 unsigned ImplicitRn) {
Evan Chengedda31c2008-11-05 18:35:52 +0000572 const TargetInstrDesc &TID = MI.getDesc();
Evan Chengedda31c2008-11-05 18:35:52 +0000573
574 // Part of binary is determined by TableGn.
575 unsigned Binary = getBinaryCodeForInstr(MI);
576
Jim Grosbach33412622008-10-07 19:05:35 +0000577 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000578 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000579
Evan Cheng49a9f292008-09-12 22:45:55 +0000580 // Encode S bit if MI modifies CPSR.
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000581 Binary |= getAddrModeSBit(MI, TID);
Evan Cheng49a9f292008-09-12 22:45:55 +0000582
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000583 // Encode register def if there is one.
Evan Cheng49a9f292008-09-12 22:45:55 +0000584 unsigned NumDefs = TID.getNumDefs();
Evan Chenga964b7d2008-09-12 23:15:39 +0000585 unsigned OpIdx = 0;
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000586 if (NumDefs) {
587 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRdShift;
588 ++OpIdx;
Evan Cheng7602e112008-09-02 06:52:38 +0000589 }
590
Evan Chengd87293c2008-11-06 08:47:38 +0000591 // If this is a two-address operand, skip it. e.g. MOVCCr operand 1.
592 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
593 ++OpIdx;
594
Jim Grosbachefd30ba2008-10-01 18:16:49 +0000595 // Encode first non-shifter register operand if there is one.
Evan Chengedda31c2008-11-05 18:35:52 +0000596 bool isUnary = TID.TSFlags & ARMII::UnaryDP;
597 if (!isUnary) {
Evan Cheng83b5cf02008-11-05 23:22:34 +0000598 if (ImplicitRn)
599 // Special handling for implicit use (e.g. PC).
600 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
Evan Chengedda31c2008-11-05 18:35:52 +0000601 << ARMII::RegRnShift);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000602 else {
603 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRnShift;
604 ++OpIdx;
605 }
Evan Cheng7602e112008-09-02 06:52:38 +0000606 }
607
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000608 // Encode shifter operand.
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000609 const MachineOperand &MO = MI.getOperand(OpIdx);
Evan Chengedda31c2008-11-05 18:35:52 +0000610 if ((TID.TSFlags & ARMII::FormMask) == ARMII::DPSoRegFrm) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000611 // Encode SoReg.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000612 emitWordLE(Binary | getMachineSoRegOpValue(MI, TID, MO, OpIdx));
Evan Chengedda31c2008-11-05 18:35:52 +0000613 return;
614 }
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000615
Evan Chengedda31c2008-11-05 18:35:52 +0000616 if (MO.isReg()) {
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000617 // Encode register Rm.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000618 emitWordLE(Binary | ARMRegisterInfo::getRegisterNumbering(MO.getReg()));
Evan Chengedda31c2008-11-05 18:35:52 +0000619 return;
620 }
Evan Cheng7602e112008-09-02 06:52:38 +0000621
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000622 // Encode so_imm.
Evan Cheng4df60f52008-11-07 09:06:08 +0000623 // Set bit I(25) to identify this is the immediate form of <shifter_op>.
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000624 Binary |= 1 << ARMII::I_BitShift;
Evan Cheng90922132008-11-06 02:25:39 +0000625 Binary |= getMachineSoImmOpValue(MO.getImm());
Evan Chengedda31c2008-11-05 18:35:52 +0000626
Evan Cheng83b5cf02008-11-05 23:22:34 +0000627 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000628}
629
Evan Cheng83b5cf02008-11-05 23:22:34 +0000630void ARMCodeEmitter::emitLoadStoreInstruction(const MachineInstr &MI,
Evan Cheng4df60f52008-11-07 09:06:08 +0000631 unsigned ImplicitRd,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000632 unsigned ImplicitRn) {
Evan Chengedda31c2008-11-05 18:35:52 +0000633 // Part of binary is determined by TableGn.
634 unsigned Binary = getBinaryCodeForInstr(MI);
635
Jim Grosbach33412622008-10-07 19:05:35 +0000636 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000637 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng057d0c32008-09-18 07:28:19 +0000638
Evan Cheng7602e112008-09-02 06:52:38 +0000639 // Set first operand
Evan Cheng4df60f52008-11-07 09:06:08 +0000640 unsigned OpIdx = 0;
641 if (ImplicitRd)
642 // Special handling for implicit use (e.g. PC).
643 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRd)
644 << ARMII::RegRdShift);
645 else
646 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000647
648 // Set second operand
Evan Cheng83b5cf02008-11-05 23:22:34 +0000649 if (ImplicitRn)
650 // Special handling for implicit use (e.g. PC).
651 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
652 << ARMII::RegRnShift);
Evan Cheng4df60f52008-11-07 09:06:08 +0000653 else
654 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000655
Evan Cheng83b5cf02008-11-05 23:22:34 +0000656 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Chengd87293c2008-11-06 08:47:38 +0000657 unsigned AM2Opc = (ImplicitRn == ARM::PC)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000658 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Cheng7602e112008-09-02 06:52:38 +0000659
Evan Chenge7de7e32008-09-13 01:44:01 +0000660 // Set bit U(23) according to sign of immed value (positive or negative).
Evan Cheng83b5cf02008-11-05 23:22:34 +0000661 Binary |= ((ARM_AM::getAM2Op(AM2Opc) == ARM_AM::add ? 1 : 0) <<
Evan Chenge7de7e32008-09-13 01:44:01 +0000662 ARMII::U_BitShift);
Evan Cheng7602e112008-09-02 06:52:38 +0000663 if (!MO2.getReg()) { // is immediate
Evan Cheng83b5cf02008-11-05 23:22:34 +0000664 if (ARM_AM::getAM2Offset(AM2Opc))
Evan Cheng7602e112008-09-02 06:52:38 +0000665 // Set the value of offset_12 field
Evan Cheng83b5cf02008-11-05 23:22:34 +0000666 Binary |= ARM_AM::getAM2Offset(AM2Opc);
667 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +0000668 return;
Evan Cheng7602e112008-09-02 06:52:38 +0000669 }
670
671 // Set bit I(25), because this is not in immediate enconding.
672 Binary |= 1 << ARMII::I_BitShift;
673 assert(TargetRegisterInfo::isPhysicalRegister(MO2.getReg()));
674 // Set bit[3:0] to the corresponding Rm register
675 Binary |= ARMRegisterInfo::getRegisterNumbering(MO2.getReg());
676
677 // if this instr is in scaled register offset/index instruction, set
678 // shift_immed(bit[11:7]) and shift(bit[6:5]) fields.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000679 if (unsigned ShImm = ARM_AM::getAM2Offset(AM2Opc)) {
680 Binary |= getShiftOp(AM2Opc) << 5; // shift
681 Binary |= ShImm << 7; // shift_immed
Evan Cheng7602e112008-09-02 06:52:38 +0000682 }
683
Evan Cheng83b5cf02008-11-05 23:22:34 +0000684 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000685}
686
Evan Cheng83b5cf02008-11-05 23:22:34 +0000687void ARMCodeEmitter::emitMiscLoadStoreInstruction(const MachineInstr &MI,
688 unsigned ImplicitRn) {
Evan Chengedda31c2008-11-05 18:35:52 +0000689 // Part of binary is determined by TableGn.
690 unsigned Binary = getBinaryCodeForInstr(MI);
691
Jim Grosbach33412622008-10-07 19:05:35 +0000692 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000693 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng057d0c32008-09-18 07:28:19 +0000694
Evan Cheng7602e112008-09-02 06:52:38 +0000695 // Set first operand
696 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
697
698 // Set second operand
Evan Cheng83b5cf02008-11-05 23:22:34 +0000699 unsigned OpIdx = 1;
700 if (ImplicitRn)
701 // Special handling for implicit use (e.g. PC).
702 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
703 << ARMII::RegRnShift);
Evan Cheng4df60f52008-11-07 09:06:08 +0000704 else
705 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000706
Evan Cheng83b5cf02008-11-05 23:22:34 +0000707 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Chengd87293c2008-11-06 08:47:38 +0000708 unsigned AM3Opc = (ImplicitRn == ARM::PC)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000709 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Cheng7602e112008-09-02 06:52:38 +0000710
Evan Chenge7de7e32008-09-13 01:44:01 +0000711 // Set bit U(23) according to sign of immed value (positive or negative)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000712 Binary |= ((ARM_AM::getAM3Op(AM3Opc) == ARM_AM::add ? 1 : 0) <<
Evan Cheng7602e112008-09-02 06:52:38 +0000713 ARMII::U_BitShift);
714
715 // If this instr is in register offset/index encoding, set bit[3:0]
716 // to the corresponding Rm register.
717 if (MO2.getReg()) {
718 Binary |= ARMRegisterInfo::getRegisterNumbering(MO2.getReg());
Evan Cheng83b5cf02008-11-05 23:22:34 +0000719 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +0000720 return;
Evan Cheng7602e112008-09-02 06:52:38 +0000721 }
722
Evan Chengd87293c2008-11-06 08:47:38 +0000723 // This instr is in immediate offset/index encoding, set bit 22 to 1.
Evan Cheng97f48c32008-11-06 22:15:19 +0000724 Binary |= 1 << ARMII::AM3_I_BitShift;
Evan Cheng83b5cf02008-11-05 23:22:34 +0000725 if (unsigned ImmOffs = ARM_AM::getAM3Offset(AM3Opc)) {
Evan Cheng7602e112008-09-02 06:52:38 +0000726 // Set operands
727 Binary |= (ImmOffs >> 4) << 8; // immedH
728 Binary |= (ImmOffs & ~0xF); // immedL
729 }
730
Evan Cheng83b5cf02008-11-05 23:22:34 +0000731 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000732}
733
Evan Chengedda31c2008-11-05 18:35:52 +0000734void ARMCodeEmitter::emitLoadStoreMultipleInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +0000735 // Part of binary is determined by TableGn.
736 unsigned Binary = getBinaryCodeForInstr(MI);
737
Jim Grosbach33412622008-10-07 19:05:35 +0000738 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000739 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng057d0c32008-09-18 07:28:19 +0000740
Evan Cheng7602e112008-09-02 06:52:38 +0000741 // Set first operand
742 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRnShift;
743
744 // Set addressing mode by modifying bits U(23) and P(24)
745 // IA - Increment after - bit U = 1 and bit P = 0
746 // IB - Increment before - bit U = 1 and bit P = 1
747 // DA - Decrement after - bit U = 0 and bit P = 0
748 // DB - Decrement before - bit U = 0 and bit P = 1
749 const MachineOperand &MO = MI.getOperand(1);
750 ARM_AM::AMSubMode Mode = ARM_AM::getAM4SubMode(MO.getImm());
751 switch (Mode) {
752 default: assert(0 && "Unknown addressing sub-mode!");
753 case ARM_AM::da: break;
Evan Cheng97f48c32008-11-06 22:15:19 +0000754 case ARM_AM::db: Binary |= 0x1 << ARMII::P_BitShift; break;
755 case ARM_AM::ia: Binary |= 0x1 << ARMII::U_BitShift; break;
756 case ARM_AM::ib: Binary |= 0x3 << ARMII::U_BitShift; break;
Evan Cheng7602e112008-09-02 06:52:38 +0000757 }
758
759 // Set bit W(21)
760 if (ARM_AM::getAM4WBFlag(MO.getImm()))
Evan Cheng97f48c32008-11-06 22:15:19 +0000761 Binary |= 0x1 << ARMII::W_BitShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000762
763 // Set registers
764 for (unsigned i = 4, e = MI.getNumOperands(); i != e; ++i) {
765 const MachineOperand &MO = MI.getOperand(i);
Dan Gohmand735b802008-10-03 15:45:36 +0000766 if (MO.isReg() && MO.isImplicit())
Evan Cheng7602e112008-09-02 06:52:38 +0000767 continue;
768 unsigned RegNum = ARMRegisterInfo::getRegisterNumbering(MO.getReg());
769 assert(TargetRegisterInfo::isPhysicalRegister(MO.getReg()) &&
770 RegNum < 16);
771 Binary |= 0x1 << RegNum;
772 }
773
Evan Cheng83b5cf02008-11-05 23:22:34 +0000774 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000775}
776
Evan Chengfbc9d412008-11-06 01:21:28 +0000777void ARMCodeEmitter::emitMulFrmInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +0000778 const TargetInstrDesc &TID = MI.getDesc();
779
780 // Part of binary is determined by TableGn.
781 unsigned Binary = getBinaryCodeForInstr(MI);
782
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000783 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000784 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000785
786 // Encode S bit if MI modifies CPSR.
787 Binary |= getAddrModeSBit(MI, TID);
788
789 // 32x32->64bit operations have two destination registers. The number
790 // of register definitions will tell us if that's what we're dealing with.
Evan Cheng97f48c32008-11-06 22:15:19 +0000791 unsigned OpIdx = 0;
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000792 if (TID.getNumDefs() == 2)
793 Binary |= getMachineOpValue (MI, OpIdx++) << ARMII::RegRdLoShift;
794
795 // Encode Rd
796 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdHiShift;
797
798 // Encode Rm
799 Binary |= getMachineOpValue(MI, OpIdx++);
800
801 // Encode Rs
802 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRsShift;
803
Evan Chengfbc9d412008-11-06 01:21:28 +0000804 // Many multiple instructions (e.g. MLA) have three src operands. Encode
805 // it as Rn (for multiply, that's in the same offset as RdLo.
Evan Cheng97f48c32008-11-06 22:15:19 +0000806 if (TID.getNumOperands() > OpIdx &&
807 !TID.OpInfo[OpIdx].isPredicate() &&
808 !TID.OpInfo[OpIdx].isOptionalDef())
809 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRdLoShift;
810
811 emitWordLE(Binary);
812}
813
814void ARMCodeEmitter::emitExtendInstruction(const MachineInstr &MI) {
815 const TargetInstrDesc &TID = MI.getDesc();
816
817 // Part of binary is determined by TableGn.
818 unsigned Binary = getBinaryCodeForInstr(MI);
819
820 // Set the conditional execution predicate
821 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
822
823 unsigned OpIdx = 0;
824
825 // Encode Rd
826 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
827
828 const MachineOperand &MO1 = MI.getOperand(OpIdx++);
829 const MachineOperand &MO2 = MI.getOperand(OpIdx);
830 if (MO2.isReg()) {
831 // Two register operand form.
832 // Encode Rn.
833 Binary |= getMachineOpValue(MI, MO1) << ARMII::RegRnShift;
834
835 // Encode Rm.
836 Binary |= getMachineOpValue(MI, MO2);
837 ++OpIdx;
838 } else {
839 Binary |= getMachineOpValue(MI, MO1);
840 }
841
842 // Encode rot imm (0, 8, 16, or 24) if it has a rotate immediate operand.
843 if (MI.getOperand(OpIdx).isImm() &&
844 !TID.OpInfo[OpIdx].isPredicate() &&
845 !TID.OpInfo[OpIdx].isOptionalDef())
846 Binary |= (getMachineOpValue(MI, OpIdx) / 8) << ARMII::ExtRotImmShift;
Evan Chengfbc9d412008-11-06 01:21:28 +0000847
Evan Cheng83b5cf02008-11-05 23:22:34 +0000848 emitWordLE(Binary);
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000849}
850
Evan Cheng8b59db32008-11-07 01:41:35 +0000851void ARMCodeEmitter::emitMiscArithInstruction(const MachineInstr &MI) {
852 const TargetInstrDesc &TID = MI.getDesc();
853
854 // Part of binary is determined by TableGn.
855 unsigned Binary = getBinaryCodeForInstr(MI);
856
857 // Set the conditional execution predicate
858 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
859
860 unsigned OpIdx = 0;
861
862 // Encode Rd
863 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
864
865 const MachineOperand &MO = MI.getOperand(OpIdx++);
866 if (OpIdx == TID.getNumOperands() ||
867 TID.OpInfo[OpIdx].isPredicate() ||
868 TID.OpInfo[OpIdx].isOptionalDef()) {
869 // Encode Rm and it's done.
870 Binary |= getMachineOpValue(MI, MO);
871 emitWordLE(Binary);
872 return;
873 }
874
875 // Encode Rn.
876 Binary |= getMachineOpValue(MI, MO) << ARMII::RegRnShift;
877
878 // Encode Rm.
879 Binary |= getMachineOpValue(MI, OpIdx++);
880
881 // Encode shift_imm.
882 unsigned ShiftAmt = MI.getOperand(OpIdx).getImm();
883 assert(ShiftAmt < 32 && "shift_imm range is 0 to 31!");
884 Binary |= ShiftAmt << ARMII::ShiftShift;
885
886 emitWordLE(Binary);
887}
888
Evan Chengedda31c2008-11-05 18:35:52 +0000889void ARMCodeEmitter::emitBranchInstruction(const MachineInstr &MI) {
890 const TargetInstrDesc &TID = MI.getDesc();
891
Evan Cheng12c3a532008-11-06 17:48:05 +0000892 if (TID.Opcode == ARM::TPsoft)
893 abort(); // FIXME
894
Evan Cheng7602e112008-09-02 06:52:38 +0000895 // Part of binary is determined by TableGn.
896 unsigned Binary = getBinaryCodeForInstr(MI);
897
Evan Chengedda31c2008-11-05 18:35:52 +0000898 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000899 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chengedda31c2008-11-05 18:35:52 +0000900
901 // Set signed_immed_24 field
902 Binary |= getMachineOpValue(MI, 0);
903
Evan Cheng83b5cf02008-11-05 23:22:34 +0000904 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +0000905}
906
Evan Cheng4df60f52008-11-07 09:06:08 +0000907void ARMCodeEmitter::emitInlineJumpTable(unsigned JTIndex, intptr_t JTBase) {
908 // Remember the base address of the inline jump table.
909 JTI->addJumpTableBaseAddr(JTIndex, MCE.getCurrentPCValue());
910
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.
916 MCE.addRelocation(MachineRelocation::getBB(JTBase, ARM::reloc_arm_pic_jt,
917 MBBs[i]));
918 else
919 // Absolute DestBB address.
920 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_absolute);
921 emitWordLE(0);
922 }
923}
924
Evan Chengedda31c2008-11-05 18:35:52 +0000925void ARMCodeEmitter::emitMiscBranchInstruction(const MachineInstr &MI) {
926 const TargetInstrDesc &TID = MI.getDesc();
Evan Cheng12c3a532008-11-06 17:48:05 +0000927 if (TID.Opcode == ARM::BX ||
928 TID.Opcode == ARM::BR_JTr ||
Evan Cheng12c3a532008-11-06 17:48:05 +0000929 TID.Opcode == ARM::BR_JTadd)
Evan Chengedda31c2008-11-05 18:35:52 +0000930 abort(); // FIXME
931
Evan Cheng4df60f52008-11-07 09:06:08 +0000932 if (TID.Opcode == ARM::BR_JTm) {
933 // First emit a ldr pc, [] instruction.
934 emitLoadStoreInstruction(MI, ARM::PC);
935
936 // Then emit the inline jump table.
937 emitInlineJumpTable(MI.getOperand(3).getIndex(), MCE.getCurrentPCOffset());
938 return;
939 }
940
Evan Chengedda31c2008-11-05 18:35:52 +0000941 // Part of binary is determined by TableGn.
942 unsigned Binary = getBinaryCodeForInstr(MI);
943
944 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000945 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chengedda31c2008-11-05 18:35:52 +0000946
947 if (TID.Opcode == ARM::BX_RET)
948 // The return register is LR.
949 Binary |= ARMRegisterInfo::getRegisterNumbering(ARM::LR);
950 else
951 // otherwise, set the return register
952 Binary |= getMachineOpValue(MI, 0);
953
Evan Cheng83b5cf02008-11-05 23:22:34 +0000954 emitWordLE(Binary);
Evan Cheng148b6a42007-07-05 21:15:40 +0000955}
Evan Cheng7602e112008-09-02 06:52:38 +0000956
957#include "ARMGenCodeEmitter.inc"