blob: 7895cb07192291ee8075dda00d378da1bf68d579 [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 Wilson62d24a42010-06-28 22:23:17 +000058 bool IsThumb;
Bob Wilson87949d42010-03-17 21:16:45 +000059
Daniel Dunbar003de662009-09-21 05:58:35 +000060 void getAnalysisUsage(AnalysisUsage &AU) const {
61 AU.addRequired<MachineModuleInfo>();
62 MachineFunctionPass::getAnalysisUsage(AU);
63 }
Bob Wilson87949d42010-03-17 21:16:45 +000064
Evan Cheng148b6a42007-07-05 21:15:40 +000065 static char ID;
Chris Lattner33fabd72010-02-02 21:48:51 +000066 public:
67 ARMCodeEmitter(TargetMachine &tm, JITCodeEmitter &mce)
Dan Gohman3fb150a2010-04-17 17:42:52 +000068 : MachineFunctionPass(&ID), JTI(0),
69 II((const ARMInstrInfo *)tm.getInstrInfo()),
Chris Lattner33fabd72010-02-02 21:48:51 +000070 TD(tm.getTargetData()), TM(tm),
Bob Wilson62d24a42010-06-28 22:23:17 +000071 MCE(mce), MCPEs(0), MJTEs(0),
72 IsPIC(TM.getRelocationModel() == Reloc::PIC_), IsThumb(false) {}
Bob Wilson87949d42010-03-17 21:16:45 +000073
Chris Lattner33fabd72010-02-02 21:48:51 +000074 /// getBinaryCodeForInstr - This function, generated by the
75 /// CodeEmitterGenerator using TableGen, produces the binary encoding for
76 /// machine instructions.
77 unsigned getBinaryCodeForInstr(const MachineInstr &MI);
Evan Cheng148b6a42007-07-05 21:15:40 +000078
79 bool runOnMachineFunction(MachineFunction &MF);
80
81 virtual const char *getPassName() const {
82 return "ARM Machine Code Emitter";
83 }
84
85 void emitInstruction(const MachineInstr &MI);
Evan Cheng7602e112008-09-02 06:52:38 +000086
87 private:
Evan Cheng057d0c32008-09-18 07:28:19 +000088
Evan Cheng83b5cf02008-11-05 23:22:34 +000089 void emitWordLE(unsigned Binary);
Evan Chengcb5201f2008-11-11 22:19:31 +000090 void emitDWordLE(uint64_t Binary);
Evan Cheng057d0c32008-09-18 07:28:19 +000091 void emitConstPoolInstruction(const MachineInstr &MI);
Zonr Changf86399b2010-05-25 08:42:45 +000092 void emitMOVi32immInstruction(const MachineInstr &MI);
Evan Cheng90922132008-11-06 02:25:39 +000093 void emitMOVi2piecesInstruction(const MachineInstr &MI);
Evan Cheng4df60f52008-11-07 09:06:08 +000094 void emitLEApcrelJTInstruction(const MachineInstr &MI);
Evan Chenga9562552008-11-14 20:09:11 +000095 void emitPseudoMoveInstruction(const MachineInstr &MI);
Evan Cheng83b5cf02008-11-05 23:22:34 +000096 void addPCLabel(unsigned LabelID);
Evan Cheng057d0c32008-09-18 07:28:19 +000097 void emitPseudoInstruction(const MachineInstr &MI);
Evan Cheng5f1db7b2008-09-12 22:01:15 +000098 unsigned getMachineSoRegOpValue(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +000099 const TargetInstrDesc &TID,
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000100 const MachineOperand &MO,
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000101 unsigned OpIdx);
102
Evan Cheng90922132008-11-06 02:25:39 +0000103 unsigned getMachineSoImmOpValue(unsigned SoImm);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000104
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000105 unsigned getAddrModeSBit(const MachineInstr &MI,
106 const TargetInstrDesc &TID) const;
Evan Cheng49a9f292008-09-12 22:45:55 +0000107
Evan Cheng83b5cf02008-11-05 23:22:34 +0000108 void emitDataProcessingInstruction(const MachineInstr &MI,
Evan Cheng437c1732008-11-07 22:30:53 +0000109 unsigned ImplicitRd = 0,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000110 unsigned ImplicitRn = 0);
Evan Cheng7602e112008-09-02 06:52:38 +0000111
Evan Cheng83b5cf02008-11-05 23:22:34 +0000112 void emitLoadStoreInstruction(const MachineInstr &MI,
Evan Cheng4df60f52008-11-07 09:06:08 +0000113 unsigned ImplicitRd = 0,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000114 unsigned ImplicitRn = 0);
Evan Chengedda31c2008-11-05 18:35:52 +0000115
Evan Cheng83b5cf02008-11-05 23:22:34 +0000116 void emitMiscLoadStoreInstruction(const MachineInstr &MI,
117 unsigned ImplicitRn = 0);
Evan Chengedda31c2008-11-05 18:35:52 +0000118
119 void emitLoadStoreMultipleInstruction(const MachineInstr &MI);
120
Evan Chengfbc9d412008-11-06 01:21:28 +0000121 void emitMulFrmInstruction(const MachineInstr &MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000122
Evan Cheng97f48c32008-11-06 22:15:19 +0000123 void emitExtendInstruction(const MachineInstr &MI);
124
Evan Cheng8b59db32008-11-07 01:41:35 +0000125 void emitMiscArithInstruction(const MachineInstr &MI);
126
Evan Chengedda31c2008-11-05 18:35:52 +0000127 void emitBranchInstruction(const MachineInstr &MI);
128
Evan Cheng437c1732008-11-07 22:30:53 +0000129 void emitInlineJumpTable(unsigned JTIndex);
Evan Cheng4df60f52008-11-07 09:06:08 +0000130
Evan Chengedda31c2008-11-05 18:35:52 +0000131 void emitMiscBranchInstruction(const MachineInstr &MI);
Evan Cheng7602e112008-09-02 06:52:38 +0000132
Evan Cheng96581d32008-11-11 02:11:05 +0000133 void emitVFPArithInstruction(const MachineInstr &MI);
134
Evan Cheng78be83d2008-11-11 19:40:26 +0000135 void emitVFPConversionInstruction(const MachineInstr &MI);
136
Evan Chengcd8e66a2008-11-11 21:48:44 +0000137 void emitVFPLoadStoreInstruction(const MachineInstr &MI);
138
139 void emitVFPLoadStoreMultipleInstruction(const MachineInstr &MI);
140
141 void emitMiscInstruction(const MachineInstr &MI);
142
Bob Wilsond5a563d2010-06-29 17:34:07 +0000143 void emitNEONLaneInstruction(const MachineInstr &MI);
Bob Wilson21773e72010-06-29 20:13:29 +0000144 void emitNEONDupInstruction(const MachineInstr &MI);
Bob Wilson583a2a02010-06-25 21:17:19 +0000145 void emitNEON1RegModImmInstruction(const MachineInstr &MI);
146 void emitNEON2RegInstruction(const MachineInstr &MI);
Bob Wilson5e7b6072010-06-25 22:40:46 +0000147 void emitNEON3RegInstruction(const MachineInstr &MI);
Bob Wilson1a913ed2010-06-11 21:34:50 +0000148
Evan Cheng7602e112008-09-02 06:52:38 +0000149 /// getMachineOpValue - Return binary encoding of operand. If the machine
150 /// operand requires relocation, record the relocation and return zero.
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000151 unsigned getMachineOpValue(const MachineInstr &MI,const MachineOperand &MO);
Evan Cheng7602e112008-09-02 06:52:38 +0000152 unsigned getMachineOpValue(const MachineInstr &MI, unsigned OpIdx) {
153 return getMachineOpValue(MI, MI.getOperand(OpIdx));
154 }
Evan Cheng7602e112008-09-02 06:52:38 +0000155
Shih-wei Liao5170b712010-05-26 00:02:28 +0000156 /// getMovi32Value - Return binary encoding of operand for movw/movt. If the
Jim Grosbach18f30e62010-06-02 21:53:11 +0000157 /// machine operand requires relocation, record the relocation and return
158 /// zero.
Shih-wei Liao5170b712010-05-26 00:02:28 +0000159 unsigned getMovi32Value(const MachineInstr &MI,const MachineOperand &MO,
Zonr Changf86399b2010-05-25 08:42:45 +0000160 unsigned Reloc);
Shih-wei Liao5170b712010-05-26 00:02:28 +0000161 unsigned getMovi32Value(const MachineInstr &MI, unsigned OpIdx,
Zonr Changf86399b2010-05-25 08:42:45 +0000162 unsigned Reloc) {
163 return getMovi32Value(MI, MI.getOperand(OpIdx), Reloc);
164 }
165
Evan Cheng83b5cf02008-11-05 23:22:34 +0000166 /// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
Evan Cheng7602e112008-09-02 06:52:38 +0000167 ///
Evan Cheng83b5cf02008-11-05 23:22:34 +0000168 unsigned getShiftOp(unsigned Imm) const ;
Evan Cheng7602e112008-09-02 06:52:38 +0000169
170 /// Routines that handle operands which add machine relocations which are
Evan Cheng437c1732008-11-07 22:30:53 +0000171 /// fixed up by the relocation stage.
Dan Gohman46510a72010-04-15 01:51:59 +0000172 void emitGlobalAddress(const GlobalValue *GV, unsigned Reloc,
Jeffrey Yasskin2d274412009-11-07 08:51:52 +0000173 bool MayNeedFarStub, bool Indirect,
174 intptr_t ACPV = 0);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000175 void emitExternalSymbolAddress(const char *ES, unsigned Reloc);
Evan Cheng437c1732008-11-07 22:30:53 +0000176 void emitConstPoolAddress(unsigned CPI, unsigned Reloc);
177 void emitJumpTableAddress(unsigned JTIndex, unsigned Reloc);
178 void emitMachineBasicBlock(MachineBasicBlock *BB, unsigned Reloc,
179 intptr_t JTBase = 0);
Evan Cheng148b6a42007-07-05 21:15:40 +0000180 };
Evan Cheng148b6a42007-07-05 21:15:40 +0000181}
182
Chris Lattner33fabd72010-02-02 21:48:51 +0000183char ARMCodeEmitter::ID = 0;
184
Bob Wilson87949d42010-03-17 21:16:45 +0000185/// createARMJITCodeEmitterPass - Return a pass that emits the collected ARM
Chris Lattnere0faa542010-02-02 21:38:59 +0000186/// code to the specified MCE object.
Bruno Cardoso Lopesac57e6e2009-07-06 05:09:34 +0000187FunctionPass *llvm::createARMJITCodeEmitterPass(ARMBaseTargetMachine &TM,
188 JITCodeEmitter &JCE) {
Chris Lattner33fabd72010-02-02 21:48:51 +0000189 return new ARMCodeEmitter(TM, JCE);
Evan Cheng148b6a42007-07-05 21:15:40 +0000190}
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000191
Chris Lattner33fabd72010-02-02 21:48:51 +0000192bool ARMCodeEmitter::runOnMachineFunction(MachineFunction &MF) {
Evan Cheng148b6a42007-07-05 21:15:40 +0000193 assert((MF.getTarget().getRelocationModel() != Reloc::Default ||
194 MF.getTarget().getRelocationModel() != Reloc::Static) &&
195 "JIT relocation model must be set to static or default!");
Dan Gohman3fb150a2010-04-17 17:42:52 +0000196 JTI = ((ARMTargetMachine &)MF.getTarget()).getJITInfo();
197 II = ((const ARMTargetMachine &)MF.getTarget()).getInstrInfo();
198 TD = ((const ARMTargetMachine &)MF.getTarget()).getTargetData();
Evan Cheng08669742009-09-10 01:23:53 +0000199 Subtarget = &TM.getSubtarget<ARMSubtarget>();
Evan Cheng938b9d82008-10-31 19:55:13 +0000200 MCPEs = &MF.getConstantPool()->getConstants();
Chris Lattnerb1e80392010-01-25 23:22:00 +0000201 MJTEs = 0;
202 if (MF.getJumpTableInfo()) MJTEs = &MF.getJumpTableInfo()->getJumpTables();
Evan Cheng4df60f52008-11-07 09:06:08 +0000203 IsPIC = TM.getRelocationModel() == Reloc::PIC_;
Bob Wilson62d24a42010-06-28 22:23:17 +0000204 IsThumb = MF.getInfo<ARMFunctionInfo>()->isThumbFunction();
Evan Cheng3cc82232008-11-08 07:38:22 +0000205 JTI->Initialize(MF, IsPIC);
Chris Lattner16112732010-03-14 01:41:15 +0000206 MMI = &getAnalysis<MachineModuleInfo>();
207 MCE.setModuleInfo(MMI);
Evan Cheng148b6a42007-07-05 21:15:40 +0000208
209 do {
Jim Grosbach764ab522009-08-11 15:33:49 +0000210 DEBUG(errs() << "JITTing function '"
Daniel Dunbarce63ffb2009-07-25 00:23:56 +0000211 << MF.getFunction()->getName() << "'\n");
Evan Cheng148b6a42007-07-05 21:15:40 +0000212 MCE.startFunction(MF);
Jim Grosbach764ab522009-08-11 15:33:49 +0000213 for (MachineFunction::iterator MBB = MF.begin(), E = MF.end();
Evan Cheng148b6a42007-07-05 21:15:40 +0000214 MBB != E; ++MBB) {
215 MCE.StartMachineBasicBlock(MBB);
216 for (MachineBasicBlock::const_iterator I = MBB->begin(), E = MBB->end();
217 I != E; ++I)
218 emitInstruction(*I);
219 }
220 } while (MCE.finishFunction(MF));
221
222 return false;
223}
224
Evan Cheng83b5cf02008-11-05 23:22:34 +0000225/// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
Evan Cheng7602e112008-09-02 06:52:38 +0000226///
Chris Lattner33fabd72010-02-02 21:48:51 +0000227unsigned ARMCodeEmitter::getShiftOp(unsigned Imm) const {
Evan Cheng83b5cf02008-11-05 23:22:34 +0000228 switch (ARM_AM::getAM2ShiftOpc(Imm)) {
Torok Edwinc23197a2009-07-14 16:55:14 +0000229 default: llvm_unreachable("Unknown shift opc!");
Evan Cheng7602e112008-09-02 06:52:38 +0000230 case ARM_AM::asr: return 2;
231 case ARM_AM::lsl: return 0;
232 case ARM_AM::lsr: return 1;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000233 case ARM_AM::ror:
Evan Cheng7602e112008-09-02 06:52:38 +0000234 case ARM_AM::rrx: return 3;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000235 }
Evan Cheng7602e112008-09-02 06:52:38 +0000236 return 0;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000237}
238
Shih-wei Liao5170b712010-05-26 00:02:28 +0000239/// getMovi32Value - Return binary encoding of operand for movw/movt. If the
Zonr Changf86399b2010-05-25 08:42:45 +0000240/// machine operand requires relocation, record the relocation and return zero.
241unsigned ARMCodeEmitter::getMovi32Value(const MachineInstr &MI,
Shih-wei Liao5170b712010-05-26 00:02:28 +0000242 const MachineOperand &MO,
Zonr Changf86399b2010-05-25 08:42:45 +0000243 unsigned Reloc) {
Shih-wei Liao5170b712010-05-26 00:02:28 +0000244 assert(((Reloc == ARM::reloc_arm_movt) || (Reloc == ARM::reloc_arm_movw))
Zonr Changf86399b2010-05-25 08:42:45 +0000245 && "Relocation to this function should be for movt or movw");
246
247 if (MO.isImm())
248 return static_cast<unsigned>(MO.getImm());
249 else if (MO.isGlobal())
250 emitGlobalAddress(MO.getGlobal(), Reloc, true, false);
251 else if (MO.isSymbol())
252 emitExternalSymbolAddress(MO.getSymbolName(), Reloc);
253 else if (MO.isMBB())
254 emitMachineBasicBlock(MO.getMBB(), Reloc);
255 else {
256#ifndef NDEBUG
257 errs() << MO;
258#endif
259 llvm_unreachable("Unsupported operand type for movw/movt");
260 }
261 return 0;
262}
263
Evan Cheng7602e112008-09-02 06:52:38 +0000264/// getMachineOpValue - Return binary encoding of operand. If the machine
265/// operand requires relocation, record the relocation and return zero.
Chris Lattner33fabd72010-02-02 21:48:51 +0000266unsigned ARMCodeEmitter::getMachineOpValue(const MachineInstr &MI,
267 const MachineOperand &MO) {
Dan Gohmand735b802008-10-03 15:45:36 +0000268 if (MO.isReg())
Evan Cheng7602e112008-09-02 06:52:38 +0000269 return ARMRegisterInfo::getRegisterNumbering(MO.getReg());
Dan Gohmand735b802008-10-03 15:45:36 +0000270 else if (MO.isImm())
Evan Cheng7602e112008-09-02 06:52:38 +0000271 return static_cast<unsigned>(MO.getImm());
Dan Gohmand735b802008-10-03 15:45:36 +0000272 else if (MO.isGlobal())
Evan Cheng08669742009-09-10 01:23:53 +0000273 emitGlobalAddress(MO.getGlobal(), ARM::reloc_arm_branch, true, false);
Dan Gohmand735b802008-10-03 15:45:36 +0000274 else if (MO.isSymbol())
Evan Cheng10332512008-11-08 07:22:33 +0000275 emitExternalSymbolAddress(MO.getSymbolName(), ARM::reloc_arm_branch);
Evan Cheng580c0df2008-11-12 01:02:24 +0000276 else if (MO.isCPI()) {
277 const TargetInstrDesc &TID = MI.getDesc();
278 // For VFP load, the immediate offset is multiplied by 4.
279 unsigned Reloc = ((TID.TSFlags & ARMII::FormMask) == ARMII::VFPLdStFrm)
280 ? ARM::reloc_arm_vfp_cp_entry : ARM::reloc_arm_cp_entry;
281 emitConstPoolAddress(MO.getIndex(), Reloc);
282 } else if (MO.isJTI())
Chris Lattner8aa797a2007-12-30 23:10:15 +0000283 emitJumpTableAddress(MO.getIndex(), ARM::reloc_arm_relative);
Dan Gohmand735b802008-10-03 15:45:36 +0000284 else if (MO.isMBB())
Evan Cheng4df60f52008-11-07 09:06:08 +0000285 emitMachineBasicBlock(MO.getMBB(), ARM::reloc_arm_branch);
Evan Cheng2aa0e642008-09-13 01:55:59 +0000286 else {
Torok Edwindac237e2009-07-08 20:53:28 +0000287#ifndef NDEBUG
Chris Lattner705e07f2009-08-23 03:41:05 +0000288 errs() << MO;
Torok Edwindac237e2009-07-08 20:53:28 +0000289#endif
Torok Edwinc23197a2009-07-14 16:55:14 +0000290 llvm_unreachable(0);
Evan Cheng2aa0e642008-09-13 01:55:59 +0000291 }
Evan Cheng7602e112008-09-02 06:52:38 +0000292 return 0;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000293}
294
Evan Cheng057d0c32008-09-18 07:28:19 +0000295/// emitGlobalAddress - Emit the specified address to the code stream.
Evan Cheng0ff94f72007-08-07 01:37:15 +0000296///
Dan Gohman46510a72010-04-15 01:51:59 +0000297void ARMCodeEmitter::emitGlobalAddress(const GlobalValue *GV, unsigned Reloc,
Chris Lattner33fabd72010-02-02 21:48:51 +0000298 bool MayNeedFarStub, bool Indirect,
299 intptr_t ACPV) {
Evan Cheng08669742009-09-10 01:23:53 +0000300 MachineRelocation MR = Indirect
301 ? MachineRelocation::getIndirectSymbol(MCE.getCurrentPCOffset(), Reloc,
Dan Gohman46510a72010-04-15 01:51:59 +0000302 const_cast<GlobalValue *>(GV),
303 ACPV, MayNeedFarStub)
Evan Cheng08669742009-09-10 01:23:53 +0000304 : MachineRelocation::getGV(MCE.getCurrentPCOffset(), Reloc,
Dan Gohman46510a72010-04-15 01:51:59 +0000305 const_cast<GlobalValue *>(GV), ACPV,
306 MayNeedFarStub);
Evan Cheng08669742009-09-10 01:23:53 +0000307 MCE.addRelocation(MR);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000308}
309
310/// emitExternalSymbolAddress - Arrange for the address of an external symbol to
311/// be emitted to the current location in the function, and allow it to be PC
312/// relative.
Chris Lattner33fabd72010-02-02 21:48:51 +0000313void ARMCodeEmitter::emitExternalSymbolAddress(const char *ES, unsigned Reloc) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000314 MCE.addRelocation(MachineRelocation::getExtSym(MCE.getCurrentPCOffset(),
315 Reloc, ES));
316}
317
318/// emitConstPoolAddress - Arrange for the address of an constant pool
319/// to be emitted to the current location in the function, and allow it to be PC
320/// relative.
Chris Lattner33fabd72010-02-02 21:48:51 +0000321void ARMCodeEmitter::emitConstPoolAddress(unsigned CPI, unsigned Reloc) {
Evan Cheng0f282432008-10-29 23:55:43 +0000322 // Tell JIT emitter we'll resolve the address.
Evan Cheng0ff94f72007-08-07 01:37:15 +0000323 MCE.addRelocation(MachineRelocation::getConstPool(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000324 Reloc, CPI, 0, true));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000325}
326
327/// emitJumpTableAddress - Arrange for the address of a jump table to
328/// be emitted to the current location in the function, and allow it to be PC
329/// relative.
Chris Lattner33fabd72010-02-02 21:48:51 +0000330void ARMCodeEmitter::emitJumpTableAddress(unsigned JTIndex, unsigned Reloc) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000331 MCE.addRelocation(MachineRelocation::getJumpTable(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000332 Reloc, JTIndex, 0, true));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000333}
334
Raul Herbster9c1a3822007-08-30 23:29:26 +0000335/// emitMachineBasicBlock - Emit the specified address basic block.
Chris Lattner33fabd72010-02-02 21:48:51 +0000336void ARMCodeEmitter::emitMachineBasicBlock(MachineBasicBlock *BB,
337 unsigned Reloc, intptr_t JTBase) {
Raul Herbster9c1a3822007-08-30 23:29:26 +0000338 MCE.addRelocation(MachineRelocation::getBB(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000339 Reloc, BB, JTBase));
Raul Herbster9c1a3822007-08-30 23:29:26 +0000340}
Evan Cheng0ff94f72007-08-07 01:37:15 +0000341
Chris Lattner33fabd72010-02-02 21:48:51 +0000342void ARMCodeEmitter::emitWordLE(unsigned Binary) {
Chris Lattner893e1c92009-08-23 06:49:22 +0000343 DEBUG(errs() << " 0x";
344 errs().write_hex(Binary) << "\n");
Evan Cheng83b5cf02008-11-05 23:22:34 +0000345 MCE.emitWordLE(Binary);
346}
347
Chris Lattner33fabd72010-02-02 21:48:51 +0000348void ARMCodeEmitter::emitDWordLE(uint64_t Binary) {
Chris Lattner893e1c92009-08-23 06:49:22 +0000349 DEBUG(errs() << " 0x";
350 errs().write_hex(Binary) << "\n");
Evan Chengcb5201f2008-11-11 22:19:31 +0000351 MCE.emitDWordLE(Binary);
352}
353
Chris Lattner33fabd72010-02-02 21:48:51 +0000354void ARMCodeEmitter::emitInstruction(const MachineInstr &MI) {
Chris Lattner705e07f2009-08-23 03:41:05 +0000355 DEBUG(errs() << "JIT: " << (void*)MCE.getCurrentPCValue() << ":\t" << MI);
Evan Cheng42d5ee062008-09-13 01:15:21 +0000356
Devang Patelaf0e2722009-10-06 02:19:11 +0000357 MCE.processDebugLoc(MI.getDebugLoc(), true);
Jeffrey Yasskin75402822009-07-17 18:49:39 +0000358
Dan Gohmanfe601042010-06-22 15:08:57 +0000359 ++NumEmitted; // Keep track of the # of mi's emitted
Evan Chengedda31c2008-11-05 18:35:52 +0000360 switch (MI.getDesc().TSFlags & ARMII::FormMask) {
Evan Chengffa6d962008-11-13 23:36:57 +0000361 default: {
Torok Edwinc23197a2009-07-14 16:55:14 +0000362 llvm_unreachable("Unhandled instruction encoding format!");
Evan Chengedda31c2008-11-05 18:35:52 +0000363 break;
Evan Chengffa6d962008-11-13 23:36:57 +0000364 }
Evan Chengedda31c2008-11-05 18:35:52 +0000365 case ARMII::Pseudo:
Evan Cheng057d0c32008-09-18 07:28:19 +0000366 emitPseudoInstruction(MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000367 break;
368 case ARMII::DPFrm:
369 case ARMII::DPSoRegFrm:
370 emitDataProcessingInstruction(MI);
371 break;
Evan Cheng148cad82008-11-13 07:34:59 +0000372 case ARMII::LdFrm:
373 case ARMII::StFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000374 emitLoadStoreInstruction(MI);
375 break;
Evan Cheng148cad82008-11-13 07:34:59 +0000376 case ARMII::LdMiscFrm:
377 case ARMII::StMiscFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000378 emitMiscLoadStoreInstruction(MI);
379 break;
Evan Cheng3c4a4ff2008-11-12 07:18:38 +0000380 case ARMII::LdStMulFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000381 emitLoadStoreMultipleInstruction(MI);
382 break;
Evan Chengfbc9d412008-11-06 01:21:28 +0000383 case ARMII::MulFrm:
384 emitMulFrmInstruction(MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000385 break;
Evan Cheng97f48c32008-11-06 22:15:19 +0000386 case ARMII::ExtFrm:
387 emitExtendInstruction(MI);
388 break;
Evan Cheng8b59db32008-11-07 01:41:35 +0000389 case ARMII::ArithMiscFrm:
390 emitMiscArithInstruction(MI);
391 break;
Evan Cheng12c3a532008-11-06 17:48:05 +0000392 case ARMII::BrFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000393 emitBranchInstruction(MI);
394 break;
Evan Cheng12c3a532008-11-06 17:48:05 +0000395 case ARMII::BrMiscFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000396 emitMiscBranchInstruction(MI);
397 break;
Evan Cheng96581d32008-11-11 02:11:05 +0000398 // VFP instructions.
399 case ARMII::VFPUnaryFrm:
400 case ARMII::VFPBinaryFrm:
401 emitVFPArithInstruction(MI);
402 break;
Evan Cheng78be83d2008-11-11 19:40:26 +0000403 case ARMII::VFPConv1Frm:
404 case ARMII::VFPConv2Frm:
Evan Cheng0a0ab132008-11-11 22:46:12 +0000405 case ARMII::VFPConv3Frm:
Evan Cheng80a11982008-11-12 06:41:41 +0000406 case ARMII::VFPConv4Frm:
407 case ARMII::VFPConv5Frm:
Evan Cheng78be83d2008-11-11 19:40:26 +0000408 emitVFPConversionInstruction(MI);
409 break;
Evan Chengcd8e66a2008-11-11 21:48:44 +0000410 case ARMII::VFPLdStFrm:
411 emitVFPLoadStoreInstruction(MI);
412 break;
413 case ARMII::VFPLdStMulFrm:
414 emitVFPLoadStoreMultipleInstruction(MI);
415 break;
416 case ARMII::VFPMiscFrm:
417 emitMiscInstruction(MI);
418 break;
Bob Wilson1a913ed2010-06-11 21:34:50 +0000419 // NEON instructions.
Bob Wilson52e4a0a2010-06-26 04:07:15 +0000420 case ARMII::NGetLnFrm:
Bob Wilsond5a563d2010-06-29 17:34:07 +0000421 case ARMII::NSetLnFrm:
422 emitNEONLaneInstruction(MI);
Bob Wilson52e4a0a2010-06-26 04:07:15 +0000423 break;
Bob Wilson21773e72010-06-29 20:13:29 +0000424 case ARMII::NDupFrm:
425 emitNEONDupInstruction(MI);
426 break;
Bob Wilson1a913ed2010-06-11 21:34:50 +0000427 case ARMII::N1RegModImmFrm:
Bob Wilson583a2a02010-06-25 21:17:19 +0000428 emitNEON1RegModImmInstruction(MI);
429 break;
430 case ARMII::N2RegFrm:
431 emitNEON2RegInstruction(MI);
Bob Wilson1a913ed2010-06-11 21:34:50 +0000432 break;
Bob Wilson5e7b6072010-06-25 22:40:46 +0000433 case ARMII::N3RegFrm:
434 emitNEON3RegInstruction(MI);
435 break;
Evan Chengedda31c2008-11-05 18:35:52 +0000436 }
Devang Patelaf0e2722009-10-06 02:19:11 +0000437 MCE.processDebugLoc(MI.getDebugLoc(), false);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000438}
439
Chris Lattner33fabd72010-02-02 21:48:51 +0000440void ARMCodeEmitter::emitConstPoolInstruction(const MachineInstr &MI) {
Evan Cheng437c1732008-11-07 22:30:53 +0000441 unsigned CPI = MI.getOperand(0).getImm(); // CP instruction index.
442 unsigned CPIndex = MI.getOperand(1).getIndex(); // Actual cp entry index.
Evan Cheng938b9d82008-10-31 19:55:13 +0000443 const MachineConstantPoolEntry &MCPE = (*MCPEs)[CPIndex];
Jim Grosbach764ab522009-08-11 15:33:49 +0000444
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000445 // Remember the CONSTPOOL_ENTRY address for later relocation.
446 JTI->addConstantPoolEntryAddr(CPI, MCE.getCurrentPCValue());
447
448 // Emit constpool island entry. In most cases, the actual values will be
449 // resolved and relocated after code emission.
450 if (MCPE.isMachineConstantPoolEntry()) {
451 ARMConstantPoolValue *ACPV =
452 static_cast<ARMConstantPoolValue*>(MCPE.Val.MachineCPVal);
453
Chris Lattner705e07f2009-08-23 03:41:05 +0000454 DEBUG(errs() << " ** ARM constant pool #" << CPI << " @ "
455 << (void*)MCE.getCurrentPCValue() << " " << *ACPV << '\n');
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000456
Bob Wilson28989a82009-11-02 16:59:06 +0000457 assert(ACPV->isGlobalValue() && "unsupported constant pool value");
Dan Gohman46510a72010-04-15 01:51:59 +0000458 const GlobalValue *GV = ACPV->getGV();
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000459 if (GV) {
Evan Cheng08669742009-09-10 01:23:53 +0000460 Reloc::Model RelocM = TM.getRelocationModel();
Evan Chenge4e4ed32009-08-28 23:18:09 +0000461 emitGlobalAddress(GV, ARM::reloc_arm_machine_cp_entry,
Evan Cheng08669742009-09-10 01:23:53 +0000462 isa<Function>(GV),
463 Subtarget->GVIsIndirectSymbol(GV, RelocM),
464 (intptr_t)ACPV);
Evan Cheng25e04782008-11-04 00:50:32 +0000465 } else {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000466 emitExternalSymbolAddress(ACPV->getSymbol(), ARM::reloc_arm_absolute);
467 }
Evan Cheng83b5cf02008-11-05 23:22:34 +0000468 emitWordLE(0);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000469 } else {
Dan Gohman46510a72010-04-15 01:51:59 +0000470 const Constant *CV = MCPE.Val.ConstVal;
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000471
Daniel Dunbarce63ffb2009-07-25 00:23:56 +0000472 DEBUG({
473 errs() << " ** Constant pool #" << CPI << " @ "
474 << (void*)MCE.getCurrentPCValue() << " ";
475 if (const Function *F = dyn_cast<Function>(CV))
476 errs() << F->getName();
477 else
478 errs() << *CV;
479 errs() << '\n';
480 });
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000481
Dan Gohman46510a72010-04-15 01:51:59 +0000482 if (const GlobalValue *GV = dyn_cast<GlobalValue>(CV)) {
Evan Cheng08669742009-09-10 01:23:53 +0000483 emitGlobalAddress(GV, ARM::reloc_arm_absolute, isa<Function>(GV), false);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000484 emitWordLE(0);
Evan Chengcb5201f2008-11-11 22:19:31 +0000485 } else if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000486 uint32_t Val = *(uint32_t*)CI->getValue().getRawData();
Evan Cheng83b5cf02008-11-05 23:22:34 +0000487 emitWordLE(Val);
Evan Chengcb5201f2008-11-11 22:19:31 +0000488 } else if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV)) {
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000489 if (CFP->getType()->isFloatTy())
Evan Chengcb5201f2008-11-11 22:19:31 +0000490 emitWordLE(CFP->getValueAPF().bitcastToAPInt().getZExtValue());
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000491 else if (CFP->getType()->isDoubleTy())
Evan Chengcb5201f2008-11-11 22:19:31 +0000492 emitDWordLE(CFP->getValueAPF().bitcastToAPInt().getZExtValue());
493 else {
Torok Edwinc23197a2009-07-14 16:55:14 +0000494 llvm_unreachable("Unable to handle this constantpool entry!");
Evan Chengcb5201f2008-11-11 22:19:31 +0000495 }
496 } else {
Torok Edwinc23197a2009-07-14 16:55:14 +0000497 llvm_unreachable("Unable to handle this constantpool entry!");
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000498 }
499 }
500}
501
Zonr Changf86399b2010-05-25 08:42:45 +0000502void ARMCodeEmitter::emitMOVi32immInstruction(const MachineInstr &MI) {
503 const MachineOperand &MO0 = MI.getOperand(0);
504 const MachineOperand &MO1 = MI.getOperand(1);
505
506 // Emit the 'movw' instruction.
507 unsigned Binary = 0x30 << 20; // mov: Insts{27-20} = 0b00110000
508
509 unsigned Lo16 = getMovi32Value(MI, MO1, ARM::reloc_arm_movw) & 0xFFFF;
510
511 // Set the conditional execution predicate.
512 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
513
514 // Encode Rd.
515 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
516
517 // Encode imm16 as imm4:imm12
518 Binary |= Lo16 & 0xFFF; // Insts{11-0} = imm12
519 Binary |= ((Lo16 >> 12) & 0xF) << 16; // Insts{19-16} = imm4
520 emitWordLE(Binary);
521
522 unsigned Hi16 = getMovi32Value(MI, MO1, ARM::reloc_arm_movt) >> 16;
523 // Emit the 'movt' instruction.
524 Binary = 0x34 << 20; // movt: Insts{27-20} = 0b00110100
525
526 // Set the conditional execution predicate.
527 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
528
529 // Encode Rd.
530 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
531
532 // Encode imm16 as imm4:imm1, same as movw above.
533 Binary |= Hi16 & 0xFFF;
534 Binary |= ((Hi16 >> 12) & 0xF) << 16;
535 emitWordLE(Binary);
536}
537
Chris Lattner33fabd72010-02-02 21:48:51 +0000538void ARMCodeEmitter::emitMOVi2piecesInstruction(const MachineInstr &MI) {
Evan Cheng90922132008-11-06 02:25:39 +0000539 const MachineOperand &MO0 = MI.getOperand(0);
540 const MachineOperand &MO1 = MI.getOperand(1);
Bob Wilson5265a122010-03-11 00:46:22 +0000541 assert(MO1.isImm() && ARM_AM::isSOImmTwoPartVal(MO1.getImm()) &&
542 "Not a valid so_imm value!");
Evan Cheng90922132008-11-06 02:25:39 +0000543 unsigned V1 = ARM_AM::getSOImmTwoPartFirst(MO1.getImm());
544 unsigned V2 = ARM_AM::getSOImmTwoPartSecond(MO1.getImm());
545
546 // Emit the 'mov' instruction.
547 unsigned Binary = 0xd << 21; // mov: Insts{24-21} = 0b1101
548
549 // Set the conditional execution predicate.
Evan Cheng97f48c32008-11-06 22:15:19 +0000550 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng90922132008-11-06 02:25:39 +0000551
552 // Encode Rd.
553 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
554
555 // Encode so_imm.
556 // Set bit I(25) to identify this is the immediate form of <shifter_op>
557 Binary |= 1 << ARMII::I_BitShift;
Evan Chenge7cbe412009-07-08 21:03:57 +0000558 Binary |= getMachineSoImmOpValue(V1);
Evan Cheng90922132008-11-06 02:25:39 +0000559 emitWordLE(Binary);
560
561 // Now the 'orr' instruction.
562 Binary = 0xc << 21; // orr: Insts{24-21} = 0b1100
563
564 // Set the conditional execution predicate.
Evan Cheng97f48c32008-11-06 22:15:19 +0000565 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng90922132008-11-06 02:25:39 +0000566
567 // Encode Rd.
568 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
569
570 // Encode Rn.
571 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRnShift;
572
573 // Encode so_imm.
574 // Set bit I(25) to identify this is the immediate form of <shifter_op>
575 Binary |= 1 << ARMII::I_BitShift;
Evan Chenge7cbe412009-07-08 21:03:57 +0000576 Binary |= getMachineSoImmOpValue(V2);
Evan Cheng90922132008-11-06 02:25:39 +0000577 emitWordLE(Binary);
578}
579
Chris Lattner33fabd72010-02-02 21:48:51 +0000580void ARMCodeEmitter::emitLEApcrelJTInstruction(const MachineInstr &MI) {
Evan Cheng4df60f52008-11-07 09:06:08 +0000581 // It's basically add r, pc, (LJTI - $+8)
Jim Grosbach764ab522009-08-11 15:33:49 +0000582
Evan Cheng4df60f52008-11-07 09:06:08 +0000583 const TargetInstrDesc &TID = MI.getDesc();
584
585 // Emit the 'add' instruction.
586 unsigned Binary = 0x4 << 21; // add: Insts{24-31} = 0b0100
587
588 // Set the conditional execution predicate
589 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
590
591 // Encode S bit if MI modifies CPSR.
592 Binary |= getAddrModeSBit(MI, TID);
593
594 // Encode Rd.
595 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
596
597 // Encode Rn which is PC.
598 Binary |= ARMRegisterInfo::getRegisterNumbering(ARM::PC) << ARMII::RegRnShift;
599
600 // Encode the displacement.
Evan Cheng4df60f52008-11-07 09:06:08 +0000601 Binary |= 1 << ARMII::I_BitShift;
602 emitJumpTableAddress(MI.getOperand(1).getIndex(), ARM::reloc_arm_jt_base);
603
604 emitWordLE(Binary);
605}
606
Chris Lattner33fabd72010-02-02 21:48:51 +0000607void ARMCodeEmitter::emitPseudoMoveInstruction(const MachineInstr &MI) {
Evan Chenga9562552008-11-14 20:09:11 +0000608 unsigned Opcode = MI.getDesc().Opcode;
609
610 // Part of binary is determined by TableGn.
611 unsigned Binary = getBinaryCodeForInstr(MI);
612
613 // Set the conditional execution predicate
614 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
615
616 // Encode S bit if MI modifies CPSR.
617 if (Opcode == ARM::MOVsrl_flag || Opcode == ARM::MOVsra_flag)
618 Binary |= 1 << ARMII::S_BitShift;
619
620 // Encode register def if there is one.
621 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
622
623 // Encode the shift operation.
624 switch (Opcode) {
625 default: break;
626 case ARM::MOVrx:
627 // rrx
628 Binary |= 0x6 << 4;
629 break;
630 case ARM::MOVsrl_flag:
631 // lsr #1
632 Binary |= (0x2 << 4) | (1 << 7);
633 break;
634 case ARM::MOVsra_flag:
635 // asr #1
636 Binary |= (0x4 << 4) | (1 << 7);
637 break;
638 }
639
640 // Encode register Rm.
641 Binary |= getMachineOpValue(MI, 1);
642
643 emitWordLE(Binary);
644}
645
Chris Lattner33fabd72010-02-02 21:48:51 +0000646void ARMCodeEmitter::addPCLabel(unsigned LabelID) {
Chris Lattner893e1c92009-08-23 06:49:22 +0000647 DEBUG(errs() << " ** LPC" << LabelID << " @ "
648 << (void*)MCE.getCurrentPCValue() << '\n');
Evan Cheng83b5cf02008-11-05 23:22:34 +0000649 JTI->addPCLabelAddr(LabelID, MCE.getCurrentPCValue());
650}
651
Chris Lattner33fabd72010-02-02 21:48:51 +0000652void ARMCodeEmitter::emitPseudoInstruction(const MachineInstr &MI) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000653 unsigned Opcode = MI.getDesc().Opcode;
654 switch (Opcode) {
655 default:
Evan Cheng5adb66a2009-09-28 09:14:39 +0000656 llvm_unreachable("ARMCodeEmitter::emitPseudoInstruction");
Chris Lattner518bb532010-02-09 19:54:29 +0000657 case TargetOpcode::INLINEASM: {
Evan Chenge3066ab2008-11-19 23:21:33 +0000658 // We allow inline assembler nodes with empty bodies - they can
659 // implicitly define registers, which is ok for JIT.
660 if (MI.getOperand(0).getSymbolName()[0]) {
Chris Lattner75361b62010-04-07 22:58:41 +0000661 report_fatal_error("JIT does not support inline asm!");
Evan Chenge3066ab2008-11-19 23:21:33 +0000662 }
Evan Chengffa6d962008-11-13 23:36:57 +0000663 break;
664 }
Chris Lattner518bb532010-02-09 19:54:29 +0000665 case TargetOpcode::DBG_LABEL:
Chris Lattner7561d482010-03-14 02:33:54 +0000666 case TargetOpcode::EH_LABEL:
667 MCE.emitLabel(MI.getOperand(0).getMCSymbol());
668 break;
Chris Lattner518bb532010-02-09 19:54:29 +0000669 case TargetOpcode::IMPLICIT_DEF:
670 case TargetOpcode::KILL:
Evan Chengffa6d962008-11-13 23:36:57 +0000671 // Do nothing.
672 break;
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000673 case ARM::CONSTPOOL_ENTRY:
674 emitConstPoolInstruction(MI);
675 break;
676 case ARM::PICADD: {
Evan Cheng25e04782008-11-04 00:50:32 +0000677 // Remember of the address of the PC label for relocation later.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000678 addPCLabel(MI.getOperand(2).getImm());
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000679 // PICADD is just an add instruction that implicitly read pc.
Evan Cheng437c1732008-11-07 22:30:53 +0000680 emitDataProcessingInstruction(MI, 0, ARM::PC);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000681 break;
682 }
683 case ARM::PICLDR:
684 case ARM::PICLDRB:
685 case ARM::PICSTR:
686 case ARM::PICSTRB: {
687 // Remember of the address of the PC label for relocation later.
688 addPCLabel(MI.getOperand(2).getImm());
689 // These are just load / store instructions that implicitly read pc.
Evan Cheng4df60f52008-11-07 09:06:08 +0000690 emitLoadStoreInstruction(MI, 0, ARM::PC);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000691 break;
692 }
693 case ARM::PICLDRH:
694 case ARM::PICLDRSH:
695 case ARM::PICLDRSB:
696 case ARM::PICSTRH: {
697 // Remember of the address of the PC label for relocation later.
698 addPCLabel(MI.getOperand(2).getImm());
699 // These are just load / store instructions that implicitly read pc.
700 emitMiscLoadStoreInstruction(MI, ARM::PC);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000701 break;
702 }
Zonr Changf86399b2010-05-25 08:42:45 +0000703
704 case ARM::MOVi32imm:
705 emitMOVi32immInstruction(MI);
706 break;
707
Evan Cheng90922132008-11-06 02:25:39 +0000708 case ARM::MOVi2pieces:
709 // Two instructions to materialize a constant.
710 emitMOVi2piecesInstruction(MI);
711 break;
Evan Cheng4df60f52008-11-07 09:06:08 +0000712 case ARM::LEApcrelJT:
713 // Materialize jumptable address.
714 emitLEApcrelJTInstruction(MI);
715 break;
Evan Chenga9562552008-11-14 20:09:11 +0000716 case ARM::MOVrx:
717 case ARM::MOVsrl_flag:
718 case ARM::MOVsra_flag:
719 emitPseudoMoveInstruction(MI);
720 break;
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000721 }
722}
723
Bob Wilson87949d42010-03-17 21:16:45 +0000724unsigned ARMCodeEmitter::getMachineSoRegOpValue(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +0000725 const TargetInstrDesc &TID,
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000726 const MachineOperand &MO,
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000727 unsigned OpIdx) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000728 unsigned Binary = getMachineOpValue(MI, MO);
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000729
730 const MachineOperand &MO1 = MI.getOperand(OpIdx + 1);
731 const MachineOperand &MO2 = MI.getOperand(OpIdx + 2);
732 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO2.getImm());
733
734 // Encode the shift opcode.
735 unsigned SBits = 0;
736 unsigned Rs = MO1.getReg();
737 if (Rs) {
738 // Set shift operand (bit[7:4]).
739 // LSL - 0001
740 // LSR - 0011
741 // ASR - 0101
742 // ROR - 0111
743 // RRX - 0110 and bit[11:8] clear.
744 switch (SOpc) {
Torok Edwinc23197a2009-07-14 16:55:14 +0000745 default: llvm_unreachable("Unknown shift opc!");
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000746 case ARM_AM::lsl: SBits = 0x1; break;
747 case ARM_AM::lsr: SBits = 0x3; break;
748 case ARM_AM::asr: SBits = 0x5; break;
749 case ARM_AM::ror: SBits = 0x7; break;
750 case ARM_AM::rrx: SBits = 0x6; break;
751 }
752 } else {
753 // Set shift operand (bit[6:4]).
754 // LSL - 000
755 // LSR - 010
756 // ASR - 100
757 // ROR - 110
758 switch (SOpc) {
Torok Edwinc23197a2009-07-14 16:55:14 +0000759 default: llvm_unreachable("Unknown shift opc!");
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000760 case ARM_AM::lsl: SBits = 0x0; break;
761 case ARM_AM::lsr: SBits = 0x2; break;
762 case ARM_AM::asr: SBits = 0x4; break;
763 case ARM_AM::ror: SBits = 0x6; break;
764 }
765 }
766 Binary |= SBits << 4;
767 if (SOpc == ARM_AM::rrx)
768 return Binary;
769
770 // Encode the shift operation Rs or shift_imm (except rrx).
771 if (Rs) {
772 // Encode Rs bit[11:8].
773 assert(ARM_AM::getSORegOffset(MO2.getImm()) == 0);
774 return Binary |
775 (ARMRegisterInfo::getRegisterNumbering(Rs) << ARMII::RegRsShift);
776 }
777
778 // Encode shift_imm bit[11:7].
779 return Binary | ARM_AM::getSORegOffset(MO2.getImm()) << 7;
780}
781
Chris Lattner33fabd72010-02-02 21:48:51 +0000782unsigned ARMCodeEmitter::getMachineSoImmOpValue(unsigned SoImm) {
Evan Chenge7cbe412009-07-08 21:03:57 +0000783 int SoImmVal = ARM_AM::getSOImmVal(SoImm);
784 assert(SoImmVal != -1 && "Not a valid so_imm value!");
785
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000786 // Encode rotate_imm.
Evan Chenge7cbe412009-07-08 21:03:57 +0000787 unsigned Binary = (ARM_AM::getSOImmValRot((unsigned)SoImmVal) >> 1)
Evan Cheng97f48c32008-11-06 22:15:19 +0000788 << ARMII::SoRotImmShift;
789
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000790 // Encode immed_8.
Evan Chenge7cbe412009-07-08 21:03:57 +0000791 Binary |= ARM_AM::getSOImmValImm((unsigned)SoImmVal);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000792 return Binary;
793}
794
Chris Lattner33fabd72010-02-02 21:48:51 +0000795unsigned ARMCodeEmitter::getAddrModeSBit(const MachineInstr &MI,
Bob Wilson87949d42010-03-17 21:16:45 +0000796 const TargetInstrDesc &TID) const {
Evan Cheng97c573d2008-11-20 02:25:51 +0000797 for (unsigned i = MI.getNumOperands(), e = TID.getNumOperands(); i != e; --i){
Evan Cheng49a9f292008-09-12 22:45:55 +0000798 const MachineOperand &MO = MI.getOperand(i-1);
Dan Gohmand735b802008-10-03 15:45:36 +0000799 if (MO.isReg() && MO.isDef() && MO.getReg() == ARM::CPSR)
Evan Cheng49a9f292008-09-12 22:45:55 +0000800 return 1 << ARMII::S_BitShift;
801 }
802 return 0;
803}
804
Bob Wilson87949d42010-03-17 21:16:45 +0000805void ARMCodeEmitter::emitDataProcessingInstruction(const MachineInstr &MI,
Evan Cheng437c1732008-11-07 22:30:53 +0000806 unsigned ImplicitRd,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000807 unsigned ImplicitRn) {
Evan Chengedda31c2008-11-05 18:35:52 +0000808 const TargetInstrDesc &TID = MI.getDesc();
Evan Chengedda31c2008-11-05 18:35:52 +0000809
810 // Part of binary is determined by TableGn.
811 unsigned Binary = getBinaryCodeForInstr(MI);
812
Jim Grosbach33412622008-10-07 19:05:35 +0000813 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000814 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000815
Evan Cheng49a9f292008-09-12 22:45:55 +0000816 // Encode S bit if MI modifies CPSR.
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000817 Binary |= getAddrModeSBit(MI, TID);
Evan Cheng49a9f292008-09-12 22:45:55 +0000818
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000819 // Encode register def if there is one.
Evan Cheng49a9f292008-09-12 22:45:55 +0000820 unsigned NumDefs = TID.getNumDefs();
Evan Chenga964b7d2008-09-12 23:15:39 +0000821 unsigned OpIdx = 0;
Evan Cheng437c1732008-11-07 22:30:53 +0000822 if (NumDefs)
823 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
824 else if (ImplicitRd)
825 // Special handling for implicit use (e.g. PC).
826 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRd)
827 << ARMII::RegRdShift);
Evan Cheng7602e112008-09-02 06:52:38 +0000828
Zonr Changf86399b2010-05-25 08:42:45 +0000829 if (TID.Opcode == ARM::MOVi16) {
830 // Get immediate from MI.
831 unsigned Lo16 = getMovi32Value(MI, MI.getOperand(OpIdx),
832 ARM::reloc_arm_movw);
833 // Encode imm which is the same as in emitMOVi32immInstruction().
834 Binary |= Lo16 & 0xFFF;
835 Binary |= ((Lo16 >> 12) & 0xF) << 16;
836 emitWordLE(Binary);
837 return;
838 } else if(TID.Opcode == ARM::MOVTi16) {
839 unsigned Hi16 = (getMovi32Value(MI, MI.getOperand(OpIdx),
840 ARM::reloc_arm_movt) >> 16);
841 Binary |= Hi16 & 0xFFF;
842 Binary |= ((Hi16 >> 12) & 0xF) << 16;
843 emitWordLE(Binary);
844 return;
Shih-wei Liao9f3b6a32010-05-26 04:46:50 +0000845 } else if ((TID.Opcode == ARM::BFC) || (TID.Opcode == ARM::BFI)) {
Shih-wei Liao6d37a292010-05-26 00:25:05 +0000846 uint32_t v = ~MI.getOperand(2).getImm();
847 int32_t lsb = CountTrailingZeros_32(v);
848 int32_t msb = (32 - CountLeadingZeros_32(v)) - 1;
Shih-wei Liao45469f32010-05-26 03:21:39 +0000849 // Instr{20-16} = msb, Instr{11-7} = lsb
Shih-wei Liao6d37a292010-05-26 00:25:05 +0000850 Binary |= (msb & 0x1F) << 16;
851 Binary |= (lsb & 0x1F) << 7;
852 emitWordLE(Binary);
853 return;
Shih-wei Liao45469f32010-05-26 03:21:39 +0000854 } else if ((TID.Opcode == ARM::UBFX) || (TID.Opcode == ARM::SBFX)) {
855 // Encode Rn in Instr{0-3}
856 Binary |= getMachineOpValue(MI, OpIdx++);
857
858 uint32_t lsb = MI.getOperand(OpIdx++).getImm();
859 uint32_t widthm1 = MI.getOperand(OpIdx++).getImm() - 1;
860
861 // Instr{20-16} = widthm1, Instr{11-7} = lsb
862 Binary |= (widthm1 & 0x1F) << 16;
863 Binary |= (lsb & 0x1F) << 7;
864 emitWordLE(Binary);
865 return;
Zonr Changf86399b2010-05-25 08:42:45 +0000866 }
867
Evan Chengd87293c2008-11-06 08:47:38 +0000868 // If this is a two-address operand, skip it. e.g. MOVCCr operand 1.
869 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
870 ++OpIdx;
871
Jim Grosbachefd30ba2008-10-01 18:16:49 +0000872 // Encode first non-shifter register operand if there is one.
Evan Chengedda31c2008-11-05 18:35:52 +0000873 bool isUnary = TID.TSFlags & ARMII::UnaryDP;
874 if (!isUnary) {
Evan Cheng83b5cf02008-11-05 23:22:34 +0000875 if (ImplicitRn)
876 // Special handling for implicit use (e.g. PC).
877 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
Evan Chengedda31c2008-11-05 18:35:52 +0000878 << ARMII::RegRnShift);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000879 else {
880 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRnShift;
881 ++OpIdx;
882 }
Evan Cheng7602e112008-09-02 06:52:38 +0000883 }
884
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000885 // Encode shifter operand.
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000886 const MachineOperand &MO = MI.getOperand(OpIdx);
Evan Chengedda31c2008-11-05 18:35:52 +0000887 if ((TID.TSFlags & ARMII::FormMask) == ARMII::DPSoRegFrm) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000888 // Encode SoReg.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000889 emitWordLE(Binary | getMachineSoRegOpValue(MI, TID, MO, OpIdx));
Evan Chengedda31c2008-11-05 18:35:52 +0000890 return;
891 }
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000892
Evan Chengedda31c2008-11-05 18:35:52 +0000893 if (MO.isReg()) {
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000894 // Encode register Rm.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000895 emitWordLE(Binary | ARMRegisterInfo::getRegisterNumbering(MO.getReg()));
Evan Chengedda31c2008-11-05 18:35:52 +0000896 return;
897 }
Evan Cheng7602e112008-09-02 06:52:38 +0000898
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000899 // Encode so_imm.
Evan Chenge7cbe412009-07-08 21:03:57 +0000900 Binary |= getMachineSoImmOpValue((unsigned)MO.getImm());
Evan Chengedda31c2008-11-05 18:35:52 +0000901
Evan Cheng83b5cf02008-11-05 23:22:34 +0000902 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000903}
904
Bob Wilson87949d42010-03-17 21:16:45 +0000905void ARMCodeEmitter::emitLoadStoreInstruction(const MachineInstr &MI,
Evan Cheng4df60f52008-11-07 09:06:08 +0000906 unsigned ImplicitRd,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000907 unsigned ImplicitRn) {
Evan Cheng05c356e2008-11-08 01:44:13 +0000908 const TargetInstrDesc &TID = MI.getDesc();
Evan Cheng148cad82008-11-13 07:34:59 +0000909 unsigned Form = TID.TSFlags & ARMII::FormMask;
910 bool IsPrePost = (TID.TSFlags & ARMII::IndexModeMask) != 0;
Evan Cheng05c356e2008-11-08 01:44:13 +0000911
Evan Chengedda31c2008-11-05 18:35:52 +0000912 // Part of binary is determined by TableGn.
913 unsigned Binary = getBinaryCodeForInstr(MI);
914
Jim Grosbach33412622008-10-07 19:05:35 +0000915 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000916 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng057d0c32008-09-18 07:28:19 +0000917
Evan Cheng4df60f52008-11-07 09:06:08 +0000918 unsigned OpIdx = 0;
Evan Cheng148cad82008-11-13 07:34:59 +0000919
920 // Operand 0 of a pre- and post-indexed store is the address base
921 // writeback. Skip it.
922 bool Skipped = false;
923 if (IsPrePost && Form == ARMII::StFrm) {
924 ++OpIdx;
925 Skipped = true;
926 }
927
928 // Set first operand
Evan Cheng4df60f52008-11-07 09:06:08 +0000929 if (ImplicitRd)
930 // Special handling for implicit use (e.g. PC).
931 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRd)
932 << ARMII::RegRdShift);
933 else
934 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000935
936 // Set second operand
Evan Cheng83b5cf02008-11-05 23:22:34 +0000937 if (ImplicitRn)
938 // Special handling for implicit use (e.g. PC).
939 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
940 << ARMII::RegRnShift);
Evan Cheng4df60f52008-11-07 09:06:08 +0000941 else
942 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000943
Evan Cheng05c356e2008-11-08 01:44:13 +0000944 // If this is a two-address operand, skip it. e.g. LDR_PRE.
Evan Cheng148cad82008-11-13 07:34:59 +0000945 if (!Skipped && TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
Evan Cheng05c356e2008-11-08 01:44:13 +0000946 ++OpIdx;
947
Evan Cheng83b5cf02008-11-05 23:22:34 +0000948 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Chengd87293c2008-11-06 08:47:38 +0000949 unsigned AM2Opc = (ImplicitRn == ARM::PC)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000950 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Cheng7602e112008-09-02 06:52:38 +0000951
Evan Chenge7de7e32008-09-13 01:44:01 +0000952 // Set bit U(23) according to sign of immed value (positive or negative).
Evan Cheng83b5cf02008-11-05 23:22:34 +0000953 Binary |= ((ARM_AM::getAM2Op(AM2Opc) == ARM_AM::add ? 1 : 0) <<
Evan Chenge7de7e32008-09-13 01:44:01 +0000954 ARMII::U_BitShift);
Evan Cheng7602e112008-09-02 06:52:38 +0000955 if (!MO2.getReg()) { // is immediate
Evan Cheng83b5cf02008-11-05 23:22:34 +0000956 if (ARM_AM::getAM2Offset(AM2Opc))
Evan Cheng7602e112008-09-02 06:52:38 +0000957 // Set the value of offset_12 field
Evan Cheng83b5cf02008-11-05 23:22:34 +0000958 Binary |= ARM_AM::getAM2Offset(AM2Opc);
959 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +0000960 return;
Evan Cheng7602e112008-09-02 06:52:38 +0000961 }
962
963 // Set bit I(25), because this is not in immediate enconding.
964 Binary |= 1 << ARMII::I_BitShift;
965 assert(TargetRegisterInfo::isPhysicalRegister(MO2.getReg()));
966 // Set bit[3:0] to the corresponding Rm register
967 Binary |= ARMRegisterInfo::getRegisterNumbering(MO2.getReg());
968
Evan Cheng70632912008-11-12 07:34:37 +0000969 // If this instr is in scaled register offset/index instruction, set
Evan Cheng7602e112008-09-02 06:52:38 +0000970 // shift_immed(bit[11:7]) and shift(bit[6:5]) fields.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000971 if (unsigned ShImm = ARM_AM::getAM2Offset(AM2Opc)) {
Evan Cheng70632912008-11-12 07:34:37 +0000972 Binary |= getShiftOp(AM2Opc) << ARMII::ShiftImmShift; // shift
973 Binary |= ShImm << ARMII::ShiftShift; // shift_immed
Evan Cheng7602e112008-09-02 06:52:38 +0000974 }
975
Evan Cheng83b5cf02008-11-05 23:22:34 +0000976 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000977}
978
Chris Lattner33fabd72010-02-02 21:48:51 +0000979void ARMCodeEmitter::emitMiscLoadStoreInstruction(const MachineInstr &MI,
Bob Wilson87949d42010-03-17 21:16:45 +0000980 unsigned ImplicitRn) {
Evan Cheng05c356e2008-11-08 01:44:13 +0000981 const TargetInstrDesc &TID = MI.getDesc();
Evan Cheng148cad82008-11-13 07:34:59 +0000982 unsigned Form = TID.TSFlags & ARMII::FormMask;
983 bool IsPrePost = (TID.TSFlags & ARMII::IndexModeMask) != 0;
Evan Cheng05c356e2008-11-08 01:44:13 +0000984
Evan Chengedda31c2008-11-05 18:35:52 +0000985 // Part of binary is determined by TableGn.
986 unsigned Binary = getBinaryCodeForInstr(MI);
987
Jim Grosbach33412622008-10-07 19:05:35 +0000988 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000989 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng057d0c32008-09-18 07:28:19 +0000990
Evan Cheng148cad82008-11-13 07:34:59 +0000991 unsigned OpIdx = 0;
992
993 // Operand 0 of a pre- and post-indexed store is the address base
994 // writeback. Skip it.
995 bool Skipped = false;
996 if (IsPrePost && Form == ARMII::StMiscFrm) {
997 ++OpIdx;
998 Skipped = true;
999 }
1000
Evan Cheng7602e112008-09-02 06:52:38 +00001001 // Set first operand
Evan Cheng148cad82008-11-13 07:34:59 +00001002 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
Evan Cheng7602e112008-09-02 06:52:38 +00001003
Evan Cheng358dec52009-06-15 08:28:29 +00001004 // Skip LDRD and STRD's second operand.
1005 if (TID.Opcode == ARM::LDRD || TID.Opcode == ARM::STRD)
1006 ++OpIdx;
1007
Evan Cheng7602e112008-09-02 06:52:38 +00001008 // Set second operand
Evan Cheng83b5cf02008-11-05 23:22:34 +00001009 if (ImplicitRn)
1010 // Special handling for implicit use (e.g. PC).
1011 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
1012 << ARMII::RegRnShift);
Evan Cheng4df60f52008-11-07 09:06:08 +00001013 else
1014 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Cheng7602e112008-09-02 06:52:38 +00001015
Evan Cheng05c356e2008-11-08 01:44:13 +00001016 // If this is a two-address operand, skip it. e.g. LDRH_POST.
Evan Cheng148cad82008-11-13 07:34:59 +00001017 if (!Skipped && TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
Evan Cheng05c356e2008-11-08 01:44:13 +00001018 ++OpIdx;
1019
Evan Cheng83b5cf02008-11-05 23:22:34 +00001020 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Chengd87293c2008-11-06 08:47:38 +00001021 unsigned AM3Opc = (ImplicitRn == ARM::PC)
Evan Cheng83b5cf02008-11-05 23:22:34 +00001022 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Cheng7602e112008-09-02 06:52:38 +00001023
Evan Chenge7de7e32008-09-13 01:44:01 +00001024 // Set bit U(23) according to sign of immed value (positive or negative)
Evan Cheng83b5cf02008-11-05 23:22:34 +00001025 Binary |= ((ARM_AM::getAM3Op(AM3Opc) == ARM_AM::add ? 1 : 0) <<
Evan Cheng7602e112008-09-02 06:52:38 +00001026 ARMII::U_BitShift);
1027
1028 // If this instr is in register offset/index encoding, set bit[3:0]
1029 // to the corresponding Rm register.
1030 if (MO2.getReg()) {
1031 Binary |= ARMRegisterInfo::getRegisterNumbering(MO2.getReg());
Evan Cheng83b5cf02008-11-05 23:22:34 +00001032 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +00001033 return;
Evan Cheng7602e112008-09-02 06:52:38 +00001034 }
1035
Evan Chengd87293c2008-11-06 08:47:38 +00001036 // This instr is in immediate offset/index encoding, set bit 22 to 1.
Evan Cheng97f48c32008-11-06 22:15:19 +00001037 Binary |= 1 << ARMII::AM3_I_BitShift;
Evan Cheng83b5cf02008-11-05 23:22:34 +00001038 if (unsigned ImmOffs = ARM_AM::getAM3Offset(AM3Opc)) {
Evan Cheng7602e112008-09-02 06:52:38 +00001039 // Set operands
Evan Cheng70632912008-11-12 07:34:37 +00001040 Binary |= (ImmOffs >> 4) << ARMII::ImmHiShift; // immedH
1041 Binary |= (ImmOffs & 0xF); // immedL
Evan Cheng7602e112008-09-02 06:52:38 +00001042 }
1043
Evan Cheng83b5cf02008-11-05 23:22:34 +00001044 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +00001045}
1046
Evan Chengcd8e66a2008-11-11 21:48:44 +00001047static unsigned getAddrModeUPBits(unsigned Mode) {
1048 unsigned Binary = 0;
Evan Cheng7602e112008-09-02 06:52:38 +00001049
1050 // Set addressing mode by modifying bits U(23) and P(24)
1051 // IA - Increment after - bit U = 1 and bit P = 0
1052 // IB - Increment before - bit U = 1 and bit P = 1
1053 // DA - Decrement after - bit U = 0 and bit P = 0
1054 // DB - Decrement before - bit U = 0 and bit P = 1
Evan Cheng7602e112008-09-02 06:52:38 +00001055 switch (Mode) {
Torok Edwinc23197a2009-07-14 16:55:14 +00001056 default: llvm_unreachable("Unknown addressing sub-mode!");
Evan Cheng10bf7342009-09-09 23:55:03 +00001057 case ARM_AM::da: break;
Evan Cheng97f48c32008-11-06 22:15:19 +00001058 case ARM_AM::db: Binary |= 0x1 << ARMII::P_BitShift; break;
1059 case ARM_AM::ia: Binary |= 0x1 << ARMII::U_BitShift; break;
1060 case ARM_AM::ib: Binary |= 0x3 << ARMII::U_BitShift; break;
Evan Cheng7602e112008-09-02 06:52:38 +00001061 }
1062
Evan Chengcd8e66a2008-11-11 21:48:44 +00001063 return Binary;
1064}
1065
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001066void ARMCodeEmitter::emitLoadStoreMultipleInstruction(const MachineInstr &MI) {
1067 const TargetInstrDesc &TID = MI.getDesc();
1068 bool IsUpdating = (TID.TSFlags & ARMII::IndexModeMask) != 0;
1069
Evan Chengcd8e66a2008-11-11 21:48:44 +00001070 // Part of binary is determined by TableGn.
1071 unsigned Binary = getBinaryCodeForInstr(MI);
1072
1073 // Set the conditional execution predicate
1074 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1075
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001076 // Skip operand 0 of an instruction with base register update.
1077 unsigned OpIdx = 0;
1078 if (IsUpdating)
1079 ++OpIdx;
1080
Evan Chengcd8e66a2008-11-11 21:48:44 +00001081 // Set base address operand
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001082 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Chengcd8e66a2008-11-11 21:48:44 +00001083
1084 // Set addressing mode by modifying bits U(23) and P(24)
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001085 const MachineOperand &MO = MI.getOperand(OpIdx++);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001086 Binary |= getAddrModeUPBits(ARM_AM::getAM4SubMode(MO.getImm()));
1087
Evan Cheng7602e112008-09-02 06:52:38 +00001088 // Set bit W(21)
Bob Wilsonab346052010-03-16 17:46:45 +00001089 if (IsUpdating)
Evan Cheng97f48c32008-11-06 22:15:19 +00001090 Binary |= 0x1 << ARMII::W_BitShift;
Evan Cheng7602e112008-09-02 06:52:38 +00001091
1092 // Set registers
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001093 for (unsigned i = OpIdx+2, e = MI.getNumOperands(); i != e; ++i) {
Evan Cheng7602e112008-09-02 06:52:38 +00001094 const MachineOperand &MO = MI.getOperand(i);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001095 if (!MO.isReg() || MO.isImplicit())
1096 break;
Evan Cheng7602e112008-09-02 06:52:38 +00001097 unsigned RegNum = ARMRegisterInfo::getRegisterNumbering(MO.getReg());
1098 assert(TargetRegisterInfo::isPhysicalRegister(MO.getReg()) &&
1099 RegNum < 16);
1100 Binary |= 0x1 << RegNum;
1101 }
1102
Evan Cheng83b5cf02008-11-05 23:22:34 +00001103 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +00001104}
1105
Chris Lattner33fabd72010-02-02 21:48:51 +00001106void ARMCodeEmitter::emitMulFrmInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +00001107 const TargetInstrDesc &TID = MI.getDesc();
1108
1109 // Part of binary is determined by TableGn.
1110 unsigned Binary = getBinaryCodeForInstr(MI);
1111
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +00001112 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +00001113 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +00001114
1115 // Encode S bit if MI modifies CPSR.
1116 Binary |= getAddrModeSBit(MI, TID);
1117
1118 // 32x32->64bit operations have two destination registers. The number
1119 // of register definitions will tell us if that's what we're dealing with.
Evan Cheng97f48c32008-11-06 22:15:19 +00001120 unsigned OpIdx = 0;
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +00001121 if (TID.getNumDefs() == 2)
1122 Binary |= getMachineOpValue (MI, OpIdx++) << ARMII::RegRdLoShift;
1123
1124 // Encode Rd
1125 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdHiShift;
1126
1127 // Encode Rm
1128 Binary |= getMachineOpValue(MI, OpIdx++);
1129
1130 // Encode Rs
1131 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRsShift;
1132
Evan Chengfbc9d412008-11-06 01:21:28 +00001133 // Many multiple instructions (e.g. MLA) have three src operands. Encode
1134 // it as Rn (for multiply, that's in the same offset as RdLo.
Evan Cheng97f48c32008-11-06 22:15:19 +00001135 if (TID.getNumOperands() > OpIdx &&
1136 !TID.OpInfo[OpIdx].isPredicate() &&
1137 !TID.OpInfo[OpIdx].isOptionalDef())
1138 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRdLoShift;
1139
1140 emitWordLE(Binary);
1141}
1142
Chris Lattner33fabd72010-02-02 21:48:51 +00001143void ARMCodeEmitter::emitExtendInstruction(const MachineInstr &MI) {
Evan Cheng97f48c32008-11-06 22:15:19 +00001144 const TargetInstrDesc &TID = MI.getDesc();
1145
1146 // Part of binary is determined by TableGn.
1147 unsigned Binary = getBinaryCodeForInstr(MI);
1148
1149 // Set the conditional execution predicate
1150 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1151
1152 unsigned OpIdx = 0;
1153
1154 // Encode Rd
1155 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
1156
1157 const MachineOperand &MO1 = MI.getOperand(OpIdx++);
1158 const MachineOperand &MO2 = MI.getOperand(OpIdx);
1159 if (MO2.isReg()) {
1160 // Two register operand form.
1161 // Encode Rn.
1162 Binary |= getMachineOpValue(MI, MO1) << ARMII::RegRnShift;
1163
1164 // Encode Rm.
1165 Binary |= getMachineOpValue(MI, MO2);
1166 ++OpIdx;
1167 } else {
1168 Binary |= getMachineOpValue(MI, MO1);
1169 }
1170
1171 // Encode rot imm (0, 8, 16, or 24) if it has a rotate immediate operand.
1172 if (MI.getOperand(OpIdx).isImm() &&
1173 !TID.OpInfo[OpIdx].isPredicate() &&
1174 !TID.OpInfo[OpIdx].isOptionalDef())
1175 Binary |= (getMachineOpValue(MI, OpIdx) / 8) << ARMII::ExtRotImmShift;
Evan Chengfbc9d412008-11-06 01:21:28 +00001176
Evan Cheng83b5cf02008-11-05 23:22:34 +00001177 emitWordLE(Binary);
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +00001178}
1179
Chris Lattner33fabd72010-02-02 21:48:51 +00001180void ARMCodeEmitter::emitMiscArithInstruction(const MachineInstr &MI) {
Evan Cheng8b59db32008-11-07 01:41:35 +00001181 const TargetInstrDesc &TID = MI.getDesc();
1182
1183 // Part of binary is determined by TableGn.
1184 unsigned Binary = getBinaryCodeForInstr(MI);
1185
1186 // Set the conditional execution predicate
1187 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1188
1189 unsigned OpIdx = 0;
1190
1191 // Encode Rd
1192 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
1193
1194 const MachineOperand &MO = MI.getOperand(OpIdx++);
1195 if (OpIdx == TID.getNumOperands() ||
1196 TID.OpInfo[OpIdx].isPredicate() ||
1197 TID.OpInfo[OpIdx].isOptionalDef()) {
1198 // Encode Rm and it's done.
1199 Binary |= getMachineOpValue(MI, MO);
1200 emitWordLE(Binary);
1201 return;
1202 }
1203
1204 // Encode Rn.
1205 Binary |= getMachineOpValue(MI, MO) << ARMII::RegRnShift;
1206
1207 // Encode Rm.
1208 Binary |= getMachineOpValue(MI, OpIdx++);
1209
1210 // Encode shift_imm.
1211 unsigned ShiftAmt = MI.getOperand(OpIdx).getImm();
1212 assert(ShiftAmt < 32 && "shift_imm range is 0 to 31!");
1213 Binary |= ShiftAmt << ARMII::ShiftShift;
Jim Grosbach764ab522009-08-11 15:33:49 +00001214
Evan Cheng8b59db32008-11-07 01:41:35 +00001215 emitWordLE(Binary);
1216}
1217
Chris Lattner33fabd72010-02-02 21:48:51 +00001218void ARMCodeEmitter::emitBranchInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +00001219 const TargetInstrDesc &TID = MI.getDesc();
1220
Torok Edwindac237e2009-07-08 20:53:28 +00001221 if (TID.Opcode == ARM::TPsoft) {
Torok Edwinc23197a2009-07-14 16:55:14 +00001222 llvm_unreachable("ARM::TPsoft FIXME"); // FIXME
Torok Edwindac237e2009-07-08 20:53:28 +00001223 }
Evan Cheng12c3a532008-11-06 17:48:05 +00001224
Evan Cheng7602e112008-09-02 06:52:38 +00001225 // Part of binary is determined by TableGn.
1226 unsigned Binary = getBinaryCodeForInstr(MI);
1227
Evan Chengedda31c2008-11-05 18:35:52 +00001228 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +00001229 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chengedda31c2008-11-05 18:35:52 +00001230
1231 // Set signed_immed_24 field
1232 Binary |= getMachineOpValue(MI, 0);
1233
Evan Cheng83b5cf02008-11-05 23:22:34 +00001234 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +00001235}
1236
Chris Lattner33fabd72010-02-02 21:48:51 +00001237void ARMCodeEmitter::emitInlineJumpTable(unsigned JTIndex) {
Evan Cheng4df60f52008-11-07 09:06:08 +00001238 // Remember the base address of the inline jump table.
Evan Cheng5788d1a2008-12-10 02:32:19 +00001239 uintptr_t JTBase = MCE.getCurrentPCValue();
Evan Cheng437c1732008-11-07 22:30:53 +00001240 JTI->addJumpTableBaseAddr(JTIndex, JTBase);
Chris Lattner893e1c92009-08-23 06:49:22 +00001241 DEBUG(errs() << " ** Jump Table #" << JTIndex << " @ " << (void*)JTBase
1242 << '\n');
Evan Cheng4df60f52008-11-07 09:06:08 +00001243
1244 // Now emit the jump table entries.
1245 const std::vector<MachineBasicBlock*> &MBBs = (*MJTEs)[JTIndex].MBBs;
1246 for (unsigned i = 0, e = MBBs.size(); i != e; ++i) {
1247 if (IsPIC)
1248 // DestBB address - JT base.
Evan Cheng437c1732008-11-07 22:30:53 +00001249 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_pic_jt, JTBase);
Evan Cheng4df60f52008-11-07 09:06:08 +00001250 else
1251 // Absolute DestBB address.
1252 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_absolute);
1253 emitWordLE(0);
1254 }
1255}
1256
Chris Lattner33fabd72010-02-02 21:48:51 +00001257void ARMCodeEmitter::emitMiscBranchInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +00001258 const TargetInstrDesc &TID = MI.getDesc();
Evan Chengedda31c2008-11-05 18:35:52 +00001259
Evan Cheng437c1732008-11-07 22:30:53 +00001260 // Handle jump tables.
Evan Cheng90daf4d2009-07-25 00:13:11 +00001261 if (TID.Opcode == ARM::BR_JTr || TID.Opcode == ARM::BR_JTadd) {
Evan Cheng437c1732008-11-07 22:30:53 +00001262 // First emit a ldr pc, [] instruction.
1263 emitDataProcessingInstruction(MI, ARM::PC);
1264
1265 // Then emit the inline jump table.
Evan Chengc9a41532009-07-08 00:05:05 +00001266 unsigned JTIndex =
Evan Cheng90daf4d2009-07-25 00:13:11 +00001267 (TID.Opcode == ARM::BR_JTr)
Evan Cheng437c1732008-11-07 22:30:53 +00001268 ? MI.getOperand(1).getIndex() : MI.getOperand(2).getIndex();
1269 emitInlineJumpTable(JTIndex);
1270 return;
Evan Cheng90daf4d2009-07-25 00:13:11 +00001271 } else if (TID.Opcode == ARM::BR_JTm) {
Evan Cheng4df60f52008-11-07 09:06:08 +00001272 // First emit a ldr pc, [] instruction.
1273 emitLoadStoreInstruction(MI, ARM::PC);
1274
1275 // Then emit the inline jump table.
Evan Cheng437c1732008-11-07 22:30:53 +00001276 emitInlineJumpTable(MI.getOperand(3).getIndex());
Evan Cheng4df60f52008-11-07 09:06:08 +00001277 return;
1278 }
1279
Evan Chengedda31c2008-11-05 18:35:52 +00001280 // Part of binary is determined by TableGn.
1281 unsigned Binary = getBinaryCodeForInstr(MI);
1282
1283 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +00001284 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chengedda31c2008-11-05 18:35:52 +00001285
Anton Korobeynikovce7bf1c2010-03-06 19:39:36 +00001286 if (TID.Opcode == ARM::BX_RET || TID.Opcode == ARM::MOVPCLR)
Evan Chengedda31c2008-11-05 18:35:52 +00001287 // The return register is LR.
1288 Binary |= ARMRegisterInfo::getRegisterNumbering(ARM::LR);
Jim Grosbach764ab522009-08-11 15:33:49 +00001289 else
Evan Chengedda31c2008-11-05 18:35:52 +00001290 // otherwise, set the return register
1291 Binary |= getMachineOpValue(MI, 0);
1292
Evan Cheng83b5cf02008-11-05 23:22:34 +00001293 emitWordLE(Binary);
Evan Cheng148b6a42007-07-05 21:15:40 +00001294}
Evan Cheng7602e112008-09-02 06:52:38 +00001295
Evan Cheng80a11982008-11-12 06:41:41 +00001296static unsigned encodeVFPRd(const MachineInstr &MI, unsigned OpIdx) {
Evan Chengd06d48d2008-11-12 02:19:38 +00001297 unsigned RegD = MI.getOperand(OpIdx).getReg();
Evan Cheng80a11982008-11-12 06:41:41 +00001298 unsigned Binary = 0;
Evan Chengd06d48d2008-11-12 02:19:38 +00001299 bool isSPVFP = false;
Evan Cheng8295d992009-07-22 05:55:18 +00001300 RegD = ARMRegisterInfo::getRegisterNumbering(RegD, &isSPVFP);
Evan Chengd06d48d2008-11-12 02:19:38 +00001301 if (!isSPVFP)
1302 Binary |= RegD << ARMII::RegRdShift;
1303 else {
1304 Binary |= ((RegD & 0x1E) >> 1) << ARMII::RegRdShift;
1305 Binary |= (RegD & 0x01) << ARMII::D_BitShift;
1306 }
Evan Cheng80a11982008-11-12 06:41:41 +00001307 return Binary;
1308}
Evan Cheng78be83d2008-11-11 19:40:26 +00001309
Evan Cheng80a11982008-11-12 06:41:41 +00001310static unsigned encodeVFPRn(const MachineInstr &MI, unsigned OpIdx) {
Evan Chengd06d48d2008-11-12 02:19:38 +00001311 unsigned RegN = MI.getOperand(OpIdx).getReg();
Evan Cheng80a11982008-11-12 06:41:41 +00001312 unsigned Binary = 0;
1313 bool isSPVFP = false;
Evan Cheng8295d992009-07-22 05:55:18 +00001314 RegN = ARMRegisterInfo::getRegisterNumbering(RegN, &isSPVFP);
Evan Chengd06d48d2008-11-12 02:19:38 +00001315 if (!isSPVFP)
1316 Binary |= RegN << ARMII::RegRnShift;
1317 else {
1318 Binary |= ((RegN & 0x1E) >> 1) << ARMII::RegRnShift;
1319 Binary |= (RegN & 0x01) << ARMII::N_BitShift;
1320 }
Evan Cheng80a11982008-11-12 06:41:41 +00001321 return Binary;
1322}
Evan Chengd06d48d2008-11-12 02:19:38 +00001323
Evan Cheng80a11982008-11-12 06:41:41 +00001324static unsigned encodeVFPRm(const MachineInstr &MI, unsigned OpIdx) {
1325 unsigned RegM = MI.getOperand(OpIdx).getReg();
1326 unsigned Binary = 0;
1327 bool isSPVFP = false;
Evan Cheng8295d992009-07-22 05:55:18 +00001328 RegM = ARMRegisterInfo::getRegisterNumbering(RegM, &isSPVFP);
Evan Cheng80a11982008-11-12 06:41:41 +00001329 if (!isSPVFP)
1330 Binary |= RegM;
1331 else {
1332 Binary |= ((RegM & 0x1E) >> 1);
1333 Binary |= (RegM & 0x01) << ARMII::M_BitShift;
Evan Cheng78be83d2008-11-11 19:40:26 +00001334 }
Evan Cheng80a11982008-11-12 06:41:41 +00001335 return Binary;
1336}
1337
Chris Lattner33fabd72010-02-02 21:48:51 +00001338void ARMCodeEmitter::emitVFPArithInstruction(const MachineInstr &MI) {
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001339 const TargetInstrDesc &TID = MI.getDesc();
1340
1341 // Part of binary is determined by TableGn.
1342 unsigned Binary = getBinaryCodeForInstr(MI);
1343
1344 // Set the conditional execution predicate
1345 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1346
1347 unsigned OpIdx = 0;
1348 assert((Binary & ARMII::D_BitShift) == 0 &&
1349 (Binary & ARMII::N_BitShift) == 0 &&
1350 (Binary & ARMII::M_BitShift) == 0 && "VFP encoding bug!");
1351
1352 // Encode Dd / Sd.
1353 Binary |= encodeVFPRd(MI, OpIdx++);
1354
1355 // If this is a two-address operand, skip it, e.g. FMACD.
1356 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1357 ++OpIdx;
1358
1359 // Encode Dn / Sn.
1360 if ((TID.TSFlags & ARMII::FormMask) == ARMII::VFPBinaryFrm)
Evan Cheng3f4924e2008-11-12 08:14:21 +00001361 Binary |= encodeVFPRn(MI, OpIdx++);
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001362
1363 if (OpIdx == TID.getNumOperands() ||
1364 TID.OpInfo[OpIdx].isPredicate() ||
1365 TID.OpInfo[OpIdx].isOptionalDef()) {
1366 // FCMPEZD etc. has only one operand.
1367 emitWordLE(Binary);
1368 return;
1369 }
1370
1371 // Encode Dm / Sm.
1372 Binary |= encodeVFPRm(MI, OpIdx);
Jim Grosbach764ab522009-08-11 15:33:49 +00001373
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001374 emitWordLE(Binary);
1375}
1376
Bob Wilson87949d42010-03-17 21:16:45 +00001377void ARMCodeEmitter::emitVFPConversionInstruction(const MachineInstr &MI) {
Evan Cheng80a11982008-11-12 06:41:41 +00001378 const TargetInstrDesc &TID = MI.getDesc();
1379 unsigned Form = TID.TSFlags & ARMII::FormMask;
1380
1381 // Part of binary is determined by TableGn.
1382 unsigned Binary = getBinaryCodeForInstr(MI);
1383
1384 // Set the conditional execution predicate
1385 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1386
1387 switch (Form) {
1388 default: break;
1389 case ARMII::VFPConv1Frm:
1390 case ARMII::VFPConv2Frm:
1391 case ARMII::VFPConv3Frm:
1392 // Encode Dd / Sd.
1393 Binary |= encodeVFPRd(MI, 0);
1394 break;
1395 case ARMII::VFPConv4Frm:
1396 // Encode Dn / Sn.
1397 Binary |= encodeVFPRn(MI, 0);
1398 break;
1399 case ARMII::VFPConv5Frm:
1400 // Encode Dm / Sm.
1401 Binary |= encodeVFPRm(MI, 0);
1402 break;
1403 }
1404
1405 switch (Form) {
1406 default: break;
1407 case ARMII::VFPConv1Frm:
1408 // Encode Dm / Sm.
1409 Binary |= encodeVFPRm(MI, 1);
Evan Cheng67fd91f2008-11-13 07:46:59 +00001410 break;
Evan Cheng80a11982008-11-12 06:41:41 +00001411 case ARMII::VFPConv2Frm:
1412 case ARMII::VFPConv3Frm:
1413 // Encode Dn / Sn.
1414 Binary |= encodeVFPRn(MI, 1);
1415 break;
1416 case ARMII::VFPConv4Frm:
1417 case ARMII::VFPConv5Frm:
1418 // Encode Dd / Sd.
1419 Binary |= encodeVFPRd(MI, 1);
1420 break;
1421 }
1422
1423 if (Form == ARMII::VFPConv5Frm)
1424 // Encode Dn / Sn.
1425 Binary |= encodeVFPRn(MI, 2);
1426 else if (Form == ARMII::VFPConv3Frm)
1427 // Encode Dm / Sm.
1428 Binary |= encodeVFPRm(MI, 2);
Evan Cheng78be83d2008-11-11 19:40:26 +00001429
1430 emitWordLE(Binary);
1431}
1432
Chris Lattner33fabd72010-02-02 21:48:51 +00001433void ARMCodeEmitter::emitVFPLoadStoreInstruction(const MachineInstr &MI) {
Evan Chengcd8e66a2008-11-11 21:48:44 +00001434 // Part of binary is determined by TableGn.
1435 unsigned Binary = getBinaryCodeForInstr(MI);
1436
1437 // Set the conditional execution predicate
1438 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1439
1440 unsigned OpIdx = 0;
1441
1442 // Encode Dd / Sd.
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001443 Binary |= encodeVFPRd(MI, OpIdx++);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001444
1445 // Encode address base.
1446 const MachineOperand &Base = MI.getOperand(OpIdx++);
1447 Binary |= getMachineOpValue(MI, Base) << ARMII::RegRnShift;
1448
1449 // If there is a non-zero immediate offset, encode it.
1450 if (Base.isReg()) {
1451 const MachineOperand &Offset = MI.getOperand(OpIdx);
1452 if (unsigned ImmOffs = ARM_AM::getAM5Offset(Offset.getImm())) {
1453 if (ARM_AM::getAM5Op(Offset.getImm()) == ARM_AM::add)
1454 Binary |= 1 << ARMII::U_BitShift;
Evan Cheng607f1b42008-11-12 08:21:12 +00001455 Binary |= ImmOffs;
Evan Chengcd8e66a2008-11-11 21:48:44 +00001456 emitWordLE(Binary);
1457 return;
1458 }
1459 }
1460
1461 // If immediate offset is omitted, default to +0.
1462 Binary |= 1 << ARMII::U_BitShift;
1463
1464 emitWordLE(Binary);
1465}
1466
Bob Wilson87949d42010-03-17 21:16:45 +00001467void
1468ARMCodeEmitter::emitVFPLoadStoreMultipleInstruction(const MachineInstr &MI) {
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001469 const TargetInstrDesc &TID = MI.getDesc();
1470 bool IsUpdating = (TID.TSFlags & ARMII::IndexModeMask) != 0;
1471
Evan Chengcd8e66a2008-11-11 21:48:44 +00001472 // Part of binary is determined by TableGn.
1473 unsigned Binary = getBinaryCodeForInstr(MI);
1474
1475 // Set the conditional execution predicate
1476 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1477
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001478 // Skip operand 0 of an instruction with base register update.
1479 unsigned OpIdx = 0;
1480 if (IsUpdating)
1481 ++OpIdx;
1482
Evan Chengcd8e66a2008-11-11 21:48:44 +00001483 // Set base address operand
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001484 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Chengcd8e66a2008-11-11 21:48:44 +00001485
1486 // Set addressing mode by modifying bits U(23) and P(24)
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001487 const MachineOperand &MO = MI.getOperand(OpIdx++);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001488 Binary |= getAddrModeUPBits(ARM_AM::getAM5SubMode(MO.getImm()));
1489
1490 // Set bit W(21)
Bob Wilson2d357f62010-03-16 18:38:09 +00001491 if (IsUpdating)
Evan Chengcd8e66a2008-11-11 21:48:44 +00001492 Binary |= 0x1 << ARMII::W_BitShift;
1493
1494 // First register is encoded in Dd.
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001495 Binary |= encodeVFPRd(MI, OpIdx+2);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001496
1497 // Number of registers are encoded in offset field.
1498 unsigned NumRegs = 1;
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001499 for (unsigned i = OpIdx+3, e = MI.getNumOperands(); i != e; ++i) {
Evan Chengcd8e66a2008-11-11 21:48:44 +00001500 const MachineOperand &MO = MI.getOperand(i);
1501 if (!MO.isReg() || MO.isImplicit())
1502 break;
1503 ++NumRegs;
1504 }
Shih-wei Liao5170b712010-05-26 00:02:28 +00001505 // Bit 8 will be set if <list> is consecutive 64-bit registers (e.g., D0)
1506 // Otherwise, it will be 0, in the case of 32-bit registers.
1507 if(Binary & 0x100)
1508 Binary |= NumRegs * 2;
1509 else
1510 Binary |= NumRegs;
Evan Chengcd8e66a2008-11-11 21:48:44 +00001511
1512 emitWordLE(Binary);
1513}
1514
Chris Lattner33fabd72010-02-02 21:48:51 +00001515void ARMCodeEmitter::emitMiscInstruction(const MachineInstr &MI) {
Zonr Changf3c770a2010-05-25 10:23:52 +00001516 unsigned Opcode = MI.getDesc().Opcode;
Evan Chengcd8e66a2008-11-11 21:48:44 +00001517 // Part of binary is determined by TableGn.
1518 unsigned Binary = getBinaryCodeForInstr(MI);
1519
1520 // Set the conditional execution predicate
1521 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1522
Zonr Changf3c770a2010-05-25 10:23:52 +00001523 switch(Opcode) {
1524 default:
1525 llvm_unreachable("ARMCodeEmitter::emitMiscInstruction");
1526
1527 case ARM::FMSTAT:
1528 // No further encoding needed.
1529 break;
1530
1531 case ARM::VMRS:
1532 case ARM::VMSR: {
1533 const MachineOperand &MO0 = MI.getOperand(0);
1534 // Encode Rt.
1535 Binary |= ARMRegisterInfo::getRegisterNumbering(MO0.getReg())
1536 << ARMII::RegRdShift;
1537 break;
1538 }
1539
1540 case ARM::FCONSTD:
1541 case ARM::FCONSTS: {
1542 // Encode Dd / Sd.
1543 Binary |= encodeVFPRd(MI, 0);
1544
1545 // Encode imm., Table A7-18 VFP modified immediate constants
1546 const MachineOperand &MO1 = MI.getOperand(1);
1547 unsigned Imm = static_cast<unsigned>(MO1.getFPImm()->getValueAPF()
1548 .bitcastToAPInt().getHiBits(32).getLimitedValue());
1549 unsigned ModifiedImm;
1550
1551 if(Opcode == ARM::FCONSTS)
1552 ModifiedImm = (Imm & 0x80000000) >> 24 | // a
1553 (Imm & 0x03F80000) >> 19; // bcdefgh
1554 else // Opcode == ARM::FCONSTD
1555 ModifiedImm = (Imm & 0x80000000) >> 24 | // a
1556 (Imm & 0x007F0000) >> 16; // bcdefgh
1557
1558 // Insts{19-16} = abcd, Insts{3-0} = efgh
1559 Binary |= ((ModifiedImm & 0xF0) >> 4) << 16;
1560 Binary |= (ModifiedImm & 0xF);
1561 break;
1562 }
1563 }
1564
Evan Chengcd8e66a2008-11-11 21:48:44 +00001565 emitWordLE(Binary);
1566}
1567
Bob Wilson1a913ed2010-06-11 21:34:50 +00001568static unsigned encodeNEONRd(const MachineInstr &MI, unsigned OpIdx) {
1569 unsigned RegD = MI.getOperand(OpIdx).getReg();
1570 unsigned Binary = 0;
1571 RegD = ARMRegisterInfo::getRegisterNumbering(RegD);
1572 Binary |= (RegD & 0xf) << ARMII::RegRdShift;
1573 Binary |= ((RegD >> 4) & 1) << ARMII::D_BitShift;
1574 return Binary;
1575}
1576
Bob Wilson5e7b6072010-06-25 22:40:46 +00001577static unsigned encodeNEONRn(const MachineInstr &MI, unsigned OpIdx) {
1578 unsigned RegN = MI.getOperand(OpIdx).getReg();
1579 unsigned Binary = 0;
1580 RegN = ARMRegisterInfo::getRegisterNumbering(RegN);
1581 Binary |= (RegN & 0xf) << ARMII::RegRnShift;
1582 Binary |= ((RegN >> 4) & 1) << ARMII::N_BitShift;
1583 return Binary;
1584}
1585
Bob Wilson583a2a02010-06-25 21:17:19 +00001586static unsigned encodeNEONRm(const MachineInstr &MI, unsigned OpIdx) {
1587 unsigned RegM = MI.getOperand(OpIdx).getReg();
1588 unsigned Binary = 0;
1589 RegM = ARMRegisterInfo::getRegisterNumbering(RegM);
1590 Binary |= (RegM & 0xf);
1591 Binary |= ((RegM >> 4) & 1) << ARMII::M_BitShift;
1592 return Binary;
1593}
1594
Bob Wilsond896a972010-06-28 21:12:19 +00001595/// convertNEONDataProcToThumb - Convert the ARM mode encoding for a NEON
1596/// data-processing instruction to the corresponding Thumb encoding.
1597static unsigned convertNEONDataProcToThumb(unsigned Binary) {
1598 assert((Binary & 0xfe000000) == 0xf2000000 &&
1599 "not an ARM NEON data-processing instruction");
1600 unsigned UBit = (Binary >> 24) & 1;
1601 return 0xef000000 | (UBit << 28) | (Binary & 0xffffff);
1602}
1603
Bob Wilsond5a563d2010-06-29 17:34:07 +00001604void ARMCodeEmitter::emitNEONLaneInstruction(const MachineInstr &MI) {
Bob Wilson52e4a0a2010-06-26 04:07:15 +00001605 unsigned Binary = getBinaryCodeForInstr(MI);
1606
Bob Wilsond5a563d2010-06-29 17:34:07 +00001607 unsigned RegTOpIdx, RegNOpIdx, LnOpIdx;
1608 const TargetInstrDesc &TID = MI.getDesc();
1609 if ((TID.TSFlags & ARMII::FormMask) == ARMII::NGetLnFrm) {
1610 RegTOpIdx = 0;
1611 RegNOpIdx = 1;
1612 LnOpIdx = 2;
1613 } else { // ARMII::NSetLnFrm
1614 RegTOpIdx = 2;
1615 RegNOpIdx = 0;
1616 LnOpIdx = 3;
1617 }
1618
Bob Wilson52e4a0a2010-06-26 04:07:15 +00001619 // Set the conditional execution predicate
Bob Wilson5cdede42010-06-29 00:26:13 +00001620 Binary |= (IsThumb ? ARMCC::AL : II->getPredicate(&MI)) << ARMII::CondShift;
Bob Wilson52e4a0a2010-06-26 04:07:15 +00001621
Bob Wilsond5a563d2010-06-29 17:34:07 +00001622 unsigned RegT = MI.getOperand(RegTOpIdx).getReg();
Bob Wilson52e4a0a2010-06-26 04:07:15 +00001623 RegT = ARMRegisterInfo::getRegisterNumbering(RegT);
1624 Binary |= (RegT << ARMII::RegRdShift);
Bob Wilsond5a563d2010-06-29 17:34:07 +00001625 Binary |= encodeNEONRn(MI, RegNOpIdx);
Bob Wilson52e4a0a2010-06-26 04:07:15 +00001626
1627 unsigned LaneShift;
1628 if ((Binary & (1 << 22)) != 0)
1629 LaneShift = 0; // 8-bit elements
1630 else if ((Binary & (1 << 5)) != 0)
1631 LaneShift = 1; // 16-bit elements
1632 else
1633 LaneShift = 2; // 32-bit elements
1634
Bob Wilsond5a563d2010-06-29 17:34:07 +00001635 unsigned Lane = MI.getOperand(LnOpIdx).getImm() << LaneShift;
Bob Wilson52e4a0a2010-06-26 04:07:15 +00001636 unsigned Opc1 = Lane >> 2;
1637 unsigned Opc2 = Lane & 3;
1638 assert((Opc1 & 3) == 0 && "out-of-range lane number operand");
1639 Binary |= (Opc1 << 21);
1640 Binary |= (Opc2 << 5);
1641
1642 emitWordLE(Binary);
1643}
1644
Bob Wilson21773e72010-06-29 20:13:29 +00001645void ARMCodeEmitter::emitNEONDupInstruction(const MachineInstr &MI) {
1646 unsigned Binary = getBinaryCodeForInstr(MI);
1647
1648 // Set the conditional execution predicate
1649 Binary |= (IsThumb ? ARMCC::AL : II->getPredicate(&MI)) << ARMII::CondShift;
1650
1651 unsigned RegT = MI.getOperand(1).getReg();
1652 RegT = ARMRegisterInfo::getRegisterNumbering(RegT);
1653 Binary |= (RegT << ARMII::RegRdShift);
1654 Binary |= encodeNEONRn(MI, 0);
1655 emitWordLE(Binary);
1656}
1657
Bob Wilson583a2a02010-06-25 21:17:19 +00001658void ARMCodeEmitter::emitNEON1RegModImmInstruction(const MachineInstr &MI) {
Bob Wilson1a913ed2010-06-11 21:34:50 +00001659 unsigned Binary = getBinaryCodeForInstr(MI);
1660 // Destination register is encoded in Dd.
1661 Binary |= encodeNEONRd(MI, 0);
1662 // Immediate fields: Op, Cmode, I, Imm3, Imm4
1663 unsigned Imm = MI.getOperand(1).getImm();
1664 unsigned Op = (Imm >> 12) & 1;
Bob Wilson1a913ed2010-06-11 21:34:50 +00001665 unsigned Cmode = (Imm >> 8) & 0xf;
Bob Wilson1a913ed2010-06-11 21:34:50 +00001666 unsigned I = (Imm >> 7) & 1;
Bob Wilson1a913ed2010-06-11 21:34:50 +00001667 unsigned Imm3 = (Imm >> 4) & 0x7;
Bob Wilson1a913ed2010-06-11 21:34:50 +00001668 unsigned Imm4 = Imm & 0xf;
Bob Wilson08baddb2010-06-28 21:16:30 +00001669 Binary |= (I << 24) | (Imm3 << 16) | (Cmode << 8) | (Op << 5) | Imm4;
Bob Wilson62d24a42010-06-28 22:23:17 +00001670 if (IsThumb)
Bob Wilsond896a972010-06-28 21:12:19 +00001671 Binary = convertNEONDataProcToThumb(Binary);
Bob Wilson1a913ed2010-06-11 21:34:50 +00001672 emitWordLE(Binary);
1673}
1674
Bob Wilson583a2a02010-06-25 21:17:19 +00001675void ARMCodeEmitter::emitNEON2RegInstruction(const MachineInstr &MI) {
Bob Wilson5e7b6072010-06-25 22:40:46 +00001676 const TargetInstrDesc &TID = MI.getDesc();
Bob Wilson583a2a02010-06-25 21:17:19 +00001677 unsigned Binary = getBinaryCodeForInstr(MI);
Bob Wilson5e7b6072010-06-25 22:40:46 +00001678 // Destination register is encoded in Dd; source register in Dm.
1679 unsigned OpIdx = 0;
1680 Binary |= encodeNEONRd(MI, OpIdx++);
1681 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1682 ++OpIdx;
1683 Binary |= encodeNEONRm(MI, OpIdx);
Bob Wilson62d24a42010-06-28 22:23:17 +00001684 if (IsThumb)
Bob Wilsond896a972010-06-28 21:12:19 +00001685 Binary = convertNEONDataProcToThumb(Binary);
Bob Wilson583a2a02010-06-25 21:17:19 +00001686 // FIXME: This does not handle VDUPfdf or VDUPfqf.
1687 emitWordLE(Binary);
1688}
1689
Bob Wilson5e7b6072010-06-25 22:40:46 +00001690void ARMCodeEmitter::emitNEON3RegInstruction(const MachineInstr &MI) {
1691 const TargetInstrDesc &TID = MI.getDesc();
1692 unsigned Binary = getBinaryCodeForInstr(MI);
1693 // Destination register is encoded in Dd; source registers in Dn and Dm.
1694 unsigned OpIdx = 0;
1695 Binary |= encodeNEONRd(MI, OpIdx++);
1696 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1697 ++OpIdx;
1698 Binary |= encodeNEONRn(MI, OpIdx++);
1699 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1700 ++OpIdx;
1701 Binary |= encodeNEONRm(MI, OpIdx);
Bob Wilson62d24a42010-06-28 22:23:17 +00001702 if (IsThumb)
Bob Wilsond896a972010-06-28 21:12:19 +00001703 Binary = convertNEONDataProcToThumb(Binary);
Bob Wilson5e7b6072010-06-25 22:40:46 +00001704 // FIXME: This does not handle VMOVDneon or VMOVQ.
1705 emitWordLE(Binary);
1706}
1707
Evan Cheng7602e112008-09-02 06:52:38 +00001708#include "ARMGenCodeEmitter.inc"