blob: 69ec197af517a722fee2f09c2fb740c810125432 [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"
Evan Chengee04a6d2011-07-20 23:34:39 +000015#include "MCTargetDesc/ARMAddressingModes.h"
Evan Chengbe740292011-07-23 00:00:19 +000016#include "MCTargetDesc/ARMBaseInfo.h"
17#include "MCTargetDesc/ARMFixupKinds.h"
Evan Chengee04a6d2011-07-20 23:34:39 +000018#include "MCTargetDesc/ARMMCExpr.h"
Evan Chengbe740292011-07-23 00:00:19 +000019#include "MCTargetDesc/ARMMCTargetDesc.h"
Jim Grosbach568eeed2010-09-17 18:46:17 +000020#include "llvm/MC/MCCodeEmitter.h"
21#include "llvm/MC/MCExpr.h"
22#include "llvm/MC/MCInst.h"
Evan Cheng59ee62d2011-07-11 03:57:24 +000023#include "llvm/MC/MCInstrInfo.h"
Evan Chengbe740292011-07-23 00:00:19 +000024#include "llvm/MC/MCRegisterInfo.h"
Evan Cheng59ee62d2011-07-11 03:57:24 +000025#include "llvm/MC/MCSubtargetInfo.h"
Evan Chengee04a6d2011-07-20 23:34:39 +000026#include "llvm/ADT/APFloat.h"
Jim Grosbachd6d4b422010-10-07 22:12:50 +000027#include "llvm/ADT/Statistic.h"
Jim Grosbach568eeed2010-09-17 18:46:17 +000028#include "llvm/Support/raw_ostream.h"
Evan Cheng59ee62d2011-07-11 03:57:24 +000029
Jim Grosbach568eeed2010-09-17 18:46:17 +000030using namespace llvm;
31
Jim Grosbach70933262010-11-04 01:12:30 +000032STATISTIC(MCNumEmitted, "Number of MC instructions emitted.");
33STATISTIC(MCNumCPRelocations, "Number of constant pool relocations created.");
Jim Grosbachd6d4b422010-10-07 22:12:50 +000034
Jim Grosbach568eeed2010-09-17 18:46:17 +000035namespace {
36class ARMMCCodeEmitter : public MCCodeEmitter {
37 ARMMCCodeEmitter(const ARMMCCodeEmitter &); // DO NOT IMPLEMENT
38 void operator=(const ARMMCCodeEmitter &); // DO NOT IMPLEMENT
Evan Cheng59ee62d2011-07-11 03:57:24 +000039 const MCInstrInfo &MCII;
40 const MCSubtargetInfo &STI;
Jim Grosbach568eeed2010-09-17 18:46:17 +000041
42public:
Evan Cheng59ee62d2011-07-11 03:57:24 +000043 ARMMCCodeEmitter(const MCInstrInfo &mcii, const MCSubtargetInfo &sti,
44 MCContext &ctx)
Evan Chengaf0a2e62011-07-11 21:24:15 +000045 : MCII(mcii), STI(sti) {
Jim Grosbach568eeed2010-09-17 18:46:17 +000046 }
47
48 ~ARMMCCodeEmitter() {}
49
Evan Cheng59ee62d2011-07-11 03:57:24 +000050 bool isThumb() const {
51 // FIXME: Can tablegen auto-generate this?
52 return (STI.getFeatureBits() & ARM::ModeThumb) != 0;
53 }
54 bool isThumb2() const {
55 return isThumb() && (STI.getFeatureBits() & ARM::FeatureThumb2) != 0;
56 }
57 bool isTargetDarwin() const {
58 Triple TT(STI.getTargetTriple());
59 Triple::OSType OS = TT.getOS();
60 return OS == Triple::Darwin || OS == Triple::MacOSX || OS == Triple::IOS;
61 }
62
Jim Grosbach0de6ab32010-10-12 17:11:26 +000063 unsigned getMachineSoImmOpValue(unsigned SoImm) const;
64
Jim Grosbach9af82ba2010-10-07 21:57:55 +000065 // getBinaryCodeForInstr - TableGen'erated function for getting the
66 // binary encoding for an instruction.
Jim Grosbach806e80e2010-11-03 23:52:49 +000067 unsigned getBinaryCodeForInstr(const MCInst &MI,
68 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbach9af82ba2010-10-07 21:57:55 +000069
70 /// getMachineOpValue - Return binary encoding of operand. If the machine
71 /// operand requires relocation, record the relocation and return zero.
Jim Grosbach806e80e2010-11-03 23:52:49 +000072 unsigned getMachineOpValue(const MCInst &MI,const MCOperand &MO,
73 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbach9af82ba2010-10-07 21:57:55 +000074
Evan Cheng75972122011-01-13 07:58:56 +000075 /// getHiLo16ImmOpValue - Return the encoding for the hi / low 16-bit of
Owen Anderson971b83b2011-02-08 22:39:40 +000076 /// the specified operand. This is used for operands with :lower16: and
Evan Cheng75972122011-01-13 07:58:56 +000077 /// :upper16: prefixes.
78 uint32_t getHiLo16ImmOpValue(const MCInst &MI, unsigned OpIdx,
79 SmallVectorImpl<MCFixup> &Fixups) const;
Jason W Kim837caa92010-11-18 23:37:15 +000080
Bill Wendling92b5a2e2010-11-03 01:49:29 +000081 bool EncodeAddrModeOpValues(const MCInst &MI, unsigned OpIdx,
Jim Grosbach806e80e2010-11-03 23:52:49 +000082 unsigned &Reg, unsigned &Imm,
83 SmallVectorImpl<MCFixup> &Fixups) const;
Bill Wendling92b5a2e2010-11-03 01:49:29 +000084
Jim Grosbach662a8162010-12-06 23:57:07 +000085 /// getThumbBLTargetOpValue - Return encoding info for Thumb immediate
Bill Wendling09aa3f02010-12-09 00:39:08 +000086 /// BL branch target.
Jim Grosbach662a8162010-12-06 23:57:07 +000087 uint32_t getThumbBLTargetOpValue(const MCInst &MI, unsigned OpIdx,
88 SmallVectorImpl<MCFixup> &Fixups) const;
89
Bill Wendling09aa3f02010-12-09 00:39:08 +000090 /// getThumbBLXTargetOpValue - Return encoding info for Thumb immediate
91 /// BLX branch target.
92 uint32_t getThumbBLXTargetOpValue(const MCInst &MI, unsigned OpIdx,
93 SmallVectorImpl<MCFixup> &Fixups) const;
94
Jim Grosbache2467172010-12-10 18:21:33 +000095 /// getThumbBRTargetOpValue - Return encoding info for Thumb branch target.
96 uint32_t getThumbBRTargetOpValue(const MCInst &MI, unsigned OpIdx,
97 SmallVectorImpl<MCFixup> &Fixups) const;
98
Jim Grosbach01086452010-12-10 17:13:40 +000099 /// getThumbBCCTargetOpValue - Return encoding info for Thumb branch target.
100 uint32_t getThumbBCCTargetOpValue(const MCInst &MI, unsigned OpIdx,
101 SmallVectorImpl<MCFixup> &Fixups) const;
102
Jim Grosbach027d6e82010-12-09 19:04:53 +0000103 /// getThumbCBTargetOpValue - Return encoding info for Thumb branch target.
104 uint32_t getThumbCBTargetOpValue(const MCInst &MI, unsigned OpIdx,
Bill Wendlingdff2f712010-12-08 23:01:43 +0000105 SmallVectorImpl<MCFixup> &Fixups) const;
106
Jim Grosbachc466b932010-11-11 18:04:49 +0000107 /// getBranchTargetOpValue - Return encoding info for 24-bit immediate
108 /// branch target.
109 uint32_t getBranchTargetOpValue(const MCInst &MI, unsigned OpIdx,
110 SmallVectorImpl<MCFixup> &Fixups) const;
111
Owen Andersonc2666002010-12-13 19:31:11 +0000112 /// getUnconditionalBranchTargetOpValue - Return encoding info for 24-bit
113 /// immediate Thumb2 direct branch target.
114 uint32_t getUnconditionalBranchTargetOpValue(const MCInst &MI, unsigned OpIdx,
115 SmallVectorImpl<MCFixup> &Fixups) const;
Owen Anderson10096db2011-08-30 21:58:18 +0000116
Jason W Kim685c3502011-02-04 19:47:15 +0000117 /// getARMBranchTargetOpValue - Return encoding info for 24-bit immediate
118 /// branch target.
119 uint32_t getARMBranchTargetOpValue(const MCInst &MI, unsigned OpIdx,
120 SmallVectorImpl<MCFixup> &Fixups) const;
Owen Andersonf1eab592011-08-26 23:32:08 +0000121 uint32_t getARMBLXTargetOpValue(const MCInst &MI, unsigned OpIdx,
122 SmallVectorImpl<MCFixup> &Fixups) const;
Owen Andersonc2666002010-12-13 19:31:11 +0000123
Jim Grosbach5d14f9b2010-12-01 19:47:31 +0000124 /// getAdrLabelOpValue - Return encoding info for 12-bit immediate
125 /// ADR label target.
126 uint32_t getAdrLabelOpValue(const MCInst &MI, unsigned OpIdx,
127 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbachd40963c2010-12-14 22:28:03 +0000128 uint32_t getThumbAdrLabelOpValue(const MCInst &MI, unsigned OpIdx,
129 SmallVectorImpl<MCFixup> &Fixups) const;
Owen Andersona838a252010-12-14 00:36:49 +0000130 uint32_t getT2AdrLabelOpValue(const MCInst &MI, unsigned OpIdx,
131 SmallVectorImpl<MCFixup> &Fixups) const;
Owen Anderson971b83b2011-02-08 22:39:40 +0000132
Jim Grosbach5d14f9b2010-12-01 19:47:31 +0000133
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000134 /// getAddrModeImm12OpValue - Return encoding info for 'reg +/- imm12'
135 /// operand.
Jim Grosbach806e80e2010-11-03 23:52:49 +0000136 uint32_t getAddrModeImm12OpValue(const MCInst &MI, unsigned OpIdx,
137 SmallVectorImpl<MCFixup> &Fixups) const;
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000138
Bill Wendlingf4caf692010-12-14 03:36:38 +0000139 /// getThumbAddrModeRegRegOpValue - Return encoding for 'reg + reg' operand.
140 uint32_t getThumbAddrModeRegRegOpValue(const MCInst &MI, unsigned OpIdx,
141 SmallVectorImpl<MCFixup> &Fixups)const;
Owen Anderson0f4b60d2010-12-10 22:11:13 +0000142
Owen Anderson9d63d902010-12-01 19:18:46 +0000143 /// getT2AddrModeImm8s4OpValue - Return encoding info for 'reg +/- imm8<<2'
144 /// operand.
145 uint32_t getT2AddrModeImm8s4OpValue(const MCInst &MI, unsigned OpIdx,
146 SmallVectorImpl<MCFixup> &Fixups) const;
147
148
Jim Grosbach54fea632010-11-09 17:20:53 +0000149 /// getLdStSORegOpValue - Return encoding info for 'reg +/- reg shop imm'
150 /// operand as needed by load/store instructions.
151 uint32_t getLdStSORegOpValue(const MCInst &MI, unsigned OpIdx,
152 SmallVectorImpl<MCFixup> &Fixups) const;
153
Jim Grosbach5d5eb9e2010-11-10 23:38:36 +0000154 /// getLdStmModeOpValue - Return encoding for load/store multiple mode.
155 uint32_t getLdStmModeOpValue(const MCInst &MI, unsigned OpIdx,
156 SmallVectorImpl<MCFixup> &Fixups) const {
157 ARM_AM::AMSubMode Mode = (ARM_AM::AMSubMode)MI.getOperand(OpIdx).getImm();
158 switch (Mode) {
Matt Beaumont-Gay5f8a9172011-01-12 18:02:55 +0000159 default: assert(0 && "Unknown addressing sub-mode!");
Jim Grosbach5d5eb9e2010-11-10 23:38:36 +0000160 case ARM_AM::da: return 0;
161 case ARM_AM::ia: return 1;
162 case ARM_AM::db: return 2;
163 case ARM_AM::ib: return 3;
164 }
165 }
Jim Grosbach99f53d12010-11-15 20:47:07 +0000166 /// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
167 ///
168 unsigned getShiftOp(ARM_AM::ShiftOpc ShOpc) const {
169 switch (ShOpc) {
170 default: llvm_unreachable("Unknown shift opc!");
171 case ARM_AM::no_shift:
172 case ARM_AM::lsl: return 0;
173 case ARM_AM::lsr: return 1;
174 case ARM_AM::asr: return 2;
175 case ARM_AM::ror:
176 case ARM_AM::rrx: return 3;
177 }
178 return 0;
179 }
180
181 /// getAddrMode2OpValue - Return encoding for addrmode2 operands.
182 uint32_t getAddrMode2OpValue(const MCInst &MI, unsigned OpIdx,
183 SmallVectorImpl<MCFixup> &Fixups) const;
184
185 /// getAddrMode2OffsetOpValue - Return encoding for am2offset operands.
186 uint32_t getAddrMode2OffsetOpValue(const MCInst &MI, unsigned OpIdx,
187 SmallVectorImpl<MCFixup> &Fixups) const;
188
Jim Grosbach7ce05792011-08-03 23:50:40 +0000189 /// getPostIdxRegOpValue - Return encoding for postidx_reg operands.
190 uint32_t getPostIdxRegOpValue(const MCInst &MI, unsigned OpIdx,
191 SmallVectorImpl<MCFixup> &Fixups) const;
192
Jim Grosbach7eab97f2010-11-11 16:55:29 +0000193 /// getAddrMode3OffsetOpValue - Return encoding for am3offset operands.
194 uint32_t getAddrMode3OffsetOpValue(const MCInst &MI, unsigned OpIdx,
195 SmallVectorImpl<MCFixup> &Fixups) const;
196
Jim Grosbach570a9222010-11-11 01:09:40 +0000197 /// getAddrMode3OpValue - Return encoding for addrmode3 operands.
198 uint32_t getAddrMode3OpValue(const MCInst &MI, unsigned OpIdx,
199 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbach5d5eb9e2010-11-10 23:38:36 +0000200
Jim Grosbachd967cd02010-12-07 21:50:47 +0000201 /// getAddrModeThumbSPOpValue - Return encoding info for 'reg +/- imm12'
202 /// operand.
203 uint32_t getAddrModeThumbSPOpValue(const MCInst &MI, unsigned OpIdx,
204 SmallVectorImpl<MCFixup> &Fixups) const;
205
Bill Wendlingf4caf692010-12-14 03:36:38 +0000206 /// getAddrModeISOpValue - Encode the t_addrmode_is# operands.
207 uint32_t getAddrModeISOpValue(const MCInst &MI, unsigned OpIdx,
Bill Wendling22447ae2010-12-15 08:51:02 +0000208 SmallVectorImpl<MCFixup> &Fixups) const;
Bill Wendling1fd374e2010-11-30 22:57:21 +0000209
Bill Wendlingb8958b02010-12-08 01:57:09 +0000210 /// getAddrModePCOpValue - Return encoding for t_addrmode_pc operands.
211 uint32_t getAddrModePCOpValue(const MCInst &MI, unsigned OpIdx,
212 SmallVectorImpl<MCFixup> &Fixups) const;
213
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000214 /// getAddrMode5OpValue - Return encoding info for 'reg +/- imm8' operand.
Jim Grosbach806e80e2010-11-03 23:52:49 +0000215 uint32_t getAddrMode5OpValue(const MCInst &MI, unsigned OpIdx,
216 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbach3e556122010-10-26 22:37:02 +0000217
Jim Grosbach08bd5492010-10-12 23:00:24 +0000218 /// getCCOutOpValue - Return encoding of the 's' bit.
Jim Grosbach806e80e2010-11-03 23:52:49 +0000219 unsigned getCCOutOpValue(const MCInst &MI, unsigned Op,
220 SmallVectorImpl<MCFixup> &Fixups) const {
Jim Grosbach08bd5492010-10-12 23:00:24 +0000221 // The operand is either reg0 or CPSR. The 's' bit is encoded as '0' or
222 // '1' respectively.
223 return MI.getOperand(Op).getReg() == ARM::CPSR;
224 }
Jim Grosbachef324d72010-10-12 23:53:58 +0000225
Jim Grosbach2a6a93d2010-10-12 23:18:08 +0000226 /// getSOImmOpValue - Return an encoded 12-bit shifted-immediate value.
Jim Grosbach806e80e2010-11-03 23:52:49 +0000227 unsigned getSOImmOpValue(const MCInst &MI, unsigned Op,
228 SmallVectorImpl<MCFixup> &Fixups) const {
Jim Grosbach2a6a93d2010-10-12 23:18:08 +0000229 unsigned SoImm = MI.getOperand(Op).getImm();
230 int SoImmVal = ARM_AM::getSOImmVal(SoImm);
231 assert(SoImmVal != -1 && "Not a valid so_imm value!");
232
233 // Encode rotate_imm.
234 unsigned Binary = (ARM_AM::getSOImmValRot((unsigned)SoImmVal) >> 1)
235 << ARMII::SoRotImmShift;
236
237 // Encode immed_8.
238 Binary |= ARM_AM::getSOImmValImm((unsigned)SoImmVal);
239 return Binary;
240 }
Jim Grosbach7bf4c022010-12-10 21:57:34 +0000241
Owen Anderson5de6d842010-11-12 21:12:40 +0000242 /// getT2SOImmOpValue - Return an encoded 12-bit shifted-immediate value.
243 unsigned getT2SOImmOpValue(const MCInst &MI, unsigned Op,
244 SmallVectorImpl<MCFixup> &Fixups) const {
245 unsigned SoImm = MI.getOperand(Op).getImm();
246 unsigned Encoded = ARM_AM::getT2SOImmVal(SoImm);
247 assert(Encoded != ~0U && "Not a Thumb2 so_imm value?");
248 return Encoded;
249 }
Jim Grosbach08bd5492010-10-12 23:00:24 +0000250
Owen Anderson75579f72010-11-29 22:44:32 +0000251 unsigned getT2AddrModeSORegOpValue(const MCInst &MI, unsigned OpNum,
252 SmallVectorImpl<MCFixup> &Fixups) const;
253 unsigned getT2AddrModeImm8OpValue(const MCInst &MI, unsigned OpNum,
254 SmallVectorImpl<MCFixup> &Fixups) const;
Owen Anderson6af50f72010-11-30 00:14:31 +0000255 unsigned getT2AddrModeImm8OffsetOpValue(const MCInst &MI, unsigned OpNum,
256 SmallVectorImpl<MCFixup> &Fixups) const;
Owen Anderson0e1bcdf2010-11-30 19:19:31 +0000257 unsigned getT2AddrModeImm12OffsetOpValue(const MCInst &MI, unsigned OpNum,
258 SmallVectorImpl<MCFixup> &Fixups) const;
Owen Anderson75579f72010-11-29 22:44:32 +0000259
Jim Grosbachef324d72010-10-12 23:53:58 +0000260 /// getSORegOpValue - Return an encoded so_reg shifted register value.
Owen Anderson152d4a42011-07-21 23:38:37 +0000261 unsigned getSORegRegOpValue(const MCInst &MI, unsigned Op,
262 SmallVectorImpl<MCFixup> &Fixups) const;
263 unsigned getSORegImmOpValue(const MCInst &MI, unsigned Op,
Jim Grosbach806e80e2010-11-03 23:52:49 +0000264 SmallVectorImpl<MCFixup> &Fixups) const;
Owen Anderson5de6d842010-11-12 21:12:40 +0000265 unsigned getT2SORegOpValue(const MCInst &MI, unsigned Op,
266 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbachef324d72010-10-12 23:53:58 +0000267
Jim Grosbach806e80e2010-11-03 23:52:49 +0000268 unsigned getNEONVcvtImm32OpValue(const MCInst &MI, unsigned Op,
269 SmallVectorImpl<MCFixup> &Fixups) const {
Owen Anderson498ec202010-10-27 22:49:00 +0000270 return 64 - MI.getOperand(Op).getImm();
271 }
Jim Grosbach8abe32a2010-10-15 17:15:16 +0000272
Jim Grosbach806e80e2010-11-03 23:52:49 +0000273 unsigned getBitfieldInvertedMaskOpValue(const MCInst &MI, unsigned Op,
274 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbach3fea191052010-10-21 22:03:21 +0000275
Bruno Cardoso Lopesa461d422011-01-18 20:45:56 +0000276 unsigned getMsbOpValue(const MCInst &MI, unsigned Op,
277 SmallVectorImpl<MCFixup> &Fixups) const;
278
Jim Grosbach806e80e2010-11-03 23:52:49 +0000279 unsigned getRegisterListOpValue(const MCInst &MI, unsigned Op,
280 SmallVectorImpl<MCFixup> &Fixups) const;
281 unsigned getAddrMode6AddressOpValue(const MCInst &MI, unsigned Op,
282 SmallVectorImpl<MCFixup> &Fixups) const;
Mon P Wang183c6272011-05-09 17:47:27 +0000283 unsigned getAddrMode6OneLane32AddressOpValue(const MCInst &MI, unsigned Op,
284 SmallVectorImpl<MCFixup> &Fixups) const;
Bob Wilson8e0c7b52010-11-30 00:00:42 +0000285 unsigned getAddrMode6DupAddressOpValue(const MCInst &MI, unsigned Op,
286 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbach806e80e2010-11-03 23:52:49 +0000287 unsigned getAddrMode6OffsetOpValue(const MCInst &MI, unsigned Op,
288 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbach6b5252d2010-10-30 00:37:59 +0000289
Bill Wendling3116dce2011-03-07 23:38:41 +0000290 unsigned getShiftRight8Imm(const MCInst &MI, unsigned Op,
291 SmallVectorImpl<MCFixup> &Fixups) const;
292 unsigned getShiftRight16Imm(const MCInst &MI, unsigned Op,
293 SmallVectorImpl<MCFixup> &Fixups) const;
294 unsigned getShiftRight32Imm(const MCInst &MI, unsigned Op,
295 SmallVectorImpl<MCFixup> &Fixups) const;
296 unsigned getShiftRight64Imm(const MCInst &MI, unsigned Op,
297 SmallVectorImpl<MCFixup> &Fixups) const;
Bill Wendlinga656b632011-03-01 01:00:59 +0000298
Owen Anderson6d746312011-08-08 20:42:17 +0000299 unsigned getThumbSRImmOpValue(const MCInst &MI, unsigned Op,
300 SmallVectorImpl<MCFixup> &Fixups) const;
301
Owen Andersonc7139a62010-11-11 19:07:48 +0000302 unsigned NEONThumb2DataIPostEncoder(const MCInst &MI,
303 unsigned EncodedValue) const;
Owen Anderson57dac882010-11-11 21:36:43 +0000304 unsigned NEONThumb2LoadStorePostEncoder(const MCInst &MI,
Bill Wendlingcf590262010-12-01 21:54:50 +0000305 unsigned EncodedValue) const;
Owen Anderson8f143912010-11-11 23:12:55 +0000306 unsigned NEONThumb2DupPostEncoder(const MCInst &MI,
Bill Wendlingcf590262010-12-01 21:54:50 +0000307 unsigned EncodedValue) const;
308
309 unsigned VFPThumb2PostEncoder(const MCInst &MI,
310 unsigned EncodedValue) const;
Owen Andersonc7139a62010-11-11 19:07:48 +0000311
Jim Grosbach70933262010-11-04 01:12:30 +0000312 void EmitByte(unsigned char C, raw_ostream &OS) const {
Jim Grosbach568eeed2010-09-17 18:46:17 +0000313 OS << (char)C;
Jim Grosbach568eeed2010-09-17 18:46:17 +0000314 }
315
Jim Grosbach70933262010-11-04 01:12:30 +0000316 void EmitConstant(uint64_t Val, unsigned Size, raw_ostream &OS) const {
Jim Grosbach568eeed2010-09-17 18:46:17 +0000317 // Output the constant in little endian byte order.
318 for (unsigned i = 0; i != Size; ++i) {
Jim Grosbach70933262010-11-04 01:12:30 +0000319 EmitByte(Val & 255, OS);
Jim Grosbach568eeed2010-09-17 18:46:17 +0000320 Val >>= 8;
321 }
322 }
323
Jim Grosbach568eeed2010-09-17 18:46:17 +0000324 void EncodeInstruction(const MCInst &MI, raw_ostream &OS,
325 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbach568eeed2010-09-17 18:46:17 +0000326};
327
328} // end anonymous namespace
329
Evan Cheng59ee62d2011-07-11 03:57:24 +0000330MCCodeEmitter *llvm::createARMMCCodeEmitter(const MCInstrInfo &MCII,
331 const MCSubtargetInfo &STI,
Bill Wendling0800ce72010-11-02 22:53:11 +0000332 MCContext &Ctx) {
Evan Cheng59ee62d2011-07-11 03:57:24 +0000333 return new ARMMCCodeEmitter(MCII, STI, Ctx);
Jim Grosbach568eeed2010-09-17 18:46:17 +0000334}
335
Jim Grosbach7bf4c022010-12-10 21:57:34 +0000336/// NEONThumb2DataIPostEncoder - Post-process encoded NEON data-processing
337/// instructions, and rewrite them to their Thumb2 form if we are currently in
Owen Andersonc7139a62010-11-11 19:07:48 +0000338/// Thumb2 mode.
339unsigned ARMMCCodeEmitter::NEONThumb2DataIPostEncoder(const MCInst &MI,
340 unsigned EncodedValue) const {
Evan Cheng59ee62d2011-07-11 03:57:24 +0000341 if (isThumb2()) {
Jim Grosbach7bf4c022010-12-10 21:57:34 +0000342 // NEON Thumb2 data-processsing encodings are very simple: bit 24 is moved
Owen Andersonc7139a62010-11-11 19:07:48 +0000343 // to bit 12 of the high half-word (i.e. bit 28), and bits 27-24 are
344 // set to 1111.
345 unsigned Bit24 = EncodedValue & 0x01000000;
346 unsigned Bit28 = Bit24 << 4;
347 EncodedValue &= 0xEFFFFFFF;
348 EncodedValue |= Bit28;
349 EncodedValue |= 0x0F000000;
350 }
Jim Grosbach7bf4c022010-12-10 21:57:34 +0000351
Owen Andersonc7139a62010-11-11 19:07:48 +0000352 return EncodedValue;
353}
354
Owen Anderson57dac882010-11-11 21:36:43 +0000355/// NEONThumb2LoadStorePostEncoder - Post-process encoded NEON load/store
Jim Grosbach7bf4c022010-12-10 21:57:34 +0000356/// instructions, and rewrite them to their Thumb2 form if we are currently in
Owen Anderson57dac882010-11-11 21:36:43 +0000357/// Thumb2 mode.
358unsigned ARMMCCodeEmitter::NEONThumb2LoadStorePostEncoder(const MCInst &MI,
359 unsigned EncodedValue) const {
Evan Cheng59ee62d2011-07-11 03:57:24 +0000360 if (isThumb2()) {
Owen Anderson57dac882010-11-11 21:36:43 +0000361 EncodedValue &= 0xF0FFFFFF;
362 EncodedValue |= 0x09000000;
363 }
Jim Grosbach7bf4c022010-12-10 21:57:34 +0000364
Owen Anderson57dac882010-11-11 21:36:43 +0000365 return EncodedValue;
366}
367
Owen Anderson8f143912010-11-11 23:12:55 +0000368/// NEONThumb2DupPostEncoder - Post-process encoded NEON vdup
Jim Grosbach7bf4c022010-12-10 21:57:34 +0000369/// instructions, and rewrite them to their Thumb2 form if we are currently in
Owen Anderson8f143912010-11-11 23:12:55 +0000370/// Thumb2 mode.
371unsigned ARMMCCodeEmitter::NEONThumb2DupPostEncoder(const MCInst &MI,
372 unsigned EncodedValue) const {
Evan Cheng59ee62d2011-07-11 03:57:24 +0000373 if (isThumb2()) {
Owen Anderson8f143912010-11-11 23:12:55 +0000374 EncodedValue &= 0x00FFFFFF;
375 EncodedValue |= 0xEE000000;
376 }
Jim Grosbach7bf4c022010-12-10 21:57:34 +0000377
Owen Anderson8f143912010-11-11 23:12:55 +0000378 return EncodedValue;
379}
380
Bill Wendlingcf590262010-12-01 21:54:50 +0000381/// VFPThumb2PostEncoder - Post-process encoded VFP instructions and rewrite
382/// them to their Thumb2 form if we are currently in Thumb2 mode.
383unsigned ARMMCCodeEmitter::
384VFPThumb2PostEncoder(const MCInst &MI, unsigned EncodedValue) const {
Evan Cheng59ee62d2011-07-11 03:57:24 +0000385 if (isThumb2()) {
Bill Wendlingcf590262010-12-01 21:54:50 +0000386 EncodedValue &= 0x0FFFFFFF;
387 EncodedValue |= 0xE0000000;
388 }
389 return EncodedValue;
390}
Owen Anderson57dac882010-11-11 21:36:43 +0000391
Jim Grosbach56ac9072010-10-08 21:45:55 +0000392/// getMachineOpValue - Return binary encoding of operand. If the machine
393/// operand requires relocation, record the relocation and return zero.
Jim Grosbach806e80e2010-11-03 23:52:49 +0000394unsigned ARMMCCodeEmitter::
395getMachineOpValue(const MCInst &MI, const MCOperand &MO,
396 SmallVectorImpl<MCFixup> &Fixups) const {
Bill Wendlingbbbdcd42010-10-14 02:33:26 +0000397 if (MO.isReg()) {
Bill Wendling0800ce72010-11-02 22:53:11 +0000398 unsigned Reg = MO.getReg();
399 unsigned RegNo = getARMRegisterNumbering(Reg);
Jim Grosbachd8a11c22010-10-29 23:21:03 +0000400
Jim Grosbachb0708d22010-11-30 23:51:41 +0000401 // Q registers are encoded as 2x their register number.
Bill Wendling0800ce72010-11-02 22:53:11 +0000402 switch (Reg) {
403 default:
404 return RegNo;
405 case ARM::Q0: case ARM::Q1: case ARM::Q2: case ARM::Q3:
406 case ARM::Q4: case ARM::Q5: case ARM::Q6: case ARM::Q7:
407 case ARM::Q8: case ARM::Q9: case ARM::Q10: case ARM::Q11:
408 case ARM::Q12: case ARM::Q13: case ARM::Q14: case ARM::Q15:
409 return 2 * RegNo;
Owen Anderson90d4cf92010-10-21 20:49:13 +0000410 }
Bill Wendlingbbbdcd42010-10-14 02:33:26 +0000411 } else if (MO.isImm()) {
Jim Grosbach56ac9072010-10-08 21:45:55 +0000412 return static_cast<unsigned>(MO.getImm());
Bill Wendlingbbbdcd42010-10-14 02:33:26 +0000413 } else if (MO.isFPImm()) {
414 return static_cast<unsigned>(APFloat(MO.getFPImm())
415 .bitcastToAPInt().getHiBits(32).getLimitedValue());
Jim Grosbach56ac9072010-10-08 21:45:55 +0000416 }
Bill Wendling0800ce72010-11-02 22:53:11 +0000417
Jim Grosbach817c1a62010-11-19 00:27:09 +0000418 llvm_unreachable("Unable to encode MCOperand!");
Jim Grosbach56ac9072010-10-08 21:45:55 +0000419 return 0;
420}
421
Bill Wendling5df0e0a2010-11-02 22:31:46 +0000422/// getAddrModeImmOpValue - Return encoding info for 'reg +/- imm' operand.
Jim Grosbach806e80e2010-11-03 23:52:49 +0000423bool ARMMCCodeEmitter::
424EncodeAddrModeOpValues(const MCInst &MI, unsigned OpIdx, unsigned &Reg,
425 unsigned &Imm, SmallVectorImpl<MCFixup> &Fixups) const {
Jim Grosbach3e556122010-10-26 22:37:02 +0000426 const MCOperand &MO = MI.getOperand(OpIdx);
427 const MCOperand &MO1 = MI.getOperand(OpIdx + 1);
Jim Grosbach9af3d1c2010-11-01 23:45:50 +0000428
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000429 Reg = getARMRegisterNumbering(MO.getReg());
430
431 int32_t SImm = MO1.getImm();
432 bool isAdd = true;
Bill Wendling5df0e0a2010-11-02 22:31:46 +0000433
Jim Grosbachab682a22010-10-28 18:34:10 +0000434 // Special value for #-0
Owen Anderson0da10cf2011-08-29 19:36:44 +0000435 if (SImm == INT32_MIN) {
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000436 SImm = 0;
Owen Anderson0da10cf2011-08-29 19:36:44 +0000437 isAdd = false;
438 }
Bill Wendling5df0e0a2010-11-02 22:31:46 +0000439
Jim Grosbachab682a22010-10-28 18:34:10 +0000440 // Immediate is always encoded as positive. The 'U' bit controls add vs sub.
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000441 if (SImm < 0) {
442 SImm = -SImm;
443 isAdd = false;
444 }
Bill Wendling5df0e0a2010-11-02 22:31:46 +0000445
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000446 Imm = SImm;
447 return isAdd;
448}
449
Bill Wendlingdff2f712010-12-08 23:01:43 +0000450/// getBranchTargetOpValue - Helper function to get the branch target operand,
451/// which is either an immediate or requires a fixup.
452static uint32_t getBranchTargetOpValue(const MCInst &MI, unsigned OpIdx,
453 unsigned FixupKind,
454 SmallVectorImpl<MCFixup> &Fixups) {
455 const MCOperand &MO = MI.getOperand(OpIdx);
456
457 // If the destination is an immediate, we have nothing to do.
458 if (MO.isImm()) return MO.getImm();
459 assert(MO.isExpr() && "Unexpected branch target type!");
460 const MCExpr *Expr = MO.getExpr();
461 MCFixupKind Kind = MCFixupKind(FixupKind);
462 Fixups.push_back(MCFixup::Create(0, Expr, Kind));
463
464 // All of the information is in the fixup.
465 return 0;
466}
467
Owen Anderson559c2772011-08-31 18:30:20 +0000468// Thumb BL and BLX use a strange offset encoding where bits 22 and 21 are
469// determined by negating them and XOR'ing them with bit 23.
470static int32_t encodeThumbBLOffset(int32_t offset) {
471 offset >>= 1;
472 uint32_t S = (offset & 0x800000) >> 23;
473 uint32_t J1 = (offset & 0x400000) >> 22;
474 uint32_t J2 = (offset & 0x200000) >> 21;
475 J1 = (~J1 & 0x1);
476 J2 = (~J2 & 0x1);
477 J1 ^= S;
478 J2 ^= S;
479
480 offset &= ~0x600000;
481 offset |= J1 << 22;
482 offset |= J2 << 21;
483
484 return offset;
485}
486
Bill Wendlingdff2f712010-12-08 23:01:43 +0000487/// getThumbBLTargetOpValue - Return encoding info for immediate branch target.
Jim Grosbach662a8162010-12-06 23:57:07 +0000488uint32_t ARMMCCodeEmitter::
489getThumbBLTargetOpValue(const MCInst &MI, unsigned OpIdx,
490 SmallVectorImpl<MCFixup> &Fixups) const {
Owen Anderson559c2772011-08-31 18:30:20 +0000491 const MCOperand MO = MI.getOperand(OpIdx);
492 if (MO.isExpr())
493 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_thumb_bl,
494 Fixups);
495 return encodeThumbBLOffset(MO.getImm());
Jim Grosbach662a8162010-12-06 23:57:07 +0000496}
497
Bill Wendling09aa3f02010-12-09 00:39:08 +0000498/// getThumbBLXTargetOpValue - Return encoding info for Thumb immediate
499/// BLX branch target.
500uint32_t ARMMCCodeEmitter::
501getThumbBLXTargetOpValue(const MCInst &MI, unsigned OpIdx,
502 SmallVectorImpl<MCFixup> &Fixups) const {
Owen Anderson559c2772011-08-31 18:30:20 +0000503 const MCOperand MO = MI.getOperand(OpIdx);
504 if (MO.isExpr())
505 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_thumb_blx,
506 Fixups);
507 return encodeThumbBLOffset(MO.getImm());
Bill Wendling09aa3f02010-12-09 00:39:08 +0000508}
509
Jim Grosbache2467172010-12-10 18:21:33 +0000510/// getThumbBRTargetOpValue - Return encoding info for Thumb branch target.
511uint32_t ARMMCCodeEmitter::
512getThumbBRTargetOpValue(const MCInst &MI, unsigned OpIdx,
513 SmallVectorImpl<MCFixup> &Fixups) const {
Owen Anderson391ac652011-08-30 22:03:20 +0000514 const MCOperand MO = MI.getOperand(OpIdx);
515 if (MO.isExpr())
Owen Anderson559c2772011-08-31 18:30:20 +0000516 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_thumb_br,
517 Fixups);
Owen Anderson391ac652011-08-30 22:03:20 +0000518 return (MO.getImm() >> 1);
Jim Grosbache2467172010-12-10 18:21:33 +0000519}
520
Jim Grosbach01086452010-12-10 17:13:40 +0000521/// getThumbBCCTargetOpValue - Return encoding info for Thumb branch target.
522uint32_t ARMMCCodeEmitter::
523getThumbBCCTargetOpValue(const MCInst &MI, unsigned OpIdx,
Jim Grosbache2467172010-12-10 18:21:33 +0000524 SmallVectorImpl<MCFixup> &Fixups) const {
Owen Anderson721cb1f2011-08-31 20:26:14 +0000525 const MCOperand MO = MI.getOperand(OpIdx);
526 if (MO.isExpr())
527 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_thumb_bcc,
528 Fixups);
529 return (MO.getImm() >> 1);
Jim Grosbach01086452010-12-10 17:13:40 +0000530}
531
Jim Grosbach027d6e82010-12-09 19:04:53 +0000532/// getThumbCBTargetOpValue - Return encoding info for Thumb branch target.
Bill Wendlingdff2f712010-12-08 23:01:43 +0000533uint32_t ARMMCCodeEmitter::
Jim Grosbach027d6e82010-12-09 19:04:53 +0000534getThumbCBTargetOpValue(const MCInst &MI, unsigned OpIdx,
Bill Wendlingdff2f712010-12-08 23:01:43 +0000535 SmallVectorImpl<MCFixup> &Fixups) const {
Owen Anderson21df36c2011-08-30 22:15:17 +0000536 const MCOperand MO = MI.getOperand(OpIdx);
537 if (MO.isExpr())
538 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_thumb_cb, Fixups);
539 return (MO.getImm() >> 1);
Bill Wendlingdff2f712010-12-08 23:01:43 +0000540}
541
Jason W Kim685c3502011-02-04 19:47:15 +0000542/// Return true if this branch has a non-always predication
543static bool HasConditionalBranch(const MCInst &MI) {
544 int NumOp = MI.getNumOperands();
545 if (NumOp >= 2) {
546 for (int i = 0; i < NumOp-1; ++i) {
547 const MCOperand &MCOp1 = MI.getOperand(i);
548 const MCOperand &MCOp2 = MI.getOperand(i + 1);
Owen Anderson10096db2011-08-30 21:58:18 +0000549 if (MCOp1.isImm() && MCOp2.isReg() &&
Jason W Kim685c3502011-02-04 19:47:15 +0000550 (MCOp2.getReg() == 0 || MCOp2.getReg() == ARM::CPSR)) {
Owen Anderson10096db2011-08-30 21:58:18 +0000551 if (ARMCC::CondCodes(MCOp1.getImm()) != ARMCC::AL)
Jason W Kim685c3502011-02-04 19:47:15 +0000552 return true;
553 }
554 }
555 }
556 return false;
557}
558
Bill Wendlingdff2f712010-12-08 23:01:43 +0000559/// getBranchTargetOpValue - Return encoding info for 24-bit immediate branch
560/// target.
Jim Grosbachc466b932010-11-11 18:04:49 +0000561uint32_t ARMMCCodeEmitter::
562getBranchTargetOpValue(const MCInst &MI, unsigned OpIdx,
Bill Wendlingdff2f712010-12-08 23:01:43 +0000563 SmallVectorImpl<MCFixup> &Fixups) const {
Jim Grosbach092e2cd2010-12-10 23:41:10 +0000564 // FIXME: This really, really shouldn't use TargetMachine. We don't want
565 // coupling between MC and TM anywhere we can help it.
Evan Cheng59ee62d2011-07-11 03:57:24 +0000566 if (isThumb2())
Owen Andersonc2666002010-12-13 19:31:11 +0000567 return
568 ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_t2_condbranch, Fixups);
Jason W Kim685c3502011-02-04 19:47:15 +0000569 return getARMBranchTargetOpValue(MI, OpIdx, Fixups);
Jim Grosbachc466b932010-11-11 18:04:49 +0000570}
571
Jason W Kim685c3502011-02-04 19:47:15 +0000572/// getBranchTargetOpValue - Return encoding info for 24-bit immediate branch
573/// target.
574uint32_t ARMMCCodeEmitter::
575getARMBranchTargetOpValue(const MCInst &MI, unsigned OpIdx,
576 SmallVectorImpl<MCFixup> &Fixups) const {
Owen Andersond7568e12011-08-26 22:54:51 +0000577 const MCOperand MO = MI.getOperand(OpIdx);
578 if (MO.isExpr()) {
Owen Anderson10096db2011-08-30 21:58:18 +0000579 if (HasConditionalBranch(MI))
Owen Andersond7568e12011-08-26 22:54:51 +0000580 return ::getBranchTargetOpValue(MI, OpIdx,
581 ARM::fixup_arm_condbranch, Fixups);
Owen Anderson10096db2011-08-30 21:58:18 +0000582 return ::getBranchTargetOpValue(MI, OpIdx,
Owen Andersond7568e12011-08-26 22:54:51 +0000583 ARM::fixup_arm_uncondbranch, Fixups);
584 }
585
586 return MO.getImm() >> 2;
Jason W Kim685c3502011-02-04 19:47:15 +0000587}
588
Owen Andersonf1eab592011-08-26 23:32:08 +0000589uint32_t ARMMCCodeEmitter::
590getARMBLXTargetOpValue(const MCInst &MI, unsigned OpIdx,
591 SmallVectorImpl<MCFixup> &Fixups) const {
592 const MCOperand MO = MI.getOperand(OpIdx);
593 if (MO.isExpr()) {
Owen Anderson10096db2011-08-30 21:58:18 +0000594 if (HasConditionalBranch(MI))
Owen Andersonf1eab592011-08-26 23:32:08 +0000595 return ::getBranchTargetOpValue(MI, OpIdx,
596 ARM::fixup_arm_condbranch, Fixups);
Owen Anderson10096db2011-08-30 21:58:18 +0000597 return ::getBranchTargetOpValue(MI, OpIdx,
Owen Andersonf1eab592011-08-26 23:32:08 +0000598 ARM::fixup_arm_uncondbranch, Fixups);
599 }
Jason W Kim685c3502011-02-04 19:47:15 +0000600
Owen Andersonf1eab592011-08-26 23:32:08 +0000601 return MO.getImm() >> 1;
602}
Jason W Kim685c3502011-02-04 19:47:15 +0000603
Owen Andersonc2666002010-12-13 19:31:11 +0000604/// getUnconditionalBranchTargetOpValue - Return encoding info for 24-bit
605/// immediate branch target.
606uint32_t ARMMCCodeEmitter::
607getUnconditionalBranchTargetOpValue(const MCInst &MI, unsigned OpIdx,
608 SmallVectorImpl<MCFixup> &Fixups) const {
609 unsigned Val =
610 ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_t2_uncondbranch, Fixups);
611 bool I = (Val & 0x800000);
612 bool J1 = (Val & 0x400000);
613 bool J2 = (Val & 0x200000);
614 if (I ^ J1)
615 Val &= ~0x400000;
616 else
617 Val |= 0x400000;
Owen Anderson971b83b2011-02-08 22:39:40 +0000618
Owen Andersonc2666002010-12-13 19:31:11 +0000619 if (I ^ J2)
620 Val &= ~0x200000;
621 else
622 Val |= 0x200000;
Owen Anderson971b83b2011-02-08 22:39:40 +0000623
Owen Andersonc2666002010-12-13 19:31:11 +0000624 return Val;
625}
626
Bill Wendlingdff2f712010-12-08 23:01:43 +0000627/// getAdrLabelOpValue - Return encoding info for 12-bit immediate ADR label
628/// target.
Jim Grosbach5d14f9b2010-12-01 19:47:31 +0000629uint32_t ARMMCCodeEmitter::
630getAdrLabelOpValue(const MCInst &MI, unsigned OpIdx,
631 SmallVectorImpl<MCFixup> &Fixups) const {
Owen Anderson96425c82011-08-26 18:09:22 +0000632 const MCOperand MO = MI.getOperand(OpIdx);
633 if (MO.isExpr())
634 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_adr_pcrel_12,
635 Fixups);
636 int32_t offset = MO.getImm();
637 uint32_t Val = 0x2000;
638 if (offset < 0) {
639 Val = 0x1000;
640 offset *= -1;
641 }
642 Val |= offset;
643 return Val;
Jim Grosbach5d14f9b2010-12-01 19:47:31 +0000644}
645
Owen Andersona838a252010-12-14 00:36:49 +0000646/// getAdrLabelOpValue - Return encoding info for 12-bit immediate ADR label
647/// target.
648uint32_t ARMMCCodeEmitter::
649getT2AdrLabelOpValue(const MCInst &MI, unsigned OpIdx,
650 SmallVectorImpl<MCFixup> &Fixups) const {
Owen Anderson96425c82011-08-26 18:09:22 +0000651 const MCOperand MO = MI.getOperand(OpIdx);
652 if (MO.isExpr())
653 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_t2_adr_pcrel_12,
654 Fixups);
655 return MO.getImm();
Owen Andersona838a252010-12-14 00:36:49 +0000656}
657
Jim Grosbachd40963c2010-12-14 22:28:03 +0000658/// getAdrLabelOpValue - Return encoding info for 8-bit immediate ADR label
659/// target.
660uint32_t ARMMCCodeEmitter::
661getThumbAdrLabelOpValue(const MCInst &MI, unsigned OpIdx,
662 SmallVectorImpl<MCFixup> &Fixups) const {
Owen Anderson96425c82011-08-26 18:09:22 +0000663 const MCOperand MO = MI.getOperand(OpIdx);
664 if (MO.isExpr())
665 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_thumb_adr_pcrel_10,
666 Fixups);
667 return MO.getImm();
Jim Grosbachd40963c2010-12-14 22:28:03 +0000668}
669
Bill Wendlingf4caf692010-12-14 03:36:38 +0000670/// getThumbAddrModeRegRegOpValue - Return encoding info for 'reg + reg'
671/// operand.
Owen Anderson0f4b60d2010-12-10 22:11:13 +0000672uint32_t ARMMCCodeEmitter::
Bill Wendlingf4caf692010-12-14 03:36:38 +0000673getThumbAddrModeRegRegOpValue(const MCInst &MI, unsigned OpIdx,
674 SmallVectorImpl<MCFixup> &) const {
675 // [Rn, Rm]
676 // {5-3} = Rm
677 // {2-0} = Rn
Owen Anderson0f4b60d2010-12-10 22:11:13 +0000678 const MCOperand &MO1 = MI.getOperand(OpIdx);
Bill Wendlingf4caf692010-12-14 03:36:38 +0000679 const MCOperand &MO2 = MI.getOperand(OpIdx + 1);
Owen Anderson0f4b60d2010-12-10 22:11:13 +0000680 unsigned Rn = getARMRegisterNumbering(MO1.getReg());
681 unsigned Rm = getARMRegisterNumbering(MO2.getReg());
682 return (Rm << 3) | Rn;
683}
684
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000685/// getAddrModeImm12OpValue - Return encoding info for 'reg +/- imm12' operand.
Jim Grosbach806e80e2010-11-03 23:52:49 +0000686uint32_t ARMMCCodeEmitter::
687getAddrModeImm12OpValue(const MCInst &MI, unsigned OpIdx,
688 SmallVectorImpl<MCFixup> &Fixups) const {
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000689 // {17-13} = reg
690 // {12} = (U)nsigned (add == '1', sub == '0')
691 // {11-0} = imm12
692 unsigned Reg, Imm12;
Jim Grosbach70933262010-11-04 01:12:30 +0000693 bool isAdd = true;
694 // If The first operand isn't a register, we have a label reference.
695 const MCOperand &MO = MI.getOperand(OpIdx);
Owen Anderson971b83b2011-02-08 22:39:40 +0000696 if (!MO.isReg()) {
Jim Grosbach679cbd32010-11-09 01:37:15 +0000697 Reg = getARMRegisterNumbering(ARM::PC); // Rn is PC.
Jim Grosbach70933262010-11-04 01:12:30 +0000698 Imm12 = 0;
Jim Grosbach97dd28f2010-11-30 22:40:36 +0000699 isAdd = false ; // 'U' bit is set as part of the fixup.
Jim Grosbach70933262010-11-04 01:12:30 +0000700
Owen Anderson971b83b2011-02-08 22:39:40 +0000701 assert(MO.isExpr() && "Unexpected machine operand type!");
702 const MCExpr *Expr = MO.getExpr();
Jim Grosbach7bf4c022010-12-10 21:57:34 +0000703
Owen Andersond7b3f582010-12-09 01:51:07 +0000704 MCFixupKind Kind;
Evan Cheng59ee62d2011-07-11 03:57:24 +0000705 if (isThumb2())
Owen Andersond7b3f582010-12-09 01:51:07 +0000706 Kind = MCFixupKind(ARM::fixup_t2_ldst_pcrel_12);
707 else
708 Kind = MCFixupKind(ARM::fixup_arm_ldst_pcrel_12);
Jim Grosbach70933262010-11-04 01:12:30 +0000709 Fixups.push_back(MCFixup::Create(0, Expr, Kind));
710
711 ++MCNumCPRelocations;
712 } else
713 isAdd = EncodeAddrModeOpValues(MI, OpIdx, Reg, Imm12, Fixups);
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000714
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000715 uint32_t Binary = Imm12 & 0xfff;
716 // Immediate is always encoded as positive. The 'U' bit controls add vs sub.
Jim Grosbachab682a22010-10-28 18:34:10 +0000717 if (isAdd)
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000718 Binary |= (1 << 12);
719 Binary |= (Reg << 13);
720 return Binary;
721}
722
Owen Anderson9d63d902010-12-01 19:18:46 +0000723/// getT2AddrModeImm8s4OpValue - Return encoding info for
724/// 'reg +/- imm8<<2' operand.
725uint32_t ARMMCCodeEmitter::
726getT2AddrModeImm8s4OpValue(const MCInst &MI, unsigned OpIdx,
727 SmallVectorImpl<MCFixup> &Fixups) const {
Jim Grosbach90cc5332010-12-10 21:05:07 +0000728 // {12-9} = reg
729 // {8} = (U)nsigned (add == '1', sub == '0')
730 // {7-0} = imm8
Owen Anderson9d63d902010-12-01 19:18:46 +0000731 unsigned Reg, Imm8;
732 bool isAdd = true;
733 // If The first operand isn't a register, we have a label reference.
734 const MCOperand &MO = MI.getOperand(OpIdx);
735 if (!MO.isReg()) {
736 Reg = getARMRegisterNumbering(ARM::PC); // Rn is PC.
737 Imm8 = 0;
738 isAdd = false ; // 'U' bit is set as part of the fixup.
739
740 assert(MO.isExpr() && "Unexpected machine operand type!");
741 const MCExpr *Expr = MO.getExpr();
742 MCFixupKind Kind = MCFixupKind(ARM::fixup_arm_pcrel_10);
743 Fixups.push_back(MCFixup::Create(0, Expr, Kind));
744
745 ++MCNumCPRelocations;
746 } else
747 isAdd = EncodeAddrModeOpValues(MI, OpIdx, Reg, Imm8, Fixups);
748
749 uint32_t Binary = (Imm8 >> 2) & 0xff;
750 // Immediate is always encoded as positive. The 'U' bit controls add vs sub.
751 if (isAdd)
Jim Grosbach90cc5332010-12-10 21:05:07 +0000752 Binary |= (1 << 8);
Owen Anderson9d63d902010-12-01 19:18:46 +0000753 Binary |= (Reg << 9);
754 return Binary;
755}
756
Jason W Kim86a97f22011-01-12 00:19:25 +0000757// FIXME: This routine assumes that a binary
758// expression will always result in a PCRel expression
759// In reality, its only true if one or more subexpressions
760// is itself a PCRel (i.e. "." in asm or some other pcrel construct)
761// but this is good enough for now.
762static bool EvaluateAsPCRel(const MCExpr *Expr) {
763 switch (Expr->getKind()) {
Matt Beaumont-Gay5f8a9172011-01-12 18:02:55 +0000764 default: assert(0 && "Unexpected expression type");
Jason W Kim86a97f22011-01-12 00:19:25 +0000765 case MCExpr::SymbolRef: return false;
766 case MCExpr::Binary: return true;
Jason W Kim86a97f22011-01-12 00:19:25 +0000767 }
768}
769
Evan Cheng75972122011-01-13 07:58:56 +0000770uint32_t
771ARMMCCodeEmitter::getHiLo16ImmOpValue(const MCInst &MI, unsigned OpIdx,
772 SmallVectorImpl<MCFixup> &Fixups) const {
Jason W Kim837caa92010-11-18 23:37:15 +0000773 // {20-16} = imm{15-12}
774 // {11-0} = imm{11-0}
Jim Grosbach7bf4c022010-12-10 21:57:34 +0000775 const MCOperand &MO = MI.getOperand(OpIdx);
Evan Cheng75972122011-01-13 07:58:56 +0000776 if (MO.isImm())
777 // Hi / lo 16 bits already extracted during earlier passes.
Jason W Kim837caa92010-11-18 23:37:15 +0000778 return static_cast<unsigned>(MO.getImm());
Evan Cheng75972122011-01-13 07:58:56 +0000779
780 // Handle :upper16: and :lower16: assembly prefixes.
781 const MCExpr *E = MO.getExpr();
782 if (E->getKind() == MCExpr::Target) {
783 const ARMMCExpr *ARM16Expr = cast<ARMMCExpr>(E);
784 E = ARM16Expr->getSubExpr();
785
Jason W Kim837caa92010-11-18 23:37:15 +0000786 MCFixupKind Kind;
Evan Cheng75972122011-01-13 07:58:56 +0000787 switch (ARM16Expr->getKind()) {
Matt Beaumont-Gay5f8a9172011-01-12 18:02:55 +0000788 default: assert(0 && "Unsupported ARMFixup");
Evan Cheng75972122011-01-13 07:58:56 +0000789 case ARMMCExpr::VK_ARM_HI16:
Evan Cheng59ee62d2011-07-11 03:57:24 +0000790 if (!isTargetDarwin() && EvaluateAsPCRel(E))
791 Kind = MCFixupKind(isThumb2()
Evan Chengf3eb3bb2011-01-14 02:38:49 +0000792 ? ARM::fixup_t2_movt_hi16_pcrel
793 : ARM::fixup_arm_movt_hi16_pcrel);
794 else
Evan Cheng59ee62d2011-07-11 03:57:24 +0000795 Kind = MCFixupKind(isThumb2()
Evan Chengf3eb3bb2011-01-14 02:38:49 +0000796 ? ARM::fixup_t2_movt_hi16
797 : ARM::fixup_arm_movt_hi16);
Jason W Kim837caa92010-11-18 23:37:15 +0000798 break;
Evan Cheng75972122011-01-13 07:58:56 +0000799 case ARMMCExpr::VK_ARM_LO16:
Evan Cheng59ee62d2011-07-11 03:57:24 +0000800 if (!isTargetDarwin() && EvaluateAsPCRel(E))
801 Kind = MCFixupKind(isThumb2()
Evan Chengf3eb3bb2011-01-14 02:38:49 +0000802 ? ARM::fixup_t2_movw_lo16_pcrel
803 : ARM::fixup_arm_movw_lo16_pcrel);
804 else
Evan Cheng59ee62d2011-07-11 03:57:24 +0000805 Kind = MCFixupKind(isThumb2()
Evan Chengf3eb3bb2011-01-14 02:38:49 +0000806 ? ARM::fixup_t2_movw_lo16
807 : ARM::fixup_arm_movw_lo16);
Jason W Kim837caa92010-11-18 23:37:15 +0000808 break;
Jason W Kim837caa92010-11-18 23:37:15 +0000809 }
Evan Cheng75972122011-01-13 07:58:56 +0000810 Fixups.push_back(MCFixup::Create(0, E, Kind));
Jason W Kim837caa92010-11-18 23:37:15 +0000811 return 0;
Jim Grosbach817c1a62010-11-19 00:27:09 +0000812 };
Evan Cheng75972122011-01-13 07:58:56 +0000813
Jim Grosbach817c1a62010-11-19 00:27:09 +0000814 llvm_unreachable("Unsupported MCExpr type in MCOperand!");
Jason W Kim837caa92010-11-18 23:37:15 +0000815 return 0;
816}
817
818uint32_t ARMMCCodeEmitter::
Jim Grosbach54fea632010-11-09 17:20:53 +0000819getLdStSORegOpValue(const MCInst &MI, unsigned OpIdx,
820 SmallVectorImpl<MCFixup> &Fixups) const {
821 const MCOperand &MO = MI.getOperand(OpIdx);
822 const MCOperand &MO1 = MI.getOperand(OpIdx+1);
823 const MCOperand &MO2 = MI.getOperand(OpIdx+2);
824 unsigned Rn = getARMRegisterNumbering(MO.getReg());
825 unsigned Rm = getARMRegisterNumbering(MO1.getReg());
Jim Grosbach54fea632010-11-09 17:20:53 +0000826 unsigned ShImm = ARM_AM::getAM2Offset(MO2.getImm());
827 bool isAdd = ARM_AM::getAM2Op(MO2.getImm()) == ARM_AM::add;
Jim Grosbach99f53d12010-11-15 20:47:07 +0000828 ARM_AM::ShiftOpc ShOp = ARM_AM::getAM2ShiftOpc(MO2.getImm());
829 unsigned SBits = getShiftOp(ShOp);
Jim Grosbach54fea632010-11-09 17:20:53 +0000830
831 // {16-13} = Rn
832 // {12} = isAdd
833 // {11-0} = shifter
834 // {3-0} = Rm
835 // {4} = 0
836 // {6-5} = type
837 // {11-7} = imm
Jim Grosbach570a9222010-11-11 01:09:40 +0000838 uint32_t Binary = Rm;
Jim Grosbach54fea632010-11-09 17:20:53 +0000839 Binary |= Rn << 13;
840 Binary |= SBits << 5;
841 Binary |= ShImm << 7;
842 if (isAdd)
843 Binary |= 1 << 12;
844 return Binary;
845}
846
Jim Grosbach570a9222010-11-11 01:09:40 +0000847uint32_t ARMMCCodeEmitter::
Jim Grosbach99f53d12010-11-15 20:47:07 +0000848getAddrMode2OpValue(const MCInst &MI, unsigned OpIdx,
849 SmallVectorImpl<MCFixup> &Fixups) const {
850 // {17-14} Rn
851 // {13} 1 == imm12, 0 == Rm
852 // {12} isAdd
853 // {11-0} imm12/Rm
854 const MCOperand &MO = MI.getOperand(OpIdx);
855 unsigned Rn = getARMRegisterNumbering(MO.getReg());
856 uint32_t Binary = getAddrMode2OffsetOpValue(MI, OpIdx + 1, Fixups);
857 Binary |= Rn << 14;
858 return Binary;
859}
860
861uint32_t ARMMCCodeEmitter::
862getAddrMode2OffsetOpValue(const MCInst &MI, unsigned OpIdx,
863 SmallVectorImpl<MCFixup> &Fixups) const {
864 // {13} 1 == imm12, 0 == Rm
865 // {12} isAdd
866 // {11-0} imm12/Rm
867 const MCOperand &MO = MI.getOperand(OpIdx);
868 const MCOperand &MO1 = MI.getOperand(OpIdx+1);
869 unsigned Imm = MO1.getImm();
870 bool isAdd = ARM_AM::getAM2Op(Imm) == ARM_AM::add;
871 bool isReg = MO.getReg() != 0;
872 uint32_t Binary = ARM_AM::getAM2Offset(Imm);
873 // if reg +/- reg, Rm will be non-zero. Otherwise, we have reg +/- imm12
874 if (isReg) {
875 ARM_AM::ShiftOpc ShOp = ARM_AM::getAM2ShiftOpc(Imm);
876 Binary <<= 7; // Shift amount is bits [11:7]
877 Binary |= getShiftOp(ShOp) << 5; // Shift type is bits [6:5]
878 Binary |= getARMRegisterNumbering(MO.getReg()); // Rm is bits [3:0]
879 }
880 return Binary | (isAdd << 12) | (isReg << 13);
881}
882
883uint32_t ARMMCCodeEmitter::
Jim Grosbach7ce05792011-08-03 23:50:40 +0000884getPostIdxRegOpValue(const MCInst &MI, unsigned OpIdx,
885 SmallVectorImpl<MCFixup> &Fixups) const {
886 // {4} isAdd
887 // {3-0} Rm
888 const MCOperand &MO = MI.getOperand(OpIdx);
889 const MCOperand &MO1 = MI.getOperand(OpIdx+1);
Jim Grosbach16578b52011-08-05 16:11:38 +0000890 bool isAdd = MO1.getImm() != 0;
Jim Grosbach7ce05792011-08-03 23:50:40 +0000891 return getARMRegisterNumbering(MO.getReg()) | (isAdd << 4);
892}
893
894uint32_t ARMMCCodeEmitter::
Jim Grosbach7eab97f2010-11-11 16:55:29 +0000895getAddrMode3OffsetOpValue(const MCInst &MI, unsigned OpIdx,
896 SmallVectorImpl<MCFixup> &Fixups) const {
897 // {9} 1 == imm8, 0 == Rm
898 // {8} isAdd
899 // {7-4} imm7_4/zero
900 // {3-0} imm3_0/Rm
901 const MCOperand &MO = MI.getOperand(OpIdx);
902 const MCOperand &MO1 = MI.getOperand(OpIdx+1);
903 unsigned Imm = MO1.getImm();
904 bool isAdd = ARM_AM::getAM3Op(Imm) == ARM_AM::add;
905 bool isImm = MO.getReg() == 0;
906 uint32_t Imm8 = ARM_AM::getAM3Offset(Imm);
907 // if reg +/- reg, Rm will be non-zero. Otherwise, we have reg +/- imm8
908 if (!isImm)
909 Imm8 = getARMRegisterNumbering(MO.getReg());
910 return Imm8 | (isAdd << 8) | (isImm << 9);
911}
912
913uint32_t ARMMCCodeEmitter::
Jim Grosbach570a9222010-11-11 01:09:40 +0000914getAddrMode3OpValue(const MCInst &MI, unsigned OpIdx,
915 SmallVectorImpl<MCFixup> &Fixups) const {
916 // {13} 1 == imm8, 0 == Rm
917 // {12-9} Rn
918 // {8} isAdd
919 // {7-4} imm7_4/zero
920 // {3-0} imm3_0/Rm
921 const MCOperand &MO = MI.getOperand(OpIdx);
922 const MCOperand &MO1 = MI.getOperand(OpIdx+1);
923 const MCOperand &MO2 = MI.getOperand(OpIdx+2);
924 unsigned Rn = getARMRegisterNumbering(MO.getReg());
925 unsigned Imm = MO2.getImm();
926 bool isAdd = ARM_AM::getAM3Op(Imm) == ARM_AM::add;
927 bool isImm = MO1.getReg() == 0;
928 uint32_t Imm8 = ARM_AM::getAM3Offset(Imm);
929 // if reg +/- reg, Rm will be non-zero. Otherwise, we have reg +/- imm8
930 if (!isImm)
931 Imm8 = getARMRegisterNumbering(MO1.getReg());
932 return (Rn << 9) | Imm8 | (isAdd << 8) | (isImm << 13);
933}
934
Bill Wendlingb8958b02010-12-08 01:57:09 +0000935/// getAddrModeThumbSPOpValue - Encode the t_addrmode_sp operands.
Jim Grosbachd967cd02010-12-07 21:50:47 +0000936uint32_t ARMMCCodeEmitter::
937getAddrModeThumbSPOpValue(const MCInst &MI, unsigned OpIdx,
938 SmallVectorImpl<MCFixup> &Fixups) const {
939 // [SP, #imm]
940 // {7-0} = imm8
Jim Grosbachd967cd02010-12-07 21:50:47 +0000941 const MCOperand &MO1 = MI.getOperand(OpIdx + 1);
Bill Wendlingb8958b02010-12-08 01:57:09 +0000942 assert(MI.getOperand(OpIdx).getReg() == ARM::SP &&
943 "Unexpected base register!");
Bill Wendling7a905a82010-12-15 23:32:27 +0000944
Jim Grosbachd967cd02010-12-07 21:50:47 +0000945 // The immediate is already shifted for the implicit zeroes, so no change
946 // here.
947 return MO1.getImm() & 0xff;
948}
949
Bill Wendlingf4caf692010-12-14 03:36:38 +0000950/// getAddrModeISOpValue - Encode the t_addrmode_is# operands.
Bill Wendling272df512010-12-09 21:49:07 +0000951uint32_t ARMMCCodeEmitter::
Bill Wendlingf4caf692010-12-14 03:36:38 +0000952getAddrModeISOpValue(const MCInst &MI, unsigned OpIdx,
Bill Wendling22447ae2010-12-15 08:51:02 +0000953 SmallVectorImpl<MCFixup> &Fixups) const {
Bill Wendlingef4a68b2010-11-30 07:44:32 +0000954 // [Rn, #imm]
955 // {7-3} = imm5
956 // {2-0} = Rn
957 const MCOperand &MO = MI.getOperand(OpIdx);
958 const MCOperand &MO1 = MI.getOperand(OpIdx + 1);
Bill Wendlingef4a68b2010-11-30 07:44:32 +0000959 unsigned Rn = getARMRegisterNumbering(MO.getReg());
Matt Beaumont-Gay656b3d22010-12-16 01:34:26 +0000960 unsigned Imm5 = MO1.getImm();
Bill Wendling272df512010-12-09 21:49:07 +0000961 return ((Imm5 & 0x1f) << 3) | Rn;
Bill Wendling1fd374e2010-11-30 22:57:21 +0000962}
963
Bill Wendlingb8958b02010-12-08 01:57:09 +0000964/// getAddrModePCOpValue - Return encoding for t_addrmode_pc operands.
965uint32_t ARMMCCodeEmitter::
966getAddrModePCOpValue(const MCInst &MI, unsigned OpIdx,
967 SmallVectorImpl<MCFixup> &Fixups) const {
Owen Andersona7710ed2011-08-30 22:10:03 +0000968 const MCOperand MO = MI.getOperand(OpIdx);
969 if (MO.isExpr())
970 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_thumb_cp, Fixups);
971 return (MO.getImm() >> 2);
Bill Wendlingb8958b02010-12-08 01:57:09 +0000972}
973
Jim Grosbach5177f792010-12-01 21:09:40 +0000974/// getAddrMode5OpValue - Return encoding info for 'reg +/- imm10' operand.
Jim Grosbach806e80e2010-11-03 23:52:49 +0000975uint32_t ARMMCCodeEmitter::
976getAddrMode5OpValue(const MCInst &MI, unsigned OpIdx,
977 SmallVectorImpl<MCFixup> &Fixups) const {
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000978 // {12-9} = reg
979 // {8} = (U)nsigned (add == '1', sub == '0')
980 // {7-0} = imm8
981 unsigned Reg, Imm8;
Jim Grosbach97dd28f2010-11-30 22:40:36 +0000982 bool isAdd;
Jim Grosbach70933262010-11-04 01:12:30 +0000983 // If The first operand isn't a register, we have a label reference.
984 const MCOperand &MO = MI.getOperand(OpIdx);
985 if (!MO.isReg()) {
Jim Grosbach679cbd32010-11-09 01:37:15 +0000986 Reg = getARMRegisterNumbering(ARM::PC); // Rn is PC.
Jim Grosbach70933262010-11-04 01:12:30 +0000987 Imm8 = 0;
Jim Grosbach97dd28f2010-11-30 22:40:36 +0000988 isAdd = false; // 'U' bit is handled as part of the fixup.
Jim Grosbach70933262010-11-04 01:12:30 +0000989
990 assert(MO.isExpr() && "Unexpected machine operand type!");
991 const MCExpr *Expr = MO.getExpr();
Owen Andersond8e351b2010-12-08 00:18:36 +0000992 MCFixupKind Kind;
Evan Cheng59ee62d2011-07-11 03:57:24 +0000993 if (isThumb2())
Owen Andersond8e351b2010-12-08 00:18:36 +0000994 Kind = MCFixupKind(ARM::fixup_t2_pcrel_10);
995 else
996 Kind = MCFixupKind(ARM::fixup_arm_pcrel_10);
Jim Grosbach70933262010-11-04 01:12:30 +0000997 Fixups.push_back(MCFixup::Create(0, Expr, Kind));
998
999 ++MCNumCPRelocations;
Jim Grosbach97dd28f2010-11-30 22:40:36 +00001000 } else {
Jim Grosbach70933262010-11-04 01:12:30 +00001001 EncodeAddrModeOpValues(MI, OpIdx, Reg, Imm8, Fixups);
Jim Grosbach97dd28f2010-11-30 22:40:36 +00001002 isAdd = ARM_AM::getAM5Op(Imm8) == ARM_AM::add;
1003 }
Bill Wendling92b5a2e2010-11-03 01:49:29 +00001004
Bill Wendling92b5a2e2010-11-03 01:49:29 +00001005 uint32_t Binary = ARM_AM::getAM5Offset(Imm8);
1006 // Immediate is always encoded as positive. The 'U' bit controls add vs sub.
Jim Grosbach97dd28f2010-11-30 22:40:36 +00001007 if (isAdd)
Bill Wendling92b5a2e2010-11-03 01:49:29 +00001008 Binary |= (1 << 8);
1009 Binary |= (Reg << 9);
Jim Grosbach3e556122010-10-26 22:37:02 +00001010 return Binary;
1011}
1012
Jim Grosbach806e80e2010-11-03 23:52:49 +00001013unsigned ARMMCCodeEmitter::
Owen Anderson152d4a42011-07-21 23:38:37 +00001014getSORegRegOpValue(const MCInst &MI, unsigned OpIdx,
Jim Grosbach806e80e2010-11-03 23:52:49 +00001015 SmallVectorImpl<MCFixup> &Fixups) const {
Bill Wendling0800ce72010-11-02 22:53:11 +00001016 // Sub-operands are [reg, reg, imm]. The first register is Rm, the reg to be
Owen Anderson354712c2011-07-28 17:56:55 +00001017 // shifted. The second is Rs, the amount to shift by, and the third specifies
1018 // the type of the shift.
Jim Grosbach35b2de02010-11-03 22:03:20 +00001019 //
Jim Grosbachef324d72010-10-12 23:53:58 +00001020 // {3-0} = Rm.
Owen Anderson354712c2011-07-28 17:56:55 +00001021 // {4} = 1
Jim Grosbachef324d72010-10-12 23:53:58 +00001022 // {6-5} = type
Owen Anderson354712c2011-07-28 17:56:55 +00001023 // {11-8} = Rs
1024 // {7} = 0
Jim Grosbachef324d72010-10-12 23:53:58 +00001025
1026 const MCOperand &MO = MI.getOperand(OpIdx);
1027 const MCOperand &MO1 = MI.getOperand(OpIdx + 1);
1028 const MCOperand &MO2 = MI.getOperand(OpIdx + 2);
1029 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO2.getImm());
1030
1031 // Encode Rm.
1032 unsigned Binary = getARMRegisterNumbering(MO.getReg());
1033
1034 // Encode the shift opcode.
1035 unsigned SBits = 0;
1036 unsigned Rs = MO1.getReg();
1037 if (Rs) {
1038 // Set shift operand (bit[7:4]).
1039 // LSL - 0001
1040 // LSR - 0011
1041 // ASR - 0101
1042 // ROR - 0111
Jim Grosbachef324d72010-10-12 23:53:58 +00001043 switch (SOpc) {
1044 default: llvm_unreachable("Unknown shift opc!");
1045 case ARM_AM::lsl: SBits = 0x1; break;
1046 case ARM_AM::lsr: SBits = 0x3; break;
1047 case ARM_AM::asr: SBits = 0x5; break;
1048 case ARM_AM::ror: SBits = 0x7; break;
Jim Grosbachef324d72010-10-12 23:53:58 +00001049 }
1050 }
Bill Wendling0800ce72010-11-02 22:53:11 +00001051
Jim Grosbachef324d72010-10-12 23:53:58 +00001052 Binary |= SBits << 4;
Jim Grosbachef324d72010-10-12 23:53:58 +00001053
Owen Anderson354712c2011-07-28 17:56:55 +00001054 // Encode the shift operation Rs.
Owen Anderson152d4a42011-07-21 23:38:37 +00001055 // Encode Rs bit[11:8].
1056 assert(ARM_AM::getSORegOffset(MO2.getImm()) == 0);
1057 return Binary | (getARMRegisterNumbering(Rs) << ARMII::RegRsShift);
1058}
1059
1060unsigned ARMMCCodeEmitter::
1061getSORegImmOpValue(const MCInst &MI, unsigned OpIdx,
1062 SmallVectorImpl<MCFixup> &Fixups) const {
Owen Anderson354712c2011-07-28 17:56:55 +00001063 // Sub-operands are [reg, imm]. The first register is Rm, the reg to be
1064 // shifted. The second is the amount to shift by.
Owen Anderson152d4a42011-07-21 23:38:37 +00001065 //
1066 // {3-0} = Rm.
Owen Anderson354712c2011-07-28 17:56:55 +00001067 // {4} = 0
Owen Anderson152d4a42011-07-21 23:38:37 +00001068 // {6-5} = type
Owen Anderson354712c2011-07-28 17:56:55 +00001069 // {11-7} = imm
Owen Anderson152d4a42011-07-21 23:38:37 +00001070
1071 const MCOperand &MO = MI.getOperand(OpIdx);
1072 const MCOperand &MO1 = MI.getOperand(OpIdx + 1);
1073 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO1.getImm());
1074
1075 // Encode Rm.
1076 unsigned Binary = getARMRegisterNumbering(MO.getReg());
1077
1078 // Encode the shift opcode.
1079 unsigned SBits = 0;
1080
1081 // Set shift operand (bit[6:4]).
1082 // LSL - 000
1083 // LSR - 010
1084 // ASR - 100
1085 // ROR - 110
1086 // RRX - 110 and bit[11:8] clear.
1087 switch (SOpc) {
1088 default: llvm_unreachable("Unknown shift opc!");
1089 case ARM_AM::lsl: SBits = 0x0; break;
1090 case ARM_AM::lsr: SBits = 0x2; break;
1091 case ARM_AM::asr: SBits = 0x4; break;
1092 case ARM_AM::ror: SBits = 0x6; break;
1093 case ARM_AM::rrx:
1094 Binary |= 0x60;
1095 return Binary;
Jim Grosbachef324d72010-10-12 23:53:58 +00001096 }
1097
1098 // Encode shift_imm bit[11:7].
Owen Anderson152d4a42011-07-21 23:38:37 +00001099 Binary |= SBits << 4;
Owen Anderson3dac0be2011-08-11 18:41:59 +00001100 unsigned Offset = ARM_AM::getSORegOffset(MO1.getImm());
1101 assert(Offset && "Offset must be in range 1-32!");
1102 if (Offset == 32) Offset = 0;
1103 return Binary | (Offset << 7);
Jim Grosbachef324d72010-10-12 23:53:58 +00001104}
1105
Owen Anderson152d4a42011-07-21 23:38:37 +00001106
Jim Grosbach806e80e2010-11-03 23:52:49 +00001107unsigned ARMMCCodeEmitter::
Owen Anderson75579f72010-11-29 22:44:32 +00001108getT2AddrModeSORegOpValue(const MCInst &MI, unsigned OpNum,
1109 SmallVectorImpl<MCFixup> &Fixups) const {
1110 const MCOperand &MO1 = MI.getOperand(OpNum);
1111 const MCOperand &MO2 = MI.getOperand(OpNum+1);
Jim Grosbach7bf4c022010-12-10 21:57:34 +00001112 const MCOperand &MO3 = MI.getOperand(OpNum+2);
1113
Owen Anderson75579f72010-11-29 22:44:32 +00001114 // Encoded as [Rn, Rm, imm].
1115 // FIXME: Needs fixup support.
1116 unsigned Value = getARMRegisterNumbering(MO1.getReg());
1117 Value <<= 4;
1118 Value |= getARMRegisterNumbering(MO2.getReg());
1119 Value <<= 2;
1120 Value |= MO3.getImm();
Jim Grosbach7bf4c022010-12-10 21:57:34 +00001121
Owen Anderson75579f72010-11-29 22:44:32 +00001122 return Value;
1123}
1124
1125unsigned ARMMCCodeEmitter::
1126getT2AddrModeImm8OpValue(const MCInst &MI, unsigned OpNum,
1127 SmallVectorImpl<MCFixup> &Fixups) const {
1128 const MCOperand &MO1 = MI.getOperand(OpNum);
1129 const MCOperand &MO2 = MI.getOperand(OpNum+1);
1130
1131 // FIXME: Needs fixup support.
1132 unsigned Value = getARMRegisterNumbering(MO1.getReg());
Jim Grosbach7bf4c022010-12-10 21:57:34 +00001133
Owen Anderson75579f72010-11-29 22:44:32 +00001134 // Even though the immediate is 8 bits long, we need 9 bits in order
1135 // to represent the (inverse of the) sign bit.
1136 Value <<= 9;
Owen Anderson6af50f72010-11-30 00:14:31 +00001137 int32_t tmp = (int32_t)MO2.getImm();
1138 if (tmp < 0)
1139 tmp = abs(tmp);
1140 else
1141 Value |= 256; // Set the ADD bit
1142 Value |= tmp & 255;
1143 return Value;
1144}
1145
1146unsigned ARMMCCodeEmitter::
1147getT2AddrModeImm8OffsetOpValue(const MCInst &MI, unsigned OpNum,
1148 SmallVectorImpl<MCFixup> &Fixups) const {
1149 const MCOperand &MO1 = MI.getOperand(OpNum);
1150
1151 // FIXME: Needs fixup support.
1152 unsigned Value = 0;
1153 int32_t tmp = (int32_t)MO1.getImm();
1154 if (tmp < 0)
1155 tmp = abs(tmp);
1156 else
1157 Value |= 256; // Set the ADD bit
1158 Value |= tmp & 255;
Owen Anderson75579f72010-11-29 22:44:32 +00001159 return Value;
1160}
1161
1162unsigned ARMMCCodeEmitter::
Owen Anderson0e1bcdf2010-11-30 19:19:31 +00001163getT2AddrModeImm12OffsetOpValue(const MCInst &MI, unsigned OpNum,
1164 SmallVectorImpl<MCFixup> &Fixups) const {
1165 const MCOperand &MO1 = MI.getOperand(OpNum);
1166
1167 // FIXME: Needs fixup support.
1168 unsigned Value = 0;
1169 int32_t tmp = (int32_t)MO1.getImm();
1170 if (tmp < 0)
1171 tmp = abs(tmp);
1172 else
1173 Value |= 4096; // Set the ADD bit
1174 Value |= tmp & 4095;
1175 return Value;
1176}
1177
1178unsigned ARMMCCodeEmitter::
Owen Anderson5de6d842010-11-12 21:12:40 +00001179getT2SORegOpValue(const MCInst &MI, unsigned OpIdx,
1180 SmallVectorImpl<MCFixup> &Fixups) const {
1181 // Sub-operands are [reg, imm]. The first register is Rm, the reg to be
1182 // shifted. The second is the amount to shift by.
1183 //
1184 // {3-0} = Rm.
1185 // {4} = 0
1186 // {6-5} = type
1187 // {11-7} = imm
1188
1189 const MCOperand &MO = MI.getOperand(OpIdx);
1190 const MCOperand &MO1 = MI.getOperand(OpIdx + 1);
1191 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO1.getImm());
1192
1193 // Encode Rm.
1194 unsigned Binary = getARMRegisterNumbering(MO.getReg());
1195
1196 // Encode the shift opcode.
1197 unsigned SBits = 0;
1198 // Set shift operand (bit[6:4]).
1199 // LSL - 000
1200 // LSR - 010
1201 // ASR - 100
1202 // ROR - 110
1203 switch (SOpc) {
1204 default: llvm_unreachable("Unknown shift opc!");
1205 case ARM_AM::lsl: SBits = 0x0; break;
1206 case ARM_AM::lsr: SBits = 0x2; break;
1207 case ARM_AM::asr: SBits = 0x4; break;
1208 case ARM_AM::ror: SBits = 0x6; break;
1209 }
1210
1211 Binary |= SBits << 4;
1212 if (SOpc == ARM_AM::rrx)
1213 return Binary;
1214
1215 // Encode shift_imm bit[11:7].
1216 return Binary | ARM_AM::getSORegOffset(MO1.getImm()) << 7;
1217}
1218
1219unsigned ARMMCCodeEmitter::
Jim Grosbach806e80e2010-11-03 23:52:49 +00001220getBitfieldInvertedMaskOpValue(const MCInst &MI, unsigned Op,
1221 SmallVectorImpl<MCFixup> &Fixups) const {
Jim Grosbach3fea191052010-10-21 22:03:21 +00001222 // 10 bits. lower 5 bits are are the lsb of the mask, high five bits are the
1223 // msb of the mask.
1224 const MCOperand &MO = MI.getOperand(Op);
1225 uint32_t v = ~MO.getImm();
1226 uint32_t lsb = CountTrailingZeros_32(v);
1227 uint32_t msb = (32 - CountLeadingZeros_32 (v)) - 1;
1228 assert (v != 0 && lsb < 32 && msb < 32 && "Illegal bitfield mask!");
1229 return lsb | (msb << 5);
1230}
1231
Jim Grosbach806e80e2010-11-03 23:52:49 +00001232unsigned ARMMCCodeEmitter::
Bruno Cardoso Lopesa461d422011-01-18 20:45:56 +00001233getMsbOpValue(const MCInst &MI, unsigned Op,
1234 SmallVectorImpl<MCFixup> &Fixups) const {
1235 // MSB - 5 bits.
1236 uint32_t lsb = MI.getOperand(Op-1).getImm();
1237 uint32_t width = MI.getOperand(Op).getImm();
1238 uint32_t msb = lsb+width-1;
1239 assert (width != 0 && msb < 32 && "Illegal bit width!");
1240 return msb;
1241}
1242
1243unsigned ARMMCCodeEmitter::
Jim Grosbach806e80e2010-11-03 23:52:49 +00001244getRegisterListOpValue(const MCInst &MI, unsigned Op,
Bill Wendling5e559a22010-11-09 00:30:18 +00001245 SmallVectorImpl<MCFixup> &Fixups) const {
Bill Wendling6bc105a2010-11-17 00:45:23 +00001246 // VLDM/VSTM:
1247 // {12-8} = Vd
1248 // {7-0} = Number of registers
1249 //
1250 // LDM/STM:
1251 // {15-0} = Bitfield of GPRs.
1252 unsigned Reg = MI.getOperand(Op).getReg();
Evan Chengbe740292011-07-23 00:00:19 +00001253 bool SPRRegs = llvm::ARMMCRegisterClasses[ARM::SPRRegClassID].contains(Reg);
1254 bool DPRRegs = llvm::ARMMCRegisterClasses[ARM::DPRRegClassID].contains(Reg);
Bill Wendling6bc105a2010-11-17 00:45:23 +00001255
Bill Wendling5e559a22010-11-09 00:30:18 +00001256 unsigned Binary = 0;
Bill Wendling6bc105a2010-11-17 00:45:23 +00001257
1258 if (SPRRegs || DPRRegs) {
1259 // VLDM/VSTM
1260 unsigned RegNo = getARMRegisterNumbering(Reg);
1261 unsigned NumRegs = (MI.getNumOperands() - Op) & 0xff;
1262 Binary |= (RegNo & 0x1f) << 8;
1263 if (SPRRegs)
1264 Binary |= NumRegs;
1265 else
1266 Binary |= NumRegs * 2;
1267 } else {
1268 for (unsigned I = Op, E = MI.getNumOperands(); I < E; ++I) {
1269 unsigned RegNo = getARMRegisterNumbering(MI.getOperand(I).getReg());
1270 Binary |= 1 << RegNo;
1271 }
Bill Wendling5e559a22010-11-09 00:30:18 +00001272 }
Bill Wendling6bc105a2010-11-17 00:45:23 +00001273
Jim Grosbach6b5252d2010-10-30 00:37:59 +00001274 return Binary;
1275}
1276
Bob Wilson8e0c7b52010-11-30 00:00:42 +00001277/// getAddrMode6AddressOpValue - Encode an addrmode6 register number along
1278/// with the alignment operand.
Jim Grosbach806e80e2010-11-03 23:52:49 +00001279unsigned ARMMCCodeEmitter::
1280getAddrMode6AddressOpValue(const MCInst &MI, unsigned Op,
1281 SmallVectorImpl<MCFixup> &Fixups) const {
Owen Andersond9aa7d32010-11-02 00:05:05 +00001282 const MCOperand &Reg = MI.getOperand(Op);
Bill Wendling0800ce72010-11-02 22:53:11 +00001283 const MCOperand &Imm = MI.getOperand(Op + 1);
Jim Grosbach35b2de02010-11-03 22:03:20 +00001284
Owen Andersond9aa7d32010-11-02 00:05:05 +00001285 unsigned RegNo = getARMRegisterNumbering(Reg.getReg());
Bill Wendling0800ce72010-11-02 22:53:11 +00001286 unsigned Align = 0;
1287
1288 switch (Imm.getImm()) {
1289 default: break;
1290 case 2:
1291 case 4:
1292 case 8: Align = 0x01; break;
1293 case 16: Align = 0x02; break;
1294 case 32: Align = 0x03; break;
Owen Andersond9aa7d32010-11-02 00:05:05 +00001295 }
Bill Wendling0800ce72010-11-02 22:53:11 +00001296
Owen Andersond9aa7d32010-11-02 00:05:05 +00001297 return RegNo | (Align << 4);
1298}
1299
Mon P Wang183c6272011-05-09 17:47:27 +00001300/// getAddrMode6OneLane32AddressOpValue - Encode an addrmode6 register number
1301/// along with the alignment operand for use in VST1 and VLD1 with size 32.
1302unsigned ARMMCCodeEmitter::
1303getAddrMode6OneLane32AddressOpValue(const MCInst &MI, unsigned Op,
1304 SmallVectorImpl<MCFixup> &Fixups) const {
1305 const MCOperand &Reg = MI.getOperand(Op);
1306 const MCOperand &Imm = MI.getOperand(Op + 1);
1307
1308 unsigned RegNo = getARMRegisterNumbering(Reg.getReg());
1309 unsigned Align = 0;
1310
1311 switch (Imm.getImm()) {
1312 default: break;
1313 case 2:
1314 case 4:
1315 case 8:
1316 case 16: Align = 0x00; break;
1317 case 32: Align = 0x03; break;
1318 }
1319
1320 return RegNo | (Align << 4);
1321}
1322
1323
Bob Wilson8e0c7b52010-11-30 00:00:42 +00001324/// getAddrMode6DupAddressOpValue - Encode an addrmode6 register number and
1325/// alignment operand for use in VLD-dup instructions. This is the same as
1326/// getAddrMode6AddressOpValue except for the alignment encoding, which is
1327/// different for VLD4-dup.
1328unsigned ARMMCCodeEmitter::
1329getAddrMode6DupAddressOpValue(const MCInst &MI, unsigned Op,
1330 SmallVectorImpl<MCFixup> &Fixups) const {
1331 const MCOperand &Reg = MI.getOperand(Op);
1332 const MCOperand &Imm = MI.getOperand(Op + 1);
1333
1334 unsigned RegNo = getARMRegisterNumbering(Reg.getReg());
1335 unsigned Align = 0;
1336
1337 switch (Imm.getImm()) {
1338 default: break;
1339 case 2:
1340 case 4:
1341 case 8: Align = 0x01; break;
1342 case 16: Align = 0x03; break;
1343 }
1344
1345 return RegNo | (Align << 4);
1346}
1347
Jim Grosbach806e80e2010-11-03 23:52:49 +00001348unsigned ARMMCCodeEmitter::
1349getAddrMode6OffsetOpValue(const MCInst &MI, unsigned Op,
1350 SmallVectorImpl<MCFixup> &Fixups) const {
Bill Wendling0800ce72010-11-02 22:53:11 +00001351 const MCOperand &MO = MI.getOperand(Op);
1352 if (MO.getReg() == 0) return 0x0D;
1353 return MO.getReg();
Owen Andersoncf667be2010-11-02 01:24:55 +00001354}
1355
Bill Wendlinga656b632011-03-01 01:00:59 +00001356unsigned ARMMCCodeEmitter::
Bill Wendling3116dce2011-03-07 23:38:41 +00001357getShiftRight8Imm(const MCInst &MI, unsigned Op,
1358 SmallVectorImpl<MCFixup> &Fixups) const {
Bill Wendlinga656b632011-03-01 01:00:59 +00001359 return 8 - MI.getOperand(Op).getImm();
1360}
1361
1362unsigned ARMMCCodeEmitter::
Bill Wendling3116dce2011-03-07 23:38:41 +00001363getShiftRight16Imm(const MCInst &MI, unsigned Op,
1364 SmallVectorImpl<MCFixup> &Fixups) const {
Bill Wendlinga656b632011-03-01 01:00:59 +00001365 return 16 - MI.getOperand(Op).getImm();
1366}
1367
1368unsigned ARMMCCodeEmitter::
Bill Wendling3116dce2011-03-07 23:38:41 +00001369getShiftRight32Imm(const MCInst &MI, unsigned Op,
1370 SmallVectorImpl<MCFixup> &Fixups) const {
Bill Wendlinga656b632011-03-01 01:00:59 +00001371 return 32 - MI.getOperand(Op).getImm();
1372}
1373
Bill Wendling3116dce2011-03-07 23:38:41 +00001374unsigned ARMMCCodeEmitter::
1375getShiftRight64Imm(const MCInst &MI, unsigned Op,
1376 SmallVectorImpl<MCFixup> &Fixups) const {
1377 return 64 - MI.getOperand(Op).getImm();
1378}
1379
Jim Grosbach568eeed2010-09-17 18:46:17 +00001380void ARMMCCodeEmitter::
1381EncodeInstruction(const MCInst &MI, raw_ostream &OS,
Jim Grosbach806e80e2010-11-03 23:52:49 +00001382 SmallVectorImpl<MCFixup> &Fixups) const {
Jim Grosbachd6d4b422010-10-07 22:12:50 +00001383 // Pseudo instructions don't get encoded.
Evan Cheng59ee62d2011-07-11 03:57:24 +00001384 const MCInstrDesc &Desc = MCII.get(MI.getOpcode());
Jim Grosbache50e6bc2010-11-11 23:41:09 +00001385 uint64_t TSFlags = Desc.TSFlags;
1386 if ((TSFlags & ARMII::FormMask) == ARMII::Pseudo)
Jim Grosbachd6d4b422010-10-07 22:12:50 +00001387 return;
Owen Anderson16884412011-07-13 23:22:26 +00001388
Jim Grosbache50e6bc2010-11-11 23:41:09 +00001389 int Size;
Owen Anderson16884412011-07-13 23:22:26 +00001390 if (Desc.getSize() == 2 || Desc.getSize() == 4)
1391 Size = Desc.getSize();
1392 else
1393 llvm_unreachable("Unexpected instruction size!");
Owen Anderson10096db2011-08-30 21:58:18 +00001394
Jim Grosbachd91f4e42010-12-03 22:31:40 +00001395 uint32_t Binary = getBinaryCodeForInstr(MI, Fixups);
Evan Cheng75972122011-01-13 07:58:56 +00001396 // Thumb 32-bit wide instructions need to emit the high order halfword
1397 // first.
Evan Cheng59ee62d2011-07-11 03:57:24 +00001398 if (isThumb() && Size == 4) {
Jim Grosbachd91f4e42010-12-03 22:31:40 +00001399 EmitConstant(Binary >> 16, 2, OS);
1400 EmitConstant(Binary & 0xffff, 2, OS);
1401 } else
1402 EmitConstant(Binary, Size, OS);
Bill Wendling7292e0a2010-11-02 22:44:12 +00001403 ++MCNumEmitted; // Keep track of the # of mi's emitted.
Jim Grosbach568eeed2010-09-17 18:46:17 +00001404}
Jim Grosbach9af82ba2010-10-07 21:57:55 +00001405
Jim Grosbach806e80e2010-11-03 23:52:49 +00001406#include "ARMGenMCCodeEmitter.inc"