blob: 0d9b1a1e655ab21e03d99649f7b5c17cff077086 [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)
Owen Anderson90c579d2010-08-06 18:33:48 +000068 : MachineFunctionPass(ID), JTI(0),
Dan Gohman3fb150a2010-04-17 17:42:52 +000069 II((const ARMInstrInfo *)tm.getInstrInfo()),
Chris Lattner33fabd72010-02-02 21:48:51 +000070 TD(tm.getTargetData()), TM(tm),
Bob Wilson62d24a42010-06-28 22:23:17 +000071 MCE(mce), MCPEs(0), MJTEs(0),
72 IsPIC(TM.getRelocationModel() == Reloc::PIC_), IsThumb(false) {}
Bob Wilson87949d42010-03-17 21:16:45 +000073
Chris Lattner33fabd72010-02-02 21:48:51 +000074 /// getBinaryCodeForInstr - This function, generated by the
75 /// CodeEmitterGenerator using TableGen, produces the binary encoding for
76 /// machine instructions.
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
Bob Wilson9a1c1892010-08-11 00:01:18 +0000127 void emitSaturateInstruction(const MachineInstr &MI);
128
Evan Chengedda31c2008-11-05 18:35:52 +0000129 void emitBranchInstruction(const MachineInstr &MI);
130
Evan Cheng437c1732008-11-07 22:30:53 +0000131 void emitInlineJumpTable(unsigned JTIndex);
Evan Cheng4df60f52008-11-07 09:06:08 +0000132
Evan Chengedda31c2008-11-05 18:35:52 +0000133 void emitMiscBranchInstruction(const MachineInstr &MI);
Evan Cheng7602e112008-09-02 06:52:38 +0000134
Evan Cheng96581d32008-11-11 02:11:05 +0000135 void emitVFPArithInstruction(const MachineInstr &MI);
136
Evan Cheng78be83d2008-11-11 19:40:26 +0000137 void emitVFPConversionInstruction(const MachineInstr &MI);
138
Evan Chengcd8e66a2008-11-11 21:48:44 +0000139 void emitVFPLoadStoreInstruction(const MachineInstr &MI);
140
141 void emitVFPLoadStoreMultipleInstruction(const MachineInstr &MI);
142
143 void emitMiscInstruction(const MachineInstr &MI);
144
Bob Wilsond5a563d2010-06-29 17:34:07 +0000145 void emitNEONLaneInstruction(const MachineInstr &MI);
Bob Wilson21773e72010-06-29 20:13:29 +0000146 void emitNEONDupInstruction(const MachineInstr &MI);
Bob Wilson583a2a02010-06-25 21:17:19 +0000147 void emitNEON1RegModImmInstruction(const MachineInstr &MI);
148 void emitNEON2RegInstruction(const MachineInstr &MI);
Bob Wilson5e7b6072010-06-25 22:40:46 +0000149 void emitNEON3RegInstruction(const MachineInstr &MI);
Bob Wilson1a913ed2010-06-11 21:34:50 +0000150
Evan Cheng7602e112008-09-02 06:52:38 +0000151 /// getMachineOpValue - Return binary encoding of operand. If the machine
152 /// operand requires relocation, record the relocation and return zero.
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000153 unsigned getMachineOpValue(const MachineInstr &MI,const MachineOperand &MO);
Evan Cheng7602e112008-09-02 06:52:38 +0000154 unsigned getMachineOpValue(const MachineInstr &MI, unsigned OpIdx) {
155 return getMachineOpValue(MI, MI.getOperand(OpIdx));
156 }
Evan Cheng7602e112008-09-02 06:52:38 +0000157
Shih-wei Liao5170b712010-05-26 00:02:28 +0000158 /// getMovi32Value - Return binary encoding of operand for movw/movt. If the
Jim Grosbach18f30e62010-06-02 21:53:11 +0000159 /// machine operand requires relocation, record the relocation and return
160 /// zero.
Shih-wei Liao5170b712010-05-26 00:02:28 +0000161 unsigned getMovi32Value(const MachineInstr &MI,const MachineOperand &MO,
Zonr Changf86399b2010-05-25 08:42:45 +0000162 unsigned Reloc);
Shih-wei Liao5170b712010-05-26 00:02:28 +0000163 unsigned getMovi32Value(const MachineInstr &MI, unsigned OpIdx,
Zonr Changf86399b2010-05-25 08:42:45 +0000164 unsigned Reloc) {
165 return getMovi32Value(MI, MI.getOperand(OpIdx), Reloc);
166 }
167
Evan Cheng83b5cf02008-11-05 23:22:34 +0000168 /// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
Evan Cheng7602e112008-09-02 06:52:38 +0000169 ///
Evan Cheng83b5cf02008-11-05 23:22:34 +0000170 unsigned getShiftOp(unsigned Imm) const ;
Evan Cheng7602e112008-09-02 06:52:38 +0000171
172 /// Routines that handle operands which add machine relocations which are
Evan Cheng437c1732008-11-07 22:30:53 +0000173 /// fixed up by the relocation stage.
Dan Gohman46510a72010-04-15 01:51:59 +0000174 void emitGlobalAddress(const GlobalValue *GV, unsigned Reloc,
Jeffrey Yasskin2d274412009-11-07 08:51:52 +0000175 bool MayNeedFarStub, bool Indirect,
176 intptr_t ACPV = 0);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000177 void emitExternalSymbolAddress(const char *ES, unsigned Reloc);
Evan Cheng437c1732008-11-07 22:30:53 +0000178 void emitConstPoolAddress(unsigned CPI, unsigned Reloc);
179 void emitJumpTableAddress(unsigned JTIndex, unsigned Reloc);
180 void emitMachineBasicBlock(MachineBasicBlock *BB, unsigned Reloc,
181 intptr_t JTBase = 0);
Evan Cheng148b6a42007-07-05 21:15:40 +0000182 };
Evan Cheng148b6a42007-07-05 21:15:40 +0000183}
184
Chris Lattner33fabd72010-02-02 21:48:51 +0000185char ARMCodeEmitter::ID = 0;
186
Bob Wilson87949d42010-03-17 21:16:45 +0000187/// createARMJITCodeEmitterPass - Return a pass that emits the collected ARM
Chris Lattnere0faa542010-02-02 21:38:59 +0000188/// code to the specified MCE object.
Bruno Cardoso Lopesac57e6e2009-07-06 05:09:34 +0000189FunctionPass *llvm::createARMJITCodeEmitterPass(ARMBaseTargetMachine &TM,
190 JITCodeEmitter &JCE) {
Chris Lattner33fabd72010-02-02 21:48:51 +0000191 return new ARMCodeEmitter(TM, JCE);
Evan Cheng148b6a42007-07-05 21:15:40 +0000192}
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000193
Chris Lattner33fabd72010-02-02 21:48:51 +0000194bool ARMCodeEmitter::runOnMachineFunction(MachineFunction &MF) {
Evan Cheng148b6a42007-07-05 21:15:40 +0000195 assert((MF.getTarget().getRelocationModel() != Reloc::Default ||
196 MF.getTarget().getRelocationModel() != Reloc::Static) &&
197 "JIT relocation model must be set to static or default!");
Dan Gohman3fb150a2010-04-17 17:42:52 +0000198 JTI = ((ARMTargetMachine &)MF.getTarget()).getJITInfo();
199 II = ((const ARMTargetMachine &)MF.getTarget()).getInstrInfo();
200 TD = ((const ARMTargetMachine &)MF.getTarget()).getTargetData();
Evan Cheng08669742009-09-10 01:23:53 +0000201 Subtarget = &TM.getSubtarget<ARMSubtarget>();
Evan Cheng938b9d82008-10-31 19:55:13 +0000202 MCPEs = &MF.getConstantPool()->getConstants();
Chris Lattnerb1e80392010-01-25 23:22:00 +0000203 MJTEs = 0;
204 if (MF.getJumpTableInfo()) MJTEs = &MF.getJumpTableInfo()->getJumpTables();
Evan Cheng4df60f52008-11-07 09:06:08 +0000205 IsPIC = TM.getRelocationModel() == Reloc::PIC_;
Bob Wilson62d24a42010-06-28 22:23:17 +0000206 IsThumb = MF.getInfo<ARMFunctionInfo>()->isThumbFunction();
Evan Cheng3cc82232008-11-08 07:38:22 +0000207 JTI->Initialize(MF, IsPIC);
Chris Lattner16112732010-03-14 01:41:15 +0000208 MMI = &getAnalysis<MachineModuleInfo>();
209 MCE.setModuleInfo(MMI);
Evan Cheng148b6a42007-07-05 21:15:40 +0000210
211 do {
Jim Grosbach764ab522009-08-11 15:33:49 +0000212 DEBUG(errs() << "JITTing function '"
Daniel Dunbarce63ffb2009-07-25 00:23:56 +0000213 << MF.getFunction()->getName() << "'\n");
Evan Cheng148b6a42007-07-05 21:15:40 +0000214 MCE.startFunction(MF);
Jim Grosbach764ab522009-08-11 15:33:49 +0000215 for (MachineFunction::iterator MBB = MF.begin(), E = MF.end();
Evan Cheng148b6a42007-07-05 21:15:40 +0000216 MBB != E; ++MBB) {
217 MCE.StartMachineBasicBlock(MBB);
218 for (MachineBasicBlock::const_iterator I = MBB->begin(), E = MBB->end();
219 I != E; ++I)
220 emitInstruction(*I);
221 }
222 } while (MCE.finishFunction(MF));
223
224 return false;
225}
226
Evan Cheng83b5cf02008-11-05 23:22:34 +0000227/// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
Evan Cheng7602e112008-09-02 06:52:38 +0000228///
Chris Lattner33fabd72010-02-02 21:48:51 +0000229unsigned ARMCodeEmitter::getShiftOp(unsigned Imm) const {
Evan Cheng83b5cf02008-11-05 23:22:34 +0000230 switch (ARM_AM::getAM2ShiftOpc(Imm)) {
Torok Edwinc23197a2009-07-14 16:55:14 +0000231 default: llvm_unreachable("Unknown shift opc!");
Evan Cheng7602e112008-09-02 06:52:38 +0000232 case ARM_AM::asr: return 2;
233 case ARM_AM::lsl: return 0;
234 case ARM_AM::lsr: return 1;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000235 case ARM_AM::ror:
Evan Cheng7602e112008-09-02 06:52:38 +0000236 case ARM_AM::rrx: return 3;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000237 }
Evan Cheng7602e112008-09-02 06:52:38 +0000238 return 0;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000239}
240
Shih-wei Liao5170b712010-05-26 00:02:28 +0000241/// getMovi32Value - Return binary encoding of operand for movw/movt. If the
Zonr Changf86399b2010-05-25 08:42:45 +0000242/// machine operand requires relocation, record the relocation and return zero.
243unsigned ARMCodeEmitter::getMovi32Value(const MachineInstr &MI,
Shih-wei Liao5170b712010-05-26 00:02:28 +0000244 const MachineOperand &MO,
Zonr Changf86399b2010-05-25 08:42:45 +0000245 unsigned Reloc) {
Shih-wei Liao5170b712010-05-26 00:02:28 +0000246 assert(((Reloc == ARM::reloc_arm_movt) || (Reloc == ARM::reloc_arm_movw))
Zonr Changf86399b2010-05-25 08:42:45 +0000247 && "Relocation to this function should be for movt or movw");
248
249 if (MO.isImm())
250 return static_cast<unsigned>(MO.getImm());
251 else if (MO.isGlobal())
252 emitGlobalAddress(MO.getGlobal(), Reloc, true, false);
253 else if (MO.isSymbol())
254 emitExternalSymbolAddress(MO.getSymbolName(), Reloc);
255 else if (MO.isMBB())
256 emitMachineBasicBlock(MO.getMBB(), Reloc);
257 else {
258#ifndef NDEBUG
259 errs() << MO;
260#endif
261 llvm_unreachable("Unsupported operand type for movw/movt");
262 }
263 return 0;
264}
265
Evan Cheng7602e112008-09-02 06:52:38 +0000266/// getMachineOpValue - Return binary encoding of operand. If the machine
267/// operand requires relocation, record the relocation and return zero.
Chris Lattner33fabd72010-02-02 21:48:51 +0000268unsigned ARMCodeEmitter::getMachineOpValue(const MachineInstr &MI,
269 const MachineOperand &MO) {
Dan Gohmand735b802008-10-03 15:45:36 +0000270 if (MO.isReg())
Evan Cheng7602e112008-09-02 06:52:38 +0000271 return ARMRegisterInfo::getRegisterNumbering(MO.getReg());
Dan Gohmand735b802008-10-03 15:45:36 +0000272 else if (MO.isImm())
Evan Cheng7602e112008-09-02 06:52:38 +0000273 return static_cast<unsigned>(MO.getImm());
Dan Gohmand735b802008-10-03 15:45:36 +0000274 else if (MO.isGlobal())
Evan Cheng08669742009-09-10 01:23:53 +0000275 emitGlobalAddress(MO.getGlobal(), ARM::reloc_arm_branch, true, false);
Dan Gohmand735b802008-10-03 15:45:36 +0000276 else if (MO.isSymbol())
Evan Cheng10332512008-11-08 07:22:33 +0000277 emitExternalSymbolAddress(MO.getSymbolName(), ARM::reloc_arm_branch);
Evan Cheng580c0df2008-11-12 01:02:24 +0000278 else if (MO.isCPI()) {
279 const TargetInstrDesc &TID = MI.getDesc();
280 // For VFP load, the immediate offset is multiplied by 4.
281 unsigned Reloc = ((TID.TSFlags & ARMII::FormMask) == ARMII::VFPLdStFrm)
282 ? ARM::reloc_arm_vfp_cp_entry : ARM::reloc_arm_cp_entry;
283 emitConstPoolAddress(MO.getIndex(), Reloc);
284 } else if (MO.isJTI())
Chris Lattner8aa797a2007-12-30 23:10:15 +0000285 emitJumpTableAddress(MO.getIndex(), ARM::reloc_arm_relative);
Dan Gohmand735b802008-10-03 15:45:36 +0000286 else if (MO.isMBB())
Evan Cheng4df60f52008-11-07 09:06:08 +0000287 emitMachineBasicBlock(MO.getMBB(), ARM::reloc_arm_branch);
Evan Cheng2aa0e642008-09-13 01:55:59 +0000288 else {
Torok Edwindac237e2009-07-08 20:53:28 +0000289#ifndef NDEBUG
Chris Lattner705e07f2009-08-23 03:41:05 +0000290 errs() << MO;
Torok Edwindac237e2009-07-08 20:53:28 +0000291#endif
Torok Edwinc23197a2009-07-14 16:55:14 +0000292 llvm_unreachable(0);
Evan Cheng2aa0e642008-09-13 01:55:59 +0000293 }
Evan Cheng7602e112008-09-02 06:52:38 +0000294 return 0;
Evan Cheng0ff94f72007-08-07 01:37:15 +0000295}
296
Evan Cheng057d0c32008-09-18 07:28:19 +0000297/// emitGlobalAddress - Emit the specified address to the code stream.
Evan Cheng0ff94f72007-08-07 01:37:15 +0000298///
Dan Gohman46510a72010-04-15 01:51:59 +0000299void ARMCodeEmitter::emitGlobalAddress(const GlobalValue *GV, unsigned Reloc,
Chris Lattner33fabd72010-02-02 21:48:51 +0000300 bool MayNeedFarStub, bool Indirect,
301 intptr_t ACPV) {
Evan Cheng08669742009-09-10 01:23:53 +0000302 MachineRelocation MR = Indirect
303 ? MachineRelocation::getIndirectSymbol(MCE.getCurrentPCOffset(), Reloc,
Dan Gohman46510a72010-04-15 01:51:59 +0000304 const_cast<GlobalValue *>(GV),
305 ACPV, MayNeedFarStub)
Evan Cheng08669742009-09-10 01:23:53 +0000306 : MachineRelocation::getGV(MCE.getCurrentPCOffset(), Reloc,
Dan Gohman46510a72010-04-15 01:51:59 +0000307 const_cast<GlobalValue *>(GV), ACPV,
308 MayNeedFarStub);
Evan Cheng08669742009-09-10 01:23:53 +0000309 MCE.addRelocation(MR);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000310}
311
312/// emitExternalSymbolAddress - Arrange for the address of an external symbol to
313/// be emitted to the current location in the function, and allow it to be PC
314/// relative.
Chris Lattner33fabd72010-02-02 21:48:51 +0000315void ARMCodeEmitter::emitExternalSymbolAddress(const char *ES, unsigned Reloc) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000316 MCE.addRelocation(MachineRelocation::getExtSym(MCE.getCurrentPCOffset(),
317 Reloc, ES));
318}
319
320/// emitConstPoolAddress - Arrange for the address of an constant pool
321/// to be emitted to the current location in the function, and allow it to be PC
322/// relative.
Chris Lattner33fabd72010-02-02 21:48:51 +0000323void ARMCodeEmitter::emitConstPoolAddress(unsigned CPI, unsigned Reloc) {
Evan Cheng0f282432008-10-29 23:55:43 +0000324 // Tell JIT emitter we'll resolve the address.
Evan Cheng0ff94f72007-08-07 01:37:15 +0000325 MCE.addRelocation(MachineRelocation::getConstPool(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000326 Reloc, CPI, 0, true));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000327}
328
329/// emitJumpTableAddress - Arrange for the address of a jump table to
330/// be emitted to the current location in the function, and allow it to be PC
331/// relative.
Chris Lattner33fabd72010-02-02 21:48:51 +0000332void ARMCodeEmitter::emitJumpTableAddress(unsigned JTIndex, unsigned Reloc) {
Evan Cheng0ff94f72007-08-07 01:37:15 +0000333 MCE.addRelocation(MachineRelocation::getJumpTable(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000334 Reloc, JTIndex, 0, true));
Evan Cheng0ff94f72007-08-07 01:37:15 +0000335}
336
Raul Herbster9c1a3822007-08-30 23:29:26 +0000337/// emitMachineBasicBlock - Emit the specified address basic block.
Chris Lattner33fabd72010-02-02 21:48:51 +0000338void ARMCodeEmitter::emitMachineBasicBlock(MachineBasicBlock *BB,
339 unsigned Reloc, intptr_t JTBase) {
Raul Herbster9c1a3822007-08-30 23:29:26 +0000340 MCE.addRelocation(MachineRelocation::getBB(MCE.getCurrentPCOffset(),
Evan Cheng437c1732008-11-07 22:30:53 +0000341 Reloc, BB, JTBase));
Raul Herbster9c1a3822007-08-30 23:29:26 +0000342}
Evan Cheng0ff94f72007-08-07 01:37:15 +0000343
Chris Lattner33fabd72010-02-02 21:48:51 +0000344void ARMCodeEmitter::emitWordLE(unsigned Binary) {
Chris Lattner893e1c92009-08-23 06:49:22 +0000345 DEBUG(errs() << " 0x";
346 errs().write_hex(Binary) << "\n");
Evan Cheng83b5cf02008-11-05 23:22:34 +0000347 MCE.emitWordLE(Binary);
348}
349
Chris Lattner33fabd72010-02-02 21:48:51 +0000350void ARMCodeEmitter::emitDWordLE(uint64_t Binary) {
Chris Lattner893e1c92009-08-23 06:49:22 +0000351 DEBUG(errs() << " 0x";
352 errs().write_hex(Binary) << "\n");
Evan Chengcb5201f2008-11-11 22:19:31 +0000353 MCE.emitDWordLE(Binary);
354}
355
Chris Lattner33fabd72010-02-02 21:48:51 +0000356void ARMCodeEmitter::emitInstruction(const MachineInstr &MI) {
Chris Lattner705e07f2009-08-23 03:41:05 +0000357 DEBUG(errs() << "JIT: " << (void*)MCE.getCurrentPCValue() << ":\t" << MI);
Evan Cheng42d5ee062008-09-13 01:15:21 +0000358
Devang Patelaf0e2722009-10-06 02:19:11 +0000359 MCE.processDebugLoc(MI.getDebugLoc(), true);
Jeffrey Yasskin75402822009-07-17 18:49:39 +0000360
Dan Gohmanfe601042010-06-22 15:08:57 +0000361 ++NumEmitted; // Keep track of the # of mi's emitted
Evan Chengedda31c2008-11-05 18:35:52 +0000362 switch (MI.getDesc().TSFlags & ARMII::FormMask) {
Evan Chengffa6d962008-11-13 23:36:57 +0000363 default: {
Torok Edwinc23197a2009-07-14 16:55:14 +0000364 llvm_unreachable("Unhandled instruction encoding format!");
Evan Chengedda31c2008-11-05 18:35:52 +0000365 break;
Evan Chengffa6d962008-11-13 23:36:57 +0000366 }
Evan Chengedda31c2008-11-05 18:35:52 +0000367 case ARMII::Pseudo:
Evan Cheng057d0c32008-09-18 07:28:19 +0000368 emitPseudoInstruction(MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000369 break;
370 case ARMII::DPFrm:
371 case ARMII::DPSoRegFrm:
372 emitDataProcessingInstruction(MI);
373 break;
Evan Cheng148cad82008-11-13 07:34:59 +0000374 case ARMII::LdFrm:
375 case ARMII::StFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000376 emitLoadStoreInstruction(MI);
377 break;
Evan Cheng148cad82008-11-13 07:34:59 +0000378 case ARMII::LdMiscFrm:
379 case ARMII::StMiscFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000380 emitMiscLoadStoreInstruction(MI);
381 break;
Evan Cheng3c4a4ff2008-11-12 07:18:38 +0000382 case ARMII::LdStMulFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000383 emitLoadStoreMultipleInstruction(MI);
384 break;
Evan Chengfbc9d412008-11-06 01:21:28 +0000385 case ARMII::MulFrm:
386 emitMulFrmInstruction(MI);
Evan Chengedda31c2008-11-05 18:35:52 +0000387 break;
Evan Cheng97f48c32008-11-06 22:15:19 +0000388 case ARMII::ExtFrm:
389 emitExtendInstruction(MI);
390 break;
Evan Cheng8b59db32008-11-07 01:41:35 +0000391 case ARMII::ArithMiscFrm:
392 emitMiscArithInstruction(MI);
393 break;
Bob Wilson9a1c1892010-08-11 00:01:18 +0000394 case ARMII::SatFrm:
395 emitSaturateInstruction(MI);
396 break;
Evan Cheng12c3a532008-11-06 17:48:05 +0000397 case ARMII::BrFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000398 emitBranchInstruction(MI);
399 break;
Evan Cheng12c3a532008-11-06 17:48:05 +0000400 case ARMII::BrMiscFrm:
Evan Chengedda31c2008-11-05 18:35:52 +0000401 emitMiscBranchInstruction(MI);
402 break;
Evan Cheng96581d32008-11-11 02:11:05 +0000403 // VFP instructions.
404 case ARMII::VFPUnaryFrm:
405 case ARMII::VFPBinaryFrm:
406 emitVFPArithInstruction(MI);
407 break;
Evan Cheng78be83d2008-11-11 19:40:26 +0000408 case ARMII::VFPConv1Frm:
409 case ARMII::VFPConv2Frm:
Evan Cheng0a0ab132008-11-11 22:46:12 +0000410 case ARMII::VFPConv3Frm:
Evan Cheng80a11982008-11-12 06:41:41 +0000411 case ARMII::VFPConv4Frm:
412 case ARMII::VFPConv5Frm:
Evan Cheng78be83d2008-11-11 19:40:26 +0000413 emitVFPConversionInstruction(MI);
414 break;
Evan Chengcd8e66a2008-11-11 21:48:44 +0000415 case ARMII::VFPLdStFrm:
416 emitVFPLoadStoreInstruction(MI);
417 break;
418 case ARMII::VFPLdStMulFrm:
419 emitVFPLoadStoreMultipleInstruction(MI);
420 break;
421 case ARMII::VFPMiscFrm:
422 emitMiscInstruction(MI);
423 break;
Bob Wilson1a913ed2010-06-11 21:34:50 +0000424 // NEON instructions.
Bob Wilson52e4a0a2010-06-26 04:07:15 +0000425 case ARMII::NGetLnFrm:
Bob Wilsond5a563d2010-06-29 17:34:07 +0000426 case ARMII::NSetLnFrm:
427 emitNEONLaneInstruction(MI);
Bob Wilson52e4a0a2010-06-26 04:07:15 +0000428 break;
Bob Wilson21773e72010-06-29 20:13:29 +0000429 case ARMII::NDupFrm:
430 emitNEONDupInstruction(MI);
431 break;
Bob Wilson1a913ed2010-06-11 21:34:50 +0000432 case ARMII::N1RegModImmFrm:
Bob Wilson583a2a02010-06-25 21:17:19 +0000433 emitNEON1RegModImmInstruction(MI);
434 break;
435 case ARMII::N2RegFrm:
436 emitNEON2RegInstruction(MI);
Bob Wilson1a913ed2010-06-11 21:34:50 +0000437 break;
Bob Wilson5e7b6072010-06-25 22:40:46 +0000438 case ARMII::N3RegFrm:
439 emitNEON3RegInstruction(MI);
440 break;
Evan Chengedda31c2008-11-05 18:35:52 +0000441 }
Devang Patelaf0e2722009-10-06 02:19:11 +0000442 MCE.processDebugLoc(MI.getDebugLoc(), false);
Evan Cheng0ff94f72007-08-07 01:37:15 +0000443}
444
Chris Lattner33fabd72010-02-02 21:48:51 +0000445void ARMCodeEmitter::emitConstPoolInstruction(const MachineInstr &MI) {
Evan Cheng437c1732008-11-07 22:30:53 +0000446 unsigned CPI = MI.getOperand(0).getImm(); // CP instruction index.
447 unsigned CPIndex = MI.getOperand(1).getIndex(); // Actual cp entry index.
Evan Cheng938b9d82008-10-31 19:55:13 +0000448 const MachineConstantPoolEntry &MCPE = (*MCPEs)[CPIndex];
Jim Grosbach764ab522009-08-11 15:33:49 +0000449
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000450 // Remember the CONSTPOOL_ENTRY address for later relocation.
451 JTI->addConstantPoolEntryAddr(CPI, MCE.getCurrentPCValue());
452
453 // Emit constpool island entry. In most cases, the actual values will be
454 // resolved and relocated after code emission.
455 if (MCPE.isMachineConstantPoolEntry()) {
456 ARMConstantPoolValue *ACPV =
457 static_cast<ARMConstantPoolValue*>(MCPE.Val.MachineCPVal);
458
Chris Lattner705e07f2009-08-23 03:41:05 +0000459 DEBUG(errs() << " ** ARM constant pool #" << CPI << " @ "
460 << (void*)MCE.getCurrentPCValue() << " " << *ACPV << '\n');
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000461
Bob Wilson28989a82009-11-02 16:59:06 +0000462 assert(ACPV->isGlobalValue() && "unsupported constant pool value");
Dan Gohman46510a72010-04-15 01:51:59 +0000463 const GlobalValue *GV = ACPV->getGV();
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000464 if (GV) {
Evan Cheng08669742009-09-10 01:23:53 +0000465 Reloc::Model RelocM = TM.getRelocationModel();
Evan Chenge4e4ed32009-08-28 23:18:09 +0000466 emitGlobalAddress(GV, ARM::reloc_arm_machine_cp_entry,
Evan Cheng08669742009-09-10 01:23:53 +0000467 isa<Function>(GV),
468 Subtarget->GVIsIndirectSymbol(GV, RelocM),
469 (intptr_t)ACPV);
Evan Cheng25e04782008-11-04 00:50:32 +0000470 } else {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000471 emitExternalSymbolAddress(ACPV->getSymbol(), ARM::reloc_arm_absolute);
472 }
Evan Cheng83b5cf02008-11-05 23:22:34 +0000473 emitWordLE(0);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000474 } else {
Dan Gohman46510a72010-04-15 01:51:59 +0000475 const Constant *CV = MCPE.Val.ConstVal;
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000476
Daniel Dunbarce63ffb2009-07-25 00:23:56 +0000477 DEBUG({
478 errs() << " ** Constant pool #" << CPI << " @ "
479 << (void*)MCE.getCurrentPCValue() << " ";
480 if (const Function *F = dyn_cast<Function>(CV))
481 errs() << F->getName();
482 else
483 errs() << *CV;
484 errs() << '\n';
485 });
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000486
Dan Gohman46510a72010-04-15 01:51:59 +0000487 if (const GlobalValue *GV = dyn_cast<GlobalValue>(CV)) {
Evan Cheng08669742009-09-10 01:23:53 +0000488 emitGlobalAddress(GV, ARM::reloc_arm_absolute, isa<Function>(GV), false);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000489 emitWordLE(0);
Evan Chengcb5201f2008-11-11 22:19:31 +0000490 } else if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000491 uint32_t Val = *(uint32_t*)CI->getValue().getRawData();
Evan Cheng83b5cf02008-11-05 23:22:34 +0000492 emitWordLE(Val);
Evan Chengcb5201f2008-11-11 22:19:31 +0000493 } else if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV)) {
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000494 if (CFP->getType()->isFloatTy())
Evan Chengcb5201f2008-11-11 22:19:31 +0000495 emitWordLE(CFP->getValueAPF().bitcastToAPInt().getZExtValue());
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000496 else if (CFP->getType()->isDoubleTy())
Evan Chengcb5201f2008-11-11 22:19:31 +0000497 emitDWordLE(CFP->getValueAPF().bitcastToAPInt().getZExtValue());
498 else {
Torok Edwinc23197a2009-07-14 16:55:14 +0000499 llvm_unreachable("Unable to handle this constantpool entry!");
Evan Chengcb5201f2008-11-11 22:19:31 +0000500 }
501 } else {
Torok Edwinc23197a2009-07-14 16:55:14 +0000502 llvm_unreachable("Unable to handle this constantpool entry!");
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000503 }
504 }
505}
506
Zonr Changf86399b2010-05-25 08:42:45 +0000507void ARMCodeEmitter::emitMOVi32immInstruction(const MachineInstr &MI) {
508 const MachineOperand &MO0 = MI.getOperand(0);
509 const MachineOperand &MO1 = MI.getOperand(1);
510
511 // Emit the 'movw' instruction.
512 unsigned Binary = 0x30 << 20; // mov: Insts{27-20} = 0b00110000
513
514 unsigned Lo16 = getMovi32Value(MI, MO1, ARM::reloc_arm_movw) & 0xFFFF;
515
516 // Set the conditional execution predicate.
517 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
518
519 // Encode Rd.
520 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
521
522 // Encode imm16 as imm4:imm12
523 Binary |= Lo16 & 0xFFF; // Insts{11-0} = imm12
524 Binary |= ((Lo16 >> 12) & 0xF) << 16; // Insts{19-16} = imm4
525 emitWordLE(Binary);
526
527 unsigned Hi16 = getMovi32Value(MI, MO1, ARM::reloc_arm_movt) >> 16;
528 // Emit the 'movt' instruction.
529 Binary = 0x34 << 20; // movt: Insts{27-20} = 0b00110100
530
531 // Set the conditional execution predicate.
532 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
533
534 // Encode Rd.
535 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
536
537 // Encode imm16 as imm4:imm1, same as movw above.
538 Binary |= Hi16 & 0xFFF;
539 Binary |= ((Hi16 >> 12) & 0xF) << 16;
540 emitWordLE(Binary);
541}
542
Chris Lattner33fabd72010-02-02 21:48:51 +0000543void ARMCodeEmitter::emitMOVi2piecesInstruction(const MachineInstr &MI) {
Evan Cheng90922132008-11-06 02:25:39 +0000544 const MachineOperand &MO0 = MI.getOperand(0);
545 const MachineOperand &MO1 = MI.getOperand(1);
Bob Wilson5265a122010-03-11 00:46:22 +0000546 assert(MO1.isImm() && ARM_AM::isSOImmTwoPartVal(MO1.getImm()) &&
547 "Not a valid so_imm value!");
Evan Cheng90922132008-11-06 02:25:39 +0000548 unsigned V1 = ARM_AM::getSOImmTwoPartFirst(MO1.getImm());
549 unsigned V2 = ARM_AM::getSOImmTwoPartSecond(MO1.getImm());
550
551 // Emit the 'mov' instruction.
552 unsigned Binary = 0xd << 21; // mov: Insts{24-21} = 0b1101
553
554 // Set the conditional execution predicate.
Evan Cheng97f48c32008-11-06 22:15:19 +0000555 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng90922132008-11-06 02:25:39 +0000556
557 // Encode Rd.
558 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
559
560 // Encode so_imm.
561 // Set bit I(25) to identify this is the immediate form of <shifter_op>
562 Binary |= 1 << ARMII::I_BitShift;
Evan Chenge7cbe412009-07-08 21:03:57 +0000563 Binary |= getMachineSoImmOpValue(V1);
Evan Cheng90922132008-11-06 02:25:39 +0000564 emitWordLE(Binary);
565
566 // Now the 'orr' instruction.
567 Binary = 0xc << 21; // orr: Insts{24-21} = 0b1100
568
569 // Set the conditional execution predicate.
Evan Cheng97f48c32008-11-06 22:15:19 +0000570 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng90922132008-11-06 02:25:39 +0000571
572 // Encode Rd.
573 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRdShift;
574
575 // Encode Rn.
576 Binary |= getMachineOpValue(MI, MO0) << ARMII::RegRnShift;
577
578 // Encode so_imm.
579 // Set bit I(25) to identify this is the immediate form of <shifter_op>
580 Binary |= 1 << ARMII::I_BitShift;
Evan Chenge7cbe412009-07-08 21:03:57 +0000581 Binary |= getMachineSoImmOpValue(V2);
Evan Cheng90922132008-11-06 02:25:39 +0000582 emitWordLE(Binary);
583}
584
Chris Lattner33fabd72010-02-02 21:48:51 +0000585void ARMCodeEmitter::emitLEApcrelJTInstruction(const MachineInstr &MI) {
Evan Cheng4df60f52008-11-07 09:06:08 +0000586 // It's basically add r, pc, (LJTI - $+8)
Jim Grosbach764ab522009-08-11 15:33:49 +0000587
Evan Cheng4df60f52008-11-07 09:06:08 +0000588 const TargetInstrDesc &TID = MI.getDesc();
589
590 // Emit the 'add' instruction.
591 unsigned Binary = 0x4 << 21; // add: Insts{24-31} = 0b0100
592
593 // Set the conditional execution predicate
594 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
595
596 // Encode S bit if MI modifies CPSR.
597 Binary |= getAddrModeSBit(MI, TID);
598
599 // Encode Rd.
600 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
601
602 // Encode Rn which is PC.
603 Binary |= ARMRegisterInfo::getRegisterNumbering(ARM::PC) << ARMII::RegRnShift;
604
605 // Encode the displacement.
Evan Cheng4df60f52008-11-07 09:06:08 +0000606 Binary |= 1 << ARMII::I_BitShift;
607 emitJumpTableAddress(MI.getOperand(1).getIndex(), ARM::reloc_arm_jt_base);
608
609 emitWordLE(Binary);
610}
611
Chris Lattner33fabd72010-02-02 21:48:51 +0000612void ARMCodeEmitter::emitPseudoMoveInstruction(const MachineInstr &MI) {
Evan Chenga9562552008-11-14 20:09:11 +0000613 unsigned Opcode = MI.getDesc().Opcode;
614
615 // Part of binary is determined by TableGn.
616 unsigned Binary = getBinaryCodeForInstr(MI);
617
618 // Set the conditional execution predicate
619 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
620
621 // Encode S bit if MI modifies CPSR.
622 if (Opcode == ARM::MOVsrl_flag || Opcode == ARM::MOVsra_flag)
623 Binary |= 1 << ARMII::S_BitShift;
624
625 // Encode register def if there is one.
626 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
627
628 // Encode the shift operation.
629 switch (Opcode) {
630 default: break;
631 case ARM::MOVrx:
632 // rrx
633 Binary |= 0x6 << 4;
634 break;
635 case ARM::MOVsrl_flag:
636 // lsr #1
637 Binary |= (0x2 << 4) | (1 << 7);
638 break;
639 case ARM::MOVsra_flag:
640 // asr #1
641 Binary |= (0x4 << 4) | (1 << 7);
642 break;
643 }
644
645 // Encode register Rm.
646 Binary |= getMachineOpValue(MI, 1);
647
648 emitWordLE(Binary);
649}
650
Chris Lattner33fabd72010-02-02 21:48:51 +0000651void ARMCodeEmitter::addPCLabel(unsigned LabelID) {
Chris Lattner893e1c92009-08-23 06:49:22 +0000652 DEBUG(errs() << " ** LPC" << LabelID << " @ "
653 << (void*)MCE.getCurrentPCValue() << '\n');
Evan Cheng83b5cf02008-11-05 23:22:34 +0000654 JTI->addPCLabelAddr(LabelID, MCE.getCurrentPCValue());
655}
656
Chris Lattner33fabd72010-02-02 21:48:51 +0000657void ARMCodeEmitter::emitPseudoInstruction(const MachineInstr &MI) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000658 unsigned Opcode = MI.getDesc().Opcode;
659 switch (Opcode) {
660 default:
Evan Cheng5adb66a2009-09-28 09:14:39 +0000661 llvm_unreachable("ARMCodeEmitter::emitPseudoInstruction");
Xerxes Ranby99ccffe2010-07-22 17:28:34 +0000662 case ARM::BX:
663 case ARM::BMOVPCRX:
664 case ARM::BXr9:
665 case ARM::BMOVPCRXr9: {
666 // First emit mov lr, pc
667 unsigned Binary = 0x01a0e00f;
668 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
669 emitWordLE(Binary);
670
671 // and then emit the branch.
672 emitMiscBranchInstruction(MI);
673 break;
674 }
Chris Lattner518bb532010-02-09 19:54:29 +0000675 case TargetOpcode::INLINEASM: {
Evan Chenge3066ab2008-11-19 23:21:33 +0000676 // We allow inline assembler nodes with empty bodies - they can
677 // implicitly define registers, which is ok for JIT.
678 if (MI.getOperand(0).getSymbolName()[0]) {
Chris Lattner75361b62010-04-07 22:58:41 +0000679 report_fatal_error("JIT does not support inline asm!");
Evan Chenge3066ab2008-11-19 23:21:33 +0000680 }
Evan Chengffa6d962008-11-13 23:36:57 +0000681 break;
682 }
Bill Wendling7431bea2010-07-16 22:20:36 +0000683 case TargetOpcode::PROLOG_LABEL:
Chris Lattner7561d482010-03-14 02:33:54 +0000684 case TargetOpcode::EH_LABEL:
685 MCE.emitLabel(MI.getOperand(0).getMCSymbol());
686 break;
Chris Lattner518bb532010-02-09 19:54:29 +0000687 case TargetOpcode::IMPLICIT_DEF:
688 case TargetOpcode::KILL:
Evan Chengffa6d962008-11-13 23:36:57 +0000689 // Do nothing.
690 break;
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000691 case ARM::CONSTPOOL_ENTRY:
692 emitConstPoolInstruction(MI);
693 break;
694 case ARM::PICADD: {
Evan Cheng25e04782008-11-04 00:50:32 +0000695 // Remember of the address of the PC label for relocation later.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000696 addPCLabel(MI.getOperand(2).getImm());
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000697 // PICADD is just an add instruction that implicitly read pc.
Evan Cheng437c1732008-11-07 22:30:53 +0000698 emitDataProcessingInstruction(MI, 0, ARM::PC);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000699 break;
700 }
701 case ARM::PICLDR:
702 case ARM::PICLDRB:
703 case ARM::PICSTR:
704 case ARM::PICSTRB: {
705 // Remember of the address of the PC label for relocation later.
706 addPCLabel(MI.getOperand(2).getImm());
707 // These are just load / store instructions that implicitly read pc.
Evan Cheng4df60f52008-11-07 09:06:08 +0000708 emitLoadStoreInstruction(MI, 0, ARM::PC);
Evan Cheng83b5cf02008-11-05 23:22:34 +0000709 break;
710 }
711 case ARM::PICLDRH:
712 case ARM::PICLDRSH:
713 case ARM::PICLDRSB:
714 case ARM::PICSTRH: {
715 // Remember of the address of the PC label for relocation later.
716 addPCLabel(MI.getOperand(2).getImm());
717 // These are just load / store instructions that implicitly read pc.
718 emitMiscLoadStoreInstruction(MI, ARM::PC);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000719 break;
720 }
Zonr Changf86399b2010-05-25 08:42:45 +0000721
722 case ARM::MOVi32imm:
723 emitMOVi32immInstruction(MI);
724 break;
725
Evan Cheng90922132008-11-06 02:25:39 +0000726 case ARM::MOVi2pieces:
727 // Two instructions to materialize a constant.
728 emitMOVi2piecesInstruction(MI);
729 break;
Evan Cheng4df60f52008-11-07 09:06:08 +0000730 case ARM::LEApcrelJT:
731 // Materialize jumptable address.
732 emitLEApcrelJTInstruction(MI);
733 break;
Evan Chenga9562552008-11-14 20:09:11 +0000734 case ARM::MOVrx:
735 case ARM::MOVsrl_flag:
736 case ARM::MOVsra_flag:
737 emitPseudoMoveInstruction(MI);
738 break;
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000739 }
740}
741
Bob Wilson87949d42010-03-17 21:16:45 +0000742unsigned ARMCodeEmitter::getMachineSoRegOpValue(const MachineInstr &MI,
Evan Cheng49a9f292008-09-12 22:45:55 +0000743 const TargetInstrDesc &TID,
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000744 const MachineOperand &MO,
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000745 unsigned OpIdx) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000746 unsigned Binary = getMachineOpValue(MI, MO);
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000747
748 const MachineOperand &MO1 = MI.getOperand(OpIdx + 1);
749 const MachineOperand &MO2 = MI.getOperand(OpIdx + 2);
750 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO2.getImm());
751
752 // Encode the shift opcode.
753 unsigned SBits = 0;
754 unsigned Rs = MO1.getReg();
755 if (Rs) {
756 // Set shift operand (bit[7:4]).
757 // LSL - 0001
758 // LSR - 0011
759 // ASR - 0101
760 // ROR - 0111
761 // RRX - 0110 and bit[11:8] clear.
762 switch (SOpc) {
Torok Edwinc23197a2009-07-14 16:55:14 +0000763 default: llvm_unreachable("Unknown shift opc!");
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000764 case ARM_AM::lsl: SBits = 0x1; break;
765 case ARM_AM::lsr: SBits = 0x3; break;
766 case ARM_AM::asr: SBits = 0x5; break;
767 case ARM_AM::ror: SBits = 0x7; break;
768 case ARM_AM::rrx: SBits = 0x6; break;
769 }
770 } else {
771 // Set shift operand (bit[6:4]).
772 // LSL - 000
773 // LSR - 010
774 // ASR - 100
775 // ROR - 110
776 switch (SOpc) {
Torok Edwinc23197a2009-07-14 16:55:14 +0000777 default: llvm_unreachable("Unknown shift opc!");
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000778 case ARM_AM::lsl: SBits = 0x0; break;
779 case ARM_AM::lsr: SBits = 0x2; break;
780 case ARM_AM::asr: SBits = 0x4; break;
781 case ARM_AM::ror: SBits = 0x6; break;
782 }
783 }
784 Binary |= SBits << 4;
785 if (SOpc == ARM_AM::rrx)
786 return Binary;
787
788 // Encode the shift operation Rs or shift_imm (except rrx).
789 if (Rs) {
790 // Encode Rs bit[11:8].
791 assert(ARM_AM::getSORegOffset(MO2.getImm()) == 0);
792 return Binary |
793 (ARMRegisterInfo::getRegisterNumbering(Rs) << ARMII::RegRsShift);
794 }
795
796 // Encode shift_imm bit[11:7].
797 return Binary | ARM_AM::getSORegOffset(MO2.getImm()) << 7;
798}
799
Chris Lattner33fabd72010-02-02 21:48:51 +0000800unsigned ARMCodeEmitter::getMachineSoImmOpValue(unsigned SoImm) {
Evan Chenge7cbe412009-07-08 21:03:57 +0000801 int SoImmVal = ARM_AM::getSOImmVal(SoImm);
802 assert(SoImmVal != -1 && "Not a valid so_imm value!");
803
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000804 // Encode rotate_imm.
Evan Chenge7cbe412009-07-08 21:03:57 +0000805 unsigned Binary = (ARM_AM::getSOImmValRot((unsigned)SoImmVal) >> 1)
Evan Cheng97f48c32008-11-06 22:15:19 +0000806 << ARMII::SoRotImmShift;
807
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000808 // Encode immed_8.
Evan Chenge7cbe412009-07-08 21:03:57 +0000809 Binary |= ARM_AM::getSOImmValImm((unsigned)SoImmVal);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000810 return Binary;
811}
812
Chris Lattner33fabd72010-02-02 21:48:51 +0000813unsigned ARMCodeEmitter::getAddrModeSBit(const MachineInstr &MI,
Bob Wilson87949d42010-03-17 21:16:45 +0000814 const TargetInstrDesc &TID) const {
Evan Cheng97c573d2008-11-20 02:25:51 +0000815 for (unsigned i = MI.getNumOperands(), e = TID.getNumOperands(); i != e; --i){
Evan Cheng49a9f292008-09-12 22:45:55 +0000816 const MachineOperand &MO = MI.getOperand(i-1);
Dan Gohmand735b802008-10-03 15:45:36 +0000817 if (MO.isReg() && MO.isDef() && MO.getReg() == ARM::CPSR)
Evan Cheng49a9f292008-09-12 22:45:55 +0000818 return 1 << ARMII::S_BitShift;
819 }
820 return 0;
821}
822
Bob Wilson87949d42010-03-17 21:16:45 +0000823void ARMCodeEmitter::emitDataProcessingInstruction(const MachineInstr &MI,
Evan Cheng437c1732008-11-07 22:30:53 +0000824 unsigned ImplicitRd,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000825 unsigned ImplicitRn) {
Evan Chengedda31c2008-11-05 18:35:52 +0000826 const TargetInstrDesc &TID = MI.getDesc();
Evan Chengedda31c2008-11-05 18:35:52 +0000827
828 // Part of binary is determined by TableGn.
829 unsigned Binary = getBinaryCodeForInstr(MI);
830
Jim Grosbach33412622008-10-07 19:05:35 +0000831 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000832 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000833
Evan Cheng49a9f292008-09-12 22:45:55 +0000834 // Encode S bit if MI modifies CPSR.
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +0000835 Binary |= getAddrModeSBit(MI, TID);
Evan Cheng49a9f292008-09-12 22:45:55 +0000836
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000837 // Encode register def if there is one.
Evan Cheng49a9f292008-09-12 22:45:55 +0000838 unsigned NumDefs = TID.getNumDefs();
Evan Chenga964b7d2008-09-12 23:15:39 +0000839 unsigned OpIdx = 0;
Evan Cheng437c1732008-11-07 22:30:53 +0000840 if (NumDefs)
841 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
842 else if (ImplicitRd)
843 // Special handling for implicit use (e.g. PC).
844 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRd)
845 << ARMII::RegRdShift);
Evan Cheng7602e112008-09-02 06:52:38 +0000846
Zonr Changf86399b2010-05-25 08:42:45 +0000847 if (TID.Opcode == ARM::MOVi16) {
848 // Get immediate from MI.
849 unsigned Lo16 = getMovi32Value(MI, MI.getOperand(OpIdx),
850 ARM::reloc_arm_movw);
851 // Encode imm which is the same as in emitMOVi32immInstruction().
852 Binary |= Lo16 & 0xFFF;
853 Binary |= ((Lo16 >> 12) & 0xF) << 16;
854 emitWordLE(Binary);
855 return;
856 } else if(TID.Opcode == ARM::MOVTi16) {
857 unsigned Hi16 = (getMovi32Value(MI, MI.getOperand(OpIdx),
858 ARM::reloc_arm_movt) >> 16);
859 Binary |= Hi16 & 0xFFF;
860 Binary |= ((Hi16 >> 12) & 0xF) << 16;
861 emitWordLE(Binary);
862 return;
Shih-wei Liao9f3b6a32010-05-26 04:46:50 +0000863 } else if ((TID.Opcode == ARM::BFC) || (TID.Opcode == ARM::BFI)) {
Shih-wei Liao6d37a292010-05-26 00:25:05 +0000864 uint32_t v = ~MI.getOperand(2).getImm();
865 int32_t lsb = CountTrailingZeros_32(v);
866 int32_t msb = (32 - CountLeadingZeros_32(v)) - 1;
Shih-wei Liao45469f32010-05-26 03:21:39 +0000867 // Instr{20-16} = msb, Instr{11-7} = lsb
Shih-wei Liao6d37a292010-05-26 00:25:05 +0000868 Binary |= (msb & 0x1F) << 16;
869 Binary |= (lsb & 0x1F) << 7;
870 emitWordLE(Binary);
871 return;
Shih-wei Liao45469f32010-05-26 03:21:39 +0000872 } else if ((TID.Opcode == ARM::UBFX) || (TID.Opcode == ARM::SBFX)) {
873 // Encode Rn in Instr{0-3}
874 Binary |= getMachineOpValue(MI, OpIdx++);
875
876 uint32_t lsb = MI.getOperand(OpIdx++).getImm();
877 uint32_t widthm1 = MI.getOperand(OpIdx++).getImm() - 1;
878
879 // Instr{20-16} = widthm1, Instr{11-7} = lsb
880 Binary |= (widthm1 & 0x1F) << 16;
881 Binary |= (lsb & 0x1F) << 7;
882 emitWordLE(Binary);
883 return;
Zonr Changf86399b2010-05-25 08:42:45 +0000884 }
885
Evan Chengd87293c2008-11-06 08:47:38 +0000886 // If this is a two-address operand, skip it. e.g. MOVCCr operand 1.
887 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
888 ++OpIdx;
889
Jim Grosbachefd30ba2008-10-01 18:16:49 +0000890 // Encode first non-shifter register operand if there is one.
Evan Chengedda31c2008-11-05 18:35:52 +0000891 bool isUnary = TID.TSFlags & ARMII::UnaryDP;
892 if (!isUnary) {
Evan Cheng83b5cf02008-11-05 23:22:34 +0000893 if (ImplicitRn)
894 // Special handling for implicit use (e.g. PC).
895 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
Evan Chengedda31c2008-11-05 18:35:52 +0000896 << ARMII::RegRnShift);
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000897 else {
898 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRnShift;
899 ++OpIdx;
900 }
Evan Cheng7602e112008-09-02 06:52:38 +0000901 }
902
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000903 // Encode shifter operand.
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000904 const MachineOperand &MO = MI.getOperand(OpIdx);
Evan Chengedda31c2008-11-05 18:35:52 +0000905 if ((TID.TSFlags & ARMII::FormMask) == ARMII::DPSoRegFrm) {
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000906 // Encode SoReg.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000907 emitWordLE(Binary | getMachineSoRegOpValue(MI, TID, MO, OpIdx));
Evan Chengedda31c2008-11-05 18:35:52 +0000908 return;
909 }
Evan Chengeb4ed4b2008-10-31 19:10:44 +0000910
Evan Chengedda31c2008-11-05 18:35:52 +0000911 if (MO.isReg()) {
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000912 // Encode register Rm.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000913 emitWordLE(Binary | ARMRegisterInfo::getRegisterNumbering(MO.getReg()));
Evan Chengedda31c2008-11-05 18:35:52 +0000914 return;
915 }
Evan Cheng7602e112008-09-02 06:52:38 +0000916
Evan Cheng5f1db7b2008-09-12 22:01:15 +0000917 // Encode so_imm.
Evan Chenge7cbe412009-07-08 21:03:57 +0000918 Binary |= getMachineSoImmOpValue((unsigned)MO.getImm());
Evan Chengedda31c2008-11-05 18:35:52 +0000919
Evan Cheng83b5cf02008-11-05 23:22:34 +0000920 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000921}
922
Bob Wilson87949d42010-03-17 21:16:45 +0000923void ARMCodeEmitter::emitLoadStoreInstruction(const MachineInstr &MI,
Evan Cheng4df60f52008-11-07 09:06:08 +0000924 unsigned ImplicitRd,
Evan Cheng83b5cf02008-11-05 23:22:34 +0000925 unsigned ImplicitRn) {
Evan Cheng05c356e2008-11-08 01:44:13 +0000926 const TargetInstrDesc &TID = MI.getDesc();
Evan Cheng148cad82008-11-13 07:34:59 +0000927 unsigned Form = TID.TSFlags & ARMII::FormMask;
928 bool IsPrePost = (TID.TSFlags & ARMII::IndexModeMask) != 0;
Evan Cheng05c356e2008-11-08 01:44:13 +0000929
Evan Chengedda31c2008-11-05 18:35:52 +0000930 // Part of binary is determined by TableGn.
931 unsigned Binary = getBinaryCodeForInstr(MI);
932
Jim Grosbach33412622008-10-07 19:05:35 +0000933 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +0000934 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng057d0c32008-09-18 07:28:19 +0000935
Evan Cheng4df60f52008-11-07 09:06:08 +0000936 unsigned OpIdx = 0;
Evan Cheng148cad82008-11-13 07:34:59 +0000937
938 // Operand 0 of a pre- and post-indexed store is the address base
939 // writeback. Skip it.
940 bool Skipped = false;
941 if (IsPrePost && Form == ARMII::StFrm) {
942 ++OpIdx;
943 Skipped = true;
944 }
945
946 // Set first operand
Evan Cheng4df60f52008-11-07 09:06:08 +0000947 if (ImplicitRd)
948 // Special handling for implicit use (e.g. PC).
949 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRd)
950 << ARMII::RegRdShift);
951 else
952 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000953
954 // Set second operand
Evan Cheng83b5cf02008-11-05 23:22:34 +0000955 if (ImplicitRn)
956 // Special handling for implicit use (e.g. PC).
957 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
958 << ARMII::RegRnShift);
Evan Cheng4df60f52008-11-07 09:06:08 +0000959 else
960 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Cheng7602e112008-09-02 06:52:38 +0000961
Evan Cheng05c356e2008-11-08 01:44:13 +0000962 // If this is a two-address operand, skip it. e.g. LDR_PRE.
Evan Cheng148cad82008-11-13 07:34:59 +0000963 if (!Skipped && TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
Evan Cheng05c356e2008-11-08 01:44:13 +0000964 ++OpIdx;
965
Evan Cheng83b5cf02008-11-05 23:22:34 +0000966 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Chengd87293c2008-11-06 08:47:38 +0000967 unsigned AM2Opc = (ImplicitRn == ARM::PC)
Evan Cheng83b5cf02008-11-05 23:22:34 +0000968 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Cheng7602e112008-09-02 06:52:38 +0000969
Evan Chenge7de7e32008-09-13 01:44:01 +0000970 // Set bit U(23) according to sign of immed value (positive or negative).
Evan Cheng83b5cf02008-11-05 23:22:34 +0000971 Binary |= ((ARM_AM::getAM2Op(AM2Opc) == ARM_AM::add ? 1 : 0) <<
Evan Chenge7de7e32008-09-13 01:44:01 +0000972 ARMII::U_BitShift);
Evan Cheng7602e112008-09-02 06:52:38 +0000973 if (!MO2.getReg()) { // is immediate
Evan Cheng83b5cf02008-11-05 23:22:34 +0000974 if (ARM_AM::getAM2Offset(AM2Opc))
Evan Cheng7602e112008-09-02 06:52:38 +0000975 // Set the value of offset_12 field
Evan Cheng83b5cf02008-11-05 23:22:34 +0000976 Binary |= ARM_AM::getAM2Offset(AM2Opc);
977 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +0000978 return;
Evan Cheng7602e112008-09-02 06:52:38 +0000979 }
980
981 // Set bit I(25), because this is not in immediate enconding.
982 Binary |= 1 << ARMII::I_BitShift;
983 assert(TargetRegisterInfo::isPhysicalRegister(MO2.getReg()));
984 // Set bit[3:0] to the corresponding Rm register
985 Binary |= ARMRegisterInfo::getRegisterNumbering(MO2.getReg());
986
Evan Cheng70632912008-11-12 07:34:37 +0000987 // If this instr is in scaled register offset/index instruction, set
Evan Cheng7602e112008-09-02 06:52:38 +0000988 // shift_immed(bit[11:7]) and shift(bit[6:5]) fields.
Evan Cheng83b5cf02008-11-05 23:22:34 +0000989 if (unsigned ShImm = ARM_AM::getAM2Offset(AM2Opc)) {
Evan Cheng70632912008-11-12 07:34:37 +0000990 Binary |= getShiftOp(AM2Opc) << ARMII::ShiftImmShift; // shift
991 Binary |= ShImm << ARMII::ShiftShift; // shift_immed
Evan Cheng7602e112008-09-02 06:52:38 +0000992 }
993
Evan Cheng83b5cf02008-11-05 23:22:34 +0000994 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +0000995}
996
Chris Lattner33fabd72010-02-02 21:48:51 +0000997void ARMCodeEmitter::emitMiscLoadStoreInstruction(const MachineInstr &MI,
Bob Wilson87949d42010-03-17 21:16:45 +0000998 unsigned ImplicitRn) {
Evan Cheng05c356e2008-11-08 01:44:13 +0000999 const TargetInstrDesc &TID = MI.getDesc();
Evan Cheng148cad82008-11-13 07:34:59 +00001000 unsigned Form = TID.TSFlags & ARMII::FormMask;
1001 bool IsPrePost = (TID.TSFlags & ARMII::IndexModeMask) != 0;
Evan Cheng05c356e2008-11-08 01:44:13 +00001002
Evan Chengedda31c2008-11-05 18:35:52 +00001003 // Part of binary is determined by TableGn.
1004 unsigned Binary = getBinaryCodeForInstr(MI);
1005
Jim Grosbach33412622008-10-07 19:05:35 +00001006 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +00001007 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Cheng057d0c32008-09-18 07:28:19 +00001008
Evan Cheng148cad82008-11-13 07:34:59 +00001009 unsigned OpIdx = 0;
1010
1011 // Operand 0 of a pre- and post-indexed store is the address base
1012 // writeback. Skip it.
1013 bool Skipped = false;
1014 if (IsPrePost && Form == ARMII::StMiscFrm) {
1015 ++OpIdx;
1016 Skipped = true;
1017 }
1018
Evan Cheng7602e112008-09-02 06:52:38 +00001019 // Set first operand
Evan Cheng148cad82008-11-13 07:34:59 +00001020 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
Evan Cheng7602e112008-09-02 06:52:38 +00001021
Evan Cheng358dec52009-06-15 08:28:29 +00001022 // Skip LDRD and STRD's second operand.
1023 if (TID.Opcode == ARM::LDRD || TID.Opcode == ARM::STRD)
1024 ++OpIdx;
1025
Evan Cheng7602e112008-09-02 06:52:38 +00001026 // Set second operand
Evan Cheng83b5cf02008-11-05 23:22:34 +00001027 if (ImplicitRn)
1028 // Special handling for implicit use (e.g. PC).
1029 Binary |= (ARMRegisterInfo::getRegisterNumbering(ImplicitRn)
1030 << ARMII::RegRnShift);
Evan Cheng4df60f52008-11-07 09:06:08 +00001031 else
1032 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Cheng7602e112008-09-02 06:52:38 +00001033
Evan Cheng05c356e2008-11-08 01:44:13 +00001034 // If this is a two-address operand, skip it. e.g. LDRH_POST.
Evan Cheng148cad82008-11-13 07:34:59 +00001035 if (!Skipped && TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
Evan Cheng05c356e2008-11-08 01:44:13 +00001036 ++OpIdx;
1037
Evan Cheng83b5cf02008-11-05 23:22:34 +00001038 const MachineOperand &MO2 = MI.getOperand(OpIdx);
Evan Chengd87293c2008-11-06 08:47:38 +00001039 unsigned AM3Opc = (ImplicitRn == ARM::PC)
Evan Cheng83b5cf02008-11-05 23:22:34 +00001040 ? 0 : MI.getOperand(OpIdx+1).getImm();
Evan Cheng7602e112008-09-02 06:52:38 +00001041
Evan Chenge7de7e32008-09-13 01:44:01 +00001042 // Set bit U(23) according to sign of immed value (positive or negative)
Evan Cheng83b5cf02008-11-05 23:22:34 +00001043 Binary |= ((ARM_AM::getAM3Op(AM3Opc) == ARM_AM::add ? 1 : 0) <<
Evan Cheng7602e112008-09-02 06:52:38 +00001044 ARMII::U_BitShift);
1045
1046 // If this instr is in register offset/index encoding, set bit[3:0]
1047 // to the corresponding Rm register.
1048 if (MO2.getReg()) {
1049 Binary |= ARMRegisterInfo::getRegisterNumbering(MO2.getReg());
Evan Cheng83b5cf02008-11-05 23:22:34 +00001050 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +00001051 return;
Evan Cheng7602e112008-09-02 06:52:38 +00001052 }
1053
Evan Chengd87293c2008-11-06 08:47:38 +00001054 // This instr is in immediate offset/index encoding, set bit 22 to 1.
Evan Cheng97f48c32008-11-06 22:15:19 +00001055 Binary |= 1 << ARMII::AM3_I_BitShift;
Evan Cheng83b5cf02008-11-05 23:22:34 +00001056 if (unsigned ImmOffs = ARM_AM::getAM3Offset(AM3Opc)) {
Evan Cheng7602e112008-09-02 06:52:38 +00001057 // Set operands
Evan Cheng70632912008-11-12 07:34:37 +00001058 Binary |= (ImmOffs >> 4) << ARMII::ImmHiShift; // immedH
1059 Binary |= (ImmOffs & 0xF); // immedL
Evan Cheng7602e112008-09-02 06:52:38 +00001060 }
1061
Evan Cheng83b5cf02008-11-05 23:22:34 +00001062 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +00001063}
1064
Evan Chengcd8e66a2008-11-11 21:48:44 +00001065static unsigned getAddrModeUPBits(unsigned Mode) {
1066 unsigned Binary = 0;
Evan Cheng7602e112008-09-02 06:52:38 +00001067
1068 // Set addressing mode by modifying bits U(23) and P(24)
1069 // IA - Increment after - bit U = 1 and bit P = 0
1070 // IB - Increment before - bit U = 1 and bit P = 1
1071 // DA - Decrement after - bit U = 0 and bit P = 0
1072 // DB - Decrement before - bit U = 0 and bit P = 1
Evan Cheng7602e112008-09-02 06:52:38 +00001073 switch (Mode) {
Torok Edwinc23197a2009-07-14 16:55:14 +00001074 default: llvm_unreachable("Unknown addressing sub-mode!");
Evan Cheng10bf7342009-09-09 23:55:03 +00001075 case ARM_AM::da: break;
Evan Cheng97f48c32008-11-06 22:15:19 +00001076 case ARM_AM::db: Binary |= 0x1 << ARMII::P_BitShift; break;
1077 case ARM_AM::ia: Binary |= 0x1 << ARMII::U_BitShift; break;
1078 case ARM_AM::ib: Binary |= 0x3 << ARMII::U_BitShift; break;
Evan Cheng7602e112008-09-02 06:52:38 +00001079 }
1080
Evan Chengcd8e66a2008-11-11 21:48:44 +00001081 return Binary;
1082}
1083
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001084void ARMCodeEmitter::emitLoadStoreMultipleInstruction(const MachineInstr &MI) {
1085 const TargetInstrDesc &TID = MI.getDesc();
1086 bool IsUpdating = (TID.TSFlags & ARMII::IndexModeMask) != 0;
1087
Evan Chengcd8e66a2008-11-11 21:48:44 +00001088 // Part of binary is determined by TableGn.
1089 unsigned Binary = getBinaryCodeForInstr(MI);
1090
1091 // Set the conditional execution predicate
1092 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1093
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001094 // Skip operand 0 of an instruction with base register update.
1095 unsigned OpIdx = 0;
1096 if (IsUpdating)
1097 ++OpIdx;
1098
Evan Chengcd8e66a2008-11-11 21:48:44 +00001099 // Set base address operand
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001100 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Chengcd8e66a2008-11-11 21:48:44 +00001101
1102 // Set addressing mode by modifying bits U(23) and P(24)
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001103 const MachineOperand &MO = MI.getOperand(OpIdx++);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001104 Binary |= getAddrModeUPBits(ARM_AM::getAM4SubMode(MO.getImm()));
1105
Evan Cheng7602e112008-09-02 06:52:38 +00001106 // Set bit W(21)
Bob Wilsonab346052010-03-16 17:46:45 +00001107 if (IsUpdating)
Evan Cheng97f48c32008-11-06 22:15:19 +00001108 Binary |= 0x1 << ARMII::W_BitShift;
Evan Cheng7602e112008-09-02 06:52:38 +00001109
1110 // Set registers
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001111 for (unsigned i = OpIdx+2, e = MI.getNumOperands(); i != e; ++i) {
Evan Cheng7602e112008-09-02 06:52:38 +00001112 const MachineOperand &MO = MI.getOperand(i);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001113 if (!MO.isReg() || MO.isImplicit())
1114 break;
Evan Cheng7602e112008-09-02 06:52:38 +00001115 unsigned RegNum = ARMRegisterInfo::getRegisterNumbering(MO.getReg());
1116 assert(TargetRegisterInfo::isPhysicalRegister(MO.getReg()) &&
1117 RegNum < 16);
1118 Binary |= 0x1 << RegNum;
1119 }
1120
Evan Cheng83b5cf02008-11-05 23:22:34 +00001121 emitWordLE(Binary);
Evan Cheng7602e112008-09-02 06:52:38 +00001122}
1123
Chris Lattner33fabd72010-02-02 21:48:51 +00001124void ARMCodeEmitter::emitMulFrmInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +00001125 const TargetInstrDesc &TID = MI.getDesc();
1126
1127 // Part of binary is determined by TableGn.
1128 unsigned Binary = getBinaryCodeForInstr(MI);
1129
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +00001130 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +00001131 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +00001132
1133 // Encode S bit if MI modifies CPSR.
1134 Binary |= getAddrModeSBit(MI, TID);
1135
1136 // 32x32->64bit operations have two destination registers. The number
1137 // of register definitions will tell us if that's what we're dealing with.
Evan Cheng97f48c32008-11-06 22:15:19 +00001138 unsigned OpIdx = 0;
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +00001139 if (TID.getNumDefs() == 2)
1140 Binary |= getMachineOpValue (MI, OpIdx++) << ARMII::RegRdLoShift;
1141
1142 // Encode Rd
1143 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdHiShift;
1144
1145 // Encode Rm
1146 Binary |= getMachineOpValue(MI, OpIdx++);
1147
1148 // Encode Rs
1149 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRsShift;
1150
Evan Chengfbc9d412008-11-06 01:21:28 +00001151 // Many multiple instructions (e.g. MLA) have three src operands. Encode
1152 // it as Rn (for multiply, that's in the same offset as RdLo.
Evan Cheng97f48c32008-11-06 22:15:19 +00001153 if (TID.getNumOperands() > OpIdx &&
1154 !TID.OpInfo[OpIdx].isPredicate() &&
1155 !TID.OpInfo[OpIdx].isOptionalDef())
1156 Binary |= getMachineOpValue(MI, OpIdx) << ARMII::RegRdLoShift;
1157
1158 emitWordLE(Binary);
1159}
1160
Chris Lattner33fabd72010-02-02 21:48:51 +00001161void ARMCodeEmitter::emitExtendInstruction(const MachineInstr &MI) {
Evan Cheng97f48c32008-11-06 22:15:19 +00001162 const TargetInstrDesc &TID = MI.getDesc();
1163
1164 // Part of binary is determined by TableGn.
1165 unsigned Binary = getBinaryCodeForInstr(MI);
1166
1167 // Set the conditional execution predicate
1168 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1169
1170 unsigned OpIdx = 0;
1171
1172 // Encode Rd
1173 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
1174
1175 const MachineOperand &MO1 = MI.getOperand(OpIdx++);
1176 const MachineOperand &MO2 = MI.getOperand(OpIdx);
1177 if (MO2.isReg()) {
1178 // Two register operand form.
1179 // Encode Rn.
1180 Binary |= getMachineOpValue(MI, MO1) << ARMII::RegRnShift;
1181
1182 // Encode Rm.
1183 Binary |= getMachineOpValue(MI, MO2);
1184 ++OpIdx;
1185 } else {
1186 Binary |= getMachineOpValue(MI, MO1);
1187 }
1188
1189 // Encode rot imm (0, 8, 16, or 24) if it has a rotate immediate operand.
1190 if (MI.getOperand(OpIdx).isImm() &&
1191 !TID.OpInfo[OpIdx].isPredicate() &&
1192 !TID.OpInfo[OpIdx].isOptionalDef())
1193 Binary |= (getMachineOpValue(MI, OpIdx) / 8) << ARMII::ExtRotImmShift;
Evan Chengfbc9d412008-11-06 01:21:28 +00001194
Evan Cheng83b5cf02008-11-05 23:22:34 +00001195 emitWordLE(Binary);
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +00001196}
1197
Chris Lattner33fabd72010-02-02 21:48:51 +00001198void ARMCodeEmitter::emitMiscArithInstruction(const MachineInstr &MI) {
Evan Cheng8b59db32008-11-07 01:41:35 +00001199 const TargetInstrDesc &TID = MI.getDesc();
1200
1201 // Part of binary is determined by TableGn.
1202 unsigned Binary = getBinaryCodeForInstr(MI);
1203
1204 // Set the conditional execution predicate
1205 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1206
1207 unsigned OpIdx = 0;
1208
1209 // Encode Rd
1210 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRdShift;
1211
1212 const MachineOperand &MO = MI.getOperand(OpIdx++);
1213 if (OpIdx == TID.getNumOperands() ||
1214 TID.OpInfo[OpIdx].isPredicate() ||
1215 TID.OpInfo[OpIdx].isOptionalDef()) {
1216 // Encode Rm and it's done.
1217 Binary |= getMachineOpValue(MI, MO);
1218 emitWordLE(Binary);
1219 return;
1220 }
1221
1222 // Encode Rn.
1223 Binary |= getMachineOpValue(MI, MO) << ARMII::RegRnShift;
1224
1225 // Encode Rm.
1226 Binary |= getMachineOpValue(MI, OpIdx++);
1227
1228 // Encode shift_imm.
1229 unsigned ShiftAmt = MI.getOperand(OpIdx).getImm();
Bob Wilsonf955f292010-08-17 17:23:19 +00001230 if (TID.Opcode == ARM::PKHTB) {
1231 assert(ShiftAmt != 0 && "PKHTB shift_imm is 0!");
1232 if (ShiftAmt == 32)
1233 ShiftAmt = 0;
1234 }
Evan Cheng8b59db32008-11-07 01:41:35 +00001235 assert(ShiftAmt < 32 && "shift_imm range is 0 to 31!");
1236 Binary |= ShiftAmt << ARMII::ShiftShift;
Jim Grosbach764ab522009-08-11 15:33:49 +00001237
Evan Cheng8b59db32008-11-07 01:41:35 +00001238 emitWordLE(Binary);
1239}
1240
Bob Wilson9a1c1892010-08-11 00:01:18 +00001241void ARMCodeEmitter::emitSaturateInstruction(const MachineInstr &MI) {
1242 const TargetInstrDesc &TID = MI.getDesc();
1243
1244 // Part of binary is determined by TableGen.
1245 unsigned Binary = getBinaryCodeForInstr(MI);
1246
1247 // Set the conditional execution predicate
1248 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1249
1250 // Encode Rd
1251 Binary |= getMachineOpValue(MI, 0) << ARMII::RegRdShift;
1252
1253 // Encode saturate bit position.
1254 unsigned Pos = MI.getOperand(1).getImm();
Bob Wilsoneaf1c982010-08-11 23:10:46 +00001255 if (TID.Opcode == ARM::SSAT || TID.Opcode == ARM::SSAT16)
Bob Wilson9a1c1892010-08-11 00:01:18 +00001256 Pos -= 1;
1257 assert((Pos < 16 || (Pos < 32 &&
1258 TID.Opcode != ARM::SSAT16 &&
1259 TID.Opcode != ARM::USAT16)) &&
1260 "saturate bit position out of range");
1261 Binary |= Pos << 16;
1262
1263 // Encode Rm
1264 Binary |= getMachineOpValue(MI, 2);
1265
1266 // Encode shift_imm.
1267 if (TID.getNumOperands() == 4) {
Bob Wilsoneaf1c982010-08-11 23:10:46 +00001268 unsigned ShiftOp = MI.getOperand(3).getImm();
1269 ARM_AM::ShiftOpc Opc = ARM_AM::getSORegShOp(ShiftOp);
1270 if (Opc == ARM_AM::asr)
1271 Binary |= (1 << 6);
Bob Wilson9a1c1892010-08-11 00:01:18 +00001272 unsigned ShiftAmt = MI.getOperand(3).getImm();
Bob Wilsoneaf1c982010-08-11 23:10:46 +00001273 if (ShiftAmt == 32 && Opc == ARM_AM::asr)
Bob Wilson9a1c1892010-08-11 00:01:18 +00001274 ShiftAmt = 0;
1275 assert(ShiftAmt < 32 && "shift_imm range is 0 to 31!");
1276 Binary |= ShiftAmt << ARMII::ShiftShift;
1277 }
1278
1279 emitWordLE(Binary);
1280}
1281
Chris Lattner33fabd72010-02-02 21:48:51 +00001282void ARMCodeEmitter::emitBranchInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +00001283 const TargetInstrDesc &TID = MI.getDesc();
1284
Torok Edwindac237e2009-07-08 20:53:28 +00001285 if (TID.Opcode == ARM::TPsoft) {
Torok Edwinc23197a2009-07-14 16:55:14 +00001286 llvm_unreachable("ARM::TPsoft FIXME"); // FIXME
Torok Edwindac237e2009-07-08 20:53:28 +00001287 }
Evan Cheng12c3a532008-11-06 17:48:05 +00001288
Evan Cheng7602e112008-09-02 06:52:38 +00001289 // Part of binary is determined by TableGn.
1290 unsigned Binary = getBinaryCodeForInstr(MI);
1291
Evan Chengedda31c2008-11-05 18:35:52 +00001292 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +00001293 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chengedda31c2008-11-05 18:35:52 +00001294
1295 // Set signed_immed_24 field
1296 Binary |= getMachineOpValue(MI, 0);
1297
Evan Cheng83b5cf02008-11-05 23:22:34 +00001298 emitWordLE(Binary);
Evan Chengedda31c2008-11-05 18:35:52 +00001299}
1300
Chris Lattner33fabd72010-02-02 21:48:51 +00001301void ARMCodeEmitter::emitInlineJumpTable(unsigned JTIndex) {
Evan Cheng4df60f52008-11-07 09:06:08 +00001302 // Remember the base address of the inline jump table.
Evan Cheng5788d1a2008-12-10 02:32:19 +00001303 uintptr_t JTBase = MCE.getCurrentPCValue();
Evan Cheng437c1732008-11-07 22:30:53 +00001304 JTI->addJumpTableBaseAddr(JTIndex, JTBase);
Chris Lattner893e1c92009-08-23 06:49:22 +00001305 DEBUG(errs() << " ** Jump Table #" << JTIndex << " @ " << (void*)JTBase
1306 << '\n');
Evan Cheng4df60f52008-11-07 09:06:08 +00001307
1308 // Now emit the jump table entries.
1309 const std::vector<MachineBasicBlock*> &MBBs = (*MJTEs)[JTIndex].MBBs;
1310 for (unsigned i = 0, e = MBBs.size(); i != e; ++i) {
1311 if (IsPIC)
1312 // DestBB address - JT base.
Evan Cheng437c1732008-11-07 22:30:53 +00001313 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_pic_jt, JTBase);
Evan Cheng4df60f52008-11-07 09:06:08 +00001314 else
1315 // Absolute DestBB address.
1316 emitMachineBasicBlock(MBBs[i], ARM::reloc_arm_absolute);
1317 emitWordLE(0);
1318 }
1319}
1320
Chris Lattner33fabd72010-02-02 21:48:51 +00001321void ARMCodeEmitter::emitMiscBranchInstruction(const MachineInstr &MI) {
Evan Chengedda31c2008-11-05 18:35:52 +00001322 const TargetInstrDesc &TID = MI.getDesc();
Evan Chengedda31c2008-11-05 18:35:52 +00001323
Evan Cheng437c1732008-11-07 22:30:53 +00001324 // Handle jump tables.
Evan Cheng90daf4d2009-07-25 00:13:11 +00001325 if (TID.Opcode == ARM::BR_JTr || TID.Opcode == ARM::BR_JTadd) {
Evan Cheng437c1732008-11-07 22:30:53 +00001326 // First emit a ldr pc, [] instruction.
1327 emitDataProcessingInstruction(MI, ARM::PC);
1328
1329 // Then emit the inline jump table.
Evan Chengc9a41532009-07-08 00:05:05 +00001330 unsigned JTIndex =
Evan Cheng90daf4d2009-07-25 00:13:11 +00001331 (TID.Opcode == ARM::BR_JTr)
Evan Cheng437c1732008-11-07 22:30:53 +00001332 ? MI.getOperand(1).getIndex() : MI.getOperand(2).getIndex();
1333 emitInlineJumpTable(JTIndex);
1334 return;
Evan Cheng90daf4d2009-07-25 00:13:11 +00001335 } else if (TID.Opcode == ARM::BR_JTm) {
Evan Cheng4df60f52008-11-07 09:06:08 +00001336 // First emit a ldr pc, [] instruction.
1337 emitLoadStoreInstruction(MI, ARM::PC);
1338
1339 // Then emit the inline jump table.
Evan Cheng437c1732008-11-07 22:30:53 +00001340 emitInlineJumpTable(MI.getOperand(3).getIndex());
Evan Cheng4df60f52008-11-07 09:06:08 +00001341 return;
1342 }
1343
Evan Chengedda31c2008-11-05 18:35:52 +00001344 // Part of binary is determined by TableGn.
1345 unsigned Binary = getBinaryCodeForInstr(MI);
1346
1347 // Set the conditional execution predicate
Evan Cheng97f48c32008-11-06 22:15:19 +00001348 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
Evan Chengedda31c2008-11-05 18:35:52 +00001349
Anton Korobeynikovce7bf1c2010-03-06 19:39:36 +00001350 if (TID.Opcode == ARM::BX_RET || TID.Opcode == ARM::MOVPCLR)
Evan Chengedda31c2008-11-05 18:35:52 +00001351 // The return register is LR.
1352 Binary |= ARMRegisterInfo::getRegisterNumbering(ARM::LR);
Jim Grosbach764ab522009-08-11 15:33:49 +00001353 else
Evan Chengedda31c2008-11-05 18:35:52 +00001354 // otherwise, set the return register
1355 Binary |= getMachineOpValue(MI, 0);
1356
Evan Cheng83b5cf02008-11-05 23:22:34 +00001357 emitWordLE(Binary);
Evan Cheng148b6a42007-07-05 21:15:40 +00001358}
Evan Cheng7602e112008-09-02 06:52:38 +00001359
Evan Cheng80a11982008-11-12 06:41:41 +00001360static unsigned encodeVFPRd(const MachineInstr &MI, unsigned OpIdx) {
Evan Chengd06d48d2008-11-12 02:19:38 +00001361 unsigned RegD = MI.getOperand(OpIdx).getReg();
Evan Cheng80a11982008-11-12 06:41:41 +00001362 unsigned Binary = 0;
Evan Chengd06d48d2008-11-12 02:19:38 +00001363 bool isSPVFP = false;
Evan Cheng8295d992009-07-22 05:55:18 +00001364 RegD = ARMRegisterInfo::getRegisterNumbering(RegD, &isSPVFP);
Evan Chengd06d48d2008-11-12 02:19:38 +00001365 if (!isSPVFP)
1366 Binary |= RegD << ARMII::RegRdShift;
1367 else {
1368 Binary |= ((RegD & 0x1E) >> 1) << ARMII::RegRdShift;
1369 Binary |= (RegD & 0x01) << ARMII::D_BitShift;
1370 }
Evan Cheng80a11982008-11-12 06:41:41 +00001371 return Binary;
1372}
Evan Cheng78be83d2008-11-11 19:40:26 +00001373
Evan Cheng80a11982008-11-12 06:41:41 +00001374static unsigned encodeVFPRn(const MachineInstr &MI, unsigned OpIdx) {
Evan Chengd06d48d2008-11-12 02:19:38 +00001375 unsigned RegN = MI.getOperand(OpIdx).getReg();
Evan Cheng80a11982008-11-12 06:41:41 +00001376 unsigned Binary = 0;
1377 bool isSPVFP = false;
Evan Cheng8295d992009-07-22 05:55:18 +00001378 RegN = ARMRegisterInfo::getRegisterNumbering(RegN, &isSPVFP);
Evan Chengd06d48d2008-11-12 02:19:38 +00001379 if (!isSPVFP)
1380 Binary |= RegN << ARMII::RegRnShift;
1381 else {
1382 Binary |= ((RegN & 0x1E) >> 1) << ARMII::RegRnShift;
1383 Binary |= (RegN & 0x01) << ARMII::N_BitShift;
1384 }
Evan Cheng80a11982008-11-12 06:41:41 +00001385 return Binary;
1386}
Evan Chengd06d48d2008-11-12 02:19:38 +00001387
Evan Cheng80a11982008-11-12 06:41:41 +00001388static unsigned encodeVFPRm(const MachineInstr &MI, unsigned OpIdx) {
1389 unsigned RegM = MI.getOperand(OpIdx).getReg();
1390 unsigned Binary = 0;
1391 bool isSPVFP = false;
Evan Cheng8295d992009-07-22 05:55:18 +00001392 RegM = ARMRegisterInfo::getRegisterNumbering(RegM, &isSPVFP);
Evan Cheng80a11982008-11-12 06:41:41 +00001393 if (!isSPVFP)
1394 Binary |= RegM;
1395 else {
1396 Binary |= ((RegM & 0x1E) >> 1);
1397 Binary |= (RegM & 0x01) << ARMII::M_BitShift;
Evan Cheng78be83d2008-11-11 19:40:26 +00001398 }
Evan Cheng80a11982008-11-12 06:41:41 +00001399 return Binary;
1400}
1401
Chris Lattner33fabd72010-02-02 21:48:51 +00001402void ARMCodeEmitter::emitVFPArithInstruction(const MachineInstr &MI) {
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001403 const TargetInstrDesc &TID = MI.getDesc();
1404
1405 // Part of binary is determined by TableGn.
1406 unsigned Binary = getBinaryCodeForInstr(MI);
1407
1408 // Set the conditional execution predicate
1409 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1410
1411 unsigned OpIdx = 0;
1412 assert((Binary & ARMII::D_BitShift) == 0 &&
1413 (Binary & ARMII::N_BitShift) == 0 &&
1414 (Binary & ARMII::M_BitShift) == 0 && "VFP encoding bug!");
1415
1416 // Encode Dd / Sd.
1417 Binary |= encodeVFPRd(MI, OpIdx++);
1418
1419 // If this is a two-address operand, skip it, e.g. FMACD.
1420 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1421 ++OpIdx;
1422
1423 // Encode Dn / Sn.
1424 if ((TID.TSFlags & ARMII::FormMask) == ARMII::VFPBinaryFrm)
Evan Cheng3f4924e2008-11-12 08:14:21 +00001425 Binary |= encodeVFPRn(MI, OpIdx++);
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001426
1427 if (OpIdx == TID.getNumOperands() ||
1428 TID.OpInfo[OpIdx].isPredicate() ||
1429 TID.OpInfo[OpIdx].isOptionalDef()) {
1430 // FCMPEZD etc. has only one operand.
1431 emitWordLE(Binary);
1432 return;
1433 }
1434
1435 // Encode Dm / Sm.
1436 Binary |= encodeVFPRm(MI, OpIdx);
Jim Grosbach764ab522009-08-11 15:33:49 +00001437
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001438 emitWordLE(Binary);
1439}
1440
Bob Wilson87949d42010-03-17 21:16:45 +00001441void ARMCodeEmitter::emitVFPConversionInstruction(const MachineInstr &MI) {
Evan Cheng80a11982008-11-12 06:41:41 +00001442 const TargetInstrDesc &TID = MI.getDesc();
1443 unsigned Form = TID.TSFlags & ARMII::FormMask;
1444
1445 // Part of binary is determined by TableGn.
1446 unsigned Binary = getBinaryCodeForInstr(MI);
1447
1448 // Set the conditional execution predicate
1449 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1450
1451 switch (Form) {
1452 default: break;
1453 case ARMII::VFPConv1Frm:
1454 case ARMII::VFPConv2Frm:
1455 case ARMII::VFPConv3Frm:
1456 // Encode Dd / Sd.
1457 Binary |= encodeVFPRd(MI, 0);
1458 break;
1459 case ARMII::VFPConv4Frm:
1460 // Encode Dn / Sn.
1461 Binary |= encodeVFPRn(MI, 0);
1462 break;
1463 case ARMII::VFPConv5Frm:
1464 // Encode Dm / Sm.
1465 Binary |= encodeVFPRm(MI, 0);
1466 break;
1467 }
1468
1469 switch (Form) {
1470 default: break;
1471 case ARMII::VFPConv1Frm:
1472 // Encode Dm / Sm.
1473 Binary |= encodeVFPRm(MI, 1);
Evan Cheng67fd91f2008-11-13 07:46:59 +00001474 break;
Evan Cheng80a11982008-11-12 06:41:41 +00001475 case ARMII::VFPConv2Frm:
1476 case ARMII::VFPConv3Frm:
1477 // Encode Dn / Sn.
1478 Binary |= encodeVFPRn(MI, 1);
1479 break;
1480 case ARMII::VFPConv4Frm:
1481 case ARMII::VFPConv5Frm:
1482 // Encode Dd / Sd.
1483 Binary |= encodeVFPRd(MI, 1);
1484 break;
1485 }
1486
1487 if (Form == ARMII::VFPConv5Frm)
1488 // Encode Dn / Sn.
1489 Binary |= encodeVFPRn(MI, 2);
1490 else if (Form == ARMII::VFPConv3Frm)
1491 // Encode Dm / Sm.
1492 Binary |= encodeVFPRm(MI, 2);
Evan Cheng78be83d2008-11-11 19:40:26 +00001493
1494 emitWordLE(Binary);
1495}
1496
Chris Lattner33fabd72010-02-02 21:48:51 +00001497void ARMCodeEmitter::emitVFPLoadStoreInstruction(const MachineInstr &MI) {
Evan Chengcd8e66a2008-11-11 21:48:44 +00001498 // Part of binary is determined by TableGn.
1499 unsigned Binary = getBinaryCodeForInstr(MI);
1500
1501 // Set the conditional execution predicate
1502 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1503
1504 unsigned OpIdx = 0;
1505
1506 // Encode Dd / Sd.
Evan Cheng3c4a4ff2008-11-12 07:18:38 +00001507 Binary |= encodeVFPRd(MI, OpIdx++);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001508
1509 // Encode address base.
1510 const MachineOperand &Base = MI.getOperand(OpIdx++);
1511 Binary |= getMachineOpValue(MI, Base) << ARMII::RegRnShift;
1512
1513 // If there is a non-zero immediate offset, encode it.
1514 if (Base.isReg()) {
1515 const MachineOperand &Offset = MI.getOperand(OpIdx);
1516 if (unsigned ImmOffs = ARM_AM::getAM5Offset(Offset.getImm())) {
1517 if (ARM_AM::getAM5Op(Offset.getImm()) == ARM_AM::add)
1518 Binary |= 1 << ARMII::U_BitShift;
Evan Cheng607f1b42008-11-12 08:21:12 +00001519 Binary |= ImmOffs;
Evan Chengcd8e66a2008-11-11 21:48:44 +00001520 emitWordLE(Binary);
1521 return;
1522 }
1523 }
1524
1525 // If immediate offset is omitted, default to +0.
1526 Binary |= 1 << ARMII::U_BitShift;
1527
1528 emitWordLE(Binary);
1529}
1530
Bob Wilson87949d42010-03-17 21:16:45 +00001531void
1532ARMCodeEmitter::emitVFPLoadStoreMultipleInstruction(const MachineInstr &MI) {
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001533 const TargetInstrDesc &TID = MI.getDesc();
1534 bool IsUpdating = (TID.TSFlags & ARMII::IndexModeMask) != 0;
1535
Evan Chengcd8e66a2008-11-11 21:48:44 +00001536 // Part of binary is determined by TableGn.
1537 unsigned Binary = getBinaryCodeForInstr(MI);
1538
1539 // Set the conditional execution predicate
1540 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1541
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001542 // Skip operand 0 of an instruction with base register update.
1543 unsigned OpIdx = 0;
1544 if (IsUpdating)
1545 ++OpIdx;
1546
Evan Chengcd8e66a2008-11-11 21:48:44 +00001547 // Set base address operand
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001548 Binary |= getMachineOpValue(MI, OpIdx++) << ARMII::RegRnShift;
Evan Chengcd8e66a2008-11-11 21:48:44 +00001549
1550 // Set addressing mode by modifying bits U(23) and P(24)
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001551 const MachineOperand &MO = MI.getOperand(OpIdx++);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001552 Binary |= getAddrModeUPBits(ARM_AM::getAM5SubMode(MO.getImm()));
1553
1554 // Set bit W(21)
Bob Wilson2d357f62010-03-16 18:38:09 +00001555 if (IsUpdating)
Evan Chengcd8e66a2008-11-11 21:48:44 +00001556 Binary |= 0x1 << ARMII::W_BitShift;
1557
1558 // First register is encoded in Dd.
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001559 Binary |= encodeVFPRd(MI, OpIdx+2);
Evan Chengcd8e66a2008-11-11 21:48:44 +00001560
1561 // Number of registers are encoded in offset field.
1562 unsigned NumRegs = 1;
Bob Wilsonbffb5b32010-03-13 07:34:35 +00001563 for (unsigned i = OpIdx+3, e = MI.getNumOperands(); i != e; ++i) {
Evan Chengcd8e66a2008-11-11 21:48:44 +00001564 const MachineOperand &MO = MI.getOperand(i);
1565 if (!MO.isReg() || MO.isImplicit())
1566 break;
1567 ++NumRegs;
1568 }
Shih-wei Liao5170b712010-05-26 00:02:28 +00001569 // Bit 8 will be set if <list> is consecutive 64-bit registers (e.g., D0)
1570 // Otherwise, it will be 0, in the case of 32-bit registers.
1571 if(Binary & 0x100)
1572 Binary |= NumRegs * 2;
1573 else
1574 Binary |= NumRegs;
Evan Chengcd8e66a2008-11-11 21:48:44 +00001575
1576 emitWordLE(Binary);
1577}
1578
Chris Lattner33fabd72010-02-02 21:48:51 +00001579void ARMCodeEmitter::emitMiscInstruction(const MachineInstr &MI) {
Zonr Changf3c770a2010-05-25 10:23:52 +00001580 unsigned Opcode = MI.getDesc().Opcode;
Evan Chengcd8e66a2008-11-11 21:48:44 +00001581 // Part of binary is determined by TableGn.
1582 unsigned Binary = getBinaryCodeForInstr(MI);
1583
1584 // Set the conditional execution predicate
1585 Binary |= II->getPredicate(&MI) << ARMII::CondShift;
1586
Zonr Changf3c770a2010-05-25 10:23:52 +00001587 switch(Opcode) {
1588 default:
1589 llvm_unreachable("ARMCodeEmitter::emitMiscInstruction");
1590
1591 case ARM::FMSTAT:
1592 // No further encoding needed.
1593 break;
1594
1595 case ARM::VMRS:
1596 case ARM::VMSR: {
1597 const MachineOperand &MO0 = MI.getOperand(0);
1598 // Encode Rt.
1599 Binary |= ARMRegisterInfo::getRegisterNumbering(MO0.getReg())
1600 << ARMII::RegRdShift;
1601 break;
1602 }
1603
1604 case ARM::FCONSTD:
1605 case ARM::FCONSTS: {
1606 // Encode Dd / Sd.
1607 Binary |= encodeVFPRd(MI, 0);
1608
1609 // Encode imm., Table A7-18 VFP modified immediate constants
1610 const MachineOperand &MO1 = MI.getOperand(1);
1611 unsigned Imm = static_cast<unsigned>(MO1.getFPImm()->getValueAPF()
1612 .bitcastToAPInt().getHiBits(32).getLimitedValue());
1613 unsigned ModifiedImm;
1614
1615 if(Opcode == ARM::FCONSTS)
1616 ModifiedImm = (Imm & 0x80000000) >> 24 | // a
1617 (Imm & 0x03F80000) >> 19; // bcdefgh
1618 else // Opcode == ARM::FCONSTD
1619 ModifiedImm = (Imm & 0x80000000) >> 24 | // a
1620 (Imm & 0x007F0000) >> 16; // bcdefgh
1621
1622 // Insts{19-16} = abcd, Insts{3-0} = efgh
1623 Binary |= ((ModifiedImm & 0xF0) >> 4) << 16;
1624 Binary |= (ModifiedImm & 0xF);
1625 break;
1626 }
1627 }
1628
Evan Chengcd8e66a2008-11-11 21:48:44 +00001629 emitWordLE(Binary);
1630}
1631
Bob Wilson1a913ed2010-06-11 21:34:50 +00001632static unsigned encodeNEONRd(const MachineInstr &MI, unsigned OpIdx) {
1633 unsigned RegD = MI.getOperand(OpIdx).getReg();
1634 unsigned Binary = 0;
1635 RegD = ARMRegisterInfo::getRegisterNumbering(RegD);
1636 Binary |= (RegD & 0xf) << ARMII::RegRdShift;
1637 Binary |= ((RegD >> 4) & 1) << ARMII::D_BitShift;
1638 return Binary;
1639}
1640
Bob Wilson5e7b6072010-06-25 22:40:46 +00001641static unsigned encodeNEONRn(const MachineInstr &MI, unsigned OpIdx) {
1642 unsigned RegN = MI.getOperand(OpIdx).getReg();
1643 unsigned Binary = 0;
1644 RegN = ARMRegisterInfo::getRegisterNumbering(RegN);
1645 Binary |= (RegN & 0xf) << ARMII::RegRnShift;
1646 Binary |= ((RegN >> 4) & 1) << ARMII::N_BitShift;
1647 return Binary;
1648}
1649
Bob Wilson583a2a02010-06-25 21:17:19 +00001650static unsigned encodeNEONRm(const MachineInstr &MI, unsigned OpIdx) {
1651 unsigned RegM = MI.getOperand(OpIdx).getReg();
1652 unsigned Binary = 0;
1653 RegM = ARMRegisterInfo::getRegisterNumbering(RegM);
1654 Binary |= (RegM & 0xf);
1655 Binary |= ((RegM >> 4) & 1) << ARMII::M_BitShift;
1656 return Binary;
1657}
1658
Bob Wilsond896a972010-06-28 21:12:19 +00001659/// convertNEONDataProcToThumb - Convert the ARM mode encoding for a NEON
1660/// data-processing instruction to the corresponding Thumb encoding.
1661static unsigned convertNEONDataProcToThumb(unsigned Binary) {
1662 assert((Binary & 0xfe000000) == 0xf2000000 &&
1663 "not an ARM NEON data-processing instruction");
1664 unsigned UBit = (Binary >> 24) & 1;
1665 return 0xef000000 | (UBit << 28) | (Binary & 0xffffff);
1666}
1667
Bob Wilsond5a563d2010-06-29 17:34:07 +00001668void ARMCodeEmitter::emitNEONLaneInstruction(const MachineInstr &MI) {
Bob Wilson52e4a0a2010-06-26 04:07:15 +00001669 unsigned Binary = getBinaryCodeForInstr(MI);
1670
Bob Wilsond5a563d2010-06-29 17:34:07 +00001671 unsigned RegTOpIdx, RegNOpIdx, LnOpIdx;
1672 const TargetInstrDesc &TID = MI.getDesc();
1673 if ((TID.TSFlags & ARMII::FormMask) == ARMII::NGetLnFrm) {
1674 RegTOpIdx = 0;
1675 RegNOpIdx = 1;
1676 LnOpIdx = 2;
1677 } else { // ARMII::NSetLnFrm
1678 RegTOpIdx = 2;
1679 RegNOpIdx = 0;
1680 LnOpIdx = 3;
1681 }
1682
Bob Wilson52e4a0a2010-06-26 04:07:15 +00001683 // Set the conditional execution predicate
Bob Wilson5cdede42010-06-29 00:26:13 +00001684 Binary |= (IsThumb ? ARMCC::AL : II->getPredicate(&MI)) << ARMII::CondShift;
Bob Wilson52e4a0a2010-06-26 04:07:15 +00001685
Bob Wilsond5a563d2010-06-29 17:34:07 +00001686 unsigned RegT = MI.getOperand(RegTOpIdx).getReg();
Bob Wilson52e4a0a2010-06-26 04:07:15 +00001687 RegT = ARMRegisterInfo::getRegisterNumbering(RegT);
1688 Binary |= (RegT << ARMII::RegRdShift);
Bob Wilsond5a563d2010-06-29 17:34:07 +00001689 Binary |= encodeNEONRn(MI, RegNOpIdx);
Bob Wilson52e4a0a2010-06-26 04:07:15 +00001690
1691 unsigned LaneShift;
1692 if ((Binary & (1 << 22)) != 0)
1693 LaneShift = 0; // 8-bit elements
1694 else if ((Binary & (1 << 5)) != 0)
1695 LaneShift = 1; // 16-bit elements
1696 else
1697 LaneShift = 2; // 32-bit elements
1698
Bob Wilsond5a563d2010-06-29 17:34:07 +00001699 unsigned Lane = MI.getOperand(LnOpIdx).getImm() << LaneShift;
Bob Wilson52e4a0a2010-06-26 04:07:15 +00001700 unsigned Opc1 = Lane >> 2;
1701 unsigned Opc2 = Lane & 3;
1702 assert((Opc1 & 3) == 0 && "out-of-range lane number operand");
1703 Binary |= (Opc1 << 21);
1704 Binary |= (Opc2 << 5);
1705
1706 emitWordLE(Binary);
1707}
1708
Bob Wilson21773e72010-06-29 20:13:29 +00001709void ARMCodeEmitter::emitNEONDupInstruction(const MachineInstr &MI) {
1710 unsigned Binary = getBinaryCodeForInstr(MI);
1711
1712 // Set the conditional execution predicate
1713 Binary |= (IsThumb ? ARMCC::AL : II->getPredicate(&MI)) << ARMII::CondShift;
1714
1715 unsigned RegT = MI.getOperand(1).getReg();
1716 RegT = ARMRegisterInfo::getRegisterNumbering(RegT);
1717 Binary |= (RegT << ARMII::RegRdShift);
1718 Binary |= encodeNEONRn(MI, 0);
1719 emitWordLE(Binary);
1720}
1721
Bob Wilson583a2a02010-06-25 21:17:19 +00001722void ARMCodeEmitter::emitNEON1RegModImmInstruction(const MachineInstr &MI) {
Bob Wilson1a913ed2010-06-11 21:34:50 +00001723 unsigned Binary = getBinaryCodeForInstr(MI);
1724 // Destination register is encoded in Dd.
1725 Binary |= encodeNEONRd(MI, 0);
1726 // Immediate fields: Op, Cmode, I, Imm3, Imm4
1727 unsigned Imm = MI.getOperand(1).getImm();
1728 unsigned Op = (Imm >> 12) & 1;
Bob Wilson1a913ed2010-06-11 21:34:50 +00001729 unsigned Cmode = (Imm >> 8) & 0xf;
Bob Wilson1a913ed2010-06-11 21:34:50 +00001730 unsigned I = (Imm >> 7) & 1;
Bob Wilson1a913ed2010-06-11 21:34:50 +00001731 unsigned Imm3 = (Imm >> 4) & 0x7;
Bob Wilson1a913ed2010-06-11 21:34:50 +00001732 unsigned Imm4 = Imm & 0xf;
Bob Wilson08baddb2010-06-28 21:16:30 +00001733 Binary |= (I << 24) | (Imm3 << 16) | (Cmode << 8) | (Op << 5) | Imm4;
Bob Wilson62d24a42010-06-28 22:23:17 +00001734 if (IsThumb)
Bob Wilsond896a972010-06-28 21:12:19 +00001735 Binary = convertNEONDataProcToThumb(Binary);
Bob Wilson1a913ed2010-06-11 21:34:50 +00001736 emitWordLE(Binary);
1737}
1738
Bob Wilson583a2a02010-06-25 21:17:19 +00001739void ARMCodeEmitter::emitNEON2RegInstruction(const MachineInstr &MI) {
Bob Wilson5e7b6072010-06-25 22:40:46 +00001740 const TargetInstrDesc &TID = MI.getDesc();
Bob Wilson583a2a02010-06-25 21:17:19 +00001741 unsigned Binary = getBinaryCodeForInstr(MI);
Bob Wilson5e7b6072010-06-25 22:40:46 +00001742 // Destination register is encoded in Dd; source register in Dm.
1743 unsigned OpIdx = 0;
1744 Binary |= encodeNEONRd(MI, OpIdx++);
1745 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1746 ++OpIdx;
1747 Binary |= encodeNEONRm(MI, OpIdx);
Bob Wilson62d24a42010-06-28 22:23:17 +00001748 if (IsThumb)
Bob Wilsond896a972010-06-28 21:12:19 +00001749 Binary = convertNEONDataProcToThumb(Binary);
Bob Wilson583a2a02010-06-25 21:17:19 +00001750 // FIXME: This does not handle VDUPfdf or VDUPfqf.
1751 emitWordLE(Binary);
1752}
1753
Bob Wilson5e7b6072010-06-25 22:40:46 +00001754void ARMCodeEmitter::emitNEON3RegInstruction(const MachineInstr &MI) {
1755 const TargetInstrDesc &TID = MI.getDesc();
1756 unsigned Binary = getBinaryCodeForInstr(MI);
1757 // Destination register is encoded in Dd; source registers in Dn and Dm.
1758 unsigned OpIdx = 0;
1759 Binary |= encodeNEONRd(MI, OpIdx++);
1760 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1761 ++OpIdx;
1762 Binary |= encodeNEONRn(MI, OpIdx++);
1763 if (TID.getOperandConstraint(OpIdx, TOI::TIED_TO) != -1)
1764 ++OpIdx;
1765 Binary |= encodeNEONRm(MI, OpIdx);
Bob Wilson62d24a42010-06-28 22:23:17 +00001766 if (IsThumb)
Bob Wilsond896a972010-06-28 21:12:19 +00001767 Binary = convertNEONDataProcToThumb(Binary);
Bob Wilson5e7b6072010-06-25 22:40:46 +00001768 // FIXME: This does not handle VMOVDneon or VMOVQ.
1769 emitWordLE(Binary);
1770}
1771
Evan Cheng7602e112008-09-02 06:52:38 +00001772#include "ARMGenCodeEmitter.inc"