blob: 84bb092fa286dc39eee4fd6d8b964e5af1fc797c [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
Chandler Carruthed0881b2012-12-03 16:50:05 +000014#include "MCTargetDesc/ARMMCTargetDesc.h"
Evan Chenga20cde32011-07-20 23:34:39 +000015#include "MCTargetDesc/ARMAddressingModes.h"
Evan Chengad5f4852011-07-23 00:00:19 +000016#include "MCTargetDesc/ARMBaseInfo.h"
17#include "MCTargetDesc/ARMFixupKinds.h"
Evan Chenga20cde32011-07-20 23:34:39 +000018#include "MCTargetDesc/ARMMCExpr.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000019#include "llvm/ADT/APFloat.h"
20#include "llvm/ADT/Statistic.h"
Jim Grosbach1287f4f2010-09-17 18:46:17 +000021#include "llvm/MC/MCCodeEmitter.h"
Eric Christopher6ac277c2012-08-09 22:10:21 +000022#include "llvm/MC/MCContext.h"
Jim Grosbach1287f4f2010-09-17 18:46:17 +000023#include "llvm/MC/MCExpr.h"
24#include "llvm/MC/MCInst.h"
Evan Chengc5e6d2f2011-07-11 03:57:24 +000025#include "llvm/MC/MCInstrInfo.h"
Evan Chengad5f4852011-07-23 00:00:19 +000026#include "llvm/MC/MCRegisterInfo.h"
Evan Chengc5e6d2f2011-07-11 03:57:24 +000027#include "llvm/MC/MCSubtargetInfo.h"
Saleem Abdulrasool2d48ede2014-01-11 23:03:48 +000028#include "llvm/Support/ErrorHandling.h"
Jim Grosbach1287f4f2010-09-17 18:46:17 +000029#include "llvm/Support/raw_ostream.h"
Evan Chengc5e6d2f2011-07-11 03:57:24 +000030
Jim Grosbach1287f4f2010-09-17 18:46:17 +000031using namespace llvm;
32
Chandler Carruth84e68b22014-04-22 02:41:26 +000033#define DEBUG_TYPE "mccodeemitter"
34
Jim Grosbach0fb841f2010-11-04 01:12:30 +000035STATISTIC(MCNumEmitted, "Number of MC instructions emitted.");
36STATISTIC(MCNumCPRelocations, "Number of constant pool relocations created.");
Jim Grosbach91029092010-10-07 22:12:50 +000037
Jim Grosbach1287f4f2010-09-17 18:46:17 +000038namespace {
39class ARMMCCodeEmitter : public MCCodeEmitter {
Aaron Ballmanf9a18972015-02-15 22:54:22 +000040 ARMMCCodeEmitter(const ARMMCCodeEmitter &) = delete;
41 void operator=(const ARMMCCodeEmitter &) = delete;
Evan Chengc5e6d2f2011-07-11 03:57:24 +000042 const MCInstrInfo &MCII;
Eric Christopher6ac277c2012-08-09 22:10:21 +000043 const MCContext &CTX;
Christian Pirker2a111602014-03-28 14:35:30 +000044 bool IsLittleEndian;
Jim Grosbach1287f4f2010-09-17 18:46:17 +000045
46public:
Christian Pirker2a111602014-03-28 14:35:30 +000047 ARMMCCodeEmitter(const MCInstrInfo &mcii, MCContext &ctx, bool IsLittle)
48 : MCII(mcii), CTX(ctx), IsLittleEndian(IsLittle) {
Jim Grosbach1287f4f2010-09-17 18:46:17 +000049 }
50
Alexander Kornienkof817c1c2015-04-11 02:11:45 +000051 ~ARMMCCodeEmitter() override {}
Jim Grosbach1287f4f2010-09-17 18:46:17 +000052
David Woodhoused2cca112014-01-28 23:13:25 +000053 bool isThumb(const MCSubtargetInfo &STI) const {
Michael Kupersteindb0712f2015-05-26 10:47:10 +000054 return STI.getFeatureBits()[ARM::ModeThumb];
Evan Chengc5e6d2f2011-07-11 03:57:24 +000055 }
David Woodhoused2cca112014-01-28 23:13:25 +000056 bool isThumb2(const MCSubtargetInfo &STI) const {
Michael Kupersteindb0712f2015-05-26 10:47:10 +000057 return isThumb(STI) && STI.getFeatureBits()[ARM::FeatureThumb2];
Evan Chengc5e6d2f2011-07-11 03:57:24 +000058 }
David Woodhoused2cca112014-01-28 23:13:25 +000059 bool isTargetMachO(const MCSubtargetInfo &STI) const {
Evan Chengc5e6d2f2011-07-11 03:57:24 +000060 Triple TT(STI.getTargetTriple());
Tim Northoverd6a729b2014-01-06 14:28:05 +000061 return TT.isOSBinFormatMachO();
Evan Chengc5e6d2f2011-07-11 03:57:24 +000062 }
63
Jim Grosbach6fead932010-10-12 17:11:26 +000064 unsigned getMachineSoImmOpValue(unsigned SoImm) const;
65
Jim Grosbach8aed3862010-10-07 21:57:55 +000066 // getBinaryCodeForInstr - TableGen'erated function for getting the
67 // binary encoding for an instruction.
Owen Andersond845d9d2012-01-24 18:37:29 +000068 uint64_t getBinaryCodeForInstr(const MCInst &MI,
David Woodhouse3fa98a62014-01-28 23:13:18 +000069 SmallVectorImpl<MCFixup> &Fixups,
70 const MCSubtargetInfo &STI) 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,
David Woodhouse3fa98a62014-01-28 23:13:18 +000075 SmallVectorImpl<MCFixup> &Fixups,
76 const MCSubtargetInfo &STI) const;
Jim Grosbach8aed3862010-10-07 21:57:55 +000077
Evan Cheng965b3c72011-01-13 07:58:56 +000078 /// getHiLo16ImmOpValue - Return the encoding for the hi / low 16-bit of
Owen Anderson4ebf4712011-02-08 22:39:40 +000079 /// the specified operand. This is used for operands with :lower16: and
Evan Cheng965b3c72011-01-13 07:58:56 +000080 /// :upper16: prefixes.
81 uint32_t getHiLo16ImmOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +000082 SmallVectorImpl<MCFixup> &Fixups,
83 const MCSubtargetInfo &STI) const;
Jason W Kim5a97bd82010-11-18 23:37:15 +000084
Bill Wendlinge84eb992010-11-03 01:49:29 +000085 bool EncodeAddrModeOpValues(const MCInst &MI, unsigned OpIdx,
Jim Grosbach2eed7a12010-11-03 23:52:49 +000086 unsigned &Reg, unsigned &Imm,
David Woodhouse3fa98a62014-01-28 23:13:18 +000087 SmallVectorImpl<MCFixup> &Fixups,
88 const MCSubtargetInfo &STI) const;
Bill Wendlinge84eb992010-11-03 01:49:29 +000089
Jim Grosbach9e199462010-12-06 23:57:07 +000090 /// getThumbBLTargetOpValue - Return encoding info for Thumb immediate
Bill Wendling3392bfc2010-12-09 00:39:08 +000091 /// BL branch target.
Jim Grosbach9e199462010-12-06 23:57:07 +000092 uint32_t getThumbBLTargetOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +000093 SmallVectorImpl<MCFixup> &Fixups,
94 const MCSubtargetInfo &STI) const;
Jim Grosbach9e199462010-12-06 23:57:07 +000095
Bill Wendling3392bfc2010-12-09 00:39:08 +000096 /// getThumbBLXTargetOpValue - Return encoding info for Thumb immediate
97 /// BLX branch target.
98 uint32_t getThumbBLXTargetOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +000099 SmallVectorImpl<MCFixup> &Fixups,
100 const MCSubtargetInfo &STI) const;
Bill Wendling3392bfc2010-12-09 00:39:08 +0000101
Jim Grosbache119da12010-12-10 18:21:33 +0000102 /// getThumbBRTargetOpValue - Return encoding info for Thumb branch target.
103 uint32_t getThumbBRTargetOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000104 SmallVectorImpl<MCFixup> &Fixups,
105 const MCSubtargetInfo &STI) const;
Jim Grosbache119da12010-12-10 18:21:33 +0000106
Jim Grosbach78485ad2010-12-10 17:13:40 +0000107 /// getThumbBCCTargetOpValue - Return encoding info for Thumb branch target.
108 uint32_t getThumbBCCTargetOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000109 SmallVectorImpl<MCFixup> &Fixups,
110 const MCSubtargetInfo &STI) const;
Jim Grosbach78485ad2010-12-10 17:13:40 +0000111
Jim Grosbach62b68112010-12-09 19:04:53 +0000112 /// getThumbCBTargetOpValue - Return encoding info for Thumb branch target.
113 uint32_t getThumbCBTargetOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000114 SmallVectorImpl<MCFixup> &Fixups,
115 const MCSubtargetInfo &STI) const;
Bill Wendlinga7d6aa92010-12-08 23:01:43 +0000116
Jim Grosbach9d6d77a2010-11-11 18:04:49 +0000117 /// getBranchTargetOpValue - Return encoding info for 24-bit immediate
118 /// branch target.
119 uint32_t getBranchTargetOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000120 SmallVectorImpl<MCFixup> &Fixups,
121 const MCSubtargetInfo &STI) const;
Jim Grosbach9d6d77a2010-11-11 18:04:49 +0000122
Owen Anderson578074b2010-12-13 19:31:11 +0000123 /// getUnconditionalBranchTargetOpValue - Return encoding info for 24-bit
124 /// immediate Thumb2 direct branch target.
125 uint32_t getUnconditionalBranchTargetOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000126 SmallVectorImpl<MCFixup> &Fixups,
127 const MCSubtargetInfo &STI) const;
Owen Anderson1732c2e2011-08-30 21:58:18 +0000128
Jason W Kimd2e2f562011-02-04 19:47:15 +0000129 /// getARMBranchTargetOpValue - Return encoding info for 24-bit immediate
130 /// branch target.
131 uint32_t getARMBranchTargetOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000132 SmallVectorImpl<MCFixup> &Fixups,
133 const MCSubtargetInfo &STI) const;
Jim Grosbach7b811d32012-02-27 21:36:23 +0000134 uint32_t getARMBLTargetOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000135 SmallVectorImpl<MCFixup> &Fixups,
136 const MCSubtargetInfo &STI) const;
Owen Andersonb205c022011-08-26 23:32:08 +0000137 uint32_t getARMBLXTargetOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000138 SmallVectorImpl<MCFixup> &Fixups,
139 const MCSubtargetInfo &STI) const;
Owen Anderson578074b2010-12-13 19:31:11 +0000140
Jim Grosbachdc35e062010-12-01 19:47:31 +0000141 /// getAdrLabelOpValue - Return encoding info for 12-bit immediate
142 /// ADR label target.
143 uint32_t getAdrLabelOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000144 SmallVectorImpl<MCFixup> &Fixups,
145 const MCSubtargetInfo &STI) const;
Jim Grosbach509dc2a2010-12-14 22:28:03 +0000146 uint32_t getThumbAdrLabelOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000147 SmallVectorImpl<MCFixup> &Fixups,
148 const MCSubtargetInfo &STI) const;
Owen Anderson6d375e52010-12-14 00:36:49 +0000149 uint32_t getT2AdrLabelOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000150 SmallVectorImpl<MCFixup> &Fixups,
151 const MCSubtargetInfo &STI) const;
Owen Anderson4ebf4712011-02-08 22:39:40 +0000152
Jim Grosbachdc35e062010-12-01 19:47:31 +0000153
Bill Wendlinge84eb992010-11-03 01:49:29 +0000154 /// getAddrModeImm12OpValue - Return encoding info for 'reg +/- imm12'
155 /// operand.
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000156 uint32_t getAddrModeImm12OpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000157 SmallVectorImpl<MCFixup> &Fixups,
158 const MCSubtargetInfo &STI) const;
Bill Wendlinge84eb992010-11-03 01:49:29 +0000159
Bill Wendling092a7bd2010-12-14 03:36:38 +0000160 /// getThumbAddrModeRegRegOpValue - Return encoding for 'reg + reg' operand.
161 uint32_t getThumbAddrModeRegRegOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000162 SmallVectorImpl<MCFixup> &Fixups,
163 const MCSubtargetInfo &STI) const;
Owen Andersonb0fa1272010-12-10 22:11:13 +0000164
Owen Anderson943fb602010-12-01 19:18:46 +0000165 /// getT2AddrModeImm8s4OpValue - Return encoding info for 'reg +/- imm8<<2'
166 /// operand.
167 uint32_t getT2AddrModeImm8s4OpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000168 SmallVectorImpl<MCFixup> &Fixups,
169 const MCSubtargetInfo &STI) const;
Jim Grosbacha05627e2011-09-09 18:37:27 +0000170
171 /// getT2AddrModeImm0_1020s4OpValue - Return encoding info for 'reg + imm8<<2'
172 /// operand.
173 uint32_t getT2AddrModeImm0_1020s4OpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000174 SmallVectorImpl<MCFixup> &Fixups,
175 const MCSubtargetInfo &STI) const;
Jim Grosbacha05627e2011-09-09 18:37:27 +0000176
Jim Grosbach7db8d692011-09-08 22:07:06 +0000177 /// getT2Imm8s4OpValue - Return encoding info for '+/- imm8<<2'
178 /// operand.
179 uint32_t getT2Imm8s4OpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000180 SmallVectorImpl<MCFixup> &Fixups,
181 const MCSubtargetInfo &STI) const;
Owen Anderson943fb602010-12-01 19:18:46 +0000182
183
Jim Grosbachdbfb5ed2010-11-09 17:20:53 +0000184 /// getLdStSORegOpValue - Return encoding info for 'reg +/- reg shop imm'
185 /// operand as needed by load/store instructions.
186 uint32_t getLdStSORegOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000187 SmallVectorImpl<MCFixup> &Fixups,
188 const MCSubtargetInfo &STI) const;
Jim Grosbachdbfb5ed2010-11-09 17:20:53 +0000189
Jim Grosbachcc4a4912010-11-10 23:38:36 +0000190 /// getLdStmModeOpValue - Return encoding for load/store multiple mode.
191 uint32_t getLdStmModeOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000192 SmallVectorImpl<MCFixup> &Fixups,
193 const MCSubtargetInfo &STI) const {
Jim Grosbachcc4a4912010-11-10 23:38:36 +0000194 ARM_AM::AMSubMode Mode = (ARM_AM::AMSubMode)MI.getOperand(OpIdx).getImm();
195 switch (Mode) {
Craig Toppere55c5562012-02-07 02:50:20 +0000196 default: llvm_unreachable("Unknown addressing sub-mode!");
Jim Grosbachcc4a4912010-11-10 23:38:36 +0000197 case ARM_AM::da: return 0;
198 case ARM_AM::ia: return 1;
199 case ARM_AM::db: return 2;
200 case ARM_AM::ib: return 3;
201 }
202 }
Jim Grosbach38b469e2010-11-15 20:47:07 +0000203 /// getShiftOp - Return the shift opcode (bit[6:5]) of the immediate value.
204 ///
205 unsigned getShiftOp(ARM_AM::ShiftOpc ShOpc) const {
206 switch (ShOpc) {
Jim Grosbach38b469e2010-11-15 20:47:07 +0000207 case ARM_AM::no_shift:
208 case ARM_AM::lsl: return 0;
209 case ARM_AM::lsr: return 1;
210 case ARM_AM::asr: return 2;
211 case ARM_AM::ror:
212 case ARM_AM::rrx: return 3;
213 }
David Blaikie46a9f012012-01-20 21:51:11 +0000214 llvm_unreachable("Invalid ShiftOpc!");
Jim Grosbach38b469e2010-11-15 20:47:07 +0000215 }
216
217 /// getAddrMode2OpValue - Return encoding for addrmode2 operands.
218 uint32_t getAddrMode2OpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000219 SmallVectorImpl<MCFixup> &Fixups,
220 const MCSubtargetInfo &STI) const;
Jim Grosbach38b469e2010-11-15 20:47:07 +0000221
222 /// getAddrMode2OffsetOpValue - Return encoding for am2offset operands.
223 uint32_t getAddrMode2OffsetOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000224 SmallVectorImpl<MCFixup> &Fixups,
225 const MCSubtargetInfo &STI) const;
Jim Grosbach38b469e2010-11-15 20:47:07 +0000226
Jim Grosbachd3595712011-08-03 23:50:40 +0000227 /// getPostIdxRegOpValue - Return encoding for postidx_reg operands.
228 uint32_t getPostIdxRegOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000229 SmallVectorImpl<MCFixup> &Fixups,
230 const MCSubtargetInfo &STI) const;
Jim Grosbachd3595712011-08-03 23:50:40 +0000231
Jim Grosbach68685e62010-11-11 16:55:29 +0000232 /// getAddrMode3OffsetOpValue - Return encoding for am3offset operands.
233 uint32_t getAddrMode3OffsetOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000234 SmallVectorImpl<MCFixup> &Fixups,
235 const MCSubtargetInfo &STI) const;
Jim Grosbach68685e62010-11-11 16:55:29 +0000236
Jim Grosbach607efcb2010-11-11 01:09:40 +0000237 /// getAddrMode3OpValue - Return encoding for addrmode3 operands.
238 uint32_t getAddrMode3OpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000239 SmallVectorImpl<MCFixup> &Fixups,
240 const MCSubtargetInfo &STI) const;
Jim Grosbachcc4a4912010-11-10 23:38:36 +0000241
Jim Grosbach49bcd6f2010-12-07 21:50:47 +0000242 /// getAddrModeThumbSPOpValue - Return encoding info for 'reg +/- imm12'
243 /// operand.
244 uint32_t getAddrModeThumbSPOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000245 SmallVectorImpl<MCFixup> &Fixups,
246 const MCSubtargetInfo &STI) const;
Jim Grosbach49bcd6f2010-12-07 21:50:47 +0000247
Bill Wendling092a7bd2010-12-14 03:36:38 +0000248 /// getAddrModeISOpValue - Encode the t_addrmode_is# operands.
249 uint32_t getAddrModeISOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000250 SmallVectorImpl<MCFixup> &Fixups,
251 const MCSubtargetInfo &STI) const;
Bill Wendlinga9e3df72010-11-30 22:57:21 +0000252
Bill Wendling8a6449c2010-12-08 01:57:09 +0000253 /// getAddrModePCOpValue - Return encoding for t_addrmode_pc operands.
254 uint32_t getAddrModePCOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000255 SmallVectorImpl<MCFixup> &Fixups,
256 const MCSubtargetInfo &STI) const;
Bill Wendling8a6449c2010-12-08 01:57:09 +0000257
Bill Wendlinge84eb992010-11-03 01:49:29 +0000258 /// getAddrMode5OpValue - Return encoding info for 'reg +/- imm8' operand.
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000259 uint32_t getAddrMode5OpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000260 SmallVectorImpl<MCFixup> &Fixups,
261 const MCSubtargetInfo &STI) const;
Jim Grosbach1e4d9a12010-10-26 22:37:02 +0000262
Jim Grosbachd9d31da2010-10-12 23:00:24 +0000263 /// getCCOutOpValue - Return encoding of the 's' bit.
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000264 unsigned getCCOutOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000265 SmallVectorImpl<MCFixup> &Fixups,
266 const MCSubtargetInfo &STI) const {
Jim Grosbachd9d31da2010-10-12 23:00:24 +0000267 // The operand is either reg0 or CPSR. The 's' bit is encoded as '0' or
268 // '1' respectively.
269 return MI.getOperand(Op).getReg() == ARM::CPSR;
270 }
Jim Grosbachefd53692010-10-12 23:53:58 +0000271
Jim Grosbach12e493a2010-10-12 23:18:08 +0000272 /// getSOImmOpValue - Return an encoded 12-bit shifted-immediate value.
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000273 unsigned getSOImmOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000274 SmallVectorImpl<MCFixup> &Fixups,
275 const MCSubtargetInfo &STI) const {
Stepan Dyatkovskiydf657cc2014-03-29 13:12:40 +0000276
277 const MCOperand &MO = MI.getOperand(Op);
278
279 // We expect MO to be an immediate or an expression,
280 // if it is an immediate - that's fine, just encode the value.
281 // Otherwise - create a Fixup.
282 if (MO.isExpr()) {
283 const MCExpr *Expr = MO.getExpr();
284 // In instruction code this value always encoded as lowest 12 bits,
285 // so we don't have to perform any specific adjustments.
286 // Due to requirements of relocatable records we have to use FK_Data_4.
287 // See ARMELFObjectWriter::ExplicitRelSym and
288 // ARMELFObjectWriter::GetRelocTypeInner for more details.
289 MCFixupKind Kind = MCFixupKind(FK_Data_4);
Jim Grosbach63661f82015-05-15 19:13:05 +0000290 Fixups.push_back(MCFixup::create(0, Expr, Kind, MI.getLoc()));
Stepan Dyatkovskiydf657cc2014-03-29 13:12:40 +0000291 return 0;
292 }
293
294 unsigned SoImm = MO.getImm();
Jiangning Liudb55b022014-03-21 02:51:01 +0000295 int SoImmVal = ARM_AM::getSOImmVal(SoImm);
Jim Grosbach12e493a2010-10-12 23:18:08 +0000296 assert(SoImmVal != -1 && "Not a valid so_imm value!");
297
298 // Encode rotate_imm.
299 unsigned Binary = (ARM_AM::getSOImmValRot((unsigned)SoImmVal) >> 1)
300 << ARMII::SoRotImmShift;
301
302 // Encode immed_8.
303 Binary |= ARM_AM::getSOImmValImm((unsigned)SoImmVal);
304 return Binary;
305 }
Jim Grosbachc4a0c292010-12-10 21:57:34 +0000306
Asiri Rathnayakea0199b92014-12-02 10:53:20 +0000307 unsigned getModImmOpValue(const MCInst &MI, unsigned Op,
308 SmallVectorImpl<MCFixup> &Fixups,
309 const MCSubtargetInfo &ST) const {
310 const MCOperand &MO = MI.getOperand(Op);
311
312 // Support for fixups (MCFixup)
313 if (MO.isExpr()) {
314 const MCExpr *Expr = MO.getExpr();
315 // In instruction code this value always encoded as lowest 12 bits,
316 // so we don't have to perform any specific adjustments.
317 // Due to requirements of relocatable records we have to use FK_Data_4.
318 // See ARMELFObjectWriter::ExplicitRelSym and
319 // ARMELFObjectWriter::GetRelocTypeInner for more details.
320 MCFixupKind Kind = MCFixupKind(FK_Data_4);
Jim Grosbach63661f82015-05-15 19:13:05 +0000321 Fixups.push_back(MCFixup::create(0, Expr, Kind, MI.getLoc()));
Asiri Rathnayakea0199b92014-12-02 10:53:20 +0000322 return 0;
323 }
324
325 // Immediate is already in its encoded format
326 return MO.getImm();
327 }
328
Owen Anderson8fdd1722010-11-12 21:12:40 +0000329 /// getT2SOImmOpValue - Return an encoded 12-bit shifted-immediate value.
330 unsigned getT2SOImmOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000331 SmallVectorImpl<MCFixup> &Fixups,
332 const MCSubtargetInfo &STI) const {
Owen Anderson8fdd1722010-11-12 21:12:40 +0000333 unsigned SoImm = MI.getOperand(Op).getImm();
334 unsigned Encoded = ARM_AM::getT2SOImmVal(SoImm);
335 assert(Encoded != ~0U && "Not a Thumb2 so_imm value?");
336 return Encoded;
337 }
Jim Grosbachd9d31da2010-10-12 23:00:24 +0000338
Owen Anderson50d662b2010-11-29 22:44:32 +0000339 unsigned getT2AddrModeSORegOpValue(const MCInst &MI, unsigned OpNum,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000340 SmallVectorImpl<MCFixup> &Fixups,
341 const MCSubtargetInfo &STI) const;
Owen Anderson50d662b2010-11-29 22:44:32 +0000342 unsigned getT2AddrModeImm8OpValue(const MCInst &MI, unsigned OpNum,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000343 SmallVectorImpl<MCFixup> &Fixups,
344 const MCSubtargetInfo &STI) const;
Owen Andersone22c7322010-11-30 00:14:31 +0000345 unsigned getT2AddrModeImm8OffsetOpValue(const MCInst &MI, unsigned OpNum,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000346 SmallVectorImpl<MCFixup> &Fixups,
347 const MCSubtargetInfo &STI) const;
Owen Anderson299382e2010-11-30 19:19:31 +0000348 unsigned getT2AddrModeImm12OffsetOpValue(const MCInst &MI, unsigned OpNum,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000349 SmallVectorImpl<MCFixup> &Fixups,
350 const MCSubtargetInfo &STI) const;
Owen Anderson50d662b2010-11-29 22:44:32 +0000351
Jim Grosbachefd53692010-10-12 23:53:58 +0000352 /// getSORegOpValue - Return an encoded so_reg shifted register value.
Owen Anderson04912702011-07-21 23:38:37 +0000353 unsigned getSORegRegOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000354 SmallVectorImpl<MCFixup> &Fixups,
355 const MCSubtargetInfo &STI) const;
Owen Anderson04912702011-07-21 23:38:37 +0000356 unsigned getSORegImmOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000357 SmallVectorImpl<MCFixup> &Fixups,
358 const MCSubtargetInfo &STI) const;
Owen Anderson8fdd1722010-11-12 21:12:40 +0000359 unsigned getT2SORegOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000360 SmallVectorImpl<MCFixup> &Fixups,
361 const MCSubtargetInfo &STI) const;
Jim Grosbachefd53692010-10-12 23:53:58 +0000362
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000363 unsigned getNEONVcvtImm32OpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000364 SmallVectorImpl<MCFixup> &Fixups,
365 const MCSubtargetInfo &STI) const {
Owen Andersonfadb9512010-10-27 22:49:00 +0000366 return 64 - MI.getOperand(Op).getImm();
367 }
Jim Grosbach68a335e2010-10-15 17:15:16 +0000368
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000369 unsigned getBitfieldInvertedMaskOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000370 SmallVectorImpl<MCFixup> &Fixups,
371 const MCSubtargetInfo &STI) const;
Jim Grosbach5edb03e2010-10-21 22:03:21 +0000372
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000373 unsigned getRegisterListOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000374 SmallVectorImpl<MCFixup> &Fixups,
375 const MCSubtargetInfo &STI) const;
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000376 unsigned getAddrMode6AddressOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000377 SmallVectorImpl<MCFixup> &Fixups,
378 const MCSubtargetInfo &STI) const;
Mon P Wang92ff16b2011-05-09 17:47:27 +0000379 unsigned getAddrMode6OneLane32AddressOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000380 SmallVectorImpl<MCFixup> &Fixups,
381 const MCSubtargetInfo &STI) const;
Bob Wilson318ce7c2010-11-30 00:00:42 +0000382 unsigned getAddrMode6DupAddressOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000383 SmallVectorImpl<MCFixup> &Fixups,
384 const MCSubtargetInfo &STI) const;
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000385 unsigned getAddrMode6OffsetOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000386 SmallVectorImpl<MCFixup> &Fixups,
387 const MCSubtargetInfo &STI) const;
Jim Grosbach74ef9e12010-10-30 00:37:59 +0000388
Bill Wendling77ad1dc2011-03-07 23:38:41 +0000389 unsigned getShiftRight8Imm(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000390 SmallVectorImpl<MCFixup> &Fixups,
391 const MCSubtargetInfo &STI) const;
Bill Wendling77ad1dc2011-03-07 23:38:41 +0000392 unsigned getShiftRight16Imm(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000393 SmallVectorImpl<MCFixup> &Fixups,
394 const MCSubtargetInfo &STI) const;
Bill Wendling77ad1dc2011-03-07 23:38:41 +0000395 unsigned getShiftRight32Imm(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000396 SmallVectorImpl<MCFixup> &Fixups,
397 const MCSubtargetInfo &STI) const;
Bill Wendling77ad1dc2011-03-07 23:38:41 +0000398 unsigned getShiftRight64Imm(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000399 SmallVectorImpl<MCFixup> &Fixups,
400 const MCSubtargetInfo &STI) const;
Bill Wendling3b1459b2011-03-01 01:00:59 +0000401
Owen Andersonc4030382011-08-08 20:42:17 +0000402 unsigned getThumbSRImmOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000403 SmallVectorImpl<MCFixup> &Fixups,
404 const MCSubtargetInfo &STI) const;
Owen Andersonc4030382011-08-08 20:42:17 +0000405
Owen Anderson7ffe3b32010-11-11 19:07:48 +0000406 unsigned NEONThumb2DataIPostEncoder(const MCInst &MI,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000407 unsigned EncodedValue,
408 const MCSubtargetInfo &STI) const;
Owen Anderson99a8cb42010-11-11 21:36:43 +0000409 unsigned NEONThumb2LoadStorePostEncoder(const MCInst &MI,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000410 unsigned EncodedValue,
411 const MCSubtargetInfo &STI) const;
Owen Andersonce2250f2010-11-11 23:12:55 +0000412 unsigned NEONThumb2DupPostEncoder(const MCInst &MI,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000413 unsigned EncodedValue,
414 const MCSubtargetInfo &STI) const;
Joey Goulydf686002013-07-17 13:59:38 +0000415 unsigned NEONThumb2V8PostEncoder(const MCInst &MI,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000416 unsigned EncodedValue,
417 const MCSubtargetInfo &STI) const;
Bill Wendling87240d42010-12-01 21:54:50 +0000418
419 unsigned VFPThumb2PostEncoder(const MCInst &MI,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000420 unsigned EncodedValue,
421 const MCSubtargetInfo &STI) const;
Owen Anderson7ffe3b32010-11-11 19:07:48 +0000422
Jim Grosbach0fb841f2010-11-04 01:12:30 +0000423 void EmitByte(unsigned char C, raw_ostream &OS) const {
Jim Grosbach1287f4f2010-09-17 18:46:17 +0000424 OS << (char)C;
Jim Grosbach1287f4f2010-09-17 18:46:17 +0000425 }
426
Jim Grosbach0fb841f2010-11-04 01:12:30 +0000427 void EmitConstant(uint64_t Val, unsigned Size, raw_ostream &OS) const {
Jim Grosbach1287f4f2010-09-17 18:46:17 +0000428 // Output the constant in little endian byte order.
429 for (unsigned i = 0; i != Size; ++i) {
Christian Pirker2a111602014-03-28 14:35:30 +0000430 unsigned Shift = IsLittleEndian ? i * 8 : (Size - 1 - i) * 8;
431 EmitByte((Val >> Shift) & 0xff, OS);
Jim Grosbach1287f4f2010-09-17 18:46:17 +0000432 }
433 }
434
Jim Grosbach91df21f2015-05-15 19:13:16 +0000435 void encodeInstruction(const MCInst &MI, raw_ostream &OS,
David Woodhouse9784cef2014-01-28 23:13:07 +0000436 SmallVectorImpl<MCFixup> &Fixups,
Craig Topperca7e3e52014-03-10 03:19:03 +0000437 const MCSubtargetInfo &STI) const override;
Jim Grosbach1287f4f2010-09-17 18:46:17 +0000438};
439
440} // end anonymous namespace
441
Christian Pirkerdc9ff752014-04-01 15:19:30 +0000442MCCodeEmitter *llvm::createARMLEMCCodeEmitter(const MCInstrInfo &MCII,
Christian Pirker2a111602014-03-28 14:35:30 +0000443 const MCRegisterInfo &MRI,
Christian Pirker2a111602014-03-28 14:35:30 +0000444 MCContext &Ctx) {
445 return new ARMMCCodeEmitter(MCII, Ctx, true);
446}
447
Christian Pirkerdc9ff752014-04-01 15:19:30 +0000448MCCodeEmitter *llvm::createARMBEMCCodeEmitter(const MCInstrInfo &MCII,
Christian Pirker2a111602014-03-28 14:35:30 +0000449 const MCRegisterInfo &MRI,
Christian Pirker2a111602014-03-28 14:35:30 +0000450 MCContext &Ctx) {
451 return new ARMMCCodeEmitter(MCII, Ctx, false);
Jim Grosbach1287f4f2010-09-17 18:46:17 +0000452}
453
Jim Grosbachc4a0c292010-12-10 21:57:34 +0000454/// NEONThumb2DataIPostEncoder - Post-process encoded NEON data-processing
455/// instructions, and rewrite them to their Thumb2 form if we are currently in
Owen Anderson7ffe3b32010-11-11 19:07:48 +0000456/// Thumb2 mode.
457unsigned ARMMCCodeEmitter::NEONThumb2DataIPostEncoder(const MCInst &MI,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000458 unsigned EncodedValue,
459 const MCSubtargetInfo &STI) const {
David Woodhoused2cca112014-01-28 23:13:25 +0000460 if (isThumb2(STI)) {
Jim Grosbachc4a0c292010-12-10 21:57:34 +0000461 // NEON Thumb2 data-processsing encodings are very simple: bit 24 is moved
Owen Anderson7ffe3b32010-11-11 19:07:48 +0000462 // to bit 12 of the high half-word (i.e. bit 28), and bits 27-24 are
463 // set to 1111.
464 unsigned Bit24 = EncodedValue & 0x01000000;
465 unsigned Bit28 = Bit24 << 4;
466 EncodedValue &= 0xEFFFFFFF;
467 EncodedValue |= Bit28;
468 EncodedValue |= 0x0F000000;
469 }
Jim Grosbachc4a0c292010-12-10 21:57:34 +0000470
Owen Anderson7ffe3b32010-11-11 19:07:48 +0000471 return EncodedValue;
472}
473
Owen Anderson99a8cb42010-11-11 21:36:43 +0000474/// NEONThumb2LoadStorePostEncoder - Post-process encoded NEON load/store
Jim Grosbachc4a0c292010-12-10 21:57:34 +0000475/// instructions, and rewrite them to their Thumb2 form if we are currently in
Owen Anderson99a8cb42010-11-11 21:36:43 +0000476/// Thumb2 mode.
477unsigned ARMMCCodeEmitter::NEONThumb2LoadStorePostEncoder(const MCInst &MI,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000478 unsigned EncodedValue,
479 const MCSubtargetInfo &STI) const {
David Woodhoused2cca112014-01-28 23:13:25 +0000480 if (isThumb2(STI)) {
Owen Anderson99a8cb42010-11-11 21:36:43 +0000481 EncodedValue &= 0xF0FFFFFF;
482 EncodedValue |= 0x09000000;
483 }
Jim Grosbachc4a0c292010-12-10 21:57:34 +0000484
Owen Anderson99a8cb42010-11-11 21:36:43 +0000485 return EncodedValue;
486}
487
Owen Andersonce2250f2010-11-11 23:12:55 +0000488/// NEONThumb2DupPostEncoder - Post-process encoded NEON vdup
Jim Grosbachc4a0c292010-12-10 21:57:34 +0000489/// instructions, and rewrite them to their Thumb2 form if we are currently in
Owen Andersonce2250f2010-11-11 23:12:55 +0000490/// Thumb2 mode.
491unsigned ARMMCCodeEmitter::NEONThumb2DupPostEncoder(const MCInst &MI,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000492 unsigned EncodedValue,
493 const MCSubtargetInfo &STI) const {
David Woodhoused2cca112014-01-28 23:13:25 +0000494 if (isThumb2(STI)) {
Owen Andersonce2250f2010-11-11 23:12:55 +0000495 EncodedValue &= 0x00FFFFFF;
496 EncodedValue |= 0xEE000000;
497 }
Jim Grosbachc4a0c292010-12-10 21:57:34 +0000498
Owen Andersonce2250f2010-11-11 23:12:55 +0000499 return EncodedValue;
500}
501
Joey Goulydf686002013-07-17 13:59:38 +0000502/// Post-process encoded NEON v8 instructions, and rewrite them to Thumb2 form
503/// if we are in Thumb2.
504unsigned ARMMCCodeEmitter::NEONThumb2V8PostEncoder(const MCInst &MI,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000505 unsigned EncodedValue,
506 const MCSubtargetInfo &STI) const {
David Woodhoused2cca112014-01-28 23:13:25 +0000507 if (isThumb2(STI)) {
Joey Goulydf686002013-07-17 13:59:38 +0000508 EncodedValue |= 0xC000000; // Set bits 27-26
509 }
510
511 return EncodedValue;
512}
513
Bill Wendling87240d42010-12-01 21:54:50 +0000514/// VFPThumb2PostEncoder - Post-process encoded VFP instructions and rewrite
515/// them to their Thumb2 form if we are currently in Thumb2 mode.
516unsigned ARMMCCodeEmitter::
David Woodhouse3fa98a62014-01-28 23:13:18 +0000517VFPThumb2PostEncoder(const MCInst &MI, unsigned EncodedValue,
518 const MCSubtargetInfo &STI) const {
David Woodhoused2cca112014-01-28 23:13:25 +0000519 if (isThumb2(STI)) {
Bill Wendling87240d42010-12-01 21:54:50 +0000520 EncodedValue &= 0x0FFFFFFF;
521 EncodedValue |= 0xE0000000;
522 }
523 return EncodedValue;
524}
Owen Anderson99a8cb42010-11-11 21:36:43 +0000525
Jim Grosbachc43c9302010-10-08 21:45:55 +0000526/// getMachineOpValue - Return binary encoding of operand. If the machine
527/// operand requires relocation, record the relocation and return zero.
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000528unsigned ARMMCCodeEmitter::
529getMachineOpValue(const MCInst &MI, const MCOperand &MO,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000530 SmallVectorImpl<MCFixup> &Fixups,
531 const MCSubtargetInfo &STI) const {
Bill Wendling6f52f8a2010-10-14 02:33:26 +0000532 if (MO.isReg()) {
Bill Wendlingf9eebb52010-11-02 22:53:11 +0000533 unsigned Reg = MO.getReg();
Bill Wendlingbc07a892013-06-18 07:20:20 +0000534 unsigned RegNo = CTX.getRegisterInfo()->getEncodingValue(Reg);
Jim Grosbach96d82842010-10-29 23:21:03 +0000535
Jim Grosbachee48d2d2010-11-30 23:51:41 +0000536 // Q registers are encoded as 2x their register number.
Bill Wendlingf9eebb52010-11-02 22:53:11 +0000537 switch (Reg) {
538 default:
539 return RegNo;
540 case ARM::Q0: case ARM::Q1: case ARM::Q2: case ARM::Q3:
541 case ARM::Q4: case ARM::Q5: case ARM::Q6: case ARM::Q7:
542 case ARM::Q8: case ARM::Q9: case ARM::Q10: case ARM::Q11:
543 case ARM::Q12: case ARM::Q13: case ARM::Q14: case ARM::Q15:
544 return 2 * RegNo;
Owen Anderson2bfa8ed2010-10-21 20:49:13 +0000545 }
Bill Wendling6f52f8a2010-10-14 02:33:26 +0000546 } else if (MO.isImm()) {
Jim Grosbachc43c9302010-10-08 21:45:55 +0000547 return static_cast<unsigned>(MO.getImm());
Bill Wendling6f52f8a2010-10-14 02:33:26 +0000548 } else if (MO.isFPImm()) {
549 return static_cast<unsigned>(APFloat(MO.getFPImm())
550 .bitcastToAPInt().getHiBits(32).getLimitedValue());
Jim Grosbachc43c9302010-10-08 21:45:55 +0000551 }
Bill Wendlingf9eebb52010-11-02 22:53:11 +0000552
Jim Grosbach2aeb8b92010-11-19 00:27:09 +0000553 llvm_unreachable("Unable to encode MCOperand!");
Jim Grosbachc43c9302010-10-08 21:45:55 +0000554}
555
Bill Wendling603bd8f2010-11-02 22:31:46 +0000556/// getAddrModeImmOpValue - Return encoding info for 'reg +/- imm' operand.
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000557bool ARMMCCodeEmitter::
558EncodeAddrModeOpValues(const MCInst &MI, unsigned OpIdx, unsigned &Reg,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000559 unsigned &Imm, SmallVectorImpl<MCFixup> &Fixups,
560 const MCSubtargetInfo &STI) const {
Jim Grosbach1e4d9a12010-10-26 22:37:02 +0000561 const MCOperand &MO = MI.getOperand(OpIdx);
562 const MCOperand &MO1 = MI.getOperand(OpIdx + 1);
Jim Grosbach2ba03aa2010-11-01 23:45:50 +0000563
Bill Wendlingbc07a892013-06-18 07:20:20 +0000564 Reg = CTX.getRegisterInfo()->getEncodingValue(MO.getReg());
Bill Wendlinge84eb992010-11-03 01:49:29 +0000565
566 int32_t SImm = MO1.getImm();
567 bool isAdd = true;
Bill Wendling603bd8f2010-11-02 22:31:46 +0000568
Jim Grosbach505607e2010-10-28 18:34:10 +0000569 // Special value for #-0
Owen Anderson967674d2011-08-29 19:36:44 +0000570 if (SImm == INT32_MIN) {
Bill Wendlinge84eb992010-11-03 01:49:29 +0000571 SImm = 0;
Owen Anderson967674d2011-08-29 19:36:44 +0000572 isAdd = false;
573 }
Bill Wendling603bd8f2010-11-02 22:31:46 +0000574
Jim Grosbach505607e2010-10-28 18:34:10 +0000575 // Immediate is always encoded as positive. The 'U' bit controls add vs sub.
Bill Wendlinge84eb992010-11-03 01:49:29 +0000576 if (SImm < 0) {
577 SImm = -SImm;
578 isAdd = false;
579 }
Bill Wendling603bd8f2010-11-02 22:31:46 +0000580
Bill Wendlinge84eb992010-11-03 01:49:29 +0000581 Imm = SImm;
582 return isAdd;
583}
584
Bill Wendlinga7d6aa92010-12-08 23:01:43 +0000585/// getBranchTargetOpValue - Helper function to get the branch target operand,
586/// which is either an immediate or requires a fixup.
587static uint32_t getBranchTargetOpValue(const MCInst &MI, unsigned OpIdx,
588 unsigned FixupKind,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000589 SmallVectorImpl<MCFixup> &Fixups,
590 const MCSubtargetInfo &STI) {
Bill Wendlinga7d6aa92010-12-08 23:01:43 +0000591 const MCOperand &MO = MI.getOperand(OpIdx);
592
593 // If the destination is an immediate, we have nothing to do.
594 if (MO.isImm()) return MO.getImm();
595 assert(MO.isExpr() && "Unexpected branch target type!");
596 const MCExpr *Expr = MO.getExpr();
597 MCFixupKind Kind = MCFixupKind(FixupKind);
Jim Grosbach63661f82015-05-15 19:13:05 +0000598 Fixups.push_back(MCFixup::create(0, Expr, Kind, MI.getLoc()));
Bill Wendlinga7d6aa92010-12-08 23:01:43 +0000599
600 // All of the information is in the fixup.
601 return 0;
602}
603
Owen Anderson5c160fd2011-08-31 18:30:20 +0000604// Thumb BL and BLX use a strange offset encoding where bits 22 and 21 are
605// determined by negating them and XOR'ing them with bit 23.
606static int32_t encodeThumbBLOffset(int32_t offset) {
607 offset >>= 1;
608 uint32_t S = (offset & 0x800000) >> 23;
609 uint32_t J1 = (offset & 0x400000) >> 22;
610 uint32_t J2 = (offset & 0x200000) >> 21;
611 J1 = (~J1 & 0x1);
612 J2 = (~J2 & 0x1);
613 J1 ^= S;
614 J2 ^= S;
615
616 offset &= ~0x600000;
617 offset |= J1 << 22;
618 offset |= J2 << 21;
619
620 return offset;
621}
622
Bill Wendlinga7d6aa92010-12-08 23:01:43 +0000623/// getThumbBLTargetOpValue - Return encoding info for immediate branch target.
Jim Grosbach9e199462010-12-06 23:57:07 +0000624uint32_t ARMMCCodeEmitter::
625getThumbBLTargetOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000626 SmallVectorImpl<MCFixup> &Fixups,
627 const MCSubtargetInfo &STI) const {
Owen Anderson5c160fd2011-08-31 18:30:20 +0000628 const MCOperand MO = MI.getOperand(OpIdx);
629 if (MO.isExpr())
630 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_thumb_bl,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000631 Fixups, STI);
Owen Anderson5c160fd2011-08-31 18:30:20 +0000632 return encodeThumbBLOffset(MO.getImm());
Jim Grosbach9e199462010-12-06 23:57:07 +0000633}
634
Bill Wendling3392bfc2010-12-09 00:39:08 +0000635/// getThumbBLXTargetOpValue - Return encoding info for Thumb immediate
636/// BLX branch target.
637uint32_t ARMMCCodeEmitter::
638getThumbBLXTargetOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000639 SmallVectorImpl<MCFixup> &Fixups,
640 const MCSubtargetInfo &STI) const {
Owen Anderson5c160fd2011-08-31 18:30:20 +0000641 const MCOperand MO = MI.getOperand(OpIdx);
642 if (MO.isExpr())
643 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_thumb_blx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000644 Fixups, STI);
Owen Anderson5c160fd2011-08-31 18:30:20 +0000645 return encodeThumbBLOffset(MO.getImm());
Bill Wendling3392bfc2010-12-09 00:39:08 +0000646}
647
Jim Grosbache119da12010-12-10 18:21:33 +0000648/// getThumbBRTargetOpValue - Return encoding info for Thumb branch target.
649uint32_t ARMMCCodeEmitter::
650getThumbBRTargetOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000651 SmallVectorImpl<MCFixup> &Fixups,
652 const MCSubtargetInfo &STI) const {
Owen Anderson543c89f2011-08-30 22:03:20 +0000653 const MCOperand MO = MI.getOperand(OpIdx);
654 if (MO.isExpr())
Owen Anderson5c160fd2011-08-31 18:30:20 +0000655 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_thumb_br,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000656 Fixups, STI);
Owen Anderson543c89f2011-08-30 22:03:20 +0000657 return (MO.getImm() >> 1);
Jim Grosbache119da12010-12-10 18:21:33 +0000658}
659
Jim Grosbach78485ad2010-12-10 17:13:40 +0000660/// getThumbBCCTargetOpValue - Return encoding info for Thumb branch target.
661uint32_t ARMMCCodeEmitter::
662getThumbBCCTargetOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000663 SmallVectorImpl<MCFixup> &Fixups,
664 const MCSubtargetInfo &STI) const {
Owen Andersona455a0b2011-08-31 20:26:14 +0000665 const MCOperand MO = MI.getOperand(OpIdx);
666 if (MO.isExpr())
667 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_thumb_bcc,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000668 Fixups, STI);
Owen Andersona455a0b2011-08-31 20:26:14 +0000669 return (MO.getImm() >> 1);
Jim Grosbach78485ad2010-12-10 17:13:40 +0000670}
671
Jim Grosbach62b68112010-12-09 19:04:53 +0000672/// getThumbCBTargetOpValue - Return encoding info for Thumb branch target.
Bill Wendlinga7d6aa92010-12-08 23:01:43 +0000673uint32_t ARMMCCodeEmitter::
Jim Grosbach62b68112010-12-09 19:04:53 +0000674getThumbCBTargetOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000675 SmallVectorImpl<MCFixup> &Fixups,
676 const MCSubtargetInfo &STI) const {
Owen Andersonfdf3cd72011-08-30 22:15:17 +0000677 const MCOperand MO = MI.getOperand(OpIdx);
678 if (MO.isExpr())
David Woodhouse3fa98a62014-01-28 23:13:18 +0000679 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_thumb_cb, Fixups, STI);
Owen Andersonfdf3cd72011-08-30 22:15:17 +0000680 return (MO.getImm() >> 1);
Bill Wendlinga7d6aa92010-12-08 23:01:43 +0000681}
682
Jason W Kimd2e2f562011-02-04 19:47:15 +0000683/// Return true if this branch has a non-always predication
684static bool HasConditionalBranch(const MCInst &MI) {
685 int NumOp = MI.getNumOperands();
686 if (NumOp >= 2) {
687 for (int i = 0; i < NumOp-1; ++i) {
688 const MCOperand &MCOp1 = MI.getOperand(i);
689 const MCOperand &MCOp2 = MI.getOperand(i + 1);
Owen Anderson1732c2e2011-08-30 21:58:18 +0000690 if (MCOp1.isImm() && MCOp2.isReg() &&
Jason W Kimd2e2f562011-02-04 19:47:15 +0000691 (MCOp2.getReg() == 0 || MCOp2.getReg() == ARM::CPSR)) {
Owen Anderson1732c2e2011-08-30 21:58:18 +0000692 if (ARMCC::CondCodes(MCOp1.getImm()) != ARMCC::AL)
Jason W Kimd2e2f562011-02-04 19:47:15 +0000693 return true;
694 }
695 }
696 }
697 return false;
698}
699
Bill Wendlinga7d6aa92010-12-08 23:01:43 +0000700/// getBranchTargetOpValue - Return encoding info for 24-bit immediate branch
701/// target.
Jim Grosbach9d6d77a2010-11-11 18:04:49 +0000702uint32_t ARMMCCodeEmitter::
703getBranchTargetOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000704 SmallVectorImpl<MCFixup> &Fixups,
705 const MCSubtargetInfo &STI) const {
Jim Grosbachaecdd872010-12-10 23:41:10 +0000706 // FIXME: This really, really shouldn't use TargetMachine. We don't want
707 // coupling between MC and TM anywhere we can help it.
David Woodhoused2cca112014-01-28 23:13:25 +0000708 if (isThumb2(STI))
Owen Anderson578074b2010-12-13 19:31:11 +0000709 return
David Woodhouse3fa98a62014-01-28 23:13:18 +0000710 ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_t2_condbranch, Fixups, STI);
711 return getARMBranchTargetOpValue(MI, OpIdx, Fixups, STI);
Jim Grosbach9d6d77a2010-11-11 18:04:49 +0000712}
713
Jason W Kimd2e2f562011-02-04 19:47:15 +0000714/// getBranchTargetOpValue - Return encoding info for 24-bit immediate branch
715/// target.
716uint32_t ARMMCCodeEmitter::
717getARMBranchTargetOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000718 SmallVectorImpl<MCFixup> &Fixups,
719 const MCSubtargetInfo &STI) const {
Owen Anderson6c70e582011-08-26 22:54:51 +0000720 const MCOperand MO = MI.getOperand(OpIdx);
721 if (MO.isExpr()) {
Owen Anderson1732c2e2011-08-30 21:58:18 +0000722 if (HasConditionalBranch(MI))
Owen Anderson6c70e582011-08-26 22:54:51 +0000723 return ::getBranchTargetOpValue(MI, OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000724 ARM::fixup_arm_condbranch, Fixups, STI);
Owen Anderson1732c2e2011-08-30 21:58:18 +0000725 return ::getBranchTargetOpValue(MI, OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000726 ARM::fixup_arm_uncondbranch, Fixups, STI);
Owen Anderson6c70e582011-08-26 22:54:51 +0000727 }
728
729 return MO.getImm() >> 2;
Jason W Kimd2e2f562011-02-04 19:47:15 +0000730}
731
Owen Andersonb205c022011-08-26 23:32:08 +0000732uint32_t ARMMCCodeEmitter::
Jim Grosbach7b811d32012-02-27 21:36:23 +0000733getARMBLTargetOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000734 SmallVectorImpl<MCFixup> &Fixups,
735 const MCSubtargetInfo &STI) const {
Jim Grosbach7b811d32012-02-27 21:36:23 +0000736 const MCOperand MO = MI.getOperand(OpIdx);
James Molloyfb5cd602012-03-30 09:15:32 +0000737 if (MO.isExpr()) {
738 if (HasConditionalBranch(MI))
739 return ::getBranchTargetOpValue(MI, OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000740 ARM::fixup_arm_condbl, Fixups, STI);
741 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_uncondbl, Fixups, STI);
James Molloyfb5cd602012-03-30 09:15:32 +0000742 }
Jim Grosbach7b811d32012-02-27 21:36:23 +0000743
744 return MO.getImm() >> 2;
745}
746
747uint32_t ARMMCCodeEmitter::
Owen Andersonb205c022011-08-26 23:32:08 +0000748getARMBLXTargetOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000749 SmallVectorImpl<MCFixup> &Fixups,
750 const MCSubtargetInfo &STI) const {
Owen Andersonb205c022011-08-26 23:32:08 +0000751 const MCOperand MO = MI.getOperand(OpIdx);
Jim Grosbach7b811d32012-02-27 21:36:23 +0000752 if (MO.isExpr())
David Woodhouse3fa98a62014-01-28 23:13:18 +0000753 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_blx, Fixups, STI);
Jason W Kimd2e2f562011-02-04 19:47:15 +0000754
Owen Andersonb205c022011-08-26 23:32:08 +0000755 return MO.getImm() >> 1;
756}
Jason W Kimd2e2f562011-02-04 19:47:15 +0000757
Owen Anderson578074b2010-12-13 19:31:11 +0000758/// getUnconditionalBranchTargetOpValue - Return encoding info for 24-bit
759/// immediate branch target.
760uint32_t ARMMCCodeEmitter::
761getUnconditionalBranchTargetOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000762 SmallVectorImpl<MCFixup> &Fixups,
763 const MCSubtargetInfo &STI) const {
Mihai Popaad18d3c2013-08-09 10:38:32 +0000764 unsigned Val = 0;
765 const MCOperand MO = MI.getOperand(OpIdx);
766
767 if(MO.isExpr())
David Woodhouse3fa98a62014-01-28 23:13:18 +0000768 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_t2_uncondbranch, Fixups, STI);
Mihai Popaad18d3c2013-08-09 10:38:32 +0000769 else
770 Val = MO.getImm() >> 1;
771
Owen Anderson578074b2010-12-13 19:31:11 +0000772 bool I = (Val & 0x800000);
773 bool J1 = (Val & 0x400000);
774 bool J2 = (Val & 0x200000);
775 if (I ^ J1)
776 Val &= ~0x400000;
777 else
778 Val |= 0x400000;
Owen Anderson4ebf4712011-02-08 22:39:40 +0000779
Owen Anderson578074b2010-12-13 19:31:11 +0000780 if (I ^ J2)
781 Val &= ~0x200000;
782 else
783 Val |= 0x200000;
Owen Anderson4ebf4712011-02-08 22:39:40 +0000784
Owen Anderson578074b2010-12-13 19:31:11 +0000785 return Val;
786}
787
Jiangning Liu10dd40e2012-08-02 08:13:13 +0000788/// getAdrLabelOpValue - Return encoding info for 12-bit shifted-immediate
789/// ADR label target.
Jim Grosbachdc35e062010-12-01 19:47:31 +0000790uint32_t ARMMCCodeEmitter::
791getAdrLabelOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000792 SmallVectorImpl<MCFixup> &Fixups,
793 const MCSubtargetInfo &STI) const {
Owen Andersona01bcbf2011-08-26 18:09:22 +0000794 const MCOperand MO = MI.getOperand(OpIdx);
795 if (MO.isExpr())
796 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_adr_pcrel_12,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000797 Fixups, STI);
Mihai Popa0e1012f2013-08-13 14:02:13 +0000798 int64_t offset = MO.getImm();
Owen Andersona01bcbf2011-08-26 18:09:22 +0000799 uint32_t Val = 0x2000;
Jiangning Liu10dd40e2012-08-02 08:13:13 +0000800
Tim Northover29931ab2013-02-27 16:43:09 +0000801 int SoImmVal;
Jiangning Liu10dd40e2012-08-02 08:13:13 +0000802 if (offset == INT32_MIN) {
803 Val = 0x1000;
Tim Northover29931ab2013-02-27 16:43:09 +0000804 SoImmVal = 0;
Jiangning Liu10dd40e2012-08-02 08:13:13 +0000805 } else if (offset < 0) {
Owen Andersona01bcbf2011-08-26 18:09:22 +0000806 Val = 0x1000;
807 offset *= -1;
Tim Northover29931ab2013-02-27 16:43:09 +0000808 SoImmVal = ARM_AM::getSOImmVal(offset);
809 if(SoImmVal == -1) {
810 Val = 0x2000;
811 offset *= -1;
812 SoImmVal = ARM_AM::getSOImmVal(offset);
813 }
814 } else {
815 SoImmVal = ARM_AM::getSOImmVal(offset);
816 if(SoImmVal == -1) {
817 Val = 0x1000;
818 offset *= -1;
819 SoImmVal = ARM_AM::getSOImmVal(offset);
820 }
Owen Andersona01bcbf2011-08-26 18:09:22 +0000821 }
Jiangning Liu10dd40e2012-08-02 08:13:13 +0000822
Jiangning Liu10dd40e2012-08-02 08:13:13 +0000823 assert(SoImmVal != -1 && "Not a valid so_imm value!");
824
825 Val |= SoImmVal;
Owen Andersona01bcbf2011-08-26 18:09:22 +0000826 return Val;
Jim Grosbachdc35e062010-12-01 19:47:31 +0000827}
828
Jiangning Liu10dd40e2012-08-02 08:13:13 +0000829/// getT2AdrLabelOpValue - Return encoding info for 12-bit immediate ADR label
Owen Anderson6d375e52010-12-14 00:36:49 +0000830/// target.
831uint32_t ARMMCCodeEmitter::
832getT2AdrLabelOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000833 SmallVectorImpl<MCFixup> &Fixups,
834 const MCSubtargetInfo &STI) const {
Owen Andersona01bcbf2011-08-26 18:09:22 +0000835 const MCOperand MO = MI.getOperand(OpIdx);
836 if (MO.isExpr())
837 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_t2_adr_pcrel_12,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000838 Fixups, STI);
Owen Anderson5bfb0e02011-09-09 22:24:36 +0000839 int32_t Val = MO.getImm();
Jiangning Liu10dd40e2012-08-02 08:13:13 +0000840 if (Val == INT32_MIN)
841 Val = 0x1000;
842 else if (Val < 0) {
Owen Anderson5bfb0e02011-09-09 22:24:36 +0000843 Val *= -1;
844 Val |= 0x1000;
845 }
846 return Val;
Owen Anderson6d375e52010-12-14 00:36:49 +0000847}
848
Jiangning Liu10dd40e2012-08-02 08:13:13 +0000849/// getThumbAdrLabelOpValue - Return encoding info for 8-bit immediate ADR label
Jim Grosbach509dc2a2010-12-14 22:28:03 +0000850/// target.
851uint32_t ARMMCCodeEmitter::
852getThumbAdrLabelOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000853 SmallVectorImpl<MCFixup> &Fixups,
854 const MCSubtargetInfo &STI) const {
Owen Andersona01bcbf2011-08-26 18:09:22 +0000855 const MCOperand MO = MI.getOperand(OpIdx);
856 if (MO.isExpr())
857 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_thumb_adr_pcrel_10,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000858 Fixups, STI);
Owen Andersona01bcbf2011-08-26 18:09:22 +0000859 return MO.getImm();
Jim Grosbach509dc2a2010-12-14 22:28:03 +0000860}
861
Bill Wendling092a7bd2010-12-14 03:36:38 +0000862/// getThumbAddrModeRegRegOpValue - Return encoding info for 'reg + reg'
863/// operand.
Owen Andersonb0fa1272010-12-10 22:11:13 +0000864uint32_t ARMMCCodeEmitter::
Bill Wendling092a7bd2010-12-14 03:36:38 +0000865getThumbAddrModeRegRegOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000866 SmallVectorImpl<MCFixup> &,
867 const MCSubtargetInfo &STI) const {
Bill Wendling092a7bd2010-12-14 03:36:38 +0000868 // [Rn, Rm]
869 // {5-3} = Rm
870 // {2-0} = Rn
Owen Andersonb0fa1272010-12-10 22:11:13 +0000871 const MCOperand &MO1 = MI.getOperand(OpIdx);
Bill Wendling092a7bd2010-12-14 03:36:38 +0000872 const MCOperand &MO2 = MI.getOperand(OpIdx + 1);
Bill Wendlingbc07a892013-06-18 07:20:20 +0000873 unsigned Rn = CTX.getRegisterInfo()->getEncodingValue(MO1.getReg());
874 unsigned Rm = CTX.getRegisterInfo()->getEncodingValue(MO2.getReg());
Owen Andersonb0fa1272010-12-10 22:11:13 +0000875 return (Rm << 3) | Rn;
876}
877
Bill Wendlinge84eb992010-11-03 01:49:29 +0000878/// getAddrModeImm12OpValue - Return encoding info for 'reg +/- imm12' operand.
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000879uint32_t ARMMCCodeEmitter::
880getAddrModeImm12OpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000881 SmallVectorImpl<MCFixup> &Fixups,
882 const MCSubtargetInfo &STI) const {
Bill Wendlinge84eb992010-11-03 01:49:29 +0000883 // {17-13} = reg
884 // {12} = (U)nsigned (add == '1', sub == '0')
885 // {11-0} = imm12
886 unsigned Reg, Imm12;
Jim Grosbach0fb841f2010-11-04 01:12:30 +0000887 bool isAdd = true;
888 // If The first operand isn't a register, we have a label reference.
889 const MCOperand &MO = MI.getOperand(OpIdx);
Owen Anderson4ebf4712011-02-08 22:39:40 +0000890 if (!MO.isReg()) {
Bill Wendlingbc07a892013-06-18 07:20:20 +0000891 Reg = CTX.getRegisterInfo()->getEncodingValue(ARM::PC); // Rn is PC.
Jim Grosbach0fb841f2010-11-04 01:12:30 +0000892 Imm12 = 0;
893
Owen Anderson4a9eb5f2011-09-12 20:36:51 +0000894 if (MO.isExpr()) {
895 const MCExpr *Expr = MO.getExpr();
Amaury de la Vieuvilleeac0bad2013-06-18 08:13:05 +0000896 isAdd = false ; // 'U' bit is set as part of the fixup.
Jim Grosbachc4a0c292010-12-10 21:57:34 +0000897
Owen Anderson4a9eb5f2011-09-12 20:36:51 +0000898 MCFixupKind Kind;
David Woodhoused2cca112014-01-28 23:13:25 +0000899 if (isThumb2(STI))
Owen Anderson4a9eb5f2011-09-12 20:36:51 +0000900 Kind = MCFixupKind(ARM::fixup_t2_ldst_pcrel_12);
901 else
902 Kind = MCFixupKind(ARM::fixup_arm_ldst_pcrel_12);
Jim Grosbach63661f82015-05-15 19:13:05 +0000903 Fixups.push_back(MCFixup::create(0, Expr, Kind, MI.getLoc()));
Jim Grosbach0fb841f2010-11-04 01:12:30 +0000904
Owen Anderson4a9eb5f2011-09-12 20:36:51 +0000905 ++MCNumCPRelocations;
906 } else {
907 Reg = ARM::PC;
908 int32_t Offset = MO.getImm();
Mihai Popa46c1bcb2013-08-16 12:03:00 +0000909 if (Offset == INT32_MIN) {
910 Offset = 0;
911 isAdd = false;
912 } else if (Offset < 0) {
Owen Anderson4a9eb5f2011-09-12 20:36:51 +0000913 Offset *= -1;
914 isAdd = false;
915 }
916 Imm12 = Offset;
917 }
Jim Grosbach0fb841f2010-11-04 01:12:30 +0000918 } else
David Woodhouse3fa98a62014-01-28 23:13:18 +0000919 isAdd = EncodeAddrModeOpValues(MI, OpIdx, Reg, Imm12, Fixups, STI);
Bill Wendlinge84eb992010-11-03 01:49:29 +0000920
Bill Wendlinge84eb992010-11-03 01:49:29 +0000921 uint32_t Binary = Imm12 & 0xfff;
922 // Immediate is always encoded as positive. The 'U' bit controls add vs sub.
Jim Grosbach505607e2010-10-28 18:34:10 +0000923 if (isAdd)
Bill Wendlinge84eb992010-11-03 01:49:29 +0000924 Binary |= (1 << 12);
925 Binary |= (Reg << 13);
926 return Binary;
927}
928
Jim Grosbach7db8d692011-09-08 22:07:06 +0000929/// getT2Imm8s4OpValue - Return encoding info for
930/// '+/- imm8<<2' operand.
931uint32_t ARMMCCodeEmitter::
932getT2Imm8s4OpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000933 SmallVectorImpl<MCFixup> &Fixups,
934 const MCSubtargetInfo &STI) const {
Jim Grosbach7db8d692011-09-08 22:07:06 +0000935 // FIXME: The immediate operand should have already been encoded like this
936 // before ever getting here. The encoder method should just need to combine
937 // the MI operands for the register and the offset into a single
938 // representation for the complex operand in the .td file. This isn't just
939 // style, unfortunately. As-is, we can't represent the distinct encoding
940 // for #-0.
941
942 // {8} = (U)nsigned (add == '1', sub == '0')
943 // {7-0} = imm8
944 int32_t Imm8 = MI.getOperand(OpIdx).getImm();
945 bool isAdd = Imm8 >= 0;
946
947 // Immediate is always encoded as positive. The 'U' bit controls add vs sub.
948 if (Imm8 < 0)
Richard Smithf3c75f72012-08-24 00:35:46 +0000949 Imm8 = -(uint32_t)Imm8;
Jim Grosbach7db8d692011-09-08 22:07:06 +0000950
951 // Scaled by 4.
952 Imm8 /= 4;
953
954 uint32_t Binary = Imm8 & 0xff;
955 // Immediate is always encoded as positive. The 'U' bit controls add vs sub.
956 if (isAdd)
957 Binary |= (1 << 8);
958 return Binary;
959}
960
Owen Anderson943fb602010-12-01 19:18:46 +0000961/// getT2AddrModeImm8s4OpValue - Return encoding info for
962/// 'reg +/- imm8<<2' operand.
963uint32_t ARMMCCodeEmitter::
964getT2AddrModeImm8s4OpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000965 SmallVectorImpl<MCFixup> &Fixups,
966 const MCSubtargetInfo &STI) const {
Jim Grosbache69f7242010-12-10 21:05:07 +0000967 // {12-9} = reg
968 // {8} = (U)nsigned (add == '1', sub == '0')
969 // {7-0} = imm8
Owen Anderson943fb602010-12-01 19:18:46 +0000970 unsigned Reg, Imm8;
971 bool isAdd = true;
972 // If The first operand isn't a register, we have a label reference.
973 const MCOperand &MO = MI.getOperand(OpIdx);
974 if (!MO.isReg()) {
Bill Wendlingbc07a892013-06-18 07:20:20 +0000975 Reg = CTX.getRegisterInfo()->getEncodingValue(ARM::PC); // Rn is PC.
Owen Anderson943fb602010-12-01 19:18:46 +0000976 Imm8 = 0;
977 isAdd = false ; // 'U' bit is set as part of the fixup.
978
979 assert(MO.isExpr() && "Unexpected machine operand type!");
980 const MCExpr *Expr = MO.getExpr();
Jim Grosbach8648c102011-12-19 23:06:24 +0000981 MCFixupKind Kind = MCFixupKind(ARM::fixup_t2_pcrel_10);
Jim Grosbach63661f82015-05-15 19:13:05 +0000982 Fixups.push_back(MCFixup::create(0, Expr, Kind, MI.getLoc()));
Owen Anderson943fb602010-12-01 19:18:46 +0000983
984 ++MCNumCPRelocations;
985 } else
David Woodhouse3fa98a62014-01-28 23:13:18 +0000986 isAdd = EncodeAddrModeOpValues(MI, OpIdx, Reg, Imm8, Fixups, STI);
Owen Anderson943fb602010-12-01 19:18:46 +0000987
Jim Grosbach7db8d692011-09-08 22:07:06 +0000988 // FIXME: The immediate operand should have already been encoded like this
989 // before ever getting here. The encoder method should just need to combine
990 // the MI operands for the register and the offset into a single
991 // representation for the complex operand in the .td file. This isn't just
992 // style, unfortunately. As-is, we can't represent the distinct encoding
993 // for #-0.
Owen Anderson943fb602010-12-01 19:18:46 +0000994 uint32_t Binary = (Imm8 >> 2) & 0xff;
995 // Immediate is always encoded as positive. The 'U' bit controls add vs sub.
996 if (isAdd)
Jim Grosbache69f7242010-12-10 21:05:07 +0000997 Binary |= (1 << 8);
Owen Anderson943fb602010-12-01 19:18:46 +0000998 Binary |= (Reg << 9);
999 return Binary;
1000}
1001
Jim Grosbacha05627e2011-09-09 18:37:27 +00001002/// getT2AddrModeImm0_1020s4OpValue - Return encoding info for
1003/// 'reg + imm8<<2' operand.
1004uint32_t ARMMCCodeEmitter::
1005getT2AddrModeImm0_1020s4OpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001006 SmallVectorImpl<MCFixup> &Fixups,
1007 const MCSubtargetInfo &STI) const {
Jim Grosbacha05627e2011-09-09 18:37:27 +00001008 // {11-8} = reg
1009 // {7-0} = imm8
1010 const MCOperand &MO = MI.getOperand(OpIdx);
1011 const MCOperand &MO1 = MI.getOperand(OpIdx + 1);
Bill Wendlingbc07a892013-06-18 07:20:20 +00001012 unsigned Reg = CTX.getRegisterInfo()->getEncodingValue(MO.getReg());
Jim Grosbacha05627e2011-09-09 18:37:27 +00001013 unsigned Imm8 = MO1.getImm();
1014 return (Reg << 8) | Imm8;
1015}
1016
Evan Cheng965b3c72011-01-13 07:58:56 +00001017uint32_t
1018ARMMCCodeEmitter::getHiLo16ImmOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001019 SmallVectorImpl<MCFixup> &Fixups,
1020 const MCSubtargetInfo &STI) const {
Jason W Kim5a97bd82010-11-18 23:37:15 +00001021 // {20-16} = imm{15-12}
1022 // {11-0} = imm{11-0}
Jim Grosbachc4a0c292010-12-10 21:57:34 +00001023 const MCOperand &MO = MI.getOperand(OpIdx);
Evan Cheng965b3c72011-01-13 07:58:56 +00001024 if (MO.isImm())
1025 // Hi / lo 16 bits already extracted during earlier passes.
Jason W Kim5a97bd82010-11-18 23:37:15 +00001026 return static_cast<unsigned>(MO.getImm());
Evan Cheng965b3c72011-01-13 07:58:56 +00001027
1028 // Handle :upper16: and :lower16: assembly prefixes.
1029 const MCExpr *E = MO.getExpr();
Jim Grosbach70bed4f2012-05-01 20:43:21 +00001030 MCFixupKind Kind;
Evan Cheng965b3c72011-01-13 07:58:56 +00001031 if (E->getKind() == MCExpr::Target) {
1032 const ARMMCExpr *ARM16Expr = cast<ARMMCExpr>(E);
1033 E = ARM16Expr->getSubExpr();
1034
Saleem Abdulrasool2d48ede2014-01-11 23:03:48 +00001035 if (const MCConstantExpr *MCE = dyn_cast<MCConstantExpr>(E)) {
1036 const int64_t Value = MCE->getValue();
1037 if (Value > UINT32_MAX)
1038 report_fatal_error("constant value truncated (limited to 32-bit)");
1039
1040 switch (ARM16Expr->getKind()) {
1041 case ARMMCExpr::VK_ARM_HI16:
1042 return (int32_t(Value) & 0xffff0000) >> 16;
1043 case ARMMCExpr::VK_ARM_LO16:
1044 return (int32_t(Value) & 0x0000ffff);
1045 default: llvm_unreachable("Unsupported ARMFixup");
1046 }
1047 }
1048
Evan Cheng965b3c72011-01-13 07:58:56 +00001049 switch (ARM16Expr->getKind()) {
Craig Toppere55c5562012-02-07 02:50:20 +00001050 default: llvm_unreachable("Unsupported ARMFixup");
Evan Cheng965b3c72011-01-13 07:58:56 +00001051 case ARMMCExpr::VK_ARM_HI16:
Rafael Espindola5904e122014-03-29 06:26:49 +00001052 Kind = MCFixupKind(isThumb2(STI) ? ARM::fixup_t2_movt_hi16
1053 : ARM::fixup_arm_movt_hi16);
Jason W Kim5a97bd82010-11-18 23:37:15 +00001054 break;
Evan Cheng965b3c72011-01-13 07:58:56 +00001055 case ARMMCExpr::VK_ARM_LO16:
Rafael Espindola5904e122014-03-29 06:26:49 +00001056 Kind = MCFixupKind(isThumb2(STI) ? ARM::fixup_t2_movw_lo16
1057 : ARM::fixup_arm_movw_lo16);
Jason W Kim5a97bd82010-11-18 23:37:15 +00001058 break;
Jason W Kim5a97bd82010-11-18 23:37:15 +00001059 }
Saleem Abdulrasool84b952b2014-04-27 03:48:22 +00001060
Jim Grosbach63661f82015-05-15 19:13:05 +00001061 Fixups.push_back(MCFixup::create(0, E, Kind, MI.getLoc()));
Jason W Kim5a97bd82010-11-18 23:37:15 +00001062 return 0;
Jim Grosbach70bed4f2012-05-01 20:43:21 +00001063 }
1064 // If the expression doesn't have :upper16: or :lower16: on it,
Kevin Enderbyb7e51f62014-04-18 23:06:39 +00001065 // it's just a plain immediate expression, previously those evaluated to
Jim Grosbach70bed4f2012-05-01 20:43:21 +00001066 // the lower 16 bits of the expression regardless of whether
Kevin Enderbyb7e51f62014-04-18 23:06:39 +00001067 // we have a movt or a movw, but that led to misleadingly results.
1068 // This is now disallowed in the the AsmParser in validateInstruction()
1069 // so this should never happen.
Craig Topper35b2f752014-06-19 06:10:58 +00001070 llvm_unreachable("expression without :upper16: or :lower16:");
Jason W Kim5a97bd82010-11-18 23:37:15 +00001071}
1072
1073uint32_t ARMMCCodeEmitter::
Jim Grosbachdbfb5ed2010-11-09 17:20:53 +00001074getLdStSORegOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001075 SmallVectorImpl<MCFixup> &Fixups,
1076 const MCSubtargetInfo &STI) const {
Jim Grosbachdbfb5ed2010-11-09 17:20:53 +00001077 const MCOperand &MO = MI.getOperand(OpIdx);
1078 const MCOperand &MO1 = MI.getOperand(OpIdx+1);
1079 const MCOperand &MO2 = MI.getOperand(OpIdx+2);
Bill Wendlingbc07a892013-06-18 07:20:20 +00001080 unsigned Rn = CTX.getRegisterInfo()->getEncodingValue(MO.getReg());
1081 unsigned Rm = CTX.getRegisterInfo()->getEncodingValue(MO1.getReg());
Jim Grosbachdbfb5ed2010-11-09 17:20:53 +00001082 unsigned ShImm = ARM_AM::getAM2Offset(MO2.getImm());
1083 bool isAdd = ARM_AM::getAM2Op(MO2.getImm()) == ARM_AM::add;
Jim Grosbach38b469e2010-11-15 20:47:07 +00001084 ARM_AM::ShiftOpc ShOp = ARM_AM::getAM2ShiftOpc(MO2.getImm());
1085 unsigned SBits = getShiftOp(ShOp);
Jim Grosbachdbfb5ed2010-11-09 17:20:53 +00001086
Tim Northover0c97e762012-09-22 11:18:12 +00001087 // While "lsr #32" and "asr #32" exist, they are encoded with a 0 in the shift
1088 // amount. However, it would be an easy mistake to make so check here.
1089 assert((ShImm & ~0x1f) == 0 && "Out of range shift amount");
1090
Jim Grosbachdbfb5ed2010-11-09 17:20:53 +00001091 // {16-13} = Rn
1092 // {12} = isAdd
1093 // {11-0} = shifter
1094 // {3-0} = Rm
1095 // {4} = 0
1096 // {6-5} = type
1097 // {11-7} = imm
Jim Grosbach607efcb2010-11-11 01:09:40 +00001098 uint32_t Binary = Rm;
Jim Grosbachdbfb5ed2010-11-09 17:20:53 +00001099 Binary |= Rn << 13;
1100 Binary |= SBits << 5;
1101 Binary |= ShImm << 7;
1102 if (isAdd)
1103 Binary |= 1 << 12;
1104 return Binary;
1105}
1106
Jim Grosbach607efcb2010-11-11 01:09:40 +00001107uint32_t ARMMCCodeEmitter::
Jim Grosbach38b469e2010-11-15 20:47:07 +00001108getAddrMode2OpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001109 SmallVectorImpl<MCFixup> &Fixups,
1110 const MCSubtargetInfo &STI) const {
Jim Grosbach38b469e2010-11-15 20:47:07 +00001111 // {17-14} Rn
1112 // {13} 1 == imm12, 0 == Rm
1113 // {12} isAdd
1114 // {11-0} imm12/Rm
1115 const MCOperand &MO = MI.getOperand(OpIdx);
Bill Wendlingbc07a892013-06-18 07:20:20 +00001116 unsigned Rn = CTX.getRegisterInfo()->getEncodingValue(MO.getReg());
David Woodhouse3fa98a62014-01-28 23:13:18 +00001117 uint32_t Binary = getAddrMode2OffsetOpValue(MI, OpIdx + 1, Fixups, STI);
Jim Grosbach38b469e2010-11-15 20:47:07 +00001118 Binary |= Rn << 14;
1119 return Binary;
1120}
1121
1122uint32_t ARMMCCodeEmitter::
1123getAddrMode2OffsetOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001124 SmallVectorImpl<MCFixup> &Fixups,
1125 const MCSubtargetInfo &STI) const {
Jim Grosbach38b469e2010-11-15 20:47:07 +00001126 // {13} 1 == imm12, 0 == Rm
1127 // {12} isAdd
1128 // {11-0} imm12/Rm
1129 const MCOperand &MO = MI.getOperand(OpIdx);
1130 const MCOperand &MO1 = MI.getOperand(OpIdx+1);
1131 unsigned Imm = MO1.getImm();
1132 bool isAdd = ARM_AM::getAM2Op(Imm) == ARM_AM::add;
1133 bool isReg = MO.getReg() != 0;
1134 uint32_t Binary = ARM_AM::getAM2Offset(Imm);
1135 // if reg +/- reg, Rm will be non-zero. Otherwise, we have reg +/- imm12
1136 if (isReg) {
1137 ARM_AM::ShiftOpc ShOp = ARM_AM::getAM2ShiftOpc(Imm);
1138 Binary <<= 7; // Shift amount is bits [11:7]
1139 Binary |= getShiftOp(ShOp) << 5; // Shift type is bits [6:5]
Bill Wendlingbc07a892013-06-18 07:20:20 +00001140 Binary |= CTX.getRegisterInfo()->getEncodingValue(MO.getReg()); // Rm is bits [3:0]
Jim Grosbach38b469e2010-11-15 20:47:07 +00001141 }
1142 return Binary | (isAdd << 12) | (isReg << 13);
1143}
1144
1145uint32_t ARMMCCodeEmitter::
Jim Grosbachd3595712011-08-03 23:50:40 +00001146getPostIdxRegOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001147 SmallVectorImpl<MCFixup> &Fixups,
1148 const MCSubtargetInfo &STI) const {
Jim Grosbachd3595712011-08-03 23:50:40 +00001149 // {4} isAdd
1150 // {3-0} Rm
1151 const MCOperand &MO = MI.getOperand(OpIdx);
1152 const MCOperand &MO1 = MI.getOperand(OpIdx+1);
Jim Grosbacha70fbfd52011-08-05 16:11:38 +00001153 bool isAdd = MO1.getImm() != 0;
Bill Wendlingbc07a892013-06-18 07:20:20 +00001154 return CTX.getRegisterInfo()->getEncodingValue(MO.getReg()) | (isAdd << 4);
Jim Grosbachd3595712011-08-03 23:50:40 +00001155}
1156
1157uint32_t ARMMCCodeEmitter::
Jim Grosbach68685e62010-11-11 16:55:29 +00001158getAddrMode3OffsetOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001159 SmallVectorImpl<MCFixup> &Fixups,
1160 const MCSubtargetInfo &STI) const {
Jim Grosbach68685e62010-11-11 16:55:29 +00001161 // {9} 1 == imm8, 0 == Rm
1162 // {8} isAdd
1163 // {7-4} imm7_4/zero
1164 // {3-0} imm3_0/Rm
1165 const MCOperand &MO = MI.getOperand(OpIdx);
1166 const MCOperand &MO1 = MI.getOperand(OpIdx+1);
1167 unsigned Imm = MO1.getImm();
1168 bool isAdd = ARM_AM::getAM3Op(Imm) == ARM_AM::add;
1169 bool isImm = MO.getReg() == 0;
1170 uint32_t Imm8 = ARM_AM::getAM3Offset(Imm);
1171 // if reg +/- reg, Rm will be non-zero. Otherwise, we have reg +/- imm8
1172 if (!isImm)
Bill Wendlingbc07a892013-06-18 07:20:20 +00001173 Imm8 = CTX.getRegisterInfo()->getEncodingValue(MO.getReg());
Jim Grosbach68685e62010-11-11 16:55:29 +00001174 return Imm8 | (isAdd << 8) | (isImm << 9);
1175}
1176
1177uint32_t ARMMCCodeEmitter::
Jim Grosbach607efcb2010-11-11 01:09:40 +00001178getAddrMode3OpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001179 SmallVectorImpl<MCFixup> &Fixups,
1180 const MCSubtargetInfo &STI) const {
Jim Grosbach607efcb2010-11-11 01:09:40 +00001181 // {13} 1 == imm8, 0 == Rm
1182 // {12-9} Rn
1183 // {8} isAdd
1184 // {7-4} imm7_4/zero
1185 // {3-0} imm3_0/Rm
1186 const MCOperand &MO = MI.getOperand(OpIdx);
1187 const MCOperand &MO1 = MI.getOperand(OpIdx+1);
1188 const MCOperand &MO2 = MI.getOperand(OpIdx+2);
Jim Grosbach8648c102011-12-19 23:06:24 +00001189
1190 // If The first operand isn't a register, we have a label reference.
1191 if (!MO.isReg()) {
Bill Wendlingbc07a892013-06-18 07:20:20 +00001192 unsigned Rn = CTX.getRegisterInfo()->getEncodingValue(ARM::PC); // Rn is PC.
Jim Grosbach8648c102011-12-19 23:06:24 +00001193
1194 assert(MO.isExpr() && "Unexpected machine operand type!");
1195 const MCExpr *Expr = MO.getExpr();
1196 MCFixupKind Kind = MCFixupKind(ARM::fixup_arm_pcrel_10_unscaled);
Jim Grosbach63661f82015-05-15 19:13:05 +00001197 Fixups.push_back(MCFixup::create(0, Expr, Kind, MI.getLoc()));
Jim Grosbach8648c102011-12-19 23:06:24 +00001198
1199 ++MCNumCPRelocations;
1200 return (Rn << 9) | (1 << 13);
1201 }
Bill Wendlingbc07a892013-06-18 07:20:20 +00001202 unsigned Rn = CTX.getRegisterInfo()->getEncodingValue(MO.getReg());
Jim Grosbach607efcb2010-11-11 01:09:40 +00001203 unsigned Imm = MO2.getImm();
1204 bool isAdd = ARM_AM::getAM3Op(Imm) == ARM_AM::add;
1205 bool isImm = MO1.getReg() == 0;
1206 uint32_t Imm8 = ARM_AM::getAM3Offset(Imm);
1207 // if reg +/- reg, Rm will be non-zero. Otherwise, we have reg +/- imm8
1208 if (!isImm)
Bill Wendlingbc07a892013-06-18 07:20:20 +00001209 Imm8 = CTX.getRegisterInfo()->getEncodingValue(MO1.getReg());
Jim Grosbach607efcb2010-11-11 01:09:40 +00001210 return (Rn << 9) | Imm8 | (isAdd << 8) | (isImm << 13);
1211}
1212
Bill Wendling8a6449c2010-12-08 01:57:09 +00001213/// getAddrModeThumbSPOpValue - Encode the t_addrmode_sp operands.
Jim Grosbach49bcd6f2010-12-07 21:50:47 +00001214uint32_t ARMMCCodeEmitter::
1215getAddrModeThumbSPOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001216 SmallVectorImpl<MCFixup> &Fixups,
1217 const MCSubtargetInfo &STI) const {
Jim Grosbach49bcd6f2010-12-07 21:50:47 +00001218 // [SP, #imm]
1219 // {7-0} = imm8
Jim Grosbach49bcd6f2010-12-07 21:50:47 +00001220 const MCOperand &MO1 = MI.getOperand(OpIdx + 1);
Bill Wendling8a6449c2010-12-08 01:57:09 +00001221 assert(MI.getOperand(OpIdx).getReg() == ARM::SP &&
1222 "Unexpected base register!");
Bill Wendling7d3bde92010-12-15 23:32:27 +00001223
Jim Grosbach49bcd6f2010-12-07 21:50:47 +00001224 // The immediate is already shifted for the implicit zeroes, so no change
1225 // here.
1226 return MO1.getImm() & 0xff;
1227}
1228
Bill Wendling092a7bd2010-12-14 03:36:38 +00001229/// getAddrModeISOpValue - Encode the t_addrmode_is# operands.
Bill Wendling0c4838b2010-12-09 21:49:07 +00001230uint32_t ARMMCCodeEmitter::
Bill Wendling092a7bd2010-12-14 03:36:38 +00001231getAddrModeISOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001232 SmallVectorImpl<MCFixup> &Fixups,
1233 const MCSubtargetInfo &STI) const {
Bill Wendling811c9362010-11-30 07:44:32 +00001234 // [Rn, #imm]
1235 // {7-3} = imm5
1236 // {2-0} = Rn
1237 const MCOperand &MO = MI.getOperand(OpIdx);
1238 const MCOperand &MO1 = MI.getOperand(OpIdx + 1);
Bill Wendlingbc07a892013-06-18 07:20:20 +00001239 unsigned Rn = CTX.getRegisterInfo()->getEncodingValue(MO.getReg());
Matt Beaumont-Gaye9afc742010-12-16 01:34:26 +00001240 unsigned Imm5 = MO1.getImm();
Bill Wendling0c4838b2010-12-09 21:49:07 +00001241 return ((Imm5 & 0x1f) << 3) | Rn;
Bill Wendlinga9e3df72010-11-30 22:57:21 +00001242}
1243
Bill Wendling8a6449c2010-12-08 01:57:09 +00001244/// getAddrModePCOpValue - Return encoding for t_addrmode_pc operands.
1245uint32_t ARMMCCodeEmitter::
1246getAddrModePCOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001247 SmallVectorImpl<MCFixup> &Fixups,
1248 const MCSubtargetInfo &STI) const {
Owen Andersond16fb432011-08-30 22:10:03 +00001249 const MCOperand MO = MI.getOperand(OpIdx);
1250 if (MO.isExpr())
David Woodhouse3fa98a62014-01-28 23:13:18 +00001251 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_thumb_cp, Fixups, STI);
Owen Andersond16fb432011-08-30 22:10:03 +00001252 return (MO.getImm() >> 2);
Bill Wendling8a6449c2010-12-08 01:57:09 +00001253}
1254
Jim Grosbach30eb6c72010-12-01 21:09:40 +00001255/// getAddrMode5OpValue - Return encoding info for 'reg +/- imm10' operand.
Jim Grosbach2eed7a12010-11-03 23:52:49 +00001256uint32_t ARMMCCodeEmitter::
1257getAddrMode5OpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001258 SmallVectorImpl<MCFixup> &Fixups,
1259 const MCSubtargetInfo &STI) const {
Bill Wendlinge84eb992010-11-03 01:49:29 +00001260 // {12-9} = reg
1261 // {8} = (U)nsigned (add == '1', sub == '0')
1262 // {7-0} = imm8
1263 unsigned Reg, Imm8;
Jim Grosbach2d3e5c12010-11-30 22:40:36 +00001264 bool isAdd;
Jim Grosbach0fb841f2010-11-04 01:12:30 +00001265 // If The first operand isn't a register, we have a label reference.
1266 const MCOperand &MO = MI.getOperand(OpIdx);
1267 if (!MO.isReg()) {
Bill Wendlingbc07a892013-06-18 07:20:20 +00001268 Reg = CTX.getRegisterInfo()->getEncodingValue(ARM::PC); // Rn is PC.
Jim Grosbach0fb841f2010-11-04 01:12:30 +00001269 Imm8 = 0;
Jim Grosbach2d3e5c12010-11-30 22:40:36 +00001270 isAdd = false; // 'U' bit is handled as part of the fixup.
Jim Grosbach0fb841f2010-11-04 01:12:30 +00001271
1272 assert(MO.isExpr() && "Unexpected machine operand type!");
1273 const MCExpr *Expr = MO.getExpr();
Owen Anderson0f7142d2010-12-08 00:18:36 +00001274 MCFixupKind Kind;
David Woodhoused2cca112014-01-28 23:13:25 +00001275 if (isThumb2(STI))
Owen Anderson0f7142d2010-12-08 00:18:36 +00001276 Kind = MCFixupKind(ARM::fixup_t2_pcrel_10);
1277 else
1278 Kind = MCFixupKind(ARM::fixup_arm_pcrel_10);
Jim Grosbach63661f82015-05-15 19:13:05 +00001279 Fixups.push_back(MCFixup::create(0, Expr, Kind, MI.getLoc()));
Jim Grosbach0fb841f2010-11-04 01:12:30 +00001280
1281 ++MCNumCPRelocations;
Jim Grosbach2d3e5c12010-11-30 22:40:36 +00001282 } else {
David Woodhouse3fa98a62014-01-28 23:13:18 +00001283 EncodeAddrModeOpValues(MI, OpIdx, Reg, Imm8, Fixups, STI);
Jim Grosbach2d3e5c12010-11-30 22:40:36 +00001284 isAdd = ARM_AM::getAM5Op(Imm8) == ARM_AM::add;
1285 }
Bill Wendlinge84eb992010-11-03 01:49:29 +00001286
Bill Wendlinge84eb992010-11-03 01:49:29 +00001287 uint32_t Binary = ARM_AM::getAM5Offset(Imm8);
1288 // Immediate is always encoded as positive. The 'U' bit controls add vs sub.
Jim Grosbach2d3e5c12010-11-30 22:40:36 +00001289 if (isAdd)
Bill Wendlinge84eb992010-11-03 01:49:29 +00001290 Binary |= (1 << 8);
1291 Binary |= (Reg << 9);
Jim Grosbach1e4d9a12010-10-26 22:37:02 +00001292 return Binary;
1293}
1294
Jim Grosbach2eed7a12010-11-03 23:52:49 +00001295unsigned ARMMCCodeEmitter::
Owen Anderson04912702011-07-21 23:38:37 +00001296getSORegRegOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001297 SmallVectorImpl<MCFixup> &Fixups,
1298 const MCSubtargetInfo &STI) const {
Bill Wendlingf9eebb52010-11-02 22:53:11 +00001299 // Sub-operands are [reg, reg, imm]. The first register is Rm, the reg to be
Owen Anderson7c965e72011-07-28 17:56:55 +00001300 // shifted. The second is Rs, the amount to shift by, and the third specifies
1301 // the type of the shift.
Jim Grosbach49b0c452010-11-03 22:03:20 +00001302 //
Jim Grosbachefd53692010-10-12 23:53:58 +00001303 // {3-0} = Rm.
Owen Anderson7c965e72011-07-28 17:56:55 +00001304 // {4} = 1
Jim Grosbachefd53692010-10-12 23:53:58 +00001305 // {6-5} = type
Owen Anderson7c965e72011-07-28 17:56:55 +00001306 // {11-8} = Rs
1307 // {7} = 0
Jim Grosbachefd53692010-10-12 23:53:58 +00001308
1309 const MCOperand &MO = MI.getOperand(OpIdx);
1310 const MCOperand &MO1 = MI.getOperand(OpIdx + 1);
1311 const MCOperand &MO2 = MI.getOperand(OpIdx + 2);
1312 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO2.getImm());
1313
1314 // Encode Rm.
Bill Wendlingbc07a892013-06-18 07:20:20 +00001315 unsigned Binary = CTX.getRegisterInfo()->getEncodingValue(MO.getReg());
Jim Grosbachefd53692010-10-12 23:53:58 +00001316
1317 // Encode the shift opcode.
1318 unsigned SBits = 0;
1319 unsigned Rs = MO1.getReg();
1320 if (Rs) {
1321 // Set shift operand (bit[7:4]).
1322 // LSL - 0001
1323 // LSR - 0011
1324 // ASR - 0101
1325 // ROR - 0111
Jim Grosbachefd53692010-10-12 23:53:58 +00001326 switch (SOpc) {
1327 default: llvm_unreachable("Unknown shift opc!");
1328 case ARM_AM::lsl: SBits = 0x1; break;
1329 case ARM_AM::lsr: SBits = 0x3; break;
1330 case ARM_AM::asr: SBits = 0x5; break;
1331 case ARM_AM::ror: SBits = 0x7; break;
Jim Grosbachefd53692010-10-12 23:53:58 +00001332 }
1333 }
Bill Wendlingf9eebb52010-11-02 22:53:11 +00001334
Jim Grosbachefd53692010-10-12 23:53:58 +00001335 Binary |= SBits << 4;
Jim Grosbachefd53692010-10-12 23:53:58 +00001336
Owen Anderson7c965e72011-07-28 17:56:55 +00001337 // Encode the shift operation Rs.
Owen Anderson04912702011-07-21 23:38:37 +00001338 // Encode Rs bit[11:8].
1339 assert(ARM_AM::getSORegOffset(MO2.getImm()) == 0);
Bill Wendlingbc07a892013-06-18 07:20:20 +00001340 return Binary | (CTX.getRegisterInfo()->getEncodingValue(Rs) << ARMII::RegRsShift);
Owen Anderson04912702011-07-21 23:38:37 +00001341}
1342
1343unsigned ARMMCCodeEmitter::
1344getSORegImmOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001345 SmallVectorImpl<MCFixup> &Fixups,
1346 const MCSubtargetInfo &STI) const {
Owen Anderson7c965e72011-07-28 17:56:55 +00001347 // Sub-operands are [reg, imm]. The first register is Rm, the reg to be
1348 // shifted. The second is the amount to shift by.
Owen Anderson04912702011-07-21 23:38:37 +00001349 //
1350 // {3-0} = Rm.
Owen Anderson7c965e72011-07-28 17:56:55 +00001351 // {4} = 0
Owen Anderson04912702011-07-21 23:38:37 +00001352 // {6-5} = type
Owen Anderson7c965e72011-07-28 17:56:55 +00001353 // {11-7} = imm
Owen Anderson04912702011-07-21 23:38:37 +00001354
1355 const MCOperand &MO = MI.getOperand(OpIdx);
1356 const MCOperand &MO1 = MI.getOperand(OpIdx + 1);
1357 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO1.getImm());
1358
1359 // Encode Rm.
Bill Wendlingbc07a892013-06-18 07:20:20 +00001360 unsigned Binary = CTX.getRegisterInfo()->getEncodingValue(MO.getReg());
Owen Anderson04912702011-07-21 23:38:37 +00001361
1362 // Encode the shift opcode.
1363 unsigned SBits = 0;
1364
1365 // Set shift operand (bit[6:4]).
1366 // LSL - 000
1367 // LSR - 010
1368 // ASR - 100
1369 // ROR - 110
1370 // RRX - 110 and bit[11:8] clear.
1371 switch (SOpc) {
1372 default: llvm_unreachable("Unknown shift opc!");
1373 case ARM_AM::lsl: SBits = 0x0; break;
1374 case ARM_AM::lsr: SBits = 0x2; break;
1375 case ARM_AM::asr: SBits = 0x4; break;
1376 case ARM_AM::ror: SBits = 0x6; break;
1377 case ARM_AM::rrx:
1378 Binary |= 0x60;
1379 return Binary;
Jim Grosbachefd53692010-10-12 23:53:58 +00001380 }
1381
1382 // Encode shift_imm bit[11:7].
Owen Anderson04912702011-07-21 23:38:37 +00001383 Binary |= SBits << 4;
Owen Andersone33c95d2011-08-11 18:41:59 +00001384 unsigned Offset = ARM_AM::getSORegOffset(MO1.getImm());
Richard Bartonba5b0cc2012-04-25 18:00:18 +00001385 assert(Offset < 32 && "Offset must be in range 0-31!");
Owen Andersone33c95d2011-08-11 18:41:59 +00001386 return Binary | (Offset << 7);
Jim Grosbachefd53692010-10-12 23:53:58 +00001387}
1388
Owen Anderson04912702011-07-21 23:38:37 +00001389
Jim Grosbach2eed7a12010-11-03 23:52:49 +00001390unsigned ARMMCCodeEmitter::
Owen Anderson50d662b2010-11-29 22:44:32 +00001391getT2AddrModeSORegOpValue(const MCInst &MI, unsigned OpNum,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001392 SmallVectorImpl<MCFixup> &Fixups,
1393 const MCSubtargetInfo &STI) const {
Owen Anderson50d662b2010-11-29 22:44:32 +00001394 const MCOperand &MO1 = MI.getOperand(OpNum);
1395 const MCOperand &MO2 = MI.getOperand(OpNum+1);
Jim Grosbachc4a0c292010-12-10 21:57:34 +00001396 const MCOperand &MO3 = MI.getOperand(OpNum+2);
1397
Owen Anderson50d662b2010-11-29 22:44:32 +00001398 // Encoded as [Rn, Rm, imm].
1399 // FIXME: Needs fixup support.
Bill Wendlingbc07a892013-06-18 07:20:20 +00001400 unsigned Value = CTX.getRegisterInfo()->getEncodingValue(MO1.getReg());
Owen Anderson50d662b2010-11-29 22:44:32 +00001401 Value <<= 4;
Bill Wendlingbc07a892013-06-18 07:20:20 +00001402 Value |= CTX.getRegisterInfo()->getEncodingValue(MO2.getReg());
Owen Anderson50d662b2010-11-29 22:44:32 +00001403 Value <<= 2;
1404 Value |= MO3.getImm();
Jim Grosbachc4a0c292010-12-10 21:57:34 +00001405
Owen Anderson50d662b2010-11-29 22:44:32 +00001406 return Value;
1407}
1408
1409unsigned ARMMCCodeEmitter::
1410getT2AddrModeImm8OpValue(const MCInst &MI, unsigned OpNum,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001411 SmallVectorImpl<MCFixup> &Fixups,
1412 const MCSubtargetInfo &STI) const {
Owen Anderson50d662b2010-11-29 22:44:32 +00001413 const MCOperand &MO1 = MI.getOperand(OpNum);
1414 const MCOperand &MO2 = MI.getOperand(OpNum+1);
1415
1416 // FIXME: Needs fixup support.
Bill Wendlingbc07a892013-06-18 07:20:20 +00001417 unsigned Value = CTX.getRegisterInfo()->getEncodingValue(MO1.getReg());
Jim Grosbachc4a0c292010-12-10 21:57:34 +00001418
Owen Anderson50d662b2010-11-29 22:44:32 +00001419 // Even though the immediate is 8 bits long, we need 9 bits in order
1420 // to represent the (inverse of the) sign bit.
1421 Value <<= 9;
Owen Andersone22c7322010-11-30 00:14:31 +00001422 int32_t tmp = (int32_t)MO2.getImm();
1423 if (tmp < 0)
1424 tmp = abs(tmp);
1425 else
1426 Value |= 256; // Set the ADD bit
1427 Value |= tmp & 255;
1428 return Value;
1429}
1430
1431unsigned ARMMCCodeEmitter::
1432getT2AddrModeImm8OffsetOpValue(const MCInst &MI, unsigned OpNum,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001433 SmallVectorImpl<MCFixup> &Fixups,
1434 const MCSubtargetInfo &STI) const {
Owen Andersone22c7322010-11-30 00:14:31 +00001435 const MCOperand &MO1 = MI.getOperand(OpNum);
1436
1437 // FIXME: Needs fixup support.
1438 unsigned Value = 0;
1439 int32_t tmp = (int32_t)MO1.getImm();
1440 if (tmp < 0)
1441 tmp = abs(tmp);
1442 else
1443 Value |= 256; // Set the ADD bit
1444 Value |= tmp & 255;
Owen Anderson50d662b2010-11-29 22:44:32 +00001445 return Value;
1446}
1447
1448unsigned ARMMCCodeEmitter::
Owen Anderson299382e2010-11-30 19:19:31 +00001449getT2AddrModeImm12OffsetOpValue(const MCInst &MI, unsigned OpNum,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001450 SmallVectorImpl<MCFixup> &Fixups,
1451 const MCSubtargetInfo &STI) const {
Owen Anderson299382e2010-11-30 19:19:31 +00001452 const MCOperand &MO1 = MI.getOperand(OpNum);
1453
1454 // FIXME: Needs fixup support.
1455 unsigned Value = 0;
1456 int32_t tmp = (int32_t)MO1.getImm();
1457 if (tmp < 0)
1458 tmp = abs(tmp);
1459 else
1460 Value |= 4096; // Set the ADD bit
1461 Value |= tmp & 4095;
1462 return Value;
1463}
1464
1465unsigned ARMMCCodeEmitter::
Owen Anderson8fdd1722010-11-12 21:12:40 +00001466getT2SORegOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001467 SmallVectorImpl<MCFixup> &Fixups,
1468 const MCSubtargetInfo &STI) const {
Owen Anderson8fdd1722010-11-12 21:12:40 +00001469 // Sub-operands are [reg, imm]. The first register is Rm, the reg to be
1470 // shifted. The second is the amount to shift by.
1471 //
1472 // {3-0} = Rm.
1473 // {4} = 0
1474 // {6-5} = type
1475 // {11-7} = imm
1476
1477 const MCOperand &MO = MI.getOperand(OpIdx);
1478 const MCOperand &MO1 = MI.getOperand(OpIdx + 1);
1479 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO1.getImm());
1480
1481 // Encode Rm.
Bill Wendlingbc07a892013-06-18 07:20:20 +00001482 unsigned Binary = CTX.getRegisterInfo()->getEncodingValue(MO.getReg());
Owen Anderson8fdd1722010-11-12 21:12:40 +00001483
1484 // Encode the shift opcode.
1485 unsigned SBits = 0;
1486 // Set shift operand (bit[6:4]).
1487 // LSL - 000
1488 // LSR - 010
1489 // ASR - 100
1490 // ROR - 110
1491 switch (SOpc) {
1492 default: llvm_unreachable("Unknown shift opc!");
1493 case ARM_AM::lsl: SBits = 0x0; break;
1494 case ARM_AM::lsr: SBits = 0x2; break;
1495 case ARM_AM::asr: SBits = 0x4; break;
Owen Andersonc3c60a02011-09-13 17:34:32 +00001496 case ARM_AM::rrx: // FALLTHROUGH
Owen Anderson8fdd1722010-11-12 21:12:40 +00001497 case ARM_AM::ror: SBits = 0x6; break;
1498 }
1499
1500 Binary |= SBits << 4;
1501 if (SOpc == ARM_AM::rrx)
1502 return Binary;
1503
1504 // Encode shift_imm bit[11:7].
1505 return Binary | ARM_AM::getSORegOffset(MO1.getImm()) << 7;
1506}
1507
1508unsigned ARMMCCodeEmitter::
Jim Grosbach2eed7a12010-11-03 23:52:49 +00001509getBitfieldInvertedMaskOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001510 SmallVectorImpl<MCFixup> &Fixups,
1511 const MCSubtargetInfo &STI) const {
Jim Grosbach5edb03e2010-10-21 22:03:21 +00001512 // 10 bits. lower 5 bits are are the lsb of the mask, high five bits are the
1513 // msb of the mask.
1514 const MCOperand &MO = MI.getOperand(Op);
1515 uint32_t v = ~MO.getImm();
Michael J. Spencerdf1ecbd72013-05-24 22:23:49 +00001516 uint32_t lsb = countTrailingZeros(v);
1517 uint32_t msb = (32 - countLeadingZeros (v)) - 1;
Jim Grosbach5edb03e2010-10-21 22:03:21 +00001518 assert (v != 0 && lsb < 32 && msb < 32 && "Illegal bitfield mask!");
1519 return lsb | (msb << 5);
1520}
1521
Jim Grosbach2eed7a12010-11-03 23:52:49 +00001522unsigned ARMMCCodeEmitter::
1523getRegisterListOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001524 SmallVectorImpl<MCFixup> &Fixups,
1525 const MCSubtargetInfo &STI) const {
Bill Wendling345b48f2010-11-17 00:45:23 +00001526 // VLDM/VSTM:
1527 // {12-8} = Vd
1528 // {7-0} = Number of registers
1529 //
1530 // LDM/STM:
1531 // {15-0} = Bitfield of GPRs.
1532 unsigned Reg = MI.getOperand(Op).getReg();
Craig Topperf6e7e122012-03-27 07:21:54 +00001533 bool SPRRegs = ARMMCRegisterClasses[ARM::SPRRegClassID].contains(Reg);
1534 bool DPRRegs = ARMMCRegisterClasses[ARM::DPRRegClassID].contains(Reg);
Bill Wendling345b48f2010-11-17 00:45:23 +00001535
Bill Wendling1b83ed52010-11-09 00:30:18 +00001536 unsigned Binary = 0;
Bill Wendling345b48f2010-11-17 00:45:23 +00001537
1538 if (SPRRegs || DPRRegs) {
1539 // VLDM/VSTM
Bill Wendlingbc07a892013-06-18 07:20:20 +00001540 unsigned RegNo = CTX.getRegisterInfo()->getEncodingValue(Reg);
Bill Wendling345b48f2010-11-17 00:45:23 +00001541 unsigned NumRegs = (MI.getNumOperands() - Op) & 0xff;
1542 Binary |= (RegNo & 0x1f) << 8;
1543 if (SPRRegs)
1544 Binary |= NumRegs;
1545 else
1546 Binary |= NumRegs * 2;
1547 } else {
1548 for (unsigned I = Op, E = MI.getNumOperands(); I < E; ++I) {
Bill Wendlingbc07a892013-06-18 07:20:20 +00001549 unsigned RegNo = CTX.getRegisterInfo()->getEncodingValue(MI.getOperand(I).getReg());
Bill Wendling345b48f2010-11-17 00:45:23 +00001550 Binary |= 1 << RegNo;
1551 }
Bill Wendling1b83ed52010-11-09 00:30:18 +00001552 }
Bill Wendling345b48f2010-11-17 00:45:23 +00001553
Jim Grosbach74ef9e12010-10-30 00:37:59 +00001554 return Binary;
1555}
1556
Bob Wilson318ce7c2010-11-30 00:00:42 +00001557/// getAddrMode6AddressOpValue - Encode an addrmode6 register number along
1558/// with the alignment operand.
Jim Grosbach2eed7a12010-11-03 23:52:49 +00001559unsigned ARMMCCodeEmitter::
1560getAddrMode6AddressOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001561 SmallVectorImpl<MCFixup> &Fixups,
1562 const MCSubtargetInfo &STI) const {
Owen Andersonad402342010-11-02 00:05:05 +00001563 const MCOperand &Reg = MI.getOperand(Op);
Bill Wendlingf9eebb52010-11-02 22:53:11 +00001564 const MCOperand &Imm = MI.getOperand(Op + 1);
Jim Grosbach49b0c452010-11-03 22:03:20 +00001565
Bill Wendlingbc07a892013-06-18 07:20:20 +00001566 unsigned RegNo = CTX.getRegisterInfo()->getEncodingValue(Reg.getReg());
Bill Wendlingf9eebb52010-11-02 22:53:11 +00001567 unsigned Align = 0;
1568
1569 switch (Imm.getImm()) {
1570 default: break;
1571 case 2:
1572 case 4:
1573 case 8: Align = 0x01; break;
1574 case 16: Align = 0x02; break;
1575 case 32: Align = 0x03; break;
Owen Andersonad402342010-11-02 00:05:05 +00001576 }
Bill Wendlingf9eebb52010-11-02 22:53:11 +00001577
Owen Andersonad402342010-11-02 00:05:05 +00001578 return RegNo | (Align << 4);
1579}
1580
Mon P Wang92ff16b2011-05-09 17:47:27 +00001581/// getAddrMode6OneLane32AddressOpValue - Encode an addrmode6 register number
1582/// along with the alignment operand for use in VST1 and VLD1 with size 32.
1583unsigned ARMMCCodeEmitter::
1584getAddrMode6OneLane32AddressOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001585 SmallVectorImpl<MCFixup> &Fixups,
1586 const MCSubtargetInfo &STI) const {
Mon P Wang92ff16b2011-05-09 17:47:27 +00001587 const MCOperand &Reg = MI.getOperand(Op);
1588 const MCOperand &Imm = MI.getOperand(Op + 1);
1589
Bill Wendlingbc07a892013-06-18 07:20:20 +00001590 unsigned RegNo = CTX.getRegisterInfo()->getEncodingValue(Reg.getReg());
Mon P Wang92ff16b2011-05-09 17:47:27 +00001591 unsigned Align = 0;
1592
1593 switch (Imm.getImm()) {
1594 default: break;
Mon P Wang92ff16b2011-05-09 17:47:27 +00001595 case 8:
Jim Grosbachcef98cd2011-12-19 18:31:43 +00001596 case 16:
1597 case 32: // Default '0' value for invalid alignments of 8, 16, 32 bytes.
1598 case 2: Align = 0x00; break;
1599 case 4: Align = 0x03; break;
Mon P Wang92ff16b2011-05-09 17:47:27 +00001600 }
1601
1602 return RegNo | (Align << 4);
1603}
1604
1605
Bob Wilson318ce7c2010-11-30 00:00:42 +00001606/// getAddrMode6DupAddressOpValue - Encode an addrmode6 register number and
1607/// alignment operand for use in VLD-dup instructions. This is the same as
1608/// getAddrMode6AddressOpValue except for the alignment encoding, which is
1609/// different for VLD4-dup.
1610unsigned ARMMCCodeEmitter::
1611getAddrMode6DupAddressOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001612 SmallVectorImpl<MCFixup> &Fixups,
1613 const MCSubtargetInfo &STI) const {
Bob Wilson318ce7c2010-11-30 00:00:42 +00001614 const MCOperand &Reg = MI.getOperand(Op);
1615 const MCOperand &Imm = MI.getOperand(Op + 1);
1616
Bill Wendlingbc07a892013-06-18 07:20:20 +00001617 unsigned RegNo = CTX.getRegisterInfo()->getEncodingValue(Reg.getReg());
Bob Wilson318ce7c2010-11-30 00:00:42 +00001618 unsigned Align = 0;
1619
1620 switch (Imm.getImm()) {
1621 default: break;
1622 case 2:
1623 case 4:
1624 case 8: Align = 0x01; break;
1625 case 16: Align = 0x03; break;
1626 }
1627
1628 return RegNo | (Align << 4);
1629}
1630
Jim Grosbach2eed7a12010-11-03 23:52:49 +00001631unsigned ARMMCCodeEmitter::
1632getAddrMode6OffsetOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001633 SmallVectorImpl<MCFixup> &Fixups,
1634 const MCSubtargetInfo &STI) const {
Bill Wendlingf9eebb52010-11-02 22:53:11 +00001635 const MCOperand &MO = MI.getOperand(Op);
1636 if (MO.getReg() == 0) return 0x0D;
Bill Wendlingbc07a892013-06-18 07:20:20 +00001637 return CTX.getRegisterInfo()->getEncodingValue(MO.getReg());
Owen Anderson526ffd52010-11-02 01:24:55 +00001638}
1639
Bill Wendling3b1459b2011-03-01 01:00:59 +00001640unsigned ARMMCCodeEmitter::
Bill Wendling77ad1dc2011-03-07 23:38:41 +00001641getShiftRight8Imm(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001642 SmallVectorImpl<MCFixup> &Fixups,
1643 const MCSubtargetInfo &STI) const {
Bill Wendling3b1459b2011-03-01 01:00:59 +00001644 return 8 - MI.getOperand(Op).getImm();
1645}
1646
1647unsigned ARMMCCodeEmitter::
Bill Wendling77ad1dc2011-03-07 23:38:41 +00001648getShiftRight16Imm(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001649 SmallVectorImpl<MCFixup> &Fixups,
1650 const MCSubtargetInfo &STI) const {
Bill Wendling3b1459b2011-03-01 01:00:59 +00001651 return 16 - MI.getOperand(Op).getImm();
1652}
1653
1654unsigned ARMMCCodeEmitter::
Bill Wendling77ad1dc2011-03-07 23:38:41 +00001655getShiftRight32Imm(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001656 SmallVectorImpl<MCFixup> &Fixups,
1657 const MCSubtargetInfo &STI) const {
Bill Wendling3b1459b2011-03-01 01:00:59 +00001658 return 32 - MI.getOperand(Op).getImm();
1659}
1660
Bill Wendling77ad1dc2011-03-07 23:38:41 +00001661unsigned ARMMCCodeEmitter::
1662getShiftRight64Imm(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001663 SmallVectorImpl<MCFixup> &Fixups,
1664 const MCSubtargetInfo &STI) const {
Bill Wendling77ad1dc2011-03-07 23:38:41 +00001665 return 64 - MI.getOperand(Op).getImm();
1666}
1667
Jim Grosbach1287f4f2010-09-17 18:46:17 +00001668void ARMMCCodeEmitter::
Jim Grosbach91df21f2015-05-15 19:13:16 +00001669encodeInstruction(const MCInst &MI, raw_ostream &OS,
David Woodhouse9784cef2014-01-28 23:13:07 +00001670 SmallVectorImpl<MCFixup> &Fixups,
1671 const MCSubtargetInfo &STI) const {
Jim Grosbach91029092010-10-07 22:12:50 +00001672 // Pseudo instructions don't get encoded.
Evan Chengc5e6d2f2011-07-11 03:57:24 +00001673 const MCInstrDesc &Desc = MCII.get(MI.getOpcode());
Jim Grosbach20b6fd72010-11-11 23:41:09 +00001674 uint64_t TSFlags = Desc.TSFlags;
1675 if ((TSFlags & ARMII::FormMask) == ARMII::Pseudo)
Jim Grosbach91029092010-10-07 22:12:50 +00001676 return;
Owen Anderson651b2302011-07-13 23:22:26 +00001677
Jim Grosbach20b6fd72010-11-11 23:41:09 +00001678 int Size;
Owen Anderson651b2302011-07-13 23:22:26 +00001679 if (Desc.getSize() == 2 || Desc.getSize() == 4)
1680 Size = Desc.getSize();
1681 else
1682 llvm_unreachable("Unexpected instruction size!");
Owen Anderson1732c2e2011-08-30 21:58:18 +00001683
David Woodhouse3fa98a62014-01-28 23:13:18 +00001684 uint32_t Binary = getBinaryCodeForInstr(MI, Fixups, STI);
Evan Cheng965b3c72011-01-13 07:58:56 +00001685 // Thumb 32-bit wide instructions need to emit the high order halfword
1686 // first.
David Woodhoused2cca112014-01-28 23:13:25 +00001687 if (isThumb(STI) && Size == 4) {
Jim Grosbach567ebd0c2010-12-03 22:31:40 +00001688 EmitConstant(Binary >> 16, 2, OS);
1689 EmitConstant(Binary & 0xffff, 2, OS);
1690 } else
1691 EmitConstant(Binary, Size, OS);
Bill Wendling91da9ab2010-11-02 22:44:12 +00001692 ++MCNumEmitted; // Keep track of the # of mi's emitted.
Jim Grosbach1287f4f2010-09-17 18:46:17 +00001693}
Jim Grosbach8aed3862010-10-07 21:57:55 +00001694
Jim Grosbach2eed7a12010-11-03 23:52:49 +00001695#include "ARMGenMCCodeEmitter.inc"