blob: 21db2e0a1d95ed4ce8bba8b11e7ad9e91d7bd572 [file] [log] [blame]
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001//===-- ARM/ARMCodeEmitter.cpp - Convert ARM code to machine code ---------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner081ce942007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Dan Gohmanf17a25c2007-07-18 16:29:46 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file contains the pass that transforms the ARM machine instructions into
11// relocatable machine code.
12//
13//===----------------------------------------------------------------------===//
14
Evan Chengf07a9b62008-10-29 23:55:43 +000015#define DEBUG_TYPE "jit"
Evan Chengefc43652008-09-02 06:52:38 +000016#include "ARM.h"
17#include "ARMAddressingModes.h"
Evan Chengf07a9b62008-10-29 23:55:43 +000018#include "ARMConstantPoolValue.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000019#include "ARMInstrInfo.h"
Evan Chengefc43652008-09-02 06:52:38 +000020#include "ARMRelocations.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000021#include "ARMSubtarget.h"
22#include "ARMTargetMachine.h"
Jim Grosbachcd40d892008-10-28 18:25:49 +000023#include "llvm/Constants.h"
24#include "llvm/DerivedTypes.h"
Evan Chengefb91812008-09-13 01:15:21 +000025#include "llvm/Function.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000026#include "llvm/PassManager.h"
27#include "llvm/CodeGen/MachineCodeEmitter.h"
Bruno Cardoso Lopes1ea31ff2009-05-30 20:51:52 +000028#include "llvm/CodeGen/JITCodeEmitter.h"
Bruno Cardoso Lopesaabb9a52009-07-06 05:09:34 +000029#include "llvm/CodeGen/ObjectCodeEmitter.h"
Evan Chenge4c813c2008-09-18 07:28:19 +000030#include "llvm/CodeGen/MachineConstantPool.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000031#include "llvm/CodeGen/MachineFunctionPass.h"
32#include "llvm/CodeGen/MachineInstr.h"
Evan Cheng0f63ae12008-11-07 09:06:08 +000033#include "llvm/CodeGen/MachineJumpTableInfo.h"
Daniel Dunbar98cb5532009-09-21 05:58:35 +000034#include "llvm/CodeGen/MachineModuleInfo.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000035#include "llvm/CodeGen/Passes.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000036#include "llvm/ADT/Statistic.h"
Evan Chengefb91812008-09-13 01:15:21 +000037#include "llvm/Support/Debug.h"
Edwin Török3cb88482009-07-08 18:01:40 +000038#include "llvm/Support/ErrorHandling.h"
39#include "llvm/Support/raw_ostream.h"
Evan Cheng0f63ae12008-11-07 09:06:08 +000040#ifndef NDEBUG
41#include <iomanip>
42#endif
Dan Gohmanf17a25c2007-07-18 16:29:46 +000043using namespace llvm;
44
45STATISTIC(NumEmitted, "Number of machine instructions emitted");
46
47namespace {
Bruno Cardoso Lopes1ea31ff2009-05-30 20:51:52 +000048
Chris Lattner11d88be2010-02-02 21:48:51 +000049 class ARMCodeEmitter : public MachineFunctionPass {
Evan Chenge4c813c2008-09-18 07:28:19 +000050 ARMJITInfo *JTI;
51 const ARMInstrInfo *II;
52 const TargetData *TD;
Evan Cheng50e503f2009-09-10 01:23:53 +000053 const ARMSubtarget *Subtarget;
Evan Chenge4c813c2008-09-18 07:28:19 +000054 TargetMachine &TM;
Chris Lattner11d88be2010-02-02 21:48:51 +000055 JITCodeEmitter &MCE;
Evan Chengb562f8b2008-10-31 19:55:13 +000056 const std::vector<MachineConstantPoolEntry> *MCPEs;
Evan Cheng0f63ae12008-11-07 09:06:08 +000057 const std::vector<MachineJumpTableEntry> *MJTEs;
58 bool IsPIC;
Chris Lattner11d88be2010-02-02 21:48:51 +000059
Daniel Dunbar98cb5532009-09-21 05:58:35 +000060 void getAnalysisUsage(AnalysisUsage &AU) const {
61 AU.addRequired<MachineModuleInfo>();
62 MachineFunctionPass::getAnalysisUsage(AU);
63 }
Chris Lattner11d88be2010-02-02 21:48:51 +000064
Dan Gohmanf17a25c2007-07-18 16:29:46 +000065 static char ID;
Chris Lattner11d88be2010-02-02 21:48:51 +000066 public:
67 ARMCodeEmitter(TargetMachine &tm, JITCodeEmitter &mce)
68 : MachineFunctionPass(&ID), JTI(0), II((ARMInstrInfo*)tm.getInstrInfo()),
69 TD(tm.getTargetData()), TM(tm),
70 MCE(mce), MCPEs(0), MJTEs(0),
71 IsPIC(TM.getRelocationModel() == Reloc::PIC_) {}
72
73 /// getBinaryCodeForInstr - This function, generated by the
74 /// CodeEmitterGenerator using TableGen, produces the binary encoding for
75 /// machine instructions.
76 unsigned getBinaryCodeForInstr(const MachineInstr &MI);
Dan Gohmanf17a25c2007-07-18 16:29:46 +000077
78 bool runOnMachineFunction(MachineFunction &MF);
79
80 virtual const char *getPassName() const {
81 return "ARM Machine Code Emitter";
82 }
83
84 void emitInstruction(const MachineInstr &MI);
Evan Chengefc43652008-09-02 06:52:38 +000085
86 private:
Evan Chenge4c813c2008-09-18 07:28:19 +000087
Evan Chengc41fb3152008-11-05 23:22:34 +000088 void emitWordLE(unsigned Binary);
Evan Cheng9e280e02008-11-11 22:19:31 +000089 void emitDWordLE(uint64_t Binary);
Evan Chenge4c813c2008-09-18 07:28:19 +000090 void emitConstPoolInstruction(const MachineInstr &MI);
Evan Cheng7cd4acb2008-11-06 02:25:39 +000091 void emitMOVi2piecesInstruction(const MachineInstr &MI);
Evan Cheng0f63ae12008-11-07 09:06:08 +000092 void emitLEApcrelJTInstruction(const MachineInstr &MI);
Evan Cheng7f240d22008-11-14 20:09:11 +000093 void emitPseudoMoveInstruction(const MachineInstr &MI);
Evan Chengc41fb3152008-11-05 23:22:34 +000094 void addPCLabel(unsigned LabelID);
Evan Chenge4c813c2008-09-18 07:28:19 +000095 void emitPseudoInstruction(const MachineInstr &MI);
Evan Cheng00dc31b2008-09-12 22:01:15 +000096 unsigned getMachineSoRegOpValue(const MachineInstr &MI,
Evan Cheng378c3a92008-09-12 22:45:55 +000097 const TargetInstrDesc &TID,
Evan Chengd6dcbe22008-10-31 19:10:44 +000098 const MachineOperand &MO,
Evan Cheng00dc31b2008-09-12 22:01:15 +000099 unsigned OpIdx);
100
Evan Cheng7cd4acb2008-11-06 02:25:39 +0000101 unsigned getMachineSoImmOpValue(unsigned SoImm);
Evan Chengd6dcbe22008-10-31 19:10:44 +0000102
Jim Grosbach1feed042008-11-03 18:38:31 +0000103 unsigned getAddrModeSBit(const MachineInstr &MI,
104 const TargetInstrDesc &TID) const;
Evan Cheng378c3a92008-09-12 22:45:55 +0000105
Evan Chengc41fb3152008-11-05 23:22:34 +0000106 void emitDataProcessingInstruction(const MachineInstr &MI,
Evan Cheng260ae192008-11-07 22:30:53 +0000107 unsigned ImplicitRd = 0,
Evan Chengc41fb3152008-11-05 23:22:34 +0000108 unsigned ImplicitRn = 0);
Evan Chengefc43652008-09-02 06:52:38 +0000109
Evan Chengc41fb3152008-11-05 23:22:34 +0000110 void emitLoadStoreInstruction(const MachineInstr &MI,
Evan Cheng0f63ae12008-11-07 09:06:08 +0000111 unsigned ImplicitRd = 0,
Evan Chengc41fb3152008-11-05 23:22:34 +0000112 unsigned ImplicitRn = 0);
Evan Cheng86a926a2008-11-05 18:35:52 +0000113
Evan Chengc41fb3152008-11-05 23:22:34 +0000114 void emitMiscLoadStoreInstruction(const MachineInstr &MI,
115 unsigned ImplicitRn = 0);
Evan Cheng86a926a2008-11-05 18:35:52 +0000116
117 void emitLoadStoreMultipleInstruction(const MachineInstr &MI);
118
Evan Chengee80fb72008-11-06 01:21:28 +0000119 void emitMulFrmInstruction(const MachineInstr &MI);
Evan Cheng86a926a2008-11-05 18:35:52 +0000120
Evan Cheng37afa432008-11-06 22:15:19 +0000121 void emitExtendInstruction(const MachineInstr &MI);
122
Evan Chengc2121a22008-11-07 01:41:35 +0000123 void emitMiscArithInstruction(const MachineInstr &MI);
124
Evan Cheng86a926a2008-11-05 18:35:52 +0000125 void emitBranchInstruction(const MachineInstr &MI);
126
Evan Cheng260ae192008-11-07 22:30:53 +0000127 void emitInlineJumpTable(unsigned JTIndex);
Evan Cheng0f63ae12008-11-07 09:06:08 +0000128
Evan Cheng86a926a2008-11-05 18:35:52 +0000129 void emitMiscBranchInstruction(const MachineInstr &MI);
Evan Chengefc43652008-09-02 06:52:38 +0000130
Evan Chengc63e15e2008-11-11 02:11:05 +0000131 void emitVFPArithInstruction(const MachineInstr &MI);
132
Evan Cheng9d3cc182008-11-11 19:40:26 +0000133 void emitVFPConversionInstruction(const MachineInstr &MI);
134
Evan Chengbb786b32008-11-11 21:48:44 +0000135 void emitVFPLoadStoreInstruction(const MachineInstr &MI);
136
137 void emitVFPLoadStoreMultipleInstruction(const MachineInstr &MI);
138
139 void emitMiscInstruction(const MachineInstr &MI);
140
Evan Chengefc43652008-09-02 06:52:38 +0000141 /// getMachineOpValue - Return binary encoding of operand. If the machine
142 /// operand requires relocation, record the relocation and return zero.
Evan Chengd6dcbe22008-10-31 19:10:44 +0000143 unsigned getMachineOpValue(const MachineInstr &MI,const MachineOperand &MO);
Evan Chengefc43652008-09-02 06:52:38 +0000144 unsigned getMachineOpValue(const MachineInstr &MI, unsigned OpIdx) {
145 return getMachineOpValue(MI, MI.getOperand(OpIdx));
146 }
Evan Chengefc43652008-09-02 06:52:38 +0000147
Evan Chengc41fb3152008-11-05 23:22:34 +0000148 /// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
Evan Chengefc43652008-09-02 06:52:38 +0000149 ///
Evan Chengc41fb3152008-11-05 23:22:34 +0000150 unsigned getShiftOp(unsigned Imm) const ;
Evan Chengefc43652008-09-02 06:52:38 +0000151
152 /// Routines that handle operands which add machine relocations which are
Evan Cheng260ae192008-11-07 22:30:53 +0000153 /// fixed up by the relocation stage.
Evan Chenge4c813c2008-09-18 07:28:19 +0000154 void emitGlobalAddress(GlobalValue *GV, unsigned Reloc,
Jeffrey Yasskine63aa1f2009-11-07 08:51:52 +0000155 bool MayNeedFarStub, bool Indirect,
156 intptr_t ACPV = 0);
Evan Chenga7b3e7c2007-08-07 01:37:15 +0000157 void emitExternalSymbolAddress(const char *ES, unsigned Reloc);
Evan Cheng260ae192008-11-07 22:30:53 +0000158 void emitConstPoolAddress(unsigned CPI, unsigned Reloc);
159 void emitJumpTableAddress(unsigned JTIndex, unsigned Reloc);
160 void emitMachineBasicBlock(MachineBasicBlock *BB, unsigned Reloc,
161 intptr_t JTBase = 0);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000162 };
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000163}
164
Chris Lattner11d88be2010-02-02 21:48:51 +0000165char ARMCodeEmitter::ID = 0;
166
Chris Lattnera06694d2010-02-02 21:38:59 +0000167/// createARMJITCodeEmitterPass - Return a pass that emits the collected ARM
168/// code to the specified MCE object.
Bruno Cardoso Lopesaabb9a52009-07-06 05:09:34 +0000169FunctionPass *llvm::createARMJITCodeEmitterPass(ARMBaseTargetMachine &TM,
170 JITCodeEmitter &JCE) {
Chris Lattner11d88be2010-02-02 21:48:51 +0000171 return new ARMCodeEmitter(TM, JCE);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000172}
Bruno Cardoso Lopes1ea31ff2009-05-30 20:51:52 +0000173
Chris Lattner11d88be2010-02-02 21:48:51 +0000174bool ARMCodeEmitter::runOnMachineFunction(MachineFunction &MF) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000175 assert((MF.getTarget().getRelocationModel() != Reloc::Default ||
176 MF.getTarget().getRelocationModel() != Reloc::Static) &&
177 "JIT relocation model must be set to static or default!");
Evan Cheng50e503f2009-09-10 01:23:53 +0000178 JTI = ((ARMTargetMachine&)MF.getTarget()).getJITInfo();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000179 II = ((ARMTargetMachine&)MF.getTarget()).getInstrInfo();
180 TD = ((ARMTargetMachine&)MF.getTarget()).getTargetData();
Evan Cheng50e503f2009-09-10 01:23:53 +0000181 Subtarget = &TM.getSubtarget<ARMSubtarget>();
Evan Chengb562f8b2008-10-31 19:55:13 +0000182 MCPEs = &MF.getConstantPool()->getConstants();
Chris Lattnerb10c7e22010-01-25 23:22:00 +0000183 MJTEs = 0;
184 if (MF.getJumpTableInfo()) MJTEs = &MF.getJumpTableInfo()->getJumpTables();
Evan Cheng0f63ae12008-11-07 09:06:08 +0000185 IsPIC = TM.getRelocationModel() == Reloc::PIC_;
Evan Chengba96b1a2008-11-08 07:38:22 +0000186 JTI->Initialize(MF, IsPIC);
Daniel Dunbar98cb5532009-09-21 05:58:35 +0000187 MCE.setModuleInfo(&getAnalysis<MachineModuleInfo>());
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000188
189 do {
Jim Grosbach770d7182009-08-11 15:33:49 +0000190 DEBUG(errs() << "JITTing function '"
Daniel Dunbar005975c2009-07-25 00:23:56 +0000191 << MF.getFunction()->getName() << "'\n");
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000192 MCE.startFunction(MF);
Jim Grosbach770d7182009-08-11 15:33:49 +0000193 for (MachineFunction::iterator MBB = MF.begin(), E = MF.end();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000194 MBB != E; ++MBB) {
195 MCE.StartMachineBasicBlock(MBB);
196 for (MachineBasicBlock::const_iterator I = MBB->begin(), E = MBB->end();
197 I != E; ++I)
198 emitInstruction(*I);
199 }
200 } while (MCE.finishFunction(MF));
201
202 return false;
203}
204
Evan Chengc41fb3152008-11-05 23:22:34 +0000205/// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
Evan Chengefc43652008-09-02 06:52:38 +0000206///
Chris Lattner11d88be2010-02-02 21:48:51 +0000207unsigned ARMCodeEmitter::getShiftOp(unsigned Imm) const {
Evan Chengc41fb3152008-11-05 23:22:34 +0000208 switch (ARM_AM::getAM2ShiftOpc(Imm)) {
Edwin Törökbd448e32009-07-14 16:55:14 +0000209 default: llvm_unreachable("Unknown shift opc!");
Evan Chengefc43652008-09-02 06:52:38 +0000210 case ARM_AM::asr: return 2;
211 case ARM_AM::lsl: return 0;
212 case ARM_AM::lsr: return 1;
Evan Chenga7b3e7c2007-08-07 01:37:15 +0000213 case ARM_AM::ror:
Evan Chengefc43652008-09-02 06:52:38 +0000214 case ARM_AM::rrx: return 3;
Evan Chenga7b3e7c2007-08-07 01:37:15 +0000215 }
Evan Chengefc43652008-09-02 06:52:38 +0000216 return 0;
Evan Chenga7b3e7c2007-08-07 01:37:15 +0000217}
218
Evan Chengefc43652008-09-02 06:52:38 +0000219/// getMachineOpValue - Return binary encoding of operand. If the machine
220/// operand requires relocation, record the relocation and return zero.
Chris Lattner11d88be2010-02-02 21:48:51 +0000221unsigned ARMCodeEmitter::getMachineOpValue(const MachineInstr &MI,
222 const MachineOperand &MO) {
Dan Gohmanb9f4fa72008-10-03 15:45:36 +0000223 if (MO.isReg())
Evan Chengefc43652008-09-02 06:52:38 +0000224 return ARMRegisterInfo::getRegisterNumbering(MO.getReg());
Dan Gohmanb9f4fa72008-10-03 15:45:36 +0000225 else if (MO.isImm())
Evan Chengefc43652008-09-02 06:52:38 +0000226 return static_cast<unsigned>(MO.getImm());
Dan Gohmanb9f4fa72008-10-03 15:45:36 +0000227 else if (MO.isGlobal())
Evan Cheng50e503f2009-09-10 01:23:53 +0000228 emitGlobalAddress(MO.getGlobal(), ARM::reloc_arm_branch, true, false);
Dan Gohmanb9f4fa72008-10-03 15:45:36 +0000229 else if (MO.isSymbol())
Evan Cheng5c454e92008-11-08 07:22:33 +0000230 emitExternalSymbolAddress(MO.getSymbolName(), ARM::reloc_arm_branch);
Evan Cheng668d0df2008-11-12 01:02:24 +0000231 else if (MO.isCPI()) {
232 const TargetInstrDesc &TID = MI.getDesc();
233 // For VFP load, the immediate offset is multiplied by 4.
234 unsigned Reloc = ((TID.TSFlags & ARMII::FormMask) == ARMII::VFPLdStFrm)
235 ? ARM::reloc_arm_vfp_cp_entry : ARM::reloc_arm_cp_entry;
236 emitConstPoolAddress(MO.getIndex(), Reloc);
237 } else if (MO.isJTI())
Chris Lattner6017d482007-12-30 23:10:15 +0000238 emitJumpTableAddress(MO.getIndex(), ARM::reloc_arm_relative);
Dan Gohmanb9f4fa72008-10-03 15:45:36 +0000239 else if (MO.isMBB())
Evan Cheng0f63ae12008-11-07 09:06:08 +0000240 emitMachineBasicBlock(MO.getMBB(), ARM::reloc_arm_branch);
Evan Cheng453bbc32008-09-13 01:55:59 +0000241 else {
Edwin Török4d9756a2009-07-08 20:53:28 +0000242#ifndef NDEBUG
Chris Lattnerd71b0b02009-08-23 03:41:05 +0000243 errs() << MO;
Edwin Török4d9756a2009-07-08 20:53:28 +0000244#endif
Edwin Törökbd448e32009-07-14 16:55:14 +0000245 llvm_unreachable(0);
Evan Cheng453bbc32008-09-13 01:55:59 +0000246 }
Evan Chengefc43652008-09-02 06:52:38 +0000247 return 0;
Evan Chenga7b3e7c2007-08-07 01:37:15 +0000248}
249
Evan Chenge4c813c2008-09-18 07:28:19 +0000250/// emitGlobalAddress - Emit the specified address to the code stream.
Evan Chenga7b3e7c2007-08-07 01:37:15 +0000251///
Chris Lattner11d88be2010-02-02 21:48:51 +0000252void ARMCodeEmitter::emitGlobalAddress(GlobalValue *GV, unsigned Reloc,
253 bool MayNeedFarStub, bool Indirect,
254 intptr_t ACPV) {
Evan Cheng50e503f2009-09-10 01:23:53 +0000255 MachineRelocation MR = Indirect
256 ? MachineRelocation::getIndirectSymbol(MCE.getCurrentPCOffset(), Reloc,
Jeffrey Yasskine63aa1f2009-11-07 08:51:52 +0000257 GV, ACPV, MayNeedFarStub)
Evan Cheng50e503f2009-09-10 01:23:53 +0000258 : MachineRelocation::getGV(MCE.getCurrentPCOffset(), Reloc,
Jeffrey Yasskine63aa1f2009-11-07 08:51:52 +0000259 GV, ACPV, MayNeedFarStub);
Evan Cheng50e503f2009-09-10 01:23:53 +0000260 MCE.addRelocation(MR);
Evan Chenga7b3e7c2007-08-07 01:37:15 +0000261}
262
263/// emitExternalSymbolAddress - Arrange for the address of an external symbol to
264/// be emitted to the current location in the function, and allow it to be PC
265/// relative.
Chris Lattner11d88be2010-02-02 21:48:51 +0000266void ARMCodeEmitter::emitExternalSymbolAddress(const char *ES, unsigned Reloc) {
Evan Chenga7b3e7c2007-08-07 01:37:15 +0000267 MCE.addRelocation(MachineRelocation::getExtSym(MCE.getCurrentPCOffset(),
268 Reloc, ES));
269}
270
271/// emitConstPoolAddress - Arrange for the address of an constant pool
272/// to be emitted to the current location in the function, and allow it to be PC
273/// relative.
Chris Lattner11d88be2010-02-02 21:48:51 +0000274void ARMCodeEmitter::emitConstPoolAddress(unsigned CPI, unsigned Reloc) {
Evan Chengf07a9b62008-10-29 23:55:43 +0000275 // Tell JIT emitter we'll resolve the address.
Evan Chenga7b3e7c2007-08-07 01:37:15 +0000276 MCE.addRelocation(MachineRelocation::getConstPool(MCE.getCurrentPCOffset(),
Evan Cheng260ae192008-11-07 22:30:53 +0000277 Reloc, CPI, 0, true));
Evan Chenga7b3e7c2007-08-07 01:37:15 +0000278}
279
280/// emitJumpTableAddress - Arrange for the address of a jump table to
281/// be emitted to the current location in the function, and allow it to be PC
282/// relative.
Chris Lattner11d88be2010-02-02 21:48:51 +0000283void ARMCodeEmitter::emitJumpTableAddress(unsigned JTIndex, unsigned Reloc) {
Evan Chenga7b3e7c2007-08-07 01:37:15 +0000284 MCE.addRelocation(MachineRelocation::getJumpTable(MCE.getCurrentPCOffset(),
Evan Cheng260ae192008-11-07 22:30:53 +0000285 Reloc, JTIndex, 0, true));
Evan Chenga7b3e7c2007-08-07 01:37:15 +0000286}
287
Raul Herbsterd8dc8c52007-08-30 23:29:26 +0000288/// emitMachineBasicBlock - Emit the specified address basic block.
Chris Lattner11d88be2010-02-02 21:48:51 +0000289void ARMCodeEmitter::emitMachineBasicBlock(MachineBasicBlock *BB,
290 unsigned Reloc, intptr_t JTBase) {
Raul Herbsterd8dc8c52007-08-30 23:29:26 +0000291 MCE.addRelocation(MachineRelocation::getBB(MCE.getCurrentPCOffset(),
Evan Cheng260ae192008-11-07 22:30:53 +0000292 Reloc, BB, JTBase));
Raul Herbsterd8dc8c52007-08-30 23:29:26 +0000293}
Evan Chenga7b3e7c2007-08-07 01:37:15 +0000294
Chris Lattner11d88be2010-02-02 21:48:51 +0000295void ARMCodeEmitter::emitWordLE(unsigned Binary) {
Chris Lattner2c6014b2009-08-23 06:49:22 +0000296 DEBUG(errs() << " 0x";
297 errs().write_hex(Binary) << "\n");
Evan Chengc41fb3152008-11-05 23:22:34 +0000298 MCE.emitWordLE(Binary);
299}
300
Chris Lattner11d88be2010-02-02 21:48:51 +0000301void ARMCodeEmitter::emitDWordLE(uint64_t Binary) {
Chris Lattner2c6014b2009-08-23 06:49:22 +0000302 DEBUG(errs() << " 0x";
303 errs().write_hex(Binary) << "\n");
Evan Cheng9e280e02008-11-11 22:19:31 +0000304 MCE.emitDWordLE(Binary);
305}
306
Chris Lattner11d88be2010-02-02 21:48:51 +0000307void ARMCodeEmitter::emitInstruction(const MachineInstr &MI) {
Chris Lattnerd71b0b02009-08-23 03:41:05 +0000308 DEBUG(errs() << "JIT: " << (void*)MCE.getCurrentPCValue() << ":\t" << MI);
Evan Chengefb91812008-09-13 01:15:21 +0000309
Devang Patel5450fc12009-10-06 02:19:11 +0000310 MCE.processDebugLoc(MI.getDebugLoc(), true);
Jeffrey Yasskin6628b5b2009-07-17 18:49:39 +0000311
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000312 NumEmitted++; // Keep track of the # of mi's emitted
Evan Cheng86a926a2008-11-05 18:35:52 +0000313 switch (MI.getDesc().TSFlags & ARMII::FormMask) {
Evan Cheng9d2c9232008-11-13 23:36:57 +0000314 default: {
Edwin Törökbd448e32009-07-14 16:55:14 +0000315 llvm_unreachable("Unhandled instruction encoding format!");
Evan Cheng86a926a2008-11-05 18:35:52 +0000316 break;
Evan Cheng9d2c9232008-11-13 23:36:57 +0000317 }
Evan Cheng86a926a2008-11-05 18:35:52 +0000318 case ARMII::Pseudo:
Evan Chenge4c813c2008-09-18 07:28:19 +0000319 emitPseudoInstruction(MI);
Evan Cheng86a926a2008-11-05 18:35:52 +0000320 break;
321 case ARMII::DPFrm:
322 case ARMII::DPSoRegFrm:
323 emitDataProcessingInstruction(MI);
324 break;
Evan Cheng81794bb2008-11-13 07:34:59 +0000325 case ARMII::LdFrm:
326 case ARMII::StFrm:
Evan Cheng86a926a2008-11-05 18:35:52 +0000327 emitLoadStoreInstruction(MI);
328 break;
Evan Cheng81794bb2008-11-13 07:34:59 +0000329 case ARMII::LdMiscFrm:
330 case ARMII::StMiscFrm:
Evan Cheng86a926a2008-11-05 18:35:52 +0000331 emitMiscLoadStoreInstruction(MI);
332 break;
Evan Cheng11838a82008-11-12 07:18:38 +0000333 case ARMII::LdStMulFrm:
Evan Cheng86a926a2008-11-05 18:35:52 +0000334 emitLoadStoreMultipleInstruction(MI);
335 break;
Evan Chengee80fb72008-11-06 01:21:28 +0000336 case ARMII::MulFrm:
337 emitMulFrmInstruction(MI);
Evan Cheng86a926a2008-11-05 18:35:52 +0000338 break;
Evan Cheng37afa432008-11-06 22:15:19 +0000339 case ARMII::ExtFrm:
340 emitExtendInstruction(MI);
341 break;
Evan Chengc2121a22008-11-07 01:41:35 +0000342 case ARMII::ArithMiscFrm:
343 emitMiscArithInstruction(MI);
344 break;
Evan Chengf8e8b622008-11-06 17:48:05 +0000345 case ARMII::BrFrm:
Evan Cheng86a926a2008-11-05 18:35:52 +0000346 emitBranchInstruction(MI);
347 break;
Evan Chengf8e8b622008-11-06 17:48:05 +0000348 case ARMII::BrMiscFrm:
Evan Cheng86a926a2008-11-05 18:35:52 +0000349 emitMiscBranchInstruction(MI);
350 break;
Evan Chengc63e15e2008-11-11 02:11:05 +0000351 // VFP instructions.
352 case ARMII::VFPUnaryFrm:
353 case ARMII::VFPBinaryFrm:
354 emitVFPArithInstruction(MI);
355 break;
Evan Cheng9d3cc182008-11-11 19:40:26 +0000356 case ARMII::VFPConv1Frm:
357 case ARMII::VFPConv2Frm:
Evan Cheng828ccdc2008-11-11 22:46:12 +0000358 case ARMII::VFPConv3Frm:
Evan Cheng74273382008-11-12 06:41:41 +0000359 case ARMII::VFPConv4Frm:
360 case ARMII::VFPConv5Frm:
Evan Cheng9d3cc182008-11-11 19:40:26 +0000361 emitVFPConversionInstruction(MI);
362 break;
Evan Chengbb786b32008-11-11 21:48:44 +0000363 case ARMII::VFPLdStFrm:
364 emitVFPLoadStoreInstruction(MI);
365 break;
366 case ARMII::VFPLdStMulFrm:
367 emitVFPLoadStoreMultipleInstruction(MI);
368 break;
369 case ARMII::VFPMiscFrm:
370 emitMiscInstruction(MI);
371 break;
Evan Cheng86a926a2008-11-05 18:35:52 +0000372 }
Devang Patel5450fc12009-10-06 02:19:11 +0000373 MCE.processDebugLoc(MI.getDebugLoc(), false);
Evan Chenga7b3e7c2007-08-07 01:37:15 +0000374}
375
Chris Lattner11d88be2010-02-02 21:48:51 +0000376void ARMCodeEmitter::emitConstPoolInstruction(const MachineInstr &MI) {
Evan Cheng260ae192008-11-07 22:30:53 +0000377 unsigned CPI = MI.getOperand(0).getImm(); // CP instruction index.
378 unsigned CPIndex = MI.getOperand(1).getIndex(); // Actual cp entry index.
Evan Chengb562f8b2008-10-31 19:55:13 +0000379 const MachineConstantPoolEntry &MCPE = (*MCPEs)[CPIndex];
Jim Grosbach770d7182009-08-11 15:33:49 +0000380
Evan Chengd6dcbe22008-10-31 19:10:44 +0000381 // Remember the CONSTPOOL_ENTRY address for later relocation.
382 JTI->addConstantPoolEntryAddr(CPI, MCE.getCurrentPCValue());
383
384 // Emit constpool island entry. In most cases, the actual values will be
385 // resolved and relocated after code emission.
386 if (MCPE.isMachineConstantPoolEntry()) {
387 ARMConstantPoolValue *ACPV =
388 static_cast<ARMConstantPoolValue*>(MCPE.Val.MachineCPVal);
389
Chris Lattnerd71b0b02009-08-23 03:41:05 +0000390 DEBUG(errs() << " ** ARM constant pool #" << CPI << " @ "
391 << (void*)MCE.getCurrentPCValue() << " " << *ACPV << '\n');
Evan Chengd6dcbe22008-10-31 19:10:44 +0000392
Bob Wilson62acbf12009-11-02 16:59:06 +0000393 assert(ACPV->isGlobalValue() && "unsupported constant pool value");
Evan Chengd6dcbe22008-10-31 19:10:44 +0000394 GlobalValue *GV = ACPV->getGV();
395 if (GV) {
Evan Cheng50e503f2009-09-10 01:23:53 +0000396 Reloc::Model RelocM = TM.getRelocationModel();
Evan Chengc2999142009-08-28 23:18:09 +0000397 emitGlobalAddress(GV, ARM::reloc_arm_machine_cp_entry,
Evan Cheng50e503f2009-09-10 01:23:53 +0000398 isa<Function>(GV),
399 Subtarget->GVIsIndirectSymbol(GV, RelocM),
400 (intptr_t)ACPV);
Evan Cheng5a033a62008-11-04 00:50:32 +0000401 } else {
Evan Chengd6dcbe22008-10-31 19:10:44 +0000402 emitExternalSymbolAddress(ACPV->getSymbol(), ARM::reloc_arm_absolute);
403 }
Evan Chengc41fb3152008-11-05 23:22:34 +0000404 emitWordLE(0);
Evan Chengd6dcbe22008-10-31 19:10:44 +0000405 } else {
406 Constant *CV = MCPE.Val.ConstVal;
407
Daniel Dunbar005975c2009-07-25 00:23:56 +0000408 DEBUG({
409 errs() << " ** Constant pool #" << CPI << " @ "
410 << (void*)MCE.getCurrentPCValue() << " ";
411 if (const Function *F = dyn_cast<Function>(CV))
412 errs() << F->getName();
413 else
414 errs() << *CV;
415 errs() << '\n';
416 });
Evan Chengd6dcbe22008-10-31 19:10:44 +0000417
418 if (GlobalValue *GV = dyn_cast<GlobalValue>(CV)) {
Evan Cheng50e503f2009-09-10 01:23:53 +0000419 emitGlobalAddress(GV, ARM::reloc_arm_absolute, isa<Function>(GV), false);
Evan Chengc41fb3152008-11-05 23:22:34 +0000420 emitWordLE(0);
Evan Cheng9e280e02008-11-11 22:19:31 +0000421 } else if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) {
Evan Chengd6dcbe22008-10-31 19:10:44 +0000422 uint32_t Val = *(uint32_t*)CI->getValue().getRawData();
Evan Chengc41fb3152008-11-05 23:22:34 +0000423 emitWordLE(Val);
Evan Cheng9e280e02008-11-11 22:19:31 +0000424 } else if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV)) {
Chris Lattner82cdc062009-10-05 05:54:46 +0000425 if (CFP->getType()->isFloatTy())
Evan Cheng9e280e02008-11-11 22:19:31 +0000426 emitWordLE(CFP->getValueAPF().bitcastToAPInt().getZExtValue());
Chris Lattner82cdc062009-10-05 05:54:46 +0000427 else if (CFP->getType()->isDoubleTy())
Evan Cheng9e280e02008-11-11 22:19:31 +0000428 emitDWordLE(CFP->getValueAPF().bitcastToAPInt().getZExtValue());
429 else {
Edwin Törökbd448e32009-07-14 16:55:14 +0000430 llvm_unreachable("Unable to handle this constantpool entry!");
Evan Cheng9e280e02008-11-11 22:19:31 +0000431 }
432 } else {
Edwin Törökbd448e32009-07-14 16:55:14 +0000433 llvm_unreachable("Unable to handle this constantpool entry!");
Evan Chengd6dcbe22008-10-31 19:10:44 +0000434 }
435 }
436}
437
Chris Lattner11d88be2010-02-02 21:48:51 +0000438void ARMCodeEmitter::emitMOVi2piecesInstruction(const MachineInstr &MI) {
Evan Cheng7cd4acb2008-11-06 02:25:39 +0000439 const MachineOperand &MO0 = MI.getOperand(0);
440 const MachineOperand &MO1 = MI.getOperand(1);
Evan Cheng8be2a5b2009-07-08 21:03:57 +0000441 assert(MO1.isImm() && ARM_AM::getSOImmVal(MO1.isImm()) != -1 &&
442 "Not a valid so_imm value!");
Evan Cheng7cd4acb2008-11-06 02:25:39 +0000443 unsigned V1 = ARM_AM::getSOImmTwoPartFirst(MO1.getImm());
444 unsigned V2 = ARM_AM::getSOImmTwoPartSecond(MO1.getImm());
445
446 // Emit the 'mov' instruction.
447 unsigned Binary = 0xd << 21; // mov: Insts{24-21} = 0b1101
448
449 // Set the conditional execution predicate.
Evan Cheng37afa432008-11-06 22:15:19 +0000450 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng7cd4acb2008-11-06 02:25:39 +0000451
452 // Encode Rd.
453 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
454
455 // Encode so_imm.
456 // Set bit I(25) to identify this is the immediate form of <shifter_op>
457 Binary |= 1 << ARMII::I_BitShift;
Evan Cheng8be2a5b2009-07-08 21:03:57 +0000458 Binary |= getMachineSoImmOpValue(V1);
Evan Cheng7cd4acb2008-11-06 02:25:39 +0000459 emitWordLE(Binary);
460
461 // Now the 'orr' instruction.
462 Binary = 0xc << 21; // orr: Insts{24-21} = 0b1100
463
464 // Set the conditional execution predicate.
Evan Cheng37afa432008-11-06 22:15:19 +0000465 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng7cd4acb2008-11-06 02:25:39 +0000466
467 // Encode Rd.
468 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
469
470 // Encode Rn.
471 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRnShift;
472
473 // Encode so_imm.
474 // Set bit I(25) to identify this is the immediate form of <shifter_op>
475 Binary |= 1 << ARMII::I_BitShift;
Evan Cheng8be2a5b2009-07-08 21:03:57 +0000476 Binary |= getMachineSoImmOpValue(V2);
Evan Cheng7cd4acb2008-11-06 02:25:39 +0000477 emitWordLE(Binary);
478}
479
Chris Lattner11d88be2010-02-02 21:48:51 +0000480void ARMCodeEmitter::emitLEApcrelJTInstruction(const MachineInstr &MI) {
Evan Cheng0f63ae12008-11-07 09:06:08 +0000481 // It's basically add r, pc, (LJTI - $+8)
Jim Grosbach770d7182009-08-11 15:33:49 +0000482
Evan Cheng0f63ae12008-11-07 09:06:08 +0000483 const TargetInstrDesc &TID = MI.getDesc();
484
485 // Emit the 'add' instruction.
486 unsigned Binary = 0x4 << 21; // add: Insts{24-31} = 0b0100
487
488 // Set the conditional execution predicate
489 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
490
491 // Encode S bit if MI modifies CPSR.
492 Binary |= getAddrModeSBit(MI, TID);
493
494 // Encode Rd.
495 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
496
497 // Encode Rn which is PC.
498 Binary |= ARMRegisterInfo::getRegisterNumbering(ARM::PC) << ARMII::RegRnShift;
499
500 // Encode the displacement.
Evan Cheng0f63ae12008-11-07 09:06:08 +0000501 Binary |= 1 << ARMII::I_BitShift;
502 emitJumpTableAddress(MI.getOperand(1).getIndex(), ARM::reloc_arm_jt_base);
503
504 emitWordLE(Binary);
505}
506
Chris Lattner11d88be2010-02-02 21:48:51 +0000507void ARMCodeEmitter::emitPseudoMoveInstruction(const MachineInstr &MI) {
Evan Cheng7f240d22008-11-14 20:09:11 +0000508 unsigned Opcode = MI.getDesc().Opcode;
509
510 // Part of binary is determined by TableGn.
511 unsigned Binary = getBinaryCodeForInstr(MI);
512
513 // Set the conditional execution predicate
514 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
515
516 // Encode S bit if MI modifies CPSR.
517 if (Opcode == ARM::MOVsrl_flag || Opcode == ARM::MOVsra_flag)
518 Binary |= 1 << ARMII::S_BitShift;
519
520 // Encode register def if there is one.
521 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
522
523 // Encode the shift operation.
524 switch (Opcode) {
525 default: break;
526 case ARM::MOVrx:
527 // rrx
528 Binary |= 0x6 << 4;
529 break;
530 case ARM::MOVsrl_flag:
531 // lsr #1
532 Binary |= (0x2 << 4) | (1 << 7);
533 break;
534 case ARM::MOVsra_flag:
535 // asr #1
536 Binary |= (0x4 << 4) | (1 << 7);
537 break;
538 }
539
540 // Encode register Rm.
541 Binary |= getMachineOpValue(MI, 1);
542
543 emitWordLE(Binary);
544}
545
Chris Lattner11d88be2010-02-02 21:48:51 +0000546void ARMCodeEmitter::addPCLabel(unsigned LabelID) {
Chris Lattner2c6014b2009-08-23 06:49:22 +0000547 DEBUG(errs() << " ** LPC" << LabelID << " @ "
548 << (void*)MCE.getCurrentPCValue() << '\n');
Evan Chengc41fb3152008-11-05 23:22:34 +0000549 JTI->addPCLabelAddr(LabelID, MCE.getCurrentPCValue());
550}
551
Chris Lattner11d88be2010-02-02 21:48:51 +0000552void ARMCodeEmitter::emitPseudoInstruction(const MachineInstr &MI) {
Evan Chengd6dcbe22008-10-31 19:10:44 +0000553 unsigned Opcode = MI.getDesc().Opcode;
554 switch (Opcode) {
555 default:
Evan Cheng16c012d2009-09-28 09:14:39 +0000556 llvm_unreachable("ARMCodeEmitter::emitPseudoInstruction");
557 // FIXME: Add support for MOVimm32.
Evan Cheng9d2c9232008-11-13 23:36:57 +0000558 case TargetInstrInfo::INLINEASM: {
Evan Cheng0f6a5612008-11-19 23:21:33 +0000559 // We allow inline assembler nodes with empty bodies - they can
560 // implicitly define registers, which is ok for JIT.
561 if (MI.getOperand(0).getSymbolName()[0]) {
Edwin Török151026f2009-07-12 07:15:17 +0000562 llvm_report_error("JIT does not support inline asm!");
Evan Cheng0f6a5612008-11-19 23:21:33 +0000563 }
Evan Cheng9d2c9232008-11-13 23:36:57 +0000564 break;
565 }
566 case TargetInstrInfo::DBG_LABEL:
567 case TargetInstrInfo::EH_LABEL:
568 MCE.emitLabel(MI.getOperand(0).getImm());
569 break;
570 case TargetInstrInfo::IMPLICIT_DEF:
Jakob Stoklund Olesen8f12c7c2009-09-28 20:32:26 +0000571 case TargetInstrInfo::KILL:
Evan Cheng9d2c9232008-11-13 23:36:57 +0000572 // Do nothing.
573 break;
Evan Chengd6dcbe22008-10-31 19:10:44 +0000574 case ARM::CONSTPOOL_ENTRY:
575 emitConstPoolInstruction(MI);
576 break;
577 case ARM::PICADD: {
Evan Cheng5a033a62008-11-04 00:50:32 +0000578 // Remember of the address of the PC label for relocation later.
Evan Chengc41fb3152008-11-05 23:22:34 +0000579 addPCLabel(MI.getOperand(2).getImm());
Evan Chengd6dcbe22008-10-31 19:10:44 +0000580 // PICADD is just an add instruction that implicitly read pc.
Evan Cheng260ae192008-11-07 22:30:53 +0000581 emitDataProcessingInstruction(MI, 0, ARM::PC);
Evan Chengc41fb3152008-11-05 23:22:34 +0000582 break;
583 }
584 case ARM::PICLDR:
585 case ARM::PICLDRB:
586 case ARM::PICSTR:
587 case ARM::PICSTRB: {
588 // Remember of the address of the PC label for relocation later.
589 addPCLabel(MI.getOperand(2).getImm());
590 // These are just load / store instructions that implicitly read pc.
Evan Cheng0f63ae12008-11-07 09:06:08 +0000591 emitLoadStoreInstruction(MI, 0, ARM::PC);
Evan Chengc41fb3152008-11-05 23:22:34 +0000592 break;
593 }
594 case ARM::PICLDRH:
595 case ARM::PICLDRSH:
596 case ARM::PICLDRSB:
597 case ARM::PICSTRH: {
598 // Remember of the address of the PC label for relocation later.
599 addPCLabel(MI.getOperand(2).getImm());
600 // These are just load / store instructions that implicitly read pc.
601 emitMiscLoadStoreInstruction(MI, ARM::PC);
Evan Chengd6dcbe22008-10-31 19:10:44 +0000602 break;
603 }
Evan Cheng7cd4acb2008-11-06 02:25:39 +0000604 case ARM::MOVi2pieces:
605 // Two instructions to materialize a constant.
606 emitMOVi2piecesInstruction(MI);
607 break;
Evan Cheng0f63ae12008-11-07 09:06:08 +0000608 case ARM::LEApcrelJT:
609 // Materialize jumptable address.
610 emitLEApcrelJTInstruction(MI);
611 break;
Evan Cheng7f240d22008-11-14 20:09:11 +0000612 case ARM::MOVrx:
613 case ARM::MOVsrl_flag:
614 case ARM::MOVsra_flag:
615 emitPseudoMoveInstruction(MI);
616 break;
Evan Chengd6dcbe22008-10-31 19:10:44 +0000617 }
618}
619
Chris Lattner11d88be2010-02-02 21:48:51 +0000620unsigned ARMCodeEmitter::getMachineSoRegOpValue(
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000621 const MachineInstr &MI,
Evan Cheng378c3a92008-09-12 22:45:55 +0000622 const TargetInstrDesc &TID,
Evan Chengd6dcbe22008-10-31 19:10:44 +0000623 const MachineOperand &MO,
Evan Cheng00dc31b2008-09-12 22:01:15 +0000624 unsigned OpIdx) {
Evan Chengd6dcbe22008-10-31 19:10:44 +0000625 unsigned Binary = getMachineOpValue(MI, MO);
Evan Cheng00dc31b2008-09-12 22:01:15 +0000626
627 const MachineOperand &MO1 = MI.getOperand(OpIdx + 1);
628 const MachineOperand &MO2 = MI.getOperand(OpIdx + 2);
629 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO2.getImm());
630
631 // Encode the shift opcode.
632 unsigned SBits = 0;
633 unsigned Rs = MO1.getReg();
634 if (Rs) {
635 // Set shift operand (bit[7:4]).
636 // LSL - 0001
637 // LSR - 0011
638 // ASR - 0101
639 // ROR - 0111
640 // RRX - 0110 and bit[11:8] clear.
641 switch (SOpc) {
Edwin Törökbd448e32009-07-14 16:55:14 +0000642 default: llvm_unreachable("Unknown shift opc!");
Evan Cheng00dc31b2008-09-12 22:01:15 +0000643 case ARM_AM::lsl: SBits = 0x1; break;
644 case ARM_AM::lsr: SBits = 0x3; break;
645 case ARM_AM::asr: SBits = 0x5; break;
646 case ARM_AM::ror: SBits = 0x7; break;
647 case ARM_AM::rrx: SBits = 0x6; break;
648 }
649 } else {
650 // Set shift operand (bit[6:4]).
651 // LSL - 000
652 // LSR - 010
653 // ASR - 100
654 // ROR - 110
655 switch (SOpc) {
Edwin Törökbd448e32009-07-14 16:55:14 +0000656 default: llvm_unreachable("Unknown shift opc!");
Evan Cheng00dc31b2008-09-12 22:01:15 +0000657 case ARM_AM::lsl: SBits = 0x0; break;
658 case ARM_AM::lsr: SBits = 0x2; break;
659 case ARM_AM::asr: SBits = 0x4; break;
660 case ARM_AM::ror: SBits = 0x6; break;
661 }
662 }
663 Binary |= SBits << 4;
664 if (SOpc == ARM_AM::rrx)
665 return Binary;
666
667 // Encode the shift operation Rs or shift_imm (except rrx).
668 if (Rs) {
669 // Encode Rs bit[11:8].
670 assert(ARM_AM::getSORegOffset(MO2.getImm()) == 0);
671 return Binary |
672 (ARMRegisterInfo::getRegisterNumbering(Rs) << ARMII::RegRsShift);
673 }
674
675 // Encode shift_imm bit[11:7].
676 return Binary | ARM_AM::getSORegOffset(MO2.getImm()) << 7;
677}
678
Chris Lattner11d88be2010-02-02 21:48:51 +0000679unsigned ARMCodeEmitter::getMachineSoImmOpValue(unsigned SoImm) {
Evan Cheng8be2a5b2009-07-08 21:03:57 +0000680 int SoImmVal = ARM_AM::getSOImmVal(SoImm);
681 assert(SoImmVal != -1 && "Not a valid so_imm value!");
682
Evan Chengd6dcbe22008-10-31 19:10:44 +0000683 // Encode rotate_imm.
Evan Cheng8be2a5b2009-07-08 21:03:57 +0000684 unsigned Binary = (ARM_AM::getSOImmValRot((unsigned)SoImmVal) >> 1)
Evan Cheng37afa432008-11-06 22:15:19 +0000685 << ARMII::SoRotImmShift;
686
Evan Chengd6dcbe22008-10-31 19:10:44 +0000687 // Encode immed_8.
Evan Cheng8be2a5b2009-07-08 21:03:57 +0000688 Binary |= ARM_AM::getSOImmValImm((unsigned)SoImmVal);
Evan Chengd6dcbe22008-10-31 19:10:44 +0000689 return Binary;
690}
691
Chris Lattner11d88be2010-02-02 21:48:51 +0000692unsigned ARMCodeEmitter::getAddrModeSBit(const MachineInstr &MI,
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000693 const TargetInstrDesc &TID) const {
Evan Cheng63143d72008-11-20 02:25:51 +0000694 for (unsigned i = MI.getNumOperands(), e = TID.getNumOperands(); i != e; --i){
Evan Cheng378c3a92008-09-12 22:45:55 +0000695 const MachineOperand &MO = MI.getOperand(i-1);
Dan Gohmanb9f4fa72008-10-03 15:45:36 +0000696 if (MO.isReg() && MO.isDef() && MO.getReg() == ARM::CPSR)
Evan Cheng378c3a92008-09-12 22:45:55 +0000697 return 1 << ARMII::S_BitShift;
698 }
699 return 0;
700}
701
Chris Lattner11d88be2010-02-02 21:48:51 +0000702void ARMCodeEmitter::emitDataProcessingInstruction(
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000703 const MachineInstr &MI,
Evan Cheng260ae192008-11-07 22:30:53 +0000704 unsigned ImplicitRd,
Evan Chengc41fb3152008-11-05 23:22:34 +0000705 unsigned ImplicitRn) {
Evan Cheng86a926a2008-11-05 18:35:52 +0000706 const TargetInstrDesc &TID = MI.getDesc();
Evan Cheng86a926a2008-11-05 18:35:52 +0000707
Evan Cheng299ee652009-07-06 22:23:46 +0000708 if (TID.Opcode == ARM::BFC) {
Benjamin Kramer98c00ab2009-08-03 13:33:33 +0000709 llvm_report_error("ARMv6t2 JIT is not yet supported.");
Evan Cheng299ee652009-07-06 22:23:46 +0000710 }
711
Evan Cheng86a926a2008-11-05 18:35:52 +0000712 // Part of binary is determined by TableGn.
713 unsigned Binary = getBinaryCodeForInstr(MI);
714
Jim Grosbach320c1482008-10-07 19:05:35 +0000715 // Set the conditional execution predicate
Evan Cheng37afa432008-11-06 22:15:19 +0000716 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng00dc31b2008-09-12 22:01:15 +0000717
Evan Cheng378c3a92008-09-12 22:45:55 +0000718 // Encode S bit if MI modifies CPSR.
Jim Grosbach1feed042008-11-03 18:38:31 +0000719 Binary |= getAddrModeSBit(MI, TID);
Evan Cheng378c3a92008-09-12 22:45:55 +0000720
Evan Cheng00dc31b2008-09-12 22:01:15 +0000721 // Encode register def if there is one.
Evan Cheng378c3a92008-09-12 22:45:55 +0000722 unsigned NumDefs = TID.getNumDefs();
Evan Cheng3eb25b32008-09-12 23:15:39 +0000723 unsigned OpIdx = 0;
Evan Cheng260ae192008-11-07 22:30:53 +0000724 if (NumDefs)
725 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
726 else if (ImplicitRd)
727 // Special handling for implicit use (e.g. PC).
728 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRd)
729 << ARMII::RegRdShift);
Evan Chengefc43652008-09-02 06:52:38 +0000730
Evan Chengbe998242008-11-06 08:47:38 +0000731 // If this is a two-address operand, skip it. e.g. MOVCCr operand 1.
732 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
733 ++OpIdx;
734
Jim Grosbachb98d7192008-10-01 18:16:49 +0000735 // Encode first non-shifter register operand if there is one.
Evan Cheng86a926a2008-11-05 18:35:52 +0000736 bool isUnary = TID.TSFlags & ARMII::UnaryDP;
737 if (!isUnary) {
Evan Chengc41fb3152008-11-05 23:22:34 +0000738 if (ImplicitRn)
739 // Special handling for implicit use (e.g. PC).
740 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
Evan Cheng86a926a2008-11-05 18:35:52 +0000741 << ARMII::RegRnShift);
Evan Chengd6dcbe22008-10-31 19:10:44 +0000742 else {
743 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRnShift;
744 ++OpIdx;
745 }
Evan Chengefc43652008-09-02 06:52:38 +0000746 }
747
Evan Cheng00dc31b2008-09-12 22:01:15 +0000748 // Encode shifter operand.
Evan Cheng00dc31b2008-09-12 22:01:15 +0000749 const MachineOperand &MO = MI.getOperand(OpIdx);
Evan Cheng86a926a2008-11-05 18:35:52 +0000750 if ((TID.TSFlags & ARMII::FormMask) == ARMII::DPSoRegFrm) {
Evan Chengd6dcbe22008-10-31 19:10:44 +0000751 // Encode SoReg.
Evan Chengc41fb3152008-11-05 23:22:34 +0000752 emitWordLE(Binary | getMachineSoRegOpValue(MI, TID, MO, OpIdx));
Evan Cheng86a926a2008-11-05 18:35:52 +0000753 return;
754 }
Evan Chengd6dcbe22008-10-31 19:10:44 +0000755
Evan Cheng86a926a2008-11-05 18:35:52 +0000756 if (MO.isReg()) {
Evan Cheng00dc31b2008-09-12 22:01:15 +0000757 // Encode register Rm.
Evan Chengc41fb3152008-11-05 23:22:34 +0000758 emitWordLE(Binary | ARMRegisterInfo::getRegisterNumbering(MO.getReg()));
Evan Cheng86a926a2008-11-05 18:35:52 +0000759 return;
760 }
Evan Chengefc43652008-09-02 06:52:38 +0000761
Evan Cheng00dc31b2008-09-12 22:01:15 +0000762 // Encode so_imm.
Evan Cheng8be2a5b2009-07-08 21:03:57 +0000763 Binary |= getMachineSoImmOpValue((unsigned)MO.getImm());
Evan Cheng86a926a2008-11-05 18:35:52 +0000764
Evan Chengc41fb3152008-11-05 23:22:34 +0000765 emitWordLE(Binary);
Evan Chengefc43652008-09-02 06:52:38 +0000766}
767
Chris Lattner11d88be2010-02-02 21:48:51 +0000768void ARMCodeEmitter::emitLoadStoreInstruction(
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000769 const MachineInstr &MI,
Evan Cheng0f63ae12008-11-07 09:06:08 +0000770 unsigned ImplicitRd,
Evan Chengc41fb3152008-11-05 23:22:34 +0000771 unsigned ImplicitRn) {
Evan Cheng2929cc02008-11-08 01:44:13 +0000772 const TargetInstrDesc &TID = MI.getDesc();
Evan Cheng81794bb2008-11-13 07:34:59 +0000773 unsigned Form = TID.TSFlags & ARMII::FormMask;
774 bool IsPrePost = (TID.TSFlags & ARMII::IndexModeMask) != 0;
Evan Cheng2929cc02008-11-08 01:44:13 +0000775
Evan Cheng86a926a2008-11-05 18:35:52 +0000776 // Part of binary is determined by TableGn.
777 unsigned Binary = getBinaryCodeForInstr(MI);
778
Jim Grosbach320c1482008-10-07 19:05:35 +0000779 // Set the conditional execution predicate
Evan Cheng37afa432008-11-06 22:15:19 +0000780 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chenge4c813c2008-09-18 07:28:19 +0000781
Evan Cheng0f63ae12008-11-07 09:06:08 +0000782 unsigned OpIdx = 0;
Evan Cheng81794bb2008-11-13 07:34:59 +0000783
784 // Operand 0 of a pre- and post-indexed store is the address base
785 // writeback. Skip it.
786 bool Skipped = false;
787 if (IsPrePost && Form == ARMII::StFrm) {
788 ++OpIdx;
789 Skipped = true;
790 }
791
792 // Set first operand
Evan Cheng0f63ae12008-11-07 09:06:08 +0000793 if (ImplicitRd)
794 // Special handling for implicit use (e.g. PC).
795 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRd)
796 << ARMII::RegRdShift);
797 else
798 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
Evan Chengefc43652008-09-02 06:52:38 +0000799
800 // Set second operand
Evan Chengc41fb3152008-11-05 23:22:34 +0000801 if (ImplicitRn)
802 // Special handling for implicit use (e.g. PC).
803 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
804 << ARMII::RegRnShift);
Evan Cheng0f63ae12008-11-07 09:06:08 +0000805 else
806 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Chengefc43652008-09-02 06:52:38 +0000807
Evan Cheng2929cc02008-11-08 01:44:13 +0000808 // If this is a two-address operand, skip it. e.g. LDR_PRE.
Evan Cheng81794bb2008-11-13 07:34:59 +0000809 if (!Skipped && TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
Evan Cheng2929cc02008-11-08 01:44:13 +0000810 ++OpIdx;
811
Evan Chengc41fb3152008-11-05 23:22:34 +0000812 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Chengbe998242008-11-06 08:47:38 +0000813 unsigned AM2Opc = (ImplicitRn == ARM::PC)
Evan Chengc41fb3152008-11-05 23:22:34 +0000814 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Chengefc43652008-09-02 06:52:38 +0000815
Evan Cheng00330db2008-09-13 01:44:01 +0000816 // Set bit U(23) according to sign of immed value (positive or negative).
Evan Chengc41fb3152008-11-05 23:22:34 +0000817 Binary |= ((ARM_AM::getAM2Op(AM2Opc) == ARM_AM::add ? 1 : 0) <<
Evan Cheng00330db2008-09-13 01:44:01 +0000818 ARMII::U_BitShift);
Evan Chengefc43652008-09-02 06:52:38 +0000819 if (!MO2.getReg()) { // is immediate
Evan Chengc41fb3152008-11-05 23:22:34 +0000820 if (ARM_AM::getAM2Offset(AM2Opc))
Evan Chengefc43652008-09-02 06:52:38 +0000821 // Set the value of offset_12 field
Evan Chengc41fb3152008-11-05 23:22:34 +0000822 Binary |= ARM_AM::getAM2Offset(AM2Opc);
823 emitWordLE(Binary);
Evan Cheng86a926a2008-11-05 18:35:52 +0000824 return;
Evan Chengefc43652008-09-02 06:52:38 +0000825 }
826
827 // Set bit I(25), because this is not in immediate enconding.
828 Binary |= 1 << ARMII::I_BitShift;
829 assert(TargetRegisterInfo::isPhysicalRegister(MO2.getReg()));
830 // Set bit[3:0] to the corresponding Rm register
831 Binary |= ARMRegisterInfo::getRegisterNumbering(MO2.getReg());
832
Evan Cheng9eba9112008-11-12 07:34:37 +0000833 // If this instr is in scaled register offset/index instruction, set
Evan Chengefc43652008-09-02 06:52:38 +0000834 // shift_immed(bit[11:7]) and shift(bit[6:5]) fields.
Evan Chengc41fb3152008-11-05 23:22:34 +0000835 if (unsigned ShImm = ARM_AM::getAM2Offset(AM2Opc)) {
Evan Cheng9eba9112008-11-12 07:34:37 +0000836 Binary |= getShiftOp(AM2Opc) << ARMII::ShiftImmShift; // shift
837 Binary |= ShImm << ARMII::ShiftShift; // shift_immed
Evan Chengefc43652008-09-02 06:52:38 +0000838 }
839
Evan Chengc41fb3152008-11-05 23:22:34 +0000840 emitWordLE(Binary);
Evan Chengefc43652008-09-02 06:52:38 +0000841}
842
Chris Lattner11d88be2010-02-02 21:48:51 +0000843void ARMCodeEmitter::emitMiscLoadStoreInstruction(const MachineInstr &MI,
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000844 unsigned ImplicitRn) {
Evan Cheng2929cc02008-11-08 01:44:13 +0000845 const TargetInstrDesc &TID = MI.getDesc();
Evan Cheng81794bb2008-11-13 07:34:59 +0000846 unsigned Form = TID.TSFlags & ARMII::FormMask;
847 bool IsPrePost = (TID.TSFlags & ARMII::IndexModeMask) != 0;
Evan Cheng2929cc02008-11-08 01:44:13 +0000848
Evan Cheng86a926a2008-11-05 18:35:52 +0000849 // Part of binary is determined by TableGn.
850 unsigned Binary = getBinaryCodeForInstr(MI);
851
Jim Grosbach320c1482008-10-07 19:05:35 +0000852 // Set the conditional execution predicate
Evan Cheng37afa432008-11-06 22:15:19 +0000853 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chenge4c813c2008-09-18 07:28:19 +0000854
Evan Cheng81794bb2008-11-13 07:34:59 +0000855 unsigned OpIdx = 0;
856
857 // Operand 0 of a pre- and post-indexed store is the address base
858 // writeback. Skip it.
859 bool Skipped = false;
860 if (IsPrePost && Form == ARMII::StMiscFrm) {
861 ++OpIdx;
862 Skipped = true;
863 }
864
Evan Chengefc43652008-09-02 06:52:38 +0000865 // Set first operand
Evan Cheng81794bb2008-11-13 07:34:59 +0000866 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
Evan Chengefc43652008-09-02 06:52:38 +0000867
Evan Cheng41169552009-06-15 08:28:29 +0000868 // Skip LDRD and STRD's second operand.
869 if (TID.Opcode == ARM::LDRD || TID.Opcode == ARM::STRD)
870 ++OpIdx;
871
Evan Chengefc43652008-09-02 06:52:38 +0000872 // Set second operand
Evan Chengc41fb3152008-11-05 23:22:34 +0000873 if (ImplicitRn)
874 // Special handling for implicit use (e.g. PC).
875 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
876 << ARMII::RegRnShift);
Evan Cheng0f63ae12008-11-07 09:06:08 +0000877 else
878 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Chengefc43652008-09-02 06:52:38 +0000879
Evan Cheng2929cc02008-11-08 01:44:13 +0000880 // If this is a two-address operand, skip it. e.g. LDRH_POST.
Evan Cheng81794bb2008-11-13 07:34:59 +0000881 if (!Skipped && TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
Evan Cheng2929cc02008-11-08 01:44:13 +0000882 ++OpIdx;
883
Evan Chengc41fb3152008-11-05 23:22:34 +0000884 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Chengbe998242008-11-06 08:47:38 +0000885 unsigned AM3Opc = (ImplicitRn == ARM::PC)
Evan Chengc41fb3152008-11-05 23:22:34 +0000886 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Chengefc43652008-09-02 06:52:38 +0000887
Evan Cheng00330db2008-09-13 01:44:01 +0000888 // Set bit U(23) according to sign of immed value (positive or negative)
Evan Chengc41fb3152008-11-05 23:22:34 +0000889 Binary |= ((ARM_AM::getAM3Op(AM3Opc) == ARM_AM::add ? 1 : 0) <<
Evan Chengefc43652008-09-02 06:52:38 +0000890 ARMII::U_BitShift);
891
892 // If this instr is in register offset/index encoding, set bit[3:0]
893 // to the corresponding Rm register.
894 if (MO2.getReg()) {
895 Binary |= ARMRegisterInfo::getRegisterNumbering(MO2.getReg());
Evan Chengc41fb3152008-11-05 23:22:34 +0000896 emitWordLE(Binary);
Evan Cheng86a926a2008-11-05 18:35:52 +0000897 return;
Evan Chengefc43652008-09-02 06:52:38 +0000898 }
899
Evan Chengbe998242008-11-06 08:47:38 +0000900 // This instr is in immediate offset/index encoding, set bit 22 to 1.
Evan Cheng37afa432008-11-06 22:15:19 +0000901 Binary |= 1 << ARMII::AM3_I_BitShift;
Evan Chengc41fb3152008-11-05 23:22:34 +0000902 if (unsigned ImmOffs = ARM_AM::getAM3Offset(AM3Opc)) {
Evan Chengefc43652008-09-02 06:52:38 +0000903 // Set operands
Evan Cheng9eba9112008-11-12 07:34:37 +0000904 Binary |= (ImmOffs >> 4) << ARMII::ImmHiShift; // immedH
905 Binary |= (ImmOffs & 0xF); // immedL
Evan Chengefc43652008-09-02 06:52:38 +0000906 }
907
Evan Chengc41fb3152008-11-05 23:22:34 +0000908 emitWordLE(Binary);
Evan Chengefc43652008-09-02 06:52:38 +0000909}
910
Evan Chengbb786b32008-11-11 21:48:44 +0000911static unsigned getAddrModeUPBits(unsigned Mode) {
912 unsigned Binary = 0;
Evan Chengefc43652008-09-02 06:52:38 +0000913
914 // Set addressing mode by modifying bits U(23) and P(24)
915 // IA - Increment after - bit U = 1 and bit P = 0
916 // IB - Increment before - bit U = 1 and bit P = 1
917 // DA - Decrement after - bit U = 0 and bit P = 0
918 // DB - Decrement before - bit U = 0 and bit P = 1
Evan Chengefc43652008-09-02 06:52:38 +0000919 switch (Mode) {
Edwin Törökbd448e32009-07-14 16:55:14 +0000920 default: llvm_unreachable("Unknown addressing sub-mode!");
Evan Cheng71429f82009-09-09 23:55:03 +0000921 case ARM_AM::da: break;
Evan Cheng37afa432008-11-06 22:15:19 +0000922 case ARM_AM::db: Binary |= 0x1 << ARMII::P_BitShift; break;
923 case ARM_AM::ia: Binary |= 0x1 << ARMII::U_BitShift; break;
924 case ARM_AM::ib: Binary |= 0x3 << ARMII::U_BitShift; break;
Evan Chengefc43652008-09-02 06:52:38 +0000925 }
926
Evan Chengbb786b32008-11-11 21:48:44 +0000927 return Binary;
928}
929
Chris Lattner11d88be2010-02-02 21:48:51 +0000930void ARMCodeEmitter::emitLoadStoreMultipleInstruction(
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000931 const MachineInstr &MI) {
Evan Chengbb786b32008-11-11 21:48:44 +0000932 // Part of binary is determined by TableGn.
933 unsigned Binary = getBinaryCodeForInstr(MI);
934
935 // Set the conditional execution predicate
936 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
937
938 // Set base address operand
939 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRnShift;
940
941 // Set addressing mode by modifying bits U(23) and P(24)
942 const MachineOperand &MO = MI.getOperand(1);
943 Binary |= getAddrModeUPBits(ARM_AM::getAM4SubMode(MO.getImm()));
944
Evan Chengefc43652008-09-02 06:52:38 +0000945 // Set bit W(21)
946 if (ARM_AM::getAM4WBFlag(MO.getImm()))
Evan Cheng37afa432008-11-06 22:15:19 +0000947 Binary |= 0x1 << ARMII::W_BitShift;
Evan Chengefc43652008-09-02 06:52:38 +0000948
949 // Set registers
Evan Cheng713ff842009-10-01 01:39:21 +0000950 for (unsigned i = 5, e = MI.getNumOperands(); i != e; ++i) {
Evan Chengefc43652008-09-02 06:52:38 +0000951 const MachineOperand &MO = MI.getOperand(i);
Evan Chengbb786b32008-11-11 21:48:44 +0000952 if (!MO.isReg() || MO.isImplicit())
953 break;
Evan Chengefc43652008-09-02 06:52:38 +0000954 unsigned RegNum = ARMRegisterInfo::getRegisterNumbering(MO.getReg());
955 assert(TargetRegisterInfo::isPhysicalRegister(MO.getReg()) &&
956 RegNum < 16);
957 Binary |= 0x1 << RegNum;
958 }
959
Evan Chengc41fb3152008-11-05 23:22:34 +0000960 emitWordLE(Binary);
Evan Chengefc43652008-09-02 06:52:38 +0000961}
962
Chris Lattner11d88be2010-02-02 21:48:51 +0000963void ARMCodeEmitter::emitMulFrmInstruction(const MachineInstr &MI) {
Evan Cheng86a926a2008-11-05 18:35:52 +0000964 const TargetInstrDesc &TID = MI.getDesc();
965
966 // Part of binary is determined by TableGn.
967 unsigned Binary = getBinaryCodeForInstr(MI);
968
Jim Grosbach1feed042008-11-03 18:38:31 +0000969 // Set the conditional execution predicate
Evan Cheng37afa432008-11-06 22:15:19 +0000970 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Jim Grosbach1feed042008-11-03 18:38:31 +0000971
972 // Encode S bit if MI modifies CPSR.
973 Binary |= getAddrModeSBit(MI, TID);
974
975 // 32x32->64bit operations have two destination registers. The number
976 // of register definitions will tell us if that's what we're dealing with.
Evan Cheng37afa432008-11-06 22:15:19 +0000977 unsigned OpIdx = 0;
Jim Grosbach1feed042008-11-03 18:38:31 +0000978 if (TID.getNumDefs() == 2)
979 Binary |= getMachineOpValue (MI, OpIdx++) << ARMII::RegRdLoShift;
980
981 // Encode Rd
982 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdHiShift;
983
984 // Encode Rm
985 Binary |= getMachineOpValue(MI, OpIdx++);
986
987 // Encode Rs
988 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRsShift;
989
Evan Chengee80fb72008-11-06 01:21:28 +0000990 // Many multiple instructions (e.g. MLA) have three src operands. Encode
991 // it as Rn (for multiply, that's in the same offset as RdLo.
Evan Cheng37afa432008-11-06 22:15:19 +0000992 if (TID.getNumOperands() > OpIdx &&
993 !TID.OpInfo[OpIdx].isPredicate() &&
994 !TID.OpInfo[OpIdx].isOptionalDef())
995 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRdLoShift;
996
997 emitWordLE(Binary);
998}
999
Chris Lattner11d88be2010-02-02 21:48:51 +00001000void ARMCodeEmitter::emitExtendInstruction(const MachineInstr &MI) {
Evan Cheng37afa432008-11-06 22:15:19 +00001001 const TargetInstrDesc &TID = MI.getDesc();
1002
1003 // Part of binary is determined by TableGn.
1004 unsigned Binary = getBinaryCodeForInstr(MI);
1005
1006 // Set the conditional execution predicate
1007 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1008
1009 unsigned OpIdx = 0;
1010
1011 // Encode Rd
1012 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
1013
1014 const MachineOperand &MO1 = MI.getOperand(OpIdx++);
1015 const MachineOperand &MO2 = MI.getOperand(OpIdx);
1016 if (MO2.isReg()) {
1017 // Two register operand form.
1018 // Encode Rn.
1019 Binary |= getMachineOpValue(MI, MO1) << ARMII::RegRnShift;
1020
1021 // Encode Rm.
1022 Binary |= getMachineOpValue(MI, MO2);
1023 ++OpIdx;
1024 } else {
1025 Binary |= getMachineOpValue(MI, MO1);
1026 }
1027
1028 // Encode rot imm (0, 8, 16, or 24) if it has a rotate immediate operand.
1029 if (MI.getOperand(OpIdx).isImm() &&
1030 !TID.OpInfo[OpIdx].isPredicate() &&
1031 !TID.OpInfo[OpIdx].isOptionalDef())
1032 Binary |= (getMachineOpValue(MI, OpIdx) / 8) << ARMII::ExtRotImmShift;
Evan Chengee80fb72008-11-06 01:21:28 +00001033
Evan Chengc41fb3152008-11-05 23:22:34 +00001034 emitWordLE(Binary);
Jim Grosbach1feed042008-11-03 18:38:31 +00001035}
1036
Chris Lattner11d88be2010-02-02 21:48:51 +00001037void ARMCodeEmitter::emitMiscArithInstruction(const MachineInstr &MI) {
Evan Chengc2121a22008-11-07 01:41:35 +00001038 const TargetInstrDesc &TID = MI.getDesc();
1039
1040 // Part of binary is determined by TableGn.
1041 unsigned Binary = getBinaryCodeForInstr(MI);
1042
1043 // Set the conditional execution predicate
1044 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1045
1046 unsigned OpIdx = 0;
1047
1048 // Encode Rd
1049 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
1050
1051 const MachineOperand &MO = MI.getOperand(OpIdx++);
1052 if (OpIdx == TID.getNumOperands() ||
1053 TID.OpInfo[OpIdx].isPredicate() ||
1054 TID.OpInfo[OpIdx].isOptionalDef()) {
1055 // Encode Rm and it's done.
1056 Binary |= getMachineOpValue(MI, MO);
1057 emitWordLE(Binary);
1058 return;
1059 }
1060
1061 // Encode Rn.
1062 Binary |= getMachineOpValue(MI, MO) << ARMII::RegRnShift;
1063
1064 // Encode Rm.
1065 Binary |= getMachineOpValue(MI, OpIdx++);
1066
1067 // Encode shift_imm.
1068 unsigned ShiftAmt = MI.getOperand(OpIdx).getImm();
1069 assert(ShiftAmt < 32 && "shift_imm range is 0 to 31!");
1070 Binary |= ShiftAmt << ARMII::ShiftShift;
Jim Grosbach770d7182009-08-11 15:33:49 +00001071
Evan Chengc2121a22008-11-07 01:41:35 +00001072 emitWordLE(Binary);
1073}
1074
Chris Lattner11d88be2010-02-02 21:48:51 +00001075void ARMCodeEmitter::emitBranchInstruction(const MachineInstr &MI) {
Evan Cheng86a926a2008-11-05 18:35:52 +00001076 const TargetInstrDesc &TID = MI.getDesc();
1077
Edwin Török4d9756a2009-07-08 20:53:28 +00001078 if (TID.Opcode == ARM::TPsoft) {
Edwin Törökbd448e32009-07-14 16:55:14 +00001079 llvm_unreachable("ARM::TPsoft FIXME"); // FIXME
Edwin Török4d9756a2009-07-08 20:53:28 +00001080 }
Evan Chengf8e8b622008-11-06 17:48:05 +00001081
Evan Chengefc43652008-09-02 06:52:38 +00001082 // Part of binary is determined by TableGn.
1083 unsigned Binary = getBinaryCodeForInstr(MI);
1084
Evan Cheng86a926a2008-11-05 18:35:52 +00001085 // Set the conditional execution predicate
Evan Cheng37afa432008-11-06 22:15:19 +00001086 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng86a926a2008-11-05 18:35:52 +00001087
1088 // Set signed_immed_24 field
1089 Binary |= getMachineOpValue(MI, 0);
1090
Evan Chengc41fb3152008-11-05 23:22:34 +00001091 emitWordLE(Binary);
Evan Cheng86a926a2008-11-05 18:35:52 +00001092}
1093
Chris Lattner11d88be2010-02-02 21:48:51 +00001094void ARMCodeEmitter::emitInlineJumpTable(unsigned JTIndex) {
Evan Cheng0f63ae12008-11-07 09:06:08 +00001095 // Remember the base address of the inline jump table.
Evan Cheng6e561c72008-12-10 02:32:19 +00001096 uintptr_t JTBase = MCE.getCurrentPCValue();
Evan Cheng260ae192008-11-07 22:30:53 +00001097 JTI->addJumpTableBaseAddr(JTIndex, JTBase);
Chris Lattner2c6014b2009-08-23 06:49:22 +00001098 DEBUG(errs() << " ** Jump Table #" << JTIndex << " @ " << (void*)JTBase
1099 << '\n');
Evan Cheng0f63ae12008-11-07 09:06:08 +00001100
1101 // Now emit the jump table entries.
1102 const std::vector<MachineBasicBlock*> &MBBs = (*MJTEs)[JTIndex].MBBs;
1103 for (unsigned i = 0, e = MBBs.size(); i != e; ++i) {
1104 if (IsPIC)
1105 // DestBB address - JT base.
Evan Cheng260ae192008-11-07 22:30:53 +00001106 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_pic_jt, JTBase);
Evan Cheng0f63ae12008-11-07 09:06:08 +00001107 else
1108 // Absolute DestBB address.
1109 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_absolute);
1110 emitWordLE(0);
1111 }
1112}
1113
Chris Lattner11d88be2010-02-02 21:48:51 +00001114void ARMCodeEmitter::emitMiscBranchInstruction(const MachineInstr &MI) {
Evan Cheng86a926a2008-11-05 18:35:52 +00001115 const TargetInstrDesc &TID = MI.getDesc();
Evan Cheng86a926a2008-11-05 18:35:52 +00001116
Evan Cheng260ae192008-11-07 22:30:53 +00001117 // Handle jump tables.
Evan Cheng7cdd0cc2009-07-25 00:13:11 +00001118 if (TID.Opcode == ARM::BR_JTr || TID.Opcode == ARM::BR_JTadd) {
Evan Cheng260ae192008-11-07 22:30:53 +00001119 // First emit a ldr pc, [] instruction.
1120 emitDataProcessingInstruction(MI, ARM::PC);
1121
1122 // Then emit the inline jump table.
Evan Chengec6e5922009-07-08 00:05:05 +00001123 unsigned JTIndex =
Evan Cheng7cdd0cc2009-07-25 00:13:11 +00001124 (TID.Opcode == ARM::BR_JTr)
Evan Cheng260ae192008-11-07 22:30:53 +00001125 ? MI.getOperand(1).getIndex() : MI.getOperand(2).getIndex();
1126 emitInlineJumpTable(JTIndex);
1127 return;
Evan Cheng7cdd0cc2009-07-25 00:13:11 +00001128 } else if (TID.Opcode == ARM::BR_JTm) {
Evan Cheng0f63ae12008-11-07 09:06:08 +00001129 // First emit a ldr pc, [] instruction.
1130 emitLoadStoreInstruction(MI, ARM::PC);
1131
1132 // Then emit the inline jump table.
Evan Cheng260ae192008-11-07 22:30:53 +00001133 emitInlineJumpTable(MI.getOperand(3).getIndex());
Evan Cheng0f63ae12008-11-07 09:06:08 +00001134 return;
1135 }
1136
Evan Cheng86a926a2008-11-05 18:35:52 +00001137 // Part of binary is determined by TableGn.
1138 unsigned Binary = getBinaryCodeForInstr(MI);
1139
1140 // Set the conditional execution predicate
Evan Cheng37afa432008-11-06 22:15:19 +00001141 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng86a926a2008-11-05 18:35:52 +00001142
1143 if (TID.Opcode == ARM::BX_RET)
1144 // The return register is LR.
1145 Binary |= ARMRegisterInfo::getRegisterNumbering(ARM::LR);
Jim Grosbach770d7182009-08-11 15:33:49 +00001146 else
Evan Cheng86a926a2008-11-05 18:35:52 +00001147 // otherwise, set the return register
1148 Binary |= getMachineOpValue(MI, 0);
1149
Evan Chengc41fb3152008-11-05 23:22:34 +00001150 emitWordLE(Binary);
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001151}
Evan Chengefc43652008-09-02 06:52:38 +00001152
Evan Cheng74273382008-11-12 06:41:41 +00001153static unsigned encodeVFPRd(const MachineInstr &MI, unsigned OpIdx) {
Evan Cheng8a0454b2008-11-12 02:19:38 +00001154 unsigned RegD = MI.getOperand(OpIdx).getReg();
Evan Cheng74273382008-11-12 06:41:41 +00001155 unsigned Binary = 0;
Evan Cheng8a0454b2008-11-12 02:19:38 +00001156 bool isSPVFP = false;
Evan Cheng6eb14932009-07-22 05:55:18 +00001157 RegD = ARMRegisterInfo::getRegisterNumbering(RegD, &isSPVFP);
Evan Cheng8a0454b2008-11-12 02:19:38 +00001158 if (!isSPVFP)
1159 Binary |= RegD << ARMII::RegRdShift;
1160 else {
1161 Binary |= ((RegD & 0x1E) >> 1) << ARMII::RegRdShift;
1162 Binary |= (RegD & 0x01) << ARMII::D_BitShift;
1163 }
Evan Cheng74273382008-11-12 06:41:41 +00001164 return Binary;
1165}
Evan Cheng9d3cc182008-11-11 19:40:26 +00001166
Evan Cheng74273382008-11-12 06:41:41 +00001167static unsigned encodeVFPRn(const MachineInstr &MI, unsigned OpIdx) {
Evan Cheng8a0454b2008-11-12 02:19:38 +00001168 unsigned RegN = MI.getOperand(OpIdx).getReg();
Evan Cheng74273382008-11-12 06:41:41 +00001169 unsigned Binary = 0;
1170 bool isSPVFP = false;
Evan Cheng6eb14932009-07-22 05:55:18 +00001171 RegN = ARMRegisterInfo::getRegisterNumbering(RegN, &isSPVFP);
Evan Cheng8a0454b2008-11-12 02:19:38 +00001172 if (!isSPVFP)
1173 Binary |= RegN << ARMII::RegRnShift;
1174 else {
1175 Binary |= ((RegN & 0x1E) >> 1) << ARMII::RegRnShift;
1176 Binary |= (RegN & 0x01) << ARMII::N_BitShift;
1177 }
Evan Cheng74273382008-11-12 06:41:41 +00001178 return Binary;
1179}
Evan Cheng8a0454b2008-11-12 02:19:38 +00001180
Evan Cheng74273382008-11-12 06:41:41 +00001181static unsigned encodeVFPRm(const MachineInstr &MI, unsigned OpIdx) {
1182 unsigned RegM = MI.getOperand(OpIdx).getReg();
1183 unsigned Binary = 0;
1184 bool isSPVFP = false;
Evan Cheng6eb14932009-07-22 05:55:18 +00001185 RegM = ARMRegisterInfo::getRegisterNumbering(RegM, &isSPVFP);
Evan Cheng74273382008-11-12 06:41:41 +00001186 if (!isSPVFP)
1187 Binary |= RegM;
1188 else {
1189 Binary |= ((RegM & 0x1E) >> 1);
1190 Binary |= (RegM & 0x01) << ARMII::M_BitShift;
Evan Cheng9d3cc182008-11-11 19:40:26 +00001191 }
Evan Cheng74273382008-11-12 06:41:41 +00001192 return Binary;
1193}
1194
Chris Lattner11d88be2010-02-02 21:48:51 +00001195void ARMCodeEmitter::emitVFPArithInstruction(const MachineInstr &MI) {
Evan Cheng11838a82008-11-12 07:18:38 +00001196 const TargetInstrDesc &TID = MI.getDesc();
1197
1198 // Part of binary is determined by TableGn.
1199 unsigned Binary = getBinaryCodeForInstr(MI);
1200
1201 // Set the conditional execution predicate
1202 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1203
1204 unsigned OpIdx = 0;
1205 assert((Binary & ARMII::D_BitShift) == 0 &&
1206 (Binary & ARMII::N_BitShift) == 0 &&
1207 (Binary & ARMII::M_BitShift) == 0 && "VFP encoding bug!");
1208
1209 // Encode Dd / Sd.
1210 Binary |= encodeVFPRd(MI, OpIdx++);
1211
1212 // If this is a two-address operand, skip it, e.g. FMACD.
1213 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1214 ++OpIdx;
1215
1216 // Encode Dn / Sn.
1217 if ((TID.TSFlags & ARMII::FormMask) == ARMII::VFPBinaryFrm)
Evan Chengdb608062008-11-12 08:14:21 +00001218 Binary |= encodeVFPRn(MI, OpIdx++);
Evan Cheng11838a82008-11-12 07:18:38 +00001219
1220 if (OpIdx == TID.getNumOperands() ||
1221 TID.OpInfo[OpIdx].isPredicate() ||
1222 TID.OpInfo[OpIdx].isOptionalDef()) {
1223 // FCMPEZD etc. has only one operand.
1224 emitWordLE(Binary);
1225 return;
1226 }
1227
1228 // Encode Dm / Sm.
1229 Binary |= encodeVFPRm(MI, OpIdx);
Jim Grosbach770d7182009-08-11 15:33:49 +00001230
Evan Cheng11838a82008-11-12 07:18:38 +00001231 emitWordLE(Binary);
1232}
1233
Chris Lattner11d88be2010-02-02 21:48:51 +00001234void ARMCodeEmitter::emitVFPConversionInstruction(
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +00001235 const MachineInstr &MI) {
Evan Cheng74273382008-11-12 06:41:41 +00001236 const TargetInstrDesc &TID = MI.getDesc();
1237 unsigned Form = TID.TSFlags & ARMII::FormMask;
1238
1239 // Part of binary is determined by TableGn.
1240 unsigned Binary = getBinaryCodeForInstr(MI);
1241
1242 // Set the conditional execution predicate
1243 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1244
1245 switch (Form) {
1246 default: break;
1247 case ARMII::VFPConv1Frm:
1248 case ARMII::VFPConv2Frm:
1249 case ARMII::VFPConv3Frm:
1250 // Encode Dd / Sd.
1251 Binary |= encodeVFPRd(MI, 0);
1252 break;
1253 case ARMII::VFPConv4Frm:
1254 // Encode Dn / Sn.
1255 Binary |= encodeVFPRn(MI, 0);
1256 break;
1257 case ARMII::VFPConv5Frm:
1258 // Encode Dm / Sm.
1259 Binary |= encodeVFPRm(MI, 0);
1260 break;
1261 }
1262
1263 switch (Form) {
1264 default: break;
1265 case ARMII::VFPConv1Frm:
1266 // Encode Dm / Sm.
1267 Binary |= encodeVFPRm(MI, 1);
Evan Cheng3d895982008-11-13 07:46:59 +00001268 break;
Evan Cheng74273382008-11-12 06:41:41 +00001269 case ARMII::VFPConv2Frm:
1270 case ARMII::VFPConv3Frm:
1271 // Encode Dn / Sn.
1272 Binary |= encodeVFPRn(MI, 1);
1273 break;
1274 case ARMII::VFPConv4Frm:
1275 case ARMII::VFPConv5Frm:
1276 // Encode Dd / Sd.
1277 Binary |= encodeVFPRd(MI, 1);
1278 break;
1279 }
1280
1281 if (Form == ARMII::VFPConv5Frm)
1282 // Encode Dn / Sn.
1283 Binary |= encodeVFPRn(MI, 2);
1284 else if (Form == ARMII::VFPConv3Frm)
1285 // Encode Dm / Sm.
1286 Binary |= encodeVFPRm(MI, 2);
Evan Cheng9d3cc182008-11-11 19:40:26 +00001287
1288 emitWordLE(Binary);
1289}
1290
Chris Lattner11d88be2010-02-02 21:48:51 +00001291void ARMCodeEmitter::emitVFPLoadStoreInstruction(const MachineInstr &MI) {
Evan Chengbb786b32008-11-11 21:48:44 +00001292 // Part of binary is determined by TableGn.
1293 unsigned Binary = getBinaryCodeForInstr(MI);
1294
1295 // Set the conditional execution predicate
1296 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1297
1298 unsigned OpIdx = 0;
1299
1300 // Encode Dd / Sd.
Evan Cheng11838a82008-11-12 07:18:38 +00001301 Binary |= encodeVFPRd(MI, OpIdx++);
Evan Chengbb786b32008-11-11 21:48:44 +00001302
1303 // Encode address base.
1304 const MachineOperand &Base = MI.getOperand(OpIdx++);
1305 Binary |= getMachineOpValue(MI, Base) << ARMII::RegRnShift;
1306
1307 // If there is a non-zero immediate offset, encode it.
1308 if (Base.isReg()) {
1309 const MachineOperand &Offset = MI.getOperand(OpIdx);
1310 if (unsigned ImmOffs = ARM_AM::getAM5Offset(Offset.getImm())) {
1311 if (ARM_AM::getAM5Op(Offset.getImm()) == ARM_AM::add)
1312 Binary |= 1 << ARMII::U_BitShift;
Evan Cheng517b3e82008-11-12 08:21:12 +00001313 Binary |= ImmOffs;
Evan Chengbb786b32008-11-11 21:48:44 +00001314 emitWordLE(Binary);
1315 return;
1316 }
1317 }
1318
1319 // If immediate offset is omitted, default to +0.
1320 Binary |= 1 << ARMII::U_BitShift;
1321
1322 emitWordLE(Binary);
1323}
1324
Chris Lattner11d88be2010-02-02 21:48:51 +00001325void ARMCodeEmitter::emitVFPLoadStoreMultipleInstruction(
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +00001326 const MachineInstr &MI) {
Evan Chengbb786b32008-11-11 21:48:44 +00001327 // Part of binary is determined by TableGn.
1328 unsigned Binary = getBinaryCodeForInstr(MI);
1329
1330 // Set the conditional execution predicate
1331 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1332
1333 // Set base address operand
1334 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRnShift;
1335
1336 // Set addressing mode by modifying bits U(23) and P(24)
1337 const MachineOperand &MO = MI.getOperand(1);
1338 Binary |= getAddrModeUPBits(ARM_AM::getAM5SubMode(MO.getImm()));
1339
1340 // Set bit W(21)
1341 if (ARM_AM::getAM5WBFlag(MO.getImm()))
1342 Binary |= 0x1 << ARMII::W_BitShift;
1343
1344 // First register is encoded in Dd.
Evan Cheng713ff842009-10-01 01:39:21 +00001345 Binary |= encodeVFPRd(MI, 5);
Evan Chengbb786b32008-11-11 21:48:44 +00001346
1347 // Number of registers are encoded in offset field.
1348 unsigned NumRegs = 1;
Evan Cheng713ff842009-10-01 01:39:21 +00001349 for (unsigned i = 6, e = MI.getNumOperands(); i != e; ++i) {
Evan Chengbb786b32008-11-11 21:48:44 +00001350 const MachineOperand &MO = MI.getOperand(i);
1351 if (!MO.isReg() || MO.isImplicit())
1352 break;
1353 ++NumRegs;
1354 }
1355 Binary |= NumRegs * 2;
1356
1357 emitWordLE(Binary);
1358}
1359
Chris Lattner11d88be2010-02-02 21:48:51 +00001360void ARMCodeEmitter::emitMiscInstruction(const MachineInstr &MI) {
Evan Chengbb786b32008-11-11 21:48:44 +00001361 // Part of binary is determined by TableGn.
1362 unsigned Binary = getBinaryCodeForInstr(MI);
1363
1364 // Set the conditional execution predicate
1365 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1366
1367 emitWordLE(Binary);
1368}
1369
Evan Chengefc43652008-09-02 06:52:38 +00001370#include "ARMGenCodeEmitter.inc"