]>
Commit | Line | Data |
---|---|---|
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 | |
36 | int | |
37 | thumb_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 |
47 | int |
48 | condition_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 | ||
94 | int | |
95 | thumb_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 | ||
110 | int | |
111 | arm_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 | ||
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 | |
e4e20d45 | 325 | shifted_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 | ||
377 | target_desc * | |
92d48a1e | 378 | arm_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 | ||
422 | target_desc * | |
423 | arm_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 | } |