blob: 7a3cb1e25959af26a65fa4be789d0856adbad7fa [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"
Chandler Carruthed0881b2012-12-03 16:50:05 +000015#include "MCTargetDesc/ARMMCTargetDesc.h"
Evan Chenga20cde32011-07-20 23:34:39 +000016#include "MCTargetDesc/ARMAddressingModes.h"
Evan Chengad5f4852011-07-23 00:00:19 +000017#include "MCTargetDesc/ARMBaseInfo.h"
18#include "MCTargetDesc/ARMFixupKinds.h"
Evan Chenga20cde32011-07-20 23:34:39 +000019#include "MCTargetDesc/ARMMCExpr.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000020#include "llvm/ADT/APFloat.h"
21#include "llvm/ADT/Statistic.h"
Jim Grosbach1287f4f2010-09-17 18:46:17 +000022#include "llvm/MC/MCCodeEmitter.h"
Eric Christopher6ac277c2012-08-09 22:10:21 +000023#include "llvm/MC/MCContext.h"
Jim Grosbach1287f4f2010-09-17 18:46:17 +000024#include "llvm/MC/MCExpr.h"
25#include "llvm/MC/MCInst.h"
Evan Chengc5e6d2f2011-07-11 03:57:24 +000026#include "llvm/MC/MCInstrInfo.h"
Evan Chengad5f4852011-07-23 00:00:19 +000027#include "llvm/MC/MCRegisterInfo.h"
Evan Chengc5e6d2f2011-07-11 03:57:24 +000028#include "llvm/MC/MCSubtargetInfo.h"
Saleem Abdulrasool2d48ede2014-01-11 23:03:48 +000029#include "llvm/Support/ErrorHandling.h"
Jim Grosbach1287f4f2010-09-17 18:46:17 +000030#include "llvm/Support/raw_ostream.h"
Evan Chengc5e6d2f2011-07-11 03:57:24 +000031
Jim Grosbach1287f4f2010-09-17 18:46:17 +000032using namespace llvm;
33
Jim Grosbach0fb841f2010-11-04 01:12:30 +000034STATISTIC(MCNumEmitted, "Number of MC instructions emitted.");
35STATISTIC(MCNumCPRelocations, "Number of constant pool relocations created.");
Jim Grosbach91029092010-10-07 22:12:50 +000036
Jim Grosbach1287f4f2010-09-17 18:46:17 +000037namespace {
38class ARMMCCodeEmitter : public MCCodeEmitter {
Craig Toppera60c0f12012-09-15 17:09:36 +000039 ARMMCCodeEmitter(const ARMMCCodeEmitter &) LLVM_DELETED_FUNCTION;
40 void operator=(const ARMMCCodeEmitter &) LLVM_DELETED_FUNCTION;
Evan Chengc5e6d2f2011-07-11 03:57:24 +000041 const MCInstrInfo &MCII;
42 const MCSubtargetInfo &STI;
Eric Christopher6ac277c2012-08-09 22:10:21 +000043 const MCContext &CTX;
Jim Grosbach1287f4f2010-09-17 18:46:17 +000044
45public:
Evan Chengc5e6d2f2011-07-11 03:57:24 +000046 ARMMCCodeEmitter(const MCInstrInfo &mcii, const MCSubtargetInfo &sti,
47 MCContext &ctx)
Eric Christopher6ac277c2012-08-09 22:10:21 +000048 : MCII(mcii), STI(sti), CTX(ctx) {
Jim Grosbach1287f4f2010-09-17 18:46:17 +000049 }
50
51 ~ARMMCCodeEmitter() {}
52
Evan Chengc5e6d2f2011-07-11 03:57:24 +000053 bool isThumb() const {
54 // FIXME: Can tablegen auto-generate this?
55 return (STI.getFeatureBits() & ARM::ModeThumb) != 0;
56 }
57 bool isThumb2() const {
58 return isThumb() && (STI.getFeatureBits() & ARM::FeatureThumb2) != 0;
59 }
Tim Northoverd6a729b2014-01-06 14:28:05 +000060 bool isTargetMachO() const {
Evan Chengc5e6d2f2011-07-11 03:57:24 +000061 Triple TT(STI.getTargetTriple());
Tim Northoverd6a729b2014-01-06 14:28:05 +000062 return TT.isOSBinFormatMachO();
Evan Chengc5e6d2f2011-07-11 03:57:24 +000063 }
64
Jim Grosbach6fead932010-10-12 17:11:26 +000065 unsigned getMachineSoImmOpValue(unsigned SoImm) const;
66
Jim Grosbach8aed3862010-10-07 21:57:55 +000067 // getBinaryCodeForInstr - TableGen'erated function for getting the
68 // binary encoding for an instruction.
Owen Andersond845d9d2012-01-24 18:37:29 +000069 uint64_t getBinaryCodeForInstr(const MCInst &MI,
Jim Grosbach2eed7a12010-11-03 23:52:49 +000070 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbach8aed3862010-10-07 21:57:55 +000071
72 /// getMachineOpValue - Return binary encoding of operand. If the machine
73 /// operand requires relocation, record the relocation and return zero.
Jim Grosbach2eed7a12010-11-03 23:52:49 +000074 unsigned getMachineOpValue(const MCInst &MI,const MCOperand &MO,
75 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbach8aed3862010-10-07 21:57:55 +000076
Evan Cheng965b3c72011-01-13 07:58:56 +000077 /// getHiLo16ImmOpValue - Return the encoding for the hi / low 16-bit of
Owen Anderson4ebf4712011-02-08 22:39:40 +000078 /// the specified operand. This is used for operands with :lower16: and
Evan Cheng965b3c72011-01-13 07:58:56 +000079 /// :upper16: prefixes.
80 uint32_t getHiLo16ImmOpValue(const MCInst &MI, unsigned OpIdx,
81 SmallVectorImpl<MCFixup> &Fixups) const;
Jason W Kim5a97bd82010-11-18 23:37:15 +000082
Bill Wendlinge84eb992010-11-03 01:49:29 +000083 bool EncodeAddrModeOpValues(const MCInst &MI, unsigned OpIdx,
Jim Grosbach2eed7a12010-11-03 23:52:49 +000084 unsigned &Reg, unsigned &Imm,
85 SmallVectorImpl<MCFixup> &Fixups) const;
Bill Wendlinge84eb992010-11-03 01:49:29 +000086
Jim Grosbach9e199462010-12-06 23:57:07 +000087 /// getThumbBLTargetOpValue - Return encoding info for Thumb immediate
Bill Wendling3392bfc2010-12-09 00:39:08 +000088 /// BL branch target.
Jim Grosbach9e199462010-12-06 23:57:07 +000089 uint32_t getThumbBLTargetOpValue(const MCInst &MI, unsigned OpIdx,
90 SmallVectorImpl<MCFixup> &Fixups) const;
91
Bill Wendling3392bfc2010-12-09 00:39:08 +000092 /// getThumbBLXTargetOpValue - Return encoding info for Thumb immediate
93 /// BLX branch target.
94 uint32_t getThumbBLXTargetOpValue(const MCInst &MI, unsigned OpIdx,
95 SmallVectorImpl<MCFixup> &Fixups) const;
96
Jim Grosbache119da12010-12-10 18:21:33 +000097 /// getThumbBRTargetOpValue - Return encoding info for Thumb branch target.
98 uint32_t getThumbBRTargetOpValue(const MCInst &MI, unsigned OpIdx,
99 SmallVectorImpl<MCFixup> &Fixups) const;
100
Jim Grosbach78485ad2010-12-10 17:13:40 +0000101 /// getThumbBCCTargetOpValue - Return encoding info for Thumb branch target.
102 uint32_t getThumbBCCTargetOpValue(const MCInst &MI, unsigned OpIdx,
103 SmallVectorImpl<MCFixup> &Fixups) const;
104
Jim Grosbach62b68112010-12-09 19:04:53 +0000105 /// getThumbCBTargetOpValue - Return encoding info for Thumb branch target.
106 uint32_t getThumbCBTargetOpValue(const MCInst &MI, unsigned OpIdx,
Bill Wendlinga7d6aa92010-12-08 23:01:43 +0000107 SmallVectorImpl<MCFixup> &Fixups) const;
108
Jim Grosbach9d6d77a2010-11-11 18:04:49 +0000109 /// getBranchTargetOpValue - Return encoding info for 24-bit immediate
110 /// branch target.
111 uint32_t getBranchTargetOpValue(const MCInst &MI, unsigned OpIdx,
112 SmallVectorImpl<MCFixup> &Fixups) const;
113
Owen Anderson578074b2010-12-13 19:31:11 +0000114 /// getUnconditionalBranchTargetOpValue - Return encoding info for 24-bit
115 /// immediate Thumb2 direct branch target.
116 uint32_t getUnconditionalBranchTargetOpValue(const MCInst &MI, unsigned OpIdx,
117 SmallVectorImpl<MCFixup> &Fixups) const;
Owen Anderson1732c2e2011-08-30 21:58:18 +0000118
Jason W Kimd2e2f562011-02-04 19:47:15 +0000119 /// getARMBranchTargetOpValue - Return encoding info for 24-bit immediate
120 /// branch target.
121 uint32_t getARMBranchTargetOpValue(const MCInst &MI, unsigned OpIdx,
122 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbach7b811d32012-02-27 21:36:23 +0000123 uint32_t getARMBLTargetOpValue(const MCInst &MI, unsigned OpIdx,
124 SmallVectorImpl<MCFixup> &Fixups) const;
Owen Andersonb205c022011-08-26 23:32:08 +0000125 uint32_t getARMBLXTargetOpValue(const MCInst &MI, unsigned OpIdx,
Jim Grosbach7b811d32012-02-27 21:36:23 +0000126 SmallVectorImpl<MCFixup> &Fixups) const;
Owen Anderson578074b2010-12-13 19:31:11 +0000127
Jim Grosbachdc35e062010-12-01 19:47:31 +0000128 /// getAdrLabelOpValue - Return encoding info for 12-bit immediate
129 /// ADR label target.
130 uint32_t getAdrLabelOpValue(const MCInst &MI, unsigned OpIdx,
131 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbach509dc2a2010-12-14 22:28:03 +0000132 uint32_t getThumbAdrLabelOpValue(const MCInst &MI, unsigned OpIdx,
133 SmallVectorImpl<MCFixup> &Fixups) const;
Owen Anderson6d375e52010-12-14 00:36:49 +0000134 uint32_t getT2AdrLabelOpValue(const MCInst &MI, unsigned OpIdx,
135 SmallVectorImpl<MCFixup> &Fixups) const;
Owen Anderson4ebf4712011-02-08 22:39:40 +0000136
Jim Grosbachdc35e062010-12-01 19:47:31 +0000137
Bill Wendlinge84eb992010-11-03 01:49:29 +0000138 /// getAddrModeImm12OpValue - Return encoding info for 'reg +/- imm12'
139 /// operand.
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000140 uint32_t getAddrModeImm12OpValue(const MCInst &MI, unsigned OpIdx,
141 SmallVectorImpl<MCFixup> &Fixups) const;
Bill Wendlinge84eb992010-11-03 01:49:29 +0000142
Bill Wendling092a7bd2010-12-14 03:36:38 +0000143 /// getThumbAddrModeRegRegOpValue - Return encoding for 'reg + reg' operand.
144 uint32_t getThumbAddrModeRegRegOpValue(const MCInst &MI, unsigned OpIdx,
145 SmallVectorImpl<MCFixup> &Fixups)const;
Owen Andersonb0fa1272010-12-10 22:11:13 +0000146
Owen Anderson943fb602010-12-01 19:18:46 +0000147 /// getT2AddrModeImm8s4OpValue - Return encoding info for 'reg +/- imm8<<2'
148 /// operand.
149 uint32_t getT2AddrModeImm8s4OpValue(const MCInst &MI, unsigned OpIdx,
150 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbacha05627e2011-09-09 18:37:27 +0000151
152 /// getT2AddrModeImm0_1020s4OpValue - Return encoding info for 'reg + imm8<<2'
153 /// operand.
154 uint32_t getT2AddrModeImm0_1020s4OpValue(const MCInst &MI, unsigned OpIdx,
155 SmallVectorImpl<MCFixup> &Fixups) const;
156
Jim Grosbach7db8d692011-09-08 22:07:06 +0000157 /// getT2Imm8s4OpValue - Return encoding info for '+/- imm8<<2'
158 /// operand.
159 uint32_t getT2Imm8s4OpValue(const MCInst &MI, unsigned OpIdx,
160 SmallVectorImpl<MCFixup> &Fixups) const;
Owen Anderson943fb602010-12-01 19:18:46 +0000161
162
Jim Grosbachdbfb5ed2010-11-09 17:20:53 +0000163 /// getLdStSORegOpValue - Return encoding info for 'reg +/- reg shop imm'
164 /// operand as needed by load/store instructions.
165 uint32_t getLdStSORegOpValue(const MCInst &MI, unsigned OpIdx,
166 SmallVectorImpl<MCFixup> &Fixups) const;
167
Jim Grosbachcc4a4912010-11-10 23:38:36 +0000168 /// getLdStmModeOpValue - Return encoding for load/store multiple mode.
169 uint32_t getLdStmModeOpValue(const MCInst &MI, unsigned OpIdx,
170 SmallVectorImpl<MCFixup> &Fixups) const {
171 ARM_AM::AMSubMode Mode = (ARM_AM::AMSubMode)MI.getOperand(OpIdx).getImm();
172 switch (Mode) {
Craig Toppere55c5562012-02-07 02:50:20 +0000173 default: llvm_unreachable("Unknown addressing sub-mode!");
Jim Grosbachcc4a4912010-11-10 23:38:36 +0000174 case ARM_AM::da: return 0;
175 case ARM_AM::ia: return 1;
176 case ARM_AM::db: return 2;
177 case ARM_AM::ib: return 3;
178 }
179 }
Jim Grosbach38b469e2010-11-15 20:47:07 +0000180 /// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
181 ///
182 unsigned getShiftOp(ARM_AM::ShiftOpc ShOpc) const {
183 switch (ShOpc) {
Jim Grosbach38b469e2010-11-15 20:47:07 +0000184 case ARM_AM::no_shift:
185 case ARM_AM::lsl: return 0;
186 case ARM_AM::lsr: return 1;
187 case ARM_AM::asr: return 2;
188 case ARM_AM::ror:
189 case ARM_AM::rrx: return 3;
190 }
David Blaikie46a9f012012-01-20 21:51:11 +0000191 llvm_unreachable("Invalid ShiftOpc!");
Jim Grosbach38b469e2010-11-15 20:47:07 +0000192 }
193
194 /// getAddrMode2OpValue - Return encoding for addrmode2 operands.
195 uint32_t getAddrMode2OpValue(const MCInst &MI, unsigned OpIdx,
196 SmallVectorImpl<MCFixup> &Fixups) const;
197
198 /// getAddrMode2OffsetOpValue - Return encoding for am2offset operands.
199 uint32_t getAddrMode2OffsetOpValue(const MCInst &MI, unsigned OpIdx,
200 SmallVectorImpl<MCFixup> &Fixups) const;
201
Jim Grosbachd3595712011-08-03 23:50:40 +0000202 /// getPostIdxRegOpValue - Return encoding for postidx_reg operands.
203 uint32_t getPostIdxRegOpValue(const MCInst &MI, unsigned OpIdx,
204 SmallVectorImpl<MCFixup> &Fixups) const;
205
Jim Grosbach68685e62010-11-11 16:55:29 +0000206 /// getAddrMode3OffsetOpValue - Return encoding for am3offset operands.
207 uint32_t getAddrMode3OffsetOpValue(const MCInst &MI, unsigned OpIdx,
208 SmallVectorImpl<MCFixup> &Fixups) const;
209
Jim Grosbach607efcb2010-11-11 01:09:40 +0000210 /// getAddrMode3OpValue - Return encoding for addrmode3 operands.
211 uint32_t getAddrMode3OpValue(const MCInst &MI, unsigned OpIdx,
212 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbachcc4a4912010-11-10 23:38:36 +0000213
Jim Grosbach49bcd6f2010-12-07 21:50:47 +0000214 /// getAddrModeThumbSPOpValue - Return encoding info for 'reg +/- imm12'
215 /// operand.
216 uint32_t getAddrModeThumbSPOpValue(const MCInst &MI, unsigned OpIdx,
217 SmallVectorImpl<MCFixup> &Fixups) const;
218
Bill Wendling092a7bd2010-12-14 03:36:38 +0000219 /// getAddrModeISOpValue - Encode the t_addrmode_is# operands.
220 uint32_t getAddrModeISOpValue(const MCInst &MI, unsigned OpIdx,
Bill Wendling03e75762010-12-15 08:51:02 +0000221 SmallVectorImpl<MCFixup> &Fixups) const;
Bill Wendlinga9e3df72010-11-30 22:57:21 +0000222
Bill Wendling8a6449c2010-12-08 01:57:09 +0000223 /// getAddrModePCOpValue - Return encoding for t_addrmode_pc operands.
224 uint32_t getAddrModePCOpValue(const MCInst &MI, unsigned OpIdx,
225 SmallVectorImpl<MCFixup> &Fixups) const;
226
Bill Wendlinge84eb992010-11-03 01:49:29 +0000227 /// getAddrMode5OpValue - Return encoding info for 'reg +/- imm8' operand.
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000228 uint32_t getAddrMode5OpValue(const MCInst &MI, unsigned OpIdx,
229 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbach1e4d9a12010-10-26 22:37:02 +0000230
Jim Grosbachd9d31da2010-10-12 23:00:24 +0000231 /// getCCOutOpValue - Return encoding of the 's' bit.
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000232 unsigned getCCOutOpValue(const MCInst &MI, unsigned Op,
233 SmallVectorImpl<MCFixup> &Fixups) const {
Jim Grosbachd9d31da2010-10-12 23:00:24 +0000234 // The operand is either reg0 or CPSR. The 's' bit is encoded as '0' or
235 // '1' respectively.
236 return MI.getOperand(Op).getReg() == ARM::CPSR;
237 }
Jim Grosbachefd53692010-10-12 23:53:58 +0000238
Jim Grosbach12e493a2010-10-12 23:18:08 +0000239 /// getSOImmOpValue - Return an encoded 12-bit shifted-immediate value.
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000240 unsigned getSOImmOpValue(const MCInst &MI, unsigned Op,
241 SmallVectorImpl<MCFixup> &Fixups) const {
Jim Grosbach12e493a2010-10-12 23:18:08 +0000242 unsigned SoImm = MI.getOperand(Op).getImm();
243 int SoImmVal = ARM_AM::getSOImmVal(SoImm);
244 assert(SoImmVal != -1 && "Not a valid so_imm value!");
245
246 // Encode rotate_imm.
247 unsigned Binary = (ARM_AM::getSOImmValRot((unsigned)SoImmVal) >> 1)
248 << ARMII::SoRotImmShift;
249
250 // Encode immed_8.
251 Binary |= ARM_AM::getSOImmValImm((unsigned)SoImmVal);
252 return Binary;
253 }
Jim Grosbachc4a0c292010-12-10 21:57:34 +0000254
Owen Anderson8fdd1722010-11-12 21:12:40 +0000255 /// getT2SOImmOpValue - Return an encoded 12-bit shifted-immediate value.
256 unsigned getT2SOImmOpValue(const MCInst &MI, unsigned Op,
257 SmallVectorImpl<MCFixup> &Fixups) const {
258 unsigned SoImm = MI.getOperand(Op).getImm();
259 unsigned Encoded = ARM_AM::getT2SOImmVal(SoImm);
260 assert(Encoded != ~0U && "Not a Thumb2 so_imm value?");
261 return Encoded;
262 }
Jim Grosbachd9d31da2010-10-12 23:00:24 +0000263
Owen Anderson50d662b2010-11-29 22:44:32 +0000264 unsigned getT2AddrModeSORegOpValue(const MCInst &MI, unsigned OpNum,
265 SmallVectorImpl<MCFixup> &Fixups) const;
266 unsigned getT2AddrModeImm8OpValue(const MCInst &MI, unsigned OpNum,
267 SmallVectorImpl<MCFixup> &Fixups) const;
Owen Andersone22c7322010-11-30 00:14:31 +0000268 unsigned getT2AddrModeImm8OffsetOpValue(const MCInst &MI, unsigned OpNum,
269 SmallVectorImpl<MCFixup> &Fixups) const;
Owen Anderson299382e2010-11-30 19:19:31 +0000270 unsigned getT2AddrModeImm12OffsetOpValue(const MCInst &MI, unsigned OpNum,
271 SmallVectorImpl<MCFixup> &Fixups) const;
Owen Anderson50d662b2010-11-29 22:44:32 +0000272
Jim Grosbachefd53692010-10-12 23:53:58 +0000273 /// getSORegOpValue - Return an encoded so_reg shifted register value.
Owen Anderson04912702011-07-21 23:38:37 +0000274 unsigned getSORegRegOpValue(const MCInst &MI, unsigned Op,
275 SmallVectorImpl<MCFixup> &Fixups) const;
276 unsigned getSORegImmOpValue(const MCInst &MI, unsigned Op,
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000277 SmallVectorImpl<MCFixup> &Fixups) const;
Owen Anderson8fdd1722010-11-12 21:12:40 +0000278 unsigned getT2SORegOpValue(const MCInst &MI, unsigned Op,
279 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbachefd53692010-10-12 23:53:58 +0000280
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000281 unsigned getNEONVcvtImm32OpValue(const MCInst &MI, unsigned Op,
282 SmallVectorImpl<MCFixup> &Fixups) const {
Owen Andersonfadb9512010-10-27 22:49:00 +0000283 return 64 - MI.getOperand(Op).getImm();
284 }
Jim Grosbach68a335e2010-10-15 17:15:16 +0000285
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000286 unsigned getBitfieldInvertedMaskOpValue(const MCInst &MI, unsigned Op,
287 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbach5edb03e2010-10-21 22:03:21 +0000288
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000289 unsigned getRegisterListOpValue(const MCInst &MI, unsigned Op,
290 SmallVectorImpl<MCFixup> &Fixups) const;
291 unsigned getAddrMode6AddressOpValue(const MCInst &MI, unsigned Op,
292 SmallVectorImpl<MCFixup> &Fixups) const;
Mon P Wang92ff16b2011-05-09 17:47:27 +0000293 unsigned getAddrMode6OneLane32AddressOpValue(const MCInst &MI, unsigned Op,
294 SmallVectorImpl<MCFixup> &Fixups) const;
Bob Wilson318ce7c2010-11-30 00:00:42 +0000295 unsigned getAddrMode6DupAddressOpValue(const MCInst &MI, unsigned Op,
296 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000297 unsigned getAddrMode6OffsetOpValue(const MCInst &MI, unsigned Op,
298 SmallVectorImpl<MCFixup> &Fixups) const;
Jim Grosbach74ef9e12010-10-30 00:37:59 +0000299
Bill Wendling77ad1dc2011-03-07 23:38:41 +0000300 unsigned getShiftRight8Imm(const MCInst &MI, unsigned Op,
301 SmallVectorImpl<MCFixup> &Fixups) const;
302 unsigned getShiftRight16Imm(const MCInst &MI, unsigned Op,
303 SmallVectorImpl<MCFixup> &Fixups) const;
304 unsigned getShiftRight32Imm(const MCInst &MI, unsigned Op,
305 SmallVectorImpl<MCFixup> &Fixups) const;
306 unsigned getShiftRight64Imm(const MCInst &MI, unsigned Op,
307 SmallVectorImpl<MCFixup> &Fixups) const;
Bill Wendling3b1459b2011-03-01 01:00:59 +0000308
Owen Andersonc4030382011-08-08 20:42:17 +0000309 unsigned getThumbSRImmOpValue(const MCInst &MI, unsigned Op,
310 SmallVectorImpl<MCFixup> &Fixups) const;
311
Owen Anderson7ffe3b32010-11-11 19:07:48 +0000312 unsigned NEONThumb2DataIPostEncoder(const MCInst &MI,
313 unsigned EncodedValue) const;
Owen Anderson99a8cb42010-11-11 21:36:43 +0000314 unsigned NEONThumb2LoadStorePostEncoder(const MCInst &MI,
Bill Wendling87240d42010-12-01 21:54:50 +0000315 unsigned EncodedValue) const;
Owen Andersonce2250f2010-11-11 23:12:55 +0000316 unsigned NEONThumb2DupPostEncoder(const MCInst &MI,
Bill Wendling87240d42010-12-01 21:54:50 +0000317 unsigned EncodedValue) const;
Joey Goulydf686002013-07-17 13:59:38 +0000318 unsigned NEONThumb2V8PostEncoder(const MCInst &MI,
319 unsigned EncodedValue) const;
Bill Wendling87240d42010-12-01 21:54:50 +0000320
321 unsigned VFPThumb2PostEncoder(const MCInst &MI,
322 unsigned EncodedValue) const;
Owen Anderson7ffe3b32010-11-11 19:07:48 +0000323
Jim Grosbach0fb841f2010-11-04 01:12:30 +0000324 void EmitByte(unsigned char C, raw_ostream &OS) const {
Jim Grosbach1287f4f2010-09-17 18:46:17 +0000325 OS << (char)C;
Jim Grosbach1287f4f2010-09-17 18:46:17 +0000326 }
327
Jim Grosbach0fb841f2010-11-04 01:12:30 +0000328 void EmitConstant(uint64_t Val, unsigned Size, raw_ostream &OS) const {
Jim Grosbach1287f4f2010-09-17 18:46:17 +0000329 // Output the constant in little endian byte order.
330 for (unsigned i = 0; i != Size; ++i) {
Jim Grosbach0fb841f2010-11-04 01:12:30 +0000331 EmitByte(Val & 255, OS);
Jim Grosbach1287f4f2010-09-17 18:46:17 +0000332 Val >>= 8;
333 }
334 }
335
Jim Grosbach1287f4f2010-09-17 18:46:17 +0000336 void EncodeInstruction(const MCInst &MI, raw_ostream &OS,
David Woodhouse9784cef2014-01-28 23:13:07 +0000337 SmallVectorImpl<MCFixup> &Fixups,
338 const MCSubtargetInfo &STI) const;
Jim Grosbach1287f4f2010-09-17 18:46:17 +0000339};
340
341} // end anonymous namespace
342
Evan Chengc5e6d2f2011-07-11 03:57:24 +0000343MCCodeEmitter *llvm::createARMMCCodeEmitter(const MCInstrInfo &MCII,
Jim Grosbachc3b04272012-05-15 17:35:52 +0000344 const MCRegisterInfo &MRI,
Evan Chengc5e6d2f2011-07-11 03:57:24 +0000345 const MCSubtargetInfo &STI,
Bill Wendlingf9eebb52010-11-02 22:53:11 +0000346 MCContext &Ctx) {
Evan Chengc5e6d2f2011-07-11 03:57:24 +0000347 return new ARMMCCodeEmitter(MCII, STI, Ctx);
Jim Grosbach1287f4f2010-09-17 18:46:17 +0000348}
349
Jim Grosbachc4a0c292010-12-10 21:57:34 +0000350/// NEONThumb2DataIPostEncoder - Post-process encoded NEON data-processing
351/// instructions, and rewrite them to their Thumb2 form if we are currently in
Owen Anderson7ffe3b32010-11-11 19:07:48 +0000352/// Thumb2 mode.
353unsigned ARMMCCodeEmitter::NEONThumb2DataIPostEncoder(const MCInst &MI,
354 unsigned EncodedValue) const {
Evan Chengc5e6d2f2011-07-11 03:57:24 +0000355 if (isThumb2()) {
Jim Grosbachc4a0c292010-12-10 21:57:34 +0000356 // NEON Thumb2 data-processsing encodings are very simple: bit 24 is moved
Owen Anderson7ffe3b32010-11-11 19:07:48 +0000357 // to bit 12 of the high half-word (i.e. bit 28), and bits 27-24 are
358 // set to 1111.
359 unsigned Bit24 = EncodedValue & 0x01000000;
360 unsigned Bit28 = Bit24 << 4;
361 EncodedValue &= 0xEFFFFFFF;
362 EncodedValue |= Bit28;
363 EncodedValue |= 0x0F000000;
364 }
Jim Grosbachc4a0c292010-12-10 21:57:34 +0000365
Owen Anderson7ffe3b32010-11-11 19:07:48 +0000366 return EncodedValue;
367}
368
Owen Anderson99a8cb42010-11-11 21:36:43 +0000369/// NEONThumb2LoadStorePostEncoder - Post-process encoded NEON load/store
Jim Grosbachc4a0c292010-12-10 21:57:34 +0000370/// instructions, and rewrite them to their Thumb2 form if we are currently in
Owen Anderson99a8cb42010-11-11 21:36:43 +0000371/// Thumb2 mode.
372unsigned ARMMCCodeEmitter::NEONThumb2LoadStorePostEncoder(const MCInst &MI,
373 unsigned EncodedValue) const {
Evan Chengc5e6d2f2011-07-11 03:57:24 +0000374 if (isThumb2()) {
Owen Anderson99a8cb42010-11-11 21:36:43 +0000375 EncodedValue &= 0xF0FFFFFF;
376 EncodedValue |= 0x09000000;
377 }
Jim Grosbachc4a0c292010-12-10 21:57:34 +0000378
Owen Anderson99a8cb42010-11-11 21:36:43 +0000379 return EncodedValue;
380}
381
Owen Andersonce2250f2010-11-11 23:12:55 +0000382/// NEONThumb2DupPostEncoder - Post-process encoded NEON vdup
Jim Grosbachc4a0c292010-12-10 21:57:34 +0000383/// instructions, and rewrite them to their Thumb2 form if we are currently in
Owen Andersonce2250f2010-11-11 23:12:55 +0000384/// Thumb2 mode.
385unsigned ARMMCCodeEmitter::NEONThumb2DupPostEncoder(const MCInst &MI,
386 unsigned EncodedValue) const {
Evan Chengc5e6d2f2011-07-11 03:57:24 +0000387 if (isThumb2()) {
Owen Andersonce2250f2010-11-11 23:12:55 +0000388 EncodedValue &= 0x00FFFFFF;
389 EncodedValue |= 0xEE000000;
390 }
Jim Grosbachc4a0c292010-12-10 21:57:34 +0000391
Owen Andersonce2250f2010-11-11 23:12:55 +0000392 return EncodedValue;
393}
394
Joey Goulydf686002013-07-17 13:59:38 +0000395/// Post-process encoded NEON v8 instructions, and rewrite them to Thumb2 form
396/// if we are in Thumb2.
397unsigned ARMMCCodeEmitter::NEONThumb2V8PostEncoder(const MCInst &MI,
398 unsigned EncodedValue) const {
399 if (isThumb2()) {
400 EncodedValue |= 0xC000000; // Set bits 27-26
401 }
402
403 return EncodedValue;
404}
405
Bill Wendling87240d42010-12-01 21:54:50 +0000406/// VFPThumb2PostEncoder - Post-process encoded VFP instructions and rewrite
407/// them to their Thumb2 form if we are currently in Thumb2 mode.
408unsigned ARMMCCodeEmitter::
409VFPThumb2PostEncoder(const MCInst &MI, unsigned EncodedValue) const {
Evan Chengc5e6d2f2011-07-11 03:57:24 +0000410 if (isThumb2()) {
Bill Wendling87240d42010-12-01 21:54:50 +0000411 EncodedValue &= 0x0FFFFFFF;
412 EncodedValue |= 0xE0000000;
413 }
414 return EncodedValue;
415}
Owen Anderson99a8cb42010-11-11 21:36:43 +0000416
Jim Grosbachc43c9302010-10-08 21:45:55 +0000417/// getMachineOpValue - Return binary encoding of operand. If the machine
418/// operand requires relocation, record the relocation and return zero.
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000419unsigned ARMMCCodeEmitter::
420getMachineOpValue(const MCInst &MI, const MCOperand &MO,
421 SmallVectorImpl<MCFixup> &Fixups) const {
Bill Wendling6f52f8a2010-10-14 02:33:26 +0000422 if (MO.isReg()) {
Bill Wendlingf9eebb52010-11-02 22:53:11 +0000423 unsigned Reg = MO.getReg();
Bill Wendlingbc07a892013-06-18 07:20:20 +0000424 unsigned RegNo = CTX.getRegisterInfo()->getEncodingValue(Reg);
Jim Grosbach96d82842010-10-29 23:21:03 +0000425
Jim Grosbachee48d2d2010-11-30 23:51:41 +0000426 // Q registers are encoded as 2x their register number.
Bill Wendlingf9eebb52010-11-02 22:53:11 +0000427 switch (Reg) {
428 default:
429 return RegNo;
430 case ARM::Q0: case ARM::Q1: case ARM::Q2: case ARM::Q3:
431 case ARM::Q4: case ARM::Q5: case ARM::Q6: case ARM::Q7:
432 case ARM::Q8: case ARM::Q9: case ARM::Q10: case ARM::Q11:
433 case ARM::Q12: case ARM::Q13: case ARM::Q14: case ARM::Q15:
434 return 2 * RegNo;
Owen Anderson2bfa8ed2010-10-21 20:49:13 +0000435 }
Bill Wendling6f52f8a2010-10-14 02:33:26 +0000436 } else if (MO.isImm()) {
Jim Grosbachc43c9302010-10-08 21:45:55 +0000437 return static_cast<unsigned>(MO.getImm());
Bill Wendling6f52f8a2010-10-14 02:33:26 +0000438 } else if (MO.isFPImm()) {
439 return static_cast<unsigned>(APFloat(MO.getFPImm())
440 .bitcastToAPInt().getHiBits(32).getLimitedValue());
Jim Grosbachc43c9302010-10-08 21:45:55 +0000441 }
Bill Wendlingf9eebb52010-11-02 22:53:11 +0000442
Jim Grosbach2aeb8b92010-11-19 00:27:09 +0000443 llvm_unreachable("Unable to encode MCOperand!");
Jim Grosbachc43c9302010-10-08 21:45:55 +0000444}
445
Bill Wendling603bd8f2010-11-02 22:31:46 +0000446/// getAddrModeImmOpValue - Return encoding info for 'reg +/- imm' operand.
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000447bool ARMMCCodeEmitter::
448EncodeAddrModeOpValues(const MCInst &MI, unsigned OpIdx, unsigned &Reg,
449 unsigned &Imm, SmallVectorImpl<MCFixup> &Fixups) const {
Jim Grosbach1e4d9a12010-10-26 22:37:02 +0000450 const MCOperand &MO = MI.getOperand(OpIdx);
451 const MCOperand &MO1 = MI.getOperand(OpIdx + 1);
Jim Grosbach2ba03aa2010-11-01 23:45:50 +0000452
Bill Wendlingbc07a892013-06-18 07:20:20 +0000453 Reg = CTX.getRegisterInfo()->getEncodingValue(MO.getReg());
Bill Wendlinge84eb992010-11-03 01:49:29 +0000454
455 int32_t SImm = MO1.getImm();
456 bool isAdd = true;
Bill Wendling603bd8f2010-11-02 22:31:46 +0000457
Jim Grosbach505607e2010-10-28 18:34:10 +0000458 // Special value for #-0
Owen Anderson967674d2011-08-29 19:36:44 +0000459 if (SImm == INT32_MIN) {
Bill Wendlinge84eb992010-11-03 01:49:29 +0000460 SImm = 0;
Owen Anderson967674d2011-08-29 19:36:44 +0000461 isAdd = false;
462 }
Bill Wendling603bd8f2010-11-02 22:31:46 +0000463
Jim Grosbach505607e2010-10-28 18:34:10 +0000464 // Immediate is always encoded as positive. The 'U' bit controls add vs sub.
Bill Wendlinge84eb992010-11-03 01:49:29 +0000465 if (SImm < 0) {
466 SImm = -SImm;
467 isAdd = false;
468 }
Bill Wendling603bd8f2010-11-02 22:31:46 +0000469
Bill Wendlinge84eb992010-11-03 01:49:29 +0000470 Imm = SImm;
471 return isAdd;
472}
473
Bill Wendlinga7d6aa92010-12-08 23:01:43 +0000474/// getBranchTargetOpValue - Helper function to get the branch target operand,
475/// which is either an immediate or requires a fixup.
476static uint32_t getBranchTargetOpValue(const MCInst &MI, unsigned OpIdx,
477 unsigned FixupKind,
478 SmallVectorImpl<MCFixup> &Fixups) {
479 const MCOperand &MO = MI.getOperand(OpIdx);
480
481 // If the destination is an immediate, we have nothing to do.
482 if (MO.isImm()) return MO.getImm();
483 assert(MO.isExpr() && "Unexpected branch target type!");
484 const MCExpr *Expr = MO.getExpr();
485 MCFixupKind Kind = MCFixupKind(FixupKind);
Jim Grosbach5e5eabb2012-01-26 23:20:15 +0000486 Fixups.push_back(MCFixup::Create(0, Expr, Kind, MI.getLoc()));
Bill Wendlinga7d6aa92010-12-08 23:01:43 +0000487
488 // All of the information is in the fixup.
489 return 0;
490}
491
Owen Anderson5c160fd2011-08-31 18:30:20 +0000492// Thumb BL and BLX use a strange offset encoding where bits 22 and 21 are
493// determined by negating them and XOR'ing them with bit 23.
494static int32_t encodeThumbBLOffset(int32_t offset) {
495 offset >>= 1;
496 uint32_t S = (offset & 0x800000) >> 23;
497 uint32_t J1 = (offset & 0x400000) >> 22;
498 uint32_t J2 = (offset & 0x200000) >> 21;
499 J1 = (~J1 & 0x1);
500 J2 = (~J2 & 0x1);
501 J1 ^= S;
502 J2 ^= S;
503
504 offset &= ~0x600000;
505 offset |= J1 << 22;
506 offset |= J2 << 21;
507
508 return offset;
509}
510
Bill Wendlinga7d6aa92010-12-08 23:01:43 +0000511/// getThumbBLTargetOpValue - Return encoding info for immediate branch target.
Jim Grosbach9e199462010-12-06 23:57:07 +0000512uint32_t ARMMCCodeEmitter::
513getThumbBLTargetOpValue(const MCInst &MI, unsigned OpIdx,
514 SmallVectorImpl<MCFixup> &Fixups) const {
Owen Anderson5c160fd2011-08-31 18:30:20 +0000515 const MCOperand MO = MI.getOperand(OpIdx);
516 if (MO.isExpr())
517 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_thumb_bl,
518 Fixups);
519 return encodeThumbBLOffset(MO.getImm());
Jim Grosbach9e199462010-12-06 23:57:07 +0000520}
521
Bill Wendling3392bfc2010-12-09 00:39:08 +0000522/// getThumbBLXTargetOpValue - Return encoding info for Thumb immediate
523/// BLX branch target.
524uint32_t ARMMCCodeEmitter::
525getThumbBLXTargetOpValue(const MCInst &MI, unsigned OpIdx,
526 SmallVectorImpl<MCFixup> &Fixups) const {
Owen Anderson5c160fd2011-08-31 18:30:20 +0000527 const MCOperand MO = MI.getOperand(OpIdx);
528 if (MO.isExpr())
529 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_thumb_blx,
530 Fixups);
531 return encodeThumbBLOffset(MO.getImm());
Bill Wendling3392bfc2010-12-09 00:39:08 +0000532}
533
Jim Grosbache119da12010-12-10 18:21:33 +0000534/// getThumbBRTargetOpValue - Return encoding info for Thumb branch target.
535uint32_t ARMMCCodeEmitter::
536getThumbBRTargetOpValue(const MCInst &MI, unsigned OpIdx,
537 SmallVectorImpl<MCFixup> &Fixups) const {
Owen Anderson543c89f2011-08-30 22:03:20 +0000538 const MCOperand MO = MI.getOperand(OpIdx);
539 if (MO.isExpr())
Owen Anderson5c160fd2011-08-31 18:30:20 +0000540 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_thumb_br,
541 Fixups);
Owen Anderson543c89f2011-08-30 22:03:20 +0000542 return (MO.getImm() >> 1);
Jim Grosbache119da12010-12-10 18:21:33 +0000543}
544
Jim Grosbach78485ad2010-12-10 17:13:40 +0000545/// getThumbBCCTargetOpValue - Return encoding info for Thumb branch target.
546uint32_t ARMMCCodeEmitter::
547getThumbBCCTargetOpValue(const MCInst &MI, unsigned OpIdx,
Jim Grosbache119da12010-12-10 18:21:33 +0000548 SmallVectorImpl<MCFixup> &Fixups) const {
Owen Andersona455a0b2011-08-31 20:26:14 +0000549 const MCOperand MO = MI.getOperand(OpIdx);
550 if (MO.isExpr())
551 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_thumb_bcc,
552 Fixups);
553 return (MO.getImm() >> 1);
Jim Grosbach78485ad2010-12-10 17:13:40 +0000554}
555
Jim Grosbach62b68112010-12-09 19:04:53 +0000556/// getThumbCBTargetOpValue - Return encoding info for Thumb branch target.
Bill Wendlinga7d6aa92010-12-08 23:01:43 +0000557uint32_t ARMMCCodeEmitter::
Jim Grosbach62b68112010-12-09 19:04:53 +0000558getThumbCBTargetOpValue(const MCInst &MI, unsigned OpIdx,
Bill Wendlinga7d6aa92010-12-08 23:01:43 +0000559 SmallVectorImpl<MCFixup> &Fixups) const {
Owen Andersonfdf3cd72011-08-30 22:15:17 +0000560 const MCOperand MO = MI.getOperand(OpIdx);
561 if (MO.isExpr())
562 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_thumb_cb, Fixups);
563 return (MO.getImm() >> 1);
Bill Wendlinga7d6aa92010-12-08 23:01:43 +0000564}
565
Jason W Kimd2e2f562011-02-04 19:47:15 +0000566/// Return true if this branch has a non-always predication
567static bool HasConditionalBranch(const MCInst &MI) {
568 int NumOp = MI.getNumOperands();
569 if (NumOp >= 2) {
570 for (int i = 0; i < NumOp-1; ++i) {
571 const MCOperand &MCOp1 = MI.getOperand(i);
572 const MCOperand &MCOp2 = MI.getOperand(i + 1);
Owen Anderson1732c2e2011-08-30 21:58:18 +0000573 if (MCOp1.isImm() && MCOp2.isReg() &&
Jason W Kimd2e2f562011-02-04 19:47:15 +0000574 (MCOp2.getReg() == 0 || MCOp2.getReg() == ARM::CPSR)) {
Owen Anderson1732c2e2011-08-30 21:58:18 +0000575 if (ARMCC::CondCodes(MCOp1.getImm()) != ARMCC::AL)
Jason W Kimd2e2f562011-02-04 19:47:15 +0000576 return true;
577 }
578 }
579 }
580 return false;
581}
582
Bill Wendlinga7d6aa92010-12-08 23:01:43 +0000583/// getBranchTargetOpValue - Return encoding info for 24-bit immediate branch
584/// target.
Jim Grosbach9d6d77a2010-11-11 18:04:49 +0000585uint32_t ARMMCCodeEmitter::
586getBranchTargetOpValue(const MCInst &MI, unsigned OpIdx,
Bill Wendlinga7d6aa92010-12-08 23:01:43 +0000587 SmallVectorImpl<MCFixup> &Fixups) const {
Jim Grosbachaecdd872010-12-10 23:41:10 +0000588 // FIXME: This really, really shouldn't use TargetMachine. We don't want
589 // coupling between MC and TM anywhere we can help it.
Evan Chengc5e6d2f2011-07-11 03:57:24 +0000590 if (isThumb2())
Owen Anderson578074b2010-12-13 19:31:11 +0000591 return
592 ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_t2_condbranch, Fixups);
Jason W Kimd2e2f562011-02-04 19:47:15 +0000593 return getARMBranchTargetOpValue(MI, OpIdx, Fixups);
Jim Grosbach9d6d77a2010-11-11 18:04:49 +0000594}
595
Jason W Kimd2e2f562011-02-04 19:47:15 +0000596/// getBranchTargetOpValue - Return encoding info for 24-bit immediate branch
597/// target.
598uint32_t ARMMCCodeEmitter::
599getARMBranchTargetOpValue(const MCInst &MI, unsigned OpIdx,
600 SmallVectorImpl<MCFixup> &Fixups) const {
Owen Anderson6c70e582011-08-26 22:54:51 +0000601 const MCOperand MO = MI.getOperand(OpIdx);
602 if (MO.isExpr()) {
Owen Anderson1732c2e2011-08-30 21:58:18 +0000603 if (HasConditionalBranch(MI))
Owen Anderson6c70e582011-08-26 22:54:51 +0000604 return ::getBranchTargetOpValue(MI, OpIdx,
605 ARM::fixup_arm_condbranch, Fixups);
Owen Anderson1732c2e2011-08-30 21:58:18 +0000606 return ::getBranchTargetOpValue(MI, OpIdx,
Owen Anderson6c70e582011-08-26 22:54:51 +0000607 ARM::fixup_arm_uncondbranch, Fixups);
608 }
609
610 return MO.getImm() >> 2;
Jason W Kimd2e2f562011-02-04 19:47:15 +0000611}
612
Owen Andersonb205c022011-08-26 23:32:08 +0000613uint32_t ARMMCCodeEmitter::
Jim Grosbach7b811d32012-02-27 21:36:23 +0000614getARMBLTargetOpValue(const MCInst &MI, unsigned OpIdx,
615 SmallVectorImpl<MCFixup> &Fixups) const {
616 const MCOperand MO = MI.getOperand(OpIdx);
James Molloyfb5cd602012-03-30 09:15:32 +0000617 if (MO.isExpr()) {
618 if (HasConditionalBranch(MI))
619 return ::getBranchTargetOpValue(MI, OpIdx,
620 ARM::fixup_arm_condbl, Fixups);
621 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_uncondbl, Fixups);
622 }
Jim Grosbach7b811d32012-02-27 21:36:23 +0000623
624 return MO.getImm() >> 2;
625}
626
627uint32_t ARMMCCodeEmitter::
Owen Andersonb205c022011-08-26 23:32:08 +0000628getARMBLXTargetOpValue(const MCInst &MI, unsigned OpIdx,
629 SmallVectorImpl<MCFixup> &Fixups) const {
630 const MCOperand MO = MI.getOperand(OpIdx);
Jim Grosbach7b811d32012-02-27 21:36:23 +0000631 if (MO.isExpr())
632 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_blx, Fixups);
Jason W Kimd2e2f562011-02-04 19:47:15 +0000633
Owen Andersonb205c022011-08-26 23:32:08 +0000634 return MO.getImm() >> 1;
635}
Jason W Kimd2e2f562011-02-04 19:47:15 +0000636
Owen Anderson578074b2010-12-13 19:31:11 +0000637/// getUnconditionalBranchTargetOpValue - Return encoding info for 24-bit
638/// immediate branch target.
639uint32_t ARMMCCodeEmitter::
640getUnconditionalBranchTargetOpValue(const MCInst &MI, unsigned OpIdx,
641 SmallVectorImpl<MCFixup> &Fixups) const {
Mihai Popaad18d3c2013-08-09 10:38:32 +0000642 unsigned Val = 0;
643 const MCOperand MO = MI.getOperand(OpIdx);
644
645 if(MO.isExpr())
Lang Hamesb5281662013-10-28 20:51:11 +0000646 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_t2_uncondbranch, Fixups);
Mihai Popaad18d3c2013-08-09 10:38:32 +0000647 else
648 Val = MO.getImm() >> 1;
649
Owen Anderson578074b2010-12-13 19:31:11 +0000650 bool I = (Val & 0x800000);
651 bool J1 = (Val & 0x400000);
652 bool J2 = (Val & 0x200000);
653 if (I ^ J1)
654 Val &= ~0x400000;
655 else
656 Val |= 0x400000;
Owen Anderson4ebf4712011-02-08 22:39:40 +0000657
Owen Anderson578074b2010-12-13 19:31:11 +0000658 if (I ^ J2)
659 Val &= ~0x200000;
660 else
661 Val |= 0x200000;
Owen Anderson4ebf4712011-02-08 22:39:40 +0000662
Owen Anderson578074b2010-12-13 19:31:11 +0000663 return Val;
664}
665
Jiangning Liu10dd40e2012-08-02 08:13:13 +0000666/// getAdrLabelOpValue - Return encoding info for 12-bit shifted-immediate
667/// ADR label target.
Jim Grosbachdc35e062010-12-01 19:47:31 +0000668uint32_t ARMMCCodeEmitter::
669getAdrLabelOpValue(const MCInst &MI, unsigned OpIdx,
670 SmallVectorImpl<MCFixup> &Fixups) const {
Owen Andersona01bcbf2011-08-26 18:09:22 +0000671 const MCOperand MO = MI.getOperand(OpIdx);
672 if (MO.isExpr())
673 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_adr_pcrel_12,
674 Fixups);
Mihai Popa0e1012f2013-08-13 14:02:13 +0000675 int64_t offset = MO.getImm();
Owen Andersona01bcbf2011-08-26 18:09:22 +0000676 uint32_t Val = 0x2000;
Jiangning Liu10dd40e2012-08-02 08:13:13 +0000677
Tim Northover29931ab2013-02-27 16:43:09 +0000678 int SoImmVal;
Jiangning Liu10dd40e2012-08-02 08:13:13 +0000679 if (offset == INT32_MIN) {
680 Val = 0x1000;
Tim Northover29931ab2013-02-27 16:43:09 +0000681 SoImmVal = 0;
Jiangning Liu10dd40e2012-08-02 08:13:13 +0000682 } else if (offset < 0) {
Owen Andersona01bcbf2011-08-26 18:09:22 +0000683 Val = 0x1000;
684 offset *= -1;
Tim Northover29931ab2013-02-27 16:43:09 +0000685 SoImmVal = ARM_AM::getSOImmVal(offset);
686 if(SoImmVal == -1) {
687 Val = 0x2000;
688 offset *= -1;
689 SoImmVal = ARM_AM::getSOImmVal(offset);
690 }
691 } else {
692 SoImmVal = ARM_AM::getSOImmVal(offset);
693 if(SoImmVal == -1) {
694 Val = 0x1000;
695 offset *= -1;
696 SoImmVal = ARM_AM::getSOImmVal(offset);
697 }
Owen Andersona01bcbf2011-08-26 18:09:22 +0000698 }
Jiangning Liu10dd40e2012-08-02 08:13:13 +0000699
Jiangning Liu10dd40e2012-08-02 08:13:13 +0000700 assert(SoImmVal != -1 && "Not a valid so_imm value!");
701
702 Val |= SoImmVal;
Owen Andersona01bcbf2011-08-26 18:09:22 +0000703 return Val;
Jim Grosbachdc35e062010-12-01 19:47:31 +0000704}
705
Jiangning Liu10dd40e2012-08-02 08:13:13 +0000706/// getT2AdrLabelOpValue - Return encoding info for 12-bit immediate ADR label
Owen Anderson6d375e52010-12-14 00:36:49 +0000707/// target.
708uint32_t ARMMCCodeEmitter::
709getT2AdrLabelOpValue(const MCInst &MI, unsigned OpIdx,
710 SmallVectorImpl<MCFixup> &Fixups) const {
Owen Andersona01bcbf2011-08-26 18:09:22 +0000711 const MCOperand MO = MI.getOperand(OpIdx);
712 if (MO.isExpr())
713 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_t2_adr_pcrel_12,
714 Fixups);
Owen Anderson5bfb0e02011-09-09 22:24:36 +0000715 int32_t Val = MO.getImm();
Jiangning Liu10dd40e2012-08-02 08:13:13 +0000716 if (Val == INT32_MIN)
717 Val = 0x1000;
718 else if (Val < 0) {
Owen Anderson5bfb0e02011-09-09 22:24:36 +0000719 Val *= -1;
720 Val |= 0x1000;
721 }
722 return Val;
Owen Anderson6d375e52010-12-14 00:36:49 +0000723}
724
Jiangning Liu10dd40e2012-08-02 08:13:13 +0000725/// getThumbAdrLabelOpValue - Return encoding info for 8-bit immediate ADR label
Jim Grosbach509dc2a2010-12-14 22:28:03 +0000726/// target.
727uint32_t ARMMCCodeEmitter::
728getThumbAdrLabelOpValue(const MCInst &MI, unsigned OpIdx,
729 SmallVectorImpl<MCFixup> &Fixups) const {
Owen Andersona01bcbf2011-08-26 18:09:22 +0000730 const MCOperand MO = MI.getOperand(OpIdx);
731 if (MO.isExpr())
732 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_thumb_adr_pcrel_10,
733 Fixups);
734 return MO.getImm();
Jim Grosbach509dc2a2010-12-14 22:28:03 +0000735}
736
Bill Wendling092a7bd2010-12-14 03:36:38 +0000737/// getThumbAddrModeRegRegOpValue - Return encoding info for 'reg + reg'
738/// operand.
Owen Andersonb0fa1272010-12-10 22:11:13 +0000739uint32_t ARMMCCodeEmitter::
Bill Wendling092a7bd2010-12-14 03:36:38 +0000740getThumbAddrModeRegRegOpValue(const MCInst &MI, unsigned OpIdx,
741 SmallVectorImpl<MCFixup> &) const {
742 // [Rn, Rm]
743 // {5-3} = Rm
744 // {2-0} = Rn
Owen Andersonb0fa1272010-12-10 22:11:13 +0000745 const MCOperand &MO1 = MI.getOperand(OpIdx);
Bill Wendling092a7bd2010-12-14 03:36:38 +0000746 const MCOperand &MO2 = MI.getOperand(OpIdx + 1);
Bill Wendlingbc07a892013-06-18 07:20:20 +0000747 unsigned Rn = CTX.getRegisterInfo()->getEncodingValue(MO1.getReg());
748 unsigned Rm = CTX.getRegisterInfo()->getEncodingValue(MO2.getReg());
Owen Andersonb0fa1272010-12-10 22:11:13 +0000749 return (Rm << 3) | Rn;
750}
751
Bill Wendlinge84eb992010-11-03 01:49:29 +0000752/// getAddrModeImm12OpValue - Return encoding info for 'reg +/- imm12' operand.
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000753uint32_t ARMMCCodeEmitter::
754getAddrModeImm12OpValue(const MCInst &MI, unsigned OpIdx,
755 SmallVectorImpl<MCFixup> &Fixups) const {
Bill Wendlinge84eb992010-11-03 01:49:29 +0000756 // {17-13} = reg
757 // {12} = (U)nsigned (add == '1', sub == '0')
758 // {11-0} = imm12
759 unsigned Reg, Imm12;
Jim Grosbach0fb841f2010-11-04 01:12:30 +0000760 bool isAdd = true;
761 // If The first operand isn't a register, we have a label reference.
762 const MCOperand &MO = MI.getOperand(OpIdx);
Owen Anderson4ebf4712011-02-08 22:39:40 +0000763 if (!MO.isReg()) {
Bill Wendlingbc07a892013-06-18 07:20:20 +0000764 Reg = CTX.getRegisterInfo()->getEncodingValue(ARM::PC); // Rn is PC.
Jim Grosbach0fb841f2010-11-04 01:12:30 +0000765 Imm12 = 0;
766
Owen Anderson4a9eb5f2011-09-12 20:36:51 +0000767 if (MO.isExpr()) {
768 const MCExpr *Expr = MO.getExpr();
Amaury de la Vieuvilleeac0bad2013-06-18 08:13:05 +0000769 isAdd = false ; // 'U' bit is set as part of the fixup.
Jim Grosbachc4a0c292010-12-10 21:57:34 +0000770
Owen Anderson4a9eb5f2011-09-12 20:36:51 +0000771 MCFixupKind Kind;
772 if (isThumb2())
773 Kind = MCFixupKind(ARM::fixup_t2_ldst_pcrel_12);
774 else
775 Kind = MCFixupKind(ARM::fixup_arm_ldst_pcrel_12);
Jim Grosbach5e5eabb2012-01-26 23:20:15 +0000776 Fixups.push_back(MCFixup::Create(0, Expr, Kind, MI.getLoc()));
Jim Grosbach0fb841f2010-11-04 01:12:30 +0000777
Owen Anderson4a9eb5f2011-09-12 20:36:51 +0000778 ++MCNumCPRelocations;
779 } else {
780 Reg = ARM::PC;
781 int32_t Offset = MO.getImm();
Mihai Popa46c1bcb2013-08-16 12:03:00 +0000782 if (Offset == INT32_MIN) {
783 Offset = 0;
784 isAdd = false;
785 } else if (Offset < 0) {
Owen Anderson4a9eb5f2011-09-12 20:36:51 +0000786 Offset *= -1;
787 isAdd = false;
788 }
789 Imm12 = Offset;
790 }
Jim Grosbach0fb841f2010-11-04 01:12:30 +0000791 } else
792 isAdd = EncodeAddrModeOpValues(MI, OpIdx, Reg, Imm12, Fixups);
Bill Wendlinge84eb992010-11-03 01:49:29 +0000793
Bill Wendlinge84eb992010-11-03 01:49:29 +0000794 uint32_t Binary = Imm12 & 0xfff;
795 // Immediate is always encoded as positive. The 'U' bit controls add vs sub.
Jim Grosbach505607e2010-10-28 18:34:10 +0000796 if (isAdd)
Bill Wendlinge84eb992010-11-03 01:49:29 +0000797 Binary |= (1 << 12);
798 Binary |= (Reg << 13);
799 return Binary;
800}
801
Jim Grosbach7db8d692011-09-08 22:07:06 +0000802/// getT2Imm8s4OpValue - Return encoding info for
803/// '+/- imm8<<2' operand.
804uint32_t ARMMCCodeEmitter::
805getT2Imm8s4OpValue(const MCInst &MI, unsigned OpIdx,
806 SmallVectorImpl<MCFixup> &Fixups) const {
807 // FIXME: The immediate operand should have already been encoded like this
808 // before ever getting here. The encoder method should just need to combine
809 // the MI operands for the register and the offset into a single
810 // representation for the complex operand in the .td file. This isn't just
811 // style, unfortunately. As-is, we can't represent the distinct encoding
812 // for #-0.
813
814 // {8} = (U)nsigned (add == '1', sub == '0')
815 // {7-0} = imm8
816 int32_t Imm8 = MI.getOperand(OpIdx).getImm();
817 bool isAdd = Imm8 >= 0;
818
819 // Immediate is always encoded as positive. The 'U' bit controls add vs sub.
820 if (Imm8 < 0)
Richard Smithf3c75f72012-08-24 00:35:46 +0000821 Imm8 = -(uint32_t)Imm8;
Jim Grosbach7db8d692011-09-08 22:07:06 +0000822
823 // Scaled by 4.
824 Imm8 /= 4;
825
826 uint32_t Binary = Imm8 & 0xff;
827 // Immediate is always encoded as positive. The 'U' bit controls add vs sub.
828 if (isAdd)
829 Binary |= (1 << 8);
830 return Binary;
831}
832
Owen Anderson943fb602010-12-01 19:18:46 +0000833/// getT2AddrModeImm8s4OpValue - Return encoding info for
834/// 'reg +/- imm8<<2' operand.
835uint32_t ARMMCCodeEmitter::
836getT2AddrModeImm8s4OpValue(const MCInst &MI, unsigned OpIdx,
837 SmallVectorImpl<MCFixup> &Fixups) const {
Jim Grosbache69f7242010-12-10 21:05:07 +0000838 // {12-9} = reg
839 // {8} = (U)nsigned (add == '1', sub == '0')
840 // {7-0} = imm8
Owen Anderson943fb602010-12-01 19:18:46 +0000841 unsigned Reg, Imm8;
842 bool isAdd = true;
843 // If The first operand isn't a register, we have a label reference.
844 const MCOperand &MO = MI.getOperand(OpIdx);
845 if (!MO.isReg()) {
Bill Wendlingbc07a892013-06-18 07:20:20 +0000846 Reg = CTX.getRegisterInfo()->getEncodingValue(ARM::PC); // Rn is PC.
Owen Anderson943fb602010-12-01 19:18:46 +0000847 Imm8 = 0;
848 isAdd = false ; // 'U' bit is set as part of the fixup.
849
850 assert(MO.isExpr() && "Unexpected machine operand type!");
851 const MCExpr *Expr = MO.getExpr();
Jim Grosbach8648c102011-12-19 23:06:24 +0000852 MCFixupKind Kind = MCFixupKind(ARM::fixup_t2_pcrel_10);
Jim Grosbach5e5eabb2012-01-26 23:20:15 +0000853 Fixups.push_back(MCFixup::Create(0, Expr, Kind, MI.getLoc()));
Owen Anderson943fb602010-12-01 19:18:46 +0000854
855 ++MCNumCPRelocations;
856 } else
857 isAdd = EncodeAddrModeOpValues(MI, OpIdx, Reg, Imm8, Fixups);
858
Jim Grosbach7db8d692011-09-08 22:07:06 +0000859 // FIXME: The immediate operand should have already been encoded like this
860 // before ever getting here. The encoder method should just need to combine
861 // the MI operands for the register and the offset into a single
862 // representation for the complex operand in the .td file. This isn't just
863 // style, unfortunately. As-is, we can't represent the distinct encoding
864 // for #-0.
Owen Anderson943fb602010-12-01 19:18:46 +0000865 uint32_t Binary = (Imm8 >> 2) & 0xff;
866 // Immediate is always encoded as positive. The 'U' bit controls add vs sub.
867 if (isAdd)
Jim Grosbache69f7242010-12-10 21:05:07 +0000868 Binary |= (1 << 8);
Owen Anderson943fb602010-12-01 19:18:46 +0000869 Binary |= (Reg << 9);
870 return Binary;
871}
872
Jim Grosbacha05627e2011-09-09 18:37:27 +0000873/// getT2AddrModeImm0_1020s4OpValue - Return encoding info for
874/// 'reg + imm8<<2' operand.
875uint32_t ARMMCCodeEmitter::
876getT2AddrModeImm0_1020s4OpValue(const MCInst &MI, unsigned OpIdx,
877 SmallVectorImpl<MCFixup> &Fixups) const {
878 // {11-8} = reg
879 // {7-0} = imm8
880 const MCOperand &MO = MI.getOperand(OpIdx);
881 const MCOperand &MO1 = MI.getOperand(OpIdx + 1);
Bill Wendlingbc07a892013-06-18 07:20:20 +0000882 unsigned Reg = CTX.getRegisterInfo()->getEncodingValue(MO.getReg());
Jim Grosbacha05627e2011-09-09 18:37:27 +0000883 unsigned Imm8 = MO1.getImm();
884 return (Reg << 8) | Imm8;
885}
886
Jason W Kim9c5b65d2011-01-12 00:19:25 +0000887// FIXME: This routine assumes that a binary
888// expression will always result in a PCRel expression
889// In reality, its only true if one or more subexpressions
890// is itself a PCRel (i.e. "." in asm or some other pcrel construct)
891// but this is good enough for now.
892static bool EvaluateAsPCRel(const MCExpr *Expr) {
893 switch (Expr->getKind()) {
Craig Toppere55c5562012-02-07 02:50:20 +0000894 default: llvm_unreachable("Unexpected expression type");
Jason W Kim9c5b65d2011-01-12 00:19:25 +0000895 case MCExpr::SymbolRef: return false;
896 case MCExpr::Binary: return true;
Jason W Kim9c5b65d2011-01-12 00:19:25 +0000897 }
898}
899
Evan Cheng965b3c72011-01-13 07:58:56 +0000900uint32_t
901ARMMCCodeEmitter::getHiLo16ImmOpValue(const MCInst &MI, unsigned OpIdx,
902 SmallVectorImpl<MCFixup> &Fixups) const {
Jason W Kim5a97bd82010-11-18 23:37:15 +0000903 // {20-16} = imm{15-12}
904 // {11-0} = imm{11-0}
Jim Grosbachc4a0c292010-12-10 21:57:34 +0000905 const MCOperand &MO = MI.getOperand(OpIdx);
Evan Cheng965b3c72011-01-13 07:58:56 +0000906 if (MO.isImm())
907 // Hi / lo 16 bits already extracted during earlier passes.
Jason W Kim5a97bd82010-11-18 23:37:15 +0000908 return static_cast<unsigned>(MO.getImm());
Evan Cheng965b3c72011-01-13 07:58:56 +0000909
910 // Handle :upper16: and :lower16: assembly prefixes.
911 const MCExpr *E = MO.getExpr();
Jim Grosbach70bed4f2012-05-01 20:43:21 +0000912 MCFixupKind Kind;
Evan Cheng965b3c72011-01-13 07:58:56 +0000913 if (E->getKind() == MCExpr::Target) {
914 const ARMMCExpr *ARM16Expr = cast<ARMMCExpr>(E);
915 E = ARM16Expr->getSubExpr();
916
Saleem Abdulrasool2d48ede2014-01-11 23:03:48 +0000917 if (const MCConstantExpr *MCE = dyn_cast<MCConstantExpr>(E)) {
918 const int64_t Value = MCE->getValue();
919 if (Value > UINT32_MAX)
920 report_fatal_error("constant value truncated (limited to 32-bit)");
921
922 switch (ARM16Expr->getKind()) {
923 case ARMMCExpr::VK_ARM_HI16:
924 return (int32_t(Value) & 0xffff0000) >> 16;
925 case ARMMCExpr::VK_ARM_LO16:
926 return (int32_t(Value) & 0x0000ffff);
927 default: llvm_unreachable("Unsupported ARMFixup");
928 }
929 }
930
Evan Cheng965b3c72011-01-13 07:58:56 +0000931 switch (ARM16Expr->getKind()) {
Craig Toppere55c5562012-02-07 02:50:20 +0000932 default: llvm_unreachable("Unsupported ARMFixup");
Evan Cheng965b3c72011-01-13 07:58:56 +0000933 case ARMMCExpr::VK_ARM_HI16:
Tim Northoverd6a729b2014-01-06 14:28:05 +0000934 if (!isTargetMachO() && EvaluateAsPCRel(E))
Evan Chengc5e6d2f2011-07-11 03:57:24 +0000935 Kind = MCFixupKind(isThumb2()
Evan Chengd4a5c052011-01-14 02:38:49 +0000936 ? ARM::fixup_t2_movt_hi16_pcrel
937 : ARM::fixup_arm_movt_hi16_pcrel);
938 else
Evan Chengc5e6d2f2011-07-11 03:57:24 +0000939 Kind = MCFixupKind(isThumb2()
Evan Chengd4a5c052011-01-14 02:38:49 +0000940 ? ARM::fixup_t2_movt_hi16
941 : ARM::fixup_arm_movt_hi16);
Jason W Kim5a97bd82010-11-18 23:37:15 +0000942 break;
Evan Cheng965b3c72011-01-13 07:58:56 +0000943 case ARMMCExpr::VK_ARM_LO16:
Tim Northoverd6a729b2014-01-06 14:28:05 +0000944 if (!isTargetMachO() && EvaluateAsPCRel(E))
Evan Chengc5e6d2f2011-07-11 03:57:24 +0000945 Kind = MCFixupKind(isThumb2()
Evan Chengd4a5c052011-01-14 02:38:49 +0000946 ? ARM::fixup_t2_movw_lo16_pcrel
947 : ARM::fixup_arm_movw_lo16_pcrel);
948 else
Evan Chengc5e6d2f2011-07-11 03:57:24 +0000949 Kind = MCFixupKind(isThumb2()
Evan Chengd4a5c052011-01-14 02:38:49 +0000950 ? ARM::fixup_t2_movw_lo16
951 : ARM::fixup_arm_movw_lo16);
Jason W Kim5a97bd82010-11-18 23:37:15 +0000952 break;
Jason W Kim5a97bd82010-11-18 23:37:15 +0000953 }
Jim Grosbach5e5eabb2012-01-26 23:20:15 +0000954 Fixups.push_back(MCFixup::Create(0, E, Kind, MI.getLoc()));
Jason W Kim5a97bd82010-11-18 23:37:15 +0000955 return 0;
Jim Grosbach70bed4f2012-05-01 20:43:21 +0000956 }
957 // If the expression doesn't have :upper16: or :lower16: on it,
958 // it's just a plain immediate expression, and those evaluate to
959 // the lower 16 bits of the expression regardless of whether
960 // we have a movt or a movw.
Tim Northoverd6a729b2014-01-06 14:28:05 +0000961 if (!isTargetMachO() && EvaluateAsPCRel(E))
Jim Grosbach70bed4f2012-05-01 20:43:21 +0000962 Kind = MCFixupKind(isThumb2()
963 ? ARM::fixup_t2_movw_lo16_pcrel
964 : ARM::fixup_arm_movw_lo16_pcrel);
965 else
966 Kind = MCFixupKind(isThumb2()
967 ? ARM::fixup_t2_movw_lo16
968 : ARM::fixup_arm_movw_lo16);
969 Fixups.push_back(MCFixup::Create(0, E, Kind, MI.getLoc()));
970 return 0;
Jason W Kim5a97bd82010-11-18 23:37:15 +0000971}
972
973uint32_t ARMMCCodeEmitter::
Jim Grosbachdbfb5ed2010-11-09 17:20:53 +0000974getLdStSORegOpValue(const MCInst &MI, unsigned OpIdx,
975 SmallVectorImpl<MCFixup> &Fixups) const {
976 const MCOperand &MO = MI.getOperand(OpIdx);
977 const MCOperand &MO1 = MI.getOperand(OpIdx+1);
978 const MCOperand &MO2 = MI.getOperand(OpIdx+2);
Bill Wendlingbc07a892013-06-18 07:20:20 +0000979 unsigned Rn = CTX.getRegisterInfo()->getEncodingValue(MO.getReg());
980 unsigned Rm = CTX.getRegisterInfo()->getEncodingValue(MO1.getReg());
Jim Grosbachdbfb5ed2010-11-09 17:20:53 +0000981 unsigned ShImm = ARM_AM::getAM2Offset(MO2.getImm());
982 bool isAdd = ARM_AM::getAM2Op(MO2.getImm()) == ARM_AM::add;
Jim Grosbach38b469e2010-11-15 20:47:07 +0000983 ARM_AM::ShiftOpc ShOp = ARM_AM::getAM2ShiftOpc(MO2.getImm());
984 unsigned SBits = getShiftOp(ShOp);
Jim Grosbachdbfb5ed2010-11-09 17:20:53 +0000985
Tim Northover0c97e762012-09-22 11:18:12 +0000986 // While "lsr #32" and "asr #32" exist, they are encoded with a 0 in the shift
987 // amount. However, it would be an easy mistake to make so check here.
988 assert((ShImm & ~0x1f) == 0 && "Out of range shift amount");
989
Jim Grosbachdbfb5ed2010-11-09 17:20:53 +0000990 // {16-13} = Rn
991 // {12} = isAdd
992 // {11-0} = shifter
993 // {3-0} = Rm
994 // {4} = 0
995 // {6-5} = type
996 // {11-7} = imm
Jim Grosbach607efcb2010-11-11 01:09:40 +0000997 uint32_t Binary = Rm;
Jim Grosbachdbfb5ed2010-11-09 17:20:53 +0000998 Binary |= Rn << 13;
999 Binary |= SBits << 5;
1000 Binary |= ShImm << 7;
1001 if (isAdd)
1002 Binary |= 1 << 12;
1003 return Binary;
1004}
1005
Jim Grosbach607efcb2010-11-11 01:09:40 +00001006uint32_t ARMMCCodeEmitter::
Jim Grosbach38b469e2010-11-15 20:47:07 +00001007getAddrMode2OpValue(const MCInst &MI, unsigned OpIdx,
1008 SmallVectorImpl<MCFixup> &Fixups) const {
1009 // {17-14} Rn
1010 // {13} 1 == imm12, 0 == Rm
1011 // {12} isAdd
1012 // {11-0} imm12/Rm
1013 const MCOperand &MO = MI.getOperand(OpIdx);
Bill Wendlingbc07a892013-06-18 07:20:20 +00001014 unsigned Rn = CTX.getRegisterInfo()->getEncodingValue(MO.getReg());
Jim Grosbach38b469e2010-11-15 20:47:07 +00001015 uint32_t Binary = getAddrMode2OffsetOpValue(MI, OpIdx + 1, Fixups);
1016 Binary |= Rn << 14;
1017 return Binary;
1018}
1019
1020uint32_t ARMMCCodeEmitter::
1021getAddrMode2OffsetOpValue(const MCInst &MI, unsigned OpIdx,
1022 SmallVectorImpl<MCFixup> &Fixups) const {
1023 // {13} 1 == imm12, 0 == Rm
1024 // {12} isAdd
1025 // {11-0} imm12/Rm
1026 const MCOperand &MO = MI.getOperand(OpIdx);
1027 const MCOperand &MO1 = MI.getOperand(OpIdx+1);
1028 unsigned Imm = MO1.getImm();
1029 bool isAdd = ARM_AM::getAM2Op(Imm) == ARM_AM::add;
1030 bool isReg = MO.getReg() != 0;
1031 uint32_t Binary = ARM_AM::getAM2Offset(Imm);
1032 // if reg +/- reg, Rm will be non-zero. Otherwise, we have reg +/- imm12
1033 if (isReg) {
1034 ARM_AM::ShiftOpc ShOp = ARM_AM::getAM2ShiftOpc(Imm);
1035 Binary <<= 7; // Shift amount is bits [11:7]
1036 Binary |= getShiftOp(ShOp) << 5; // Shift type is bits [6:5]
Bill Wendlingbc07a892013-06-18 07:20:20 +00001037 Binary |= CTX.getRegisterInfo()->getEncodingValue(MO.getReg()); // Rm is bits [3:0]
Jim Grosbach38b469e2010-11-15 20:47:07 +00001038 }
1039 return Binary | (isAdd << 12) | (isReg << 13);
1040}
1041
1042uint32_t ARMMCCodeEmitter::
Jim Grosbachd3595712011-08-03 23:50:40 +00001043getPostIdxRegOpValue(const MCInst &MI, unsigned OpIdx,
1044 SmallVectorImpl<MCFixup> &Fixups) const {
1045 // {4} isAdd
1046 // {3-0} Rm
1047 const MCOperand &MO = MI.getOperand(OpIdx);
1048 const MCOperand &MO1 = MI.getOperand(OpIdx+1);
Jim Grosbacha70fbfd52011-08-05 16:11:38 +00001049 bool isAdd = MO1.getImm() != 0;
Bill Wendlingbc07a892013-06-18 07:20:20 +00001050 return CTX.getRegisterInfo()->getEncodingValue(MO.getReg()) | (isAdd << 4);
Jim Grosbachd3595712011-08-03 23:50:40 +00001051}
1052
1053uint32_t ARMMCCodeEmitter::
Jim Grosbach68685e62010-11-11 16:55:29 +00001054getAddrMode3OffsetOpValue(const MCInst &MI, unsigned OpIdx,
1055 SmallVectorImpl<MCFixup> &Fixups) const {
1056 // {9} 1 == imm8, 0 == Rm
1057 // {8} isAdd
1058 // {7-4} imm7_4/zero
1059 // {3-0} imm3_0/Rm
1060 const MCOperand &MO = MI.getOperand(OpIdx);
1061 const MCOperand &MO1 = MI.getOperand(OpIdx+1);
1062 unsigned Imm = MO1.getImm();
1063 bool isAdd = ARM_AM::getAM3Op(Imm) == ARM_AM::add;
1064 bool isImm = MO.getReg() == 0;
1065 uint32_t Imm8 = ARM_AM::getAM3Offset(Imm);
1066 // if reg +/- reg, Rm will be non-zero. Otherwise, we have reg +/- imm8
1067 if (!isImm)
Bill Wendlingbc07a892013-06-18 07:20:20 +00001068 Imm8 = CTX.getRegisterInfo()->getEncodingValue(MO.getReg());
Jim Grosbach68685e62010-11-11 16:55:29 +00001069 return Imm8 | (isAdd << 8) | (isImm << 9);
1070}
1071
1072uint32_t ARMMCCodeEmitter::
Jim Grosbach607efcb2010-11-11 01:09:40 +00001073getAddrMode3OpValue(const MCInst &MI, unsigned OpIdx,
1074 SmallVectorImpl<MCFixup> &Fixups) const {
1075 // {13} 1 == imm8, 0 == Rm
1076 // {12-9} Rn
1077 // {8} isAdd
1078 // {7-4} imm7_4/zero
1079 // {3-0} imm3_0/Rm
1080 const MCOperand &MO = MI.getOperand(OpIdx);
1081 const MCOperand &MO1 = MI.getOperand(OpIdx+1);
1082 const MCOperand &MO2 = MI.getOperand(OpIdx+2);
Jim Grosbach8648c102011-12-19 23:06:24 +00001083
1084 // If The first operand isn't a register, we have a label reference.
1085 if (!MO.isReg()) {
Bill Wendlingbc07a892013-06-18 07:20:20 +00001086 unsigned Rn = CTX.getRegisterInfo()->getEncodingValue(ARM::PC); // Rn is PC.
Jim Grosbach8648c102011-12-19 23:06:24 +00001087
1088 assert(MO.isExpr() && "Unexpected machine operand type!");
1089 const MCExpr *Expr = MO.getExpr();
1090 MCFixupKind Kind = MCFixupKind(ARM::fixup_arm_pcrel_10_unscaled);
Jim Grosbach5e5eabb2012-01-26 23:20:15 +00001091 Fixups.push_back(MCFixup::Create(0, Expr, Kind, MI.getLoc()));
Jim Grosbach8648c102011-12-19 23:06:24 +00001092
1093 ++MCNumCPRelocations;
1094 return (Rn << 9) | (1 << 13);
1095 }
Bill Wendlingbc07a892013-06-18 07:20:20 +00001096 unsigned Rn = CTX.getRegisterInfo()->getEncodingValue(MO.getReg());
Jim Grosbach607efcb2010-11-11 01:09:40 +00001097 unsigned Imm = MO2.getImm();
1098 bool isAdd = ARM_AM::getAM3Op(Imm) == ARM_AM::add;
1099 bool isImm = MO1.getReg() == 0;
1100 uint32_t Imm8 = ARM_AM::getAM3Offset(Imm);
1101 // if reg +/- reg, Rm will be non-zero. Otherwise, we have reg +/- imm8
1102 if (!isImm)
Bill Wendlingbc07a892013-06-18 07:20:20 +00001103 Imm8 = CTX.getRegisterInfo()->getEncodingValue(MO1.getReg());
Jim Grosbach607efcb2010-11-11 01:09:40 +00001104 return (Rn << 9) | Imm8 | (isAdd << 8) | (isImm << 13);
1105}
1106
Bill Wendling8a6449c2010-12-08 01:57:09 +00001107/// getAddrModeThumbSPOpValue - Encode the t_addrmode_sp operands.
Jim Grosbach49bcd6f2010-12-07 21:50:47 +00001108uint32_t ARMMCCodeEmitter::
1109getAddrModeThumbSPOpValue(const MCInst &MI, unsigned OpIdx,
1110 SmallVectorImpl<MCFixup> &Fixups) const {
1111 // [SP, #imm]
1112 // {7-0} = imm8
Jim Grosbach49bcd6f2010-12-07 21:50:47 +00001113 const MCOperand &MO1 = MI.getOperand(OpIdx + 1);
Bill Wendling8a6449c2010-12-08 01:57:09 +00001114 assert(MI.getOperand(OpIdx).getReg() == ARM::SP &&
1115 "Unexpected base register!");
Bill Wendling7d3bde92010-12-15 23:32:27 +00001116
Jim Grosbach49bcd6f2010-12-07 21:50:47 +00001117 // The immediate is already shifted for the implicit zeroes, so no change
1118 // here.
1119 return MO1.getImm() & 0xff;
1120}
1121
Bill Wendling092a7bd2010-12-14 03:36:38 +00001122/// getAddrModeISOpValue - Encode the t_addrmode_is# operands.
Bill Wendling0c4838b2010-12-09 21:49:07 +00001123uint32_t ARMMCCodeEmitter::
Bill Wendling092a7bd2010-12-14 03:36:38 +00001124getAddrModeISOpValue(const MCInst &MI, unsigned OpIdx,
Bill Wendling03e75762010-12-15 08:51:02 +00001125 SmallVectorImpl<MCFixup> &Fixups) const {
Bill Wendling811c9362010-11-30 07:44:32 +00001126 // [Rn, #imm]
1127 // {7-3} = imm5
1128 // {2-0} = Rn
1129 const MCOperand &MO = MI.getOperand(OpIdx);
1130 const MCOperand &MO1 = MI.getOperand(OpIdx + 1);
Bill Wendlingbc07a892013-06-18 07:20:20 +00001131 unsigned Rn = CTX.getRegisterInfo()->getEncodingValue(MO.getReg());
Matt Beaumont-Gaye9afc742010-12-16 01:34:26 +00001132 unsigned Imm5 = MO1.getImm();
Bill Wendling0c4838b2010-12-09 21:49:07 +00001133 return ((Imm5 & 0x1f) << 3) | Rn;
Bill Wendlinga9e3df72010-11-30 22:57:21 +00001134}
1135
Bill Wendling8a6449c2010-12-08 01:57:09 +00001136/// getAddrModePCOpValue - Return encoding for t_addrmode_pc operands.
1137uint32_t ARMMCCodeEmitter::
1138getAddrModePCOpValue(const MCInst &MI, unsigned OpIdx,
1139 SmallVectorImpl<MCFixup> &Fixups) const {
Owen Andersond16fb432011-08-30 22:10:03 +00001140 const MCOperand MO = MI.getOperand(OpIdx);
1141 if (MO.isExpr())
1142 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_thumb_cp, Fixups);
1143 return (MO.getImm() >> 2);
Bill Wendling8a6449c2010-12-08 01:57:09 +00001144}
1145
Jim Grosbach30eb6c72010-12-01 21:09:40 +00001146/// getAddrMode5OpValue - Return encoding info for 'reg +/- imm10' operand.
Jim Grosbach2eed7a12010-11-03 23:52:49 +00001147uint32_t ARMMCCodeEmitter::
1148getAddrMode5OpValue(const MCInst &MI, unsigned OpIdx,
1149 SmallVectorImpl<MCFixup> &Fixups) const {
Bill Wendlinge84eb992010-11-03 01:49:29 +00001150 // {12-9} = reg
1151 // {8} = (U)nsigned (add == '1', sub == '0')
1152 // {7-0} = imm8
1153 unsigned Reg, Imm8;
Jim Grosbach2d3e5c12010-11-30 22:40:36 +00001154 bool isAdd;
Jim Grosbach0fb841f2010-11-04 01:12:30 +00001155 // If The first operand isn't a register, we have a label reference.
1156 const MCOperand &MO = MI.getOperand(OpIdx);
1157 if (!MO.isReg()) {
Bill Wendlingbc07a892013-06-18 07:20:20 +00001158 Reg = CTX.getRegisterInfo()->getEncodingValue(ARM::PC); // Rn is PC.
Jim Grosbach0fb841f2010-11-04 01:12:30 +00001159 Imm8 = 0;
Jim Grosbach2d3e5c12010-11-30 22:40:36 +00001160 isAdd = false; // 'U' bit is handled as part of the fixup.
Jim Grosbach0fb841f2010-11-04 01:12:30 +00001161
1162 assert(MO.isExpr() && "Unexpected machine operand type!");
1163 const MCExpr *Expr = MO.getExpr();
Owen Anderson0f7142d2010-12-08 00:18:36 +00001164 MCFixupKind Kind;
Evan Chengc5e6d2f2011-07-11 03:57:24 +00001165 if (isThumb2())
Owen Anderson0f7142d2010-12-08 00:18:36 +00001166 Kind = MCFixupKind(ARM::fixup_t2_pcrel_10);
1167 else
1168 Kind = MCFixupKind(ARM::fixup_arm_pcrel_10);
Jim Grosbach5e5eabb2012-01-26 23:20:15 +00001169 Fixups.push_back(MCFixup::Create(0, Expr, Kind, MI.getLoc()));
Jim Grosbach0fb841f2010-11-04 01:12:30 +00001170
1171 ++MCNumCPRelocations;
Jim Grosbach2d3e5c12010-11-30 22:40:36 +00001172 } else {
Jim Grosbach0fb841f2010-11-04 01:12:30 +00001173 EncodeAddrModeOpValues(MI, OpIdx, Reg, Imm8, Fixups);
Jim Grosbach2d3e5c12010-11-30 22:40:36 +00001174 isAdd = ARM_AM::getAM5Op(Imm8) == ARM_AM::add;
1175 }
Bill Wendlinge84eb992010-11-03 01:49:29 +00001176
Bill Wendlinge84eb992010-11-03 01:49:29 +00001177 uint32_t Binary = ARM_AM::getAM5Offset(Imm8);
1178 // Immediate is always encoded as positive. The 'U' bit controls add vs sub.
Jim Grosbach2d3e5c12010-11-30 22:40:36 +00001179 if (isAdd)
Bill Wendlinge84eb992010-11-03 01:49:29 +00001180 Binary |= (1 << 8);
1181 Binary |= (Reg << 9);
Jim Grosbach1e4d9a12010-10-26 22:37:02 +00001182 return Binary;
1183}
1184
Jim Grosbach2eed7a12010-11-03 23:52:49 +00001185unsigned ARMMCCodeEmitter::
Owen Anderson04912702011-07-21 23:38:37 +00001186getSORegRegOpValue(const MCInst &MI, unsigned OpIdx,
Jim Grosbach2eed7a12010-11-03 23:52:49 +00001187 SmallVectorImpl<MCFixup> &Fixups) const {
Bill Wendlingf9eebb52010-11-02 22:53:11 +00001188 // Sub-operands are [reg, reg, imm]. The first register is Rm, the reg to be
Owen Anderson7c965e72011-07-28 17:56:55 +00001189 // shifted. The second is Rs, the amount to shift by, and the third specifies
1190 // the type of the shift.
Jim Grosbach49b0c452010-11-03 22:03:20 +00001191 //
Jim Grosbachefd53692010-10-12 23:53:58 +00001192 // {3-0} = Rm.
Owen Anderson7c965e72011-07-28 17:56:55 +00001193 // {4} = 1
Jim Grosbachefd53692010-10-12 23:53:58 +00001194 // {6-5} = type
Owen Anderson7c965e72011-07-28 17:56:55 +00001195 // {11-8} = Rs
1196 // {7} = 0
Jim Grosbachefd53692010-10-12 23:53:58 +00001197
1198 const MCOperand &MO = MI.getOperand(OpIdx);
1199 const MCOperand &MO1 = MI.getOperand(OpIdx + 1);
1200 const MCOperand &MO2 = MI.getOperand(OpIdx + 2);
1201 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO2.getImm());
1202
1203 // Encode Rm.
Bill Wendlingbc07a892013-06-18 07:20:20 +00001204 unsigned Binary = CTX.getRegisterInfo()->getEncodingValue(MO.getReg());
Jim Grosbachefd53692010-10-12 23:53:58 +00001205
1206 // Encode the shift opcode.
1207 unsigned SBits = 0;
1208 unsigned Rs = MO1.getReg();
1209 if (Rs) {
1210 // Set shift operand (bit[7:4]).
1211 // LSL - 0001
1212 // LSR - 0011
1213 // ASR - 0101
1214 // ROR - 0111
Jim Grosbachefd53692010-10-12 23:53:58 +00001215 switch (SOpc) {
1216 default: llvm_unreachable("Unknown shift opc!");
1217 case ARM_AM::lsl: SBits = 0x1; break;
1218 case ARM_AM::lsr: SBits = 0x3; break;
1219 case ARM_AM::asr: SBits = 0x5; break;
1220 case ARM_AM::ror: SBits = 0x7; break;
Jim Grosbachefd53692010-10-12 23:53:58 +00001221 }
1222 }
Bill Wendlingf9eebb52010-11-02 22:53:11 +00001223
Jim Grosbachefd53692010-10-12 23:53:58 +00001224 Binary |= SBits << 4;
Jim Grosbachefd53692010-10-12 23:53:58 +00001225
Owen Anderson7c965e72011-07-28 17:56:55 +00001226 // Encode the shift operation Rs.
Owen Anderson04912702011-07-21 23:38:37 +00001227 // Encode Rs bit[11:8].
1228 assert(ARM_AM::getSORegOffset(MO2.getImm()) == 0);
Bill Wendlingbc07a892013-06-18 07:20:20 +00001229 return Binary | (CTX.getRegisterInfo()->getEncodingValue(Rs) << ARMII::RegRsShift);
Owen Anderson04912702011-07-21 23:38:37 +00001230}
1231
1232unsigned ARMMCCodeEmitter::
1233getSORegImmOpValue(const MCInst &MI, unsigned OpIdx,
1234 SmallVectorImpl<MCFixup> &Fixups) const {
Owen Anderson7c965e72011-07-28 17:56:55 +00001235 // Sub-operands are [reg, imm]. The first register is Rm, the reg to be
1236 // shifted. The second is the amount to shift by.
Owen Anderson04912702011-07-21 23:38:37 +00001237 //
1238 // {3-0} = Rm.
Owen Anderson7c965e72011-07-28 17:56:55 +00001239 // {4} = 0
Owen Anderson04912702011-07-21 23:38:37 +00001240 // {6-5} = type
Owen Anderson7c965e72011-07-28 17:56:55 +00001241 // {11-7} = imm
Owen Anderson04912702011-07-21 23:38:37 +00001242
1243 const MCOperand &MO = MI.getOperand(OpIdx);
1244 const MCOperand &MO1 = MI.getOperand(OpIdx + 1);
1245 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO1.getImm());
1246
1247 // Encode Rm.
Bill Wendlingbc07a892013-06-18 07:20:20 +00001248 unsigned Binary = CTX.getRegisterInfo()->getEncodingValue(MO.getReg());
Owen Anderson04912702011-07-21 23:38:37 +00001249
1250 // Encode the shift opcode.
1251 unsigned SBits = 0;
1252
1253 // Set shift operand (bit[6:4]).
1254 // LSL - 000
1255 // LSR - 010
1256 // ASR - 100
1257 // ROR - 110
1258 // RRX - 110 and bit[11:8] clear.
1259 switch (SOpc) {
1260 default: llvm_unreachable("Unknown shift opc!");
1261 case ARM_AM::lsl: SBits = 0x0; break;
1262 case ARM_AM::lsr: SBits = 0x2; break;
1263 case ARM_AM::asr: SBits = 0x4; break;
1264 case ARM_AM::ror: SBits = 0x6; break;
1265 case ARM_AM::rrx:
1266 Binary |= 0x60;
1267 return Binary;
Jim Grosbachefd53692010-10-12 23:53:58 +00001268 }
1269
1270 // Encode shift_imm bit[11:7].
Owen Anderson04912702011-07-21 23:38:37 +00001271 Binary |= SBits << 4;
Owen Andersone33c95d2011-08-11 18:41:59 +00001272 unsigned Offset = ARM_AM::getSORegOffset(MO1.getImm());
Richard Bartonba5b0cc2012-04-25 18:00:18 +00001273 assert(Offset < 32 && "Offset must be in range 0-31!");
Owen Andersone33c95d2011-08-11 18:41:59 +00001274 return Binary | (Offset << 7);
Jim Grosbachefd53692010-10-12 23:53:58 +00001275}
1276
Owen Anderson04912702011-07-21 23:38:37 +00001277
Jim Grosbach2eed7a12010-11-03 23:52:49 +00001278unsigned ARMMCCodeEmitter::
Owen Anderson50d662b2010-11-29 22:44:32 +00001279getT2AddrModeSORegOpValue(const MCInst &MI, unsigned OpNum,
1280 SmallVectorImpl<MCFixup> &Fixups) const {
1281 const MCOperand &MO1 = MI.getOperand(OpNum);
1282 const MCOperand &MO2 = MI.getOperand(OpNum+1);
Jim Grosbachc4a0c292010-12-10 21:57:34 +00001283 const MCOperand &MO3 = MI.getOperand(OpNum+2);
1284
Owen Anderson50d662b2010-11-29 22:44:32 +00001285 // Encoded as [Rn, Rm, imm].
1286 // FIXME: Needs fixup support.
Bill Wendlingbc07a892013-06-18 07:20:20 +00001287 unsigned Value = CTX.getRegisterInfo()->getEncodingValue(MO1.getReg());
Owen Anderson50d662b2010-11-29 22:44:32 +00001288 Value <<= 4;
Bill Wendlingbc07a892013-06-18 07:20:20 +00001289 Value |= CTX.getRegisterInfo()->getEncodingValue(MO2.getReg());
Owen Anderson50d662b2010-11-29 22:44:32 +00001290 Value <<= 2;
1291 Value |= MO3.getImm();
Jim Grosbachc4a0c292010-12-10 21:57:34 +00001292
Owen Anderson50d662b2010-11-29 22:44:32 +00001293 return Value;
1294}
1295
1296unsigned ARMMCCodeEmitter::
1297getT2AddrModeImm8OpValue(const MCInst &MI, unsigned OpNum,
1298 SmallVectorImpl<MCFixup> &Fixups) const {
1299 const MCOperand &MO1 = MI.getOperand(OpNum);
1300 const MCOperand &MO2 = MI.getOperand(OpNum+1);
1301
1302 // FIXME: Needs fixup support.
Bill Wendlingbc07a892013-06-18 07:20:20 +00001303 unsigned Value = CTX.getRegisterInfo()->getEncodingValue(MO1.getReg());
Jim Grosbachc4a0c292010-12-10 21:57:34 +00001304
Owen Anderson50d662b2010-11-29 22:44:32 +00001305 // Even though the immediate is 8 bits long, we need 9 bits in order
1306 // to represent the (inverse of the) sign bit.
1307 Value <<= 9;
Owen Andersone22c7322010-11-30 00:14:31 +00001308 int32_t tmp = (int32_t)MO2.getImm();
1309 if (tmp < 0)
1310 tmp = abs(tmp);
1311 else
1312 Value |= 256; // Set the ADD bit
1313 Value |= tmp & 255;
1314 return Value;
1315}
1316
1317unsigned ARMMCCodeEmitter::
1318getT2AddrModeImm8OffsetOpValue(const MCInst &MI, unsigned OpNum,
1319 SmallVectorImpl<MCFixup> &Fixups) const {
1320 const MCOperand &MO1 = MI.getOperand(OpNum);
1321
1322 // FIXME: Needs fixup support.
1323 unsigned Value = 0;
1324 int32_t tmp = (int32_t)MO1.getImm();
1325 if (tmp < 0)
1326 tmp = abs(tmp);
1327 else
1328 Value |= 256; // Set the ADD bit
1329 Value |= tmp & 255;
Owen Anderson50d662b2010-11-29 22:44:32 +00001330 return Value;
1331}
1332
1333unsigned ARMMCCodeEmitter::
Owen Anderson299382e2010-11-30 19:19:31 +00001334getT2AddrModeImm12OffsetOpValue(const MCInst &MI, unsigned OpNum,
1335 SmallVectorImpl<MCFixup> &Fixups) const {
1336 const MCOperand &MO1 = MI.getOperand(OpNum);
1337
1338 // FIXME: Needs fixup support.
1339 unsigned Value = 0;
1340 int32_t tmp = (int32_t)MO1.getImm();
1341 if (tmp < 0)
1342 tmp = abs(tmp);
1343 else
1344 Value |= 4096; // Set the ADD bit
1345 Value |= tmp & 4095;
1346 return Value;
1347}
1348
1349unsigned ARMMCCodeEmitter::
Owen Anderson8fdd1722010-11-12 21:12:40 +00001350getT2SORegOpValue(const MCInst &MI, unsigned OpIdx,
1351 SmallVectorImpl<MCFixup> &Fixups) const {
1352 // Sub-operands are [reg, imm]. The first register is Rm, the reg to be
1353 // shifted. The second is the amount to shift by.
1354 //
1355 // {3-0} = Rm.
1356 // {4} = 0
1357 // {6-5} = type
1358 // {11-7} = imm
1359
1360 const MCOperand &MO = MI.getOperand(OpIdx);
1361 const MCOperand &MO1 = MI.getOperand(OpIdx + 1);
1362 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO1.getImm());
1363
1364 // Encode Rm.
Bill Wendlingbc07a892013-06-18 07:20:20 +00001365 unsigned Binary = CTX.getRegisterInfo()->getEncodingValue(MO.getReg());
Owen Anderson8fdd1722010-11-12 21:12:40 +00001366
1367 // Encode the shift opcode.
1368 unsigned SBits = 0;
1369 // Set shift operand (bit[6:4]).
1370 // LSL - 000
1371 // LSR - 010
1372 // ASR - 100
1373 // ROR - 110
1374 switch (SOpc) {
1375 default: llvm_unreachable("Unknown shift opc!");
1376 case ARM_AM::lsl: SBits = 0x0; break;
1377 case ARM_AM::lsr: SBits = 0x2; break;
1378 case ARM_AM::asr: SBits = 0x4; break;
Owen Andersonc3c60a02011-09-13 17:34:32 +00001379 case ARM_AM::rrx: // FALLTHROUGH
Owen Anderson8fdd1722010-11-12 21:12:40 +00001380 case ARM_AM::ror: SBits = 0x6; break;
1381 }
1382
1383 Binary |= SBits << 4;
1384 if (SOpc == ARM_AM::rrx)
1385 return Binary;
1386
1387 // Encode shift_imm bit[11:7].
1388 return Binary | ARM_AM::getSORegOffset(MO1.getImm()) << 7;
1389}
1390
1391unsigned ARMMCCodeEmitter::
Jim Grosbach2eed7a12010-11-03 23:52:49 +00001392getBitfieldInvertedMaskOpValue(const MCInst &MI, unsigned Op,
1393 SmallVectorImpl<MCFixup> &Fixups) const {
Jim Grosbach5edb03e2010-10-21 22:03:21 +00001394 // 10 bits. lower 5 bits are are the lsb of the mask, high five bits are the
1395 // msb of the mask.
1396 const MCOperand &MO = MI.getOperand(Op);
1397 uint32_t v = ~MO.getImm();
Michael J. Spencerdf1ecbd72013-05-24 22:23:49 +00001398 uint32_t lsb = countTrailingZeros(v);
1399 uint32_t msb = (32 - countLeadingZeros (v)) - 1;
Jim Grosbach5edb03e2010-10-21 22:03:21 +00001400 assert (v != 0 && lsb < 32 && msb < 32 && "Illegal bitfield mask!");
1401 return lsb | (msb << 5);
1402}
1403
Jim Grosbach2eed7a12010-11-03 23:52:49 +00001404unsigned ARMMCCodeEmitter::
1405getRegisterListOpValue(const MCInst &MI, unsigned Op,
Bill Wendling1b83ed52010-11-09 00:30:18 +00001406 SmallVectorImpl<MCFixup> &Fixups) const {
Bill Wendling345b48f2010-11-17 00:45:23 +00001407 // VLDM/VSTM:
1408 // {12-8} = Vd
1409 // {7-0} = Number of registers
1410 //
1411 // LDM/STM:
1412 // {15-0} = Bitfield of GPRs.
1413 unsigned Reg = MI.getOperand(Op).getReg();
Craig Topperf6e7e122012-03-27 07:21:54 +00001414 bool SPRRegs = ARMMCRegisterClasses[ARM::SPRRegClassID].contains(Reg);
1415 bool DPRRegs = ARMMCRegisterClasses[ARM::DPRRegClassID].contains(Reg);
Bill Wendling345b48f2010-11-17 00:45:23 +00001416
Bill Wendling1b83ed52010-11-09 00:30:18 +00001417 unsigned Binary = 0;
Bill Wendling345b48f2010-11-17 00:45:23 +00001418
1419 if (SPRRegs || DPRRegs) {
1420 // VLDM/VSTM
Bill Wendlingbc07a892013-06-18 07:20:20 +00001421 unsigned RegNo = CTX.getRegisterInfo()->getEncodingValue(Reg);
Bill Wendling345b48f2010-11-17 00:45:23 +00001422 unsigned NumRegs = (MI.getNumOperands() - Op) & 0xff;
1423 Binary |= (RegNo & 0x1f) << 8;
1424 if (SPRRegs)
1425 Binary |= NumRegs;
1426 else
1427 Binary |= NumRegs * 2;
1428 } else {
1429 for (unsigned I = Op, E = MI.getNumOperands(); I < E; ++I) {
Bill Wendlingbc07a892013-06-18 07:20:20 +00001430 unsigned RegNo = CTX.getRegisterInfo()->getEncodingValue(MI.getOperand(I).getReg());
Bill Wendling345b48f2010-11-17 00:45:23 +00001431 Binary |= 1 << RegNo;
1432 }
Bill Wendling1b83ed52010-11-09 00:30:18 +00001433 }
Bill Wendling345b48f2010-11-17 00:45:23 +00001434
Jim Grosbach74ef9e12010-10-30 00:37:59 +00001435 return Binary;
1436}
1437
Bob Wilson318ce7c2010-11-30 00:00:42 +00001438/// getAddrMode6AddressOpValue - Encode an addrmode6 register number along
1439/// with the alignment operand.
Jim Grosbach2eed7a12010-11-03 23:52:49 +00001440unsigned ARMMCCodeEmitter::
1441getAddrMode6AddressOpValue(const MCInst &MI, unsigned Op,
1442 SmallVectorImpl<MCFixup> &Fixups) const {
Owen Andersonad402342010-11-02 00:05:05 +00001443 const MCOperand &Reg = MI.getOperand(Op);
Bill Wendlingf9eebb52010-11-02 22:53:11 +00001444 const MCOperand &Imm = MI.getOperand(Op + 1);
Jim Grosbach49b0c452010-11-03 22:03:20 +00001445
Bill Wendlingbc07a892013-06-18 07:20:20 +00001446 unsigned RegNo = CTX.getRegisterInfo()->getEncodingValue(Reg.getReg());
Bill Wendlingf9eebb52010-11-02 22:53:11 +00001447 unsigned Align = 0;
1448
1449 switch (Imm.getImm()) {
1450 default: break;
1451 case 2:
1452 case 4:
1453 case 8: Align = 0x01; break;
1454 case 16: Align = 0x02; break;
1455 case 32: Align = 0x03; break;
Owen Andersonad402342010-11-02 00:05:05 +00001456 }
Bill Wendlingf9eebb52010-11-02 22:53:11 +00001457
Owen Andersonad402342010-11-02 00:05:05 +00001458 return RegNo | (Align << 4);
1459}
1460
Mon P Wang92ff16b2011-05-09 17:47:27 +00001461/// getAddrMode6OneLane32AddressOpValue - Encode an addrmode6 register number
1462/// along with the alignment operand for use in VST1 and VLD1 with size 32.
1463unsigned ARMMCCodeEmitter::
1464getAddrMode6OneLane32AddressOpValue(const MCInst &MI, unsigned Op,
1465 SmallVectorImpl<MCFixup> &Fixups) const {
1466 const MCOperand &Reg = MI.getOperand(Op);
1467 const MCOperand &Imm = MI.getOperand(Op + 1);
1468
Bill Wendlingbc07a892013-06-18 07:20:20 +00001469 unsigned RegNo = CTX.getRegisterInfo()->getEncodingValue(Reg.getReg());
Mon P Wang92ff16b2011-05-09 17:47:27 +00001470 unsigned Align = 0;
1471
1472 switch (Imm.getImm()) {
1473 default: break;
Mon P Wang92ff16b2011-05-09 17:47:27 +00001474 case 8:
Jim Grosbachcef98cd2011-12-19 18:31:43 +00001475 case 16:
1476 case 32: // Default '0' value for invalid alignments of 8, 16, 32 bytes.
1477 case 2: Align = 0x00; break;
1478 case 4: Align = 0x03; break;
Mon P Wang92ff16b2011-05-09 17:47:27 +00001479 }
1480
1481 return RegNo | (Align << 4);
1482}
1483
1484
Bob Wilson318ce7c2010-11-30 00:00:42 +00001485/// getAddrMode6DupAddressOpValue - Encode an addrmode6 register number and
1486/// alignment operand for use in VLD-dup instructions. This is the same as
1487/// getAddrMode6AddressOpValue except for the alignment encoding, which is
1488/// different for VLD4-dup.
1489unsigned ARMMCCodeEmitter::
1490getAddrMode6DupAddressOpValue(const MCInst &MI, unsigned Op,
1491 SmallVectorImpl<MCFixup> &Fixups) const {
1492 const MCOperand &Reg = MI.getOperand(Op);
1493 const MCOperand &Imm = MI.getOperand(Op + 1);
1494
Bill Wendlingbc07a892013-06-18 07:20:20 +00001495 unsigned RegNo = CTX.getRegisterInfo()->getEncodingValue(Reg.getReg());
Bob Wilson318ce7c2010-11-30 00:00:42 +00001496 unsigned Align = 0;
1497
1498 switch (Imm.getImm()) {
1499 default: break;
1500 case 2:
1501 case 4:
1502 case 8: Align = 0x01; break;
1503 case 16: Align = 0x03; break;
1504 }
1505
1506 return RegNo | (Align << 4);
1507}
1508
Jim Grosbach2eed7a12010-11-03 23:52:49 +00001509unsigned ARMMCCodeEmitter::
1510getAddrMode6OffsetOpValue(const MCInst &MI, unsigned Op,
1511 SmallVectorImpl<MCFixup> &Fixups) const {
Bill Wendlingf9eebb52010-11-02 22:53:11 +00001512 const MCOperand &MO = MI.getOperand(Op);
1513 if (MO.getReg() == 0) return 0x0D;
Bill Wendlingbc07a892013-06-18 07:20:20 +00001514 return CTX.getRegisterInfo()->getEncodingValue(MO.getReg());
Owen Anderson526ffd52010-11-02 01:24:55 +00001515}
1516
Bill Wendling3b1459b2011-03-01 01:00:59 +00001517unsigned ARMMCCodeEmitter::
Bill Wendling77ad1dc2011-03-07 23:38:41 +00001518getShiftRight8Imm(const MCInst &MI, unsigned Op,
1519 SmallVectorImpl<MCFixup> &Fixups) const {
Bill Wendling3b1459b2011-03-01 01:00:59 +00001520 return 8 - MI.getOperand(Op).getImm();
1521}
1522
1523unsigned ARMMCCodeEmitter::
Bill Wendling77ad1dc2011-03-07 23:38:41 +00001524getShiftRight16Imm(const MCInst &MI, unsigned Op,
1525 SmallVectorImpl<MCFixup> &Fixups) const {
Bill Wendling3b1459b2011-03-01 01:00:59 +00001526 return 16 - MI.getOperand(Op).getImm();
1527}
1528
1529unsigned ARMMCCodeEmitter::
Bill Wendling77ad1dc2011-03-07 23:38:41 +00001530getShiftRight32Imm(const MCInst &MI, unsigned Op,
1531 SmallVectorImpl<MCFixup> &Fixups) const {
Bill Wendling3b1459b2011-03-01 01:00:59 +00001532 return 32 - MI.getOperand(Op).getImm();
1533}
1534
Bill Wendling77ad1dc2011-03-07 23:38:41 +00001535unsigned ARMMCCodeEmitter::
1536getShiftRight64Imm(const MCInst &MI, unsigned Op,
1537 SmallVectorImpl<MCFixup> &Fixups) const {
1538 return 64 - MI.getOperand(Op).getImm();
1539}
1540
Jim Grosbach1287f4f2010-09-17 18:46:17 +00001541void ARMMCCodeEmitter::
1542EncodeInstruction(const MCInst &MI, raw_ostream &OS,
David Woodhouse9784cef2014-01-28 23:13:07 +00001543 SmallVectorImpl<MCFixup> &Fixups,
1544 const MCSubtargetInfo &STI) const {
Jim Grosbach91029092010-10-07 22:12:50 +00001545 // Pseudo instructions don't get encoded.
Evan Chengc5e6d2f2011-07-11 03:57:24 +00001546 const MCInstrDesc &Desc = MCII.get(MI.getOpcode());
Jim Grosbach20b6fd72010-11-11 23:41:09 +00001547 uint64_t TSFlags = Desc.TSFlags;
1548 if ((TSFlags & ARMII::FormMask) == ARMII::Pseudo)
Jim Grosbach91029092010-10-07 22:12:50 +00001549 return;
Owen Anderson651b2302011-07-13 23:22:26 +00001550
Jim Grosbach20b6fd72010-11-11 23:41:09 +00001551 int Size;
Owen Anderson651b2302011-07-13 23:22:26 +00001552 if (Desc.getSize() == 2 || Desc.getSize() == 4)
1553 Size = Desc.getSize();
1554 else
1555 llvm_unreachable("Unexpected instruction size!");
Owen Anderson1732c2e2011-08-30 21:58:18 +00001556
Jim Grosbach567ebd0c2010-12-03 22:31:40 +00001557 uint32_t Binary = getBinaryCodeForInstr(MI, Fixups);
Evan Cheng965b3c72011-01-13 07:58:56 +00001558 // Thumb 32-bit wide instructions need to emit the high order halfword
1559 // first.
Evan Chengc5e6d2f2011-07-11 03:57:24 +00001560 if (isThumb() && Size == 4) {
Jim Grosbach567ebd0c2010-12-03 22:31:40 +00001561 EmitConstant(Binary >> 16, 2, OS);
1562 EmitConstant(Binary & 0xffff, 2, OS);
1563 } else
1564 EmitConstant(Binary, Size, OS);
Bill Wendling91da9ab2010-11-02 22:44:12 +00001565 ++MCNumEmitted; // Keep track of the # of mi's emitted.
Jim Grosbach1287f4f2010-09-17 18:46:17 +00001566}
Jim Grosbach8aed3862010-10-07 21:57:55 +00001567
Jim Grosbach2eed7a12010-11-03 23:52:49 +00001568#include "ARMGenMCCodeEmitter.inc"