blob: 0a6c7a999cbb69327f707d4a6d8ce30cb104b30b [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 {
Daniel Sanders50f17232015-09-15 16:17:27 +000060 const 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
Oliver Stannard65b85382016-01-25 10:26:26 +0000258 /// getAddrMode5OpValue - Return encoding info for 'reg +/- (imm8 << 2)' 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
Oliver Stannard65b85382016-01-25 10:26:26 +0000263 /// getAddrMode5FP16OpValue - Return encoding info for 'reg +/- (imm8 << 1)' operand.
264 uint32_t getAddrMode5FP16OpValue(const MCInst &MI, unsigned OpIdx,
265 SmallVectorImpl<MCFixup> &Fixups,
266 const MCSubtargetInfo &STI) const;
267
Jim Grosbachd9d31da2010-10-12 23:00:24 +0000268 /// getCCOutOpValue - Return encoding of the 's' bit.
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000269 unsigned getCCOutOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000270 SmallVectorImpl<MCFixup> &Fixups,
271 const MCSubtargetInfo &STI) const {
Jim Grosbachd9d31da2010-10-12 23:00:24 +0000272 // The operand is either reg0 or CPSR. The 's' bit is encoded as '0' or
273 // '1' respectively.
274 return MI.getOperand(Op).getReg() == ARM::CPSR;
275 }
Jim Grosbachefd53692010-10-12 23:53:58 +0000276
Jim Grosbach12e493a2010-10-12 23:18:08 +0000277 /// getSOImmOpValue - Return an encoded 12-bit shifted-immediate value.
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000278 unsigned getSOImmOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000279 SmallVectorImpl<MCFixup> &Fixups,
280 const MCSubtargetInfo &STI) const {
Stepan Dyatkovskiydf657cc2014-03-29 13:12:40 +0000281
282 const MCOperand &MO = MI.getOperand(Op);
283
284 // We expect MO to be an immediate or an expression,
285 // if it is an immediate - that's fine, just encode the value.
286 // Otherwise - create a Fixup.
287 if (MO.isExpr()) {
288 const MCExpr *Expr = MO.getExpr();
289 // In instruction code this value always encoded as lowest 12 bits,
290 // so we don't have to perform any specific adjustments.
291 // Due to requirements of relocatable records we have to use FK_Data_4.
292 // See ARMELFObjectWriter::ExplicitRelSym and
293 // ARMELFObjectWriter::GetRelocTypeInner for more details.
294 MCFixupKind Kind = MCFixupKind(FK_Data_4);
Jim Grosbach63661f82015-05-15 19:13:05 +0000295 Fixups.push_back(MCFixup::create(0, Expr, Kind, MI.getLoc()));
Stepan Dyatkovskiydf657cc2014-03-29 13:12:40 +0000296 return 0;
297 }
298
299 unsigned SoImm = MO.getImm();
Jiangning Liudb55b022014-03-21 02:51:01 +0000300 int SoImmVal = ARM_AM::getSOImmVal(SoImm);
Jim Grosbach12e493a2010-10-12 23:18:08 +0000301 assert(SoImmVal != -1 && "Not a valid so_imm value!");
302
303 // Encode rotate_imm.
304 unsigned Binary = (ARM_AM::getSOImmValRot((unsigned)SoImmVal) >> 1)
305 << ARMII::SoRotImmShift;
306
307 // Encode immed_8.
308 Binary |= ARM_AM::getSOImmValImm((unsigned)SoImmVal);
309 return Binary;
310 }
Jim Grosbachc4a0c292010-12-10 21:57:34 +0000311
Asiri Rathnayakea0199b92014-12-02 10:53:20 +0000312 unsigned getModImmOpValue(const MCInst &MI, unsigned Op,
313 SmallVectorImpl<MCFixup> &Fixups,
314 const MCSubtargetInfo &ST) const {
315 const MCOperand &MO = MI.getOperand(Op);
316
317 // Support for fixups (MCFixup)
318 if (MO.isExpr()) {
319 const MCExpr *Expr = MO.getExpr();
320 // In instruction code this value always encoded as lowest 12 bits,
321 // so we don't have to perform any specific adjustments.
322 // Due to requirements of relocatable records we have to use FK_Data_4.
323 // See ARMELFObjectWriter::ExplicitRelSym and
324 // ARMELFObjectWriter::GetRelocTypeInner for more details.
325 MCFixupKind Kind = MCFixupKind(FK_Data_4);
Jim Grosbach63661f82015-05-15 19:13:05 +0000326 Fixups.push_back(MCFixup::create(0, Expr, Kind, MI.getLoc()));
Asiri Rathnayakea0199b92014-12-02 10:53:20 +0000327 return 0;
328 }
329
330 // Immediate is already in its encoded format
331 return MO.getImm();
332 }
333
Owen Anderson8fdd1722010-11-12 21:12:40 +0000334 /// getT2SOImmOpValue - Return an encoded 12-bit shifted-immediate value.
335 unsigned getT2SOImmOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000336 SmallVectorImpl<MCFixup> &Fixups,
337 const MCSubtargetInfo &STI) const {
Owen Anderson8fdd1722010-11-12 21:12:40 +0000338 unsigned SoImm = MI.getOperand(Op).getImm();
339 unsigned Encoded = ARM_AM::getT2SOImmVal(SoImm);
340 assert(Encoded != ~0U && "Not a Thumb2 so_imm value?");
341 return Encoded;
342 }
Jim Grosbachd9d31da2010-10-12 23:00:24 +0000343
Owen Anderson50d662b2010-11-29 22:44:32 +0000344 unsigned getT2AddrModeSORegOpValue(const MCInst &MI, unsigned OpNum,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000345 SmallVectorImpl<MCFixup> &Fixups,
346 const MCSubtargetInfo &STI) const;
Owen Anderson50d662b2010-11-29 22:44:32 +0000347 unsigned getT2AddrModeImm8OpValue(const MCInst &MI, unsigned OpNum,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000348 SmallVectorImpl<MCFixup> &Fixups,
349 const MCSubtargetInfo &STI) const;
Owen Andersone22c7322010-11-30 00:14:31 +0000350 unsigned getT2AddrModeImm8OffsetOpValue(const MCInst &MI, unsigned OpNum,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000351 SmallVectorImpl<MCFixup> &Fixups,
352 const MCSubtargetInfo &STI) const;
Owen Anderson299382e2010-11-30 19:19:31 +0000353 unsigned getT2AddrModeImm12OffsetOpValue(const MCInst &MI, unsigned OpNum,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000354 SmallVectorImpl<MCFixup> &Fixups,
355 const MCSubtargetInfo &STI) const;
Owen Anderson50d662b2010-11-29 22:44:32 +0000356
Jim Grosbachefd53692010-10-12 23:53:58 +0000357 /// getSORegOpValue - Return an encoded so_reg shifted register value.
Owen Anderson04912702011-07-21 23:38:37 +0000358 unsigned getSORegRegOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000359 SmallVectorImpl<MCFixup> &Fixups,
360 const MCSubtargetInfo &STI) const;
Owen Anderson04912702011-07-21 23:38:37 +0000361 unsigned getSORegImmOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000362 SmallVectorImpl<MCFixup> &Fixups,
363 const MCSubtargetInfo &STI) const;
Owen Anderson8fdd1722010-11-12 21:12:40 +0000364 unsigned getT2SORegOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000365 SmallVectorImpl<MCFixup> &Fixups,
366 const MCSubtargetInfo &STI) const;
Jim Grosbachefd53692010-10-12 23:53:58 +0000367
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000368 unsigned getNEONVcvtImm32OpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000369 SmallVectorImpl<MCFixup> &Fixups,
370 const MCSubtargetInfo &STI) const {
Owen Andersonfadb9512010-10-27 22:49:00 +0000371 return 64 - MI.getOperand(Op).getImm();
372 }
Jim Grosbach68a335e2010-10-15 17:15:16 +0000373
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000374 unsigned getBitfieldInvertedMaskOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000375 SmallVectorImpl<MCFixup> &Fixups,
376 const MCSubtargetInfo &STI) const;
Jim Grosbach5edb03e2010-10-21 22:03:21 +0000377
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000378 unsigned getRegisterListOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000379 SmallVectorImpl<MCFixup> &Fixups,
380 const MCSubtargetInfo &STI) const;
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000381 unsigned getAddrMode6AddressOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000382 SmallVectorImpl<MCFixup> &Fixups,
383 const MCSubtargetInfo &STI) const;
Mon P Wang92ff16b2011-05-09 17:47:27 +0000384 unsigned getAddrMode6OneLane32AddressOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000385 SmallVectorImpl<MCFixup> &Fixups,
386 const MCSubtargetInfo &STI) const;
Bob Wilson318ce7c2010-11-30 00:00:42 +0000387 unsigned getAddrMode6DupAddressOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000388 SmallVectorImpl<MCFixup> &Fixups,
389 const MCSubtargetInfo &STI) const;
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000390 unsigned getAddrMode6OffsetOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000391 SmallVectorImpl<MCFixup> &Fixups,
392 const MCSubtargetInfo &STI) const;
Jim Grosbach74ef9e12010-10-30 00:37:59 +0000393
Bill Wendling77ad1dc2011-03-07 23:38:41 +0000394 unsigned getShiftRight8Imm(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000395 SmallVectorImpl<MCFixup> &Fixups,
396 const MCSubtargetInfo &STI) const;
Bill Wendling77ad1dc2011-03-07 23:38:41 +0000397 unsigned getShiftRight16Imm(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000398 SmallVectorImpl<MCFixup> &Fixups,
399 const MCSubtargetInfo &STI) const;
Bill Wendling77ad1dc2011-03-07 23:38:41 +0000400 unsigned getShiftRight32Imm(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000401 SmallVectorImpl<MCFixup> &Fixups,
402 const MCSubtargetInfo &STI) const;
Bill Wendling77ad1dc2011-03-07 23:38:41 +0000403 unsigned getShiftRight64Imm(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000404 SmallVectorImpl<MCFixup> &Fixups,
405 const MCSubtargetInfo &STI) const;
Bill Wendling3b1459b2011-03-01 01:00:59 +0000406
Owen Andersonc4030382011-08-08 20:42:17 +0000407 unsigned getThumbSRImmOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000408 SmallVectorImpl<MCFixup> &Fixups,
409 const MCSubtargetInfo &STI) const;
Owen Andersonc4030382011-08-08 20:42:17 +0000410
Owen Anderson7ffe3b32010-11-11 19:07:48 +0000411 unsigned NEONThumb2DataIPostEncoder(const MCInst &MI,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000412 unsigned EncodedValue,
413 const MCSubtargetInfo &STI) const;
Owen Anderson99a8cb42010-11-11 21:36:43 +0000414 unsigned NEONThumb2LoadStorePostEncoder(const MCInst &MI,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000415 unsigned EncodedValue,
416 const MCSubtargetInfo &STI) const;
Owen Andersonce2250f2010-11-11 23:12:55 +0000417 unsigned NEONThumb2DupPostEncoder(const MCInst &MI,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000418 unsigned EncodedValue,
419 const MCSubtargetInfo &STI) const;
Joey Goulydf686002013-07-17 13:59:38 +0000420 unsigned NEONThumb2V8PostEncoder(const MCInst &MI,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000421 unsigned EncodedValue,
422 const MCSubtargetInfo &STI) const;
Bill Wendling87240d42010-12-01 21:54:50 +0000423
424 unsigned VFPThumb2PostEncoder(const MCInst &MI,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000425 unsigned EncodedValue,
426 const MCSubtargetInfo &STI) const;
Owen Anderson7ffe3b32010-11-11 19:07:48 +0000427
Jim Grosbach0fb841f2010-11-04 01:12:30 +0000428 void EmitByte(unsigned char C, raw_ostream &OS) const {
Jim Grosbach1287f4f2010-09-17 18:46:17 +0000429 OS << (char)C;
Jim Grosbach1287f4f2010-09-17 18:46:17 +0000430 }
431
Jim Grosbach0fb841f2010-11-04 01:12:30 +0000432 void EmitConstant(uint64_t Val, unsigned Size, raw_ostream &OS) const {
Jim Grosbach1287f4f2010-09-17 18:46:17 +0000433 // Output the constant in little endian byte order.
434 for (unsigned i = 0; i != Size; ++i) {
Christian Pirker2a111602014-03-28 14:35:30 +0000435 unsigned Shift = IsLittleEndian ? i * 8 : (Size - 1 - i) * 8;
436 EmitByte((Val >> Shift) & 0xff, OS);
Jim Grosbach1287f4f2010-09-17 18:46:17 +0000437 }
438 }
439
Jim Grosbach91df21f2015-05-15 19:13:16 +0000440 void encodeInstruction(const MCInst &MI, raw_ostream &OS,
David Woodhouse9784cef2014-01-28 23:13:07 +0000441 SmallVectorImpl<MCFixup> &Fixups,
Craig Topperca7e3e52014-03-10 03:19:03 +0000442 const MCSubtargetInfo &STI) const override;
Jim Grosbach1287f4f2010-09-17 18:46:17 +0000443};
444
445} // end anonymous namespace
446
Christian Pirkerdc9ff752014-04-01 15:19:30 +0000447MCCodeEmitter *llvm::createARMLEMCCodeEmitter(const MCInstrInfo &MCII,
Christian Pirker2a111602014-03-28 14:35:30 +0000448 const MCRegisterInfo &MRI,
Christian Pirker2a111602014-03-28 14:35:30 +0000449 MCContext &Ctx) {
450 return new ARMMCCodeEmitter(MCII, Ctx, true);
451}
452
Christian Pirkerdc9ff752014-04-01 15:19:30 +0000453MCCodeEmitter *llvm::createARMBEMCCodeEmitter(const MCInstrInfo &MCII,
Christian Pirker2a111602014-03-28 14:35:30 +0000454 const MCRegisterInfo &MRI,
Christian Pirker2a111602014-03-28 14:35:30 +0000455 MCContext &Ctx) {
456 return new ARMMCCodeEmitter(MCII, Ctx, false);
Jim Grosbach1287f4f2010-09-17 18:46:17 +0000457}
458
Jim Grosbachc4a0c292010-12-10 21:57:34 +0000459/// NEONThumb2DataIPostEncoder - Post-process encoded NEON data-processing
460/// instructions, and rewrite them to their Thumb2 form if we are currently in
Owen Anderson7ffe3b32010-11-11 19:07:48 +0000461/// Thumb2 mode.
462unsigned ARMMCCodeEmitter::NEONThumb2DataIPostEncoder(const MCInst &MI,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000463 unsigned EncodedValue,
464 const MCSubtargetInfo &STI) const {
David Woodhoused2cca112014-01-28 23:13:25 +0000465 if (isThumb2(STI)) {
Jim Grosbachc4a0c292010-12-10 21:57:34 +0000466 // NEON Thumb2 data-processsing encodings are very simple: bit 24 is moved
Owen Anderson7ffe3b32010-11-11 19:07:48 +0000467 // to bit 12 of the high half-word (i.e. bit 28), and bits 27-24 are
468 // set to 1111.
469 unsigned Bit24 = EncodedValue & 0x01000000;
470 unsigned Bit28 = Bit24 << 4;
471 EncodedValue &= 0xEFFFFFFF;
472 EncodedValue |= Bit28;
473 EncodedValue |= 0x0F000000;
474 }
Jim Grosbachc4a0c292010-12-10 21:57:34 +0000475
Owen Anderson7ffe3b32010-11-11 19:07:48 +0000476 return EncodedValue;
477}
478
Owen Anderson99a8cb42010-11-11 21:36:43 +0000479/// NEONThumb2LoadStorePostEncoder - Post-process encoded NEON load/store
Jim Grosbachc4a0c292010-12-10 21:57:34 +0000480/// instructions, and rewrite them to their Thumb2 form if we are currently in
Owen Anderson99a8cb42010-11-11 21:36:43 +0000481/// Thumb2 mode.
482unsigned ARMMCCodeEmitter::NEONThumb2LoadStorePostEncoder(const MCInst &MI,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000483 unsigned EncodedValue,
484 const MCSubtargetInfo &STI) const {
David Woodhoused2cca112014-01-28 23:13:25 +0000485 if (isThumb2(STI)) {
Owen Anderson99a8cb42010-11-11 21:36:43 +0000486 EncodedValue &= 0xF0FFFFFF;
487 EncodedValue |= 0x09000000;
488 }
Jim Grosbachc4a0c292010-12-10 21:57:34 +0000489
Owen Anderson99a8cb42010-11-11 21:36:43 +0000490 return EncodedValue;
491}
492
Owen Andersonce2250f2010-11-11 23:12:55 +0000493/// NEONThumb2DupPostEncoder - Post-process encoded NEON vdup
Jim Grosbachc4a0c292010-12-10 21:57:34 +0000494/// instructions, and rewrite them to their Thumb2 form if we are currently in
Owen Andersonce2250f2010-11-11 23:12:55 +0000495/// Thumb2 mode.
496unsigned ARMMCCodeEmitter::NEONThumb2DupPostEncoder(const MCInst &MI,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000497 unsigned EncodedValue,
498 const MCSubtargetInfo &STI) const {
David Woodhoused2cca112014-01-28 23:13:25 +0000499 if (isThumb2(STI)) {
Owen Andersonce2250f2010-11-11 23:12:55 +0000500 EncodedValue &= 0x00FFFFFF;
501 EncodedValue |= 0xEE000000;
502 }
Jim Grosbachc4a0c292010-12-10 21:57:34 +0000503
Owen Andersonce2250f2010-11-11 23:12:55 +0000504 return EncodedValue;
505}
506
Joey Goulydf686002013-07-17 13:59:38 +0000507/// Post-process encoded NEON v8 instructions, and rewrite them to Thumb2 form
508/// if we are in Thumb2.
509unsigned ARMMCCodeEmitter::NEONThumb2V8PostEncoder(const MCInst &MI,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000510 unsigned EncodedValue,
511 const MCSubtargetInfo &STI) const {
David Woodhoused2cca112014-01-28 23:13:25 +0000512 if (isThumb2(STI)) {
Joey Goulydf686002013-07-17 13:59:38 +0000513 EncodedValue |= 0xC000000; // Set bits 27-26
514 }
515
516 return EncodedValue;
517}
518
Bill Wendling87240d42010-12-01 21:54:50 +0000519/// VFPThumb2PostEncoder - Post-process encoded VFP instructions and rewrite
520/// them to their Thumb2 form if we are currently in Thumb2 mode.
521unsigned ARMMCCodeEmitter::
David Woodhouse3fa98a62014-01-28 23:13:18 +0000522VFPThumb2PostEncoder(const MCInst &MI, unsigned EncodedValue,
523 const MCSubtargetInfo &STI) const {
David Woodhoused2cca112014-01-28 23:13:25 +0000524 if (isThumb2(STI)) {
Bill Wendling87240d42010-12-01 21:54:50 +0000525 EncodedValue &= 0x0FFFFFFF;
526 EncodedValue |= 0xE0000000;
527 }
528 return EncodedValue;
529}
Owen Anderson99a8cb42010-11-11 21:36:43 +0000530
Jim Grosbachc43c9302010-10-08 21:45:55 +0000531/// getMachineOpValue - Return binary encoding of operand. If the machine
532/// operand requires relocation, record the relocation and return zero.
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000533unsigned ARMMCCodeEmitter::
534getMachineOpValue(const MCInst &MI, const MCOperand &MO,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000535 SmallVectorImpl<MCFixup> &Fixups,
536 const MCSubtargetInfo &STI) const {
Bill Wendling6f52f8a2010-10-14 02:33:26 +0000537 if (MO.isReg()) {
Bill Wendlingf9eebb52010-11-02 22:53:11 +0000538 unsigned Reg = MO.getReg();
Bill Wendlingbc07a892013-06-18 07:20:20 +0000539 unsigned RegNo = CTX.getRegisterInfo()->getEncodingValue(Reg);
Jim Grosbach96d82842010-10-29 23:21:03 +0000540
Jim Grosbachee48d2d2010-11-30 23:51:41 +0000541 // Q registers are encoded as 2x their register number.
Bill Wendlingf9eebb52010-11-02 22:53:11 +0000542 switch (Reg) {
543 default:
544 return RegNo;
545 case ARM::Q0: case ARM::Q1: case ARM::Q2: case ARM::Q3:
546 case ARM::Q4: case ARM::Q5: case ARM::Q6: case ARM::Q7:
547 case ARM::Q8: case ARM::Q9: case ARM::Q10: case ARM::Q11:
548 case ARM::Q12: case ARM::Q13: case ARM::Q14: case ARM::Q15:
549 return 2 * RegNo;
Owen Anderson2bfa8ed2010-10-21 20:49:13 +0000550 }
Bill Wendling6f52f8a2010-10-14 02:33:26 +0000551 } else if (MO.isImm()) {
Jim Grosbachc43c9302010-10-08 21:45:55 +0000552 return static_cast<unsigned>(MO.getImm());
Bill Wendling6f52f8a2010-10-14 02:33:26 +0000553 } else if (MO.isFPImm()) {
554 return static_cast<unsigned>(APFloat(MO.getFPImm())
555 .bitcastToAPInt().getHiBits(32).getLimitedValue());
Jim Grosbachc43c9302010-10-08 21:45:55 +0000556 }
Bill Wendlingf9eebb52010-11-02 22:53:11 +0000557
Jim Grosbach2aeb8b92010-11-19 00:27:09 +0000558 llvm_unreachable("Unable to encode MCOperand!");
Jim Grosbachc43c9302010-10-08 21:45:55 +0000559}
560
Bill Wendling603bd8f2010-11-02 22:31:46 +0000561/// getAddrModeImmOpValue - Return encoding info for 'reg +/- imm' operand.
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000562bool ARMMCCodeEmitter::
563EncodeAddrModeOpValues(const MCInst &MI, unsigned OpIdx, unsigned &Reg,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000564 unsigned &Imm, SmallVectorImpl<MCFixup> &Fixups,
565 const MCSubtargetInfo &STI) const {
Jim Grosbach1e4d9a12010-10-26 22:37:02 +0000566 const MCOperand &MO = MI.getOperand(OpIdx);
567 const MCOperand &MO1 = MI.getOperand(OpIdx + 1);
Jim Grosbach2ba03aa2010-11-01 23:45:50 +0000568
Bill Wendlingbc07a892013-06-18 07:20:20 +0000569 Reg = CTX.getRegisterInfo()->getEncodingValue(MO.getReg());
Bill Wendlinge84eb992010-11-03 01:49:29 +0000570
571 int32_t SImm = MO1.getImm();
572 bool isAdd = true;
Bill Wendling603bd8f2010-11-02 22:31:46 +0000573
Jim Grosbach505607e2010-10-28 18:34:10 +0000574 // Special value for #-0
Owen Anderson967674d2011-08-29 19:36:44 +0000575 if (SImm == INT32_MIN) {
Bill Wendlinge84eb992010-11-03 01:49:29 +0000576 SImm = 0;
Owen Anderson967674d2011-08-29 19:36:44 +0000577 isAdd = false;
578 }
Bill Wendling603bd8f2010-11-02 22:31:46 +0000579
Jim Grosbach505607e2010-10-28 18:34:10 +0000580 // Immediate is always encoded as positive. The 'U' bit controls add vs sub.
Bill Wendlinge84eb992010-11-03 01:49:29 +0000581 if (SImm < 0) {
582 SImm = -SImm;
583 isAdd = false;
584 }
Bill Wendling603bd8f2010-11-02 22:31:46 +0000585
Bill Wendlinge84eb992010-11-03 01:49:29 +0000586 Imm = SImm;
587 return isAdd;
588}
589
Bill Wendlinga7d6aa92010-12-08 23:01:43 +0000590/// getBranchTargetOpValue - Helper function to get the branch target operand,
591/// which is either an immediate or requires a fixup.
592static uint32_t getBranchTargetOpValue(const MCInst &MI, unsigned OpIdx,
593 unsigned FixupKind,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000594 SmallVectorImpl<MCFixup> &Fixups,
595 const MCSubtargetInfo &STI) {
Bill Wendlinga7d6aa92010-12-08 23:01:43 +0000596 const MCOperand &MO = MI.getOperand(OpIdx);
597
598 // If the destination is an immediate, we have nothing to do.
599 if (MO.isImm()) return MO.getImm();
600 assert(MO.isExpr() && "Unexpected branch target type!");
601 const MCExpr *Expr = MO.getExpr();
602 MCFixupKind Kind = MCFixupKind(FixupKind);
Jim Grosbach63661f82015-05-15 19:13:05 +0000603 Fixups.push_back(MCFixup::create(0, Expr, Kind, MI.getLoc()));
Bill Wendlinga7d6aa92010-12-08 23:01:43 +0000604
605 // All of the information is in the fixup.
606 return 0;
607}
608
Owen Anderson5c160fd2011-08-31 18:30:20 +0000609// Thumb BL and BLX use a strange offset encoding where bits 22 and 21 are
610// determined by negating them and XOR'ing them with bit 23.
611static int32_t encodeThumbBLOffset(int32_t offset) {
612 offset >>= 1;
613 uint32_t S = (offset & 0x800000) >> 23;
614 uint32_t J1 = (offset & 0x400000) >> 22;
615 uint32_t J2 = (offset & 0x200000) >> 21;
616 J1 = (~J1 & 0x1);
617 J2 = (~J2 & 0x1);
618 J1 ^= S;
619 J2 ^= S;
620
621 offset &= ~0x600000;
622 offset |= J1 << 22;
623 offset |= J2 << 21;
624
625 return offset;
626}
627
Bill Wendlinga7d6aa92010-12-08 23:01:43 +0000628/// getThumbBLTargetOpValue - Return encoding info for immediate branch target.
Jim Grosbach9e199462010-12-06 23:57:07 +0000629uint32_t ARMMCCodeEmitter::
630getThumbBLTargetOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000631 SmallVectorImpl<MCFixup> &Fixups,
632 const MCSubtargetInfo &STI) const {
Owen Anderson5c160fd2011-08-31 18:30:20 +0000633 const MCOperand MO = MI.getOperand(OpIdx);
634 if (MO.isExpr())
635 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_thumb_bl,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000636 Fixups, STI);
Owen Anderson5c160fd2011-08-31 18:30:20 +0000637 return encodeThumbBLOffset(MO.getImm());
Jim Grosbach9e199462010-12-06 23:57:07 +0000638}
639
Bill Wendling3392bfc2010-12-09 00:39:08 +0000640/// getThumbBLXTargetOpValue - Return encoding info for Thumb immediate
641/// BLX branch target.
642uint32_t ARMMCCodeEmitter::
643getThumbBLXTargetOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000644 SmallVectorImpl<MCFixup> &Fixups,
645 const MCSubtargetInfo &STI) const {
Owen Anderson5c160fd2011-08-31 18:30:20 +0000646 const MCOperand MO = MI.getOperand(OpIdx);
647 if (MO.isExpr())
648 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_thumb_blx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000649 Fixups, STI);
Owen Anderson5c160fd2011-08-31 18:30:20 +0000650 return encodeThumbBLOffset(MO.getImm());
Bill Wendling3392bfc2010-12-09 00:39:08 +0000651}
652
Jim Grosbache119da12010-12-10 18:21:33 +0000653/// getThumbBRTargetOpValue - Return encoding info for Thumb branch target.
654uint32_t ARMMCCodeEmitter::
655getThumbBRTargetOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000656 SmallVectorImpl<MCFixup> &Fixups,
657 const MCSubtargetInfo &STI) const {
Owen Anderson543c89f2011-08-30 22:03:20 +0000658 const MCOperand MO = MI.getOperand(OpIdx);
659 if (MO.isExpr())
Owen Anderson5c160fd2011-08-31 18:30:20 +0000660 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_thumb_br,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000661 Fixups, STI);
Owen Anderson543c89f2011-08-30 22:03:20 +0000662 return (MO.getImm() >> 1);
Jim Grosbache119da12010-12-10 18:21:33 +0000663}
664
Jim Grosbach78485ad2010-12-10 17:13:40 +0000665/// getThumbBCCTargetOpValue - Return encoding info for Thumb branch target.
666uint32_t ARMMCCodeEmitter::
667getThumbBCCTargetOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000668 SmallVectorImpl<MCFixup> &Fixups,
669 const MCSubtargetInfo &STI) const {
Owen Andersona455a0b2011-08-31 20:26:14 +0000670 const MCOperand MO = MI.getOperand(OpIdx);
671 if (MO.isExpr())
672 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_thumb_bcc,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000673 Fixups, STI);
Owen Andersona455a0b2011-08-31 20:26:14 +0000674 return (MO.getImm() >> 1);
Jim Grosbach78485ad2010-12-10 17:13:40 +0000675}
676
Jim Grosbach62b68112010-12-09 19:04:53 +0000677/// getThumbCBTargetOpValue - Return encoding info for Thumb branch target.
Bill Wendlinga7d6aa92010-12-08 23:01:43 +0000678uint32_t ARMMCCodeEmitter::
Jim Grosbach62b68112010-12-09 19:04:53 +0000679getThumbCBTargetOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000680 SmallVectorImpl<MCFixup> &Fixups,
681 const MCSubtargetInfo &STI) const {
Owen Andersonfdf3cd72011-08-30 22:15:17 +0000682 const MCOperand MO = MI.getOperand(OpIdx);
683 if (MO.isExpr())
David Woodhouse3fa98a62014-01-28 23:13:18 +0000684 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_thumb_cb, Fixups, STI);
Owen Andersonfdf3cd72011-08-30 22:15:17 +0000685 return (MO.getImm() >> 1);
Bill Wendlinga7d6aa92010-12-08 23:01:43 +0000686}
687
Jason W Kimd2e2f562011-02-04 19:47:15 +0000688/// Return true if this branch has a non-always predication
689static bool HasConditionalBranch(const MCInst &MI) {
690 int NumOp = MI.getNumOperands();
691 if (NumOp >= 2) {
692 for (int i = 0; i < NumOp-1; ++i) {
693 const MCOperand &MCOp1 = MI.getOperand(i);
694 const MCOperand &MCOp2 = MI.getOperand(i + 1);
Owen Anderson1732c2e2011-08-30 21:58:18 +0000695 if (MCOp1.isImm() && MCOp2.isReg() &&
Jason W Kimd2e2f562011-02-04 19:47:15 +0000696 (MCOp2.getReg() == 0 || MCOp2.getReg() == ARM::CPSR)) {
Owen Anderson1732c2e2011-08-30 21:58:18 +0000697 if (ARMCC::CondCodes(MCOp1.getImm()) != ARMCC::AL)
Jason W Kimd2e2f562011-02-04 19:47:15 +0000698 return true;
699 }
700 }
701 }
702 return false;
703}
704
Bill Wendlinga7d6aa92010-12-08 23:01:43 +0000705/// getBranchTargetOpValue - Return encoding info for 24-bit immediate branch
706/// target.
Jim Grosbach9d6d77a2010-11-11 18:04:49 +0000707uint32_t ARMMCCodeEmitter::
708getBranchTargetOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000709 SmallVectorImpl<MCFixup> &Fixups,
710 const MCSubtargetInfo &STI) const {
Jim Grosbachaecdd872010-12-10 23:41:10 +0000711 // FIXME: This really, really shouldn't use TargetMachine. We don't want
712 // coupling between MC and TM anywhere we can help it.
David Woodhoused2cca112014-01-28 23:13:25 +0000713 if (isThumb2(STI))
Owen Anderson578074b2010-12-13 19:31:11 +0000714 return
David Woodhouse3fa98a62014-01-28 23:13:18 +0000715 ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_t2_condbranch, Fixups, STI);
716 return getARMBranchTargetOpValue(MI, OpIdx, Fixups, STI);
Jim Grosbach9d6d77a2010-11-11 18:04:49 +0000717}
718
Jason W Kimd2e2f562011-02-04 19:47:15 +0000719/// getBranchTargetOpValue - Return encoding info for 24-bit immediate branch
720/// target.
721uint32_t ARMMCCodeEmitter::
722getARMBranchTargetOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000723 SmallVectorImpl<MCFixup> &Fixups,
724 const MCSubtargetInfo &STI) const {
Owen Anderson6c70e582011-08-26 22:54:51 +0000725 const MCOperand MO = MI.getOperand(OpIdx);
726 if (MO.isExpr()) {
Owen Anderson1732c2e2011-08-30 21:58:18 +0000727 if (HasConditionalBranch(MI))
Owen Anderson6c70e582011-08-26 22:54:51 +0000728 return ::getBranchTargetOpValue(MI, OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000729 ARM::fixup_arm_condbranch, Fixups, STI);
Owen Anderson1732c2e2011-08-30 21:58:18 +0000730 return ::getBranchTargetOpValue(MI, OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000731 ARM::fixup_arm_uncondbranch, Fixups, STI);
Owen Anderson6c70e582011-08-26 22:54:51 +0000732 }
733
734 return MO.getImm() >> 2;
Jason W Kimd2e2f562011-02-04 19:47:15 +0000735}
736
Owen Andersonb205c022011-08-26 23:32:08 +0000737uint32_t ARMMCCodeEmitter::
Jim Grosbach7b811d32012-02-27 21:36:23 +0000738getARMBLTargetOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000739 SmallVectorImpl<MCFixup> &Fixups,
740 const MCSubtargetInfo &STI) const {
Jim Grosbach7b811d32012-02-27 21:36:23 +0000741 const MCOperand MO = MI.getOperand(OpIdx);
James Molloyfb5cd602012-03-30 09:15:32 +0000742 if (MO.isExpr()) {
743 if (HasConditionalBranch(MI))
744 return ::getBranchTargetOpValue(MI, OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000745 ARM::fixup_arm_condbl, Fixups, STI);
746 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_uncondbl, Fixups, STI);
James Molloyfb5cd602012-03-30 09:15:32 +0000747 }
Jim Grosbach7b811d32012-02-27 21:36:23 +0000748
749 return MO.getImm() >> 2;
750}
751
752uint32_t ARMMCCodeEmitter::
Owen Andersonb205c022011-08-26 23:32:08 +0000753getARMBLXTargetOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000754 SmallVectorImpl<MCFixup> &Fixups,
755 const MCSubtargetInfo &STI) const {
Owen Andersonb205c022011-08-26 23:32:08 +0000756 const MCOperand MO = MI.getOperand(OpIdx);
Jim Grosbach7b811d32012-02-27 21:36:23 +0000757 if (MO.isExpr())
David Woodhouse3fa98a62014-01-28 23:13:18 +0000758 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_blx, Fixups, STI);
Jason W Kimd2e2f562011-02-04 19:47:15 +0000759
Owen Andersonb205c022011-08-26 23:32:08 +0000760 return MO.getImm() >> 1;
761}
Jason W Kimd2e2f562011-02-04 19:47:15 +0000762
Owen Anderson578074b2010-12-13 19:31:11 +0000763/// getUnconditionalBranchTargetOpValue - Return encoding info for 24-bit
764/// immediate branch target.
765uint32_t ARMMCCodeEmitter::
766getUnconditionalBranchTargetOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000767 SmallVectorImpl<MCFixup> &Fixups,
768 const MCSubtargetInfo &STI) const {
Mihai Popaad18d3c2013-08-09 10:38:32 +0000769 unsigned Val = 0;
770 const MCOperand MO = MI.getOperand(OpIdx);
771
772 if(MO.isExpr())
David Woodhouse3fa98a62014-01-28 23:13:18 +0000773 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_t2_uncondbranch, Fixups, STI);
Mihai Popaad18d3c2013-08-09 10:38:32 +0000774 else
775 Val = MO.getImm() >> 1;
776
Owen Anderson578074b2010-12-13 19:31:11 +0000777 bool I = (Val & 0x800000);
778 bool J1 = (Val & 0x400000);
779 bool J2 = (Val & 0x200000);
780 if (I ^ J1)
781 Val &= ~0x400000;
782 else
783 Val |= 0x400000;
Owen Anderson4ebf4712011-02-08 22:39:40 +0000784
Owen Anderson578074b2010-12-13 19:31:11 +0000785 if (I ^ J2)
786 Val &= ~0x200000;
787 else
788 Val |= 0x200000;
Owen Anderson4ebf4712011-02-08 22:39:40 +0000789
Owen Anderson578074b2010-12-13 19:31:11 +0000790 return Val;
791}
792
Jiangning Liu10dd40e2012-08-02 08:13:13 +0000793/// getAdrLabelOpValue - Return encoding info for 12-bit shifted-immediate
794/// ADR label target.
Jim Grosbachdc35e062010-12-01 19:47:31 +0000795uint32_t ARMMCCodeEmitter::
796getAdrLabelOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000797 SmallVectorImpl<MCFixup> &Fixups,
798 const MCSubtargetInfo &STI) const {
Owen Andersona01bcbf2011-08-26 18:09:22 +0000799 const MCOperand MO = MI.getOperand(OpIdx);
800 if (MO.isExpr())
801 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_adr_pcrel_12,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000802 Fixups, STI);
Mihai Popa0e1012f2013-08-13 14:02:13 +0000803 int64_t offset = MO.getImm();
Owen Andersona01bcbf2011-08-26 18:09:22 +0000804 uint32_t Val = 0x2000;
Jiangning Liu10dd40e2012-08-02 08:13:13 +0000805
Tim Northover29931ab2013-02-27 16:43:09 +0000806 int SoImmVal;
Jiangning Liu10dd40e2012-08-02 08:13:13 +0000807 if (offset == INT32_MIN) {
808 Val = 0x1000;
Tim Northover29931ab2013-02-27 16:43:09 +0000809 SoImmVal = 0;
Jiangning Liu10dd40e2012-08-02 08:13:13 +0000810 } else if (offset < 0) {
Owen Andersona01bcbf2011-08-26 18:09:22 +0000811 Val = 0x1000;
812 offset *= -1;
Tim Northover29931ab2013-02-27 16:43:09 +0000813 SoImmVal = ARM_AM::getSOImmVal(offset);
814 if(SoImmVal == -1) {
815 Val = 0x2000;
816 offset *= -1;
817 SoImmVal = ARM_AM::getSOImmVal(offset);
818 }
819 } else {
820 SoImmVal = ARM_AM::getSOImmVal(offset);
821 if(SoImmVal == -1) {
822 Val = 0x1000;
823 offset *= -1;
824 SoImmVal = ARM_AM::getSOImmVal(offset);
825 }
Owen Andersona01bcbf2011-08-26 18:09:22 +0000826 }
Jiangning Liu10dd40e2012-08-02 08:13:13 +0000827
Jiangning Liu10dd40e2012-08-02 08:13:13 +0000828 assert(SoImmVal != -1 && "Not a valid so_imm value!");
829
830 Val |= SoImmVal;
Owen Andersona01bcbf2011-08-26 18:09:22 +0000831 return Val;
Jim Grosbachdc35e062010-12-01 19:47:31 +0000832}
833
Jiangning Liu10dd40e2012-08-02 08:13:13 +0000834/// getT2AdrLabelOpValue - Return encoding info for 12-bit immediate ADR label
Owen Anderson6d375e52010-12-14 00:36:49 +0000835/// target.
836uint32_t ARMMCCodeEmitter::
837getT2AdrLabelOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000838 SmallVectorImpl<MCFixup> &Fixups,
839 const MCSubtargetInfo &STI) const {
Owen Andersona01bcbf2011-08-26 18:09:22 +0000840 const MCOperand MO = MI.getOperand(OpIdx);
841 if (MO.isExpr())
842 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_t2_adr_pcrel_12,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000843 Fixups, STI);
Owen Anderson5bfb0e02011-09-09 22:24:36 +0000844 int32_t Val = MO.getImm();
Jiangning Liu10dd40e2012-08-02 08:13:13 +0000845 if (Val == INT32_MIN)
846 Val = 0x1000;
847 else if (Val < 0) {
Owen Anderson5bfb0e02011-09-09 22:24:36 +0000848 Val *= -1;
849 Val |= 0x1000;
850 }
851 return Val;
Owen Anderson6d375e52010-12-14 00:36:49 +0000852}
853
Jiangning Liu10dd40e2012-08-02 08:13:13 +0000854/// getThumbAdrLabelOpValue - Return encoding info for 8-bit immediate ADR label
Jim Grosbach509dc2a2010-12-14 22:28:03 +0000855/// target.
856uint32_t ARMMCCodeEmitter::
857getThumbAdrLabelOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000858 SmallVectorImpl<MCFixup> &Fixups,
859 const MCSubtargetInfo &STI) const {
Owen Andersona01bcbf2011-08-26 18:09:22 +0000860 const MCOperand MO = MI.getOperand(OpIdx);
861 if (MO.isExpr())
862 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_thumb_adr_pcrel_10,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000863 Fixups, STI);
Owen Andersona01bcbf2011-08-26 18:09:22 +0000864 return MO.getImm();
Jim Grosbach509dc2a2010-12-14 22:28:03 +0000865}
866
Bill Wendling092a7bd2010-12-14 03:36:38 +0000867/// getThumbAddrModeRegRegOpValue - Return encoding info for 'reg + reg'
868/// operand.
Owen Andersonb0fa1272010-12-10 22:11:13 +0000869uint32_t ARMMCCodeEmitter::
Bill Wendling092a7bd2010-12-14 03:36:38 +0000870getThumbAddrModeRegRegOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000871 SmallVectorImpl<MCFixup> &,
872 const MCSubtargetInfo &STI) const {
Bill Wendling092a7bd2010-12-14 03:36:38 +0000873 // [Rn, Rm]
874 // {5-3} = Rm
875 // {2-0} = Rn
Owen Andersonb0fa1272010-12-10 22:11:13 +0000876 const MCOperand &MO1 = MI.getOperand(OpIdx);
Bill Wendling092a7bd2010-12-14 03:36:38 +0000877 const MCOperand &MO2 = MI.getOperand(OpIdx + 1);
Bill Wendlingbc07a892013-06-18 07:20:20 +0000878 unsigned Rn = CTX.getRegisterInfo()->getEncodingValue(MO1.getReg());
879 unsigned Rm = CTX.getRegisterInfo()->getEncodingValue(MO2.getReg());
Owen Andersonb0fa1272010-12-10 22:11:13 +0000880 return (Rm << 3) | Rn;
881}
882
Bill Wendlinge84eb992010-11-03 01:49:29 +0000883/// getAddrModeImm12OpValue - Return encoding info for 'reg +/- imm12' operand.
Jim Grosbach2eed7a12010-11-03 23:52:49 +0000884uint32_t ARMMCCodeEmitter::
885getAddrModeImm12OpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000886 SmallVectorImpl<MCFixup> &Fixups,
887 const MCSubtargetInfo &STI) const {
Bill Wendlinge84eb992010-11-03 01:49:29 +0000888 // {17-13} = reg
889 // {12} = (U)nsigned (add == '1', sub == '0')
890 // {11-0} = imm12
891 unsigned Reg, Imm12;
Jim Grosbach0fb841f2010-11-04 01:12:30 +0000892 bool isAdd = true;
893 // If The first operand isn't a register, we have a label reference.
894 const MCOperand &MO = MI.getOperand(OpIdx);
Owen Anderson4ebf4712011-02-08 22:39:40 +0000895 if (!MO.isReg()) {
Bill Wendlingbc07a892013-06-18 07:20:20 +0000896 Reg = CTX.getRegisterInfo()->getEncodingValue(ARM::PC); // Rn is PC.
Jim Grosbach0fb841f2010-11-04 01:12:30 +0000897 Imm12 = 0;
898
Owen Anderson4a9eb5f2011-09-12 20:36:51 +0000899 if (MO.isExpr()) {
900 const MCExpr *Expr = MO.getExpr();
Amaury de la Vieuvilleeac0bad2013-06-18 08:13:05 +0000901 isAdd = false ; // 'U' bit is set as part of the fixup.
Jim Grosbachc4a0c292010-12-10 21:57:34 +0000902
Owen Anderson4a9eb5f2011-09-12 20:36:51 +0000903 MCFixupKind Kind;
David Woodhoused2cca112014-01-28 23:13:25 +0000904 if (isThumb2(STI))
Owen Anderson4a9eb5f2011-09-12 20:36:51 +0000905 Kind = MCFixupKind(ARM::fixup_t2_ldst_pcrel_12);
906 else
907 Kind = MCFixupKind(ARM::fixup_arm_ldst_pcrel_12);
Jim Grosbach63661f82015-05-15 19:13:05 +0000908 Fixups.push_back(MCFixup::create(0, Expr, Kind, MI.getLoc()));
Jim Grosbach0fb841f2010-11-04 01:12:30 +0000909
Owen Anderson4a9eb5f2011-09-12 20:36:51 +0000910 ++MCNumCPRelocations;
911 } else {
912 Reg = ARM::PC;
913 int32_t Offset = MO.getImm();
Mihai Popa46c1bcb2013-08-16 12:03:00 +0000914 if (Offset == INT32_MIN) {
915 Offset = 0;
916 isAdd = false;
917 } else if (Offset < 0) {
Owen Anderson4a9eb5f2011-09-12 20:36:51 +0000918 Offset *= -1;
919 isAdd = false;
920 }
921 Imm12 = Offset;
922 }
Jim Grosbach0fb841f2010-11-04 01:12:30 +0000923 } else
David Woodhouse3fa98a62014-01-28 23:13:18 +0000924 isAdd = EncodeAddrModeOpValues(MI, OpIdx, Reg, Imm12, Fixups, STI);
Bill Wendlinge84eb992010-11-03 01:49:29 +0000925
Bill Wendlinge84eb992010-11-03 01:49:29 +0000926 uint32_t Binary = Imm12 & 0xfff;
927 // Immediate is always encoded as positive. The 'U' bit controls add vs sub.
Jim Grosbach505607e2010-10-28 18:34:10 +0000928 if (isAdd)
Bill Wendlinge84eb992010-11-03 01:49:29 +0000929 Binary |= (1 << 12);
930 Binary |= (Reg << 13);
931 return Binary;
932}
933
Jim Grosbach7db8d692011-09-08 22:07:06 +0000934/// getT2Imm8s4OpValue - Return encoding info for
935/// '+/- imm8<<2' operand.
936uint32_t ARMMCCodeEmitter::
937getT2Imm8s4OpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000938 SmallVectorImpl<MCFixup> &Fixups,
939 const MCSubtargetInfo &STI) const {
Jim Grosbach7db8d692011-09-08 22:07:06 +0000940 // FIXME: The immediate operand should have already been encoded like this
941 // before ever getting here. The encoder method should just need to combine
942 // the MI operands for the register and the offset into a single
943 // representation for the complex operand in the .td file. This isn't just
944 // style, unfortunately. As-is, we can't represent the distinct encoding
945 // for #-0.
946
947 // {8} = (U)nsigned (add == '1', sub == '0')
948 // {7-0} = imm8
949 int32_t Imm8 = MI.getOperand(OpIdx).getImm();
950 bool isAdd = Imm8 >= 0;
951
952 // Immediate is always encoded as positive. The 'U' bit controls add vs sub.
953 if (Imm8 < 0)
Richard Smithf3c75f72012-08-24 00:35:46 +0000954 Imm8 = -(uint32_t)Imm8;
Jim Grosbach7db8d692011-09-08 22:07:06 +0000955
956 // Scaled by 4.
957 Imm8 /= 4;
958
959 uint32_t Binary = Imm8 & 0xff;
960 // Immediate is always encoded as positive. The 'U' bit controls add vs sub.
961 if (isAdd)
962 Binary |= (1 << 8);
963 return Binary;
964}
965
Owen Anderson943fb602010-12-01 19:18:46 +0000966/// getT2AddrModeImm8s4OpValue - Return encoding info for
967/// 'reg +/- imm8<<2' operand.
968uint32_t ARMMCCodeEmitter::
969getT2AddrModeImm8s4OpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +0000970 SmallVectorImpl<MCFixup> &Fixups,
971 const MCSubtargetInfo &STI) const {
Jim Grosbache69f7242010-12-10 21:05:07 +0000972 // {12-9} = reg
973 // {8} = (U)nsigned (add == '1', sub == '0')
974 // {7-0} = imm8
Owen Anderson943fb602010-12-01 19:18:46 +0000975 unsigned Reg, Imm8;
976 bool isAdd = true;
977 // If The first operand isn't a register, we have a label reference.
978 const MCOperand &MO = MI.getOperand(OpIdx);
979 if (!MO.isReg()) {
Bill Wendlingbc07a892013-06-18 07:20:20 +0000980 Reg = CTX.getRegisterInfo()->getEncodingValue(ARM::PC); // Rn is PC.
Owen Anderson943fb602010-12-01 19:18:46 +0000981 Imm8 = 0;
982 isAdd = false ; // 'U' bit is set as part of the fixup.
983
984 assert(MO.isExpr() && "Unexpected machine operand type!");
985 const MCExpr *Expr = MO.getExpr();
Jim Grosbach8648c102011-12-19 23:06:24 +0000986 MCFixupKind Kind = MCFixupKind(ARM::fixup_t2_pcrel_10);
Jim Grosbach63661f82015-05-15 19:13:05 +0000987 Fixups.push_back(MCFixup::create(0, Expr, Kind, MI.getLoc()));
Owen Anderson943fb602010-12-01 19:18:46 +0000988
989 ++MCNumCPRelocations;
990 } else
David Woodhouse3fa98a62014-01-28 23:13:18 +0000991 isAdd = EncodeAddrModeOpValues(MI, OpIdx, Reg, Imm8, Fixups, STI);
Owen Anderson943fb602010-12-01 19:18:46 +0000992
Jim Grosbach7db8d692011-09-08 22:07:06 +0000993 // FIXME: The immediate operand should have already been encoded like this
994 // before ever getting here. The encoder method should just need to combine
995 // the MI operands for the register and the offset into a single
996 // representation for the complex operand in the .td file. This isn't just
997 // style, unfortunately. As-is, we can't represent the distinct encoding
998 // for #-0.
Owen Anderson943fb602010-12-01 19:18:46 +0000999 uint32_t Binary = (Imm8 >> 2) & 0xff;
1000 // Immediate is always encoded as positive. The 'U' bit controls add vs sub.
1001 if (isAdd)
Jim Grosbache69f7242010-12-10 21:05:07 +00001002 Binary |= (1 << 8);
Owen Anderson943fb602010-12-01 19:18:46 +00001003 Binary |= (Reg << 9);
1004 return Binary;
1005}
1006
Jim Grosbacha05627e2011-09-09 18:37:27 +00001007/// getT2AddrModeImm0_1020s4OpValue - Return encoding info for
1008/// 'reg + imm8<<2' operand.
1009uint32_t ARMMCCodeEmitter::
1010getT2AddrModeImm0_1020s4OpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001011 SmallVectorImpl<MCFixup> &Fixups,
1012 const MCSubtargetInfo &STI) const {
Jim Grosbacha05627e2011-09-09 18:37:27 +00001013 // {11-8} = reg
1014 // {7-0} = imm8
1015 const MCOperand &MO = MI.getOperand(OpIdx);
1016 const MCOperand &MO1 = MI.getOperand(OpIdx + 1);
Bill Wendlingbc07a892013-06-18 07:20:20 +00001017 unsigned Reg = CTX.getRegisterInfo()->getEncodingValue(MO.getReg());
Jim Grosbacha05627e2011-09-09 18:37:27 +00001018 unsigned Imm8 = MO1.getImm();
1019 return (Reg << 8) | Imm8;
1020}
1021
Evan Cheng965b3c72011-01-13 07:58:56 +00001022uint32_t
1023ARMMCCodeEmitter::getHiLo16ImmOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001024 SmallVectorImpl<MCFixup> &Fixups,
1025 const MCSubtargetInfo &STI) const {
Jason W Kim5a97bd82010-11-18 23:37:15 +00001026 // {20-16} = imm{15-12}
1027 // {11-0} = imm{11-0}
Jim Grosbachc4a0c292010-12-10 21:57:34 +00001028 const MCOperand &MO = MI.getOperand(OpIdx);
Evan Cheng965b3c72011-01-13 07:58:56 +00001029 if (MO.isImm())
1030 // Hi / lo 16 bits already extracted during earlier passes.
Jason W Kim5a97bd82010-11-18 23:37:15 +00001031 return static_cast<unsigned>(MO.getImm());
Evan Cheng965b3c72011-01-13 07:58:56 +00001032
1033 // Handle :upper16: and :lower16: assembly prefixes.
1034 const MCExpr *E = MO.getExpr();
Jim Grosbach70bed4f2012-05-01 20:43:21 +00001035 MCFixupKind Kind;
Evan Cheng965b3c72011-01-13 07:58:56 +00001036 if (E->getKind() == MCExpr::Target) {
1037 const ARMMCExpr *ARM16Expr = cast<ARMMCExpr>(E);
1038 E = ARM16Expr->getSubExpr();
1039
Saleem Abdulrasool2d48ede2014-01-11 23:03:48 +00001040 if (const MCConstantExpr *MCE = dyn_cast<MCConstantExpr>(E)) {
1041 const int64_t Value = MCE->getValue();
1042 if (Value > UINT32_MAX)
1043 report_fatal_error("constant value truncated (limited to 32-bit)");
1044
1045 switch (ARM16Expr->getKind()) {
1046 case ARMMCExpr::VK_ARM_HI16:
1047 return (int32_t(Value) & 0xffff0000) >> 16;
1048 case ARMMCExpr::VK_ARM_LO16:
1049 return (int32_t(Value) & 0x0000ffff);
1050 default: llvm_unreachable("Unsupported ARMFixup");
1051 }
1052 }
1053
Evan Cheng965b3c72011-01-13 07:58:56 +00001054 switch (ARM16Expr->getKind()) {
Craig Toppere55c5562012-02-07 02:50:20 +00001055 default: llvm_unreachable("Unsupported ARMFixup");
Evan Cheng965b3c72011-01-13 07:58:56 +00001056 case ARMMCExpr::VK_ARM_HI16:
Bradley Smithd9a99ce2016-01-15 10:25:14 +00001057 Kind = MCFixupKind(isThumb(STI) ? ARM::fixup_t2_movt_hi16
1058 : ARM::fixup_arm_movt_hi16);
Jason W Kim5a97bd82010-11-18 23:37:15 +00001059 break;
Evan Cheng965b3c72011-01-13 07:58:56 +00001060 case ARMMCExpr::VK_ARM_LO16:
Bradley Smithd9a99ce2016-01-15 10:25:14 +00001061 Kind = MCFixupKind(isThumb(STI) ? ARM::fixup_t2_movw_lo16
1062 : ARM::fixup_arm_movw_lo16);
Jason W Kim5a97bd82010-11-18 23:37:15 +00001063 break;
Jason W Kim5a97bd82010-11-18 23:37:15 +00001064 }
Saleem Abdulrasool84b952b2014-04-27 03:48:22 +00001065
Jim Grosbach63661f82015-05-15 19:13:05 +00001066 Fixups.push_back(MCFixup::create(0, E, Kind, MI.getLoc()));
Jason W Kim5a97bd82010-11-18 23:37:15 +00001067 return 0;
Jim Grosbach70bed4f2012-05-01 20:43:21 +00001068 }
1069 // If the expression doesn't have :upper16: or :lower16: on it,
Kevin Enderbyb7e51f62014-04-18 23:06:39 +00001070 // it's just a plain immediate expression, previously those evaluated to
Jim Grosbach70bed4f2012-05-01 20:43:21 +00001071 // the lower 16 bits of the expression regardless of whether
Kevin Enderbyb7e51f62014-04-18 23:06:39 +00001072 // we have a movt or a movw, but that led to misleadingly results.
Eric Christopher572e03a2015-06-19 01:53:21 +00001073 // This is disallowed in the AsmParser in validateInstruction()
Kevin Enderbyb7e51f62014-04-18 23:06:39 +00001074 // so this should never happen.
Craig Topper35b2f752014-06-19 06:10:58 +00001075 llvm_unreachable("expression without :upper16: or :lower16:");
Jason W Kim5a97bd82010-11-18 23:37:15 +00001076}
1077
1078uint32_t ARMMCCodeEmitter::
Jim Grosbachdbfb5ed2010-11-09 17:20:53 +00001079getLdStSORegOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001080 SmallVectorImpl<MCFixup> &Fixups,
1081 const MCSubtargetInfo &STI) const {
Jim Grosbachdbfb5ed2010-11-09 17:20:53 +00001082 const MCOperand &MO = MI.getOperand(OpIdx);
1083 const MCOperand &MO1 = MI.getOperand(OpIdx+1);
1084 const MCOperand &MO2 = MI.getOperand(OpIdx+2);
Bill Wendlingbc07a892013-06-18 07:20:20 +00001085 unsigned Rn = CTX.getRegisterInfo()->getEncodingValue(MO.getReg());
1086 unsigned Rm = CTX.getRegisterInfo()->getEncodingValue(MO1.getReg());
Jim Grosbachdbfb5ed2010-11-09 17:20:53 +00001087 unsigned ShImm = ARM_AM::getAM2Offset(MO2.getImm());
1088 bool isAdd = ARM_AM::getAM2Op(MO2.getImm()) == ARM_AM::add;
Jim Grosbach38b469e2010-11-15 20:47:07 +00001089 ARM_AM::ShiftOpc ShOp = ARM_AM::getAM2ShiftOpc(MO2.getImm());
1090 unsigned SBits = getShiftOp(ShOp);
Jim Grosbachdbfb5ed2010-11-09 17:20:53 +00001091
Tim Northover0c97e762012-09-22 11:18:12 +00001092 // While "lsr #32" and "asr #32" exist, they are encoded with a 0 in the shift
1093 // amount. However, it would be an easy mistake to make so check here.
1094 assert((ShImm & ~0x1f) == 0 && "Out of range shift amount");
1095
Jim Grosbachdbfb5ed2010-11-09 17:20:53 +00001096 // {16-13} = Rn
1097 // {12} = isAdd
1098 // {11-0} = shifter
1099 // {3-0} = Rm
1100 // {4} = 0
1101 // {6-5} = type
1102 // {11-7} = imm
Jim Grosbach607efcb2010-11-11 01:09:40 +00001103 uint32_t Binary = Rm;
Jim Grosbachdbfb5ed2010-11-09 17:20:53 +00001104 Binary |= Rn << 13;
1105 Binary |= SBits << 5;
1106 Binary |= ShImm << 7;
1107 if (isAdd)
1108 Binary |= 1 << 12;
1109 return Binary;
1110}
1111
Jim Grosbach607efcb2010-11-11 01:09:40 +00001112uint32_t ARMMCCodeEmitter::
Jim Grosbach38b469e2010-11-15 20:47:07 +00001113getAddrMode2OpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001114 SmallVectorImpl<MCFixup> &Fixups,
1115 const MCSubtargetInfo &STI) const {
Jim Grosbach38b469e2010-11-15 20:47:07 +00001116 // {17-14} Rn
1117 // {13} 1 == imm12, 0 == Rm
1118 // {12} isAdd
1119 // {11-0} imm12/Rm
1120 const MCOperand &MO = MI.getOperand(OpIdx);
Bill Wendlingbc07a892013-06-18 07:20:20 +00001121 unsigned Rn = CTX.getRegisterInfo()->getEncodingValue(MO.getReg());
David Woodhouse3fa98a62014-01-28 23:13:18 +00001122 uint32_t Binary = getAddrMode2OffsetOpValue(MI, OpIdx + 1, Fixups, STI);
Jim Grosbach38b469e2010-11-15 20:47:07 +00001123 Binary |= Rn << 14;
1124 return Binary;
1125}
1126
1127uint32_t ARMMCCodeEmitter::
1128getAddrMode2OffsetOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001129 SmallVectorImpl<MCFixup> &Fixups,
1130 const MCSubtargetInfo &STI) const {
Jim Grosbach38b469e2010-11-15 20:47:07 +00001131 // {13} 1 == imm12, 0 == Rm
1132 // {12} isAdd
1133 // {11-0} imm12/Rm
1134 const MCOperand &MO = MI.getOperand(OpIdx);
1135 const MCOperand &MO1 = MI.getOperand(OpIdx+1);
1136 unsigned Imm = MO1.getImm();
1137 bool isAdd = ARM_AM::getAM2Op(Imm) == ARM_AM::add;
1138 bool isReg = MO.getReg() != 0;
1139 uint32_t Binary = ARM_AM::getAM2Offset(Imm);
1140 // if reg +/- reg, Rm will be non-zero. Otherwise, we have reg +/- imm12
1141 if (isReg) {
1142 ARM_AM::ShiftOpc ShOp = ARM_AM::getAM2ShiftOpc(Imm);
1143 Binary <<= 7; // Shift amount is bits [11:7]
1144 Binary |= getShiftOp(ShOp) << 5; // Shift type is bits [6:5]
Bill Wendlingbc07a892013-06-18 07:20:20 +00001145 Binary |= CTX.getRegisterInfo()->getEncodingValue(MO.getReg()); // Rm is bits [3:0]
Jim Grosbach38b469e2010-11-15 20:47:07 +00001146 }
1147 return Binary | (isAdd << 12) | (isReg << 13);
1148}
1149
1150uint32_t ARMMCCodeEmitter::
Jim Grosbachd3595712011-08-03 23:50:40 +00001151getPostIdxRegOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001152 SmallVectorImpl<MCFixup> &Fixups,
1153 const MCSubtargetInfo &STI) const {
Jim Grosbachd3595712011-08-03 23:50:40 +00001154 // {4} isAdd
1155 // {3-0} Rm
1156 const MCOperand &MO = MI.getOperand(OpIdx);
1157 const MCOperand &MO1 = MI.getOperand(OpIdx+1);
Jim Grosbacha70fbfd52011-08-05 16:11:38 +00001158 bool isAdd = MO1.getImm() != 0;
Bill Wendlingbc07a892013-06-18 07:20:20 +00001159 return CTX.getRegisterInfo()->getEncodingValue(MO.getReg()) | (isAdd << 4);
Jim Grosbachd3595712011-08-03 23:50:40 +00001160}
1161
1162uint32_t ARMMCCodeEmitter::
Jim Grosbach68685e62010-11-11 16:55:29 +00001163getAddrMode3OffsetOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001164 SmallVectorImpl<MCFixup> &Fixups,
1165 const MCSubtargetInfo &STI) const {
Jim Grosbach68685e62010-11-11 16:55:29 +00001166 // {9} 1 == imm8, 0 == Rm
1167 // {8} isAdd
1168 // {7-4} imm7_4/zero
1169 // {3-0} imm3_0/Rm
1170 const MCOperand &MO = MI.getOperand(OpIdx);
1171 const MCOperand &MO1 = MI.getOperand(OpIdx+1);
1172 unsigned Imm = MO1.getImm();
1173 bool isAdd = ARM_AM::getAM3Op(Imm) == ARM_AM::add;
1174 bool isImm = MO.getReg() == 0;
1175 uint32_t Imm8 = ARM_AM::getAM3Offset(Imm);
1176 // if reg +/- reg, Rm will be non-zero. Otherwise, we have reg +/- imm8
1177 if (!isImm)
Bill Wendlingbc07a892013-06-18 07:20:20 +00001178 Imm8 = CTX.getRegisterInfo()->getEncodingValue(MO.getReg());
Jim Grosbach68685e62010-11-11 16:55:29 +00001179 return Imm8 | (isAdd << 8) | (isImm << 9);
1180}
1181
1182uint32_t ARMMCCodeEmitter::
Jim Grosbach607efcb2010-11-11 01:09:40 +00001183getAddrMode3OpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001184 SmallVectorImpl<MCFixup> &Fixups,
1185 const MCSubtargetInfo &STI) const {
Jim Grosbach607efcb2010-11-11 01:09:40 +00001186 // {13} 1 == imm8, 0 == Rm
1187 // {12-9} Rn
1188 // {8} isAdd
1189 // {7-4} imm7_4/zero
1190 // {3-0} imm3_0/Rm
1191 const MCOperand &MO = MI.getOperand(OpIdx);
1192 const MCOperand &MO1 = MI.getOperand(OpIdx+1);
1193 const MCOperand &MO2 = MI.getOperand(OpIdx+2);
Jim Grosbach8648c102011-12-19 23:06:24 +00001194
1195 // If The first operand isn't a register, we have a label reference.
1196 if (!MO.isReg()) {
Bill Wendlingbc07a892013-06-18 07:20:20 +00001197 unsigned Rn = CTX.getRegisterInfo()->getEncodingValue(ARM::PC); // Rn is PC.
Jim Grosbach8648c102011-12-19 23:06:24 +00001198
1199 assert(MO.isExpr() && "Unexpected machine operand type!");
1200 const MCExpr *Expr = MO.getExpr();
1201 MCFixupKind Kind = MCFixupKind(ARM::fixup_arm_pcrel_10_unscaled);
Jim Grosbach63661f82015-05-15 19:13:05 +00001202 Fixups.push_back(MCFixup::create(0, Expr, Kind, MI.getLoc()));
Jim Grosbach8648c102011-12-19 23:06:24 +00001203
1204 ++MCNumCPRelocations;
1205 return (Rn << 9) | (1 << 13);
1206 }
Bill Wendlingbc07a892013-06-18 07:20:20 +00001207 unsigned Rn = CTX.getRegisterInfo()->getEncodingValue(MO.getReg());
Jim Grosbach607efcb2010-11-11 01:09:40 +00001208 unsigned Imm = MO2.getImm();
1209 bool isAdd = ARM_AM::getAM3Op(Imm) == ARM_AM::add;
1210 bool isImm = MO1.getReg() == 0;
1211 uint32_t Imm8 = ARM_AM::getAM3Offset(Imm);
1212 // if reg +/- reg, Rm will be non-zero. Otherwise, we have reg +/- imm8
1213 if (!isImm)
Bill Wendlingbc07a892013-06-18 07:20:20 +00001214 Imm8 = CTX.getRegisterInfo()->getEncodingValue(MO1.getReg());
Jim Grosbach607efcb2010-11-11 01:09:40 +00001215 return (Rn << 9) | Imm8 | (isAdd << 8) | (isImm << 13);
1216}
1217
Bill Wendling8a6449c2010-12-08 01:57:09 +00001218/// getAddrModeThumbSPOpValue - Encode the t_addrmode_sp operands.
Jim Grosbach49bcd6f2010-12-07 21:50:47 +00001219uint32_t ARMMCCodeEmitter::
1220getAddrModeThumbSPOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001221 SmallVectorImpl<MCFixup> &Fixups,
1222 const MCSubtargetInfo &STI) const {
Jim Grosbach49bcd6f2010-12-07 21:50:47 +00001223 // [SP, #imm]
1224 // {7-0} = imm8
Jim Grosbach49bcd6f2010-12-07 21:50:47 +00001225 const MCOperand &MO1 = MI.getOperand(OpIdx + 1);
Bill Wendling8a6449c2010-12-08 01:57:09 +00001226 assert(MI.getOperand(OpIdx).getReg() == ARM::SP &&
1227 "Unexpected base register!");
Bill Wendling7d3bde92010-12-15 23:32:27 +00001228
Jim Grosbach49bcd6f2010-12-07 21:50:47 +00001229 // The immediate is already shifted for the implicit zeroes, so no change
1230 // here.
1231 return MO1.getImm() & 0xff;
1232}
1233
Bill Wendling092a7bd2010-12-14 03:36:38 +00001234/// getAddrModeISOpValue - Encode the t_addrmode_is# operands.
Bill Wendling0c4838b2010-12-09 21:49:07 +00001235uint32_t ARMMCCodeEmitter::
Bill Wendling092a7bd2010-12-14 03:36:38 +00001236getAddrModeISOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001237 SmallVectorImpl<MCFixup> &Fixups,
1238 const MCSubtargetInfo &STI) const {
Bill Wendling811c9362010-11-30 07:44:32 +00001239 // [Rn, #imm]
1240 // {7-3} = imm5
1241 // {2-0} = Rn
1242 const MCOperand &MO = MI.getOperand(OpIdx);
1243 const MCOperand &MO1 = MI.getOperand(OpIdx + 1);
Bill Wendlingbc07a892013-06-18 07:20:20 +00001244 unsigned Rn = CTX.getRegisterInfo()->getEncodingValue(MO.getReg());
Matt Beaumont-Gaye9afc742010-12-16 01:34:26 +00001245 unsigned Imm5 = MO1.getImm();
Bill Wendling0c4838b2010-12-09 21:49:07 +00001246 return ((Imm5 & 0x1f) << 3) | Rn;
Bill Wendlinga9e3df72010-11-30 22:57:21 +00001247}
1248
Bill Wendling8a6449c2010-12-08 01:57:09 +00001249/// getAddrModePCOpValue - Return encoding for t_addrmode_pc operands.
1250uint32_t ARMMCCodeEmitter::
1251getAddrModePCOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001252 SmallVectorImpl<MCFixup> &Fixups,
1253 const MCSubtargetInfo &STI) const {
Owen Andersond16fb432011-08-30 22:10:03 +00001254 const MCOperand MO = MI.getOperand(OpIdx);
1255 if (MO.isExpr())
David Woodhouse3fa98a62014-01-28 23:13:18 +00001256 return ::getBranchTargetOpValue(MI, OpIdx, ARM::fixup_arm_thumb_cp, Fixups, STI);
Owen Andersond16fb432011-08-30 22:10:03 +00001257 return (MO.getImm() >> 2);
Bill Wendling8a6449c2010-12-08 01:57:09 +00001258}
1259
Oliver Stannard65b85382016-01-25 10:26:26 +00001260/// getAddrMode5OpValue - Return encoding info for 'reg +/- (imm8 << 2)' operand.
Jim Grosbach2eed7a12010-11-03 23:52:49 +00001261uint32_t ARMMCCodeEmitter::
1262getAddrMode5OpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001263 SmallVectorImpl<MCFixup> &Fixups,
1264 const MCSubtargetInfo &STI) const {
Bill Wendlinge84eb992010-11-03 01:49:29 +00001265 // {12-9} = reg
1266 // {8} = (U)nsigned (add == '1', sub == '0')
1267 // {7-0} = imm8
1268 unsigned Reg, Imm8;
Jim Grosbach2d3e5c12010-11-30 22:40:36 +00001269 bool isAdd;
Jim Grosbach0fb841f2010-11-04 01:12:30 +00001270 // If The first operand isn't a register, we have a label reference.
1271 const MCOperand &MO = MI.getOperand(OpIdx);
1272 if (!MO.isReg()) {
Bill Wendlingbc07a892013-06-18 07:20:20 +00001273 Reg = CTX.getRegisterInfo()->getEncodingValue(ARM::PC); // Rn is PC.
Jim Grosbach0fb841f2010-11-04 01:12:30 +00001274 Imm8 = 0;
Jim Grosbach2d3e5c12010-11-30 22:40:36 +00001275 isAdd = false; // 'U' bit is handled as part of the fixup.
Jim Grosbach0fb841f2010-11-04 01:12:30 +00001276
1277 assert(MO.isExpr() && "Unexpected machine operand type!");
1278 const MCExpr *Expr = MO.getExpr();
Owen Anderson0f7142d2010-12-08 00:18:36 +00001279 MCFixupKind Kind;
David Woodhoused2cca112014-01-28 23:13:25 +00001280 if (isThumb2(STI))
Owen Anderson0f7142d2010-12-08 00:18:36 +00001281 Kind = MCFixupKind(ARM::fixup_t2_pcrel_10);
1282 else
1283 Kind = MCFixupKind(ARM::fixup_arm_pcrel_10);
Jim Grosbach63661f82015-05-15 19:13:05 +00001284 Fixups.push_back(MCFixup::create(0, Expr, Kind, MI.getLoc()));
Jim Grosbach0fb841f2010-11-04 01:12:30 +00001285
1286 ++MCNumCPRelocations;
Jim Grosbach2d3e5c12010-11-30 22:40:36 +00001287 } else {
David Woodhouse3fa98a62014-01-28 23:13:18 +00001288 EncodeAddrModeOpValues(MI, OpIdx, Reg, Imm8, Fixups, STI);
Jim Grosbach2d3e5c12010-11-30 22:40:36 +00001289 isAdd = ARM_AM::getAM5Op(Imm8) == ARM_AM::add;
1290 }
Bill Wendlinge84eb992010-11-03 01:49:29 +00001291
Bill Wendlinge84eb992010-11-03 01:49:29 +00001292 uint32_t Binary = ARM_AM::getAM5Offset(Imm8);
1293 // Immediate is always encoded as positive. The 'U' bit controls add vs sub.
Jim Grosbach2d3e5c12010-11-30 22:40:36 +00001294 if (isAdd)
Bill Wendlinge84eb992010-11-03 01:49:29 +00001295 Binary |= (1 << 8);
1296 Binary |= (Reg << 9);
Jim Grosbach1e4d9a12010-10-26 22:37:02 +00001297 return Binary;
1298}
1299
Oliver Stannard65b85382016-01-25 10:26:26 +00001300/// getAddrMode5FP16OpValue - Return encoding info for 'reg +/- (imm8 << 1)' operand.
1301uint32_t ARMMCCodeEmitter::
1302getAddrMode5FP16OpValue(const MCInst &MI, unsigned OpIdx,
1303 SmallVectorImpl<MCFixup> &Fixups,
1304 const MCSubtargetInfo &STI) const {
1305 // {12-9} = reg
1306 // {8} = (U)nsigned (add == '1', sub == '0')
1307 // {7-0} = imm8
1308 unsigned Reg, Imm8;
1309 bool isAdd;
1310 // If The first operand isn't a register, we have a label reference.
1311 const MCOperand &MO = MI.getOperand(OpIdx);
1312 if (!MO.isReg()) {
1313 Reg = CTX.getRegisterInfo()->getEncodingValue(ARM::PC); // Rn is PC.
1314 Imm8 = 0;
1315 isAdd = false; // 'U' bit is handled as part of the fixup.
1316
1317 assert(MO.isExpr() && "Unexpected machine operand type!");
1318 const MCExpr *Expr = MO.getExpr();
1319 MCFixupKind Kind;
1320 if (isThumb2(STI))
1321 Kind = MCFixupKind(ARM::fixup_t2_pcrel_9);
1322 else
1323 Kind = MCFixupKind(ARM::fixup_arm_pcrel_9);
1324 Fixups.push_back(MCFixup::create(0, Expr, Kind, MI.getLoc()));
1325
1326 ++MCNumCPRelocations;
1327 } else {
1328 EncodeAddrModeOpValues(MI, OpIdx, Reg, Imm8, Fixups, STI);
1329 isAdd = ARM_AM::getAM5Op(Imm8) == ARM_AM::add;
1330 }
1331
1332 uint32_t Binary = ARM_AM::getAM5Offset(Imm8);
1333 // Immediate is always encoded as positive. The 'U' bit controls add vs sub.
1334 if (isAdd)
1335 Binary |= (1 << 8);
1336 Binary |= (Reg << 9);
1337 return Binary;
1338}
1339
Jim Grosbach2eed7a12010-11-03 23:52:49 +00001340unsigned ARMMCCodeEmitter::
Owen Anderson04912702011-07-21 23:38:37 +00001341getSORegRegOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001342 SmallVectorImpl<MCFixup> &Fixups,
1343 const MCSubtargetInfo &STI) const {
Bill Wendlingf9eebb52010-11-02 22:53:11 +00001344 // Sub-operands are [reg, reg, imm]. The first register is Rm, the reg to be
Owen Anderson7c965e72011-07-28 17:56:55 +00001345 // shifted. The second is Rs, the amount to shift by, and the third specifies
1346 // the type of the shift.
Jim Grosbach49b0c452010-11-03 22:03:20 +00001347 //
Jim Grosbachefd53692010-10-12 23:53:58 +00001348 // {3-0} = Rm.
Owen Anderson7c965e72011-07-28 17:56:55 +00001349 // {4} = 1
Jim Grosbachefd53692010-10-12 23:53:58 +00001350 // {6-5} = type
Owen Anderson7c965e72011-07-28 17:56:55 +00001351 // {11-8} = Rs
1352 // {7} = 0
Jim Grosbachefd53692010-10-12 23:53:58 +00001353
1354 const MCOperand &MO = MI.getOperand(OpIdx);
1355 const MCOperand &MO1 = MI.getOperand(OpIdx + 1);
1356 const MCOperand &MO2 = MI.getOperand(OpIdx + 2);
1357 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO2.getImm());
1358
1359 // Encode Rm.
Bill Wendlingbc07a892013-06-18 07:20:20 +00001360 unsigned Binary = CTX.getRegisterInfo()->getEncodingValue(MO.getReg());
Jim Grosbachefd53692010-10-12 23:53:58 +00001361
1362 // Encode the shift opcode.
1363 unsigned SBits = 0;
1364 unsigned Rs = MO1.getReg();
1365 if (Rs) {
1366 // Set shift operand (bit[7:4]).
1367 // LSL - 0001
1368 // LSR - 0011
1369 // ASR - 0101
1370 // ROR - 0111
Jim Grosbachefd53692010-10-12 23:53:58 +00001371 switch (SOpc) {
1372 default: llvm_unreachable("Unknown shift opc!");
1373 case ARM_AM::lsl: SBits = 0x1; break;
1374 case ARM_AM::lsr: SBits = 0x3; break;
1375 case ARM_AM::asr: SBits = 0x5; break;
1376 case ARM_AM::ror: SBits = 0x7; break;
Jim Grosbachefd53692010-10-12 23:53:58 +00001377 }
1378 }
Bill Wendlingf9eebb52010-11-02 22:53:11 +00001379
Jim Grosbachefd53692010-10-12 23:53:58 +00001380 Binary |= SBits << 4;
Jim Grosbachefd53692010-10-12 23:53:58 +00001381
Owen Anderson7c965e72011-07-28 17:56:55 +00001382 // Encode the shift operation Rs.
Owen Anderson04912702011-07-21 23:38:37 +00001383 // Encode Rs bit[11:8].
1384 assert(ARM_AM::getSORegOffset(MO2.getImm()) == 0);
Bill Wendlingbc07a892013-06-18 07:20:20 +00001385 return Binary | (CTX.getRegisterInfo()->getEncodingValue(Rs) << ARMII::RegRsShift);
Owen Anderson04912702011-07-21 23:38:37 +00001386}
1387
1388unsigned ARMMCCodeEmitter::
1389getSORegImmOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001390 SmallVectorImpl<MCFixup> &Fixups,
1391 const MCSubtargetInfo &STI) const {
Owen Anderson7c965e72011-07-28 17:56:55 +00001392 // Sub-operands are [reg, imm]. The first register is Rm, the reg to be
1393 // shifted. The second is the amount to shift by.
Owen Anderson04912702011-07-21 23:38:37 +00001394 //
1395 // {3-0} = Rm.
Owen Anderson7c965e72011-07-28 17:56:55 +00001396 // {4} = 0
Owen Anderson04912702011-07-21 23:38:37 +00001397 // {6-5} = type
Owen Anderson7c965e72011-07-28 17:56:55 +00001398 // {11-7} = imm
Owen Anderson04912702011-07-21 23:38:37 +00001399
1400 const MCOperand &MO = MI.getOperand(OpIdx);
1401 const MCOperand &MO1 = MI.getOperand(OpIdx + 1);
1402 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO1.getImm());
1403
1404 // Encode Rm.
Bill Wendlingbc07a892013-06-18 07:20:20 +00001405 unsigned Binary = CTX.getRegisterInfo()->getEncodingValue(MO.getReg());
Owen Anderson04912702011-07-21 23:38:37 +00001406
1407 // Encode the shift opcode.
1408 unsigned SBits = 0;
1409
1410 // Set shift operand (bit[6:4]).
1411 // LSL - 000
1412 // LSR - 010
1413 // ASR - 100
1414 // ROR - 110
1415 // RRX - 110 and bit[11:8] clear.
1416 switch (SOpc) {
1417 default: llvm_unreachable("Unknown shift opc!");
1418 case ARM_AM::lsl: SBits = 0x0; break;
1419 case ARM_AM::lsr: SBits = 0x2; break;
1420 case ARM_AM::asr: SBits = 0x4; break;
1421 case ARM_AM::ror: SBits = 0x6; break;
1422 case ARM_AM::rrx:
1423 Binary |= 0x60;
1424 return Binary;
Jim Grosbachefd53692010-10-12 23:53:58 +00001425 }
1426
1427 // Encode shift_imm bit[11:7].
Owen Anderson04912702011-07-21 23:38:37 +00001428 Binary |= SBits << 4;
Owen Andersone33c95d2011-08-11 18:41:59 +00001429 unsigned Offset = ARM_AM::getSORegOffset(MO1.getImm());
Richard Bartonba5b0cc2012-04-25 18:00:18 +00001430 assert(Offset < 32 && "Offset must be in range 0-31!");
Owen Andersone33c95d2011-08-11 18:41:59 +00001431 return Binary | (Offset << 7);
Jim Grosbachefd53692010-10-12 23:53:58 +00001432}
1433
Owen Anderson04912702011-07-21 23:38:37 +00001434
Jim Grosbach2eed7a12010-11-03 23:52:49 +00001435unsigned ARMMCCodeEmitter::
Owen Anderson50d662b2010-11-29 22:44:32 +00001436getT2AddrModeSORegOpValue(const MCInst &MI, unsigned OpNum,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001437 SmallVectorImpl<MCFixup> &Fixups,
1438 const MCSubtargetInfo &STI) const {
Owen Anderson50d662b2010-11-29 22:44:32 +00001439 const MCOperand &MO1 = MI.getOperand(OpNum);
1440 const MCOperand &MO2 = MI.getOperand(OpNum+1);
Jim Grosbachc4a0c292010-12-10 21:57:34 +00001441 const MCOperand &MO3 = MI.getOperand(OpNum+2);
1442
Owen Anderson50d662b2010-11-29 22:44:32 +00001443 // Encoded as [Rn, Rm, imm].
1444 // FIXME: Needs fixup support.
Bill Wendlingbc07a892013-06-18 07:20:20 +00001445 unsigned Value = CTX.getRegisterInfo()->getEncodingValue(MO1.getReg());
Owen Anderson50d662b2010-11-29 22:44:32 +00001446 Value <<= 4;
Bill Wendlingbc07a892013-06-18 07:20:20 +00001447 Value |= CTX.getRegisterInfo()->getEncodingValue(MO2.getReg());
Owen Anderson50d662b2010-11-29 22:44:32 +00001448 Value <<= 2;
1449 Value |= MO3.getImm();
Jim Grosbachc4a0c292010-12-10 21:57:34 +00001450
Owen Anderson50d662b2010-11-29 22:44:32 +00001451 return Value;
1452}
1453
1454unsigned ARMMCCodeEmitter::
1455getT2AddrModeImm8OpValue(const MCInst &MI, unsigned OpNum,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001456 SmallVectorImpl<MCFixup> &Fixups,
1457 const MCSubtargetInfo &STI) const {
Owen Anderson50d662b2010-11-29 22:44:32 +00001458 const MCOperand &MO1 = MI.getOperand(OpNum);
1459 const MCOperand &MO2 = MI.getOperand(OpNum+1);
1460
1461 // FIXME: Needs fixup support.
Bill Wendlingbc07a892013-06-18 07:20:20 +00001462 unsigned Value = CTX.getRegisterInfo()->getEncodingValue(MO1.getReg());
Jim Grosbachc4a0c292010-12-10 21:57:34 +00001463
Owen Anderson50d662b2010-11-29 22:44:32 +00001464 // Even though the immediate is 8 bits long, we need 9 bits in order
1465 // to represent the (inverse of the) sign bit.
1466 Value <<= 9;
Owen Andersone22c7322010-11-30 00:14:31 +00001467 int32_t tmp = (int32_t)MO2.getImm();
1468 if (tmp < 0)
1469 tmp = abs(tmp);
1470 else
1471 Value |= 256; // Set the ADD bit
1472 Value |= tmp & 255;
1473 return Value;
1474}
1475
1476unsigned ARMMCCodeEmitter::
1477getT2AddrModeImm8OffsetOpValue(const MCInst &MI, unsigned OpNum,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001478 SmallVectorImpl<MCFixup> &Fixups,
1479 const MCSubtargetInfo &STI) const {
Owen Andersone22c7322010-11-30 00:14:31 +00001480 const MCOperand &MO1 = MI.getOperand(OpNum);
1481
1482 // FIXME: Needs fixup support.
1483 unsigned Value = 0;
1484 int32_t tmp = (int32_t)MO1.getImm();
1485 if (tmp < 0)
1486 tmp = abs(tmp);
1487 else
1488 Value |= 256; // Set the ADD bit
1489 Value |= tmp & 255;
Owen Anderson50d662b2010-11-29 22:44:32 +00001490 return Value;
1491}
1492
1493unsigned ARMMCCodeEmitter::
Owen Anderson299382e2010-11-30 19:19:31 +00001494getT2AddrModeImm12OffsetOpValue(const MCInst &MI, unsigned OpNum,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001495 SmallVectorImpl<MCFixup> &Fixups,
1496 const MCSubtargetInfo &STI) const {
Owen Anderson299382e2010-11-30 19:19:31 +00001497 const MCOperand &MO1 = MI.getOperand(OpNum);
1498
1499 // FIXME: Needs fixup support.
1500 unsigned Value = 0;
1501 int32_t tmp = (int32_t)MO1.getImm();
1502 if (tmp < 0)
1503 tmp = abs(tmp);
1504 else
1505 Value |= 4096; // Set the ADD bit
1506 Value |= tmp & 4095;
1507 return Value;
1508}
1509
1510unsigned ARMMCCodeEmitter::
Owen Anderson8fdd1722010-11-12 21:12:40 +00001511getT2SORegOpValue(const MCInst &MI, unsigned OpIdx,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001512 SmallVectorImpl<MCFixup> &Fixups,
1513 const MCSubtargetInfo &STI) const {
Owen Anderson8fdd1722010-11-12 21:12:40 +00001514 // Sub-operands are [reg, imm]. The first register is Rm, the reg to be
1515 // shifted. The second is the amount to shift by.
1516 //
1517 // {3-0} = Rm.
1518 // {4} = 0
1519 // {6-5} = type
1520 // {11-7} = imm
1521
1522 const MCOperand &MO = MI.getOperand(OpIdx);
1523 const MCOperand &MO1 = MI.getOperand(OpIdx + 1);
1524 ARM_AM::ShiftOpc SOpc = ARM_AM::getSORegShOp(MO1.getImm());
1525
1526 // Encode Rm.
Bill Wendlingbc07a892013-06-18 07:20:20 +00001527 unsigned Binary = CTX.getRegisterInfo()->getEncodingValue(MO.getReg());
Owen Anderson8fdd1722010-11-12 21:12:40 +00001528
1529 // Encode the shift opcode.
1530 unsigned SBits = 0;
1531 // Set shift operand (bit[6:4]).
1532 // LSL - 000
1533 // LSR - 010
1534 // ASR - 100
1535 // ROR - 110
1536 switch (SOpc) {
1537 default: llvm_unreachable("Unknown shift opc!");
1538 case ARM_AM::lsl: SBits = 0x0; break;
1539 case ARM_AM::lsr: SBits = 0x2; break;
1540 case ARM_AM::asr: SBits = 0x4; break;
Owen Andersonc3c60a02011-09-13 17:34:32 +00001541 case ARM_AM::rrx: // FALLTHROUGH
Owen Anderson8fdd1722010-11-12 21:12:40 +00001542 case ARM_AM::ror: SBits = 0x6; break;
1543 }
1544
1545 Binary |= SBits << 4;
1546 if (SOpc == ARM_AM::rrx)
1547 return Binary;
1548
1549 // Encode shift_imm bit[11:7].
1550 return Binary | ARM_AM::getSORegOffset(MO1.getImm()) << 7;
1551}
1552
1553unsigned ARMMCCodeEmitter::
Jim Grosbach2eed7a12010-11-03 23:52:49 +00001554getBitfieldInvertedMaskOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001555 SmallVectorImpl<MCFixup> &Fixups,
1556 const MCSubtargetInfo &STI) const {
Jim Grosbach5edb03e2010-10-21 22:03:21 +00001557 // 10 bits. lower 5 bits are are the lsb of the mask, high five bits are the
1558 // msb of the mask.
1559 const MCOperand &MO = MI.getOperand(Op);
1560 uint32_t v = ~MO.getImm();
Michael J. Spencerdf1ecbd72013-05-24 22:23:49 +00001561 uint32_t lsb = countTrailingZeros(v);
1562 uint32_t msb = (32 - countLeadingZeros (v)) - 1;
Jim Grosbach5edb03e2010-10-21 22:03:21 +00001563 assert (v != 0 && lsb < 32 && msb < 32 && "Illegal bitfield mask!");
1564 return lsb | (msb << 5);
1565}
1566
Jim Grosbach2eed7a12010-11-03 23:52:49 +00001567unsigned ARMMCCodeEmitter::
1568getRegisterListOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001569 SmallVectorImpl<MCFixup> &Fixups,
1570 const MCSubtargetInfo &STI) const {
Bill Wendling345b48f2010-11-17 00:45:23 +00001571 // VLDM/VSTM:
1572 // {12-8} = Vd
1573 // {7-0} = Number of registers
1574 //
1575 // LDM/STM:
1576 // {15-0} = Bitfield of GPRs.
1577 unsigned Reg = MI.getOperand(Op).getReg();
Craig Topperf6e7e122012-03-27 07:21:54 +00001578 bool SPRRegs = ARMMCRegisterClasses[ARM::SPRRegClassID].contains(Reg);
1579 bool DPRRegs = ARMMCRegisterClasses[ARM::DPRRegClassID].contains(Reg);
Bill Wendling345b48f2010-11-17 00:45:23 +00001580
Bill Wendling1b83ed52010-11-09 00:30:18 +00001581 unsigned Binary = 0;
Bill Wendling345b48f2010-11-17 00:45:23 +00001582
1583 if (SPRRegs || DPRRegs) {
1584 // VLDM/VSTM
Bill Wendlingbc07a892013-06-18 07:20:20 +00001585 unsigned RegNo = CTX.getRegisterInfo()->getEncodingValue(Reg);
Bill Wendling345b48f2010-11-17 00:45:23 +00001586 unsigned NumRegs = (MI.getNumOperands() - Op) & 0xff;
1587 Binary |= (RegNo & 0x1f) << 8;
1588 if (SPRRegs)
1589 Binary |= NumRegs;
1590 else
1591 Binary |= NumRegs * 2;
1592 } else {
1593 for (unsigned I = Op, E = MI.getNumOperands(); I < E; ++I) {
Bill Wendlingbc07a892013-06-18 07:20:20 +00001594 unsigned RegNo = CTX.getRegisterInfo()->getEncodingValue(MI.getOperand(I).getReg());
Bill Wendling345b48f2010-11-17 00:45:23 +00001595 Binary |= 1 << RegNo;
1596 }
Bill Wendling1b83ed52010-11-09 00:30:18 +00001597 }
Bill Wendling345b48f2010-11-17 00:45:23 +00001598
Jim Grosbach74ef9e12010-10-30 00:37:59 +00001599 return Binary;
1600}
1601
Bob Wilson318ce7c2010-11-30 00:00:42 +00001602/// getAddrMode6AddressOpValue - Encode an addrmode6 register number along
1603/// with the alignment operand.
Jim Grosbach2eed7a12010-11-03 23:52:49 +00001604unsigned ARMMCCodeEmitter::
1605getAddrMode6AddressOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001606 SmallVectorImpl<MCFixup> &Fixups,
1607 const MCSubtargetInfo &STI) const {
Owen Andersonad402342010-11-02 00:05:05 +00001608 const MCOperand &Reg = MI.getOperand(Op);
Bill Wendlingf9eebb52010-11-02 22:53:11 +00001609 const MCOperand &Imm = MI.getOperand(Op + 1);
Jim Grosbach49b0c452010-11-03 22:03:20 +00001610
Bill Wendlingbc07a892013-06-18 07:20:20 +00001611 unsigned RegNo = CTX.getRegisterInfo()->getEncodingValue(Reg.getReg());
Bill Wendlingf9eebb52010-11-02 22:53:11 +00001612 unsigned Align = 0;
1613
1614 switch (Imm.getImm()) {
1615 default: break;
1616 case 2:
1617 case 4:
1618 case 8: Align = 0x01; break;
1619 case 16: Align = 0x02; break;
1620 case 32: Align = 0x03; break;
Owen Andersonad402342010-11-02 00:05:05 +00001621 }
Bill Wendlingf9eebb52010-11-02 22:53:11 +00001622
Owen Andersonad402342010-11-02 00:05:05 +00001623 return RegNo | (Align << 4);
1624}
1625
Mon P Wang92ff16b2011-05-09 17:47:27 +00001626/// getAddrMode6OneLane32AddressOpValue - Encode an addrmode6 register number
1627/// along with the alignment operand for use in VST1 and VLD1 with size 32.
1628unsigned ARMMCCodeEmitter::
1629getAddrMode6OneLane32AddressOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001630 SmallVectorImpl<MCFixup> &Fixups,
1631 const MCSubtargetInfo &STI) const {
Mon P Wang92ff16b2011-05-09 17:47:27 +00001632 const MCOperand &Reg = MI.getOperand(Op);
1633 const MCOperand &Imm = MI.getOperand(Op + 1);
1634
Bill Wendlingbc07a892013-06-18 07:20:20 +00001635 unsigned RegNo = CTX.getRegisterInfo()->getEncodingValue(Reg.getReg());
Mon P Wang92ff16b2011-05-09 17:47:27 +00001636 unsigned Align = 0;
1637
1638 switch (Imm.getImm()) {
1639 default: break;
Mon P Wang92ff16b2011-05-09 17:47:27 +00001640 case 8:
Jim Grosbachcef98cd2011-12-19 18:31:43 +00001641 case 16:
1642 case 32: // Default '0' value for invalid alignments of 8, 16, 32 bytes.
1643 case 2: Align = 0x00; break;
1644 case 4: Align = 0x03; break;
Mon P Wang92ff16b2011-05-09 17:47:27 +00001645 }
1646
1647 return RegNo | (Align << 4);
1648}
1649
1650
Bob Wilson318ce7c2010-11-30 00:00:42 +00001651/// getAddrMode6DupAddressOpValue - Encode an addrmode6 register number and
1652/// alignment operand for use in VLD-dup instructions. This is the same as
1653/// getAddrMode6AddressOpValue except for the alignment encoding, which is
1654/// different for VLD4-dup.
1655unsigned ARMMCCodeEmitter::
1656getAddrMode6DupAddressOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001657 SmallVectorImpl<MCFixup> &Fixups,
1658 const MCSubtargetInfo &STI) const {
Bob Wilson318ce7c2010-11-30 00:00:42 +00001659 const MCOperand &Reg = MI.getOperand(Op);
1660 const MCOperand &Imm = MI.getOperand(Op + 1);
1661
Bill Wendlingbc07a892013-06-18 07:20:20 +00001662 unsigned RegNo = CTX.getRegisterInfo()->getEncodingValue(Reg.getReg());
Bob Wilson318ce7c2010-11-30 00:00:42 +00001663 unsigned Align = 0;
1664
1665 switch (Imm.getImm()) {
1666 default: break;
1667 case 2:
1668 case 4:
1669 case 8: Align = 0x01; break;
1670 case 16: Align = 0x03; break;
1671 }
1672
1673 return RegNo | (Align << 4);
1674}
1675
Jim Grosbach2eed7a12010-11-03 23:52:49 +00001676unsigned ARMMCCodeEmitter::
1677getAddrMode6OffsetOpValue(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001678 SmallVectorImpl<MCFixup> &Fixups,
1679 const MCSubtargetInfo &STI) const {
Bill Wendlingf9eebb52010-11-02 22:53:11 +00001680 const MCOperand &MO = MI.getOperand(Op);
1681 if (MO.getReg() == 0) return 0x0D;
Bill Wendlingbc07a892013-06-18 07:20:20 +00001682 return CTX.getRegisterInfo()->getEncodingValue(MO.getReg());
Owen Anderson526ffd52010-11-02 01:24:55 +00001683}
1684
Bill Wendling3b1459b2011-03-01 01:00:59 +00001685unsigned ARMMCCodeEmitter::
Bill Wendling77ad1dc2011-03-07 23:38:41 +00001686getShiftRight8Imm(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001687 SmallVectorImpl<MCFixup> &Fixups,
1688 const MCSubtargetInfo &STI) const {
Bill Wendling3b1459b2011-03-01 01:00:59 +00001689 return 8 - MI.getOperand(Op).getImm();
1690}
1691
1692unsigned ARMMCCodeEmitter::
Bill Wendling77ad1dc2011-03-07 23:38:41 +00001693getShiftRight16Imm(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001694 SmallVectorImpl<MCFixup> &Fixups,
1695 const MCSubtargetInfo &STI) const {
Bill Wendling3b1459b2011-03-01 01:00:59 +00001696 return 16 - MI.getOperand(Op).getImm();
1697}
1698
1699unsigned ARMMCCodeEmitter::
Bill Wendling77ad1dc2011-03-07 23:38:41 +00001700getShiftRight32Imm(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001701 SmallVectorImpl<MCFixup> &Fixups,
1702 const MCSubtargetInfo &STI) const {
Bill Wendling3b1459b2011-03-01 01:00:59 +00001703 return 32 - MI.getOperand(Op).getImm();
1704}
1705
Bill Wendling77ad1dc2011-03-07 23:38:41 +00001706unsigned ARMMCCodeEmitter::
1707getShiftRight64Imm(const MCInst &MI, unsigned Op,
David Woodhouse3fa98a62014-01-28 23:13:18 +00001708 SmallVectorImpl<MCFixup> &Fixups,
1709 const MCSubtargetInfo &STI) const {
Bill Wendling77ad1dc2011-03-07 23:38:41 +00001710 return 64 - MI.getOperand(Op).getImm();
1711}
1712
Jim Grosbach1287f4f2010-09-17 18:46:17 +00001713void ARMMCCodeEmitter::
Jim Grosbach91df21f2015-05-15 19:13:16 +00001714encodeInstruction(const MCInst &MI, raw_ostream &OS,
David Woodhouse9784cef2014-01-28 23:13:07 +00001715 SmallVectorImpl<MCFixup> &Fixups,
1716 const MCSubtargetInfo &STI) const {
Jim Grosbach91029092010-10-07 22:12:50 +00001717 // Pseudo instructions don't get encoded.
Evan Chengc5e6d2f2011-07-11 03:57:24 +00001718 const MCInstrDesc &Desc = MCII.get(MI.getOpcode());
Jim Grosbach20b6fd72010-11-11 23:41:09 +00001719 uint64_t TSFlags = Desc.TSFlags;
1720 if ((TSFlags & ARMII::FormMask) == ARMII::Pseudo)
Jim Grosbach91029092010-10-07 22:12:50 +00001721 return;
Owen Anderson651b2302011-07-13 23:22:26 +00001722
Jim Grosbach20b6fd72010-11-11 23:41:09 +00001723 int Size;
Owen Anderson651b2302011-07-13 23:22:26 +00001724 if (Desc.getSize() == 2 || Desc.getSize() == 4)
1725 Size = Desc.getSize();
1726 else
1727 llvm_unreachable("Unexpected instruction size!");
Owen Anderson1732c2e2011-08-30 21:58:18 +00001728
David Woodhouse3fa98a62014-01-28 23:13:18 +00001729 uint32_t Binary = getBinaryCodeForInstr(MI, Fixups, STI);
Evan Cheng965b3c72011-01-13 07:58:56 +00001730 // Thumb 32-bit wide instructions need to emit the high order halfword
1731 // first.
David Woodhoused2cca112014-01-28 23:13:25 +00001732 if (isThumb(STI) && Size == 4) {
Jim Grosbach567ebd0c2010-12-03 22:31:40 +00001733 EmitConstant(Binary >> 16, 2, OS);
1734 EmitConstant(Binary & 0xffff, 2, OS);
1735 } else
1736 EmitConstant(Binary, Size, OS);
Bill Wendling91da9ab2010-11-02 22:44:12 +00001737 ++MCNumEmitted; // Keep track of the # of mi's emitted.
Jim Grosbach1287f4f2010-09-17 18:46:17 +00001738}
Jim Grosbach8aed3862010-10-07 21:57:55 +00001739
Jim Grosbach2eed7a12010-11-03 23:52:49 +00001740#include "ARMGenMCCodeEmitter.inc"