blob: 04ea0a0c9b2b454dee66637deaee3f102540057c [file] [log] [blame]
Alexander Graf14ade102013-09-03 20:12:10 +01001/*
2 * AArch64 translation
3 *
4 * Copyright (c) 2013 Alexander Graf <agraf@suse.de>
5 *
6 * This library is free software; you can redistribute it and/or
7 * modify it under the terms of the GNU Lesser General Public
8 * License as published by the Free Software Foundation; either
9 * version 2 of the License, or (at your option) any later version.
10 *
11 * This library is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 * Lesser General Public License for more details.
15 *
16 * You should have received a copy of the GNU Lesser General Public
17 * License along with this library; if not, see <http://www.gnu.org/licenses/>.
18 */
19#include <stdarg.h>
20#include <stdlib.h>
21#include <stdio.h>
22#include <string.h>
23#include <inttypes.h>
24
25#include "cpu.h"
26#include "tcg-op.h"
27#include "qemu/log.h"
28#include "translate.h"
29#include "qemu/host-utils.h"
30
Peter Maydell089a8d92013-12-03 15:26:18 +000031#include "exec/gen-icount.h"
32
Alexander Graf14ade102013-09-03 20:12:10 +010033#include "helper.h"
34#define GEN_HELPER 1
35#include "helper.h"
36
Alex Bennéecee6c332013-11-28 10:16:07 +000037#define DEBUG_AARCH64_DISAS // define to enable tracing
38#ifdef DEBUG_AARCH64_DISAS
39#define TRACE_DECODE(size, opc, opt) \
40 do { \
41 fprintf(stderr, "%s: 0x%08x @ %" HWADDR_PRIx \
42 " with size:%d, opc:%d, opt:%d\n", \
43 __func__, insn, s->pc -4, size, opc, opt); \
44 } while (0);
45#else
46#define TRACE_DECODE(size, opc, opt) do { /* nothing */ } while (0);
47#endif
48
Alexander Graf14ade102013-09-03 20:12:10 +010049static TCGv_i64 cpu_X[32];
50static TCGv_i64 cpu_pc;
Claudio Fontanad41620e2013-12-03 15:12:19 +000051static TCGv_i32 cpu_NF, cpu_ZF, cpu_CF, cpu_VF;
Alexander Graf14ade102013-09-03 20:12:10 +010052
53static const char *regnames[] = {
54 "x0", "x1", "x2", "x3", "x4", "x5", "x6", "x7",
55 "x8", "x9", "x10", "x11", "x12", "x13", "x14", "x15",
56 "x16", "x17", "x18", "x19", "x20", "x21", "x22", "x23",
57 "x24", "x25", "x26", "x27", "x28", "x29", "lr", "sp"
58};
59
Claudio Fontanad41620e2013-12-03 15:12:19 +000060enum a64_shift_type {
61 A64_SHIFT_TYPE_LSL = 0,
62 A64_SHIFT_TYPE_LSR = 1,
63 A64_SHIFT_TYPE_ASR = 2,
64 A64_SHIFT_TYPE_ROR = 3
65};
66
Alexander Graf14ade102013-09-03 20:12:10 +010067/* initialize TCG globals. */
68void a64_translate_init(void)
69{
70 int i;
71
72 cpu_pc = tcg_global_mem_new_i64(TCG_AREG0,
73 offsetof(CPUARMState, pc),
74 "pc");
75 for (i = 0; i < 32; i++) {
76 cpu_X[i] = tcg_global_mem_new_i64(TCG_AREG0,
77 offsetof(CPUARMState, xregs[i]),
78 regnames[i]);
79 }
80
Claudio Fontanad41620e2013-12-03 15:12:19 +000081 cpu_NF = tcg_global_mem_new_i32(TCG_AREG0, offsetof(CPUARMState, NF), "NF");
82 cpu_ZF = tcg_global_mem_new_i32(TCG_AREG0, offsetof(CPUARMState, ZF), "ZF");
83 cpu_CF = tcg_global_mem_new_i32(TCG_AREG0, offsetof(CPUARMState, CF), "CF");
84 cpu_VF = tcg_global_mem_new_i32(TCG_AREG0, offsetof(CPUARMState, VF), "VF");
Alexander Graf14ade102013-09-03 20:12:10 +010085}
86
87void aarch64_cpu_dump_state(CPUState *cs, FILE *f,
88 fprintf_function cpu_fprintf, int flags)
89{
90 ARMCPU *cpu = ARM_CPU(cs);
91 CPUARMState *env = &cpu->env;
Peter Maydell6cd096b2013-11-26 17:21:48 +000092 uint32_t psr = pstate_read(env);
Alexander Graf14ade102013-09-03 20:12:10 +010093 int i;
94
95 cpu_fprintf(f, "PC=%016"PRIx64" SP=%016"PRIx64"\n",
96 env->pc, env->xregs[31]);
97 for (i = 0; i < 31; i++) {
98 cpu_fprintf(f, "X%02d=%016"PRIx64, i, env->xregs[i]);
99 if ((i % 4) == 3) {
100 cpu_fprintf(f, "\n");
101 } else {
102 cpu_fprintf(f, " ");
103 }
104 }
Peter Maydell6cd096b2013-11-26 17:21:48 +0000105 cpu_fprintf(f, "PSTATE=%08x (flags %c%c%c%c)\n",
106 psr,
107 psr & PSTATE_N ? 'N' : '-',
108 psr & PSTATE_Z ? 'Z' : '-',
109 psr & PSTATE_C ? 'C' : '-',
110 psr & PSTATE_V ? 'V' : '-');
Alexander Graf14ade102013-09-03 20:12:10 +0100111 cpu_fprintf(f, "\n");
112}
113
Alex Bennée871879b2013-11-28 11:18:53 +0000114
115static int get_mem_index(DisasContext *s)
116{
117 /* XXX only user mode for now */
118 return 1;
119}
120
Alexander Graf14ade102013-09-03 20:12:10 +0100121void gen_a64_set_pc_im(uint64_t val)
122{
123 tcg_gen_movi_i64(cpu_pc, val);
124}
125
126static void gen_exception(int excp)
127{
128 TCGv_i32 tmp = tcg_temp_new_i32();
129 tcg_gen_movi_i32(tmp, excp);
130 gen_helper_exception(cpu_env, tmp);
131 tcg_temp_free_i32(tmp);
132}
133
134static void gen_exception_insn(DisasContext *s, int offset, int excp)
135{
136 gen_a64_set_pc_im(s->pc - offset);
137 gen_exception(excp);
Peter Maydell089a8d92013-12-03 15:26:18 +0000138 s->is_jmp = DISAS_EXC;
139}
140
141static inline bool use_goto_tb(DisasContext *s, int n, uint64_t dest)
142{
143 /* No direct tb linking with singlestep or deterministic io */
144 if (s->singlestep_enabled || (s->tb->cflags & CF_LAST_IO)) {
145 return false;
146 }
147
148 /* Only link tbs from inside the same guest page */
149 if ((s->tb->pc & TARGET_PAGE_MASK) != (dest & TARGET_PAGE_MASK)) {
150 return false;
151 }
152
153 return true;
154}
155
156static inline void gen_goto_tb(DisasContext *s, int n, uint64_t dest)
157{
158 TranslationBlock *tb;
159
160 tb = s->tb;
161 if (use_goto_tb(s, n, dest)) {
162 tcg_gen_goto_tb(n);
163 gen_a64_set_pc_im(dest);
164 tcg_gen_exit_tb((tcg_target_long)tb + n);
165 s->is_jmp = DISAS_TB_JUMP;
166 } else {
167 gen_a64_set_pc_im(dest);
168 if (s->singlestep_enabled) {
169 gen_exception(EXCP_DEBUG);
170 }
171 tcg_gen_exit_tb(0);
172 s->is_jmp = DISAS_JUMP;
173 }
Alexander Graf14ade102013-09-03 20:12:10 +0100174}
175
Claudio Fontanaea5ca532013-12-03 15:12:18 +0000176static void unallocated_encoding(DisasContext *s)
Alexander Graf14ade102013-09-03 20:12:10 +0100177{
Alexander Graf14ade102013-09-03 20:12:10 +0100178 gen_exception_insn(s, 4, EXCP_UDEF);
179}
180
Claudio Fontanaea5ca532013-12-03 15:12:18 +0000181#define unsupported_encoding(s, insn) \
182 do { \
183 qemu_log_mask(LOG_UNIMP, \
184 "%s:%d: unsupported instruction encoding 0x%08x " \
185 "at pc=%016" PRIx64 "\n", \
186 __FILE__, __LINE__, insn, s->pc - 4); \
187 unallocated_encoding(s); \
188 } while (0);
Alexander Graf14ade102013-09-03 20:12:10 +0100189
Alexander Grafeeed5002013-12-03 15:12:18 +0000190static void free_tmp_a64(DisasContext *s)
191{
192 int i;
193 for (i = 0; i < s->tmp_a64_count; i++) {
194 tcg_temp_free_i64(s->tmp_a64[i]);
195 }
196 s->tmp_a64_count = 0;
197}
198
199static TCGv_i64 new_tmp_a64_zero(DisasContext *s)
200{
201 assert(s->tmp_a64_count < TMP_A64_MAX);
202 return s->tmp_a64[s->tmp_a64_count++] = tcg_const_i64(0);
203}
204
Alex Bennéeffb7dab2013-12-03 10:52:22 +0000205/*
206 * Register access functions
207 *
208 * These functions are used for directly accessing a register in where
209 * changes to the final register value are likely to be made. If you
210 * need to use a register for temporary calculation (e.g. index type
211 * operations) use the read_* form.
212 *
213 * B1.2.1 Register mappings
214 *
215 * In instruction register encoding 31 can refer to ZR (zero register) or
216 * the SP (stack pointer) depending on context. In QEMUs case we map SP
217 * to cpu_X[31] and ZR accesses to a temporary which can be discarded.
218 * This is the point of the _sp forms.
219 */
Alexander Grafeeed5002013-12-03 15:12:18 +0000220static TCGv_i64 cpu_reg(DisasContext *s, int reg)
221{
222 if (reg == 31) {
223 return new_tmp_a64_zero(s);
224 } else {
225 return cpu_X[reg];
226 }
227}
228
Claudio Fontanab5a339a2013-12-03 15:12:21 +0000229/* register access for when 31 == SP */
230static TCGv_i64 cpu_reg_sp(DisasContext *s, int reg)
231{
232 return cpu_X[reg];
233}
234
Alexander Graf06905b52013-12-03 15:12:19 +0000235/* read a cpu register in 32bit/64bit mode to dst */
236static void read_cpu_reg(DisasContext *s, TCGv_i64 dst, int reg, int sf)
237{
238 if (reg == 31) {
239 tcg_gen_movi_i64(dst, 0);
240 } else if (sf) {
241 tcg_gen_mov_i64(dst, cpu_X[reg]);
242 } else { /* (!sf) */
243 tcg_gen_ext32u_i64(dst, cpu_X[reg]);
244 }
245}
246
Alex Bennéeffb7dab2013-12-03 10:52:22 +0000247static void read_cpu_reg_sp(DisasContext *s, TCGv_i64 dst, int reg, int sf)
248{
249 if (sf) {
250 tcg_gen_mov_i64(dst, cpu_X[reg]);
251 } else { /* (!sf) */
252 tcg_gen_ext32u_i64(dst, cpu_X[reg]);
253 }
254}
255
Claudio Fontanad41620e2013-12-03 15:12:19 +0000256/* this matches the ARM target semantic for flag variables,
257 but it's not optimal for Aarch64. */
Alex Bennéeffb7dab2013-12-03 10:52:22 +0000258
259static inline void gen_set_ZN64(TCGv_i64 result)
260{
261 /* Set ZF and NF based on a 64 bit result. This is alas fiddlier
262 * than the 32 bit equivalent.
263 */
264 TCGv_i64 flag = tcg_temp_new_i64();
265 tcg_gen_setcondi_i64(TCG_COND_NE, flag, result, 0);
266 tcg_gen_trunc_i64_i32(cpu_ZF, flag);
267
268 tcg_gen_shri_i64(flag, result, 32);
269 tcg_gen_trunc_i64_i32(cpu_NF, flag);
270 tcg_temp_free_i64(flag);
271}
272
273/* on !sf result must be passed clean (zero-ext) */
Claudio Fontanad41620e2013-12-03 15:12:19 +0000274static inline void gen_logic_CC(int sf, TCGv_i64 result)
275{
276 if (sf) {
Alex Bennéeffb7dab2013-12-03 10:52:22 +0000277 gen_set_ZN64(result);
Claudio Fontanad41620e2013-12-03 15:12:19 +0000278 } else {
279 tcg_gen_trunc_i64_i32(cpu_ZF, result);
280 tcg_gen_trunc_i64_i32(cpu_NF, result);
281 }
282 tcg_gen_movi_i32(cpu_CF, 0);
283 tcg_gen_movi_i32(cpu_VF, 0);
284}
285
Alex Bennéeffb7dab2013-12-03 10:52:22 +0000286/* dest = T0 + T1; compute C, N, V and Z flags */
287static void gen_add_CC(int sf, TCGv_i64 dest, TCGv_i64 t0, TCGv_i64 t1)
288{
289 if (sf) {
290 TCGv_i64 result, flag, tmp;
291 result = tcg_temp_new_i64();
292 flag = tcg_temp_new_i64();
293 tmp = tcg_temp_new_i64();
294
295 tcg_gen_movi_i64(tmp, 0);
296 tcg_gen_add2_i64(result, flag, t0, tmp, t1, tmp);
297
298 tcg_gen_trunc_i64_i32(cpu_CF, flag);
299
300 gen_set_ZN64(result);
301
302 tcg_gen_xor_i64(flag, result, t0);
303 tcg_gen_xor_i64(tmp, t0, t1);
304 tcg_gen_andc_i64(flag, flag, tmp);
305 tcg_temp_free_i64(tmp);
306 tcg_gen_shri_i64(flag, flag, 32);
307 tcg_gen_trunc_i64_i32(cpu_VF, flag);
308
309 tcg_gen_mov_i64(dest, result);
310 tcg_temp_free_i64(result);
311 tcg_temp_free_i64(flag);
312 } else {
313 /* 32 bit arithmetic */
314 TCGv_i32 t0_32 = tcg_temp_new_i32();
315 TCGv_i32 t1_32 = tcg_temp_new_i32();
316 TCGv_i32 tmp = tcg_temp_new_i32();
317
318 tcg_gen_movi_i32(tmp, 0);
319 tcg_gen_trunc_i64_i32(t0_32, t0);
320 tcg_gen_trunc_i64_i32(t1_32, t1);
321 tcg_gen_add2_i32(cpu_NF, cpu_CF, t0_32, tmp, t1_32, tmp);
322 tcg_gen_mov_i32(cpu_ZF, cpu_NF);
323 tcg_gen_xor_i32(cpu_VF, cpu_NF, t0_32);
324 tcg_gen_xor_i32(tmp, t0_32, t1_32);
325 tcg_gen_andc_i32(cpu_VF, cpu_VF, tmp);
326 tcg_gen_extu_i32_i64(dest, cpu_NF);
327
328 tcg_temp_free_i32(tmp);
329 tcg_temp_free_i32(t0_32);
330 tcg_temp_free_i32(t1_32);
331 }
332}
333
334/* dest = T0 - T1; compute C, N, V and Z flags */
335static void gen_sub_CC(int sf, TCGv_i64 dest, TCGv_i64 t0, TCGv_i64 t1)
336{
337 if (sf) {
338 /* 64 bit arithmetic */
339 TCGv_i64 result, flag, tmp;
340
341 result = tcg_temp_new_i64();
342 flag = tcg_temp_new_i64();
343 tcg_gen_sub_i64(result, t0, t1);
344
345 gen_set_ZN64(result);
346
347 tcg_gen_setcond_i64(TCG_COND_GEU, flag, t0, t1);
348 tcg_gen_trunc_i64_i32(cpu_CF, flag);
349
350 tcg_gen_xor_i64(flag, result, t0);
351 tmp = tcg_temp_new_i64();
352 tcg_gen_xor_i64(tmp, t0, t1);
353 tcg_gen_and_i64(flag, flag, tmp);
354 tcg_temp_free_i64(tmp);
355 tcg_gen_shri_i64(flag, flag, 32);
356 tcg_gen_trunc_i64_i32(cpu_VF, flag);
357 tcg_gen_mov_i64(dest, result);
358 tcg_temp_free_i64(flag);
359 tcg_temp_free_i64(result);
360 } else {
361 /* 32 bit arithmetic */
362 TCGv_i32 t0_32 = tcg_temp_new_i32();
363 TCGv_i32 t1_32 = tcg_temp_new_i32();
364 TCGv_i32 tmp;
365
366 tcg_gen_trunc_i64_i32(t0_32, t0);
367 tcg_gen_trunc_i64_i32(t1_32, t1);
368 tcg_gen_sub_i32(cpu_NF, t0_32, t1_32);
369 tcg_gen_mov_i32(cpu_ZF, cpu_NF);
370 tcg_gen_setcond_i32(TCG_COND_GEU, cpu_CF, t0_32, t1_32);
371 tcg_gen_xor_i32(cpu_VF, cpu_NF, t0_32);
372 tmp = tcg_temp_new_i32();
373 tcg_gen_xor_i32(tmp, t0_32, t1_32);
374 tcg_temp_free_i32(t0_32);
375 tcg_temp_free_i32(t1_32);
376 tcg_gen_and_i32(cpu_VF, cpu_VF, tmp);
377 tcg_temp_free_i32(tmp);
378 tcg_gen_extu_i32_i64(dest, cpu_NF);
379 }
380}
381
Claudio Fontana422426c2013-12-03 15:12:21 +0000382enum sysreg_access {
383 SYSTEM_GET,
384 SYSTEM_PUT
385};
386
387/* C4.3.10 - NZVC */
388static int get_nzcv(TCGv_i64 tcg_rt)
389{
390 TCGv_i32 nzcv, tmp;
391 tmp = tcg_temp_new_i32();
392 nzcv = tcg_temp_new_i32();
393
394 /* build bit 31, N */
395 tcg_gen_andi_i32(nzcv, cpu_NF, (1 << 31));
396 /* build bit 30, Z */
397 tcg_gen_setcondi_i32(TCG_COND_EQ, tmp, cpu_ZF, 0);
398 tcg_gen_deposit_i32(nzcv, nzcv, tmp, 30, 1);
399 /* build bit 29, C */
400 tcg_gen_deposit_i32(nzcv, nzcv, cpu_CF, 29, 1);
401 /* build bit 28, V */
402 tcg_gen_shri_i32(tmp, cpu_VF, 31);
403 tcg_gen_deposit_i32(nzcv, nzcv, tmp, 28, 1);
404 /* generate result */
405 tcg_gen_extu_i32_i64(tcg_rt, nzcv);
406
407 tcg_temp_free_i32(nzcv);
408 tcg_temp_free_i32(tmp);
409 return 0;
410}
411
412static int put_nzcv(TCGv_i64 tcg_rt)
413{
414 TCGv_i32 nzcv;
415 nzcv = tcg_temp_new_i32();
416
417 /* take NZCV from R[t] */
418 tcg_gen_trunc_i64_i32(nzcv, tcg_rt);
419
420 /* bit 31, N */
421 tcg_gen_andi_i32(cpu_NF, nzcv, (1 << 31));
422 /* bit 30, Z */
423 tcg_gen_andi_i32(cpu_ZF, nzcv, (1 << 30));
424 tcg_gen_setcondi_i32(TCG_COND_EQ, cpu_ZF, cpu_ZF, 0);
425 /* bit 29, C */
426 tcg_gen_andi_i32(cpu_CF, nzcv, (1 << 29));
427 tcg_gen_shri_i32(cpu_CF, cpu_CF, 29);
428 /* bit 28, V */
429 tcg_gen_andi_i32(cpu_VF, nzcv, (1 << 28));
430 tcg_gen_shli_i32(cpu_VF, cpu_VF, 3); /* shift to position 31 */
431
432 tcg_temp_free_i32(nzcv);
433 return 0;
434}
435
436/* CTR_EL0 (D8.2.21) */
437static int get_ctr_el0(TCGv_i64 tcg_rt)
438{
439 tcg_gen_movi_i64(tcg_rt, 0x80030003);
440 return 0;
441}
442
443/* DCZID_EL0 (D8.2.23) */
444static int get_dczid_el0(TCGv_i64 tcg_rt)
445{
446 tcg_gen_movi_i64(tcg_rt, 0x10);
447 return 0;
448}
449
450/* TPIDR_EL0 (D8.2.87) */
451static int get_tpidr_el0(TCGv_i64 tcg_rt)
452{
453 tcg_gen_ld_i64(tcg_rt, cpu_env,
454 offsetof(CPUARMState, sr.tpidr_el0));
455 return 0;
456}
457
458static int put_tpidr_el0(TCGv_i64 tcg_rt)
459{
460 tcg_gen_st_i64(tcg_rt, cpu_env,
461 offsetof(CPUARMState, sr.tpidr_el0));
462 return 0;
463}
464
Claudio Fontanab1a32b32013-12-03 15:12:22 +0000465/* FPCR (C4.3.9) */
466static int get_fpcr(TCGv_i64 tcg_rt)
467{
468 gen_helper_get_fpcr(tcg_rt, cpu_env);
469 return 0;
470}
471
472static int put_fpcr(TCGv_i64 tcg_rt)
473{
474 gen_helper_set_fpcr(cpu_env, tcg_rt);
475 return 0;
476}
Claudio Fontana422426c2013-12-03 15:12:21 +0000477
478/* manual: System_Get() / System_Put() */
479/* returns 0 on success, 1 on unsupported, 2 on unallocated */
480static int sysreg_access(enum sysreg_access access, DisasContext *s,
481 unsigned int op0, unsigned int op1, unsigned int op2,
482 unsigned int crn, unsigned int crm, unsigned int rt)
483{
484 if (op0 != 3) {
485 return 1; /* we only support non-debug system registers for now */
486 }
487
488 if (crn == 4) {
489 /* Table C4-8 Special-purpose register accesses */
490 if (op1 == 3 && crm == 2 && op2 == 0) {
491 /* NZVC C4.3.10 */
492 return access == SYSTEM_GET ?
493 get_nzcv(cpu_reg(s, rt)) : put_nzcv(cpu_reg(s, rt));
Claudio Fontanab1a32b32013-12-03 15:12:22 +0000494 } else if (op1 == 3 && crm == 4 && op2 == 0) {
495 return access == SYSTEM_GET ?
496 get_fpcr(cpu_reg(s, rt)) : put_fpcr(cpu_reg(s, rt));
Claudio Fontana422426c2013-12-03 15:12:21 +0000497 }
498 } else if (crn == 11 || crn == 15) {
499 /* C4.2.7 Reserved control space for IMPLEM.-DEFINED func. */
500 return 2;
501 } else {
502 /* Table C4-7 System insn encodings for System register access */
503 if (crn == 0 && op1 == 3 && crm == 0 && op2 == 1) {
504 /* CTR_EL0 (D8.2.21) */
505 return access == SYSTEM_GET ? get_ctr_el0(cpu_reg(s, rt)) : 2;
506 } else if (crn == 0 && op1 == 3 && crm == 0 && op2 == 7) {
507 /* DCZID_EL0 (D8.2.23) */
508 return access == SYSTEM_GET ? get_dczid_el0(cpu_reg(s, rt)) : 2;
509 } else if (crn == 13 && op1 == 3 && crm == 0 && op2 == 2) {
510 return access == SYSTEM_GET ?
511 get_tpidr_el0(cpu_reg(s, rt)) : put_tpidr_el0(cpu_reg(s, rt));
512 }
513 }
514
515 return 1; /* unsupported */
516}
517
Claudio Fontanaea5ca532013-12-03 15:12:18 +0000518/*
Alex Bennée871879b2013-11-28 11:18:53 +0000519 * Load/Store generators
520 */
521
522/*
523 Store from GPR Register to Memory
524*/
525static void do_gpr_st(DisasContext *s, TCGv_i64 source, TCGv_i64 tcg_addr, int size)
526{
527 switch (size) {
528 case 0:
529 tcg_gen_qemu_st8(source, tcg_addr, get_mem_index(s));
530 break;
531 case 1:
532 tcg_gen_qemu_st16(source, tcg_addr, get_mem_index(s));
533 break;
534 case 2:
535 tcg_gen_qemu_st32(source, tcg_addr, get_mem_index(s));
536 break;
537 case 3:
538 tcg_gen_qemu_st64(source, tcg_addr, get_mem_index(s));
539 break;
540 default:
541 /* Bad size */
542 g_assert(false);
543 break;
544 }
545}
546
547/*
Alex Bennéeefe92a72013-11-28 11:19:31 +0000548 Load from memory to GPR Register
549*/
550static void do_gpr_ld(DisasContext *s, TCGv_i64 dest, TCGv_i64 tcg_addr, int size, int is_signed)
551{
552 switch (size) {
553 case 0:
554 if (is_signed) {
555 tcg_gen_qemu_ld8s(dest, tcg_addr, get_mem_index(s));
556 } else {
557 tcg_gen_qemu_ld8u(dest, tcg_addr, get_mem_index(s));
558 }
559 break;
560 case 1:
561 if (is_signed) {
562 tcg_gen_qemu_ld16s(dest, tcg_addr, get_mem_index(s));
563 } else {
564 tcg_gen_qemu_ld16u(dest, tcg_addr, get_mem_index(s));
565 }
566 break;
567 case 2:
568 if (is_signed) {
569 tcg_gen_qemu_ld32s(dest, tcg_addr, get_mem_index(s));
570 } else {
571 tcg_gen_qemu_ld32u(dest, tcg_addr, get_mem_index(s));
572 }
573 break;
574 case 3:
575 tcg_gen_qemu_ld64(dest, tcg_addr, get_mem_index(s));
576 break;
577 default:
578 /* Bad size */
579 g_assert(false);
580 break;
581 }
582}
583
584/* Store from FP register to memory */
585static void do_fp_st(DisasContext *s, int srcidx, TCGv_i64 tcg_addr, int size)
586{
587 /* This writes the bottom N bits of a 128 bit wide vector to memory */
588 int freg_offs = offsetof(CPUARMState, vfp.regs[srcidx * 2]);
589 TCGv_i64 tmp = tcg_temp_new_i64();
590
591 switch (size) {
592 case 0:
593 tcg_gen_ld8u_i64(tmp, cpu_env, freg_offs);
594 tcg_gen_qemu_st8(tmp, tcg_addr, get_mem_index(s));
595 break;
596 case 1:
597 tcg_gen_ld16u_i64(tmp, cpu_env, freg_offs);
598 tcg_gen_qemu_st16(tmp, tcg_addr, get_mem_index(s));
599 break;
600 case 2:
601 tcg_gen_ld32u_i64(tmp, cpu_env, freg_offs);
602 tcg_gen_qemu_st32(tmp, tcg_addr, get_mem_index(s));
603 break;
604 case 3:
605 tcg_gen_ld_i64(tmp, cpu_env, freg_offs);
606 tcg_gen_qemu_st64(tmp, tcg_addr, get_mem_index(s));
607 break;
608 case 4:
609 {
610 TCGv_i64 tcg_hiaddr = tcg_temp_new_i64();
611 tcg_gen_ld_i64(tmp, cpu_env, freg_offs);
612 tcg_gen_qemu_st64(tmp, tcg_addr, get_mem_index(s));
613 tcg_gen_ld_i64(tmp, cpu_env, freg_offs = sizeof(float64));
614 tcg_gen_addi_i64(tcg_hiaddr, tcg_addr, 8);
615 tcg_gen_qemu_st64(tmp, tcg_hiaddr, get_mem_index(s));
616 tcg_temp_free_i64(tcg_hiaddr);
617 break;
618 }
619 default:
620 g_assert(false);
621 break;
622 }
623
624 tcg_temp_free_i64(tmp);
625}
626
627/* Load from memory to FP register */
628static void do_fp_ld(DisasContext *s, int destidx, TCGv_i64 tcg_addr, int size)
629{
630 /* This always zero-extends and writes to a full 128 bit wide vector */
631 int freg_offs = offsetof(CPUARMState, vfp.regs[destidx * 2]);
632 TCGv_i64 tmplo = tcg_temp_new_i64();
633 TCGv_i64 tmphi;
634
635 switch (size) {
636 case 0:
637 tcg_gen_qemu_ld8u(tmplo, tcg_addr, get_mem_index(s));
638 break;
639 case 1:
640 tcg_gen_qemu_ld16u(tmplo, tcg_addr, get_mem_index(s));
641 break;
642 case 2:
643 tcg_gen_qemu_ld32u(tmplo, tcg_addr, get_mem_index(s));
644 break;
645 case 3:
646 case 4:
647 tcg_gen_qemu_ld64(tmplo, tcg_addr, get_mem_index(s));
648 break;
649 default:
650 g_assert(false);
651 break;
652 }
653
654 switch (size) {
655 case 4:
656 {
657 TCGv_i64 tcg_hiaddr;
658
659 tmphi = tcg_temp_new_i64();
660 tcg_hiaddr = tcg_temp_new_i64();
661 tcg_gen_addi_i64(tcg_hiaddr, tcg_addr, 8);
662 tcg_gen_qemu_ld64(tmphi, tcg_hiaddr, get_mem_index(s));
663 tcg_temp_free_i64(tcg_hiaddr);
664 break;
665 }
666 default:
667 tmphi = tcg_const_i64(0);
668 break;
669 }
670
671 tcg_gen_st_i64(tmplo, cpu_env, freg_offs);
672 tcg_gen_st_i64(tmphi, cpu_env, freg_offs + sizeof(float64));
673
674 tcg_temp_free_i64(tmplo);
675 tcg_temp_free_i64(tmphi);
676}
677
678/*
Alex Bennéeffb7dab2013-12-03 10:52:22 +0000679 * This utility function is for doing register extension with an
680 * optional shift. You will likely want to pass a temporary for the
681 * destination register. See DecodeRegExtend() in the aarch64 manual
682 */
683
684static void ext_and_shift_reg(TCGv_i64 tcg_out, TCGv_i64 tcg_in,
685 int option, int shift)
686{
687 int extsize = extract32(option, 0, 2);
688 bool is_signed = extract32(option, 2, 1);
689
690 if (is_signed) {
691 switch (extsize) {
692 case 0:
693 tcg_gen_ext8s_i64(tcg_out, tcg_in);
694 break;
695 case 1:
696 tcg_gen_ext16s_i64(tcg_out, tcg_in);
697 break;
698 case 2:
699 tcg_gen_ext32s_i64(tcg_out, tcg_in);
700 break;
701 case 3:
702 tcg_gen_mov_i64(tcg_out, tcg_in);
703 break;
704 }
705 } else {
706 switch (extsize) {
707 case 0:
708 tcg_gen_ext8u_i64(tcg_out, tcg_in);
709 break;
710 case 1:
711 tcg_gen_ext16u_i64(tcg_out, tcg_in);
712 break;
713 case 2:
714 tcg_gen_ext32u_i64(tcg_out, tcg_in);
715 break;
716 case 3:
717 tcg_gen_mov_i64(tcg_out, tcg_in);
718 break;
719 }
720 }
721
722 if (shift) {
723 tcg_gen_shli_i64(tcg_out, tcg_out, shift);
724 }
725}
726
727/*
Claudio Fontanaea5ca532013-12-03 15:12:18 +0000728 * the instruction disassembly implemented here matches
729 * the instruction encoding classifications in chapter 3 (C3)
730 * of the ARM Architecture Reference Manual (DDI0487A_a)
731 */
732
Alexander Grafeeed5002013-12-03 15:12:18 +0000733/* C3.2.7 Unconditional branch (immediate)
734 * 31 30 26 25 0
735 * +----+-----------+-------------------------------------+
736 * | op | 0 0 1 0 1 | imm26 |
737 * +----+-----------+-------------------------------------+
738 */
Claudio Fontanaea5ca532013-12-03 15:12:18 +0000739static void disas_uncond_b_imm(DisasContext *s, uint32_t insn)
740{
Alexander Grafeeed5002013-12-03 15:12:18 +0000741 uint64_t addr = s->pc + sextract32(insn, 0, 26) * 4 - 4;
742
743 if (insn & (1 << 31)) {
744 /* C5.6.26 BL Branch with link */
745 tcg_gen_movi_i64(cpu_reg(s, 30), s->pc);
746 }
747
748 /* C5.6.20 B Branch / C5.6.26 BL Branch with link */
749 gen_goto_tb(s, 0, addr);
Claudio Fontanaea5ca532013-12-03 15:12:18 +0000750}
751
Alexander Graf06905b52013-12-03 15:12:19 +0000752/* C3.2.1 Compare & branch (immediate)
753 * 31 30 25 24 23 5 4 0
754 * +----+-------------+----+---------------------+--------+
755 * | sf | 0 1 1 0 1 0 | op | imm19 | Rt |
756 * +----+-------------+----+---------------------+--------+
757 */
Claudio Fontanaea5ca532013-12-03 15:12:18 +0000758static void disas_comp_b_imm(DisasContext *s, uint32_t insn)
759{
Alexander Graf06905b52013-12-03 15:12:19 +0000760 unsigned int sf, op, rt;
761 uint64_t addr;
762 int label_nomatch;
763 TCGv_i64 tcg_cmp;
764
765 sf = extract32(insn, 31, 1);
766 op = extract32(insn, 24, 1);
767 rt = extract32(insn, 0, 5);
768 addr = s->pc + sextract32(insn, 5, 19) * 4 - 4;
769
770 tcg_cmp = tcg_temp_new_i64();
771 read_cpu_reg(s, tcg_cmp, rt, sf);
772 label_nomatch = gen_new_label();
773
774 if (op) { /* CBNZ */
775 tcg_gen_brcondi_i64(TCG_COND_EQ, tcg_cmp, 0, label_nomatch);
776 } else { /* CBZ */
777 tcg_gen_brcondi_i64(TCG_COND_NE, tcg_cmp, 0, label_nomatch);
778 }
779
780 tcg_temp_free_i64(tcg_cmp);
781
782 gen_goto_tb(s, 0, addr);
783 gen_set_label(label_nomatch);
784 gen_goto_tb(s, 1, s->pc);
Claudio Fontanaea5ca532013-12-03 15:12:18 +0000785}
786
Alexander Grafee52d8c2013-12-03 15:12:19 +0000787/* C3.2.5 Test & branch (immediate)
788 * 31 30 25 24 23 19 18 5 4 0
789 * +----+-------------+----+-------+-------------+------+
790 * | b5 | 0 1 1 0 1 1 | op | b40 | imm14 | Rt |
791 * +----+-------------+----+-------+-------------+------+
792 */
Claudio Fontanaea5ca532013-12-03 15:12:18 +0000793static void disas_test_b_imm(DisasContext *s, uint32_t insn)
794{
Alexander Grafee52d8c2013-12-03 15:12:19 +0000795 unsigned int bit_pos, op, rt;
796 uint64_t addr;
797 int label_nomatch;
798 TCGv_i64 tcg_cmp;
799
800 bit_pos = (extract32(insn, 31, 1) << 5) | extract32(insn, 19, 5);
801 op = extract32(insn, 24, 1);
802 addr = s->pc + sextract32(insn, 5, 14) * 4 - 4;
803 rt = extract32(insn, 0, 5);
804
805 tcg_cmp = tcg_temp_new_i64();
806 tcg_gen_andi_i64(tcg_cmp, cpu_reg(s, rt), (1ULL << bit_pos));
807 label_nomatch = gen_new_label();
808 if (op) { /* TBNZ */
809 tcg_gen_brcondi_i64(TCG_COND_EQ, tcg_cmp, 0, label_nomatch);
810 } else { /* TBZ */
811 tcg_gen_brcondi_i64(TCG_COND_NE, tcg_cmp, 0, label_nomatch);
812 }
813 tcg_temp_free_i64(tcg_cmp);
814 gen_goto_tb(s, 0, addr);
815 gen_set_label(label_nomatch);
816 gen_goto_tb(s, 1, s->pc);
Claudio Fontanaea5ca532013-12-03 15:12:18 +0000817}
818
Alexander Grafd0deb6c2013-12-03 15:12:18 +0000819/* C3.2.2 / C5.6.19 Conditional branch (immediate)
820 * 31 25 24 23 5 4 3 0
821 * +---------------+----+---------------------+----+------+
822 * | 0 1 0 1 0 1 0 | o1 | imm19 | o0 | cond |
823 * +---------------+----+---------------------+----+------+
824 */
Claudio Fontanaea5ca532013-12-03 15:12:18 +0000825static void disas_cond_b_imm(DisasContext *s, uint32_t insn)
826{
Alexander Grafd0deb6c2013-12-03 15:12:18 +0000827 unsigned int cond;
828 uint64_t addr;
829
830 if ((insn & (1 << 4)) || (insn & (1 << 24))) {
831 unallocated_encoding(s);
832 return;
833 }
834 addr = s->pc + sextract32(insn, 5, 19) * 4 - 4;
835 cond = extract32(insn, 0, 4);
836
837 if (cond < 0x0e) {
838 /* genuinely conditional branches */
839 int label_nomatch = gen_new_label();
840 arm_gen_test_cc(cond ^ 1, label_nomatch);
841 gen_goto_tb(s, 0, addr);
842 gen_set_label(label_nomatch);
843 gen_goto_tb(s, 1, s->pc);
844 } else {
845 /* 0xe and 0xf are both "always" conditions */
846 gen_goto_tb(s, 0, addr);
847 }
Claudio Fontanaea5ca532013-12-03 15:12:18 +0000848}
849
Claudio Fontana20b3f312013-12-03 15:12:18 +0000850/* C5.6.68 HINT */
851static void handle_hint(DisasContext *s, uint32_t insn,
852 unsigned int op1, unsigned int op2, unsigned int crm)
853{
854 unsigned int selector = crm << 3 | op2;
855
856 if (op1 != 3) {
857 unallocated_encoding(s);
858 return;
859 }
860
861 switch (selector) {
862 case 0: /* NOP */
863 return;
864 case 1: /* YIELD */
865 case 2: /* WFE */
866 case 3: /* WFI */
867 case 4: /* SEV */
868 case 5: /* SEVL */
869 /* we treat all as NOP at least for now */
870 return;
871 default:
872 /* default specified as NOP equivalent */
873 return;
874 }
875}
876
877/* CLREX, DSB, DMB, ISB */
878static void handle_sync(DisasContext *s, uint32_t insn,
879 unsigned int op1, unsigned int op2, unsigned int crm)
880{
881 if (op1 != 3) {
882 unallocated_encoding(s);
883 return;
884 }
885
886 switch (op2) {
887 case 2: /* CLREX */
888 unsupported_encoding(s, insn);
889 return;
890 case 4: /* DSB */
891 case 5: /* DMB */
892 case 6: /* ISB */
893 /* We don't emulate caches so barriers are no-ops */
894 return;
895 default:
896 unallocated_encoding(s);
897 return;
898 }
899}
900
901/* C5.6.130 MSR (immediate) - move immediate to processor state field */
902static void handle_msr_i(DisasContext *s, uint32_t insn,
903 unsigned int op1, unsigned int op2, unsigned int crm)
Claudio Fontanaea5ca532013-12-03 15:12:18 +0000904{
905 unsupported_encoding(s, insn);
906}
907
Claudio Fontana20b3f312013-12-03 15:12:18 +0000908/* C5.6.204 SYS */
909static void handle_sys(DisasContext *s, uint32_t insn, unsigned int l,
910 unsigned int op1, unsigned int op2,
911 unsigned int crn, unsigned int crm, unsigned int rt)
912{
913 unsupported_encoding(s, insn);
914}
915
916/* C5.6.129 MRS - move from system register */
917static void handle_mrs(DisasContext *s, uint32_t insn, unsigned int op0,
918 unsigned int op1, unsigned int op2,
919 unsigned int crn, unsigned int crm, unsigned int rt)
920{
Claudio Fontana422426c2013-12-03 15:12:21 +0000921 int rv = sysreg_access(SYSTEM_GET, s, op0, op1, op2, crn, crm, rt);
922
923 switch (rv) {
924 case 0:
925 return;
926 case 1: /* unsupported */
927 unsupported_encoding(s, insn);
928 break;
929 case 2: /* unallocated */
930 unallocated_encoding(s);
931 break;
932 default:
933 assert(FALSE);
934 }
935
936 qemu_log("MRS: [op0=%d,op1=%d,op2=%d,crn=%d,crm=%d]\n",
937 op0, op1, op2, crn, crm);
Claudio Fontana20b3f312013-12-03 15:12:18 +0000938}
939
940/* C5.6.131 MSR (register) - move to system register */
941static void handle_msr(DisasContext *s, uint32_t insn, unsigned int op0,
942 unsigned int op1, unsigned int op2,
943 unsigned int crn, unsigned int crm, unsigned int rt)
944{
Claudio Fontana422426c2013-12-03 15:12:21 +0000945 int rv = sysreg_access(SYSTEM_PUT, s, op0, op1, op2, crn, crm, rt);
946
947 switch (rv) {
948 case 0:
949 return;
950 case 1: /* unsupported */
951 unsupported_encoding(s, insn);
952 break;
953 case 2: /* unallocated */
954 unallocated_encoding(s);
955 break;
956 default:
957 assert(FALSE);
958 }
959
960 qemu_log("MSR: [op0=%d,op1=%d,op2=%d,crn=%d,crm=%d]\n",
961 op0, op1, op2, crn, crm);
Claudio Fontana20b3f312013-12-03 15:12:18 +0000962}
963
964/* C3.2.4 System */
965static void disas_system(DisasContext *s, uint32_t insn)
966{
967 /*
968 * 31 30 29 28 27 26 25 24 23 22 21 20 19 18 16 15 12 11 8 7 5 4 0
969 * 1 1 0 1 0 1 0 1 0 0 L op0 op1 CRn CRm op2 Rt
970 */
971 unsigned int l, op0, op1, crn, crm, op2, rt;
972 l = extract32(insn, 21, 1);
973 op0 = extract32(insn, 19, 2);
974 op1 = extract32(insn, 16, 3);
975 crn = extract32(insn, 12, 4);
976 crm = extract32(insn, 8, 4);
977 op2 = extract32(insn, 5, 3);
978 rt = extract32(insn, 0, 5);
979
980 if (op0 == 0) {
981 if (l || rt != 31) {
982 unallocated_encoding(s);
983 return;
984 }
985 switch (crn) {
986 case 2: /* C5.6.68 HINT */
987 handle_hint(s, insn, op1, op2, crm);
988 break;
989 case 3: /* CLREX, DSB, DMB, ISB */
990 handle_sync(s, insn, op1, op2, crm);
991 break;
992 case 4: /* C5.6.130 MSR (immediate) */
993 handle_msr_i(s, insn, op1, op2, crm);
994 break;
995 default:
996 unallocated_encoding(s);
997 break;
998 }
999 return;
1000 }
1001
1002 if (op0 == 1) {
1003 /* C5.6.204 SYS */
1004 handle_sys(s, insn, l, op1, op2, crn, crm, rt);
1005 } else if (l) { /* op0 > 1 */
1006 /* C5.6.129 MRS - move from system register */
1007 handle_mrs(s, insn, op0, op1, op2, crn, crm, rt);
1008 } else {
1009 /* C5.6.131 MSR (register) - move to system register */
1010 handle_msr(s, insn, op0, op1, op2, crn, crm, rt);
1011 }
1012}
1013
Claudio Fontanaea5ca532013-12-03 15:12:18 +00001014/* Exception generation */
1015static void disas_exc(DisasContext *s, uint32_t insn)
1016{
1017 unsupported_encoding(s, insn);
1018}
1019
Alexander Graf37699832013-12-03 15:12:18 +00001020/* C3.2.7 Unconditional branch (register)
1021 * 31 25 24 21 20 16 15 10 9 5 4 0
1022 * +---------------+-------+-------+-------+------+-------+
1023 * | 1 1 0 1 0 1 1 | opc | op2 | op3 | Rn | op4 |
1024 * +---------------+-------+-------+-------+------+-------+
1025 */
Claudio Fontanaea5ca532013-12-03 15:12:18 +00001026static void disas_uncond_b_reg(DisasContext *s, uint32_t insn)
1027{
Alexander Graf37699832013-12-03 15:12:18 +00001028 unsigned int opc, op2, op3, rn, op4;
1029
1030 opc = extract32(insn, 21, 4);
1031 op2 = extract32(insn, 16, 5);
1032 op3 = extract32(insn, 10, 6);
1033 rn = extract32(insn, 5, 5);
1034 op4 = extract32(insn, 0, 5);
1035
1036 if (op4 != 0x0 || op3 != 0x0 || op2 != 0x1f) {
1037 unallocated_encoding(s);
1038 return;
1039 }
1040
1041 switch (opc) {
1042 case 0: /* BR */
1043 case 2: /* RET */
1044 break;
1045 case 1: /* BLR */
1046 tcg_gen_movi_i64(cpu_reg(s, 30), s->pc);
1047 break;
1048 case 4: /* ERET */
1049 case 5: /* DRPS */
1050 if (rn != 0x1f) {
1051 unallocated_encoding(s);
1052 } else {
1053 unsupported_encoding(s, insn);
1054 }
1055 return;
1056 default:
1057 unallocated_encoding(s);
1058 return;
1059 }
1060
1061 tcg_gen_mov_i64(cpu_pc, cpu_reg(s, rn));
1062 s->is_jmp = DISAS_JUMP;
Claudio Fontanaea5ca532013-12-03 15:12:18 +00001063}
1064
1065/* C3.2 Branches, exception generating and system instructions */
1066static void disas_b_exc_sys(DisasContext *s, uint32_t insn)
1067{
1068 switch (extract32(insn, 25, 7)) {
1069 case 0x0a: case 0x0b:
1070 case 0x4a: case 0x4b: /* Unconditional branch (immediate) */
1071 disas_uncond_b_imm(s, insn);
1072 break;
1073 case 0x1a: case 0x5a: /* Compare & branch (immediate) */
1074 disas_comp_b_imm(s, insn);
1075 break;
1076 case 0x1b: case 0x5b: /* Test & branch (immediate) */
1077 disas_test_b_imm(s, insn);
1078 break;
1079 case 0x2a: /* Conditional branch (immediate) */
1080 disas_cond_b_imm(s, insn);
1081 break;
1082 case 0x6a: /* Exception generation / System */
1083 if (insn & (1 << 24)) {
1084 disas_system(s, insn);
1085 } else {
1086 disas_exc(s, insn);
1087 }
1088 break;
1089 case 0x6b: /* Unconditional branch (register) */
1090 disas_uncond_b_reg(s, insn);
1091 break;
1092 default:
1093 unallocated_encoding(s);
1094 break;
1095 }
1096}
1097
1098/* Load/store exclusive */
1099static void disas_ldst_excl(DisasContext *s, uint32_t insn)
1100{
1101 unsupported_encoding(s, insn);
1102}
1103
Alex Bennée0d680852013-11-25 14:34:40 +00001104/* C3.3.5 Load register (literal)
1105
1106 31 30 29 27 26 25 24 23 5 4 0
1107 +-----+-------+--+-----+-------------------+-------+
1108 | opc | 0 1 1 |V | 0 0 | imm19 | Rt |
1109 +-----+-------+--+-----+-------------------+-------+
1110
1111 opc: 00 -> 32bit, 01 -> 64bit, 10-> 64bit signed, 11 -> prefetch
1112 V: 1 -> vector (simd/fp)
1113 */
1114static void handle_ld_lit(DisasContext *s, uint32_t insn)
Claudio Fontanaea5ca532013-12-03 15:12:18 +00001115{
Alex Bennée0d680852013-11-25 14:34:40 +00001116 int rt = extract32(insn, 0, 5);
1117 int64_t imm = sextract32(insn, 5, 19) << 2;
1118 bool is_vector = extract32(insn, 26, 1);
1119 int opc = extract32(insn, 30, 2);
1120
1121 TCGv_i64 tcg_rt = cpu_reg(s, rt);
1122 TCGv_i64 tcg_addr;
1123 bool is_signed = false;
1124 int size = 2;
1125
1126 switch (opc) {
1127 case 0:
1128 is_signed = false;
1129 size = 2;
1130 break;
1131 case 1:
1132 is_signed = false;
1133 size = 3;
1134 break;
1135 case 2:
1136 is_signed = true;
1137 size = 2;
1138 break;
1139 case 3:
1140 /* prefetch */
1141 return;
1142 }
1143
1144 if (is_vector) {
1145 unsupported_encoding(s, insn);
1146 } else {
1147 tcg_addr = tcg_const_i64((s->pc - 4) + imm);
1148 do_gpr_ld(s, tcg_rt, tcg_addr, size, is_signed);
1149 tcg_temp_free_i64(tcg_addr);
1150 }
Claudio Fontanaea5ca532013-12-03 15:12:18 +00001151}
1152
Alex Bennée871879b2013-11-28 11:18:53 +00001153/*
1154 C5.6.177 STP (Store Pair - non vector)
1155
1156 31 30 29 26 25 23 22 21 15 14 10 9 5 4 0
1157 +-----+-----------+-------+--+-----------------------------+
1158 | opc | 1 0 1 0 0 | index | 0| imm7 | Rt2 | Rn | Rt |
1159 +-----+-----------+-------+--+-------+-------+------+------+
1160
1161 opc = 00 -> 32 bit, 10 -> 64 bit
1162 index_mode = 01 -> post-index
1163 11 -> pre-index
1164 10 -> signed-offset
1165 Rt, Rt2 = general purpose registers to be stored
1166 Rn = general purpose register containing address
1167 imm7 = signed offset (multiple of 4 or 8 depending on size)
1168 */
1169static void handle_gpr_stp(DisasContext *s, uint32_t insn)
1170{
1171 int rt = extract32(insn, 0, 5);
1172 int rn = extract32(insn, 5, 5);
1173 int rt2 = extract32(insn, 10, 5);
1174 int offset = sextract32(insn, 15, 7);
1175 int type = extract32(insn, 23, 2);
1176 int is_32bit = !extract32(insn, 30, 2);
1177
1178 TCGv_i64 tcg_rt = cpu_reg(s, rt);
1179 TCGv_i64 tcg_rt2 = cpu_reg(s, rt2);
1180 TCGv_i64 tcg_addr; /* calculated address */
1181 bool postindex = false;
1182 bool wback = false;
1183 int size = is_32bit ? 2 : 3;
1184
1185 switch (type) {
1186 case 1: /* STP (post-index) */
1187 postindex = true;
1188 wback = true;
1189 break;
1190 case 2: /* STP (signed offset), rn not updated */
1191 postindex = false;
1192 break;
1193 case 3: /* STP (pre-index) */
1194 postindex = false;
1195 wback = true;
1196 break;
1197 default: /* Failed decoder tree? */
1198 unallocated_encoding(s);
1199 break;
1200 }
1201
1202 offset <<= size;
1203
1204 tcg_addr = tcg_temp_new_i64();
1205 if (rn == 31) {
1206 /* XXX CheckSPAlignment - may fault */
1207 }
1208 tcg_gen_mov_i64(tcg_addr, cpu_reg_sp(s, rn));
1209
1210 if (!postindex) {
1211 tcg_gen_addi_i64(tcg_addr, tcg_addr, offset);
1212 }
1213
1214 do_gpr_st(s, tcg_rt, tcg_addr, size);
1215 tcg_gen_addi_i64(tcg_addr, tcg_addr, 1 << size);
1216 do_gpr_st(s, tcg_rt2, tcg_addr, size);
1217 // XXX - this could be more optimal?
1218 tcg_gen_subi_i64(tcg_addr, tcg_addr, 1 << size);
1219
1220 if (wback) {
1221 if (postindex) {
1222 tcg_gen_addi_i64(tcg_addr, tcg_addr, offset);
1223 }
1224 tcg_gen_mov_i64(cpu_reg_sp(s, rn), tcg_addr);
1225 }
1226
1227 tcg_temp_free_i64(tcg_addr);
1228}
1229
1230
1231/* C2.2.3 Load/store pair (all non vector forms)
1232
1233 31 30 29 26 25 23 22 21 15 14 10 9 5 4 0
1234 +-----+-----------+-------+--+-----------------------------+
1235 | opc | 1 0 1 0 0 | index | L| imm7 | Rt2 | Rn | Rt1 |
1236 +-----+-----------+-------+--+-------+-------+------+------+
1237
1238 opc = 00 -> 32 bit, 10 -> 64 bit, 01 -> LDPSW
1239 L = 0 -> Store, 1 -> Load
1240 index = 01 -> post-index
1241 11 -> pre-index
1242 10 -> signed-index
1243
1244 The following instructions are defined in:
1245 C5.6.81 LDP (Load pair)
1246 C5.6.82 LDPSW (Load pair of registers signed word)
1247 C5.6.177 STP (Store Pair)
1248
1249 31 30 29 22 21 15 14 10 9 5 4 0
1250 +-----+--------------+-----------------------------+
1251 | 0 1 | index_mode | imm7 | Rt2 | Rn | Rt1 |
1252 +-----+--------------+-------+-------+------+------+
1253
1254 opc = 00 -> 32 bit, 10 -> 64 bit
1255 index_mode = 10100011 -> post-index
1256 10100111 -> pre-index
1257 10100101 -> signed offset
1258
1259 */
Claudio Fontanaea5ca532013-12-03 15:12:18 +00001260static void disas_ldst_pair(DisasContext *s, uint32_t insn)
1261{
Alex Bennée871879b2013-11-28 11:18:53 +00001262 int is_load = extract32(insn, 22, 1);
1263
1264 if (is_load) {
1265 unsupported_encoding(s, insn);
1266 } else {
1267 handle_gpr_stp(s, insn);
1268 }
Claudio Fontanaea5ca532013-12-03 15:12:18 +00001269}
1270
Alex Bennéeefe92a72013-11-28 11:19:31 +00001271/*
1272C3.3.13 Load/store (unsigned immediate)
1273
1274 31 30 29 27 26 25 24 23 22 21 10 9 5
1275 +----+-------+---+-----+-----+------------+-------+------+
1276 |size| 1 1 1 | V | 0 1 | opc | imm12 | Rn | Rt |
1277 +----+-------+---+-----+-----+------------+-------+------+
1278
1279 For non-vector:
1280 size: 00-> byte, 01 -> 16 bit, 10 -> 32bit, 11 -> 64bit
1281 opc: 00 -> store, 01 -> loadu, 10 -> loads 64, 11 -> loads 32
1282 For vector:
1283 size is opc<1>:size<1:0> so 100 -> 128 bit; 110 and 111 unallocated
1284 opc<0>: 0 -> store, 1 -> load
1285 Rn: base address register (inc SP)
1286 Rt: target register
1287*/
1288static void handle_ldst_reg_unsigned_imm(DisasContext *s, uint32_t insn)
1289{
1290 int rt = extract32(insn, 0, 5);
1291 int rn = extract32(insn, 5, 5);
1292 unsigned int imm12 = extract32(insn, 10, 12);
1293 bool is_vector = extract32(insn, 26, 1);
1294 int size = extract32(insn, 30, 2);
1295 int opc = extract32(insn, 22, 2);
1296 unsigned int offset;
1297
1298 TCGv_i64 tcg_rn;
1299 TCGv_i64 tcg_rt;
1300 TCGv_i64 tcg_addr;
1301
1302 bool is_store, is_signed;
1303
1304 if (is_vector) {
1305 size |= (opc & 2) << 1;
1306 if (size > 4) {
1307 unallocated_encoding(s);
1308 }
1309 is_store = ((opc & 1) == 0);
1310 } else {
1311 if (size == 3 && opc == 2) {
1312 /* PRFM - prefetch */
1313 return;
1314 }
1315 is_store = (opc == 0);
1316 is_signed = opc & (1<<1);
1317 }
1318
1319 tcg_rn = cpu_reg_sp(s, rn);
1320 tcg_addr = tcg_temp_new_i64();
1321
1322 offset = imm12 << size;
1323 tcg_gen_addi_i64(tcg_addr, tcg_rn, offset);
1324
1325 if (is_vector) {
1326 if (is_store) {
1327 do_fp_st(s, rt, tcg_addr, size);
1328 } else {
1329 do_fp_ld(s, rt, tcg_addr, size);
1330 }
1331 } else {
1332 tcg_rt = cpu_reg(s, rt);
1333 if (is_store) {
1334 do_gpr_st(s, tcg_rt, tcg_addr, size);
1335 } else {
1336 do_gpr_ld(s, tcg_rt, tcg_addr, size, is_signed);
1337 }
1338 }
1339 tcg_temp_free_i64(tcg_addr);
1340}
1341
Claudio Fontanaea5ca532013-12-03 15:12:18 +00001342/* Load/store register (all forms) */
1343static void disas_ldst_reg(DisasContext *s, uint32_t insn)
1344{
Alex Bennéeefe92a72013-11-28 11:19:31 +00001345 switch (extract32(insn, 24, 2)) {
1346 case 0:
1347 unsupported_encoding(s, insn);
1348 break;
1349 case 1:
1350 handle_ldst_reg_unsigned_imm(s, insn);
1351 break;
1352 default:
1353 unallocated_encoding(s);
1354 break;
1355 }
Claudio Fontanaea5ca532013-12-03 15:12:18 +00001356}
1357
1358/* AdvSIMD load/store multiple structures */
1359static void disas_ldst_multiple_struct(DisasContext *s, uint32_t insn)
1360{
1361 unsupported_encoding(s, insn);
1362}
1363
1364/* AdvSIMD load/store single structure */
1365static void disas_ldst_single_struct(DisasContext *s, uint32_t insn)
1366{
1367 unsupported_encoding(s, insn);
1368}
1369
1370/* C3.3 Loads and stores */
1371static void disas_ldst(DisasContext *s, uint32_t insn)
1372{
1373 switch (extract32(insn, 24, 6)) {
1374 case 0x08: /* Load/store exclusive */
1375 disas_ldst_excl(s, insn);
1376 break;
1377 case 0x18: case 0x1c: /* Load register (literal) */
Alex Bennée0d680852013-11-25 14:34:40 +00001378 handle_ld_lit(s, insn);
Claudio Fontanaea5ca532013-12-03 15:12:18 +00001379 break;
1380 case 0x28: case 0x29:
1381 case 0x2c: case 0x2d: /* Load/store pair (all forms) */
1382 disas_ldst_pair(s, insn);
1383 break;
1384 case 0x38: case 0x39:
1385 case 0x3c: case 0x3d: /* Load/store register (all forms) */
1386 disas_ldst_reg(s, insn);
1387 break;
1388 case 0x0c: /* AdvSIMD load/store multiple structures */
1389 disas_ldst_multiple_struct(s, insn);
1390 break;
1391 case 0x0d: /* AdvSIMD load/store single structure */
1392 disas_ldst_single_struct(s, insn);
1393 break;
1394 default:
1395 unallocated_encoding(s);
1396 break;
1397 }
1398}
1399
Claudio Fontana8ff4c2f2013-12-03 15:12:19 +00001400/* C3.4.6 PC-rel. addressing */
1401
Claudio Fontanaea5ca532013-12-03 15:12:18 +00001402static void disas_pc_rel_adr(DisasContext *s, uint32_t insn)
1403{
Claudio Fontana8ff4c2f2013-12-03 15:12:19 +00001404 /*
1405 * 31 30 29 28 27 26 25 24 23 5 4 0
1406 * op immlo 1 0 0 0 0 immhi Rd
1407 */
1408 unsigned int page, rd; /* op -> page */
1409 uint64_t base;
1410 int64_t offset; /* SignExtend(immhi:immlo) -> offset */
1411
1412 page = insn & (1 << 31) ? 1 : 0;
1413 offset = ((int64_t)sextract32(insn, 5, 19) << 2) | extract32(insn, 29, 2);
1414 rd = extract32(insn, 0, 5);
1415 base = s->pc - 4;
1416
1417 if (page) {
1418 /* ADRP (page based) */
1419 base &= ~0xfff;
1420 offset <<= 12; /* apply Zeros */
1421 }
1422
1423 tcg_gen_movi_i64(cpu_reg(s, rd), base + offset);
Claudio Fontanaea5ca532013-12-03 15:12:18 +00001424}
1425
Alex Bennéeffb7dab2013-12-03 10:52:22 +00001426/* C3.4.1 Add/subtract (immediate)
1427
1428 31 30 29 28 24 23 22 21 10 9 5 4 0
1429 +--+--+--+-----------+-----+-------------+-----+-----+
1430 |sf|op| S| 1 0 0 0 1 |shift| imm12 | Rn | Rd |
1431 +--+--+--+-----------+-----+-------------+-----+-----+
1432
1433 sf: 0 -> 32bit, 1 -> 64bit
1434 op: 0 -> add , 1 -> sub
1435 S: 1 -> set flags
1436shift: 00 -> LSL imm by 0, 01 -> LSL imm by 12
1437*/
Claudio Fontanaea5ca532013-12-03 15:12:18 +00001438static void disas_add_sub_imm(DisasContext *s, uint32_t insn)
1439{
Alex Bennéeffb7dab2013-12-03 10:52:22 +00001440 int rd = extract32(insn, 0, 5);
1441 int rn = extract32(insn, 5, 5);
1442 uint64_t imm = extract32(insn, 10, 12);
1443 int shift = extract32(insn, 22, 2);
1444 bool setflags = extract32(insn, 29, 1);
1445 bool sub_op = extract32(insn, 30, 1);
1446 bool is_64bit = extract32(insn, 31, 1);
1447
1448 TCGv_i64 tcg_rn = cpu_reg_sp(s, rn);
1449 TCGv_i64 tcg_rd = setflags ? cpu_reg(s, rd):cpu_reg_sp(s, rd);
1450 TCGv_i64 tcg_result;
1451
1452 switch (shift) {
1453 case 0x0:
1454 break;
1455 case 0x1:
1456 imm <<= 12;
1457 break;
1458 default:
1459 unallocated_encoding(s);
1460 }
1461
1462 tcg_result = tcg_temp_new_i64();
1463 if (!setflags) {
1464 if (sub_op) {
1465 tcg_gen_subi_i64(tcg_result, tcg_rn, imm);
1466 } else {
1467 tcg_gen_addi_i64(tcg_result, tcg_rn, imm);
1468 }
1469 } else {
1470 TCGv_i64 tcg_imm = tcg_const_i64(imm);
1471 if (sub_op) {
1472 gen_sub_CC(is_64bit, tcg_result, tcg_rn, tcg_imm);
1473 } else {
1474 gen_add_CC(is_64bit, tcg_result, tcg_rn, tcg_imm);
1475 }
1476 tcg_temp_free_i64(tcg_imm);
1477 }
1478
1479 if (is_64bit) {
1480 tcg_gen_mov_i64(tcg_rd, tcg_result);
1481 } else {
1482 tcg_gen_ext32u_i64(tcg_rd, tcg_result);
1483 }
1484
1485 tcg_temp_free_i64(tcg_result);
Claudio Fontanaea5ca532013-12-03 15:12:18 +00001486}
1487
Claudio Fontanab5a339a2013-12-03 15:12:21 +00001488static uint64_t logic_imm_replicate(uint64_t mask, unsigned int esize)
1489{
1490 int i;
1491 uint64_t out_mask = 0;
1492 for (i = 0; (i * esize) < 64; i++) {
1493 out_mask = out_mask | (mask << (i * esize));
1494 }
1495 return out_mask;
1496}
1497
1498static inline uint64_t logic_imm_bitmask(unsigned int len)
1499{
1500 if (len == 64) {
1501 return -1;
1502 }
1503 return (1ULL << len) - 1;
1504}
1505
1506static uint64_t logic_imm_decode_wmask(unsigned int immn,
1507 unsigned int imms, unsigned int immr)
1508{
1509 uint64_t mask;
1510 unsigned len, esize, levels, s, r;
1511
1512 len = 31 - clz32((immn << 6) | (~imms & 0x3f));
1513 esize = 1 << len;
1514 levels = (esize - 1) & 0x3f;
1515 s = imms & levels;
1516 r = immr & levels;
1517
1518 mask = logic_imm_bitmask(s + 1);
1519 mask = (mask >> r) | (mask << (esize - r));
1520 mask &= logic_imm_bitmask(esize);
1521 mask = logic_imm_replicate(mask, esize);
1522 return mask;
1523}
1524
1525/* C3.4.4 Logical (immediate) */
Claudio Fontanaea5ca532013-12-03 15:12:18 +00001526static void disas_logic_imm(DisasContext *s, uint32_t insn)
1527{
Claudio Fontanab5a339a2013-12-03 15:12:21 +00001528 /*
1529 * 31 30 29 28 27 26 25 24 23 22 21 16 15 10 9 5 4 0
1530 * sf opc 1 0 0 1 0 0 N immr imms Rn Rd
1531 */
1532 unsigned int sf, opc, is_n, immr, imms, rn, rd;
1533 TCGv_i64 tcg_rd, tcg_rn;
1534 uint64_t wmask;
1535 sf = insn & (1 << 31) ? 1 : 0;
1536 opc = extract32(insn, 29, 2);
1537 is_n = insn & (1 << 22) ? 1 : 0;
1538 immr = extract32(insn, 16, 6);
1539 imms = extract32(insn, 10, 6);
1540 rn = extract32(insn, 5, 5);
1541 rd = extract32(insn, 0, 5);
1542
1543 if (!sf && is_n) {
1544 unallocated_encoding(s);
1545 return;
1546 }
1547
1548 if (opc == 0x3) { /* ANDS */
1549 tcg_rd = cpu_reg(s, rd);
1550 } else {
1551 tcg_rd = cpu_reg_sp(s, rd);
1552 }
1553 tcg_rn = cpu_reg(s, rn);
1554
1555 wmask = logic_imm_decode_wmask(is_n, imms, immr);
1556 if (!sf) {
1557 wmask &= 0xffffffff;
1558 }
1559
1560 switch (opc) {
1561 case 0x3: /* ANDS */
1562 case 0x0: /* AND */
1563 tcg_gen_andi_i64(tcg_rd, tcg_rn, wmask);
1564 break;
1565 case 0x1: /* ORR */
1566 tcg_gen_ori_i64(tcg_rd, tcg_rn, wmask);
1567 break;
1568 case 0x2: /* EOR */
1569 tcg_gen_xori_i64(tcg_rd, tcg_rn, wmask);
1570 break;
1571 default:
1572 assert(FALSE); /* must handle all above */
1573 break;
1574 }
1575
1576 if (!sf) { /* zero extend final result */
1577 tcg_gen_ext32u_i64(tcg_rd, tcg_rd);
1578 }
1579
1580 if (opc == 3) { /* ANDS */
1581 gen_logic_CC(sf, tcg_rd);
1582 }
Claudio Fontanaea5ca532013-12-03 15:12:18 +00001583}
1584
Alex Bennéec2573912013-11-22 17:10:59 +00001585/* C3.4.5 Move wide (immediate)
1586
1587 31 30 29 28 23 22 21 20 5 4 0
1588 +--+-----+-------------+-----+----------------+------+
1589 |sf| opc | 1 0 0 1 0 1 | hw | imm16 | Rd |
1590 +--+-----+-------------+-----+----------------+------+
1591
1592 sf: 0 -> 32 bit, 1 -> 64 bit
1593 opc: 00 -> N, 01 -> Z, 11 -> K
1594 */
Claudio Fontanaea5ca532013-12-03 15:12:18 +00001595static void disas_movw_imm(DisasContext *s, uint32_t insn)
1596{
Alex Bennéec2573912013-11-22 17:10:59 +00001597 int rd = extract32(insn, 0, 5);
1598 uint64_t imm = extract32(insn, 5, 16);
1599 int is_32bit = !extract32(insn, 31, 1);
1600 int is_k = extract32(insn, 29, 1);
1601 int is_n = !extract32(insn, 30, 1);
1602 int pos = extract32(insn, 21, 2) << 4;
1603 TCGv_i64 tcg_rd = cpu_reg(s, rd);
1604 TCGv_i64 tcg_imm;
1605
1606 if (extract32(insn, 23, 1) != 1) {
1607 /* reserved */
1608 unallocated_encoding(s);
1609 return;
1610 }
1611
1612 if (is_k && is_n) {
1613 unallocated_encoding(s);
1614 return;
1615 }
1616
1617 if (is_k) {
1618 tcg_imm = tcg_const_i64(imm);
1619 tcg_gen_deposit_i64(tcg_rd, tcg_rd, tcg_imm, pos, 16);
1620 tcg_temp_free_i64(tcg_imm);
1621 } else {
1622 imm <<= pos;
1623 if (is_n) {
1624 imm = ~imm;
1625 }
1626 if (is_32bit) {
1627 imm &= 0xffffffffu;
1628 }
1629 tcg_gen_movi_i64(tcg_rd, imm);
1630 }
Claudio Fontanaea5ca532013-12-03 15:12:18 +00001631}
1632
Claudio Fontana18f20eb2013-12-03 15:12:21 +00001633/* C3.4.2 Bitfield */
Claudio Fontanaea5ca532013-12-03 15:12:18 +00001634static void disas_bitfield(DisasContext *s, uint32_t insn)
1635{
Claudio Fontana18f20eb2013-12-03 15:12:21 +00001636 /*
1637 * 31 30 29 28 27 26 25 24 23 22 21 16 15 10 9 5 4 0
1638 * sf opc 1 0 0 1 1 0 N immr imms Rn Rd
1639 */
1640 unsigned int sf, n, opc, ri, si, rn, rd, bitsize, pos, len;
1641 TCGv_i64 tcg_rd, tcg_tmp;
1642 sf = insn & (1 << 31) ? 1 : 0;
1643 opc = extract32(insn, 29, 2);
1644 n = insn & (1 << 22) ? 1 : 0;
1645 ri = extract32(insn, 16, 6);
1646 si = extract32(insn, 10, 6);
1647 rn = extract32(insn, 5, 5);
1648 rd = extract32(insn, 0, 5);
1649 bitsize = sf ? 64 : 32;
1650
1651 if (sf != n || ri >= bitsize || si >= bitsize || opc > 2) {
1652 unallocated_encoding(s);
1653 return;
1654 }
1655
1656 tcg_rd = cpu_reg(s, rd);
1657 tcg_tmp = tcg_temp_new_i64();
1658 read_cpu_reg(s, tcg_tmp, rn, sf);
1659
1660 if (opc != 1) { /* SBFM or UBFM */
1661 tcg_gen_movi_i64(tcg_rd, 0);
1662 }
1663
1664 /* do the bit move operation */
1665 if (si >= ri) {
1666 /* Wd<s-r:0> = Wn<s:r> */
1667 tcg_gen_shri_i64(tcg_tmp, tcg_tmp, ri);
1668 pos = 0;
1669 len = (si - ri) + 1;
1670 } else {
1671 /* Wd<32+s-r,32-r> = Wn<s:0> */
1672 pos = bitsize - ri;
1673 len = si + 1;
1674 }
1675
1676 tcg_gen_deposit_i64(tcg_rd, tcg_rd, tcg_tmp, pos, len);
1677 tcg_temp_free_i64(tcg_tmp);
1678
1679 if (opc == 0) { /* SBFM - sign extend the destination field */
1680 tcg_gen_shli_i64(tcg_rd, tcg_rd, 64 - (pos + len));
1681 tcg_gen_sari_i64(tcg_rd, tcg_rd, 64 - (pos + len));
1682 }
1683
1684 if (!sf) { /* zero extend final result */
1685 tcg_gen_ext32u_i64(tcg_rd, tcg_rd);
1686 }
Claudio Fontanaea5ca532013-12-03 15:12:18 +00001687}
1688
Claudio Fontana6e7015312013-12-03 15:12:19 +00001689/* C3.4.3 Extract */
Claudio Fontanaea5ca532013-12-03 15:12:18 +00001690static void disas_extract(DisasContext *s, uint32_t insn)
1691{
Claudio Fontana6e7015312013-12-03 15:12:19 +00001692 /*
1693 * 31 30 29 28 27 26 25 24 23 22 21 20 16 15 10 9 5 4 0
1694 * sf [op21] 1 0 0 1 1 1 N o0 Rm imm Rn Rd
1695 * [0 0] [0]
1696 */
1697 unsigned int sf, n, rm, imm, rn, rd, bitsize, op;
1698 sf = insn & (1 << 31) ? 1 : 0;
1699 n = insn & (1 << 22) ? 1 : 0;
1700 rm = extract32(insn, 16, 5);
1701 imm = extract32(insn, 10, 6);
1702 rn = extract32(insn, 5, 5);
1703 rd = extract32(insn, 0, 5);
1704 op = insn & (0x3 << 29 | 1 << 21);
1705 bitsize = sf ? 64 : 32;
1706
1707 if (sf != n || op || imm >= bitsize) {
1708 unallocated_encoding(s);
1709 } else {
1710 TCGv_i64 tcg_tmp, tcg_rd;
1711 tcg_tmp = tcg_temp_new_i64();
1712 tcg_rd = cpu_reg(s, rd);
1713
1714 read_cpu_reg(s, tcg_tmp, rm, sf);
1715 tcg_gen_shri_i64(tcg_rd, tcg_tmp, imm);
1716 tcg_gen_shli_i64(tcg_tmp, cpu_reg(s, rn), bitsize - imm);
1717 tcg_gen_or_i64(tcg_rd, tcg_rd, tcg_tmp);
1718
1719 tcg_temp_free_i64(tcg_tmp);
1720 if (!sf) {
1721 tcg_gen_ext32u_i64(tcg_rd, tcg_rd);
1722 }
1723 }
Claudio Fontanaea5ca532013-12-03 15:12:18 +00001724}
1725
1726/* C3.4 Data processing - immediate */
1727static void disas_data_proc_imm(DisasContext *s, uint32_t insn)
1728{
1729 switch (extract32(insn, 23, 6)) {
1730 case 0x20: case 0x21: /* PC-rel. addressing */
1731 disas_pc_rel_adr(s, insn);
1732 break;
1733 case 0x22: case 0x23: /* Add/subtract (immediate) */
1734 disas_add_sub_imm(s, insn);
1735 break;
1736 case 0x24: /* Logical (immediate) */
1737 disas_logic_imm(s, insn);
1738 break;
1739 case 0x25: /* Move wide (immediate) */
1740 disas_movw_imm(s, insn);
1741 break;
1742 case 0x26: /* Bitfield */
1743 disas_bitfield(s, insn);
1744 break;
1745 case 0x27: /* Extract */
1746 disas_extract(s, insn);
1747 break;
1748 default:
1749 unallocated_encoding(s);
1750 break;
1751 }
1752}
1753
Claudio Fontanad41620e2013-12-03 15:12:19 +00001754/* shift a TCGv src by TCGv shift_amount, put result in dst. */
1755static void shift_reg(TCGv_i64 dst, TCGv_i64 src, int sf,
1756 enum a64_shift_type shift_type, TCGv_i64 shift_amount)
1757{
1758 switch (shift_type) {
1759 case A64_SHIFT_TYPE_LSL:
1760 tcg_gen_shl_i64(dst, src, shift_amount);
1761 break;
1762 case A64_SHIFT_TYPE_LSR:
1763 tcg_gen_shr_i64(dst, src, shift_amount);
1764 break;
1765 case A64_SHIFT_TYPE_ASR:
1766 if (!sf) {
1767 tcg_gen_ext32s_i64(dst, src);
1768 }
1769 tcg_gen_sar_i64(dst, sf ? src : dst, shift_amount);
1770 break;
1771 case A64_SHIFT_TYPE_ROR:
1772 if (sf) {
1773 tcg_gen_rotr_i64(dst, src, shift_amount);
1774 } else {
1775 TCGv_i32 t0, t1;
1776 t0 = tcg_temp_new_i32();
1777 t1 = tcg_temp_new_i32();
1778 tcg_gen_trunc_i64_i32(t0, src);
1779 tcg_gen_trunc_i64_i32(t1, shift_amount);
1780 tcg_gen_rotr_i32(t0, t0, t1);
1781 tcg_gen_extu_i32_i64(dst, t0);
1782 tcg_temp_free_i32(t0);
1783 tcg_temp_free_i32(t1);
1784 }
1785 break;
1786 default:
1787 assert(FALSE); /* all shift types should be handled */
1788 break;
1789 }
1790
1791 if (!sf) { /* zero extend final result */
1792 tcg_gen_ext32u_i64(dst, dst);
1793 }
1794}
1795
1796/* shift a TCGv src by immediate, put result in dst. */
1797static void shift_reg_imm(TCGv_i64 dst, TCGv_i64 src, int sf,
1798 enum a64_shift_type shift_type, unsigned int shift_i)
1799{
1800 shift_i = shift_i & (sf ? 63 : 31);
1801
1802 if (shift_i == 0) {
1803 tcg_gen_mov_i64(dst, src);
1804 } else {
1805 TCGv_i64 shift_const;
1806 shift_const = tcg_const_i64(shift_i);
1807 shift_reg(dst, src, sf, shift_type, shift_const);
1808 tcg_temp_free_i64(shift_const);
1809 }
1810}
1811
1812/* C3.5.10 Logical (shifted register) */
Claudio Fontanaea5ca532013-12-03 15:12:18 +00001813static void disas_logic_reg(DisasContext *s, uint32_t insn)
1814{
Claudio Fontanad41620e2013-12-03 15:12:19 +00001815 /*
1816 * 31 30 29 28 27 26 25 24 23 22 21 20 16 15 10 9 5 4 0
1817 * sf opc 0 1 0 1 0 shift N Rm imm6 Rn Rd
1818 */
1819 TCGv_i64 tcg_rd, tcg_rn, tcg_rm;
1820 unsigned int sf, opc, shift_type, invert, rm, shift_amount, rn, rd;
1821 sf = (insn & (1 << 31)) ? 1 : 0;
1822 opc = extract32(insn, 29, 2);
1823 shift_type = extract32(insn, 22, 2);
1824 invert = (insn & (1 << 21)) ? 1 : 0;
1825 rm = extract32(insn, 16, 5);
1826 shift_amount = extract32(insn, 10, 6);
1827 rn = extract32(insn, 5, 5);
1828 rd = extract32(insn, 0, 5);
1829
1830 if (!sf && (shift_amount & (1 << 5))) {
1831 unallocated_encoding(s);
1832 return;
1833 }
1834
1835 tcg_rm = tcg_temp_new_i64();
1836 read_cpu_reg(s, tcg_rm, rm, sf);
1837
1838 if (shift_amount) {
1839 shift_reg_imm(tcg_rm, tcg_rm, sf,
1840 shift_type, shift_amount);
1841 }
1842
1843 if (invert) {
1844 tcg_gen_not_i64(tcg_rm, tcg_rm);
1845 /* we zero extend later on (!sf) */
1846 }
1847
1848 tcg_rd = cpu_reg(s, rd);
1849 tcg_rn = cpu_reg(s, rn);
1850
1851 switch (opc) {
1852 case 0: /* AND, BIC */
1853 case 3: /* ANDS, BICS */
1854 tcg_gen_and_i64(tcg_rd, tcg_rn, tcg_rm);
1855 break;
1856 case 1: /* ORR, ORN */
1857 tcg_gen_or_i64(tcg_rd, tcg_rn, tcg_rm);
1858 break;
1859 case 2: /* EOR, EON */
1860 tcg_gen_xor_i64(tcg_rd, tcg_rn, tcg_rm);
1861 break;
1862 default:
1863 assert(FALSE); /* must handle all in switch */
1864 break;
1865 }
1866
1867 if (!sf) {
1868 tcg_gen_ext32u_i64(tcg_rd, tcg_rd);
1869 }
1870
1871 if (opc == 3) {
1872 gen_logic_CC(sf, tcg_rd);
1873 }
1874
1875 tcg_temp_free_i64(tcg_rm);
Claudio Fontanaea5ca532013-12-03 15:12:18 +00001876}
1877
Alex Bennéeffb7dab2013-12-03 10:52:22 +00001878/* C3.5.1 Add/subtract (extended register)
1879
1880 31|30|29|28 24|23 22|21|20 16|15 13|12 10|9 5|4 0|
1881 +--+--+--+-----------+-----+--+-------+------+------+----+----+
1882 |sf|op| S| 0 1 0 1 1 | opt | 1| Rm |option| imm3 | Rn | Rd |
1883 +--+--+--+-----------+-----+--+-------+------+------+----+----+
1884
1885 sf: 0 -> 32bit, 1 -> 64bit
1886 op: 0 -> add , 1 -> sub
1887 S: 1 -> set flags
1888 opt: 00
1889 option: extension type (see DecodeRegExtend)
1890 imm3: optional shift to Rm
1891
1892 Rd = Rn + LSL(extend(Rm), amount)
1893*/
1894
1895static void handle_add_sub_ext_reg(DisasContext *s, uint32_t insn)
Claudio Fontanaea5ca532013-12-03 15:12:18 +00001896{
Alex Bennéeffb7dab2013-12-03 10:52:22 +00001897 int rd = extract32(insn, 0, 5);
1898 int rn = extract32(insn, 5, 5);
1899 int imm3 = sextract32(insn, 10, 3);
1900 int option = extract32(insn, 13, 3);
1901 int rm = extract32(insn, 16, 5);
1902 bool setflags = extract32(insn, 29, 1);
1903 bool sub_op = extract32(insn, 30, 1);
1904 bool sf = extract32(insn, 31, 1);
1905
1906 TCGv_i64 tcg_rm = tcg_temp_new_i64();
1907 TCGv_i64 tcg_rn = tcg_temp_new_i64();
1908
1909 TCGv_i64 tcg_rd;
1910 TCGv_i64 tcg_result;
1911
1912 /* non-flag setting ops may use SP */
1913 if (!setflags) {
1914 read_cpu_reg_sp(s, tcg_rn, rn, sf);
1915 tcg_gen_mov_i64(tcg_rn, cpu_reg_sp(s, rn));
1916 tcg_rd = cpu_reg_sp(s, rd);
1917 } else {
1918 read_cpu_reg(s, tcg_rn, rn, sf);
1919 tcg_rd = cpu_reg(s, rd);
1920 }
1921
1922 read_cpu_reg(s, tcg_rm, rm, sf);
1923 ext_and_shift_reg(tcg_rm, tcg_rm, option, imm3);
1924
1925 tcg_result = tcg_temp_new_i64();
1926
1927 if (!setflags) {
1928 if (sub_op) {
1929 tcg_gen_sub_i64(tcg_result, tcg_rn, tcg_rm);
1930 } else {
1931 tcg_gen_add_i64(tcg_result, tcg_rn, tcg_rm);
1932 }
1933 } else {
1934 if (sub_op) {
1935 gen_sub_CC(sf, tcg_result, tcg_rn, tcg_rm);
1936 } else {
1937 gen_add_CC(sf, tcg_result, tcg_rn, tcg_rm);
1938 }
1939 }
1940
1941 if (sf) {
1942 tcg_gen_mov_i64(tcg_rd, tcg_result);
1943 } else {
1944 tcg_gen_ext32u_i64(tcg_rd, tcg_result);
1945 }
1946
1947 tcg_temp_free_i64(tcg_result);
1948 tcg_temp_free_i64(tcg_rm);
1949 tcg_temp_free_i64(tcg_rn);
Claudio Fontanaea5ca532013-12-03 15:12:18 +00001950}
1951
Alex Bennéeffb7dab2013-12-03 10:52:22 +00001952/* C3.5.2 Add/subtract (shifted register)
1953
1954 31 30 29 28 24 23 22 21 20 16 15 10 9 5 4 0
1955 +--+--+--+-----------+-----+--+-------+---------+------+------+
1956 |sf|op| S| 0 1 0 1 1 |shift| 0| Rm | imm6 | Rn | Rd |
1957 +--+--+--+-----------+-----+--+-------+---------+------+------+
1958
1959 sf: 0 -> 32bit, 1 -> 64bit
1960 op: 0 -> add , 1 -> sub
1961 S: 1 -> set flags
1962shift: apply a shift of imm6 to Rm before the add/sub
1963 */
1964static void handle_add_sub_reg(DisasContext *s, uint32_t insn)
Claudio Fontanaea5ca532013-12-03 15:12:18 +00001965{
Alex Bennéeffb7dab2013-12-03 10:52:22 +00001966 int rd = extract32(insn, 0, 5);
1967 int rn = extract32(insn, 5, 5);
1968 int shift_amount = sextract32(insn, 10, 6);
1969 int rm = extract32(insn, 16, 5);
1970 int shift_type = extract32(insn, 22, 2);
1971 bool setflags = extract32(insn, 29, 1);
1972 bool sub_op = extract32(insn, 30, 1);
1973 bool sf = extract32(insn, 31, 1);
1974
1975 TCGv_i64 tcg_rd = cpu_reg(s, rd);
1976 TCGv_i64 tcg_rn = tcg_temp_new_i64();
1977 TCGv_i64 tcg_rm = tcg_temp_new_i64();
1978 TCGv_i64 tcg_result;
1979
1980 read_cpu_reg(s, tcg_rn, rn, sf);
1981 read_cpu_reg(s, tcg_rm, rm, sf);
1982 /* Rm is optionally shifted */
1983 shift_reg_imm(tcg_rm, tcg_rm, sf, shift_type, shift_amount);
1984
1985 tcg_result = tcg_temp_new_i64();
1986
1987 if (!setflags) {
1988 if (sub_op) {
1989 tcg_gen_sub_i64(tcg_result, tcg_rn, tcg_rm);
1990 } else {
1991 tcg_gen_add_i64(tcg_result, tcg_rn, tcg_rm);
1992 }
1993 } else {
1994 if (sub_op) {
1995 gen_sub_CC(sf, tcg_result, tcg_rn, tcg_rm);
1996 } else {
1997 gen_add_CC(sf, tcg_result, tcg_rn, tcg_rm);
1998 }
1999 }
2000
2001 if (sf) {
2002 tcg_gen_mov_i64(tcg_rd, tcg_result);
2003 } else {
2004 tcg_gen_ext32u_i64(tcg_rd, tcg_result);
2005 }
2006
2007 tcg_temp_free_i64(tcg_result);
2008 tcg_temp_free_i64(tcg_rn);
2009 tcg_temp_free_i64(tcg_rm);
Claudio Fontanaea5ca532013-12-03 15:12:18 +00002010}
2011
2012/* Data-processing (3 source) */
2013static void disas_data_proc_3src(DisasContext *s, uint32_t insn)
2014{
2015 unsupported_encoding(s, insn);
2016}
2017
2018/* Add/subtract (with carry) */
2019static void disas_adc_sbc(DisasContext *s, uint32_t insn)
2020{
2021 unsupported_encoding(s, insn);
2022}
2023
2024/* Conditional compare (immediate) */
2025static void disas_cc_imm(DisasContext *s, uint32_t insn)
2026{
2027 unsupported_encoding(s, insn);
2028}
2029
2030/* Conditional compare (register) */
2031static void disas_cc_reg(DisasContext *s, uint32_t insn)
2032{
2033 unsupported_encoding(s, insn);
2034}
2035
Claudio Fontana926f3f32013-12-03 15:12:19 +00002036/* C3.5.6 Conditional select */
Claudio Fontanaea5ca532013-12-03 15:12:18 +00002037static void disas_cond_select(DisasContext *s, uint32_t insn)
2038{
Claudio Fontana926f3f32013-12-03 15:12:19 +00002039 /*
2040 * 31 30 29 28 27 26 25 24 23 22 21 20 16 15 12 11 10 9 5 4 0
2041 * sf op S 1 1 0 1 0 1 0 0 Rm cond op2 Rn Rd
2042 * [0]
2043 * op -> else_inv, op2 -> else_inc
2044 */
2045 unsigned int sf, else_inv, rm, cond, else_inc, rn, rd;
2046 TCGv_i64 tcg_rd;
2047 if (extract32(insn, 21, 9) != 0x0d4 || (insn & (1 << 11))) {
2048 unallocated_encoding(s);
2049 return;
2050 }
2051 sf = (insn & (1 << 31)) ? 1 : 0;
2052 else_inv = extract32(insn, 30, 1);
2053 rm = extract32(insn, 16, 5);
2054 cond = extract32(insn, 12, 4);
2055 else_inc = extract32(insn, 10, 1);
2056 rn = extract32(insn, 5, 5);
2057 rd = extract32(insn, 0, 5);
2058 tcg_rd = cpu_reg(s, rd);
2059
2060 if (cond >= 0x0e) { /* condition "always" */
2061 read_cpu_reg(s, tcg_rd, rn, sf);
2062 } else {
2063 int label_nomatch, label_continue;
2064 label_nomatch = gen_new_label();
2065 label_continue = gen_new_label();
2066
2067 arm_gen_test_cc(cond ^ 1, label_nomatch);
2068 /* match: */
2069 read_cpu_reg(s, tcg_rd, rn, sf);
2070 tcg_gen_br(label_continue);
2071 /* nomatch: */
2072 gen_set_label(label_nomatch);
2073 read_cpu_reg(s, tcg_rd, rm, sf);
2074 if (else_inv) {
2075 tcg_gen_not_i64(tcg_rd, tcg_rd);
2076 }
2077 if (else_inc) {
2078 tcg_gen_addi_i64(tcg_rd, tcg_rd, 1);
2079 }
2080 if (!sf) {
2081 tcg_gen_ext32u_i64(tcg_rd, tcg_rd);
2082 }
2083 /* continue: */
2084 gen_set_label(label_continue);
2085 }
Claudio Fontanaea5ca532013-12-03 15:12:18 +00002086}
2087
Claudio Fontana4d3b1c32013-12-03 15:12:20 +00002088static void handle_clz(DisasContext *s, unsigned int sf,
2089 unsigned int rn, unsigned int rd)
2090{
2091 TCGv_i64 tcg_rd, tcg_rn;
2092 tcg_rd = cpu_reg(s, rd);
2093 tcg_rn = cpu_reg(s, rn);
2094
2095 if (sf) {
2096 gen_helper_clz64(tcg_rd, tcg_rn);
2097 } else {
2098 TCGv_i32 tcg_tmp32 = tcg_temp_new_i32();
2099 tcg_gen_trunc_i64_i32(tcg_tmp32, tcg_rn);
2100 gen_helper_clz(tcg_tmp32, tcg_tmp32);
2101 tcg_gen_extu_i32_i64(tcg_rd, tcg_tmp32);
2102 tcg_temp_free_i32(tcg_tmp32);
2103 }
2104}
2105
Claudio Fontanaded37772013-12-03 15:12:21 +00002106static void handle_cls(DisasContext *s, unsigned int sf,
2107 unsigned int rn, unsigned int rd)
2108{
2109 TCGv_i64 tcg_rd, tcg_rn;
2110 tcg_rd = cpu_reg(s, rd);
2111 tcg_rn = cpu_reg(s, rn);
2112
2113 if (sf) {
2114 gen_helper_cls64(tcg_rd, tcg_rn);
2115 } else {
2116 TCGv_i32 tcg_tmp32 = tcg_temp_new_i32();
2117 tcg_gen_trunc_i64_i32(tcg_tmp32, tcg_rn);
2118 gen_helper_cls32(tcg_tmp32, tcg_tmp32);
2119 tcg_gen_extu_i32_i64(tcg_rd, tcg_tmp32);
2120 tcg_temp_free_i32(tcg_tmp32);
2121 }
2122}
2123
Claudio Fontana071b11d2013-12-03 15:12:20 +00002124static void handle_rbit(DisasContext *s, unsigned int sf,
2125 unsigned int rn, unsigned int rd)
2126{
2127 TCGv_i64 tcg_rd, tcg_rn;
2128 tcg_rd = cpu_reg(s, rd);
2129 tcg_rn = cpu_reg(s, rn);
2130
2131 if (sf) {
2132 gen_helper_rbit64(tcg_rd, tcg_rn);
2133 } else {
2134 TCGv_i32 tcg_tmp32 = tcg_temp_new_i32();
2135 tcg_gen_trunc_i64_i32(tcg_tmp32, tcg_rn);
2136 gen_helper_rbit(tcg_tmp32, tcg_tmp32);
2137 tcg_gen_extu_i32_i64(tcg_rd, tcg_tmp32);
2138 tcg_temp_free_i32(tcg_tmp32);
2139 }
2140}
2141
Claudio Fontanacdd4f722013-12-03 15:12:20 +00002142/* C5.6.149 REV with sf==1, opcode==3 ("REV64") */
2143static void handle_rev64(DisasContext *s, unsigned int sf,
2144 unsigned int rn, unsigned int rd)
2145{
2146 if (!sf) {
2147 unallocated_encoding(s);
2148 return;
2149 }
2150 tcg_gen_bswap64_i64(cpu_reg(s, rd), cpu_reg(s, rn));
2151}
2152
2153/* C5.6.149 REV with sf==0, opcode==2 */
2154/* C5.6.151 REV32 (sf==1, opcode==2) */
2155static void handle_rev32(DisasContext *s, unsigned int sf,
2156 unsigned int rn, unsigned int rd)
2157{
2158 TCGv_i64 tcg_rd, tcg_rn;
2159 tcg_rd = cpu_reg(s, rd);
2160 tcg_rn = cpu_reg(s, rn);
2161
2162 if (sf) {
2163 TCGv_i64 tcg_tmp = tcg_temp_new_i64();
2164 tcg_gen_andi_i64(tcg_tmp, tcg_rn, 0xffffffff);
2165 tcg_gen_bswap32_i64(tcg_rd, tcg_tmp);
2166 tcg_gen_shri_i64(tcg_tmp, tcg_rn, 32);
2167 tcg_gen_bswap32_i64(tcg_tmp, tcg_tmp);
2168 tcg_gen_deposit_i64(tcg_rd, tcg_rd, tcg_tmp, 32, 32);
2169 tcg_temp_free_i64(tcg_tmp);
2170 } else {
2171 tcg_gen_ext32u_i64(tcg_rd, tcg_rn);
2172 tcg_gen_bswap32_i64(tcg_rd, tcg_rd);
2173 }
2174}
2175
2176/* C5.6.150 REV16 (opcode==1) */
2177static void handle_rev16(DisasContext *s, unsigned int sf,
2178 unsigned int rn, unsigned int rd)
2179{
2180 TCGv_i64 tcg_rd, tcg_rn, tcg_tmp;
2181 tcg_rd = cpu_reg(s, rd);
2182 tcg_rn = cpu_reg(s, rn);
2183
2184 tcg_tmp = tcg_temp_new_i64();
2185 tcg_gen_andi_i64(tcg_tmp, tcg_rn, 0xffff);
2186 tcg_gen_bswap16_i64(tcg_rd, tcg_tmp);
2187
2188 tcg_gen_shri_i64(tcg_tmp, tcg_rn, 16);
2189 tcg_gen_andi_i64(tcg_tmp, tcg_tmp, 0xffff);
2190 tcg_gen_bswap16_i64(tcg_tmp, tcg_tmp);
2191 tcg_gen_deposit_i64(tcg_rd, tcg_rd, tcg_tmp, 16, 16);
2192
2193 if (!sf) { /* done */
2194 tcg_temp_free_i64(tcg_tmp);
2195 return;
2196 }
2197
2198 tcg_gen_shri_i64(tcg_tmp, tcg_rn, 32);
2199 tcg_gen_andi_i64(tcg_tmp, tcg_tmp, 0xffff);
2200 tcg_gen_bswap16_i64(tcg_tmp, tcg_tmp);
2201 tcg_gen_deposit_i64(tcg_rd, tcg_rd, tcg_tmp, 32, 16);
2202
2203 tcg_gen_shri_i64(tcg_tmp, tcg_rn, 48);
2204 tcg_gen_bswap16_i64(tcg_tmp, tcg_tmp);
2205 tcg_gen_deposit_i64(tcg_rd, tcg_rd, tcg_tmp, 48, 16);
2206
2207 tcg_temp_free_i64(tcg_tmp);
2208}
2209
Claudio Fontana4d3b1c32013-12-03 15:12:20 +00002210/* C3.5.7 Data-processing (1 source) */
Claudio Fontanaea5ca532013-12-03 15:12:18 +00002211static void disas_data_proc_1src(DisasContext *s, uint32_t insn)
2212{
Claudio Fontana4d3b1c32013-12-03 15:12:20 +00002213 /*
2214 * 31 30 29 28 27 26 25 24 23 22 21 20 16 15 10 9 5 4 0
2215 * sf 1 S 1 1 0 1 0 1 1 0 opcode2 opcode Rn Rd
2216 * [0] [0 0 0 0 0]
2217 */
2218 unsigned int sf, opcode, rn, rd;
2219 if (extract32(insn, 16, 15) != 0x5ac0) {
2220 unallocated_encoding(s);
2221 return;
2222 }
2223 sf = insn & (1 << 31) ? 1 : 0;
2224 opcode = extract32(insn, 10, 6);
2225 rn = extract32(insn, 5, 5);
2226 rd = extract32(insn, 0, 5);
2227
2228 switch (opcode) {
2229 case 0: /* RBIT */
Claudio Fontana071b11d2013-12-03 15:12:20 +00002230 handle_rbit(s, sf, rn, rd);
2231 break;
Claudio Fontana4d3b1c32013-12-03 15:12:20 +00002232 case 1: /* REV16 */
Claudio Fontanacdd4f722013-12-03 15:12:20 +00002233 handle_rev16(s, sf, rn, rd);
2234 break;
Claudio Fontana4d3b1c32013-12-03 15:12:20 +00002235 case 2: /* REV32 */
Claudio Fontanacdd4f722013-12-03 15:12:20 +00002236 handle_rev32(s, sf, rn, rd);
2237 break;
Claudio Fontana4d3b1c32013-12-03 15:12:20 +00002238 case 3: /* REV64 */
Claudio Fontanacdd4f722013-12-03 15:12:20 +00002239 handle_rev64(s, sf, rn, rd);
Claudio Fontana4d3b1c32013-12-03 15:12:20 +00002240 break;
2241 case 4: /* CLZ */
2242 handle_clz(s, sf, rn, rd);
2243 break;
2244 case 5: /* CLS */
Claudio Fontanaded37772013-12-03 15:12:21 +00002245 handle_cls(s, sf, rn, rd);
Claudio Fontana4d3b1c32013-12-03 15:12:20 +00002246 break;
2247 }
Claudio Fontanaea5ca532013-12-03 15:12:18 +00002248}
2249
Claudio Fontana11861fc2013-12-03 15:12:20 +00002250static void handle_div(DisasContext *s, bool is_signed, unsigned int sf,
2251 unsigned int rm, unsigned int rn, unsigned int rd)
2252{
2253 TCGv_i64 tcg_n, tcg_m, tcg_rd;
2254 tcg_n = tcg_temp_new_i64();
2255 tcg_m = tcg_temp_new_i64();
2256 tcg_rd = cpu_reg(s, rd);
2257
2258 if (!sf && is_signed) {
2259 tcg_gen_ext32s_i64(tcg_n, cpu_reg(s, rn));
2260 tcg_gen_ext32s_i64(tcg_m, cpu_reg(s, rm));
2261 } else {
2262 read_cpu_reg(s, tcg_n, rn, sf);
2263 read_cpu_reg(s, tcg_m, rm, sf);
2264 }
2265
2266 if (is_signed) {
2267 gen_helper_sdiv64(tcg_rd, tcg_n, tcg_m);
2268 } else {
2269 gen_helper_udiv64(tcg_rd, tcg_n, tcg_m);
2270 }
2271
2272 tcg_temp_free_i64(tcg_n);
2273 tcg_temp_free_i64(tcg_m);
2274
2275 if (!sf) { /* zero extend final result */
2276 tcg_gen_ext32u_i64(tcg_rd, tcg_rd);
2277 }
2278}
2279
Claudio Fontanae03cad52013-12-03 15:12:20 +00002280/* C5.6.115 LSLV, C5.6.118 LSRV, C5.6.17 ASRV, C5.6.154 RORV */
2281static void handle_shift_reg(DisasContext *s,
2282 enum a64_shift_type shift_type, unsigned int sf,
2283 unsigned int rm, unsigned int rn, unsigned int rd)
2284{
2285 TCGv_i64 tcg_shift = tcg_temp_new_i64();
2286 tcg_gen_andi_i64(tcg_shift, cpu_reg(s, rm), sf ? 63 : 31);
2287 shift_reg(cpu_reg(s, rd), cpu_reg(s, rn), sf, shift_type, tcg_shift);
2288 tcg_temp_free_i64(tcg_shift);
2289}
2290
Claudio Fontana11861fc2013-12-03 15:12:20 +00002291/* C3.5.8 Data-processing (2 source) */
Claudio Fontanaea5ca532013-12-03 15:12:18 +00002292static void disas_data_proc_2src(DisasContext *s, uint32_t insn)
2293{
Claudio Fontana11861fc2013-12-03 15:12:20 +00002294 /*
2295 * 31 30 29 28 27 26 25 24 23 22 21 20 16 15 10 9 5 4 0
2296 * sf 0 S 1 1 0 1 0 1 1 0 Rm opcode Rn Rd
2297 * [0]
2298 */
2299 unsigned int sf, rm, opcode, rn, rd;
2300 sf = insn & (1 << 31) ? 1 : 0;
2301 rm = extract32(insn, 16, 5);
2302 opcode = extract32(insn, 10, 6);
2303 rn = extract32(insn, 5, 5);
2304 rd = extract32(insn, 0, 5);
2305
2306 if (extract32(insn, 21, 10) != 0x0d6) {
2307 unallocated_encoding(s);
2308 return;
2309 }
2310
2311 switch (opcode) {
2312 case 2: /* UDIV */
2313 handle_div(s, FALSE, sf, rm, rn, rd);
2314 break;
2315 case 3: /* SDIV */
2316 handle_div(s, TRUE, sf, rm, rn, rd);
2317 break;
2318 case 8: /* LSLV */
Claudio Fontanae03cad52013-12-03 15:12:20 +00002319 handle_shift_reg(s, A64_SHIFT_TYPE_LSL, sf, rm, rn, rd);
2320 break;
Claudio Fontana11861fc2013-12-03 15:12:20 +00002321 case 9: /* LSRV */
Claudio Fontanae03cad52013-12-03 15:12:20 +00002322 handle_shift_reg(s, A64_SHIFT_TYPE_LSR, sf, rm, rn, rd);
2323 break;
Claudio Fontana11861fc2013-12-03 15:12:20 +00002324 case 10: /* ASRV */
Claudio Fontanae03cad52013-12-03 15:12:20 +00002325 handle_shift_reg(s, A64_SHIFT_TYPE_ASR, sf, rm, rn, rd);
2326 break;
Claudio Fontana11861fc2013-12-03 15:12:20 +00002327 case 11: /* RORV */
Claudio Fontanae03cad52013-12-03 15:12:20 +00002328 handle_shift_reg(s, A64_SHIFT_TYPE_ROR, sf, rm, rn, rd);
2329 break;
Claudio Fontana11861fc2013-12-03 15:12:20 +00002330 case 16:
2331 case 17:
2332 case 18:
2333 case 19:
2334 case 20:
2335 case 21:
2336 case 22:
2337 case 23: /* CRC32 */
2338 unsupported_encoding(s, insn);
2339 break;
2340 default:
2341 unallocated_encoding(s);
2342 break;
2343 }
Claudio Fontanaea5ca532013-12-03 15:12:18 +00002344}
2345
2346/* C3.5 Data processing - register */
2347static void disas_data_proc_reg(DisasContext *s, uint32_t insn)
2348{
2349 switch (extract32(insn, 24, 5)) {
2350 case 0x0a: /* Logical (shifted register) */
2351 disas_logic_reg(s, insn);
2352 break;
2353 case 0x0b: /* Add/subtract */
2354 if (insn & (1 << 21)) { /* (extended register) */
Alex Bennéeffb7dab2013-12-03 10:52:22 +00002355 handle_add_sub_ext_reg(s, insn);
Claudio Fontanaea5ca532013-12-03 15:12:18 +00002356 } else {
Alex Bennéeffb7dab2013-12-03 10:52:22 +00002357 handle_add_sub_reg(s, insn);
Claudio Fontanaea5ca532013-12-03 15:12:18 +00002358 }
2359 break;
2360 case 0x1b: /* Data-processing (3 source) */
2361 disas_data_proc_3src(s, insn);
2362 break;
2363 case 0x1a:
2364 switch (extract32(insn, 21, 3)) {
2365 case 0x0: /* Add/subtract (with carry) */
2366 disas_adc_sbc(s, insn);
2367 break;
2368 case 0x2: /* Conditional compare */
2369 if (insn & (1 << 11)) { /* (immediate) */
2370 disas_cc_imm(s, insn);
2371 } else { /* (register) */
2372 disas_cc_reg(s, insn);
2373 }
2374 break;
2375 case 0x4: /* Conditional select */
2376 disas_cond_select(s, insn);
2377 break;
2378 case 0x6: /* Data-processing */
2379 if (insn & (1 << 30)) { /* (1 source) */
2380 disas_data_proc_1src(s, insn);
2381 } else { /* (2 source) */
2382 disas_data_proc_2src(s, insn);
2383 }
2384 break;
2385 default:
2386 unallocated_encoding(s);
2387 break;
2388 }
2389 break;
2390 default:
2391 unallocated_encoding(s);
2392 break;
2393 }
2394}
2395
2396/* C3.6 Data processing - SIMD and floating point */
2397static void disas_data_proc_simd_fp(DisasContext *s, uint32_t insn)
2398{
2399 unsupported_encoding(s, insn);
2400}
2401
2402/* C3.1 A64 instruction index by encoding */
Peter Maydell089a8d92013-12-03 15:26:18 +00002403static void disas_a64_insn(CPUARMState *env, DisasContext *s)
Alexander Graf14ade102013-09-03 20:12:10 +01002404{
2405 uint32_t insn;
2406
2407 insn = arm_ldl_code(env, s->pc, s->bswap_code);
2408 s->insn = insn;
2409 s->pc += 4;
2410
Claudio Fontanaea5ca532013-12-03 15:12:18 +00002411 switch (extract32(insn, 25, 4)) {
2412 case 0x0: case 0x1: case 0x2: case 0x3: /* UNALLOCATED */
Alexander Graf14ade102013-09-03 20:12:10 +01002413 unallocated_encoding(s);
2414 break;
Claudio Fontanaea5ca532013-12-03 15:12:18 +00002415 case 0x8: case 0x9: /* Data processing - immediate */
2416 disas_data_proc_imm(s, insn);
2417 break;
2418 case 0xa: case 0xb: /* Branch, exception generation and system insns */
2419 disas_b_exc_sys(s, insn);
2420 break;
2421 case 0x4:
2422 case 0x6:
2423 case 0xc:
2424 case 0xe: /* Loads and stores */
2425 disas_ldst(s, insn);
2426 break;
2427 case 0x5:
2428 case 0xd: /* Data processing - register */
2429 disas_data_proc_reg(s, insn);
2430 break;
2431 case 0x7:
2432 case 0xf: /* Data processing - SIMD and floating point */
2433 disas_data_proc_simd_fp(s, insn);
2434 break;
2435 default:
2436 assert(FALSE); /* all 15 cases should be handled above */
2437 break;
Alexander Graf14ade102013-09-03 20:12:10 +01002438 }
Alexander Grafeeed5002013-12-03 15:12:18 +00002439
2440 /* if we allocated any temporaries, free them here */
2441 free_tmp_a64(s);
Peter Maydell089a8d92013-12-03 15:26:18 +00002442}
Alexander Graf14ade102013-09-03 20:12:10 +01002443
Peter Maydell089a8d92013-12-03 15:26:18 +00002444void gen_intermediate_code_internal_a64(ARMCPU *cpu,
2445 TranslationBlock *tb,
2446 bool search_pc)
2447{
2448 CPUState *cs = CPU(cpu);
2449 CPUARMState *env = &cpu->env;
2450 DisasContext dc1, *dc = &dc1;
2451 CPUBreakpoint *bp;
2452 uint16_t *gen_opc_end;
2453 int j, lj;
2454 target_ulong pc_start;
2455 target_ulong next_page_start;
2456 int num_insns;
2457 int max_insns;
2458
2459 pc_start = tb->pc;
2460
2461 dc->tb = tb;
2462
2463 gen_opc_end = tcg_ctx.gen_opc_buf + OPC_MAX_SIZE;
2464
2465 dc->is_jmp = DISAS_NEXT;
2466 dc->pc = pc_start;
2467 dc->singlestep_enabled = cs->singlestep_enabled;
2468 dc->condjmp = 0;
2469
2470 dc->aarch64 = 1;
Alexander Grafeeed5002013-12-03 15:12:18 +00002471 dc->tmp_a64_count = 0;
Peter Maydell089a8d92013-12-03 15:26:18 +00002472 dc->thumb = 0;
2473 dc->bswap_code = 0;
2474 dc->condexec_mask = 0;
2475 dc->condexec_cond = 0;
2476#if !defined(CONFIG_USER_ONLY)
2477 dc->user = 0;
2478#endif
2479 dc->vfp_enabled = 0;
2480 dc->vec_len = 0;
2481 dc->vec_stride = 0;
2482
2483 next_page_start = (pc_start & TARGET_PAGE_MASK) + TARGET_PAGE_SIZE;
2484 lj = -1;
2485 num_insns = 0;
2486 max_insns = tb->cflags & CF_COUNT_MASK;
2487 if (max_insns == 0) {
2488 max_insns = CF_COUNT_MASK;
2489 }
2490
2491 gen_tb_start();
2492
2493 tcg_clear_temp_count();
2494
2495 do {
2496 if (unlikely(!QTAILQ_EMPTY(&env->breakpoints))) {
2497 QTAILQ_FOREACH(bp, &env->breakpoints, entry) {
2498 if (bp->pc == dc->pc) {
2499 gen_exception_insn(dc, 0, EXCP_DEBUG);
2500 /* Advance PC so that clearing the breakpoint will
2501 invalidate this TB. */
2502 dc->pc += 2;
2503 goto done_generating;
2504 }
2505 }
2506 }
2507
2508 if (search_pc) {
2509 j = tcg_ctx.gen_opc_ptr - tcg_ctx.gen_opc_buf;
2510 if (lj < j) {
2511 lj++;
2512 while (lj < j) {
2513 tcg_ctx.gen_opc_instr_start[lj++] = 0;
2514 }
2515 }
2516 tcg_ctx.gen_opc_pc[lj] = dc->pc;
2517 tcg_ctx.gen_opc_instr_start[lj] = 1;
2518 tcg_ctx.gen_opc_icount[lj] = num_insns;
2519 }
2520
2521 if (num_insns + 1 == max_insns && (tb->cflags & CF_LAST_IO)) {
2522 gen_io_start();
2523 }
2524
2525 if (unlikely(qemu_loglevel_mask(CPU_LOG_TB_OP | CPU_LOG_TB_OP_OPT))) {
2526 tcg_gen_debug_insn_start(dc->pc);
2527 }
2528
2529 disas_a64_insn(env, dc);
2530
2531 if (tcg_check_temp_count()) {
2532 fprintf(stderr, "TCG temporary leak before "TARGET_FMT_lx"\n",
2533 dc->pc);
2534 }
2535
2536 /* Translation stops when a conditional branch is encountered.
2537 * Otherwise the subsequent code could get translated several times.
2538 * Also stop translation when a page boundary is reached. This
2539 * ensures prefetch aborts occur at the right place.
2540 */
2541 num_insns++;
2542 } while (!dc->is_jmp && tcg_ctx.gen_opc_ptr < gen_opc_end &&
2543 !cs->singlestep_enabled &&
2544 !singlestep &&
2545 dc->pc < next_page_start &&
2546 num_insns < max_insns);
2547
2548 if (tb->cflags & CF_LAST_IO) {
2549 gen_io_end();
2550 }
2551
2552 if (unlikely(cs->singlestep_enabled) && dc->is_jmp != DISAS_EXC) {
2553 /* Note that this means single stepping WFI doesn't halt the CPU.
2554 * For conditional branch insns this is harmless unreachable code as
2555 * gen_goto_tb() has already handled emitting the debug exception
2556 * (and thus a tb-jump is not possible when singlestepping).
2557 */
2558 assert(dc->is_jmp != DISAS_TB_JUMP);
2559 if (dc->is_jmp != DISAS_JUMP) {
2560 gen_a64_set_pc_im(dc->pc);
2561 }
2562 gen_exception(EXCP_DEBUG);
2563 } else {
2564 switch (dc->is_jmp) {
2565 case DISAS_NEXT:
2566 gen_goto_tb(dc, 1, dc->pc);
2567 break;
2568 default:
2569 case DISAS_JUMP:
2570 case DISAS_UPDATE:
2571 /* indicate that the hash table must be used to find the next TB */
2572 tcg_gen_exit_tb(0);
2573 break;
2574 case DISAS_TB_JUMP:
2575 case DISAS_EXC:
2576 case DISAS_SWI:
2577 break;
2578 case DISAS_WFI:
2579 /* This is a special case because we don't want to just halt the CPU
2580 * if trying to debug across a WFI.
2581 */
2582 gen_helper_wfi(cpu_env);
2583 break;
2584 }
2585 }
2586
2587done_generating:
2588 gen_tb_end(tb, num_insns);
2589 *tcg_ctx.gen_opc_ptr = INDEX_op_end;
2590
2591#ifdef DEBUG_DISAS
2592 if (qemu_loglevel_mask(CPU_LOG_TB_IN_ASM)) {
2593 qemu_log("----------------\n");
2594 qemu_log("IN: %s\n", lookup_symbol(pc_start));
2595 log_target_disas(env, pc_start, dc->pc - pc_start,
2596 dc->thumb | (dc->bswap_code << 1));
2597 qemu_log("\n");
2598 }
2599#endif
2600 if (search_pc) {
2601 j = tcg_ctx.gen_opc_ptr - tcg_ctx.gen_opc_buf;
2602 lj++;
2603 while (lj <= j) {
2604 tcg_ctx.gen_opc_instr_start[lj++] = 0;
2605 }
2606 } else {
2607 tb->size = dc->pc - pc_start;
2608 tb->icount = num_insns;
Alexander Graf14ade102013-09-03 20:12:10 +01002609 }
2610}