blob: b39ab7f833d8c4e5343d8c0584735e0ee9dbf399 [file] [log] [blame]
Evan Cheng148b6a42007-07-05 21:15:40 +00001//===-- ARM/ARMCodeEmitter.cpp - Convert ARM code to machine code ---------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Evan Cheng148b6a42007-07-05 21:15:40 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file contains the pass that transforms the ARM machine instructions into
11// relocatable machine code.
12//
13//===----------------------------------------------------------------------===//
14
Evan Cheng0f282432008-10-29 23:55:43 +000015#define DEBUG_TYPE "jit"
Evan Cheng7602e112008-09-02 06:52:38 +000016#include "ARM.h"
17#include "ARMAddressingModes.h"
Evan Cheng0f282432008-10-29 23:55:43 +000018#include "ARMConstantPoolValue.h"
Evan Cheng148b6a42007-07-05 21:15:40 +000019#include "ARMInstrInfo.h"
Evan Cheng7602e112008-09-02 06:52:38 +000020#include "ARMRelocations.h"
Evan Cheng148b6a42007-07-05 21:15:40 +000021#include "ARMSubtarget.h"
22#include "ARMTargetMachine.h"
Jim Grosbachbc6d8762008-10-28 18:25:49 +000023#include "llvm/Constants.h"
24#include "llvm/DerivedTypes.h"
Evan Cheng42d5ee062008-09-13 01:15:21 +000025#include "llvm/Function.h"
Evan Cheng148b6a42007-07-05 21:15:40 +000026#include "llvm/PassManager.h"
27#include "llvm/CodeGen/MachineCodeEmitter.h"
Evan Cheng057d0c32008-09-18 07:28:19 +000028#include "llvm/CodeGen/MachineConstantPool.h"
Evan Cheng148b6a42007-07-05 21:15:40 +000029#include "llvm/CodeGen/MachineFunctionPass.h"
30#include "llvm/CodeGen/MachineInstr.h"
Evan Cheng4df60f52008-11-07 09:06:08 +000031#include "llvm/CodeGen/MachineJumpTableInfo.h"
Evan Cheng148b6a42007-07-05 21:15:40 +000032#include "llvm/CodeGen/Passes.h"
Evan Cheng148b6a42007-07-05 21:15:40 +000033#include "llvm/ADT/Statistic.h"
34#include "llvm/Support/Compiler.h"
Evan Cheng42d5ee062008-09-13 01:15:21 +000035#include "llvm/Support/Debug.h"
Evan Cheng4df60f52008-11-07 09:06:08 +000036#ifndef NDEBUG
37#include <iomanip>
38#endif
Evan Cheng148b6a42007-07-05 21:15:40 +000039using namespace llvm;
40
41STATISTIC(NumEmitted, "Number of machine instructions emitted");
42
43namespace {
Evan Cheng7602e112008-09-02 06:52:38 +000044 class VISIBILITY_HIDDEN ARMCodeEmitter : public MachineFunctionPass {
Evan Cheng057d0c32008-09-18 07:28:19 +000045 ARMJITInfo *JTI;
46 const ARMInstrInfo *II;
47 const TargetData *TD;
48 TargetMachine &TM;
49 MachineCodeEmitter &MCE;
Evan Cheng938b9d82008-10-31 19:55:13 +000050 const std::vector<MachineConstantPoolEntry> *MCPEs;
Evan Cheng4df60f52008-11-07 09:06:08 +000051 const std::vector<MachineJumpTableEntry> *MJTEs;
52 bool IsPIC;
53
Evan Cheng148b6a42007-07-05 21:15:40 +000054 public:
55 static char ID;
Evan Cheng7602e112008-09-02 06:52:38 +000056 explicit ARMCodeEmitter(TargetMachine &tm, MachineCodeEmitter &mce)
Evan Cheng057d0c32008-09-18 07:28:19 +000057 : MachineFunctionPass(&ID), JTI(0), II(0), TD(0), TM(tm),
Evan Cheng4df60f52008-11-07 09:06:08 +000058 MCE(mce), MCPEs(0), MJTEs(0),
59 IsPIC(TM.getRelocationModel() == Reloc::PIC_) {}
Evan Cheng7602e112008-09-02 06:52:38 +000060 ARMCodeEmitter(TargetMachine &tm, MachineCodeEmitter &mce,
Evan Cheng148b6a42007-07-05 21:15:40 +000061 const ARMInstrInfo &ii, const TargetData &td)
Evan Cheng057d0c32008-09-18 07:28:19 +000062 : MachineFunctionPass(&ID), JTI(0), II(&ii), TD(&td), TM(tm),
Evan Cheng4df60f52008-11-07 09:06:08 +000063 MCE(mce), MCPEs(0), MJTEs(0),
64 IsPIC(TM.getRelocationModel() == Reloc::PIC_) {}
Evan Cheng148b6a42007-07-05 21:15:40 +000065
66 bool runOnMachineFunction(MachineFunction &MF);
67
68 virtual const char *getPassName() const {
69 return "ARM Machine Code Emitter";
70 }
71
72 void emitInstruction(const MachineInstr &MI);
Evan Cheng7602e112008-09-02 06:52:38 +000073
74 private:
Evan Cheng057d0c32008-09-18 07:28:19 +000075
Evan Cheng83b5cf02008-11-05 23:22:34 +000076 void emitWordLE(unsigned Binary);
77
Evan Cheng057d0c32008-09-18 07:28:19 +000078 void emitConstPoolInstruction(const MachineInstr &MI);
79
Evan Cheng90922132008-11-06 02:25:39 +000080 void emitMOVi2piecesInstruction(const MachineInstr &MI);
81
Evan Cheng4df60f52008-11-07 09:06:08 +000082 void emitLEApcrelJTInstruction(const MachineInstr &MI);
83
Evan Cheng83b5cf02008-11-05 23:22:34 +000084 void addPCLabel(unsigned LabelID);
85
Evan Cheng057d0c32008-09-18 07:28:19 +000086 void emitPseudoInstruction(const MachineInstr &MI);
87
Evan Cheng5f1db7b2008-09-12 22:01:15 +000088 unsigned getMachineSoRegOpValue(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +000089 const TargetInstrDesc &TID,
Evan Chengeb4ed4b2008-10-31 19:10:44 +000090 const MachineOperand &MO,
Evan Cheng5f1db7b2008-09-12 22:01:15 +000091 unsigned OpIdx);
92
Evan Cheng90922132008-11-06 02:25:39 +000093 unsigned getMachineSoImmOpValue(unsigned SoImm);
Evan Chengeb4ed4b2008-10-31 19:10:44 +000094
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +000095 unsigned getAddrModeSBit(const MachineInstr &MI,
96 const TargetInstrDesc &TID) const;
Evan Cheng49a9f292008-09-12 22:45:55 +000097
Evan Cheng83b5cf02008-11-05 23:22:34 +000098 void emitDataProcessingInstruction(const MachineInstr &MI,
Evan Cheng437c1732008-11-07 22:30:53 +000099 unsigned ImplicitRd = 0,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000100 unsigned ImplicitRn = 0);
Evan Cheng7602e112008-09-02 06:52:38 +0000101
Evan Cheng83b5cf02008-11-05 23:22:34 +0000102 void emitLoadStoreInstruction(const MachineInstr &MI,
Evan Cheng4df60f52008-11-07 09:06:08 +0000103 unsigned ImplicitRd = 0,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000104 unsigned ImplicitRn = 0);
Evan Chengedda31c2008-11-05 18:35:52 +0000105
Evan Cheng83b5cf02008-11-05 23:22:34 +0000106 void emitMiscLoadStoreInstruction(const MachineInstr &MI,
107 unsigned ImplicitRn = 0);
Evan Chengedda31c2008-11-05 18:35:52 +0000108
109 void emitLoadStoreMultipleInstruction(const MachineInstr &MI);
110
Evan Chengfbc9d412008-11-06 01:21:28 +0000111 void emitMulFrmInstruction(const MachineInstr &MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000112
Evan Cheng97f48c32008-11-06 22:15:19 +0000113 void emitExtendInstruction(const MachineInstr &MI);
114
Evan Cheng8b59db32008-11-07 01:41:35 +0000115 void emitMiscArithInstruction(const MachineInstr &MI);
116
Evan Chengedda31c2008-11-05 18:35:52 +0000117 void emitBranchInstruction(const MachineInstr &MI);
118
Evan Cheng437c1732008-11-07 22:30:53 +0000119 void emitInlineJumpTable(unsigned JTIndex);
Evan Cheng4df60f52008-11-07 09:06:08 +0000120
Evan Chengedda31c2008-11-05 18:35:52 +0000121 void emitMiscBranchInstruction(const MachineInstr &MI);
Evan Cheng7602e112008-09-02 06:52:38 +0000122
Evan Cheng96581d32008-11-11 02:11:05 +0000123 void emitVFPArithInstruction(const MachineInstr &MI);
124
Evan Cheng7602e112008-09-02 06:52:38 +0000125 /// getBinaryCodeForInstr - This function, generated by the
126 /// CodeEmitterGenerator using TableGen, produces the binary encoding for
127 /// machine instructions.
128 ///
Raul Herbster9c1a3822007-08-30 23:29:26 +0000129 unsigned getBinaryCodeForInstr(const MachineInstr &MI);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000130
Evan Cheng7602e112008-09-02 06:52:38 +0000131 /// getMachineOpValue - Return binary encoding of operand. If the machine
132 /// operand requires relocation, record the relocation and return zero.
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000133 unsigned getMachineOpValue(const MachineInstr &MI,const MachineOperand &MO);
Evan Cheng7602e112008-09-02 06:52:38 +0000134 unsigned getMachineOpValue(const MachineInstr &MI, unsigned OpIdx) {
135 return getMachineOpValue(MI, MI.getOperand(OpIdx));
136 }
Evan Cheng7602e112008-09-02 06:52:38 +0000137
Evan Cheng83b5cf02008-11-05 23:22:34 +0000138 /// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
Evan Cheng7602e112008-09-02 06:52:38 +0000139 ///
Evan Cheng83b5cf02008-11-05 23:22:34 +0000140 unsigned getShiftOp(unsigned Imm) const ;
Evan Cheng7602e112008-09-02 06:52:38 +0000141
142 /// Routines that handle operands which add machine relocations which are
Evan Cheng437c1732008-11-07 22:30:53 +0000143 /// fixed up by the relocation stage.
Evan Cheng057d0c32008-09-18 07:28:19 +0000144 void emitGlobalAddress(GlobalValue *GV, unsigned Reloc,
Evan Cheng413a89f2008-11-07 22:57:53 +0000145 bool NeedStub, intptr_t ACPV = 0);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000146 void emitExternalSymbolAddress(const char *ES, unsigned Reloc);
Evan Cheng437c1732008-11-07 22:30:53 +0000147 void emitConstPoolAddress(unsigned CPI, unsigned Reloc);
148 void emitJumpTableAddress(unsigned JTIndex, unsigned Reloc);
149 void emitMachineBasicBlock(MachineBasicBlock *BB, unsigned Reloc,
150 intptr_t JTBase = 0);
Evan Cheng148b6a42007-07-05 21:15:40 +0000151 };
Evan Cheng7602e112008-09-02 06:52:38 +0000152 char ARMCodeEmitter::ID = 0;
Evan Cheng148b6a42007-07-05 21:15:40 +0000153}
154
155/// createARMCodeEmitterPass - Return a pass that emits the collected ARM code
156/// to the specified MCE object.
157FunctionPass *llvm::createARMCodeEmitterPass(ARMTargetMachine &TM,
158 MachineCodeEmitter &MCE) {
Evan Cheng7602e112008-09-02 06:52:38 +0000159 return new ARMCodeEmitter(TM, MCE);
Evan Cheng148b6a42007-07-05 21:15:40 +0000160}
161
Evan Cheng7602e112008-09-02 06:52:38 +0000162bool ARMCodeEmitter::runOnMachineFunction(MachineFunction &MF) {
Evan Cheng148b6a42007-07-05 21:15:40 +0000163 assert((MF.getTarget().getRelocationModel() != Reloc::Default ||
164 MF.getTarget().getRelocationModel() != Reloc::Static) &&
165 "JIT relocation model must be set to static or default!");
166 II = ((ARMTargetMachine&)MF.getTarget()).getInstrInfo();
167 TD = ((ARMTargetMachine&)MF.getTarget()).getTargetData();
Evan Cheng057d0c32008-09-18 07:28:19 +0000168 JTI = ((ARMTargetMachine&)MF.getTarget()).getJITInfo();
Evan Cheng938b9d82008-10-31 19:55:13 +0000169 MCPEs = &MF.getConstantPool()->getConstants();
Evan Cheng4df60f52008-11-07 09:06:08 +0000170 MJTEs = &MF.getJumpTableInfo()->getJumpTables();
171 IsPIC = TM.getRelocationModel() == Reloc::PIC_;
Evan Cheng3cc82232008-11-08 07:38:22 +0000172 JTI->Initialize(MF, IsPIC);
Evan Cheng148b6a42007-07-05 21:15:40 +0000173
174 do {
Evan Cheng42d5ee062008-09-13 01:15:21 +0000175 DOUT << "JITTing function '" << MF.getFunction()->getName() << "'\n";
Evan Cheng148b6a42007-07-05 21:15:40 +0000176 MCE.startFunction(MF);
177 for (MachineFunction::iterator MBB = MF.begin(), E = MF.end();
178 MBB != E; ++MBB) {
179 MCE.StartMachineBasicBlock(MBB);
180 for (MachineBasicBlock::const_iterator I = MBB->begin(), E = MBB->end();
181 I != E; ++I)
182 emitInstruction(*I);
183 }
184 } while (MCE.finishFunction(MF));
185
186 return false;
187}
188
Evan Cheng83b5cf02008-11-05 23:22:34 +0000189/// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
Evan Cheng7602e112008-09-02 06:52:38 +0000190///
Evan Cheng83b5cf02008-11-05 23:22:34 +0000191unsigned ARMCodeEmitter::getShiftOp(unsigned Imm) const {
192 switch (ARM_AM::getAM2ShiftOpc(Imm)) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000193 default: assert(0 && "Unknown shift opc!");
Evan Cheng7602e112008-09-02 06:52:38 +0000194 case ARM_AM::asr: return 2;
195 case ARM_AM::lsl: return 0;
196 case ARM_AM::lsr: return 1;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000197 case ARM_AM::ror:
Evan Cheng7602e112008-09-02 06:52:38 +0000198 case ARM_AM::rrx: return 3;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000199 }
Evan Cheng7602e112008-09-02 06:52:38 +0000200 return 0;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000201}
202
Evan Cheng7602e112008-09-02 06:52:38 +0000203/// getMachineOpValue - Return binary encoding of operand. If the machine
204/// operand requires relocation, record the relocation and return zero.
205unsigned ARMCodeEmitter::getMachineOpValue(const MachineInstr &MI,
206 const MachineOperand &MO) {
Dan Gohmand735b802008-10-03 15:45:36 +0000207 if (MO.isReg())
Evan Cheng7602e112008-09-02 06:52:38 +0000208 return ARMRegisterInfo::getRegisterNumbering(MO.getReg());
Dan Gohmand735b802008-10-03 15:45:36 +0000209 else if (MO.isImm())
Evan Cheng7602e112008-09-02 06:52:38 +0000210 return static_cast<unsigned>(MO.getImm());
Dan Gohmand735b802008-10-03 15:45:36 +0000211 else if (MO.isGlobal())
Jim Grosbach016d34c2008-10-03 15:52:42 +0000212 emitGlobalAddress(MO.getGlobal(), ARM::reloc_arm_branch, true);
Dan Gohmand735b802008-10-03 15:45:36 +0000213 else if (MO.isSymbol())
Evan Cheng10332512008-11-08 07:22:33 +0000214 emitExternalSymbolAddress(MO.getSymbolName(), ARM::reloc_arm_branch);
Dan Gohmand735b802008-10-03 15:45:36 +0000215 else if (MO.isCPI())
Evan Cheng0f282432008-10-29 23:55:43 +0000216 emitConstPoolAddress(MO.getIndex(), ARM::reloc_arm_cp_entry);
Dan Gohmand735b802008-10-03 15:45:36 +0000217 else if (MO.isJTI())
Chris Lattner8aa797a2007-12-30 23:10:15 +0000218 emitJumpTableAddress(MO.getIndex(), ARM::reloc_arm_relative);
Dan Gohmand735b802008-10-03 15:45:36 +0000219 else if (MO.isMBB())
Evan Cheng4df60f52008-11-07 09:06:08 +0000220 emitMachineBasicBlock(MO.getMBB(), ARM::reloc_arm_branch);
Evan Cheng2aa0e642008-09-13 01:55:59 +0000221 else {
222 cerr << "ERROR: Unknown type of MachineOperand: " << MO << "\n";
223 abort();
224 }
Evan Cheng7602e112008-09-02 06:52:38 +0000225 return 0;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000226}
227
Evan Cheng057d0c32008-09-18 07:28:19 +0000228/// emitGlobalAddress - Emit the specified address to the code stream.
Evan Cheng0ff94f72007-08-07 01:37:15 +0000229///
Evan Cheng413a89f2008-11-07 22:57:53 +0000230void ARMCodeEmitter::emitGlobalAddress(GlobalValue *GV, unsigned Reloc,
231 bool NeedStub, intptr_t ACPV) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000232 MCE.addRelocation(MachineRelocation::getGV(MCE.getCurrentPCOffset(),
Evan Cheng413a89f2008-11-07 22:57:53 +0000233 Reloc, GV, ACPV, NeedStub));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000234}
235
236/// emitExternalSymbolAddress - Arrange for the address of an external symbol to
237/// be emitted to the current location in the function, and allow it to be PC
238/// relative.
Evan Cheng7602e112008-09-02 06:52:38 +0000239void ARMCodeEmitter::emitExternalSymbolAddress(const char *ES, unsigned Reloc) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000240 MCE.addRelocation(MachineRelocation::getExtSym(MCE.getCurrentPCOffset(),
241 Reloc, ES));
242}
243
244/// emitConstPoolAddress - Arrange for the address of an constant pool
245/// to be emitted to the current location in the function, and allow it to be PC
246/// relative.
Evan Cheng437c1732008-11-07 22:30:53 +0000247void ARMCodeEmitter::emitConstPoolAddress(unsigned CPI, unsigned Reloc) {
Evan Cheng0f282432008-10-29 23:55:43 +0000248 // Tell JIT emitter we'll resolve the address.
Evan Cheng0ff94f72007-08-07 01:37:15 +0000249 MCE.addRelocation(MachineRelocation::getConstPool(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000250 Reloc, CPI, 0, true));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000251}
252
253/// emitJumpTableAddress - Arrange for the address of a jump table to
254/// be emitted to the current location in the function, and allow it to be PC
255/// relative.
Evan Cheng437c1732008-11-07 22:30:53 +0000256void ARMCodeEmitter::emitJumpTableAddress(unsigned JTIndex, unsigned Reloc) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000257 MCE.addRelocation(MachineRelocation::getJumpTable(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000258 Reloc, JTIndex, 0, true));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000259}
260
Raul Herbster9c1a3822007-08-30 23:29:26 +0000261/// emitMachineBasicBlock - Emit the specified address basic block.
Evan Cheng4df60f52008-11-07 09:06:08 +0000262void ARMCodeEmitter::emitMachineBasicBlock(MachineBasicBlock *BB,
Evan Cheng437c1732008-11-07 22:30:53 +0000263 unsigned Reloc, intptr_t JTBase) {
Raul Herbster9c1a3822007-08-30 23:29:26 +0000264 MCE.addRelocation(MachineRelocation::getBB(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000265 Reloc, BB, JTBase));
Raul Herbster9c1a3822007-08-30 23:29:26 +0000266}
Evan Cheng0ff94f72007-08-07 01:37:15 +0000267
Evan Cheng83b5cf02008-11-05 23:22:34 +0000268void ARMCodeEmitter::emitWordLE(unsigned Binary) {
Evan Cheng4df60f52008-11-07 09:06:08 +0000269#ifndef NDEBUG
270 DOUT << " 0x" << std::hex << std::setw(8) << std::setfill('0')
271 << Binary << std::dec << "\n";
272#endif
Evan Cheng83b5cf02008-11-05 23:22:34 +0000273 MCE.emitWordLE(Binary);
274}
275
Evan Cheng7602e112008-09-02 06:52:38 +0000276void ARMCodeEmitter::emitInstruction(const MachineInstr &MI) {
Evan Cheng25e04782008-11-04 00:50:32 +0000277 DOUT << "JIT: " << (void*)MCE.getCurrentPCValue() << ":\t" << MI;
Evan Cheng42d5ee062008-09-13 01:15:21 +0000278
Evan Cheng148b6a42007-07-05 21:15:40 +0000279 NumEmitted++; // Keep track of the # of mi's emitted
Evan Chengedda31c2008-11-05 18:35:52 +0000280 switch (MI.getDesc().TSFlags & ARMII::FormMask) {
281 default:
282 assert(0 && "Unhandled instruction encoding format!");
283 break;
284 case ARMII::Pseudo:
Evan Cheng057d0c32008-09-18 07:28:19 +0000285 emitPseudoInstruction(MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000286 break;
287 case ARMII::DPFrm:
288 case ARMII::DPSoRegFrm:
289 emitDataProcessingInstruction(MI);
290 break;
291 case ARMII::LdFrm:
292 case ARMII::StFrm:
293 emitLoadStoreInstruction(MI);
294 break;
295 case ARMII::LdMiscFrm:
296 case ARMII::StMiscFrm:
297 emitMiscLoadStoreInstruction(MI);
298 break;
299 case ARMII::LdMulFrm:
300 case ARMII::StMulFrm:
301 emitLoadStoreMultipleInstruction(MI);
302 break;
Evan Chengfbc9d412008-11-06 01:21:28 +0000303 case ARMII::MulFrm:
304 emitMulFrmInstruction(MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000305 break;
Evan Cheng97f48c32008-11-06 22:15:19 +0000306 case ARMII::ExtFrm:
307 emitExtendInstruction(MI);
308 break;
Evan Cheng8b59db32008-11-07 01:41:35 +0000309 case ARMII::ArithMiscFrm:
310 emitMiscArithInstruction(MI);
311 break;
Evan Cheng12c3a532008-11-06 17:48:05 +0000312 case ARMII::BrFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000313 emitBranchInstruction(MI);
314 break;
Evan Cheng12c3a532008-11-06 17:48:05 +0000315 case ARMII::BrMiscFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000316 emitMiscBranchInstruction(MI);
317 break;
Evan Cheng96581d32008-11-11 02:11:05 +0000318 // VFP instructions.
319 case ARMII::VFPUnaryFrm:
320 case ARMII::VFPBinaryFrm:
321 emitVFPArithInstruction(MI);
322 break;
Evan Chengedda31c2008-11-05 18:35:52 +0000323 }
Evan Cheng0ff94f72007-08-07 01:37:15 +0000324}
325
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000326void ARMCodeEmitter::emitConstPoolInstruction(const MachineInstr &MI) {
Evan Cheng437c1732008-11-07 22:30:53 +0000327 unsigned CPI = MI.getOperand(0).getImm(); // CP instruction index.
328 unsigned CPIndex = MI.getOperand(1).getIndex(); // Actual cp entry index.
Evan Cheng938b9d82008-10-31 19:55:13 +0000329 const MachineConstantPoolEntry &MCPE = (*MCPEs)[CPIndex];
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000330
331 // Remember the CONSTPOOL_ENTRY address for later relocation.
332 JTI->addConstantPoolEntryAddr(CPI, MCE.getCurrentPCValue());
333
334 // Emit constpool island entry. In most cases, the actual values will be
335 // resolved and relocated after code emission.
336 if (MCPE.isMachineConstantPoolEntry()) {
337 ARMConstantPoolValue *ACPV =
338 static_cast<ARMConstantPoolValue*>(MCPE.Val.MachineCPVal);
339
Evan Cheng12c3a532008-11-06 17:48:05 +0000340 DOUT << " ** ARM constant pool #" << CPI << " @ "
Evan Cheng437c1732008-11-07 22:30:53 +0000341 << (void*)MCE.getCurrentPCValue() << " " << *ACPV << '\n';
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000342
343 GlobalValue *GV = ACPV->getGV();
344 if (GV) {
345 assert(!ACPV->isStub() && "Don't know how to deal this yet!");
Evan Chenge96a4902008-11-08 01:31:27 +0000346 if (ACPV->isNonLazyPointer())
Evan Cheng9ed2f802008-11-10 01:08:07 +0000347 MCE.addRelocation(MachineRelocation::getIndirectSymbol(
Evan Chenge96a4902008-11-08 01:31:27 +0000348 MCE.getCurrentPCOffset(), ARM::reloc_arm_machine_cp_entry, GV,
349 (intptr_t)ACPV, false));
350 else
351 emitGlobalAddress(GV, ARM::reloc_arm_machine_cp_entry,
352 ACPV->isStub(), (intptr_t)ACPV);
Evan Cheng25e04782008-11-04 00:50:32 +0000353 } else {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000354 assert(!ACPV->isNonLazyPointer() && "Don't know how to deal this yet!");
355 emitExternalSymbolAddress(ACPV->getSymbol(), ARM::reloc_arm_absolute);
356 }
Evan Cheng83b5cf02008-11-05 23:22:34 +0000357 emitWordLE(0);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000358 } else {
359 Constant *CV = MCPE.Val.ConstVal;
360
Evan Cheng12c3a532008-11-06 17:48:05 +0000361 DOUT << " ** Constant pool #" << CPI << " @ "
Evan Cheng437c1732008-11-07 22:30:53 +0000362 << (void*)MCE.getCurrentPCValue() << " " << *CV << '\n';
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000363
364 if (GlobalValue *GV = dyn_cast<GlobalValue>(CV)) {
365 emitGlobalAddress(GV, ARM::reloc_arm_absolute, false);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000366 emitWordLE(0);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000367 } else {
368 assert(CV->getType()->isInteger() &&
369 "Not expecting non-integer constpool entries yet!");
370 const ConstantInt *CI = dyn_cast<ConstantInt>(CV);
371 uint32_t Val = *(uint32_t*)CI->getValue().getRawData();
Evan Cheng83b5cf02008-11-05 23:22:34 +0000372 emitWordLE(Val);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000373 }
374 }
375}
376
Evan Cheng90922132008-11-06 02:25:39 +0000377void ARMCodeEmitter::emitMOVi2piecesInstruction(const MachineInstr &MI) {
378 const MachineOperand &MO0 = MI.getOperand(0);
379 const MachineOperand &MO1 = MI.getOperand(1);
380 assert(MO1.isImm() && "Not a valid so_imm value!");
381 unsigned V1 = ARM_AM::getSOImmTwoPartFirst(MO1.getImm());
382 unsigned V2 = ARM_AM::getSOImmTwoPartSecond(MO1.getImm());
383
384 // Emit the 'mov' instruction.
385 unsigned Binary = 0xd << 21; // mov: Insts{24-21} = 0b1101
386
387 // Set the conditional execution predicate.
Evan Cheng97f48c32008-11-06 22:15:19 +0000388 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng90922132008-11-06 02:25:39 +0000389
390 // Encode Rd.
391 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
392
393 // Encode so_imm.
394 // Set bit I(25) to identify this is the immediate form of <shifter_op>
395 Binary |= 1 << ARMII::I_BitShift;
396 Binary |= getMachineSoImmOpValue(ARM_AM::getSOImmVal(V1));
397 emitWordLE(Binary);
398
399 // Now the 'orr' instruction.
400 Binary = 0xc << 21; // orr: Insts{24-21} = 0b1100
401
402 // Set the conditional execution predicate.
Evan Cheng97f48c32008-11-06 22:15:19 +0000403 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng90922132008-11-06 02:25:39 +0000404
405 // Encode Rd.
406 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
407
408 // Encode Rn.
409 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRnShift;
410
411 // Encode so_imm.
412 // Set bit I(25) to identify this is the immediate form of <shifter_op>
413 Binary |= 1 << ARMII::I_BitShift;
414 Binary |= getMachineSoImmOpValue(ARM_AM::getSOImmVal(V2));
415 emitWordLE(Binary);
416}
417
Evan Cheng4df60f52008-11-07 09:06:08 +0000418void ARMCodeEmitter::emitLEApcrelJTInstruction(const MachineInstr &MI) {
419 // It's basically add r, pc, (LJTI - $+8)
420
421 const TargetInstrDesc &TID = MI.getDesc();
422
423 // Emit the 'add' instruction.
424 unsigned Binary = 0x4 << 21; // add: Insts{24-31} = 0b0100
425
426 // Set the conditional execution predicate
427 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
428
429 // Encode S bit if MI modifies CPSR.
430 Binary |= getAddrModeSBit(MI, TID);
431
432 // Encode Rd.
433 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
434
435 // Encode Rn which is PC.
436 Binary |= ARMRegisterInfo::getRegisterNumbering(ARM::PC) << ARMII::RegRnShift;
437
438 // Encode the displacement.
439 // Set bit I(25) to identify this is the immediate form of <shifter_op>.
440 Binary |= 1 << ARMII::I_BitShift;
441 emitJumpTableAddress(MI.getOperand(1).getIndex(), ARM::reloc_arm_jt_base);
442
443 emitWordLE(Binary);
444}
445
Evan Cheng83b5cf02008-11-05 23:22:34 +0000446void ARMCodeEmitter::addPCLabel(unsigned LabelID) {
Evan Cheng12c3a532008-11-06 17:48:05 +0000447 DOUT << " ** LPC" << LabelID << " @ "
Evan Cheng83b5cf02008-11-05 23:22:34 +0000448 << (void*)MCE.getCurrentPCValue() << '\n';
449 JTI->addPCLabelAddr(LabelID, MCE.getCurrentPCValue());
450}
451
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000452void ARMCodeEmitter::emitPseudoInstruction(const MachineInstr &MI) {
453 unsigned Opcode = MI.getDesc().Opcode;
454 switch (Opcode) {
455 default:
456 abort(); // FIXME:
457 case ARM::CONSTPOOL_ENTRY:
458 emitConstPoolInstruction(MI);
459 break;
460 case ARM::PICADD: {
Evan Cheng25e04782008-11-04 00:50:32 +0000461 // Remember of the address of the PC label for relocation later.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000462 addPCLabel(MI.getOperand(2).getImm());
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000463 // PICADD is just an add instruction that implicitly read pc.
Evan Cheng437c1732008-11-07 22:30:53 +0000464 emitDataProcessingInstruction(MI, 0, ARM::PC);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000465 break;
466 }
467 case ARM::PICLDR:
468 case ARM::PICLDRB:
469 case ARM::PICSTR:
470 case ARM::PICSTRB: {
471 // Remember of the address of the PC label for relocation later.
472 addPCLabel(MI.getOperand(2).getImm());
473 // These are just load / store instructions that implicitly read pc.
Evan Cheng4df60f52008-11-07 09:06:08 +0000474 emitLoadStoreInstruction(MI, 0, ARM::PC);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000475 break;
476 }
477 case ARM::PICLDRH:
478 case ARM::PICLDRSH:
479 case ARM::PICLDRSB:
480 case ARM::PICSTRH: {
481 // Remember of the address of the PC label for relocation later.
482 addPCLabel(MI.getOperand(2).getImm());
483 // These are just load / store instructions that implicitly read pc.
484 emitMiscLoadStoreInstruction(MI, ARM::PC);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000485 break;
486 }
Evan Cheng90922132008-11-06 02:25:39 +0000487 case ARM::MOVi2pieces:
488 // Two instructions to materialize a constant.
489 emitMOVi2piecesInstruction(MI);
490 break;
Evan Cheng4df60f52008-11-07 09:06:08 +0000491 case ARM::LEApcrelJT:
492 // Materialize jumptable address.
493 emitLEApcrelJTInstruction(MI);
494 break;
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000495 }
496}
497
498
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000499unsigned ARMCodeEmitter::getMachineSoRegOpValue(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +0000500 const TargetInstrDesc &TID,
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000501 const MachineOperand &MO,
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000502 unsigned OpIdx) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000503 unsigned Binary = getMachineOpValue(MI, MO);
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000504
505 const MachineOperand &MO1 = MI.getOperand(OpIdx + 1);
506 const MachineOperand &MO2 = MI.getOperand(OpIdx + 2);
507 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO2.getImm());
508
509 // Encode the shift opcode.
510 unsigned SBits = 0;
511 unsigned Rs = MO1.getReg();
512 if (Rs) {
513 // Set shift operand (bit[7:4]).
514 // LSL - 0001
515 // LSR - 0011
516 // ASR - 0101
517 // ROR - 0111
518 // RRX - 0110 and bit[11:8] clear.
519 switch (SOpc) {
520 default: assert(0 && "Unknown shift opc!");
521 case ARM_AM::lsl: SBits = 0x1; break;
522 case ARM_AM::lsr: SBits = 0x3; break;
523 case ARM_AM::asr: SBits = 0x5; break;
524 case ARM_AM::ror: SBits = 0x7; break;
525 case ARM_AM::rrx: SBits = 0x6; break;
526 }
527 } else {
528 // Set shift operand (bit[6:4]).
529 // LSL - 000
530 // LSR - 010
531 // ASR - 100
532 // ROR - 110
533 switch (SOpc) {
534 default: assert(0 && "Unknown shift opc!");
535 case ARM_AM::lsl: SBits = 0x0; break;
536 case ARM_AM::lsr: SBits = 0x2; break;
537 case ARM_AM::asr: SBits = 0x4; break;
538 case ARM_AM::ror: SBits = 0x6; break;
539 }
540 }
541 Binary |= SBits << 4;
542 if (SOpc == ARM_AM::rrx)
543 return Binary;
544
545 // Encode the shift operation Rs or shift_imm (except rrx).
546 if (Rs) {
547 // Encode Rs bit[11:8].
548 assert(ARM_AM::getSORegOffset(MO2.getImm()) == 0);
549 return Binary |
550 (ARMRegisterInfo::getRegisterNumbering(Rs) << ARMII::RegRsShift);
551 }
552
553 // Encode shift_imm bit[11:7].
554 return Binary | ARM_AM::getSORegOffset(MO2.getImm()) << 7;
555}
556
Evan Cheng90922132008-11-06 02:25:39 +0000557unsigned ARMCodeEmitter::getMachineSoImmOpValue(unsigned SoImm) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000558 // Encode rotate_imm.
Evan Cheng97f48c32008-11-06 22:15:19 +0000559 unsigned Binary = (ARM_AM::getSOImmValRot(SoImm) >> 1)
560 << ARMII::SoRotImmShift;
561
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000562 // Encode immed_8.
Evan Cheng90922132008-11-06 02:25:39 +0000563 Binary |= ARM_AM::getSOImmValImm(SoImm);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000564 return Binary;
565}
566
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000567unsigned ARMCodeEmitter::getAddrModeSBit(const MachineInstr &MI,
568 const TargetInstrDesc &TID) const {
Evan Cheng49a9f292008-09-12 22:45:55 +0000569 for (unsigned i = MI.getNumOperands(), e = TID.getNumOperands(); i != e; --i){
570 const MachineOperand &MO = MI.getOperand(i-1);
Dan Gohmand735b802008-10-03 15:45:36 +0000571 if (MO.isReg() && MO.isDef() && MO.getReg() == ARM::CPSR)
Evan Cheng49a9f292008-09-12 22:45:55 +0000572 return 1 << ARMII::S_BitShift;
573 }
574 return 0;
575}
576
Evan Cheng83b5cf02008-11-05 23:22:34 +0000577void ARMCodeEmitter::emitDataProcessingInstruction(const MachineInstr &MI,
Evan Cheng437c1732008-11-07 22:30:53 +0000578 unsigned ImplicitRd,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000579 unsigned ImplicitRn) {
Evan Chengedda31c2008-11-05 18:35:52 +0000580 const TargetInstrDesc &TID = MI.getDesc();
Evan Chengedda31c2008-11-05 18:35:52 +0000581
582 // Part of binary is determined by TableGn.
583 unsigned Binary = getBinaryCodeForInstr(MI);
584
Jim Grosbach33412622008-10-07 19:05:35 +0000585 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000586 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000587
Evan Cheng49a9f292008-09-12 22:45:55 +0000588 // Encode S bit if MI modifies CPSR.
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000589 Binary |= getAddrModeSBit(MI, TID);
Evan Cheng49a9f292008-09-12 22:45:55 +0000590
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000591 // Encode register def if there is one.
Evan Cheng49a9f292008-09-12 22:45:55 +0000592 unsigned NumDefs = TID.getNumDefs();
Evan Chenga964b7d2008-09-12 23:15:39 +0000593 unsigned OpIdx = 0;
Evan Cheng437c1732008-11-07 22:30:53 +0000594 if (NumDefs)
595 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
596 else if (ImplicitRd)
597 // Special handling for implicit use (e.g. PC).
598 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRd)
599 << ARMII::RegRdShift);
Evan Cheng7602e112008-09-02 06:52:38 +0000600
Evan Chengd87293c2008-11-06 08:47:38 +0000601 // If this is a two-address operand, skip it. e.g. MOVCCr operand 1.
602 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
603 ++OpIdx;
604
Jim Grosbachefd30ba2008-10-01 18:16:49 +0000605 // Encode first non-shifter register operand if there is one.
Evan Chengedda31c2008-11-05 18:35:52 +0000606 bool isUnary = TID.TSFlags & ARMII::UnaryDP;
607 if (!isUnary) {
Evan Cheng83b5cf02008-11-05 23:22:34 +0000608 if (ImplicitRn)
609 // Special handling for implicit use (e.g. PC).
610 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
Evan Chengedda31c2008-11-05 18:35:52 +0000611 << ARMII::RegRnShift);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000612 else {
613 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRnShift;
614 ++OpIdx;
615 }
Evan Cheng7602e112008-09-02 06:52:38 +0000616 }
617
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000618 // Encode shifter operand.
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000619 const MachineOperand &MO = MI.getOperand(OpIdx);
Evan Chengedda31c2008-11-05 18:35:52 +0000620 if ((TID.TSFlags & ARMII::FormMask) == ARMII::DPSoRegFrm) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000621 // Encode SoReg.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000622 emitWordLE(Binary | getMachineSoRegOpValue(MI, TID, MO, OpIdx));
Evan Chengedda31c2008-11-05 18:35:52 +0000623 return;
624 }
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000625
Evan Chengedda31c2008-11-05 18:35:52 +0000626 if (MO.isReg()) {
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000627 // Encode register Rm.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000628 emitWordLE(Binary | ARMRegisterInfo::getRegisterNumbering(MO.getReg()));
Evan Chengedda31c2008-11-05 18:35:52 +0000629 return;
630 }
Evan Cheng7602e112008-09-02 06:52:38 +0000631
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000632 // Encode so_imm.
Evan Cheng4df60f52008-11-07 09:06:08 +0000633 // Set bit I(25) to identify this is the immediate form of <shifter_op>.
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000634 Binary |= 1 << ARMII::I_BitShift;
Evan Cheng90922132008-11-06 02:25:39 +0000635 Binary |= getMachineSoImmOpValue(MO.getImm());
Evan Chengedda31c2008-11-05 18:35:52 +0000636
Evan Cheng83b5cf02008-11-05 23:22:34 +0000637 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000638}
639
Evan Cheng83b5cf02008-11-05 23:22:34 +0000640void ARMCodeEmitter::emitLoadStoreInstruction(const MachineInstr &MI,
Evan Cheng4df60f52008-11-07 09:06:08 +0000641 unsigned ImplicitRd,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000642 unsigned ImplicitRn) {
Evan Cheng05c356e2008-11-08 01:44:13 +0000643 const TargetInstrDesc &TID = MI.getDesc();
644
Evan Chengedda31c2008-11-05 18:35:52 +0000645 // Part of binary is determined by TableGn.
646 unsigned Binary = getBinaryCodeForInstr(MI);
647
Jim Grosbach33412622008-10-07 19:05:35 +0000648 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000649 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng057d0c32008-09-18 07:28:19 +0000650
Evan Cheng7602e112008-09-02 06:52:38 +0000651 // Set first operand
Evan Cheng4df60f52008-11-07 09:06:08 +0000652 unsigned OpIdx = 0;
653 if (ImplicitRd)
654 // Special handling for implicit use (e.g. PC).
655 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRd)
656 << ARMII::RegRdShift);
657 else
658 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000659
660 // Set second operand
Evan Cheng83b5cf02008-11-05 23:22:34 +0000661 if (ImplicitRn)
662 // Special handling for implicit use (e.g. PC).
663 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
664 << ARMII::RegRnShift);
Evan Cheng4df60f52008-11-07 09:06:08 +0000665 else
666 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000667
Evan Cheng05c356e2008-11-08 01:44:13 +0000668 // If this is a two-address operand, skip it. e.g. LDR_PRE.
669 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
670 ++OpIdx;
671
Evan Cheng83b5cf02008-11-05 23:22:34 +0000672 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Chengd87293c2008-11-06 08:47:38 +0000673 unsigned AM2Opc = (ImplicitRn == ARM::PC)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000674 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Cheng7602e112008-09-02 06:52:38 +0000675
Evan Chenge7de7e32008-09-13 01:44:01 +0000676 // Set bit U(23) according to sign of immed value (positive or negative).
Evan Cheng83b5cf02008-11-05 23:22:34 +0000677 Binary |= ((ARM_AM::getAM2Op(AM2Opc) == ARM_AM::add ? 1 : 0) <<
Evan Chenge7de7e32008-09-13 01:44:01 +0000678 ARMII::U_BitShift);
Evan Cheng7602e112008-09-02 06:52:38 +0000679 if (!MO2.getReg()) { // is immediate
Evan Cheng83b5cf02008-11-05 23:22:34 +0000680 if (ARM_AM::getAM2Offset(AM2Opc))
Evan Cheng7602e112008-09-02 06:52:38 +0000681 // Set the value of offset_12 field
Evan Cheng83b5cf02008-11-05 23:22:34 +0000682 Binary |= ARM_AM::getAM2Offset(AM2Opc);
683 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +0000684 return;
Evan Cheng7602e112008-09-02 06:52:38 +0000685 }
686
687 // Set bit I(25), because this is not in immediate enconding.
688 Binary |= 1 << ARMII::I_BitShift;
689 assert(TargetRegisterInfo::isPhysicalRegister(MO2.getReg()));
690 // Set bit[3:0] to the corresponding Rm register
691 Binary |= ARMRegisterInfo::getRegisterNumbering(MO2.getReg());
692
693 // if this instr is in scaled register offset/index instruction, set
694 // shift_immed(bit[11:7]) and shift(bit[6:5]) fields.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000695 if (unsigned ShImm = ARM_AM::getAM2Offset(AM2Opc)) {
696 Binary |= getShiftOp(AM2Opc) << 5; // shift
697 Binary |= ShImm << 7; // shift_immed
Evan Cheng7602e112008-09-02 06:52:38 +0000698 }
699
Evan Cheng83b5cf02008-11-05 23:22:34 +0000700 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000701}
702
Evan Cheng83b5cf02008-11-05 23:22:34 +0000703void ARMCodeEmitter::emitMiscLoadStoreInstruction(const MachineInstr &MI,
704 unsigned ImplicitRn) {
Evan Cheng05c356e2008-11-08 01:44:13 +0000705 const TargetInstrDesc &TID = MI.getDesc();
706
Evan Chengedda31c2008-11-05 18:35:52 +0000707 // Part of binary is determined by TableGn.
708 unsigned Binary = getBinaryCodeForInstr(MI);
709
Jim Grosbach33412622008-10-07 19:05:35 +0000710 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000711 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng057d0c32008-09-18 07:28:19 +0000712
Evan Cheng7602e112008-09-02 06:52:38 +0000713 // Set first operand
714 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
715
716 // Set second operand
Evan Cheng83b5cf02008-11-05 23:22:34 +0000717 unsigned OpIdx = 1;
718 if (ImplicitRn)
719 // Special handling for implicit use (e.g. PC).
720 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
721 << ARMII::RegRnShift);
Evan Cheng4df60f52008-11-07 09:06:08 +0000722 else
723 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000724
Evan Cheng05c356e2008-11-08 01:44:13 +0000725 // If this is a two-address operand, skip it. e.g. LDRH_POST.
726 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
727 ++OpIdx;
728
Evan Cheng83b5cf02008-11-05 23:22:34 +0000729 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Chengd87293c2008-11-06 08:47:38 +0000730 unsigned AM3Opc = (ImplicitRn == ARM::PC)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000731 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Cheng7602e112008-09-02 06:52:38 +0000732
Evan Chenge7de7e32008-09-13 01:44:01 +0000733 // Set bit U(23) according to sign of immed value (positive or negative)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000734 Binary |= ((ARM_AM::getAM3Op(AM3Opc) == ARM_AM::add ? 1 : 0) <<
Evan Cheng7602e112008-09-02 06:52:38 +0000735 ARMII::U_BitShift);
736
737 // If this instr is in register offset/index encoding, set bit[3:0]
738 // to the corresponding Rm register.
739 if (MO2.getReg()) {
740 Binary |= ARMRegisterInfo::getRegisterNumbering(MO2.getReg());
Evan Cheng83b5cf02008-11-05 23:22:34 +0000741 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +0000742 return;
Evan Cheng7602e112008-09-02 06:52:38 +0000743 }
744
Evan Chengd87293c2008-11-06 08:47:38 +0000745 // This instr is in immediate offset/index encoding, set bit 22 to 1.
Evan Cheng97f48c32008-11-06 22:15:19 +0000746 Binary |= 1 << ARMII::AM3_I_BitShift;
Evan Cheng83b5cf02008-11-05 23:22:34 +0000747 if (unsigned ImmOffs = ARM_AM::getAM3Offset(AM3Opc)) {
Evan Cheng7602e112008-09-02 06:52:38 +0000748 // Set operands
749 Binary |= (ImmOffs >> 4) << 8; // immedH
750 Binary |= (ImmOffs & ~0xF); // immedL
751 }
752
Evan Cheng83b5cf02008-11-05 23:22:34 +0000753 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000754}
755
Evan Chengedda31c2008-11-05 18:35:52 +0000756void ARMCodeEmitter::emitLoadStoreMultipleInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +0000757 // Part of binary is determined by TableGn.
758 unsigned Binary = getBinaryCodeForInstr(MI);
759
Jim Grosbach33412622008-10-07 19:05:35 +0000760 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000761 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng057d0c32008-09-18 07:28:19 +0000762
Evan Cheng7602e112008-09-02 06:52:38 +0000763 // Set first operand
764 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRnShift;
765
766 // Set addressing mode by modifying bits U(23) and P(24)
767 // IA - Increment after - bit U = 1 and bit P = 0
768 // IB - Increment before - bit U = 1 and bit P = 1
769 // DA - Decrement after - bit U = 0 and bit P = 0
770 // DB - Decrement before - bit U = 0 and bit P = 1
771 const MachineOperand &MO = MI.getOperand(1);
772 ARM_AM::AMSubMode Mode = ARM_AM::getAM4SubMode(MO.getImm());
773 switch (Mode) {
774 default: assert(0 && "Unknown addressing sub-mode!");
775 case ARM_AM::da: break;
Evan Cheng97f48c32008-11-06 22:15:19 +0000776 case ARM_AM::db: Binary |= 0x1 << ARMII::P_BitShift; break;
777 case ARM_AM::ia: Binary |= 0x1 << ARMII::U_BitShift; break;
778 case ARM_AM::ib: Binary |= 0x3 << ARMII::U_BitShift; break;
Evan Cheng7602e112008-09-02 06:52:38 +0000779 }
780
781 // Set bit W(21)
782 if (ARM_AM::getAM4WBFlag(MO.getImm()))
Evan Cheng97f48c32008-11-06 22:15:19 +0000783 Binary |= 0x1 << ARMII::W_BitShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000784
785 // Set registers
786 for (unsigned i = 4, e = MI.getNumOperands(); i != e; ++i) {
787 const MachineOperand &MO = MI.getOperand(i);
Dan Gohmand735b802008-10-03 15:45:36 +0000788 if (MO.isReg() && MO.isImplicit())
Evan Cheng7602e112008-09-02 06:52:38 +0000789 continue;
790 unsigned RegNum = ARMRegisterInfo::getRegisterNumbering(MO.getReg());
791 assert(TargetRegisterInfo::isPhysicalRegister(MO.getReg()) &&
792 RegNum < 16);
793 Binary |= 0x1 << RegNum;
794 }
795
Evan Cheng83b5cf02008-11-05 23:22:34 +0000796 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000797}
798
Evan Chengfbc9d412008-11-06 01:21:28 +0000799void ARMCodeEmitter::emitMulFrmInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +0000800 const TargetInstrDesc &TID = MI.getDesc();
801
802 // Part of binary is determined by TableGn.
803 unsigned Binary = getBinaryCodeForInstr(MI);
804
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000805 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000806 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000807
808 // Encode S bit if MI modifies CPSR.
809 Binary |= getAddrModeSBit(MI, TID);
810
811 // 32x32->64bit operations have two destination registers. The number
812 // of register definitions will tell us if that's what we're dealing with.
Evan Cheng97f48c32008-11-06 22:15:19 +0000813 unsigned OpIdx = 0;
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000814 if (TID.getNumDefs() == 2)
815 Binary |= getMachineOpValue (MI, OpIdx++) << ARMII::RegRdLoShift;
816
817 // Encode Rd
818 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdHiShift;
819
820 // Encode Rm
821 Binary |= getMachineOpValue(MI, OpIdx++);
822
823 // Encode Rs
824 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRsShift;
825
Evan Chengfbc9d412008-11-06 01:21:28 +0000826 // Many multiple instructions (e.g. MLA) have three src operands. Encode
827 // it as Rn (for multiply, that's in the same offset as RdLo.
Evan Cheng97f48c32008-11-06 22:15:19 +0000828 if (TID.getNumOperands() > OpIdx &&
829 !TID.OpInfo[OpIdx].isPredicate() &&
830 !TID.OpInfo[OpIdx].isOptionalDef())
831 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRdLoShift;
832
833 emitWordLE(Binary);
834}
835
836void ARMCodeEmitter::emitExtendInstruction(const MachineInstr &MI) {
837 const TargetInstrDesc &TID = MI.getDesc();
838
839 // Part of binary is determined by TableGn.
840 unsigned Binary = getBinaryCodeForInstr(MI);
841
842 // Set the conditional execution predicate
843 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
844
845 unsigned OpIdx = 0;
846
847 // Encode Rd
848 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
849
850 const MachineOperand &MO1 = MI.getOperand(OpIdx++);
851 const MachineOperand &MO2 = MI.getOperand(OpIdx);
852 if (MO2.isReg()) {
853 // Two register operand form.
854 // Encode Rn.
855 Binary |= getMachineOpValue(MI, MO1) << ARMII::RegRnShift;
856
857 // Encode Rm.
858 Binary |= getMachineOpValue(MI, MO2);
859 ++OpIdx;
860 } else {
861 Binary |= getMachineOpValue(MI, MO1);
862 }
863
864 // Encode rot imm (0, 8, 16, or 24) if it has a rotate immediate operand.
865 if (MI.getOperand(OpIdx).isImm() &&
866 !TID.OpInfo[OpIdx].isPredicate() &&
867 !TID.OpInfo[OpIdx].isOptionalDef())
868 Binary |= (getMachineOpValue(MI, OpIdx) / 8) << ARMII::ExtRotImmShift;
Evan Chengfbc9d412008-11-06 01:21:28 +0000869
Evan Cheng83b5cf02008-11-05 23:22:34 +0000870 emitWordLE(Binary);
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000871}
872
Evan Cheng8b59db32008-11-07 01:41:35 +0000873void ARMCodeEmitter::emitMiscArithInstruction(const MachineInstr &MI) {
874 const TargetInstrDesc &TID = MI.getDesc();
875
876 // Part of binary is determined by TableGn.
877 unsigned Binary = getBinaryCodeForInstr(MI);
878
879 // Set the conditional execution predicate
880 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
881
882 unsigned OpIdx = 0;
883
884 // Encode Rd
885 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
886
887 const MachineOperand &MO = MI.getOperand(OpIdx++);
888 if (OpIdx == TID.getNumOperands() ||
889 TID.OpInfo[OpIdx].isPredicate() ||
890 TID.OpInfo[OpIdx].isOptionalDef()) {
891 // Encode Rm and it's done.
892 Binary |= getMachineOpValue(MI, MO);
893 emitWordLE(Binary);
894 return;
895 }
896
897 // Encode Rn.
898 Binary |= getMachineOpValue(MI, MO) << ARMII::RegRnShift;
899
900 // Encode Rm.
901 Binary |= getMachineOpValue(MI, OpIdx++);
902
903 // Encode shift_imm.
904 unsigned ShiftAmt = MI.getOperand(OpIdx).getImm();
905 assert(ShiftAmt < 32 && "shift_imm range is 0 to 31!");
906 Binary |= ShiftAmt << ARMII::ShiftShift;
907
908 emitWordLE(Binary);
909}
910
Evan Chengedda31c2008-11-05 18:35:52 +0000911void ARMCodeEmitter::emitBranchInstruction(const MachineInstr &MI) {
912 const TargetInstrDesc &TID = MI.getDesc();
913
Evan Cheng12c3a532008-11-06 17:48:05 +0000914 if (TID.Opcode == ARM::TPsoft)
915 abort(); // FIXME
916
Evan Cheng7602e112008-09-02 06:52:38 +0000917 // Part of binary is determined by TableGn.
918 unsigned Binary = getBinaryCodeForInstr(MI);
919
Evan Chengedda31c2008-11-05 18:35:52 +0000920 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000921 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chengedda31c2008-11-05 18:35:52 +0000922
923 // Set signed_immed_24 field
924 Binary |= getMachineOpValue(MI, 0);
925
Evan Cheng83b5cf02008-11-05 23:22:34 +0000926 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +0000927}
928
Evan Cheng437c1732008-11-07 22:30:53 +0000929void ARMCodeEmitter::emitInlineJumpTable(unsigned JTIndex) {
Evan Cheng4df60f52008-11-07 09:06:08 +0000930 // Remember the base address of the inline jump table.
Evan Cheng437c1732008-11-07 22:30:53 +0000931 intptr_t JTBase = MCE.getCurrentPCValue();
932 JTI->addJumpTableBaseAddr(JTIndex, JTBase);
933 DOUT << " ** Jump Table #" << JTIndex << " @ " << (void*)JTBase << '\n';
Evan Cheng4df60f52008-11-07 09:06:08 +0000934
935 // Now emit the jump table entries.
936 const std::vector<MachineBasicBlock*> &MBBs = (*MJTEs)[JTIndex].MBBs;
937 for (unsigned i = 0, e = MBBs.size(); i != e; ++i) {
938 if (IsPIC)
939 // DestBB address - JT base.
Evan Cheng437c1732008-11-07 22:30:53 +0000940 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_pic_jt, JTBase);
Evan Cheng4df60f52008-11-07 09:06:08 +0000941 else
942 // Absolute DestBB address.
943 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_absolute);
944 emitWordLE(0);
945 }
946}
947
Evan Chengedda31c2008-11-05 18:35:52 +0000948void ARMCodeEmitter::emitMiscBranchInstruction(const MachineInstr &MI) {
949 const TargetInstrDesc &TID = MI.getDesc();
Evan Chengedda31c2008-11-05 18:35:52 +0000950
Evan Cheng437c1732008-11-07 22:30:53 +0000951 // Handle jump tables.
952 if (TID.Opcode == ARM::BR_JTr || TID.Opcode == ARM::BR_JTadd) {
953 // First emit a ldr pc, [] instruction.
954 emitDataProcessingInstruction(MI, ARM::PC);
955
956 // Then emit the inline jump table.
957 unsigned JTIndex = (TID.Opcode == ARM::BR_JTr)
958 ? MI.getOperand(1).getIndex() : MI.getOperand(2).getIndex();
959 emitInlineJumpTable(JTIndex);
960 return;
961 } else if (TID.Opcode == ARM::BR_JTm) {
Evan Cheng4df60f52008-11-07 09:06:08 +0000962 // First emit a ldr pc, [] instruction.
963 emitLoadStoreInstruction(MI, ARM::PC);
964
965 // Then emit the inline jump table.
Evan Cheng437c1732008-11-07 22:30:53 +0000966 emitInlineJumpTable(MI.getOperand(3).getIndex());
Evan Cheng4df60f52008-11-07 09:06:08 +0000967 return;
968 }
969
Evan Chengedda31c2008-11-05 18:35:52 +0000970 // Part of binary is determined by TableGn.
971 unsigned Binary = getBinaryCodeForInstr(MI);
972
973 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000974 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chengedda31c2008-11-05 18:35:52 +0000975
976 if (TID.Opcode == ARM::BX_RET)
977 // The return register is LR.
978 Binary |= ARMRegisterInfo::getRegisterNumbering(ARM::LR);
979 else
980 // otherwise, set the return register
981 Binary |= getMachineOpValue(MI, 0);
982
Evan Cheng83b5cf02008-11-05 23:22:34 +0000983 emitWordLE(Binary);
Evan Cheng148b6a42007-07-05 21:15:40 +0000984}
Evan Cheng7602e112008-09-02 06:52:38 +0000985
Evan Cheng96581d32008-11-11 02:11:05 +0000986void ARMCodeEmitter::emitVFPArithInstruction(const MachineInstr &MI) {
987 const TargetInstrDesc &TID = MI.getDesc();
988
989 // Part of binary is determined by TableGn.
990 unsigned Binary = getBinaryCodeForInstr(MI);
991
992 // Set the conditional execution predicate
993 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
994
995 unsigned OpIdx = 0;
996 assert((Binary & ARMII::D_BitShift) == 0 &&
997 (Binary & ARMII::N_BitShift) == 0 &&
998 (Binary & ARMII::M_BitShift) == 0 && "VFP encoding bug!");
999
1000 // Encode Dd / Sd.
1001 unsigned RegD = getMachineOpValue(MI, OpIdx++);
1002 Binary |= (RegD & 0x0f) << ARMII::RegFdShift;
1003 Binary |= (RegD & 0x10) << ARMII::D_BitShift;
1004
1005 // If this is a two-address operand, skip it, e.g. FMACD.
1006 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1007 ++OpIdx;
1008
1009 // Encode Dn / Sn.
1010 if ((TID.TSFlags & ARMII::FormMask) == ARMII::VFPBinaryFrm) {
1011 unsigned RegN = getMachineOpValue(MI, OpIdx++);
1012 Binary |= (RegN & 0x0f);
1013 Binary |= (RegN & 0x10) << ARMII::N_BitShift;
1014 }
1015
1016 // Encode Dm / Sm.
1017 unsigned RegM = getMachineOpValue(MI, OpIdx++);
1018 Binary |= (RegM & 0x0f);
1019 Binary |= (RegM & 0x10) << ARMII::M_BitShift;
1020
1021 emitWordLE(Binary);
1022}
1023
Evan Cheng7602e112008-09-02 06:52:38 +00001024#include "ARMGenCodeEmitter.inc"