blob: 5e302ae28136c95dc2ee9f2081fef1b8be06e273 [file] [log] [blame]
Jim Grosbach00351b72010-10-08 17:28:40 +00001//===-- ARM/ARMCodeEmitter.cpp - Convert ARM code to machine code ---------===//
Evan Cheng9546a5c2007-07-05 21:15:40 +00002//
3// The LLVM Compiler Infrastructure
4//
Chris Lattnerf3ebc3f2007-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 Cheng9546a5c2007-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 Cheng19d64ba2008-10-29 23:55:43 +000015#define DEBUG_TYPE "jit"
Evan Cheng3be5b722008-09-02 06:52:38 +000016#include "ARM.h"
17#include "ARMAddressingModes.h"
Evan Cheng19d64ba2008-10-29 23:55:43 +000018#include "ARMConstantPoolValue.h"
Evan Cheng9546a5c2007-07-05 21:15:40 +000019#include "ARMInstrInfo.h"
Evan Cheng3be5b722008-09-02 06:52:38 +000020#include "ARMRelocations.h"
Evan Cheng9546a5c2007-07-05 21:15:40 +000021#include "ARMSubtarget.h"
22#include "ARMTargetMachine.h"
Jim Grosbachff2b4942008-10-28 18:25:49 +000023#include "llvm/Constants.h"
24#include "llvm/DerivedTypes.h"
Evan Cheng25a39092008-09-13 01:15:21 +000025#include "llvm/Function.h"
Evan Cheng9546a5c2007-07-05 21:15:40 +000026#include "llvm/PassManager.h"
Bruno Cardoso Lopesa194c3a2009-05-30 20:51:52 +000027#include "llvm/CodeGen/JITCodeEmitter.h"
Evan Cheng933b3922008-09-18 07:28:19 +000028#include "llvm/CodeGen/MachineConstantPool.h"
Evan Cheng9546a5c2007-07-05 21:15:40 +000029#include "llvm/CodeGen/MachineFunctionPass.h"
30#include "llvm/CodeGen/MachineInstr.h"
Evan Cheng7095cd22008-11-07 09:06:08 +000031#include "llvm/CodeGen/MachineJumpTableInfo.h"
Daniel Dunbarbc528b12009-09-21 05:58:35 +000032#include "llvm/CodeGen/MachineModuleInfo.h"
Evan Cheng9546a5c2007-07-05 21:15:40 +000033#include "llvm/CodeGen/Passes.h"
Evan Cheng9546a5c2007-07-05 21:15:40 +000034#include "llvm/ADT/Statistic.h"
Evan Cheng25a39092008-09-13 01:15:21 +000035#include "llvm/Support/Debug.h"
Torok Edwin6dd27302009-07-08 18:01:40 +000036#include "llvm/Support/ErrorHandling.h"
37#include "llvm/Support/raw_ostream.h"
Evan Cheng7095cd22008-11-07 09:06:08 +000038#ifndef NDEBUG
39#include <iomanip>
40#endif
Evan Cheng9546a5c2007-07-05 21:15:40 +000041using namespace llvm;
42
43STATISTIC(NumEmitted, "Number of machine instructions emitted");
44
45namespace {
Bruno Cardoso Lopesa194c3a2009-05-30 20:51:52 +000046
Chris Lattner8d806872010-02-02 21:48:51 +000047 class ARMCodeEmitter : public MachineFunctionPass {
Evan Cheng933b3922008-09-18 07:28:19 +000048 ARMJITInfo *JTI;
49 const ARMInstrInfo *II;
50 const TargetData *TD;
Evan Chengf6b24042009-09-10 01:23:53 +000051 const ARMSubtarget *Subtarget;
Evan Cheng933b3922008-09-18 07:28:19 +000052 TargetMachine &TM;
Chris Lattner8d806872010-02-02 21:48:51 +000053 JITCodeEmitter &MCE;
Chris Lattner34adc8d2010-03-14 01:41:15 +000054 MachineModuleInfo *MMI;
Evan Cheng20dbb3b2008-10-31 19:55:13 +000055 const std::vector<MachineConstantPoolEntry> *MCPEs;
Evan Cheng7095cd22008-11-07 09:06:08 +000056 const std::vector<MachineJumpTableEntry> *MJTEs;
57 bool IsPIC;
Bob Wilson4469a892010-06-28 22:23:17 +000058 bool IsThumb;
Bob Wilsona6fe21a2010-03-17 21:16:45 +000059
Daniel Dunbarbc528b12009-09-21 05:58:35 +000060 void getAnalysisUsage(AnalysisUsage &AU) const {
61 AU.addRequired<MachineModuleInfo>();
62 MachineFunctionPass::getAnalysisUsage(AU);
63 }
Bob Wilsona6fe21a2010-03-17 21:16:45 +000064
Evan Cheng9546a5c2007-07-05 21:15:40 +000065 static char ID;
Chris Lattner8d806872010-02-02 21:48:51 +000066 public:
67 ARMCodeEmitter(TargetMachine &tm, JITCodeEmitter &mce)
Owen Andersona7aed182010-08-06 18:33:48 +000068 : MachineFunctionPass(ID), JTI(0),
Dan Gohman1f0f2142010-04-17 17:42:52 +000069 II((const ARMInstrInfo *)tm.getInstrInfo()),
Chris Lattner8d806872010-02-02 21:48:51 +000070 TD(tm.getTargetData()), TM(tm),
Bob Wilson4469a892010-06-28 22:23:17 +000071 MCE(mce), MCPEs(0), MJTEs(0),
72 IsPIC(TM.getRelocationModel() == Reloc::PIC_), IsThumb(false) {}
Bob Wilsona6fe21a2010-03-17 21:16:45 +000073
Chris Lattner8d806872010-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 Grosbacha7b6d582010-10-08 00:21:28 +000077 unsigned getBinaryCodeForInstr(const MachineInstr &MI) const;
Evan Cheng9546a5c2007-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 Cheng3be5b722008-09-02 06:52:38 +000086
87 private:
Evan Cheng933b3922008-09-18 07:28:19 +000088
Evan Chengfd2adbf2008-11-05 23:22:34 +000089 void emitWordLE(unsigned Binary);
Evan Chengad519bb2008-11-11 22:19:31 +000090 void emitDWordLE(uint64_t Binary);
Evan Cheng933b3922008-09-18 07:28:19 +000091 void emitConstPoolInstruction(const MachineInstr &MI);
Zonr Chang2da5aa12010-05-25 08:42:45 +000092 void emitMOVi32immInstruction(const MachineInstr &MI);
Evan Chengb870fd82008-11-06 02:25:39 +000093 void emitMOVi2piecesInstruction(const MachineInstr &MI);
Evan Cheng7095cd22008-11-07 09:06:08 +000094 void emitLEApcrelJTInstruction(const MachineInstr &MI);
Evan Cheng30f6f8f2008-11-14 20:09:11 +000095 void emitPseudoMoveInstruction(const MachineInstr &MI);
Evan Chengfd2adbf2008-11-05 23:22:34 +000096 void addPCLabel(unsigned LabelID);
Evan Cheng933b3922008-09-18 07:28:19 +000097 void emitPseudoInstruction(const MachineInstr &MI);
Evan Cheng33fa89c6f2008-09-12 22:01:15 +000098 unsigned getMachineSoRegOpValue(const MachineInstr &MI,
Evan Chengd1424c42008-09-12 22:45:55 +000099 const TargetInstrDesc &TID,
Evan Cheng467e6e82008-10-31 19:10:44 +0000100 const MachineOperand &MO,
Evan Cheng33fa89c6f2008-09-12 22:01:15 +0000101 unsigned OpIdx);
102
Evan Chengb870fd82008-11-06 02:25:39 +0000103 unsigned getMachineSoImmOpValue(unsigned SoImm);
Jim Grosbach4d0549e2008-11-03 18:38:31 +0000104 unsigned getAddrModeSBit(const MachineInstr &MI,
105 const TargetInstrDesc &TID) const;
Evan Chengd1424c42008-09-12 22:45:55 +0000106
Evan Chengfd2adbf2008-11-05 23:22:34 +0000107 void emitDataProcessingInstruction(const MachineInstr &MI,
Evan Cheng8467e242008-11-07 22:30:53 +0000108 unsigned ImplicitRd = 0,
Evan Chengfd2adbf2008-11-05 23:22:34 +0000109 unsigned ImplicitRn = 0);
Evan Cheng3be5b722008-09-02 06:52:38 +0000110
Evan Chengfd2adbf2008-11-05 23:22:34 +0000111 void emitLoadStoreInstruction(const MachineInstr &MI,
Evan Cheng7095cd22008-11-07 09:06:08 +0000112 unsigned ImplicitRd = 0,
Evan Chengfd2adbf2008-11-05 23:22:34 +0000113 unsigned ImplicitRn = 0);
Evan Cheng81889d012008-11-05 18:35:52 +0000114
Evan Chengfd2adbf2008-11-05 23:22:34 +0000115 void emitMiscLoadStoreInstruction(const MachineInstr &MI,
116 unsigned ImplicitRn = 0);
Evan Cheng81889d012008-11-05 18:35:52 +0000117
118 void emitLoadStoreMultipleInstruction(const MachineInstr &MI);
119
Evan Cheng2686c8f2008-11-06 01:21:28 +0000120 void emitMulFrmInstruction(const MachineInstr &MI);
Evan Cheng81889d012008-11-05 18:35:52 +0000121
Evan Cheng49d66522008-11-06 22:15:19 +0000122 void emitExtendInstruction(const MachineInstr &MI);
123
Evan Cheng98dc53e2008-11-07 01:41:35 +0000124 void emitMiscArithInstruction(const MachineInstr &MI);
125
Bob Wilson96649842010-08-11 00:01:18 +0000126 void emitSaturateInstruction(const MachineInstr &MI);
127
Evan Cheng81889d012008-11-05 18:35:52 +0000128 void emitBranchInstruction(const MachineInstr &MI);
129
Evan Cheng8467e242008-11-07 22:30:53 +0000130 void emitInlineJumpTable(unsigned JTIndex);
Evan Cheng7095cd22008-11-07 09:06:08 +0000131
Evan Cheng81889d012008-11-05 18:35:52 +0000132 void emitMiscBranchInstruction(const MachineInstr &MI);
Evan Cheng3be5b722008-09-02 06:52:38 +0000133
Evan Chengac2af2f2008-11-11 02:11:05 +0000134 void emitVFPArithInstruction(const MachineInstr &MI);
135
Evan Cheng38c9a142008-11-11 19:40:26 +0000136 void emitVFPConversionInstruction(const MachineInstr &MI);
137
Evan Cheng8cbbcb12008-11-11 21:48:44 +0000138 void emitVFPLoadStoreInstruction(const MachineInstr &MI);
139
140 void emitVFPLoadStoreMultipleInstruction(const MachineInstr &MI);
141
Bob Wilsonab0819e2010-06-29 17:34:07 +0000142 void emitNEONLaneInstruction(const MachineInstr &MI);
Bob Wilsonbe157b02010-06-29 20:13:29 +0000143 void emitNEONDupInstruction(const MachineInstr &MI);
Bob Wilsone70c8b12010-06-25 21:17:19 +0000144 void emitNEON1RegModImmInstruction(const MachineInstr &MI);
145 void emitNEON2RegInstruction(const MachineInstr &MI);
Bob Wilson2530ca02010-06-25 22:40:46 +0000146 void emitNEON3RegInstruction(const MachineInstr &MI);
Bob Wilson6eae5202010-06-11 21:34:50 +0000147
Evan Cheng3be5b722008-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 Grosbachb770c002010-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 Cheng3be5b722008-09-02 06:52:38 +0000153 return getMachineOpValue(MI, MI.getOperand(OpIdx));
154 }
Evan Cheng3be5b722008-09-02 06:52:38 +0000155
Jim Grosbachd9d31da2010-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 Anderson7ffe3b32010-11-11 19:07:48 +0000164 unsigned NEONThumb2DataIPostEncoder(const MachineInstr &MI, unsigned Val)
165 const { return 0; }
Owen Anderson99a8cb42010-11-11 21:36:43 +0000166 unsigned NEONThumb2LoadStorePostEncoder(const MachineInstr &MI,unsigned Val)
167 const { return 0; }
Owen Andersonce2250f2010-11-11 23:12:55 +0000168 unsigned NEONThumb2DupPostEncoder(const MachineInstr &MI,unsigned Val)
169 const { return 0; }
Bill Wendling87240d42010-12-01 21:54:50 +0000170 unsigned VFPThumb2PostEncoder(const MachineInstr&MI, unsigned Val)
171 const { return 0; }
Jim Grosbachdc35e062010-12-01 19:47:31 +0000172 unsigned getAdrLabelOpValue(const MachineInstr &MI, unsigned Op)
173 const { return 0; }
Jim Grosbach9e199462010-12-06 23:57:07 +0000174 unsigned getThumbBLTargetOpValue(const MachineInstr &MI, unsigned Op)
175 const { return 0; }
Bill Wendling3392bfc2010-12-09 00:39:08 +0000176 unsigned getThumbBLXTargetOpValue(const MachineInstr &MI, unsigned Op)
177 const { return 0; }
Jim Grosbache119da12010-12-10 18:21:33 +0000178 unsigned getThumbBRTargetOpValue(const MachineInstr &MI, unsigned Op)
179 const { return 0; }
Jim Grosbach78485ad2010-12-10 17:13:40 +0000180 unsigned getThumbBCCTargetOpValue(const MachineInstr &MI, unsigned Op)
181 const { return 0; }
Jim Grosbach62b68112010-12-09 19:04:53 +0000182 unsigned getThumbCBTargetOpValue(const MachineInstr &MI, unsigned Op)
Bill Wendlinga7d6aa92010-12-08 23:01:43 +0000183 const { return 0; }
Jim Grosbach9d6d77a2010-11-11 18:04:49 +0000184 unsigned getBranchTargetOpValue(const MachineInstr &MI, unsigned Op)
185 const { return 0; }
Owen Anderson578074b2010-12-13 19:31:11 +0000186 unsigned getUnconditionalBranchTargetOpValue(const MachineInstr &MI,
187 unsigned Op) const { return 0; }
Jim Grosbachd9d31da2010-10-12 23:00:24 +0000188 unsigned getCCOutOpValue(const MachineInstr &MI, unsigned Op)
189 const { return 0; }
Jim Grosbach12e493a2010-10-12 23:18:08 +0000190 unsigned getSOImmOpValue(const MachineInstr &MI, unsigned Op)
191 const { return 0; }
Owen Anderson8fdd1722010-11-12 21:12:40 +0000192 unsigned getT2SOImmOpValue(const MachineInstr &MI, unsigned Op)
193 const { return 0; }
Jim Grosbachefd53692010-10-12 23:53:58 +0000194 unsigned getSORegOpValue(const MachineInstr &MI, unsigned Op)
195 const { return 0; }
Owen Andersonb0fa1272010-12-10 22:11:13 +0000196 unsigned getTAddrModeRegRegOpValue(const MachineInstr &MI, unsigned Op)
197 const { return 0; }
Owen Anderson50d662b2010-11-29 22:44:32 +0000198 unsigned getT2AddrModeImm12OpValue(const MachineInstr &MI, unsigned Op)
199 const { return 0; }
200 unsigned getT2AddrModeImm8OpValue(const MachineInstr &MI, unsigned Op)
201 const { return 0; }
Owen Anderson943fb602010-12-01 19:18:46 +0000202 unsigned getT2AddrModeImm8s4OpValue(const MachineInstr &MI, unsigned Op)
203 const { return 0; }
Owen Andersone22c7322010-11-30 00:14:31 +0000204 unsigned getT2AddrModeImm8OffsetOpValue(const MachineInstr &MI, unsigned Op)
205 const { return 0; }
Owen Anderson299382e2010-11-30 19:19:31 +0000206 unsigned getT2AddrModeImm12OffsetOpValue(const MachineInstr &MI,unsigned Op)
207 const { return 0; }
Owen Anderson50d662b2010-11-29 22:44:32 +0000208 unsigned getT2AddrModeSORegOpValue(const MachineInstr &MI, unsigned Op)
209 const { return 0; }
Owen Anderson8fdd1722010-11-12 21:12:40 +0000210 unsigned getT2SORegOpValue(const MachineInstr &MI, unsigned Op)
211 const { return 0; }
Jim Grosbach1e7db682010-10-13 19:56:10 +0000212 unsigned getRotImmOpValue(const MachineInstr &MI, unsigned Op)
213 const { return 0; }
Jim Grosbach68a335e2010-10-15 17:15:16 +0000214 unsigned getImmMinusOneOpValue(const MachineInstr &MI, unsigned Op)
215 const { return 0; }
Owen Anderson6d375e52010-12-14 00:36:49 +0000216 unsigned getT2AdrLabelOpValue(const MachineInstr &MI, unsigned Op)
217 const { return 0; }
Owen Andersona4b63e12010-11-02 22:28:01 +0000218 unsigned getAddrMode6AddressOpValue(const MachineInstr &MI, unsigned Op)
Owen Andersonad402342010-11-02 00:05:05 +0000219 const { return 0; }
Bob Wilson318ce7c2010-11-30 00:00:42 +0000220 unsigned getAddrMode6DupAddressOpValue(const MachineInstr &MI, unsigned Op)
221 const { return 0; }
Owen Andersona4b63e12010-11-02 22:28:01 +0000222 unsigned getAddrMode6OffsetOpValue(const MachineInstr &MI, unsigned Op)
Owen Anderson526ffd52010-11-02 01:24:55 +0000223 const { return 0; }
Jim Grosbach5edb03e2010-10-21 22:03:21 +0000224 unsigned getBitfieldInvertedMaskOpValue(const MachineInstr &MI,
225 unsigned Op) const { return 0; }
Jim Grosbachcc4a4912010-11-10 23:38:36 +0000226 uint32_t getLdStmModeOpValue(const MachineInstr &MI, unsigned OpIdx)
227 const {return 0; }
Jim Grosbachdbfb5ed2010-11-09 17:20:53 +0000228 uint32_t getLdStSORegOpValue(const MachineInstr &MI, unsigned OpIdx)
229 const { return 0; }
Bill Wendlinge84eb992010-11-03 01:49:29 +0000230
231 unsigned getAddrModeImm12OpValue(const MachineInstr &MI, unsigned Op)
232 const {
233 // {17-13} = reg
234 // {12} = (U)nsigned (add == '1', sub == '0')
235 // {11-0} = imm12
Bill Wendling603bd8f2010-11-02 22:31:46 +0000236 const MachineOperand &MO = MI.getOperand(Op);
237 const MachineOperand &MO1 = MI.getOperand(Op + 1);
238 if (!MO.isReg()) {
239 emitConstPoolAddress(MO.getIndex(), ARM::reloc_arm_cp_entry);
240 return 0;
Jim Grosbach333b0a92010-10-27 19:55:59 +0000241 }
Bill Wendling603bd8f2010-11-02 22:31:46 +0000242 unsigned Reg = getARMRegisterNumbering(MO.getReg());
Bill Wendlinge84eb992010-11-03 01:49:29 +0000243 int32_t Imm12 = MO1.getImm();
Bill Wendling603bd8f2010-11-02 22:31:46 +0000244 uint32_t Binary;
Bill Wendlinge84eb992010-11-03 01:49:29 +0000245 Binary = Imm12 & 0xfff;
246 if (Imm12 >= 0)
247 Binary |= (1 << 12);
248 Binary |= (Reg << 13);
249 return Binary;
250 }
Jason W Kim5a97bd82010-11-18 23:37:15 +0000251
252 unsigned getMovtImmOpValue(const MachineInstr &MI, unsigned Op) const {
253 return 0;
254 }
255
Jim Grosbach38b469e2010-11-15 20:47:07 +0000256 uint32_t getAddrMode2OpValue(const MachineInstr &MI, unsigned OpIdx)
257 const { return 0;}
258 uint32_t getAddrMode2OffsetOpValue(const MachineInstr &MI, unsigned OpIdx)
259 const { return 0;}
Jim Grosbach68685e62010-11-11 16:55:29 +0000260 uint32_t getAddrMode3OffsetOpValue(const MachineInstr &MI, unsigned OpIdx)
261 const { return 0;}
Bill Wendling811c9362010-11-30 07:44:32 +0000262 uint32_t getAddrMode3OpValue(const MachineInstr &MI, unsigned Op)
263 const { return 0; }
Jim Grosbach49bcd6f2010-12-07 21:50:47 +0000264 uint32_t getAddrModeThumbSPOpValue(const MachineInstr &MI, unsigned Op)
265 const { return 0; }
Bill Wendling0c4838b2010-12-09 21:49:07 +0000266 uint32_t getAddrModeSOpValue(const MachineInstr &MI, unsigned Op)
Bill Wendlinga9e3df72010-11-30 22:57:21 +0000267 const { return 0; }
Bill Wendling8a6449c2010-12-08 01:57:09 +0000268 uint32_t getAddrModePCOpValue(const MachineInstr &MI, unsigned Op)
269 const { return 0; }
Bill Wendlinge84eb992010-11-03 01:49:29 +0000270 uint32_t getAddrMode5OpValue(const MachineInstr &MI, unsigned Op) const {
Bill Wendling0914d442010-11-20 00:26:37 +0000271 // {17-13} = reg
272 // {12} = (U)nsigned (add == '1', sub == '0')
273 // {11-0} = imm12
Bill Wendlinge84eb992010-11-03 01:49:29 +0000274 const MachineOperand &MO = MI.getOperand(Op);
275 const MachineOperand &MO1 = MI.getOperand(Op + 1);
276 if (!MO.isReg()) {
277 emitConstPoolAddress(MO.getIndex(), ARM::reloc_arm_cp_entry);
278 return 0;
279 }
280 unsigned Reg = getARMRegisterNumbering(MO.getReg());
Bill Wendling0914d442010-11-20 00:26:37 +0000281 int32_t Imm12 = MO1.getImm();
282
283 // Special value for #-0
284 if (Imm12 == INT32_MIN)
285 Imm12 = 0;
286
287 // Immediate is always encoded as positive. The 'U' bit controls add vs
288 // sub.
289 bool isAdd = true;
290 if (Imm12 < 0) {
291 Imm12 = -Imm12;
292 isAdd = false;
293 }
294
295 uint32_t Binary = Imm12 & 0xfff;
296 if (isAdd)
297 Binary |= (1 << 12);
298 Binary |= (Reg << 13);
Bill Wendling603bd8f2010-11-02 22:31:46 +0000299 return Binary;
300 }
Jim Grosbach5f0d6162010-10-29 23:21:57 +0000301 unsigned getNEONVcvtImm32OpValue(const MachineInstr &MI, unsigned Op)
302 const { return 0; }
Jim Grosbachd9d31da2010-10-12 23:00:24 +0000303
Jim Grosbach74ef9e12010-10-30 00:37:59 +0000304 unsigned getRegisterListOpValue(const MachineInstr &MI, unsigned Op)
305 const { return 0; }
306
Shih-wei Liaoe22abfa2010-05-26 00:02:28 +0000307 /// getMovi32Value - Return binary encoding of operand for movw/movt. If the
Jim Grosbach84511e12010-06-02 21:53:11 +0000308 /// machine operand requires relocation, record the relocation and return
309 /// zero.
Shih-wei Liaoe22abfa2010-05-26 00:02:28 +0000310 unsigned getMovi32Value(const MachineInstr &MI,const MachineOperand &MO,
Zonr Chang2da5aa12010-05-25 08:42:45 +0000311 unsigned Reloc);
Zonr Chang2da5aa12010-05-25 08:42:45 +0000312
Evan Chengfd2adbf2008-11-05 23:22:34 +0000313 /// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
Evan Cheng3be5b722008-09-02 06:52:38 +0000314 ///
Evan Chengfd2adbf2008-11-05 23:22:34 +0000315 unsigned getShiftOp(unsigned Imm) const ;
Evan Cheng3be5b722008-09-02 06:52:38 +0000316
317 /// Routines that handle operands which add machine relocations which are
Evan Cheng8467e242008-11-07 22:30:53 +0000318 /// fixed up by the relocation stage.
Dan Gohmanbcaf6812010-04-15 01:51:59 +0000319 void emitGlobalAddress(const GlobalValue *GV, unsigned Reloc,
Jeffrey Yasskindb5f24c2009-11-07 08:51:52 +0000320 bool MayNeedFarStub, bool Indirect,
Jim Grosbachb770c002010-10-08 17:45:54 +0000321 intptr_t ACPV = 0) const;
322 void emitExternalSymbolAddress(const char *ES, unsigned Reloc) const;
323 void emitConstPoolAddress(unsigned CPI, unsigned Reloc) const;
324 void emitJumpTableAddress(unsigned JTIndex, unsigned Reloc) const;
Evan Cheng8467e242008-11-07 22:30:53 +0000325 void emitMachineBasicBlock(MachineBasicBlock *BB, unsigned Reloc,
Jim Grosbachb770c002010-10-08 17:45:54 +0000326 intptr_t JTBase = 0) const;
Evan Cheng9546a5c2007-07-05 21:15:40 +0000327 };
Evan Cheng9546a5c2007-07-05 21:15:40 +0000328}
329
Chris Lattner8d806872010-02-02 21:48:51 +0000330char ARMCodeEmitter::ID = 0;
331
Bob Wilsona6fe21a2010-03-17 21:16:45 +0000332/// createARMJITCodeEmitterPass - Return a pass that emits the collected ARM
Chris Lattnerc83cfb9d2010-02-02 21:38:59 +0000333/// code to the specified MCE object.
Bruno Cardoso Lopes5661ea62009-07-06 05:09:34 +0000334FunctionPass *llvm::createARMJITCodeEmitterPass(ARMBaseTargetMachine &TM,
335 JITCodeEmitter &JCE) {
Chris Lattner8d806872010-02-02 21:48:51 +0000336 return new ARMCodeEmitter(TM, JCE);
Evan Cheng9546a5c2007-07-05 21:15:40 +0000337}
Bruno Cardoso Lopesa194c3a2009-05-30 20:51:52 +0000338
Chris Lattner8d806872010-02-02 21:48:51 +0000339bool ARMCodeEmitter::runOnMachineFunction(MachineFunction &MF) {
Evan Cheng9546a5c2007-07-05 21:15:40 +0000340 assert((MF.getTarget().getRelocationModel() != Reloc::Default ||
341 MF.getTarget().getRelocationModel() != Reloc::Static) &&
342 "JIT relocation model must be set to static or default!");
Dan Gohman1f0f2142010-04-17 17:42:52 +0000343 JTI = ((ARMTargetMachine &)MF.getTarget()).getJITInfo();
344 II = ((const ARMTargetMachine &)MF.getTarget()).getInstrInfo();
345 TD = ((const ARMTargetMachine &)MF.getTarget()).getTargetData();
Evan Chengf6b24042009-09-10 01:23:53 +0000346 Subtarget = &TM.getSubtarget<ARMSubtarget>();
Evan Cheng20dbb3b2008-10-31 19:55:13 +0000347 MCPEs = &MF.getConstantPool()->getConstants();
Chris Lattnera14ac3fd2010-01-25 23:22:00 +0000348 MJTEs = 0;
349 if (MF.getJumpTableInfo()) MJTEs = &MF.getJumpTableInfo()->getJumpTables();
Evan Cheng7095cd22008-11-07 09:06:08 +0000350 IsPIC = TM.getRelocationModel() == Reloc::PIC_;
Bob Wilson4469a892010-06-28 22:23:17 +0000351 IsThumb = MF.getInfo<ARMFunctionInfo>()->isThumbFunction();
Evan Cheng98161f52008-11-08 07:38:22 +0000352 JTI->Initialize(MF, IsPIC);
Chris Lattner34adc8d2010-03-14 01:41:15 +0000353 MMI = &getAnalysis<MachineModuleInfo>();
354 MCE.setModuleInfo(MMI);
Evan Cheng9546a5c2007-07-05 21:15:40 +0000355
356 do {
Jim Grosbachf24f9d92009-08-11 15:33:49 +0000357 DEBUG(errs() << "JITTing function '"
Daniel Dunbar0dd5e1e2009-07-25 00:23:56 +0000358 << MF.getFunction()->getName() << "'\n");
Evan Cheng9546a5c2007-07-05 21:15:40 +0000359 MCE.startFunction(MF);
Jim Grosbachf24f9d92009-08-11 15:33:49 +0000360 for (MachineFunction::iterator MBB = MF.begin(), E = MF.end();
Evan Cheng9546a5c2007-07-05 21:15:40 +0000361 MBB != E; ++MBB) {
362 MCE.StartMachineBasicBlock(MBB);
363 for (MachineBasicBlock::const_iterator I = MBB->begin(), E = MBB->end();
364 I != E; ++I)
365 emitInstruction(*I);
366 }
367 } while (MCE.finishFunction(MF));
368
369 return false;
370}
371
Evan Chengfd2adbf2008-11-05 23:22:34 +0000372/// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
Evan Cheng3be5b722008-09-02 06:52:38 +0000373///
Chris Lattner8d806872010-02-02 21:48:51 +0000374unsigned ARMCodeEmitter::getShiftOp(unsigned Imm) const {
Evan Chengfd2adbf2008-11-05 23:22:34 +0000375 switch (ARM_AM::getAM2ShiftOpc(Imm)) {
Torok Edwinfbcc6632009-07-14 16:55:14 +0000376 default: llvm_unreachable("Unknown shift opc!");
Evan Cheng3be5b722008-09-02 06:52:38 +0000377 case ARM_AM::asr: return 2;
378 case ARM_AM::lsl: return 0;
379 case ARM_AM::lsr: return 1;
Evan Chengf7c6eff2007-08-07 01:37:15 +0000380 case ARM_AM::ror:
Evan Cheng3be5b722008-09-02 06:52:38 +0000381 case ARM_AM::rrx: return 3;
Evan Chengf7c6eff2007-08-07 01:37:15 +0000382 }
Evan Cheng3be5b722008-09-02 06:52:38 +0000383 return 0;
Evan Chengf7c6eff2007-08-07 01:37:15 +0000384}
385
Shih-wei Liaoe22abfa2010-05-26 00:02:28 +0000386/// getMovi32Value - Return binary encoding of operand for movw/movt. If the
Zonr Chang2da5aa12010-05-25 08:42:45 +0000387/// machine operand requires relocation, record the relocation and return zero.
388unsigned ARMCodeEmitter::getMovi32Value(const MachineInstr &MI,
Shih-wei Liaoe22abfa2010-05-26 00:02:28 +0000389 const MachineOperand &MO,
Zonr Chang2da5aa12010-05-25 08:42:45 +0000390 unsigned Reloc) {
Shih-wei Liaoe22abfa2010-05-26 00:02:28 +0000391 assert(((Reloc == ARM::reloc_arm_movt) || (Reloc == ARM::reloc_arm_movw))
Zonr Chang2da5aa12010-05-25 08:42:45 +0000392 && "Relocation to this function should be for movt or movw");
393
394 if (MO.isImm())
395 return static_cast<unsigned>(MO.getImm());
396 else if (MO.isGlobal())
397 emitGlobalAddress(MO.getGlobal(), Reloc, true, false);
398 else if (MO.isSymbol())
399 emitExternalSymbolAddress(MO.getSymbolName(), Reloc);
400 else if (MO.isMBB())
401 emitMachineBasicBlock(MO.getMBB(), Reloc);
402 else {
403#ifndef NDEBUG
404 errs() << MO;
405#endif
406 llvm_unreachable("Unsupported operand type for movw/movt");
407 }
408 return 0;
409}
410
Evan Cheng3be5b722008-09-02 06:52:38 +0000411/// getMachineOpValue - Return binary encoding of operand. If the machine
412/// operand requires relocation, record the relocation and return zero.
Chris Lattner8d806872010-02-02 21:48:51 +0000413unsigned ARMCodeEmitter::getMachineOpValue(const MachineInstr &MI,
Jim Grosbachb770c002010-10-08 17:45:54 +0000414 const MachineOperand &MO) const {
Dan Gohman0d1e9a82008-10-03 15:45:36 +0000415 if (MO.isReg())
Jim Grosbach40e85fb2010-09-15 20:26:25 +0000416 return getARMRegisterNumbering(MO.getReg());
Dan Gohman0d1e9a82008-10-03 15:45:36 +0000417 else if (MO.isImm())
Evan Cheng3be5b722008-09-02 06:52:38 +0000418 return static_cast<unsigned>(MO.getImm());
Dan Gohman0d1e9a82008-10-03 15:45:36 +0000419 else if (MO.isGlobal())
Evan Chengf6b24042009-09-10 01:23:53 +0000420 emitGlobalAddress(MO.getGlobal(), ARM::reloc_arm_branch, true, false);
Dan Gohman0d1e9a82008-10-03 15:45:36 +0000421 else if (MO.isSymbol())
Evan Chengbb373c42008-11-08 07:22:33 +0000422 emitExternalSymbolAddress(MO.getSymbolName(), ARM::reloc_arm_branch);
Evan Chengbfcee5b2008-11-12 01:02:24 +0000423 else if (MO.isCPI()) {
424 const TargetInstrDesc &TID = MI.getDesc();
425 // For VFP load, the immediate offset is multiplied by 4.
426 unsigned Reloc = ((TID.TSFlags & ARMII::FormMask) == ARMII::VFPLdStFrm)
427 ? ARM::reloc_arm_vfp_cp_entry : ARM::reloc_arm_cp_entry;
428 emitConstPoolAddress(MO.getIndex(), Reloc);
429 } else if (MO.isJTI())
Chris Lattnera5bb3702007-12-30 23:10:15 +0000430 emitJumpTableAddress(MO.getIndex(), ARM::reloc_arm_relative);
Dan Gohman0d1e9a82008-10-03 15:45:36 +0000431 else if (MO.isMBB())
Evan Cheng7095cd22008-11-07 09:06:08 +0000432 emitMachineBasicBlock(MO.getMBB(), ARM::reloc_arm_branch);
Jim Grosbach2aeb8b92010-11-19 00:27:09 +0000433 else
434 llvm_unreachable("Unable to encode MachineOperand!");
Evan Cheng3be5b722008-09-02 06:52:38 +0000435 return 0;
Evan Chengf7c6eff2007-08-07 01:37:15 +0000436}
437
Evan Cheng933b3922008-09-18 07:28:19 +0000438/// emitGlobalAddress - Emit the specified address to the code stream.
Evan Chengf7c6eff2007-08-07 01:37:15 +0000439///
Dan Gohmanbcaf6812010-04-15 01:51:59 +0000440void ARMCodeEmitter::emitGlobalAddress(const GlobalValue *GV, unsigned Reloc,
Chris Lattner8d806872010-02-02 21:48:51 +0000441 bool MayNeedFarStub, bool Indirect,
Jim Grosbachb770c002010-10-08 17:45:54 +0000442 intptr_t ACPV) const {
Evan Chengf6b24042009-09-10 01:23:53 +0000443 MachineRelocation MR = Indirect
444 ? MachineRelocation::getIndirectSymbol(MCE.getCurrentPCOffset(), Reloc,
Dan Gohmanbcaf6812010-04-15 01:51:59 +0000445 const_cast<GlobalValue *>(GV),
446 ACPV, MayNeedFarStub)
Evan Chengf6b24042009-09-10 01:23:53 +0000447 : MachineRelocation::getGV(MCE.getCurrentPCOffset(), Reloc,
Dan Gohmanbcaf6812010-04-15 01:51:59 +0000448 const_cast<GlobalValue *>(GV), ACPV,
449 MayNeedFarStub);
Evan Chengf6b24042009-09-10 01:23:53 +0000450 MCE.addRelocation(MR);
Evan Chengf7c6eff2007-08-07 01:37:15 +0000451}
452
453/// emitExternalSymbolAddress - Arrange for the address of an external symbol to
454/// be emitted to the current location in the function, and allow it to be PC
455/// relative.
Jim Grosbachb770c002010-10-08 17:45:54 +0000456void ARMCodeEmitter::
457emitExternalSymbolAddress(const char *ES, unsigned Reloc) const {
Evan Chengf7c6eff2007-08-07 01:37:15 +0000458 MCE.addRelocation(MachineRelocation::getExtSym(MCE.getCurrentPCOffset(),
459 Reloc, ES));
460}
461
462/// emitConstPoolAddress - Arrange for the address of an constant pool
463/// to be emitted to the current location in the function, and allow it to be PC
464/// relative.
Jim Grosbachb770c002010-10-08 17:45:54 +0000465void ARMCodeEmitter::emitConstPoolAddress(unsigned CPI, unsigned Reloc) const {
Evan Cheng19d64ba2008-10-29 23:55:43 +0000466 // Tell JIT emitter we'll resolve the address.
Evan Chengf7c6eff2007-08-07 01:37:15 +0000467 MCE.addRelocation(MachineRelocation::getConstPool(MCE.getCurrentPCOffset(),
Evan Cheng8467e242008-11-07 22:30:53 +0000468 Reloc, CPI, 0, true));
Evan Chengf7c6eff2007-08-07 01:37:15 +0000469}
470
471/// emitJumpTableAddress - Arrange for the address of a jump table to
472/// be emitted to the current location in the function, and allow it to be PC
473/// relative.
Jim Grosbachb770c002010-10-08 17:45:54 +0000474void ARMCodeEmitter::
475emitJumpTableAddress(unsigned JTIndex, unsigned Reloc) const {
Evan Chengf7c6eff2007-08-07 01:37:15 +0000476 MCE.addRelocation(MachineRelocation::getJumpTable(MCE.getCurrentPCOffset(),
Evan Cheng8467e242008-11-07 22:30:53 +0000477 Reloc, JTIndex, 0, true));
Evan Chengf7c6eff2007-08-07 01:37:15 +0000478}
479
Raul Herbster1457b2b2007-08-30 23:29:26 +0000480/// emitMachineBasicBlock - Emit the specified address basic block.
Chris Lattner8d806872010-02-02 21:48:51 +0000481void ARMCodeEmitter::emitMachineBasicBlock(MachineBasicBlock *BB,
Jim Grosbachb770c002010-10-08 17:45:54 +0000482 unsigned Reloc,
483 intptr_t JTBase) const {
Raul Herbster1457b2b2007-08-30 23:29:26 +0000484 MCE.addRelocation(MachineRelocation::getBB(MCE.getCurrentPCOffset(),
Evan Cheng8467e242008-11-07 22:30:53 +0000485 Reloc, BB, JTBase));
Raul Herbster1457b2b2007-08-30 23:29:26 +0000486}
Evan Chengf7c6eff2007-08-07 01:37:15 +0000487
Chris Lattner8d806872010-02-02 21:48:51 +0000488void ARMCodeEmitter::emitWordLE(unsigned Binary) {
Chris Lattneraf29ea62009-08-23 06:49:22 +0000489 DEBUG(errs() << " 0x";
490 errs().write_hex(Binary) << "\n");
Evan Chengfd2adbf2008-11-05 23:22:34 +0000491 MCE.emitWordLE(Binary);
492}
493
Chris Lattner8d806872010-02-02 21:48:51 +0000494void ARMCodeEmitter::emitDWordLE(uint64_t Binary) {
Chris Lattneraf29ea62009-08-23 06:49:22 +0000495 DEBUG(errs() << " 0x";
496 errs().write_hex(Binary) << "\n");
Evan Chengad519bb2008-11-11 22:19:31 +0000497 MCE.emitDWordLE(Binary);
498}
499
Chris Lattner8d806872010-02-02 21:48:51 +0000500void ARMCodeEmitter::emitInstruction(const MachineInstr &MI) {
Chris Lattnera6f074f2009-08-23 03:41:05 +0000501 DEBUG(errs() << "JIT: " << (void*)MCE.getCurrentPCValue() << ":\t" << MI);
Evan Cheng25a39092008-09-13 01:15:21 +0000502
Devang Patel051454a2009-10-06 02:19:11 +0000503 MCE.processDebugLoc(MI.getDebugLoc(), true);
Jeffrey Yasskin15d54b92009-07-17 18:49:39 +0000504
Dan Gohmand2d1ae12010-06-22 15:08:57 +0000505 ++NumEmitted; // Keep track of the # of mi's emitted
Evan Cheng81889d012008-11-05 18:35:52 +0000506 switch (MI.getDesc().TSFlags & ARMII::FormMask) {
Evan Chengfabdcce2008-11-13 23:36:57 +0000507 default: {
Torok Edwinfbcc6632009-07-14 16:55:14 +0000508 llvm_unreachable("Unhandled instruction encoding format!");
Evan Cheng81889d012008-11-05 18:35:52 +0000509 break;
Evan Chengfabdcce2008-11-13 23:36:57 +0000510 }
Jim Grosbach56f47172010-11-17 23:33:14 +0000511 case ARMII::MiscFrm:
512 if (MI.getOpcode() == ARM::LEApcrelJT) {
513 // Materialize jumptable address.
514 emitLEApcrelJTInstruction(MI);
515 break;
516 }
517 llvm_unreachable("Unhandled instruction encoding!");
518 break;
Evan Cheng81889d012008-11-05 18:35:52 +0000519 case ARMII::Pseudo:
Evan Cheng933b3922008-09-18 07:28:19 +0000520 emitPseudoInstruction(MI);
Evan Cheng81889d012008-11-05 18:35:52 +0000521 break;
522 case ARMII::DPFrm:
523 case ARMII::DPSoRegFrm:
524 emitDataProcessingInstruction(MI);
525 break;
Evan Cheng2666f592008-11-13 07:34:59 +0000526 case ARMII::LdFrm:
527 case ARMII::StFrm:
Evan Cheng81889d012008-11-05 18:35:52 +0000528 emitLoadStoreInstruction(MI);
529 break;
Evan Cheng2666f592008-11-13 07:34:59 +0000530 case ARMII::LdMiscFrm:
531 case ARMII::StMiscFrm:
Evan Cheng81889d012008-11-05 18:35:52 +0000532 emitMiscLoadStoreInstruction(MI);
533 break;
Evan Chengaf644b52008-11-12 07:18:38 +0000534 case ARMII::LdStMulFrm:
Evan Cheng81889d012008-11-05 18:35:52 +0000535 emitLoadStoreMultipleInstruction(MI);
536 break;
Evan Cheng2686c8f2008-11-06 01:21:28 +0000537 case ARMII::MulFrm:
538 emitMulFrmInstruction(MI);
Evan Cheng81889d012008-11-05 18:35:52 +0000539 break;
Evan Cheng49d66522008-11-06 22:15:19 +0000540 case ARMII::ExtFrm:
541 emitExtendInstruction(MI);
542 break;
Evan Cheng98dc53e2008-11-07 01:41:35 +0000543 case ARMII::ArithMiscFrm:
544 emitMiscArithInstruction(MI);
545 break;
Bob Wilson96649842010-08-11 00:01:18 +0000546 case ARMII::SatFrm:
547 emitSaturateInstruction(MI);
548 break;
Evan Chengaa03cd32008-11-06 17:48:05 +0000549 case ARMII::BrFrm:
Evan Cheng81889d012008-11-05 18:35:52 +0000550 emitBranchInstruction(MI);
551 break;
Evan Chengaa03cd32008-11-06 17:48:05 +0000552 case ARMII::BrMiscFrm:
Evan Cheng81889d012008-11-05 18:35:52 +0000553 emitMiscBranchInstruction(MI);
554 break;
Evan Chengac2af2f2008-11-11 02:11:05 +0000555 // VFP instructions.
556 case ARMII::VFPUnaryFrm:
557 case ARMII::VFPBinaryFrm:
558 emitVFPArithInstruction(MI);
559 break;
Evan Cheng38c9a142008-11-11 19:40:26 +0000560 case ARMII::VFPConv1Frm:
561 case ARMII::VFPConv2Frm:
Evan Cheng97ccab82008-11-11 22:46:12 +0000562 case ARMII::VFPConv3Frm:
Evan Cheng4b6c7ef2008-11-12 06:41:41 +0000563 case ARMII::VFPConv4Frm:
564 case ARMII::VFPConv5Frm:
Evan Cheng38c9a142008-11-11 19:40:26 +0000565 emitVFPConversionInstruction(MI);
566 break;
Evan Cheng8cbbcb12008-11-11 21:48:44 +0000567 case ARMII::VFPLdStFrm:
568 emitVFPLoadStoreInstruction(MI);
569 break;
570 case ARMII::VFPLdStMulFrm:
571 emitVFPLoadStoreMultipleInstruction(MI);
572 break;
Bill Wendling5f5b9222010-10-15 23:35:12 +0000573
Bob Wilson6eae5202010-06-11 21:34:50 +0000574 // NEON instructions.
Bob Wilson0248da92010-06-26 04:07:15 +0000575 case ARMII::NGetLnFrm:
Bob Wilsonab0819e2010-06-29 17:34:07 +0000576 case ARMII::NSetLnFrm:
577 emitNEONLaneInstruction(MI);
Bob Wilson0248da92010-06-26 04:07:15 +0000578 break;
Bob Wilsonbe157b02010-06-29 20:13:29 +0000579 case ARMII::NDupFrm:
580 emitNEONDupInstruction(MI);
581 break;
Bob Wilson6eae5202010-06-11 21:34:50 +0000582 case ARMII::N1RegModImmFrm:
Bob Wilsone70c8b12010-06-25 21:17:19 +0000583 emitNEON1RegModImmInstruction(MI);
584 break;
585 case ARMII::N2RegFrm:
586 emitNEON2RegInstruction(MI);
Bob Wilson6eae5202010-06-11 21:34:50 +0000587 break;
Bob Wilson2530ca02010-06-25 22:40:46 +0000588 case ARMII::N3RegFrm:
589 emitNEON3RegInstruction(MI);
590 break;
Evan Cheng81889d012008-11-05 18:35:52 +0000591 }
Devang Patel051454a2009-10-06 02:19:11 +0000592 MCE.processDebugLoc(MI.getDebugLoc(), false);
Evan Chengf7c6eff2007-08-07 01:37:15 +0000593}
594
Chris Lattner8d806872010-02-02 21:48:51 +0000595void ARMCodeEmitter::emitConstPoolInstruction(const MachineInstr &MI) {
Evan Cheng8467e242008-11-07 22:30:53 +0000596 unsigned CPI = MI.getOperand(0).getImm(); // CP instruction index.
597 unsigned CPIndex = MI.getOperand(1).getIndex(); // Actual cp entry index.
Evan Cheng20dbb3b2008-10-31 19:55:13 +0000598 const MachineConstantPoolEntry &MCPE = (*MCPEs)[CPIndex];
Jim Grosbachf24f9d92009-08-11 15:33:49 +0000599
Evan Cheng467e6e82008-10-31 19:10:44 +0000600 // Remember the CONSTPOOL_ENTRY address for later relocation.
601 JTI->addConstantPoolEntryAddr(CPI, MCE.getCurrentPCValue());
602
603 // Emit constpool island entry. In most cases, the actual values will be
604 // resolved and relocated after code emission.
605 if (MCPE.isMachineConstantPoolEntry()) {
606 ARMConstantPoolValue *ACPV =
607 static_cast<ARMConstantPoolValue*>(MCPE.Val.MachineCPVal);
608
Chris Lattnera6f074f2009-08-23 03:41:05 +0000609 DEBUG(errs() << " ** ARM constant pool #" << CPI << " @ "
610 << (void*)MCE.getCurrentPCValue() << " " << *ACPV << '\n');
Evan Cheng467e6e82008-10-31 19:10:44 +0000611
Bob Wilson433ab092009-11-02 16:59:06 +0000612 assert(ACPV->isGlobalValue() && "unsupported constant pool value");
Dan Gohmanbcaf6812010-04-15 01:51:59 +0000613 const GlobalValue *GV = ACPV->getGV();
Evan Cheng467e6e82008-10-31 19:10:44 +0000614 if (GV) {
Evan Chengf6b24042009-09-10 01:23:53 +0000615 Reloc::Model RelocM = TM.getRelocationModel();
Evan Cheng43b9ca62009-08-28 23:18:09 +0000616 emitGlobalAddress(GV, ARM::reloc_arm_machine_cp_entry,
Evan Chengf6b24042009-09-10 01:23:53 +0000617 isa<Function>(GV),
618 Subtarget->GVIsIndirectSymbol(GV, RelocM),
619 (intptr_t)ACPV);
Evan Cheng6dd08b62008-11-04 00:50:32 +0000620 } else {
Evan Cheng467e6e82008-10-31 19:10:44 +0000621 emitExternalSymbolAddress(ACPV->getSymbol(), ARM::reloc_arm_absolute);
622 }
Evan Chengfd2adbf2008-11-05 23:22:34 +0000623 emitWordLE(0);
Evan Cheng467e6e82008-10-31 19:10:44 +0000624 } else {
Dan Gohmanbcaf6812010-04-15 01:51:59 +0000625 const Constant *CV = MCPE.Val.ConstVal;
Evan Cheng467e6e82008-10-31 19:10:44 +0000626
Daniel Dunbar0dd5e1e2009-07-25 00:23:56 +0000627 DEBUG({
628 errs() << " ** Constant pool #" << CPI << " @ "
629 << (void*)MCE.getCurrentPCValue() << " ";
630 if (const Function *F = dyn_cast<Function>(CV))
631 errs() << F->getName();
632 else
633 errs() << *CV;
634 errs() << '\n';
635 });
Evan Cheng467e6e82008-10-31 19:10:44 +0000636
Dan Gohmanbcaf6812010-04-15 01:51:59 +0000637 if (const GlobalValue *GV = dyn_cast<GlobalValue>(CV)) {
Evan Chengf6b24042009-09-10 01:23:53 +0000638 emitGlobalAddress(GV, ARM::reloc_arm_absolute, isa<Function>(GV), false);
Evan Chengfd2adbf2008-11-05 23:22:34 +0000639 emitWordLE(0);
Evan Chengad519bb2008-11-11 22:19:31 +0000640 } else if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) {
Gabor Greifb171ca02010-10-22 23:16:11 +0000641 uint32_t Val = uint32_t(*CI->getValue().getRawData());
Evan Chengfd2adbf2008-11-05 23:22:34 +0000642 emitWordLE(Val);
Evan Chengad519bb2008-11-11 22:19:31 +0000643 } else if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV)) {
Chris Lattnerfdd87902009-10-05 05:54:46 +0000644 if (CFP->getType()->isFloatTy())
Evan Chengad519bb2008-11-11 22:19:31 +0000645 emitWordLE(CFP->getValueAPF().bitcastToAPInt().getZExtValue());
Chris Lattnerfdd87902009-10-05 05:54:46 +0000646 else if (CFP->getType()->isDoubleTy())
Evan Chengad519bb2008-11-11 22:19:31 +0000647 emitDWordLE(CFP->getValueAPF().bitcastToAPInt().getZExtValue());
648 else {
Torok Edwinfbcc6632009-07-14 16:55:14 +0000649 llvm_unreachable("Unable to handle this constantpool entry!");
Evan Chengad519bb2008-11-11 22:19:31 +0000650 }
651 } else {
Torok Edwinfbcc6632009-07-14 16:55:14 +0000652 llvm_unreachable("Unable to handle this constantpool entry!");
Evan Cheng467e6e82008-10-31 19:10:44 +0000653 }
654 }
655}
656
Zonr Chang2da5aa12010-05-25 08:42:45 +0000657void ARMCodeEmitter::emitMOVi32immInstruction(const MachineInstr &MI) {
658 const MachineOperand &MO0 = MI.getOperand(0);
659 const MachineOperand &MO1 = MI.getOperand(1);
660
661 // Emit the 'movw' instruction.
662 unsigned Binary = 0x30 << 20; // mov: Insts{27-20} = 0b00110000
663
664 unsigned Lo16 = getMovi32Value(MI, MO1, ARM::reloc_arm_movw) & 0xFFFF;
665
666 // Set the conditional execution predicate.
667 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
668
669 // Encode Rd.
670 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
671
672 // Encode imm16 as imm4:imm12
673 Binary |= Lo16 & 0xFFF; // Insts{11-0} = imm12
674 Binary |= ((Lo16 >> 12) & 0xF) << 16; // Insts{19-16} = imm4
675 emitWordLE(Binary);
676
677 unsigned Hi16 = getMovi32Value(MI, MO1, ARM::reloc_arm_movt) >> 16;
678 // Emit the 'movt' instruction.
679 Binary = 0x34 << 20; // movt: Insts{27-20} = 0b00110100
680
681 // Set the conditional execution predicate.
682 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
683
684 // Encode Rd.
685 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
686
687 // Encode imm16 as imm4:imm1, same as movw above.
688 Binary |= Hi16 & 0xFFF;
689 Binary |= ((Hi16 >> 12) & 0xF) << 16;
690 emitWordLE(Binary);
691}
692
Chris Lattner8d806872010-02-02 21:48:51 +0000693void ARMCodeEmitter::emitMOVi2piecesInstruction(const MachineInstr &MI) {
Evan Chengb870fd82008-11-06 02:25:39 +0000694 const MachineOperand &MO0 = MI.getOperand(0);
695 const MachineOperand &MO1 = MI.getOperand(1);
Bob Wilson1b0e6142010-03-11 00:46:22 +0000696 assert(MO1.isImm() && ARM_AM::isSOImmTwoPartVal(MO1.getImm()) &&
697 "Not a valid so_imm value!");
Evan Chengb870fd82008-11-06 02:25:39 +0000698 unsigned V1 = ARM_AM::getSOImmTwoPartFirst(MO1.getImm());
699 unsigned V2 = ARM_AM::getSOImmTwoPartSecond(MO1.getImm());
700
701 // Emit the 'mov' instruction.
702 unsigned Binary = 0xd << 21; // mov: Insts{24-21} = 0b1101
703
704 // Set the conditional execution predicate.
Evan Cheng49d66522008-11-06 22:15:19 +0000705 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chengb870fd82008-11-06 02:25:39 +0000706
707 // Encode Rd.
708 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
709
710 // Encode so_imm.
711 // Set bit I(25) to identify this is the immediate form of <shifter_op>
712 Binary |= 1 << ARMII::I_BitShift;
Evan Chenge3a53c42009-07-08 21:03:57 +0000713 Binary |= getMachineSoImmOpValue(V1);
Evan Chengb870fd82008-11-06 02:25:39 +0000714 emitWordLE(Binary);
715
716 // Now the 'orr' instruction.
717 Binary = 0xc << 21; // orr: Insts{24-21} = 0b1100
718
719 // Set the conditional execution predicate.
Evan Cheng49d66522008-11-06 22:15:19 +0000720 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chengb870fd82008-11-06 02:25:39 +0000721
722 // Encode Rd.
723 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
724
725 // Encode Rn.
726 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRnShift;
727
728 // Encode so_imm.
729 // Set bit I(25) to identify this is the immediate form of <shifter_op>
730 Binary |= 1 << ARMII::I_BitShift;
Evan Chenge3a53c42009-07-08 21:03:57 +0000731 Binary |= getMachineSoImmOpValue(V2);
Evan Chengb870fd82008-11-06 02:25:39 +0000732 emitWordLE(Binary);
733}
734
Chris Lattner8d806872010-02-02 21:48:51 +0000735void ARMCodeEmitter::emitLEApcrelJTInstruction(const MachineInstr &MI) {
Evan Cheng7095cd22008-11-07 09:06:08 +0000736 // It's basically add r, pc, (LJTI - $+8)
Jim Grosbachf24f9d92009-08-11 15:33:49 +0000737
Evan Cheng7095cd22008-11-07 09:06:08 +0000738 const TargetInstrDesc &TID = MI.getDesc();
739
740 // Emit the 'add' instruction.
Jim Grosbach4ded8f22010-11-17 21:57:51 +0000741 unsigned Binary = 0x4 << 21; // add: Insts{24-21} = 0b0100
Evan Cheng7095cd22008-11-07 09:06:08 +0000742
743 // Set the conditional execution predicate
744 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
745
746 // Encode S bit if MI modifies CPSR.
747 Binary |= getAddrModeSBit(MI, TID);
748
749 // Encode Rd.
750 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
751
752 // Encode Rn which is PC.
Jim Grosbach40e85fb2010-09-15 20:26:25 +0000753 Binary |= getARMRegisterNumbering(ARM::PC) << ARMII::RegRnShift;
Evan Cheng7095cd22008-11-07 09:06:08 +0000754
755 // Encode the displacement.
Evan Cheng7095cd22008-11-07 09:06:08 +0000756 Binary |= 1 << ARMII::I_BitShift;
757 emitJumpTableAddress(MI.getOperand(1).getIndex(), ARM::reloc_arm_jt_base);
758
759 emitWordLE(Binary);
760}
761
Chris Lattner8d806872010-02-02 21:48:51 +0000762void ARMCodeEmitter::emitPseudoMoveInstruction(const MachineInstr &MI) {
Evan Cheng30f6f8f2008-11-14 20:09:11 +0000763 unsigned Opcode = MI.getDesc().Opcode;
764
765 // Part of binary is determined by TableGn.
766 unsigned Binary = getBinaryCodeForInstr(MI);
767
768 // Set the conditional execution predicate
769 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
770
771 // Encode S bit if MI modifies CPSR.
772 if (Opcode == ARM::MOVsrl_flag || Opcode == ARM::MOVsra_flag)
773 Binary |= 1 << ARMII::S_BitShift;
774
775 // Encode register def if there is one.
776 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
777
778 // Encode the shift operation.
779 switch (Opcode) {
780 default: break;
Jim Grosbach062749c2010-10-14 20:43:44 +0000781 case ARM::RRX:
Evan Cheng30f6f8f2008-11-14 20:09:11 +0000782 // rrx
783 Binary |= 0x6 << 4;
784 break;
785 case ARM::MOVsrl_flag:
786 // lsr #1
787 Binary |= (0x2 << 4) | (1 << 7);
788 break;
789 case ARM::MOVsra_flag:
790 // asr #1
791 Binary |= (0x4 << 4) | (1 << 7);
792 break;
793 }
794
795 // Encode register Rm.
796 Binary |= getMachineOpValue(MI, 1);
797
798 emitWordLE(Binary);
799}
800
Chris Lattner8d806872010-02-02 21:48:51 +0000801void ARMCodeEmitter::addPCLabel(unsigned LabelID) {
Chris Lattneraf29ea62009-08-23 06:49:22 +0000802 DEBUG(errs() << " ** LPC" << LabelID << " @ "
803 << (void*)MCE.getCurrentPCValue() << '\n');
Evan Chengfd2adbf2008-11-05 23:22:34 +0000804 JTI->addPCLabelAddr(LabelID, MCE.getCurrentPCValue());
805}
806
Chris Lattner8d806872010-02-02 21:48:51 +0000807void ARMCodeEmitter::emitPseudoInstruction(const MachineInstr &MI) {
Evan Cheng467e6e82008-10-31 19:10:44 +0000808 unsigned Opcode = MI.getDesc().Opcode;
809 switch (Opcode) {
810 default:
Evan Cheng83e0d482009-09-28 09:14:39 +0000811 llvm_unreachable("ARMCodeEmitter::emitPseudoInstruction");
Jim Grosbach027bd472010-11-30 00:24:05 +0000812 case ARM::BX_CALL:
813 case ARM::BMOVPCRX_CALL:
814 case ARM::BXr9_CALL:
815 case ARM::BMOVPCRXr9_CALL: {
Xerxes Ranbyff66cd42010-07-22 17:28:34 +0000816 // First emit mov lr, pc
817 unsigned Binary = 0x01a0e00f;
818 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
819 emitWordLE(Binary);
820
821 // and then emit the branch.
822 emitMiscBranchInstruction(MI);
823 break;
824 }
Chris Lattnerb06015a2010-02-09 19:54:29 +0000825 case TargetOpcode::INLINEASM: {
Evan Cheng59213d62008-11-19 23:21:33 +0000826 // We allow inline assembler nodes with empty bodies - they can
827 // implicitly define registers, which is ok for JIT.
828 if (MI.getOperand(0).getSymbolName()[0]) {
Chris Lattner2104b8d2010-04-07 22:58:41 +0000829 report_fatal_error("JIT does not support inline asm!");
Evan Cheng59213d62008-11-19 23:21:33 +0000830 }
Evan Chengfabdcce2008-11-13 23:36:57 +0000831 break;
832 }
Bill Wendling499f7972010-07-16 22:20:36 +0000833 case TargetOpcode::PROLOG_LABEL:
Chris Lattneree2fbbc2010-03-14 02:33:54 +0000834 case TargetOpcode::EH_LABEL:
835 MCE.emitLabel(MI.getOperand(0).getMCSymbol());
836 break;
Chris Lattnerb06015a2010-02-09 19:54:29 +0000837 case TargetOpcode::IMPLICIT_DEF:
838 case TargetOpcode::KILL:
Evan Chengfabdcce2008-11-13 23:36:57 +0000839 // Do nothing.
840 break;
Evan Cheng467e6e82008-10-31 19:10:44 +0000841 case ARM::CONSTPOOL_ENTRY:
842 emitConstPoolInstruction(MI);
843 break;
844 case ARM::PICADD: {
Evan Cheng6dd08b62008-11-04 00:50:32 +0000845 // Remember of the address of the PC label for relocation later.
Evan Chengfd2adbf2008-11-05 23:22:34 +0000846 addPCLabel(MI.getOperand(2).getImm());
Evan Cheng467e6e82008-10-31 19:10:44 +0000847 // PICADD is just an add instruction that implicitly read pc.
Evan Cheng8467e242008-11-07 22:30:53 +0000848 emitDataProcessingInstruction(MI, 0, ARM::PC);
Evan Chengfd2adbf2008-11-05 23:22:34 +0000849 break;
850 }
851 case ARM::PICLDR:
852 case ARM::PICLDRB:
853 case ARM::PICSTR:
854 case ARM::PICSTRB: {
855 // Remember of the address of the PC label for relocation later.
856 addPCLabel(MI.getOperand(2).getImm());
857 // These are just load / store instructions that implicitly read pc.
Evan Cheng7095cd22008-11-07 09:06:08 +0000858 emitLoadStoreInstruction(MI, 0, ARM::PC);
Evan Chengfd2adbf2008-11-05 23:22:34 +0000859 break;
860 }
861 case ARM::PICLDRH:
862 case ARM::PICLDRSH:
863 case ARM::PICLDRSB:
864 case ARM::PICSTRH: {
865 // Remember of the address of the PC label for relocation later.
866 addPCLabel(MI.getOperand(2).getImm());
867 // These are just load / store instructions that implicitly read pc.
868 emitMiscLoadStoreInstruction(MI, ARM::PC);
Evan Cheng467e6e82008-10-31 19:10:44 +0000869 break;
870 }
Zonr Chang2da5aa12010-05-25 08:42:45 +0000871
872 case ARM::MOVi32imm:
Evan Chengf478cf92010-11-12 23:03:38 +0000873 // Two instructions to materialize a constant.
874 if (Subtarget->hasV6T2Ops())
875 emitMOVi32immInstruction(MI);
876 else
877 emitMOVi2piecesInstruction(MI);
Zonr Chang2da5aa12010-05-25 08:42:45 +0000878 break;
879
Evan Cheng7095cd22008-11-07 09:06:08 +0000880 case ARM::LEApcrelJT:
881 // Materialize jumptable address.
882 emitLEApcrelJTInstruction(MI);
883 break;
Jim Grosbach062749c2010-10-14 20:43:44 +0000884 case ARM::RRX:
Evan Cheng30f6f8f2008-11-14 20:09:11 +0000885 case ARM::MOVsrl_flag:
886 case ARM::MOVsra_flag:
887 emitPseudoMoveInstruction(MI);
888 break;
Evan Cheng467e6e82008-10-31 19:10:44 +0000889 }
890}
891
Bob Wilsona6fe21a2010-03-17 21:16:45 +0000892unsigned ARMCodeEmitter::getMachineSoRegOpValue(const MachineInstr &MI,
Evan Chengd1424c42008-09-12 22:45:55 +0000893 const TargetInstrDesc &TID,
Evan Cheng467e6e82008-10-31 19:10:44 +0000894 const MachineOperand &MO,
Evan Cheng33fa89c6f2008-09-12 22:01:15 +0000895 unsigned OpIdx) {
Evan Cheng467e6e82008-10-31 19:10:44 +0000896 unsigned Binary = getMachineOpValue(MI, MO);
Evan Cheng33fa89c6f2008-09-12 22:01:15 +0000897
898 const MachineOperand &MO1 = MI.getOperand(OpIdx + 1);
899 const MachineOperand &MO2 = MI.getOperand(OpIdx + 2);
900 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO2.getImm());
901
902 // Encode the shift opcode.
903 unsigned SBits = 0;
904 unsigned Rs = MO1.getReg();
905 if (Rs) {
906 // Set shift operand (bit[7:4]).
907 // LSL - 0001
908 // LSR - 0011
909 // ASR - 0101
910 // ROR - 0111
911 // RRX - 0110 and bit[11:8] clear.
912 switch (SOpc) {
Torok Edwinfbcc6632009-07-14 16:55:14 +0000913 default: llvm_unreachable("Unknown shift opc!");
Evan Cheng33fa89c6f2008-09-12 22:01:15 +0000914 case ARM_AM::lsl: SBits = 0x1; break;
915 case ARM_AM::lsr: SBits = 0x3; break;
916 case ARM_AM::asr: SBits = 0x5; break;
917 case ARM_AM::ror: SBits = 0x7; break;
918 case ARM_AM::rrx: SBits = 0x6; break;
919 }
920 } else {
921 // Set shift operand (bit[6:4]).
922 // LSL - 000
923 // LSR - 010
924 // ASR - 100
925 // ROR - 110
926 switch (SOpc) {
Torok Edwinfbcc6632009-07-14 16:55:14 +0000927 default: llvm_unreachable("Unknown shift opc!");
Evan Cheng33fa89c6f2008-09-12 22:01:15 +0000928 case ARM_AM::lsl: SBits = 0x0; break;
929 case ARM_AM::lsr: SBits = 0x2; break;
930 case ARM_AM::asr: SBits = 0x4; break;
931 case ARM_AM::ror: SBits = 0x6; break;
932 }
933 }
934 Binary |= SBits << 4;
935 if (SOpc == ARM_AM::rrx)
936 return Binary;
937
938 // Encode the shift operation Rs or shift_imm (except rrx).
939 if (Rs) {
940 // Encode Rs bit[11:8].
941 assert(ARM_AM::getSORegOffset(MO2.getImm()) == 0);
Jim Grosbach40e85fb2010-09-15 20:26:25 +0000942 return Binary | (getARMRegisterNumbering(Rs) << ARMII::RegRsShift);
Evan Cheng33fa89c6f2008-09-12 22:01:15 +0000943 }
944
945 // Encode shift_imm bit[11:7].
946 return Binary | ARM_AM::getSORegOffset(MO2.getImm()) << 7;
947}
948
Chris Lattner8d806872010-02-02 21:48:51 +0000949unsigned ARMCodeEmitter::getMachineSoImmOpValue(unsigned SoImm) {
Evan Chenge3a53c42009-07-08 21:03:57 +0000950 int SoImmVal = ARM_AM::getSOImmVal(SoImm);
951 assert(SoImmVal != -1 && "Not a valid so_imm value!");
952
Evan Cheng467e6e82008-10-31 19:10:44 +0000953 // Encode rotate_imm.
Evan Chenge3a53c42009-07-08 21:03:57 +0000954 unsigned Binary = (ARM_AM::getSOImmValRot((unsigned)SoImmVal) >> 1)
Evan Cheng49d66522008-11-06 22:15:19 +0000955 << ARMII::SoRotImmShift;
956
Evan Cheng467e6e82008-10-31 19:10:44 +0000957 // Encode immed_8.
Evan Chenge3a53c42009-07-08 21:03:57 +0000958 Binary |= ARM_AM::getSOImmValImm((unsigned)SoImmVal);
Evan Cheng467e6e82008-10-31 19:10:44 +0000959 return Binary;
960}
961
Chris Lattner8d806872010-02-02 21:48:51 +0000962unsigned ARMCodeEmitter::getAddrModeSBit(const MachineInstr &MI,
Bob Wilsona6fe21a2010-03-17 21:16:45 +0000963 const TargetInstrDesc &TID) const {
Evan Cheng5f23e9f2008-11-20 02:25:51 +0000964 for (unsigned i = MI.getNumOperands(), e = TID.getNumOperands(); i != e; --i){
Evan Chengd1424c42008-09-12 22:45:55 +0000965 const MachineOperand &MO = MI.getOperand(i-1);
Dan Gohman0d1e9a82008-10-03 15:45:36 +0000966 if (MO.isReg() && MO.isDef() && MO.getReg() == ARM::CPSR)
Evan Chengd1424c42008-09-12 22:45:55 +0000967 return 1 << ARMII::S_BitShift;
968 }
969 return 0;
970}
971
Bob Wilsona6fe21a2010-03-17 21:16:45 +0000972void ARMCodeEmitter::emitDataProcessingInstruction(const MachineInstr &MI,
Evan Cheng8467e242008-11-07 22:30:53 +0000973 unsigned ImplicitRd,
Evan Chengfd2adbf2008-11-05 23:22:34 +0000974 unsigned ImplicitRn) {
Evan Cheng81889d012008-11-05 18:35:52 +0000975 const TargetInstrDesc &TID = MI.getDesc();
Evan Cheng81889d012008-11-05 18:35:52 +0000976
977 // Part of binary is determined by TableGn.
978 unsigned Binary = getBinaryCodeForInstr(MI);
979
Jim Grosbachc084e842008-10-07 19:05:35 +0000980 // Set the conditional execution predicate
Evan Cheng49d66522008-11-06 22:15:19 +0000981 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng33fa89c6f2008-09-12 22:01:15 +0000982
Evan Chengd1424c42008-09-12 22:45:55 +0000983 // Encode S bit if MI modifies CPSR.
Jim Grosbach4d0549e2008-11-03 18:38:31 +0000984 Binary |= getAddrModeSBit(MI, TID);
Evan Chengd1424c42008-09-12 22:45:55 +0000985
Evan Cheng33fa89c6f2008-09-12 22:01:15 +0000986 // Encode register def if there is one.
Evan Chengd1424c42008-09-12 22:45:55 +0000987 unsigned NumDefs = TID.getNumDefs();
Evan Chengc5c74f32008-09-12 23:15:39 +0000988 unsigned OpIdx = 0;
Evan Cheng8467e242008-11-07 22:30:53 +0000989 if (NumDefs)
990 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
991 else if (ImplicitRd)
992 // Special handling for implicit use (e.g. PC).
Jim Grosbach40e85fb2010-09-15 20:26:25 +0000993 Binary |= (getARMRegisterNumbering(ImplicitRd) << ARMII::RegRdShift);
Evan Cheng3be5b722008-09-02 06:52:38 +0000994
Zonr Chang2da5aa12010-05-25 08:42:45 +0000995 if (TID.Opcode == ARM::MOVi16) {
996 // Get immediate from MI.
997 unsigned Lo16 = getMovi32Value(MI, MI.getOperand(OpIdx),
998 ARM::reloc_arm_movw);
999 // Encode imm which is the same as in emitMOVi32immInstruction().
1000 Binary |= Lo16 & 0xFFF;
1001 Binary |= ((Lo16 >> 12) & 0xF) << 16;
1002 emitWordLE(Binary);
1003 return;
1004 } else if(TID.Opcode == ARM::MOVTi16) {
1005 unsigned Hi16 = (getMovi32Value(MI, MI.getOperand(OpIdx),
1006 ARM::reloc_arm_movt) >> 16);
1007 Binary |= Hi16 & 0xFFF;
1008 Binary |= ((Hi16 >> 12) & 0xF) << 16;
1009 emitWordLE(Binary);
1010 return;
Shih-wei Liaoc4376b92010-05-26 04:46:50 +00001011 } else if ((TID.Opcode == ARM::BFC) || (TID.Opcode == ARM::BFI)) {
Shih-wei Liaob6e0bc92010-05-26 00:25:05 +00001012 uint32_t v = ~MI.getOperand(2).getImm();
1013 int32_t lsb = CountTrailingZeros_32(v);
1014 int32_t msb = (32 - CountLeadingZeros_32(v)) - 1;
Shih-wei Liao0568ca02010-05-26 03:21:39 +00001015 // Instr{20-16} = msb, Instr{11-7} = lsb
Shih-wei Liaob6e0bc92010-05-26 00:25:05 +00001016 Binary |= (msb & 0x1F) << 16;
1017 Binary |= (lsb & 0x1F) << 7;
1018 emitWordLE(Binary);
1019 return;
Shih-wei Liao0568ca02010-05-26 03:21:39 +00001020 } else if ((TID.Opcode == ARM::UBFX) || (TID.Opcode == ARM::SBFX)) {
1021 // Encode Rn in Instr{0-3}
1022 Binary |= getMachineOpValue(MI, OpIdx++);
1023
1024 uint32_t lsb = MI.getOperand(OpIdx++).getImm();
1025 uint32_t widthm1 = MI.getOperand(OpIdx++).getImm() - 1;
1026
1027 // Instr{20-16} = widthm1, Instr{11-7} = lsb
1028 Binary |= (widthm1 & 0x1F) << 16;
1029 Binary |= (lsb & 0x1F) << 7;
1030 emitWordLE(Binary);
1031 return;
Zonr Chang2da5aa12010-05-25 08:42:45 +00001032 }
1033
Evan Cheng47b546d2008-11-06 08:47:38 +00001034 // If this is a two-address operand, skip it. e.g. MOVCCr operand 1.
1035 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1036 ++OpIdx;
1037
Jim Grosbach3dc0a3b2008-10-01 18:16:49 +00001038 // Encode first non-shifter register operand if there is one.
Evan Cheng81889d012008-11-05 18:35:52 +00001039 bool isUnary = TID.TSFlags & ARMII::UnaryDP;
1040 if (!isUnary) {
Evan Chengfd2adbf2008-11-05 23:22:34 +00001041 if (ImplicitRn)
1042 // Special handling for implicit use (e.g. PC).
Jim Grosbach40e85fb2010-09-15 20:26:25 +00001043 Binary |= (getARMRegisterNumbering(ImplicitRn) << ARMII::RegRnShift);
Evan Cheng467e6e82008-10-31 19:10:44 +00001044 else {
1045 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRnShift;
1046 ++OpIdx;
1047 }
Evan Cheng3be5b722008-09-02 06:52:38 +00001048 }
1049
Evan Cheng33fa89c6f2008-09-12 22:01:15 +00001050 // Encode shifter operand.
Evan Cheng33fa89c6f2008-09-12 22:01:15 +00001051 const MachineOperand &MO = MI.getOperand(OpIdx);
Evan Cheng81889d012008-11-05 18:35:52 +00001052 if ((TID.TSFlags & ARMII::FormMask) == ARMII::DPSoRegFrm) {
Evan Cheng467e6e82008-10-31 19:10:44 +00001053 // Encode SoReg.
Evan Chengfd2adbf2008-11-05 23:22:34 +00001054 emitWordLE(Binary | getMachineSoRegOpValue(MI, TID, MO, OpIdx));
Evan Cheng81889d012008-11-05 18:35:52 +00001055 return;
1056 }
Evan Cheng467e6e82008-10-31 19:10:44 +00001057
Evan Cheng81889d012008-11-05 18:35:52 +00001058 if (MO.isReg()) {
Evan Cheng33fa89c6f2008-09-12 22:01:15 +00001059 // Encode register Rm.
Jim Grosbach40e85fb2010-09-15 20:26:25 +00001060 emitWordLE(Binary | getARMRegisterNumbering(MO.getReg()));
Evan Cheng81889d012008-11-05 18:35:52 +00001061 return;
1062 }
Evan Cheng3be5b722008-09-02 06:52:38 +00001063
Evan Cheng33fa89c6f2008-09-12 22:01:15 +00001064 // Encode so_imm.
Evan Chenge3a53c42009-07-08 21:03:57 +00001065 Binary |= getMachineSoImmOpValue((unsigned)MO.getImm());
Evan Cheng81889d012008-11-05 18:35:52 +00001066
Evan Chengfd2adbf2008-11-05 23:22:34 +00001067 emitWordLE(Binary);
Evan Cheng3be5b722008-09-02 06:52:38 +00001068}
1069
Bob Wilsona6fe21a2010-03-17 21:16:45 +00001070void ARMCodeEmitter::emitLoadStoreInstruction(const MachineInstr &MI,
Evan Cheng7095cd22008-11-07 09:06:08 +00001071 unsigned ImplicitRd,
Evan Chengfd2adbf2008-11-05 23:22:34 +00001072 unsigned ImplicitRn) {
Evan Cheng077c8f82008-11-08 01:44:13 +00001073 const TargetInstrDesc &TID = MI.getDesc();
Evan Cheng2666f592008-11-13 07:34:59 +00001074 unsigned Form = TID.TSFlags & ARMII::FormMask;
1075 bool IsPrePost = (TID.TSFlags & ARMII::IndexModeMask) != 0;
Evan Cheng077c8f82008-11-08 01:44:13 +00001076
Evan Cheng81889d012008-11-05 18:35:52 +00001077 // Part of binary is determined by TableGn.
1078 unsigned Binary = getBinaryCodeForInstr(MI);
1079
Jim Grosbach338de3e2010-10-27 23:12:14 +00001080 // If this is an LDRi12, STRi12 or LDRcp, nothing more needs be done.
1081 if (MI.getOpcode() == ARM::LDRi12 || MI.getOpcode() == ARM::LDRcp ||
1082 MI.getOpcode() == ARM::STRi12) {
Jim Grosbachba1c6cd2010-10-27 17:52:51 +00001083 emitWordLE(Binary);
1084 return;
1085 }
1086
Jim Grosbachc084e842008-10-07 19:05:35 +00001087 // Set the conditional execution predicate
Evan Cheng49d66522008-11-06 22:15:19 +00001088 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng933b3922008-09-18 07:28:19 +00001089
Evan Cheng7095cd22008-11-07 09:06:08 +00001090 unsigned OpIdx = 0;
Evan Cheng2666f592008-11-13 07:34:59 +00001091
1092 // Operand 0 of a pre- and post-indexed store is the address base
1093 // writeback. Skip it.
1094 bool Skipped = false;
1095 if (IsPrePost && Form == ARMII::StFrm) {
1096 ++OpIdx;
1097 Skipped = true;
1098 }
1099
1100 // Set first operand
Evan Cheng7095cd22008-11-07 09:06:08 +00001101 if (ImplicitRd)
1102 // Special handling for implicit use (e.g. PC).
Jim Grosbach40e85fb2010-09-15 20:26:25 +00001103 Binary |= (getARMRegisterNumbering(ImplicitRd) << ARMII::RegRdShift);
Evan Cheng7095cd22008-11-07 09:06:08 +00001104 else
1105 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
Evan Cheng3be5b722008-09-02 06:52:38 +00001106
1107 // Set second operand
Evan Chengfd2adbf2008-11-05 23:22:34 +00001108 if (ImplicitRn)
1109 // Special handling for implicit use (e.g. PC).
Jim Grosbach40e85fb2010-09-15 20:26:25 +00001110 Binary |= (getARMRegisterNumbering(ImplicitRn) << ARMII::RegRnShift);
Evan Cheng7095cd22008-11-07 09:06:08 +00001111 else
1112 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Cheng3be5b722008-09-02 06:52:38 +00001113
Evan Cheng077c8f82008-11-08 01:44:13 +00001114 // If this is a two-address operand, skip it. e.g. LDR_PRE.
Evan Cheng2666f592008-11-13 07:34:59 +00001115 if (!Skipped && TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
Evan Cheng077c8f82008-11-08 01:44:13 +00001116 ++OpIdx;
1117
Evan Chengfd2adbf2008-11-05 23:22:34 +00001118 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Cheng47b546d2008-11-06 08:47:38 +00001119 unsigned AM2Opc = (ImplicitRn == ARM::PC)
Evan Chengfd2adbf2008-11-05 23:22:34 +00001120 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Cheng3be5b722008-09-02 06:52:38 +00001121
Evan Cheng380482a2008-09-13 01:44:01 +00001122 // Set bit U(23) according to sign of immed value (positive or negative).
Evan Chengfd2adbf2008-11-05 23:22:34 +00001123 Binary |= ((ARM_AM::getAM2Op(AM2Opc) == ARM_AM::add ? 1 : 0) <<
Evan Cheng380482a2008-09-13 01:44:01 +00001124 ARMII::U_BitShift);
Evan Cheng3be5b722008-09-02 06:52:38 +00001125 if (!MO2.getReg()) { // is immediate
Evan Chengfd2adbf2008-11-05 23:22:34 +00001126 if (ARM_AM::getAM2Offset(AM2Opc))
Evan Cheng3be5b722008-09-02 06:52:38 +00001127 // Set the value of offset_12 field
Evan Chengfd2adbf2008-11-05 23:22:34 +00001128 Binary |= ARM_AM::getAM2Offset(AM2Opc);
1129 emitWordLE(Binary);
Evan Cheng81889d012008-11-05 18:35:52 +00001130 return;
Evan Cheng3be5b722008-09-02 06:52:38 +00001131 }
1132
Bill Wendling05819052010-10-20 22:44:54 +00001133 // Set bit I(25), because this is not in immediate encoding.
Evan Cheng3be5b722008-09-02 06:52:38 +00001134 Binary |= 1 << ARMII::I_BitShift;
1135 assert(TargetRegisterInfo::isPhysicalRegister(MO2.getReg()));
1136 // Set bit[3:0] to the corresponding Rm register
Jim Grosbach40e85fb2010-09-15 20:26:25 +00001137 Binary |= getARMRegisterNumbering(MO2.getReg());
Evan Cheng3be5b722008-09-02 06:52:38 +00001138
Evan Cheng2836d912008-11-12 07:34:37 +00001139 // If this instr is in scaled register offset/index instruction, set
Evan Cheng3be5b722008-09-02 06:52:38 +00001140 // shift_immed(bit[11:7]) and shift(bit[6:5]) fields.
Evan Chengfd2adbf2008-11-05 23:22:34 +00001141 if (unsigned ShImm = ARM_AM::getAM2Offset(AM2Opc)) {
Evan Cheng2836d912008-11-12 07:34:37 +00001142 Binary |= getShiftOp(AM2Opc) << ARMII::ShiftImmShift; // shift
1143 Binary |= ShImm << ARMII::ShiftShift; // shift_immed
Evan Cheng3be5b722008-09-02 06:52:38 +00001144 }
1145
Evan Chengfd2adbf2008-11-05 23:22:34 +00001146 emitWordLE(Binary);
Evan Cheng3be5b722008-09-02 06:52:38 +00001147}
1148
Chris Lattner8d806872010-02-02 21:48:51 +00001149void ARMCodeEmitter::emitMiscLoadStoreInstruction(const MachineInstr &MI,
Bob Wilsona6fe21a2010-03-17 21:16:45 +00001150 unsigned ImplicitRn) {
Evan Cheng077c8f82008-11-08 01:44:13 +00001151 const TargetInstrDesc &TID = MI.getDesc();
Evan Cheng2666f592008-11-13 07:34:59 +00001152 unsigned Form = TID.TSFlags & ARMII::FormMask;
1153 bool IsPrePost = (TID.TSFlags & ARMII::IndexModeMask) != 0;
Evan Cheng077c8f82008-11-08 01:44:13 +00001154
Evan Cheng81889d012008-11-05 18:35:52 +00001155 // Part of binary is determined by TableGn.
1156 unsigned Binary = getBinaryCodeForInstr(MI);
1157
Jim Grosbachc084e842008-10-07 19:05:35 +00001158 // Set the conditional execution predicate
Evan Cheng49d66522008-11-06 22:15:19 +00001159 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng933b3922008-09-18 07:28:19 +00001160
Evan Cheng2666f592008-11-13 07:34:59 +00001161 unsigned OpIdx = 0;
1162
1163 // Operand 0 of a pre- and post-indexed store is the address base
1164 // writeback. Skip it.
1165 bool Skipped = false;
1166 if (IsPrePost && Form == ARMII::StMiscFrm) {
1167 ++OpIdx;
1168 Skipped = true;
1169 }
1170
Evan Cheng3be5b722008-09-02 06:52:38 +00001171 // Set first operand
Evan Cheng2666f592008-11-13 07:34:59 +00001172 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
Evan Cheng3be5b722008-09-02 06:52:38 +00001173
Evan Cheng1283c6a2009-06-15 08:28:29 +00001174 // Skip LDRD and STRD's second operand.
1175 if (TID.Opcode == ARM::LDRD || TID.Opcode == ARM::STRD)
1176 ++OpIdx;
1177
Evan Cheng3be5b722008-09-02 06:52:38 +00001178 // Set second operand
Evan Chengfd2adbf2008-11-05 23:22:34 +00001179 if (ImplicitRn)
1180 // Special handling for implicit use (e.g. PC).
Jim Grosbach40e85fb2010-09-15 20:26:25 +00001181 Binary |= (getARMRegisterNumbering(ImplicitRn) << ARMII::RegRnShift);
Evan Cheng7095cd22008-11-07 09:06:08 +00001182 else
1183 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Cheng3be5b722008-09-02 06:52:38 +00001184
Evan Cheng077c8f82008-11-08 01:44:13 +00001185 // If this is a two-address operand, skip it. e.g. LDRH_POST.
Evan Cheng2666f592008-11-13 07:34:59 +00001186 if (!Skipped && TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
Evan Cheng077c8f82008-11-08 01:44:13 +00001187 ++OpIdx;
1188
Evan Chengfd2adbf2008-11-05 23:22:34 +00001189 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Cheng47b546d2008-11-06 08:47:38 +00001190 unsigned AM3Opc = (ImplicitRn == ARM::PC)
Evan Chengfd2adbf2008-11-05 23:22:34 +00001191 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Cheng3be5b722008-09-02 06:52:38 +00001192
Evan Cheng380482a2008-09-13 01:44:01 +00001193 // Set bit U(23) according to sign of immed value (positive or negative)
Evan Chengfd2adbf2008-11-05 23:22:34 +00001194 Binary |= ((ARM_AM::getAM3Op(AM3Opc) == ARM_AM::add ? 1 : 0) <<
Evan Cheng3be5b722008-09-02 06:52:38 +00001195 ARMII::U_BitShift);
1196
1197 // If this instr is in register offset/index encoding, set bit[3:0]
1198 // to the corresponding Rm register.
1199 if (MO2.getReg()) {
Jim Grosbach40e85fb2010-09-15 20:26:25 +00001200 Binary |= getARMRegisterNumbering(MO2.getReg());
Evan Chengfd2adbf2008-11-05 23:22:34 +00001201 emitWordLE(Binary);
Evan Cheng81889d012008-11-05 18:35:52 +00001202 return;
Evan Cheng3be5b722008-09-02 06:52:38 +00001203 }
1204
Evan Cheng47b546d2008-11-06 08:47:38 +00001205 // This instr is in immediate offset/index encoding, set bit 22 to 1.
Evan Cheng49d66522008-11-06 22:15:19 +00001206 Binary |= 1 << ARMII::AM3_I_BitShift;
Evan Chengfd2adbf2008-11-05 23:22:34 +00001207 if (unsigned ImmOffs = ARM_AM::getAM3Offset(AM3Opc)) {
Evan Cheng3be5b722008-09-02 06:52:38 +00001208 // Set operands
Evan Cheng2836d912008-11-12 07:34:37 +00001209 Binary |= (ImmOffs >> 4) << ARMII::ImmHiShift; // immedH
1210 Binary |= (ImmOffs & 0xF); // immedL
Evan Cheng3be5b722008-09-02 06:52:38 +00001211 }
1212
Evan Chengfd2adbf2008-11-05 23:22:34 +00001213 emitWordLE(Binary);
Evan Cheng3be5b722008-09-02 06:52:38 +00001214}
1215
Evan Cheng8cbbcb12008-11-11 21:48:44 +00001216static unsigned getAddrModeUPBits(unsigned Mode) {
1217 unsigned Binary = 0;
Evan Cheng3be5b722008-09-02 06:52:38 +00001218
1219 // Set addressing mode by modifying bits U(23) and P(24)
1220 // IA - Increment after - bit U = 1 and bit P = 0
1221 // IB - Increment before - bit U = 1 and bit P = 1
1222 // DA - Decrement after - bit U = 0 and bit P = 0
1223 // DB - Decrement before - bit U = 0 and bit P = 1
Evan Cheng3be5b722008-09-02 06:52:38 +00001224 switch (Mode) {
Torok Edwinfbcc6632009-07-14 16:55:14 +00001225 default: llvm_unreachable("Unknown addressing sub-mode!");
Evan Cheng71140342009-09-09 23:55:03 +00001226 case ARM_AM::da: break;
Evan Cheng49d66522008-11-06 22:15:19 +00001227 case ARM_AM::db: Binary |= 0x1 << ARMII::P_BitShift; break;
1228 case ARM_AM::ia: Binary |= 0x1 << ARMII::U_BitShift; break;
1229 case ARM_AM::ib: Binary |= 0x3 << ARMII::U_BitShift; break;
Evan Cheng3be5b722008-09-02 06:52:38 +00001230 }
1231
Evan Cheng8cbbcb12008-11-11 21:48:44 +00001232 return Binary;
1233}
1234
Bob Wilsonf1e8f7f2010-03-13 07:34:35 +00001235void ARMCodeEmitter::emitLoadStoreMultipleInstruction(const MachineInstr &MI) {
1236 const TargetInstrDesc &TID = MI.getDesc();
1237 bool IsUpdating = (TID.TSFlags & ARMII::IndexModeMask) != 0;
1238
Evan Cheng8cbbcb12008-11-11 21:48:44 +00001239 // Part of binary is determined by TableGn.
1240 unsigned Binary = getBinaryCodeForInstr(MI);
1241
1242 // Set the conditional execution predicate
1243 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1244
Bob Wilsonf1e8f7f2010-03-13 07:34:35 +00001245 // Skip operand 0 of an instruction with base register update.
1246 unsigned OpIdx = 0;
1247 if (IsUpdating)
1248 ++OpIdx;
1249
Evan Cheng8cbbcb12008-11-11 21:48:44 +00001250 // Set base address operand
Bob Wilsonf1e8f7f2010-03-13 07:34:35 +00001251 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Cheng8cbbcb12008-11-11 21:48:44 +00001252
1253 // Set addressing mode by modifying bits U(23) and P(24)
Bill Wendlingb100f912010-11-17 05:31:09 +00001254 ARM_AM::AMSubMode Mode = ARM_AM::getLoadStoreMultipleSubMode(MI.getOpcode());
1255 Binary |= getAddrModeUPBits(ARM_AM::getAM4SubMode(Mode));
Evan Cheng8cbbcb12008-11-11 21:48:44 +00001256
Evan Cheng3be5b722008-09-02 06:52:38 +00001257 // Set bit W(21)
Bob Wilsond6243b42010-03-16 17:46:45 +00001258 if (IsUpdating)
Evan Cheng49d66522008-11-06 22:15:19 +00001259 Binary |= 0x1 << ARMII::W_BitShift;
Evan Cheng3be5b722008-09-02 06:52:38 +00001260
1261 // Set registers
Bob Wilsonf1e8f7f2010-03-13 07:34:35 +00001262 for (unsigned i = OpIdx+2, e = MI.getNumOperands(); i != e; ++i) {
Evan Cheng3be5b722008-09-02 06:52:38 +00001263 const MachineOperand &MO = MI.getOperand(i);
Evan Cheng8cbbcb12008-11-11 21:48:44 +00001264 if (!MO.isReg() || MO.isImplicit())
1265 break;
Jim Grosbach40e85fb2010-09-15 20:26:25 +00001266 unsigned RegNum = getARMRegisterNumbering(MO.getReg());
Evan Cheng3be5b722008-09-02 06:52:38 +00001267 assert(TargetRegisterInfo::isPhysicalRegister(MO.getReg()) &&
1268 RegNum < 16);
1269 Binary |= 0x1 << RegNum;
1270 }
1271
Evan Chengfd2adbf2008-11-05 23:22:34 +00001272 emitWordLE(Binary);
Evan Cheng3be5b722008-09-02 06:52:38 +00001273}
1274
Chris Lattner8d806872010-02-02 21:48:51 +00001275void ARMCodeEmitter::emitMulFrmInstruction(const MachineInstr &MI) {
Evan Cheng81889d012008-11-05 18:35:52 +00001276 const TargetInstrDesc &TID = MI.getDesc();
1277
1278 // Part of binary is determined by TableGn.
1279 unsigned Binary = getBinaryCodeForInstr(MI);
1280
Jim Grosbach4d0549e2008-11-03 18:38:31 +00001281 // Set the conditional execution predicate
Evan Cheng49d66522008-11-06 22:15:19 +00001282 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Jim Grosbach4d0549e2008-11-03 18:38:31 +00001283
1284 // Encode S bit if MI modifies CPSR.
1285 Binary |= getAddrModeSBit(MI, TID);
1286
1287 // 32x32->64bit operations have two destination registers. The number
1288 // of register definitions will tell us if that's what we're dealing with.
Evan Cheng49d66522008-11-06 22:15:19 +00001289 unsigned OpIdx = 0;
Jim Grosbach4d0549e2008-11-03 18:38:31 +00001290 if (TID.getNumDefs() == 2)
1291 Binary |= getMachineOpValue (MI, OpIdx++) << ARMII::RegRdLoShift;
1292
1293 // Encode Rd
1294 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdHiShift;
1295
1296 // Encode Rm
1297 Binary |= getMachineOpValue(MI, OpIdx++);
1298
1299 // Encode Rs
1300 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRsShift;
1301
Evan Cheng2686c8f2008-11-06 01:21:28 +00001302 // Many multiple instructions (e.g. MLA) have three src operands. Encode
1303 // it as Rn (for multiply, that's in the same offset as RdLo.
Evan Cheng49d66522008-11-06 22:15:19 +00001304 if (TID.getNumOperands() > OpIdx &&
1305 !TID.OpInfo[OpIdx].isPredicate() &&
1306 !TID.OpInfo[OpIdx].isOptionalDef())
1307 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRdLoShift;
1308
1309 emitWordLE(Binary);
1310}
1311
Chris Lattner8d806872010-02-02 21:48:51 +00001312void ARMCodeEmitter::emitExtendInstruction(const MachineInstr &MI) {
Evan Cheng49d66522008-11-06 22:15:19 +00001313 const TargetInstrDesc &TID = MI.getDesc();
1314
1315 // Part of binary is determined by TableGn.
1316 unsigned Binary = getBinaryCodeForInstr(MI);
1317
1318 // Set the conditional execution predicate
1319 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1320
1321 unsigned OpIdx = 0;
1322
1323 // Encode Rd
1324 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
1325
1326 const MachineOperand &MO1 = MI.getOperand(OpIdx++);
1327 const MachineOperand &MO2 = MI.getOperand(OpIdx);
1328 if (MO2.isReg()) {
1329 // Two register operand form.
1330 // Encode Rn.
1331 Binary |= getMachineOpValue(MI, MO1) << ARMII::RegRnShift;
1332
1333 // Encode Rm.
1334 Binary |= getMachineOpValue(MI, MO2);
1335 ++OpIdx;
1336 } else {
1337 Binary |= getMachineOpValue(MI, MO1);
1338 }
1339
1340 // Encode rot imm (0, 8, 16, or 24) if it has a rotate immediate operand.
1341 if (MI.getOperand(OpIdx).isImm() &&
1342 !TID.OpInfo[OpIdx].isPredicate() &&
1343 !TID.OpInfo[OpIdx].isOptionalDef())
1344 Binary |= (getMachineOpValue(MI, OpIdx) / 8) << ARMII::ExtRotImmShift;
Evan Cheng2686c8f2008-11-06 01:21:28 +00001345
Evan Chengfd2adbf2008-11-05 23:22:34 +00001346 emitWordLE(Binary);
Jim Grosbach4d0549e2008-11-03 18:38:31 +00001347}
1348
Chris Lattner8d806872010-02-02 21:48:51 +00001349void ARMCodeEmitter::emitMiscArithInstruction(const MachineInstr &MI) {
Evan Cheng98dc53e2008-11-07 01:41:35 +00001350 const TargetInstrDesc &TID = MI.getDesc();
1351
1352 // Part of binary is determined by TableGn.
1353 unsigned Binary = getBinaryCodeForInstr(MI);
1354
1355 // Set the conditional execution predicate
1356 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1357
1358 unsigned OpIdx = 0;
1359
1360 // Encode Rd
1361 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
1362
1363 const MachineOperand &MO = MI.getOperand(OpIdx++);
1364 if (OpIdx == TID.getNumOperands() ||
1365 TID.OpInfo[OpIdx].isPredicate() ||
1366 TID.OpInfo[OpIdx].isOptionalDef()) {
1367 // Encode Rm and it's done.
1368 Binary |= getMachineOpValue(MI, MO);
1369 emitWordLE(Binary);
1370 return;
1371 }
1372
1373 // Encode Rn.
1374 Binary |= getMachineOpValue(MI, MO) << ARMII::RegRnShift;
1375
1376 // Encode Rm.
1377 Binary |= getMachineOpValue(MI, OpIdx++);
1378
1379 // Encode shift_imm.
1380 unsigned ShiftAmt = MI.getOperand(OpIdx).getImm();
Bob Wilson942b10f2010-08-17 17:23:19 +00001381 if (TID.Opcode == ARM::PKHTB) {
1382 assert(ShiftAmt != 0 && "PKHTB shift_imm is 0!");
1383 if (ShiftAmt == 32)
1384 ShiftAmt = 0;
1385 }
Evan Cheng98dc53e2008-11-07 01:41:35 +00001386 assert(ShiftAmt < 32 && "shift_imm range is 0 to 31!");
1387 Binary |= ShiftAmt << ARMII::ShiftShift;
Jim Grosbachf24f9d92009-08-11 15:33:49 +00001388
Evan Cheng98dc53e2008-11-07 01:41:35 +00001389 emitWordLE(Binary);
1390}
1391
Bob Wilson96649842010-08-11 00:01:18 +00001392void ARMCodeEmitter::emitSaturateInstruction(const MachineInstr &MI) {
1393 const TargetInstrDesc &TID = MI.getDesc();
1394
1395 // Part of binary is determined by TableGen.
1396 unsigned Binary = getBinaryCodeForInstr(MI);
1397
1398 // Set the conditional execution predicate
1399 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1400
1401 // Encode Rd
1402 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
1403
1404 // Encode saturate bit position.
1405 unsigned Pos = MI.getOperand(1).getImm();
Bob Wilsonadd513112010-08-11 23:10:46 +00001406 if (TID.Opcode == ARM::SSAT || TID.Opcode == ARM::SSAT16)
Bob Wilson96649842010-08-11 00:01:18 +00001407 Pos -= 1;
1408 assert((Pos < 16 || (Pos < 32 &&
1409 TID.Opcode != ARM::SSAT16 &&
1410 TID.Opcode != ARM::USAT16)) &&
1411 "saturate bit position out of range");
1412 Binary |= Pos << 16;
1413
1414 // Encode Rm
1415 Binary |= getMachineOpValue(MI, 2);
1416
1417 // Encode shift_imm.
1418 if (TID.getNumOperands() == 4) {
Bob Wilsonadd513112010-08-11 23:10:46 +00001419 unsigned ShiftOp = MI.getOperand(3).getImm();
1420 ARM_AM::ShiftOpc Opc = ARM_AM::getSORegShOp(ShiftOp);
1421 if (Opc == ARM_AM::asr)
1422 Binary |= (1 << 6);
Bob Wilson96649842010-08-11 00:01:18 +00001423 unsigned ShiftAmt = MI.getOperand(3).getImm();
Bob Wilsonadd513112010-08-11 23:10:46 +00001424 if (ShiftAmt == 32 && Opc == ARM_AM::asr)
Bob Wilson96649842010-08-11 00:01:18 +00001425 ShiftAmt = 0;
1426 assert(ShiftAmt < 32 && "shift_imm range is 0 to 31!");
1427 Binary |= ShiftAmt << ARMII::ShiftShift;
1428 }
1429
1430 emitWordLE(Binary);
1431}
1432
Chris Lattner8d806872010-02-02 21:48:51 +00001433void ARMCodeEmitter::emitBranchInstruction(const MachineInstr &MI) {
Evan Cheng81889d012008-11-05 18:35:52 +00001434 const TargetInstrDesc &TID = MI.getDesc();
1435
Torok Edwinfb8d6d52009-07-08 20:53:28 +00001436 if (TID.Opcode == ARM::TPsoft) {
Torok Edwinfbcc6632009-07-14 16:55:14 +00001437 llvm_unreachable("ARM::TPsoft FIXME"); // FIXME
Torok Edwinfb8d6d52009-07-08 20:53:28 +00001438 }
Evan Chengaa03cd32008-11-06 17:48:05 +00001439
Evan Cheng3be5b722008-09-02 06:52:38 +00001440 // Part of binary is determined by TableGn.
1441 unsigned Binary = getBinaryCodeForInstr(MI);
1442
Evan Cheng81889d012008-11-05 18:35:52 +00001443 // Set the conditional execution predicate
Evan Cheng49d66522008-11-06 22:15:19 +00001444 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng81889d012008-11-05 18:35:52 +00001445
1446 // Set signed_immed_24 field
1447 Binary |= getMachineOpValue(MI, 0);
1448
Evan Chengfd2adbf2008-11-05 23:22:34 +00001449 emitWordLE(Binary);
Evan Cheng81889d012008-11-05 18:35:52 +00001450}
1451
Chris Lattner8d806872010-02-02 21:48:51 +00001452void ARMCodeEmitter::emitInlineJumpTable(unsigned JTIndex) {
Evan Cheng7095cd22008-11-07 09:06:08 +00001453 // Remember the base address of the inline jump table.
Evan Cheng0b773192008-12-10 02:32:19 +00001454 uintptr_t JTBase = MCE.getCurrentPCValue();
Evan Cheng8467e242008-11-07 22:30:53 +00001455 JTI->addJumpTableBaseAddr(JTIndex, JTBase);
Chris Lattneraf29ea62009-08-23 06:49:22 +00001456 DEBUG(errs() << " ** Jump Table #" << JTIndex << " @ " << (void*)JTBase
1457 << '\n');
Evan Cheng7095cd22008-11-07 09:06:08 +00001458
1459 // Now emit the jump table entries.
1460 const std::vector<MachineBasicBlock*> &MBBs = (*MJTEs)[JTIndex].MBBs;
1461 for (unsigned i = 0, e = MBBs.size(); i != e; ++i) {
1462 if (IsPIC)
1463 // DestBB address - JT base.
Evan Cheng8467e242008-11-07 22:30:53 +00001464 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_pic_jt, JTBase);
Evan Cheng7095cd22008-11-07 09:06:08 +00001465 else
1466 // Absolute DestBB address.
1467 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_absolute);
1468 emitWordLE(0);
1469 }
1470}
1471
Chris Lattner8d806872010-02-02 21:48:51 +00001472void ARMCodeEmitter::emitMiscBranchInstruction(const MachineInstr &MI) {
Evan Cheng81889d012008-11-05 18:35:52 +00001473 const TargetInstrDesc &TID = MI.getDesc();
Evan Cheng81889d012008-11-05 18:35:52 +00001474
Evan Cheng8467e242008-11-07 22:30:53 +00001475 // Handle jump tables.
Evan Chengf2972562009-07-25 00:13:11 +00001476 if (TID.Opcode == ARM::BR_JTr || TID.Opcode == ARM::BR_JTadd) {
Evan Cheng8467e242008-11-07 22:30:53 +00001477 // First emit a ldr pc, [] instruction.
1478 emitDataProcessingInstruction(MI, ARM::PC);
1479
1480 // Then emit the inline jump table.
Evan Chengb61e3a82009-07-08 00:05:05 +00001481 unsigned JTIndex =
Evan Chengf2972562009-07-25 00:13:11 +00001482 (TID.Opcode == ARM::BR_JTr)
Evan Cheng8467e242008-11-07 22:30:53 +00001483 ? MI.getOperand(1).getIndex() : MI.getOperand(2).getIndex();
1484 emitInlineJumpTable(JTIndex);
1485 return;
Evan Chengf2972562009-07-25 00:13:11 +00001486 } else if (TID.Opcode == ARM::BR_JTm) {
Evan Cheng7095cd22008-11-07 09:06:08 +00001487 // First emit a ldr pc, [] instruction.
1488 emitLoadStoreInstruction(MI, ARM::PC);
1489
1490 // Then emit the inline jump table.
Evan Cheng8467e242008-11-07 22:30:53 +00001491 emitInlineJumpTable(MI.getOperand(3).getIndex());
Evan Cheng7095cd22008-11-07 09:06:08 +00001492 return;
1493 }
1494
Evan Cheng81889d012008-11-05 18:35:52 +00001495 // Part of binary is determined by TableGn.
1496 unsigned Binary = getBinaryCodeForInstr(MI);
1497
1498 // Set the conditional execution predicate
Evan Cheng49d66522008-11-06 22:15:19 +00001499 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng81889d012008-11-05 18:35:52 +00001500
Anton Korobeynikovbf16a172010-03-06 19:39:36 +00001501 if (TID.Opcode == ARM::BX_RET || TID.Opcode == ARM::MOVPCLR)
Evan Cheng81889d012008-11-05 18:35:52 +00001502 // The return register is LR.
Jim Grosbach40e85fb2010-09-15 20:26:25 +00001503 Binary |= getARMRegisterNumbering(ARM::LR);
Jim Grosbachf24f9d92009-08-11 15:33:49 +00001504 else
Evan Cheng81889d012008-11-05 18:35:52 +00001505 // otherwise, set the return register
1506 Binary |= getMachineOpValue(MI, 0);
1507
Evan Chengfd2adbf2008-11-05 23:22:34 +00001508 emitWordLE(Binary);
Evan Cheng9546a5c2007-07-05 21:15:40 +00001509}
Evan Cheng3be5b722008-09-02 06:52:38 +00001510
Evan Cheng4b6c7ef2008-11-12 06:41:41 +00001511static unsigned encodeVFPRd(const MachineInstr &MI, unsigned OpIdx) {
Evan Chenga0e2f262008-11-12 02:19:38 +00001512 unsigned RegD = MI.getOperand(OpIdx).getReg();
Evan Cheng4b6c7ef2008-11-12 06:41:41 +00001513 unsigned Binary = 0;
Jim Grosbach789ca9a2010-09-15 19:44:57 +00001514 bool isSPVFP = ARM::SPRRegisterClass->contains(RegD);
Jim Grosbach40e85fb2010-09-15 20:26:25 +00001515 RegD = getARMRegisterNumbering(RegD);
Evan Chenga0e2f262008-11-12 02:19:38 +00001516 if (!isSPVFP)
1517 Binary |= RegD << ARMII::RegRdShift;
1518 else {
1519 Binary |= ((RegD & 0x1E) >> 1) << ARMII::RegRdShift;
1520 Binary |= (RegD & 0x01) << ARMII::D_BitShift;
1521 }
Evan Cheng4b6c7ef2008-11-12 06:41:41 +00001522 return Binary;
1523}
Evan Cheng38c9a142008-11-11 19:40:26 +00001524
Evan Cheng4b6c7ef2008-11-12 06:41:41 +00001525static unsigned encodeVFPRn(const MachineInstr &MI, unsigned OpIdx) {
Evan Chenga0e2f262008-11-12 02:19:38 +00001526 unsigned RegN = MI.getOperand(OpIdx).getReg();
Evan Cheng4b6c7ef2008-11-12 06:41:41 +00001527 unsigned Binary = 0;
Jim Grosbach789ca9a2010-09-15 19:44:57 +00001528 bool isSPVFP = ARM::SPRRegisterClass->contains(RegN);
Jim Grosbach40e85fb2010-09-15 20:26:25 +00001529 RegN = getARMRegisterNumbering(RegN);
Evan Chenga0e2f262008-11-12 02:19:38 +00001530 if (!isSPVFP)
1531 Binary |= RegN << ARMII::RegRnShift;
1532 else {
1533 Binary |= ((RegN & 0x1E) >> 1) << ARMII::RegRnShift;
1534 Binary |= (RegN & 0x01) << ARMII::N_BitShift;
1535 }
Evan Cheng4b6c7ef2008-11-12 06:41:41 +00001536 return Binary;
1537}
Evan Chenga0e2f262008-11-12 02:19:38 +00001538
Evan Cheng4b6c7ef2008-11-12 06:41:41 +00001539static unsigned encodeVFPRm(const MachineInstr &MI, unsigned OpIdx) {
1540 unsigned RegM = MI.getOperand(OpIdx).getReg();
1541 unsigned Binary = 0;
Jim Grosbach789ca9a2010-09-15 19:44:57 +00001542 bool isSPVFP = ARM::SPRRegisterClass->contains(RegM);
Jim Grosbach40e85fb2010-09-15 20:26:25 +00001543 RegM = getARMRegisterNumbering(RegM);
Evan Cheng4b6c7ef2008-11-12 06:41:41 +00001544 if (!isSPVFP)
1545 Binary |= RegM;
1546 else {
1547 Binary |= ((RegM & 0x1E) >> 1);
1548 Binary |= (RegM & 0x01) << ARMII::M_BitShift;
Evan Cheng38c9a142008-11-11 19:40:26 +00001549 }
Evan Cheng4b6c7ef2008-11-12 06:41:41 +00001550 return Binary;
1551}
1552
Chris Lattner8d806872010-02-02 21:48:51 +00001553void ARMCodeEmitter::emitVFPArithInstruction(const MachineInstr &MI) {
Evan Chengaf644b52008-11-12 07:18:38 +00001554 const TargetInstrDesc &TID = MI.getDesc();
1555
1556 // Part of binary is determined by TableGn.
1557 unsigned Binary = getBinaryCodeForInstr(MI);
1558
1559 // Set the conditional execution predicate
1560 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1561
1562 unsigned OpIdx = 0;
1563 assert((Binary & ARMII::D_BitShift) == 0 &&
1564 (Binary & ARMII::N_BitShift) == 0 &&
1565 (Binary & ARMII::M_BitShift) == 0 && "VFP encoding bug!");
1566
1567 // Encode Dd / Sd.
1568 Binary |= encodeVFPRd(MI, OpIdx++);
1569
1570 // If this is a two-address operand, skip it, e.g. FMACD.
1571 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1572 ++OpIdx;
1573
1574 // Encode Dn / Sn.
1575 if ((TID.TSFlags & ARMII::FormMask) == ARMII::VFPBinaryFrm)
Evan Cheng052f20d2008-11-12 08:14:21 +00001576 Binary |= encodeVFPRn(MI, OpIdx++);
Evan Chengaf644b52008-11-12 07:18:38 +00001577
1578 if (OpIdx == TID.getNumOperands() ||
1579 TID.OpInfo[OpIdx].isPredicate() ||
1580 TID.OpInfo[OpIdx].isOptionalDef()) {
1581 // FCMPEZD etc. has only one operand.
1582 emitWordLE(Binary);
1583 return;
1584 }
1585
1586 // Encode Dm / Sm.
1587 Binary |= encodeVFPRm(MI, OpIdx);
Jim Grosbachf24f9d92009-08-11 15:33:49 +00001588
Evan Chengaf644b52008-11-12 07:18:38 +00001589 emitWordLE(Binary);
1590}
1591
Bob Wilsona6fe21a2010-03-17 21:16:45 +00001592void ARMCodeEmitter::emitVFPConversionInstruction(const MachineInstr &MI) {
Evan Cheng4b6c7ef2008-11-12 06:41:41 +00001593 const TargetInstrDesc &TID = MI.getDesc();
1594 unsigned Form = TID.TSFlags & ARMII::FormMask;
1595
1596 // Part of binary is determined by TableGn.
1597 unsigned Binary = getBinaryCodeForInstr(MI);
1598
1599 // Set the conditional execution predicate
1600 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1601
1602 switch (Form) {
1603 default: break;
1604 case ARMII::VFPConv1Frm:
1605 case ARMII::VFPConv2Frm:
1606 case ARMII::VFPConv3Frm:
1607 // Encode Dd / Sd.
1608 Binary |= encodeVFPRd(MI, 0);
1609 break;
1610 case ARMII::VFPConv4Frm:
1611 // Encode Dn / Sn.
1612 Binary |= encodeVFPRn(MI, 0);
1613 break;
1614 case ARMII::VFPConv5Frm:
1615 // Encode Dm / Sm.
1616 Binary |= encodeVFPRm(MI, 0);
1617 break;
1618 }
1619
1620 switch (Form) {
1621 default: break;
1622 case ARMII::VFPConv1Frm:
1623 // Encode Dm / Sm.
1624 Binary |= encodeVFPRm(MI, 1);
Evan Cheng4af89f72008-11-13 07:46:59 +00001625 break;
Evan Cheng4b6c7ef2008-11-12 06:41:41 +00001626 case ARMII::VFPConv2Frm:
1627 case ARMII::VFPConv3Frm:
1628 // Encode Dn / Sn.
1629 Binary |= encodeVFPRn(MI, 1);
1630 break;
1631 case ARMII::VFPConv4Frm:
1632 case ARMII::VFPConv5Frm:
1633 // Encode Dd / Sd.
1634 Binary |= encodeVFPRd(MI, 1);
1635 break;
1636 }
1637
1638 if (Form == ARMII::VFPConv5Frm)
1639 // Encode Dn / Sn.
1640 Binary |= encodeVFPRn(MI, 2);
1641 else if (Form == ARMII::VFPConv3Frm)
1642 // Encode Dm / Sm.
1643 Binary |= encodeVFPRm(MI, 2);
Evan Cheng38c9a142008-11-11 19:40:26 +00001644
1645 emitWordLE(Binary);
1646}
1647
Chris Lattner8d806872010-02-02 21:48:51 +00001648void ARMCodeEmitter::emitVFPLoadStoreInstruction(const MachineInstr &MI) {
Evan Cheng8cbbcb12008-11-11 21:48:44 +00001649 // Part of binary is determined by TableGn.
1650 unsigned Binary = getBinaryCodeForInstr(MI);
1651
1652 // Set the conditional execution predicate
1653 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1654
1655 unsigned OpIdx = 0;
1656
1657 // Encode Dd / Sd.
Evan Chengaf644b52008-11-12 07:18:38 +00001658 Binary |= encodeVFPRd(MI, OpIdx++);
Evan Cheng8cbbcb12008-11-11 21:48:44 +00001659
1660 // Encode address base.
1661 const MachineOperand &Base = MI.getOperand(OpIdx++);
1662 Binary |= getMachineOpValue(MI, Base) << ARMII::RegRnShift;
1663
1664 // If there is a non-zero immediate offset, encode it.
1665 if (Base.isReg()) {
1666 const MachineOperand &Offset = MI.getOperand(OpIdx);
1667 if (unsigned ImmOffs = ARM_AM::getAM5Offset(Offset.getImm())) {
1668 if (ARM_AM::getAM5Op(Offset.getImm()) == ARM_AM::add)
1669 Binary |= 1 << ARMII::U_BitShift;
Evan Cheng45d030a2008-11-12 08:21:12 +00001670 Binary |= ImmOffs;
Evan Cheng8cbbcb12008-11-11 21:48:44 +00001671 emitWordLE(Binary);
1672 return;
1673 }
1674 }
1675
1676 // If immediate offset is omitted, default to +0.
1677 Binary |= 1 << ARMII::U_BitShift;
1678
1679 emitWordLE(Binary);
1680}
1681
Bob Wilsona6fe21a2010-03-17 21:16:45 +00001682void
1683ARMCodeEmitter::emitVFPLoadStoreMultipleInstruction(const MachineInstr &MI) {
Bob Wilsonf1e8f7f2010-03-13 07:34:35 +00001684 const TargetInstrDesc &TID = MI.getDesc();
1685 bool IsUpdating = (TID.TSFlags & ARMII::IndexModeMask) != 0;
1686
Evan Cheng8cbbcb12008-11-11 21:48:44 +00001687 // Part of binary is determined by TableGn.
1688 unsigned Binary = getBinaryCodeForInstr(MI);
1689
1690 // Set the conditional execution predicate
1691 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1692
Bob Wilsonf1e8f7f2010-03-13 07:34:35 +00001693 // Skip operand 0 of an instruction with base register update.
1694 unsigned OpIdx = 0;
1695 if (IsUpdating)
1696 ++OpIdx;
1697
Evan Cheng8cbbcb12008-11-11 21:48:44 +00001698 // Set base address operand
Bob Wilsonf1e8f7f2010-03-13 07:34:35 +00001699 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Cheng8cbbcb12008-11-11 21:48:44 +00001700
1701 // Set addressing mode by modifying bits U(23) and P(24)
Bill Wendlingb100f912010-11-17 05:31:09 +00001702 ARM_AM::AMSubMode Mode = ARM_AM::getLoadStoreMultipleSubMode(MI.getOpcode());
1703 Binary |= getAddrModeUPBits(ARM_AM::getAM4SubMode(Mode));
Evan Cheng8cbbcb12008-11-11 21:48:44 +00001704
1705 // Set bit W(21)
Bob Wilson466d1e32010-03-16 18:38:09 +00001706 if (IsUpdating)
Evan Cheng8cbbcb12008-11-11 21:48:44 +00001707 Binary |= 0x1 << ARMII::W_BitShift;
1708
1709 // First register is encoded in Dd.
Bob Wilsonf1e8f7f2010-03-13 07:34:35 +00001710 Binary |= encodeVFPRd(MI, OpIdx+2);
Evan Cheng8cbbcb12008-11-11 21:48:44 +00001711
Bob Wilson13ce07f2010-08-27 23:18:17 +00001712 // Count the number of registers.
Evan Cheng8cbbcb12008-11-11 21:48:44 +00001713 unsigned NumRegs = 1;
Bob Wilsonf1e8f7f2010-03-13 07:34:35 +00001714 for (unsigned i = OpIdx+3, e = MI.getNumOperands(); i != e; ++i) {
Evan Cheng8cbbcb12008-11-11 21:48:44 +00001715 const MachineOperand &MO = MI.getOperand(i);
1716 if (!MO.isReg() || MO.isImplicit())
1717 break;
1718 ++NumRegs;
1719 }
Shih-wei Liaoe22abfa2010-05-26 00:02:28 +00001720 // Bit 8 will be set if <list> is consecutive 64-bit registers (e.g., D0)
1721 // Otherwise, it will be 0, in the case of 32-bit registers.
1722 if(Binary & 0x100)
1723 Binary |= NumRegs * 2;
1724 else
1725 Binary |= NumRegs;
Evan Cheng8cbbcb12008-11-11 21:48:44 +00001726
1727 emitWordLE(Binary);
1728}
1729
Bob Wilson6eae5202010-06-11 21:34:50 +00001730static unsigned encodeNEONRd(const MachineInstr &MI, unsigned OpIdx) {
1731 unsigned RegD = MI.getOperand(OpIdx).getReg();
1732 unsigned Binary = 0;
Jim Grosbach40e85fb2010-09-15 20:26:25 +00001733 RegD = getARMRegisterNumbering(RegD);
Bob Wilson6eae5202010-06-11 21:34:50 +00001734 Binary |= (RegD & 0xf) << ARMII::RegRdShift;
1735 Binary |= ((RegD >> 4) & 1) << ARMII::D_BitShift;
1736 return Binary;
1737}
1738
Bob Wilson2530ca02010-06-25 22:40:46 +00001739static unsigned encodeNEONRn(const MachineInstr &MI, unsigned OpIdx) {
1740 unsigned RegN = MI.getOperand(OpIdx).getReg();
1741 unsigned Binary = 0;
Jim Grosbach40e85fb2010-09-15 20:26:25 +00001742 RegN = getARMRegisterNumbering(RegN);
Bob Wilson2530ca02010-06-25 22:40:46 +00001743 Binary |= (RegN & 0xf) << ARMII::RegRnShift;
1744 Binary |= ((RegN >> 4) & 1) << ARMII::N_BitShift;
1745 return Binary;
1746}
1747
Bob Wilsone70c8b12010-06-25 21:17:19 +00001748static unsigned encodeNEONRm(const MachineInstr &MI, unsigned OpIdx) {
1749 unsigned RegM = MI.getOperand(OpIdx).getReg();
1750 unsigned Binary = 0;
Jim Grosbach40e85fb2010-09-15 20:26:25 +00001751 RegM = getARMRegisterNumbering(RegM);
Bob Wilsone70c8b12010-06-25 21:17:19 +00001752 Binary |= (RegM & 0xf);
1753 Binary |= ((RegM >> 4) & 1) << ARMII::M_BitShift;
1754 return Binary;
1755}
1756
Bob Wilson584387d2010-06-28 21:12:19 +00001757/// convertNEONDataProcToThumb - Convert the ARM mode encoding for a NEON
1758/// data-processing instruction to the corresponding Thumb encoding.
1759static unsigned convertNEONDataProcToThumb(unsigned Binary) {
1760 assert((Binary & 0xfe000000) == 0xf2000000 &&
1761 "not an ARM NEON data-processing instruction");
1762 unsigned UBit = (Binary >> 24) & 1;
1763 return 0xef000000 | (UBit << 28) | (Binary & 0xffffff);
1764}
1765
Bob Wilsonab0819e2010-06-29 17:34:07 +00001766void ARMCodeEmitter::emitNEONLaneInstruction(const MachineInstr &MI) {
Bob Wilson0248da92010-06-26 04:07:15 +00001767 unsigned Binary = getBinaryCodeForInstr(MI);
1768
Bob Wilsonab0819e2010-06-29 17:34:07 +00001769 unsigned RegTOpIdx, RegNOpIdx, LnOpIdx;
1770 const TargetInstrDesc &TID = MI.getDesc();
1771 if ((TID.TSFlags & ARMII::FormMask) == ARMII::NGetLnFrm) {
1772 RegTOpIdx = 0;
1773 RegNOpIdx = 1;
1774 LnOpIdx = 2;
1775 } else { // ARMII::NSetLnFrm
1776 RegTOpIdx = 2;
1777 RegNOpIdx = 0;
1778 LnOpIdx = 3;
1779 }
1780
Bob Wilson0248da92010-06-26 04:07:15 +00001781 // Set the conditional execution predicate
Bob Wilson3d12ff72010-06-29 00:26:13 +00001782 Binary |= (IsThumb ? ARMCC::AL : II->getPredicate(&MI)) << ARMII::CondShift;
Bob Wilson0248da92010-06-26 04:07:15 +00001783
Bob Wilsonab0819e2010-06-29 17:34:07 +00001784 unsigned RegT = MI.getOperand(RegTOpIdx).getReg();
Jim Grosbach40e85fb2010-09-15 20:26:25 +00001785 RegT = getARMRegisterNumbering(RegT);
Bob Wilson0248da92010-06-26 04:07:15 +00001786 Binary |= (RegT << ARMII::RegRdShift);
Bob Wilsonab0819e2010-06-29 17:34:07 +00001787 Binary |= encodeNEONRn(MI, RegNOpIdx);
Bob Wilson0248da92010-06-26 04:07:15 +00001788
1789 unsigned LaneShift;
1790 if ((Binary & (1 << 22)) != 0)
1791 LaneShift = 0; // 8-bit elements
1792 else if ((Binary & (1 << 5)) != 0)
1793 LaneShift = 1; // 16-bit elements
1794 else
1795 LaneShift = 2; // 32-bit elements
1796
Bob Wilsonab0819e2010-06-29 17:34:07 +00001797 unsigned Lane = MI.getOperand(LnOpIdx).getImm() << LaneShift;
Bob Wilson0248da92010-06-26 04:07:15 +00001798 unsigned Opc1 = Lane >> 2;
1799 unsigned Opc2 = Lane & 3;
1800 assert((Opc1 & 3) == 0 && "out-of-range lane number operand");
1801 Binary |= (Opc1 << 21);
1802 Binary |= (Opc2 << 5);
1803
1804 emitWordLE(Binary);
1805}
1806
Bob Wilsonbe157b02010-06-29 20:13:29 +00001807void ARMCodeEmitter::emitNEONDupInstruction(const MachineInstr &MI) {
1808 unsigned Binary = getBinaryCodeForInstr(MI);
1809
1810 // Set the conditional execution predicate
1811 Binary |= (IsThumb ? ARMCC::AL : II->getPredicate(&MI)) << ARMII::CondShift;
1812
1813 unsigned RegT = MI.getOperand(1).getReg();
Jim Grosbach40e85fb2010-09-15 20:26:25 +00001814 RegT = getARMRegisterNumbering(RegT);
Bob Wilsonbe157b02010-06-29 20:13:29 +00001815 Binary |= (RegT << ARMII::RegRdShift);
1816 Binary |= encodeNEONRn(MI, 0);
1817 emitWordLE(Binary);
1818}
1819
Bob Wilsone70c8b12010-06-25 21:17:19 +00001820void ARMCodeEmitter::emitNEON1RegModImmInstruction(const MachineInstr &MI) {
Bob Wilson6eae5202010-06-11 21:34:50 +00001821 unsigned Binary = getBinaryCodeForInstr(MI);
1822 // Destination register is encoded in Dd.
1823 Binary |= encodeNEONRd(MI, 0);
1824 // Immediate fields: Op, Cmode, I, Imm3, Imm4
1825 unsigned Imm = MI.getOperand(1).getImm();
1826 unsigned Op = (Imm >> 12) & 1;
Bob Wilson6eae5202010-06-11 21:34:50 +00001827 unsigned Cmode = (Imm >> 8) & 0xf;
Bob Wilson6eae5202010-06-11 21:34:50 +00001828 unsigned I = (Imm >> 7) & 1;
Bob Wilson6eae5202010-06-11 21:34:50 +00001829 unsigned Imm3 = (Imm >> 4) & 0x7;
Bob Wilson6eae5202010-06-11 21:34:50 +00001830 unsigned Imm4 = Imm & 0xf;
Bob Wilson544317d2010-06-28 21:16:30 +00001831 Binary |= (I << 24) | (Imm3 << 16) | (Cmode << 8) | (Op << 5) | Imm4;
Bob Wilson4469a892010-06-28 22:23:17 +00001832 if (IsThumb)
Bob Wilson584387d2010-06-28 21:12:19 +00001833 Binary = convertNEONDataProcToThumb(Binary);
Bob Wilson6eae5202010-06-11 21:34:50 +00001834 emitWordLE(Binary);
1835}
1836
Bob Wilsone70c8b12010-06-25 21:17:19 +00001837void ARMCodeEmitter::emitNEON2RegInstruction(const MachineInstr &MI) {
Bob Wilson2530ca02010-06-25 22:40:46 +00001838 const TargetInstrDesc &TID = MI.getDesc();
Bob Wilsone70c8b12010-06-25 21:17:19 +00001839 unsigned Binary = getBinaryCodeForInstr(MI);
Bob Wilson2530ca02010-06-25 22:40:46 +00001840 // Destination register is encoded in Dd; source register in Dm.
1841 unsigned OpIdx = 0;
1842 Binary |= encodeNEONRd(MI, OpIdx++);
1843 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1844 ++OpIdx;
1845 Binary |= encodeNEONRm(MI, OpIdx);
Bob Wilson4469a892010-06-28 22:23:17 +00001846 if (IsThumb)
Bob Wilson584387d2010-06-28 21:12:19 +00001847 Binary = convertNEONDataProcToThumb(Binary);
Bob Wilsone70c8b12010-06-25 21:17:19 +00001848 // FIXME: This does not handle VDUPfdf or VDUPfqf.
1849 emitWordLE(Binary);
1850}
1851
Bob Wilson2530ca02010-06-25 22:40:46 +00001852void ARMCodeEmitter::emitNEON3RegInstruction(const MachineInstr &MI) {
1853 const TargetInstrDesc &TID = MI.getDesc();
1854 unsigned Binary = getBinaryCodeForInstr(MI);
1855 // Destination register is encoded in Dd; source registers in Dn and Dm.
1856 unsigned OpIdx = 0;
1857 Binary |= encodeNEONRd(MI, OpIdx++);
1858 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1859 ++OpIdx;
1860 Binary |= encodeNEONRn(MI, OpIdx++);
1861 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1862 ++OpIdx;
1863 Binary |= encodeNEONRm(MI, OpIdx);
Bob Wilson4469a892010-06-28 22:23:17 +00001864 if (IsThumb)
Bob Wilson584387d2010-06-28 21:12:19 +00001865 Binary = convertNEONDataProcToThumb(Binary);
Bob Wilson2530ca02010-06-25 22:40:46 +00001866 // FIXME: This does not handle VMOVDneon or VMOVQ.
1867 emitWordLE(Binary);
1868}
1869
Evan Cheng3be5b722008-09-02 06:52:38 +00001870#include "ARMGenCodeEmitter.inc"