GDB (xrefs)
arm.c
Go to the documentation of this file.
1 /* Common target dependent code for GDB on ARM systems.
2 
3  Copyright (C) 1988-2018 Free Software Foundation, Inc.
4 
5  This file is part of GDB.
6 
7  This program is free software; you can redistribute it and/or modify
8  it under the terms of the GNU General Public License as published by
9  the Free Software Foundation; either version 3 of the License, or
10  (at your option) any later version.
11 
12  This program is distributed in the hope that it will be useful,
13  but WITHOUT ANY WARRANTY; without even the implied warranty of
14  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15  GNU General Public License for more details.
16 
17  You should have received a copy of the GNU General Public License
18  along with this program. If not, see <http://www.gnu.org/licenses/>. */
19 
20 #include "common-defs.h"
21 #include "common-regcache.h"
22 #include "arm.h"
23 
24 /* See arm.h. */
25 
26 int
27 thumb_insn_size (unsigned short inst1)
28 {
29  if ((inst1 & 0xe000) == 0xe000 && (inst1 & 0x1800) != 0)
30  return 4;
31  else
32  return 2;
33 }
34 
35 /* See arm.h. */
36 
37 int
38 bitcount (unsigned long val)
39 {
40  int nbits;
41  for (nbits = 0; val != 0; nbits++)
42  val &= val - 1; /* Delete rightmost 1-bit in val. */
43  return nbits;
44 }
45 
46 /* See arm.h. */
47 
48 int
49 condition_true (unsigned long cond, unsigned long status_reg)
50 {
51  if (cond == INST_AL || cond == INST_NV)
52  return 1;
53 
54  switch (cond)
55  {
56  case INST_EQ:
57  return ((status_reg & FLAG_Z) != 0);
58  case INST_NE:
59  return ((status_reg & FLAG_Z) == 0);
60  case INST_CS:
61  return ((status_reg & FLAG_C) != 0);
62  case INST_CC:
63  return ((status_reg & FLAG_C) == 0);
64  case INST_MI:
65  return ((status_reg & FLAG_N) != 0);
66  case INST_PL:
67  return ((status_reg & FLAG_N) == 0);
68  case INST_VS:
69  return ((status_reg & FLAG_V) != 0);
70  case INST_VC:
71  return ((status_reg & FLAG_V) == 0);
72  case INST_HI:
73  return ((status_reg & (FLAG_C | FLAG_Z)) == FLAG_C);
74  case INST_LS:
75  return ((status_reg & (FLAG_C | FLAG_Z)) != FLAG_C);
76  case INST_GE:
77  return (((status_reg & FLAG_N) == 0) == ((status_reg & FLAG_V) == 0));
78  case INST_LT:
79  return (((status_reg & FLAG_N) == 0) != ((status_reg & FLAG_V) == 0));
80  case INST_GT:
81  return (((status_reg & FLAG_Z) == 0)
82  && (((status_reg & FLAG_N) == 0)
83  == ((status_reg & FLAG_V) == 0)));
84  case INST_LE:
85  return (((status_reg & FLAG_Z) != 0)
86  || (((status_reg & FLAG_N) == 0)
87  != ((status_reg & FLAG_V) == 0)));
88  }
89  return 1;
90 }
91 
92 
93 /* See arm.h. */
94 
95 int
96 thumb_advance_itstate (unsigned int itstate)
97 {
98  /* Preserve IT[7:5], the first three bits of the condition. Shift
99  the upcoming condition flags left by one bit. */
100  itstate = (itstate & 0xe0) | ((itstate << 1) & 0x1f);
101 
102  /* If we have finished the IT block, clear the state. */
103  if ((itstate & 0x0f) == 0)
104  itstate = 0;
105 
106  return itstate;
107 }
108 
109 /* See arm.h. */
110 
111 int
112 arm_instruction_changes_pc (uint32_t this_instr)
113 {
114  if (bits (this_instr, 28, 31) == INST_NV)
115  /* Unconditional instructions. */
116  switch (bits (this_instr, 24, 27))
117  {
118  case 0xa:
119  case 0xb:
120  /* Branch with Link and change to Thumb. */
121  return 1;
122  case 0xc:
123  case 0xd:
124  case 0xe:
125  /* Coprocessor register transfer. */
126  if (bits (this_instr, 12, 15) == 15)
127  error (_("Invalid update to pc in instruction"));
128  return 0;
129  default:
130  return 0;
131  }
132  else
133  switch (bits (this_instr, 25, 27))
134  {
135  case 0x0:
136  if (bits (this_instr, 23, 24) == 2 && bit (this_instr, 20) == 0)
137  {
138  /* Multiplies and extra load/stores. */
139  if (bit (this_instr, 4) == 1 && bit (this_instr, 7) == 1)
140  /* Neither multiplies nor extension load/stores are allowed
141  to modify PC. */
142  return 0;
143 
144  /* Otherwise, miscellaneous instructions. */
145 
146  /* BX <reg>, BXJ <reg>, BLX <reg> */
147  if (bits (this_instr, 4, 27) == 0x12fff1
148  || bits (this_instr, 4, 27) == 0x12fff2
149  || bits (this_instr, 4, 27) == 0x12fff3)
150  return 1;
151 
152  /* Other miscellaneous instructions are unpredictable if they
153  modify PC. */
154  return 0;
155  }
156  /* Data processing instruction. Fall through. */
157 
158  case 0x1:
159  if (bits (this_instr, 12, 15) == 15)
160  return 1;
161  else
162  return 0;
163 
164  case 0x2:
165  case 0x3:
166  /* Media instructions and architecturally undefined instructions. */
167  if (bits (this_instr, 25, 27) == 3 && bit (this_instr, 4) == 1)
168  return 0;
169 
170  /* Stores. */
171  if (bit (this_instr, 20) == 0)
172  return 0;
173 
174  /* Loads. */
175  if (bits (this_instr, 12, 15) == ARM_PC_REGNUM)
176  return 1;
177  else
178  return 0;
179 
180  case 0x4:
181  /* Load/store multiple. */
182  if (bit (this_instr, 20) == 1 && bit (this_instr, 15) == 1)
183  return 1;
184  else
185  return 0;
186 
187  case 0x5:
188  /* Branch and branch with link. */
189  return 1;
190 
191  case 0x6:
192  case 0x7:
193  /* Coprocessor transfers or SWIs can not affect PC. */
194  return 0;
195 
196  default:
197  internal_error (__FILE__, __LINE__, _("bad value in switch"));
198  }
199 }
200 
201 /* See arm.h. */
202 
203 int
204 thumb_instruction_changes_pc (unsigned short inst)
205 {
206  if ((inst & 0xff00) == 0xbd00) /* pop {rlist, pc} */
207  return 1;
208 
209  if ((inst & 0xf000) == 0xd000) /* conditional branch */
210  return 1;
211 
212  if ((inst & 0xf800) == 0xe000) /* unconditional branch */
213  return 1;
214 
215  if ((inst & 0xff00) == 0x4700) /* bx REG, blx REG */
216  return 1;
217 
218  if ((inst & 0xff87) == 0x4687) /* mov pc, REG */
219  return 1;
220 
221  if ((inst & 0xf500) == 0xb100) /* CBNZ or CBZ. */
222  return 1;
223 
224  return 0;
225 }
226 
227 
228 /* See arm.h. */
229 
230 int
231 thumb2_instruction_changes_pc (unsigned short inst1, unsigned short inst2)
232 {
233  if ((inst1 & 0xf800) == 0xf000 && (inst2 & 0x8000) == 0x8000)
234  {
235  /* Branches and miscellaneous control instructions. */
236 
237  if ((inst2 & 0x1000) != 0 || (inst2 & 0xd001) == 0xc000)
238  {
239  /* B, BL, BLX. */
240  return 1;
241  }
242  else if (inst1 == 0xf3de && (inst2 & 0xff00) == 0x3f00)
243  {
244  /* SUBS PC, LR, #imm8. */
245  return 1;
246  }
247  else if ((inst2 & 0xd000) == 0x8000 && (inst1 & 0x0380) != 0x0380)
248  {
249  /* Conditional branch. */
250  return 1;
251  }
252 
253  return 0;
254  }
255 
256  if ((inst1 & 0xfe50) == 0xe810)
257  {
258  /* Load multiple or RFE. */
259 
260  if (bit (inst1, 7) && !bit (inst1, 8))
261  {
262  /* LDMIA or POP */
263  if (bit (inst2, 15))
264  return 1;
265  }
266  else if (!bit (inst1, 7) && bit (inst1, 8))
267  {
268  /* LDMDB */
269  if (bit (inst2, 15))
270  return 1;
271  }
272  else if (bit (inst1, 7) && bit (inst1, 8))
273  {
274  /* RFEIA */
275  return 1;
276  }
277  else if (!bit (inst1, 7) && !bit (inst1, 8))
278  {
279  /* RFEDB */
280  return 1;
281  }
282 
283  return 0;
284  }
285 
286  if ((inst1 & 0xffef) == 0xea4f && (inst2 & 0xfff0) == 0x0f00)
287  {
288  /* MOV PC or MOVS PC. */
289  return 1;
290  }
291 
292  if ((inst1 & 0xff70) == 0xf850 && (inst2 & 0xf000) == 0xf000)
293  {
294  /* LDR PC. */
295  if (bits (inst1, 0, 3) == 15)
296  return 1;
297  if (bit (inst1, 7))
298  return 1;
299  if (bit (inst2, 11))
300  return 1;
301  if ((inst2 & 0x0fc0) == 0x0000)
302  return 1;
303 
304  return 0;
305  }
306 
307  if ((inst1 & 0xfff0) == 0xe8d0 && (inst2 & 0xfff0) == 0xf000)
308  {
309  /* TBB. */
310  return 1;
311  }
312 
313  if ((inst1 & 0xfff0) == 0xe8d0 && (inst2 & 0xfff0) == 0xf010)
314  {
315  /* TBH. */
316  return 1;
317  }
318 
319  return 0;
320 }
321 
322 /* See arm.h. */
323 
324 unsigned long
325 shifted_reg_val (struct regcache *regcache, unsigned long inst,
326  int carry, unsigned long pc_val, unsigned long status_reg)
327 {
328  unsigned long res, shift;
329  int rm = bits (inst, 0, 3);
330  unsigned long shifttype = bits (inst, 5, 6);
331 
332  if (bit (inst, 4))
333  {
334  int rs = bits (inst, 8, 11);
335  shift = (rs == 15
336  ? pc_val + 8
337  : regcache_raw_get_unsigned (regcache, rs)) & 0xFF;
338  }
339  else
340  shift = bits (inst, 7, 11);
341 
342  res = (rm == ARM_PC_REGNUM
343  ? (pc_val + (bit (inst, 4) ? 12 : 8))
345 
346  switch (shifttype)
347  {
348  case 0: /* LSL */
349  res = shift >= 32 ? 0 : res << shift;
350  break;
351 
352  case 1: /* LSR */
353  res = shift >= 32 ? 0 : res >> shift;
354  break;
355 
356  case 2: /* ASR */
357  if (shift >= 32)
358  shift = 31;
359  res = ((res & 0x80000000L)
360  ? ~((~res) >> shift) : res >> shift);
361  break;
362 
363  case 3: /* ROR/RRX */
364  shift &= 31;
365  if (shift == 0)
366  res = (res >> 1) | (carry ? 0x80000000L : 0);
367  else
368  res = (res >> shift) | (res << (32 - shift));
369  break;
370  }
371 
372  return res & 0xffffffff;
373 }
#define FLAG_Z
Definition: arm.h:88
#define FLAG_N
Definition: arm.h:87
ULONGEST regcache_raw_get_unsigned(struct regcache *regcache, int regnum)
void internal_error(const char *file, int line, const char *fmt,...)
Definition: errors.c:50
#define INST_VS
Definition: arm.h:76
#define INST_NE
Definition: arm.h:71
#define INST_MI
Definition: arm.h:74
#define _(String)
Definition: gdb_locale.h:35
#define INST_CC
Definition: arm.h:73
#define bits(obj, st, fn)
Definition: aarch64-tdep.c:64
int thumb_instruction_changes_pc(unsigned short inst)
Definition: arm.c:204
#define INST_AL
Definition: arm.h:84
#define INST_GE
Definition: arm.h:80
#define INST_CS
Definition: arm.h:72
#define INST_VC
Definition: arm.h:77
int thumb_advance_itstate(unsigned int itstate)
Definition: arm.c:96
int thumb_insn_size(unsigned short inst1)
Definition: arm.c:27
int arm_instruction_changes_pc(uint32_t this_instr)
Definition: arm.c:112
#define INST_LT
Definition: arm.h:81
int bitcount(unsigned long val)
Definition: arm.c:38
#define INST_GT
Definition: arm.h:82
#define bit(obj, st)
Definition: aarch64-tdep.c:63
#define INST_PL
Definition: arm.h:75
#define INST_LS
Definition: arm.h:79
#define FLAG_C
Definition: arm.h:89
Definition: ia64-tdep.c:84
int condition_true(unsigned long cond, unsigned long status_reg)
Definition: arm.c:49
#define INST_EQ
Definition: arm.h:70
unsigned long shifted_reg_val(struct regcache *regcache, unsigned long inst, int carry, unsigned long pc_val, unsigned long status_reg)
Definition: arm.c:325
int thumb2_instruction_changes_pc(unsigned short inst1, unsigned short inst2)
Definition: arm.c:231
#define FLAG_V
Definition: arm.h:90
#define INST_NV
Definition: arm.h:85
#define INST_LE
Definition: arm.h:83
#define INST_HI
Definition: arm.h:78
void error(const char *fmt,...)
Definition: errors.c:38