blob: 5ad117ec04ea07ec971656d5463dcb379a82b3fe [file] [log] [blame]
Jim Grosbach568eeed2010-09-17 18:46:17 +00001//===-- ARM/ARMMCCodeEmitter.cpp - Convert ARM code to machine code -------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the ARMMCCodeEmitter class.
11//
12//===----------------------------------------------------------------------===//
13
Chris Lattner2ac19022010-11-15 05:19:05 +000014#define DEBUG_TYPE "mccodeemitter"
Jim Grosbach568eeed2010-09-17 18:46:17 +000015#include "ARM.h"
Jim Grosbach42fac8e2010-10-11 23:16:21 +000016#include "ARMAddressingModes.h"
Jim Grosbach70933262010-11-04 01:12:30 +000017#include "ARMFixupKinds.h"
Jim Grosbachd6d4b422010-10-07 22:12:50 +000018#include "ARMInstrInfo.h"
Jim Grosbach568eeed2010-09-17 18:46:17 +000019#include "llvm/MC/MCCodeEmitter.h"
20#include "llvm/MC/MCExpr.h"
21#include "llvm/MC/MCInst.h"
Jim Grosbachd6d4b422010-10-07 22:12:50 +000022#include "llvm/ADT/Statistic.h"
Jim Grosbach568eeed2010-09-17 18:46:17 +000023#include "llvm/Support/raw_ostream.h"
24using namespace llvm;
25
Jim Grosbach70933262010-11-04 01:12:30 +000026STATISTIC(MCNumEmitted, "Number of MC instructions emitted.");
27STATISTIC(MCNumCPRelocations, "Number of constant pool relocations created.");
Jim Grosbachd6d4b422010-10-07 22:12:50 +000028
Jim Grosbach568eeed2010-09-17 18:46:17 +000029namespace {
30class ARMMCCodeEmitter : public MCCodeEmitter {
31 ARMMCCodeEmitter(const ARMMCCodeEmitter &); // DO NOT IMPLEMENT
32 void operator=(const ARMMCCodeEmitter &); // DO NOT IMPLEMENT
33 const TargetMachine &TM;
34 const TargetInstrInfo &TII;
35 MCContext &Ctx;
36
37public:
38 ARMMCCodeEmitter(TargetMachine &tm, MCContext &ctx)
39 : TM(tm), TII(*TM.getInstrInfo()), Ctx(ctx) {
Jim Grosbach568eeed2010-09-17 18:46:17 +000040 }
41
42 ~ARMMCCodeEmitter() {}
43
Jim Grosbachc466b932010-11-11 18:04:49 +000044 unsigned getNumFixupKinds() const { return ARM::NumTargetFixupKinds; }
Jim Grosbach70933262010-11-04 01:12:30 +000045
46 const MCFixupKindInfo &getFixupKindInfo(MCFixupKind Kind) const {
47 const static MCFixupKindInfo Infos[] = {
Jim Grosbachc466b932010-11-11 18:04:49 +000048 // name offset bits flags
49 { "fixup_arm_pcrel_12", 2, 12, MCFixupKindInfo::FKF_IsPCRel },
50 { "fixup_arm_vfp_pcrel_12", 3, 8, MCFixupKindInfo::FKF_IsPCRel },
51 { "fixup_arm_branch", 1, 24, MCFixupKindInfo::FKF_IsPCRel },
Jim Grosbach70933262010-11-04 01:12:30 +000052 };
53
54 if (Kind < FirstTargetFixupKind)
55 return MCCodeEmitter::getFixupKindInfo(Kind);
56
57 assert(unsigned(Kind - FirstTargetFixupKind) < getNumFixupKinds() &&
58 "Invalid kind!");
59 return Infos[Kind - FirstTargetFixupKind];
60 }
Jim Grosbach0de6ab32010-10-12 17:11:26 +000061 unsigned getMachineSoImmOpValue(unsigned SoImm) const;
62
Jim Grosbach9af82ba2010-10-07 21:57:55 +000063 // getBinaryCodeForInstr - TableGen'erated function for getting the
64 // binary encoding for an instruction.
Jim Grosbach806e80e2010-11-03 23:52:49 +000065 unsigned getBinaryCodeForInstr(const MCInst &MI,
66 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbach9af82ba2010-10-07 21:57:55 +000067
68 /// getMachineOpValue - Return binary encoding of operand. If the machine
69 /// operand requires relocation, record the relocation and return zero.
Jim Grosbach806e80e2010-11-03 23:52:49 +000070 unsigned getMachineOpValue(const MCInst &MI,const MCOperand &MO,
71 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbach9af82ba2010-10-07 21:57:55 +000072
Jason W Kim837caa92010-11-18 23:37:15 +000073 /// getMovtImmOpValue - Return the encoding for the movw/movt pair
74 uint32_t getMovtImmOpValue(const MCInst &MI, unsigned OpIdx,
75 SmallVectorImpl<MCFixup> &Fixups) const;
76
Bill Wendling92b5a2e2010-11-03 01:49:29 +000077 bool EncodeAddrModeOpValues(const MCInst &MI, unsigned OpIdx,
Jim Grosbach806e80e2010-11-03 23:52:49 +000078 unsigned &Reg, unsigned &Imm,
79 SmallVectorImpl<MCFixup> &Fixups) const;
Bill Wendling92b5a2e2010-11-03 01:49:29 +000080
Jim Grosbachc466b932010-11-11 18:04:49 +000081 /// getBranchTargetOpValue - Return encoding info for 24-bit immediate
82 /// branch target.
83 uint32_t getBranchTargetOpValue(const MCInst &MI, unsigned OpIdx,
84 SmallVectorImpl<MCFixup> &Fixups) const;
85
Bill Wendling92b5a2e2010-11-03 01:49:29 +000086 /// getAddrModeImm12OpValue - Return encoding info for 'reg +/- imm12'
87 /// operand.
Jim Grosbach806e80e2010-11-03 23:52:49 +000088 uint32_t getAddrModeImm12OpValue(const MCInst &MI, unsigned OpIdx,
89 SmallVectorImpl<MCFixup> &Fixups) const;
Bill Wendling92b5a2e2010-11-03 01:49:29 +000090
Jim Grosbach54fea632010-11-09 17:20:53 +000091 /// getLdStSORegOpValue - Return encoding info for 'reg +/- reg shop imm'
92 /// operand as needed by load/store instructions.
93 uint32_t getLdStSORegOpValue(const MCInst &MI, unsigned OpIdx,
94 SmallVectorImpl<MCFixup> &Fixups) const;
95
Jim Grosbach5d5eb9e2010-11-10 23:38:36 +000096 /// getLdStmModeOpValue - Return encoding for load/store multiple mode.
97 uint32_t getLdStmModeOpValue(const MCInst &MI, unsigned OpIdx,
98 SmallVectorImpl<MCFixup> &Fixups) const {
99 ARM_AM::AMSubMode Mode = (ARM_AM::AMSubMode)MI.getOperand(OpIdx).getImm();
100 switch (Mode) {
101 default: assert(0 && "Unknown addressing sub-mode!");
102 case ARM_AM::da: return 0;
103 case ARM_AM::ia: return 1;
104 case ARM_AM::db: return 2;
105 case ARM_AM::ib: return 3;
106 }
107 }
Jim Grosbach99f53d12010-11-15 20:47:07 +0000108 /// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
109 ///
110 unsigned getShiftOp(ARM_AM::ShiftOpc ShOpc) const {
111 switch (ShOpc) {
112 default: llvm_unreachable("Unknown shift opc!");
113 case ARM_AM::no_shift:
114 case ARM_AM::lsl: return 0;
115 case ARM_AM::lsr: return 1;
116 case ARM_AM::asr: return 2;
117 case ARM_AM::ror:
118 case ARM_AM::rrx: return 3;
119 }
120 return 0;
121 }
122
123 /// getAddrMode2OpValue - Return encoding for addrmode2 operands.
124 uint32_t getAddrMode2OpValue(const MCInst &MI, unsigned OpIdx,
125 SmallVectorImpl<MCFixup> &Fixups) const;
126
127 /// getAddrMode2OffsetOpValue - Return encoding for am2offset operands.
128 uint32_t getAddrMode2OffsetOpValue(const MCInst &MI, unsigned OpIdx,
129 SmallVectorImpl<MCFixup> &Fixups) const;
130
Jim Grosbach7eab97f2010-11-11 16:55:29 +0000131 /// getAddrMode3OffsetOpValue - Return encoding for am3offset operands.
132 uint32_t getAddrMode3OffsetOpValue(const MCInst &MI, unsigned OpIdx,
133 SmallVectorImpl<MCFixup> &Fixups) const;
134
Jim Grosbach570a9222010-11-11 01:09:40 +0000135 /// getAddrMode3OpValue - Return encoding for addrmode3 operands.
136 uint32_t getAddrMode3OpValue(const MCInst &MI, unsigned OpIdx,
137 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbach5d5eb9e2010-11-10 23:38:36 +0000138
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000139 /// getAddrMode5OpValue - Return encoding info for 'reg +/- imm8' operand.
Jim Grosbach806e80e2010-11-03 23:52:49 +0000140 uint32_t getAddrMode5OpValue(const MCInst &MI, unsigned OpIdx,
141 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbach3e556122010-10-26 22:37:02 +0000142
Jim Grosbach08bd5492010-10-12 23:00:24 +0000143 /// getCCOutOpValue - Return encoding of the 's' bit.
Jim Grosbach806e80e2010-11-03 23:52:49 +0000144 unsigned getCCOutOpValue(const MCInst &MI, unsigned Op,
145 SmallVectorImpl<MCFixup> &Fixups) const {
Jim Grosbach08bd5492010-10-12 23:00:24 +0000146 // The operand is either reg0 or CPSR. The 's' bit is encoded as '0' or
147 // '1' respectively.
148 return MI.getOperand(Op).getReg() == ARM::CPSR;
149 }
Jim Grosbachef324d72010-10-12 23:53:58 +0000150
Jim Grosbach2a6a93d2010-10-12 23:18:08 +0000151 /// getSOImmOpValue - Return an encoded 12-bit shifted-immediate value.
Jim Grosbach806e80e2010-11-03 23:52:49 +0000152 unsigned getSOImmOpValue(const MCInst &MI, unsigned Op,
153 SmallVectorImpl<MCFixup> &Fixups) const {
Jim Grosbach2a6a93d2010-10-12 23:18:08 +0000154 unsigned SoImm = MI.getOperand(Op).getImm();
155 int SoImmVal = ARM_AM::getSOImmVal(SoImm);
156 assert(SoImmVal != -1 && "Not a valid so_imm value!");
157
158 // Encode rotate_imm.
159 unsigned Binary = (ARM_AM::getSOImmValRot((unsigned)SoImmVal) >> 1)
160 << ARMII::SoRotImmShift;
161
162 // Encode immed_8.
163 Binary |= ARM_AM::getSOImmValImm((unsigned)SoImmVal);
164 return Binary;
165 }
Owen Anderson5de6d842010-11-12 21:12:40 +0000166
167 /// getT2SOImmOpValue - Return an encoded 12-bit shifted-immediate value.
168 unsigned getT2SOImmOpValue(const MCInst &MI, unsigned Op,
169 SmallVectorImpl<MCFixup> &Fixups) const {
170 unsigned SoImm = MI.getOperand(Op).getImm();
171 unsigned Encoded = ARM_AM::getT2SOImmVal(SoImm);
172 assert(Encoded != ~0U && "Not a Thumb2 so_imm value?");
173 return Encoded;
174 }
Jim Grosbach08bd5492010-10-12 23:00:24 +0000175
Jim Grosbachef324d72010-10-12 23:53:58 +0000176 /// getSORegOpValue - Return an encoded so_reg shifted register value.
Jim Grosbach806e80e2010-11-03 23:52:49 +0000177 unsigned getSORegOpValue(const MCInst &MI, unsigned Op,
178 SmallVectorImpl<MCFixup> &Fixups) const;
Owen Anderson5de6d842010-11-12 21:12:40 +0000179 unsigned getT2SORegOpValue(const MCInst &MI, unsigned Op,
180 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbachef324d72010-10-12 23:53:58 +0000181
Jim Grosbach806e80e2010-11-03 23:52:49 +0000182 unsigned getRotImmOpValue(const MCInst &MI, unsigned Op,
183 SmallVectorImpl<MCFixup> &Fixups) const {
Jim Grosbachb35ad412010-10-13 19:56:10 +0000184 switch (MI.getOperand(Op).getImm()) {
185 default: assert (0 && "Not a valid rot_imm value!");
186 case 0: return 0;
187 case 8: return 1;
188 case 16: return 2;
189 case 24: return 3;
190 }
191 }
192
Jim Grosbach806e80e2010-11-03 23:52:49 +0000193 unsigned getImmMinusOneOpValue(const MCInst &MI, unsigned Op,
194 SmallVectorImpl<MCFixup> &Fixups) const {
Jim Grosbach8abe32a2010-10-15 17:15:16 +0000195 return MI.getOperand(Op).getImm() - 1;
196 }
Jim Grosbachd8a11c22010-10-29 23:21:03 +0000197
Jim Grosbach806e80e2010-11-03 23:52:49 +0000198 unsigned getNEONVcvtImm32OpValue(const MCInst &MI, unsigned Op,
199 SmallVectorImpl<MCFixup> &Fixups) const {
Owen Anderson498ec202010-10-27 22:49:00 +0000200 return 64 - MI.getOperand(Op).getImm();
201 }
Jim Grosbach8abe32a2010-10-15 17:15:16 +0000202
Jim Grosbach806e80e2010-11-03 23:52:49 +0000203 unsigned getBitfieldInvertedMaskOpValue(const MCInst &MI, unsigned Op,
204 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbach3fea191052010-10-21 22:03:21 +0000205
Jim Grosbach806e80e2010-11-03 23:52:49 +0000206 unsigned getRegisterListOpValue(const MCInst &MI, unsigned Op,
207 SmallVectorImpl<MCFixup> &Fixups) const;
208 unsigned getAddrMode6AddressOpValue(const MCInst &MI, unsigned Op,
209 SmallVectorImpl<MCFixup> &Fixups) const;
210 unsigned getAddrMode6OffsetOpValue(const MCInst &MI, unsigned Op,
211 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbach6b5252d2010-10-30 00:37:59 +0000212
Owen Andersonc7139a62010-11-11 19:07:48 +0000213 unsigned NEONThumb2DataIPostEncoder(const MCInst &MI,
214 unsigned EncodedValue) const;
Owen Anderson57dac882010-11-11 21:36:43 +0000215 unsigned NEONThumb2LoadStorePostEncoder(const MCInst &MI,
216 unsigned EncodedValue) const;
Owen Anderson8f143912010-11-11 23:12:55 +0000217 unsigned NEONThumb2DupPostEncoder(const MCInst &MI,
218 unsigned EncodedValue) const;
Owen Andersonc7139a62010-11-11 19:07:48 +0000219
Jim Grosbach70933262010-11-04 01:12:30 +0000220 void EmitByte(unsigned char C, raw_ostream &OS) const {
Jim Grosbach568eeed2010-09-17 18:46:17 +0000221 OS << (char)C;
Jim Grosbach568eeed2010-09-17 18:46:17 +0000222 }
223
Jim Grosbach70933262010-11-04 01:12:30 +0000224 void EmitConstant(uint64_t Val, unsigned Size, raw_ostream &OS) const {
Jim Grosbach568eeed2010-09-17 18:46:17 +0000225 // Output the constant in little endian byte order.
226 for (unsigned i = 0; i != Size; ++i) {
Jim Grosbach70933262010-11-04 01:12:30 +0000227 EmitByte(Val & 255, OS);
Jim Grosbach568eeed2010-09-17 18:46:17 +0000228 Val >>= 8;
229 }
230 }
231
Jim Grosbach568eeed2010-09-17 18:46:17 +0000232 void EncodeInstruction(const MCInst &MI, raw_ostream &OS,
233 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbach568eeed2010-09-17 18:46:17 +0000234};
235
236} // end anonymous namespace
237
Bill Wendling0800ce72010-11-02 22:53:11 +0000238MCCodeEmitter *llvm::createARMMCCodeEmitter(const Target &, TargetMachine &TM,
239 MCContext &Ctx) {
Jim Grosbach568eeed2010-09-17 18:46:17 +0000240 return new ARMMCCodeEmitter(TM, Ctx);
241}
242
Owen Anderson57dac882010-11-11 21:36:43 +0000243/// NEONThumb2DataIPostEncoder - Post-process encoded NEON data-processing
Owen Andersonc7139a62010-11-11 19:07:48 +0000244/// instructions, and rewrite them to their Thumb2 form if we are currently in
245/// Thumb2 mode.
246unsigned ARMMCCodeEmitter::NEONThumb2DataIPostEncoder(const MCInst &MI,
247 unsigned EncodedValue) const {
248 const ARMSubtarget &Subtarget = TM.getSubtarget<ARMSubtarget>();
249 if (Subtarget.isThumb2()) {
250 // NEON Thumb2 data-processsing encodings are very simple: bit 24 is moved
251 // to bit 12 of the high half-word (i.e. bit 28), and bits 27-24 are
252 // set to 1111.
253 unsigned Bit24 = EncodedValue & 0x01000000;
254 unsigned Bit28 = Bit24 << 4;
255 EncodedValue &= 0xEFFFFFFF;
256 EncodedValue |= Bit28;
257 EncodedValue |= 0x0F000000;
258 }
259
260 return EncodedValue;
261}
262
Owen Anderson57dac882010-11-11 21:36:43 +0000263/// NEONThumb2LoadStorePostEncoder - Post-process encoded NEON load/store
264/// instructions, and rewrite them to their Thumb2 form if we are currently in
265/// Thumb2 mode.
266unsigned ARMMCCodeEmitter::NEONThumb2LoadStorePostEncoder(const MCInst &MI,
267 unsigned EncodedValue) const {
268 const ARMSubtarget &Subtarget = TM.getSubtarget<ARMSubtarget>();
269 if (Subtarget.isThumb2()) {
270 EncodedValue &= 0xF0FFFFFF;
271 EncodedValue |= 0x09000000;
272 }
273
274 return EncodedValue;
275}
276
Owen Anderson8f143912010-11-11 23:12:55 +0000277/// NEONThumb2DupPostEncoder - Post-process encoded NEON vdup
278/// instructions, and rewrite them to their Thumb2 form if we are currently in
279/// Thumb2 mode.
280unsigned ARMMCCodeEmitter::NEONThumb2DupPostEncoder(const MCInst &MI,
281 unsigned EncodedValue) const {
282 const ARMSubtarget &Subtarget = TM.getSubtarget<ARMSubtarget>();
283 if (Subtarget.isThumb2()) {
284 EncodedValue &= 0x00FFFFFF;
285 EncodedValue |= 0xEE000000;
286 }
287
288 return EncodedValue;
289}
290
291
Owen Anderson57dac882010-11-11 21:36:43 +0000292
Jim Grosbach56ac9072010-10-08 21:45:55 +0000293/// getMachineOpValue - Return binary encoding of operand. If the machine
294/// operand requires relocation, record the relocation and return zero.
Jim Grosbach806e80e2010-11-03 23:52:49 +0000295unsigned ARMMCCodeEmitter::
296getMachineOpValue(const MCInst &MI, const MCOperand &MO,
297 SmallVectorImpl<MCFixup> &Fixups) const {
Bill Wendlingbbbdcd42010-10-14 02:33:26 +0000298 if (MO.isReg()) {
Bill Wendling0800ce72010-11-02 22:53:11 +0000299 unsigned Reg = MO.getReg();
300 unsigned RegNo = getARMRegisterNumbering(Reg);
Jim Grosbachd8a11c22010-10-29 23:21:03 +0000301
Owen Anderson90d4cf92010-10-21 20:49:13 +0000302 // Q registers are encodes as 2x their register number.
Bill Wendling0800ce72010-11-02 22:53:11 +0000303 switch (Reg) {
304 default:
305 return RegNo;
306 case ARM::Q0: case ARM::Q1: case ARM::Q2: case ARM::Q3:
307 case ARM::Q4: case ARM::Q5: case ARM::Q6: case ARM::Q7:
308 case ARM::Q8: case ARM::Q9: case ARM::Q10: case ARM::Q11:
309 case ARM::Q12: case ARM::Q13: case ARM::Q14: case ARM::Q15:
310 return 2 * RegNo;
Owen Anderson90d4cf92010-10-21 20:49:13 +0000311 }
Bill Wendlingbbbdcd42010-10-14 02:33:26 +0000312 } else if (MO.isImm()) {
Jim Grosbach56ac9072010-10-08 21:45:55 +0000313 return static_cast<unsigned>(MO.getImm());
Bill Wendlingbbbdcd42010-10-14 02:33:26 +0000314 } else if (MO.isFPImm()) {
315 return static_cast<unsigned>(APFloat(MO.getFPImm())
316 .bitcastToAPInt().getHiBits(32).getLimitedValue());
Jim Grosbach56ac9072010-10-08 21:45:55 +0000317 }
Bill Wendling0800ce72010-11-02 22:53:11 +0000318
Jim Grosbach817c1a62010-11-19 00:27:09 +0000319 llvm_unreachable("Unable to encode MCOperand!");
Jim Grosbach56ac9072010-10-08 21:45:55 +0000320 return 0;
321}
322
Bill Wendling5df0e0a2010-11-02 22:31:46 +0000323/// getAddrModeImmOpValue - Return encoding info for 'reg +/- imm' operand.
Jim Grosbach806e80e2010-11-03 23:52:49 +0000324bool ARMMCCodeEmitter::
325EncodeAddrModeOpValues(const MCInst &MI, unsigned OpIdx, unsigned &Reg,
326 unsigned &Imm, SmallVectorImpl<MCFixup> &Fixups) const {
Jim Grosbach3e556122010-10-26 22:37:02 +0000327 const MCOperand &MO = MI.getOperand(OpIdx);
328 const MCOperand &MO1 = MI.getOperand(OpIdx + 1);
Jim Grosbach9af3d1c2010-11-01 23:45:50 +0000329
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000330 Reg = getARMRegisterNumbering(MO.getReg());
331
332 int32_t SImm = MO1.getImm();
333 bool isAdd = true;
Bill Wendling5df0e0a2010-11-02 22:31:46 +0000334
Jim Grosbachab682a22010-10-28 18:34:10 +0000335 // Special value for #-0
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000336 if (SImm == INT32_MIN)
337 SImm = 0;
Bill Wendling5df0e0a2010-11-02 22:31:46 +0000338
Jim Grosbachab682a22010-10-28 18:34:10 +0000339 // Immediate is always encoded as positive. The 'U' bit controls add vs sub.
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000340 if (SImm < 0) {
341 SImm = -SImm;
342 isAdd = false;
343 }
Bill Wendling5df0e0a2010-11-02 22:31:46 +0000344
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000345 Imm = SImm;
346 return isAdd;
347}
348
Jim Grosbachc466b932010-11-11 18:04:49 +0000349/// getBranchTargetOpValue - Return encoding info for 24-bit immediate
350/// branch target.
351uint32_t ARMMCCodeEmitter::
352getBranchTargetOpValue(const MCInst &MI, unsigned OpIdx,
353 SmallVectorImpl<MCFixup> &Fixups) const {
354 const MCOperand &MO = MI.getOperand(OpIdx);
355
356 // If the destination is an immediate, we have nothing to do.
357 if (MO.isImm()) return MO.getImm();
358 assert (MO.isExpr() && "Unexpected branch target type!");
359 const MCExpr *Expr = MO.getExpr();
360 MCFixupKind Kind = MCFixupKind(ARM::fixup_arm_branch);
361 Fixups.push_back(MCFixup::Create(0, Expr, Kind));
362
363 // All of the information is in the fixup.
364 return 0;
365}
366
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000367/// getAddrModeImm12OpValue - Return encoding info for 'reg +/- imm12' operand.
Jim Grosbach806e80e2010-11-03 23:52:49 +0000368uint32_t ARMMCCodeEmitter::
369getAddrModeImm12OpValue(const MCInst &MI, unsigned OpIdx,
370 SmallVectorImpl<MCFixup> &Fixups) const {
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000371 // {17-13} = reg
372 // {12} = (U)nsigned (add == '1', sub == '0')
373 // {11-0} = imm12
374 unsigned Reg, Imm12;
Jim Grosbach70933262010-11-04 01:12:30 +0000375 bool isAdd = true;
376 // If The first operand isn't a register, we have a label reference.
377 const MCOperand &MO = MI.getOperand(OpIdx);
378 if (!MO.isReg()) {
Jim Grosbach679cbd32010-11-09 01:37:15 +0000379 Reg = getARMRegisterNumbering(ARM::PC); // Rn is PC.
Jim Grosbach70933262010-11-04 01:12:30 +0000380 Imm12 = 0;
381
382 assert(MO.isExpr() && "Unexpected machine operand type!");
383 const MCExpr *Expr = MO.getExpr();
384 MCFixupKind Kind = MCFixupKind(ARM::fixup_arm_pcrel_12);
385 Fixups.push_back(MCFixup::Create(0, Expr, Kind));
386
387 ++MCNumCPRelocations;
388 } else
389 isAdd = EncodeAddrModeOpValues(MI, OpIdx, Reg, Imm12, Fixups);
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000390
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000391 uint32_t Binary = Imm12 & 0xfff;
392 // Immediate is always encoded as positive. The 'U' bit controls add vs sub.
Jim Grosbachab682a22010-10-28 18:34:10 +0000393 if (isAdd)
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000394 Binary |= (1 << 12);
395 Binary |= (Reg << 13);
396 return Binary;
397}
398
Jim Grosbach54fea632010-11-09 17:20:53 +0000399uint32_t ARMMCCodeEmitter::
Jason W Kim837caa92010-11-18 23:37:15 +0000400getMovtImmOpValue(const MCInst &MI, unsigned OpIdx,
401 SmallVectorImpl<MCFixup> &Fixups) const {
402 // {20-16} = imm{15-12}
403 // {11-0} = imm{11-0}
404 const MCOperand &MO = MI.getOperand(OpIdx);
405 if (MO.isImm()) {
406 return static_cast<unsigned>(MO.getImm());
407 } else if (const MCSymbolRefExpr *Expr =
408 dyn_cast<MCSymbolRefExpr>(MO.getExpr())) {
409 MCFixupKind Kind;
410 switch (Expr->getKind()) {
411 case MCSymbolRefExpr::VK_ARM_HI16:
412 Kind = MCFixupKind(ARM::fixup_arm_movt_hi16);
413 break;
414 case MCSymbolRefExpr::VK_ARM_LO16:
415 Kind = MCFixupKind(ARM::fixup_arm_movw_lo16);
416 break;
417 default: assert(0 && "Unsupported ARMFixup"); break;
418 }
419 Fixups.push_back(MCFixup::Create(0, Expr, Kind));
420 return 0;
Jim Grosbach817c1a62010-11-19 00:27:09 +0000421 };
422 llvm_unreachable("Unsupported MCExpr type in MCOperand!");
Jason W Kim837caa92010-11-18 23:37:15 +0000423 return 0;
424}
425
426uint32_t ARMMCCodeEmitter::
Jim Grosbach54fea632010-11-09 17:20:53 +0000427getLdStSORegOpValue(const MCInst &MI, unsigned OpIdx,
428 SmallVectorImpl<MCFixup> &Fixups) const {
429 const MCOperand &MO = MI.getOperand(OpIdx);
430 const MCOperand &MO1 = MI.getOperand(OpIdx+1);
431 const MCOperand &MO2 = MI.getOperand(OpIdx+2);
432 unsigned Rn = getARMRegisterNumbering(MO.getReg());
433 unsigned Rm = getARMRegisterNumbering(MO1.getReg());
Jim Grosbach54fea632010-11-09 17:20:53 +0000434 unsigned ShImm = ARM_AM::getAM2Offset(MO2.getImm());
435 bool isAdd = ARM_AM::getAM2Op(MO2.getImm()) == ARM_AM::add;
Jim Grosbach99f53d12010-11-15 20:47:07 +0000436 ARM_AM::ShiftOpc ShOp = ARM_AM::getAM2ShiftOpc(MO2.getImm());
437 unsigned SBits = getShiftOp(ShOp);
Jim Grosbach54fea632010-11-09 17:20:53 +0000438
439 // {16-13} = Rn
440 // {12} = isAdd
441 // {11-0} = shifter
442 // {3-0} = Rm
443 // {4} = 0
444 // {6-5} = type
445 // {11-7} = imm
Jim Grosbach570a9222010-11-11 01:09:40 +0000446 uint32_t Binary = Rm;
Jim Grosbach54fea632010-11-09 17:20:53 +0000447 Binary |= Rn << 13;
448 Binary |= SBits << 5;
449 Binary |= ShImm << 7;
450 if (isAdd)
451 Binary |= 1 << 12;
452 return Binary;
453}
454
Jim Grosbach570a9222010-11-11 01:09:40 +0000455uint32_t ARMMCCodeEmitter::
Jim Grosbach99f53d12010-11-15 20:47:07 +0000456getAddrMode2OpValue(const MCInst &MI, unsigned OpIdx,
457 SmallVectorImpl<MCFixup> &Fixups) const {
458 // {17-14} Rn
459 // {13} 1 == imm12, 0 == Rm
460 // {12} isAdd
461 // {11-0} imm12/Rm
462 const MCOperand &MO = MI.getOperand(OpIdx);
463 unsigned Rn = getARMRegisterNumbering(MO.getReg());
464 uint32_t Binary = getAddrMode2OffsetOpValue(MI, OpIdx + 1, Fixups);
465 Binary |= Rn << 14;
466 return Binary;
467}
468
469uint32_t ARMMCCodeEmitter::
470getAddrMode2OffsetOpValue(const MCInst &MI, unsigned OpIdx,
471 SmallVectorImpl<MCFixup> &Fixups) const {
472 // {13} 1 == imm12, 0 == Rm
473 // {12} isAdd
474 // {11-0} imm12/Rm
475 const MCOperand &MO = MI.getOperand(OpIdx);
476 const MCOperand &MO1 = MI.getOperand(OpIdx+1);
477 unsigned Imm = MO1.getImm();
478 bool isAdd = ARM_AM::getAM2Op(Imm) == ARM_AM::add;
479 bool isReg = MO.getReg() != 0;
480 uint32_t Binary = ARM_AM::getAM2Offset(Imm);
481 // if reg +/- reg, Rm will be non-zero. Otherwise, we have reg +/- imm12
482 if (isReg) {
483 ARM_AM::ShiftOpc ShOp = ARM_AM::getAM2ShiftOpc(Imm);
484 Binary <<= 7; // Shift amount is bits [11:7]
485 Binary |= getShiftOp(ShOp) << 5; // Shift type is bits [6:5]
486 Binary |= getARMRegisterNumbering(MO.getReg()); // Rm is bits [3:0]
487 }
488 return Binary | (isAdd << 12) | (isReg << 13);
489}
490
491uint32_t ARMMCCodeEmitter::
Jim Grosbach7eab97f2010-11-11 16:55:29 +0000492getAddrMode3OffsetOpValue(const MCInst &MI, unsigned OpIdx,
493 SmallVectorImpl<MCFixup> &Fixups) const {
494 // {9} 1 == imm8, 0 == Rm
495 // {8} isAdd
496 // {7-4} imm7_4/zero
497 // {3-0} imm3_0/Rm
498 const MCOperand &MO = MI.getOperand(OpIdx);
499 const MCOperand &MO1 = MI.getOperand(OpIdx+1);
500 unsigned Imm = MO1.getImm();
501 bool isAdd = ARM_AM::getAM3Op(Imm) == ARM_AM::add;
502 bool isImm = MO.getReg() == 0;
503 uint32_t Imm8 = ARM_AM::getAM3Offset(Imm);
504 // if reg +/- reg, Rm will be non-zero. Otherwise, we have reg +/- imm8
505 if (!isImm)
506 Imm8 = getARMRegisterNumbering(MO.getReg());
507 return Imm8 | (isAdd << 8) | (isImm << 9);
508}
509
510uint32_t ARMMCCodeEmitter::
Jim Grosbach570a9222010-11-11 01:09:40 +0000511getAddrMode3OpValue(const MCInst &MI, unsigned OpIdx,
512 SmallVectorImpl<MCFixup> &Fixups) const {
513 // {13} 1 == imm8, 0 == Rm
514 // {12-9} Rn
515 // {8} isAdd
516 // {7-4} imm7_4/zero
517 // {3-0} imm3_0/Rm
518 const MCOperand &MO = MI.getOperand(OpIdx);
519 const MCOperand &MO1 = MI.getOperand(OpIdx+1);
520 const MCOperand &MO2 = MI.getOperand(OpIdx+2);
521 unsigned Rn = getARMRegisterNumbering(MO.getReg());
522 unsigned Imm = MO2.getImm();
523 bool isAdd = ARM_AM::getAM3Op(Imm) == ARM_AM::add;
524 bool isImm = MO1.getReg() == 0;
525 uint32_t Imm8 = ARM_AM::getAM3Offset(Imm);
526 // if reg +/- reg, Rm will be non-zero. Otherwise, we have reg +/- imm8
527 if (!isImm)
528 Imm8 = getARMRegisterNumbering(MO1.getReg());
529 return (Rn << 9) | Imm8 | (isAdd << 8) | (isImm << 13);
530}
531
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000532/// getAddrMode5OpValue - Return encoding info for 'reg +/- imm12' operand.
Jim Grosbach806e80e2010-11-03 23:52:49 +0000533uint32_t ARMMCCodeEmitter::
534getAddrMode5OpValue(const MCInst &MI, unsigned OpIdx,
535 SmallVectorImpl<MCFixup> &Fixups) const {
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000536 // {12-9} = reg
537 // {8} = (U)nsigned (add == '1', sub == '0')
538 // {7-0} = imm8
539 unsigned Reg, Imm8;
Jim Grosbach70933262010-11-04 01:12:30 +0000540 // If The first operand isn't a register, we have a label reference.
541 const MCOperand &MO = MI.getOperand(OpIdx);
542 if (!MO.isReg()) {
Jim Grosbach679cbd32010-11-09 01:37:15 +0000543 Reg = getARMRegisterNumbering(ARM::PC); // Rn is PC.
Jim Grosbach70933262010-11-04 01:12:30 +0000544 Imm8 = 0;
545
546 assert(MO.isExpr() && "Unexpected machine operand type!");
547 const MCExpr *Expr = MO.getExpr();
548 MCFixupKind Kind = MCFixupKind(ARM::fixup_arm_vfp_pcrel_12);
549 Fixups.push_back(MCFixup::Create(0, Expr, Kind));
550
551 ++MCNumCPRelocations;
552 } else
553 EncodeAddrModeOpValues(MI, OpIdx, Reg, Imm8, Fixups);
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000554
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000555 uint32_t Binary = ARM_AM::getAM5Offset(Imm8);
556 // Immediate is always encoded as positive. The 'U' bit controls add vs sub.
557 if (ARM_AM::getAM5Op(Imm8) == ARM_AM::add)
558 Binary |= (1 << 8);
559 Binary |= (Reg << 9);
Jim Grosbach3e556122010-10-26 22:37:02 +0000560 return Binary;
561}
562
Jim Grosbach806e80e2010-11-03 23:52:49 +0000563unsigned ARMMCCodeEmitter::
564getSORegOpValue(const MCInst &MI, unsigned OpIdx,
565 SmallVectorImpl<MCFixup> &Fixups) const {
Bill Wendling0800ce72010-11-02 22:53:11 +0000566 // Sub-operands are [reg, reg, imm]. The first register is Rm, the reg to be
567 // shifted. The second is either Rs, the amount to shift by, or reg0 in which
568 // case the imm contains the amount to shift by.
Jim Grosbach35b2de02010-11-03 22:03:20 +0000569 //
Jim Grosbachef324d72010-10-12 23:53:58 +0000570 // {3-0} = Rm.
Bill Wendling0800ce72010-11-02 22:53:11 +0000571 // {4} = 1 if reg shift, 0 if imm shift
Jim Grosbachef324d72010-10-12 23:53:58 +0000572 // {6-5} = type
573 // If reg shift:
Jim Grosbachef324d72010-10-12 23:53:58 +0000574 // {11-8} = Rs
Bill Wendling0800ce72010-11-02 22:53:11 +0000575 // {7} = 0
Jim Grosbachef324d72010-10-12 23:53:58 +0000576 // else (imm shift)
577 // {11-7} = imm
578
579 const MCOperand &MO = MI.getOperand(OpIdx);
580 const MCOperand &MO1 = MI.getOperand(OpIdx + 1);
581 const MCOperand &MO2 = MI.getOperand(OpIdx + 2);
582 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO2.getImm());
583
584 // Encode Rm.
585 unsigned Binary = getARMRegisterNumbering(MO.getReg());
586
587 // Encode the shift opcode.
588 unsigned SBits = 0;
589 unsigned Rs = MO1.getReg();
590 if (Rs) {
591 // Set shift operand (bit[7:4]).
592 // LSL - 0001
593 // LSR - 0011
594 // ASR - 0101
595 // ROR - 0111
596 // RRX - 0110 and bit[11:8] clear.
597 switch (SOpc) {
598 default: llvm_unreachable("Unknown shift opc!");
599 case ARM_AM::lsl: SBits = 0x1; break;
600 case ARM_AM::lsr: SBits = 0x3; break;
601 case ARM_AM::asr: SBits = 0x5; break;
602 case ARM_AM::ror: SBits = 0x7; break;
603 case ARM_AM::rrx: SBits = 0x6; break;
604 }
605 } else {
606 // Set shift operand (bit[6:4]).
607 // LSL - 000
608 // LSR - 010
609 // ASR - 100
610 // ROR - 110
611 switch (SOpc) {
612 default: llvm_unreachable("Unknown shift opc!");
613 case ARM_AM::lsl: SBits = 0x0; break;
614 case ARM_AM::lsr: SBits = 0x2; break;
615 case ARM_AM::asr: SBits = 0x4; break;
616 case ARM_AM::ror: SBits = 0x6; break;
617 }
618 }
Bill Wendling0800ce72010-11-02 22:53:11 +0000619
Jim Grosbachef324d72010-10-12 23:53:58 +0000620 Binary |= SBits << 4;
621 if (SOpc == ARM_AM::rrx)
622 return Binary;
623
624 // Encode the shift operation Rs or shift_imm (except rrx).
625 if (Rs) {
626 // Encode Rs bit[11:8].
627 assert(ARM_AM::getSORegOffset(MO2.getImm()) == 0);
628 return Binary | (getARMRegisterNumbering(Rs) << ARMII::RegRsShift);
629 }
630
631 // Encode shift_imm bit[11:7].
632 return Binary | ARM_AM::getSORegOffset(MO2.getImm()) << 7;
633}
634
Jim Grosbach806e80e2010-11-03 23:52:49 +0000635unsigned ARMMCCodeEmitter::
Owen Anderson5de6d842010-11-12 21:12:40 +0000636getT2SORegOpValue(const MCInst &MI, unsigned OpIdx,
637 SmallVectorImpl<MCFixup> &Fixups) const {
638 // Sub-operands are [reg, imm]. The first register is Rm, the reg to be
639 // shifted. The second is the amount to shift by.
640 //
641 // {3-0} = Rm.
642 // {4} = 0
643 // {6-5} = type
644 // {11-7} = imm
645
646 const MCOperand &MO = MI.getOperand(OpIdx);
647 const MCOperand &MO1 = MI.getOperand(OpIdx + 1);
648 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO1.getImm());
649
650 // Encode Rm.
651 unsigned Binary = getARMRegisterNumbering(MO.getReg());
652
653 // Encode the shift opcode.
654 unsigned SBits = 0;
655 // Set shift operand (bit[6:4]).
656 // LSL - 000
657 // LSR - 010
658 // ASR - 100
659 // ROR - 110
660 switch (SOpc) {
661 default: llvm_unreachable("Unknown shift opc!");
662 case ARM_AM::lsl: SBits = 0x0; break;
663 case ARM_AM::lsr: SBits = 0x2; break;
664 case ARM_AM::asr: SBits = 0x4; break;
665 case ARM_AM::ror: SBits = 0x6; break;
666 }
667
668 Binary |= SBits << 4;
669 if (SOpc == ARM_AM::rrx)
670 return Binary;
671
672 // Encode shift_imm bit[11:7].
673 return Binary | ARM_AM::getSORegOffset(MO1.getImm()) << 7;
674}
675
676unsigned ARMMCCodeEmitter::
Jim Grosbach806e80e2010-11-03 23:52:49 +0000677getBitfieldInvertedMaskOpValue(const MCInst &MI, unsigned Op,
678 SmallVectorImpl<MCFixup> &Fixups) const {
Jim Grosbach3fea191052010-10-21 22:03:21 +0000679 // 10 bits. lower 5 bits are are the lsb of the mask, high five bits are the
680 // msb of the mask.
681 const MCOperand &MO = MI.getOperand(Op);
682 uint32_t v = ~MO.getImm();
683 uint32_t lsb = CountTrailingZeros_32(v);
684 uint32_t msb = (32 - CountLeadingZeros_32 (v)) - 1;
685 assert (v != 0 && lsb < 32 && msb < 32 && "Illegal bitfield mask!");
686 return lsb | (msb << 5);
687}
688
Jim Grosbach806e80e2010-11-03 23:52:49 +0000689unsigned ARMMCCodeEmitter::
690getRegisterListOpValue(const MCInst &MI, unsigned Op,
Bill Wendling5e559a22010-11-09 00:30:18 +0000691 SmallVectorImpl<MCFixup> &Fixups) const {
Bill Wendling6bc105a2010-11-17 00:45:23 +0000692 // VLDM/VSTM:
693 // {12-8} = Vd
694 // {7-0} = Number of registers
695 //
696 // LDM/STM:
697 // {15-0} = Bitfield of GPRs.
698 unsigned Reg = MI.getOperand(Op).getReg();
699 bool SPRRegs = ARM::SPRRegClass.contains(Reg);
700 bool DPRRegs = ARM::DPRRegClass.contains(Reg);
701
Bill Wendling5e559a22010-11-09 00:30:18 +0000702 unsigned Binary = 0;
Bill Wendling6bc105a2010-11-17 00:45:23 +0000703
704 if (SPRRegs || DPRRegs) {
705 // VLDM/VSTM
706 unsigned RegNo = getARMRegisterNumbering(Reg);
707 unsigned NumRegs = (MI.getNumOperands() - Op) & 0xff;
708 Binary |= (RegNo & 0x1f) << 8;
709 if (SPRRegs)
710 Binary |= NumRegs;
711 else
712 Binary |= NumRegs * 2;
713 } else {
714 for (unsigned I = Op, E = MI.getNumOperands(); I < E; ++I) {
715 unsigned RegNo = getARMRegisterNumbering(MI.getOperand(I).getReg());
716 Binary |= 1 << RegNo;
717 }
Bill Wendling5e559a22010-11-09 00:30:18 +0000718 }
Bill Wendling6bc105a2010-11-17 00:45:23 +0000719
Jim Grosbach6b5252d2010-10-30 00:37:59 +0000720 return Binary;
721}
722
Jim Grosbach806e80e2010-11-03 23:52:49 +0000723unsigned ARMMCCodeEmitter::
724getAddrMode6AddressOpValue(const MCInst &MI, unsigned Op,
725 SmallVectorImpl<MCFixup> &Fixups) const {
Owen Andersond9aa7d32010-11-02 00:05:05 +0000726 const MCOperand &Reg = MI.getOperand(Op);
Bill Wendling0800ce72010-11-02 22:53:11 +0000727 const MCOperand &Imm = MI.getOperand(Op + 1);
Jim Grosbach35b2de02010-11-03 22:03:20 +0000728
Owen Andersond9aa7d32010-11-02 00:05:05 +0000729 unsigned RegNo = getARMRegisterNumbering(Reg.getReg());
Bill Wendling0800ce72010-11-02 22:53:11 +0000730 unsigned Align = 0;
731
732 switch (Imm.getImm()) {
733 default: break;
734 case 2:
735 case 4:
736 case 8: Align = 0x01; break;
737 case 16: Align = 0x02; break;
738 case 32: Align = 0x03; break;
Owen Andersond9aa7d32010-11-02 00:05:05 +0000739 }
Bill Wendling0800ce72010-11-02 22:53:11 +0000740
Owen Andersond9aa7d32010-11-02 00:05:05 +0000741 return RegNo | (Align << 4);
742}
743
Jim Grosbach806e80e2010-11-03 23:52:49 +0000744unsigned ARMMCCodeEmitter::
745getAddrMode6OffsetOpValue(const MCInst &MI, unsigned Op,
746 SmallVectorImpl<MCFixup> &Fixups) const {
Bill Wendling0800ce72010-11-02 22:53:11 +0000747 const MCOperand &MO = MI.getOperand(Op);
748 if (MO.getReg() == 0) return 0x0D;
749 return MO.getReg();
Owen Andersoncf667be2010-11-02 01:24:55 +0000750}
751
Jim Grosbach568eeed2010-09-17 18:46:17 +0000752void ARMMCCodeEmitter::
753EncodeInstruction(const MCInst &MI, raw_ostream &OS,
Jim Grosbach806e80e2010-11-03 23:52:49 +0000754 SmallVectorImpl<MCFixup> &Fixups) const {
Jim Grosbachd6d4b422010-10-07 22:12:50 +0000755 // Pseudo instructions don't get encoded.
Bill Wendling7292e0a2010-11-02 22:44:12 +0000756 const TargetInstrDesc &Desc = TII.get(MI.getOpcode());
Jim Grosbache50e6bc2010-11-11 23:41:09 +0000757 uint64_t TSFlags = Desc.TSFlags;
758 if ((TSFlags & ARMII::FormMask) == ARMII::Pseudo)
Jim Grosbachd6d4b422010-10-07 22:12:50 +0000759 return;
Jim Grosbache50e6bc2010-11-11 23:41:09 +0000760 int Size;
761 // Basic size info comes from the TSFlags field.
762 switch ((TSFlags & ARMII::SizeMask) >> ARMII::SizeShift) {
763 default: llvm_unreachable("Unexpected instruction size!");
764 case ARMII::Size2Bytes: Size = 2; break;
765 case ARMII::Size4Bytes: Size = 4; break;
766 }
767 EmitConstant(getBinaryCodeForInstr(MI, Fixups), Size, OS);
Bill Wendling7292e0a2010-11-02 22:44:12 +0000768 ++MCNumEmitted; // Keep track of the # of mi's emitted.
Jim Grosbach568eeed2010-09-17 18:46:17 +0000769}
Jim Grosbach9af82ba2010-10-07 21:57:55 +0000770
Jim Grosbach806e80e2010-11-03 23:52:49 +0000771#include "ARMGenMCCodeEmitter.inc"