blob: 2b1239d921bd3f2c4e279eff91433b9588039821 [file] [log] [blame]
Jim Grosbach2cee75a2010-10-08 17:28:40 +00001//===-- ARM/ARMCodeEmitter.cpp - Convert ARM code to machine code ---------===//
Evan Cheng148b6a42007-07-05 21:15:40 +00002//
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"
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +000027#include "llvm/CodeGen/JITCodeEmitter.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"
Daniel Dunbar003de662009-09-21 05:58:35 +000032#include "llvm/CodeGen/MachineModuleInfo.h"
Evan Cheng148b6a42007-07-05 21:15:40 +000033#include "llvm/CodeGen/Passes.h"
Evan Cheng148b6a42007-07-05 21:15:40 +000034#include "llvm/ADT/Statistic.h"
Evan Cheng42d5ee062008-09-13 01:15:21 +000035#include "llvm/Support/Debug.h"
Torok Edwinab7c09b2009-07-08 18:01:40 +000036#include "llvm/Support/ErrorHandling.h"
37#include "llvm/Support/raw_ostream.h"
Evan Cheng4df60f52008-11-07 09:06:08 +000038#ifndef NDEBUG
39#include <iomanip>
40#endif
Evan Cheng148b6a42007-07-05 21:15:40 +000041using namespace llvm;
42
43STATISTIC(NumEmitted, "Number of machine instructions emitted");
44
45namespace {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +000046
Chris Lattner33fabd72010-02-02 21:48:51 +000047 class ARMCodeEmitter : public MachineFunctionPass {
Evan Cheng057d0c32008-09-18 07:28:19 +000048 ARMJITInfo *JTI;
49 const ARMInstrInfo *II;
50 const TargetData *TD;
Evan Cheng08669742009-09-10 01:23:53 +000051 const ARMSubtarget *Subtarget;
Evan Cheng057d0c32008-09-18 07:28:19 +000052 TargetMachine &TM;
Chris Lattner33fabd72010-02-02 21:48:51 +000053 JITCodeEmitter &MCE;
Chris Lattner16112732010-03-14 01:41:15 +000054 MachineModuleInfo *MMI;
Evan Cheng938b9d82008-10-31 19:55:13 +000055 const std::vector<MachineConstantPoolEntry> *MCPEs;
Evan Cheng4df60f52008-11-07 09:06:08 +000056 const std::vector<MachineJumpTableEntry> *MJTEs;
57 bool IsPIC;
Bob Wilson62d24a42010-06-28 22:23:17 +000058 bool IsThumb;
Bob Wilson87949d42010-03-17 21:16:45 +000059
Daniel Dunbar003de662009-09-21 05:58:35 +000060 void getAnalysisUsage(AnalysisUsage &AU) const {
61 AU.addRequired<MachineModuleInfo>();
62 MachineFunctionPass::getAnalysisUsage(AU);
63 }
Bob Wilson87949d42010-03-17 21:16:45 +000064
Evan Cheng148b6a42007-07-05 21:15:40 +000065 static char ID;
Chris Lattner33fabd72010-02-02 21:48:51 +000066 public:
67 ARMCodeEmitter(TargetMachine &tm, JITCodeEmitter &mce)
Owen Anderson90c579d2010-08-06 18:33:48 +000068 : MachineFunctionPass(ID), JTI(0),
Dan Gohman3fb150a2010-04-17 17:42:52 +000069 II((const ARMInstrInfo *)tm.getInstrInfo()),
Chris Lattner33fabd72010-02-02 21:48:51 +000070 TD(tm.getTargetData()), TM(tm),
Bob Wilson62d24a42010-06-28 22:23:17 +000071 MCE(mce), MCPEs(0), MJTEs(0),
72 IsPIC(TM.getRelocationModel() == Reloc::PIC_), IsThumb(false) {}
Bob Wilson87949d42010-03-17 21:16:45 +000073
Chris Lattner33fabd72010-02-02 21:48:51 +000074 /// getBinaryCodeForInstr - This function, generated by the
75 /// CodeEmitterGenerator using TableGen, produces the binary encoding for
76 /// machine instructions.
Jim Grosbachbade37b2010-10-08 00:21:28 +000077 unsigned getBinaryCodeForInstr(const MachineInstr &MI) const;
Evan Cheng148b6a42007-07-05 21:15:40 +000078
79 bool runOnMachineFunction(MachineFunction &MF);
80
81 virtual const char *getPassName() const {
82 return "ARM Machine Code Emitter";
83 }
84
85 void emitInstruction(const MachineInstr &MI);
Evan Cheng7602e112008-09-02 06:52:38 +000086
87 private:
Evan Cheng057d0c32008-09-18 07:28:19 +000088
Evan Cheng83b5cf02008-11-05 23:22:34 +000089 void emitWordLE(unsigned Binary);
Evan Chengcb5201f2008-11-11 22:19:31 +000090 void emitDWordLE(uint64_t Binary);
Evan Cheng057d0c32008-09-18 07:28:19 +000091 void emitConstPoolInstruction(const MachineInstr &MI);
Zonr Changf86399b2010-05-25 08:42:45 +000092 void emitMOVi32immInstruction(const MachineInstr &MI);
Evan Cheng90922132008-11-06 02:25:39 +000093 void emitMOVi2piecesInstruction(const MachineInstr &MI);
Evan Cheng4df60f52008-11-07 09:06:08 +000094 void emitLEApcrelJTInstruction(const MachineInstr &MI);
Evan Chenga9562552008-11-14 20:09:11 +000095 void emitPseudoMoveInstruction(const MachineInstr &MI);
Evan Cheng83b5cf02008-11-05 23:22:34 +000096 void addPCLabel(unsigned LabelID);
Evan Cheng057d0c32008-09-18 07:28:19 +000097 void emitPseudoInstruction(const MachineInstr &MI);
Evan Cheng5f1db7b2008-09-12 22:01:15 +000098 unsigned getMachineSoRegOpValue(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +000099 const TargetInstrDesc &TID,
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000100 const MachineOperand &MO,
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000101 unsigned OpIdx);
102
Evan Cheng90922132008-11-06 02:25:39 +0000103 unsigned getMachineSoImmOpValue(unsigned SoImm);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000104
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000105 unsigned getAddrModeSBit(const MachineInstr &MI,
106 const TargetInstrDesc &TID) const;
Evan Cheng49a9f292008-09-12 22:45:55 +0000107
Evan Cheng83b5cf02008-11-05 23:22:34 +0000108 void emitDataProcessingInstruction(const MachineInstr &MI,
Evan Cheng437c1732008-11-07 22:30:53 +0000109 unsigned ImplicitRd = 0,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000110 unsigned ImplicitRn = 0);
Evan Cheng7602e112008-09-02 06:52:38 +0000111
Evan Cheng83b5cf02008-11-05 23:22:34 +0000112 void emitLoadStoreInstruction(const MachineInstr &MI,
Evan Cheng4df60f52008-11-07 09:06:08 +0000113 unsigned ImplicitRd = 0,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000114 unsigned ImplicitRn = 0);
Evan Chengedda31c2008-11-05 18:35:52 +0000115
Evan Cheng83b5cf02008-11-05 23:22:34 +0000116 void emitMiscLoadStoreInstruction(const MachineInstr &MI,
117 unsigned ImplicitRn = 0);
Evan Chengedda31c2008-11-05 18:35:52 +0000118
119 void emitLoadStoreMultipleInstruction(const MachineInstr &MI);
120
Evan Chengfbc9d412008-11-06 01:21:28 +0000121 void emitMulFrmInstruction(const MachineInstr &MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000122
Evan Cheng97f48c32008-11-06 22:15:19 +0000123 void emitExtendInstruction(const MachineInstr &MI);
124
Evan Cheng8b59db32008-11-07 01:41:35 +0000125 void emitMiscArithInstruction(const MachineInstr &MI);
126
Bob Wilson9a1c1892010-08-11 00:01:18 +0000127 void emitSaturateInstruction(const MachineInstr &MI);
128
Evan Chengedda31c2008-11-05 18:35:52 +0000129 void emitBranchInstruction(const MachineInstr &MI);
130
Evan Cheng437c1732008-11-07 22:30:53 +0000131 void emitInlineJumpTable(unsigned JTIndex);
Evan Cheng4df60f52008-11-07 09:06:08 +0000132
Evan Chengedda31c2008-11-05 18:35:52 +0000133 void emitMiscBranchInstruction(const MachineInstr &MI);
Evan Cheng7602e112008-09-02 06:52:38 +0000134
Evan Cheng96581d32008-11-11 02:11:05 +0000135 void emitVFPArithInstruction(const MachineInstr &MI);
136
Evan Cheng78be83d2008-11-11 19:40:26 +0000137 void emitVFPConversionInstruction(const MachineInstr &MI);
138
Evan Chengcd8e66a2008-11-11 21:48:44 +0000139 void emitVFPLoadStoreInstruction(const MachineInstr &MI);
140
141 void emitVFPLoadStoreMultipleInstruction(const MachineInstr &MI);
142
Bob Wilsond5a563d2010-06-29 17:34:07 +0000143 void emitNEONLaneInstruction(const MachineInstr &MI);
Bob Wilson21773e72010-06-29 20:13:29 +0000144 void emitNEONDupInstruction(const MachineInstr &MI);
Bob Wilson583a2a02010-06-25 21:17:19 +0000145 void emitNEON1RegModImmInstruction(const MachineInstr &MI);
146 void emitNEON2RegInstruction(const MachineInstr &MI);
Bob Wilson5e7b6072010-06-25 22:40:46 +0000147 void emitNEON3RegInstruction(const MachineInstr &MI);
Bob Wilson1a913ed2010-06-11 21:34:50 +0000148
Evan Cheng7602e112008-09-02 06:52:38 +0000149 /// getMachineOpValue - Return binary encoding of operand. If the machine
150 /// operand requires relocation, record the relocation and return zero.
Jim Grosbach3e094132010-10-08 17:45:54 +0000151 unsigned getMachineOpValue(const MachineInstr &MI,
152 const MachineOperand &MO) const;
153 unsigned getMachineOpValue(const MachineInstr &MI, unsigned OpIdx) const {
Evan Cheng7602e112008-09-02 06:52:38 +0000154 return getMachineOpValue(MI, MI.getOperand(OpIdx));
155 }
Evan Cheng7602e112008-09-02 06:52:38 +0000156
Jim Grosbach08bd5492010-10-12 23:00:24 +0000157 // FIXME: The legacy JIT ARMCodeEmitter doesn't rely on the the
158 // TableGen'erated getBinaryCodeForInstr() function to encode any
159 // operand values, instead querying getMachineOpValue() directly for
160 // each operand it needs to encode. Thus, any of the new encoder
161 // helper functions can simply return 0 as the values the return
162 // are already handled elsewhere. They are placeholders to allow this
163 // encoder to continue to function until the MC encoder is sufficiently
164 // far along that this one can be eliminated entirely.
165 unsigned getCCOutOpValue(const MachineInstr &MI, unsigned Op)
166 const { return 0; }
Jim Grosbach2a6a93d2010-10-12 23:18:08 +0000167 unsigned getSOImmOpValue(const MachineInstr &MI, unsigned Op)
168 const { return 0; }
Jim Grosbachef324d72010-10-12 23:53:58 +0000169 unsigned getSORegOpValue(const MachineInstr &MI, unsigned Op)
170 const { return 0; }
Jim Grosbachb35ad412010-10-13 19:56:10 +0000171 unsigned getRotImmOpValue(const MachineInstr &MI, unsigned Op)
172 const { return 0; }
Jim Grosbach8abe32a2010-10-15 17:15:16 +0000173 unsigned getImmMinusOneOpValue(const MachineInstr &MI, unsigned Op)
174 const { return 0; }
Jim Grosbach3fea191052010-10-21 22:03:21 +0000175 unsigned getBitfieldInvertedMaskOpValue(const MachineInstr &MI,
176 unsigned Op) const { return 0; }
Jim Grosbach08bd5492010-10-12 23:00:24 +0000177
Shih-wei Liao5170b712010-05-26 00:02:28 +0000178 /// getMovi32Value - Return binary encoding of operand for movw/movt. If the
Jim Grosbach18f30e62010-06-02 21:53:11 +0000179 /// machine operand requires relocation, record the relocation and return
180 /// zero.
Shih-wei Liao5170b712010-05-26 00:02:28 +0000181 unsigned getMovi32Value(const MachineInstr &MI,const MachineOperand &MO,
Zonr Changf86399b2010-05-25 08:42:45 +0000182 unsigned Reloc);
Zonr Changf86399b2010-05-25 08:42:45 +0000183
Evan Cheng83b5cf02008-11-05 23:22:34 +0000184 /// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
Evan Cheng7602e112008-09-02 06:52:38 +0000185 ///
Evan Cheng83b5cf02008-11-05 23:22:34 +0000186 unsigned getShiftOp(unsigned Imm) const ;
Evan Cheng7602e112008-09-02 06:52:38 +0000187
188 /// Routines that handle operands which add machine relocations which are
Evan Cheng437c1732008-11-07 22:30:53 +0000189 /// fixed up by the relocation stage.
Dan Gohman46510a72010-04-15 01:51:59 +0000190 void emitGlobalAddress(const GlobalValue *GV, unsigned Reloc,
Jeffrey Yasskin2d274412009-11-07 08:51:52 +0000191 bool MayNeedFarStub, bool Indirect,
Jim Grosbach3e094132010-10-08 17:45:54 +0000192 intptr_t ACPV = 0) const;
193 void emitExternalSymbolAddress(const char *ES, unsigned Reloc) const;
194 void emitConstPoolAddress(unsigned CPI, unsigned Reloc) const;
195 void emitJumpTableAddress(unsigned JTIndex, unsigned Reloc) const;
Evan Cheng437c1732008-11-07 22:30:53 +0000196 void emitMachineBasicBlock(MachineBasicBlock *BB, unsigned Reloc,
Jim Grosbach3e094132010-10-08 17:45:54 +0000197 intptr_t JTBase = 0) const;
Evan Cheng148b6a42007-07-05 21:15:40 +0000198 };
Evan Cheng148b6a42007-07-05 21:15:40 +0000199}
200
Chris Lattner33fabd72010-02-02 21:48:51 +0000201char ARMCodeEmitter::ID = 0;
202
Bob Wilson87949d42010-03-17 21:16:45 +0000203/// createARMJITCodeEmitterPass - Return a pass that emits the collected ARM
Chris Lattnere0faa542010-02-02 21:38:59 +0000204/// code to the specified MCE object.
Bruno Cardoso Lopesac57e6e2009-07-06 05:09:34 +0000205FunctionPass *llvm::createARMJITCodeEmitterPass(ARMBaseTargetMachine &TM,
206 JITCodeEmitter &JCE) {
Chris Lattner33fabd72010-02-02 21:48:51 +0000207 return new ARMCodeEmitter(TM, JCE);
Evan Cheng148b6a42007-07-05 21:15:40 +0000208}
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000209
Chris Lattner33fabd72010-02-02 21:48:51 +0000210bool ARMCodeEmitter::runOnMachineFunction(MachineFunction &MF) {
Evan Cheng148b6a42007-07-05 21:15:40 +0000211 assert((MF.getTarget().getRelocationModel() != Reloc::Default ||
212 MF.getTarget().getRelocationModel() != Reloc::Static) &&
213 "JIT relocation model must be set to static or default!");
Dan Gohman3fb150a2010-04-17 17:42:52 +0000214 JTI = ((ARMTargetMachine &)MF.getTarget()).getJITInfo();
215 II = ((const ARMTargetMachine &)MF.getTarget()).getInstrInfo();
216 TD = ((const ARMTargetMachine &)MF.getTarget()).getTargetData();
Evan Cheng08669742009-09-10 01:23:53 +0000217 Subtarget = &TM.getSubtarget<ARMSubtarget>();
Evan Cheng938b9d82008-10-31 19:55:13 +0000218 MCPEs = &MF.getConstantPool()->getConstants();
Chris Lattnerb1e80392010-01-25 23:22:00 +0000219 MJTEs = 0;
220 if (MF.getJumpTableInfo()) MJTEs = &MF.getJumpTableInfo()->getJumpTables();
Evan Cheng4df60f52008-11-07 09:06:08 +0000221 IsPIC = TM.getRelocationModel() == Reloc::PIC_;
Bob Wilson62d24a42010-06-28 22:23:17 +0000222 IsThumb = MF.getInfo<ARMFunctionInfo>()->isThumbFunction();
Evan Cheng3cc82232008-11-08 07:38:22 +0000223 JTI->Initialize(MF, IsPIC);
Chris Lattner16112732010-03-14 01:41:15 +0000224 MMI = &getAnalysis<MachineModuleInfo>();
225 MCE.setModuleInfo(MMI);
Evan Cheng148b6a42007-07-05 21:15:40 +0000226
227 do {
Jim Grosbach764ab522009-08-11 15:33:49 +0000228 DEBUG(errs() << "JITTing function '"
Daniel Dunbarce63ffb2009-07-25 00:23:56 +0000229 << MF.getFunction()->getName() << "'\n");
Evan Cheng148b6a42007-07-05 21:15:40 +0000230 MCE.startFunction(MF);
Jim Grosbach764ab522009-08-11 15:33:49 +0000231 for (MachineFunction::iterator MBB = MF.begin(), E = MF.end();
Evan Cheng148b6a42007-07-05 21:15:40 +0000232 MBB != E; ++MBB) {
233 MCE.StartMachineBasicBlock(MBB);
234 for (MachineBasicBlock::const_iterator I = MBB->begin(), E = MBB->end();
235 I != E; ++I)
236 emitInstruction(*I);
237 }
238 } while (MCE.finishFunction(MF));
239
240 return false;
241}
242
Evan Cheng83b5cf02008-11-05 23:22:34 +0000243/// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
Evan Cheng7602e112008-09-02 06:52:38 +0000244///
Chris Lattner33fabd72010-02-02 21:48:51 +0000245unsigned ARMCodeEmitter::getShiftOp(unsigned Imm) const {
Evan Cheng83b5cf02008-11-05 23:22:34 +0000246 switch (ARM_AM::getAM2ShiftOpc(Imm)) {
Torok Edwinc23197a2009-07-14 16:55:14 +0000247 default: llvm_unreachable("Unknown shift opc!");
Evan Cheng7602e112008-09-02 06:52:38 +0000248 case ARM_AM::asr: return 2;
249 case ARM_AM::lsl: return 0;
250 case ARM_AM::lsr: return 1;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000251 case ARM_AM::ror:
Evan Cheng7602e112008-09-02 06:52:38 +0000252 case ARM_AM::rrx: return 3;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000253 }
Evan Cheng7602e112008-09-02 06:52:38 +0000254 return 0;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000255}
256
Shih-wei Liao5170b712010-05-26 00:02:28 +0000257/// getMovi32Value - Return binary encoding of operand for movw/movt. If the
Zonr Changf86399b2010-05-25 08:42:45 +0000258/// machine operand requires relocation, record the relocation and return zero.
259unsigned ARMCodeEmitter::getMovi32Value(const MachineInstr &MI,
Shih-wei Liao5170b712010-05-26 00:02:28 +0000260 const MachineOperand &MO,
Zonr Changf86399b2010-05-25 08:42:45 +0000261 unsigned Reloc) {
Shih-wei Liao5170b712010-05-26 00:02:28 +0000262 assert(((Reloc == ARM::reloc_arm_movt) || (Reloc == ARM::reloc_arm_movw))
Zonr Changf86399b2010-05-25 08:42:45 +0000263 && "Relocation to this function should be for movt or movw");
264
265 if (MO.isImm())
266 return static_cast<unsigned>(MO.getImm());
267 else if (MO.isGlobal())
268 emitGlobalAddress(MO.getGlobal(), Reloc, true, false);
269 else if (MO.isSymbol())
270 emitExternalSymbolAddress(MO.getSymbolName(), Reloc);
271 else if (MO.isMBB())
272 emitMachineBasicBlock(MO.getMBB(), Reloc);
273 else {
274#ifndef NDEBUG
275 errs() << MO;
276#endif
277 llvm_unreachable("Unsupported operand type for movw/movt");
278 }
279 return 0;
280}
281
Evan Cheng7602e112008-09-02 06:52:38 +0000282/// getMachineOpValue - Return binary encoding of operand. If the machine
283/// operand requires relocation, record the relocation and return zero.
Chris Lattner33fabd72010-02-02 21:48:51 +0000284unsigned ARMCodeEmitter::getMachineOpValue(const MachineInstr &MI,
Jim Grosbach3e094132010-10-08 17:45:54 +0000285 const MachineOperand &MO) const {
Dan Gohmand735b802008-10-03 15:45:36 +0000286 if (MO.isReg())
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +0000287 return getARMRegisterNumbering(MO.getReg());
Dan Gohmand735b802008-10-03 15:45:36 +0000288 else if (MO.isImm())
Evan Cheng7602e112008-09-02 06:52:38 +0000289 return static_cast<unsigned>(MO.getImm());
Dan Gohmand735b802008-10-03 15:45:36 +0000290 else if (MO.isGlobal())
Evan Cheng08669742009-09-10 01:23:53 +0000291 emitGlobalAddress(MO.getGlobal(), ARM::reloc_arm_branch, true, false);
Dan Gohmand735b802008-10-03 15:45:36 +0000292 else if (MO.isSymbol())
Evan Cheng10332512008-11-08 07:22:33 +0000293 emitExternalSymbolAddress(MO.getSymbolName(), ARM::reloc_arm_branch);
Evan Cheng580c0df2008-11-12 01:02:24 +0000294 else if (MO.isCPI()) {
295 const TargetInstrDesc &TID = MI.getDesc();
296 // For VFP load, the immediate offset is multiplied by 4.
297 unsigned Reloc = ((TID.TSFlags & ARMII::FormMask) == ARMII::VFPLdStFrm)
298 ? ARM::reloc_arm_vfp_cp_entry : ARM::reloc_arm_cp_entry;
299 emitConstPoolAddress(MO.getIndex(), Reloc);
300 } else if (MO.isJTI())
Chris Lattner8aa797a2007-12-30 23:10:15 +0000301 emitJumpTableAddress(MO.getIndex(), ARM::reloc_arm_relative);
Dan Gohmand735b802008-10-03 15:45:36 +0000302 else if (MO.isMBB())
Evan Cheng4df60f52008-11-07 09:06:08 +0000303 emitMachineBasicBlock(MO.getMBB(), ARM::reloc_arm_branch);
Evan Cheng2aa0e642008-09-13 01:55:59 +0000304 else {
Torok Edwindac237e2009-07-08 20:53:28 +0000305#ifndef NDEBUG
Chris Lattner705e07f2009-08-23 03:41:05 +0000306 errs() << MO;
Torok Edwindac237e2009-07-08 20:53:28 +0000307#endif
Torok Edwinc23197a2009-07-14 16:55:14 +0000308 llvm_unreachable(0);
Evan Cheng2aa0e642008-09-13 01:55:59 +0000309 }
Evan Cheng7602e112008-09-02 06:52:38 +0000310 return 0;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000311}
312
Evan Cheng057d0c32008-09-18 07:28:19 +0000313/// emitGlobalAddress - Emit the specified address to the code stream.
Evan Cheng0ff94f72007-08-07 01:37:15 +0000314///
Dan Gohman46510a72010-04-15 01:51:59 +0000315void ARMCodeEmitter::emitGlobalAddress(const GlobalValue *GV, unsigned Reloc,
Chris Lattner33fabd72010-02-02 21:48:51 +0000316 bool MayNeedFarStub, bool Indirect,
Jim Grosbach3e094132010-10-08 17:45:54 +0000317 intptr_t ACPV) const {
Evan Cheng08669742009-09-10 01:23:53 +0000318 MachineRelocation MR = Indirect
319 ? MachineRelocation::getIndirectSymbol(MCE.getCurrentPCOffset(), Reloc,
Dan Gohman46510a72010-04-15 01:51:59 +0000320 const_cast<GlobalValue *>(GV),
321 ACPV, MayNeedFarStub)
Evan Cheng08669742009-09-10 01:23:53 +0000322 : MachineRelocation::getGV(MCE.getCurrentPCOffset(), Reloc,
Dan Gohman46510a72010-04-15 01:51:59 +0000323 const_cast<GlobalValue *>(GV), ACPV,
324 MayNeedFarStub);
Evan Cheng08669742009-09-10 01:23:53 +0000325 MCE.addRelocation(MR);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000326}
327
328/// emitExternalSymbolAddress - Arrange for the address of an external symbol to
329/// be emitted to the current location in the function, and allow it to be PC
330/// relative.
Jim Grosbach3e094132010-10-08 17:45:54 +0000331void ARMCodeEmitter::
332emitExternalSymbolAddress(const char *ES, unsigned Reloc) const {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000333 MCE.addRelocation(MachineRelocation::getExtSym(MCE.getCurrentPCOffset(),
334 Reloc, ES));
335}
336
337/// emitConstPoolAddress - Arrange for the address of an constant pool
338/// to be emitted to the current location in the function, and allow it to be PC
339/// relative.
Jim Grosbach3e094132010-10-08 17:45:54 +0000340void ARMCodeEmitter::emitConstPoolAddress(unsigned CPI, unsigned Reloc) const {
Evan Cheng0f282432008-10-29 23:55:43 +0000341 // Tell JIT emitter we'll resolve the address.
Evan Cheng0ff94f72007-08-07 01:37:15 +0000342 MCE.addRelocation(MachineRelocation::getConstPool(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000343 Reloc, CPI, 0, true));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000344}
345
346/// emitJumpTableAddress - Arrange for the address of a jump table to
347/// be emitted to the current location in the function, and allow it to be PC
348/// relative.
Jim Grosbach3e094132010-10-08 17:45:54 +0000349void ARMCodeEmitter::
350emitJumpTableAddress(unsigned JTIndex, unsigned Reloc) const {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000351 MCE.addRelocation(MachineRelocation::getJumpTable(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000352 Reloc, JTIndex, 0, true));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000353}
354
Raul Herbster9c1a3822007-08-30 23:29:26 +0000355/// emitMachineBasicBlock - Emit the specified address basic block.
Chris Lattner33fabd72010-02-02 21:48:51 +0000356void ARMCodeEmitter::emitMachineBasicBlock(MachineBasicBlock *BB,
Jim Grosbach3e094132010-10-08 17:45:54 +0000357 unsigned Reloc,
358 intptr_t JTBase) const {
Raul Herbster9c1a3822007-08-30 23:29:26 +0000359 MCE.addRelocation(MachineRelocation::getBB(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000360 Reloc, BB, JTBase));
Raul Herbster9c1a3822007-08-30 23:29:26 +0000361}
Evan Cheng0ff94f72007-08-07 01:37:15 +0000362
Chris Lattner33fabd72010-02-02 21:48:51 +0000363void ARMCodeEmitter::emitWordLE(unsigned Binary) {
Chris Lattner893e1c92009-08-23 06:49:22 +0000364 DEBUG(errs() << " 0x";
365 errs().write_hex(Binary) << "\n");
Evan Cheng83b5cf02008-11-05 23:22:34 +0000366 MCE.emitWordLE(Binary);
367}
368
Chris Lattner33fabd72010-02-02 21:48:51 +0000369void ARMCodeEmitter::emitDWordLE(uint64_t Binary) {
Chris Lattner893e1c92009-08-23 06:49:22 +0000370 DEBUG(errs() << " 0x";
371 errs().write_hex(Binary) << "\n");
Evan Chengcb5201f2008-11-11 22:19:31 +0000372 MCE.emitDWordLE(Binary);
373}
374
Chris Lattner33fabd72010-02-02 21:48:51 +0000375void ARMCodeEmitter::emitInstruction(const MachineInstr &MI) {
Chris Lattner705e07f2009-08-23 03:41:05 +0000376 DEBUG(errs() << "JIT: " << (void*)MCE.getCurrentPCValue() << ":\t" << MI);
Evan Cheng42d5ee062008-09-13 01:15:21 +0000377
Devang Patelaf0e2722009-10-06 02:19:11 +0000378 MCE.processDebugLoc(MI.getDebugLoc(), true);
Jeffrey Yasskin75402822009-07-17 18:49:39 +0000379
Dan Gohmanfe601042010-06-22 15:08:57 +0000380 ++NumEmitted; // Keep track of the # of mi's emitted
Evan Chengedda31c2008-11-05 18:35:52 +0000381 switch (MI.getDesc().TSFlags & ARMII::FormMask) {
Evan Chengffa6d962008-11-13 23:36:57 +0000382 default: {
Torok Edwinc23197a2009-07-14 16:55:14 +0000383 llvm_unreachable("Unhandled instruction encoding format!");
Evan Chengedda31c2008-11-05 18:35:52 +0000384 break;
Evan Chengffa6d962008-11-13 23:36:57 +0000385 }
Evan Chengedda31c2008-11-05 18:35:52 +0000386 case ARMII::Pseudo:
Evan Cheng057d0c32008-09-18 07:28:19 +0000387 emitPseudoInstruction(MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000388 break;
389 case ARMII::DPFrm:
390 case ARMII::DPSoRegFrm:
391 emitDataProcessingInstruction(MI);
392 break;
Evan Cheng148cad82008-11-13 07:34:59 +0000393 case ARMII::LdFrm:
394 case ARMII::StFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000395 emitLoadStoreInstruction(MI);
396 break;
Evan Cheng148cad82008-11-13 07:34:59 +0000397 case ARMII::LdMiscFrm:
398 case ARMII::StMiscFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000399 emitMiscLoadStoreInstruction(MI);
400 break;
Evan Cheng3c4a4ff2008-11-12 07:18:38 +0000401 case ARMII::LdStMulFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000402 emitLoadStoreMultipleInstruction(MI);
403 break;
Evan Chengfbc9d412008-11-06 01:21:28 +0000404 case ARMII::MulFrm:
405 emitMulFrmInstruction(MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000406 break;
Evan Cheng97f48c32008-11-06 22:15:19 +0000407 case ARMII::ExtFrm:
408 emitExtendInstruction(MI);
409 break;
Evan Cheng8b59db32008-11-07 01:41:35 +0000410 case ARMII::ArithMiscFrm:
411 emitMiscArithInstruction(MI);
412 break;
Bob Wilson9a1c1892010-08-11 00:01:18 +0000413 case ARMII::SatFrm:
414 emitSaturateInstruction(MI);
415 break;
Evan Cheng12c3a532008-11-06 17:48:05 +0000416 case ARMII::BrFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000417 emitBranchInstruction(MI);
418 break;
Evan Cheng12c3a532008-11-06 17:48:05 +0000419 case ARMII::BrMiscFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000420 emitMiscBranchInstruction(MI);
421 break;
Evan Cheng96581d32008-11-11 02:11:05 +0000422 // VFP instructions.
423 case ARMII::VFPUnaryFrm:
424 case ARMII::VFPBinaryFrm:
425 emitVFPArithInstruction(MI);
426 break;
Evan Cheng78be83d2008-11-11 19:40:26 +0000427 case ARMII::VFPConv1Frm:
428 case ARMII::VFPConv2Frm:
Evan Cheng0a0ab132008-11-11 22:46:12 +0000429 case ARMII::VFPConv3Frm:
Evan Cheng80a11982008-11-12 06:41:41 +0000430 case ARMII::VFPConv4Frm:
431 case ARMII::VFPConv5Frm:
Evan Cheng78be83d2008-11-11 19:40:26 +0000432 emitVFPConversionInstruction(MI);
433 break;
Evan Chengcd8e66a2008-11-11 21:48:44 +0000434 case ARMII::VFPLdStFrm:
435 emitVFPLoadStoreInstruction(MI);
436 break;
437 case ARMII::VFPLdStMulFrm:
438 emitVFPLoadStoreMultipleInstruction(MI);
439 break;
Bill Wendling07fda9f2010-10-15 23:35:12 +0000440
Bob Wilson1a913ed2010-06-11 21:34:50 +0000441 // NEON instructions.
Bob Wilson52e4a0a2010-06-26 04:07:15 +0000442 case ARMII::NGetLnFrm:
Bob Wilsond5a563d2010-06-29 17:34:07 +0000443 case ARMII::NSetLnFrm:
444 emitNEONLaneInstruction(MI);
Bob Wilson52e4a0a2010-06-26 04:07:15 +0000445 break;
Bob Wilson21773e72010-06-29 20:13:29 +0000446 case ARMII::NDupFrm:
447 emitNEONDupInstruction(MI);
448 break;
Bob Wilson1a913ed2010-06-11 21:34:50 +0000449 case ARMII::N1RegModImmFrm:
Bob Wilson583a2a02010-06-25 21:17:19 +0000450 emitNEON1RegModImmInstruction(MI);
451 break;
452 case ARMII::N2RegFrm:
453 emitNEON2RegInstruction(MI);
Bob Wilson1a913ed2010-06-11 21:34:50 +0000454 break;
Bob Wilson5e7b6072010-06-25 22:40:46 +0000455 case ARMII::N3RegFrm:
456 emitNEON3RegInstruction(MI);
457 break;
Evan Chengedda31c2008-11-05 18:35:52 +0000458 }
Devang Patelaf0e2722009-10-06 02:19:11 +0000459 MCE.processDebugLoc(MI.getDebugLoc(), false);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000460}
461
Chris Lattner33fabd72010-02-02 21:48:51 +0000462void ARMCodeEmitter::emitConstPoolInstruction(const MachineInstr &MI) {
Evan Cheng437c1732008-11-07 22:30:53 +0000463 unsigned CPI = MI.getOperand(0).getImm(); // CP instruction index.
464 unsigned CPIndex = MI.getOperand(1).getIndex(); // Actual cp entry index.
Evan Cheng938b9d82008-10-31 19:55:13 +0000465 const MachineConstantPoolEntry &MCPE = (*MCPEs)[CPIndex];
Jim Grosbach764ab522009-08-11 15:33:49 +0000466
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000467 // Remember the CONSTPOOL_ENTRY address for later relocation.
468 JTI->addConstantPoolEntryAddr(CPI, MCE.getCurrentPCValue());
469
470 // Emit constpool island entry. In most cases, the actual values will be
471 // resolved and relocated after code emission.
472 if (MCPE.isMachineConstantPoolEntry()) {
473 ARMConstantPoolValue *ACPV =
474 static_cast<ARMConstantPoolValue*>(MCPE.Val.MachineCPVal);
475
Chris Lattner705e07f2009-08-23 03:41:05 +0000476 DEBUG(errs() << " ** ARM constant pool #" << CPI << " @ "
477 << (void*)MCE.getCurrentPCValue() << " " << *ACPV << '\n');
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000478
Bob Wilson28989a82009-11-02 16:59:06 +0000479 assert(ACPV->isGlobalValue() && "unsupported constant pool value");
Dan Gohman46510a72010-04-15 01:51:59 +0000480 const GlobalValue *GV = ACPV->getGV();
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000481 if (GV) {
Evan Cheng08669742009-09-10 01:23:53 +0000482 Reloc::Model RelocM = TM.getRelocationModel();
Evan Chenge4e4ed32009-08-28 23:18:09 +0000483 emitGlobalAddress(GV, ARM::reloc_arm_machine_cp_entry,
Evan Cheng08669742009-09-10 01:23:53 +0000484 isa<Function>(GV),
485 Subtarget->GVIsIndirectSymbol(GV, RelocM),
486 (intptr_t)ACPV);
Evan Cheng25e04782008-11-04 00:50:32 +0000487 } else {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000488 emitExternalSymbolAddress(ACPV->getSymbol(), ARM::reloc_arm_absolute);
489 }
Evan Cheng83b5cf02008-11-05 23:22:34 +0000490 emitWordLE(0);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000491 } else {
Dan Gohman46510a72010-04-15 01:51:59 +0000492 const Constant *CV = MCPE.Val.ConstVal;
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000493
Daniel Dunbarce63ffb2009-07-25 00:23:56 +0000494 DEBUG({
495 errs() << " ** Constant pool #" << CPI << " @ "
496 << (void*)MCE.getCurrentPCValue() << " ";
497 if (const Function *F = dyn_cast<Function>(CV))
498 errs() << F->getName();
499 else
500 errs() << *CV;
501 errs() << '\n';
502 });
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000503
Dan Gohman46510a72010-04-15 01:51:59 +0000504 if (const GlobalValue *GV = dyn_cast<GlobalValue>(CV)) {
Evan Cheng08669742009-09-10 01:23:53 +0000505 emitGlobalAddress(GV, ARM::reloc_arm_absolute, isa<Function>(GV), false);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000506 emitWordLE(0);
Evan Chengcb5201f2008-11-11 22:19:31 +0000507 } else if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000508 uint32_t Val = *(uint32_t*)CI->getValue().getRawData();
Evan Cheng83b5cf02008-11-05 23:22:34 +0000509 emitWordLE(Val);
Evan Chengcb5201f2008-11-11 22:19:31 +0000510 } else if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV)) {
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000511 if (CFP->getType()->isFloatTy())
Evan Chengcb5201f2008-11-11 22:19:31 +0000512 emitWordLE(CFP->getValueAPF().bitcastToAPInt().getZExtValue());
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000513 else if (CFP->getType()->isDoubleTy())
Evan Chengcb5201f2008-11-11 22:19:31 +0000514 emitDWordLE(CFP->getValueAPF().bitcastToAPInt().getZExtValue());
515 else {
Torok Edwinc23197a2009-07-14 16:55:14 +0000516 llvm_unreachable("Unable to handle this constantpool entry!");
Evan Chengcb5201f2008-11-11 22:19:31 +0000517 }
518 } else {
Torok Edwinc23197a2009-07-14 16:55:14 +0000519 llvm_unreachable("Unable to handle this constantpool entry!");
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000520 }
521 }
522}
523
Zonr Changf86399b2010-05-25 08:42:45 +0000524void ARMCodeEmitter::emitMOVi32immInstruction(const MachineInstr &MI) {
525 const MachineOperand &MO0 = MI.getOperand(0);
526 const MachineOperand &MO1 = MI.getOperand(1);
527
528 // Emit the 'movw' instruction.
529 unsigned Binary = 0x30 << 20; // mov: Insts{27-20} = 0b00110000
530
531 unsigned Lo16 = getMovi32Value(MI, MO1, ARM::reloc_arm_movw) & 0xFFFF;
532
533 // Set the conditional execution predicate.
534 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
535
536 // Encode Rd.
537 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
538
539 // Encode imm16 as imm4:imm12
540 Binary |= Lo16 & 0xFFF; // Insts{11-0} = imm12
541 Binary |= ((Lo16 >> 12) & 0xF) << 16; // Insts{19-16} = imm4
542 emitWordLE(Binary);
543
544 unsigned Hi16 = getMovi32Value(MI, MO1, ARM::reloc_arm_movt) >> 16;
545 // Emit the 'movt' instruction.
546 Binary = 0x34 << 20; // movt: Insts{27-20} = 0b00110100
547
548 // Set the conditional execution predicate.
549 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
550
551 // Encode Rd.
552 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
553
554 // Encode imm16 as imm4:imm1, same as movw above.
555 Binary |= Hi16 & 0xFFF;
556 Binary |= ((Hi16 >> 12) & 0xF) << 16;
557 emitWordLE(Binary);
558}
559
Chris Lattner33fabd72010-02-02 21:48:51 +0000560void ARMCodeEmitter::emitMOVi2piecesInstruction(const MachineInstr &MI) {
Evan Cheng90922132008-11-06 02:25:39 +0000561 const MachineOperand &MO0 = MI.getOperand(0);
562 const MachineOperand &MO1 = MI.getOperand(1);
Bob Wilson5265a122010-03-11 00:46:22 +0000563 assert(MO1.isImm() && ARM_AM::isSOImmTwoPartVal(MO1.getImm()) &&
564 "Not a valid so_imm value!");
Evan Cheng90922132008-11-06 02:25:39 +0000565 unsigned V1 = ARM_AM::getSOImmTwoPartFirst(MO1.getImm());
566 unsigned V2 = ARM_AM::getSOImmTwoPartSecond(MO1.getImm());
567
568 // Emit the 'mov' instruction.
569 unsigned Binary = 0xd << 21; // mov: Insts{24-21} = 0b1101
570
571 // Set the conditional execution predicate.
Evan Cheng97f48c32008-11-06 22:15:19 +0000572 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng90922132008-11-06 02:25:39 +0000573
574 // Encode Rd.
575 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
576
577 // Encode so_imm.
578 // Set bit I(25) to identify this is the immediate form of <shifter_op>
579 Binary |= 1 << ARMII::I_BitShift;
Evan Chenge7cbe412009-07-08 21:03:57 +0000580 Binary |= getMachineSoImmOpValue(V1);
Evan Cheng90922132008-11-06 02:25:39 +0000581 emitWordLE(Binary);
582
583 // Now the 'orr' instruction.
584 Binary = 0xc << 21; // orr: Insts{24-21} = 0b1100
585
586 // Set the conditional execution predicate.
Evan Cheng97f48c32008-11-06 22:15:19 +0000587 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng90922132008-11-06 02:25:39 +0000588
589 // Encode Rd.
590 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
591
592 // Encode Rn.
593 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRnShift;
594
595 // Encode so_imm.
596 // Set bit I(25) to identify this is the immediate form of <shifter_op>
597 Binary |= 1 << ARMII::I_BitShift;
Evan Chenge7cbe412009-07-08 21:03:57 +0000598 Binary |= getMachineSoImmOpValue(V2);
Evan Cheng90922132008-11-06 02:25:39 +0000599 emitWordLE(Binary);
600}
601
Chris Lattner33fabd72010-02-02 21:48:51 +0000602void ARMCodeEmitter::emitLEApcrelJTInstruction(const MachineInstr &MI) {
Evan Cheng4df60f52008-11-07 09:06:08 +0000603 // It's basically add r, pc, (LJTI - $+8)
Jim Grosbach764ab522009-08-11 15:33:49 +0000604
Evan Cheng4df60f52008-11-07 09:06:08 +0000605 const TargetInstrDesc &TID = MI.getDesc();
606
607 // Emit the 'add' instruction.
608 unsigned Binary = 0x4 << 21; // add: Insts{24-31} = 0b0100
609
610 // Set the conditional execution predicate
611 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
612
613 // Encode S bit if MI modifies CPSR.
614 Binary |= getAddrModeSBit(MI, TID);
615
616 // Encode Rd.
617 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
618
619 // Encode Rn which is PC.
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +0000620 Binary |= getARMRegisterNumbering(ARM::PC) << ARMII::RegRnShift;
Evan Cheng4df60f52008-11-07 09:06:08 +0000621
622 // Encode the displacement.
Evan Cheng4df60f52008-11-07 09:06:08 +0000623 Binary |= 1 << ARMII::I_BitShift;
624 emitJumpTableAddress(MI.getOperand(1).getIndex(), ARM::reloc_arm_jt_base);
625
626 emitWordLE(Binary);
627}
628
Chris Lattner33fabd72010-02-02 21:48:51 +0000629void ARMCodeEmitter::emitPseudoMoveInstruction(const MachineInstr &MI) {
Evan Chenga9562552008-11-14 20:09:11 +0000630 unsigned Opcode = MI.getDesc().Opcode;
631
632 // Part of binary is determined by TableGn.
633 unsigned Binary = getBinaryCodeForInstr(MI);
634
635 // Set the conditional execution predicate
636 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
637
638 // Encode S bit if MI modifies CPSR.
639 if (Opcode == ARM::MOVsrl_flag || Opcode == ARM::MOVsra_flag)
640 Binary |= 1 << ARMII::S_BitShift;
641
642 // Encode register def if there is one.
643 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
644
645 // Encode the shift operation.
646 switch (Opcode) {
647 default: break;
Jim Grosbach792e9792010-10-14 20:43:44 +0000648 case ARM::RRX:
Evan Chenga9562552008-11-14 20:09:11 +0000649 // rrx
650 Binary |= 0x6 << 4;
651 break;
652 case ARM::MOVsrl_flag:
653 // lsr #1
654 Binary |= (0x2 << 4) | (1 << 7);
655 break;
656 case ARM::MOVsra_flag:
657 // asr #1
658 Binary |= (0x4 << 4) | (1 << 7);
659 break;
660 }
661
662 // Encode register Rm.
663 Binary |= getMachineOpValue(MI, 1);
664
665 emitWordLE(Binary);
666}
667
Chris Lattner33fabd72010-02-02 21:48:51 +0000668void ARMCodeEmitter::addPCLabel(unsigned LabelID) {
Chris Lattner893e1c92009-08-23 06:49:22 +0000669 DEBUG(errs() << " ** LPC" << LabelID << " @ "
670 << (void*)MCE.getCurrentPCValue() << '\n');
Evan Cheng83b5cf02008-11-05 23:22:34 +0000671 JTI->addPCLabelAddr(LabelID, MCE.getCurrentPCValue());
672}
673
Chris Lattner33fabd72010-02-02 21:48:51 +0000674void ARMCodeEmitter::emitPseudoInstruction(const MachineInstr &MI) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000675 unsigned Opcode = MI.getDesc().Opcode;
676 switch (Opcode) {
677 default:
Evan Cheng5adb66a2009-09-28 09:14:39 +0000678 llvm_unreachable("ARMCodeEmitter::emitPseudoInstruction");
Xerxes Ranby99ccffe2010-07-22 17:28:34 +0000679 case ARM::BX:
680 case ARM::BMOVPCRX:
681 case ARM::BXr9:
682 case ARM::BMOVPCRXr9: {
683 // First emit mov lr, pc
684 unsigned Binary = 0x01a0e00f;
685 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
686 emitWordLE(Binary);
687
688 // and then emit the branch.
689 emitMiscBranchInstruction(MI);
690 break;
691 }
Chris Lattner518bb532010-02-09 19:54:29 +0000692 case TargetOpcode::INLINEASM: {
Evan Chenge3066ab2008-11-19 23:21:33 +0000693 // We allow inline assembler nodes with empty bodies - they can
694 // implicitly define registers, which is ok for JIT.
695 if (MI.getOperand(0).getSymbolName()[0]) {
Chris Lattner75361b62010-04-07 22:58:41 +0000696 report_fatal_error("JIT does not support inline asm!");
Evan Chenge3066ab2008-11-19 23:21:33 +0000697 }
Evan Chengffa6d962008-11-13 23:36:57 +0000698 break;
699 }
Bill Wendling7431bea2010-07-16 22:20:36 +0000700 case TargetOpcode::PROLOG_LABEL:
Chris Lattner7561d482010-03-14 02:33:54 +0000701 case TargetOpcode::EH_LABEL:
702 MCE.emitLabel(MI.getOperand(0).getMCSymbol());
703 break;
Chris Lattner518bb532010-02-09 19:54:29 +0000704 case TargetOpcode::IMPLICIT_DEF:
705 case TargetOpcode::KILL:
Evan Chengffa6d962008-11-13 23:36:57 +0000706 // Do nothing.
707 break;
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000708 case ARM::CONSTPOOL_ENTRY:
709 emitConstPoolInstruction(MI);
710 break;
711 case ARM::PICADD: {
Evan Cheng25e04782008-11-04 00:50:32 +0000712 // Remember of the address of the PC label for relocation later.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000713 addPCLabel(MI.getOperand(2).getImm());
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000714 // PICADD is just an add instruction that implicitly read pc.
Evan Cheng437c1732008-11-07 22:30:53 +0000715 emitDataProcessingInstruction(MI, 0, ARM::PC);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000716 break;
717 }
718 case ARM::PICLDR:
719 case ARM::PICLDRB:
720 case ARM::PICSTR:
721 case ARM::PICSTRB: {
722 // Remember of the address of the PC label for relocation later.
723 addPCLabel(MI.getOperand(2).getImm());
724 // These are just load / store instructions that implicitly read pc.
Evan Cheng4df60f52008-11-07 09:06:08 +0000725 emitLoadStoreInstruction(MI, 0, ARM::PC);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000726 break;
727 }
728 case ARM::PICLDRH:
729 case ARM::PICLDRSH:
730 case ARM::PICLDRSB:
731 case ARM::PICSTRH: {
732 // Remember of the address of the PC label for relocation later.
733 addPCLabel(MI.getOperand(2).getImm());
734 // These are just load / store instructions that implicitly read pc.
735 emitMiscLoadStoreInstruction(MI, ARM::PC);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000736 break;
737 }
Zonr Changf86399b2010-05-25 08:42:45 +0000738
739 case ARM::MOVi32imm:
740 emitMOVi32immInstruction(MI);
741 break;
742
Evan Cheng90922132008-11-06 02:25:39 +0000743 case ARM::MOVi2pieces:
744 // Two instructions to materialize a constant.
745 emitMOVi2piecesInstruction(MI);
746 break;
Evan Cheng4df60f52008-11-07 09:06:08 +0000747 case ARM::LEApcrelJT:
748 // Materialize jumptable address.
749 emitLEApcrelJTInstruction(MI);
750 break;
Jim Grosbach792e9792010-10-14 20:43:44 +0000751 case ARM::RRX:
Evan Chenga9562552008-11-14 20:09:11 +0000752 case ARM::MOVsrl_flag:
753 case ARM::MOVsra_flag:
754 emitPseudoMoveInstruction(MI);
755 break;
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000756 }
757}
758
Bob Wilson87949d42010-03-17 21:16:45 +0000759unsigned ARMCodeEmitter::getMachineSoRegOpValue(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +0000760 const TargetInstrDesc &TID,
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000761 const MachineOperand &MO,
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000762 unsigned OpIdx) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000763 unsigned Binary = getMachineOpValue(MI, MO);
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000764
765 const MachineOperand &MO1 = MI.getOperand(OpIdx + 1);
766 const MachineOperand &MO2 = MI.getOperand(OpIdx + 2);
767 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO2.getImm());
768
769 // Encode the shift opcode.
770 unsigned SBits = 0;
771 unsigned Rs = MO1.getReg();
772 if (Rs) {
773 // Set shift operand (bit[7:4]).
774 // LSL - 0001
775 // LSR - 0011
776 // ASR - 0101
777 // ROR - 0111
778 // RRX - 0110 and bit[11:8] clear.
779 switch (SOpc) {
Torok Edwinc23197a2009-07-14 16:55:14 +0000780 default: llvm_unreachable("Unknown shift opc!");
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000781 case ARM_AM::lsl: SBits = 0x1; break;
782 case ARM_AM::lsr: SBits = 0x3; break;
783 case ARM_AM::asr: SBits = 0x5; break;
784 case ARM_AM::ror: SBits = 0x7; break;
785 case ARM_AM::rrx: SBits = 0x6; break;
786 }
787 } else {
788 // Set shift operand (bit[6:4]).
789 // LSL - 000
790 // LSR - 010
791 // ASR - 100
792 // ROR - 110
793 switch (SOpc) {
Torok Edwinc23197a2009-07-14 16:55:14 +0000794 default: llvm_unreachable("Unknown shift opc!");
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000795 case ARM_AM::lsl: SBits = 0x0; break;
796 case ARM_AM::lsr: SBits = 0x2; break;
797 case ARM_AM::asr: SBits = 0x4; break;
798 case ARM_AM::ror: SBits = 0x6; break;
799 }
800 }
801 Binary |= SBits << 4;
802 if (SOpc == ARM_AM::rrx)
803 return Binary;
804
805 // Encode the shift operation Rs or shift_imm (except rrx).
806 if (Rs) {
807 // Encode Rs bit[11:8].
808 assert(ARM_AM::getSORegOffset(MO2.getImm()) == 0);
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +0000809 return Binary | (getARMRegisterNumbering(Rs) << ARMII::RegRsShift);
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000810 }
811
812 // Encode shift_imm bit[11:7].
813 return Binary | ARM_AM::getSORegOffset(MO2.getImm()) << 7;
814}
815
Chris Lattner33fabd72010-02-02 21:48:51 +0000816unsigned ARMCodeEmitter::getMachineSoImmOpValue(unsigned SoImm) {
Evan Chenge7cbe412009-07-08 21:03:57 +0000817 int SoImmVal = ARM_AM::getSOImmVal(SoImm);
818 assert(SoImmVal != -1 && "Not a valid so_imm value!");
819
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000820 // Encode rotate_imm.
Evan Chenge7cbe412009-07-08 21:03:57 +0000821 unsigned Binary = (ARM_AM::getSOImmValRot((unsigned)SoImmVal) >> 1)
Evan Cheng97f48c32008-11-06 22:15:19 +0000822 << ARMII::SoRotImmShift;
823
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000824 // Encode immed_8.
Evan Chenge7cbe412009-07-08 21:03:57 +0000825 Binary |= ARM_AM::getSOImmValImm((unsigned)SoImmVal);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000826 return Binary;
827}
828
Chris Lattner33fabd72010-02-02 21:48:51 +0000829unsigned ARMCodeEmitter::getAddrModeSBit(const MachineInstr &MI,
Bob Wilson87949d42010-03-17 21:16:45 +0000830 const TargetInstrDesc &TID) const {
Evan Cheng97c573d2008-11-20 02:25:51 +0000831 for (unsigned i = MI.getNumOperands(), e = TID.getNumOperands(); i != e; --i){
Evan Cheng49a9f292008-09-12 22:45:55 +0000832 const MachineOperand &MO = MI.getOperand(i-1);
Dan Gohmand735b802008-10-03 15:45:36 +0000833 if (MO.isReg() && MO.isDef() && MO.getReg() == ARM::CPSR)
Evan Cheng49a9f292008-09-12 22:45:55 +0000834 return 1 << ARMII::S_BitShift;
835 }
836 return 0;
837}
838
Bob Wilson87949d42010-03-17 21:16:45 +0000839void ARMCodeEmitter::emitDataProcessingInstruction(const MachineInstr &MI,
Evan Cheng437c1732008-11-07 22:30:53 +0000840 unsigned ImplicitRd,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000841 unsigned ImplicitRn) {
Evan Chengedda31c2008-11-05 18:35:52 +0000842 const TargetInstrDesc &TID = MI.getDesc();
Evan Chengedda31c2008-11-05 18:35:52 +0000843
844 // Part of binary is determined by TableGn.
845 unsigned Binary = getBinaryCodeForInstr(MI);
846
Jim Grosbach33412622008-10-07 19:05:35 +0000847 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000848 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000849
Evan Cheng49a9f292008-09-12 22:45:55 +0000850 // Encode S bit if MI modifies CPSR.
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000851 Binary |= getAddrModeSBit(MI, TID);
Evan Cheng49a9f292008-09-12 22:45:55 +0000852
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000853 // Encode register def if there is one.
Evan Cheng49a9f292008-09-12 22:45:55 +0000854 unsigned NumDefs = TID.getNumDefs();
Evan Chenga964b7d2008-09-12 23:15:39 +0000855 unsigned OpIdx = 0;
Evan Cheng437c1732008-11-07 22:30:53 +0000856 if (NumDefs)
857 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
858 else if (ImplicitRd)
859 // Special handling for implicit use (e.g. PC).
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +0000860 Binary |= (getARMRegisterNumbering(ImplicitRd) << ARMII::RegRdShift);
Evan Cheng7602e112008-09-02 06:52:38 +0000861
Zonr Changf86399b2010-05-25 08:42:45 +0000862 if (TID.Opcode == ARM::MOVi16) {
863 // Get immediate from MI.
864 unsigned Lo16 = getMovi32Value(MI, MI.getOperand(OpIdx),
865 ARM::reloc_arm_movw);
866 // Encode imm which is the same as in emitMOVi32immInstruction().
867 Binary |= Lo16 & 0xFFF;
868 Binary |= ((Lo16 >> 12) & 0xF) << 16;
869 emitWordLE(Binary);
870 return;
871 } else if(TID.Opcode == ARM::MOVTi16) {
872 unsigned Hi16 = (getMovi32Value(MI, MI.getOperand(OpIdx),
873 ARM::reloc_arm_movt) >> 16);
874 Binary |= Hi16 & 0xFFF;
875 Binary |= ((Hi16 >> 12) & 0xF) << 16;
876 emitWordLE(Binary);
877 return;
Shih-wei Liao9f3b6a32010-05-26 04:46:50 +0000878 } else if ((TID.Opcode == ARM::BFC) || (TID.Opcode == ARM::BFI)) {
Shih-wei Liao6d37a292010-05-26 00:25:05 +0000879 uint32_t v = ~MI.getOperand(2).getImm();
880 int32_t lsb = CountTrailingZeros_32(v);
881 int32_t msb = (32 - CountLeadingZeros_32(v)) - 1;
Shih-wei Liao45469f32010-05-26 03:21:39 +0000882 // Instr{20-16} = msb, Instr{11-7} = lsb
Shih-wei Liao6d37a292010-05-26 00:25:05 +0000883 Binary |= (msb & 0x1F) << 16;
884 Binary |= (lsb & 0x1F) << 7;
885 emitWordLE(Binary);
886 return;
Shih-wei Liao45469f32010-05-26 03:21:39 +0000887 } else if ((TID.Opcode == ARM::UBFX) || (TID.Opcode == ARM::SBFX)) {
888 // Encode Rn in Instr{0-3}
889 Binary |= getMachineOpValue(MI, OpIdx++);
890
891 uint32_t lsb = MI.getOperand(OpIdx++).getImm();
892 uint32_t widthm1 = MI.getOperand(OpIdx++).getImm() - 1;
893
894 // Instr{20-16} = widthm1, Instr{11-7} = lsb
895 Binary |= (widthm1 & 0x1F) << 16;
896 Binary |= (lsb & 0x1F) << 7;
897 emitWordLE(Binary);
898 return;
Zonr Changf86399b2010-05-25 08:42:45 +0000899 }
900
Evan Chengd87293c2008-11-06 08:47:38 +0000901 // If this is a two-address operand, skip it. e.g. MOVCCr operand 1.
902 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
903 ++OpIdx;
904
Jim Grosbachefd30ba2008-10-01 18:16:49 +0000905 // Encode first non-shifter register operand if there is one.
Evan Chengedda31c2008-11-05 18:35:52 +0000906 bool isUnary = TID.TSFlags & ARMII::UnaryDP;
907 if (!isUnary) {
Evan Cheng83b5cf02008-11-05 23:22:34 +0000908 if (ImplicitRn)
909 // Special handling for implicit use (e.g. PC).
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +0000910 Binary |= (getARMRegisterNumbering(ImplicitRn) << ARMII::RegRnShift);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000911 else {
912 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRnShift;
913 ++OpIdx;
914 }
Evan Cheng7602e112008-09-02 06:52:38 +0000915 }
916
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000917 // Encode shifter operand.
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000918 const MachineOperand &MO = MI.getOperand(OpIdx);
Evan Chengedda31c2008-11-05 18:35:52 +0000919 if ((TID.TSFlags & ARMII::FormMask) == ARMII::DPSoRegFrm) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000920 // Encode SoReg.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000921 emitWordLE(Binary | getMachineSoRegOpValue(MI, TID, MO, OpIdx));
Evan Chengedda31c2008-11-05 18:35:52 +0000922 return;
923 }
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000924
Evan Chengedda31c2008-11-05 18:35:52 +0000925 if (MO.isReg()) {
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000926 // Encode register Rm.
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +0000927 emitWordLE(Binary | getARMRegisterNumbering(MO.getReg()));
Evan Chengedda31c2008-11-05 18:35:52 +0000928 return;
929 }
Evan Cheng7602e112008-09-02 06:52:38 +0000930
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000931 // Encode so_imm.
Evan Chenge7cbe412009-07-08 21:03:57 +0000932 Binary |= getMachineSoImmOpValue((unsigned)MO.getImm());
Evan Chengedda31c2008-11-05 18:35:52 +0000933
Evan Cheng83b5cf02008-11-05 23:22:34 +0000934 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000935}
936
Bob Wilson87949d42010-03-17 21:16:45 +0000937void ARMCodeEmitter::emitLoadStoreInstruction(const MachineInstr &MI,
Evan Cheng4df60f52008-11-07 09:06:08 +0000938 unsigned ImplicitRd,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000939 unsigned ImplicitRn) {
Evan Cheng05c356e2008-11-08 01:44:13 +0000940 const TargetInstrDesc &TID = MI.getDesc();
Evan Cheng148cad82008-11-13 07:34:59 +0000941 unsigned Form = TID.TSFlags & ARMII::FormMask;
942 bool IsPrePost = (TID.TSFlags & ARMII::IndexModeMask) != 0;
Evan Cheng05c356e2008-11-08 01:44:13 +0000943
Evan Chengedda31c2008-11-05 18:35:52 +0000944 // Part of binary is determined by TableGn.
945 unsigned Binary = getBinaryCodeForInstr(MI);
946
Jim Grosbach33412622008-10-07 19:05:35 +0000947 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000948 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng057d0c32008-09-18 07:28:19 +0000949
Evan Cheng4df60f52008-11-07 09:06:08 +0000950 unsigned OpIdx = 0;
Evan Cheng148cad82008-11-13 07:34:59 +0000951
952 // Operand 0 of a pre- and post-indexed store is the address base
953 // writeback. Skip it.
954 bool Skipped = false;
955 if (IsPrePost && Form == ARMII::StFrm) {
956 ++OpIdx;
957 Skipped = true;
958 }
959
960 // Set first operand
Evan Cheng4df60f52008-11-07 09:06:08 +0000961 if (ImplicitRd)
962 // Special handling for implicit use (e.g. PC).
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +0000963 Binary |= (getARMRegisterNumbering(ImplicitRd) << ARMII::RegRdShift);
Evan Cheng4df60f52008-11-07 09:06:08 +0000964 else
965 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000966
967 // Set second operand
Evan Cheng83b5cf02008-11-05 23:22:34 +0000968 if (ImplicitRn)
969 // Special handling for implicit use (e.g. PC).
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +0000970 Binary |= (getARMRegisterNumbering(ImplicitRn) << ARMII::RegRnShift);
Evan Cheng4df60f52008-11-07 09:06:08 +0000971 else
972 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000973
Evan Cheng05c356e2008-11-08 01:44:13 +0000974 // If this is a two-address operand, skip it. e.g. LDR_PRE.
Evan Cheng148cad82008-11-13 07:34:59 +0000975 if (!Skipped && TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
Evan Cheng05c356e2008-11-08 01:44:13 +0000976 ++OpIdx;
977
Evan Cheng83b5cf02008-11-05 23:22:34 +0000978 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Chengd87293c2008-11-06 08:47:38 +0000979 unsigned AM2Opc = (ImplicitRn == ARM::PC)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000980 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Cheng7602e112008-09-02 06:52:38 +0000981
Evan Chenge7de7e32008-09-13 01:44:01 +0000982 // Set bit U(23) according to sign of immed value (positive or negative).
Evan Cheng83b5cf02008-11-05 23:22:34 +0000983 Binary |= ((ARM_AM::getAM2Op(AM2Opc) == ARM_AM::add ? 1 : 0) <<
Evan Chenge7de7e32008-09-13 01:44:01 +0000984 ARMII::U_BitShift);
Evan Cheng7602e112008-09-02 06:52:38 +0000985 if (!MO2.getReg()) { // is immediate
Evan Cheng83b5cf02008-11-05 23:22:34 +0000986 if (ARM_AM::getAM2Offset(AM2Opc))
Evan Cheng7602e112008-09-02 06:52:38 +0000987 // Set the value of offset_12 field
Evan Cheng83b5cf02008-11-05 23:22:34 +0000988 Binary |= ARM_AM::getAM2Offset(AM2Opc);
989 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +0000990 return;
Evan Cheng7602e112008-09-02 06:52:38 +0000991 }
992
Bill Wendling7d31a162010-10-20 22:44:54 +0000993 // Set bit I(25), because this is not in immediate encoding.
Evan Cheng7602e112008-09-02 06:52:38 +0000994 Binary |= 1 << ARMII::I_BitShift;
995 assert(TargetRegisterInfo::isPhysicalRegister(MO2.getReg()));
996 // Set bit[3:0] to the corresponding Rm register
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +0000997 Binary |= getARMRegisterNumbering(MO2.getReg());
Evan Cheng7602e112008-09-02 06:52:38 +0000998
Evan Cheng70632912008-11-12 07:34:37 +0000999 // If this instr is in scaled register offset/index instruction, set
Evan Cheng7602e112008-09-02 06:52:38 +00001000 // shift_immed(bit[11:7]) and shift(bit[6:5]) fields.
Evan Cheng83b5cf02008-11-05 23:22:34 +00001001 if (unsigned ShImm = ARM_AM::getAM2Offset(AM2Opc)) {
Evan Cheng70632912008-11-12 07:34:37 +00001002 Binary |= getShiftOp(AM2Opc) << ARMII::ShiftImmShift; // shift
1003 Binary |= ShImm << ARMII::ShiftShift; // shift_immed
Evan Cheng7602e112008-09-02 06:52:38 +00001004 }
1005
Evan Cheng83b5cf02008-11-05 23:22:34 +00001006 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +00001007}
1008
Chris Lattner33fabd72010-02-02 21:48:51 +00001009void ARMCodeEmitter::emitMiscLoadStoreInstruction(const MachineInstr &MI,
Bob Wilson87949d42010-03-17 21:16:45 +00001010 unsigned ImplicitRn) {
Evan Cheng05c356e2008-11-08 01:44:13 +00001011 const TargetInstrDesc &TID = MI.getDesc();
Evan Cheng148cad82008-11-13 07:34:59 +00001012 unsigned Form = TID.TSFlags & ARMII::FormMask;
1013 bool IsPrePost = (TID.TSFlags & ARMII::IndexModeMask) != 0;
Evan Cheng05c356e2008-11-08 01:44:13 +00001014
Evan Chengedda31c2008-11-05 18:35:52 +00001015 // Part of binary is determined by TableGn.
1016 unsigned Binary = getBinaryCodeForInstr(MI);
1017
Jim Grosbach33412622008-10-07 19:05:35 +00001018 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +00001019 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng057d0c32008-09-18 07:28:19 +00001020
Evan Cheng148cad82008-11-13 07:34:59 +00001021 unsigned OpIdx = 0;
1022
1023 // Operand 0 of a pre- and post-indexed store is the address base
1024 // writeback. Skip it.
1025 bool Skipped = false;
1026 if (IsPrePost && Form == ARMII::StMiscFrm) {
1027 ++OpIdx;
1028 Skipped = true;
1029 }
1030
Evan Cheng7602e112008-09-02 06:52:38 +00001031 // Set first operand
Evan Cheng148cad82008-11-13 07:34:59 +00001032 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
Evan Cheng7602e112008-09-02 06:52:38 +00001033
Evan Cheng358dec52009-06-15 08:28:29 +00001034 // Skip LDRD and STRD's second operand.
1035 if (TID.Opcode == ARM::LDRD || TID.Opcode == ARM::STRD)
1036 ++OpIdx;
1037
Evan Cheng7602e112008-09-02 06:52:38 +00001038 // Set second operand
Evan Cheng83b5cf02008-11-05 23:22:34 +00001039 if (ImplicitRn)
1040 // Special handling for implicit use (e.g. PC).
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +00001041 Binary |= (getARMRegisterNumbering(ImplicitRn) << ARMII::RegRnShift);
Evan Cheng4df60f52008-11-07 09:06:08 +00001042 else
1043 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Cheng7602e112008-09-02 06:52:38 +00001044
Evan Cheng05c356e2008-11-08 01:44:13 +00001045 // If this is a two-address operand, skip it. e.g. LDRH_POST.
Evan Cheng148cad82008-11-13 07:34:59 +00001046 if (!Skipped && TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
Evan Cheng05c356e2008-11-08 01:44:13 +00001047 ++OpIdx;
1048
Evan Cheng83b5cf02008-11-05 23:22:34 +00001049 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Chengd87293c2008-11-06 08:47:38 +00001050 unsigned AM3Opc = (ImplicitRn == ARM::PC)
Evan Cheng83b5cf02008-11-05 23:22:34 +00001051 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Cheng7602e112008-09-02 06:52:38 +00001052
Evan Chenge7de7e32008-09-13 01:44:01 +00001053 // Set bit U(23) according to sign of immed value (positive or negative)
Evan Cheng83b5cf02008-11-05 23:22:34 +00001054 Binary |= ((ARM_AM::getAM3Op(AM3Opc) == ARM_AM::add ? 1 : 0) <<
Evan Cheng7602e112008-09-02 06:52:38 +00001055 ARMII::U_BitShift);
1056
1057 // If this instr is in register offset/index encoding, set bit[3:0]
1058 // to the corresponding Rm register.
1059 if (MO2.getReg()) {
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +00001060 Binary |= getARMRegisterNumbering(MO2.getReg());
Evan Cheng83b5cf02008-11-05 23:22:34 +00001061 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +00001062 return;
Evan Cheng7602e112008-09-02 06:52:38 +00001063 }
1064
Evan Chengd87293c2008-11-06 08:47:38 +00001065 // This instr is in immediate offset/index encoding, set bit 22 to 1.
Evan Cheng97f48c32008-11-06 22:15:19 +00001066 Binary |= 1 << ARMII::AM3_I_BitShift;
Evan Cheng83b5cf02008-11-05 23:22:34 +00001067 if (unsigned ImmOffs = ARM_AM::getAM3Offset(AM3Opc)) {
Evan Cheng7602e112008-09-02 06:52:38 +00001068 // Set operands
Evan Cheng70632912008-11-12 07:34:37 +00001069 Binary |= (ImmOffs >> 4) << ARMII::ImmHiShift; // immedH
1070 Binary |= (ImmOffs & 0xF); // immedL
Evan Cheng7602e112008-09-02 06:52:38 +00001071 }
1072
Evan Cheng83b5cf02008-11-05 23:22:34 +00001073 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +00001074}
1075
Evan Chengcd8e66a2008-11-11 21:48:44 +00001076static unsigned getAddrModeUPBits(unsigned Mode) {
1077 unsigned Binary = 0;
Evan Cheng7602e112008-09-02 06:52:38 +00001078
1079 // Set addressing mode by modifying bits U(23) and P(24)
1080 // IA - Increment after - bit U = 1 and bit P = 0
1081 // IB - Increment before - bit U = 1 and bit P = 1
1082 // DA - Decrement after - bit U = 0 and bit P = 0
1083 // DB - Decrement before - bit U = 0 and bit P = 1
Evan Cheng7602e112008-09-02 06:52:38 +00001084 switch (Mode) {
Torok Edwinc23197a2009-07-14 16:55:14 +00001085 default: llvm_unreachable("Unknown addressing sub-mode!");
Evan Cheng10bf7342009-09-09 23:55:03 +00001086 case ARM_AM::da: break;
Evan Cheng97f48c32008-11-06 22:15:19 +00001087 case ARM_AM::db: Binary |= 0x1 << ARMII::P_BitShift; break;
1088 case ARM_AM::ia: Binary |= 0x1 << ARMII::U_BitShift; break;
1089 case ARM_AM::ib: Binary |= 0x3 << ARMII::U_BitShift; break;
Evan Cheng7602e112008-09-02 06:52:38 +00001090 }
1091
Evan Chengcd8e66a2008-11-11 21:48:44 +00001092 return Binary;
1093}
1094
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001095void ARMCodeEmitter::emitLoadStoreMultipleInstruction(const MachineInstr &MI) {
1096 const TargetInstrDesc &TID = MI.getDesc();
1097 bool IsUpdating = (TID.TSFlags & ARMII::IndexModeMask) != 0;
1098
Evan Chengcd8e66a2008-11-11 21:48:44 +00001099 // Part of binary is determined by TableGn.
1100 unsigned Binary = getBinaryCodeForInstr(MI);
1101
1102 // Set the conditional execution predicate
1103 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1104
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001105 // Skip operand 0 of an instruction with base register update.
1106 unsigned OpIdx = 0;
1107 if (IsUpdating)
1108 ++OpIdx;
1109
Evan Chengcd8e66a2008-11-11 21:48:44 +00001110 // Set base address operand
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001111 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Chengcd8e66a2008-11-11 21:48:44 +00001112
1113 // Set addressing mode by modifying bits U(23) and P(24)
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001114 const MachineOperand &MO = MI.getOperand(OpIdx++);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001115 Binary |= getAddrModeUPBits(ARM_AM::getAM4SubMode(MO.getImm()));
1116
Evan Cheng7602e112008-09-02 06:52:38 +00001117 // Set bit W(21)
Bob Wilsonab346052010-03-16 17:46:45 +00001118 if (IsUpdating)
Evan Cheng97f48c32008-11-06 22:15:19 +00001119 Binary |= 0x1 << ARMII::W_BitShift;
Evan Cheng7602e112008-09-02 06:52:38 +00001120
1121 // Set registers
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001122 for (unsigned i = OpIdx+2, e = MI.getNumOperands(); i != e; ++i) {
Evan Cheng7602e112008-09-02 06:52:38 +00001123 const MachineOperand &MO = MI.getOperand(i);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001124 if (!MO.isReg() || MO.isImplicit())
1125 break;
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +00001126 unsigned RegNum = getARMRegisterNumbering(MO.getReg());
Evan Cheng7602e112008-09-02 06:52:38 +00001127 assert(TargetRegisterInfo::isPhysicalRegister(MO.getReg()) &&
1128 RegNum < 16);
1129 Binary |= 0x1 << RegNum;
1130 }
1131
Evan Cheng83b5cf02008-11-05 23:22:34 +00001132 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +00001133}
1134
Chris Lattner33fabd72010-02-02 21:48:51 +00001135void ARMCodeEmitter::emitMulFrmInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +00001136 const TargetInstrDesc &TID = MI.getDesc();
1137
1138 // Part of binary is determined by TableGn.
1139 unsigned Binary = getBinaryCodeForInstr(MI);
1140
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +00001141 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +00001142 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +00001143
1144 // Encode S bit if MI modifies CPSR.
1145 Binary |= getAddrModeSBit(MI, TID);
1146
1147 // 32x32->64bit operations have two destination registers. The number
1148 // of register definitions will tell us if that's what we're dealing with.
Evan Cheng97f48c32008-11-06 22:15:19 +00001149 unsigned OpIdx = 0;
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +00001150 if (TID.getNumDefs() == 2)
1151 Binary |= getMachineOpValue (MI, OpIdx++) << ARMII::RegRdLoShift;
1152
1153 // Encode Rd
1154 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdHiShift;
1155
1156 // Encode Rm
1157 Binary |= getMachineOpValue(MI, OpIdx++);
1158
1159 // Encode Rs
1160 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRsShift;
1161
Evan Chengfbc9d412008-11-06 01:21:28 +00001162 // Many multiple instructions (e.g. MLA) have three src operands. Encode
1163 // it as Rn (for multiply, that's in the same offset as RdLo.
Evan Cheng97f48c32008-11-06 22:15:19 +00001164 if (TID.getNumOperands() > OpIdx &&
1165 !TID.OpInfo[OpIdx].isPredicate() &&
1166 !TID.OpInfo[OpIdx].isOptionalDef())
1167 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRdLoShift;
1168
1169 emitWordLE(Binary);
1170}
1171
Chris Lattner33fabd72010-02-02 21:48:51 +00001172void ARMCodeEmitter::emitExtendInstruction(const MachineInstr &MI) {
Evan Cheng97f48c32008-11-06 22:15:19 +00001173 const TargetInstrDesc &TID = MI.getDesc();
1174
1175 // Part of binary is determined by TableGn.
1176 unsigned Binary = getBinaryCodeForInstr(MI);
1177
1178 // Set the conditional execution predicate
1179 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1180
1181 unsigned OpIdx = 0;
1182
1183 // Encode Rd
1184 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
1185
1186 const MachineOperand &MO1 = MI.getOperand(OpIdx++);
1187 const MachineOperand &MO2 = MI.getOperand(OpIdx);
1188 if (MO2.isReg()) {
1189 // Two register operand form.
1190 // Encode Rn.
1191 Binary |= getMachineOpValue(MI, MO1) << ARMII::RegRnShift;
1192
1193 // Encode Rm.
1194 Binary |= getMachineOpValue(MI, MO2);
1195 ++OpIdx;
1196 } else {
1197 Binary |= getMachineOpValue(MI, MO1);
1198 }
1199
1200 // Encode rot imm (0, 8, 16, or 24) if it has a rotate immediate operand.
1201 if (MI.getOperand(OpIdx).isImm() &&
1202 !TID.OpInfo[OpIdx].isPredicate() &&
1203 !TID.OpInfo[OpIdx].isOptionalDef())
1204 Binary |= (getMachineOpValue(MI, OpIdx) / 8) << ARMII::ExtRotImmShift;
Evan Chengfbc9d412008-11-06 01:21:28 +00001205
Evan Cheng83b5cf02008-11-05 23:22:34 +00001206 emitWordLE(Binary);
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +00001207}
1208
Chris Lattner33fabd72010-02-02 21:48:51 +00001209void ARMCodeEmitter::emitMiscArithInstruction(const MachineInstr &MI) {
Evan Cheng8b59db32008-11-07 01:41:35 +00001210 const TargetInstrDesc &TID = MI.getDesc();
1211
1212 // Part of binary is determined by TableGn.
1213 unsigned Binary = getBinaryCodeForInstr(MI);
1214
1215 // Set the conditional execution predicate
1216 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1217
1218 unsigned OpIdx = 0;
1219
1220 // Encode Rd
1221 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
1222
1223 const MachineOperand &MO = MI.getOperand(OpIdx++);
1224 if (OpIdx == TID.getNumOperands() ||
1225 TID.OpInfo[OpIdx].isPredicate() ||
1226 TID.OpInfo[OpIdx].isOptionalDef()) {
1227 // Encode Rm and it's done.
1228 Binary |= getMachineOpValue(MI, MO);
1229 emitWordLE(Binary);
1230 return;
1231 }
1232
1233 // Encode Rn.
1234 Binary |= getMachineOpValue(MI, MO) << ARMII::RegRnShift;
1235
1236 // Encode Rm.
1237 Binary |= getMachineOpValue(MI, OpIdx++);
1238
1239 // Encode shift_imm.
1240 unsigned ShiftAmt = MI.getOperand(OpIdx).getImm();
Bob Wilsonf955f292010-08-17 17:23:19 +00001241 if (TID.Opcode == ARM::PKHTB) {
1242 assert(ShiftAmt != 0 && "PKHTB shift_imm is 0!");
1243 if (ShiftAmt == 32)
1244 ShiftAmt = 0;
1245 }
Evan Cheng8b59db32008-11-07 01:41:35 +00001246 assert(ShiftAmt < 32 && "shift_imm range is 0 to 31!");
1247 Binary |= ShiftAmt << ARMII::ShiftShift;
Jim Grosbach764ab522009-08-11 15:33:49 +00001248
Evan Cheng8b59db32008-11-07 01:41:35 +00001249 emitWordLE(Binary);
1250}
1251
Bob Wilson9a1c1892010-08-11 00:01:18 +00001252void ARMCodeEmitter::emitSaturateInstruction(const MachineInstr &MI) {
1253 const TargetInstrDesc &TID = MI.getDesc();
1254
1255 // Part of binary is determined by TableGen.
1256 unsigned Binary = getBinaryCodeForInstr(MI);
1257
1258 // Set the conditional execution predicate
1259 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1260
1261 // Encode Rd
1262 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
1263
1264 // Encode saturate bit position.
1265 unsigned Pos = MI.getOperand(1).getImm();
Bob Wilsoneaf1c982010-08-11 23:10:46 +00001266 if (TID.Opcode == ARM::SSAT || TID.Opcode == ARM::SSAT16)
Bob Wilson9a1c1892010-08-11 00:01:18 +00001267 Pos -= 1;
1268 assert((Pos < 16 || (Pos < 32 &&
1269 TID.Opcode != ARM::SSAT16 &&
1270 TID.Opcode != ARM::USAT16)) &&
1271 "saturate bit position out of range");
1272 Binary |= Pos << 16;
1273
1274 // Encode Rm
1275 Binary |= getMachineOpValue(MI, 2);
1276
1277 // Encode shift_imm.
1278 if (TID.getNumOperands() == 4) {
Bob Wilsoneaf1c982010-08-11 23:10:46 +00001279 unsigned ShiftOp = MI.getOperand(3).getImm();
1280 ARM_AM::ShiftOpc Opc = ARM_AM::getSORegShOp(ShiftOp);
1281 if (Opc == ARM_AM::asr)
1282 Binary |= (1 << 6);
Bob Wilson9a1c1892010-08-11 00:01:18 +00001283 unsigned ShiftAmt = MI.getOperand(3).getImm();
Bob Wilsoneaf1c982010-08-11 23:10:46 +00001284 if (ShiftAmt == 32 && Opc == ARM_AM::asr)
Bob Wilson9a1c1892010-08-11 00:01:18 +00001285 ShiftAmt = 0;
1286 assert(ShiftAmt < 32 && "shift_imm range is 0 to 31!");
1287 Binary |= ShiftAmt << ARMII::ShiftShift;
1288 }
1289
1290 emitWordLE(Binary);
1291}
1292
Chris Lattner33fabd72010-02-02 21:48:51 +00001293void ARMCodeEmitter::emitBranchInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +00001294 const TargetInstrDesc &TID = MI.getDesc();
1295
Torok Edwindac237e2009-07-08 20:53:28 +00001296 if (TID.Opcode == ARM::TPsoft) {
Torok Edwinc23197a2009-07-14 16:55:14 +00001297 llvm_unreachable("ARM::TPsoft FIXME"); // FIXME
Torok Edwindac237e2009-07-08 20:53:28 +00001298 }
Evan Cheng12c3a532008-11-06 17:48:05 +00001299
Evan Cheng7602e112008-09-02 06:52:38 +00001300 // Part of binary is determined by TableGn.
1301 unsigned Binary = getBinaryCodeForInstr(MI);
1302
Evan Chengedda31c2008-11-05 18:35:52 +00001303 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +00001304 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chengedda31c2008-11-05 18:35:52 +00001305
1306 // Set signed_immed_24 field
1307 Binary |= getMachineOpValue(MI, 0);
1308
Evan Cheng83b5cf02008-11-05 23:22:34 +00001309 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +00001310}
1311
Chris Lattner33fabd72010-02-02 21:48:51 +00001312void ARMCodeEmitter::emitInlineJumpTable(unsigned JTIndex) {
Evan Cheng4df60f52008-11-07 09:06:08 +00001313 // Remember the base address of the inline jump table.
Evan Cheng5788d1a2008-12-10 02:32:19 +00001314 uintptr_t JTBase = MCE.getCurrentPCValue();
Evan Cheng437c1732008-11-07 22:30:53 +00001315 JTI->addJumpTableBaseAddr(JTIndex, JTBase);
Chris Lattner893e1c92009-08-23 06:49:22 +00001316 DEBUG(errs() << " ** Jump Table #" << JTIndex << " @ " << (void*)JTBase
1317 << '\n');
Evan Cheng4df60f52008-11-07 09:06:08 +00001318
1319 // Now emit the jump table entries.
1320 const std::vector<MachineBasicBlock*> &MBBs = (*MJTEs)[JTIndex].MBBs;
1321 for (unsigned i = 0, e = MBBs.size(); i != e; ++i) {
1322 if (IsPIC)
1323 // DestBB address - JT base.
Evan Cheng437c1732008-11-07 22:30:53 +00001324 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_pic_jt, JTBase);
Evan Cheng4df60f52008-11-07 09:06:08 +00001325 else
1326 // Absolute DestBB address.
1327 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_absolute);
1328 emitWordLE(0);
1329 }
1330}
1331
Chris Lattner33fabd72010-02-02 21:48:51 +00001332void ARMCodeEmitter::emitMiscBranchInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +00001333 const TargetInstrDesc &TID = MI.getDesc();
Evan Chengedda31c2008-11-05 18:35:52 +00001334
Evan Cheng437c1732008-11-07 22:30:53 +00001335 // Handle jump tables.
Evan Cheng90daf4d2009-07-25 00:13:11 +00001336 if (TID.Opcode == ARM::BR_JTr || TID.Opcode == ARM::BR_JTadd) {
Evan Cheng437c1732008-11-07 22:30:53 +00001337 // First emit a ldr pc, [] instruction.
1338 emitDataProcessingInstruction(MI, ARM::PC);
1339
1340 // Then emit the inline jump table.
Evan Chengc9a41532009-07-08 00:05:05 +00001341 unsigned JTIndex =
Evan Cheng90daf4d2009-07-25 00:13:11 +00001342 (TID.Opcode == ARM::BR_JTr)
Evan Cheng437c1732008-11-07 22:30:53 +00001343 ? MI.getOperand(1).getIndex() : MI.getOperand(2).getIndex();
1344 emitInlineJumpTable(JTIndex);
1345 return;
Evan Cheng90daf4d2009-07-25 00:13:11 +00001346 } else if (TID.Opcode == ARM::BR_JTm) {
Evan Cheng4df60f52008-11-07 09:06:08 +00001347 // First emit a ldr pc, [] instruction.
1348 emitLoadStoreInstruction(MI, ARM::PC);
1349
1350 // Then emit the inline jump table.
Evan Cheng437c1732008-11-07 22:30:53 +00001351 emitInlineJumpTable(MI.getOperand(3).getIndex());
Evan Cheng4df60f52008-11-07 09:06:08 +00001352 return;
1353 }
1354
Evan Chengedda31c2008-11-05 18:35:52 +00001355 // Part of binary is determined by TableGn.
1356 unsigned Binary = getBinaryCodeForInstr(MI);
1357
1358 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +00001359 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chengedda31c2008-11-05 18:35:52 +00001360
Anton Korobeynikovce7bf1c2010-03-06 19:39:36 +00001361 if (TID.Opcode == ARM::BX_RET || TID.Opcode == ARM::MOVPCLR)
Evan Chengedda31c2008-11-05 18:35:52 +00001362 // The return register is LR.
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +00001363 Binary |= getARMRegisterNumbering(ARM::LR);
Jim Grosbach764ab522009-08-11 15:33:49 +00001364 else
Evan Chengedda31c2008-11-05 18:35:52 +00001365 // otherwise, set the return register
1366 Binary |= getMachineOpValue(MI, 0);
1367
Evan Cheng83b5cf02008-11-05 23:22:34 +00001368 emitWordLE(Binary);
Evan Cheng148b6a42007-07-05 21:15:40 +00001369}
Evan Cheng7602e112008-09-02 06:52:38 +00001370
Evan Cheng80a11982008-11-12 06:41:41 +00001371static unsigned encodeVFPRd(const MachineInstr &MI, unsigned OpIdx) {
Evan Chengd06d48d2008-11-12 02:19:38 +00001372 unsigned RegD = MI.getOperand(OpIdx).getReg();
Evan Cheng80a11982008-11-12 06:41:41 +00001373 unsigned Binary = 0;
Jim Grosbach7e2c04f2010-09-15 19:44:57 +00001374 bool isSPVFP = ARM::SPRRegisterClass->contains(RegD);
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +00001375 RegD = getARMRegisterNumbering(RegD);
Evan Chengd06d48d2008-11-12 02:19:38 +00001376 if (!isSPVFP)
1377 Binary |= RegD << ARMII::RegRdShift;
1378 else {
1379 Binary |= ((RegD & 0x1E) >> 1) << ARMII::RegRdShift;
1380 Binary |= (RegD & 0x01) << ARMII::D_BitShift;
1381 }
Evan Cheng80a11982008-11-12 06:41:41 +00001382 return Binary;
1383}
Evan Cheng78be83d2008-11-11 19:40:26 +00001384
Evan Cheng80a11982008-11-12 06:41:41 +00001385static unsigned encodeVFPRn(const MachineInstr &MI, unsigned OpIdx) {
Evan Chengd06d48d2008-11-12 02:19:38 +00001386 unsigned RegN = MI.getOperand(OpIdx).getReg();
Evan Cheng80a11982008-11-12 06:41:41 +00001387 unsigned Binary = 0;
Jim Grosbach7e2c04f2010-09-15 19:44:57 +00001388 bool isSPVFP = ARM::SPRRegisterClass->contains(RegN);
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +00001389 RegN = getARMRegisterNumbering(RegN);
Evan Chengd06d48d2008-11-12 02:19:38 +00001390 if (!isSPVFP)
1391 Binary |= RegN << ARMII::RegRnShift;
1392 else {
1393 Binary |= ((RegN & 0x1E) >> 1) << ARMII::RegRnShift;
1394 Binary |= (RegN & 0x01) << ARMII::N_BitShift;
1395 }
Evan Cheng80a11982008-11-12 06:41:41 +00001396 return Binary;
1397}
Evan Chengd06d48d2008-11-12 02:19:38 +00001398
Evan Cheng80a11982008-11-12 06:41:41 +00001399static unsigned encodeVFPRm(const MachineInstr &MI, unsigned OpIdx) {
1400 unsigned RegM = MI.getOperand(OpIdx).getReg();
1401 unsigned Binary = 0;
Jim Grosbach7e2c04f2010-09-15 19:44:57 +00001402 bool isSPVFP = ARM::SPRRegisterClass->contains(RegM);
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +00001403 RegM = getARMRegisterNumbering(RegM);
Evan Cheng80a11982008-11-12 06:41:41 +00001404 if (!isSPVFP)
1405 Binary |= RegM;
1406 else {
1407 Binary |= ((RegM & 0x1E) >> 1);
1408 Binary |= (RegM & 0x01) << ARMII::M_BitShift;
Evan Cheng78be83d2008-11-11 19:40:26 +00001409 }
Evan Cheng80a11982008-11-12 06:41:41 +00001410 return Binary;
1411}
1412
Chris Lattner33fabd72010-02-02 21:48:51 +00001413void ARMCodeEmitter::emitVFPArithInstruction(const MachineInstr &MI) {
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001414 const TargetInstrDesc &TID = MI.getDesc();
1415
1416 // Part of binary is determined by TableGn.
1417 unsigned Binary = getBinaryCodeForInstr(MI);
1418
1419 // Set the conditional execution predicate
1420 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1421
1422 unsigned OpIdx = 0;
1423 assert((Binary & ARMII::D_BitShift) == 0 &&
1424 (Binary & ARMII::N_BitShift) == 0 &&
1425 (Binary & ARMII::M_BitShift) == 0 && "VFP encoding bug!");
1426
1427 // Encode Dd / Sd.
1428 Binary |= encodeVFPRd(MI, OpIdx++);
1429
1430 // If this is a two-address operand, skip it, e.g. FMACD.
1431 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1432 ++OpIdx;
1433
1434 // Encode Dn / Sn.
1435 if ((TID.TSFlags & ARMII::FormMask) == ARMII::VFPBinaryFrm)
Evan Cheng3f4924e2008-11-12 08:14:21 +00001436 Binary |= encodeVFPRn(MI, OpIdx++);
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001437
1438 if (OpIdx == TID.getNumOperands() ||
1439 TID.OpInfo[OpIdx].isPredicate() ||
1440 TID.OpInfo[OpIdx].isOptionalDef()) {
1441 // FCMPEZD etc. has only one operand.
1442 emitWordLE(Binary);
1443 return;
1444 }
1445
1446 // Encode Dm / Sm.
1447 Binary |= encodeVFPRm(MI, OpIdx);
Jim Grosbach764ab522009-08-11 15:33:49 +00001448
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001449 emitWordLE(Binary);
1450}
1451
Bob Wilson87949d42010-03-17 21:16:45 +00001452void ARMCodeEmitter::emitVFPConversionInstruction(const MachineInstr &MI) {
Evan Cheng80a11982008-11-12 06:41:41 +00001453 const TargetInstrDesc &TID = MI.getDesc();
1454 unsigned Form = TID.TSFlags & ARMII::FormMask;
1455
1456 // Part of binary is determined by TableGn.
1457 unsigned Binary = getBinaryCodeForInstr(MI);
1458
1459 // Set the conditional execution predicate
1460 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1461
1462 switch (Form) {
1463 default: break;
1464 case ARMII::VFPConv1Frm:
1465 case ARMII::VFPConv2Frm:
1466 case ARMII::VFPConv3Frm:
1467 // Encode Dd / Sd.
1468 Binary |= encodeVFPRd(MI, 0);
1469 break;
1470 case ARMII::VFPConv4Frm:
1471 // Encode Dn / Sn.
1472 Binary |= encodeVFPRn(MI, 0);
1473 break;
1474 case ARMII::VFPConv5Frm:
1475 // Encode Dm / Sm.
1476 Binary |= encodeVFPRm(MI, 0);
1477 break;
1478 }
1479
1480 switch (Form) {
1481 default: break;
1482 case ARMII::VFPConv1Frm:
1483 // Encode Dm / Sm.
1484 Binary |= encodeVFPRm(MI, 1);
Evan Cheng67fd91f2008-11-13 07:46:59 +00001485 break;
Evan Cheng80a11982008-11-12 06:41:41 +00001486 case ARMII::VFPConv2Frm:
1487 case ARMII::VFPConv3Frm:
1488 // Encode Dn / Sn.
1489 Binary |= encodeVFPRn(MI, 1);
1490 break;
1491 case ARMII::VFPConv4Frm:
1492 case ARMII::VFPConv5Frm:
1493 // Encode Dd / Sd.
1494 Binary |= encodeVFPRd(MI, 1);
1495 break;
1496 }
1497
1498 if (Form == ARMII::VFPConv5Frm)
1499 // Encode Dn / Sn.
1500 Binary |= encodeVFPRn(MI, 2);
1501 else if (Form == ARMII::VFPConv3Frm)
1502 // Encode Dm / Sm.
1503 Binary |= encodeVFPRm(MI, 2);
Evan Cheng78be83d2008-11-11 19:40:26 +00001504
1505 emitWordLE(Binary);
1506}
1507
Chris Lattner33fabd72010-02-02 21:48:51 +00001508void ARMCodeEmitter::emitVFPLoadStoreInstruction(const MachineInstr &MI) {
Evan Chengcd8e66a2008-11-11 21:48:44 +00001509 // Part of binary is determined by TableGn.
1510 unsigned Binary = getBinaryCodeForInstr(MI);
1511
1512 // Set the conditional execution predicate
1513 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1514
1515 unsigned OpIdx = 0;
1516
1517 // Encode Dd / Sd.
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001518 Binary |= encodeVFPRd(MI, OpIdx++);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001519
1520 // Encode address base.
1521 const MachineOperand &Base = MI.getOperand(OpIdx++);
1522 Binary |= getMachineOpValue(MI, Base) << ARMII::RegRnShift;
1523
1524 // If there is a non-zero immediate offset, encode it.
1525 if (Base.isReg()) {
1526 const MachineOperand &Offset = MI.getOperand(OpIdx);
1527 if (unsigned ImmOffs = ARM_AM::getAM5Offset(Offset.getImm())) {
1528 if (ARM_AM::getAM5Op(Offset.getImm()) == ARM_AM::add)
1529 Binary |= 1 << ARMII::U_BitShift;
Evan Cheng607f1b42008-11-12 08:21:12 +00001530 Binary |= ImmOffs;
Evan Chengcd8e66a2008-11-11 21:48:44 +00001531 emitWordLE(Binary);
1532 return;
1533 }
1534 }
1535
1536 // If immediate offset is omitted, default to +0.
1537 Binary |= 1 << ARMII::U_BitShift;
1538
1539 emitWordLE(Binary);
1540}
1541
Bob Wilson87949d42010-03-17 21:16:45 +00001542void
1543ARMCodeEmitter::emitVFPLoadStoreMultipleInstruction(const MachineInstr &MI) {
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001544 const TargetInstrDesc &TID = MI.getDesc();
1545 bool IsUpdating = (TID.TSFlags & ARMII::IndexModeMask) != 0;
1546
Evan Chengcd8e66a2008-11-11 21:48:44 +00001547 // Part of binary is determined by TableGn.
1548 unsigned Binary = getBinaryCodeForInstr(MI);
1549
1550 // Set the conditional execution predicate
1551 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1552
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001553 // Skip operand 0 of an instruction with base register update.
1554 unsigned OpIdx = 0;
1555 if (IsUpdating)
1556 ++OpIdx;
1557
Evan Chengcd8e66a2008-11-11 21:48:44 +00001558 // Set base address operand
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001559 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Chengcd8e66a2008-11-11 21:48:44 +00001560
1561 // Set addressing mode by modifying bits U(23) and P(24)
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001562 const MachineOperand &MO = MI.getOperand(OpIdx++);
Bob Wilsond4bfd542010-08-27 23:18:17 +00001563 Binary |= getAddrModeUPBits(ARM_AM::getAM4SubMode(MO.getImm()));
Evan Chengcd8e66a2008-11-11 21:48:44 +00001564
1565 // Set bit W(21)
Bob Wilson2d357f62010-03-16 18:38:09 +00001566 if (IsUpdating)
Evan Chengcd8e66a2008-11-11 21:48:44 +00001567 Binary |= 0x1 << ARMII::W_BitShift;
1568
1569 // First register is encoded in Dd.
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001570 Binary |= encodeVFPRd(MI, OpIdx+2);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001571
Bob Wilsond4bfd542010-08-27 23:18:17 +00001572 // Count the number of registers.
Evan Chengcd8e66a2008-11-11 21:48:44 +00001573 unsigned NumRegs = 1;
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001574 for (unsigned i = OpIdx+3, e = MI.getNumOperands(); i != e; ++i) {
Evan Chengcd8e66a2008-11-11 21:48:44 +00001575 const MachineOperand &MO = MI.getOperand(i);
1576 if (!MO.isReg() || MO.isImplicit())
1577 break;
1578 ++NumRegs;
1579 }
Shih-wei Liao5170b712010-05-26 00:02:28 +00001580 // Bit 8 will be set if <list> is consecutive 64-bit registers (e.g., D0)
1581 // Otherwise, it will be 0, in the case of 32-bit registers.
1582 if(Binary & 0x100)
1583 Binary |= NumRegs * 2;
1584 else
1585 Binary |= NumRegs;
Evan Chengcd8e66a2008-11-11 21:48:44 +00001586
1587 emitWordLE(Binary);
1588}
1589
Bob Wilson1a913ed2010-06-11 21:34:50 +00001590static unsigned encodeNEONRd(const MachineInstr &MI, unsigned OpIdx) {
1591 unsigned RegD = MI.getOperand(OpIdx).getReg();
1592 unsigned Binary = 0;
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +00001593 RegD = getARMRegisterNumbering(RegD);
Bob Wilson1a913ed2010-06-11 21:34:50 +00001594 Binary |= (RegD & 0xf) << ARMII::RegRdShift;
1595 Binary |= ((RegD >> 4) & 1) << ARMII::D_BitShift;
1596 return Binary;
1597}
1598
Bob Wilson5e7b6072010-06-25 22:40:46 +00001599static unsigned encodeNEONRn(const MachineInstr &MI, unsigned OpIdx) {
1600 unsigned RegN = MI.getOperand(OpIdx).getReg();
1601 unsigned Binary = 0;
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +00001602 RegN = getARMRegisterNumbering(RegN);
Bob Wilson5e7b6072010-06-25 22:40:46 +00001603 Binary |= (RegN & 0xf) << ARMII::RegRnShift;
1604 Binary |= ((RegN >> 4) & 1) << ARMII::N_BitShift;
1605 return Binary;
1606}
1607
Bob Wilson583a2a02010-06-25 21:17:19 +00001608static unsigned encodeNEONRm(const MachineInstr &MI, unsigned OpIdx) {
1609 unsigned RegM = MI.getOperand(OpIdx).getReg();
1610 unsigned Binary = 0;
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +00001611 RegM = getARMRegisterNumbering(RegM);
Bob Wilson583a2a02010-06-25 21:17:19 +00001612 Binary |= (RegM & 0xf);
1613 Binary |= ((RegM >> 4) & 1) << ARMII::M_BitShift;
1614 return Binary;
1615}
1616
Bob Wilsond896a972010-06-28 21:12:19 +00001617/// convertNEONDataProcToThumb - Convert the ARM mode encoding for a NEON
1618/// data-processing instruction to the corresponding Thumb encoding.
1619static unsigned convertNEONDataProcToThumb(unsigned Binary) {
1620 assert((Binary & 0xfe000000) == 0xf2000000 &&
1621 "not an ARM NEON data-processing instruction");
1622 unsigned UBit = (Binary >> 24) & 1;
1623 return 0xef000000 | (UBit << 28) | (Binary & 0xffffff);
1624}
1625
Bob Wilsond5a563d2010-06-29 17:34:07 +00001626void ARMCodeEmitter::emitNEONLaneInstruction(const MachineInstr &MI) {
Bob Wilson52e4a0a2010-06-26 04:07:15 +00001627 unsigned Binary = getBinaryCodeForInstr(MI);
1628
Bob Wilsond5a563d2010-06-29 17:34:07 +00001629 unsigned RegTOpIdx, RegNOpIdx, LnOpIdx;
1630 const TargetInstrDesc &TID = MI.getDesc();
1631 if ((TID.TSFlags & ARMII::FormMask) == ARMII::NGetLnFrm) {
1632 RegTOpIdx = 0;
1633 RegNOpIdx = 1;
1634 LnOpIdx = 2;
1635 } else { // ARMII::NSetLnFrm
1636 RegTOpIdx = 2;
1637 RegNOpIdx = 0;
1638 LnOpIdx = 3;
1639 }
1640
Bob Wilson52e4a0a2010-06-26 04:07:15 +00001641 // Set the conditional execution predicate
Bob Wilson5cdede42010-06-29 00:26:13 +00001642 Binary |= (IsThumb ? ARMCC::AL : II->getPredicate(&MI)) << ARMII::CondShift;
Bob Wilson52e4a0a2010-06-26 04:07:15 +00001643
Bob Wilsond5a563d2010-06-29 17:34:07 +00001644 unsigned RegT = MI.getOperand(RegTOpIdx).getReg();
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +00001645 RegT = getARMRegisterNumbering(RegT);
Bob Wilson52e4a0a2010-06-26 04:07:15 +00001646 Binary |= (RegT << ARMII::RegRdShift);
Bob Wilsond5a563d2010-06-29 17:34:07 +00001647 Binary |= encodeNEONRn(MI, RegNOpIdx);
Bob Wilson52e4a0a2010-06-26 04:07:15 +00001648
1649 unsigned LaneShift;
1650 if ((Binary & (1 << 22)) != 0)
1651 LaneShift = 0; // 8-bit elements
1652 else if ((Binary & (1 << 5)) != 0)
1653 LaneShift = 1; // 16-bit elements
1654 else
1655 LaneShift = 2; // 32-bit elements
1656
Bob Wilsond5a563d2010-06-29 17:34:07 +00001657 unsigned Lane = MI.getOperand(LnOpIdx).getImm() << LaneShift;
Bob Wilson52e4a0a2010-06-26 04:07:15 +00001658 unsigned Opc1 = Lane >> 2;
1659 unsigned Opc2 = Lane & 3;
1660 assert((Opc1 & 3) == 0 && "out-of-range lane number operand");
1661 Binary |= (Opc1 << 21);
1662 Binary |= (Opc2 << 5);
1663
1664 emitWordLE(Binary);
1665}
1666
Bob Wilson21773e72010-06-29 20:13:29 +00001667void ARMCodeEmitter::emitNEONDupInstruction(const MachineInstr &MI) {
1668 unsigned Binary = getBinaryCodeForInstr(MI);
1669
1670 // Set the conditional execution predicate
1671 Binary |= (IsThumb ? ARMCC::AL : II->getPredicate(&MI)) << ARMII::CondShift;
1672
1673 unsigned RegT = MI.getOperand(1).getReg();
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +00001674 RegT = getARMRegisterNumbering(RegT);
Bob Wilson21773e72010-06-29 20:13:29 +00001675 Binary |= (RegT << ARMII::RegRdShift);
1676 Binary |= encodeNEONRn(MI, 0);
1677 emitWordLE(Binary);
1678}
1679
Bob Wilson583a2a02010-06-25 21:17:19 +00001680void ARMCodeEmitter::emitNEON1RegModImmInstruction(const MachineInstr &MI) {
Bob Wilson1a913ed2010-06-11 21:34:50 +00001681 unsigned Binary = getBinaryCodeForInstr(MI);
1682 // Destination register is encoded in Dd.
1683 Binary |= encodeNEONRd(MI, 0);
1684 // Immediate fields: Op, Cmode, I, Imm3, Imm4
1685 unsigned Imm = MI.getOperand(1).getImm();
1686 unsigned Op = (Imm >> 12) & 1;
Bob Wilson1a913ed2010-06-11 21:34:50 +00001687 unsigned Cmode = (Imm >> 8) & 0xf;
Bob Wilson1a913ed2010-06-11 21:34:50 +00001688 unsigned I = (Imm >> 7) & 1;
Bob Wilson1a913ed2010-06-11 21:34:50 +00001689 unsigned Imm3 = (Imm >> 4) & 0x7;
Bob Wilson1a913ed2010-06-11 21:34:50 +00001690 unsigned Imm4 = Imm & 0xf;
Bob Wilson08baddb2010-06-28 21:16:30 +00001691 Binary |= (I << 24) | (Imm3 << 16) | (Cmode << 8) | (Op << 5) | Imm4;
Bob Wilson62d24a42010-06-28 22:23:17 +00001692 if (IsThumb)
Bob Wilsond896a972010-06-28 21:12:19 +00001693 Binary = convertNEONDataProcToThumb(Binary);
Bob Wilson1a913ed2010-06-11 21:34:50 +00001694 emitWordLE(Binary);
1695}
1696
Bob Wilson583a2a02010-06-25 21:17:19 +00001697void ARMCodeEmitter::emitNEON2RegInstruction(const MachineInstr &MI) {
Bob Wilson5e7b6072010-06-25 22:40:46 +00001698 const TargetInstrDesc &TID = MI.getDesc();
Bob Wilson583a2a02010-06-25 21:17:19 +00001699 unsigned Binary = getBinaryCodeForInstr(MI);
Bob Wilson5e7b6072010-06-25 22:40:46 +00001700 // Destination register is encoded in Dd; source register in Dm.
1701 unsigned OpIdx = 0;
1702 Binary |= encodeNEONRd(MI, OpIdx++);
1703 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1704 ++OpIdx;
1705 Binary |= encodeNEONRm(MI, OpIdx);
Bob Wilson62d24a42010-06-28 22:23:17 +00001706 if (IsThumb)
Bob Wilsond896a972010-06-28 21:12:19 +00001707 Binary = convertNEONDataProcToThumb(Binary);
Bob Wilson583a2a02010-06-25 21:17:19 +00001708 // FIXME: This does not handle VDUPfdf or VDUPfqf.
1709 emitWordLE(Binary);
1710}
1711
Bob Wilson5e7b6072010-06-25 22:40:46 +00001712void ARMCodeEmitter::emitNEON3RegInstruction(const MachineInstr &MI) {
1713 const TargetInstrDesc &TID = MI.getDesc();
1714 unsigned Binary = getBinaryCodeForInstr(MI);
1715 // Destination register is encoded in Dd; source registers in Dn and Dm.
1716 unsigned OpIdx = 0;
1717 Binary |= encodeNEONRd(MI, OpIdx++);
1718 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1719 ++OpIdx;
1720 Binary |= encodeNEONRn(MI, OpIdx++);
1721 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1722 ++OpIdx;
1723 Binary |= encodeNEONRm(MI, OpIdx);
Bob Wilson62d24a42010-06-28 22:23:17 +00001724 if (IsThumb)
Bob Wilsond896a972010-06-28 21:12:19 +00001725 Binary = convertNEONDataProcToThumb(Binary);
Bob Wilson5e7b6072010-06-25 22:40:46 +00001726 // FIXME: This does not handle VMOVDneon or VMOVQ.
1727 emitWordLE(Binary);
1728}
1729
Evan Cheng7602e112008-09-02 06:52:38 +00001730#include "ARMGenCodeEmitter.inc"