blob: 29a8f31a5148a980b25793553ba9c94c03ffdbed [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 Cheng78be83d2008-11-11 19:40:26 +0000125 void emitVFPConversionInstruction(const MachineInstr &MI);
126
Evan Cheng7602e112008-09-02 06:52:38 +0000127 /// getBinaryCodeForInstr - This function, generated by the
128 /// CodeEmitterGenerator using TableGen, produces the binary encoding for
129 /// machine instructions.
130 ///
Raul Herbster9c1a3822007-08-30 23:29:26 +0000131 unsigned getBinaryCodeForInstr(const MachineInstr &MI);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000132
Evan Cheng7602e112008-09-02 06:52:38 +0000133 /// getMachineOpValue - Return binary encoding of operand. If the machine
134 /// operand requires relocation, record the relocation and return zero.
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000135 unsigned getMachineOpValue(const MachineInstr &MI,const MachineOperand &MO);
Evan Cheng7602e112008-09-02 06:52:38 +0000136 unsigned getMachineOpValue(const MachineInstr &MI, unsigned OpIdx) {
137 return getMachineOpValue(MI, MI.getOperand(OpIdx));
138 }
Evan Cheng7602e112008-09-02 06:52:38 +0000139
Evan Cheng83b5cf02008-11-05 23:22:34 +0000140 /// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
Evan Cheng7602e112008-09-02 06:52:38 +0000141 ///
Evan Cheng83b5cf02008-11-05 23:22:34 +0000142 unsigned getShiftOp(unsigned Imm) const ;
Evan Cheng7602e112008-09-02 06:52:38 +0000143
144 /// Routines that handle operands which add machine relocations which are
Evan Cheng437c1732008-11-07 22:30:53 +0000145 /// fixed up by the relocation stage.
Evan Cheng057d0c32008-09-18 07:28:19 +0000146 void emitGlobalAddress(GlobalValue *GV, unsigned Reloc,
Evan Cheng413a89f2008-11-07 22:57:53 +0000147 bool NeedStub, intptr_t ACPV = 0);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000148 void emitExternalSymbolAddress(const char *ES, unsigned Reloc);
Evan Cheng437c1732008-11-07 22:30:53 +0000149 void emitConstPoolAddress(unsigned CPI, unsigned Reloc);
150 void emitJumpTableAddress(unsigned JTIndex, unsigned Reloc);
151 void emitMachineBasicBlock(MachineBasicBlock *BB, unsigned Reloc,
152 intptr_t JTBase = 0);
Evan Cheng148b6a42007-07-05 21:15:40 +0000153 };
Evan Cheng7602e112008-09-02 06:52:38 +0000154 char ARMCodeEmitter::ID = 0;
Evan Cheng148b6a42007-07-05 21:15:40 +0000155}
156
157/// createARMCodeEmitterPass - Return a pass that emits the collected ARM code
158/// to the specified MCE object.
159FunctionPass *llvm::createARMCodeEmitterPass(ARMTargetMachine &TM,
160 MachineCodeEmitter &MCE) {
Evan Cheng7602e112008-09-02 06:52:38 +0000161 return new ARMCodeEmitter(TM, MCE);
Evan Cheng148b6a42007-07-05 21:15:40 +0000162}
163
Evan Cheng7602e112008-09-02 06:52:38 +0000164bool ARMCodeEmitter::runOnMachineFunction(MachineFunction &MF) {
Evan Cheng148b6a42007-07-05 21:15:40 +0000165 assert((MF.getTarget().getRelocationModel() != Reloc::Default ||
166 MF.getTarget().getRelocationModel() != Reloc::Static) &&
167 "JIT relocation model must be set to static or default!");
168 II = ((ARMTargetMachine&)MF.getTarget()).getInstrInfo();
169 TD = ((ARMTargetMachine&)MF.getTarget()).getTargetData();
Evan Cheng057d0c32008-09-18 07:28:19 +0000170 JTI = ((ARMTargetMachine&)MF.getTarget()).getJITInfo();
Evan Cheng938b9d82008-10-31 19:55:13 +0000171 MCPEs = &MF.getConstantPool()->getConstants();
Evan Cheng4df60f52008-11-07 09:06:08 +0000172 MJTEs = &MF.getJumpTableInfo()->getJumpTables();
173 IsPIC = TM.getRelocationModel() == Reloc::PIC_;
Evan Cheng3cc82232008-11-08 07:38:22 +0000174 JTI->Initialize(MF, IsPIC);
Evan Cheng148b6a42007-07-05 21:15:40 +0000175
176 do {
Evan Cheng42d5ee062008-09-13 01:15:21 +0000177 DOUT << "JITTing function '" << MF.getFunction()->getName() << "'\n";
Evan Cheng148b6a42007-07-05 21:15:40 +0000178 MCE.startFunction(MF);
179 for (MachineFunction::iterator MBB = MF.begin(), E = MF.end();
180 MBB != E; ++MBB) {
181 MCE.StartMachineBasicBlock(MBB);
182 for (MachineBasicBlock::const_iterator I = MBB->begin(), E = MBB->end();
183 I != E; ++I)
184 emitInstruction(*I);
185 }
186 } while (MCE.finishFunction(MF));
187
188 return false;
189}
190
Evan Cheng83b5cf02008-11-05 23:22:34 +0000191/// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
Evan Cheng7602e112008-09-02 06:52:38 +0000192///
Evan Cheng83b5cf02008-11-05 23:22:34 +0000193unsigned ARMCodeEmitter::getShiftOp(unsigned Imm) const {
194 switch (ARM_AM::getAM2ShiftOpc(Imm)) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000195 default: assert(0 && "Unknown shift opc!");
Evan Cheng7602e112008-09-02 06:52:38 +0000196 case ARM_AM::asr: return 2;
197 case ARM_AM::lsl: return 0;
198 case ARM_AM::lsr: return 1;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000199 case ARM_AM::ror:
Evan Cheng7602e112008-09-02 06:52:38 +0000200 case ARM_AM::rrx: return 3;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000201 }
Evan Cheng7602e112008-09-02 06:52:38 +0000202 return 0;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000203}
204
Evan Cheng7602e112008-09-02 06:52:38 +0000205/// getMachineOpValue - Return binary encoding of operand. If the machine
206/// operand requires relocation, record the relocation and return zero.
207unsigned ARMCodeEmitter::getMachineOpValue(const MachineInstr &MI,
208 const MachineOperand &MO) {
Dan Gohmand735b802008-10-03 15:45:36 +0000209 if (MO.isReg())
Evan Cheng7602e112008-09-02 06:52:38 +0000210 return ARMRegisterInfo::getRegisterNumbering(MO.getReg());
Dan Gohmand735b802008-10-03 15:45:36 +0000211 else if (MO.isImm())
Evan Cheng7602e112008-09-02 06:52:38 +0000212 return static_cast<unsigned>(MO.getImm());
Dan Gohmand735b802008-10-03 15:45:36 +0000213 else if (MO.isGlobal())
Jim Grosbach016d34c2008-10-03 15:52:42 +0000214 emitGlobalAddress(MO.getGlobal(), ARM::reloc_arm_branch, true);
Dan Gohmand735b802008-10-03 15:45:36 +0000215 else if (MO.isSymbol())
Evan Cheng10332512008-11-08 07:22:33 +0000216 emitExternalSymbolAddress(MO.getSymbolName(), ARM::reloc_arm_branch);
Dan Gohmand735b802008-10-03 15:45:36 +0000217 else if (MO.isCPI())
Evan Cheng0f282432008-10-29 23:55:43 +0000218 emitConstPoolAddress(MO.getIndex(), ARM::reloc_arm_cp_entry);
Dan Gohmand735b802008-10-03 15:45:36 +0000219 else if (MO.isJTI())
Chris Lattner8aa797a2007-12-30 23:10:15 +0000220 emitJumpTableAddress(MO.getIndex(), ARM::reloc_arm_relative);
Dan Gohmand735b802008-10-03 15:45:36 +0000221 else if (MO.isMBB())
Evan Cheng4df60f52008-11-07 09:06:08 +0000222 emitMachineBasicBlock(MO.getMBB(), ARM::reloc_arm_branch);
Evan Cheng2aa0e642008-09-13 01:55:59 +0000223 else {
224 cerr << "ERROR: Unknown type of MachineOperand: " << MO << "\n";
225 abort();
226 }
Evan Cheng7602e112008-09-02 06:52:38 +0000227 return 0;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000228}
229
Evan Cheng057d0c32008-09-18 07:28:19 +0000230/// emitGlobalAddress - Emit the specified address to the code stream.
Evan Cheng0ff94f72007-08-07 01:37:15 +0000231///
Evan Cheng413a89f2008-11-07 22:57:53 +0000232void ARMCodeEmitter::emitGlobalAddress(GlobalValue *GV, unsigned Reloc,
233 bool NeedStub, intptr_t ACPV) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000234 MCE.addRelocation(MachineRelocation::getGV(MCE.getCurrentPCOffset(),
Evan Cheng413a89f2008-11-07 22:57:53 +0000235 Reloc, GV, ACPV, NeedStub));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000236}
237
238/// emitExternalSymbolAddress - Arrange for the address of an external symbol to
239/// be emitted to the current location in the function, and allow it to be PC
240/// relative.
Evan Cheng7602e112008-09-02 06:52:38 +0000241void ARMCodeEmitter::emitExternalSymbolAddress(const char *ES, unsigned Reloc) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000242 MCE.addRelocation(MachineRelocation::getExtSym(MCE.getCurrentPCOffset(),
243 Reloc, ES));
244}
245
246/// emitConstPoolAddress - Arrange for the address of an constant pool
247/// to be emitted to the current location in the function, and allow it to be PC
248/// relative.
Evan Cheng437c1732008-11-07 22:30:53 +0000249void ARMCodeEmitter::emitConstPoolAddress(unsigned CPI, unsigned Reloc) {
Evan Cheng0f282432008-10-29 23:55:43 +0000250 // Tell JIT emitter we'll resolve the address.
Evan Cheng0ff94f72007-08-07 01:37:15 +0000251 MCE.addRelocation(MachineRelocation::getConstPool(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000252 Reloc, CPI, 0, true));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000253}
254
255/// emitJumpTableAddress - Arrange for the address of a jump table to
256/// be emitted to the current location in the function, and allow it to be PC
257/// relative.
Evan Cheng437c1732008-11-07 22:30:53 +0000258void ARMCodeEmitter::emitJumpTableAddress(unsigned JTIndex, unsigned Reloc) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000259 MCE.addRelocation(MachineRelocation::getJumpTable(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000260 Reloc, JTIndex, 0, true));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000261}
262
Raul Herbster9c1a3822007-08-30 23:29:26 +0000263/// emitMachineBasicBlock - Emit the specified address basic block.
Evan Cheng4df60f52008-11-07 09:06:08 +0000264void ARMCodeEmitter::emitMachineBasicBlock(MachineBasicBlock *BB,
Evan Cheng437c1732008-11-07 22:30:53 +0000265 unsigned Reloc, intptr_t JTBase) {
Raul Herbster9c1a3822007-08-30 23:29:26 +0000266 MCE.addRelocation(MachineRelocation::getBB(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000267 Reloc, BB, JTBase));
Raul Herbster9c1a3822007-08-30 23:29:26 +0000268}
Evan Cheng0ff94f72007-08-07 01:37:15 +0000269
Evan Cheng83b5cf02008-11-05 23:22:34 +0000270void ARMCodeEmitter::emitWordLE(unsigned Binary) {
Evan Cheng4df60f52008-11-07 09:06:08 +0000271#ifndef NDEBUG
272 DOUT << " 0x" << std::hex << std::setw(8) << std::setfill('0')
273 << Binary << std::dec << "\n";
274#endif
Evan Cheng83b5cf02008-11-05 23:22:34 +0000275 MCE.emitWordLE(Binary);
276}
277
Evan Cheng7602e112008-09-02 06:52:38 +0000278void ARMCodeEmitter::emitInstruction(const MachineInstr &MI) {
Evan Cheng25e04782008-11-04 00:50:32 +0000279 DOUT << "JIT: " << (void*)MCE.getCurrentPCValue() << ":\t" << MI;
Evan Cheng42d5ee062008-09-13 01:15:21 +0000280
Evan Cheng148b6a42007-07-05 21:15:40 +0000281 NumEmitted++; // Keep track of the # of mi's emitted
Evan Chengedda31c2008-11-05 18:35:52 +0000282 switch (MI.getDesc().TSFlags & ARMII::FormMask) {
283 default:
284 assert(0 && "Unhandled instruction encoding format!");
285 break;
286 case ARMII::Pseudo:
Evan Cheng057d0c32008-09-18 07:28:19 +0000287 emitPseudoInstruction(MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000288 break;
289 case ARMII::DPFrm:
290 case ARMII::DPSoRegFrm:
291 emitDataProcessingInstruction(MI);
292 break;
293 case ARMII::LdFrm:
294 case ARMII::StFrm:
295 emitLoadStoreInstruction(MI);
296 break;
297 case ARMII::LdMiscFrm:
298 case ARMII::StMiscFrm:
299 emitMiscLoadStoreInstruction(MI);
300 break;
301 case ARMII::LdMulFrm:
302 case ARMII::StMulFrm:
303 emitLoadStoreMultipleInstruction(MI);
304 break;
Evan Chengfbc9d412008-11-06 01:21:28 +0000305 case ARMII::MulFrm:
306 emitMulFrmInstruction(MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000307 break;
Evan Cheng97f48c32008-11-06 22:15:19 +0000308 case ARMII::ExtFrm:
309 emitExtendInstruction(MI);
310 break;
Evan Cheng8b59db32008-11-07 01:41:35 +0000311 case ARMII::ArithMiscFrm:
312 emitMiscArithInstruction(MI);
313 break;
Evan Cheng12c3a532008-11-06 17:48:05 +0000314 case ARMII::BrFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000315 emitBranchInstruction(MI);
316 break;
Evan Cheng12c3a532008-11-06 17:48:05 +0000317 case ARMII::BrMiscFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000318 emitMiscBranchInstruction(MI);
319 break;
Evan Cheng96581d32008-11-11 02:11:05 +0000320 // VFP instructions.
321 case ARMII::VFPUnaryFrm:
322 case ARMII::VFPBinaryFrm:
323 emitVFPArithInstruction(MI);
324 break;
Evan Cheng78be83d2008-11-11 19:40:26 +0000325 case ARMII::VFPConv1Frm:
326 case ARMII::VFPConv2Frm:
327 emitVFPConversionInstruction(MI);
328 break;
Evan Chengedda31c2008-11-05 18:35:52 +0000329 }
Evan Cheng0ff94f72007-08-07 01:37:15 +0000330}
331
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000332void ARMCodeEmitter::emitConstPoolInstruction(const MachineInstr &MI) {
Evan Cheng437c1732008-11-07 22:30:53 +0000333 unsigned CPI = MI.getOperand(0).getImm(); // CP instruction index.
334 unsigned CPIndex = MI.getOperand(1).getIndex(); // Actual cp entry index.
Evan Cheng938b9d82008-10-31 19:55:13 +0000335 const MachineConstantPoolEntry &MCPE = (*MCPEs)[CPIndex];
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000336
337 // Remember the CONSTPOOL_ENTRY address for later relocation.
338 JTI->addConstantPoolEntryAddr(CPI, MCE.getCurrentPCValue());
339
340 // Emit constpool island entry. In most cases, the actual values will be
341 // resolved and relocated after code emission.
342 if (MCPE.isMachineConstantPoolEntry()) {
343 ARMConstantPoolValue *ACPV =
344 static_cast<ARMConstantPoolValue*>(MCPE.Val.MachineCPVal);
345
Evan Cheng12c3a532008-11-06 17:48:05 +0000346 DOUT << " ** ARM constant pool #" << CPI << " @ "
Evan Cheng437c1732008-11-07 22:30:53 +0000347 << (void*)MCE.getCurrentPCValue() << " " << *ACPV << '\n';
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000348
349 GlobalValue *GV = ACPV->getGV();
350 if (GV) {
351 assert(!ACPV->isStub() && "Don't know how to deal this yet!");
Evan Chenge96a4902008-11-08 01:31:27 +0000352 if (ACPV->isNonLazyPointer())
Evan Cheng9ed2f802008-11-10 01:08:07 +0000353 MCE.addRelocation(MachineRelocation::getIndirectSymbol(
Evan Chenge96a4902008-11-08 01:31:27 +0000354 MCE.getCurrentPCOffset(), ARM::reloc_arm_machine_cp_entry, GV,
355 (intptr_t)ACPV, false));
356 else
357 emitGlobalAddress(GV, ARM::reloc_arm_machine_cp_entry,
358 ACPV->isStub(), (intptr_t)ACPV);
Evan Cheng25e04782008-11-04 00:50:32 +0000359 } else {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000360 assert(!ACPV->isNonLazyPointer() && "Don't know how to deal this yet!");
361 emitExternalSymbolAddress(ACPV->getSymbol(), ARM::reloc_arm_absolute);
362 }
Evan Cheng83b5cf02008-11-05 23:22:34 +0000363 emitWordLE(0);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000364 } else {
365 Constant *CV = MCPE.Val.ConstVal;
366
Evan Cheng12c3a532008-11-06 17:48:05 +0000367 DOUT << " ** Constant pool #" << CPI << " @ "
Evan Cheng437c1732008-11-07 22:30:53 +0000368 << (void*)MCE.getCurrentPCValue() << " " << *CV << '\n';
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000369
370 if (GlobalValue *GV = dyn_cast<GlobalValue>(CV)) {
371 emitGlobalAddress(GV, ARM::reloc_arm_absolute, false);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000372 emitWordLE(0);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000373 } else {
374 assert(CV->getType()->isInteger() &&
375 "Not expecting non-integer constpool entries yet!");
376 const ConstantInt *CI = dyn_cast<ConstantInt>(CV);
377 uint32_t Val = *(uint32_t*)CI->getValue().getRawData();
Evan Cheng83b5cf02008-11-05 23:22:34 +0000378 emitWordLE(Val);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000379 }
380 }
381}
382
Evan Cheng90922132008-11-06 02:25:39 +0000383void ARMCodeEmitter::emitMOVi2piecesInstruction(const MachineInstr &MI) {
384 const MachineOperand &MO0 = MI.getOperand(0);
385 const MachineOperand &MO1 = MI.getOperand(1);
386 assert(MO1.isImm() && "Not a valid so_imm value!");
387 unsigned V1 = ARM_AM::getSOImmTwoPartFirst(MO1.getImm());
388 unsigned V2 = ARM_AM::getSOImmTwoPartSecond(MO1.getImm());
389
390 // Emit the 'mov' instruction.
391 unsigned Binary = 0xd << 21; // mov: Insts{24-21} = 0b1101
392
393 // Set the conditional execution predicate.
Evan Cheng97f48c32008-11-06 22:15:19 +0000394 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng90922132008-11-06 02:25:39 +0000395
396 // Encode Rd.
397 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
398
399 // Encode so_imm.
400 // Set bit I(25) to identify this is the immediate form of <shifter_op>
401 Binary |= 1 << ARMII::I_BitShift;
402 Binary |= getMachineSoImmOpValue(ARM_AM::getSOImmVal(V1));
403 emitWordLE(Binary);
404
405 // Now the 'orr' instruction.
406 Binary = 0xc << 21; // orr: Insts{24-21} = 0b1100
407
408 // Set the conditional execution predicate.
Evan Cheng97f48c32008-11-06 22:15:19 +0000409 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng90922132008-11-06 02:25:39 +0000410
411 // Encode Rd.
412 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
413
414 // Encode Rn.
415 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRnShift;
416
417 // Encode so_imm.
418 // Set bit I(25) to identify this is the immediate form of <shifter_op>
419 Binary |= 1 << ARMII::I_BitShift;
420 Binary |= getMachineSoImmOpValue(ARM_AM::getSOImmVal(V2));
421 emitWordLE(Binary);
422}
423
Evan Cheng4df60f52008-11-07 09:06:08 +0000424void ARMCodeEmitter::emitLEApcrelJTInstruction(const MachineInstr &MI) {
425 // It's basically add r, pc, (LJTI - $+8)
426
427 const TargetInstrDesc &TID = MI.getDesc();
428
429 // Emit the 'add' instruction.
430 unsigned Binary = 0x4 << 21; // add: Insts{24-31} = 0b0100
431
432 // Set the conditional execution predicate
433 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
434
435 // Encode S bit if MI modifies CPSR.
436 Binary |= getAddrModeSBit(MI, TID);
437
438 // Encode Rd.
439 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
440
441 // Encode Rn which is PC.
442 Binary |= ARMRegisterInfo::getRegisterNumbering(ARM::PC) << ARMII::RegRnShift;
443
444 // Encode the displacement.
445 // Set bit I(25) to identify this is the immediate form of <shifter_op>.
446 Binary |= 1 << ARMII::I_BitShift;
447 emitJumpTableAddress(MI.getOperand(1).getIndex(), ARM::reloc_arm_jt_base);
448
449 emitWordLE(Binary);
450}
451
Evan Cheng83b5cf02008-11-05 23:22:34 +0000452void ARMCodeEmitter::addPCLabel(unsigned LabelID) {
Evan Cheng12c3a532008-11-06 17:48:05 +0000453 DOUT << " ** LPC" << LabelID << " @ "
Evan Cheng83b5cf02008-11-05 23:22:34 +0000454 << (void*)MCE.getCurrentPCValue() << '\n';
455 JTI->addPCLabelAddr(LabelID, MCE.getCurrentPCValue());
456}
457
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000458void ARMCodeEmitter::emitPseudoInstruction(const MachineInstr &MI) {
459 unsigned Opcode = MI.getDesc().Opcode;
460 switch (Opcode) {
461 default:
462 abort(); // FIXME:
463 case ARM::CONSTPOOL_ENTRY:
464 emitConstPoolInstruction(MI);
465 break;
466 case ARM::PICADD: {
Evan Cheng25e04782008-11-04 00:50:32 +0000467 // Remember of the address of the PC label for relocation later.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000468 addPCLabel(MI.getOperand(2).getImm());
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000469 // PICADD is just an add instruction that implicitly read pc.
Evan Cheng437c1732008-11-07 22:30:53 +0000470 emitDataProcessingInstruction(MI, 0, ARM::PC);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000471 break;
472 }
473 case ARM::PICLDR:
474 case ARM::PICLDRB:
475 case ARM::PICSTR:
476 case ARM::PICSTRB: {
477 // Remember of the address of the PC label for relocation later.
478 addPCLabel(MI.getOperand(2).getImm());
479 // These are just load / store instructions that implicitly read pc.
Evan Cheng4df60f52008-11-07 09:06:08 +0000480 emitLoadStoreInstruction(MI, 0, ARM::PC);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000481 break;
482 }
483 case ARM::PICLDRH:
484 case ARM::PICLDRSH:
485 case ARM::PICLDRSB:
486 case ARM::PICSTRH: {
487 // Remember of the address of the PC label for relocation later.
488 addPCLabel(MI.getOperand(2).getImm());
489 // These are just load / store instructions that implicitly read pc.
490 emitMiscLoadStoreInstruction(MI, ARM::PC);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000491 break;
492 }
Evan Cheng90922132008-11-06 02:25:39 +0000493 case ARM::MOVi2pieces:
494 // Two instructions to materialize a constant.
495 emitMOVi2piecesInstruction(MI);
496 break;
Evan Cheng4df60f52008-11-07 09:06:08 +0000497 case ARM::LEApcrelJT:
498 // Materialize jumptable address.
499 emitLEApcrelJTInstruction(MI);
500 break;
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000501 }
502}
503
504
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000505unsigned ARMCodeEmitter::getMachineSoRegOpValue(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +0000506 const TargetInstrDesc &TID,
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000507 const MachineOperand &MO,
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000508 unsigned OpIdx) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000509 unsigned Binary = getMachineOpValue(MI, MO);
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000510
511 const MachineOperand &MO1 = MI.getOperand(OpIdx + 1);
512 const MachineOperand &MO2 = MI.getOperand(OpIdx + 2);
513 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO2.getImm());
514
515 // Encode the shift opcode.
516 unsigned SBits = 0;
517 unsigned Rs = MO1.getReg();
518 if (Rs) {
519 // Set shift operand (bit[7:4]).
520 // LSL - 0001
521 // LSR - 0011
522 // ASR - 0101
523 // ROR - 0111
524 // RRX - 0110 and bit[11:8] clear.
525 switch (SOpc) {
526 default: assert(0 && "Unknown shift opc!");
527 case ARM_AM::lsl: SBits = 0x1; break;
528 case ARM_AM::lsr: SBits = 0x3; break;
529 case ARM_AM::asr: SBits = 0x5; break;
530 case ARM_AM::ror: SBits = 0x7; break;
531 case ARM_AM::rrx: SBits = 0x6; break;
532 }
533 } else {
534 // Set shift operand (bit[6:4]).
535 // LSL - 000
536 // LSR - 010
537 // ASR - 100
538 // ROR - 110
539 switch (SOpc) {
540 default: assert(0 && "Unknown shift opc!");
541 case ARM_AM::lsl: SBits = 0x0; break;
542 case ARM_AM::lsr: SBits = 0x2; break;
543 case ARM_AM::asr: SBits = 0x4; break;
544 case ARM_AM::ror: SBits = 0x6; break;
545 }
546 }
547 Binary |= SBits << 4;
548 if (SOpc == ARM_AM::rrx)
549 return Binary;
550
551 // Encode the shift operation Rs or shift_imm (except rrx).
552 if (Rs) {
553 // Encode Rs bit[11:8].
554 assert(ARM_AM::getSORegOffset(MO2.getImm()) == 0);
555 return Binary |
556 (ARMRegisterInfo::getRegisterNumbering(Rs) << ARMII::RegRsShift);
557 }
558
559 // Encode shift_imm bit[11:7].
560 return Binary | ARM_AM::getSORegOffset(MO2.getImm()) << 7;
561}
562
Evan Cheng90922132008-11-06 02:25:39 +0000563unsigned ARMCodeEmitter::getMachineSoImmOpValue(unsigned SoImm) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000564 // Encode rotate_imm.
Evan Cheng97f48c32008-11-06 22:15:19 +0000565 unsigned Binary = (ARM_AM::getSOImmValRot(SoImm) >> 1)
566 << ARMII::SoRotImmShift;
567
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000568 // Encode immed_8.
Evan Cheng90922132008-11-06 02:25:39 +0000569 Binary |= ARM_AM::getSOImmValImm(SoImm);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000570 return Binary;
571}
572
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000573unsigned ARMCodeEmitter::getAddrModeSBit(const MachineInstr &MI,
574 const TargetInstrDesc &TID) const {
Evan Cheng49a9f292008-09-12 22:45:55 +0000575 for (unsigned i = MI.getNumOperands(), e = TID.getNumOperands(); i != e; --i){
576 const MachineOperand &MO = MI.getOperand(i-1);
Dan Gohmand735b802008-10-03 15:45:36 +0000577 if (MO.isReg() && MO.isDef() && MO.getReg() == ARM::CPSR)
Evan Cheng49a9f292008-09-12 22:45:55 +0000578 return 1 << ARMII::S_BitShift;
579 }
580 return 0;
581}
582
Evan Cheng83b5cf02008-11-05 23:22:34 +0000583void ARMCodeEmitter::emitDataProcessingInstruction(const MachineInstr &MI,
Evan Cheng437c1732008-11-07 22:30:53 +0000584 unsigned ImplicitRd,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000585 unsigned ImplicitRn) {
Evan Chengedda31c2008-11-05 18:35:52 +0000586 const TargetInstrDesc &TID = MI.getDesc();
Evan Chengedda31c2008-11-05 18:35:52 +0000587
588 // Part of binary is determined by TableGn.
589 unsigned Binary = getBinaryCodeForInstr(MI);
590
Jim Grosbach33412622008-10-07 19:05:35 +0000591 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000592 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000593
Evan Cheng49a9f292008-09-12 22:45:55 +0000594 // Encode S bit if MI modifies CPSR.
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000595 Binary |= getAddrModeSBit(MI, TID);
Evan Cheng49a9f292008-09-12 22:45:55 +0000596
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000597 // Encode register def if there is one.
Evan Cheng49a9f292008-09-12 22:45:55 +0000598 unsigned NumDefs = TID.getNumDefs();
Evan Chenga964b7d2008-09-12 23:15:39 +0000599 unsigned OpIdx = 0;
Evan Cheng437c1732008-11-07 22:30:53 +0000600 if (NumDefs)
601 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
602 else if (ImplicitRd)
603 // Special handling for implicit use (e.g. PC).
604 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRd)
605 << ARMII::RegRdShift);
Evan Cheng7602e112008-09-02 06:52:38 +0000606
Evan Chengd87293c2008-11-06 08:47:38 +0000607 // If this is a two-address operand, skip it. e.g. MOVCCr operand 1.
608 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
609 ++OpIdx;
610
Jim Grosbachefd30ba2008-10-01 18:16:49 +0000611 // Encode first non-shifter register operand if there is one.
Evan Chengedda31c2008-11-05 18:35:52 +0000612 bool isUnary = TID.TSFlags & ARMII::UnaryDP;
613 if (!isUnary) {
Evan Cheng83b5cf02008-11-05 23:22:34 +0000614 if (ImplicitRn)
615 // Special handling for implicit use (e.g. PC).
616 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
Evan Chengedda31c2008-11-05 18:35:52 +0000617 << ARMII::RegRnShift);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000618 else {
619 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRnShift;
620 ++OpIdx;
621 }
Evan Cheng7602e112008-09-02 06:52:38 +0000622 }
623
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000624 // Encode shifter operand.
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000625 const MachineOperand &MO = MI.getOperand(OpIdx);
Evan Chengedda31c2008-11-05 18:35:52 +0000626 if ((TID.TSFlags & ARMII::FormMask) == ARMII::DPSoRegFrm) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000627 // Encode SoReg.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000628 emitWordLE(Binary | getMachineSoRegOpValue(MI, TID, MO, OpIdx));
Evan Chengedda31c2008-11-05 18:35:52 +0000629 return;
630 }
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000631
Evan Chengedda31c2008-11-05 18:35:52 +0000632 if (MO.isReg()) {
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000633 // Encode register Rm.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000634 emitWordLE(Binary | ARMRegisterInfo::getRegisterNumbering(MO.getReg()));
Evan Chengedda31c2008-11-05 18:35:52 +0000635 return;
636 }
Evan Cheng7602e112008-09-02 06:52:38 +0000637
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000638 // Encode so_imm.
Evan Cheng4df60f52008-11-07 09:06:08 +0000639 // Set bit I(25) to identify this is the immediate form of <shifter_op>.
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000640 Binary |= 1 << ARMII::I_BitShift;
Evan Cheng90922132008-11-06 02:25:39 +0000641 Binary |= getMachineSoImmOpValue(MO.getImm());
Evan Chengedda31c2008-11-05 18:35:52 +0000642
Evan Cheng83b5cf02008-11-05 23:22:34 +0000643 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000644}
645
Evan Cheng83b5cf02008-11-05 23:22:34 +0000646void ARMCodeEmitter::emitLoadStoreInstruction(const MachineInstr &MI,
Evan Cheng4df60f52008-11-07 09:06:08 +0000647 unsigned ImplicitRd,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000648 unsigned ImplicitRn) {
Evan Cheng05c356e2008-11-08 01:44:13 +0000649 const TargetInstrDesc &TID = MI.getDesc();
650
Evan Chengedda31c2008-11-05 18:35:52 +0000651 // Part of binary is determined by TableGn.
652 unsigned Binary = getBinaryCodeForInstr(MI);
653
Jim Grosbach33412622008-10-07 19:05:35 +0000654 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000655 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng057d0c32008-09-18 07:28:19 +0000656
Evan Cheng7602e112008-09-02 06:52:38 +0000657 // Set first operand
Evan Cheng4df60f52008-11-07 09:06:08 +0000658 unsigned OpIdx = 0;
659 if (ImplicitRd)
660 // Special handling for implicit use (e.g. PC).
661 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRd)
662 << ARMII::RegRdShift);
663 else
664 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000665
666 // Set second operand
Evan Cheng83b5cf02008-11-05 23:22:34 +0000667 if (ImplicitRn)
668 // Special handling for implicit use (e.g. PC).
669 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
670 << ARMII::RegRnShift);
Evan Cheng4df60f52008-11-07 09:06:08 +0000671 else
672 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000673
Evan Cheng05c356e2008-11-08 01:44:13 +0000674 // If this is a two-address operand, skip it. e.g. LDR_PRE.
675 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
676 ++OpIdx;
677
Evan Cheng83b5cf02008-11-05 23:22:34 +0000678 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Chengd87293c2008-11-06 08:47:38 +0000679 unsigned AM2Opc = (ImplicitRn == ARM::PC)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000680 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Cheng7602e112008-09-02 06:52:38 +0000681
Evan Chenge7de7e32008-09-13 01:44:01 +0000682 // Set bit U(23) according to sign of immed value (positive or negative).
Evan Cheng83b5cf02008-11-05 23:22:34 +0000683 Binary |= ((ARM_AM::getAM2Op(AM2Opc) == ARM_AM::add ? 1 : 0) <<
Evan Chenge7de7e32008-09-13 01:44:01 +0000684 ARMII::U_BitShift);
Evan Cheng7602e112008-09-02 06:52:38 +0000685 if (!MO2.getReg()) { // is immediate
Evan Cheng83b5cf02008-11-05 23:22:34 +0000686 if (ARM_AM::getAM2Offset(AM2Opc))
Evan Cheng7602e112008-09-02 06:52:38 +0000687 // Set the value of offset_12 field
Evan Cheng83b5cf02008-11-05 23:22:34 +0000688 Binary |= ARM_AM::getAM2Offset(AM2Opc);
689 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +0000690 return;
Evan Cheng7602e112008-09-02 06:52:38 +0000691 }
692
693 // Set bit I(25), because this is not in immediate enconding.
694 Binary |= 1 << ARMII::I_BitShift;
695 assert(TargetRegisterInfo::isPhysicalRegister(MO2.getReg()));
696 // Set bit[3:0] to the corresponding Rm register
697 Binary |= ARMRegisterInfo::getRegisterNumbering(MO2.getReg());
698
699 // if this instr is in scaled register offset/index instruction, set
700 // shift_immed(bit[11:7]) and shift(bit[6:5]) fields.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000701 if (unsigned ShImm = ARM_AM::getAM2Offset(AM2Opc)) {
702 Binary |= getShiftOp(AM2Opc) << 5; // shift
703 Binary |= ShImm << 7; // shift_immed
Evan Cheng7602e112008-09-02 06:52:38 +0000704 }
705
Evan Cheng83b5cf02008-11-05 23:22:34 +0000706 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000707}
708
Evan Cheng83b5cf02008-11-05 23:22:34 +0000709void ARMCodeEmitter::emitMiscLoadStoreInstruction(const MachineInstr &MI,
710 unsigned ImplicitRn) {
Evan Cheng05c356e2008-11-08 01:44:13 +0000711 const TargetInstrDesc &TID = MI.getDesc();
712
Evan Chengedda31c2008-11-05 18:35:52 +0000713 // Part of binary is determined by TableGn.
714 unsigned Binary = getBinaryCodeForInstr(MI);
715
Jim Grosbach33412622008-10-07 19:05:35 +0000716 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000717 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng057d0c32008-09-18 07:28:19 +0000718
Evan Cheng7602e112008-09-02 06:52:38 +0000719 // Set first operand
720 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
721
722 // Set second operand
Evan Cheng83b5cf02008-11-05 23:22:34 +0000723 unsigned OpIdx = 1;
724 if (ImplicitRn)
725 // Special handling for implicit use (e.g. PC).
726 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
727 << ARMII::RegRnShift);
Evan Cheng4df60f52008-11-07 09:06:08 +0000728 else
729 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000730
Evan Cheng05c356e2008-11-08 01:44:13 +0000731 // If this is a two-address operand, skip it. e.g. LDRH_POST.
732 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
733 ++OpIdx;
734
Evan Cheng83b5cf02008-11-05 23:22:34 +0000735 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Chengd87293c2008-11-06 08:47:38 +0000736 unsigned AM3Opc = (ImplicitRn == ARM::PC)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000737 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Cheng7602e112008-09-02 06:52:38 +0000738
Evan Chenge7de7e32008-09-13 01:44:01 +0000739 // Set bit U(23) according to sign of immed value (positive or negative)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000740 Binary |= ((ARM_AM::getAM3Op(AM3Opc) == ARM_AM::add ? 1 : 0) <<
Evan Cheng7602e112008-09-02 06:52:38 +0000741 ARMII::U_BitShift);
742
743 // If this instr is in register offset/index encoding, set bit[3:0]
744 // to the corresponding Rm register.
745 if (MO2.getReg()) {
746 Binary |= ARMRegisterInfo::getRegisterNumbering(MO2.getReg());
Evan Cheng83b5cf02008-11-05 23:22:34 +0000747 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +0000748 return;
Evan Cheng7602e112008-09-02 06:52:38 +0000749 }
750
Evan Chengd87293c2008-11-06 08:47:38 +0000751 // This instr is in immediate offset/index encoding, set bit 22 to 1.
Evan Cheng97f48c32008-11-06 22:15:19 +0000752 Binary |= 1 << ARMII::AM3_I_BitShift;
Evan Cheng83b5cf02008-11-05 23:22:34 +0000753 if (unsigned ImmOffs = ARM_AM::getAM3Offset(AM3Opc)) {
Evan Cheng7602e112008-09-02 06:52:38 +0000754 // Set operands
755 Binary |= (ImmOffs >> 4) << 8; // immedH
756 Binary |= (ImmOffs & ~0xF); // immedL
757 }
758
Evan Cheng83b5cf02008-11-05 23:22:34 +0000759 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000760}
761
Evan Chengedda31c2008-11-05 18:35:52 +0000762void ARMCodeEmitter::emitLoadStoreMultipleInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +0000763 // Part of binary is determined by TableGn.
764 unsigned Binary = getBinaryCodeForInstr(MI);
765
Jim Grosbach33412622008-10-07 19:05:35 +0000766 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000767 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng057d0c32008-09-18 07:28:19 +0000768
Evan Cheng7602e112008-09-02 06:52:38 +0000769 // Set first operand
770 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRnShift;
771
772 // Set addressing mode by modifying bits U(23) and P(24)
773 // IA - Increment after - bit U = 1 and bit P = 0
774 // IB - Increment before - bit U = 1 and bit P = 1
775 // DA - Decrement after - bit U = 0 and bit P = 0
776 // DB - Decrement before - bit U = 0 and bit P = 1
777 const MachineOperand &MO = MI.getOperand(1);
778 ARM_AM::AMSubMode Mode = ARM_AM::getAM4SubMode(MO.getImm());
779 switch (Mode) {
780 default: assert(0 && "Unknown addressing sub-mode!");
781 case ARM_AM::da: break;
Evan Cheng97f48c32008-11-06 22:15:19 +0000782 case ARM_AM::db: Binary |= 0x1 << ARMII::P_BitShift; break;
783 case ARM_AM::ia: Binary |= 0x1 << ARMII::U_BitShift; break;
784 case ARM_AM::ib: Binary |= 0x3 << ARMII::U_BitShift; break;
Evan Cheng7602e112008-09-02 06:52:38 +0000785 }
786
787 // Set bit W(21)
788 if (ARM_AM::getAM4WBFlag(MO.getImm()))
Evan Cheng97f48c32008-11-06 22:15:19 +0000789 Binary |= 0x1 << ARMII::W_BitShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000790
791 // Set registers
792 for (unsigned i = 4, e = MI.getNumOperands(); i != e; ++i) {
793 const MachineOperand &MO = MI.getOperand(i);
Dan Gohmand735b802008-10-03 15:45:36 +0000794 if (MO.isReg() && MO.isImplicit())
Evan Cheng7602e112008-09-02 06:52:38 +0000795 continue;
796 unsigned RegNum = ARMRegisterInfo::getRegisterNumbering(MO.getReg());
797 assert(TargetRegisterInfo::isPhysicalRegister(MO.getReg()) &&
798 RegNum < 16);
799 Binary |= 0x1 << RegNum;
800 }
801
Evan Cheng83b5cf02008-11-05 23:22:34 +0000802 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000803}
804
Evan Chengfbc9d412008-11-06 01:21:28 +0000805void ARMCodeEmitter::emitMulFrmInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +0000806 const TargetInstrDesc &TID = MI.getDesc();
807
808 // Part of binary is determined by TableGn.
809 unsigned Binary = getBinaryCodeForInstr(MI);
810
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000811 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000812 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000813
814 // Encode S bit if MI modifies CPSR.
815 Binary |= getAddrModeSBit(MI, TID);
816
817 // 32x32->64bit operations have two destination registers. The number
818 // of register definitions will tell us if that's what we're dealing with.
Evan Cheng97f48c32008-11-06 22:15:19 +0000819 unsigned OpIdx = 0;
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000820 if (TID.getNumDefs() == 2)
821 Binary |= getMachineOpValue (MI, OpIdx++) << ARMII::RegRdLoShift;
822
823 // Encode Rd
824 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdHiShift;
825
826 // Encode Rm
827 Binary |= getMachineOpValue(MI, OpIdx++);
828
829 // Encode Rs
830 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRsShift;
831
Evan Chengfbc9d412008-11-06 01:21:28 +0000832 // Many multiple instructions (e.g. MLA) have three src operands. Encode
833 // it as Rn (for multiply, that's in the same offset as RdLo.
Evan Cheng97f48c32008-11-06 22:15:19 +0000834 if (TID.getNumOperands() > OpIdx &&
835 !TID.OpInfo[OpIdx].isPredicate() &&
836 !TID.OpInfo[OpIdx].isOptionalDef())
837 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRdLoShift;
838
839 emitWordLE(Binary);
840}
841
842void ARMCodeEmitter::emitExtendInstruction(const MachineInstr &MI) {
843 const TargetInstrDesc &TID = MI.getDesc();
844
845 // Part of binary is determined by TableGn.
846 unsigned Binary = getBinaryCodeForInstr(MI);
847
848 // Set the conditional execution predicate
849 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
850
851 unsigned OpIdx = 0;
852
853 // Encode Rd
854 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
855
856 const MachineOperand &MO1 = MI.getOperand(OpIdx++);
857 const MachineOperand &MO2 = MI.getOperand(OpIdx);
858 if (MO2.isReg()) {
859 // Two register operand form.
860 // Encode Rn.
861 Binary |= getMachineOpValue(MI, MO1) << ARMII::RegRnShift;
862
863 // Encode Rm.
864 Binary |= getMachineOpValue(MI, MO2);
865 ++OpIdx;
866 } else {
867 Binary |= getMachineOpValue(MI, MO1);
868 }
869
870 // Encode rot imm (0, 8, 16, or 24) if it has a rotate immediate operand.
871 if (MI.getOperand(OpIdx).isImm() &&
872 !TID.OpInfo[OpIdx].isPredicate() &&
873 !TID.OpInfo[OpIdx].isOptionalDef())
874 Binary |= (getMachineOpValue(MI, OpIdx) / 8) << ARMII::ExtRotImmShift;
Evan Chengfbc9d412008-11-06 01:21:28 +0000875
Evan Cheng83b5cf02008-11-05 23:22:34 +0000876 emitWordLE(Binary);
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000877}
878
Evan Cheng8b59db32008-11-07 01:41:35 +0000879void ARMCodeEmitter::emitMiscArithInstruction(const MachineInstr &MI) {
880 const TargetInstrDesc &TID = MI.getDesc();
881
882 // Part of binary is determined by TableGn.
883 unsigned Binary = getBinaryCodeForInstr(MI);
884
885 // Set the conditional execution predicate
886 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
887
888 unsigned OpIdx = 0;
889
890 // Encode Rd
891 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
892
893 const MachineOperand &MO = MI.getOperand(OpIdx++);
894 if (OpIdx == TID.getNumOperands() ||
895 TID.OpInfo[OpIdx].isPredicate() ||
896 TID.OpInfo[OpIdx].isOptionalDef()) {
897 // Encode Rm and it's done.
898 Binary |= getMachineOpValue(MI, MO);
899 emitWordLE(Binary);
900 return;
901 }
902
903 // Encode Rn.
904 Binary |= getMachineOpValue(MI, MO) << ARMII::RegRnShift;
905
906 // Encode Rm.
907 Binary |= getMachineOpValue(MI, OpIdx++);
908
909 // Encode shift_imm.
910 unsigned ShiftAmt = MI.getOperand(OpIdx).getImm();
911 assert(ShiftAmt < 32 && "shift_imm range is 0 to 31!");
912 Binary |= ShiftAmt << ARMII::ShiftShift;
913
914 emitWordLE(Binary);
915}
916
Evan Chengedda31c2008-11-05 18:35:52 +0000917void ARMCodeEmitter::emitBranchInstruction(const MachineInstr &MI) {
918 const TargetInstrDesc &TID = MI.getDesc();
919
Evan Cheng12c3a532008-11-06 17:48:05 +0000920 if (TID.Opcode == ARM::TPsoft)
921 abort(); // FIXME
922
Evan Cheng7602e112008-09-02 06:52:38 +0000923 // Part of binary is determined by TableGn.
924 unsigned Binary = getBinaryCodeForInstr(MI);
925
Evan Chengedda31c2008-11-05 18:35:52 +0000926 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000927 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chengedda31c2008-11-05 18:35:52 +0000928
929 // Set signed_immed_24 field
930 Binary |= getMachineOpValue(MI, 0);
931
Evan Cheng83b5cf02008-11-05 23:22:34 +0000932 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +0000933}
934
Evan Cheng437c1732008-11-07 22:30:53 +0000935void ARMCodeEmitter::emitInlineJumpTable(unsigned JTIndex) {
Evan Cheng4df60f52008-11-07 09:06:08 +0000936 // Remember the base address of the inline jump table.
Evan Cheng437c1732008-11-07 22:30:53 +0000937 intptr_t JTBase = MCE.getCurrentPCValue();
938 JTI->addJumpTableBaseAddr(JTIndex, JTBase);
939 DOUT << " ** Jump Table #" << JTIndex << " @ " << (void*)JTBase << '\n';
Evan Cheng4df60f52008-11-07 09:06:08 +0000940
941 // Now emit the jump table entries.
942 const std::vector<MachineBasicBlock*> &MBBs = (*MJTEs)[JTIndex].MBBs;
943 for (unsigned i = 0, e = MBBs.size(); i != e; ++i) {
944 if (IsPIC)
945 // DestBB address - JT base.
Evan Cheng437c1732008-11-07 22:30:53 +0000946 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_pic_jt, JTBase);
Evan Cheng4df60f52008-11-07 09:06:08 +0000947 else
948 // Absolute DestBB address.
949 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_absolute);
950 emitWordLE(0);
951 }
952}
953
Evan Chengedda31c2008-11-05 18:35:52 +0000954void ARMCodeEmitter::emitMiscBranchInstruction(const MachineInstr &MI) {
955 const TargetInstrDesc &TID = MI.getDesc();
Evan Chengedda31c2008-11-05 18:35:52 +0000956
Evan Cheng437c1732008-11-07 22:30:53 +0000957 // Handle jump tables.
958 if (TID.Opcode == ARM::BR_JTr || TID.Opcode == ARM::BR_JTadd) {
959 // First emit a ldr pc, [] instruction.
960 emitDataProcessingInstruction(MI, ARM::PC);
961
962 // Then emit the inline jump table.
963 unsigned JTIndex = (TID.Opcode == ARM::BR_JTr)
964 ? MI.getOperand(1).getIndex() : MI.getOperand(2).getIndex();
965 emitInlineJumpTable(JTIndex);
966 return;
967 } else if (TID.Opcode == ARM::BR_JTm) {
Evan Cheng4df60f52008-11-07 09:06:08 +0000968 // First emit a ldr pc, [] instruction.
969 emitLoadStoreInstruction(MI, ARM::PC);
970
971 // Then emit the inline jump table.
Evan Cheng437c1732008-11-07 22:30:53 +0000972 emitInlineJumpTable(MI.getOperand(3).getIndex());
Evan Cheng4df60f52008-11-07 09:06:08 +0000973 return;
974 }
975
Evan Chengedda31c2008-11-05 18:35:52 +0000976 // Part of binary is determined by TableGn.
977 unsigned Binary = getBinaryCodeForInstr(MI);
978
979 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000980 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chengedda31c2008-11-05 18:35:52 +0000981
982 if (TID.Opcode == ARM::BX_RET)
983 // The return register is LR.
984 Binary |= ARMRegisterInfo::getRegisterNumbering(ARM::LR);
985 else
986 // otherwise, set the return register
987 Binary |= getMachineOpValue(MI, 0);
988
Evan Cheng83b5cf02008-11-05 23:22:34 +0000989 emitWordLE(Binary);
Evan Cheng148b6a42007-07-05 21:15:40 +0000990}
Evan Cheng7602e112008-09-02 06:52:38 +0000991
Evan Cheng96581d32008-11-11 02:11:05 +0000992void ARMCodeEmitter::emitVFPArithInstruction(const MachineInstr &MI) {
993 const TargetInstrDesc &TID = MI.getDesc();
994
995 // Part of binary is determined by TableGn.
996 unsigned Binary = getBinaryCodeForInstr(MI);
997
998 // Set the conditional execution predicate
999 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1000
1001 unsigned OpIdx = 0;
1002 assert((Binary & ARMII::D_BitShift) == 0 &&
1003 (Binary & ARMII::N_BitShift) == 0 &&
1004 (Binary & ARMII::M_BitShift) == 0 && "VFP encoding bug!");
1005
1006 // Encode Dd / Sd.
1007 unsigned RegD = getMachineOpValue(MI, OpIdx++);
Evan Cheng78be83d2008-11-11 19:40:26 +00001008 Binary |= (RegD & 0x0f) << ARMII::RegRdShift;
Evan Cheng96581d32008-11-11 02:11:05 +00001009 Binary |= (RegD & 0x10) << ARMII::D_BitShift;
1010
1011 // If this is a two-address operand, skip it, e.g. FMACD.
1012 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1013 ++OpIdx;
1014
1015 // Encode Dn / Sn.
1016 if ((TID.TSFlags & ARMII::FormMask) == ARMII::VFPBinaryFrm) {
1017 unsigned RegN = getMachineOpValue(MI, OpIdx++);
Evan Cheng78be83d2008-11-11 19:40:26 +00001018 Binary |= (RegN & 0x0f) << ARMII::RegRnShift;
Evan Cheng96581d32008-11-11 02:11:05 +00001019 Binary |= (RegN & 0x10) << ARMII::N_BitShift;
1020 }
1021
1022 // Encode Dm / Sm.
1023 unsigned RegM = getMachineOpValue(MI, OpIdx++);
1024 Binary |= (RegM & 0x0f);
1025 Binary |= (RegM & 0x10) << ARMII::M_BitShift;
1026
1027 emitWordLE(Binary);
1028}
1029
Evan Cheng78be83d2008-11-11 19:40:26 +00001030void ARMCodeEmitter::emitVFPConversionInstruction(const MachineInstr &MI) {
1031 const TargetInstrDesc &TID = MI.getDesc();
1032
1033 // Part of binary is determined by TableGn.
1034 unsigned Binary = getBinaryCodeForInstr(MI);
1035
1036 // Set the conditional execution predicate
1037 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1038
1039 unsigned OpIdx = 0;
1040
1041 // Encode Dd / Sd.
1042 unsigned RegD = getMachineOpValue(MI, OpIdx++);
1043 Binary |= (RegD & 0x0f) << ARMII::RegRdShift;
1044 Binary |= (RegD & 0x10) << ARMII::D_BitShift;
1045
1046 // Encode Dn / Sn.
1047 if ((TID.TSFlags & ARMII::FormMask) == ARMII::VFPConv1Frm) {
1048 unsigned RegN = getMachineOpValue(MI, OpIdx++);
1049 Binary |= (RegN & 0x0f) << ARMII::RegRnShift;
1050 Binary |= (RegN & 0x10) << ARMII::N_BitShift;
1051
1052 // FMRS / FMSR do not have Rm.
1053 if (!TID.OpInfo[2].isPredicate()) {
1054 unsigned RegM = getMachineOpValue(MI, OpIdx++);
1055 Binary |= (RegM & 0x0f);
1056 Binary |= (RegM & 0x10) << ARMII::M_BitShift;
1057 }
1058 } else {
1059 unsigned RegM = getMachineOpValue(MI, OpIdx++);
1060 Binary |= (RegM & 0x0f);
1061 Binary |= (RegM & 0x10) << ARMII::M_BitShift;
1062 }
1063
1064 emitWordLE(Binary);
1065}
1066
Evan Cheng7602e112008-09-02 06:52:38 +00001067#include "ARMGenCodeEmitter.inc"