blob: 0189c00cea35f763f7cd0afe1ae387b6bfab04e0 [file] [log] [blame]
Evan Chenga8e29892007-01-19 07:51:42 +00001//===- ARMAddressingModes.h - ARM Addressing Modes --------------*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Evan Chenga8e29892007-01-19 07:51:42 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file contains the ARM addressing mode implementation stuff.
11//
12//===----------------------------------------------------------------------===//
13
14#ifndef LLVM_TARGET_ARM_ARMADDRESSINGMODES_H
15#define LLVM_TARGET_ARM_ARMADDRESSINGMODES_H
16
17#include "llvm/CodeGen/SelectionDAGNodes.h"
18#include "llvm/Support/MathExtras.h"
19#include <cassert>
20
21namespace llvm {
22
23/// ARM_AM - ARM Addressing Mode Stuff
24namespace ARM_AM {
25 enum ShiftOpc {
26 no_shift = 0,
27 asr,
28 lsl,
29 lsr,
30 ror,
31 rrx
32 };
33
34 enum AddrOpc {
35 add = '+', sub = '-'
36 };
37
38 static inline const char *getShiftOpcStr(ShiftOpc Op) {
39 switch (Op) {
40 default: assert(0 && "Unknown shift opc!");
41 case ARM_AM::asr: return "asr";
42 case ARM_AM::lsl: return "lsl";
43 case ARM_AM::lsr: return "lsr";
44 case ARM_AM::ror: return "ror";
45 case ARM_AM::rrx: return "rrx";
46 }
47 }
48
49 static inline ShiftOpc getShiftOpcForNode(SDOperand N) {
50 switch (N.getOpcode()) {
51 default: return ARM_AM::no_shift;
52 case ISD::SHL: return ARM_AM::lsl;
53 case ISD::SRL: return ARM_AM::lsr;
54 case ISD::SRA: return ARM_AM::asr;
55 case ISD::ROTR: return ARM_AM::ror;
56 //case ISD::ROTL: // Only if imm -> turn into ROTR.
57 // Can't handle RRX here, because it would require folding a flag into
58 // the addressing mode. :( This causes us to miss certain things.
59 //case ARMISD::RRX: return ARM_AM::rrx;
60 }
61 }
62
63 enum AMSubMode {
64 bad_am_submode = 0,
65 ia,
66 ib,
67 da,
68 db
69 };
70
71 static inline const char *getAMSubModeStr(AMSubMode Mode) {
72 switch (Mode) {
73 default: assert(0 && "Unknown addressing sub-mode!");
74 case ARM_AM::ia: return "ia";
75 case ARM_AM::ib: return "ib";
76 case ARM_AM::da: return "da";
77 case ARM_AM::db: return "db";
78 }
79 }
80
81 static inline const char *getAMSubModeAltStr(AMSubMode Mode, bool isLD) {
82 switch (Mode) {
83 default: assert(0 && "Unknown addressing sub-mode!");
84 case ARM_AM::ia: return isLD ? "fd" : "ea";
85 case ARM_AM::ib: return isLD ? "ed" : "fa";
86 case ARM_AM::da: return isLD ? "fa" : "ed";
87 case ARM_AM::db: return isLD ? "ea" : "fd";
88 }
89 }
90
91 /// rotr32 - Rotate a 32-bit unsigned value right by a specified # bits.
92 ///
93 static inline unsigned rotr32(unsigned Val, unsigned Amt) {
94 assert(Amt < 32 && "Invalid rotate amount");
95 return (Val >> Amt) | (Val << ((32-Amt)&31));
96 }
97
98 /// rotl32 - Rotate a 32-bit unsigned value left by a specified # bits.
99 ///
100 static inline unsigned rotl32(unsigned Val, unsigned Amt) {
101 assert(Amt < 32 && "Invalid rotate amount");
102 return (Val << Amt) | (Val >> ((32-Amt)&31));
103 }
104
105 //===--------------------------------------------------------------------===//
106 // Addressing Mode #1: shift_operand with registers
107 //===--------------------------------------------------------------------===//
108 //
109 // This 'addressing mode' is used for arithmetic instructions. It can
110 // represent things like:
111 // reg
112 // reg [asr|lsl|lsr|ror|rrx] reg
113 // reg [asr|lsl|lsr|ror|rrx] imm
114 //
115 // This is stored three operands [rega, regb, opc]. The first is the base
116 // reg, the second is the shift amount (or reg0 if not present or imm). The
117 // third operand encodes the shift opcode and the imm if a reg isn't present.
118 //
119 static inline unsigned getSORegOpc(ShiftOpc ShOp, unsigned Imm) {
120 return ShOp | (Imm << 3);
121 }
122 static inline unsigned getSORegOffset(unsigned Op) {
123 return Op >> 3;
124 }
125 static inline ShiftOpc getSORegShOp(unsigned Op) {
126 return (ShiftOpc)(Op & 7);
127 }
128
129 /// getSOImmValImm - Given an encoded imm field for the reg/imm form, return
130 /// the 8-bit imm value.
131 static inline unsigned getSOImmValImm(unsigned Imm) {
132 return Imm & 0xFF;
133 }
134 /// getSOImmValRotate - Given an encoded imm field for the reg/imm form, return
135 /// the rotate amount.
136 static inline unsigned getSOImmValRot(unsigned Imm) {
137 return (Imm >> 8) * 2;
138 }
139
140 /// getSOImmValRotate - Try to handle Imm with an immediate shifter operand,
141 /// computing the rotate amount to use. If this immediate value cannot be
142 /// handled with a single shifter-op, determine a good rotate amount that will
143 /// take a maximal chunk of bits out of the immediate.
144 static inline unsigned getSOImmValRotate(unsigned Imm) {
145 // 8-bit (or less) immediates are trivially shifter_operands with a rotate
146 // of zero.
147 if ((Imm & ~255U) == 0) return 0;
148
149 // Use CTZ to compute the rotate amount.
150 unsigned TZ = CountTrailingZeros_32(Imm);
151
152 // Rotate amount must be even. Something like 0x200 must be rotated 8 bits,
153 // not 9.
154 unsigned RotAmt = TZ & ~1;
155
156 // If we can handle this spread, return it.
157 if ((rotr32(Imm, RotAmt) & ~255U) == 0)
158 return (32-RotAmt)&31; // HW rotates right, not left.
159
160 // For values like 0xF000000F, we should skip the first run of ones, then
161 // retry the hunt.
162 if (Imm & 1) {
163 unsigned TrailingOnes = CountTrailingZeros_32(~Imm);
164 if (TrailingOnes != 32) { // Avoid overflow on 0xFFFFFFFF
165 // Restart the search for a high-order bit after the initial seconds of
166 // ones.
167 unsigned TZ2 = CountTrailingZeros_32(Imm & ~((1 << TrailingOnes)-1));
168
169 // Rotate amount must be even.
170 unsigned RotAmt2 = TZ2 & ~1;
171
172 // If this fits, use it.
173 if (RotAmt2 != 32 && (rotr32(Imm, RotAmt2) & ~255U) == 0)
174 return (32-RotAmt2)&31; // HW rotates right, not left.
175 }
176 }
177
178 // Otherwise, we have no way to cover this span of bits with a single
179 // shifter_op immediate. Return a chunk of bits that will be useful to
180 // handle.
181 return (32-RotAmt)&31; // HW rotates right, not left.
182 }
183
184 /// getSOImmVal - Given a 32-bit immediate, if it is something that can fit
185 /// into an shifter_operand immediate operand, return the 12-bit encoding for
186 /// it. If not, return -1.
187 static inline int getSOImmVal(unsigned Arg) {
188 // 8-bit (or less) immediates are trivially shifter_operands with a rotate
189 // of zero.
190 if ((Arg & ~255U) == 0) return Arg;
191
192 unsigned RotAmt = getSOImmValRotate(Arg);
193
194 // If this cannot be handled with a single shifter_op, bail out.
195 if (rotr32(~255U, RotAmt) & Arg)
196 return -1;
197
198 // Encode this correctly.
199 return rotl32(Arg, RotAmt) | ((RotAmt>>1) << 8);
200 }
201
202 /// isSOImmTwoPartVal - Return true if the specified value can be obtained by
203 /// or'ing together two SOImmVal's.
204 static inline bool isSOImmTwoPartVal(unsigned V) {
205 // If this can be handled with a single shifter_op, bail out.
206 V = rotr32(~255U, getSOImmValRotate(V)) & V;
207 if (V == 0)
208 return false;
209
210 // If this can be handled with two shifter_op's, accept.
211 V = rotr32(~255U, getSOImmValRotate(V)) & V;
212 return V == 0;
213 }
214
215 /// getSOImmTwoPartFirst - If V is a value that satisfies isSOImmTwoPartVal,
216 /// return the first chunk of it.
217 static inline unsigned getSOImmTwoPartFirst(unsigned V) {
218 return rotr32(255U, getSOImmValRotate(V)) & V;
219 }
220
221 /// getSOImmTwoPartSecond - If V is a value that satisfies isSOImmTwoPartVal,
222 /// return the second chunk of it.
223 static inline unsigned getSOImmTwoPartSecond(unsigned V) {
224 // Mask out the first hunk.
225 V = rotr32(~255U, getSOImmValRotate(V)) & V;
226
227 // Take what's left.
228 assert(V == (rotr32(255U, getSOImmValRotate(V)) & V));
229 return V;
230 }
231
232 /// getThumbImmValShift - Try to handle Imm with a 8-bit immediate followed
233 /// by a left shift. Returns the shift amount to use.
234 static inline unsigned getThumbImmValShift(unsigned Imm) {
235 // 8-bit (or less) immediates are trivially immediate operand with a shift
236 // of zero.
237 if ((Imm & ~255U) == 0) return 0;
238
239 // Use CTZ to compute the shift amount.
240 return CountTrailingZeros_32(Imm);
241 }
242
243 /// isThumbImmShiftedVal - Return true if the specified value can be obtained
244 /// by left shifting a 8-bit immediate.
245 static inline bool isThumbImmShiftedVal(unsigned V) {
246 // If this can be handled with
247 V = (~255U << getThumbImmValShift(V)) & V;
248 return V == 0;
249 }
250
251 /// getThumbImmNonShiftedVal - If V is a value that satisfies
252 /// isThumbImmShiftedVal, return the non-shiftd value.
253 static inline unsigned getThumbImmNonShiftedVal(unsigned V) {
254 return V >> getThumbImmValShift(V);
255 }
256
257 //===--------------------------------------------------------------------===//
258 // Addressing Mode #2
259 //===--------------------------------------------------------------------===//
260 //
261 // This is used for most simple load/store instructions.
262 //
263 // addrmode2 := reg +/- reg shop imm
264 // addrmode2 := reg +/- imm12
265 //
266 // The first operand is always a Reg. The second operand is a reg if in
267 // reg/reg form, otherwise it's reg#0. The third field encodes the operation
268 // in bit 12, the immediate in bits 0-11, and the shift op in 13-15.
269 //
270 // If this addressing mode is a frame index (before prolog/epilog insertion
271 // and code rewriting), this operand will have the form: FI#, reg0, <offs>
272 // with no shift amount for the frame offset.
273 //
274 static inline unsigned getAM2Opc(AddrOpc Opc, unsigned Imm12, ShiftOpc SO) {
275 assert(Imm12 < (1 << 12) && "Imm too large!");
276 bool isSub = Opc == sub;
277 return Imm12 | ((int)isSub << 12) | (SO << 13);
278 }
279 static inline unsigned getAM2Offset(unsigned AM2Opc) {
280 return AM2Opc & ((1 << 12)-1);
281 }
282 static inline AddrOpc getAM2Op(unsigned AM2Opc) {
283 return ((AM2Opc >> 12) & 1) ? sub : add;
284 }
285 static inline ShiftOpc getAM2ShiftOpc(unsigned AM2Opc) {
286 return (ShiftOpc)(AM2Opc >> 13);
287 }
288
289
290 //===--------------------------------------------------------------------===//
291 // Addressing Mode #3
292 //===--------------------------------------------------------------------===//
293 //
294 // This is used for sign-extending loads, and load/store-pair instructions.
295 //
296 // addrmode3 := reg +/- reg
297 // addrmode3 := reg +/- imm8
298 //
299 // The first operand is always a Reg. The second operand is a reg if in
300 // reg/reg form, otherwise it's reg#0. The third field encodes the operation
301 // in bit 8, the immediate in bits 0-7.
302
303 /// getAM3Opc - This function encodes the addrmode3 opc field.
304 static inline unsigned getAM3Opc(AddrOpc Opc, unsigned char Offset) {
305 bool isSub = Opc == sub;
306 return ((int)isSub << 8) | Offset;
307 }
308 static inline unsigned char getAM3Offset(unsigned AM3Opc) {
309 return AM3Opc & 0xFF;
310 }
311 static inline AddrOpc getAM3Op(unsigned AM3Opc) {
312 return ((AM3Opc >> 8) & 1) ? sub : add;
313 }
314
315 //===--------------------------------------------------------------------===//
316 // Addressing Mode #4
317 //===--------------------------------------------------------------------===//
318 //
319 // This is used for load / store multiple instructions.
320 //
321 // addrmode4 := reg, <mode>
322 //
323 // The four modes are:
324 // IA - Increment after
325 // IB - Increment before
326 // DA - Decrement after
327 // DB - Decrement before
328 //
329 // If the 4th bit (writeback)is set, then the base register is updated after
330 // the memory transfer.
331
332 static inline AMSubMode getAM4SubMode(unsigned Mode) {
333 return (AMSubMode)(Mode & 0x7);
334 }
335
336 static inline unsigned getAM4ModeImm(AMSubMode SubMode, bool WB = false) {
337 return (int)SubMode | ((int)WB << 3);
338 }
339
340 static inline bool getAM4WBFlag(unsigned Mode) {
341 return (Mode >> 3) & 1;
342 }
343
344 //===--------------------------------------------------------------------===//
345 // Addressing Mode #5
346 //===--------------------------------------------------------------------===//
347 //
348 // This is used for coprocessor instructions, such as FP load/stores.
349 //
350 // addrmode5 := reg +/- imm8*4
351 //
352 // The first operand is always a Reg. The third field encodes the operation
353 // in bit 8, the immediate in bits 0-7.
354 //
355 // This can also be used for FP load/store multiple ops. The third field encodes
356 // writeback mode in bit 8, the number of registers (or 2 times the number of
357 // registers for DPR ops) in bits 0-7. In addition, bit 9-11 encodes one of the
358 // following two sub-modes:
359 //
360 // IA - Increment after
361 // DB - Decrement before
362
363 /// getAM5Opc - This function encodes the addrmode5 opc field.
364 static inline unsigned getAM5Opc(AddrOpc Opc, unsigned char Offset) {
365 bool isSub = Opc == sub;
366 return ((int)isSub << 8) | Offset;
367 }
368 static inline unsigned char getAM5Offset(unsigned AM5Opc) {
369 return AM5Opc & 0xFF;
370 }
371 static inline AddrOpc getAM5Op(unsigned AM5Opc) {
372 return ((AM5Opc >> 8) & 1) ? sub : add;
373 }
374
375 /// getAM5Opc - This function encodes the addrmode5 opc field for FLDM and
376 /// FSTM instructions.
377 static inline unsigned getAM5Opc(AMSubMode SubMode, bool WB,
378 unsigned char Offset) {
379 assert((SubMode == ia || SubMode == db) &&
380 "Illegal addressing mode 5 sub-mode!");
381 return ((int)SubMode << 9) | ((int)WB << 8) | Offset;
382 }
383 static inline AMSubMode getAM5SubMode(unsigned AM5Opc) {
384 return (AMSubMode)((AM5Opc >> 9) & 0x7);
385 }
386 static inline bool getAM5WBFlag(unsigned AM5Opc) {
387 return ((AM5Opc >> 8) & 1);
388 }
389
390} // end namespace ARM_AM
391} // end namespace llvm
392
393#endif
394