1 /* cpustate.h -- Prototypes for AArch64 simulator functions.
3 Copyright (C) 2015 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
;
This page took 0.046733 seconds and 4 git commands to generate.