blob: ee97b37764a53b703327f6187ba709911ee30819 [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);
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000104 unsigned getAddrModeSBit(const MachineInstr &MI,
105 const TargetInstrDesc &TID) const;
Evan Cheng49a9f292008-09-12 22:45:55 +0000106
Evan Cheng83b5cf02008-11-05 23:22:34 +0000107 void emitDataProcessingInstruction(const MachineInstr &MI,
Evan Cheng437c1732008-11-07 22:30:53 +0000108 unsigned ImplicitRd = 0,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000109 unsigned ImplicitRn = 0);
Evan Cheng7602e112008-09-02 06:52:38 +0000110
Evan Cheng83b5cf02008-11-05 23:22:34 +0000111 void emitLoadStoreInstruction(const MachineInstr &MI,
Evan Cheng4df60f52008-11-07 09:06:08 +0000112 unsigned ImplicitRd = 0,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000113 unsigned ImplicitRn = 0);
Evan Chengedda31c2008-11-05 18:35:52 +0000114
Evan Cheng83b5cf02008-11-05 23:22:34 +0000115 void emitMiscLoadStoreInstruction(const MachineInstr &MI,
116 unsigned ImplicitRn = 0);
Evan Chengedda31c2008-11-05 18:35:52 +0000117
118 void emitLoadStoreMultipleInstruction(const MachineInstr &MI);
119
Evan Chengfbc9d412008-11-06 01:21:28 +0000120 void emitMulFrmInstruction(const MachineInstr &MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000121
Evan Cheng97f48c32008-11-06 22:15:19 +0000122 void emitExtendInstruction(const MachineInstr &MI);
123
Evan Cheng8b59db32008-11-07 01:41:35 +0000124 void emitMiscArithInstruction(const MachineInstr &MI);
125
Bob Wilson9a1c1892010-08-11 00:01:18 +0000126 void emitSaturateInstruction(const MachineInstr &MI);
127
Evan Chengedda31c2008-11-05 18:35:52 +0000128 void emitBranchInstruction(const MachineInstr &MI);
129
Evan Cheng437c1732008-11-07 22:30:53 +0000130 void emitInlineJumpTable(unsigned JTIndex);
Evan Cheng4df60f52008-11-07 09:06:08 +0000131
Evan Chengedda31c2008-11-05 18:35:52 +0000132 void emitMiscBranchInstruction(const MachineInstr &MI);
Evan Cheng7602e112008-09-02 06:52:38 +0000133
Evan Cheng96581d32008-11-11 02:11:05 +0000134 void emitVFPArithInstruction(const MachineInstr &MI);
135
Evan Cheng78be83d2008-11-11 19:40:26 +0000136 void emitVFPConversionInstruction(const MachineInstr &MI);
137
Evan Chengcd8e66a2008-11-11 21:48:44 +0000138 void emitVFPLoadStoreInstruction(const MachineInstr &MI);
139
140 void emitVFPLoadStoreMultipleInstruction(const MachineInstr &MI);
141
Bob Wilsond5a563d2010-06-29 17:34:07 +0000142 void emitNEONLaneInstruction(const MachineInstr &MI);
Bob Wilson21773e72010-06-29 20:13:29 +0000143 void emitNEONDupInstruction(const MachineInstr &MI);
Bob Wilson583a2a02010-06-25 21:17:19 +0000144 void emitNEON1RegModImmInstruction(const MachineInstr &MI);
145 void emitNEON2RegInstruction(const MachineInstr &MI);
Bob Wilson5e7b6072010-06-25 22:40:46 +0000146 void emitNEON3RegInstruction(const MachineInstr &MI);
Bob Wilson1a913ed2010-06-11 21:34:50 +0000147
Evan Cheng7602e112008-09-02 06:52:38 +0000148 /// getMachineOpValue - Return binary encoding of operand. If the machine
149 /// operand requires relocation, record the relocation and return zero.
Jim Grosbach3e094132010-10-08 17:45:54 +0000150 unsigned getMachineOpValue(const MachineInstr &MI,
151 const MachineOperand &MO) const;
152 unsigned getMachineOpValue(const MachineInstr &MI, unsigned OpIdx) const {
Evan Cheng7602e112008-09-02 06:52:38 +0000153 return getMachineOpValue(MI, MI.getOperand(OpIdx));
154 }
Evan Cheng7602e112008-09-02 06:52:38 +0000155
Jim Grosbach08bd5492010-10-12 23:00:24 +0000156 // FIXME: The legacy JIT ARMCodeEmitter doesn't rely on the the
157 // TableGen'erated getBinaryCodeForInstr() function to encode any
158 // operand values, instead querying getMachineOpValue() directly for
159 // each operand it needs to encode. Thus, any of the new encoder
160 // helper functions can simply return 0 as the values the return
161 // are already handled elsewhere. They are placeholders to allow this
162 // encoder to continue to function until the MC encoder is sufficiently
163 // far along that this one can be eliminated entirely.
Owen Andersonc7139a62010-11-11 19:07:48 +0000164 unsigned NEONThumb2DataIPostEncoder(const MachineInstr &MI, unsigned Val)
165 const { return 0; }
Owen Anderson57dac882010-11-11 21:36:43 +0000166 unsigned NEONThumb2LoadStorePostEncoder(const MachineInstr &MI,unsigned Val)
167 const { return 0; }
Owen Anderson8f143912010-11-11 23:12:55 +0000168 unsigned NEONThumb2DupPostEncoder(const MachineInstr &MI,unsigned Val)
169 const { return 0; }
Jim Grosbachc466b932010-11-11 18:04:49 +0000170 unsigned getBranchTargetOpValue(const MachineInstr &MI, unsigned Op)
171 const { return 0; }
Jim Grosbach08bd5492010-10-12 23:00:24 +0000172 unsigned getCCOutOpValue(const MachineInstr &MI, unsigned Op)
173 const { return 0; }
Jim Grosbach2a6a93d2010-10-12 23:18:08 +0000174 unsigned getSOImmOpValue(const MachineInstr &MI, unsigned Op)
175 const { return 0; }
Owen Anderson5de6d842010-11-12 21:12:40 +0000176 unsigned getT2SOImmOpValue(const MachineInstr &MI, unsigned Op)
177 const { return 0; }
Jim Grosbachef324d72010-10-12 23:53:58 +0000178 unsigned getSORegOpValue(const MachineInstr &MI, unsigned Op)
179 const { return 0; }
Owen Anderson75579f72010-11-29 22:44:32 +0000180 unsigned getT2AddrModeImm12OpValue(const MachineInstr &MI, unsigned Op)
181 const { return 0; }
182 unsigned getT2AddrModeImm8OpValue(const MachineInstr &MI, unsigned Op)
183 const { return 0; }
Owen Anderson6af50f72010-11-30 00:14:31 +0000184 unsigned getT2AddrModeImm8OffsetOpValue(const MachineInstr &MI, unsigned Op)
185 const { return 0; }
Owen Anderson0e1bcdf2010-11-30 19:19:31 +0000186 unsigned getT2AddrModeImm12OffsetOpValue(const MachineInstr &MI,unsigned Op)
187 const { return 0; }
Owen Anderson75579f72010-11-29 22:44:32 +0000188 unsigned getT2AddrModeSORegOpValue(const MachineInstr &MI, unsigned Op)
189 const { return 0; }
Owen Anderson5de6d842010-11-12 21:12:40 +0000190 unsigned getT2SORegOpValue(const MachineInstr &MI, unsigned Op)
191 const { return 0; }
Jim Grosbachb35ad412010-10-13 19:56:10 +0000192 unsigned getRotImmOpValue(const MachineInstr &MI, unsigned Op)
193 const { return 0; }
Jim Grosbach8abe32a2010-10-15 17:15:16 +0000194 unsigned getImmMinusOneOpValue(const MachineInstr &MI, unsigned Op)
195 const { return 0; }
Owen Andersona2b50b32010-11-02 22:28:01 +0000196 unsigned getAddrMode6AddressOpValue(const MachineInstr &MI, unsigned Op)
Owen Andersond9aa7d32010-11-02 00:05:05 +0000197 const { return 0; }
Bob Wilson8e0c7b52010-11-30 00:00:42 +0000198 unsigned getAddrMode6DupAddressOpValue(const MachineInstr &MI, unsigned Op)
199 const { return 0; }
Owen Andersona2b50b32010-11-02 22:28:01 +0000200 unsigned getAddrMode6OffsetOpValue(const MachineInstr &MI, unsigned Op)
Owen Andersoncf667be2010-11-02 01:24:55 +0000201 const { return 0; }
Jim Grosbach3fea191052010-10-21 22:03:21 +0000202 unsigned getBitfieldInvertedMaskOpValue(const MachineInstr &MI,
203 unsigned Op) const { return 0; }
Jim Grosbach5d5eb9e2010-11-10 23:38:36 +0000204 uint32_t getLdStmModeOpValue(const MachineInstr &MI, unsigned OpIdx)
205 const {return 0; }
Jim Grosbach54fea632010-11-09 17:20:53 +0000206 uint32_t getLdStSORegOpValue(const MachineInstr &MI, unsigned OpIdx)
207 const { return 0; }
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000208
209 unsigned getAddrModeImm12OpValue(const MachineInstr &MI, unsigned Op)
210 const {
211 // {17-13} = reg
212 // {12} = (U)nsigned (add == '1', sub == '0')
213 // {11-0} = imm12
Bill Wendling5df0e0a2010-11-02 22:31:46 +0000214 const MachineOperand &MO = MI.getOperand(Op);
215 const MachineOperand &MO1 = MI.getOperand(Op + 1);
216 if (!MO.isReg()) {
217 emitConstPoolAddress(MO.getIndex(), ARM::reloc_arm_cp_entry);
218 return 0;
Jim Grosbachf31430f2010-10-27 19:55:59 +0000219 }
Bill Wendling5df0e0a2010-11-02 22:31:46 +0000220 unsigned Reg = getARMRegisterNumbering(MO.getReg());
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000221 int32_t Imm12 = MO1.getImm();
Bill Wendling5df0e0a2010-11-02 22:31:46 +0000222 uint32_t Binary;
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000223 Binary = Imm12 & 0xfff;
224 if (Imm12 >= 0)
225 Binary |= (1 << 12);
226 Binary |= (Reg << 13);
227 return Binary;
228 }
Jason W Kim837caa92010-11-18 23:37:15 +0000229
230 unsigned getMovtImmOpValue(const MachineInstr &MI, unsigned Op) const {
231 return 0;
232 }
233
Jim Grosbach99f53d12010-11-15 20:47:07 +0000234 uint32_t getAddrMode2OpValue(const MachineInstr &MI, unsigned OpIdx)
235 const { return 0;}
236 uint32_t getAddrMode2OffsetOpValue(const MachineInstr &MI, unsigned OpIdx)
237 const { return 0;}
Jim Grosbach7eab97f2010-11-11 16:55:29 +0000238 uint32_t getAddrMode3OffsetOpValue(const MachineInstr &MI, unsigned OpIdx)
239 const { return 0;}
Bill Wendlingef4a68b2010-11-30 07:44:32 +0000240 uint32_t getAddrMode3OpValue(const MachineInstr &MI, unsigned Op)
241 const { return 0; }
242 uint32_t getAddrModeS4OpValue(const MachineInstr &MI, unsigned Op)
243 const { return 0; }
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000244 uint32_t getAddrMode5OpValue(const MachineInstr &MI, unsigned Op) const {
Bill Wendling20272a72010-11-20 00:26:37 +0000245 // {17-13} = reg
246 // {12} = (U)nsigned (add == '1', sub == '0')
247 // {11-0} = imm12
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000248 const MachineOperand &MO = MI.getOperand(Op);
249 const MachineOperand &MO1 = MI.getOperand(Op + 1);
250 if (!MO.isReg()) {
251 emitConstPoolAddress(MO.getIndex(), ARM::reloc_arm_cp_entry);
252 return 0;
253 }
254 unsigned Reg = getARMRegisterNumbering(MO.getReg());
Bill Wendling20272a72010-11-20 00:26:37 +0000255 int32_t Imm12 = MO1.getImm();
256
257 // Special value for #-0
258 if (Imm12 == INT32_MIN)
259 Imm12 = 0;
260
261 // Immediate is always encoded as positive. The 'U' bit controls add vs
262 // sub.
263 bool isAdd = true;
264 if (Imm12 < 0) {
265 Imm12 = -Imm12;
266 isAdd = false;
267 }
268
269 uint32_t Binary = Imm12 & 0xfff;
270 if (isAdd)
271 Binary |= (1 << 12);
272 Binary |= (Reg << 13);
Bill Wendling5df0e0a2010-11-02 22:31:46 +0000273 return Binary;
274 }
Jim Grosbachc4bc2112010-10-29 23:21:57 +0000275 unsigned getNEONVcvtImm32OpValue(const MachineInstr &MI, unsigned Op)
276 const { return 0; }
Jim Grosbach08bd5492010-10-12 23:00:24 +0000277
Jim Grosbach6b5252d2010-10-30 00:37:59 +0000278 unsigned getRegisterListOpValue(const MachineInstr &MI, unsigned Op)
279 const { return 0; }
280
Shih-wei Liao5170b712010-05-26 00:02:28 +0000281 /// getMovi32Value - Return binary encoding of operand for movw/movt. If the
Jim Grosbach18f30e62010-06-02 21:53:11 +0000282 /// machine operand requires relocation, record the relocation and return
283 /// zero.
Shih-wei Liao5170b712010-05-26 00:02:28 +0000284 unsigned getMovi32Value(const MachineInstr &MI,const MachineOperand &MO,
Zonr Changf86399b2010-05-25 08:42:45 +0000285 unsigned Reloc);
Zonr Changf86399b2010-05-25 08:42:45 +0000286
Evan Cheng83b5cf02008-11-05 23:22:34 +0000287 /// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
Evan Cheng7602e112008-09-02 06:52:38 +0000288 ///
Evan Cheng83b5cf02008-11-05 23:22:34 +0000289 unsigned getShiftOp(unsigned Imm) const ;
Evan Cheng7602e112008-09-02 06:52:38 +0000290
291 /// Routines that handle operands which add machine relocations which are
Evan Cheng437c1732008-11-07 22:30:53 +0000292 /// fixed up by the relocation stage.
Dan Gohman46510a72010-04-15 01:51:59 +0000293 void emitGlobalAddress(const GlobalValue *GV, unsigned Reloc,
Jeffrey Yasskin2d274412009-11-07 08:51:52 +0000294 bool MayNeedFarStub, bool Indirect,
Jim Grosbach3e094132010-10-08 17:45:54 +0000295 intptr_t ACPV = 0) const;
296 void emitExternalSymbolAddress(const char *ES, unsigned Reloc) const;
297 void emitConstPoolAddress(unsigned CPI, unsigned Reloc) const;
298 void emitJumpTableAddress(unsigned JTIndex, unsigned Reloc) const;
Evan Cheng437c1732008-11-07 22:30:53 +0000299 void emitMachineBasicBlock(MachineBasicBlock *BB, unsigned Reloc,
Jim Grosbach3e094132010-10-08 17:45:54 +0000300 intptr_t JTBase = 0) const;
Evan Cheng148b6a42007-07-05 21:15:40 +0000301 };
Evan Cheng148b6a42007-07-05 21:15:40 +0000302}
303
Chris Lattner33fabd72010-02-02 21:48:51 +0000304char ARMCodeEmitter::ID = 0;
305
Bob Wilson87949d42010-03-17 21:16:45 +0000306/// createARMJITCodeEmitterPass - Return a pass that emits the collected ARM
Chris Lattnere0faa542010-02-02 21:38:59 +0000307/// code to the specified MCE object.
Bruno Cardoso Lopesac57e6e2009-07-06 05:09:34 +0000308FunctionPass *llvm::createARMJITCodeEmitterPass(ARMBaseTargetMachine &TM,
309 JITCodeEmitter &JCE) {
Chris Lattner33fabd72010-02-02 21:48:51 +0000310 return new ARMCodeEmitter(TM, JCE);
Evan Cheng148b6a42007-07-05 21:15:40 +0000311}
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000312
Chris Lattner33fabd72010-02-02 21:48:51 +0000313bool ARMCodeEmitter::runOnMachineFunction(MachineFunction &MF) {
Evan Cheng148b6a42007-07-05 21:15:40 +0000314 assert((MF.getTarget().getRelocationModel() != Reloc::Default ||
315 MF.getTarget().getRelocationModel() != Reloc::Static) &&
316 "JIT relocation model must be set to static or default!");
Dan Gohman3fb150a2010-04-17 17:42:52 +0000317 JTI = ((ARMTargetMachine &)MF.getTarget()).getJITInfo();
318 II = ((const ARMTargetMachine &)MF.getTarget()).getInstrInfo();
319 TD = ((const ARMTargetMachine &)MF.getTarget()).getTargetData();
Evan Cheng08669742009-09-10 01:23:53 +0000320 Subtarget = &TM.getSubtarget<ARMSubtarget>();
Evan Cheng938b9d82008-10-31 19:55:13 +0000321 MCPEs = &MF.getConstantPool()->getConstants();
Chris Lattnerb1e80392010-01-25 23:22:00 +0000322 MJTEs = 0;
323 if (MF.getJumpTableInfo()) MJTEs = &MF.getJumpTableInfo()->getJumpTables();
Evan Cheng4df60f52008-11-07 09:06:08 +0000324 IsPIC = TM.getRelocationModel() == Reloc::PIC_;
Bob Wilson62d24a42010-06-28 22:23:17 +0000325 IsThumb = MF.getInfo<ARMFunctionInfo>()->isThumbFunction();
Evan Cheng3cc82232008-11-08 07:38:22 +0000326 JTI->Initialize(MF, IsPIC);
Chris Lattner16112732010-03-14 01:41:15 +0000327 MMI = &getAnalysis<MachineModuleInfo>();
328 MCE.setModuleInfo(MMI);
Evan Cheng148b6a42007-07-05 21:15:40 +0000329
330 do {
Jim Grosbach764ab522009-08-11 15:33:49 +0000331 DEBUG(errs() << "JITTing function '"
Daniel Dunbarce63ffb2009-07-25 00:23:56 +0000332 << MF.getFunction()->getName() << "'\n");
Evan Cheng148b6a42007-07-05 21:15:40 +0000333 MCE.startFunction(MF);
Jim Grosbach764ab522009-08-11 15:33:49 +0000334 for (MachineFunction::iterator MBB = MF.begin(), E = MF.end();
Evan Cheng148b6a42007-07-05 21:15:40 +0000335 MBB != E; ++MBB) {
336 MCE.StartMachineBasicBlock(MBB);
337 for (MachineBasicBlock::const_iterator I = MBB->begin(), E = MBB->end();
338 I != E; ++I)
339 emitInstruction(*I);
340 }
341 } while (MCE.finishFunction(MF));
342
343 return false;
344}
345
Evan Cheng83b5cf02008-11-05 23:22:34 +0000346/// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
Evan Cheng7602e112008-09-02 06:52:38 +0000347///
Chris Lattner33fabd72010-02-02 21:48:51 +0000348unsigned ARMCodeEmitter::getShiftOp(unsigned Imm) const {
Evan Cheng83b5cf02008-11-05 23:22:34 +0000349 switch (ARM_AM::getAM2ShiftOpc(Imm)) {
Torok Edwinc23197a2009-07-14 16:55:14 +0000350 default: llvm_unreachable("Unknown shift opc!");
Evan Cheng7602e112008-09-02 06:52:38 +0000351 case ARM_AM::asr: return 2;
352 case ARM_AM::lsl: return 0;
353 case ARM_AM::lsr: return 1;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000354 case ARM_AM::ror:
Evan Cheng7602e112008-09-02 06:52:38 +0000355 case ARM_AM::rrx: return 3;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000356 }
Evan Cheng7602e112008-09-02 06:52:38 +0000357 return 0;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000358}
359
Shih-wei Liao5170b712010-05-26 00:02:28 +0000360/// getMovi32Value - Return binary encoding of operand for movw/movt. If the
Zonr Changf86399b2010-05-25 08:42:45 +0000361/// machine operand requires relocation, record the relocation and return zero.
362unsigned ARMCodeEmitter::getMovi32Value(const MachineInstr &MI,
Shih-wei Liao5170b712010-05-26 00:02:28 +0000363 const MachineOperand &MO,
Zonr Changf86399b2010-05-25 08:42:45 +0000364 unsigned Reloc) {
Shih-wei Liao5170b712010-05-26 00:02:28 +0000365 assert(((Reloc == ARM::reloc_arm_movt) || (Reloc == ARM::reloc_arm_movw))
Zonr Changf86399b2010-05-25 08:42:45 +0000366 && "Relocation to this function should be for movt or movw");
367
368 if (MO.isImm())
369 return static_cast<unsigned>(MO.getImm());
370 else if (MO.isGlobal())
371 emitGlobalAddress(MO.getGlobal(), Reloc, true, false);
372 else if (MO.isSymbol())
373 emitExternalSymbolAddress(MO.getSymbolName(), Reloc);
374 else if (MO.isMBB())
375 emitMachineBasicBlock(MO.getMBB(), Reloc);
376 else {
377#ifndef NDEBUG
378 errs() << MO;
379#endif
380 llvm_unreachable("Unsupported operand type for movw/movt");
381 }
382 return 0;
383}
384
Evan Cheng7602e112008-09-02 06:52:38 +0000385/// getMachineOpValue - Return binary encoding of operand. If the machine
386/// operand requires relocation, record the relocation and return zero.
Chris Lattner33fabd72010-02-02 21:48:51 +0000387unsigned ARMCodeEmitter::getMachineOpValue(const MachineInstr &MI,
Jim Grosbach3e094132010-10-08 17:45:54 +0000388 const MachineOperand &MO) const {
Dan Gohmand735b802008-10-03 15:45:36 +0000389 if (MO.isReg())
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +0000390 return getARMRegisterNumbering(MO.getReg());
Dan Gohmand735b802008-10-03 15:45:36 +0000391 else if (MO.isImm())
Evan Cheng7602e112008-09-02 06:52:38 +0000392 return static_cast<unsigned>(MO.getImm());
Dan Gohmand735b802008-10-03 15:45:36 +0000393 else if (MO.isGlobal())
Evan Cheng08669742009-09-10 01:23:53 +0000394 emitGlobalAddress(MO.getGlobal(), ARM::reloc_arm_branch, true, false);
Dan Gohmand735b802008-10-03 15:45:36 +0000395 else if (MO.isSymbol())
Evan Cheng10332512008-11-08 07:22:33 +0000396 emitExternalSymbolAddress(MO.getSymbolName(), ARM::reloc_arm_branch);
Evan Cheng580c0df2008-11-12 01:02:24 +0000397 else if (MO.isCPI()) {
398 const TargetInstrDesc &TID = MI.getDesc();
399 // For VFP load, the immediate offset is multiplied by 4.
400 unsigned Reloc = ((TID.TSFlags & ARMII::FormMask) == ARMII::VFPLdStFrm)
401 ? ARM::reloc_arm_vfp_cp_entry : ARM::reloc_arm_cp_entry;
402 emitConstPoolAddress(MO.getIndex(), Reloc);
403 } else if (MO.isJTI())
Chris Lattner8aa797a2007-12-30 23:10:15 +0000404 emitJumpTableAddress(MO.getIndex(), ARM::reloc_arm_relative);
Dan Gohmand735b802008-10-03 15:45:36 +0000405 else if (MO.isMBB())
Evan Cheng4df60f52008-11-07 09:06:08 +0000406 emitMachineBasicBlock(MO.getMBB(), ARM::reloc_arm_branch);
Jim Grosbach817c1a62010-11-19 00:27:09 +0000407 else
408 llvm_unreachable("Unable to encode MachineOperand!");
Evan Cheng7602e112008-09-02 06:52:38 +0000409 return 0;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000410}
411
Evan Cheng057d0c32008-09-18 07:28:19 +0000412/// emitGlobalAddress - Emit the specified address to the code stream.
Evan Cheng0ff94f72007-08-07 01:37:15 +0000413///
Dan Gohman46510a72010-04-15 01:51:59 +0000414void ARMCodeEmitter::emitGlobalAddress(const GlobalValue *GV, unsigned Reloc,
Chris Lattner33fabd72010-02-02 21:48:51 +0000415 bool MayNeedFarStub, bool Indirect,
Jim Grosbach3e094132010-10-08 17:45:54 +0000416 intptr_t ACPV) const {
Evan Cheng08669742009-09-10 01:23:53 +0000417 MachineRelocation MR = Indirect
418 ? MachineRelocation::getIndirectSymbol(MCE.getCurrentPCOffset(), Reloc,
Dan Gohman46510a72010-04-15 01:51:59 +0000419 const_cast<GlobalValue *>(GV),
420 ACPV, MayNeedFarStub)
Evan Cheng08669742009-09-10 01:23:53 +0000421 : MachineRelocation::getGV(MCE.getCurrentPCOffset(), Reloc,
Dan Gohman46510a72010-04-15 01:51:59 +0000422 const_cast<GlobalValue *>(GV), ACPV,
423 MayNeedFarStub);
Evan Cheng08669742009-09-10 01:23:53 +0000424 MCE.addRelocation(MR);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000425}
426
427/// emitExternalSymbolAddress - Arrange for the address of an external symbol to
428/// be emitted to the current location in the function, and allow it to be PC
429/// relative.
Jim Grosbach3e094132010-10-08 17:45:54 +0000430void ARMCodeEmitter::
431emitExternalSymbolAddress(const char *ES, unsigned Reloc) const {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000432 MCE.addRelocation(MachineRelocation::getExtSym(MCE.getCurrentPCOffset(),
433 Reloc, ES));
434}
435
436/// emitConstPoolAddress - Arrange for the address of an constant pool
437/// to be emitted to the current location in the function, and allow it to be PC
438/// relative.
Jim Grosbach3e094132010-10-08 17:45:54 +0000439void ARMCodeEmitter::emitConstPoolAddress(unsigned CPI, unsigned Reloc) const {
Evan Cheng0f282432008-10-29 23:55:43 +0000440 // Tell JIT emitter we'll resolve the address.
Evan Cheng0ff94f72007-08-07 01:37:15 +0000441 MCE.addRelocation(MachineRelocation::getConstPool(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000442 Reloc, CPI, 0, true));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000443}
444
445/// emitJumpTableAddress - Arrange for the address of a jump table to
446/// be emitted to the current location in the function, and allow it to be PC
447/// relative.
Jim Grosbach3e094132010-10-08 17:45:54 +0000448void ARMCodeEmitter::
449emitJumpTableAddress(unsigned JTIndex, unsigned Reloc) const {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000450 MCE.addRelocation(MachineRelocation::getJumpTable(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000451 Reloc, JTIndex, 0, true));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000452}
453
Raul Herbster9c1a3822007-08-30 23:29:26 +0000454/// emitMachineBasicBlock - Emit the specified address basic block.
Chris Lattner33fabd72010-02-02 21:48:51 +0000455void ARMCodeEmitter::emitMachineBasicBlock(MachineBasicBlock *BB,
Jim Grosbach3e094132010-10-08 17:45:54 +0000456 unsigned Reloc,
457 intptr_t JTBase) const {
Raul Herbster9c1a3822007-08-30 23:29:26 +0000458 MCE.addRelocation(MachineRelocation::getBB(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000459 Reloc, BB, JTBase));
Raul Herbster9c1a3822007-08-30 23:29:26 +0000460}
Evan Cheng0ff94f72007-08-07 01:37:15 +0000461
Chris Lattner33fabd72010-02-02 21:48:51 +0000462void ARMCodeEmitter::emitWordLE(unsigned Binary) {
Chris Lattner893e1c92009-08-23 06:49:22 +0000463 DEBUG(errs() << " 0x";
464 errs().write_hex(Binary) << "\n");
Evan Cheng83b5cf02008-11-05 23:22:34 +0000465 MCE.emitWordLE(Binary);
466}
467
Chris Lattner33fabd72010-02-02 21:48:51 +0000468void ARMCodeEmitter::emitDWordLE(uint64_t Binary) {
Chris Lattner893e1c92009-08-23 06:49:22 +0000469 DEBUG(errs() << " 0x";
470 errs().write_hex(Binary) << "\n");
Evan Chengcb5201f2008-11-11 22:19:31 +0000471 MCE.emitDWordLE(Binary);
472}
473
Chris Lattner33fabd72010-02-02 21:48:51 +0000474void ARMCodeEmitter::emitInstruction(const MachineInstr &MI) {
Chris Lattner705e07f2009-08-23 03:41:05 +0000475 DEBUG(errs() << "JIT: " << (void*)MCE.getCurrentPCValue() << ":\t" << MI);
Evan Cheng42d5ee062008-09-13 01:15:21 +0000476
Devang Patelaf0e2722009-10-06 02:19:11 +0000477 MCE.processDebugLoc(MI.getDebugLoc(), true);
Jeffrey Yasskin75402822009-07-17 18:49:39 +0000478
Dan Gohmanfe601042010-06-22 15:08:57 +0000479 ++NumEmitted; // Keep track of the # of mi's emitted
Evan Chengedda31c2008-11-05 18:35:52 +0000480 switch (MI.getDesc().TSFlags & ARMII::FormMask) {
Evan Chengffa6d962008-11-13 23:36:57 +0000481 default: {
Torok Edwinc23197a2009-07-14 16:55:14 +0000482 llvm_unreachable("Unhandled instruction encoding format!");
Evan Chengedda31c2008-11-05 18:35:52 +0000483 break;
Evan Chengffa6d962008-11-13 23:36:57 +0000484 }
Jim Grosbach85eb54c2010-11-17 23:33:14 +0000485 case ARMII::MiscFrm:
486 if (MI.getOpcode() == ARM::LEApcrelJT) {
487 // Materialize jumptable address.
488 emitLEApcrelJTInstruction(MI);
489 break;
490 }
491 llvm_unreachable("Unhandled instruction encoding!");
492 break;
Evan Chengedda31c2008-11-05 18:35:52 +0000493 case ARMII::Pseudo:
Evan Cheng057d0c32008-09-18 07:28:19 +0000494 emitPseudoInstruction(MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000495 break;
496 case ARMII::DPFrm:
497 case ARMII::DPSoRegFrm:
498 emitDataProcessingInstruction(MI);
499 break;
Evan Cheng148cad82008-11-13 07:34:59 +0000500 case ARMII::LdFrm:
501 case ARMII::StFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000502 emitLoadStoreInstruction(MI);
503 break;
Evan Cheng148cad82008-11-13 07:34:59 +0000504 case ARMII::LdMiscFrm:
505 case ARMII::StMiscFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000506 emitMiscLoadStoreInstruction(MI);
507 break;
Evan Cheng3c4a4ff2008-11-12 07:18:38 +0000508 case ARMII::LdStMulFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000509 emitLoadStoreMultipleInstruction(MI);
510 break;
Evan Chengfbc9d412008-11-06 01:21:28 +0000511 case ARMII::MulFrm:
512 emitMulFrmInstruction(MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000513 break;
Evan Cheng97f48c32008-11-06 22:15:19 +0000514 case ARMII::ExtFrm:
515 emitExtendInstruction(MI);
516 break;
Evan Cheng8b59db32008-11-07 01:41:35 +0000517 case ARMII::ArithMiscFrm:
518 emitMiscArithInstruction(MI);
519 break;
Bob Wilson9a1c1892010-08-11 00:01:18 +0000520 case ARMII::SatFrm:
521 emitSaturateInstruction(MI);
522 break;
Evan Cheng12c3a532008-11-06 17:48:05 +0000523 case ARMII::BrFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000524 emitBranchInstruction(MI);
525 break;
Evan Cheng12c3a532008-11-06 17:48:05 +0000526 case ARMII::BrMiscFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000527 emitMiscBranchInstruction(MI);
528 break;
Evan Cheng96581d32008-11-11 02:11:05 +0000529 // VFP instructions.
530 case ARMII::VFPUnaryFrm:
531 case ARMII::VFPBinaryFrm:
532 emitVFPArithInstruction(MI);
533 break;
Evan Cheng78be83d2008-11-11 19:40:26 +0000534 case ARMII::VFPConv1Frm:
535 case ARMII::VFPConv2Frm:
Evan Cheng0a0ab132008-11-11 22:46:12 +0000536 case ARMII::VFPConv3Frm:
Evan Cheng80a11982008-11-12 06:41:41 +0000537 case ARMII::VFPConv4Frm:
538 case ARMII::VFPConv5Frm:
Evan Cheng78be83d2008-11-11 19:40:26 +0000539 emitVFPConversionInstruction(MI);
540 break;
Evan Chengcd8e66a2008-11-11 21:48:44 +0000541 case ARMII::VFPLdStFrm:
542 emitVFPLoadStoreInstruction(MI);
543 break;
544 case ARMII::VFPLdStMulFrm:
545 emitVFPLoadStoreMultipleInstruction(MI);
546 break;
Bill Wendling07fda9f2010-10-15 23:35:12 +0000547
Bob Wilson1a913ed2010-06-11 21:34:50 +0000548 // NEON instructions.
Bob Wilson52e4a0a2010-06-26 04:07:15 +0000549 case ARMII::NGetLnFrm:
Bob Wilsond5a563d2010-06-29 17:34:07 +0000550 case ARMII::NSetLnFrm:
551 emitNEONLaneInstruction(MI);
Bob Wilson52e4a0a2010-06-26 04:07:15 +0000552 break;
Bob Wilson21773e72010-06-29 20:13:29 +0000553 case ARMII::NDupFrm:
554 emitNEONDupInstruction(MI);
555 break;
Bob Wilson1a913ed2010-06-11 21:34:50 +0000556 case ARMII::N1RegModImmFrm:
Bob Wilson583a2a02010-06-25 21:17:19 +0000557 emitNEON1RegModImmInstruction(MI);
558 break;
559 case ARMII::N2RegFrm:
560 emitNEON2RegInstruction(MI);
Bob Wilson1a913ed2010-06-11 21:34:50 +0000561 break;
Bob Wilson5e7b6072010-06-25 22:40:46 +0000562 case ARMII::N3RegFrm:
563 emitNEON3RegInstruction(MI);
564 break;
Evan Chengedda31c2008-11-05 18:35:52 +0000565 }
Devang Patelaf0e2722009-10-06 02:19:11 +0000566 MCE.processDebugLoc(MI.getDebugLoc(), false);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000567}
568
Chris Lattner33fabd72010-02-02 21:48:51 +0000569void ARMCodeEmitter::emitConstPoolInstruction(const MachineInstr &MI) {
Evan Cheng437c1732008-11-07 22:30:53 +0000570 unsigned CPI = MI.getOperand(0).getImm(); // CP instruction index.
571 unsigned CPIndex = MI.getOperand(1).getIndex(); // Actual cp entry index.
Evan Cheng938b9d82008-10-31 19:55:13 +0000572 const MachineConstantPoolEntry &MCPE = (*MCPEs)[CPIndex];
Jim Grosbach764ab522009-08-11 15:33:49 +0000573
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000574 // Remember the CONSTPOOL_ENTRY address for later relocation.
575 JTI->addConstantPoolEntryAddr(CPI, MCE.getCurrentPCValue());
576
577 // Emit constpool island entry. In most cases, the actual values will be
578 // resolved and relocated after code emission.
579 if (MCPE.isMachineConstantPoolEntry()) {
580 ARMConstantPoolValue *ACPV =
581 static_cast<ARMConstantPoolValue*>(MCPE.Val.MachineCPVal);
582
Chris Lattner705e07f2009-08-23 03:41:05 +0000583 DEBUG(errs() << " ** ARM constant pool #" << CPI << " @ "
584 << (void*)MCE.getCurrentPCValue() << " " << *ACPV << '\n');
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000585
Bob Wilson28989a82009-11-02 16:59:06 +0000586 assert(ACPV->isGlobalValue() && "unsupported constant pool value");
Dan Gohman46510a72010-04-15 01:51:59 +0000587 const GlobalValue *GV = ACPV->getGV();
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000588 if (GV) {
Evan Cheng08669742009-09-10 01:23:53 +0000589 Reloc::Model RelocM = TM.getRelocationModel();
Evan Chenge4e4ed32009-08-28 23:18:09 +0000590 emitGlobalAddress(GV, ARM::reloc_arm_machine_cp_entry,
Evan Cheng08669742009-09-10 01:23:53 +0000591 isa<Function>(GV),
592 Subtarget->GVIsIndirectSymbol(GV, RelocM),
593 (intptr_t)ACPV);
Evan Cheng25e04782008-11-04 00:50:32 +0000594 } else {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000595 emitExternalSymbolAddress(ACPV->getSymbol(), ARM::reloc_arm_absolute);
596 }
Evan Cheng83b5cf02008-11-05 23:22:34 +0000597 emitWordLE(0);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000598 } else {
Dan Gohman46510a72010-04-15 01:51:59 +0000599 const Constant *CV = MCPE.Val.ConstVal;
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000600
Daniel Dunbarce63ffb2009-07-25 00:23:56 +0000601 DEBUG({
602 errs() << " ** Constant pool #" << CPI << " @ "
603 << (void*)MCE.getCurrentPCValue() << " ";
604 if (const Function *F = dyn_cast<Function>(CV))
605 errs() << F->getName();
606 else
607 errs() << *CV;
608 errs() << '\n';
609 });
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000610
Dan Gohman46510a72010-04-15 01:51:59 +0000611 if (const GlobalValue *GV = dyn_cast<GlobalValue>(CV)) {
Evan Cheng08669742009-09-10 01:23:53 +0000612 emitGlobalAddress(GV, ARM::reloc_arm_absolute, isa<Function>(GV), false);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000613 emitWordLE(0);
Evan Chengcb5201f2008-11-11 22:19:31 +0000614 } else if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) {
Gabor Greif41f31ef2010-10-22 23:16:11 +0000615 uint32_t Val = uint32_t(*CI->getValue().getRawData());
Evan Cheng83b5cf02008-11-05 23:22:34 +0000616 emitWordLE(Val);
Evan Chengcb5201f2008-11-11 22:19:31 +0000617 } else if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV)) {
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000618 if (CFP->getType()->isFloatTy())
Evan Chengcb5201f2008-11-11 22:19:31 +0000619 emitWordLE(CFP->getValueAPF().bitcastToAPInt().getZExtValue());
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000620 else if (CFP->getType()->isDoubleTy())
Evan Chengcb5201f2008-11-11 22:19:31 +0000621 emitDWordLE(CFP->getValueAPF().bitcastToAPInt().getZExtValue());
622 else {
Torok Edwinc23197a2009-07-14 16:55:14 +0000623 llvm_unreachable("Unable to handle this constantpool entry!");
Evan Chengcb5201f2008-11-11 22:19:31 +0000624 }
625 } else {
Torok Edwinc23197a2009-07-14 16:55:14 +0000626 llvm_unreachable("Unable to handle this constantpool entry!");
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000627 }
628 }
629}
630
Zonr Changf86399b2010-05-25 08:42:45 +0000631void ARMCodeEmitter::emitMOVi32immInstruction(const MachineInstr &MI) {
632 const MachineOperand &MO0 = MI.getOperand(0);
633 const MachineOperand &MO1 = MI.getOperand(1);
634
635 // Emit the 'movw' instruction.
636 unsigned Binary = 0x30 << 20; // mov: Insts{27-20} = 0b00110000
637
638 unsigned Lo16 = getMovi32Value(MI, MO1, ARM::reloc_arm_movw) & 0xFFFF;
639
640 // Set the conditional execution predicate.
641 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
642
643 // Encode Rd.
644 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
645
646 // Encode imm16 as imm4:imm12
647 Binary |= Lo16 & 0xFFF; // Insts{11-0} = imm12
648 Binary |= ((Lo16 >> 12) & 0xF) << 16; // Insts{19-16} = imm4
649 emitWordLE(Binary);
650
651 unsigned Hi16 = getMovi32Value(MI, MO1, ARM::reloc_arm_movt) >> 16;
652 // Emit the 'movt' instruction.
653 Binary = 0x34 << 20; // movt: Insts{27-20} = 0b00110100
654
655 // Set the conditional execution predicate.
656 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
657
658 // Encode Rd.
659 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
660
661 // Encode imm16 as imm4:imm1, same as movw above.
662 Binary |= Hi16 & 0xFFF;
663 Binary |= ((Hi16 >> 12) & 0xF) << 16;
664 emitWordLE(Binary);
665}
666
Chris Lattner33fabd72010-02-02 21:48:51 +0000667void ARMCodeEmitter::emitMOVi2piecesInstruction(const MachineInstr &MI) {
Evan Cheng90922132008-11-06 02:25:39 +0000668 const MachineOperand &MO0 = MI.getOperand(0);
669 const MachineOperand &MO1 = MI.getOperand(1);
Bob Wilson5265a122010-03-11 00:46:22 +0000670 assert(MO1.isImm() && ARM_AM::isSOImmTwoPartVal(MO1.getImm()) &&
671 "Not a valid so_imm value!");
Evan Cheng90922132008-11-06 02:25:39 +0000672 unsigned V1 = ARM_AM::getSOImmTwoPartFirst(MO1.getImm());
673 unsigned V2 = ARM_AM::getSOImmTwoPartSecond(MO1.getImm());
674
675 // Emit the 'mov' instruction.
676 unsigned Binary = 0xd << 21; // mov: Insts{24-21} = 0b1101
677
678 // Set the conditional execution predicate.
Evan Cheng97f48c32008-11-06 22:15:19 +0000679 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng90922132008-11-06 02:25:39 +0000680
681 // Encode Rd.
682 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
683
684 // Encode so_imm.
685 // Set bit I(25) to identify this is the immediate form of <shifter_op>
686 Binary |= 1 << ARMII::I_BitShift;
Evan Chenge7cbe412009-07-08 21:03:57 +0000687 Binary |= getMachineSoImmOpValue(V1);
Evan Cheng90922132008-11-06 02:25:39 +0000688 emitWordLE(Binary);
689
690 // Now the 'orr' instruction.
691 Binary = 0xc << 21; // orr: Insts{24-21} = 0b1100
692
693 // Set the conditional execution predicate.
Evan Cheng97f48c32008-11-06 22:15:19 +0000694 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng90922132008-11-06 02:25:39 +0000695
696 // Encode Rd.
697 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
698
699 // Encode Rn.
700 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRnShift;
701
702 // Encode so_imm.
703 // Set bit I(25) to identify this is the immediate form of <shifter_op>
704 Binary |= 1 << ARMII::I_BitShift;
Evan Chenge7cbe412009-07-08 21:03:57 +0000705 Binary |= getMachineSoImmOpValue(V2);
Evan Cheng90922132008-11-06 02:25:39 +0000706 emitWordLE(Binary);
707}
708
Chris Lattner33fabd72010-02-02 21:48:51 +0000709void ARMCodeEmitter::emitLEApcrelJTInstruction(const MachineInstr &MI) {
Evan Cheng4df60f52008-11-07 09:06:08 +0000710 // It's basically add r, pc, (LJTI - $+8)
Jim Grosbach764ab522009-08-11 15:33:49 +0000711
Evan Cheng4df60f52008-11-07 09:06:08 +0000712 const TargetInstrDesc &TID = MI.getDesc();
713
714 // Emit the 'add' instruction.
Jim Grosbach0129be22010-11-17 21:57:51 +0000715 unsigned Binary = 0x4 << 21; // add: Insts{24-21} = 0b0100
Evan Cheng4df60f52008-11-07 09:06:08 +0000716
717 // Set the conditional execution predicate
718 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
719
720 // Encode S bit if MI modifies CPSR.
721 Binary |= getAddrModeSBit(MI, TID);
722
723 // Encode Rd.
724 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
725
726 // Encode Rn which is PC.
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +0000727 Binary |= getARMRegisterNumbering(ARM::PC) << ARMII::RegRnShift;
Evan Cheng4df60f52008-11-07 09:06:08 +0000728
729 // Encode the displacement.
Evan Cheng4df60f52008-11-07 09:06:08 +0000730 Binary |= 1 << ARMII::I_BitShift;
731 emitJumpTableAddress(MI.getOperand(1).getIndex(), ARM::reloc_arm_jt_base);
732
733 emitWordLE(Binary);
734}
735
Chris Lattner33fabd72010-02-02 21:48:51 +0000736void ARMCodeEmitter::emitPseudoMoveInstruction(const MachineInstr &MI) {
Evan Chenga9562552008-11-14 20:09:11 +0000737 unsigned Opcode = MI.getDesc().Opcode;
738
739 // Part of binary is determined by TableGn.
740 unsigned Binary = getBinaryCodeForInstr(MI);
741
742 // Set the conditional execution predicate
743 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
744
745 // Encode S bit if MI modifies CPSR.
746 if (Opcode == ARM::MOVsrl_flag || Opcode == ARM::MOVsra_flag)
747 Binary |= 1 << ARMII::S_BitShift;
748
749 // Encode register def if there is one.
750 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
751
752 // Encode the shift operation.
753 switch (Opcode) {
754 default: break;
Jim Grosbach792e9792010-10-14 20:43:44 +0000755 case ARM::RRX:
Evan Chenga9562552008-11-14 20:09:11 +0000756 // rrx
757 Binary |= 0x6 << 4;
758 break;
759 case ARM::MOVsrl_flag:
760 // lsr #1
761 Binary |= (0x2 << 4) | (1 << 7);
762 break;
763 case ARM::MOVsra_flag:
764 // asr #1
765 Binary |= (0x4 << 4) | (1 << 7);
766 break;
767 }
768
769 // Encode register Rm.
770 Binary |= getMachineOpValue(MI, 1);
771
772 emitWordLE(Binary);
773}
774
Chris Lattner33fabd72010-02-02 21:48:51 +0000775void ARMCodeEmitter::addPCLabel(unsigned LabelID) {
Chris Lattner893e1c92009-08-23 06:49:22 +0000776 DEBUG(errs() << " ** LPC" << LabelID << " @ "
777 << (void*)MCE.getCurrentPCValue() << '\n');
Evan Cheng83b5cf02008-11-05 23:22:34 +0000778 JTI->addPCLabelAddr(LabelID, MCE.getCurrentPCValue());
779}
780
Chris Lattner33fabd72010-02-02 21:48:51 +0000781void ARMCodeEmitter::emitPseudoInstruction(const MachineInstr &MI) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000782 unsigned Opcode = MI.getDesc().Opcode;
783 switch (Opcode) {
784 default:
Evan Cheng5adb66a2009-09-28 09:14:39 +0000785 llvm_unreachable("ARMCodeEmitter::emitPseudoInstruction");
Jim Grosbach532c2f12010-11-30 00:24:05 +0000786 case ARM::BX_CALL:
787 case ARM::BMOVPCRX_CALL:
788 case ARM::BXr9_CALL:
789 case ARM::BMOVPCRXr9_CALL: {
Xerxes Ranby99ccffe2010-07-22 17:28:34 +0000790 // First emit mov lr, pc
791 unsigned Binary = 0x01a0e00f;
792 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
793 emitWordLE(Binary);
794
795 // and then emit the branch.
796 emitMiscBranchInstruction(MI);
797 break;
798 }
Chris Lattner518bb532010-02-09 19:54:29 +0000799 case TargetOpcode::INLINEASM: {
Evan Chenge3066ab2008-11-19 23:21:33 +0000800 // We allow inline assembler nodes with empty bodies - they can
801 // implicitly define registers, which is ok for JIT.
802 if (MI.getOperand(0).getSymbolName()[0]) {
Chris Lattner75361b62010-04-07 22:58:41 +0000803 report_fatal_error("JIT does not support inline asm!");
Evan Chenge3066ab2008-11-19 23:21:33 +0000804 }
Evan Chengffa6d962008-11-13 23:36:57 +0000805 break;
806 }
Bill Wendling7431bea2010-07-16 22:20:36 +0000807 case TargetOpcode::PROLOG_LABEL:
Chris Lattner7561d482010-03-14 02:33:54 +0000808 case TargetOpcode::EH_LABEL:
809 MCE.emitLabel(MI.getOperand(0).getMCSymbol());
810 break;
Chris Lattner518bb532010-02-09 19:54:29 +0000811 case TargetOpcode::IMPLICIT_DEF:
812 case TargetOpcode::KILL:
Evan Chengffa6d962008-11-13 23:36:57 +0000813 // Do nothing.
814 break;
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000815 case ARM::CONSTPOOL_ENTRY:
816 emitConstPoolInstruction(MI);
817 break;
818 case ARM::PICADD: {
Evan Cheng25e04782008-11-04 00:50:32 +0000819 // Remember of the address of the PC label for relocation later.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000820 addPCLabel(MI.getOperand(2).getImm());
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000821 // PICADD is just an add instruction that implicitly read pc.
Evan Cheng437c1732008-11-07 22:30:53 +0000822 emitDataProcessingInstruction(MI, 0, ARM::PC);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000823 break;
824 }
825 case ARM::PICLDR:
826 case ARM::PICLDRB:
827 case ARM::PICSTR:
828 case ARM::PICSTRB: {
829 // Remember of the address of the PC label for relocation later.
830 addPCLabel(MI.getOperand(2).getImm());
831 // These are just load / store instructions that implicitly read pc.
Evan Cheng4df60f52008-11-07 09:06:08 +0000832 emitLoadStoreInstruction(MI, 0, ARM::PC);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000833 break;
834 }
835 case ARM::PICLDRH:
836 case ARM::PICLDRSH:
837 case ARM::PICLDRSB:
838 case ARM::PICSTRH: {
839 // Remember of the address of the PC label for relocation later.
840 addPCLabel(MI.getOperand(2).getImm());
841 // These are just load / store instructions that implicitly read pc.
842 emitMiscLoadStoreInstruction(MI, ARM::PC);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000843 break;
844 }
Zonr Changf86399b2010-05-25 08:42:45 +0000845
846 case ARM::MOVi32imm:
Evan Cheng893d7fe2010-11-12 23:03:38 +0000847 // Two instructions to materialize a constant.
848 if (Subtarget->hasV6T2Ops())
849 emitMOVi32immInstruction(MI);
850 else
851 emitMOVi2piecesInstruction(MI);
Zonr Changf86399b2010-05-25 08:42:45 +0000852 break;
853
Evan Cheng4df60f52008-11-07 09:06:08 +0000854 case ARM::LEApcrelJT:
855 // Materialize jumptable address.
856 emitLEApcrelJTInstruction(MI);
857 break;
Jim Grosbach792e9792010-10-14 20:43:44 +0000858 case ARM::RRX:
Evan Chenga9562552008-11-14 20:09:11 +0000859 case ARM::MOVsrl_flag:
860 case ARM::MOVsra_flag:
861 emitPseudoMoveInstruction(MI);
862 break;
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000863 }
864}
865
Bob Wilson87949d42010-03-17 21:16:45 +0000866unsigned ARMCodeEmitter::getMachineSoRegOpValue(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +0000867 const TargetInstrDesc &TID,
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000868 const MachineOperand &MO,
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000869 unsigned OpIdx) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000870 unsigned Binary = getMachineOpValue(MI, MO);
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000871
872 const MachineOperand &MO1 = MI.getOperand(OpIdx + 1);
873 const MachineOperand &MO2 = MI.getOperand(OpIdx + 2);
874 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO2.getImm());
875
876 // Encode the shift opcode.
877 unsigned SBits = 0;
878 unsigned Rs = MO1.getReg();
879 if (Rs) {
880 // Set shift operand (bit[7:4]).
881 // LSL - 0001
882 // LSR - 0011
883 // ASR - 0101
884 // ROR - 0111
885 // RRX - 0110 and bit[11:8] clear.
886 switch (SOpc) {
Torok Edwinc23197a2009-07-14 16:55:14 +0000887 default: llvm_unreachable("Unknown shift opc!");
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000888 case ARM_AM::lsl: SBits = 0x1; break;
889 case ARM_AM::lsr: SBits = 0x3; break;
890 case ARM_AM::asr: SBits = 0x5; break;
891 case ARM_AM::ror: SBits = 0x7; break;
892 case ARM_AM::rrx: SBits = 0x6; break;
893 }
894 } else {
895 // Set shift operand (bit[6:4]).
896 // LSL - 000
897 // LSR - 010
898 // ASR - 100
899 // ROR - 110
900 switch (SOpc) {
Torok Edwinc23197a2009-07-14 16:55:14 +0000901 default: llvm_unreachable("Unknown shift opc!");
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000902 case ARM_AM::lsl: SBits = 0x0; break;
903 case ARM_AM::lsr: SBits = 0x2; break;
904 case ARM_AM::asr: SBits = 0x4; break;
905 case ARM_AM::ror: SBits = 0x6; break;
906 }
907 }
908 Binary |= SBits << 4;
909 if (SOpc == ARM_AM::rrx)
910 return Binary;
911
912 // Encode the shift operation Rs or shift_imm (except rrx).
913 if (Rs) {
914 // Encode Rs bit[11:8].
915 assert(ARM_AM::getSORegOffset(MO2.getImm()) == 0);
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +0000916 return Binary | (getARMRegisterNumbering(Rs) << ARMII::RegRsShift);
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000917 }
918
919 // Encode shift_imm bit[11:7].
920 return Binary | ARM_AM::getSORegOffset(MO2.getImm()) << 7;
921}
922
Chris Lattner33fabd72010-02-02 21:48:51 +0000923unsigned ARMCodeEmitter::getMachineSoImmOpValue(unsigned SoImm) {
Evan Chenge7cbe412009-07-08 21:03:57 +0000924 int SoImmVal = ARM_AM::getSOImmVal(SoImm);
925 assert(SoImmVal != -1 && "Not a valid so_imm value!");
926
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000927 // Encode rotate_imm.
Evan Chenge7cbe412009-07-08 21:03:57 +0000928 unsigned Binary = (ARM_AM::getSOImmValRot((unsigned)SoImmVal) >> 1)
Evan Cheng97f48c32008-11-06 22:15:19 +0000929 << ARMII::SoRotImmShift;
930
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000931 // Encode immed_8.
Evan Chenge7cbe412009-07-08 21:03:57 +0000932 Binary |= ARM_AM::getSOImmValImm((unsigned)SoImmVal);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000933 return Binary;
934}
935
Chris Lattner33fabd72010-02-02 21:48:51 +0000936unsigned ARMCodeEmitter::getAddrModeSBit(const MachineInstr &MI,
Bob Wilson87949d42010-03-17 21:16:45 +0000937 const TargetInstrDesc &TID) const {
Evan Cheng97c573d2008-11-20 02:25:51 +0000938 for (unsigned i = MI.getNumOperands(), e = TID.getNumOperands(); i != e; --i){
Evan Cheng49a9f292008-09-12 22:45:55 +0000939 const MachineOperand &MO = MI.getOperand(i-1);
Dan Gohmand735b802008-10-03 15:45:36 +0000940 if (MO.isReg() && MO.isDef() && MO.getReg() == ARM::CPSR)
Evan Cheng49a9f292008-09-12 22:45:55 +0000941 return 1 << ARMII::S_BitShift;
942 }
943 return 0;
944}
945
Bob Wilson87949d42010-03-17 21:16:45 +0000946void ARMCodeEmitter::emitDataProcessingInstruction(const MachineInstr &MI,
Evan Cheng437c1732008-11-07 22:30:53 +0000947 unsigned ImplicitRd,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000948 unsigned ImplicitRn) {
Evan Chengedda31c2008-11-05 18:35:52 +0000949 const TargetInstrDesc &TID = MI.getDesc();
Evan Chengedda31c2008-11-05 18:35:52 +0000950
951 // Part of binary is determined by TableGn.
952 unsigned Binary = getBinaryCodeForInstr(MI);
953
Jim Grosbach33412622008-10-07 19:05:35 +0000954 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000955 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000956
Evan Cheng49a9f292008-09-12 22:45:55 +0000957 // Encode S bit if MI modifies CPSR.
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000958 Binary |= getAddrModeSBit(MI, TID);
Evan Cheng49a9f292008-09-12 22:45:55 +0000959
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000960 // Encode register def if there is one.
Evan Cheng49a9f292008-09-12 22:45:55 +0000961 unsigned NumDefs = TID.getNumDefs();
Evan Chenga964b7d2008-09-12 23:15:39 +0000962 unsigned OpIdx = 0;
Evan Cheng437c1732008-11-07 22:30:53 +0000963 if (NumDefs)
964 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
965 else if (ImplicitRd)
966 // Special handling for implicit use (e.g. PC).
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +0000967 Binary |= (getARMRegisterNumbering(ImplicitRd) << ARMII::RegRdShift);
Evan Cheng7602e112008-09-02 06:52:38 +0000968
Zonr Changf86399b2010-05-25 08:42:45 +0000969 if (TID.Opcode == ARM::MOVi16) {
970 // Get immediate from MI.
971 unsigned Lo16 = getMovi32Value(MI, MI.getOperand(OpIdx),
972 ARM::reloc_arm_movw);
973 // Encode imm which is the same as in emitMOVi32immInstruction().
974 Binary |= Lo16 & 0xFFF;
975 Binary |= ((Lo16 >> 12) & 0xF) << 16;
976 emitWordLE(Binary);
977 return;
978 } else if(TID.Opcode == ARM::MOVTi16) {
979 unsigned Hi16 = (getMovi32Value(MI, MI.getOperand(OpIdx),
980 ARM::reloc_arm_movt) >> 16);
981 Binary |= Hi16 & 0xFFF;
982 Binary |= ((Hi16 >> 12) & 0xF) << 16;
983 emitWordLE(Binary);
984 return;
Shih-wei Liao9f3b6a32010-05-26 04:46:50 +0000985 } else if ((TID.Opcode == ARM::BFC) || (TID.Opcode == ARM::BFI)) {
Shih-wei Liao6d37a292010-05-26 00:25:05 +0000986 uint32_t v = ~MI.getOperand(2).getImm();
987 int32_t lsb = CountTrailingZeros_32(v);
988 int32_t msb = (32 - CountLeadingZeros_32(v)) - 1;
Shih-wei Liao45469f32010-05-26 03:21:39 +0000989 // Instr{20-16} = msb, Instr{11-7} = lsb
Shih-wei Liao6d37a292010-05-26 00:25:05 +0000990 Binary |= (msb & 0x1F) << 16;
991 Binary |= (lsb & 0x1F) << 7;
992 emitWordLE(Binary);
993 return;
Shih-wei Liao45469f32010-05-26 03:21:39 +0000994 } else if ((TID.Opcode == ARM::UBFX) || (TID.Opcode == ARM::SBFX)) {
995 // Encode Rn in Instr{0-3}
996 Binary |= getMachineOpValue(MI, OpIdx++);
997
998 uint32_t lsb = MI.getOperand(OpIdx++).getImm();
999 uint32_t widthm1 = MI.getOperand(OpIdx++).getImm() - 1;
1000
1001 // Instr{20-16} = widthm1, Instr{11-7} = lsb
1002 Binary |= (widthm1 & 0x1F) << 16;
1003 Binary |= (lsb & 0x1F) << 7;
1004 emitWordLE(Binary);
1005 return;
Zonr Changf86399b2010-05-25 08:42:45 +00001006 }
1007
Evan Chengd87293c2008-11-06 08:47:38 +00001008 // If this is a two-address operand, skip it. e.g. MOVCCr operand 1.
1009 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1010 ++OpIdx;
1011
Jim Grosbachefd30ba2008-10-01 18:16:49 +00001012 // Encode first non-shifter register operand if there is one.
Evan Chengedda31c2008-11-05 18:35:52 +00001013 bool isUnary = TID.TSFlags & ARMII::UnaryDP;
1014 if (!isUnary) {
Evan Cheng83b5cf02008-11-05 23:22:34 +00001015 if (ImplicitRn)
1016 // Special handling for implicit use (e.g. PC).
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +00001017 Binary |= (getARMRegisterNumbering(ImplicitRn) << ARMII::RegRnShift);
Evan Chengeb4ed4b2008-10-31 19:10:44 +00001018 else {
1019 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRnShift;
1020 ++OpIdx;
1021 }
Evan Cheng7602e112008-09-02 06:52:38 +00001022 }
1023
Evan Cheng5f1db7b2008-09-12 22:01:15 +00001024 // Encode shifter operand.
Evan Cheng5f1db7b2008-09-12 22:01:15 +00001025 const MachineOperand &MO = MI.getOperand(OpIdx);
Evan Chengedda31c2008-11-05 18:35:52 +00001026 if ((TID.TSFlags & ARMII::FormMask) == ARMII::DPSoRegFrm) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +00001027 // Encode SoReg.
Evan Cheng83b5cf02008-11-05 23:22:34 +00001028 emitWordLE(Binary | getMachineSoRegOpValue(MI, TID, MO, OpIdx));
Evan Chengedda31c2008-11-05 18:35:52 +00001029 return;
1030 }
Evan Chengeb4ed4b2008-10-31 19:10:44 +00001031
Evan Chengedda31c2008-11-05 18:35:52 +00001032 if (MO.isReg()) {
Evan Cheng5f1db7b2008-09-12 22:01:15 +00001033 // Encode register Rm.
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +00001034 emitWordLE(Binary | getARMRegisterNumbering(MO.getReg()));
Evan Chengedda31c2008-11-05 18:35:52 +00001035 return;
1036 }
Evan Cheng7602e112008-09-02 06:52:38 +00001037
Evan Cheng5f1db7b2008-09-12 22:01:15 +00001038 // Encode so_imm.
Evan Chenge7cbe412009-07-08 21:03:57 +00001039 Binary |= getMachineSoImmOpValue((unsigned)MO.getImm());
Evan Chengedda31c2008-11-05 18:35:52 +00001040
Evan Cheng83b5cf02008-11-05 23:22:34 +00001041 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +00001042}
1043
Bob Wilson87949d42010-03-17 21:16:45 +00001044void ARMCodeEmitter::emitLoadStoreInstruction(const MachineInstr &MI,
Evan Cheng4df60f52008-11-07 09:06:08 +00001045 unsigned ImplicitRd,
Evan Cheng83b5cf02008-11-05 23:22:34 +00001046 unsigned ImplicitRn) {
Evan Cheng05c356e2008-11-08 01:44:13 +00001047 const TargetInstrDesc &TID = MI.getDesc();
Evan Cheng148cad82008-11-13 07:34:59 +00001048 unsigned Form = TID.TSFlags & ARMII::FormMask;
1049 bool IsPrePost = (TID.TSFlags & ARMII::IndexModeMask) != 0;
Evan Cheng05c356e2008-11-08 01:44:13 +00001050
Evan Chengedda31c2008-11-05 18:35:52 +00001051 // Part of binary is determined by TableGn.
1052 unsigned Binary = getBinaryCodeForInstr(MI);
1053
Jim Grosbach7e3383c2010-10-27 23:12:14 +00001054 // If this is an LDRi12, STRi12 or LDRcp, nothing more needs be done.
1055 if (MI.getOpcode() == ARM::LDRi12 || MI.getOpcode() == ARM::LDRcp ||
1056 MI.getOpcode() == ARM::STRi12) {
Jim Grosbach093177d2010-10-27 17:52:51 +00001057 emitWordLE(Binary);
1058 return;
1059 }
1060
Jim Grosbach33412622008-10-07 19:05:35 +00001061 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +00001062 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng057d0c32008-09-18 07:28:19 +00001063
Evan Cheng4df60f52008-11-07 09:06:08 +00001064 unsigned OpIdx = 0;
Evan Cheng148cad82008-11-13 07:34:59 +00001065
1066 // Operand 0 of a pre- and post-indexed store is the address base
1067 // writeback. Skip it.
1068 bool Skipped = false;
1069 if (IsPrePost && Form == ARMII::StFrm) {
1070 ++OpIdx;
1071 Skipped = true;
1072 }
1073
1074 // Set first operand
Evan Cheng4df60f52008-11-07 09:06:08 +00001075 if (ImplicitRd)
1076 // Special handling for implicit use (e.g. PC).
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +00001077 Binary |= (getARMRegisterNumbering(ImplicitRd) << ARMII::RegRdShift);
Evan Cheng4df60f52008-11-07 09:06:08 +00001078 else
1079 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
Evan Cheng7602e112008-09-02 06:52:38 +00001080
1081 // Set second operand
Evan Cheng83b5cf02008-11-05 23:22:34 +00001082 if (ImplicitRn)
1083 // Special handling for implicit use (e.g. PC).
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +00001084 Binary |= (getARMRegisterNumbering(ImplicitRn) << ARMII::RegRnShift);
Evan Cheng4df60f52008-11-07 09:06:08 +00001085 else
1086 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Cheng7602e112008-09-02 06:52:38 +00001087
Evan Cheng05c356e2008-11-08 01:44:13 +00001088 // If this is a two-address operand, skip it. e.g. LDR_PRE.
Evan Cheng148cad82008-11-13 07:34:59 +00001089 if (!Skipped && TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
Evan Cheng05c356e2008-11-08 01:44:13 +00001090 ++OpIdx;
1091
Evan Cheng83b5cf02008-11-05 23:22:34 +00001092 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Chengd87293c2008-11-06 08:47:38 +00001093 unsigned AM2Opc = (ImplicitRn == ARM::PC)
Evan Cheng83b5cf02008-11-05 23:22:34 +00001094 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Cheng7602e112008-09-02 06:52:38 +00001095
Evan Chenge7de7e32008-09-13 01:44:01 +00001096 // Set bit U(23) according to sign of immed value (positive or negative).
Evan Cheng83b5cf02008-11-05 23:22:34 +00001097 Binary |= ((ARM_AM::getAM2Op(AM2Opc) == ARM_AM::add ? 1 : 0) <<
Evan Chenge7de7e32008-09-13 01:44:01 +00001098 ARMII::U_BitShift);
Evan Cheng7602e112008-09-02 06:52:38 +00001099 if (!MO2.getReg()) { // is immediate
Evan Cheng83b5cf02008-11-05 23:22:34 +00001100 if (ARM_AM::getAM2Offset(AM2Opc))
Evan Cheng7602e112008-09-02 06:52:38 +00001101 // Set the value of offset_12 field
Evan Cheng83b5cf02008-11-05 23:22:34 +00001102 Binary |= ARM_AM::getAM2Offset(AM2Opc);
1103 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +00001104 return;
Evan Cheng7602e112008-09-02 06:52:38 +00001105 }
1106
Bill Wendling7d31a162010-10-20 22:44:54 +00001107 // Set bit I(25), because this is not in immediate encoding.
Evan Cheng7602e112008-09-02 06:52:38 +00001108 Binary |= 1 << ARMII::I_BitShift;
1109 assert(TargetRegisterInfo::isPhysicalRegister(MO2.getReg()));
1110 // Set bit[3:0] to the corresponding Rm register
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +00001111 Binary |= getARMRegisterNumbering(MO2.getReg());
Evan Cheng7602e112008-09-02 06:52:38 +00001112
Evan Cheng70632912008-11-12 07:34:37 +00001113 // If this instr is in scaled register offset/index instruction, set
Evan Cheng7602e112008-09-02 06:52:38 +00001114 // shift_immed(bit[11:7]) and shift(bit[6:5]) fields.
Evan Cheng83b5cf02008-11-05 23:22:34 +00001115 if (unsigned ShImm = ARM_AM::getAM2Offset(AM2Opc)) {
Evan Cheng70632912008-11-12 07:34:37 +00001116 Binary |= getShiftOp(AM2Opc) << ARMII::ShiftImmShift; // shift
1117 Binary |= ShImm << ARMII::ShiftShift; // shift_immed
Evan Cheng7602e112008-09-02 06:52:38 +00001118 }
1119
Evan Cheng83b5cf02008-11-05 23:22:34 +00001120 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +00001121}
1122
Chris Lattner33fabd72010-02-02 21:48:51 +00001123void ARMCodeEmitter::emitMiscLoadStoreInstruction(const MachineInstr &MI,
Bob Wilson87949d42010-03-17 21:16:45 +00001124 unsigned ImplicitRn) {
Evan Cheng05c356e2008-11-08 01:44:13 +00001125 const TargetInstrDesc &TID = MI.getDesc();
Evan Cheng148cad82008-11-13 07:34:59 +00001126 unsigned Form = TID.TSFlags & ARMII::FormMask;
1127 bool IsPrePost = (TID.TSFlags & ARMII::IndexModeMask) != 0;
Evan Cheng05c356e2008-11-08 01:44:13 +00001128
Evan Chengedda31c2008-11-05 18:35:52 +00001129 // Part of binary is determined by TableGn.
1130 unsigned Binary = getBinaryCodeForInstr(MI);
1131
Jim Grosbach33412622008-10-07 19:05:35 +00001132 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +00001133 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng057d0c32008-09-18 07:28:19 +00001134
Evan Cheng148cad82008-11-13 07:34:59 +00001135 unsigned OpIdx = 0;
1136
1137 // Operand 0 of a pre- and post-indexed store is the address base
1138 // writeback. Skip it.
1139 bool Skipped = false;
1140 if (IsPrePost && Form == ARMII::StMiscFrm) {
1141 ++OpIdx;
1142 Skipped = true;
1143 }
1144
Evan Cheng7602e112008-09-02 06:52:38 +00001145 // Set first operand
Evan Cheng148cad82008-11-13 07:34:59 +00001146 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
Evan Cheng7602e112008-09-02 06:52:38 +00001147
Evan Cheng358dec52009-06-15 08:28:29 +00001148 // Skip LDRD and STRD's second operand.
1149 if (TID.Opcode == ARM::LDRD || TID.Opcode == ARM::STRD)
1150 ++OpIdx;
1151
Evan Cheng7602e112008-09-02 06:52:38 +00001152 // Set second operand
Evan Cheng83b5cf02008-11-05 23:22:34 +00001153 if (ImplicitRn)
1154 // Special handling for implicit use (e.g. PC).
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +00001155 Binary |= (getARMRegisterNumbering(ImplicitRn) << ARMII::RegRnShift);
Evan Cheng4df60f52008-11-07 09:06:08 +00001156 else
1157 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Cheng7602e112008-09-02 06:52:38 +00001158
Evan Cheng05c356e2008-11-08 01:44:13 +00001159 // If this is a two-address operand, skip it. e.g. LDRH_POST.
Evan Cheng148cad82008-11-13 07:34:59 +00001160 if (!Skipped && TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
Evan Cheng05c356e2008-11-08 01:44:13 +00001161 ++OpIdx;
1162
Evan Cheng83b5cf02008-11-05 23:22:34 +00001163 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Chengd87293c2008-11-06 08:47:38 +00001164 unsigned AM3Opc = (ImplicitRn == ARM::PC)
Evan Cheng83b5cf02008-11-05 23:22:34 +00001165 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Cheng7602e112008-09-02 06:52:38 +00001166
Evan Chenge7de7e32008-09-13 01:44:01 +00001167 // Set bit U(23) according to sign of immed value (positive or negative)
Evan Cheng83b5cf02008-11-05 23:22:34 +00001168 Binary |= ((ARM_AM::getAM3Op(AM3Opc) == ARM_AM::add ? 1 : 0) <<
Evan Cheng7602e112008-09-02 06:52:38 +00001169 ARMII::U_BitShift);
1170
1171 // If this instr is in register offset/index encoding, set bit[3:0]
1172 // to the corresponding Rm register.
1173 if (MO2.getReg()) {
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +00001174 Binary |= getARMRegisterNumbering(MO2.getReg());
Evan Cheng83b5cf02008-11-05 23:22:34 +00001175 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +00001176 return;
Evan Cheng7602e112008-09-02 06:52:38 +00001177 }
1178
Evan Chengd87293c2008-11-06 08:47:38 +00001179 // This instr is in immediate offset/index encoding, set bit 22 to 1.
Evan Cheng97f48c32008-11-06 22:15:19 +00001180 Binary |= 1 << ARMII::AM3_I_BitShift;
Evan Cheng83b5cf02008-11-05 23:22:34 +00001181 if (unsigned ImmOffs = ARM_AM::getAM3Offset(AM3Opc)) {
Evan Cheng7602e112008-09-02 06:52:38 +00001182 // Set operands
Evan Cheng70632912008-11-12 07:34:37 +00001183 Binary |= (ImmOffs >> 4) << ARMII::ImmHiShift; // immedH
1184 Binary |= (ImmOffs & 0xF); // immedL
Evan Cheng7602e112008-09-02 06:52:38 +00001185 }
1186
Evan Cheng83b5cf02008-11-05 23:22:34 +00001187 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +00001188}
1189
Evan Chengcd8e66a2008-11-11 21:48:44 +00001190static unsigned getAddrModeUPBits(unsigned Mode) {
1191 unsigned Binary = 0;
Evan Cheng7602e112008-09-02 06:52:38 +00001192
1193 // Set addressing mode by modifying bits U(23) and P(24)
1194 // IA - Increment after - bit U = 1 and bit P = 0
1195 // IB - Increment before - bit U = 1 and bit P = 1
1196 // DA - Decrement after - bit U = 0 and bit P = 0
1197 // DB - Decrement before - bit U = 0 and bit P = 1
Evan Cheng7602e112008-09-02 06:52:38 +00001198 switch (Mode) {
Torok Edwinc23197a2009-07-14 16:55:14 +00001199 default: llvm_unreachable("Unknown addressing sub-mode!");
Evan Cheng10bf7342009-09-09 23:55:03 +00001200 case ARM_AM::da: break;
Evan Cheng97f48c32008-11-06 22:15:19 +00001201 case ARM_AM::db: Binary |= 0x1 << ARMII::P_BitShift; break;
1202 case ARM_AM::ia: Binary |= 0x1 << ARMII::U_BitShift; break;
1203 case ARM_AM::ib: Binary |= 0x3 << ARMII::U_BitShift; break;
Evan Cheng7602e112008-09-02 06:52:38 +00001204 }
1205
Evan Chengcd8e66a2008-11-11 21:48:44 +00001206 return Binary;
1207}
1208
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001209void ARMCodeEmitter::emitLoadStoreMultipleInstruction(const MachineInstr &MI) {
1210 const TargetInstrDesc &TID = MI.getDesc();
1211 bool IsUpdating = (TID.TSFlags & ARMII::IndexModeMask) != 0;
1212
Evan Chengcd8e66a2008-11-11 21:48:44 +00001213 // Part of binary is determined by TableGn.
1214 unsigned Binary = getBinaryCodeForInstr(MI);
1215
1216 // Set the conditional execution predicate
1217 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1218
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001219 // Skip operand 0 of an instruction with base register update.
1220 unsigned OpIdx = 0;
1221 if (IsUpdating)
1222 ++OpIdx;
1223
Evan Chengcd8e66a2008-11-11 21:48:44 +00001224 // Set base address operand
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001225 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Chengcd8e66a2008-11-11 21:48:44 +00001226
1227 // Set addressing mode by modifying bits U(23) and P(24)
Bill Wendling2567eec2010-11-17 05:31:09 +00001228 ARM_AM::AMSubMode Mode = ARM_AM::getLoadStoreMultipleSubMode(MI.getOpcode());
1229 Binary |= getAddrModeUPBits(ARM_AM::getAM4SubMode(Mode));
Evan Chengcd8e66a2008-11-11 21:48:44 +00001230
Evan Cheng7602e112008-09-02 06:52:38 +00001231 // Set bit W(21)
Bob Wilsonab346052010-03-16 17:46:45 +00001232 if (IsUpdating)
Evan Cheng97f48c32008-11-06 22:15:19 +00001233 Binary |= 0x1 << ARMII::W_BitShift;
Evan Cheng7602e112008-09-02 06:52:38 +00001234
1235 // Set registers
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001236 for (unsigned i = OpIdx+2, e = MI.getNumOperands(); i != e; ++i) {
Evan Cheng7602e112008-09-02 06:52:38 +00001237 const MachineOperand &MO = MI.getOperand(i);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001238 if (!MO.isReg() || MO.isImplicit())
1239 break;
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +00001240 unsigned RegNum = getARMRegisterNumbering(MO.getReg());
Evan Cheng7602e112008-09-02 06:52:38 +00001241 assert(TargetRegisterInfo::isPhysicalRegister(MO.getReg()) &&
1242 RegNum < 16);
1243 Binary |= 0x1 << RegNum;
1244 }
1245
Evan Cheng83b5cf02008-11-05 23:22:34 +00001246 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +00001247}
1248
Chris Lattner33fabd72010-02-02 21:48:51 +00001249void ARMCodeEmitter::emitMulFrmInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +00001250 const TargetInstrDesc &TID = MI.getDesc();
1251
1252 // Part of binary is determined by TableGn.
1253 unsigned Binary = getBinaryCodeForInstr(MI);
1254
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +00001255 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +00001256 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +00001257
1258 // Encode S bit if MI modifies CPSR.
1259 Binary |= getAddrModeSBit(MI, TID);
1260
1261 // 32x32->64bit operations have two destination registers. The number
1262 // of register definitions will tell us if that's what we're dealing with.
Evan Cheng97f48c32008-11-06 22:15:19 +00001263 unsigned OpIdx = 0;
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +00001264 if (TID.getNumDefs() == 2)
1265 Binary |= getMachineOpValue (MI, OpIdx++) << ARMII::RegRdLoShift;
1266
1267 // Encode Rd
1268 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdHiShift;
1269
1270 // Encode Rm
1271 Binary |= getMachineOpValue(MI, OpIdx++);
1272
1273 // Encode Rs
1274 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRsShift;
1275
Evan Chengfbc9d412008-11-06 01:21:28 +00001276 // Many multiple instructions (e.g. MLA) have three src operands. Encode
1277 // it as Rn (for multiply, that's in the same offset as RdLo.
Evan Cheng97f48c32008-11-06 22:15:19 +00001278 if (TID.getNumOperands() > OpIdx &&
1279 !TID.OpInfo[OpIdx].isPredicate() &&
1280 !TID.OpInfo[OpIdx].isOptionalDef())
1281 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRdLoShift;
1282
1283 emitWordLE(Binary);
1284}
1285
Chris Lattner33fabd72010-02-02 21:48:51 +00001286void ARMCodeEmitter::emitExtendInstruction(const MachineInstr &MI) {
Evan Cheng97f48c32008-11-06 22:15:19 +00001287 const TargetInstrDesc &TID = MI.getDesc();
1288
1289 // Part of binary is determined by TableGn.
1290 unsigned Binary = getBinaryCodeForInstr(MI);
1291
1292 // Set the conditional execution predicate
1293 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1294
1295 unsigned OpIdx = 0;
1296
1297 // Encode Rd
1298 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
1299
1300 const MachineOperand &MO1 = MI.getOperand(OpIdx++);
1301 const MachineOperand &MO2 = MI.getOperand(OpIdx);
1302 if (MO2.isReg()) {
1303 // Two register operand form.
1304 // Encode Rn.
1305 Binary |= getMachineOpValue(MI, MO1) << ARMII::RegRnShift;
1306
1307 // Encode Rm.
1308 Binary |= getMachineOpValue(MI, MO2);
1309 ++OpIdx;
1310 } else {
1311 Binary |= getMachineOpValue(MI, MO1);
1312 }
1313
1314 // Encode rot imm (0, 8, 16, or 24) if it has a rotate immediate operand.
1315 if (MI.getOperand(OpIdx).isImm() &&
1316 !TID.OpInfo[OpIdx].isPredicate() &&
1317 !TID.OpInfo[OpIdx].isOptionalDef())
1318 Binary |= (getMachineOpValue(MI, OpIdx) / 8) << ARMII::ExtRotImmShift;
Evan Chengfbc9d412008-11-06 01:21:28 +00001319
Evan Cheng83b5cf02008-11-05 23:22:34 +00001320 emitWordLE(Binary);
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +00001321}
1322
Chris Lattner33fabd72010-02-02 21:48:51 +00001323void ARMCodeEmitter::emitMiscArithInstruction(const MachineInstr &MI) {
Evan Cheng8b59db32008-11-07 01:41:35 +00001324 const TargetInstrDesc &TID = MI.getDesc();
1325
1326 // Part of binary is determined by TableGn.
1327 unsigned Binary = getBinaryCodeForInstr(MI);
1328
1329 // Set the conditional execution predicate
1330 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1331
1332 unsigned OpIdx = 0;
1333
1334 // Encode Rd
1335 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
1336
1337 const MachineOperand &MO = MI.getOperand(OpIdx++);
1338 if (OpIdx == TID.getNumOperands() ||
1339 TID.OpInfo[OpIdx].isPredicate() ||
1340 TID.OpInfo[OpIdx].isOptionalDef()) {
1341 // Encode Rm and it's done.
1342 Binary |= getMachineOpValue(MI, MO);
1343 emitWordLE(Binary);
1344 return;
1345 }
1346
1347 // Encode Rn.
1348 Binary |= getMachineOpValue(MI, MO) << ARMII::RegRnShift;
1349
1350 // Encode Rm.
1351 Binary |= getMachineOpValue(MI, OpIdx++);
1352
1353 // Encode shift_imm.
1354 unsigned ShiftAmt = MI.getOperand(OpIdx).getImm();
Bob Wilsonf955f292010-08-17 17:23:19 +00001355 if (TID.Opcode == ARM::PKHTB) {
1356 assert(ShiftAmt != 0 && "PKHTB shift_imm is 0!");
1357 if (ShiftAmt == 32)
1358 ShiftAmt = 0;
1359 }
Evan Cheng8b59db32008-11-07 01:41:35 +00001360 assert(ShiftAmt < 32 && "shift_imm range is 0 to 31!");
1361 Binary |= ShiftAmt << ARMII::ShiftShift;
Jim Grosbach764ab522009-08-11 15:33:49 +00001362
Evan Cheng8b59db32008-11-07 01:41:35 +00001363 emitWordLE(Binary);
1364}
1365
Bob Wilson9a1c1892010-08-11 00:01:18 +00001366void ARMCodeEmitter::emitSaturateInstruction(const MachineInstr &MI) {
1367 const TargetInstrDesc &TID = MI.getDesc();
1368
1369 // Part of binary is determined by TableGen.
1370 unsigned Binary = getBinaryCodeForInstr(MI);
1371
1372 // Set the conditional execution predicate
1373 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1374
1375 // Encode Rd
1376 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
1377
1378 // Encode saturate bit position.
1379 unsigned Pos = MI.getOperand(1).getImm();
Bob Wilsoneaf1c982010-08-11 23:10:46 +00001380 if (TID.Opcode == ARM::SSAT || TID.Opcode == ARM::SSAT16)
Bob Wilson9a1c1892010-08-11 00:01:18 +00001381 Pos -= 1;
1382 assert((Pos < 16 || (Pos < 32 &&
1383 TID.Opcode != ARM::SSAT16 &&
1384 TID.Opcode != ARM::USAT16)) &&
1385 "saturate bit position out of range");
1386 Binary |= Pos << 16;
1387
1388 // Encode Rm
1389 Binary |= getMachineOpValue(MI, 2);
1390
1391 // Encode shift_imm.
1392 if (TID.getNumOperands() == 4) {
Bob Wilsoneaf1c982010-08-11 23:10:46 +00001393 unsigned ShiftOp = MI.getOperand(3).getImm();
1394 ARM_AM::ShiftOpc Opc = ARM_AM::getSORegShOp(ShiftOp);
1395 if (Opc == ARM_AM::asr)
1396 Binary |= (1 << 6);
Bob Wilson9a1c1892010-08-11 00:01:18 +00001397 unsigned ShiftAmt = MI.getOperand(3).getImm();
Bob Wilsoneaf1c982010-08-11 23:10:46 +00001398 if (ShiftAmt == 32 && Opc == ARM_AM::asr)
Bob Wilson9a1c1892010-08-11 00:01:18 +00001399 ShiftAmt = 0;
1400 assert(ShiftAmt < 32 && "shift_imm range is 0 to 31!");
1401 Binary |= ShiftAmt << ARMII::ShiftShift;
1402 }
1403
1404 emitWordLE(Binary);
1405}
1406
Chris Lattner33fabd72010-02-02 21:48:51 +00001407void ARMCodeEmitter::emitBranchInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +00001408 const TargetInstrDesc &TID = MI.getDesc();
1409
Torok Edwindac237e2009-07-08 20:53:28 +00001410 if (TID.Opcode == ARM::TPsoft) {
Torok Edwinc23197a2009-07-14 16:55:14 +00001411 llvm_unreachable("ARM::TPsoft FIXME"); // FIXME
Torok Edwindac237e2009-07-08 20:53:28 +00001412 }
Evan Cheng12c3a532008-11-06 17:48:05 +00001413
Evan Cheng7602e112008-09-02 06:52:38 +00001414 // Part of binary is determined by TableGn.
1415 unsigned Binary = getBinaryCodeForInstr(MI);
1416
Evan Chengedda31c2008-11-05 18:35:52 +00001417 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +00001418 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chengedda31c2008-11-05 18:35:52 +00001419
1420 // Set signed_immed_24 field
1421 Binary |= getMachineOpValue(MI, 0);
1422
Evan Cheng83b5cf02008-11-05 23:22:34 +00001423 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +00001424}
1425
Chris Lattner33fabd72010-02-02 21:48:51 +00001426void ARMCodeEmitter::emitInlineJumpTable(unsigned JTIndex) {
Evan Cheng4df60f52008-11-07 09:06:08 +00001427 // Remember the base address of the inline jump table.
Evan Cheng5788d1a2008-12-10 02:32:19 +00001428 uintptr_t JTBase = MCE.getCurrentPCValue();
Evan Cheng437c1732008-11-07 22:30:53 +00001429 JTI->addJumpTableBaseAddr(JTIndex, JTBase);
Chris Lattner893e1c92009-08-23 06:49:22 +00001430 DEBUG(errs() << " ** Jump Table #" << JTIndex << " @ " << (void*)JTBase
1431 << '\n');
Evan Cheng4df60f52008-11-07 09:06:08 +00001432
1433 // Now emit the jump table entries.
1434 const std::vector<MachineBasicBlock*> &MBBs = (*MJTEs)[JTIndex].MBBs;
1435 for (unsigned i = 0, e = MBBs.size(); i != e; ++i) {
1436 if (IsPIC)
1437 // DestBB address - JT base.
Evan Cheng437c1732008-11-07 22:30:53 +00001438 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_pic_jt, JTBase);
Evan Cheng4df60f52008-11-07 09:06:08 +00001439 else
1440 // Absolute DestBB address.
1441 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_absolute);
1442 emitWordLE(0);
1443 }
1444}
1445
Chris Lattner33fabd72010-02-02 21:48:51 +00001446void ARMCodeEmitter::emitMiscBranchInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +00001447 const TargetInstrDesc &TID = MI.getDesc();
Evan Chengedda31c2008-11-05 18:35:52 +00001448
Evan Cheng437c1732008-11-07 22:30:53 +00001449 // Handle jump tables.
Evan Cheng90daf4d2009-07-25 00:13:11 +00001450 if (TID.Opcode == ARM::BR_JTr || TID.Opcode == ARM::BR_JTadd) {
Evan Cheng437c1732008-11-07 22:30:53 +00001451 // First emit a ldr pc, [] instruction.
1452 emitDataProcessingInstruction(MI, ARM::PC);
1453
1454 // Then emit the inline jump table.
Evan Chengc9a41532009-07-08 00:05:05 +00001455 unsigned JTIndex =
Evan Cheng90daf4d2009-07-25 00:13:11 +00001456 (TID.Opcode == ARM::BR_JTr)
Evan Cheng437c1732008-11-07 22:30:53 +00001457 ? MI.getOperand(1).getIndex() : MI.getOperand(2).getIndex();
1458 emitInlineJumpTable(JTIndex);
1459 return;
Evan Cheng90daf4d2009-07-25 00:13:11 +00001460 } else if (TID.Opcode == ARM::BR_JTm) {
Evan Cheng4df60f52008-11-07 09:06:08 +00001461 // First emit a ldr pc, [] instruction.
1462 emitLoadStoreInstruction(MI, ARM::PC);
1463
1464 // Then emit the inline jump table.
Evan Cheng437c1732008-11-07 22:30:53 +00001465 emitInlineJumpTable(MI.getOperand(3).getIndex());
Evan Cheng4df60f52008-11-07 09:06:08 +00001466 return;
1467 }
1468
Evan Chengedda31c2008-11-05 18:35:52 +00001469 // Part of binary is determined by TableGn.
1470 unsigned Binary = getBinaryCodeForInstr(MI);
1471
1472 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +00001473 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chengedda31c2008-11-05 18:35:52 +00001474
Anton Korobeynikovce7bf1c2010-03-06 19:39:36 +00001475 if (TID.Opcode == ARM::BX_RET || TID.Opcode == ARM::MOVPCLR)
Evan Chengedda31c2008-11-05 18:35:52 +00001476 // The return register is LR.
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +00001477 Binary |= getARMRegisterNumbering(ARM::LR);
Jim Grosbach764ab522009-08-11 15:33:49 +00001478 else
Evan Chengedda31c2008-11-05 18:35:52 +00001479 // otherwise, set the return register
1480 Binary |= getMachineOpValue(MI, 0);
1481
Evan Cheng83b5cf02008-11-05 23:22:34 +00001482 emitWordLE(Binary);
Evan Cheng148b6a42007-07-05 21:15:40 +00001483}
Evan Cheng7602e112008-09-02 06:52:38 +00001484
Evan Cheng80a11982008-11-12 06:41:41 +00001485static unsigned encodeVFPRd(const MachineInstr &MI, unsigned OpIdx) {
Evan Chengd06d48d2008-11-12 02:19:38 +00001486 unsigned RegD = MI.getOperand(OpIdx).getReg();
Evan Cheng80a11982008-11-12 06:41:41 +00001487 unsigned Binary = 0;
Jim Grosbach7e2c04f2010-09-15 19:44:57 +00001488 bool isSPVFP = ARM::SPRRegisterClass->contains(RegD);
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +00001489 RegD = getARMRegisterNumbering(RegD);
Evan Chengd06d48d2008-11-12 02:19:38 +00001490 if (!isSPVFP)
1491 Binary |= RegD << ARMII::RegRdShift;
1492 else {
1493 Binary |= ((RegD & 0x1E) >> 1) << ARMII::RegRdShift;
1494 Binary |= (RegD & 0x01) << ARMII::D_BitShift;
1495 }
Evan Cheng80a11982008-11-12 06:41:41 +00001496 return Binary;
1497}
Evan Cheng78be83d2008-11-11 19:40:26 +00001498
Evan Cheng80a11982008-11-12 06:41:41 +00001499static unsigned encodeVFPRn(const MachineInstr &MI, unsigned OpIdx) {
Evan Chengd06d48d2008-11-12 02:19:38 +00001500 unsigned RegN = MI.getOperand(OpIdx).getReg();
Evan Cheng80a11982008-11-12 06:41:41 +00001501 unsigned Binary = 0;
Jim Grosbach7e2c04f2010-09-15 19:44:57 +00001502 bool isSPVFP = ARM::SPRRegisterClass->contains(RegN);
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +00001503 RegN = getARMRegisterNumbering(RegN);
Evan Chengd06d48d2008-11-12 02:19:38 +00001504 if (!isSPVFP)
1505 Binary |= RegN << ARMII::RegRnShift;
1506 else {
1507 Binary |= ((RegN & 0x1E) >> 1) << ARMII::RegRnShift;
1508 Binary |= (RegN & 0x01) << ARMII::N_BitShift;
1509 }
Evan Cheng80a11982008-11-12 06:41:41 +00001510 return Binary;
1511}
Evan Chengd06d48d2008-11-12 02:19:38 +00001512
Evan Cheng80a11982008-11-12 06:41:41 +00001513static unsigned encodeVFPRm(const MachineInstr &MI, unsigned OpIdx) {
1514 unsigned RegM = MI.getOperand(OpIdx).getReg();
1515 unsigned Binary = 0;
Jim Grosbach7e2c04f2010-09-15 19:44:57 +00001516 bool isSPVFP = ARM::SPRRegisterClass->contains(RegM);
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +00001517 RegM = getARMRegisterNumbering(RegM);
Evan Cheng80a11982008-11-12 06:41:41 +00001518 if (!isSPVFP)
1519 Binary |= RegM;
1520 else {
1521 Binary |= ((RegM & 0x1E) >> 1);
1522 Binary |= (RegM & 0x01) << ARMII::M_BitShift;
Evan Cheng78be83d2008-11-11 19:40:26 +00001523 }
Evan Cheng80a11982008-11-12 06:41:41 +00001524 return Binary;
1525}
1526
Chris Lattner33fabd72010-02-02 21:48:51 +00001527void ARMCodeEmitter::emitVFPArithInstruction(const MachineInstr &MI) {
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001528 const TargetInstrDesc &TID = MI.getDesc();
1529
1530 // Part of binary is determined by TableGn.
1531 unsigned Binary = getBinaryCodeForInstr(MI);
1532
1533 // Set the conditional execution predicate
1534 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1535
1536 unsigned OpIdx = 0;
1537 assert((Binary & ARMII::D_BitShift) == 0 &&
1538 (Binary & ARMII::N_BitShift) == 0 &&
1539 (Binary & ARMII::M_BitShift) == 0 && "VFP encoding bug!");
1540
1541 // Encode Dd / Sd.
1542 Binary |= encodeVFPRd(MI, OpIdx++);
1543
1544 // If this is a two-address operand, skip it, e.g. FMACD.
1545 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1546 ++OpIdx;
1547
1548 // Encode Dn / Sn.
1549 if ((TID.TSFlags & ARMII::FormMask) == ARMII::VFPBinaryFrm)
Evan Cheng3f4924e2008-11-12 08:14:21 +00001550 Binary |= encodeVFPRn(MI, OpIdx++);
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001551
1552 if (OpIdx == TID.getNumOperands() ||
1553 TID.OpInfo[OpIdx].isPredicate() ||
1554 TID.OpInfo[OpIdx].isOptionalDef()) {
1555 // FCMPEZD etc. has only one operand.
1556 emitWordLE(Binary);
1557 return;
1558 }
1559
1560 // Encode Dm / Sm.
1561 Binary |= encodeVFPRm(MI, OpIdx);
Jim Grosbach764ab522009-08-11 15:33:49 +00001562
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001563 emitWordLE(Binary);
1564}
1565
Bob Wilson87949d42010-03-17 21:16:45 +00001566void ARMCodeEmitter::emitVFPConversionInstruction(const MachineInstr &MI) {
Evan Cheng80a11982008-11-12 06:41:41 +00001567 const TargetInstrDesc &TID = MI.getDesc();
1568 unsigned Form = TID.TSFlags & ARMII::FormMask;
1569
1570 // Part of binary is determined by TableGn.
1571 unsigned Binary = getBinaryCodeForInstr(MI);
1572
1573 // Set the conditional execution predicate
1574 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1575
1576 switch (Form) {
1577 default: break;
1578 case ARMII::VFPConv1Frm:
1579 case ARMII::VFPConv2Frm:
1580 case ARMII::VFPConv3Frm:
1581 // Encode Dd / Sd.
1582 Binary |= encodeVFPRd(MI, 0);
1583 break;
1584 case ARMII::VFPConv4Frm:
1585 // Encode Dn / Sn.
1586 Binary |= encodeVFPRn(MI, 0);
1587 break;
1588 case ARMII::VFPConv5Frm:
1589 // Encode Dm / Sm.
1590 Binary |= encodeVFPRm(MI, 0);
1591 break;
1592 }
1593
1594 switch (Form) {
1595 default: break;
1596 case ARMII::VFPConv1Frm:
1597 // Encode Dm / Sm.
1598 Binary |= encodeVFPRm(MI, 1);
Evan Cheng67fd91f2008-11-13 07:46:59 +00001599 break;
Evan Cheng80a11982008-11-12 06:41:41 +00001600 case ARMII::VFPConv2Frm:
1601 case ARMII::VFPConv3Frm:
1602 // Encode Dn / Sn.
1603 Binary |= encodeVFPRn(MI, 1);
1604 break;
1605 case ARMII::VFPConv4Frm:
1606 case ARMII::VFPConv5Frm:
1607 // Encode Dd / Sd.
1608 Binary |= encodeVFPRd(MI, 1);
1609 break;
1610 }
1611
1612 if (Form == ARMII::VFPConv5Frm)
1613 // Encode Dn / Sn.
1614 Binary |= encodeVFPRn(MI, 2);
1615 else if (Form == ARMII::VFPConv3Frm)
1616 // Encode Dm / Sm.
1617 Binary |= encodeVFPRm(MI, 2);
Evan Cheng78be83d2008-11-11 19:40:26 +00001618
1619 emitWordLE(Binary);
1620}
1621
Chris Lattner33fabd72010-02-02 21:48:51 +00001622void ARMCodeEmitter::emitVFPLoadStoreInstruction(const MachineInstr &MI) {
Evan Chengcd8e66a2008-11-11 21:48:44 +00001623 // Part of binary is determined by TableGn.
1624 unsigned Binary = getBinaryCodeForInstr(MI);
1625
1626 // Set the conditional execution predicate
1627 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1628
1629 unsigned OpIdx = 0;
1630
1631 // Encode Dd / Sd.
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001632 Binary |= encodeVFPRd(MI, OpIdx++);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001633
1634 // Encode address base.
1635 const MachineOperand &Base = MI.getOperand(OpIdx++);
1636 Binary |= getMachineOpValue(MI, Base) << ARMII::RegRnShift;
1637
1638 // If there is a non-zero immediate offset, encode it.
1639 if (Base.isReg()) {
1640 const MachineOperand &Offset = MI.getOperand(OpIdx);
1641 if (unsigned ImmOffs = ARM_AM::getAM5Offset(Offset.getImm())) {
1642 if (ARM_AM::getAM5Op(Offset.getImm()) == ARM_AM::add)
1643 Binary |= 1 << ARMII::U_BitShift;
Evan Cheng607f1b42008-11-12 08:21:12 +00001644 Binary |= ImmOffs;
Evan Chengcd8e66a2008-11-11 21:48:44 +00001645 emitWordLE(Binary);
1646 return;
1647 }
1648 }
1649
1650 // If immediate offset is omitted, default to +0.
1651 Binary |= 1 << ARMII::U_BitShift;
1652
1653 emitWordLE(Binary);
1654}
1655
Bob Wilson87949d42010-03-17 21:16:45 +00001656void
1657ARMCodeEmitter::emitVFPLoadStoreMultipleInstruction(const MachineInstr &MI) {
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001658 const TargetInstrDesc &TID = MI.getDesc();
1659 bool IsUpdating = (TID.TSFlags & ARMII::IndexModeMask) != 0;
1660
Evan Chengcd8e66a2008-11-11 21:48:44 +00001661 // Part of binary is determined by TableGn.
1662 unsigned Binary = getBinaryCodeForInstr(MI);
1663
1664 // Set the conditional execution predicate
1665 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1666
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001667 // Skip operand 0 of an instruction with base register update.
1668 unsigned OpIdx = 0;
1669 if (IsUpdating)
1670 ++OpIdx;
1671
Evan Chengcd8e66a2008-11-11 21:48:44 +00001672 // Set base address operand
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001673 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Chengcd8e66a2008-11-11 21:48:44 +00001674
1675 // Set addressing mode by modifying bits U(23) and P(24)
Bill Wendling2567eec2010-11-17 05:31:09 +00001676 ARM_AM::AMSubMode Mode = ARM_AM::getLoadStoreMultipleSubMode(MI.getOpcode());
1677 Binary |= getAddrModeUPBits(ARM_AM::getAM4SubMode(Mode));
Evan Chengcd8e66a2008-11-11 21:48:44 +00001678
1679 // Set bit W(21)
Bob Wilson2d357f62010-03-16 18:38:09 +00001680 if (IsUpdating)
Evan Chengcd8e66a2008-11-11 21:48:44 +00001681 Binary |= 0x1 << ARMII::W_BitShift;
1682
1683 // First register is encoded in Dd.
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001684 Binary |= encodeVFPRd(MI, OpIdx+2);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001685
Bob Wilsond4bfd542010-08-27 23:18:17 +00001686 // Count the number of registers.
Evan Chengcd8e66a2008-11-11 21:48:44 +00001687 unsigned NumRegs = 1;
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001688 for (unsigned i = OpIdx+3, e = MI.getNumOperands(); i != e; ++i) {
Evan Chengcd8e66a2008-11-11 21:48:44 +00001689 const MachineOperand &MO = MI.getOperand(i);
1690 if (!MO.isReg() || MO.isImplicit())
1691 break;
1692 ++NumRegs;
1693 }
Shih-wei Liao5170b712010-05-26 00:02:28 +00001694 // Bit 8 will be set if <list> is consecutive 64-bit registers (e.g., D0)
1695 // Otherwise, it will be 0, in the case of 32-bit registers.
1696 if(Binary & 0x100)
1697 Binary |= NumRegs * 2;
1698 else
1699 Binary |= NumRegs;
Evan Chengcd8e66a2008-11-11 21:48:44 +00001700
1701 emitWordLE(Binary);
1702}
1703
Bob Wilson1a913ed2010-06-11 21:34:50 +00001704static unsigned encodeNEONRd(const MachineInstr &MI, unsigned OpIdx) {
1705 unsigned RegD = MI.getOperand(OpIdx).getReg();
1706 unsigned Binary = 0;
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +00001707 RegD = getARMRegisterNumbering(RegD);
Bob Wilson1a913ed2010-06-11 21:34:50 +00001708 Binary |= (RegD & 0xf) << ARMII::RegRdShift;
1709 Binary |= ((RegD >> 4) & 1) << ARMII::D_BitShift;
1710 return Binary;
1711}
1712
Bob Wilson5e7b6072010-06-25 22:40:46 +00001713static unsigned encodeNEONRn(const MachineInstr &MI, unsigned OpIdx) {
1714 unsigned RegN = MI.getOperand(OpIdx).getReg();
1715 unsigned Binary = 0;
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +00001716 RegN = getARMRegisterNumbering(RegN);
Bob Wilson5e7b6072010-06-25 22:40:46 +00001717 Binary |= (RegN & 0xf) << ARMII::RegRnShift;
1718 Binary |= ((RegN >> 4) & 1) << ARMII::N_BitShift;
1719 return Binary;
1720}
1721
Bob Wilson583a2a02010-06-25 21:17:19 +00001722static unsigned encodeNEONRm(const MachineInstr &MI, unsigned OpIdx) {
1723 unsigned RegM = MI.getOperand(OpIdx).getReg();
1724 unsigned Binary = 0;
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +00001725 RegM = getARMRegisterNumbering(RegM);
Bob Wilson583a2a02010-06-25 21:17:19 +00001726 Binary |= (RegM & 0xf);
1727 Binary |= ((RegM >> 4) & 1) << ARMII::M_BitShift;
1728 return Binary;
1729}
1730
Bob Wilsond896a972010-06-28 21:12:19 +00001731/// convertNEONDataProcToThumb - Convert the ARM mode encoding for a NEON
1732/// data-processing instruction to the corresponding Thumb encoding.
1733static unsigned convertNEONDataProcToThumb(unsigned Binary) {
1734 assert((Binary & 0xfe000000) == 0xf2000000 &&
1735 "not an ARM NEON data-processing instruction");
1736 unsigned UBit = (Binary >> 24) & 1;
1737 return 0xef000000 | (UBit << 28) | (Binary & 0xffffff);
1738}
1739
Bob Wilsond5a563d2010-06-29 17:34:07 +00001740void ARMCodeEmitter::emitNEONLaneInstruction(const MachineInstr &MI) {
Bob Wilson52e4a0a2010-06-26 04:07:15 +00001741 unsigned Binary = getBinaryCodeForInstr(MI);
1742
Bob Wilsond5a563d2010-06-29 17:34:07 +00001743 unsigned RegTOpIdx, RegNOpIdx, LnOpIdx;
1744 const TargetInstrDesc &TID = MI.getDesc();
1745 if ((TID.TSFlags & ARMII::FormMask) == ARMII::NGetLnFrm) {
1746 RegTOpIdx = 0;
1747 RegNOpIdx = 1;
1748 LnOpIdx = 2;
1749 } else { // ARMII::NSetLnFrm
1750 RegTOpIdx = 2;
1751 RegNOpIdx = 0;
1752 LnOpIdx = 3;
1753 }
1754
Bob Wilson52e4a0a2010-06-26 04:07:15 +00001755 // Set the conditional execution predicate
Bob Wilson5cdede42010-06-29 00:26:13 +00001756 Binary |= (IsThumb ? ARMCC::AL : II->getPredicate(&MI)) << ARMII::CondShift;
Bob Wilson52e4a0a2010-06-26 04:07:15 +00001757
Bob Wilsond5a563d2010-06-29 17:34:07 +00001758 unsigned RegT = MI.getOperand(RegTOpIdx).getReg();
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +00001759 RegT = getARMRegisterNumbering(RegT);
Bob Wilson52e4a0a2010-06-26 04:07:15 +00001760 Binary |= (RegT << ARMII::RegRdShift);
Bob Wilsond5a563d2010-06-29 17:34:07 +00001761 Binary |= encodeNEONRn(MI, RegNOpIdx);
Bob Wilson52e4a0a2010-06-26 04:07:15 +00001762
1763 unsigned LaneShift;
1764 if ((Binary & (1 << 22)) != 0)
1765 LaneShift = 0; // 8-bit elements
1766 else if ((Binary & (1 << 5)) != 0)
1767 LaneShift = 1; // 16-bit elements
1768 else
1769 LaneShift = 2; // 32-bit elements
1770
Bob Wilsond5a563d2010-06-29 17:34:07 +00001771 unsigned Lane = MI.getOperand(LnOpIdx).getImm() << LaneShift;
Bob Wilson52e4a0a2010-06-26 04:07:15 +00001772 unsigned Opc1 = Lane >> 2;
1773 unsigned Opc2 = Lane & 3;
1774 assert((Opc1 & 3) == 0 && "out-of-range lane number operand");
1775 Binary |= (Opc1 << 21);
1776 Binary |= (Opc2 << 5);
1777
1778 emitWordLE(Binary);
1779}
1780
Bob Wilson21773e72010-06-29 20:13:29 +00001781void ARMCodeEmitter::emitNEONDupInstruction(const MachineInstr &MI) {
1782 unsigned Binary = getBinaryCodeForInstr(MI);
1783
1784 // Set the conditional execution predicate
1785 Binary |= (IsThumb ? ARMCC::AL : II->getPredicate(&MI)) << ARMII::CondShift;
1786
1787 unsigned RegT = MI.getOperand(1).getReg();
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +00001788 RegT = getARMRegisterNumbering(RegT);
Bob Wilson21773e72010-06-29 20:13:29 +00001789 Binary |= (RegT << ARMII::RegRdShift);
1790 Binary |= encodeNEONRn(MI, 0);
1791 emitWordLE(Binary);
1792}
1793
Bob Wilson583a2a02010-06-25 21:17:19 +00001794void ARMCodeEmitter::emitNEON1RegModImmInstruction(const MachineInstr &MI) {
Bob Wilson1a913ed2010-06-11 21:34:50 +00001795 unsigned Binary = getBinaryCodeForInstr(MI);
1796 // Destination register is encoded in Dd.
1797 Binary |= encodeNEONRd(MI, 0);
1798 // Immediate fields: Op, Cmode, I, Imm3, Imm4
1799 unsigned Imm = MI.getOperand(1).getImm();
1800 unsigned Op = (Imm >> 12) & 1;
Bob Wilson1a913ed2010-06-11 21:34:50 +00001801 unsigned Cmode = (Imm >> 8) & 0xf;
Bob Wilson1a913ed2010-06-11 21:34:50 +00001802 unsigned I = (Imm >> 7) & 1;
Bob Wilson1a913ed2010-06-11 21:34:50 +00001803 unsigned Imm3 = (Imm >> 4) & 0x7;
Bob Wilson1a913ed2010-06-11 21:34:50 +00001804 unsigned Imm4 = Imm & 0xf;
Bob Wilson08baddb2010-06-28 21:16:30 +00001805 Binary |= (I << 24) | (Imm3 << 16) | (Cmode << 8) | (Op << 5) | Imm4;
Bob Wilson62d24a42010-06-28 22:23:17 +00001806 if (IsThumb)
Bob Wilsond896a972010-06-28 21:12:19 +00001807 Binary = convertNEONDataProcToThumb(Binary);
Bob Wilson1a913ed2010-06-11 21:34:50 +00001808 emitWordLE(Binary);
1809}
1810
Bob Wilson583a2a02010-06-25 21:17:19 +00001811void ARMCodeEmitter::emitNEON2RegInstruction(const MachineInstr &MI) {
Bob Wilson5e7b6072010-06-25 22:40:46 +00001812 const TargetInstrDesc &TID = MI.getDesc();
Bob Wilson583a2a02010-06-25 21:17:19 +00001813 unsigned Binary = getBinaryCodeForInstr(MI);
Bob Wilson5e7b6072010-06-25 22:40:46 +00001814 // Destination register is encoded in Dd; source register in Dm.
1815 unsigned OpIdx = 0;
1816 Binary |= encodeNEONRd(MI, OpIdx++);
1817 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1818 ++OpIdx;
1819 Binary |= encodeNEONRm(MI, OpIdx);
Bob Wilson62d24a42010-06-28 22:23:17 +00001820 if (IsThumb)
Bob Wilsond896a972010-06-28 21:12:19 +00001821 Binary = convertNEONDataProcToThumb(Binary);
Bob Wilson583a2a02010-06-25 21:17:19 +00001822 // FIXME: This does not handle VDUPfdf or VDUPfqf.
1823 emitWordLE(Binary);
1824}
1825
Bob Wilson5e7b6072010-06-25 22:40:46 +00001826void ARMCodeEmitter::emitNEON3RegInstruction(const MachineInstr &MI) {
1827 const TargetInstrDesc &TID = MI.getDesc();
1828 unsigned Binary = getBinaryCodeForInstr(MI);
1829 // Destination register is encoded in Dd; source registers in Dn and Dm.
1830 unsigned OpIdx = 0;
1831 Binary |= encodeNEONRd(MI, OpIdx++);
1832 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1833 ++OpIdx;
1834 Binary |= encodeNEONRn(MI, OpIdx++);
1835 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1836 ++OpIdx;
1837 Binary |= encodeNEONRm(MI, OpIdx);
Bob Wilson62d24a42010-06-28 22:23:17 +00001838 if (IsThumb)
Bob Wilsond896a972010-06-28 21:12:19 +00001839 Binary = convertNEONDataProcToThumb(Binary);
Bob Wilson5e7b6072010-06-25 22:40:46 +00001840 // FIXME: This does not handle VMOVDneon or VMOVQ.
1841 emitWordLE(Binary);
1842}
1843
Evan Cheng7602e112008-09-02 06:52:38 +00001844#include "ARMGenCodeEmitter.inc"