blob: c27fc5f1eafff4d3edf52f82d3a539030c8a57f0 [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 Chengcb5201f2008-11-11 22:19:31 +000078 void emitDWordLE(uint64_t Binary);
79
Evan Cheng057d0c32008-09-18 07:28:19 +000080 void emitConstPoolInstruction(const MachineInstr &MI);
81
Evan Cheng90922132008-11-06 02:25:39 +000082 void emitMOVi2piecesInstruction(const MachineInstr &MI);
83
Evan Cheng4df60f52008-11-07 09:06:08 +000084 void emitLEApcrelJTInstruction(const MachineInstr &MI);
85
Evan Chenga9562552008-11-14 20:09:11 +000086 void emitPseudoMoveInstruction(const MachineInstr &MI);
87
Evan Cheng83b5cf02008-11-05 23:22:34 +000088 void addPCLabel(unsigned LabelID);
89
Evan Cheng057d0c32008-09-18 07:28:19 +000090 void emitPseudoInstruction(const MachineInstr &MI);
91
Evan Cheng5f1db7b2008-09-12 22:01:15 +000092 unsigned getMachineSoRegOpValue(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +000093 const TargetInstrDesc &TID,
Evan Chengeb4ed4b2008-10-31 19:10:44 +000094 const MachineOperand &MO,
Evan Cheng5f1db7b2008-09-12 22:01:15 +000095 unsigned OpIdx);
96
Evan Cheng90922132008-11-06 02:25:39 +000097 unsigned getMachineSoImmOpValue(unsigned SoImm);
Evan Chengeb4ed4b2008-10-31 19:10:44 +000098
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +000099 unsigned getAddrModeSBit(const MachineInstr &MI,
100 const TargetInstrDesc &TID) const;
Evan Cheng49a9f292008-09-12 22:45:55 +0000101
Evan Cheng83b5cf02008-11-05 23:22:34 +0000102 void emitDataProcessingInstruction(const MachineInstr &MI,
Evan Cheng437c1732008-11-07 22:30:53 +0000103 unsigned ImplicitRd = 0,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000104 unsigned ImplicitRn = 0);
Evan Cheng7602e112008-09-02 06:52:38 +0000105
Evan Cheng83b5cf02008-11-05 23:22:34 +0000106 void emitLoadStoreInstruction(const MachineInstr &MI,
Evan Cheng4df60f52008-11-07 09:06:08 +0000107 unsigned ImplicitRd = 0,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000108 unsigned ImplicitRn = 0);
Evan Chengedda31c2008-11-05 18:35:52 +0000109
Evan Cheng83b5cf02008-11-05 23:22:34 +0000110 void emitMiscLoadStoreInstruction(const MachineInstr &MI,
111 unsigned ImplicitRn = 0);
Evan Chengedda31c2008-11-05 18:35:52 +0000112
113 void emitLoadStoreMultipleInstruction(const MachineInstr &MI);
114
Evan Chengfbc9d412008-11-06 01:21:28 +0000115 void emitMulFrmInstruction(const MachineInstr &MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000116
Evan Cheng97f48c32008-11-06 22:15:19 +0000117 void emitExtendInstruction(const MachineInstr &MI);
118
Evan Cheng8b59db32008-11-07 01:41:35 +0000119 void emitMiscArithInstruction(const MachineInstr &MI);
120
Evan Chengedda31c2008-11-05 18:35:52 +0000121 void emitBranchInstruction(const MachineInstr &MI);
122
Evan Cheng437c1732008-11-07 22:30:53 +0000123 void emitInlineJumpTable(unsigned JTIndex);
Evan Cheng4df60f52008-11-07 09:06:08 +0000124
Evan Chengedda31c2008-11-05 18:35:52 +0000125 void emitMiscBranchInstruction(const MachineInstr &MI);
Evan Cheng7602e112008-09-02 06:52:38 +0000126
Evan Cheng96581d32008-11-11 02:11:05 +0000127 void emitVFPArithInstruction(const MachineInstr &MI);
128
Evan Cheng78be83d2008-11-11 19:40:26 +0000129 void emitVFPConversionInstruction(const MachineInstr &MI);
130
Evan Chengcd8e66a2008-11-11 21:48:44 +0000131 void emitVFPLoadStoreInstruction(const MachineInstr &MI);
132
133 void emitVFPLoadStoreMultipleInstruction(const MachineInstr &MI);
134
135 void emitMiscInstruction(const MachineInstr &MI);
136
Evan Cheng7602e112008-09-02 06:52:38 +0000137 /// getBinaryCodeForInstr - This function, generated by the
138 /// CodeEmitterGenerator using TableGen, produces the binary encoding for
139 /// machine instructions.
140 ///
Raul Herbster9c1a3822007-08-30 23:29:26 +0000141 unsigned getBinaryCodeForInstr(const MachineInstr &MI);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000142
Evan Cheng7602e112008-09-02 06:52:38 +0000143 /// getMachineOpValue - Return binary encoding of operand. If the machine
144 /// operand requires relocation, record the relocation and return zero.
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000145 unsigned getMachineOpValue(const MachineInstr &MI,const MachineOperand &MO);
Evan Cheng7602e112008-09-02 06:52:38 +0000146 unsigned getMachineOpValue(const MachineInstr &MI, unsigned OpIdx) {
147 return getMachineOpValue(MI, MI.getOperand(OpIdx));
148 }
Evan Cheng7602e112008-09-02 06:52:38 +0000149
Evan Cheng83b5cf02008-11-05 23:22:34 +0000150 /// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
Evan Cheng7602e112008-09-02 06:52:38 +0000151 ///
Evan Cheng83b5cf02008-11-05 23:22:34 +0000152 unsigned getShiftOp(unsigned Imm) const ;
Evan Cheng7602e112008-09-02 06:52:38 +0000153
154 /// Routines that handle operands which add machine relocations which are
Evan Cheng437c1732008-11-07 22:30:53 +0000155 /// fixed up by the relocation stage.
Evan Cheng057d0c32008-09-18 07:28:19 +0000156 void emitGlobalAddress(GlobalValue *GV, unsigned Reloc,
Evan Cheng413a89f2008-11-07 22:57:53 +0000157 bool NeedStub, intptr_t ACPV = 0);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000158 void emitExternalSymbolAddress(const char *ES, unsigned Reloc);
Evan Cheng437c1732008-11-07 22:30:53 +0000159 void emitConstPoolAddress(unsigned CPI, unsigned Reloc);
160 void emitJumpTableAddress(unsigned JTIndex, unsigned Reloc);
161 void emitMachineBasicBlock(MachineBasicBlock *BB, unsigned Reloc,
162 intptr_t JTBase = 0);
Evan Cheng148b6a42007-07-05 21:15:40 +0000163 };
Evan Cheng7602e112008-09-02 06:52:38 +0000164 char ARMCodeEmitter::ID = 0;
Evan Cheng148b6a42007-07-05 21:15:40 +0000165}
166
167/// createARMCodeEmitterPass - Return a pass that emits the collected ARM code
168/// to the specified MCE object.
169FunctionPass *llvm::createARMCodeEmitterPass(ARMTargetMachine &TM,
170 MachineCodeEmitter &MCE) {
Evan Cheng7602e112008-09-02 06:52:38 +0000171 return new ARMCodeEmitter(TM, MCE);
Evan Cheng148b6a42007-07-05 21:15:40 +0000172}
173
Evan Cheng7602e112008-09-02 06:52:38 +0000174bool ARMCodeEmitter::runOnMachineFunction(MachineFunction &MF) {
Evan Cheng148b6a42007-07-05 21:15:40 +0000175 assert((MF.getTarget().getRelocationModel() != Reloc::Default ||
176 MF.getTarget().getRelocationModel() != Reloc::Static) &&
177 "JIT relocation model must be set to static or default!");
178 II = ((ARMTargetMachine&)MF.getTarget()).getInstrInfo();
179 TD = ((ARMTargetMachine&)MF.getTarget()).getTargetData();
Evan Cheng057d0c32008-09-18 07:28:19 +0000180 JTI = ((ARMTargetMachine&)MF.getTarget()).getJITInfo();
Evan Cheng938b9d82008-10-31 19:55:13 +0000181 MCPEs = &MF.getConstantPool()->getConstants();
Evan Cheng4df60f52008-11-07 09:06:08 +0000182 MJTEs = &MF.getJumpTableInfo()->getJumpTables();
183 IsPIC = TM.getRelocationModel() == Reloc::PIC_;
Evan Cheng3cc82232008-11-08 07:38:22 +0000184 JTI->Initialize(MF, IsPIC);
Evan Cheng148b6a42007-07-05 21:15:40 +0000185
186 do {
Evan Cheng42d5ee062008-09-13 01:15:21 +0000187 DOUT << "JITTing function '" << MF.getFunction()->getName() << "'\n";
Evan Cheng148b6a42007-07-05 21:15:40 +0000188 MCE.startFunction(MF);
189 for (MachineFunction::iterator MBB = MF.begin(), E = MF.end();
190 MBB != E; ++MBB) {
191 MCE.StartMachineBasicBlock(MBB);
192 for (MachineBasicBlock::const_iterator I = MBB->begin(), E = MBB->end();
193 I != E; ++I)
194 emitInstruction(*I);
195 }
196 } while (MCE.finishFunction(MF));
197
198 return false;
199}
200
Evan Cheng83b5cf02008-11-05 23:22:34 +0000201/// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
Evan Cheng7602e112008-09-02 06:52:38 +0000202///
Evan Cheng83b5cf02008-11-05 23:22:34 +0000203unsigned ARMCodeEmitter::getShiftOp(unsigned Imm) const {
204 switch (ARM_AM::getAM2ShiftOpc(Imm)) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000205 default: assert(0 && "Unknown shift opc!");
Evan Cheng7602e112008-09-02 06:52:38 +0000206 case ARM_AM::asr: return 2;
207 case ARM_AM::lsl: return 0;
208 case ARM_AM::lsr: return 1;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000209 case ARM_AM::ror:
Evan Cheng7602e112008-09-02 06:52:38 +0000210 case ARM_AM::rrx: return 3;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000211 }
Evan Cheng7602e112008-09-02 06:52:38 +0000212 return 0;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000213}
214
Evan Cheng7602e112008-09-02 06:52:38 +0000215/// getMachineOpValue - Return binary encoding of operand. If the machine
216/// operand requires relocation, record the relocation and return zero.
217unsigned ARMCodeEmitter::getMachineOpValue(const MachineInstr &MI,
218 const MachineOperand &MO) {
Dan Gohmand735b802008-10-03 15:45:36 +0000219 if (MO.isReg())
Evan Cheng7602e112008-09-02 06:52:38 +0000220 return ARMRegisterInfo::getRegisterNumbering(MO.getReg());
Dan Gohmand735b802008-10-03 15:45:36 +0000221 else if (MO.isImm())
Evan Cheng7602e112008-09-02 06:52:38 +0000222 return static_cast<unsigned>(MO.getImm());
Dan Gohmand735b802008-10-03 15:45:36 +0000223 else if (MO.isGlobal())
Jim Grosbach016d34c2008-10-03 15:52:42 +0000224 emitGlobalAddress(MO.getGlobal(), ARM::reloc_arm_branch, true);
Dan Gohmand735b802008-10-03 15:45:36 +0000225 else if (MO.isSymbol())
Evan Cheng10332512008-11-08 07:22:33 +0000226 emitExternalSymbolAddress(MO.getSymbolName(), ARM::reloc_arm_branch);
Evan Cheng580c0df2008-11-12 01:02:24 +0000227 else if (MO.isCPI()) {
228 const TargetInstrDesc &TID = MI.getDesc();
229 // For VFP load, the immediate offset is multiplied by 4.
230 unsigned Reloc = ((TID.TSFlags & ARMII::FormMask) == ARMII::VFPLdStFrm)
231 ? ARM::reloc_arm_vfp_cp_entry : ARM::reloc_arm_cp_entry;
232 emitConstPoolAddress(MO.getIndex(), Reloc);
233 } else if (MO.isJTI())
Chris Lattner8aa797a2007-12-30 23:10:15 +0000234 emitJumpTableAddress(MO.getIndex(), ARM::reloc_arm_relative);
Dan Gohmand735b802008-10-03 15:45:36 +0000235 else if (MO.isMBB())
Evan Cheng4df60f52008-11-07 09:06:08 +0000236 emitMachineBasicBlock(MO.getMBB(), ARM::reloc_arm_branch);
Evan Cheng2aa0e642008-09-13 01:55:59 +0000237 else {
238 cerr << "ERROR: Unknown type of MachineOperand: " << MO << "\n";
239 abort();
240 }
Evan Cheng7602e112008-09-02 06:52:38 +0000241 return 0;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000242}
243
Evan Cheng057d0c32008-09-18 07:28:19 +0000244/// emitGlobalAddress - Emit the specified address to the code stream.
Evan Cheng0ff94f72007-08-07 01:37:15 +0000245///
Evan Cheng413a89f2008-11-07 22:57:53 +0000246void ARMCodeEmitter::emitGlobalAddress(GlobalValue *GV, unsigned Reloc,
247 bool NeedStub, intptr_t ACPV) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000248 MCE.addRelocation(MachineRelocation::getGV(MCE.getCurrentPCOffset(),
Evan Cheng413a89f2008-11-07 22:57:53 +0000249 Reloc, GV, ACPV, NeedStub));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000250}
251
252/// emitExternalSymbolAddress - Arrange for the address of an external symbol to
253/// be emitted to the current location in the function, and allow it to be PC
254/// relative.
Evan Cheng7602e112008-09-02 06:52:38 +0000255void ARMCodeEmitter::emitExternalSymbolAddress(const char *ES, unsigned Reloc) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000256 MCE.addRelocation(MachineRelocation::getExtSym(MCE.getCurrentPCOffset(),
257 Reloc, ES));
258}
259
260/// emitConstPoolAddress - Arrange for the address of an constant pool
261/// to be emitted to the current location in the function, and allow it to be PC
262/// relative.
Evan Cheng437c1732008-11-07 22:30:53 +0000263void ARMCodeEmitter::emitConstPoolAddress(unsigned CPI, unsigned Reloc) {
Evan Cheng0f282432008-10-29 23:55:43 +0000264 // Tell JIT emitter we'll resolve the address.
Evan Cheng0ff94f72007-08-07 01:37:15 +0000265 MCE.addRelocation(MachineRelocation::getConstPool(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000266 Reloc, CPI, 0, true));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000267}
268
269/// emitJumpTableAddress - Arrange for the address of a jump table to
270/// be emitted to the current location in the function, and allow it to be PC
271/// relative.
Evan Cheng437c1732008-11-07 22:30:53 +0000272void ARMCodeEmitter::emitJumpTableAddress(unsigned JTIndex, unsigned Reloc) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000273 MCE.addRelocation(MachineRelocation::getJumpTable(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000274 Reloc, JTIndex, 0, true));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000275}
276
Raul Herbster9c1a3822007-08-30 23:29:26 +0000277/// emitMachineBasicBlock - Emit the specified address basic block.
Evan Cheng4df60f52008-11-07 09:06:08 +0000278void ARMCodeEmitter::emitMachineBasicBlock(MachineBasicBlock *BB,
Evan Cheng437c1732008-11-07 22:30:53 +0000279 unsigned Reloc, intptr_t JTBase) {
Raul Herbster9c1a3822007-08-30 23:29:26 +0000280 MCE.addRelocation(MachineRelocation::getBB(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000281 Reloc, BB, JTBase));
Raul Herbster9c1a3822007-08-30 23:29:26 +0000282}
Evan Cheng0ff94f72007-08-07 01:37:15 +0000283
Evan Cheng83b5cf02008-11-05 23:22:34 +0000284void ARMCodeEmitter::emitWordLE(unsigned Binary) {
Evan Cheng4df60f52008-11-07 09:06:08 +0000285#ifndef NDEBUG
286 DOUT << " 0x" << std::hex << std::setw(8) << std::setfill('0')
287 << Binary << std::dec << "\n";
288#endif
Evan Cheng83b5cf02008-11-05 23:22:34 +0000289 MCE.emitWordLE(Binary);
290}
291
Evan Chengcb5201f2008-11-11 22:19:31 +0000292void ARMCodeEmitter::emitDWordLE(uint64_t Binary) {
293#ifndef NDEBUG
294 DOUT << " 0x" << std::hex << std::setw(8) << std::setfill('0')
295 << (unsigned)Binary << std::dec << "\n";
296 DOUT << " 0x" << std::hex << std::setw(8) << std::setfill('0')
297 << (unsigned)(Binary >> 32) << std::dec << "\n";
298#endif
299 MCE.emitDWordLE(Binary);
300}
301
Evan Cheng7602e112008-09-02 06:52:38 +0000302void ARMCodeEmitter::emitInstruction(const MachineInstr &MI) {
Evan Cheng25e04782008-11-04 00:50:32 +0000303 DOUT << "JIT: " << (void*)MCE.getCurrentPCValue() << ":\t" << MI;
Evan Cheng42d5ee062008-09-13 01:15:21 +0000304
Evan Cheng148b6a42007-07-05 21:15:40 +0000305 NumEmitted++; // Keep track of the # of mi's emitted
Evan Chengedda31c2008-11-05 18:35:52 +0000306 switch (MI.getDesc().TSFlags & ARMII::FormMask) {
Evan Chengffa6d962008-11-13 23:36:57 +0000307 default: {
Evan Chengedda31c2008-11-05 18:35:52 +0000308 assert(0 && "Unhandled instruction encoding format!");
309 break;
Evan Chengffa6d962008-11-13 23:36:57 +0000310 }
Evan Chengedda31c2008-11-05 18:35:52 +0000311 case ARMII::Pseudo:
Evan Cheng057d0c32008-09-18 07:28:19 +0000312 emitPseudoInstruction(MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000313 break;
314 case ARMII::DPFrm:
315 case ARMII::DPSoRegFrm:
316 emitDataProcessingInstruction(MI);
317 break;
Evan Cheng148cad82008-11-13 07:34:59 +0000318 case ARMII::LdFrm:
319 case ARMII::StFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000320 emitLoadStoreInstruction(MI);
321 break;
Evan Cheng148cad82008-11-13 07:34:59 +0000322 case ARMII::LdMiscFrm:
323 case ARMII::StMiscFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000324 emitMiscLoadStoreInstruction(MI);
325 break;
Evan Cheng3c4a4ff2008-11-12 07:18:38 +0000326 case ARMII::LdStMulFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000327 emitLoadStoreMultipleInstruction(MI);
328 break;
Evan Chengfbc9d412008-11-06 01:21:28 +0000329 case ARMII::MulFrm:
330 emitMulFrmInstruction(MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000331 break;
Evan Cheng97f48c32008-11-06 22:15:19 +0000332 case ARMII::ExtFrm:
333 emitExtendInstruction(MI);
334 break;
Evan Cheng8b59db32008-11-07 01:41:35 +0000335 case ARMII::ArithMiscFrm:
336 emitMiscArithInstruction(MI);
337 break;
Evan Cheng12c3a532008-11-06 17:48:05 +0000338 case ARMII::BrFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000339 emitBranchInstruction(MI);
340 break;
Evan Cheng12c3a532008-11-06 17:48:05 +0000341 case ARMII::BrMiscFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000342 emitMiscBranchInstruction(MI);
343 break;
Evan Cheng96581d32008-11-11 02:11:05 +0000344 // VFP instructions.
345 case ARMII::VFPUnaryFrm:
346 case ARMII::VFPBinaryFrm:
347 emitVFPArithInstruction(MI);
348 break;
Evan Cheng78be83d2008-11-11 19:40:26 +0000349 case ARMII::VFPConv1Frm:
350 case ARMII::VFPConv2Frm:
Evan Cheng0a0ab132008-11-11 22:46:12 +0000351 case ARMII::VFPConv3Frm:
Evan Cheng80a11982008-11-12 06:41:41 +0000352 case ARMII::VFPConv4Frm:
353 case ARMII::VFPConv5Frm:
Evan Cheng78be83d2008-11-11 19:40:26 +0000354 emitVFPConversionInstruction(MI);
355 break;
Evan Chengcd8e66a2008-11-11 21:48:44 +0000356 case ARMII::VFPLdStFrm:
357 emitVFPLoadStoreInstruction(MI);
358 break;
359 case ARMII::VFPLdStMulFrm:
360 emitVFPLoadStoreMultipleInstruction(MI);
361 break;
362 case ARMII::VFPMiscFrm:
363 emitMiscInstruction(MI);
364 break;
Evan Chengedda31c2008-11-05 18:35:52 +0000365 }
Evan Cheng0ff94f72007-08-07 01:37:15 +0000366}
367
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000368void ARMCodeEmitter::emitConstPoolInstruction(const MachineInstr &MI) {
Evan Cheng437c1732008-11-07 22:30:53 +0000369 unsigned CPI = MI.getOperand(0).getImm(); // CP instruction index.
370 unsigned CPIndex = MI.getOperand(1).getIndex(); // Actual cp entry index.
Evan Cheng938b9d82008-10-31 19:55:13 +0000371 const MachineConstantPoolEntry &MCPE = (*MCPEs)[CPIndex];
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000372
373 // Remember the CONSTPOOL_ENTRY address for later relocation.
374 JTI->addConstantPoolEntryAddr(CPI, MCE.getCurrentPCValue());
375
376 // Emit constpool island entry. In most cases, the actual values will be
377 // resolved and relocated after code emission.
378 if (MCPE.isMachineConstantPoolEntry()) {
379 ARMConstantPoolValue *ACPV =
380 static_cast<ARMConstantPoolValue*>(MCPE.Val.MachineCPVal);
381
Evan Cheng12c3a532008-11-06 17:48:05 +0000382 DOUT << " ** ARM constant pool #" << CPI << " @ "
Evan Cheng437c1732008-11-07 22:30:53 +0000383 << (void*)MCE.getCurrentPCValue() << " " << *ACPV << '\n';
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000384
385 GlobalValue *GV = ACPV->getGV();
386 if (GV) {
387 assert(!ACPV->isStub() && "Don't know how to deal this yet!");
Evan Chenge96a4902008-11-08 01:31:27 +0000388 if (ACPV->isNonLazyPointer())
Evan Cheng9ed2f802008-11-10 01:08:07 +0000389 MCE.addRelocation(MachineRelocation::getIndirectSymbol(
Evan Chenge96a4902008-11-08 01:31:27 +0000390 MCE.getCurrentPCOffset(), ARM::reloc_arm_machine_cp_entry, GV,
391 (intptr_t)ACPV, false));
392 else
393 emitGlobalAddress(GV, ARM::reloc_arm_machine_cp_entry,
Evan Cheng35b0bfd2008-11-13 19:22:28 +0000394 ACPV->isStub() || isa<Function>(GV), (intptr_t)ACPV);
Evan Cheng25e04782008-11-04 00:50:32 +0000395 } else {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000396 assert(!ACPV->isNonLazyPointer() && "Don't know how to deal this yet!");
397 emitExternalSymbolAddress(ACPV->getSymbol(), ARM::reloc_arm_absolute);
398 }
Evan Cheng83b5cf02008-11-05 23:22:34 +0000399 emitWordLE(0);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000400 } else {
401 Constant *CV = MCPE.Val.ConstVal;
402
Evan Cheng35b0bfd2008-11-13 19:22:28 +0000403#ifndef NDEBUG
Evan Cheng12c3a532008-11-06 17:48:05 +0000404 DOUT << " ** Constant pool #" << CPI << " @ "
Evan Cheng35b0bfd2008-11-13 19:22:28 +0000405 << (void*)MCE.getCurrentPCValue() << " ";
406 if (const Function *F = dyn_cast<Function>(CV))
407 DOUT << F->getName();
408 else
409 DOUT << *CV;
410 DOUT << '\n';
411#endif
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000412
413 if (GlobalValue *GV = dyn_cast<GlobalValue>(CV)) {
Evan Cheng35b0bfd2008-11-13 19:22:28 +0000414 emitGlobalAddress(GV, ARM::reloc_arm_absolute, isa<Function>(GV));
Evan Cheng83b5cf02008-11-05 23:22:34 +0000415 emitWordLE(0);
Evan Chengcb5201f2008-11-11 22:19:31 +0000416 } else if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000417 uint32_t Val = *(uint32_t*)CI->getValue().getRawData();
Evan Cheng83b5cf02008-11-05 23:22:34 +0000418 emitWordLE(Val);
Evan Chengcb5201f2008-11-11 22:19:31 +0000419 } else if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV)) {
420 if (CFP->getType() == Type::FloatTy)
421 emitWordLE(CFP->getValueAPF().bitcastToAPInt().getZExtValue());
422 else if (CFP->getType() == Type::DoubleTy)
423 emitDWordLE(CFP->getValueAPF().bitcastToAPInt().getZExtValue());
424 else {
425 assert(0 && "Unable to handle this constantpool entry!");
426 abort();
427 }
428 } else {
429 assert(0 && "Unable to handle this constantpool entry!");
430 abort();
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000431 }
432 }
433}
434
Evan Cheng90922132008-11-06 02:25:39 +0000435void ARMCodeEmitter::emitMOVi2piecesInstruction(const MachineInstr &MI) {
436 const MachineOperand &MO0 = MI.getOperand(0);
437 const MachineOperand &MO1 = MI.getOperand(1);
438 assert(MO1.isImm() && "Not a valid so_imm value!");
439 unsigned V1 = ARM_AM::getSOImmTwoPartFirst(MO1.getImm());
440 unsigned V2 = ARM_AM::getSOImmTwoPartSecond(MO1.getImm());
441
442 // Emit the 'mov' instruction.
443 unsigned Binary = 0xd << 21; // mov: Insts{24-21} = 0b1101
444
445 // Set the conditional execution predicate.
Evan Cheng97f48c32008-11-06 22:15:19 +0000446 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng90922132008-11-06 02:25:39 +0000447
448 // Encode Rd.
449 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
450
451 // Encode so_imm.
452 // Set bit I(25) to identify this is the immediate form of <shifter_op>
453 Binary |= 1 << ARMII::I_BitShift;
454 Binary |= getMachineSoImmOpValue(ARM_AM::getSOImmVal(V1));
455 emitWordLE(Binary);
456
457 // Now the 'orr' instruction.
458 Binary = 0xc << 21; // orr: Insts{24-21} = 0b1100
459
460 // Set the conditional execution predicate.
Evan Cheng97f48c32008-11-06 22:15:19 +0000461 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng90922132008-11-06 02:25:39 +0000462
463 // Encode Rd.
464 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
465
466 // Encode Rn.
467 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRnShift;
468
469 // Encode so_imm.
470 // Set bit I(25) to identify this is the immediate form of <shifter_op>
471 Binary |= 1 << ARMII::I_BitShift;
472 Binary |= getMachineSoImmOpValue(ARM_AM::getSOImmVal(V2));
473 emitWordLE(Binary);
474}
475
Evan Cheng4df60f52008-11-07 09:06:08 +0000476void ARMCodeEmitter::emitLEApcrelJTInstruction(const MachineInstr &MI) {
477 // It's basically add r, pc, (LJTI - $+8)
478
479 const TargetInstrDesc &TID = MI.getDesc();
480
481 // Emit the 'add' instruction.
482 unsigned Binary = 0x4 << 21; // add: Insts{24-31} = 0b0100
483
484 // Set the conditional execution predicate
485 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
486
487 // Encode S bit if MI modifies CPSR.
488 Binary |= getAddrModeSBit(MI, TID);
489
490 // Encode Rd.
491 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
492
493 // Encode Rn which is PC.
494 Binary |= ARMRegisterInfo::getRegisterNumbering(ARM::PC) << ARMII::RegRnShift;
495
496 // Encode the displacement.
497 // Set bit I(25) to identify this is the immediate form of <shifter_op>.
498 Binary |= 1 << ARMII::I_BitShift;
499 emitJumpTableAddress(MI.getOperand(1).getIndex(), ARM::reloc_arm_jt_base);
500
501 emitWordLE(Binary);
502}
503
Evan Chenga9562552008-11-14 20:09:11 +0000504void ARMCodeEmitter::emitPseudoMoveInstruction(const MachineInstr &MI) {
505 unsigned Opcode = MI.getDesc().Opcode;
506
507 // Part of binary is determined by TableGn.
508 unsigned Binary = getBinaryCodeForInstr(MI);
509
510 // Set the conditional execution predicate
511 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
512
513 // Encode S bit if MI modifies CPSR.
514 if (Opcode == ARM::MOVsrl_flag || Opcode == ARM::MOVsra_flag)
515 Binary |= 1 << ARMII::S_BitShift;
516
517 // Encode register def if there is one.
518 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
519
520 // Encode the shift operation.
521 switch (Opcode) {
522 default: break;
523 case ARM::MOVrx:
524 // rrx
525 Binary |= 0x6 << 4;
526 break;
527 case ARM::MOVsrl_flag:
528 // lsr #1
529 Binary |= (0x2 << 4) | (1 << 7);
530 break;
531 case ARM::MOVsra_flag:
532 // asr #1
533 Binary |= (0x4 << 4) | (1 << 7);
534 break;
535 }
536
537 // Encode register Rm.
538 Binary |= getMachineOpValue(MI, 1);
539
540 emitWordLE(Binary);
541}
542
Evan Cheng83b5cf02008-11-05 23:22:34 +0000543void ARMCodeEmitter::addPCLabel(unsigned LabelID) {
Evan Cheng12c3a532008-11-06 17:48:05 +0000544 DOUT << " ** LPC" << LabelID << " @ "
Evan Cheng83b5cf02008-11-05 23:22:34 +0000545 << (void*)MCE.getCurrentPCValue() << '\n';
546 JTI->addPCLabelAddr(LabelID, MCE.getCurrentPCValue());
547}
548
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000549void ARMCodeEmitter::emitPseudoInstruction(const MachineInstr &MI) {
550 unsigned Opcode = MI.getDesc().Opcode;
551 switch (Opcode) {
552 default:
553 abort(); // FIXME:
Evan Chengffa6d962008-11-13 23:36:57 +0000554 case TargetInstrInfo::INLINEASM: {
Evan Chenge3066ab2008-11-19 23:21:33 +0000555 // We allow inline assembler nodes with empty bodies - they can
556 // implicitly define registers, which is ok for JIT.
557 if (MI.getOperand(0).getSymbolName()[0]) {
558 assert(0 && "JIT does not support inline asm!\n");
559 abort();
560 }
Evan Chengffa6d962008-11-13 23:36:57 +0000561 break;
562 }
563 case TargetInstrInfo::DBG_LABEL:
564 case TargetInstrInfo::EH_LABEL:
565 MCE.emitLabel(MI.getOperand(0).getImm());
566 break;
567 case TargetInstrInfo::IMPLICIT_DEF:
568 case TargetInstrInfo::DECLARE:
569 case ARM::DWARF_LOC:
570 // Do nothing.
571 break;
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000572 case ARM::CONSTPOOL_ENTRY:
573 emitConstPoolInstruction(MI);
574 break;
575 case ARM::PICADD: {
Evan Cheng25e04782008-11-04 00:50:32 +0000576 // Remember of the address of the PC label for relocation later.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000577 addPCLabel(MI.getOperand(2).getImm());
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000578 // PICADD is just an add instruction that implicitly read pc.
Evan Cheng437c1732008-11-07 22:30:53 +0000579 emitDataProcessingInstruction(MI, 0, ARM::PC);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000580 break;
581 }
582 case ARM::PICLDR:
583 case ARM::PICLDRB:
584 case ARM::PICSTR:
585 case ARM::PICSTRB: {
586 // Remember of the address of the PC label for relocation later.
587 addPCLabel(MI.getOperand(2).getImm());
588 // These are just load / store instructions that implicitly read pc.
Evan Cheng4df60f52008-11-07 09:06:08 +0000589 emitLoadStoreInstruction(MI, 0, ARM::PC);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000590 break;
591 }
592 case ARM::PICLDRH:
593 case ARM::PICLDRSH:
594 case ARM::PICLDRSB:
595 case ARM::PICSTRH: {
596 // Remember of the address of the PC label for relocation later.
597 addPCLabel(MI.getOperand(2).getImm());
598 // These are just load / store instructions that implicitly read pc.
599 emitMiscLoadStoreInstruction(MI, ARM::PC);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000600 break;
601 }
Evan Cheng90922132008-11-06 02:25:39 +0000602 case ARM::MOVi2pieces:
603 // Two instructions to materialize a constant.
604 emitMOVi2piecesInstruction(MI);
605 break;
Evan Cheng4df60f52008-11-07 09:06:08 +0000606 case ARM::LEApcrelJT:
607 // Materialize jumptable address.
608 emitLEApcrelJTInstruction(MI);
609 break;
Evan Chenga9562552008-11-14 20:09:11 +0000610 case ARM::MOVrx:
611 case ARM::MOVsrl_flag:
612 case ARM::MOVsra_flag:
613 emitPseudoMoveInstruction(MI);
614 break;
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000615 }
616}
617
618
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000619unsigned ARMCodeEmitter::getMachineSoRegOpValue(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +0000620 const TargetInstrDesc &TID,
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000621 const MachineOperand &MO,
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000622 unsigned OpIdx) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000623 unsigned Binary = getMachineOpValue(MI, MO);
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000624
625 const MachineOperand &MO1 = MI.getOperand(OpIdx + 1);
626 const MachineOperand &MO2 = MI.getOperand(OpIdx + 2);
627 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO2.getImm());
628
629 // Encode the shift opcode.
630 unsigned SBits = 0;
631 unsigned Rs = MO1.getReg();
632 if (Rs) {
633 // Set shift operand (bit[7:4]).
634 // LSL - 0001
635 // LSR - 0011
636 // ASR - 0101
637 // ROR - 0111
638 // RRX - 0110 and bit[11:8] clear.
639 switch (SOpc) {
640 default: assert(0 && "Unknown shift opc!");
641 case ARM_AM::lsl: SBits = 0x1; break;
642 case ARM_AM::lsr: SBits = 0x3; break;
643 case ARM_AM::asr: SBits = 0x5; break;
644 case ARM_AM::ror: SBits = 0x7; break;
645 case ARM_AM::rrx: SBits = 0x6; break;
646 }
647 } else {
648 // Set shift operand (bit[6:4]).
649 // LSL - 000
650 // LSR - 010
651 // ASR - 100
652 // ROR - 110
653 switch (SOpc) {
654 default: assert(0 && "Unknown shift opc!");
655 case ARM_AM::lsl: SBits = 0x0; break;
656 case ARM_AM::lsr: SBits = 0x2; break;
657 case ARM_AM::asr: SBits = 0x4; break;
658 case ARM_AM::ror: SBits = 0x6; break;
659 }
660 }
661 Binary |= SBits << 4;
662 if (SOpc == ARM_AM::rrx)
663 return Binary;
664
665 // Encode the shift operation Rs or shift_imm (except rrx).
666 if (Rs) {
667 // Encode Rs bit[11:8].
668 assert(ARM_AM::getSORegOffset(MO2.getImm()) == 0);
669 return Binary |
670 (ARMRegisterInfo::getRegisterNumbering(Rs) << ARMII::RegRsShift);
671 }
672
673 // Encode shift_imm bit[11:7].
674 return Binary | ARM_AM::getSORegOffset(MO2.getImm()) << 7;
675}
676
Evan Cheng90922132008-11-06 02:25:39 +0000677unsigned ARMCodeEmitter::getMachineSoImmOpValue(unsigned SoImm) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000678 // Encode rotate_imm.
Evan Cheng97f48c32008-11-06 22:15:19 +0000679 unsigned Binary = (ARM_AM::getSOImmValRot(SoImm) >> 1)
680 << ARMII::SoRotImmShift;
681
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000682 // Encode immed_8.
Evan Cheng90922132008-11-06 02:25:39 +0000683 Binary |= ARM_AM::getSOImmValImm(SoImm);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000684 return Binary;
685}
686
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000687unsigned ARMCodeEmitter::getAddrModeSBit(const MachineInstr &MI,
688 const TargetInstrDesc &TID) const {
Evan Cheng97c573d2008-11-20 02:25:51 +0000689 for (unsigned i = MI.getNumOperands(), e = TID.getNumOperands(); i != e; --i){
Evan Cheng49a9f292008-09-12 22:45:55 +0000690 const MachineOperand &MO = MI.getOperand(i-1);
Dan Gohmand735b802008-10-03 15:45:36 +0000691 if (MO.isReg() && MO.isDef() && MO.getReg() == ARM::CPSR)
Evan Cheng49a9f292008-09-12 22:45:55 +0000692 return 1 << ARMII::S_BitShift;
693 }
694 return 0;
695}
696
Evan Cheng83b5cf02008-11-05 23:22:34 +0000697void ARMCodeEmitter::emitDataProcessingInstruction(const MachineInstr &MI,
Evan Cheng437c1732008-11-07 22:30:53 +0000698 unsigned ImplicitRd,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000699 unsigned ImplicitRn) {
Evan Chengedda31c2008-11-05 18:35:52 +0000700 const TargetInstrDesc &TID = MI.getDesc();
Evan Chengedda31c2008-11-05 18:35:52 +0000701
702 // Part of binary is determined by TableGn.
703 unsigned Binary = getBinaryCodeForInstr(MI);
704
Jim Grosbach33412622008-10-07 19:05:35 +0000705 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000706 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000707
Evan Cheng49a9f292008-09-12 22:45:55 +0000708 // Encode S bit if MI modifies CPSR.
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000709 Binary |= getAddrModeSBit(MI, TID);
Evan Cheng49a9f292008-09-12 22:45:55 +0000710
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000711 // Encode register def if there is one.
Evan Cheng49a9f292008-09-12 22:45:55 +0000712 unsigned NumDefs = TID.getNumDefs();
Evan Chenga964b7d2008-09-12 23:15:39 +0000713 unsigned OpIdx = 0;
Evan Cheng437c1732008-11-07 22:30:53 +0000714 if (NumDefs)
715 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
716 else if (ImplicitRd)
717 // Special handling for implicit use (e.g. PC).
718 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRd)
719 << ARMII::RegRdShift);
Evan Cheng7602e112008-09-02 06:52:38 +0000720
Evan Chengd87293c2008-11-06 08:47:38 +0000721 // If this is a two-address operand, skip it. e.g. MOVCCr operand 1.
722 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
723 ++OpIdx;
724
Jim Grosbachefd30ba2008-10-01 18:16:49 +0000725 // Encode first non-shifter register operand if there is one.
Evan Chengedda31c2008-11-05 18:35:52 +0000726 bool isUnary = TID.TSFlags & ARMII::UnaryDP;
727 if (!isUnary) {
Evan Cheng83b5cf02008-11-05 23:22:34 +0000728 if (ImplicitRn)
729 // Special handling for implicit use (e.g. PC).
730 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
Evan Chengedda31c2008-11-05 18:35:52 +0000731 << ARMII::RegRnShift);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000732 else {
733 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRnShift;
734 ++OpIdx;
735 }
Evan Cheng7602e112008-09-02 06:52:38 +0000736 }
737
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000738 // Encode shifter operand.
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000739 const MachineOperand &MO = MI.getOperand(OpIdx);
Evan Chengedda31c2008-11-05 18:35:52 +0000740 if ((TID.TSFlags & ARMII::FormMask) == ARMII::DPSoRegFrm) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000741 // Encode SoReg.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000742 emitWordLE(Binary | getMachineSoRegOpValue(MI, TID, MO, OpIdx));
Evan Chengedda31c2008-11-05 18:35:52 +0000743 return;
744 }
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000745
Evan Chengedda31c2008-11-05 18:35:52 +0000746 if (MO.isReg()) {
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000747 // Encode register Rm.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000748 emitWordLE(Binary | ARMRegisterInfo::getRegisterNumbering(MO.getReg()));
Evan Chengedda31c2008-11-05 18:35:52 +0000749 return;
750 }
Evan Cheng7602e112008-09-02 06:52:38 +0000751
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000752 // Encode so_imm.
Evan Cheng4df60f52008-11-07 09:06:08 +0000753 // Set bit I(25) to identify this is the immediate form of <shifter_op>.
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000754 Binary |= 1 << ARMII::I_BitShift;
Evan Cheng90922132008-11-06 02:25:39 +0000755 Binary |= getMachineSoImmOpValue(MO.getImm());
Evan Chengedda31c2008-11-05 18:35:52 +0000756
Evan Cheng83b5cf02008-11-05 23:22:34 +0000757 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000758}
759
Evan Cheng83b5cf02008-11-05 23:22:34 +0000760void ARMCodeEmitter::emitLoadStoreInstruction(const MachineInstr &MI,
Evan Cheng4df60f52008-11-07 09:06:08 +0000761 unsigned ImplicitRd,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000762 unsigned ImplicitRn) {
Evan Cheng05c356e2008-11-08 01:44:13 +0000763 const TargetInstrDesc &TID = MI.getDesc();
Evan Cheng148cad82008-11-13 07:34:59 +0000764 unsigned Form = TID.TSFlags & ARMII::FormMask;
765 bool IsPrePost = (TID.TSFlags & ARMII::IndexModeMask) != 0;
Evan Cheng05c356e2008-11-08 01:44:13 +0000766
Evan Chengedda31c2008-11-05 18:35:52 +0000767 // Part of binary is determined by TableGn.
768 unsigned Binary = getBinaryCodeForInstr(MI);
769
Jim Grosbach33412622008-10-07 19:05:35 +0000770 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000771 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng057d0c32008-09-18 07:28:19 +0000772
Evan Cheng4df60f52008-11-07 09:06:08 +0000773 unsigned OpIdx = 0;
Evan Cheng148cad82008-11-13 07:34:59 +0000774
775 // Operand 0 of a pre- and post-indexed store is the address base
776 // writeback. Skip it.
777 bool Skipped = false;
778 if (IsPrePost && Form == ARMII::StFrm) {
779 ++OpIdx;
780 Skipped = true;
781 }
782
783 // Set first operand
Evan Cheng4df60f52008-11-07 09:06:08 +0000784 if (ImplicitRd)
785 // Special handling for implicit use (e.g. PC).
786 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRd)
787 << ARMII::RegRdShift);
788 else
789 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000790
791 // Set second operand
Evan Cheng83b5cf02008-11-05 23:22:34 +0000792 if (ImplicitRn)
793 // Special handling for implicit use (e.g. PC).
794 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
795 << ARMII::RegRnShift);
Evan Cheng4df60f52008-11-07 09:06:08 +0000796 else
797 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000798
Evan Cheng05c356e2008-11-08 01:44:13 +0000799 // If this is a two-address operand, skip it. e.g. LDR_PRE.
Evan Cheng148cad82008-11-13 07:34:59 +0000800 if (!Skipped && TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
Evan Cheng05c356e2008-11-08 01:44:13 +0000801 ++OpIdx;
802
Evan Cheng83b5cf02008-11-05 23:22:34 +0000803 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Chengd87293c2008-11-06 08:47:38 +0000804 unsigned AM2Opc = (ImplicitRn == ARM::PC)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000805 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Cheng7602e112008-09-02 06:52:38 +0000806
Evan Chenge7de7e32008-09-13 01:44:01 +0000807 // Set bit U(23) according to sign of immed value (positive or negative).
Evan Cheng83b5cf02008-11-05 23:22:34 +0000808 Binary |= ((ARM_AM::getAM2Op(AM2Opc) == ARM_AM::add ? 1 : 0) <<
Evan Chenge7de7e32008-09-13 01:44:01 +0000809 ARMII::U_BitShift);
Evan Cheng7602e112008-09-02 06:52:38 +0000810 if (!MO2.getReg()) { // is immediate
Evan Cheng83b5cf02008-11-05 23:22:34 +0000811 if (ARM_AM::getAM2Offset(AM2Opc))
Evan Cheng7602e112008-09-02 06:52:38 +0000812 // Set the value of offset_12 field
Evan Cheng83b5cf02008-11-05 23:22:34 +0000813 Binary |= ARM_AM::getAM2Offset(AM2Opc);
814 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +0000815 return;
Evan Cheng7602e112008-09-02 06:52:38 +0000816 }
817
818 // Set bit I(25), because this is not in immediate enconding.
819 Binary |= 1 << ARMII::I_BitShift;
820 assert(TargetRegisterInfo::isPhysicalRegister(MO2.getReg()));
821 // Set bit[3:0] to the corresponding Rm register
822 Binary |= ARMRegisterInfo::getRegisterNumbering(MO2.getReg());
823
Evan Cheng70632912008-11-12 07:34:37 +0000824 // If this instr is in scaled register offset/index instruction, set
Evan Cheng7602e112008-09-02 06:52:38 +0000825 // shift_immed(bit[11:7]) and shift(bit[6:5]) fields.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000826 if (unsigned ShImm = ARM_AM::getAM2Offset(AM2Opc)) {
Evan Cheng70632912008-11-12 07:34:37 +0000827 Binary |= getShiftOp(AM2Opc) << ARMII::ShiftImmShift; // shift
828 Binary |= ShImm << ARMII::ShiftShift; // shift_immed
Evan Cheng7602e112008-09-02 06:52:38 +0000829 }
830
Evan Cheng83b5cf02008-11-05 23:22:34 +0000831 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000832}
833
Evan Cheng83b5cf02008-11-05 23:22:34 +0000834void ARMCodeEmitter::emitMiscLoadStoreInstruction(const MachineInstr &MI,
835 unsigned ImplicitRn) {
Evan Cheng05c356e2008-11-08 01:44:13 +0000836 const TargetInstrDesc &TID = MI.getDesc();
Evan Cheng148cad82008-11-13 07:34:59 +0000837 unsigned Form = TID.TSFlags & ARMII::FormMask;
838 bool IsPrePost = (TID.TSFlags & ARMII::IndexModeMask) != 0;
Evan Cheng05c356e2008-11-08 01:44:13 +0000839
Evan Chengedda31c2008-11-05 18:35:52 +0000840 // Part of binary is determined by TableGn.
841 unsigned Binary = getBinaryCodeForInstr(MI);
842
Jim Grosbach33412622008-10-07 19:05:35 +0000843 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000844 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng057d0c32008-09-18 07:28:19 +0000845
Evan Cheng148cad82008-11-13 07:34:59 +0000846 unsigned OpIdx = 0;
847
848 // Operand 0 of a pre- and post-indexed store is the address base
849 // writeback. Skip it.
850 bool Skipped = false;
851 if (IsPrePost && Form == ARMII::StMiscFrm) {
852 ++OpIdx;
853 Skipped = true;
854 }
855
Evan Cheng7602e112008-09-02 06:52:38 +0000856 // Set first operand
Evan Cheng148cad82008-11-13 07:34:59 +0000857 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000858
859 // Set second operand
Evan Cheng83b5cf02008-11-05 23:22:34 +0000860 if (ImplicitRn)
861 // Special handling for implicit use (e.g. PC).
862 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
863 << ARMII::RegRnShift);
Evan Cheng4df60f52008-11-07 09:06:08 +0000864 else
865 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000866
Evan Cheng05c356e2008-11-08 01:44:13 +0000867 // If this is a two-address operand, skip it. e.g. LDRH_POST.
Evan Cheng148cad82008-11-13 07:34:59 +0000868 if (!Skipped && TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
Evan Cheng05c356e2008-11-08 01:44:13 +0000869 ++OpIdx;
870
Evan Cheng83b5cf02008-11-05 23:22:34 +0000871 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Chengd87293c2008-11-06 08:47:38 +0000872 unsigned AM3Opc = (ImplicitRn == ARM::PC)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000873 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Cheng7602e112008-09-02 06:52:38 +0000874
Evan Chenge7de7e32008-09-13 01:44:01 +0000875 // Set bit U(23) according to sign of immed value (positive or negative)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000876 Binary |= ((ARM_AM::getAM3Op(AM3Opc) == ARM_AM::add ? 1 : 0) <<
Evan Cheng7602e112008-09-02 06:52:38 +0000877 ARMII::U_BitShift);
878
879 // If this instr is in register offset/index encoding, set bit[3:0]
880 // to the corresponding Rm register.
881 if (MO2.getReg()) {
882 Binary |= ARMRegisterInfo::getRegisterNumbering(MO2.getReg());
Evan Cheng83b5cf02008-11-05 23:22:34 +0000883 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +0000884 return;
Evan Cheng7602e112008-09-02 06:52:38 +0000885 }
886
Evan Chengd87293c2008-11-06 08:47:38 +0000887 // This instr is in immediate offset/index encoding, set bit 22 to 1.
Evan Cheng97f48c32008-11-06 22:15:19 +0000888 Binary |= 1 << ARMII::AM3_I_BitShift;
Evan Cheng83b5cf02008-11-05 23:22:34 +0000889 if (unsigned ImmOffs = ARM_AM::getAM3Offset(AM3Opc)) {
Evan Cheng7602e112008-09-02 06:52:38 +0000890 // Set operands
Evan Cheng70632912008-11-12 07:34:37 +0000891 Binary |= (ImmOffs >> 4) << ARMII::ImmHiShift; // immedH
892 Binary |= (ImmOffs & 0xF); // immedL
Evan Cheng7602e112008-09-02 06:52:38 +0000893 }
894
Evan Cheng83b5cf02008-11-05 23:22:34 +0000895 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000896}
897
Evan Chengcd8e66a2008-11-11 21:48:44 +0000898static unsigned getAddrModeUPBits(unsigned Mode) {
899 unsigned Binary = 0;
Evan Cheng7602e112008-09-02 06:52:38 +0000900
901 // Set addressing mode by modifying bits U(23) and P(24)
902 // IA - Increment after - bit U = 1 and bit P = 0
903 // IB - Increment before - bit U = 1 and bit P = 1
904 // DA - Decrement after - bit U = 0 and bit P = 0
905 // DB - Decrement before - bit U = 0 and bit P = 1
Evan Cheng7602e112008-09-02 06:52:38 +0000906 switch (Mode) {
907 default: assert(0 && "Unknown addressing sub-mode!");
908 case ARM_AM::da: break;
Evan Cheng97f48c32008-11-06 22:15:19 +0000909 case ARM_AM::db: Binary |= 0x1 << ARMII::P_BitShift; break;
910 case ARM_AM::ia: Binary |= 0x1 << ARMII::U_BitShift; break;
911 case ARM_AM::ib: Binary |= 0x3 << ARMII::U_BitShift; break;
Evan Cheng7602e112008-09-02 06:52:38 +0000912 }
913
Evan Chengcd8e66a2008-11-11 21:48:44 +0000914 return Binary;
915}
916
917void ARMCodeEmitter::emitLoadStoreMultipleInstruction(const MachineInstr &MI) {
918 // Part of binary is determined by TableGn.
919 unsigned Binary = getBinaryCodeForInstr(MI);
920
921 // Set the conditional execution predicate
922 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
923
924 // Set base address operand
925 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRnShift;
926
927 // Set addressing mode by modifying bits U(23) and P(24)
928 const MachineOperand &MO = MI.getOperand(1);
929 Binary |= getAddrModeUPBits(ARM_AM::getAM4SubMode(MO.getImm()));
930
Evan Cheng7602e112008-09-02 06:52:38 +0000931 // Set bit W(21)
932 if (ARM_AM::getAM4WBFlag(MO.getImm()))
Evan Cheng97f48c32008-11-06 22:15:19 +0000933 Binary |= 0x1 << ARMII::W_BitShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000934
935 // Set registers
936 for (unsigned i = 4, e = MI.getNumOperands(); i != e; ++i) {
937 const MachineOperand &MO = MI.getOperand(i);
Evan Chengcd8e66a2008-11-11 21:48:44 +0000938 if (!MO.isReg() || MO.isImplicit())
939 break;
Evan Cheng7602e112008-09-02 06:52:38 +0000940 unsigned RegNum = ARMRegisterInfo::getRegisterNumbering(MO.getReg());
941 assert(TargetRegisterInfo::isPhysicalRegister(MO.getReg()) &&
942 RegNum < 16);
943 Binary |= 0x1 << RegNum;
944 }
945
Evan Cheng83b5cf02008-11-05 23:22:34 +0000946 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000947}
948
Evan Chengfbc9d412008-11-06 01:21:28 +0000949void ARMCodeEmitter::emitMulFrmInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +0000950 const TargetInstrDesc &TID = MI.getDesc();
951
952 // Part of binary is determined by TableGn.
953 unsigned Binary = getBinaryCodeForInstr(MI);
954
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000955 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000956 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000957
958 // Encode S bit if MI modifies CPSR.
959 Binary |= getAddrModeSBit(MI, TID);
960
961 // 32x32->64bit operations have two destination registers. The number
962 // of register definitions will tell us if that's what we're dealing with.
Evan Cheng97f48c32008-11-06 22:15:19 +0000963 unsigned OpIdx = 0;
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000964 if (TID.getNumDefs() == 2)
965 Binary |= getMachineOpValue (MI, OpIdx++) << ARMII::RegRdLoShift;
966
967 // Encode Rd
968 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdHiShift;
969
970 // Encode Rm
971 Binary |= getMachineOpValue(MI, OpIdx++);
972
973 // Encode Rs
974 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRsShift;
975
Evan Chengfbc9d412008-11-06 01:21:28 +0000976 // Many multiple instructions (e.g. MLA) have three src operands. Encode
977 // it as Rn (for multiply, that's in the same offset as RdLo.
Evan Cheng97f48c32008-11-06 22:15:19 +0000978 if (TID.getNumOperands() > OpIdx &&
979 !TID.OpInfo[OpIdx].isPredicate() &&
980 !TID.OpInfo[OpIdx].isOptionalDef())
981 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRdLoShift;
982
983 emitWordLE(Binary);
984}
985
986void ARMCodeEmitter::emitExtendInstruction(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
997 // Encode Rd
998 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
999
1000 const MachineOperand &MO1 = MI.getOperand(OpIdx++);
1001 const MachineOperand &MO2 = MI.getOperand(OpIdx);
1002 if (MO2.isReg()) {
1003 // Two register operand form.
1004 // Encode Rn.
1005 Binary |= getMachineOpValue(MI, MO1) << ARMII::RegRnShift;
1006
1007 // Encode Rm.
1008 Binary |= getMachineOpValue(MI, MO2);
1009 ++OpIdx;
1010 } else {
1011 Binary |= getMachineOpValue(MI, MO1);
1012 }
1013
1014 // Encode rot imm (0, 8, 16, or 24) if it has a rotate immediate operand.
1015 if (MI.getOperand(OpIdx).isImm() &&
1016 !TID.OpInfo[OpIdx].isPredicate() &&
1017 !TID.OpInfo[OpIdx].isOptionalDef())
1018 Binary |= (getMachineOpValue(MI, OpIdx) / 8) << ARMII::ExtRotImmShift;
Evan Chengfbc9d412008-11-06 01:21:28 +00001019
Evan Cheng83b5cf02008-11-05 23:22:34 +00001020 emitWordLE(Binary);
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +00001021}
1022
Evan Cheng8b59db32008-11-07 01:41:35 +00001023void ARMCodeEmitter::emitMiscArithInstruction(const MachineInstr &MI) {
1024 const TargetInstrDesc &TID = MI.getDesc();
1025
1026 // Part of binary is determined by TableGn.
1027 unsigned Binary = getBinaryCodeForInstr(MI);
1028
1029 // Set the conditional execution predicate
1030 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1031
1032 unsigned OpIdx = 0;
1033
1034 // Encode Rd
1035 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
1036
1037 const MachineOperand &MO = MI.getOperand(OpIdx++);
1038 if (OpIdx == TID.getNumOperands() ||
1039 TID.OpInfo[OpIdx].isPredicate() ||
1040 TID.OpInfo[OpIdx].isOptionalDef()) {
1041 // Encode Rm and it's done.
1042 Binary |= getMachineOpValue(MI, MO);
1043 emitWordLE(Binary);
1044 return;
1045 }
1046
1047 // Encode Rn.
1048 Binary |= getMachineOpValue(MI, MO) << ARMII::RegRnShift;
1049
1050 // Encode Rm.
1051 Binary |= getMachineOpValue(MI, OpIdx++);
1052
1053 // Encode shift_imm.
1054 unsigned ShiftAmt = MI.getOperand(OpIdx).getImm();
1055 assert(ShiftAmt < 32 && "shift_imm range is 0 to 31!");
1056 Binary |= ShiftAmt << ARMII::ShiftShift;
1057
1058 emitWordLE(Binary);
1059}
1060
Evan Chengedda31c2008-11-05 18:35:52 +00001061void ARMCodeEmitter::emitBranchInstruction(const MachineInstr &MI) {
1062 const TargetInstrDesc &TID = MI.getDesc();
1063
Evan Cheng12c3a532008-11-06 17:48:05 +00001064 if (TID.Opcode == ARM::TPsoft)
1065 abort(); // FIXME
1066
Evan Cheng7602e112008-09-02 06:52:38 +00001067 // Part of binary is determined by TableGn.
1068 unsigned Binary = getBinaryCodeForInstr(MI);
1069
Evan Chengedda31c2008-11-05 18:35:52 +00001070 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +00001071 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chengedda31c2008-11-05 18:35:52 +00001072
1073 // Set signed_immed_24 field
1074 Binary |= getMachineOpValue(MI, 0);
1075
Evan Cheng83b5cf02008-11-05 23:22:34 +00001076 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +00001077}
1078
Evan Cheng437c1732008-11-07 22:30:53 +00001079void ARMCodeEmitter::emitInlineJumpTable(unsigned JTIndex) {
Evan Cheng4df60f52008-11-07 09:06:08 +00001080 // Remember the base address of the inline jump table.
Evan Cheng5788d1a2008-12-10 02:32:19 +00001081 uintptr_t JTBase = MCE.getCurrentPCValue();
Evan Cheng437c1732008-11-07 22:30:53 +00001082 JTI->addJumpTableBaseAddr(JTIndex, JTBase);
1083 DOUT << " ** Jump Table #" << JTIndex << " @ " << (void*)JTBase << '\n';
Evan Cheng4df60f52008-11-07 09:06:08 +00001084
1085 // Now emit the jump table entries.
1086 const std::vector<MachineBasicBlock*> &MBBs = (*MJTEs)[JTIndex].MBBs;
1087 for (unsigned i = 0, e = MBBs.size(); i != e; ++i) {
1088 if (IsPIC)
1089 // DestBB address - JT base.
Evan Cheng437c1732008-11-07 22:30:53 +00001090 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_pic_jt, JTBase);
Evan Cheng4df60f52008-11-07 09:06:08 +00001091 else
1092 // Absolute DestBB address.
1093 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_absolute);
1094 emitWordLE(0);
1095 }
1096}
1097
Evan Chengedda31c2008-11-05 18:35:52 +00001098void ARMCodeEmitter::emitMiscBranchInstruction(const MachineInstr &MI) {
1099 const TargetInstrDesc &TID = MI.getDesc();
Evan Chengedda31c2008-11-05 18:35:52 +00001100
Evan Cheng437c1732008-11-07 22:30:53 +00001101 // Handle jump tables.
1102 if (TID.Opcode == ARM::BR_JTr || TID.Opcode == ARM::BR_JTadd) {
1103 // First emit a ldr pc, [] instruction.
1104 emitDataProcessingInstruction(MI, ARM::PC);
1105
1106 // Then emit the inline jump table.
1107 unsigned JTIndex = (TID.Opcode == ARM::BR_JTr)
1108 ? MI.getOperand(1).getIndex() : MI.getOperand(2).getIndex();
1109 emitInlineJumpTable(JTIndex);
1110 return;
1111 } else if (TID.Opcode == ARM::BR_JTm) {
Evan Cheng4df60f52008-11-07 09:06:08 +00001112 // First emit a ldr pc, [] instruction.
1113 emitLoadStoreInstruction(MI, ARM::PC);
1114
1115 // Then emit the inline jump table.
Evan Cheng437c1732008-11-07 22:30:53 +00001116 emitInlineJumpTable(MI.getOperand(3).getIndex());
Evan Cheng4df60f52008-11-07 09:06:08 +00001117 return;
1118 }
1119
Evan Chengedda31c2008-11-05 18:35:52 +00001120 // Part of binary is determined by TableGn.
1121 unsigned Binary = getBinaryCodeForInstr(MI);
1122
1123 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +00001124 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chengedda31c2008-11-05 18:35:52 +00001125
1126 if (TID.Opcode == ARM::BX_RET)
1127 // The return register is LR.
1128 Binary |= ARMRegisterInfo::getRegisterNumbering(ARM::LR);
1129 else
1130 // otherwise, set the return register
1131 Binary |= getMachineOpValue(MI, 0);
1132
Evan Cheng83b5cf02008-11-05 23:22:34 +00001133 emitWordLE(Binary);
Evan Cheng148b6a42007-07-05 21:15:40 +00001134}
Evan Cheng7602e112008-09-02 06:52:38 +00001135
Evan Cheng80a11982008-11-12 06:41:41 +00001136static unsigned encodeVFPRd(const MachineInstr &MI, unsigned OpIdx) {
Evan Chengd06d48d2008-11-12 02:19:38 +00001137 unsigned RegD = MI.getOperand(OpIdx).getReg();
Evan Cheng80a11982008-11-12 06:41:41 +00001138 unsigned Binary = 0;
Evan Chengd06d48d2008-11-12 02:19:38 +00001139 bool isSPVFP = false;
1140 RegD = ARMRegisterInfo::getRegisterNumbering(RegD, isSPVFP);
1141 if (!isSPVFP)
1142 Binary |= RegD << ARMII::RegRdShift;
1143 else {
1144 Binary |= ((RegD & 0x1E) >> 1) << ARMII::RegRdShift;
1145 Binary |= (RegD & 0x01) << ARMII::D_BitShift;
1146 }
Evan Cheng80a11982008-11-12 06:41:41 +00001147 return Binary;
1148}
Evan Cheng78be83d2008-11-11 19:40:26 +00001149
Evan Cheng80a11982008-11-12 06:41:41 +00001150static unsigned encodeVFPRn(const MachineInstr &MI, unsigned OpIdx) {
Evan Chengd06d48d2008-11-12 02:19:38 +00001151 unsigned RegN = MI.getOperand(OpIdx).getReg();
Evan Cheng80a11982008-11-12 06:41:41 +00001152 unsigned Binary = 0;
1153 bool isSPVFP = false;
Evan Chengd06d48d2008-11-12 02:19:38 +00001154 RegN = ARMRegisterInfo::getRegisterNumbering(RegN, isSPVFP);
1155 if (!isSPVFP)
1156 Binary |= RegN << ARMII::RegRnShift;
1157 else {
1158 Binary |= ((RegN & 0x1E) >> 1) << ARMII::RegRnShift;
1159 Binary |= (RegN & 0x01) << ARMII::N_BitShift;
1160 }
Evan Cheng80a11982008-11-12 06:41:41 +00001161 return Binary;
1162}
Evan Chengd06d48d2008-11-12 02:19:38 +00001163
Evan Cheng80a11982008-11-12 06:41:41 +00001164static unsigned encodeVFPRm(const MachineInstr &MI, unsigned OpIdx) {
1165 unsigned RegM = MI.getOperand(OpIdx).getReg();
1166 unsigned Binary = 0;
1167 bool isSPVFP = false;
1168 RegM = ARMRegisterInfo::getRegisterNumbering(RegM, isSPVFP);
1169 if (!isSPVFP)
1170 Binary |= RegM;
1171 else {
1172 Binary |= ((RegM & 0x1E) >> 1);
1173 Binary |= (RegM & 0x01) << ARMII::M_BitShift;
Evan Cheng78be83d2008-11-11 19:40:26 +00001174 }
Evan Cheng80a11982008-11-12 06:41:41 +00001175 return Binary;
1176}
1177
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001178void ARMCodeEmitter::emitVFPArithInstruction(const MachineInstr &MI) {
1179 const TargetInstrDesc &TID = MI.getDesc();
1180
1181 // Part of binary is determined by TableGn.
1182 unsigned Binary = getBinaryCodeForInstr(MI);
1183
1184 // Set the conditional execution predicate
1185 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1186
1187 unsigned OpIdx = 0;
1188 assert((Binary & ARMII::D_BitShift) == 0 &&
1189 (Binary & ARMII::N_BitShift) == 0 &&
1190 (Binary & ARMII::M_BitShift) == 0 && "VFP encoding bug!");
1191
1192 // Encode Dd / Sd.
1193 Binary |= encodeVFPRd(MI, OpIdx++);
1194
1195 // If this is a two-address operand, skip it, e.g. FMACD.
1196 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1197 ++OpIdx;
1198
1199 // Encode Dn / Sn.
1200 if ((TID.TSFlags & ARMII::FormMask) == ARMII::VFPBinaryFrm)
Evan Cheng3f4924e2008-11-12 08:14:21 +00001201 Binary |= encodeVFPRn(MI, OpIdx++);
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001202
1203 if (OpIdx == TID.getNumOperands() ||
1204 TID.OpInfo[OpIdx].isPredicate() ||
1205 TID.OpInfo[OpIdx].isOptionalDef()) {
1206 // FCMPEZD etc. has only one operand.
1207 emitWordLE(Binary);
1208 return;
1209 }
1210
1211 // Encode Dm / Sm.
1212 Binary |= encodeVFPRm(MI, OpIdx);
1213
1214 emitWordLE(Binary);
1215}
1216
Evan Cheng80a11982008-11-12 06:41:41 +00001217void ARMCodeEmitter::emitVFPConversionInstruction(const MachineInstr &MI) {
1218 const TargetInstrDesc &TID = MI.getDesc();
1219 unsigned Form = TID.TSFlags & ARMII::FormMask;
1220
1221 // Part of binary is determined by TableGn.
1222 unsigned Binary = getBinaryCodeForInstr(MI);
1223
1224 // Set the conditional execution predicate
1225 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1226
1227 switch (Form) {
1228 default: break;
1229 case ARMII::VFPConv1Frm:
1230 case ARMII::VFPConv2Frm:
1231 case ARMII::VFPConv3Frm:
1232 // Encode Dd / Sd.
1233 Binary |= encodeVFPRd(MI, 0);
1234 break;
1235 case ARMII::VFPConv4Frm:
1236 // Encode Dn / Sn.
1237 Binary |= encodeVFPRn(MI, 0);
1238 break;
1239 case ARMII::VFPConv5Frm:
1240 // Encode Dm / Sm.
1241 Binary |= encodeVFPRm(MI, 0);
1242 break;
1243 }
1244
1245 switch (Form) {
1246 default: break;
1247 case ARMII::VFPConv1Frm:
1248 // Encode Dm / Sm.
1249 Binary |= encodeVFPRm(MI, 1);
Evan Cheng67fd91f2008-11-13 07:46:59 +00001250 break;
Evan Cheng80a11982008-11-12 06:41:41 +00001251 case ARMII::VFPConv2Frm:
1252 case ARMII::VFPConv3Frm:
1253 // Encode Dn / Sn.
1254 Binary |= encodeVFPRn(MI, 1);
1255 break;
1256 case ARMII::VFPConv4Frm:
1257 case ARMII::VFPConv5Frm:
1258 // Encode Dd / Sd.
1259 Binary |= encodeVFPRd(MI, 1);
1260 break;
1261 }
1262
1263 if (Form == ARMII::VFPConv5Frm)
1264 // Encode Dn / Sn.
1265 Binary |= encodeVFPRn(MI, 2);
1266 else if (Form == ARMII::VFPConv3Frm)
1267 // Encode Dm / Sm.
1268 Binary |= encodeVFPRm(MI, 2);
Evan Cheng78be83d2008-11-11 19:40:26 +00001269
1270 emitWordLE(Binary);
1271}
1272
Evan Chengcd8e66a2008-11-11 21:48:44 +00001273void ARMCodeEmitter::emitVFPLoadStoreInstruction(const MachineInstr &MI) {
1274 // Part of binary is determined by TableGn.
1275 unsigned Binary = getBinaryCodeForInstr(MI);
1276
1277 // Set the conditional execution predicate
1278 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1279
1280 unsigned OpIdx = 0;
1281
1282 // Encode Dd / Sd.
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001283 Binary |= encodeVFPRd(MI, OpIdx++);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001284
1285 // Encode address base.
1286 const MachineOperand &Base = MI.getOperand(OpIdx++);
1287 Binary |= getMachineOpValue(MI, Base) << ARMII::RegRnShift;
1288
1289 // If there is a non-zero immediate offset, encode it.
1290 if (Base.isReg()) {
1291 const MachineOperand &Offset = MI.getOperand(OpIdx);
1292 if (unsigned ImmOffs = ARM_AM::getAM5Offset(Offset.getImm())) {
1293 if (ARM_AM::getAM5Op(Offset.getImm()) == ARM_AM::add)
1294 Binary |= 1 << ARMII::U_BitShift;
Evan Cheng607f1b42008-11-12 08:21:12 +00001295 Binary |= ImmOffs;
Evan Chengcd8e66a2008-11-11 21:48:44 +00001296 emitWordLE(Binary);
1297 return;
1298 }
1299 }
1300
1301 // If immediate offset is omitted, default to +0.
1302 Binary |= 1 << ARMII::U_BitShift;
1303
1304 emitWordLE(Binary);
1305}
1306
1307void
1308ARMCodeEmitter::emitVFPLoadStoreMultipleInstruction(const MachineInstr &MI) {
1309 // Part of binary is determined by TableGn.
1310 unsigned Binary = getBinaryCodeForInstr(MI);
1311
1312 // Set the conditional execution predicate
1313 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1314
1315 // Set base address operand
1316 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRnShift;
1317
1318 // Set addressing mode by modifying bits U(23) and P(24)
1319 const MachineOperand &MO = MI.getOperand(1);
1320 Binary |= getAddrModeUPBits(ARM_AM::getAM5SubMode(MO.getImm()));
1321
1322 // Set bit W(21)
1323 if (ARM_AM::getAM5WBFlag(MO.getImm()))
1324 Binary |= 0x1 << ARMII::W_BitShift;
1325
1326 // First register is encoded in Dd.
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001327 Binary |= encodeVFPRd(MI, 4);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001328
1329 // Number of registers are encoded in offset field.
1330 unsigned NumRegs = 1;
1331 for (unsigned i = 5, e = MI.getNumOperands(); i != e; ++i) {
1332 const MachineOperand &MO = MI.getOperand(i);
1333 if (!MO.isReg() || MO.isImplicit())
1334 break;
1335 ++NumRegs;
1336 }
1337 Binary |= NumRegs * 2;
1338
1339 emitWordLE(Binary);
1340}
1341
1342void ARMCodeEmitter::emitMiscInstruction(const MachineInstr &MI) {
1343 // Part of binary is determined by TableGn.
1344 unsigned Binary = getBinaryCodeForInstr(MI);
1345
1346 // Set the conditional execution predicate
1347 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1348
1349 emitWordLE(Binary);
1350}
1351
Evan Cheng7602e112008-09-02 06:52:38 +00001352#include "ARMGenCodeEmitter.inc"