]> git.ipfire.org Git - thirdparty/binutils-gdb.git/blame - gdb/arch/arm.c
Update copyright year range in header of all files managed by GDB
[thirdparty/binutils-gdb.git] / gdb / arch / arm.c
CommitLineData
8689682c
AT
1/* Common target dependent code for GDB on ARM systems.
2
1d506c26 3 Copyright (C) 1988-2024 Free Software Foundation, Inc.
8689682c
AT
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
268a13a5
TT
20#include "gdbsupport/common-defs.h"
21#include "gdbsupport/common-regcache.h"
8689682c
AT
22#include "arm.h"
23
f29ec966 24#include "../features/arm/arm-core.c"
92d48a1e 25#include "../features/arm/arm-tls.c"
f29ec966
AH
26#include "../features/arm/arm-vfpv2.c"
27#include "../features/arm/arm-vfpv3.c"
28#include "../features/arm/xscale-iwmmxt.c"
29#include "../features/arm/arm-m-profile.c"
30#include "../features/arm/arm-m-profile-with-fpa.c"
ae66a8f1 31#include "../features/arm/arm-m-profile-mve.c"
9074667a 32#include "../features/arm/arm-m-system.c"
d105cce5 33
cba7e83f 34/* See arm.h. */
8689682c
AT
35
36int
37thumb_insn_size (unsigned short inst1)
38{
39 if ((inst1 & 0xe000) == 0xe000 && (inst1 & 0x1800) != 0)
40 return 4;
41 else
42 return 2;
43}
cba7e83f
AT
44
45/* See arm.h. */
46
cba7e83f
AT
47int
48condition_true (unsigned long cond, unsigned long status_reg)
49{
50 if (cond == INST_AL || cond == INST_NV)
51 return 1;
52
53 switch (cond)
54 {
55 case INST_EQ:
56 return ((status_reg & FLAG_Z) != 0);
57 case INST_NE:
58 return ((status_reg & FLAG_Z) == 0);
59 case INST_CS:
60 return ((status_reg & FLAG_C) != 0);
61 case INST_CC:
62 return ((status_reg & FLAG_C) == 0);
63 case INST_MI:
64 return ((status_reg & FLAG_N) != 0);
65 case INST_PL:
66 return ((status_reg & FLAG_N) == 0);
67 case INST_VS:
68 return ((status_reg & FLAG_V) != 0);
69 case INST_VC:
70 return ((status_reg & FLAG_V) == 0);
71 case INST_HI:
72 return ((status_reg & (FLAG_C | FLAG_Z)) == FLAG_C);
73 case INST_LS:
74 return ((status_reg & (FLAG_C | FLAG_Z)) != FLAG_C);
75 case INST_GE:
76 return (((status_reg & FLAG_N) == 0) == ((status_reg & FLAG_V) == 0));
77 case INST_LT:
78 return (((status_reg & FLAG_N) == 0) != ((status_reg & FLAG_V) == 0));
79 case INST_GT:
80 return (((status_reg & FLAG_Z) == 0)
81 && (((status_reg & FLAG_N) == 0)
82 == ((status_reg & FLAG_V) == 0)));
83 case INST_LE:
84 return (((status_reg & FLAG_Z) != 0)
85 || (((status_reg & FLAG_N) == 0)
86 != ((status_reg & FLAG_V) == 0)));
87 }
88 return 1;
89}
d9311bfa
AT
90
91
92/* See arm.h. */
93
94int
95thumb_advance_itstate (unsigned int itstate)
96{
97 /* Preserve IT[7:5], the first three bits of the condition. Shift
98 the upcoming condition flags left by one bit. */
99 itstate = (itstate & 0xe0) | ((itstate << 1) & 0x1f);
100
101 /* If we have finished the IT block, clear the state. */
102 if ((itstate & 0x0f) == 0)
103 itstate = 0;
104
105 return itstate;
106}
107
108/* See arm.h. */
109
110int
111arm_instruction_changes_pc (uint32_t this_instr)
112{
113 if (bits (this_instr, 28, 31) == INST_NV)
114 /* Unconditional instructions. */
115 switch (bits (this_instr, 24, 27))
116 {
117 case 0xa:
118 case 0xb:
119 /* Branch with Link and change to Thumb. */
120 return 1;
121 case 0xc:
122 case 0xd:
123 case 0xe:
124 /* Coprocessor register transfer. */
dda83cd7 125 if (bits (this_instr, 12, 15) == 15)
d9311bfa
AT
126 error (_("Invalid update to pc in instruction"));
127 return 0;
128 default:
129 return 0;
130 }
131 else
132 switch (bits (this_instr, 25, 27))
133 {
134 case 0x0:
135 if (bits (this_instr, 23, 24) == 2 && bit (this_instr, 20) == 0)
136 {
137 /* Multiplies and extra load/stores. */
138 if (bit (this_instr, 4) == 1 && bit (this_instr, 7) == 1)
139 /* Neither multiplies nor extension load/stores are allowed
140 to modify PC. */
141 return 0;
142
143 /* Otherwise, miscellaneous instructions. */
144
145 /* BX <reg>, BXJ <reg>, BLX <reg> */
146 if (bits (this_instr, 4, 27) == 0x12fff1
147 || bits (this_instr, 4, 27) == 0x12fff2
148 || bits (this_instr, 4, 27) == 0x12fff3)
149 return 1;
150
151 /* Other miscellaneous instructions are unpredictable if they
152 modify PC. */
153 return 0;
154 }
86a73007 155 /* Data processing instruction. */
d182e398 156 [[fallthrough]];
d9311bfa
AT
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:
f34652de 197 internal_error (_("bad value in switch"));
d9311bfa
AT
198 }
199}
200
201/* See arm.h. */
202
203int
204thumb_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
230int
231thumb2_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
324unsigned long
e4e20d45 325shifted_reg_val (reg_buffer_common *regcache, unsigned long inst,
d9311bfa
AT
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))
344 : regcache_raw_get_unsigned (regcache, rm));
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}
d105cce5
AH
374
375/* See arch/arm.h. */
376
377target_desc *
92d48a1e 378arm_create_target_description (arm_fp_type fp_type, bool tls)
d105cce5 379{
bbb826f5 380 target_desc_up tdesc = allocate_target_description ();
f29ec966
AH
381
382#ifndef IN_PROCESS_AGENT
383 if (fp_type == ARM_FP_TYPE_IWMMXT)
bbb826f5 384 set_tdesc_architecture (tdesc.get (), "iwmmxt");
f29ec966 385 else
bbb826f5 386 set_tdesc_architecture (tdesc.get (), "arm");
f29ec966
AH
387#endif
388
389 long regnum = 0;
390
bbb826f5 391 regnum = create_feature_arm_arm_core (tdesc.get (), regnum);
f29ec966 392
d105cce5
AH
393 switch (fp_type)
394 {
395 case ARM_FP_TYPE_NONE:
f29ec966
AH
396 break;
397
d105cce5 398 case ARM_FP_TYPE_VFPV2:
bbb826f5 399 regnum = create_feature_arm_arm_vfpv2 (tdesc.get (), regnum);
f29ec966 400 break;
d105cce5
AH
401
402 case ARM_FP_TYPE_VFPV3:
bbb826f5 403 regnum = create_feature_arm_arm_vfpv3 (tdesc.get (), regnum);
f29ec966 404 break;
d105cce5
AH
405
406 case ARM_FP_TYPE_IWMMXT:
bbb826f5 407 regnum = create_feature_arm_xscale_iwmmxt (tdesc.get (), regnum);
f29ec966
AH
408 break;
409
d105cce5
AH
410 default:
411 error (_("Invalid Arm FP type: %d"), fp_type);
412 }
f29ec966 413
92d48a1e
JB
414 if (tls)
415 regnum = create_feature_arm_arm_tls (tdesc.get (), regnum);
416
bbb826f5 417 return tdesc.release ();
d105cce5
AH
418}
419
420/* See arch/arm.h. */
421
422target_desc *
423arm_create_mprofile_target_description (arm_m_profile_type m_type)
424{
51a948fd 425 target_desc *tdesc = allocate_target_description ().release ();
f29ec966
AH
426
427#ifndef IN_PROCESS_AGENT
428 set_tdesc_architecture (tdesc, "arm");
429#endif
430
431 long regnum = 0;
432
d105cce5
AH
433 switch (m_type)
434 {
d105cce5 435 case ARM_M_TYPE_M_PROFILE:
f29ec966
AH
436 regnum = create_feature_arm_arm_m_profile (tdesc, regnum);
437 break;
d105cce5
AH
438
439 case ARM_M_TYPE_VFP_D16:
f29ec966
AH
440 regnum = create_feature_arm_arm_m_profile (tdesc, regnum);
441 regnum = create_feature_arm_arm_vfpv2 (tdesc, regnum);
442 break;
d105cce5
AH
443
444 case ARM_M_TYPE_WITH_FPA:
f29ec966
AH
445 regnum = create_feature_arm_arm_m_profile_with_fpa (tdesc, regnum);
446 break;
447
ae66a8f1
SP
448 case ARM_M_TYPE_MVE:
449 regnum = create_feature_arm_arm_m_profile (tdesc, regnum);
450 regnum = create_feature_arm_arm_vfpv2 (tdesc, regnum);
451 regnum = create_feature_arm_arm_m_profile_mve (tdesc, regnum);
452 break;
453
9074667a
CL
454 case ARM_M_TYPE_SYSTEM:
455 regnum = create_feature_arm_arm_m_profile (tdesc, regnum);
456 regnum = create_feature_arm_arm_m_system (tdesc, regnum);
457 break;
458
d105cce5
AH
459 default:
460 error (_("Invalid Arm M type: %d"), m_type);
461 }
d105cce5 462
f29ec966
AH
463 return tdesc;
464}