blob: 00237a72ff10485cee86921fc850d6ed86b8df4d [file] [log] [blame]
Evan Cheng148b6a42007-07-05 21:15:40 +00001//===-- ARM/ARMCodeEmitter.cpp - Convert ARM code to machine code ---------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Evan Cheng148b6a42007-07-05 21:15:40 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file contains the pass that transforms the ARM machine instructions into
11// relocatable machine code.
12//
13//===----------------------------------------------------------------------===//
14
Evan Cheng0f282432008-10-29 23:55:43 +000015#define DEBUG_TYPE "jit"
Evan Cheng7602e112008-09-02 06:52:38 +000016#include "ARM.h"
17#include "ARMAddressingModes.h"
Evan Cheng0f282432008-10-29 23:55:43 +000018#include "ARMConstantPoolValue.h"
Evan Cheng148b6a42007-07-05 21:15:40 +000019#include "ARMInstrInfo.h"
Evan Cheng7602e112008-09-02 06:52:38 +000020#include "ARMRelocations.h"
Evan Cheng148b6a42007-07-05 21:15:40 +000021#include "ARMSubtarget.h"
22#include "ARMTargetMachine.h"
Jim Grosbachbc6d8762008-10-28 18:25:49 +000023#include "llvm/Constants.h"
24#include "llvm/DerivedTypes.h"
Evan Cheng42d5ee062008-09-13 01:15:21 +000025#include "llvm/Function.h"
Evan Cheng148b6a42007-07-05 21:15:40 +000026#include "llvm/PassManager.h"
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +000027#include "llvm/CodeGen/JITCodeEmitter.h"
Evan Cheng057d0c32008-09-18 07:28:19 +000028#include "llvm/CodeGen/MachineConstantPool.h"
Evan Cheng148b6a42007-07-05 21:15:40 +000029#include "llvm/CodeGen/MachineFunctionPass.h"
30#include "llvm/CodeGen/MachineInstr.h"
Evan Cheng4df60f52008-11-07 09:06:08 +000031#include "llvm/CodeGen/MachineJumpTableInfo.h"
Daniel Dunbar003de662009-09-21 05:58:35 +000032#include "llvm/CodeGen/MachineModuleInfo.h"
Evan Cheng148b6a42007-07-05 21:15:40 +000033#include "llvm/CodeGen/Passes.h"
Evan Cheng148b6a42007-07-05 21:15:40 +000034#include "llvm/ADT/Statistic.h"
Evan Cheng42d5ee062008-09-13 01:15:21 +000035#include "llvm/Support/Debug.h"
Torok Edwinab7c09b2009-07-08 18:01:40 +000036#include "llvm/Support/ErrorHandling.h"
37#include "llvm/Support/raw_ostream.h"
Evan Cheng4df60f52008-11-07 09:06:08 +000038#ifndef NDEBUG
39#include <iomanip>
40#endif
Evan Cheng148b6a42007-07-05 21:15:40 +000041using namespace llvm;
42
43STATISTIC(NumEmitted, "Number of machine instructions emitted");
44
45namespace {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +000046
Chris Lattner33fabd72010-02-02 21:48:51 +000047 class ARMCodeEmitter : public MachineFunctionPass {
Evan Cheng057d0c32008-09-18 07:28:19 +000048 ARMJITInfo *JTI;
49 const ARMInstrInfo *II;
50 const TargetData *TD;
Evan Cheng08669742009-09-10 01:23:53 +000051 const ARMSubtarget *Subtarget;
Evan Cheng057d0c32008-09-18 07:28:19 +000052 TargetMachine &TM;
Chris Lattner33fabd72010-02-02 21:48:51 +000053 JITCodeEmitter &MCE;
Chris Lattner16112732010-03-14 01:41:15 +000054 MachineModuleInfo *MMI;
Evan Cheng938b9d82008-10-31 19:55:13 +000055 const std::vector<MachineConstantPoolEntry> *MCPEs;
Evan Cheng4df60f52008-11-07 09:06:08 +000056 const std::vector<MachineJumpTableEntry> *MJTEs;
57 bool IsPIC;
Bob Wilson87949d42010-03-17 21:16:45 +000058
Daniel Dunbar003de662009-09-21 05:58:35 +000059 void getAnalysisUsage(AnalysisUsage &AU) const {
60 AU.addRequired<MachineModuleInfo>();
61 MachineFunctionPass::getAnalysisUsage(AU);
62 }
Bob Wilson87949d42010-03-17 21:16:45 +000063
Evan Cheng148b6a42007-07-05 21:15:40 +000064 static char ID;
Chris Lattner33fabd72010-02-02 21:48:51 +000065 public:
66 ARMCodeEmitter(TargetMachine &tm, JITCodeEmitter &mce)
Dan Gohman3fb150a2010-04-17 17:42:52 +000067 : MachineFunctionPass(&ID), JTI(0),
68 II((const ARMInstrInfo *)tm.getInstrInfo()),
Chris Lattner33fabd72010-02-02 21:48:51 +000069 TD(tm.getTargetData()), TM(tm),
70 MCE(mce), MCPEs(0), MJTEs(0),
71 IsPIC(TM.getRelocationModel() == Reloc::PIC_) {}
Bob Wilson87949d42010-03-17 21:16:45 +000072
Chris Lattner33fabd72010-02-02 21:48:51 +000073 /// getBinaryCodeForInstr - This function, generated by the
74 /// CodeEmitterGenerator using TableGen, produces the binary encoding for
75 /// machine instructions.
76 unsigned getBinaryCodeForInstr(const MachineInstr &MI);
Evan Cheng148b6a42007-07-05 21:15:40 +000077
78 bool runOnMachineFunction(MachineFunction &MF);
79
80 virtual const char *getPassName() const {
81 return "ARM Machine Code Emitter";
82 }
83
84 void emitInstruction(const MachineInstr &MI);
Evan Cheng7602e112008-09-02 06:52:38 +000085
86 private:
Evan Cheng057d0c32008-09-18 07:28:19 +000087
Evan Cheng83b5cf02008-11-05 23:22:34 +000088 void emitWordLE(unsigned Binary);
Evan Chengcb5201f2008-11-11 22:19:31 +000089 void emitDWordLE(uint64_t Binary);
Evan Cheng057d0c32008-09-18 07:28:19 +000090 void emitConstPoolInstruction(const MachineInstr &MI);
Zonr Changf86399b2010-05-25 08:42:45 +000091 void emitMOVi32immInstruction(const MachineInstr &MI);
Evan Cheng90922132008-11-06 02:25:39 +000092 void emitMOVi2piecesInstruction(const MachineInstr &MI);
Evan Cheng4df60f52008-11-07 09:06:08 +000093 void emitLEApcrelJTInstruction(const MachineInstr &MI);
Evan Chenga9562552008-11-14 20:09:11 +000094 void emitPseudoMoveInstruction(const MachineInstr &MI);
Evan Cheng83b5cf02008-11-05 23:22:34 +000095 void addPCLabel(unsigned LabelID);
Evan Cheng057d0c32008-09-18 07:28:19 +000096 void emitPseudoInstruction(const MachineInstr &MI);
Evan Cheng5f1db7b2008-09-12 22:01:15 +000097 unsigned getMachineSoRegOpValue(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +000098 const TargetInstrDesc &TID,
Evan Chengeb4ed4b2008-10-31 19:10:44 +000099 const MachineOperand &MO,
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000100 unsigned OpIdx);
101
Evan Cheng90922132008-11-06 02:25:39 +0000102 unsigned getMachineSoImmOpValue(unsigned SoImm);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000103
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000104 unsigned getAddrModeSBit(const MachineInstr &MI,
105 const TargetInstrDesc &TID) const;
Evan Cheng49a9f292008-09-12 22:45:55 +0000106
Evan Cheng83b5cf02008-11-05 23:22:34 +0000107 void emitDataProcessingInstruction(const MachineInstr &MI,
Evan Cheng437c1732008-11-07 22:30:53 +0000108 unsigned ImplicitRd = 0,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000109 unsigned ImplicitRn = 0);
Evan Cheng7602e112008-09-02 06:52:38 +0000110
Evan Cheng83b5cf02008-11-05 23:22:34 +0000111 void emitLoadStoreInstruction(const MachineInstr &MI,
Evan Cheng4df60f52008-11-07 09:06:08 +0000112 unsigned ImplicitRd = 0,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000113 unsigned ImplicitRn = 0);
Evan Chengedda31c2008-11-05 18:35:52 +0000114
Evan Cheng83b5cf02008-11-05 23:22:34 +0000115 void emitMiscLoadStoreInstruction(const MachineInstr &MI,
116 unsigned ImplicitRn = 0);
Evan Chengedda31c2008-11-05 18:35:52 +0000117
118 void emitLoadStoreMultipleInstruction(const MachineInstr &MI);
119
Evan Chengfbc9d412008-11-06 01:21:28 +0000120 void emitMulFrmInstruction(const MachineInstr &MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000121
Evan Cheng97f48c32008-11-06 22:15:19 +0000122 void emitExtendInstruction(const MachineInstr &MI);
123
Evan Cheng8b59db32008-11-07 01:41:35 +0000124 void emitMiscArithInstruction(const MachineInstr &MI);
125
Evan Chengedda31c2008-11-05 18:35:52 +0000126 void emitBranchInstruction(const MachineInstr &MI);
127
Evan Cheng437c1732008-11-07 22:30:53 +0000128 void emitInlineJumpTable(unsigned JTIndex);
Evan Cheng4df60f52008-11-07 09:06:08 +0000129
Evan Chengedda31c2008-11-05 18:35:52 +0000130 void emitMiscBranchInstruction(const MachineInstr &MI);
Evan Cheng7602e112008-09-02 06:52:38 +0000131
Evan Cheng96581d32008-11-11 02:11:05 +0000132 void emitVFPArithInstruction(const MachineInstr &MI);
133
Evan Cheng78be83d2008-11-11 19:40:26 +0000134 void emitVFPConversionInstruction(const MachineInstr &MI);
135
Evan Chengcd8e66a2008-11-11 21:48:44 +0000136 void emitVFPLoadStoreInstruction(const MachineInstr &MI);
137
138 void emitVFPLoadStoreMultipleInstruction(const MachineInstr &MI);
139
140 void emitMiscInstruction(const MachineInstr &MI);
141
Bob Wilson52e4a0a2010-06-26 04:07:15 +0000142 void emitNEONGetLaneInstruction(const MachineInstr &MI);
Bob Wilson583a2a02010-06-25 21:17:19 +0000143 void emitNEON1RegModImmInstruction(const MachineInstr &MI);
144 void emitNEON2RegInstruction(const MachineInstr &MI);
Bob Wilson5e7b6072010-06-25 22:40:46 +0000145 void emitNEON3RegInstruction(const MachineInstr &MI);
Bob Wilson1a913ed2010-06-11 21:34:50 +0000146
Evan Cheng7602e112008-09-02 06:52:38 +0000147 /// getMachineOpValue - Return binary encoding of operand. If the machine
148 /// operand requires relocation, record the relocation and return zero.
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000149 unsigned getMachineOpValue(const MachineInstr &MI,const MachineOperand &MO);
Evan Cheng7602e112008-09-02 06:52:38 +0000150 unsigned getMachineOpValue(const MachineInstr &MI, unsigned OpIdx) {
151 return getMachineOpValue(MI, MI.getOperand(OpIdx));
152 }
Evan Cheng7602e112008-09-02 06:52:38 +0000153
Shih-wei Liao5170b712010-05-26 00:02:28 +0000154 /// getMovi32Value - Return binary encoding of operand for movw/movt. If the
Jim Grosbach18f30e62010-06-02 21:53:11 +0000155 /// machine operand requires relocation, record the relocation and return
156 /// zero.
Shih-wei Liao5170b712010-05-26 00:02:28 +0000157 unsigned getMovi32Value(const MachineInstr &MI,const MachineOperand &MO,
Zonr Changf86399b2010-05-25 08:42:45 +0000158 unsigned Reloc);
Shih-wei Liao5170b712010-05-26 00:02:28 +0000159 unsigned getMovi32Value(const MachineInstr &MI, unsigned OpIdx,
Zonr Changf86399b2010-05-25 08:42:45 +0000160 unsigned Reloc) {
161 return getMovi32Value(MI, MI.getOperand(OpIdx), Reloc);
162 }
163
Evan Cheng83b5cf02008-11-05 23:22:34 +0000164 /// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
Evan Cheng7602e112008-09-02 06:52:38 +0000165 ///
Evan Cheng83b5cf02008-11-05 23:22:34 +0000166 unsigned getShiftOp(unsigned Imm) const ;
Evan Cheng7602e112008-09-02 06:52:38 +0000167
168 /// Routines that handle operands which add machine relocations which are
Evan Cheng437c1732008-11-07 22:30:53 +0000169 /// fixed up by the relocation stage.
Dan Gohman46510a72010-04-15 01:51:59 +0000170 void emitGlobalAddress(const GlobalValue *GV, unsigned Reloc,
Jeffrey Yasskin2d274412009-11-07 08:51:52 +0000171 bool MayNeedFarStub, bool Indirect,
172 intptr_t ACPV = 0);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000173 void emitExternalSymbolAddress(const char *ES, unsigned Reloc);
Evan Cheng437c1732008-11-07 22:30:53 +0000174 void emitConstPoolAddress(unsigned CPI, unsigned Reloc);
175 void emitJumpTableAddress(unsigned JTIndex, unsigned Reloc);
176 void emitMachineBasicBlock(MachineBasicBlock *BB, unsigned Reloc,
177 intptr_t JTBase = 0);
Evan Cheng148b6a42007-07-05 21:15:40 +0000178 };
Evan Cheng148b6a42007-07-05 21:15:40 +0000179}
180
Chris Lattner33fabd72010-02-02 21:48:51 +0000181char ARMCodeEmitter::ID = 0;
182
Bob Wilson87949d42010-03-17 21:16:45 +0000183/// createARMJITCodeEmitterPass - Return a pass that emits the collected ARM
Chris Lattnere0faa542010-02-02 21:38:59 +0000184/// code to the specified MCE object.
Bruno Cardoso Lopesac57e6e2009-07-06 05:09:34 +0000185FunctionPass *llvm::createARMJITCodeEmitterPass(ARMBaseTargetMachine &TM,
186 JITCodeEmitter &JCE) {
Chris Lattner33fabd72010-02-02 21:48:51 +0000187 return new ARMCodeEmitter(TM, JCE);
Evan Cheng148b6a42007-07-05 21:15:40 +0000188}
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000189
Chris Lattner33fabd72010-02-02 21:48:51 +0000190bool ARMCodeEmitter::runOnMachineFunction(MachineFunction &MF) {
Evan Cheng148b6a42007-07-05 21:15:40 +0000191 assert((MF.getTarget().getRelocationModel() != Reloc::Default ||
192 MF.getTarget().getRelocationModel() != Reloc::Static) &&
193 "JIT relocation model must be set to static or default!");
Dan Gohman3fb150a2010-04-17 17:42:52 +0000194 JTI = ((ARMTargetMachine &)MF.getTarget()).getJITInfo();
195 II = ((const ARMTargetMachine &)MF.getTarget()).getInstrInfo();
196 TD = ((const ARMTargetMachine &)MF.getTarget()).getTargetData();
Evan Cheng08669742009-09-10 01:23:53 +0000197 Subtarget = &TM.getSubtarget<ARMSubtarget>();
Evan Cheng938b9d82008-10-31 19:55:13 +0000198 MCPEs = &MF.getConstantPool()->getConstants();
Chris Lattnerb1e80392010-01-25 23:22:00 +0000199 MJTEs = 0;
200 if (MF.getJumpTableInfo()) MJTEs = &MF.getJumpTableInfo()->getJumpTables();
Evan Cheng4df60f52008-11-07 09:06:08 +0000201 IsPIC = TM.getRelocationModel() == Reloc::PIC_;
Evan Cheng3cc82232008-11-08 07:38:22 +0000202 JTI->Initialize(MF, IsPIC);
Chris Lattner16112732010-03-14 01:41:15 +0000203 MMI = &getAnalysis<MachineModuleInfo>();
204 MCE.setModuleInfo(MMI);
Evan Cheng148b6a42007-07-05 21:15:40 +0000205
206 do {
Jim Grosbach764ab522009-08-11 15:33:49 +0000207 DEBUG(errs() << "JITTing function '"
Daniel Dunbarce63ffb2009-07-25 00:23:56 +0000208 << MF.getFunction()->getName() << "'\n");
Evan Cheng148b6a42007-07-05 21:15:40 +0000209 MCE.startFunction(MF);
Jim Grosbach764ab522009-08-11 15:33:49 +0000210 for (MachineFunction::iterator MBB = MF.begin(), E = MF.end();
Evan Cheng148b6a42007-07-05 21:15:40 +0000211 MBB != E; ++MBB) {
212 MCE.StartMachineBasicBlock(MBB);
213 for (MachineBasicBlock::const_iterator I = MBB->begin(), E = MBB->end();
214 I != E; ++I)
215 emitInstruction(*I);
216 }
217 } while (MCE.finishFunction(MF));
218
219 return false;
220}
221
Evan Cheng83b5cf02008-11-05 23:22:34 +0000222/// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
Evan Cheng7602e112008-09-02 06:52:38 +0000223///
Chris Lattner33fabd72010-02-02 21:48:51 +0000224unsigned ARMCodeEmitter::getShiftOp(unsigned Imm) const {
Evan Cheng83b5cf02008-11-05 23:22:34 +0000225 switch (ARM_AM::getAM2ShiftOpc(Imm)) {
Torok Edwinc23197a2009-07-14 16:55:14 +0000226 default: llvm_unreachable("Unknown shift opc!");
Evan Cheng7602e112008-09-02 06:52:38 +0000227 case ARM_AM::asr: return 2;
228 case ARM_AM::lsl: return 0;
229 case ARM_AM::lsr: return 1;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000230 case ARM_AM::ror:
Evan Cheng7602e112008-09-02 06:52:38 +0000231 case ARM_AM::rrx: return 3;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000232 }
Evan Cheng7602e112008-09-02 06:52:38 +0000233 return 0;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000234}
235
Shih-wei Liao5170b712010-05-26 00:02:28 +0000236/// getMovi32Value - Return binary encoding of operand for movw/movt. If the
Zonr Changf86399b2010-05-25 08:42:45 +0000237/// machine operand requires relocation, record the relocation and return zero.
238unsigned ARMCodeEmitter::getMovi32Value(const MachineInstr &MI,
Shih-wei Liao5170b712010-05-26 00:02:28 +0000239 const MachineOperand &MO,
Zonr Changf86399b2010-05-25 08:42:45 +0000240 unsigned Reloc) {
Shih-wei Liao5170b712010-05-26 00:02:28 +0000241 assert(((Reloc == ARM::reloc_arm_movt) || (Reloc == ARM::reloc_arm_movw))
Zonr Changf86399b2010-05-25 08:42:45 +0000242 && "Relocation to this function should be for movt or movw");
243
244 if (MO.isImm())
245 return static_cast<unsigned>(MO.getImm());
246 else if (MO.isGlobal())
247 emitGlobalAddress(MO.getGlobal(), Reloc, true, false);
248 else if (MO.isSymbol())
249 emitExternalSymbolAddress(MO.getSymbolName(), Reloc);
250 else if (MO.isMBB())
251 emitMachineBasicBlock(MO.getMBB(), Reloc);
252 else {
253#ifndef NDEBUG
254 errs() << MO;
255#endif
256 llvm_unreachable("Unsupported operand type for movw/movt");
257 }
258 return 0;
259}
260
Evan Cheng7602e112008-09-02 06:52:38 +0000261/// getMachineOpValue - Return binary encoding of operand. If the machine
262/// operand requires relocation, record the relocation and return zero.
Chris Lattner33fabd72010-02-02 21:48:51 +0000263unsigned ARMCodeEmitter::getMachineOpValue(const MachineInstr &MI,
264 const MachineOperand &MO) {
Dan Gohmand735b802008-10-03 15:45:36 +0000265 if (MO.isReg())
Evan Cheng7602e112008-09-02 06:52:38 +0000266 return ARMRegisterInfo::getRegisterNumbering(MO.getReg());
Dan Gohmand735b802008-10-03 15:45:36 +0000267 else if (MO.isImm())
Evan Cheng7602e112008-09-02 06:52:38 +0000268 return static_cast<unsigned>(MO.getImm());
Dan Gohmand735b802008-10-03 15:45:36 +0000269 else if (MO.isGlobal())
Evan Cheng08669742009-09-10 01:23:53 +0000270 emitGlobalAddress(MO.getGlobal(), ARM::reloc_arm_branch, true, false);
Dan Gohmand735b802008-10-03 15:45:36 +0000271 else if (MO.isSymbol())
Evan Cheng10332512008-11-08 07:22:33 +0000272 emitExternalSymbolAddress(MO.getSymbolName(), ARM::reloc_arm_branch);
Evan Cheng580c0df2008-11-12 01:02:24 +0000273 else if (MO.isCPI()) {
274 const TargetInstrDesc &TID = MI.getDesc();
275 // For VFP load, the immediate offset is multiplied by 4.
276 unsigned Reloc = ((TID.TSFlags & ARMII::FormMask) == ARMII::VFPLdStFrm)
277 ? ARM::reloc_arm_vfp_cp_entry : ARM::reloc_arm_cp_entry;
278 emitConstPoolAddress(MO.getIndex(), Reloc);
279 } else if (MO.isJTI())
Chris Lattner8aa797a2007-12-30 23:10:15 +0000280 emitJumpTableAddress(MO.getIndex(), ARM::reloc_arm_relative);
Dan Gohmand735b802008-10-03 15:45:36 +0000281 else if (MO.isMBB())
Evan Cheng4df60f52008-11-07 09:06:08 +0000282 emitMachineBasicBlock(MO.getMBB(), ARM::reloc_arm_branch);
Evan Cheng2aa0e642008-09-13 01:55:59 +0000283 else {
Torok Edwindac237e2009-07-08 20:53:28 +0000284#ifndef NDEBUG
Chris Lattner705e07f2009-08-23 03:41:05 +0000285 errs() << MO;
Torok Edwindac237e2009-07-08 20:53:28 +0000286#endif
Torok Edwinc23197a2009-07-14 16:55:14 +0000287 llvm_unreachable(0);
Evan Cheng2aa0e642008-09-13 01:55:59 +0000288 }
Evan Cheng7602e112008-09-02 06:52:38 +0000289 return 0;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000290}
291
Evan Cheng057d0c32008-09-18 07:28:19 +0000292/// emitGlobalAddress - Emit the specified address to the code stream.
Evan Cheng0ff94f72007-08-07 01:37:15 +0000293///
Dan Gohman46510a72010-04-15 01:51:59 +0000294void ARMCodeEmitter::emitGlobalAddress(const GlobalValue *GV, unsigned Reloc,
Chris Lattner33fabd72010-02-02 21:48:51 +0000295 bool MayNeedFarStub, bool Indirect,
296 intptr_t ACPV) {
Evan Cheng08669742009-09-10 01:23:53 +0000297 MachineRelocation MR = Indirect
298 ? MachineRelocation::getIndirectSymbol(MCE.getCurrentPCOffset(), Reloc,
Dan Gohman46510a72010-04-15 01:51:59 +0000299 const_cast<GlobalValue *>(GV),
300 ACPV, MayNeedFarStub)
Evan Cheng08669742009-09-10 01:23:53 +0000301 : MachineRelocation::getGV(MCE.getCurrentPCOffset(), Reloc,
Dan Gohman46510a72010-04-15 01:51:59 +0000302 const_cast<GlobalValue *>(GV), ACPV,
303 MayNeedFarStub);
Evan Cheng08669742009-09-10 01:23:53 +0000304 MCE.addRelocation(MR);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000305}
306
307/// emitExternalSymbolAddress - Arrange for the address of an external symbol to
308/// be emitted to the current location in the function, and allow it to be PC
309/// relative.
Chris Lattner33fabd72010-02-02 21:48:51 +0000310void ARMCodeEmitter::emitExternalSymbolAddress(const char *ES, unsigned Reloc) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000311 MCE.addRelocation(MachineRelocation::getExtSym(MCE.getCurrentPCOffset(),
312 Reloc, ES));
313}
314
315/// emitConstPoolAddress - Arrange for the address of an constant pool
316/// to be emitted to the current location in the function, and allow it to be PC
317/// relative.
Chris Lattner33fabd72010-02-02 21:48:51 +0000318void ARMCodeEmitter::emitConstPoolAddress(unsigned CPI, unsigned Reloc) {
Evan Cheng0f282432008-10-29 23:55:43 +0000319 // Tell JIT emitter we'll resolve the address.
Evan Cheng0ff94f72007-08-07 01:37:15 +0000320 MCE.addRelocation(MachineRelocation::getConstPool(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000321 Reloc, CPI, 0, true));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000322}
323
324/// emitJumpTableAddress - Arrange for the address of a jump table to
325/// be emitted to the current location in the function, and allow it to be PC
326/// relative.
Chris Lattner33fabd72010-02-02 21:48:51 +0000327void ARMCodeEmitter::emitJumpTableAddress(unsigned JTIndex, unsigned Reloc) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000328 MCE.addRelocation(MachineRelocation::getJumpTable(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000329 Reloc, JTIndex, 0, true));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000330}
331
Raul Herbster9c1a3822007-08-30 23:29:26 +0000332/// emitMachineBasicBlock - Emit the specified address basic block.
Chris Lattner33fabd72010-02-02 21:48:51 +0000333void ARMCodeEmitter::emitMachineBasicBlock(MachineBasicBlock *BB,
334 unsigned Reloc, intptr_t JTBase) {
Raul Herbster9c1a3822007-08-30 23:29:26 +0000335 MCE.addRelocation(MachineRelocation::getBB(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000336 Reloc, BB, JTBase));
Raul Herbster9c1a3822007-08-30 23:29:26 +0000337}
Evan Cheng0ff94f72007-08-07 01:37:15 +0000338
Chris Lattner33fabd72010-02-02 21:48:51 +0000339void ARMCodeEmitter::emitWordLE(unsigned Binary) {
Chris Lattner893e1c92009-08-23 06:49:22 +0000340 DEBUG(errs() << " 0x";
341 errs().write_hex(Binary) << "\n");
Evan Cheng83b5cf02008-11-05 23:22:34 +0000342 MCE.emitWordLE(Binary);
343}
344
Chris Lattner33fabd72010-02-02 21:48:51 +0000345void ARMCodeEmitter::emitDWordLE(uint64_t Binary) {
Chris Lattner893e1c92009-08-23 06:49:22 +0000346 DEBUG(errs() << " 0x";
347 errs().write_hex(Binary) << "\n");
Evan Chengcb5201f2008-11-11 22:19:31 +0000348 MCE.emitDWordLE(Binary);
349}
350
Chris Lattner33fabd72010-02-02 21:48:51 +0000351void ARMCodeEmitter::emitInstruction(const MachineInstr &MI) {
Chris Lattner705e07f2009-08-23 03:41:05 +0000352 DEBUG(errs() << "JIT: " << (void*)MCE.getCurrentPCValue() << ":\t" << MI);
Evan Cheng42d5ee062008-09-13 01:15:21 +0000353
Devang Patelaf0e2722009-10-06 02:19:11 +0000354 MCE.processDebugLoc(MI.getDebugLoc(), true);
Jeffrey Yasskin75402822009-07-17 18:49:39 +0000355
Dan Gohmanfe601042010-06-22 15:08:57 +0000356 ++NumEmitted; // Keep track of the # of mi's emitted
Evan Chengedda31c2008-11-05 18:35:52 +0000357 switch (MI.getDesc().TSFlags & ARMII::FormMask) {
Evan Chengffa6d962008-11-13 23:36:57 +0000358 default: {
Torok Edwinc23197a2009-07-14 16:55:14 +0000359 llvm_unreachable("Unhandled instruction encoding format!");
Evan Chengedda31c2008-11-05 18:35:52 +0000360 break;
Evan Chengffa6d962008-11-13 23:36:57 +0000361 }
Evan Chengedda31c2008-11-05 18:35:52 +0000362 case ARMII::Pseudo:
Evan Cheng057d0c32008-09-18 07:28:19 +0000363 emitPseudoInstruction(MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000364 break;
365 case ARMII::DPFrm:
366 case ARMII::DPSoRegFrm:
367 emitDataProcessingInstruction(MI);
368 break;
Evan Cheng148cad82008-11-13 07:34:59 +0000369 case ARMII::LdFrm:
370 case ARMII::StFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000371 emitLoadStoreInstruction(MI);
372 break;
Evan Cheng148cad82008-11-13 07:34:59 +0000373 case ARMII::LdMiscFrm:
374 case ARMII::StMiscFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000375 emitMiscLoadStoreInstruction(MI);
376 break;
Evan Cheng3c4a4ff2008-11-12 07:18:38 +0000377 case ARMII::LdStMulFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000378 emitLoadStoreMultipleInstruction(MI);
379 break;
Evan Chengfbc9d412008-11-06 01:21:28 +0000380 case ARMII::MulFrm:
381 emitMulFrmInstruction(MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000382 break;
Evan Cheng97f48c32008-11-06 22:15:19 +0000383 case ARMII::ExtFrm:
384 emitExtendInstruction(MI);
385 break;
Evan Cheng8b59db32008-11-07 01:41:35 +0000386 case ARMII::ArithMiscFrm:
387 emitMiscArithInstruction(MI);
388 break;
Evan Cheng12c3a532008-11-06 17:48:05 +0000389 case ARMII::BrFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000390 emitBranchInstruction(MI);
391 break;
Evan Cheng12c3a532008-11-06 17:48:05 +0000392 case ARMII::BrMiscFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000393 emitMiscBranchInstruction(MI);
394 break;
Evan Cheng96581d32008-11-11 02:11:05 +0000395 // VFP instructions.
396 case ARMII::VFPUnaryFrm:
397 case ARMII::VFPBinaryFrm:
398 emitVFPArithInstruction(MI);
399 break;
Evan Cheng78be83d2008-11-11 19:40:26 +0000400 case ARMII::VFPConv1Frm:
401 case ARMII::VFPConv2Frm:
Evan Cheng0a0ab132008-11-11 22:46:12 +0000402 case ARMII::VFPConv3Frm:
Evan Cheng80a11982008-11-12 06:41:41 +0000403 case ARMII::VFPConv4Frm:
404 case ARMII::VFPConv5Frm:
Evan Cheng78be83d2008-11-11 19:40:26 +0000405 emitVFPConversionInstruction(MI);
406 break;
Evan Chengcd8e66a2008-11-11 21:48:44 +0000407 case ARMII::VFPLdStFrm:
408 emitVFPLoadStoreInstruction(MI);
409 break;
410 case ARMII::VFPLdStMulFrm:
411 emitVFPLoadStoreMultipleInstruction(MI);
412 break;
413 case ARMII::VFPMiscFrm:
414 emitMiscInstruction(MI);
415 break;
Bob Wilson1a913ed2010-06-11 21:34:50 +0000416 // NEON instructions.
Bob Wilson52e4a0a2010-06-26 04:07:15 +0000417 case ARMII::NGetLnFrm:
418 emitNEONGetLaneInstruction(MI);
419 break;
Bob Wilson1a913ed2010-06-11 21:34:50 +0000420 case ARMII::N1RegModImmFrm:
Bob Wilson583a2a02010-06-25 21:17:19 +0000421 emitNEON1RegModImmInstruction(MI);
422 break;
423 case ARMII::N2RegFrm:
424 emitNEON2RegInstruction(MI);
Bob Wilson1a913ed2010-06-11 21:34:50 +0000425 break;
Bob Wilson5e7b6072010-06-25 22:40:46 +0000426 case ARMII::N3RegFrm:
427 emitNEON3RegInstruction(MI);
428 break;
Evan Chengedda31c2008-11-05 18:35:52 +0000429 }
Devang Patelaf0e2722009-10-06 02:19:11 +0000430 MCE.processDebugLoc(MI.getDebugLoc(), false);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000431}
432
Chris Lattner33fabd72010-02-02 21:48:51 +0000433void ARMCodeEmitter::emitConstPoolInstruction(const MachineInstr &MI) {
Evan Cheng437c1732008-11-07 22:30:53 +0000434 unsigned CPI = MI.getOperand(0).getImm(); // CP instruction index.
435 unsigned CPIndex = MI.getOperand(1).getIndex(); // Actual cp entry index.
Evan Cheng938b9d82008-10-31 19:55:13 +0000436 const MachineConstantPoolEntry &MCPE = (*MCPEs)[CPIndex];
Jim Grosbach764ab522009-08-11 15:33:49 +0000437
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000438 // Remember the CONSTPOOL_ENTRY address for later relocation.
439 JTI->addConstantPoolEntryAddr(CPI, MCE.getCurrentPCValue());
440
441 // Emit constpool island entry. In most cases, the actual values will be
442 // resolved and relocated after code emission.
443 if (MCPE.isMachineConstantPoolEntry()) {
444 ARMConstantPoolValue *ACPV =
445 static_cast<ARMConstantPoolValue*>(MCPE.Val.MachineCPVal);
446
Chris Lattner705e07f2009-08-23 03:41:05 +0000447 DEBUG(errs() << " ** ARM constant pool #" << CPI << " @ "
448 << (void*)MCE.getCurrentPCValue() << " " << *ACPV << '\n');
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000449
Bob Wilson28989a82009-11-02 16:59:06 +0000450 assert(ACPV->isGlobalValue() && "unsupported constant pool value");
Dan Gohman46510a72010-04-15 01:51:59 +0000451 const GlobalValue *GV = ACPV->getGV();
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000452 if (GV) {
Evan Cheng08669742009-09-10 01:23:53 +0000453 Reloc::Model RelocM = TM.getRelocationModel();
Evan Chenge4e4ed32009-08-28 23:18:09 +0000454 emitGlobalAddress(GV, ARM::reloc_arm_machine_cp_entry,
Evan Cheng08669742009-09-10 01:23:53 +0000455 isa<Function>(GV),
456 Subtarget->GVIsIndirectSymbol(GV, RelocM),
457 (intptr_t)ACPV);
Evan Cheng25e04782008-11-04 00:50:32 +0000458 } else {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000459 emitExternalSymbolAddress(ACPV->getSymbol(), ARM::reloc_arm_absolute);
460 }
Evan Cheng83b5cf02008-11-05 23:22:34 +0000461 emitWordLE(0);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000462 } else {
Dan Gohman46510a72010-04-15 01:51:59 +0000463 const Constant *CV = MCPE.Val.ConstVal;
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000464
Daniel Dunbarce63ffb2009-07-25 00:23:56 +0000465 DEBUG({
466 errs() << " ** Constant pool #" << CPI << " @ "
467 << (void*)MCE.getCurrentPCValue() << " ";
468 if (const Function *F = dyn_cast<Function>(CV))
469 errs() << F->getName();
470 else
471 errs() << *CV;
472 errs() << '\n';
473 });
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000474
Dan Gohman46510a72010-04-15 01:51:59 +0000475 if (const GlobalValue *GV = dyn_cast<GlobalValue>(CV)) {
Evan Cheng08669742009-09-10 01:23:53 +0000476 emitGlobalAddress(GV, ARM::reloc_arm_absolute, isa<Function>(GV), false);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000477 emitWordLE(0);
Evan Chengcb5201f2008-11-11 22:19:31 +0000478 } else if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000479 uint32_t Val = *(uint32_t*)CI->getValue().getRawData();
Evan Cheng83b5cf02008-11-05 23:22:34 +0000480 emitWordLE(Val);
Evan Chengcb5201f2008-11-11 22:19:31 +0000481 } else if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV)) {
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000482 if (CFP->getType()->isFloatTy())
Evan Chengcb5201f2008-11-11 22:19:31 +0000483 emitWordLE(CFP->getValueAPF().bitcastToAPInt().getZExtValue());
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000484 else if (CFP->getType()->isDoubleTy())
Evan Chengcb5201f2008-11-11 22:19:31 +0000485 emitDWordLE(CFP->getValueAPF().bitcastToAPInt().getZExtValue());
486 else {
Torok Edwinc23197a2009-07-14 16:55:14 +0000487 llvm_unreachable("Unable to handle this constantpool entry!");
Evan Chengcb5201f2008-11-11 22:19:31 +0000488 }
489 } else {
Torok Edwinc23197a2009-07-14 16:55:14 +0000490 llvm_unreachable("Unable to handle this constantpool entry!");
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000491 }
492 }
493}
494
Zonr Changf86399b2010-05-25 08:42:45 +0000495void ARMCodeEmitter::emitMOVi32immInstruction(const MachineInstr &MI) {
496 const MachineOperand &MO0 = MI.getOperand(0);
497 const MachineOperand &MO1 = MI.getOperand(1);
498
499 // Emit the 'movw' instruction.
500 unsigned Binary = 0x30 << 20; // mov: Insts{27-20} = 0b00110000
501
502 unsigned Lo16 = getMovi32Value(MI, MO1, ARM::reloc_arm_movw) & 0xFFFF;
503
504 // Set the conditional execution predicate.
505 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
506
507 // Encode Rd.
508 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
509
510 // Encode imm16 as imm4:imm12
511 Binary |= Lo16 & 0xFFF; // Insts{11-0} = imm12
512 Binary |= ((Lo16 >> 12) & 0xF) << 16; // Insts{19-16} = imm4
513 emitWordLE(Binary);
514
515 unsigned Hi16 = getMovi32Value(MI, MO1, ARM::reloc_arm_movt) >> 16;
516 // Emit the 'movt' instruction.
517 Binary = 0x34 << 20; // movt: Insts{27-20} = 0b00110100
518
519 // Set the conditional execution predicate.
520 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
521
522 // Encode Rd.
523 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
524
525 // Encode imm16 as imm4:imm1, same as movw above.
526 Binary |= Hi16 & 0xFFF;
527 Binary |= ((Hi16 >> 12) & 0xF) << 16;
528 emitWordLE(Binary);
529}
530
Chris Lattner33fabd72010-02-02 21:48:51 +0000531void ARMCodeEmitter::emitMOVi2piecesInstruction(const MachineInstr &MI) {
Evan Cheng90922132008-11-06 02:25:39 +0000532 const MachineOperand &MO0 = MI.getOperand(0);
533 const MachineOperand &MO1 = MI.getOperand(1);
Bob Wilson5265a122010-03-11 00:46:22 +0000534 assert(MO1.isImm() && ARM_AM::isSOImmTwoPartVal(MO1.getImm()) &&
535 "Not a valid so_imm value!");
Evan Cheng90922132008-11-06 02:25:39 +0000536 unsigned V1 = ARM_AM::getSOImmTwoPartFirst(MO1.getImm());
537 unsigned V2 = ARM_AM::getSOImmTwoPartSecond(MO1.getImm());
538
539 // Emit the 'mov' instruction.
540 unsigned Binary = 0xd << 21; // mov: Insts{24-21} = 0b1101
541
542 // Set the conditional execution predicate.
Evan Cheng97f48c32008-11-06 22:15:19 +0000543 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng90922132008-11-06 02:25:39 +0000544
545 // Encode Rd.
546 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
547
548 // Encode so_imm.
549 // Set bit I(25) to identify this is the immediate form of <shifter_op>
550 Binary |= 1 << ARMII::I_BitShift;
Evan Chenge7cbe412009-07-08 21:03:57 +0000551 Binary |= getMachineSoImmOpValue(V1);
Evan Cheng90922132008-11-06 02:25:39 +0000552 emitWordLE(Binary);
553
554 // Now the 'orr' instruction.
555 Binary = 0xc << 21; // orr: Insts{24-21} = 0b1100
556
557 // Set the conditional execution predicate.
Evan Cheng97f48c32008-11-06 22:15:19 +0000558 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng90922132008-11-06 02:25:39 +0000559
560 // Encode Rd.
561 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
562
563 // Encode Rn.
564 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRnShift;
565
566 // Encode so_imm.
567 // Set bit I(25) to identify this is the immediate form of <shifter_op>
568 Binary |= 1 << ARMII::I_BitShift;
Evan Chenge7cbe412009-07-08 21:03:57 +0000569 Binary |= getMachineSoImmOpValue(V2);
Evan Cheng90922132008-11-06 02:25:39 +0000570 emitWordLE(Binary);
571}
572
Chris Lattner33fabd72010-02-02 21:48:51 +0000573void ARMCodeEmitter::emitLEApcrelJTInstruction(const MachineInstr &MI) {
Evan Cheng4df60f52008-11-07 09:06:08 +0000574 // It's basically add r, pc, (LJTI - $+8)
Jim Grosbach764ab522009-08-11 15:33:49 +0000575
Evan Cheng4df60f52008-11-07 09:06:08 +0000576 const TargetInstrDesc &TID = MI.getDesc();
577
578 // Emit the 'add' instruction.
579 unsigned Binary = 0x4 << 21; // add: Insts{24-31} = 0b0100
580
581 // Set the conditional execution predicate
582 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
583
584 // Encode S bit if MI modifies CPSR.
585 Binary |= getAddrModeSBit(MI, TID);
586
587 // Encode Rd.
588 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
589
590 // Encode Rn which is PC.
591 Binary |= ARMRegisterInfo::getRegisterNumbering(ARM::PC) << ARMII::RegRnShift;
592
593 // Encode the displacement.
Evan Cheng4df60f52008-11-07 09:06:08 +0000594 Binary |= 1 << ARMII::I_BitShift;
595 emitJumpTableAddress(MI.getOperand(1).getIndex(), ARM::reloc_arm_jt_base);
596
597 emitWordLE(Binary);
598}
599
Chris Lattner33fabd72010-02-02 21:48:51 +0000600void ARMCodeEmitter::emitPseudoMoveInstruction(const MachineInstr &MI) {
Evan Chenga9562552008-11-14 20:09:11 +0000601 unsigned Opcode = MI.getDesc().Opcode;
602
603 // Part of binary is determined by TableGn.
604 unsigned Binary = getBinaryCodeForInstr(MI);
605
606 // Set the conditional execution predicate
607 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
608
609 // Encode S bit if MI modifies CPSR.
610 if (Opcode == ARM::MOVsrl_flag || Opcode == ARM::MOVsra_flag)
611 Binary |= 1 << ARMII::S_BitShift;
612
613 // Encode register def if there is one.
614 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
615
616 // Encode the shift operation.
617 switch (Opcode) {
618 default: break;
619 case ARM::MOVrx:
620 // rrx
621 Binary |= 0x6 << 4;
622 break;
623 case ARM::MOVsrl_flag:
624 // lsr #1
625 Binary |= (0x2 << 4) | (1 << 7);
626 break;
627 case ARM::MOVsra_flag:
628 // asr #1
629 Binary |= (0x4 << 4) | (1 << 7);
630 break;
631 }
632
633 // Encode register Rm.
634 Binary |= getMachineOpValue(MI, 1);
635
636 emitWordLE(Binary);
637}
638
Chris Lattner33fabd72010-02-02 21:48:51 +0000639void ARMCodeEmitter::addPCLabel(unsigned LabelID) {
Chris Lattner893e1c92009-08-23 06:49:22 +0000640 DEBUG(errs() << " ** LPC" << LabelID << " @ "
641 << (void*)MCE.getCurrentPCValue() << '\n');
Evan Cheng83b5cf02008-11-05 23:22:34 +0000642 JTI->addPCLabelAddr(LabelID, MCE.getCurrentPCValue());
643}
644
Chris Lattner33fabd72010-02-02 21:48:51 +0000645void ARMCodeEmitter::emitPseudoInstruction(const MachineInstr &MI) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000646 unsigned Opcode = MI.getDesc().Opcode;
647 switch (Opcode) {
648 default:
Evan Cheng5adb66a2009-09-28 09:14:39 +0000649 llvm_unreachable("ARMCodeEmitter::emitPseudoInstruction");
Chris Lattner518bb532010-02-09 19:54:29 +0000650 case TargetOpcode::INLINEASM: {
Evan Chenge3066ab2008-11-19 23:21:33 +0000651 // We allow inline assembler nodes with empty bodies - they can
652 // implicitly define registers, which is ok for JIT.
653 if (MI.getOperand(0).getSymbolName()[0]) {
Chris Lattner75361b62010-04-07 22:58:41 +0000654 report_fatal_error("JIT does not support inline asm!");
Evan Chenge3066ab2008-11-19 23:21:33 +0000655 }
Evan Chengffa6d962008-11-13 23:36:57 +0000656 break;
657 }
Chris Lattner518bb532010-02-09 19:54:29 +0000658 case TargetOpcode::DBG_LABEL:
Chris Lattner7561d482010-03-14 02:33:54 +0000659 case TargetOpcode::EH_LABEL:
660 MCE.emitLabel(MI.getOperand(0).getMCSymbol());
661 break;
Chris Lattner518bb532010-02-09 19:54:29 +0000662 case TargetOpcode::IMPLICIT_DEF:
663 case TargetOpcode::KILL:
Evan Chengffa6d962008-11-13 23:36:57 +0000664 // Do nothing.
665 break;
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000666 case ARM::CONSTPOOL_ENTRY:
667 emitConstPoolInstruction(MI);
668 break;
669 case ARM::PICADD: {
Evan Cheng25e04782008-11-04 00:50:32 +0000670 // Remember of the address of the PC label for relocation later.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000671 addPCLabel(MI.getOperand(2).getImm());
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000672 // PICADD is just an add instruction that implicitly read pc.
Evan Cheng437c1732008-11-07 22:30:53 +0000673 emitDataProcessingInstruction(MI, 0, ARM::PC);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000674 break;
675 }
676 case ARM::PICLDR:
677 case ARM::PICLDRB:
678 case ARM::PICSTR:
679 case ARM::PICSTRB: {
680 // Remember of the address of the PC label for relocation later.
681 addPCLabel(MI.getOperand(2).getImm());
682 // These are just load / store instructions that implicitly read pc.
Evan Cheng4df60f52008-11-07 09:06:08 +0000683 emitLoadStoreInstruction(MI, 0, ARM::PC);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000684 break;
685 }
686 case ARM::PICLDRH:
687 case ARM::PICLDRSH:
688 case ARM::PICLDRSB:
689 case ARM::PICSTRH: {
690 // Remember of the address of the PC label for relocation later.
691 addPCLabel(MI.getOperand(2).getImm());
692 // These are just load / store instructions that implicitly read pc.
693 emitMiscLoadStoreInstruction(MI, ARM::PC);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000694 break;
695 }
Zonr Changf86399b2010-05-25 08:42:45 +0000696
697 case ARM::MOVi32imm:
698 emitMOVi32immInstruction(MI);
699 break;
700
Evan Cheng90922132008-11-06 02:25:39 +0000701 case ARM::MOVi2pieces:
702 // Two instructions to materialize a constant.
703 emitMOVi2piecesInstruction(MI);
704 break;
Evan Cheng4df60f52008-11-07 09:06:08 +0000705 case ARM::LEApcrelJT:
706 // Materialize jumptable address.
707 emitLEApcrelJTInstruction(MI);
708 break;
Evan Chenga9562552008-11-14 20:09:11 +0000709 case ARM::MOVrx:
710 case ARM::MOVsrl_flag:
711 case ARM::MOVsra_flag:
712 emitPseudoMoveInstruction(MI);
713 break;
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000714 }
715}
716
Bob Wilson87949d42010-03-17 21:16:45 +0000717unsigned ARMCodeEmitter::getMachineSoRegOpValue(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +0000718 const TargetInstrDesc &TID,
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000719 const MachineOperand &MO,
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000720 unsigned OpIdx) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000721 unsigned Binary = getMachineOpValue(MI, MO);
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000722
723 const MachineOperand &MO1 = MI.getOperand(OpIdx + 1);
724 const MachineOperand &MO2 = MI.getOperand(OpIdx + 2);
725 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO2.getImm());
726
727 // Encode the shift opcode.
728 unsigned SBits = 0;
729 unsigned Rs = MO1.getReg();
730 if (Rs) {
731 // Set shift operand (bit[7:4]).
732 // LSL - 0001
733 // LSR - 0011
734 // ASR - 0101
735 // ROR - 0111
736 // RRX - 0110 and bit[11:8] clear.
737 switch (SOpc) {
Torok Edwinc23197a2009-07-14 16:55:14 +0000738 default: llvm_unreachable("Unknown shift opc!");
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000739 case ARM_AM::lsl: SBits = 0x1; break;
740 case ARM_AM::lsr: SBits = 0x3; break;
741 case ARM_AM::asr: SBits = 0x5; break;
742 case ARM_AM::ror: SBits = 0x7; break;
743 case ARM_AM::rrx: SBits = 0x6; break;
744 }
745 } else {
746 // Set shift operand (bit[6:4]).
747 // LSL - 000
748 // LSR - 010
749 // ASR - 100
750 // ROR - 110
751 switch (SOpc) {
Torok Edwinc23197a2009-07-14 16:55:14 +0000752 default: llvm_unreachable("Unknown shift opc!");
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000753 case ARM_AM::lsl: SBits = 0x0; break;
754 case ARM_AM::lsr: SBits = 0x2; break;
755 case ARM_AM::asr: SBits = 0x4; break;
756 case ARM_AM::ror: SBits = 0x6; break;
757 }
758 }
759 Binary |= SBits << 4;
760 if (SOpc == ARM_AM::rrx)
761 return Binary;
762
763 // Encode the shift operation Rs or shift_imm (except rrx).
764 if (Rs) {
765 // Encode Rs bit[11:8].
766 assert(ARM_AM::getSORegOffset(MO2.getImm()) == 0);
767 return Binary |
768 (ARMRegisterInfo::getRegisterNumbering(Rs) << ARMII::RegRsShift);
769 }
770
771 // Encode shift_imm bit[11:7].
772 return Binary | ARM_AM::getSORegOffset(MO2.getImm()) << 7;
773}
774
Chris Lattner33fabd72010-02-02 21:48:51 +0000775unsigned ARMCodeEmitter::getMachineSoImmOpValue(unsigned SoImm) {
Evan Chenge7cbe412009-07-08 21:03:57 +0000776 int SoImmVal = ARM_AM::getSOImmVal(SoImm);
777 assert(SoImmVal != -1 && "Not a valid so_imm value!");
778
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000779 // Encode rotate_imm.
Evan Chenge7cbe412009-07-08 21:03:57 +0000780 unsigned Binary = (ARM_AM::getSOImmValRot((unsigned)SoImmVal) >> 1)
Evan Cheng97f48c32008-11-06 22:15:19 +0000781 << ARMII::SoRotImmShift;
782
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000783 // Encode immed_8.
Evan Chenge7cbe412009-07-08 21:03:57 +0000784 Binary |= ARM_AM::getSOImmValImm((unsigned)SoImmVal);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000785 return Binary;
786}
787
Chris Lattner33fabd72010-02-02 21:48:51 +0000788unsigned ARMCodeEmitter::getAddrModeSBit(const MachineInstr &MI,
Bob Wilson87949d42010-03-17 21:16:45 +0000789 const TargetInstrDesc &TID) const {
Evan Cheng97c573d2008-11-20 02:25:51 +0000790 for (unsigned i = MI.getNumOperands(), e = TID.getNumOperands(); i != e; --i){
Evan Cheng49a9f292008-09-12 22:45:55 +0000791 const MachineOperand &MO = MI.getOperand(i-1);
Dan Gohmand735b802008-10-03 15:45:36 +0000792 if (MO.isReg() && MO.isDef() && MO.getReg() == ARM::CPSR)
Evan Cheng49a9f292008-09-12 22:45:55 +0000793 return 1 << ARMII::S_BitShift;
794 }
795 return 0;
796}
797
Bob Wilson87949d42010-03-17 21:16:45 +0000798void ARMCodeEmitter::emitDataProcessingInstruction(const MachineInstr &MI,
Evan Cheng437c1732008-11-07 22:30:53 +0000799 unsigned ImplicitRd,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000800 unsigned ImplicitRn) {
Evan Chengedda31c2008-11-05 18:35:52 +0000801 const TargetInstrDesc &TID = MI.getDesc();
Evan Chengedda31c2008-11-05 18:35:52 +0000802
803 // Part of binary is determined by TableGn.
804 unsigned Binary = getBinaryCodeForInstr(MI);
805
Jim Grosbach33412622008-10-07 19:05:35 +0000806 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000807 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000808
Evan Cheng49a9f292008-09-12 22:45:55 +0000809 // Encode S bit if MI modifies CPSR.
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000810 Binary |= getAddrModeSBit(MI, TID);
Evan Cheng49a9f292008-09-12 22:45:55 +0000811
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000812 // Encode register def if there is one.
Evan Cheng49a9f292008-09-12 22:45:55 +0000813 unsigned NumDefs = TID.getNumDefs();
Evan Chenga964b7d2008-09-12 23:15:39 +0000814 unsigned OpIdx = 0;
Evan Cheng437c1732008-11-07 22:30:53 +0000815 if (NumDefs)
816 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
817 else if (ImplicitRd)
818 // Special handling for implicit use (e.g. PC).
819 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRd)
820 << ARMII::RegRdShift);
Evan Cheng7602e112008-09-02 06:52:38 +0000821
Zonr Changf86399b2010-05-25 08:42:45 +0000822 if (TID.Opcode == ARM::MOVi16) {
823 // Get immediate from MI.
824 unsigned Lo16 = getMovi32Value(MI, MI.getOperand(OpIdx),
825 ARM::reloc_arm_movw);
826 // Encode imm which is the same as in emitMOVi32immInstruction().
827 Binary |= Lo16 & 0xFFF;
828 Binary |= ((Lo16 >> 12) & 0xF) << 16;
829 emitWordLE(Binary);
830 return;
831 } else if(TID.Opcode == ARM::MOVTi16) {
832 unsigned Hi16 = (getMovi32Value(MI, MI.getOperand(OpIdx),
833 ARM::reloc_arm_movt) >> 16);
834 Binary |= Hi16 & 0xFFF;
835 Binary |= ((Hi16 >> 12) & 0xF) << 16;
836 emitWordLE(Binary);
837 return;
Shih-wei Liao9f3b6a32010-05-26 04:46:50 +0000838 } else if ((TID.Opcode == ARM::BFC) || (TID.Opcode == ARM::BFI)) {
Shih-wei Liao6d37a292010-05-26 00:25:05 +0000839 uint32_t v = ~MI.getOperand(2).getImm();
840 int32_t lsb = CountTrailingZeros_32(v);
841 int32_t msb = (32 - CountLeadingZeros_32(v)) - 1;
Shih-wei Liao45469f32010-05-26 03:21:39 +0000842 // Instr{20-16} = msb, Instr{11-7} = lsb
Shih-wei Liao6d37a292010-05-26 00:25:05 +0000843 Binary |= (msb & 0x1F) << 16;
844 Binary |= (lsb & 0x1F) << 7;
845 emitWordLE(Binary);
846 return;
Shih-wei Liao45469f32010-05-26 03:21:39 +0000847 } else if ((TID.Opcode == ARM::UBFX) || (TID.Opcode == ARM::SBFX)) {
848 // Encode Rn in Instr{0-3}
849 Binary |= getMachineOpValue(MI, OpIdx++);
850
851 uint32_t lsb = MI.getOperand(OpIdx++).getImm();
852 uint32_t widthm1 = MI.getOperand(OpIdx++).getImm() - 1;
853
854 // Instr{20-16} = widthm1, Instr{11-7} = lsb
855 Binary |= (widthm1 & 0x1F) << 16;
856 Binary |= (lsb & 0x1F) << 7;
857 emitWordLE(Binary);
858 return;
Zonr Changf86399b2010-05-25 08:42:45 +0000859 }
860
Evan Chengd87293c2008-11-06 08:47:38 +0000861 // If this is a two-address operand, skip it. e.g. MOVCCr operand 1.
862 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
863 ++OpIdx;
864
Jim Grosbachefd30ba2008-10-01 18:16:49 +0000865 // Encode first non-shifter register operand if there is one.
Evan Chengedda31c2008-11-05 18:35:52 +0000866 bool isUnary = TID.TSFlags & ARMII::UnaryDP;
867 if (!isUnary) {
Evan Cheng83b5cf02008-11-05 23:22:34 +0000868 if (ImplicitRn)
869 // Special handling for implicit use (e.g. PC).
870 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
Evan Chengedda31c2008-11-05 18:35:52 +0000871 << ARMII::RegRnShift);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000872 else {
873 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRnShift;
874 ++OpIdx;
875 }
Evan Cheng7602e112008-09-02 06:52:38 +0000876 }
877
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000878 // Encode shifter operand.
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000879 const MachineOperand &MO = MI.getOperand(OpIdx);
Evan Chengedda31c2008-11-05 18:35:52 +0000880 if ((TID.TSFlags & ARMII::FormMask) == ARMII::DPSoRegFrm) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000881 // Encode SoReg.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000882 emitWordLE(Binary | getMachineSoRegOpValue(MI, TID, MO, OpIdx));
Evan Chengedda31c2008-11-05 18:35:52 +0000883 return;
884 }
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000885
Evan Chengedda31c2008-11-05 18:35:52 +0000886 if (MO.isReg()) {
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000887 // Encode register Rm.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000888 emitWordLE(Binary | ARMRegisterInfo::getRegisterNumbering(MO.getReg()));
Evan Chengedda31c2008-11-05 18:35:52 +0000889 return;
890 }
Evan Cheng7602e112008-09-02 06:52:38 +0000891
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000892 // Encode so_imm.
Evan Chenge7cbe412009-07-08 21:03:57 +0000893 Binary |= getMachineSoImmOpValue((unsigned)MO.getImm());
Evan Chengedda31c2008-11-05 18:35:52 +0000894
Evan Cheng83b5cf02008-11-05 23:22:34 +0000895 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000896}
897
Bob Wilson87949d42010-03-17 21:16:45 +0000898void ARMCodeEmitter::emitLoadStoreInstruction(const MachineInstr &MI,
Evan Cheng4df60f52008-11-07 09:06:08 +0000899 unsigned ImplicitRd,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000900 unsigned ImplicitRn) {
Evan Cheng05c356e2008-11-08 01:44:13 +0000901 const TargetInstrDesc &TID = MI.getDesc();
Evan Cheng148cad82008-11-13 07:34:59 +0000902 unsigned Form = TID.TSFlags & ARMII::FormMask;
903 bool IsPrePost = (TID.TSFlags & ARMII::IndexModeMask) != 0;
Evan Cheng05c356e2008-11-08 01:44:13 +0000904
Evan Chengedda31c2008-11-05 18:35:52 +0000905 // Part of binary is determined by TableGn.
906 unsigned Binary = getBinaryCodeForInstr(MI);
907
Jim Grosbach33412622008-10-07 19:05:35 +0000908 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000909 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng057d0c32008-09-18 07:28:19 +0000910
Evan Cheng4df60f52008-11-07 09:06:08 +0000911 unsigned OpIdx = 0;
Evan Cheng148cad82008-11-13 07:34:59 +0000912
913 // Operand 0 of a pre- and post-indexed store is the address base
914 // writeback. Skip it.
915 bool Skipped = false;
916 if (IsPrePost && Form == ARMII::StFrm) {
917 ++OpIdx;
918 Skipped = true;
919 }
920
921 // Set first operand
Evan Cheng4df60f52008-11-07 09:06:08 +0000922 if (ImplicitRd)
923 // Special handling for implicit use (e.g. PC).
924 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRd)
925 << ARMII::RegRdShift);
926 else
927 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000928
929 // Set second operand
Evan Cheng83b5cf02008-11-05 23:22:34 +0000930 if (ImplicitRn)
931 // Special handling for implicit use (e.g. PC).
932 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
933 << ARMII::RegRnShift);
Evan Cheng4df60f52008-11-07 09:06:08 +0000934 else
935 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000936
Evan Cheng05c356e2008-11-08 01:44:13 +0000937 // If this is a two-address operand, skip it. e.g. LDR_PRE.
Evan Cheng148cad82008-11-13 07:34:59 +0000938 if (!Skipped && TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
Evan Cheng05c356e2008-11-08 01:44:13 +0000939 ++OpIdx;
940
Evan Cheng83b5cf02008-11-05 23:22:34 +0000941 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Chengd87293c2008-11-06 08:47:38 +0000942 unsigned AM2Opc = (ImplicitRn == ARM::PC)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000943 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Cheng7602e112008-09-02 06:52:38 +0000944
Evan Chenge7de7e32008-09-13 01:44:01 +0000945 // Set bit U(23) according to sign of immed value (positive or negative).
Evan Cheng83b5cf02008-11-05 23:22:34 +0000946 Binary |= ((ARM_AM::getAM2Op(AM2Opc) == ARM_AM::add ? 1 : 0) <<
Evan Chenge7de7e32008-09-13 01:44:01 +0000947 ARMII::U_BitShift);
Evan Cheng7602e112008-09-02 06:52:38 +0000948 if (!MO2.getReg()) { // is immediate
Evan Cheng83b5cf02008-11-05 23:22:34 +0000949 if (ARM_AM::getAM2Offset(AM2Opc))
Evan Cheng7602e112008-09-02 06:52:38 +0000950 // Set the value of offset_12 field
Evan Cheng83b5cf02008-11-05 23:22:34 +0000951 Binary |= ARM_AM::getAM2Offset(AM2Opc);
952 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +0000953 return;
Evan Cheng7602e112008-09-02 06:52:38 +0000954 }
955
956 // Set bit I(25), because this is not in immediate enconding.
957 Binary |= 1 << ARMII::I_BitShift;
958 assert(TargetRegisterInfo::isPhysicalRegister(MO2.getReg()));
959 // Set bit[3:0] to the corresponding Rm register
960 Binary |= ARMRegisterInfo::getRegisterNumbering(MO2.getReg());
961
Evan Cheng70632912008-11-12 07:34:37 +0000962 // If this instr is in scaled register offset/index instruction, set
Evan Cheng7602e112008-09-02 06:52:38 +0000963 // shift_immed(bit[11:7]) and shift(bit[6:5]) fields.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000964 if (unsigned ShImm = ARM_AM::getAM2Offset(AM2Opc)) {
Evan Cheng70632912008-11-12 07:34:37 +0000965 Binary |= getShiftOp(AM2Opc) << ARMII::ShiftImmShift; // shift
966 Binary |= ShImm << ARMII::ShiftShift; // shift_immed
Evan Cheng7602e112008-09-02 06:52:38 +0000967 }
968
Evan Cheng83b5cf02008-11-05 23:22:34 +0000969 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000970}
971
Chris Lattner33fabd72010-02-02 21:48:51 +0000972void ARMCodeEmitter::emitMiscLoadStoreInstruction(const MachineInstr &MI,
Bob Wilson87949d42010-03-17 21:16:45 +0000973 unsigned ImplicitRn) {
Evan Cheng05c356e2008-11-08 01:44:13 +0000974 const TargetInstrDesc &TID = MI.getDesc();
Evan Cheng148cad82008-11-13 07:34:59 +0000975 unsigned Form = TID.TSFlags & ARMII::FormMask;
976 bool IsPrePost = (TID.TSFlags & ARMII::IndexModeMask) != 0;
Evan Cheng05c356e2008-11-08 01:44:13 +0000977
Evan Chengedda31c2008-11-05 18:35:52 +0000978 // Part of binary is determined by TableGn.
979 unsigned Binary = getBinaryCodeForInstr(MI);
980
Jim Grosbach33412622008-10-07 19:05:35 +0000981 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000982 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng057d0c32008-09-18 07:28:19 +0000983
Evan Cheng148cad82008-11-13 07:34:59 +0000984 unsigned OpIdx = 0;
985
986 // Operand 0 of a pre- and post-indexed store is the address base
987 // writeback. Skip it.
988 bool Skipped = false;
989 if (IsPrePost && Form == ARMII::StMiscFrm) {
990 ++OpIdx;
991 Skipped = true;
992 }
993
Evan Cheng7602e112008-09-02 06:52:38 +0000994 // Set first operand
Evan Cheng148cad82008-11-13 07:34:59 +0000995 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000996
Evan Cheng358dec52009-06-15 08:28:29 +0000997 // Skip LDRD and STRD's second operand.
998 if (TID.Opcode == ARM::LDRD || TID.Opcode == ARM::STRD)
999 ++OpIdx;
1000
Evan Cheng7602e112008-09-02 06:52:38 +00001001 // Set second operand
Evan Cheng83b5cf02008-11-05 23:22:34 +00001002 if (ImplicitRn)
1003 // Special handling for implicit use (e.g. PC).
1004 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
1005 << ARMII::RegRnShift);
Evan Cheng4df60f52008-11-07 09:06:08 +00001006 else
1007 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Cheng7602e112008-09-02 06:52:38 +00001008
Evan Cheng05c356e2008-11-08 01:44:13 +00001009 // If this is a two-address operand, skip it. e.g. LDRH_POST.
Evan Cheng148cad82008-11-13 07:34:59 +00001010 if (!Skipped && TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
Evan Cheng05c356e2008-11-08 01:44:13 +00001011 ++OpIdx;
1012
Evan Cheng83b5cf02008-11-05 23:22:34 +00001013 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Chengd87293c2008-11-06 08:47:38 +00001014 unsigned AM3Opc = (ImplicitRn == ARM::PC)
Evan Cheng83b5cf02008-11-05 23:22:34 +00001015 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Cheng7602e112008-09-02 06:52:38 +00001016
Evan Chenge7de7e32008-09-13 01:44:01 +00001017 // Set bit U(23) according to sign of immed value (positive or negative)
Evan Cheng83b5cf02008-11-05 23:22:34 +00001018 Binary |= ((ARM_AM::getAM3Op(AM3Opc) == ARM_AM::add ? 1 : 0) <<
Evan Cheng7602e112008-09-02 06:52:38 +00001019 ARMII::U_BitShift);
1020
1021 // If this instr is in register offset/index encoding, set bit[3:0]
1022 // to the corresponding Rm register.
1023 if (MO2.getReg()) {
1024 Binary |= ARMRegisterInfo::getRegisterNumbering(MO2.getReg());
Evan Cheng83b5cf02008-11-05 23:22:34 +00001025 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +00001026 return;
Evan Cheng7602e112008-09-02 06:52:38 +00001027 }
1028
Evan Chengd87293c2008-11-06 08:47:38 +00001029 // This instr is in immediate offset/index encoding, set bit 22 to 1.
Evan Cheng97f48c32008-11-06 22:15:19 +00001030 Binary |= 1 << ARMII::AM3_I_BitShift;
Evan Cheng83b5cf02008-11-05 23:22:34 +00001031 if (unsigned ImmOffs = ARM_AM::getAM3Offset(AM3Opc)) {
Evan Cheng7602e112008-09-02 06:52:38 +00001032 // Set operands
Evan Cheng70632912008-11-12 07:34:37 +00001033 Binary |= (ImmOffs >> 4) << ARMII::ImmHiShift; // immedH
1034 Binary |= (ImmOffs & 0xF); // immedL
Evan Cheng7602e112008-09-02 06:52:38 +00001035 }
1036
Evan Cheng83b5cf02008-11-05 23:22:34 +00001037 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +00001038}
1039
Evan Chengcd8e66a2008-11-11 21:48:44 +00001040static unsigned getAddrModeUPBits(unsigned Mode) {
1041 unsigned Binary = 0;
Evan Cheng7602e112008-09-02 06:52:38 +00001042
1043 // Set addressing mode by modifying bits U(23) and P(24)
1044 // IA - Increment after - bit U = 1 and bit P = 0
1045 // IB - Increment before - bit U = 1 and bit P = 1
1046 // DA - Decrement after - bit U = 0 and bit P = 0
1047 // DB - Decrement before - bit U = 0 and bit P = 1
Evan Cheng7602e112008-09-02 06:52:38 +00001048 switch (Mode) {
Torok Edwinc23197a2009-07-14 16:55:14 +00001049 default: llvm_unreachable("Unknown addressing sub-mode!");
Evan Cheng10bf7342009-09-09 23:55:03 +00001050 case ARM_AM::da: break;
Evan Cheng97f48c32008-11-06 22:15:19 +00001051 case ARM_AM::db: Binary |= 0x1 << ARMII::P_BitShift; break;
1052 case ARM_AM::ia: Binary |= 0x1 << ARMII::U_BitShift; break;
1053 case ARM_AM::ib: Binary |= 0x3 << ARMII::U_BitShift; break;
Evan Cheng7602e112008-09-02 06:52:38 +00001054 }
1055
Evan Chengcd8e66a2008-11-11 21:48:44 +00001056 return Binary;
1057}
1058
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001059void ARMCodeEmitter::emitLoadStoreMultipleInstruction(const MachineInstr &MI) {
1060 const TargetInstrDesc &TID = MI.getDesc();
1061 bool IsUpdating = (TID.TSFlags & ARMII::IndexModeMask) != 0;
1062
Evan Chengcd8e66a2008-11-11 21:48:44 +00001063 // Part of binary is determined by TableGn.
1064 unsigned Binary = getBinaryCodeForInstr(MI);
1065
1066 // Set the conditional execution predicate
1067 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1068
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001069 // Skip operand 0 of an instruction with base register update.
1070 unsigned OpIdx = 0;
1071 if (IsUpdating)
1072 ++OpIdx;
1073
Evan Chengcd8e66a2008-11-11 21:48:44 +00001074 // Set base address operand
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001075 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Chengcd8e66a2008-11-11 21:48:44 +00001076
1077 // Set addressing mode by modifying bits U(23) and P(24)
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001078 const MachineOperand &MO = MI.getOperand(OpIdx++);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001079 Binary |= getAddrModeUPBits(ARM_AM::getAM4SubMode(MO.getImm()));
1080
Evan Cheng7602e112008-09-02 06:52:38 +00001081 // Set bit W(21)
Bob Wilsonab346052010-03-16 17:46:45 +00001082 if (IsUpdating)
Evan Cheng97f48c32008-11-06 22:15:19 +00001083 Binary |= 0x1 << ARMII::W_BitShift;
Evan Cheng7602e112008-09-02 06:52:38 +00001084
1085 // Set registers
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001086 for (unsigned i = OpIdx+2, e = MI.getNumOperands(); i != e; ++i) {
Evan Cheng7602e112008-09-02 06:52:38 +00001087 const MachineOperand &MO = MI.getOperand(i);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001088 if (!MO.isReg() || MO.isImplicit())
1089 break;
Evan Cheng7602e112008-09-02 06:52:38 +00001090 unsigned RegNum = ARMRegisterInfo::getRegisterNumbering(MO.getReg());
1091 assert(TargetRegisterInfo::isPhysicalRegister(MO.getReg()) &&
1092 RegNum < 16);
1093 Binary |= 0x1 << RegNum;
1094 }
1095
Evan Cheng83b5cf02008-11-05 23:22:34 +00001096 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +00001097}
1098
Chris Lattner33fabd72010-02-02 21:48:51 +00001099void ARMCodeEmitter::emitMulFrmInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +00001100 const TargetInstrDesc &TID = MI.getDesc();
1101
1102 // Part of binary is determined by TableGn.
1103 unsigned Binary = getBinaryCodeForInstr(MI);
1104
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +00001105 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +00001106 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +00001107
1108 // Encode S bit if MI modifies CPSR.
1109 Binary |= getAddrModeSBit(MI, TID);
1110
1111 // 32x32->64bit operations have two destination registers. The number
1112 // of register definitions will tell us if that's what we're dealing with.
Evan Cheng97f48c32008-11-06 22:15:19 +00001113 unsigned OpIdx = 0;
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +00001114 if (TID.getNumDefs() == 2)
1115 Binary |= getMachineOpValue (MI, OpIdx++) << ARMII::RegRdLoShift;
1116
1117 // Encode Rd
1118 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdHiShift;
1119
1120 // Encode Rm
1121 Binary |= getMachineOpValue(MI, OpIdx++);
1122
1123 // Encode Rs
1124 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRsShift;
1125
Evan Chengfbc9d412008-11-06 01:21:28 +00001126 // Many multiple instructions (e.g. MLA) have three src operands. Encode
1127 // it as Rn (for multiply, that's in the same offset as RdLo.
Evan Cheng97f48c32008-11-06 22:15:19 +00001128 if (TID.getNumOperands() > OpIdx &&
1129 !TID.OpInfo[OpIdx].isPredicate() &&
1130 !TID.OpInfo[OpIdx].isOptionalDef())
1131 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRdLoShift;
1132
1133 emitWordLE(Binary);
1134}
1135
Chris Lattner33fabd72010-02-02 21:48:51 +00001136void ARMCodeEmitter::emitExtendInstruction(const MachineInstr &MI) {
Evan Cheng97f48c32008-11-06 22:15:19 +00001137 const TargetInstrDesc &TID = MI.getDesc();
1138
1139 // Part of binary is determined by TableGn.
1140 unsigned Binary = getBinaryCodeForInstr(MI);
1141
1142 // Set the conditional execution predicate
1143 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1144
1145 unsigned OpIdx = 0;
1146
1147 // Encode Rd
1148 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
1149
1150 const MachineOperand &MO1 = MI.getOperand(OpIdx++);
1151 const MachineOperand &MO2 = MI.getOperand(OpIdx);
1152 if (MO2.isReg()) {
1153 // Two register operand form.
1154 // Encode Rn.
1155 Binary |= getMachineOpValue(MI, MO1) << ARMII::RegRnShift;
1156
1157 // Encode Rm.
1158 Binary |= getMachineOpValue(MI, MO2);
1159 ++OpIdx;
1160 } else {
1161 Binary |= getMachineOpValue(MI, MO1);
1162 }
1163
1164 // Encode rot imm (0, 8, 16, or 24) if it has a rotate immediate operand.
1165 if (MI.getOperand(OpIdx).isImm() &&
1166 !TID.OpInfo[OpIdx].isPredicate() &&
1167 !TID.OpInfo[OpIdx].isOptionalDef())
1168 Binary |= (getMachineOpValue(MI, OpIdx) / 8) << ARMII::ExtRotImmShift;
Evan Chengfbc9d412008-11-06 01:21:28 +00001169
Evan Cheng83b5cf02008-11-05 23:22:34 +00001170 emitWordLE(Binary);
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +00001171}
1172
Chris Lattner33fabd72010-02-02 21:48:51 +00001173void ARMCodeEmitter::emitMiscArithInstruction(const MachineInstr &MI) {
Evan Cheng8b59db32008-11-07 01:41:35 +00001174 const TargetInstrDesc &TID = MI.getDesc();
1175
1176 // Part of binary is determined by TableGn.
1177 unsigned Binary = getBinaryCodeForInstr(MI);
1178
1179 // Set the conditional execution predicate
1180 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1181
1182 unsigned OpIdx = 0;
1183
1184 // Encode Rd
1185 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
1186
1187 const MachineOperand &MO = MI.getOperand(OpIdx++);
1188 if (OpIdx == TID.getNumOperands() ||
1189 TID.OpInfo[OpIdx].isPredicate() ||
1190 TID.OpInfo[OpIdx].isOptionalDef()) {
1191 // Encode Rm and it's done.
1192 Binary |= getMachineOpValue(MI, MO);
1193 emitWordLE(Binary);
1194 return;
1195 }
1196
1197 // Encode Rn.
1198 Binary |= getMachineOpValue(MI, MO) << ARMII::RegRnShift;
1199
1200 // Encode Rm.
1201 Binary |= getMachineOpValue(MI, OpIdx++);
1202
1203 // Encode shift_imm.
1204 unsigned ShiftAmt = MI.getOperand(OpIdx).getImm();
1205 assert(ShiftAmt < 32 && "shift_imm range is 0 to 31!");
1206 Binary |= ShiftAmt << ARMII::ShiftShift;
Jim Grosbach764ab522009-08-11 15:33:49 +00001207
Evan Cheng8b59db32008-11-07 01:41:35 +00001208 emitWordLE(Binary);
1209}
1210
Chris Lattner33fabd72010-02-02 21:48:51 +00001211void ARMCodeEmitter::emitBranchInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +00001212 const TargetInstrDesc &TID = MI.getDesc();
1213
Torok Edwindac237e2009-07-08 20:53:28 +00001214 if (TID.Opcode == ARM::TPsoft) {
Torok Edwinc23197a2009-07-14 16:55:14 +00001215 llvm_unreachable("ARM::TPsoft FIXME"); // FIXME
Torok Edwindac237e2009-07-08 20:53:28 +00001216 }
Evan Cheng12c3a532008-11-06 17:48:05 +00001217
Evan Cheng7602e112008-09-02 06:52:38 +00001218 // Part of binary is determined by TableGn.
1219 unsigned Binary = getBinaryCodeForInstr(MI);
1220
Evan Chengedda31c2008-11-05 18:35:52 +00001221 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +00001222 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chengedda31c2008-11-05 18:35:52 +00001223
1224 // Set signed_immed_24 field
1225 Binary |= getMachineOpValue(MI, 0);
1226
Evan Cheng83b5cf02008-11-05 23:22:34 +00001227 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +00001228}
1229
Chris Lattner33fabd72010-02-02 21:48:51 +00001230void ARMCodeEmitter::emitInlineJumpTable(unsigned JTIndex) {
Evan Cheng4df60f52008-11-07 09:06:08 +00001231 // Remember the base address of the inline jump table.
Evan Cheng5788d1a2008-12-10 02:32:19 +00001232 uintptr_t JTBase = MCE.getCurrentPCValue();
Evan Cheng437c1732008-11-07 22:30:53 +00001233 JTI->addJumpTableBaseAddr(JTIndex, JTBase);
Chris Lattner893e1c92009-08-23 06:49:22 +00001234 DEBUG(errs() << " ** Jump Table #" << JTIndex << " @ " << (void*)JTBase
1235 << '\n');
Evan Cheng4df60f52008-11-07 09:06:08 +00001236
1237 // Now emit the jump table entries.
1238 const std::vector<MachineBasicBlock*> &MBBs = (*MJTEs)[JTIndex].MBBs;
1239 for (unsigned i = 0, e = MBBs.size(); i != e; ++i) {
1240 if (IsPIC)
1241 // DestBB address - JT base.
Evan Cheng437c1732008-11-07 22:30:53 +00001242 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_pic_jt, JTBase);
Evan Cheng4df60f52008-11-07 09:06:08 +00001243 else
1244 // Absolute DestBB address.
1245 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_absolute);
1246 emitWordLE(0);
1247 }
1248}
1249
Chris Lattner33fabd72010-02-02 21:48:51 +00001250void ARMCodeEmitter::emitMiscBranchInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +00001251 const TargetInstrDesc &TID = MI.getDesc();
Evan Chengedda31c2008-11-05 18:35:52 +00001252
Evan Cheng437c1732008-11-07 22:30:53 +00001253 // Handle jump tables.
Evan Cheng90daf4d2009-07-25 00:13:11 +00001254 if (TID.Opcode == ARM::BR_JTr || TID.Opcode == ARM::BR_JTadd) {
Evan Cheng437c1732008-11-07 22:30:53 +00001255 // First emit a ldr pc, [] instruction.
1256 emitDataProcessingInstruction(MI, ARM::PC);
1257
1258 // Then emit the inline jump table.
Evan Chengc9a41532009-07-08 00:05:05 +00001259 unsigned JTIndex =
Evan Cheng90daf4d2009-07-25 00:13:11 +00001260 (TID.Opcode == ARM::BR_JTr)
Evan Cheng437c1732008-11-07 22:30:53 +00001261 ? MI.getOperand(1).getIndex() : MI.getOperand(2).getIndex();
1262 emitInlineJumpTable(JTIndex);
1263 return;
Evan Cheng90daf4d2009-07-25 00:13:11 +00001264 } else if (TID.Opcode == ARM::BR_JTm) {
Evan Cheng4df60f52008-11-07 09:06:08 +00001265 // First emit a ldr pc, [] instruction.
1266 emitLoadStoreInstruction(MI, ARM::PC);
1267
1268 // Then emit the inline jump table.
Evan Cheng437c1732008-11-07 22:30:53 +00001269 emitInlineJumpTable(MI.getOperand(3).getIndex());
Evan Cheng4df60f52008-11-07 09:06:08 +00001270 return;
1271 }
1272
Evan Chengedda31c2008-11-05 18:35:52 +00001273 // Part of binary is determined by TableGn.
1274 unsigned Binary = getBinaryCodeForInstr(MI);
1275
1276 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +00001277 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chengedda31c2008-11-05 18:35:52 +00001278
Anton Korobeynikovce7bf1c2010-03-06 19:39:36 +00001279 if (TID.Opcode == ARM::BX_RET || TID.Opcode == ARM::MOVPCLR)
Evan Chengedda31c2008-11-05 18:35:52 +00001280 // The return register is LR.
1281 Binary |= ARMRegisterInfo::getRegisterNumbering(ARM::LR);
Jim Grosbach764ab522009-08-11 15:33:49 +00001282 else
Evan Chengedda31c2008-11-05 18:35:52 +00001283 // otherwise, set the return register
1284 Binary |= getMachineOpValue(MI, 0);
1285
Evan Cheng83b5cf02008-11-05 23:22:34 +00001286 emitWordLE(Binary);
Evan Cheng148b6a42007-07-05 21:15:40 +00001287}
Evan Cheng7602e112008-09-02 06:52:38 +00001288
Evan Cheng80a11982008-11-12 06:41:41 +00001289static unsigned encodeVFPRd(const MachineInstr &MI, unsigned OpIdx) {
Evan Chengd06d48d2008-11-12 02:19:38 +00001290 unsigned RegD = MI.getOperand(OpIdx).getReg();
Evan Cheng80a11982008-11-12 06:41:41 +00001291 unsigned Binary = 0;
Evan Chengd06d48d2008-11-12 02:19:38 +00001292 bool isSPVFP = false;
Evan Cheng8295d992009-07-22 05:55:18 +00001293 RegD = ARMRegisterInfo::getRegisterNumbering(RegD, &isSPVFP);
Evan Chengd06d48d2008-11-12 02:19:38 +00001294 if (!isSPVFP)
1295 Binary |= RegD << ARMII::RegRdShift;
1296 else {
1297 Binary |= ((RegD & 0x1E) >> 1) << ARMII::RegRdShift;
1298 Binary |= (RegD & 0x01) << ARMII::D_BitShift;
1299 }
Evan Cheng80a11982008-11-12 06:41:41 +00001300 return Binary;
1301}
Evan Cheng78be83d2008-11-11 19:40:26 +00001302
Evan Cheng80a11982008-11-12 06:41:41 +00001303static unsigned encodeVFPRn(const MachineInstr &MI, unsigned OpIdx) {
Evan Chengd06d48d2008-11-12 02:19:38 +00001304 unsigned RegN = MI.getOperand(OpIdx).getReg();
Evan Cheng80a11982008-11-12 06:41:41 +00001305 unsigned Binary = 0;
1306 bool isSPVFP = false;
Evan Cheng8295d992009-07-22 05:55:18 +00001307 RegN = ARMRegisterInfo::getRegisterNumbering(RegN, &isSPVFP);
Evan Chengd06d48d2008-11-12 02:19:38 +00001308 if (!isSPVFP)
1309 Binary |= RegN << ARMII::RegRnShift;
1310 else {
1311 Binary |= ((RegN & 0x1E) >> 1) << ARMII::RegRnShift;
1312 Binary |= (RegN & 0x01) << ARMII::N_BitShift;
1313 }
Evan Cheng80a11982008-11-12 06:41:41 +00001314 return Binary;
1315}
Evan Chengd06d48d2008-11-12 02:19:38 +00001316
Evan Cheng80a11982008-11-12 06:41:41 +00001317static unsigned encodeVFPRm(const MachineInstr &MI, unsigned OpIdx) {
1318 unsigned RegM = MI.getOperand(OpIdx).getReg();
1319 unsigned Binary = 0;
1320 bool isSPVFP = false;
Evan Cheng8295d992009-07-22 05:55:18 +00001321 RegM = ARMRegisterInfo::getRegisterNumbering(RegM, &isSPVFP);
Evan Cheng80a11982008-11-12 06:41:41 +00001322 if (!isSPVFP)
1323 Binary |= RegM;
1324 else {
1325 Binary |= ((RegM & 0x1E) >> 1);
1326 Binary |= (RegM & 0x01) << ARMII::M_BitShift;
Evan Cheng78be83d2008-11-11 19:40:26 +00001327 }
Evan Cheng80a11982008-11-12 06:41:41 +00001328 return Binary;
1329}
1330
Chris Lattner33fabd72010-02-02 21:48:51 +00001331void ARMCodeEmitter::emitVFPArithInstruction(const MachineInstr &MI) {
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001332 const TargetInstrDesc &TID = MI.getDesc();
1333
1334 // Part of binary is determined by TableGn.
1335 unsigned Binary = getBinaryCodeForInstr(MI);
1336
1337 // Set the conditional execution predicate
1338 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1339
1340 unsigned OpIdx = 0;
1341 assert((Binary & ARMII::D_BitShift) == 0 &&
1342 (Binary & ARMII::N_BitShift) == 0 &&
1343 (Binary & ARMII::M_BitShift) == 0 && "VFP encoding bug!");
1344
1345 // Encode Dd / Sd.
1346 Binary |= encodeVFPRd(MI, OpIdx++);
1347
1348 // If this is a two-address operand, skip it, e.g. FMACD.
1349 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1350 ++OpIdx;
1351
1352 // Encode Dn / Sn.
1353 if ((TID.TSFlags & ARMII::FormMask) == ARMII::VFPBinaryFrm)
Evan Cheng3f4924e2008-11-12 08:14:21 +00001354 Binary |= encodeVFPRn(MI, OpIdx++);
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001355
1356 if (OpIdx == TID.getNumOperands() ||
1357 TID.OpInfo[OpIdx].isPredicate() ||
1358 TID.OpInfo[OpIdx].isOptionalDef()) {
1359 // FCMPEZD etc. has only one operand.
1360 emitWordLE(Binary);
1361 return;
1362 }
1363
1364 // Encode Dm / Sm.
1365 Binary |= encodeVFPRm(MI, OpIdx);
Jim Grosbach764ab522009-08-11 15:33:49 +00001366
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001367 emitWordLE(Binary);
1368}
1369
Bob Wilson87949d42010-03-17 21:16:45 +00001370void ARMCodeEmitter::emitVFPConversionInstruction(const MachineInstr &MI) {
Evan Cheng80a11982008-11-12 06:41:41 +00001371 const TargetInstrDesc &TID = MI.getDesc();
1372 unsigned Form = TID.TSFlags & ARMII::FormMask;
1373
1374 // Part of binary is determined by TableGn.
1375 unsigned Binary = getBinaryCodeForInstr(MI);
1376
1377 // Set the conditional execution predicate
1378 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1379
1380 switch (Form) {
1381 default: break;
1382 case ARMII::VFPConv1Frm:
1383 case ARMII::VFPConv2Frm:
1384 case ARMII::VFPConv3Frm:
1385 // Encode Dd / Sd.
1386 Binary |= encodeVFPRd(MI, 0);
1387 break;
1388 case ARMII::VFPConv4Frm:
1389 // Encode Dn / Sn.
1390 Binary |= encodeVFPRn(MI, 0);
1391 break;
1392 case ARMII::VFPConv5Frm:
1393 // Encode Dm / Sm.
1394 Binary |= encodeVFPRm(MI, 0);
1395 break;
1396 }
1397
1398 switch (Form) {
1399 default: break;
1400 case ARMII::VFPConv1Frm:
1401 // Encode Dm / Sm.
1402 Binary |= encodeVFPRm(MI, 1);
Evan Cheng67fd91f2008-11-13 07:46:59 +00001403 break;
Evan Cheng80a11982008-11-12 06:41:41 +00001404 case ARMII::VFPConv2Frm:
1405 case ARMII::VFPConv3Frm:
1406 // Encode Dn / Sn.
1407 Binary |= encodeVFPRn(MI, 1);
1408 break;
1409 case ARMII::VFPConv4Frm:
1410 case ARMII::VFPConv5Frm:
1411 // Encode Dd / Sd.
1412 Binary |= encodeVFPRd(MI, 1);
1413 break;
1414 }
1415
1416 if (Form == ARMII::VFPConv5Frm)
1417 // Encode Dn / Sn.
1418 Binary |= encodeVFPRn(MI, 2);
1419 else if (Form == ARMII::VFPConv3Frm)
1420 // Encode Dm / Sm.
1421 Binary |= encodeVFPRm(MI, 2);
Evan Cheng78be83d2008-11-11 19:40:26 +00001422
1423 emitWordLE(Binary);
1424}
1425
Chris Lattner33fabd72010-02-02 21:48:51 +00001426void ARMCodeEmitter::emitVFPLoadStoreInstruction(const MachineInstr &MI) {
Evan Chengcd8e66a2008-11-11 21:48:44 +00001427 // Part of binary is determined by TableGn.
1428 unsigned Binary = getBinaryCodeForInstr(MI);
1429
1430 // Set the conditional execution predicate
1431 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1432
1433 unsigned OpIdx = 0;
1434
1435 // Encode Dd / Sd.
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001436 Binary |= encodeVFPRd(MI, OpIdx++);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001437
1438 // Encode address base.
1439 const MachineOperand &Base = MI.getOperand(OpIdx++);
1440 Binary |= getMachineOpValue(MI, Base) << ARMII::RegRnShift;
1441
1442 // If there is a non-zero immediate offset, encode it.
1443 if (Base.isReg()) {
1444 const MachineOperand &Offset = MI.getOperand(OpIdx);
1445 if (unsigned ImmOffs = ARM_AM::getAM5Offset(Offset.getImm())) {
1446 if (ARM_AM::getAM5Op(Offset.getImm()) == ARM_AM::add)
1447 Binary |= 1 << ARMII::U_BitShift;
Evan Cheng607f1b42008-11-12 08:21:12 +00001448 Binary |= ImmOffs;
Evan Chengcd8e66a2008-11-11 21:48:44 +00001449 emitWordLE(Binary);
1450 return;
1451 }
1452 }
1453
1454 // If immediate offset is omitted, default to +0.
1455 Binary |= 1 << ARMII::U_BitShift;
1456
1457 emitWordLE(Binary);
1458}
1459
Bob Wilson87949d42010-03-17 21:16:45 +00001460void
1461ARMCodeEmitter::emitVFPLoadStoreMultipleInstruction(const MachineInstr &MI) {
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001462 const TargetInstrDesc &TID = MI.getDesc();
1463 bool IsUpdating = (TID.TSFlags & ARMII::IndexModeMask) != 0;
1464
Evan Chengcd8e66a2008-11-11 21:48:44 +00001465 // Part of binary is determined by TableGn.
1466 unsigned Binary = getBinaryCodeForInstr(MI);
1467
1468 // Set the conditional execution predicate
1469 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1470
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001471 // Skip operand 0 of an instruction with base register update.
1472 unsigned OpIdx = 0;
1473 if (IsUpdating)
1474 ++OpIdx;
1475
Evan Chengcd8e66a2008-11-11 21:48:44 +00001476 // Set base address operand
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001477 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Chengcd8e66a2008-11-11 21:48:44 +00001478
1479 // Set addressing mode by modifying bits U(23) and P(24)
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001480 const MachineOperand &MO = MI.getOperand(OpIdx++);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001481 Binary |= getAddrModeUPBits(ARM_AM::getAM5SubMode(MO.getImm()));
1482
1483 // Set bit W(21)
Bob Wilson2d357f62010-03-16 18:38:09 +00001484 if (IsUpdating)
Evan Chengcd8e66a2008-11-11 21:48:44 +00001485 Binary |= 0x1 << ARMII::W_BitShift;
1486
1487 // First register is encoded in Dd.
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001488 Binary |= encodeVFPRd(MI, OpIdx+2);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001489
1490 // Number of registers are encoded in offset field.
1491 unsigned NumRegs = 1;
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001492 for (unsigned i = OpIdx+3, e = MI.getNumOperands(); i != e; ++i) {
Evan Chengcd8e66a2008-11-11 21:48:44 +00001493 const MachineOperand &MO = MI.getOperand(i);
1494 if (!MO.isReg() || MO.isImplicit())
1495 break;
1496 ++NumRegs;
1497 }
Shih-wei Liao5170b712010-05-26 00:02:28 +00001498 // Bit 8 will be set if <list> is consecutive 64-bit registers (e.g., D0)
1499 // Otherwise, it will be 0, in the case of 32-bit registers.
1500 if(Binary & 0x100)
1501 Binary |= NumRegs * 2;
1502 else
1503 Binary |= NumRegs;
Evan Chengcd8e66a2008-11-11 21:48:44 +00001504
1505 emitWordLE(Binary);
1506}
1507
Chris Lattner33fabd72010-02-02 21:48:51 +00001508void ARMCodeEmitter::emitMiscInstruction(const MachineInstr &MI) {
Zonr Changf3c770a2010-05-25 10:23:52 +00001509 unsigned Opcode = MI.getDesc().Opcode;
Evan Chengcd8e66a2008-11-11 21:48:44 +00001510 // Part of binary is determined by TableGn.
1511 unsigned Binary = getBinaryCodeForInstr(MI);
1512
1513 // Set the conditional execution predicate
1514 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1515
Zonr Changf3c770a2010-05-25 10:23:52 +00001516 switch(Opcode) {
1517 default:
1518 llvm_unreachable("ARMCodeEmitter::emitMiscInstruction");
1519
1520 case ARM::FMSTAT:
1521 // No further encoding needed.
1522 break;
1523
1524 case ARM::VMRS:
1525 case ARM::VMSR: {
1526 const MachineOperand &MO0 = MI.getOperand(0);
1527 // Encode Rt.
1528 Binary |= ARMRegisterInfo::getRegisterNumbering(MO0.getReg())
1529 << ARMII::RegRdShift;
1530 break;
1531 }
1532
1533 case ARM::FCONSTD:
1534 case ARM::FCONSTS: {
1535 // Encode Dd / Sd.
1536 Binary |= encodeVFPRd(MI, 0);
1537
1538 // Encode imm., Table A7-18 VFP modified immediate constants
1539 const MachineOperand &MO1 = MI.getOperand(1);
1540 unsigned Imm = static_cast<unsigned>(MO1.getFPImm()->getValueAPF()
1541 .bitcastToAPInt().getHiBits(32).getLimitedValue());
1542 unsigned ModifiedImm;
1543
1544 if(Opcode == ARM::FCONSTS)
1545 ModifiedImm = (Imm & 0x80000000) >> 24 | // a
1546 (Imm & 0x03F80000) >> 19; // bcdefgh
1547 else // Opcode == ARM::FCONSTD
1548 ModifiedImm = (Imm & 0x80000000) >> 24 | // a
1549 (Imm & 0x007F0000) >> 16; // bcdefgh
1550
1551 // Insts{19-16} = abcd, Insts{3-0} = efgh
1552 Binary |= ((ModifiedImm & 0xF0) >> 4) << 16;
1553 Binary |= (ModifiedImm & 0xF);
1554 break;
1555 }
1556 }
1557
Evan Chengcd8e66a2008-11-11 21:48:44 +00001558 emitWordLE(Binary);
1559}
1560
Bob Wilson1a913ed2010-06-11 21:34:50 +00001561static unsigned encodeNEONRd(const MachineInstr &MI, unsigned OpIdx) {
1562 unsigned RegD = MI.getOperand(OpIdx).getReg();
1563 unsigned Binary = 0;
1564 RegD = ARMRegisterInfo::getRegisterNumbering(RegD);
1565 Binary |= (RegD & 0xf) << ARMII::RegRdShift;
1566 Binary |= ((RegD >> 4) & 1) << ARMII::D_BitShift;
1567 return Binary;
1568}
1569
Bob Wilson5e7b6072010-06-25 22:40:46 +00001570static unsigned encodeNEONRn(const MachineInstr &MI, unsigned OpIdx) {
1571 unsigned RegN = MI.getOperand(OpIdx).getReg();
1572 unsigned Binary = 0;
1573 RegN = ARMRegisterInfo::getRegisterNumbering(RegN);
1574 Binary |= (RegN & 0xf) << ARMII::RegRnShift;
1575 Binary |= ((RegN >> 4) & 1) << ARMII::N_BitShift;
1576 return Binary;
1577}
1578
Bob Wilson583a2a02010-06-25 21:17:19 +00001579static unsigned encodeNEONRm(const MachineInstr &MI, unsigned OpIdx) {
1580 unsigned RegM = MI.getOperand(OpIdx).getReg();
1581 unsigned Binary = 0;
1582 RegM = ARMRegisterInfo::getRegisterNumbering(RegM);
1583 Binary |= (RegM & 0xf);
1584 Binary |= ((RegM >> 4) & 1) << ARMII::M_BitShift;
1585 return Binary;
1586}
1587
Bob Wilsond896a972010-06-28 21:12:19 +00001588/// convertNEONDataProcToThumb - Convert the ARM mode encoding for a NEON
1589/// data-processing instruction to the corresponding Thumb encoding.
1590static unsigned convertNEONDataProcToThumb(unsigned Binary) {
1591 assert((Binary & 0xfe000000) == 0xf2000000 &&
1592 "not an ARM NEON data-processing instruction");
1593 unsigned UBit = (Binary >> 24) & 1;
1594 return 0xef000000 | (UBit << 28) | (Binary & 0xffffff);
1595}
1596
Bob Wilson52e4a0a2010-06-26 04:07:15 +00001597void ARMCodeEmitter::emitNEONGetLaneInstruction(const MachineInstr &MI) {
1598 unsigned Binary = getBinaryCodeForInstr(MI);
1599
1600 // Set the conditional execution predicate
1601 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1602
1603 unsigned RegT = MI.getOperand(0).getReg();
1604 RegT = ARMRegisterInfo::getRegisterNumbering(RegT);
1605 Binary |= (RegT << ARMII::RegRdShift);
1606 Binary |= encodeNEONRn(MI, 1);
1607
1608 unsigned LaneShift;
1609 if ((Binary & (1 << 22)) != 0)
1610 LaneShift = 0; // 8-bit elements
1611 else if ((Binary & (1 << 5)) != 0)
1612 LaneShift = 1; // 16-bit elements
1613 else
1614 LaneShift = 2; // 32-bit elements
1615
1616 unsigned Lane = MI.getOperand(2).getImm() << LaneShift;
1617 unsigned Opc1 = Lane >> 2;
1618 unsigned Opc2 = Lane & 3;
1619 assert((Opc1 & 3) == 0 && "out-of-range lane number operand");
1620 Binary |= (Opc1 << 21);
1621 Binary |= (Opc2 << 5);
1622
1623 emitWordLE(Binary);
1624}
1625
Bob Wilson583a2a02010-06-25 21:17:19 +00001626void ARMCodeEmitter::emitNEON1RegModImmInstruction(const MachineInstr &MI) {
Bob Wilson1a913ed2010-06-11 21:34:50 +00001627 unsigned Binary = getBinaryCodeForInstr(MI);
1628 // Destination register is encoded in Dd.
1629 Binary |= encodeNEONRd(MI, 0);
1630 // Immediate fields: Op, Cmode, I, Imm3, Imm4
1631 unsigned Imm = MI.getOperand(1).getImm();
1632 unsigned Op = (Imm >> 12) & 1;
Bob Wilson1a913ed2010-06-11 21:34:50 +00001633 unsigned Cmode = (Imm >> 8) & 0xf;
Bob Wilson1a913ed2010-06-11 21:34:50 +00001634 unsigned I = (Imm >> 7) & 1;
Bob Wilson1a913ed2010-06-11 21:34:50 +00001635 unsigned Imm3 = (Imm >> 4) & 0x7;
Bob Wilson1a913ed2010-06-11 21:34:50 +00001636 unsigned Imm4 = Imm & 0xf;
Bob Wilson08baddb2010-06-28 21:16:30 +00001637 Binary |= (I << 24) | (Imm3 << 16) | (Cmode << 8) | (Op << 5) | Imm4;
Bob Wilsond896a972010-06-28 21:12:19 +00001638 if (Subtarget->isThumb())
1639 Binary = convertNEONDataProcToThumb(Binary);
Bob Wilson1a913ed2010-06-11 21:34:50 +00001640 emitWordLE(Binary);
1641}
1642
Bob Wilson583a2a02010-06-25 21:17:19 +00001643void ARMCodeEmitter::emitNEON2RegInstruction(const MachineInstr &MI) {
Bob Wilson5e7b6072010-06-25 22:40:46 +00001644 const TargetInstrDesc &TID = MI.getDesc();
Bob Wilson583a2a02010-06-25 21:17:19 +00001645 unsigned Binary = getBinaryCodeForInstr(MI);
Bob Wilson5e7b6072010-06-25 22:40:46 +00001646 // Destination register is encoded in Dd; source register in Dm.
1647 unsigned OpIdx = 0;
1648 Binary |= encodeNEONRd(MI, OpIdx++);
1649 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1650 ++OpIdx;
1651 Binary |= encodeNEONRm(MI, OpIdx);
Bob Wilsond896a972010-06-28 21:12:19 +00001652 if (Subtarget->isThumb())
1653 Binary = convertNEONDataProcToThumb(Binary);
Bob Wilson583a2a02010-06-25 21:17:19 +00001654 // FIXME: This does not handle VDUPfdf or VDUPfqf.
1655 emitWordLE(Binary);
1656}
1657
Bob Wilson5e7b6072010-06-25 22:40:46 +00001658void ARMCodeEmitter::emitNEON3RegInstruction(const MachineInstr &MI) {
1659 const TargetInstrDesc &TID = MI.getDesc();
1660 unsigned Binary = getBinaryCodeForInstr(MI);
1661 // Destination register is encoded in Dd; source registers in Dn and Dm.
1662 unsigned OpIdx = 0;
1663 Binary |= encodeNEONRd(MI, OpIdx++);
1664 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1665 ++OpIdx;
1666 Binary |= encodeNEONRn(MI, OpIdx++);
1667 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1668 ++OpIdx;
1669 Binary |= encodeNEONRm(MI, OpIdx);
Bob Wilsond896a972010-06-28 21:12:19 +00001670 if (Subtarget->isThumb())
1671 Binary = convertNEONDataProcToThumb(Binary);
Bob Wilson5e7b6072010-06-25 22:40:46 +00001672 // FIXME: This does not handle VMOVDneon or VMOVQ.
1673 emitWordLE(Binary);
1674}
1675
Evan Cheng7602e112008-09-02 06:52:38 +00001676#include "ARMGenCodeEmitter.inc"