1 /* cpustate.h -- Prototypes for AArch64 simulator functions.
3 Copyright (C) 2015-2016 Free Software Foundation, Inc.
5 Contributed by Red Hat.
7 This file is part of GDB.
9 This program is free software; you can redistribute it and/or modify
10 it under the terms of the GNU General Public License as published by
11 the Free Software Foundation; either version 3 of the License, or
12 (at your option) any later version.
14 This program is distributed in the hope that it will be useful,
15 but WITHOUT ANY WARRANTY; without even the implied warranty of
16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 GNU General Public License for more details.
19 You should have received a copy of the GNU General Public License
20 along with this program. If not, see <http://www.gnu.org/licenses/>. */
26 #include "simulator.h"
28 /* Some operands are allowed to access the stack pointer (reg 31).
29 For others a read from r31 always returns 0, and a write to r31 is ignored. */
30 #define reg_num(reg) (((reg) == R31 && !r31_is_sp) ? 32 : (reg))
33 aarch64_set_reg_u64 (sim_cpu *cpu, GReg reg, int r31_is_sp, uint64_t val)
35 if (reg == R31 && ! r31_is_sp)
37 TRACE_REGISTER (cpu, " GR[31] NOT CHANGED!");
41 if (val != cpu->gr[reg].u64)
43 " GR[%2d] changes from %16" PRIx64 " to %16" PRIx64,
44 reg, cpu->gr[reg].u64, val);
46 cpu->gr[reg].u64 = val;
50 aarch64_set_reg_s64 (sim_cpu *cpu, GReg reg, int r31_is_sp, int64_t val)
52 if (reg == R31 && ! r31_is_sp)
54 TRACE_REGISTER (cpu, " GR[31] NOT CHANGED!");
58 if (val != cpu->gr[reg].s64)
60 " GR[%2d] changes from %16" PRIx64 " to %16" PRIx64,
61 reg, cpu->gr[reg].s64, val);
63 cpu->gr[reg].s64 = val;
67 aarch64_get_reg_u64 (sim_cpu *cpu, GReg reg, int r31_is_sp)
69 return cpu->gr[reg_num(reg)].u64;
73 aarch64_get_reg_s64 (sim_cpu *cpu, GReg reg, int r31_is_sp)
75 return cpu->gr[reg_num(reg)].s64;
79 aarch64_get_reg_u32 (sim_cpu *cpu, GReg reg, int r31_is_sp)
81 return cpu->gr[reg_num(reg)].u32;
85 aarch64_get_reg_s32 (sim_cpu *cpu, GReg reg, int r31_is_sp)
87 return cpu->gr[reg_num(reg)].s32;
91 aarch64_get_reg_u16 (sim_cpu *cpu, GReg reg, int r31_is_sp)
93 return cpu->gr[reg_num(reg)].u16;
97 aarch64_get_reg_s16 (sim_cpu *cpu, GReg reg, int r31_is_sp)
99 return cpu->gr[reg_num(reg)].s16;
103 aarch64_get_reg_u8 (sim_cpu *cpu, GReg reg, int r31_is_sp)
105 return cpu->gr[reg_num(reg)].u8;
109 aarch64_get_reg_s8 (sim_cpu *cpu, GReg reg, int r31_is_sp)
111 return cpu->gr[reg_num(reg)].s8;
115 aarch64_get_PC (sim_cpu *cpu)
121 aarch64_get_next_PC (sim_cpu *cpu)
127 aarch64_set_next_PC (sim_cpu *cpu, uint64_t next)
129 if (next != cpu->nextpc + 4)
131 " NextPC changes from %16" PRIx64 " to %16" PRIx64,
138 aarch64_set_next_PC_by_offset (sim_cpu *cpu, int64_t offset)
140 if (cpu->pc + offset != cpu->nextpc + 4)
142 " NextPC changes from %16" PRIx64 " to %16" PRIx64,
143 cpu->nextpc, cpu->pc + offset);
145 cpu->nextpc = cpu->pc + offset;
148 /* Install nextpc as current pc. */
150 aarch64_update_PC (sim_cpu *cpu)
152 cpu->pc = cpu->nextpc;
153 /* Rezero the register we hand out when asked for ZR just in case it
154 was used as the destination for a write by the previous
156 cpu->gr[32].u64 = 0UL;
159 /* This instruction can be used to save the next PC to LR
160 just before installing a branch PC. */
162 aarch64_save_LR (sim_cpu *cpu)
164 if (cpu->gr[LR].u64 != cpu->nextpc)
166 " LR changes from %16" PRIx64 " to %16" PRIx64,
167 cpu->gr[LR].u64, cpu->nextpc);
169 cpu->gr[LR].u64 = cpu->nextpc;
173 decode_cpsr (FlagMask flags)
175 switch (flags & CPSR_ALL_FLAGS)
178 case 0: return "----";
179 case 1: return "---V";
180 case 2: return "--C-";
181 case 3: return "--CV";
182 case 4: return "-Z--";
183 case 5: return "-Z-V";
184 case 6: return "-ZC-";
185 case 7: return "-ZCV";
186 case 8: return "N---";
187 case 9: return "N--V";
188 case 10: return "N-C-";
189 case 11: return "N-CV";
190 case 12: return "NZ--";
191 case 13: return "NZ-V";
192 case 14: return "NZC-";
193 case 15: return "NZCV";
197 /* Retrieve the CPSR register as an int. */
199 aarch64_get_CPSR (sim_cpu *cpu)
204 /* Set the CPSR register as an int. */
206 aarch64_set_CPSR (sim_cpu *cpu, uint32_t new_flags)
208 if (TRACE_REGISTER_P (cpu))
210 if (cpu->CPSR != new_flags)
212 " CPSR changes from %s to %s",
213 decode_cpsr (cpu->CPSR), decode_cpsr (new_flags));
216 " CPSR stays at %s", decode_cpsr (cpu->CPSR));
219 cpu->CPSR = new_flags & CPSR_ALL_FLAGS;
222 /* Read a specific subset of the CPSR as a bit pattern. */
224 aarch64_get_CPSR_bits (sim_cpu *cpu, FlagMask mask)
226 return cpu->CPSR & mask;
229 /* Assign a specific subset of the CPSR as a bit pattern. */
231 aarch64_set_CPSR_bits (sim_cpu *cpu, uint32_t mask, uint32_t value)
233 uint32_t old_flags = cpu->CPSR;
235 mask &= CPSR_ALL_FLAGS;
237 cpu->CPSR |= (value & mask);
239 if (old_flags != cpu->CPSR)
241 " CPSR changes from %s to %s",
242 decode_cpsr (old_flags), decode_cpsr (cpu->CPSR));
245 /* Test the value of a single CPSR returned as non-zero or zero. */
247 aarch64_test_CPSR_bit (sim_cpu *cpu, FlagMask bit)
249 return cpu->CPSR & bit;
252 /* Set a single flag in the CPSR. */
254 aarch64_set_CPSR_bit (sim_cpu *cpu, FlagMask bit)
256 uint32_t old_flags = cpu->CPSR;
258 cpu->CPSR |= (bit & CPSR_ALL_FLAGS);
260 if (old_flags != cpu->CPSR)
262 " CPSR changes from %s to %s",
263 decode_cpsr (old_flags), decode_cpsr (cpu->CPSR));
266 /* Clear a single flag in the CPSR. */
268 aarch64_clear_CPSR_bit (sim_cpu *cpu, FlagMask bit)
270 uint32_t old_flags = cpu->CPSR;
272 cpu->CPSR &= ~(bit & CPSR_ALL_FLAGS);
274 if (old_flags != cpu->CPSR)
276 " CPSR changes from %s to %s",
277 decode_cpsr (old_flags), decode_cpsr (cpu->CPSR));
281 aarch64_get_FP_float (sim_cpu *cpu, VReg reg)
283 return cpu->fr[reg].s;
287 aarch64_get_FP_double (sim_cpu *cpu, VReg reg)
289 return cpu->fr[reg].d;
293 aarch64_get_FP_long_double (sim_cpu *cpu, VReg reg, FRegister *a)
295 a->v[0] = cpu->fr[reg].v[0];
296 a->v[1] = cpu->fr[reg].v[1];
300 aarch64_set_FP_float (sim_cpu *cpu, VReg reg, float val)
302 if (val != cpu->fr[reg].s)
304 " FR[%d] changes from %f to %f",
305 reg, cpu->fr[reg].s, val);
307 cpu->fr[reg].s = val;
311 aarch64_set_FP_double (sim_cpu *cpu, VReg reg, double val)
313 if (val != cpu->fr[reg].d)
315 " FR[%d] changes from %f to %f",
316 reg, cpu->fr[reg].d, val);
318 cpu->fr[reg].d = val;
322 aarch64_set_FP_long_double (sim_cpu *cpu, VReg reg, FRegister a)
324 if (cpu->fr[reg].v[0] != a.v[0]
325 || cpu->fr[reg].v[1] != a.v[1])
327 " FR[%d] changes from [%0lx %0lx] to [%lx %lx] ",
329 cpu->fr[reg].v[0], cpu->fr[reg].v[1],
332 cpu->fr[reg].v[0] = a.v[0];
333 cpu->fr[reg].v[1] = a.v[1];
337 aarch64_get_vec_u64 (sim_cpu *cpu, VReg reg, unsigned element)
339 return cpu->fr[reg].v[element];
343 aarch64_get_vec_u32 (sim_cpu *cpu, VReg regno, unsigned element)
345 return cpu->fr[regno].w[element];
349 aarch64_get_vec_u16 (sim_cpu *cpu, VReg regno, unsigned element)
351 return cpu->fr[regno].h[element];
355 aarch64_get_vec_u8 (sim_cpu *cpu, VReg regno, unsigned element)
357 return cpu->fr[regno].b[element];
361 aarch64_set_vec_u64 (sim_cpu * cpu,
366 if (value != cpu->fr[regno].v[element])
368 " VR[%2d].<long>[%d] changes from %16" PRIx64
370 regno, element, cpu->fr[regno].v[element], value);
372 cpu->fr[regno].v[element] = value;
376 aarch64_set_vec_u32 (sim_cpu * cpu,
381 if (value != cpu->fr[regno].w[element])
383 " VR[%2d].<word>[%d] changes from %8x to %8x",
384 regno, element, cpu->fr[regno].w[element], value);
386 cpu->fr[regno].w[element] = value;
390 aarch64_set_vec_u16 (sim_cpu * cpu,
395 if (value != cpu->fr[regno].h[element])
397 " VR[%2d].<half>[%d] changes from %4x to %4x",
398 regno, element, cpu->fr[regno].h[element], value);
400 cpu->fr[regno].h[element] = value;
404 aarch64_set_vec_u8 (sim_cpu *cpu, VReg regno, unsigned element, uint8_t value)
406 if (value != cpu->fr[regno].b[element])
408 " VR[%2d].<byte>[%d] changes from %x to %x",
409 regno, element, cpu->fr[regno].b[element], value);
411 cpu->fr[regno].b[element] = value;
415 aarch64_set_FPSR (sim_cpu *cpu, uint32_t value)
417 if (cpu->FPSR != value)
419 " FPSR changes from %x to %x", cpu->FPSR, value);
421 cpu->FPSR = value & FPSR_ALL_FPSRS;
425 aarch64_get_FPSR (sim_cpu *cpu)
431 aarch64_set_FPSR_bits (sim_cpu *cpu, uint32_t mask, uint32_t value)
433 uint32_t old_FPSR = cpu->FPSR;
435 mask &= FPSR_ALL_FPSRS;
437 cpu->FPSR |= (value & mask);
439 if (cpu->FPSR != old_FPSR)
441 " FPSR changes from %x to %x", old_FPSR, cpu->FPSR);
445 aarch64_get_FPSR_bits (sim_cpu *cpu, uint32_t mask)
447 mask &= FPSR_ALL_FPSRS;
448 return cpu->FPSR & mask;
452 aarch64_test_FPSR_bit (sim_cpu *cpu, FPSRMask flag)
454 return cpu->FPSR & flag;
458 aarch64_get_vec_float (sim_cpu *cpu, VReg v, unsigned e)
460 return cpu->fr[v].S[e];
464 aarch64_get_vec_double (sim_cpu *cpu, VReg v, unsigned e)
466 return cpu->fr[v].D[e];
470 aarch64_set_vec_float (sim_cpu *cpu, VReg v, unsigned e, float f)
472 if (f != cpu->fr[v].S[e])
474 " VR[%2d].<float>[%d] changes from %f to %f",
475 v, e, cpu->fr[v].S[e], f);
481 aarch64_set_vec_double (sim_cpu *cpu, VReg v, unsigned e, double d)
483 if (d != cpu->fr[v].D[e])
485 " VR[%2d].<double>[%d] changes from %f to %f",
486 v, e, cpu->fr[v].D[e], d);
492 aarch64_get_vec_s64 (sim_cpu *cpu, VReg regno, unsigned element)
494 return cpu->fr[regno].V[element];
498 aarch64_get_vec_s32 (sim_cpu *cpu, VReg regno, unsigned element)
500 return cpu->fr[regno].W[element];
504 aarch64_get_vec_s16 (sim_cpu *cpu, VReg regno, unsigned element)
506 return cpu->fr[regno].H[element];
510 aarch64_get_vec_s8 (sim_cpu *cpu, VReg regno, unsigned element)
512 return cpu->fr[regno].B[element];
516 aarch64_set_vec_s64 (sim_cpu *cpu, VReg regno, unsigned element, int64_t value)
518 if (value != cpu->fr[regno].V[element])
520 " VR[%2d].<long>[%d] changes from %16" PRIx64 " to %16" PRIx64,
521 regno, element, cpu->fr[regno].V[element], value);
523 cpu->fr[regno].V[element] = value;
527 aarch64_set_vec_s32 (sim_cpu *cpu, VReg regno, unsigned element, int32_t value)
529 if (value != cpu->fr[regno].W[element])
531 " VR[%2d].<word>[%d] changes from %8x to %8x",
532 regno, element, cpu->fr[regno].W[element], value);
534 cpu->fr[regno].W[element] = value;
538 aarch64_set_vec_s16 (sim_cpu *cpu, VReg regno, unsigned element, int16_t value)
540 if (value != cpu->fr[regno].H[element])
542 " VR[%2d].<half>[%d] changes from %4x to %4x",
543 regno, element, cpu->fr[regno].H[element], value);
545 cpu->fr[regno].H[element] = value;
549 aarch64_set_vec_s8 (sim_cpu *cpu, VReg regno, unsigned element, int8_t value)
551 if (value != cpu->fr[regno].B[element])
553 " VR[%2d].<byte>[%d] changes from %x to %x",
554 regno, element, cpu->fr[regno].B[element], value);
556 cpu->fr[regno].B[element] = value;