blob: 6b90b73d13d3c52484fc997faa1bda1d867c2e8a [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
Dan Gohman475871a2008-07-27 21:46:04 +000049 static inline ShiftOpc getShiftOpcForNode(SDValue N) {
Evan Chenga8e29892007-01-19 07:51:42 +000050 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 }
Bob Wilsond83712a2009-03-30 18:49:37 +0000134 /// getSOImmValRot - Given an encoded imm field for the reg/imm form, return
Evan Chenga8e29892007-01-19 07:51:42 +0000135 /// 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
Evan Chengf49810c2009-06-23 17:48:47 +0000251 /// getThumbImm16ValShift - Try to handle Imm with a 16-bit immediate followed
252 /// by a left shift. Returns the shift amount to use.
253 static inline unsigned getThumbImm16ValShift(unsigned Imm) {
254 // 16-bit (or less) immediates are trivially immediate operand with a shift
255 // of zero.
256 if ((Imm & ~65535U) == 0) return 0;
257
258 // Use CTZ to compute the shift amount.
259 return CountTrailingZeros_32(Imm);
260 }
261
262 /// isThumbImm16ShiftedVal - Return true if the specified value can be
263 /// obtained by left shifting a 16-bit immediate.
264 static inline bool isThumbImm16ShiftedVal(unsigned V) {
265 // If this can be handled with
266 V = (~65535U << getThumbImm16ValShift(V)) & V;
267 return V == 0;
268 }
269
Evan Chenga8e29892007-01-19 07:51:42 +0000270 /// getThumbImmNonShiftedVal - If V is a value that satisfies
271 /// isThumbImmShiftedVal, return the non-shiftd value.
272 static inline unsigned getThumbImmNonShiftedVal(unsigned V) {
273 return V >> getThumbImmValShift(V);
274 }
275
Evan Chengf49810c2009-06-23 17:48:47 +0000276 /// getT2SOImmValSplat - Return the 12-bit encoded representation
277 /// if the specified value can be obtained by splatting the low 8 bits
278 /// into every other byte or every byte of a 32-bit value. i.e.,
279 /// 00000000 00000000 00000000 abcdefgh control = 0
280 /// 00000000 abcdefgh 00000000 abcdefgh control = 1
281 /// abcdefgh 00000000 abcdefgh 00000000 control = 2
282 /// abcdefgh abcdefgh abcdefgh abcdefgh control = 3
283 /// Return -1 if none of the above apply.
284 /// See ARM Reference Manual A6.3.2.
Evan Cheng055b0312009-06-29 07:51:04 +0000285 static inline int getT2SOImmValSplat(unsigned V) {
Evan Chengf49810c2009-06-23 17:48:47 +0000286 unsigned u, Vs, Imm;
287 // control = 0
288 if ((V & 0xffffff00) == 0)
289 return V;
290
291 // If the value is zeroes in the first byte, just shift those off
292 Vs = ((V & 0xff) == 0) ? V >> 8 : V;
293 // Any passing value only has 8 bits of payload, splatted across the word
294 Imm = Vs & 0xff;
295 // Likewise, any passing values have the payload splatted into the 3rd byte
296 u = Imm | (Imm << 16);
297
298 // control = 1 or 2
299 if (Vs == u)
300 return (((Vs == V) ? 1 : 2) << 8) | Imm;
301
302 // control = 3
303 if (Vs == (u | (u << 8)))
304 return (3 << 8) | Imm;
305
306 return -1;
307 }
308
309 /// getT2SOImmValRotate - Return the 12-bit encoded representation if the
310 /// specified value is a rotated 8-bit value. Return -1 if no rotation
311 /// encoding is possible.
312 /// See ARM Reference Manual A6.3.2.
313 static inline int getT2SOImmValRotate (unsigned V) {
314 unsigned RotAmt = CountLeadingZeros_32(V);
315 if (RotAmt >= 24)
316 return -1;
317
318 // If 'Arg' can be handled with a single shifter_op return the value.
319 if ((rotr32(0xff000000U, RotAmt) & V) == V)
320 return (rotr32(V, 24 - RotAmt) & 0x7f) | ((RotAmt + 8) << 7);
321
322 return -1;
323 }
324
325 /// getT2SOImmVal - Given a 32-bit immediate, if it is something that can fit
326 /// into a Thumb-2 shifter_operand immediate operand, return the 12-bit
327 /// encoding for it. If not, return -1.
328 /// See ARM Reference Manual A6.3.2.
329 static inline int getT2SOImmVal(unsigned Arg) {
330 // If 'Arg' is an 8-bit splat, then get the encoded value.
331 int Splat = getT2SOImmValSplat(Arg);
332 if (Splat != -1)
333 return Splat;
334
335 // If 'Arg' can be handled with a single shifter_op return the value.
336 int Rot = getT2SOImmValRotate(Arg);
337 if (Rot != -1)
338 return Rot;
339
340 return -1;
341 }
342
343
Evan Chenga8e29892007-01-19 07:51:42 +0000344 //===--------------------------------------------------------------------===//
345 // Addressing Mode #2
346 //===--------------------------------------------------------------------===//
347 //
348 // This is used for most simple load/store instructions.
349 //
350 // addrmode2 := reg +/- reg shop imm
351 // addrmode2 := reg +/- imm12
352 //
353 // The first operand is always a Reg. The second operand is a reg if in
354 // reg/reg form, otherwise it's reg#0. The third field encodes the operation
355 // in bit 12, the immediate in bits 0-11, and the shift op in 13-15.
356 //
357 // If this addressing mode is a frame index (before prolog/epilog insertion
358 // and code rewriting), this operand will have the form: FI#, reg0, <offs>
359 // with no shift amount for the frame offset.
360 //
361 static inline unsigned getAM2Opc(AddrOpc Opc, unsigned Imm12, ShiftOpc SO) {
362 assert(Imm12 < (1 << 12) && "Imm too large!");
363 bool isSub = Opc == sub;
364 return Imm12 | ((int)isSub << 12) | (SO << 13);
365 }
366 static inline unsigned getAM2Offset(unsigned AM2Opc) {
367 return AM2Opc & ((1 << 12)-1);
368 }
369 static inline AddrOpc getAM2Op(unsigned AM2Opc) {
370 return ((AM2Opc >> 12) & 1) ? sub : add;
371 }
372 static inline ShiftOpc getAM2ShiftOpc(unsigned AM2Opc) {
373 return (ShiftOpc)(AM2Opc >> 13);
374 }
375
376
377 //===--------------------------------------------------------------------===//
378 // Addressing Mode #3
379 //===--------------------------------------------------------------------===//
380 //
381 // This is used for sign-extending loads, and load/store-pair instructions.
382 //
383 // addrmode3 := reg +/- reg
384 // addrmode3 := reg +/- imm8
385 //
386 // The first operand is always a Reg. The second operand is a reg if in
387 // reg/reg form, otherwise it's reg#0. The third field encodes the operation
388 // in bit 8, the immediate in bits 0-7.
389
390 /// getAM3Opc - This function encodes the addrmode3 opc field.
391 static inline unsigned getAM3Opc(AddrOpc Opc, unsigned char Offset) {
392 bool isSub = Opc == sub;
393 return ((int)isSub << 8) | Offset;
394 }
395 static inline unsigned char getAM3Offset(unsigned AM3Opc) {
396 return AM3Opc & 0xFF;
397 }
398 static inline AddrOpc getAM3Op(unsigned AM3Opc) {
399 return ((AM3Opc >> 8) & 1) ? sub : add;
400 }
401
402 //===--------------------------------------------------------------------===//
403 // Addressing Mode #4
404 //===--------------------------------------------------------------------===//
405 //
406 // This is used for load / store multiple instructions.
407 //
408 // addrmode4 := reg, <mode>
409 //
410 // The four modes are:
411 // IA - Increment after
412 // IB - Increment before
413 // DA - Decrement after
414 // DB - Decrement before
415 //
416 // If the 4th bit (writeback)is set, then the base register is updated after
417 // the memory transfer.
418
419 static inline AMSubMode getAM4SubMode(unsigned Mode) {
420 return (AMSubMode)(Mode & 0x7);
421 }
422
423 static inline unsigned getAM4ModeImm(AMSubMode SubMode, bool WB = false) {
424 return (int)SubMode | ((int)WB << 3);
425 }
426
427 static inline bool getAM4WBFlag(unsigned Mode) {
428 return (Mode >> 3) & 1;
429 }
430
431 //===--------------------------------------------------------------------===//
432 // Addressing Mode #5
433 //===--------------------------------------------------------------------===//
434 //
435 // This is used for coprocessor instructions, such as FP load/stores.
436 //
437 // addrmode5 := reg +/- imm8*4
438 //
Bob Wilsond4d826e2009-07-01 21:22:45 +0000439 // The first operand is always a Reg. The second operand encodes the
440 // operation in bit 8 and the immediate in bits 0-7.
Evan Chenga8e29892007-01-19 07:51:42 +0000441 //
Bob Wilsond4d826e2009-07-01 21:22:45 +0000442 // This is also used for FP load/store multiple ops. The second operand
443 // encodes the writeback mode in bit 8 and the number of registers (or 2
444 // times the number of registers for DPR ops) in bits 0-7. In addition,
445 // bits 9-11 encode one of the following two sub-modes:
Evan Chenga8e29892007-01-19 07:51:42 +0000446 //
447 // IA - Increment after
448 // DB - Decrement before
449
450 /// getAM5Opc - This function encodes the addrmode5 opc field.
451 static inline unsigned getAM5Opc(AddrOpc Opc, unsigned char Offset) {
452 bool isSub = Opc == sub;
453 return ((int)isSub << 8) | Offset;
454 }
455 static inline unsigned char getAM5Offset(unsigned AM5Opc) {
456 return AM5Opc & 0xFF;
457 }
458 static inline AddrOpc getAM5Op(unsigned AM5Opc) {
459 return ((AM5Opc >> 8) & 1) ? sub : add;
460 }
461
462 /// getAM5Opc - This function encodes the addrmode5 opc field for FLDM and
463 /// FSTM instructions.
464 static inline unsigned getAM5Opc(AMSubMode SubMode, bool WB,
465 unsigned char Offset) {
466 assert((SubMode == ia || SubMode == db) &&
467 "Illegal addressing mode 5 sub-mode!");
468 return ((int)SubMode << 9) | ((int)WB << 8) | Offset;
469 }
470 static inline AMSubMode getAM5SubMode(unsigned AM5Opc) {
471 return (AMSubMode)((AM5Opc >> 9) & 0x7);
472 }
473 static inline bool getAM5WBFlag(unsigned AM5Opc) {
474 return ((AM5Opc >> 8) & 1);
475 }
Bob Wilson8b024a52009-07-01 23:16:05 +0000476
477 //===--------------------------------------------------------------------===//
478 // Addressing Mode #6
479 //===--------------------------------------------------------------------===//
480 //
481 // This is used for NEON load / store instructions.
482 //
483 // addrmode6 := reg with optional writeback
484 //
485 // This is stored in three operands [regaddr, regupdate, opc]. The first is
486 // the address register. The second register holds the value of a post-access
487 // increment for writeback or reg0 if no writeback or if the writeback
488 // increment is the size of the memory access. The third operand encodes
489 // whether there is writeback to the address register.
490
491 static inline unsigned getAM6Opc(bool WB = false) {
492 return (int)WB;
493 }
494
495 static inline bool getAM6WBFlag(unsigned Mode) {
496 return Mode & 1;
497 }
498
Evan Chenga8e29892007-01-19 07:51:42 +0000499} // end namespace ARM_AM
500} // end namespace llvm
501
502#endif
503