blob: 919070cf82b35a77d14267b900b8f9854d225934 [file] [log] [blame]
Jim Grosbach1287f4f2010-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 Lattner63274cb2010-11-15 05:19:05 +000014#define DEBUG_TYPE "mccodeemitter"
Jim Grosbach1287f4f2010-09-17 18:46:17 +000015#include "ARM.h"
Jim Grosbachb7c29622010-10-11 23:16:21 +000016#include "ARMAddressingModes.h"
Jim Grosbach0fb841f2010-11-04 01:12:30 +000017#include "ARMFixupKinds.h"
Jim Grosbach91029092010-10-07 22:12:50 +000018#include "ARMInstrInfo.h"
Jim Grosbach1287f4f2010-09-17 18:46:17 +000019#include "llvm/MC/MCCodeEmitter.h"
20#include "llvm/MC/MCExpr.h"
21#include "llvm/MC/MCInst.h"
Jim Grosbach91029092010-10-07 22:12:50 +000022#include "llvm/ADT/Statistic.h"
Jim Grosbach1287f4f2010-09-17 18:46:17 +000023#include "llvm/Support/raw_ostream.h"
24using namespace llvm;
25
Jim Grosbach0fb841f2010-11-04 01:12:30 +000026STATISTIC(MCNumEmitted, "Number of MC instructions emitted.");
27STATISTIC(MCNumCPRelocations, "Number of constant pool relocations created.");
Jim Grosbach91029092010-10-07 22:12:50 +000028
Jim Grosbach1287f4f2010-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 Grosbach1287f4f2010-09-17 18:46:17 +000040 }
41
42 ~ARMMCCodeEmitter() {}
43
Jim Grosbach9d6d77a2010-11-11 18:04:49 +000044 unsigned getNumFixupKinds() const { return ARM::NumTargetFixupKinds; }
Jim Grosbach0fb841f2010-11-04 01:12:30 +000045
46 const MCFixupKindInfo &getFixupKindInfo(MCFixupKind Kind) const {
47 const static MCFixupKindInfo Infos[] = {
Jim Grosbachce2bd8d2010-12-02 00:28:45 +000048 // name off bits flags
49 { "fixup_arm_ldst_pcrel_12", 1, 24, MCFixupKindInfo::FKF_IsPCRel },
Owen Anderson3ef19d92010-12-09 20:27:52 +000050 { "fixup_t2_ldst_pcrel_12", 0, 32, MCFixupKindInfo::FKF_IsPCRel |
51 MCFixupKindInfo::FKF_IsAligned},
Jim Grosbachce2bd8d2010-12-02 00:28:45 +000052 { "fixup_arm_pcrel_10", 1, 24, MCFixupKindInfo::FKF_IsPCRel },
Owen Anderson0f7142d2010-12-08 00:18:36 +000053 { "fixup_t2_pcrel_10", 0, 32, MCFixupKindInfo::FKF_IsPCRel },
Jim Grosbachce2bd8d2010-12-02 00:28:45 +000054 { "fixup_arm_adr_pcrel_12", 1, 24, MCFixupKindInfo::FKF_IsPCRel },
55 { "fixup_arm_branch", 1, 24, MCFixupKindInfo::FKF_IsPCRel },
Owen Andersoncb4d8f22010-12-09 21:34:47 +000056 { "fixup_t2_branch", 0, 32, MCFixupKindInfo::FKF_IsPCRel |
57 MCFixupKindInfo::FKF_IsAligned},
Jim Grosbach9e199462010-12-06 23:57:07 +000058 { "fixup_arm_thumb_bl", 0, 32, MCFixupKindInfo::FKF_IsPCRel },
Bill Wendling3392bfc2010-12-09 00:39:08 +000059 { "fixup_arm_thumb_blx", 0, 32, MCFixupKindInfo::FKF_IsPCRel },
Jim Grosbach68b27eb2010-12-09 19:50:12 +000060 { "fixup_arm_thumb_cb", 0, 16, MCFixupKindInfo::FKF_IsPCRel },
Bill Wendling8a6449c2010-12-08 01:57:09 +000061 { "fixup_arm_thumb_cp", 1, 8, MCFixupKindInfo::FKF_IsPCRel },
Jim Grosbach78485ad2010-12-10 17:13:40 +000062 { "fixup_arm_thumb_bcc", 1, 8, MCFixupKindInfo::FKF_IsPCRel },
Jim Grosbachce2bd8d2010-12-02 00:28:45 +000063 { "fixup_arm_movt_hi16", 0, 16, 0 },
64 { "fixup_arm_movw_lo16", 0, 16, 0 },
Jim Grosbach0fb841f2010-11-04 01:12:30 +000065 };
66
67 if (Kind < FirstTargetFixupKind)
68 return MCCodeEmitter::getFixupKindInfo(Kind);
69
70 assert(unsigned(Kind - FirstTargetFixupKind) < getNumFixupKinds() &&
71 "Invalid kind!");
72 return Infos[Kind - FirstTargetFixupKind];
73 }
Jim Grosbach6fead932010-10-12 17:11:26 +000074 unsigned getMachineSoImmOpValue(unsigned SoImm) const;
75
Jim Grosbach8aed3862010-10-07 21:57:55 +000076 // getBinaryCodeForInstr - TableGen'erated function for getting the
77 // binary encoding for an instruction.
Jim Grosbach2eed7a12010-11-03 23:52:49 +000078 unsigned getBinaryCodeForInstr(const MCInst &MI,
79 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbach8aed3862010-10-07 21:57:55 +000080
81 /// getMachineOpValue - Return binary encoding of operand. If the machine
82 /// operand requires relocation, record the relocation and return zero.
Jim Grosbach2eed7a12010-11-03 23:52:49 +000083 unsigned getMachineOpValue(const MCInst &MI,const MCOperand &MO,
84 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbach8aed3862010-10-07 21:57:55 +000085
Jason W Kim5a97bd82010-11-18 23:37:15 +000086 /// getMovtImmOpValue - Return the encoding for the movw/movt pair
87 uint32_t getMovtImmOpValue(const MCInst &MI, unsigned OpIdx,
88 SmallVectorImpl<MCFixup> &Fixups) const;
89
Bill Wendlinge84eb992010-11-03 01:49:29 +000090 bool EncodeAddrModeOpValues(const MCInst &MI, unsigned OpIdx,
Jim Grosbach2eed7a12010-11-03 23:52:49 +000091 unsigned &Reg, unsigned &Imm,
92 SmallVectorImpl<MCFixup> &Fixups) const;
Bill Wendlinge84eb992010-11-03 01:49:29 +000093
Jim Grosbach9e199462010-12-06 23:57:07 +000094 /// getThumbBLTargetOpValue - Return encoding info for Thumb immediate
Bill Wendling3392bfc2010-12-09 00:39:08 +000095 /// BL branch target.
Jim Grosbach9e199462010-12-06 23:57:07 +000096 uint32_t getThumbBLTargetOpValue(const MCInst &MI, unsigned OpIdx,
97 SmallVectorImpl<MCFixup> &Fixups) const;
98
Bill Wendling3392bfc2010-12-09 00:39:08 +000099 /// getThumbBLXTargetOpValue - Return encoding info for Thumb immediate
100 /// BLX branch target.
101 uint32_t getThumbBLXTargetOpValue(const MCInst &MI, unsigned OpIdx,
102 SmallVectorImpl<MCFixup> &Fixups) const;
103
Jim Grosbach78485ad2010-12-10 17:13:40 +0000104 /// getThumbBCCTargetOpValue - Return encoding info for Thumb branch target.
105 uint32_t getThumbBCCTargetOpValue(const MCInst &MI, unsigned OpIdx,
106 SmallVectorImpl<MCFixup> &Fixups) const;
107
Jim Grosbach62b68112010-12-09 19:04:53 +0000108 /// getThumbCBTargetOpValue - Return encoding info for Thumb branch target.
109 uint32_t getThumbCBTargetOpValue(const MCInst &MI, unsigned OpIdx,
Bill Wendlinga7d6aa92010-12-08 23:01:43 +0000110 SmallVectorImpl<MCFixup> &Fixups) const;
111
Jim Grosbach9d6d77a2010-11-11 18:04:49 +0000112 /// getBranchTargetOpValue - Return encoding info for 24-bit immediate
113 /// branch target.
114 uint32_t getBranchTargetOpValue(const MCInst &MI, unsigned OpIdx,
115 SmallVectorImpl<MCFixup> &Fixups) const;
116
Jim Grosbachdc35e062010-12-01 19:47:31 +0000117 /// getAdrLabelOpValue - Return encoding info for 12-bit immediate
118 /// ADR label target.
119 uint32_t getAdrLabelOpValue(const MCInst &MI, unsigned OpIdx,
120 SmallVectorImpl<MCFixup> &Fixups) const;
121
Bill Wendlinge84eb992010-11-03 01:49:29 +0000122 /// getAddrModeImm12OpValue - Return encoding info for 'reg +/- imm12'
123 /// operand.
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000124 uint32_t getAddrModeImm12OpValue(const MCInst &MI, unsigned OpIdx,
125 SmallVectorImpl<MCFixup> &Fixups) const;
Bill Wendlinge84eb992010-11-03 01:49:29 +0000126
Owen Anderson943fb602010-12-01 19:18:46 +0000127 /// getT2AddrModeImm8s4OpValue - Return encoding info for 'reg +/- imm8<<2'
128 /// operand.
129 uint32_t getT2AddrModeImm8s4OpValue(const MCInst &MI, unsigned OpIdx,
130 SmallVectorImpl<MCFixup> &Fixups) const;
131
132
Jim Grosbachdbfb5ed2010-11-09 17:20:53 +0000133 /// getLdStSORegOpValue - Return encoding info for 'reg +/- reg shop imm'
134 /// operand as needed by load/store instructions.
135 uint32_t getLdStSORegOpValue(const MCInst &MI, unsigned OpIdx,
136 SmallVectorImpl<MCFixup> &Fixups) const;
137
Jim Grosbachcc4a4912010-11-10 23:38:36 +0000138 /// getLdStmModeOpValue - Return encoding for load/store multiple mode.
139 uint32_t getLdStmModeOpValue(const MCInst &MI, unsigned OpIdx,
140 SmallVectorImpl<MCFixup> &Fixups) const {
141 ARM_AM::AMSubMode Mode = (ARM_AM::AMSubMode)MI.getOperand(OpIdx).getImm();
142 switch (Mode) {
143 default: assert(0 && "Unknown addressing sub-mode!");
144 case ARM_AM::da: return 0;
145 case ARM_AM::ia: return 1;
146 case ARM_AM::db: return 2;
147 case ARM_AM::ib: return 3;
148 }
149 }
Jim Grosbach38b469e2010-11-15 20:47:07 +0000150 /// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
151 ///
152 unsigned getShiftOp(ARM_AM::ShiftOpc ShOpc) const {
153 switch (ShOpc) {
154 default: llvm_unreachable("Unknown shift opc!");
155 case ARM_AM::no_shift:
156 case ARM_AM::lsl: return 0;
157 case ARM_AM::lsr: return 1;
158 case ARM_AM::asr: return 2;
159 case ARM_AM::ror:
160 case ARM_AM::rrx: return 3;
161 }
162 return 0;
163 }
164
165 /// getAddrMode2OpValue - Return encoding for addrmode2 operands.
166 uint32_t getAddrMode2OpValue(const MCInst &MI, unsigned OpIdx,
167 SmallVectorImpl<MCFixup> &Fixups) const;
168
169 /// getAddrMode2OffsetOpValue - Return encoding for am2offset operands.
170 uint32_t getAddrMode2OffsetOpValue(const MCInst &MI, unsigned OpIdx,
171 SmallVectorImpl<MCFixup> &Fixups) const;
172
Jim Grosbach68685e62010-11-11 16:55:29 +0000173 /// getAddrMode3OffsetOpValue - Return encoding for am3offset operands.
174 uint32_t getAddrMode3OffsetOpValue(const MCInst &MI, unsigned OpIdx,
175 SmallVectorImpl<MCFixup> &Fixups) const;
176
Jim Grosbach607efcb2010-11-11 01:09:40 +0000177 /// getAddrMode3OpValue - Return encoding for addrmode3 operands.
178 uint32_t getAddrMode3OpValue(const MCInst &MI, unsigned OpIdx,
179 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbachcc4a4912010-11-10 23:38:36 +0000180
Jim Grosbach49bcd6f2010-12-07 21:50:47 +0000181 /// getAddrModeThumbSPOpValue - Return encoding info for 'reg +/- imm12'
182 /// operand.
183 uint32_t getAddrModeThumbSPOpValue(const MCInst &MI, unsigned OpIdx,
184 SmallVectorImpl<MCFixup> &Fixups) const;
185
Bill Wendling0c4838b2010-12-09 21:49:07 +0000186 /// getAddrModeSOpValue - Encode the t_addrmode_s# operands.
187 uint32_t getAddrModeSOpValue(const MCInst &MI, unsigned OpIdx,
188 SmallVectorImpl<MCFixup> &) const;
Bill Wendlinga9e3df72010-11-30 22:57:21 +0000189
Bill Wendling8a6449c2010-12-08 01:57:09 +0000190 /// getAddrModePCOpValue - Return encoding for t_addrmode_pc operands.
191 uint32_t getAddrModePCOpValue(const MCInst &MI, unsigned OpIdx,
192 SmallVectorImpl<MCFixup> &Fixups) const;
193
Bill Wendlinge84eb992010-11-03 01:49:29 +0000194 /// getAddrMode5OpValue - Return encoding info for 'reg +/- imm8' operand.
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000195 uint32_t getAddrMode5OpValue(const MCInst &MI, unsigned OpIdx,
196 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbach1e4d9a12010-10-26 22:37:02 +0000197
Jim Grosbachd9d31da2010-10-12 23:00:24 +0000198 /// getCCOutOpValue - Return encoding of the 's' bit.
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000199 unsigned getCCOutOpValue(const MCInst &MI, unsigned Op,
200 SmallVectorImpl<MCFixup> &Fixups) const {
Jim Grosbachd9d31da2010-10-12 23:00:24 +0000201 // The operand is either reg0 or CPSR. The 's' bit is encoded as '0' or
202 // '1' respectively.
203 return MI.getOperand(Op).getReg() == ARM::CPSR;
204 }
Jim Grosbachefd53692010-10-12 23:53:58 +0000205
Jim Grosbach12e493a2010-10-12 23:18:08 +0000206 /// getSOImmOpValue - Return an encoded 12-bit shifted-immediate value.
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000207 unsigned getSOImmOpValue(const MCInst &MI, unsigned Op,
208 SmallVectorImpl<MCFixup> &Fixups) const {
Jim Grosbach12e493a2010-10-12 23:18:08 +0000209 unsigned SoImm = MI.getOperand(Op).getImm();
210 int SoImmVal = ARM_AM::getSOImmVal(SoImm);
211 assert(SoImmVal != -1 && "Not a valid so_imm value!");
212
213 // Encode rotate_imm.
214 unsigned Binary = (ARM_AM::getSOImmValRot((unsigned)SoImmVal) >> 1)
215 << ARMII::SoRotImmShift;
216
217 // Encode immed_8.
218 Binary |= ARM_AM::getSOImmValImm((unsigned)SoImmVal);
219 return Binary;
220 }
Owen Anderson8fdd1722010-11-12 21:12:40 +0000221
222 /// getT2SOImmOpValue - Return an encoded 12-bit shifted-immediate value.
223 unsigned getT2SOImmOpValue(const MCInst &MI, unsigned Op,
224 SmallVectorImpl<MCFixup> &Fixups) const {
225 unsigned SoImm = MI.getOperand(Op).getImm();
226 unsigned Encoded = ARM_AM::getT2SOImmVal(SoImm);
227 assert(Encoded != ~0U && "Not a Thumb2 so_imm value?");
228 return Encoded;
229 }
Jim Grosbachd9d31da2010-10-12 23:00:24 +0000230
Owen Anderson50d662b2010-11-29 22:44:32 +0000231 unsigned getT2AddrModeSORegOpValue(const MCInst &MI, unsigned OpNum,
232 SmallVectorImpl<MCFixup> &Fixups) const;
233 unsigned getT2AddrModeImm8OpValue(const MCInst &MI, unsigned OpNum,
234 SmallVectorImpl<MCFixup> &Fixups) const;
Owen Andersone22c7322010-11-30 00:14:31 +0000235 unsigned getT2AddrModeImm8OffsetOpValue(const MCInst &MI, unsigned OpNum,
236 SmallVectorImpl<MCFixup> &Fixups) const;
Owen Anderson299382e2010-11-30 19:19:31 +0000237 unsigned getT2AddrModeImm12OffsetOpValue(const MCInst &MI, unsigned OpNum,
238 SmallVectorImpl<MCFixup> &Fixups) const;
Owen Anderson50d662b2010-11-29 22:44:32 +0000239
Jim Grosbachefd53692010-10-12 23:53:58 +0000240 /// getSORegOpValue - Return an encoded so_reg shifted register value.
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000241 unsigned getSORegOpValue(const MCInst &MI, unsigned Op,
242 SmallVectorImpl<MCFixup> &Fixups) const;
Owen Anderson8fdd1722010-11-12 21:12:40 +0000243 unsigned getT2SORegOpValue(const MCInst &MI, unsigned Op,
244 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbachefd53692010-10-12 23:53:58 +0000245
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000246 unsigned getRotImmOpValue(const MCInst &MI, unsigned Op,
247 SmallVectorImpl<MCFixup> &Fixups) const {
Jim Grosbach1e7db682010-10-13 19:56:10 +0000248 switch (MI.getOperand(Op).getImm()) {
249 default: assert (0 && "Not a valid rot_imm value!");
250 case 0: return 0;
251 case 8: return 1;
252 case 16: return 2;
253 case 24: return 3;
254 }
255 }
256
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000257 unsigned getImmMinusOneOpValue(const MCInst &MI, unsigned Op,
258 SmallVectorImpl<MCFixup> &Fixups) const {
Jim Grosbach68a335e2010-10-15 17:15:16 +0000259 return MI.getOperand(Op).getImm() - 1;
260 }
Jim Grosbach96d82842010-10-29 23:21:03 +0000261
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000262 unsigned getNEONVcvtImm32OpValue(const MCInst &MI, unsigned Op,
263 SmallVectorImpl<MCFixup> &Fixups) const {
Owen Andersonfadb9512010-10-27 22:49:00 +0000264 return 64 - MI.getOperand(Op).getImm();
265 }
Jim Grosbach68a335e2010-10-15 17:15:16 +0000266
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000267 unsigned getBitfieldInvertedMaskOpValue(const MCInst &MI, unsigned Op,
268 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbach5edb03e2010-10-21 22:03:21 +0000269
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000270 unsigned getRegisterListOpValue(const MCInst &MI, unsigned Op,
271 SmallVectorImpl<MCFixup> &Fixups) const;
272 unsigned getAddrMode6AddressOpValue(const MCInst &MI, unsigned Op,
273 SmallVectorImpl<MCFixup> &Fixups) const;
Bob Wilson318ce7c2010-11-30 00:00:42 +0000274 unsigned getAddrMode6DupAddressOpValue(const MCInst &MI, unsigned Op,
275 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000276 unsigned getAddrMode6OffsetOpValue(const MCInst &MI, unsigned Op,
277 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbach74ef9e12010-10-30 00:37:59 +0000278
Owen Anderson7ffe3b32010-11-11 19:07:48 +0000279 unsigned NEONThumb2DataIPostEncoder(const MCInst &MI,
280 unsigned EncodedValue) const;
Owen Anderson99a8cb42010-11-11 21:36:43 +0000281 unsigned NEONThumb2LoadStorePostEncoder(const MCInst &MI,
Bill Wendling87240d42010-12-01 21:54:50 +0000282 unsigned EncodedValue) const;
Owen Andersonce2250f2010-11-11 23:12:55 +0000283 unsigned NEONThumb2DupPostEncoder(const MCInst &MI,
Bill Wendling87240d42010-12-01 21:54:50 +0000284 unsigned EncodedValue) const;
285
286 unsigned VFPThumb2PostEncoder(const MCInst &MI,
287 unsigned EncodedValue) const;
Owen Anderson7ffe3b32010-11-11 19:07:48 +0000288
Jim Grosbach0fb841f2010-11-04 01:12:30 +0000289 void EmitByte(unsigned char C, raw_ostream &OS) const {
Jim Grosbach1287f4f2010-09-17 18:46:17 +0000290 OS << (char)C;
Jim Grosbach1287f4f2010-09-17 18:46:17 +0000291 }
292
Jim Grosbach0fb841f2010-11-04 01:12:30 +0000293 void EmitConstant(uint64_t Val, unsigned Size, raw_ostream &OS) const {
Jim Grosbach1287f4f2010-09-17 18:46:17 +0000294 // Output the constant in little endian byte order.
295 for (unsigned i = 0; i != Size; ++i) {
Jim Grosbach0fb841f2010-11-04 01:12:30 +0000296 EmitByte(Val & 255, OS);
Jim Grosbach1287f4f2010-09-17 18:46:17 +0000297 Val >>= 8;
298 }
299 }
300
Jim Grosbach1287f4f2010-09-17 18:46:17 +0000301 void EncodeInstruction(const MCInst &MI, raw_ostream &OS,
302 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbach1287f4f2010-09-17 18:46:17 +0000303};
304
305} // end anonymous namespace
306
Bill Wendlingf9eebb52010-11-02 22:53:11 +0000307MCCodeEmitter *llvm::createARMMCCodeEmitter(const Target &, TargetMachine &TM,
308 MCContext &Ctx) {
Jim Grosbach1287f4f2010-09-17 18:46:17 +0000309 return new ARMMCCodeEmitter(TM, Ctx);
310}
311
Owen Anderson99a8cb42010-11-11 21:36:43 +0000312/// NEONThumb2DataIPostEncoder - Post-process encoded NEON data-processing
Owen Anderson7ffe3b32010-11-11 19:07:48 +0000313/// instructions, and rewrite them to their Thumb2 form if we are currently in
314/// Thumb2 mode.
315unsigned ARMMCCodeEmitter::NEONThumb2DataIPostEncoder(const MCInst &MI,
316 unsigned EncodedValue) const {
317 const ARMSubtarget &Subtarget = TM.getSubtarget<ARMSubtarget>();
318 if (Subtarget.isThumb2()) {
319 // NEON Thumb2 data-processsing encodings are very simple: bit 24 is moved
320 // to bit 12 of the high half-word (i.e. bit 28), and bits 27-24 are
321 // set to 1111.
322 unsigned Bit24 = EncodedValue & 0x01000000;
323 unsigned Bit28 = Bit24 << 4;
324 EncodedValue &= 0xEFFFFFFF;
325 EncodedValue |= Bit28;
326 EncodedValue |= 0x0F000000;
327 }
328
329 return EncodedValue;
330}
331
Owen Anderson99a8cb42010-11-11 21:36:43 +0000332/// NEONThumb2LoadStorePostEncoder - Post-process encoded NEON load/store
333/// instructions, and rewrite them to their Thumb2 form if we are currently in
334/// Thumb2 mode.
335unsigned ARMMCCodeEmitter::NEONThumb2LoadStorePostEncoder(const MCInst &MI,
336 unsigned EncodedValue) const {
337 const ARMSubtarget &Subtarget = TM.getSubtarget<ARMSubtarget>();
338 if (Subtarget.isThumb2()) {
339 EncodedValue &= 0xF0FFFFFF;
340 EncodedValue |= 0x09000000;
341 }
342
343 return EncodedValue;
344}
345
Owen Andersonce2250f2010-11-11 23:12:55 +0000346/// NEONThumb2DupPostEncoder - Post-process encoded NEON vdup
347/// instructions, and rewrite them to their Thumb2 form if we are currently in
348/// Thumb2 mode.
349unsigned ARMMCCodeEmitter::NEONThumb2DupPostEncoder(const MCInst &MI,
350 unsigned EncodedValue) const {
351 const ARMSubtarget &Subtarget = TM.getSubtarget<ARMSubtarget>();
352 if (Subtarget.isThumb2()) {
353 EncodedValue &= 0x00FFFFFF;
354 EncodedValue |= 0xEE000000;
355 }
356
357 return EncodedValue;
358}
359
Bill Wendling87240d42010-12-01 21:54:50 +0000360/// VFPThumb2PostEncoder - Post-process encoded VFP instructions and rewrite
361/// them to their Thumb2 form if we are currently in Thumb2 mode.
362unsigned ARMMCCodeEmitter::
363VFPThumb2PostEncoder(const MCInst &MI, unsigned EncodedValue) const {
364 if (TM.getSubtarget<ARMSubtarget>().isThumb2()) {
365 EncodedValue &= 0x0FFFFFFF;
366 EncodedValue |= 0xE0000000;
367 }
368 return EncodedValue;
369}
Owen Anderson99a8cb42010-11-11 21:36:43 +0000370
Jim Grosbachc43c9302010-10-08 21:45:55 +0000371/// getMachineOpValue - Return binary encoding of operand. If the machine
372/// operand requires relocation, record the relocation and return zero.
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000373unsigned ARMMCCodeEmitter::
374getMachineOpValue(const MCInst &MI, const MCOperand &MO,
375 SmallVectorImpl<MCFixup> &Fixups) const {
Bill Wendling6f52f8a2010-10-14 02:33:26 +0000376 if (MO.isReg()) {
Bill Wendlingf9eebb52010-11-02 22:53:11 +0000377 unsigned Reg = MO.getReg();
378 unsigned RegNo = getARMRegisterNumbering(Reg);
Jim Grosbach96d82842010-10-29 23:21:03 +0000379
Jim Grosbachee48d2d2010-11-30 23:51:41 +0000380 // Q registers are encoded as 2x their register number.
Bill Wendlingf9eebb52010-11-02 22:53:11 +0000381 switch (Reg) {
382 default:
383 return RegNo;
384 case ARM::Q0: case ARM::Q1: case ARM::Q2: case ARM::Q3:
385 case ARM::Q4: case ARM::Q5: case ARM::Q6: case ARM::Q7:
386 case ARM::Q8: case ARM::Q9: case ARM::Q10: case ARM::Q11:
387 case ARM::Q12: case ARM::Q13: case ARM::Q14: case ARM::Q15:
388 return 2 * RegNo;
Owen Anderson2bfa8ed2010-10-21 20:49:13 +0000389 }
Bill Wendling6f52f8a2010-10-14 02:33:26 +0000390 } else if (MO.isImm()) {
Jim Grosbachc43c9302010-10-08 21:45:55 +0000391 return static_cast<unsigned>(MO.getImm());
Bill Wendling6f52f8a2010-10-14 02:33:26 +0000392 } else if (MO.isFPImm()) {
393 return static_cast<unsigned>(APFloat(MO.getFPImm())
394 .bitcastToAPInt().getHiBits(32).getLimitedValue());
Jim Grosbachc43c9302010-10-08 21:45:55 +0000395 }
Bill Wendlingf9eebb52010-11-02 22:53:11 +0000396
Jim Grosbach2aeb8b92010-11-19 00:27:09 +0000397 llvm_unreachable("Unable to encode MCOperand!");
Jim Grosbachc43c9302010-10-08 21:45:55 +0000398 return 0;
399}
400
Bill Wendling603bd8f2010-11-02 22:31:46 +0000401/// getAddrModeImmOpValue - Return encoding info for 'reg +/- imm' operand.
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000402bool ARMMCCodeEmitter::
403EncodeAddrModeOpValues(const MCInst &MI, unsigned OpIdx, unsigned &Reg,
404 unsigned &Imm, SmallVectorImpl<MCFixup> &Fixups) const {
Jim Grosbach1e4d9a12010-10-26 22:37:02 +0000405 const MCOperand &MO = MI.getOperand(OpIdx);
406 const MCOperand &MO1 = MI.getOperand(OpIdx + 1);
Jim Grosbach2ba03aa2010-11-01 23:45:50 +0000407
Bill Wendlinge84eb992010-11-03 01:49:29 +0000408 Reg = getARMRegisterNumbering(MO.getReg());
409
410 int32_t SImm = MO1.getImm();
411 bool isAdd = true;
Bill Wendling603bd8f2010-11-02 22:31:46 +0000412
Jim Grosbach505607e2010-10-28 18:34:10 +0000413 // Special value for #-0
Bill Wendlinge84eb992010-11-03 01:49:29 +0000414 if (SImm == INT32_MIN)
415 SImm = 0;
Bill Wendling603bd8f2010-11-02 22:31:46 +0000416
Jim Grosbach505607e2010-10-28 18:34:10 +0000417 // Immediate is always encoded as positive. The 'U' bit controls add vs sub.
Bill Wendlinge84eb992010-11-03 01:49:29 +0000418 if (SImm < 0) {
419 SImm = -SImm;
420 isAdd = false;
421 }
Bill Wendling603bd8f2010-11-02 22:31:46 +0000422
Bill Wendlinge84eb992010-11-03 01:49:29 +0000423 Imm = SImm;
424 return isAdd;
425}
426
Bill Wendlinga7d6aa92010-12-08 23:01:43 +0000427/// getBranchTargetOpValue - Helper function to get the branch target operand,
428/// which is either an immediate or requires a fixup.
429static uint32_t getBranchTargetOpValue(const MCInst &MI, unsigned OpIdx,
430 unsigned FixupKind,
431 SmallVectorImpl<MCFixup> &Fixups) {
432 const MCOperand &MO = MI.getOperand(OpIdx);
433
434 // If the destination is an immediate, we have nothing to do.
435 if (MO.isImm()) return MO.getImm();
436 assert(MO.isExpr() && "Unexpected branch target type!");
437 const MCExpr *Expr = MO.getExpr();
438 MCFixupKind Kind = MCFixupKind(FixupKind);
439 Fixups.push_back(MCFixup::Create(0, Expr, Kind));
440
441 // All of the information is in the fixup.
442 return 0;
443}
444
445/// getThumbBLTargetOpValue - Return encoding info for immediate branch target.
Jim Grosbach9e199462010-12-06 23:57:07 +0000446uint32_t ARMMCCodeEmitter::
447getThumbBLTargetOpValue(const MCInst &MI, unsigned OpIdx,
448 SmallVectorImpl<MCFixup> &Fixups) const {
Bill Wendlinga7d6aa92010-12-08 23:01:43 +0000449 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_thumb_bl, Fixups);
Jim Grosbach9e199462010-12-06 23:57:07 +0000450}
451
Bill Wendling3392bfc2010-12-09 00:39:08 +0000452/// getThumbBLXTargetOpValue - Return encoding info for Thumb immediate
453/// BLX branch target.
454uint32_t ARMMCCodeEmitter::
455getThumbBLXTargetOpValue(const MCInst &MI, unsigned OpIdx,
456 SmallVectorImpl<MCFixup> &Fixups) const {
457 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_thumb_blx, Fixups);
458}
459
Jim Grosbach78485ad2010-12-10 17:13:40 +0000460/// getThumbBCCTargetOpValue - Return encoding info for Thumb branch target.
461uint32_t ARMMCCodeEmitter::
462getThumbBCCTargetOpValue(const MCInst &MI, unsigned OpIdx,
463 SmallVectorImpl<MCFixup> &Fixups) const {
464 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_thumb_bcc, Fixups);
465}
466
Jim Grosbach62b68112010-12-09 19:04:53 +0000467/// getThumbCBTargetOpValue - Return encoding info for Thumb branch target.
Bill Wendlinga7d6aa92010-12-08 23:01:43 +0000468uint32_t ARMMCCodeEmitter::
Jim Grosbach62b68112010-12-09 19:04:53 +0000469getThumbCBTargetOpValue(const MCInst &MI, unsigned OpIdx,
Bill Wendlinga7d6aa92010-12-08 23:01:43 +0000470 SmallVectorImpl<MCFixup> &Fixups) const {
Jim Grosbach68b27eb2010-12-09 19:50:12 +0000471 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_thumb_cb, Fixups);
Bill Wendlinga7d6aa92010-12-08 23:01:43 +0000472}
473
474/// getBranchTargetOpValue - Return encoding info for 24-bit immediate branch
475/// target.
Jim Grosbach9d6d77a2010-11-11 18:04:49 +0000476uint32_t ARMMCCodeEmitter::
477getBranchTargetOpValue(const MCInst &MI, unsigned OpIdx,
Bill Wendlinga7d6aa92010-12-08 23:01:43 +0000478 SmallVectorImpl<MCFixup> &Fixups) const {
Owen Anderson302d5fd2010-12-09 00:27:41 +0000479 const ARMSubtarget &Subtarget = TM.getSubtarget<ARMSubtarget>();
480 if (Subtarget.isThumb2())
481 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_t2_branch, Fixups);
Bill Wendlinga7d6aa92010-12-08 23:01:43 +0000482 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_branch, Fixups);
Jim Grosbach9d6d77a2010-11-11 18:04:49 +0000483}
484
Bill Wendlinga7d6aa92010-12-08 23:01:43 +0000485/// getAdrLabelOpValue - Return encoding info for 12-bit immediate ADR label
486/// target.
Jim Grosbachdc35e062010-12-01 19:47:31 +0000487uint32_t ARMMCCodeEmitter::
488getAdrLabelOpValue(const MCInst &MI, unsigned OpIdx,
489 SmallVectorImpl<MCFixup> &Fixups) const {
Bill Wendlinga7d6aa92010-12-08 23:01:43 +0000490 assert(MI.getOperand(OpIdx).isExpr() && "Unexpected adr target type!");
491 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_adr_pcrel_12,
492 Fixups);
Jim Grosbachdc35e062010-12-01 19:47:31 +0000493}
494
Bill Wendlinge84eb992010-11-03 01:49:29 +0000495/// getAddrModeImm12OpValue - Return encoding info for 'reg +/- imm12' operand.
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000496uint32_t ARMMCCodeEmitter::
497getAddrModeImm12OpValue(const MCInst &MI, unsigned OpIdx,
498 SmallVectorImpl<MCFixup> &Fixups) const {
Bill Wendlinge84eb992010-11-03 01:49:29 +0000499 // {17-13} = reg
500 // {12} = (U)nsigned (add == '1', sub == '0')
501 // {11-0} = imm12
502 unsigned Reg, Imm12;
Jim Grosbach0fb841f2010-11-04 01:12:30 +0000503 bool isAdd = true;
504 // If The first operand isn't a register, we have a label reference.
505 const MCOperand &MO = MI.getOperand(OpIdx);
Owen Anderson99ea8a32010-12-07 00:45:21 +0000506 const MCOperand &MO2 = MI.getOperand(OpIdx+1);
507 if (!MO.isReg() || (MO.getReg() == ARM::PC && MO2.isExpr())) {
Jim Grosbach90987142010-11-09 01:37:15 +0000508 Reg = getARMRegisterNumbering(ARM::PC); // Rn is PC.
Jim Grosbach0fb841f2010-11-04 01:12:30 +0000509 Imm12 = 0;
Jim Grosbach2d3e5c12010-11-30 22:40:36 +0000510 isAdd = false ; // 'U' bit is set as part of the fixup.
Jim Grosbach0fb841f2010-11-04 01:12:30 +0000511
Owen Anderson99ea8a32010-12-07 00:45:21 +0000512 const MCExpr *Expr = 0;
513 if (!MO.isReg())
514 Expr = MO.getExpr();
515 else
516 Expr = MO2.getExpr();
517
Owen Anderson3e6ee1d2010-12-09 01:51:07 +0000518 const ARMSubtarget &Subtarget = TM.getSubtarget<ARMSubtarget>();
519 MCFixupKind Kind;
520 if (Subtarget.isThumb2())
521 Kind = MCFixupKind(ARM::fixup_t2_ldst_pcrel_12);
522 else
523 Kind = MCFixupKind(ARM::fixup_arm_ldst_pcrel_12);
Jim Grosbach0fb841f2010-11-04 01:12:30 +0000524 Fixups.push_back(MCFixup::Create(0, Expr, Kind));
525
526 ++MCNumCPRelocations;
527 } else
528 isAdd = EncodeAddrModeOpValues(MI, OpIdx, Reg, Imm12, Fixups);
Bill Wendlinge84eb992010-11-03 01:49:29 +0000529
Bill Wendlinge84eb992010-11-03 01:49:29 +0000530 uint32_t Binary = Imm12 & 0xfff;
531 // Immediate is always encoded as positive. The 'U' bit controls add vs sub.
Jim Grosbach505607e2010-10-28 18:34:10 +0000532 if (isAdd)
Bill Wendlinge84eb992010-11-03 01:49:29 +0000533 Binary |= (1 << 12);
534 Binary |= (Reg << 13);
535 return Binary;
536}
537
Owen Anderson943fb602010-12-01 19:18:46 +0000538/// getT2AddrModeImm8s4OpValue - Return encoding info for
539/// 'reg +/- imm8<<2' operand.
540uint32_t ARMMCCodeEmitter::
541getT2AddrModeImm8s4OpValue(const MCInst &MI, unsigned OpIdx,
542 SmallVectorImpl<MCFixup> &Fixups) const {
543 // {17-13} = reg
544 // {12} = (U)nsigned (add == '1', sub == '0')
545 // {11-0} = imm8
546 unsigned Reg, Imm8;
547 bool isAdd = true;
548 // If The first operand isn't a register, we have a label reference.
549 const MCOperand &MO = MI.getOperand(OpIdx);
550 if (!MO.isReg()) {
551 Reg = getARMRegisterNumbering(ARM::PC); // Rn is PC.
552 Imm8 = 0;
553 isAdd = false ; // 'U' bit is set as part of the fixup.
554
555 assert(MO.isExpr() && "Unexpected machine operand type!");
556 const MCExpr *Expr = MO.getExpr();
557 MCFixupKind Kind = MCFixupKind(ARM::fixup_arm_pcrel_10);
558 Fixups.push_back(MCFixup::Create(0, Expr, Kind));
559
560 ++MCNumCPRelocations;
561 } else
562 isAdd = EncodeAddrModeOpValues(MI, OpIdx, Reg, Imm8, Fixups);
563
564 uint32_t Binary = (Imm8 >> 2) & 0xff;
565 // Immediate is always encoded as positive. The 'U' bit controls add vs sub.
566 if (isAdd)
567 Binary |= (1 << 9);
568 Binary |= (Reg << 9);
569 return Binary;
570}
571
Jim Grosbachdbfb5ed2010-11-09 17:20:53 +0000572uint32_t ARMMCCodeEmitter::
Jason W Kim5a97bd82010-11-18 23:37:15 +0000573getMovtImmOpValue(const MCInst &MI, unsigned OpIdx,
574 SmallVectorImpl<MCFixup> &Fixups) const {
575 // {20-16} = imm{15-12}
576 // {11-0} = imm{11-0}
577 const MCOperand &MO = MI.getOperand(OpIdx);
578 if (MO.isImm()) {
579 return static_cast<unsigned>(MO.getImm());
580 } else if (const MCSymbolRefExpr *Expr =
581 dyn_cast<MCSymbolRefExpr>(MO.getExpr())) {
582 MCFixupKind Kind;
583 switch (Expr->getKind()) {
Duncan Sands5cadccc2010-11-22 09:38:00 +0000584 default: assert(0 && "Unsupported ARMFixup");
Jason W Kim5a97bd82010-11-18 23:37:15 +0000585 case MCSymbolRefExpr::VK_ARM_HI16:
586 Kind = MCFixupKind(ARM::fixup_arm_movt_hi16);
587 break;
588 case MCSymbolRefExpr::VK_ARM_LO16:
589 Kind = MCFixupKind(ARM::fixup_arm_movw_lo16);
590 break;
Jason W Kim5a97bd82010-11-18 23:37:15 +0000591 }
592 Fixups.push_back(MCFixup::Create(0, Expr, Kind));
593 return 0;
Jim Grosbach2aeb8b92010-11-19 00:27:09 +0000594 };
595 llvm_unreachable("Unsupported MCExpr type in MCOperand!");
Jason W Kim5a97bd82010-11-18 23:37:15 +0000596 return 0;
597}
598
599uint32_t ARMMCCodeEmitter::
Jim Grosbachdbfb5ed2010-11-09 17:20:53 +0000600getLdStSORegOpValue(const MCInst &MI, unsigned OpIdx,
601 SmallVectorImpl<MCFixup> &Fixups) const {
602 const MCOperand &MO = MI.getOperand(OpIdx);
603 const MCOperand &MO1 = MI.getOperand(OpIdx+1);
604 const MCOperand &MO2 = MI.getOperand(OpIdx+2);
605 unsigned Rn = getARMRegisterNumbering(MO.getReg());
606 unsigned Rm = getARMRegisterNumbering(MO1.getReg());
Jim Grosbachdbfb5ed2010-11-09 17:20:53 +0000607 unsigned ShImm = ARM_AM::getAM2Offset(MO2.getImm());
608 bool isAdd = ARM_AM::getAM2Op(MO2.getImm()) == ARM_AM::add;
Jim Grosbach38b469e2010-11-15 20:47:07 +0000609 ARM_AM::ShiftOpc ShOp = ARM_AM::getAM2ShiftOpc(MO2.getImm());
610 unsigned SBits = getShiftOp(ShOp);
Jim Grosbachdbfb5ed2010-11-09 17:20:53 +0000611
612 // {16-13} = Rn
613 // {12} = isAdd
614 // {11-0} = shifter
615 // {3-0} = Rm
616 // {4} = 0
617 // {6-5} = type
618 // {11-7} = imm
Jim Grosbach607efcb2010-11-11 01:09:40 +0000619 uint32_t Binary = Rm;
Jim Grosbachdbfb5ed2010-11-09 17:20:53 +0000620 Binary |= Rn << 13;
621 Binary |= SBits << 5;
622 Binary |= ShImm << 7;
623 if (isAdd)
624 Binary |= 1 << 12;
625 return Binary;
626}
627
Jim Grosbach607efcb2010-11-11 01:09:40 +0000628uint32_t ARMMCCodeEmitter::
Jim Grosbach38b469e2010-11-15 20:47:07 +0000629getAddrMode2OpValue(const MCInst &MI, unsigned OpIdx,
630 SmallVectorImpl<MCFixup> &Fixups) const {
631 // {17-14} Rn
632 // {13} 1 == imm12, 0 == Rm
633 // {12} isAdd
634 // {11-0} imm12/Rm
635 const MCOperand &MO = MI.getOperand(OpIdx);
636 unsigned Rn = getARMRegisterNumbering(MO.getReg());
637 uint32_t Binary = getAddrMode2OffsetOpValue(MI, OpIdx + 1, Fixups);
638 Binary |= Rn << 14;
639 return Binary;
640}
641
642uint32_t ARMMCCodeEmitter::
643getAddrMode2OffsetOpValue(const MCInst &MI, unsigned OpIdx,
644 SmallVectorImpl<MCFixup> &Fixups) const {
645 // {13} 1 == imm12, 0 == Rm
646 // {12} isAdd
647 // {11-0} imm12/Rm
648 const MCOperand &MO = MI.getOperand(OpIdx);
649 const MCOperand &MO1 = MI.getOperand(OpIdx+1);
650 unsigned Imm = MO1.getImm();
651 bool isAdd = ARM_AM::getAM2Op(Imm) == ARM_AM::add;
652 bool isReg = MO.getReg() != 0;
653 uint32_t Binary = ARM_AM::getAM2Offset(Imm);
654 // if reg +/- reg, Rm will be non-zero. Otherwise, we have reg +/- imm12
655 if (isReg) {
656 ARM_AM::ShiftOpc ShOp = ARM_AM::getAM2ShiftOpc(Imm);
657 Binary <<= 7; // Shift amount is bits [11:7]
658 Binary |= getShiftOp(ShOp) << 5; // Shift type is bits [6:5]
659 Binary |= getARMRegisterNumbering(MO.getReg()); // Rm is bits [3:0]
660 }
661 return Binary | (isAdd << 12) | (isReg << 13);
662}
663
664uint32_t ARMMCCodeEmitter::
Jim Grosbach68685e62010-11-11 16:55:29 +0000665getAddrMode3OffsetOpValue(const MCInst &MI, unsigned OpIdx,
666 SmallVectorImpl<MCFixup> &Fixups) const {
667 // {9} 1 == imm8, 0 == Rm
668 // {8} isAdd
669 // {7-4} imm7_4/zero
670 // {3-0} imm3_0/Rm
671 const MCOperand &MO = MI.getOperand(OpIdx);
672 const MCOperand &MO1 = MI.getOperand(OpIdx+1);
673 unsigned Imm = MO1.getImm();
674 bool isAdd = ARM_AM::getAM3Op(Imm) == ARM_AM::add;
675 bool isImm = MO.getReg() == 0;
676 uint32_t Imm8 = ARM_AM::getAM3Offset(Imm);
677 // if reg +/- reg, Rm will be non-zero. Otherwise, we have reg +/- imm8
678 if (!isImm)
679 Imm8 = getARMRegisterNumbering(MO.getReg());
680 return Imm8 | (isAdd << 8) | (isImm << 9);
681}
682
683uint32_t ARMMCCodeEmitter::
Jim Grosbach607efcb2010-11-11 01:09:40 +0000684getAddrMode3OpValue(const MCInst &MI, unsigned OpIdx,
685 SmallVectorImpl<MCFixup> &Fixups) const {
686 // {13} 1 == imm8, 0 == Rm
687 // {12-9} Rn
688 // {8} isAdd
689 // {7-4} imm7_4/zero
690 // {3-0} imm3_0/Rm
691 const MCOperand &MO = MI.getOperand(OpIdx);
692 const MCOperand &MO1 = MI.getOperand(OpIdx+1);
693 const MCOperand &MO2 = MI.getOperand(OpIdx+2);
694 unsigned Rn = getARMRegisterNumbering(MO.getReg());
695 unsigned Imm = MO2.getImm();
696 bool isAdd = ARM_AM::getAM3Op(Imm) == ARM_AM::add;
697 bool isImm = MO1.getReg() == 0;
698 uint32_t Imm8 = ARM_AM::getAM3Offset(Imm);
699 // if reg +/- reg, Rm will be non-zero. Otherwise, we have reg +/- imm8
700 if (!isImm)
701 Imm8 = getARMRegisterNumbering(MO1.getReg());
702 return (Rn << 9) | Imm8 | (isAdd << 8) | (isImm << 13);
703}
704
Bill Wendling8a6449c2010-12-08 01:57:09 +0000705/// getAddrModeThumbSPOpValue - Encode the t_addrmode_sp operands.
Jim Grosbach49bcd6f2010-12-07 21:50:47 +0000706uint32_t ARMMCCodeEmitter::
707getAddrModeThumbSPOpValue(const MCInst &MI, unsigned OpIdx,
708 SmallVectorImpl<MCFixup> &Fixups) const {
709 // [SP, #imm]
710 // {7-0} = imm8
Jim Grosbach49bcd6f2010-12-07 21:50:47 +0000711 const MCOperand &MO1 = MI.getOperand(OpIdx + 1);
Bill Wendling8a6449c2010-12-08 01:57:09 +0000712#if 0 // FIXME: This crashes2003-05-14-initialize-string.c
713 assert(MI.getOperand(OpIdx).getReg() == ARM::SP &&
714 "Unexpected base register!");
715#endif
Jim Grosbach49bcd6f2010-12-07 21:50:47 +0000716 // The immediate is already shifted for the implicit zeroes, so no change
717 // here.
718 return MO1.getImm() & 0xff;
719}
720
Bill Wendlinga9e3df72010-11-30 22:57:21 +0000721/// getAddrModeSOpValue - Encode the t_addrmode_s# operands.
Bill Wendling0c4838b2010-12-09 21:49:07 +0000722uint32_t ARMMCCodeEmitter::
723getAddrModeSOpValue(const MCInst &MI, unsigned OpIdx,
724 SmallVectorImpl<MCFixup> &) const {
Bill Wendling811c9362010-11-30 07:44:32 +0000725 // [Rn, Rm]
726 // {5-3} = Rm
727 // {2-0} = Rn
728 //
729 // [Rn, #imm]
730 // {7-3} = imm5
731 // {2-0} = Rn
732 const MCOperand &MO = MI.getOperand(OpIdx);
733 const MCOperand &MO1 = MI.getOperand(OpIdx + 1);
734 const MCOperand &MO2 = MI.getOperand(OpIdx + 2);
735 unsigned Rn = getARMRegisterNumbering(MO.getReg());
Bill Wendling0c4838b2010-12-09 21:49:07 +0000736 unsigned Imm5 = MO1.getImm();
Bill Wendlingf0b36a32010-12-03 00:53:22 +0000737
738 if (MO2.getReg() != 0)
739 // Is an immediate.
740 Imm5 = getARMRegisterNumbering(MO2.getReg());
741
Bill Wendling0c4838b2010-12-09 21:49:07 +0000742 return ((Imm5 & 0x1f) << 3) | Rn;
Bill Wendlinga9e3df72010-11-30 22:57:21 +0000743}
744
Bill Wendling8a6449c2010-12-08 01:57:09 +0000745/// getAddrModePCOpValue - Return encoding for t_addrmode_pc operands.
746uint32_t ARMMCCodeEmitter::
747getAddrModePCOpValue(const MCInst &MI, unsigned OpIdx,
748 SmallVectorImpl<MCFixup> &Fixups) const {
Bill Wendling3392bfc2010-12-09 00:39:08 +0000749 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_thumb_cp, Fixups);
Bill Wendling8a6449c2010-12-08 01:57:09 +0000750}
751
Jim Grosbach30eb6c72010-12-01 21:09:40 +0000752/// getAddrMode5OpValue - Return encoding info for 'reg +/- imm10' operand.
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000753uint32_t ARMMCCodeEmitter::
754getAddrMode5OpValue(const MCInst &MI, unsigned OpIdx,
755 SmallVectorImpl<MCFixup> &Fixups) const {
Bill Wendlinge84eb992010-11-03 01:49:29 +0000756 // {12-9} = reg
757 // {8} = (U)nsigned (add == '1', sub == '0')
758 // {7-0} = imm8
759 unsigned Reg, Imm8;
Jim Grosbach2d3e5c12010-11-30 22:40:36 +0000760 bool isAdd;
Jim Grosbach0fb841f2010-11-04 01:12:30 +0000761 // If The first operand isn't a register, we have a label reference.
762 const MCOperand &MO = MI.getOperand(OpIdx);
763 if (!MO.isReg()) {
Jim Grosbach90987142010-11-09 01:37:15 +0000764 Reg = getARMRegisterNumbering(ARM::PC); // Rn is PC.
Jim Grosbach0fb841f2010-11-04 01:12:30 +0000765 Imm8 = 0;
Jim Grosbach2d3e5c12010-11-30 22:40:36 +0000766 isAdd = false; // 'U' bit is handled as part of the fixup.
Jim Grosbach0fb841f2010-11-04 01:12:30 +0000767
768 assert(MO.isExpr() && "Unexpected machine operand type!");
769 const MCExpr *Expr = MO.getExpr();
Owen Anderson0f7142d2010-12-08 00:18:36 +0000770 MCFixupKind Kind;
771 const ARMSubtarget &Subtarget = TM.getSubtarget<ARMSubtarget>();
772 if (Subtarget.isThumb2())
773 Kind = MCFixupKind(ARM::fixup_t2_pcrel_10);
774 else
775 Kind = MCFixupKind(ARM::fixup_arm_pcrel_10);
Jim Grosbach0fb841f2010-11-04 01:12:30 +0000776 Fixups.push_back(MCFixup::Create(0, Expr, Kind));
777
778 ++MCNumCPRelocations;
Jim Grosbach2d3e5c12010-11-30 22:40:36 +0000779 } else {
Jim Grosbach0fb841f2010-11-04 01:12:30 +0000780 EncodeAddrModeOpValues(MI, OpIdx, Reg, Imm8, Fixups);
Jim Grosbach2d3e5c12010-11-30 22:40:36 +0000781 isAdd = ARM_AM::getAM5Op(Imm8) == ARM_AM::add;
782 }
Bill Wendlinge84eb992010-11-03 01:49:29 +0000783
Bill Wendlinge84eb992010-11-03 01:49:29 +0000784 uint32_t Binary = ARM_AM::getAM5Offset(Imm8);
785 // Immediate is always encoded as positive. The 'U' bit controls add vs sub.
Jim Grosbach2d3e5c12010-11-30 22:40:36 +0000786 if (isAdd)
Bill Wendlinge84eb992010-11-03 01:49:29 +0000787 Binary |= (1 << 8);
788 Binary |= (Reg << 9);
Jim Grosbach1e4d9a12010-10-26 22:37:02 +0000789 return Binary;
790}
791
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000792unsigned ARMMCCodeEmitter::
793getSORegOpValue(const MCInst &MI, unsigned OpIdx,
794 SmallVectorImpl<MCFixup> &Fixups) const {
Bill Wendlingf9eebb52010-11-02 22:53:11 +0000795 // Sub-operands are [reg, reg, imm]. The first register is Rm, the reg to be
796 // shifted. The second is either Rs, the amount to shift by, or reg0 in which
797 // case the imm contains the amount to shift by.
Jim Grosbach49b0c452010-11-03 22:03:20 +0000798 //
Jim Grosbachefd53692010-10-12 23:53:58 +0000799 // {3-0} = Rm.
Bill Wendlingf9eebb52010-11-02 22:53:11 +0000800 // {4} = 1 if reg shift, 0 if imm shift
Jim Grosbachefd53692010-10-12 23:53:58 +0000801 // {6-5} = type
802 // If reg shift:
Jim Grosbachefd53692010-10-12 23:53:58 +0000803 // {11-8} = Rs
Bill Wendlingf9eebb52010-11-02 22:53:11 +0000804 // {7} = 0
Jim Grosbachefd53692010-10-12 23:53:58 +0000805 // else (imm shift)
806 // {11-7} = imm
807
808 const MCOperand &MO = MI.getOperand(OpIdx);
809 const MCOperand &MO1 = MI.getOperand(OpIdx + 1);
810 const MCOperand &MO2 = MI.getOperand(OpIdx + 2);
811 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO2.getImm());
812
813 // Encode Rm.
814 unsigned Binary = getARMRegisterNumbering(MO.getReg());
815
816 // Encode the shift opcode.
817 unsigned SBits = 0;
818 unsigned Rs = MO1.getReg();
819 if (Rs) {
820 // Set shift operand (bit[7:4]).
821 // LSL - 0001
822 // LSR - 0011
823 // ASR - 0101
824 // ROR - 0111
825 // RRX - 0110 and bit[11:8] clear.
826 switch (SOpc) {
827 default: llvm_unreachable("Unknown shift opc!");
828 case ARM_AM::lsl: SBits = 0x1; break;
829 case ARM_AM::lsr: SBits = 0x3; break;
830 case ARM_AM::asr: SBits = 0x5; break;
831 case ARM_AM::ror: SBits = 0x7; break;
832 case ARM_AM::rrx: SBits = 0x6; break;
833 }
834 } else {
835 // Set shift operand (bit[6:4]).
836 // LSL - 000
837 // LSR - 010
838 // ASR - 100
839 // ROR - 110
840 switch (SOpc) {
841 default: llvm_unreachable("Unknown shift opc!");
842 case ARM_AM::lsl: SBits = 0x0; break;
843 case ARM_AM::lsr: SBits = 0x2; break;
844 case ARM_AM::asr: SBits = 0x4; break;
845 case ARM_AM::ror: SBits = 0x6; break;
846 }
847 }
Bill Wendlingf9eebb52010-11-02 22:53:11 +0000848
Jim Grosbachefd53692010-10-12 23:53:58 +0000849 Binary |= SBits << 4;
850 if (SOpc == ARM_AM::rrx)
851 return Binary;
852
853 // Encode the shift operation Rs or shift_imm (except rrx).
854 if (Rs) {
855 // Encode Rs bit[11:8].
856 assert(ARM_AM::getSORegOffset(MO2.getImm()) == 0);
857 return Binary | (getARMRegisterNumbering(Rs) << ARMII::RegRsShift);
858 }
859
860 // Encode shift_imm bit[11:7].
861 return Binary | ARM_AM::getSORegOffset(MO2.getImm()) << 7;
862}
863
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000864unsigned ARMMCCodeEmitter::
Owen Anderson50d662b2010-11-29 22:44:32 +0000865getT2AddrModeSORegOpValue(const MCInst &MI, unsigned OpNum,
866 SmallVectorImpl<MCFixup> &Fixups) const {
867 const MCOperand &MO1 = MI.getOperand(OpNum);
868 const MCOperand &MO2 = MI.getOperand(OpNum+1);
869 const MCOperand &MO3 = MI.getOperand(OpNum+2);
870
871 // Encoded as [Rn, Rm, imm].
872 // FIXME: Needs fixup support.
873 unsigned Value = getARMRegisterNumbering(MO1.getReg());
874 Value <<= 4;
875 Value |= getARMRegisterNumbering(MO2.getReg());
876 Value <<= 2;
877 Value |= MO3.getImm();
878
879 return Value;
880}
881
882unsigned ARMMCCodeEmitter::
883getT2AddrModeImm8OpValue(const MCInst &MI, unsigned OpNum,
884 SmallVectorImpl<MCFixup> &Fixups) const {
885 const MCOperand &MO1 = MI.getOperand(OpNum);
886 const MCOperand &MO2 = MI.getOperand(OpNum+1);
887
888 // FIXME: Needs fixup support.
889 unsigned Value = getARMRegisterNumbering(MO1.getReg());
890
891 // Even though the immediate is 8 bits long, we need 9 bits in order
892 // to represent the (inverse of the) sign bit.
893 Value <<= 9;
Owen Andersone22c7322010-11-30 00:14:31 +0000894 int32_t tmp = (int32_t)MO2.getImm();
895 if (tmp < 0)
896 tmp = abs(tmp);
897 else
898 Value |= 256; // Set the ADD bit
899 Value |= tmp & 255;
900 return Value;
901}
902
903unsigned ARMMCCodeEmitter::
904getT2AddrModeImm8OffsetOpValue(const MCInst &MI, unsigned OpNum,
905 SmallVectorImpl<MCFixup> &Fixups) const {
906 const MCOperand &MO1 = MI.getOperand(OpNum);
907
908 // FIXME: Needs fixup support.
909 unsigned Value = 0;
910 int32_t tmp = (int32_t)MO1.getImm();
911 if (tmp < 0)
912 tmp = abs(tmp);
913 else
914 Value |= 256; // Set the ADD bit
915 Value |= tmp & 255;
Owen Anderson50d662b2010-11-29 22:44:32 +0000916 return Value;
917}
918
919unsigned ARMMCCodeEmitter::
Owen Anderson299382e2010-11-30 19:19:31 +0000920getT2AddrModeImm12OffsetOpValue(const MCInst &MI, unsigned OpNum,
921 SmallVectorImpl<MCFixup> &Fixups) const {
922 const MCOperand &MO1 = MI.getOperand(OpNum);
923
924 // FIXME: Needs fixup support.
925 unsigned Value = 0;
926 int32_t tmp = (int32_t)MO1.getImm();
927 if (tmp < 0)
928 tmp = abs(tmp);
929 else
930 Value |= 4096; // Set the ADD bit
931 Value |= tmp & 4095;
932 return Value;
933}
934
935unsigned ARMMCCodeEmitter::
Owen Anderson8fdd1722010-11-12 21:12:40 +0000936getT2SORegOpValue(const MCInst &MI, unsigned OpIdx,
937 SmallVectorImpl<MCFixup> &Fixups) const {
938 // Sub-operands are [reg, imm]. The first register is Rm, the reg to be
939 // shifted. The second is the amount to shift by.
940 //
941 // {3-0} = Rm.
942 // {4} = 0
943 // {6-5} = type
944 // {11-7} = imm
945
946 const MCOperand &MO = MI.getOperand(OpIdx);
947 const MCOperand &MO1 = MI.getOperand(OpIdx + 1);
948 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO1.getImm());
949
950 // Encode Rm.
951 unsigned Binary = getARMRegisterNumbering(MO.getReg());
952
953 // Encode the shift opcode.
954 unsigned SBits = 0;
955 // Set shift operand (bit[6:4]).
956 // LSL - 000
957 // LSR - 010
958 // ASR - 100
959 // ROR - 110
960 switch (SOpc) {
961 default: llvm_unreachable("Unknown shift opc!");
962 case ARM_AM::lsl: SBits = 0x0; break;
963 case ARM_AM::lsr: SBits = 0x2; break;
964 case ARM_AM::asr: SBits = 0x4; break;
965 case ARM_AM::ror: SBits = 0x6; break;
966 }
967
968 Binary |= SBits << 4;
969 if (SOpc == ARM_AM::rrx)
970 return Binary;
971
972 // Encode shift_imm bit[11:7].
973 return Binary | ARM_AM::getSORegOffset(MO1.getImm()) << 7;
974}
975
976unsigned ARMMCCodeEmitter::
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000977getBitfieldInvertedMaskOpValue(const MCInst &MI, unsigned Op,
978 SmallVectorImpl<MCFixup> &Fixups) const {
Jim Grosbach5edb03e2010-10-21 22:03:21 +0000979 // 10 bits. lower 5 bits are are the lsb of the mask, high five bits are the
980 // msb of the mask.
981 const MCOperand &MO = MI.getOperand(Op);
982 uint32_t v = ~MO.getImm();
983 uint32_t lsb = CountTrailingZeros_32(v);
984 uint32_t msb = (32 - CountLeadingZeros_32 (v)) - 1;
985 assert (v != 0 && lsb < 32 && msb < 32 && "Illegal bitfield mask!");
986 return lsb | (msb << 5);
987}
988
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000989unsigned ARMMCCodeEmitter::
990getRegisterListOpValue(const MCInst &MI, unsigned Op,
Bill Wendling1b83ed52010-11-09 00:30:18 +0000991 SmallVectorImpl<MCFixup> &Fixups) const {
Bill Wendling345b48f2010-11-17 00:45:23 +0000992 // VLDM/VSTM:
993 // {12-8} = Vd
994 // {7-0} = Number of registers
995 //
996 // LDM/STM:
997 // {15-0} = Bitfield of GPRs.
998 unsigned Reg = MI.getOperand(Op).getReg();
999 bool SPRRegs = ARM::SPRRegClass.contains(Reg);
1000 bool DPRRegs = ARM::DPRRegClass.contains(Reg);
1001
Bill Wendling1b83ed52010-11-09 00:30:18 +00001002 unsigned Binary = 0;
Bill Wendling345b48f2010-11-17 00:45:23 +00001003
1004 if (SPRRegs || DPRRegs) {
1005 // VLDM/VSTM
1006 unsigned RegNo = getARMRegisterNumbering(Reg);
1007 unsigned NumRegs = (MI.getNumOperands() - Op) & 0xff;
1008 Binary |= (RegNo & 0x1f) << 8;
1009 if (SPRRegs)
1010 Binary |= NumRegs;
1011 else
1012 Binary |= NumRegs * 2;
1013 } else {
1014 for (unsigned I = Op, E = MI.getNumOperands(); I < E; ++I) {
1015 unsigned RegNo = getARMRegisterNumbering(MI.getOperand(I).getReg());
1016 Binary |= 1 << RegNo;
1017 }
Bill Wendling1b83ed52010-11-09 00:30:18 +00001018 }
Bill Wendling345b48f2010-11-17 00:45:23 +00001019
Jim Grosbach74ef9e12010-10-30 00:37:59 +00001020 return Binary;
1021}
1022
Bob Wilson318ce7c2010-11-30 00:00:42 +00001023/// getAddrMode6AddressOpValue - Encode an addrmode6 register number along
1024/// with the alignment operand.
Jim Grosbach2eed7a12010-11-03 23:52:49 +00001025unsigned ARMMCCodeEmitter::
1026getAddrMode6AddressOpValue(const MCInst &MI, unsigned Op,
1027 SmallVectorImpl<MCFixup> &Fixups) const {
Owen Andersonad402342010-11-02 00:05:05 +00001028 const MCOperand &Reg = MI.getOperand(Op);
Bill Wendlingf9eebb52010-11-02 22:53:11 +00001029 const MCOperand &Imm = MI.getOperand(Op + 1);
Jim Grosbach49b0c452010-11-03 22:03:20 +00001030
Owen Andersonad402342010-11-02 00:05:05 +00001031 unsigned RegNo = getARMRegisterNumbering(Reg.getReg());
Bill Wendlingf9eebb52010-11-02 22:53:11 +00001032 unsigned Align = 0;
1033
1034 switch (Imm.getImm()) {
1035 default: break;
1036 case 2:
1037 case 4:
1038 case 8: Align = 0x01; break;
1039 case 16: Align = 0x02; break;
1040 case 32: Align = 0x03; break;
Owen Andersonad402342010-11-02 00:05:05 +00001041 }
Bill Wendlingf9eebb52010-11-02 22:53:11 +00001042
Owen Andersonad402342010-11-02 00:05:05 +00001043 return RegNo | (Align << 4);
1044}
1045
Bob Wilson318ce7c2010-11-30 00:00:42 +00001046/// getAddrMode6DupAddressOpValue - Encode an addrmode6 register number and
1047/// alignment operand for use in VLD-dup instructions. This is the same as
1048/// getAddrMode6AddressOpValue except for the alignment encoding, which is
1049/// different for VLD4-dup.
1050unsigned ARMMCCodeEmitter::
1051getAddrMode6DupAddressOpValue(const MCInst &MI, unsigned Op,
1052 SmallVectorImpl<MCFixup> &Fixups) const {
1053 const MCOperand &Reg = MI.getOperand(Op);
1054 const MCOperand &Imm = MI.getOperand(Op + 1);
1055
1056 unsigned RegNo = getARMRegisterNumbering(Reg.getReg());
1057 unsigned Align = 0;
1058
1059 switch (Imm.getImm()) {
1060 default: break;
1061 case 2:
1062 case 4:
1063 case 8: Align = 0x01; break;
1064 case 16: Align = 0x03; break;
1065 }
1066
1067 return RegNo | (Align << 4);
1068}
1069
Jim Grosbach2eed7a12010-11-03 23:52:49 +00001070unsigned ARMMCCodeEmitter::
1071getAddrMode6OffsetOpValue(const MCInst &MI, unsigned Op,
1072 SmallVectorImpl<MCFixup> &Fixups) const {
Bill Wendlingf9eebb52010-11-02 22:53:11 +00001073 const MCOperand &MO = MI.getOperand(Op);
1074 if (MO.getReg() == 0) return 0x0D;
1075 return MO.getReg();
Owen Anderson526ffd52010-11-02 01:24:55 +00001076}
1077
Jim Grosbach1287f4f2010-09-17 18:46:17 +00001078void ARMMCCodeEmitter::
1079EncodeInstruction(const MCInst &MI, raw_ostream &OS,
Jim Grosbach2eed7a12010-11-03 23:52:49 +00001080 SmallVectorImpl<MCFixup> &Fixups) const {
Jim Grosbach567ebd0c2010-12-03 22:31:40 +00001081 const ARMSubtarget &Subtarget = TM.getSubtarget<ARMSubtarget>();
Jim Grosbach91029092010-10-07 22:12:50 +00001082 // Pseudo instructions don't get encoded.
Bill Wendling91da9ab2010-11-02 22:44:12 +00001083 const TargetInstrDesc &Desc = TII.get(MI.getOpcode());
Jim Grosbach20b6fd72010-11-11 23:41:09 +00001084 uint64_t TSFlags = Desc.TSFlags;
1085 if ((TSFlags & ARMII::FormMask) == ARMII::Pseudo)
Jim Grosbach91029092010-10-07 22:12:50 +00001086 return;
Jim Grosbach20b6fd72010-11-11 23:41:09 +00001087 int Size;
1088 // Basic size info comes from the TSFlags field.
1089 switch ((TSFlags & ARMII::SizeMask) >> ARMII::SizeShift) {
1090 default: llvm_unreachable("Unexpected instruction size!");
1091 case ARMII::Size2Bytes: Size = 2; break;
1092 case ARMII::Size4Bytes: Size = 4; break;
1093 }
Jim Grosbach567ebd0c2010-12-03 22:31:40 +00001094 uint32_t Binary = getBinaryCodeForInstr(MI, Fixups);
1095 // Thumb 32-bit wide instructions need to be have the high order halfword
1096 // emitted first.
1097 if (Subtarget.isThumb() && Size == 4) {
1098 EmitConstant(Binary >> 16, 2, OS);
1099 EmitConstant(Binary & 0xffff, 2, OS);
1100 } else
1101 EmitConstant(Binary, Size, OS);
Bill Wendling91da9ab2010-11-02 22:44:12 +00001102 ++MCNumEmitted; // Keep track of the # of mi's emitted.
Jim Grosbach1287f4f2010-09-17 18:46:17 +00001103}
Jim Grosbach8aed3862010-10-07 21:57:55 +00001104
Jim Grosbach2eed7a12010-11-03 23:52:49 +00001105#include "ARMGenMCCodeEmitter.inc"