2 * Alpha emulation cpu translation for qemu.
4 * Copyright (c) 2007 Jocelyn Mayer
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.
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.
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/>.
22 #include "host-utils.h"
29 #undef ALPHA_DEBUG_DISAS
30 #define CONFIG_SOFTFLOAT_INLINE
32 #ifdef ALPHA_DEBUG_DISAS
33 # define LOG_DISAS(...) qemu_log_mask(CPU_LOG_TB_IN_ASM, ## __VA_ARGS__)
35 # define LOG_DISAS(...) do { } while (0)
38 typedef struct DisasContext DisasContext
;
40 struct TranslationBlock
*tb
;
45 /* Current rounding mode for this TB. */
47 /* Current flush-to-zero setting for this TB. */
51 /* Return values from translate_one, indicating the state of the TB.
52 Note that zero indicates that we are not exiting the TB. */
57 /* We have emitted one or more goto_tb. No fixup required. */
60 /* We are not using a goto_tb (for whatever reason), but have updated
61 the PC (for whatever reason), so there's no need to do it again on
65 /* We are exiting the TB, but have neither emitted a goto_tb, nor
66 updated the PC for the next instruction to be executed. */
69 /* We are ending the TB with a noreturn function call, e.g. longjmp.
70 No following code will be executed. */
74 /* global register indexes */
75 static TCGv_ptr cpu_env
;
76 static TCGv cpu_ir
[31];
77 static TCGv cpu_fir
[31];
79 static TCGv cpu_lock_addr
;
80 static TCGv cpu_lock_st_addr
;
81 static TCGv cpu_lock_value
;
82 static TCGv cpu_unique
;
83 #ifndef CONFIG_USER_ONLY
84 static TCGv cpu_sysval
;
89 static char cpu_reg_names
[10*4+21*5 + 10*5+21*6];
91 #include "gen-icount.h"
93 static void alpha_translate_init(void)
97 static int done_init
= 0;
102 cpu_env
= tcg_global_reg_new_ptr(TCG_AREG0
, "env");
105 for (i
= 0; i
< 31; i
++) {
106 sprintf(p
, "ir%d", i
);
107 cpu_ir
[i
] = tcg_global_mem_new_i64(TCG_AREG0
,
108 offsetof(CPUAlphaState
, ir
[i
]), p
);
109 p
+= (i
< 10) ? 4 : 5;
111 sprintf(p
, "fir%d", i
);
112 cpu_fir
[i
] = tcg_global_mem_new_i64(TCG_AREG0
,
113 offsetof(CPUAlphaState
, fir
[i
]), p
);
114 p
+= (i
< 10) ? 5 : 6;
117 cpu_pc
= tcg_global_mem_new_i64(TCG_AREG0
,
118 offsetof(CPUAlphaState
, pc
), "pc");
120 cpu_lock_addr
= tcg_global_mem_new_i64(TCG_AREG0
,
121 offsetof(CPUAlphaState
, lock_addr
),
123 cpu_lock_st_addr
= tcg_global_mem_new_i64(TCG_AREG0
,
124 offsetof(CPUAlphaState
, lock_st_addr
),
126 cpu_lock_value
= tcg_global_mem_new_i64(TCG_AREG0
,
127 offsetof(CPUAlphaState
, lock_value
),
130 cpu_unique
= tcg_global_mem_new_i64(TCG_AREG0
,
131 offsetof(CPUAlphaState
, unique
), "unique");
132 #ifndef CONFIG_USER_ONLY
133 cpu_sysval
= tcg_global_mem_new_i64(TCG_AREG0
,
134 offsetof(CPUAlphaState
, sysval
), "sysval");
135 cpu_usp
= tcg_global_mem_new_i64(TCG_AREG0
,
136 offsetof(CPUAlphaState
, usp
), "usp");
139 /* register helpers */
146 static void gen_excp_1(int exception
, int error_code
)
150 tmp1
= tcg_const_i32(exception
);
151 tmp2
= tcg_const_i32(error_code
);
152 gen_helper_excp(cpu_env
, tmp1
, tmp2
);
153 tcg_temp_free_i32(tmp2
);
154 tcg_temp_free_i32(tmp1
);
157 static ExitStatus
gen_excp(DisasContext
*ctx
, int exception
, int error_code
)
159 tcg_gen_movi_i64(cpu_pc
, ctx
->pc
);
160 gen_excp_1(exception
, error_code
);
161 return EXIT_NORETURN
;
164 static inline ExitStatus
gen_invalid(DisasContext
*ctx
)
166 return gen_excp(ctx
, EXCP_OPCDEC
, 0);
169 static inline void gen_qemu_ldf(TCGv t0
, TCGv t1
, int flags
)
171 TCGv tmp
= tcg_temp_new();
172 TCGv_i32 tmp32
= tcg_temp_new_i32();
173 tcg_gen_qemu_ld32u(tmp
, t1
, flags
);
174 tcg_gen_trunc_i64_i32(tmp32
, tmp
);
175 gen_helper_memory_to_f(t0
, tmp32
);
176 tcg_temp_free_i32(tmp32
);
180 static inline void gen_qemu_ldg(TCGv t0
, TCGv t1
, int flags
)
182 TCGv tmp
= tcg_temp_new();
183 tcg_gen_qemu_ld64(tmp
, t1
, flags
);
184 gen_helper_memory_to_g(t0
, tmp
);
188 static inline void gen_qemu_lds(TCGv t0
, TCGv t1
, int flags
)
190 TCGv tmp
= tcg_temp_new();
191 TCGv_i32 tmp32
= tcg_temp_new_i32();
192 tcg_gen_qemu_ld32u(tmp
, t1
, flags
);
193 tcg_gen_trunc_i64_i32(tmp32
, tmp
);
194 gen_helper_memory_to_s(t0
, tmp32
);
195 tcg_temp_free_i32(tmp32
);
199 static inline void gen_qemu_ldl_l(TCGv t0
, TCGv t1
, int flags
)
201 tcg_gen_qemu_ld32s(t0
, t1
, flags
);
202 tcg_gen_mov_i64(cpu_lock_addr
, t1
);
203 tcg_gen_mov_i64(cpu_lock_value
, t0
);
206 static inline void gen_qemu_ldq_l(TCGv t0
, TCGv t1
, int flags
)
208 tcg_gen_qemu_ld64(t0
, t1
, flags
);
209 tcg_gen_mov_i64(cpu_lock_addr
, t1
);
210 tcg_gen_mov_i64(cpu_lock_value
, t0
);
213 static inline void gen_load_mem(DisasContext
*ctx
,
214 void (*tcg_gen_qemu_load
)(TCGv t0
, TCGv t1
,
216 int ra
, int rb
, int32_t disp16
, int fp
,
221 /* LDQ_U with ra $31 is UNOP. Other various loads are forms of
222 prefetches, which we can treat as nops. No worries about
223 missed exceptions here. */
224 if (unlikely(ra
== 31)) {
228 addr
= tcg_temp_new();
230 tcg_gen_addi_i64(addr
, cpu_ir
[rb
], disp16
);
232 tcg_gen_andi_i64(addr
, addr
, ~0x7);
238 tcg_gen_movi_i64(addr
, disp16
);
241 va
= (fp
? cpu_fir
[ra
] : cpu_ir
[ra
]);
242 tcg_gen_qemu_load(va
, addr
, ctx
->mem_idx
);
247 static inline void gen_qemu_stf(TCGv t0
, TCGv t1
, int flags
)
249 TCGv_i32 tmp32
= tcg_temp_new_i32();
250 TCGv tmp
= tcg_temp_new();
251 gen_helper_f_to_memory(tmp32
, t0
);
252 tcg_gen_extu_i32_i64(tmp
, tmp32
);
253 tcg_gen_qemu_st32(tmp
, t1
, flags
);
255 tcg_temp_free_i32(tmp32
);
258 static inline void gen_qemu_stg(TCGv t0
, TCGv t1
, int flags
)
260 TCGv tmp
= tcg_temp_new();
261 gen_helper_g_to_memory(tmp
, t0
);
262 tcg_gen_qemu_st64(tmp
, t1
, flags
);
266 static inline void gen_qemu_sts(TCGv t0
, TCGv t1
, int flags
)
268 TCGv_i32 tmp32
= tcg_temp_new_i32();
269 TCGv tmp
= tcg_temp_new();
270 gen_helper_s_to_memory(tmp32
, t0
);
271 tcg_gen_extu_i32_i64(tmp
, tmp32
);
272 tcg_gen_qemu_st32(tmp
, t1
, flags
);
274 tcg_temp_free_i32(tmp32
);
277 static inline void gen_store_mem(DisasContext
*ctx
,
278 void (*tcg_gen_qemu_store
)(TCGv t0
, TCGv t1
,
280 int ra
, int rb
, int32_t disp16
, int fp
,
285 addr
= tcg_temp_new();
287 tcg_gen_addi_i64(addr
, cpu_ir
[rb
], disp16
);
289 tcg_gen_andi_i64(addr
, addr
, ~0x7);
295 tcg_gen_movi_i64(addr
, disp16
);
299 va
= tcg_const_i64(0);
301 va
= (fp
? cpu_fir
[ra
] : cpu_ir
[ra
]);
303 tcg_gen_qemu_store(va
, addr
, ctx
->mem_idx
);
311 static ExitStatus
gen_store_conditional(DisasContext
*ctx
, int ra
, int rb
,
312 int32_t disp16
, int quad
)
317 /* ??? Don't bother storing anything. The user can't tell
318 the difference, since the zero register always reads zero. */
322 #if defined(CONFIG_USER_ONLY)
323 addr
= cpu_lock_st_addr
;
325 addr
= tcg_temp_local_new();
329 tcg_gen_addi_i64(addr
, cpu_ir
[rb
], disp16
);
331 tcg_gen_movi_i64(addr
, disp16
);
334 #if defined(CONFIG_USER_ONLY)
335 /* ??? This is handled via a complicated version of compare-and-swap
336 in the cpu_loop. Hopefully one day we'll have a real CAS opcode
337 in TCG so that this isn't necessary. */
338 return gen_excp(ctx
, quad
? EXCP_STQ_C
: EXCP_STL_C
, ra
);
340 /* ??? In system mode we are never multi-threaded, so CAS can be
341 implemented via a non-atomic load-compare-store sequence. */
343 int lab_fail
, lab_done
;
346 lab_fail
= gen_new_label();
347 lab_done
= gen_new_label();
348 tcg_gen_brcond_i64(TCG_COND_NE
, addr
, cpu_lock_addr
, lab_fail
);
350 val
= tcg_temp_new();
352 tcg_gen_qemu_ld64(val
, addr
, ctx
->mem_idx
);
354 tcg_gen_qemu_ld32s(val
, addr
, ctx
->mem_idx
);
356 tcg_gen_brcond_i64(TCG_COND_NE
, val
, cpu_lock_value
, lab_fail
);
359 tcg_gen_qemu_st64(cpu_ir
[ra
], addr
, ctx
->mem_idx
);
361 tcg_gen_qemu_st32(cpu_ir
[ra
], addr
, ctx
->mem_idx
);
363 tcg_gen_movi_i64(cpu_ir
[ra
], 1);
364 tcg_gen_br(lab_done
);
366 gen_set_label(lab_fail
);
367 tcg_gen_movi_i64(cpu_ir
[ra
], 0);
369 gen_set_label(lab_done
);
370 tcg_gen_movi_i64(cpu_lock_addr
, -1);
378 static int use_goto_tb(DisasContext
*ctx
, uint64_t dest
)
380 /* Check for the dest on the same page as the start of the TB. We
381 also want to suppress goto_tb in the case of single-steping and IO. */
382 return (((ctx
->tb
->pc
^ dest
) & TARGET_PAGE_MASK
) == 0
383 && !ctx
->env
->singlestep_enabled
384 && !(ctx
->tb
->cflags
& CF_LAST_IO
));
387 static ExitStatus
gen_bdirect(DisasContext
*ctx
, int ra
, int32_t disp
)
389 uint64_t dest
= ctx
->pc
+ (disp
<< 2);
392 tcg_gen_movi_i64(cpu_ir
[ra
], ctx
->pc
);
395 /* Notice branch-to-next; used to initialize RA with the PC. */
398 } else if (use_goto_tb(ctx
, dest
)) {
400 tcg_gen_movi_i64(cpu_pc
, dest
);
401 tcg_gen_exit_tb((tcg_target_long
)ctx
->tb
);
404 tcg_gen_movi_i64(cpu_pc
, dest
);
405 return EXIT_PC_UPDATED
;
409 static ExitStatus
gen_bcond_internal(DisasContext
*ctx
, TCGCond cond
,
410 TCGv cmp
, int32_t disp
)
412 uint64_t dest
= ctx
->pc
+ (disp
<< 2);
413 int lab_true
= gen_new_label();
415 if (use_goto_tb(ctx
, dest
)) {
416 tcg_gen_brcondi_i64(cond
, cmp
, 0, lab_true
);
419 tcg_gen_movi_i64(cpu_pc
, ctx
->pc
);
420 tcg_gen_exit_tb((tcg_target_long
)ctx
->tb
);
422 gen_set_label(lab_true
);
424 tcg_gen_movi_i64(cpu_pc
, dest
);
425 tcg_gen_exit_tb((tcg_target_long
)ctx
->tb
+ 1);
429 TCGv_i64 z
= tcg_const_i64(0);
430 TCGv_i64 d
= tcg_const_i64(dest
);
431 TCGv_i64 p
= tcg_const_i64(ctx
->pc
);
433 tcg_gen_movcond_i64(cond
, cpu_pc
, cmp
, z
, d
, p
);
435 tcg_temp_free_i64(z
);
436 tcg_temp_free_i64(d
);
437 tcg_temp_free_i64(p
);
438 return EXIT_PC_UPDATED
;
442 static ExitStatus
gen_bcond(DisasContext
*ctx
, TCGCond cond
, int ra
,
443 int32_t disp
, int mask
)
447 if (unlikely(ra
== 31)) {
448 cmp_tmp
= tcg_const_i64(0);
450 cmp_tmp
= tcg_temp_new();
452 tcg_gen_andi_i64(cmp_tmp
, cpu_ir
[ra
], 1);
454 tcg_gen_mov_i64(cmp_tmp
, cpu_ir
[ra
]);
458 return gen_bcond_internal(ctx
, cond
, cmp_tmp
, disp
);
461 /* Fold -0.0 for comparison with COND. */
463 static void gen_fold_mzero(TCGCond cond
, TCGv dest
, TCGv src
)
465 uint64_t mzero
= 1ull << 63;
470 /* For <= or >, the -0.0 value directly compares the way we want. */
471 tcg_gen_mov_i64(dest
, src
);
476 /* For == or !=, we can simply mask off the sign bit and compare. */
477 tcg_gen_andi_i64(dest
, src
, mzero
- 1);
482 /* For >= or <, map -0.0 to +0.0 via comparison and mask. */
483 tcg_gen_setcondi_i64(TCG_COND_NE
, dest
, src
, mzero
);
484 tcg_gen_neg_i64(dest
, dest
);
485 tcg_gen_and_i64(dest
, dest
, src
);
493 static ExitStatus
gen_fbcond(DisasContext
*ctx
, TCGCond cond
, int ra
,
498 if (unlikely(ra
== 31)) {
499 /* Very uncommon case, but easier to optimize it to an integer
500 comparison than continuing with the floating point comparison. */
501 return gen_bcond(ctx
, cond
, ra
, disp
, 0);
504 cmp_tmp
= tcg_temp_new();
505 gen_fold_mzero(cond
, cmp_tmp
, cpu_fir
[ra
]);
506 return gen_bcond_internal(ctx
, cond
, cmp_tmp
, disp
);
509 static void gen_cmov(TCGCond cond
, int ra
, int rb
, int rc
,
510 int islit
, uint8_t lit
, int mask
)
514 if (unlikely(rc
== 31)) {
519 /* Very uncommon case - Do not bother to optimize. */
520 c1
= tcg_const_i64(0);
522 c1
= tcg_const_i64(1);
523 tcg_gen_and_i64(c1
, c1
, cpu_ir
[ra
]);
528 v1
= tcg_const_i64(lit
);
532 z
= tcg_const_i64(0);
534 tcg_gen_movcond_i64(cond
, cpu_ir
[rc
], c1
, z
, v1
, cpu_ir
[rc
]);
536 tcg_temp_free_i64(z
);
537 if (ra
== 31 || mask
) {
538 tcg_temp_free_i64(c1
);
541 tcg_temp_free_i64(v1
);
545 static void gen_fcmov(TCGCond cond
, int ra
, int rb
, int rc
)
549 if (unlikely(rc
== 31)) {
553 c1
= tcg_temp_new_i64();
554 if (unlikely(ra
== 31)) {
555 tcg_gen_movi_i64(c1
, 0);
557 gen_fold_mzero(cond
, c1
, cpu_fir
[ra
]);
560 v1
= tcg_const_i64(0);
564 z
= tcg_const_i64(0);
566 tcg_gen_movcond_i64(cond
, cpu_fir
[rc
], c1
, z
, v1
, cpu_fir
[rc
]);
568 tcg_temp_free_i64(z
);
569 tcg_temp_free_i64(c1
);
571 tcg_temp_free_i64(v1
);
575 #define QUAL_RM_N 0x080 /* Round mode nearest even */
576 #define QUAL_RM_C 0x000 /* Round mode chopped */
577 #define QUAL_RM_M 0x040 /* Round mode minus infinity */
578 #define QUAL_RM_D 0x0c0 /* Round mode dynamic */
579 #define QUAL_RM_MASK 0x0c0
581 #define QUAL_U 0x100 /* Underflow enable (fp output) */
582 #define QUAL_V 0x100 /* Overflow enable (int output) */
583 #define QUAL_S 0x400 /* Software completion enable */
584 #define QUAL_I 0x200 /* Inexact detection enable */
586 static void gen_qual_roundmode(DisasContext
*ctx
, int fn11
)
590 fn11
&= QUAL_RM_MASK
;
591 if (fn11
== ctx
->tb_rm
) {
596 tmp
= tcg_temp_new_i32();
599 tcg_gen_movi_i32(tmp
, float_round_nearest_even
);
602 tcg_gen_movi_i32(tmp
, float_round_to_zero
);
605 tcg_gen_movi_i32(tmp
, float_round_down
);
608 tcg_gen_ld8u_i32(tmp
, cpu_env
,
609 offsetof(CPUAlphaState
, fpcr_dyn_round
));
613 #if defined(CONFIG_SOFTFLOAT_INLINE)
614 /* ??? The "softfloat.h" interface is to call set_float_rounding_mode.
615 With CONFIG_SOFTFLOAT that expands to an out-of-line call that just
616 sets the one field. */
617 tcg_gen_st8_i32(tmp
, cpu_env
,
618 offsetof(CPUAlphaState
, fp_status
.float_rounding_mode
));
620 gen_helper_setroundmode(tmp
);
623 tcg_temp_free_i32(tmp
);
626 static void gen_qual_flushzero(DisasContext
*ctx
, int fn11
)
631 if (fn11
== ctx
->tb_ftz
) {
636 tmp
= tcg_temp_new_i32();
638 /* Underflow is enabled, use the FPCR setting. */
639 tcg_gen_ld8u_i32(tmp
, cpu_env
,
640 offsetof(CPUAlphaState
, fpcr_flush_to_zero
));
642 /* Underflow is disabled, force flush-to-zero. */
643 tcg_gen_movi_i32(tmp
, 1);
646 #if defined(CONFIG_SOFTFLOAT_INLINE)
647 tcg_gen_st8_i32(tmp
, cpu_env
,
648 offsetof(CPUAlphaState
, fp_status
.flush_to_zero
));
650 gen_helper_setflushzero(tmp
);
653 tcg_temp_free_i32(tmp
);
656 static TCGv
gen_ieee_input(int reg
, int fn11
, int is_cmp
)
660 val
= tcg_const_i64(0);
662 if ((fn11
& QUAL_S
) == 0) {
664 gen_helper_ieee_input_cmp(cpu_env
, cpu_fir
[reg
]);
666 gen_helper_ieee_input(cpu_env
, cpu_fir
[reg
]);
669 val
= tcg_temp_new();
670 tcg_gen_mov_i64(val
, cpu_fir
[reg
]);
675 static void gen_fp_exc_clear(void)
677 #if defined(CONFIG_SOFTFLOAT_INLINE)
678 TCGv_i32 zero
= tcg_const_i32(0);
679 tcg_gen_st8_i32(zero
, cpu_env
,
680 offsetof(CPUAlphaState
, fp_status
.float_exception_flags
));
681 tcg_temp_free_i32(zero
);
683 gen_helper_fp_exc_clear(cpu_env
);
687 static void gen_fp_exc_raise_ignore(int rc
, int fn11
, int ignore
)
689 /* ??? We ought to be able to do something with imprecise exceptions.
690 E.g. notice we're still in the trap shadow of something within the
691 TB and do not generate the code to signal the exception; end the TB
692 when an exception is forced to arrive, either by consumption of a
693 register value or TRAPB or EXCB. */
694 TCGv_i32 exc
= tcg_temp_new_i32();
697 #if defined(CONFIG_SOFTFLOAT_INLINE)
698 tcg_gen_ld8u_i32(exc
, cpu_env
,
699 offsetof(CPUAlphaState
, fp_status
.float_exception_flags
));
701 gen_helper_fp_exc_get(exc
, cpu_env
);
705 tcg_gen_andi_i32(exc
, exc
, ~ignore
);
708 /* ??? Pass in the regno of the destination so that the helper can
709 set EXC_MASK, which contains a bitmask of destination registers
710 that have caused arithmetic traps. A simple userspace emulation
711 does not require this. We do need it for a guest kernel's entArith,
712 or if we were to do something clever with imprecise exceptions. */
713 reg
= tcg_const_i32(rc
+ 32);
716 gen_helper_fp_exc_raise_s(cpu_env
, exc
, reg
);
718 gen_helper_fp_exc_raise(cpu_env
, exc
, reg
);
721 tcg_temp_free_i32(reg
);
722 tcg_temp_free_i32(exc
);
725 static inline void gen_fp_exc_raise(int rc
, int fn11
)
727 gen_fp_exc_raise_ignore(rc
, fn11
, fn11
& QUAL_I
? 0 : float_flag_inexact
);
730 static void gen_fcvtlq(int rb
, int rc
)
732 if (unlikely(rc
== 31)) {
735 if (unlikely(rb
== 31)) {
736 tcg_gen_movi_i64(cpu_fir
[rc
], 0);
738 TCGv tmp
= tcg_temp_new();
740 /* The arithmetic right shift here, plus the sign-extended mask below
741 yields a sign-extended result without an explicit ext32s_i64. */
742 tcg_gen_sari_i64(tmp
, cpu_fir
[rb
], 32);
743 tcg_gen_shri_i64(cpu_fir
[rc
], cpu_fir
[rb
], 29);
744 tcg_gen_andi_i64(tmp
, tmp
, (int32_t)0xc0000000);
745 tcg_gen_andi_i64(cpu_fir
[rc
], cpu_fir
[rc
], 0x3fffffff);
746 tcg_gen_or_i64(cpu_fir
[rc
], cpu_fir
[rc
], tmp
);
752 static void gen_fcvtql(int rb
, int rc
)
754 if (unlikely(rc
== 31)) {
757 if (unlikely(rb
== 31)) {
758 tcg_gen_movi_i64(cpu_fir
[rc
], 0);
760 TCGv tmp
= tcg_temp_new();
762 tcg_gen_andi_i64(tmp
, cpu_fir
[rb
], 0xC0000000);
763 tcg_gen_andi_i64(cpu_fir
[rc
], cpu_fir
[rb
], 0x3FFFFFFF);
764 tcg_gen_shli_i64(tmp
, tmp
, 32);
765 tcg_gen_shli_i64(cpu_fir
[rc
], cpu_fir
[rc
], 29);
766 tcg_gen_or_i64(cpu_fir
[rc
], cpu_fir
[rc
], tmp
);
772 static void gen_fcvtql_v(DisasContext
*ctx
, int rb
, int rc
)
775 int lab
= gen_new_label();
776 TCGv tmp
= tcg_temp_new();
778 tcg_gen_ext32s_i64(tmp
, cpu_fir
[rb
]);
779 tcg_gen_brcond_i64(TCG_COND_EQ
, tmp
, cpu_fir
[rb
], lab
);
780 gen_excp(ctx
, EXCP_ARITH
, EXC_M_IOV
);
787 #define FARITH2(name) \
788 static inline void glue(gen_f, name)(int rb, int rc) \
790 if (unlikely(rc == 31)) { \
794 gen_helper_ ## name(cpu_fir[rc], cpu_env, cpu_fir[rb]); \
796 TCGv tmp = tcg_const_i64(0); \
797 gen_helper_ ## name(cpu_fir[rc], cpu_env, tmp); \
798 tcg_temp_free(tmp); \
802 /* ??? VAX instruction qualifiers ignored. */
810 static void gen_ieee_arith2(DisasContext
*ctx
,
811 void (*helper
)(TCGv
, TCGv_ptr
, TCGv
),
812 int rb
, int rc
, int fn11
)
816 /* ??? This is wrong: the instruction is not a nop, it still may
818 if (unlikely(rc
== 31)) {
822 gen_qual_roundmode(ctx
, fn11
);
823 gen_qual_flushzero(ctx
, fn11
);
826 vb
= gen_ieee_input(rb
, fn11
, 0);
827 helper(cpu_fir
[rc
], cpu_env
, vb
);
830 gen_fp_exc_raise(rc
, fn11
);
833 #define IEEE_ARITH2(name) \
834 static inline void glue(gen_f, name)(DisasContext *ctx, \
835 int rb, int rc, int fn11) \
837 gen_ieee_arith2(ctx, gen_helper_##name, rb, rc, fn11); \
844 static void gen_fcvttq(DisasContext
*ctx
, int rb
, int rc
, int fn11
)
849 /* ??? This is wrong: the instruction is not a nop, it still may
851 if (unlikely(rc
== 31)) {
855 /* No need to set flushzero, since we have an integer output. */
857 vb
= gen_ieee_input(rb
, fn11
, 0);
859 /* Almost all integer conversions use cropped rounding, and most
860 also do not have integer overflow enabled. Special case that. */
863 gen_helper_cvttq_c(cpu_fir
[rc
], cpu_env
, vb
);
865 case QUAL_V
| QUAL_RM_C
:
866 case QUAL_S
| QUAL_V
| QUAL_RM_C
:
867 ignore
= float_flag_inexact
;
869 case QUAL_S
| QUAL_V
| QUAL_I
| QUAL_RM_C
:
870 gen_helper_cvttq_svic(cpu_fir
[rc
], cpu_env
, vb
);
873 gen_qual_roundmode(ctx
, fn11
);
874 gen_helper_cvttq(cpu_fir
[rc
], cpu_env
, vb
);
875 ignore
|= (fn11
& QUAL_V
? 0 : float_flag_overflow
);
876 ignore
|= (fn11
& QUAL_I
? 0 : float_flag_inexact
);
881 gen_fp_exc_raise_ignore(rc
, fn11
, ignore
);
884 static void gen_ieee_intcvt(DisasContext
*ctx
,
885 void (*helper
)(TCGv
, TCGv_ptr
, TCGv
),
886 int rb
, int rc
, int fn11
)
890 /* ??? This is wrong: the instruction is not a nop, it still may
892 if (unlikely(rc
== 31)) {
896 gen_qual_roundmode(ctx
, fn11
);
899 vb
= tcg_const_i64(0);
904 /* The only exception that can be raised by integer conversion
905 is inexact. Thus we only need to worry about exceptions when
906 inexact handling is requested. */
909 helper(cpu_fir
[rc
], cpu_env
, vb
);
910 gen_fp_exc_raise(rc
, fn11
);
912 helper(cpu_fir
[rc
], cpu_env
, vb
);
920 #define IEEE_INTCVT(name) \
921 static inline void glue(gen_f, name)(DisasContext *ctx, \
922 int rb, int rc, int fn11) \
924 gen_ieee_intcvt(ctx, gen_helper_##name, rb, rc, fn11); \
929 static void gen_cpys_internal(int ra
, int rb
, int rc
, int inv_a
, uint64_t mask
)
934 if (unlikely(rc
== 31)) {
938 vmask
= tcg_const_i64(mask
);
948 va
= tcg_temp_new_i64();
949 tcg_gen_mov_i64(va
, cpu_fir
[ra
]);
951 tcg_gen_andc_i64(va
, vmask
, va
);
953 tcg_gen_and_i64(va
, va
, vmask
);
961 vb
= tcg_temp_new_i64();
962 tcg_gen_andc_i64(vb
, cpu_fir
[rb
], vmask
);
965 switch (za
<< 1 | zb
) {
967 tcg_gen_or_i64(cpu_fir
[rc
], va
, vb
);
970 tcg_gen_mov_i64(cpu_fir
[rc
], va
);
973 tcg_gen_mov_i64(cpu_fir
[rc
], vb
);
976 tcg_gen_movi_i64(cpu_fir
[rc
], 0);
980 tcg_temp_free(vmask
);
989 static inline void gen_fcpys(int ra
, int rb
, int rc
)
991 gen_cpys_internal(ra
, rb
, rc
, 0, 0x8000000000000000ULL
);
994 static inline void gen_fcpysn(int ra
, int rb
, int rc
)
996 gen_cpys_internal(ra
, rb
, rc
, 1, 0x8000000000000000ULL
);
999 static inline void gen_fcpyse(int ra
, int rb
, int rc
)
1001 gen_cpys_internal(ra
, rb
, rc
, 0, 0xFFF0000000000000ULL
);
1004 #define FARITH3(name) \
1005 static inline void glue(gen_f, name)(int ra, int rb, int rc) \
1009 if (unlikely(rc == 31)) { \
1013 va = tcg_const_i64(0); \
1018 vb = tcg_const_i64(0); \
1023 gen_helper_ ## name(cpu_fir[rc], cpu_env, va, vb); \
1026 tcg_temp_free(va); \
1029 tcg_temp_free(vb); \
1033 /* ??? VAX instruction qualifiers ignored. */
1046 static void gen_ieee_arith3(DisasContext
*ctx
,
1047 void (*helper
)(TCGv
, TCGv_ptr
, TCGv
, TCGv
),
1048 int ra
, int rb
, int rc
, int fn11
)
1052 /* ??? This is wrong: the instruction is not a nop, it still may
1053 raise exceptions. */
1054 if (unlikely(rc
== 31)) {
1058 gen_qual_roundmode(ctx
, fn11
);
1059 gen_qual_flushzero(ctx
, fn11
);
1062 va
= gen_ieee_input(ra
, fn11
, 0);
1063 vb
= gen_ieee_input(rb
, fn11
, 0);
1064 helper(cpu_fir
[rc
], cpu_env
, va
, vb
);
1068 gen_fp_exc_raise(rc
, fn11
);
1071 #define IEEE_ARITH3(name) \
1072 static inline void glue(gen_f, name)(DisasContext *ctx, \
1073 int ra, int rb, int rc, int fn11) \
1075 gen_ieee_arith3(ctx, gen_helper_##name, ra, rb, rc, fn11); \
1086 static void gen_ieee_compare(DisasContext
*ctx
,
1087 void (*helper
)(TCGv
, TCGv_ptr
, TCGv
, TCGv
),
1088 int ra
, int rb
, int rc
, int fn11
)
1092 /* ??? This is wrong: the instruction is not a nop, it still may
1093 raise exceptions. */
1094 if (unlikely(rc
== 31)) {
1100 va
= gen_ieee_input(ra
, fn11
, 1);
1101 vb
= gen_ieee_input(rb
, fn11
, 1);
1102 helper(cpu_fir
[rc
], cpu_env
, va
, vb
);
1106 gen_fp_exc_raise(rc
, fn11
);
1109 #define IEEE_CMP3(name) \
1110 static inline void glue(gen_f, name)(DisasContext *ctx, \
1111 int ra, int rb, int rc, int fn11) \
1113 gen_ieee_compare(ctx, gen_helper_##name, ra, rb, rc, fn11); \
1120 static inline uint64_t zapnot_mask(uint8_t lit
)
1125 for (i
= 0; i
< 8; ++i
) {
1127 mask
|= 0xffull
<< (i
* 8);
1132 /* Implement zapnot with an immediate operand, which expands to some
1133 form of immediate AND. This is a basic building block in the
1134 definition of many of the other byte manipulation instructions. */
1135 static void gen_zapnoti(TCGv dest
, TCGv src
, uint8_t lit
)
1139 tcg_gen_movi_i64(dest
, 0);
1142 tcg_gen_ext8u_i64(dest
, src
);
1145 tcg_gen_ext16u_i64(dest
, src
);
1148 tcg_gen_ext32u_i64(dest
, src
);
1151 tcg_gen_mov_i64(dest
, src
);
1154 tcg_gen_andi_i64 (dest
, src
, zapnot_mask (lit
));
1159 static inline void gen_zapnot(int ra
, int rb
, int rc
, int islit
, uint8_t lit
)
1161 if (unlikely(rc
== 31))
1163 else if (unlikely(ra
== 31))
1164 tcg_gen_movi_i64(cpu_ir
[rc
], 0);
1166 gen_zapnoti(cpu_ir
[rc
], cpu_ir
[ra
], lit
);
1168 gen_helper_zapnot (cpu_ir
[rc
], cpu_ir
[ra
], cpu_ir
[rb
]);
1171 static inline void gen_zap(int ra
, int rb
, int rc
, int islit
, uint8_t lit
)
1173 if (unlikely(rc
== 31))
1175 else if (unlikely(ra
== 31))
1176 tcg_gen_movi_i64(cpu_ir
[rc
], 0);
1178 gen_zapnoti(cpu_ir
[rc
], cpu_ir
[ra
], ~lit
);
1180 gen_helper_zap (cpu_ir
[rc
], cpu_ir
[ra
], cpu_ir
[rb
]);
1184 /* EXTWH, EXTLH, EXTQH */
1185 static void gen_ext_h(int ra
, int rb
, int rc
, int islit
,
1186 uint8_t lit
, uint8_t byte_mask
)
1188 if (unlikely(rc
== 31))
1190 else if (unlikely(ra
== 31))
1191 tcg_gen_movi_i64(cpu_ir
[rc
], 0);
1194 lit
= (64 - (lit
& 7) * 8) & 0x3f;
1195 tcg_gen_shli_i64(cpu_ir
[rc
], cpu_ir
[ra
], lit
);
1197 TCGv tmp1
= tcg_temp_new();
1198 tcg_gen_andi_i64(tmp1
, cpu_ir
[rb
], 7);
1199 tcg_gen_shli_i64(tmp1
, tmp1
, 3);
1200 tcg_gen_neg_i64(tmp1
, tmp1
);
1201 tcg_gen_andi_i64(tmp1
, tmp1
, 0x3f);
1202 tcg_gen_shl_i64(cpu_ir
[rc
], cpu_ir
[ra
], tmp1
);
1203 tcg_temp_free(tmp1
);
1205 gen_zapnoti(cpu_ir
[rc
], cpu_ir
[rc
], byte_mask
);
1209 /* EXTBL, EXTWL, EXTLL, EXTQL */
1210 static void gen_ext_l(int ra
, int rb
, int rc
, int islit
,
1211 uint8_t lit
, uint8_t byte_mask
)
1213 if (unlikely(rc
== 31))
1215 else if (unlikely(ra
== 31))
1216 tcg_gen_movi_i64(cpu_ir
[rc
], 0);
1219 tcg_gen_shri_i64(cpu_ir
[rc
], cpu_ir
[ra
], (lit
& 7) * 8);
1221 TCGv tmp
= tcg_temp_new();
1222 tcg_gen_andi_i64(tmp
, cpu_ir
[rb
], 7);
1223 tcg_gen_shli_i64(tmp
, tmp
, 3);
1224 tcg_gen_shr_i64(cpu_ir
[rc
], cpu_ir
[ra
], tmp
);
1227 gen_zapnoti(cpu_ir
[rc
], cpu_ir
[rc
], byte_mask
);
1231 /* INSWH, INSLH, INSQH */
1232 static void gen_ins_h(int ra
, int rb
, int rc
, int islit
,
1233 uint8_t lit
, uint8_t byte_mask
)
1235 if (unlikely(rc
== 31))
1237 else if (unlikely(ra
== 31) || (islit
&& (lit
& 7) == 0))
1238 tcg_gen_movi_i64(cpu_ir
[rc
], 0);
1240 TCGv tmp
= tcg_temp_new();
1242 /* The instruction description has us left-shift the byte mask
1243 and extract bits <15:8> and apply that zap at the end. This
1244 is equivalent to simply performing the zap first and shifting
1246 gen_zapnoti (tmp
, cpu_ir
[ra
], byte_mask
);
1249 /* Note that we have handled the lit==0 case above. */
1250 tcg_gen_shri_i64 (cpu_ir
[rc
], tmp
, 64 - (lit
& 7) * 8);
1252 TCGv shift
= tcg_temp_new();
1254 /* If (B & 7) == 0, we need to shift by 64 and leave a zero.
1255 Do this portably by splitting the shift into two parts:
1256 shift_count-1 and 1. Arrange for the -1 by using
1257 ones-complement instead of twos-complement in the negation:
1258 ~((B & 7) * 8) & 63. */
1260 tcg_gen_andi_i64(shift
, cpu_ir
[rb
], 7);
1261 tcg_gen_shli_i64(shift
, shift
, 3);
1262 tcg_gen_not_i64(shift
, shift
);
1263 tcg_gen_andi_i64(shift
, shift
, 0x3f);
1265 tcg_gen_shr_i64(cpu_ir
[rc
], tmp
, shift
);
1266 tcg_gen_shri_i64(cpu_ir
[rc
], cpu_ir
[rc
], 1);
1267 tcg_temp_free(shift
);
1273 /* INSBL, INSWL, INSLL, INSQL */
1274 static void gen_ins_l(int ra
, int rb
, int rc
, int islit
,
1275 uint8_t lit
, uint8_t byte_mask
)
1277 if (unlikely(rc
== 31))
1279 else if (unlikely(ra
== 31))
1280 tcg_gen_movi_i64(cpu_ir
[rc
], 0);
1282 TCGv tmp
= tcg_temp_new();
1284 /* The instruction description has us left-shift the byte mask
1285 the same number of byte slots as the data and apply the zap
1286 at the end. This is equivalent to simply performing the zap
1287 first and shifting afterward. */
1288 gen_zapnoti (tmp
, cpu_ir
[ra
], byte_mask
);
1291 tcg_gen_shli_i64(cpu_ir
[rc
], tmp
, (lit
& 7) * 8);
1293 TCGv shift
= tcg_temp_new();
1294 tcg_gen_andi_i64(shift
, cpu_ir
[rb
], 7);
1295 tcg_gen_shli_i64(shift
, shift
, 3);
1296 tcg_gen_shl_i64(cpu_ir
[rc
], tmp
, shift
);
1297 tcg_temp_free(shift
);
1303 /* MSKWH, MSKLH, MSKQH */
1304 static void gen_msk_h(int ra
, int rb
, int rc
, int islit
,
1305 uint8_t lit
, uint8_t byte_mask
)
1307 if (unlikely(rc
== 31))
1309 else if (unlikely(ra
== 31))
1310 tcg_gen_movi_i64(cpu_ir
[rc
], 0);
1312 gen_zapnoti (cpu_ir
[rc
], cpu_ir
[ra
], ~((byte_mask
<< (lit
& 7)) >> 8));
1314 TCGv shift
= tcg_temp_new();
1315 TCGv mask
= tcg_temp_new();
1317 /* The instruction description is as above, where the byte_mask
1318 is shifted left, and then we extract bits <15:8>. This can be
1319 emulated with a right-shift on the expanded byte mask. This
1320 requires extra care because for an input <2:0> == 0 we need a
1321 shift of 64 bits in order to generate a zero. This is done by
1322 splitting the shift into two parts, the variable shift - 1
1323 followed by a constant 1 shift. The code we expand below is
1324 equivalent to ~((B & 7) * 8) & 63. */
1326 tcg_gen_andi_i64(shift
, cpu_ir
[rb
], 7);
1327 tcg_gen_shli_i64(shift
, shift
, 3);
1328 tcg_gen_not_i64(shift
, shift
);
1329 tcg_gen_andi_i64(shift
, shift
, 0x3f);
1330 tcg_gen_movi_i64(mask
, zapnot_mask (byte_mask
));
1331 tcg_gen_shr_i64(mask
, mask
, shift
);
1332 tcg_gen_shri_i64(mask
, mask
, 1);
1334 tcg_gen_andc_i64(cpu_ir
[rc
], cpu_ir
[ra
], mask
);
1336 tcg_temp_free(mask
);
1337 tcg_temp_free(shift
);
1341 /* MSKBL, MSKWL, MSKLL, MSKQL */
1342 static void gen_msk_l(int ra
, int rb
, int rc
, int islit
,
1343 uint8_t lit
, uint8_t byte_mask
)
1345 if (unlikely(rc
== 31))
1347 else if (unlikely(ra
== 31))
1348 tcg_gen_movi_i64(cpu_ir
[rc
], 0);
1350 gen_zapnoti (cpu_ir
[rc
], cpu_ir
[ra
], ~(byte_mask
<< (lit
& 7)));
1352 TCGv shift
= tcg_temp_new();
1353 TCGv mask
= tcg_temp_new();
1355 tcg_gen_andi_i64(shift
, cpu_ir
[rb
], 7);
1356 tcg_gen_shli_i64(shift
, shift
, 3);
1357 tcg_gen_movi_i64(mask
, zapnot_mask (byte_mask
));
1358 tcg_gen_shl_i64(mask
, mask
, shift
);
1360 tcg_gen_andc_i64(cpu_ir
[rc
], cpu_ir
[ra
], mask
);
1362 tcg_temp_free(mask
);
1363 tcg_temp_free(shift
);
1367 /* Code to call arith3 helpers */
1368 #define ARITH3(name) \
1369 static inline void glue(gen_, name)(int ra, int rb, int rc, int islit,\
1372 if (unlikely(rc == 31)) \
1377 TCGv tmp = tcg_const_i64(lit); \
1378 gen_helper_ ## name(cpu_ir[rc], cpu_ir[ra], tmp); \
1379 tcg_temp_free(tmp); \
1381 gen_helper_ ## name (cpu_ir[rc], cpu_ir[ra], cpu_ir[rb]); \
1383 TCGv tmp1 = tcg_const_i64(0); \
1385 TCGv tmp2 = tcg_const_i64(lit); \
1386 gen_helper_ ## name (cpu_ir[rc], tmp1, tmp2); \
1387 tcg_temp_free(tmp2); \
1389 gen_helper_ ## name (cpu_ir[rc], tmp1, cpu_ir[rb]); \
1390 tcg_temp_free(tmp1); \
1405 /* Code to call arith3 helpers */
1406 #define ARITH3_EX(name) \
1407 static inline void glue(gen_, name)(int ra, int rb, int rc, \
1408 int islit, uint8_t lit) \
1410 if (unlikely(rc == 31)) { \
1415 TCGv tmp = tcg_const_i64(lit); \
1416 gen_helper_ ## name(cpu_ir[rc], cpu_env, \
1418 tcg_temp_free(tmp); \
1420 gen_helper_ ## name(cpu_ir[rc], cpu_env, \
1421 cpu_ir[ra], cpu_ir[rb]); \
1424 TCGv tmp1 = tcg_const_i64(0); \
1426 TCGv tmp2 = tcg_const_i64(lit); \
1427 gen_helper_ ## name(cpu_ir[rc], cpu_env, tmp1, tmp2); \
1428 tcg_temp_free(tmp2); \
1430 gen_helper_ ## name(cpu_ir[rc], cpu_env, tmp1, cpu_ir[rb]); \
1432 tcg_temp_free(tmp1); \
1442 #define MVIOP2(name) \
1443 static inline void glue(gen_, name)(int rb, int rc) \
1445 if (unlikely(rc == 31)) \
1447 if (unlikely(rb == 31)) \
1448 tcg_gen_movi_i64(cpu_ir[rc], 0); \
1450 gen_helper_ ## name (cpu_ir[rc], cpu_ir[rb]); \
1457 static void gen_cmp(TCGCond cond
, int ra
, int rb
, int rc
,
1458 int islit
, uint8_t lit
)
1462 if (unlikely(rc
== 31)) {
1467 va
= tcg_const_i64(0);
1472 vb
= tcg_const_i64(lit
);
1477 tcg_gen_setcond_i64(cond
, cpu_ir
[rc
], va
, vb
);
1487 static void gen_rx(int ra
, int set
)
1492 tcg_gen_ld8u_i64(cpu_ir
[ra
], cpu_env
, offsetof(CPUAlphaState
, intr_flag
));
1495 tmp
= tcg_const_i32(set
);
1496 tcg_gen_st8_i32(tmp
, cpu_env
, offsetof(CPUAlphaState
, intr_flag
));
1497 tcg_temp_free_i32(tmp
);
1500 static ExitStatus
gen_call_pal(DisasContext
*ctx
, int palcode
)
1502 /* We're emulating OSF/1 PALcode. Many of these are trivial access
1503 to internal cpu registers. */
1505 /* Unprivileged PAL call */
1506 if (palcode
>= 0x80 && palcode
< 0xC0) {
1510 /* No-op inside QEMU. */
1514 tcg_gen_mov_i64(cpu_ir
[IR_V0
], cpu_unique
);
1518 tcg_gen_mov_i64(cpu_unique
, cpu_ir
[IR_A0
]);
1521 return gen_excp(ctx
, EXCP_CALL_PAL
, palcode
& 0xbf);
1526 #ifndef CONFIG_USER_ONLY
1527 /* Privileged PAL code */
1528 if (palcode
< 0x40 && (ctx
->tb
->flags
& TB_FLAGS_USER_MODE
) == 0) {
1532 /* No-op inside QEMU. */
1536 /* No-op inside QEMU. */
1540 tcg_gen_st_i64(cpu_ir
[IR_A0
], cpu_env
, offsetof(CPUAlphaState
, vptptr
));
1544 tcg_gen_mov_i64(cpu_sysval
, cpu_ir
[IR_A0
]);
1548 tcg_gen_mov_i64(cpu_ir
[IR_V0
], cpu_sysval
);
1555 /* Note that we already know we're in kernel mode, so we know
1556 that PS only contains the 3 IPL bits. */
1557 tcg_gen_ld8u_i64(cpu_ir
[IR_V0
], cpu_env
, offsetof(CPUAlphaState
, ps
));
1559 /* But make sure and store only the 3 IPL bits from the user. */
1560 tmp
= tcg_temp_new();
1561 tcg_gen_andi_i64(tmp
, cpu_ir
[IR_A0
], PS_INT_MASK
);
1562 tcg_gen_st8_i64(tmp
, cpu_env
, offsetof(CPUAlphaState
, ps
));
1569 tcg_gen_ld8u_i64(cpu_ir
[IR_V0
], cpu_env
, offsetof(CPUAlphaState
, ps
));
1573 tcg_gen_mov_i64(cpu_usp
, cpu_ir
[IR_A0
]);
1577 tcg_gen_mov_i64(cpu_ir
[IR_V0
], cpu_usp
);
1581 tcg_gen_ld32s_i64(cpu_ir
[IR_V0
], cpu_env
,
1582 offsetof(CPUAlphaState
, cpu_index
));
1586 return gen_excp(ctx
, EXCP_CALL_PAL
, palcode
& 0x3f);
1592 return gen_invalid(ctx
);
1595 #ifndef CONFIG_USER_ONLY
1597 #define PR_BYTE 0x100000
1598 #define PR_LONG 0x200000
1600 static int cpu_pr_data(int pr
)
1603 case 0: return offsetof(CPUAlphaState
, ps
) | PR_BYTE
;
1604 case 1: return offsetof(CPUAlphaState
, fen
) | PR_BYTE
;
1605 case 2: return offsetof(CPUAlphaState
, pcc_ofs
) | PR_LONG
;
1606 case 3: return offsetof(CPUAlphaState
, trap_arg0
);
1607 case 4: return offsetof(CPUAlphaState
, trap_arg1
);
1608 case 5: return offsetof(CPUAlphaState
, trap_arg2
);
1609 case 6: return offsetof(CPUAlphaState
, exc_addr
);
1610 case 7: return offsetof(CPUAlphaState
, palbr
);
1611 case 8: return offsetof(CPUAlphaState
, ptbr
);
1612 case 9: return offsetof(CPUAlphaState
, vptptr
);
1613 case 10: return offsetof(CPUAlphaState
, unique
);
1614 case 11: return offsetof(CPUAlphaState
, sysval
);
1615 case 12: return offsetof(CPUAlphaState
, usp
);
1618 return offsetof(CPUAlphaState
, shadow
[pr
- 32]);
1620 return offsetof(CPUAlphaState
, scratch
[pr
- 40]);
1623 return offsetof(CPUAlphaState
, alarm_expire
);
1628 static ExitStatus
gen_mfpr(int ra
, int regno
)
1630 int data
= cpu_pr_data(regno
);
1632 /* In our emulated PALcode, these processor registers have no
1633 side effects from reading. */
1642 gen_helper_get_time(cpu_ir
[ra
]);
1644 return EXIT_PC_STALE
;
1646 gen_helper_get_time(cpu_ir
[ra
]);
1651 /* The basic registers are data only, and unknown registers
1652 are read-zero, write-ignore. */
1654 tcg_gen_movi_i64(cpu_ir
[ra
], 0);
1655 } else if (data
& PR_BYTE
) {
1656 tcg_gen_ld8u_i64(cpu_ir
[ra
], cpu_env
, data
& ~PR_BYTE
);
1657 } else if (data
& PR_LONG
) {
1658 tcg_gen_ld32s_i64(cpu_ir
[ra
], cpu_env
, data
& ~PR_LONG
);
1660 tcg_gen_ld_i64(cpu_ir
[ra
], cpu_env
, data
);
1665 static ExitStatus
gen_mtpr(DisasContext
*ctx
, int rb
, int regno
)
1671 tmp
= tcg_const_i64(0);
1679 gen_helper_tbia(cpu_env
);
1684 gen_helper_tbis(cpu_env
, tmp
);
1689 tmp
= tcg_const_i64(1);
1690 tcg_gen_st32_i64(tmp
, cpu_env
, offsetof(CPUAlphaState
, halted
));
1691 return gen_excp(ctx
, EXCP_HLT
, 0);
1695 gen_helper_halt(tmp
);
1696 return EXIT_PC_STALE
;
1700 gen_helper_set_alarm(cpu_env
, tmp
);
1704 /* The basic registers are data only, and unknown registers
1705 are read-zero, write-ignore. */
1706 data
= cpu_pr_data(regno
);
1708 if (data
& PR_BYTE
) {
1709 tcg_gen_st8_i64(tmp
, cpu_env
, data
& ~PR_BYTE
);
1710 } else if (data
& PR_LONG
) {
1711 tcg_gen_st32_i64(tmp
, cpu_env
, data
& ~PR_LONG
);
1713 tcg_gen_st_i64(tmp
, cpu_env
, data
);
1725 #endif /* !USER_ONLY*/
1727 static ExitStatus
translate_one(DisasContext
*ctx
, uint32_t insn
)
1730 int32_t disp21
, disp16
;
1731 #ifndef CONFIG_USER_ONLY
1735 uint8_t opc
, ra
, rb
, rc
, fpfn
, fn7
, islit
, real_islit
;
1739 /* Decode all instruction fields */
1741 ra
= (insn
>> 21) & 0x1F;
1742 rb
= (insn
>> 16) & 0x1F;
1744 real_islit
= islit
= (insn
>> 12) & 1;
1745 if (rb
== 31 && !islit
) {
1749 lit
= (insn
>> 13) & 0xFF;
1750 palcode
= insn
& 0x03FFFFFF;
1751 disp21
= ((int32_t)((insn
& 0x001FFFFF) << 11)) >> 11;
1752 disp16
= (int16_t)(insn
& 0x0000FFFF);
1753 #ifndef CONFIG_USER_ONLY
1754 disp12
= (int32_t)((insn
& 0x00000FFF) << 20) >> 20;
1756 fn11
= (insn
>> 5) & 0x000007FF;
1758 fn7
= (insn
>> 5) & 0x0000007F;
1759 LOG_DISAS("opc %02x ra %2d rb %2d rc %2d disp16 %6d\n",
1760 opc
, ra
, rb
, rc
, disp16
);
1766 ret
= gen_call_pal(ctx
, palcode
);
1791 if (likely(ra
!= 31)) {
1793 tcg_gen_addi_i64(cpu_ir
[ra
], cpu_ir
[rb
], disp16
);
1795 tcg_gen_movi_i64(cpu_ir
[ra
], disp16
);
1800 if (likely(ra
!= 31)) {
1802 tcg_gen_addi_i64(cpu_ir
[ra
], cpu_ir
[rb
], disp16
<< 16);
1804 tcg_gen_movi_i64(cpu_ir
[ra
], disp16
<< 16);
1809 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_BWX
) {
1810 gen_load_mem(ctx
, &tcg_gen_qemu_ld8u
, ra
, rb
, disp16
, 0, 0);
1816 gen_load_mem(ctx
, &tcg_gen_qemu_ld64
, ra
, rb
, disp16
, 0, 1);
1820 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_BWX
) {
1821 gen_load_mem(ctx
, &tcg_gen_qemu_ld16u
, ra
, rb
, disp16
, 0, 0);
1827 gen_store_mem(ctx
, &tcg_gen_qemu_st16
, ra
, rb
, disp16
, 0, 0);
1831 gen_store_mem(ctx
, &tcg_gen_qemu_st8
, ra
, rb
, disp16
, 0, 0);
1835 gen_store_mem(ctx
, &tcg_gen_qemu_st64
, ra
, rb
, disp16
, 0, 1);
1841 if (likely(rc
!= 31)) {
1844 tcg_gen_addi_i64(cpu_ir
[rc
], cpu_ir
[ra
], lit
);
1845 tcg_gen_ext32s_i64(cpu_ir
[rc
], cpu_ir
[rc
]);
1847 tcg_gen_add_i64(cpu_ir
[rc
], cpu_ir
[ra
], cpu_ir
[rb
]);
1848 tcg_gen_ext32s_i64(cpu_ir
[rc
], cpu_ir
[rc
]);
1852 tcg_gen_movi_i64(cpu_ir
[rc
], lit
);
1854 tcg_gen_ext32s_i64(cpu_ir
[rc
], cpu_ir
[rb
]);
1860 if (likely(rc
!= 31)) {
1862 TCGv tmp
= tcg_temp_new();
1863 tcg_gen_shli_i64(tmp
, cpu_ir
[ra
], 2);
1865 tcg_gen_addi_i64(tmp
, tmp
, lit
);
1867 tcg_gen_add_i64(tmp
, tmp
, cpu_ir
[rb
]);
1868 tcg_gen_ext32s_i64(cpu_ir
[rc
], tmp
);
1872 tcg_gen_movi_i64(cpu_ir
[rc
], lit
);
1874 tcg_gen_ext32s_i64(cpu_ir
[rc
], cpu_ir
[rb
]);
1880 if (likely(rc
!= 31)) {
1883 tcg_gen_subi_i64(cpu_ir
[rc
], cpu_ir
[ra
], lit
);
1885 tcg_gen_sub_i64(cpu_ir
[rc
], cpu_ir
[ra
], cpu_ir
[rb
]);
1886 tcg_gen_ext32s_i64(cpu_ir
[rc
], cpu_ir
[rc
]);
1889 tcg_gen_movi_i64(cpu_ir
[rc
], -lit
);
1891 tcg_gen_neg_i64(cpu_ir
[rc
], cpu_ir
[rb
]);
1892 tcg_gen_ext32s_i64(cpu_ir
[rc
], cpu_ir
[rc
]);
1898 if (likely(rc
!= 31)) {
1900 TCGv tmp
= tcg_temp_new();
1901 tcg_gen_shli_i64(tmp
, cpu_ir
[ra
], 2);
1903 tcg_gen_subi_i64(tmp
, tmp
, lit
);
1905 tcg_gen_sub_i64(tmp
, tmp
, cpu_ir
[rb
]);
1906 tcg_gen_ext32s_i64(cpu_ir
[rc
], tmp
);
1910 tcg_gen_movi_i64(cpu_ir
[rc
], -lit
);
1912 tcg_gen_neg_i64(cpu_ir
[rc
], cpu_ir
[rb
]);
1913 tcg_gen_ext32s_i64(cpu_ir
[rc
], cpu_ir
[rc
]);
1920 gen_cmpbge(ra
, rb
, rc
, islit
, lit
);
1924 if (likely(rc
!= 31)) {
1926 TCGv tmp
= tcg_temp_new();
1927 tcg_gen_shli_i64(tmp
, cpu_ir
[ra
], 3);
1929 tcg_gen_addi_i64(tmp
, tmp
, lit
);
1931 tcg_gen_add_i64(tmp
, tmp
, cpu_ir
[rb
]);
1932 tcg_gen_ext32s_i64(cpu_ir
[rc
], tmp
);
1936 tcg_gen_movi_i64(cpu_ir
[rc
], lit
);
1938 tcg_gen_ext32s_i64(cpu_ir
[rc
], cpu_ir
[rb
]);
1944 if (likely(rc
!= 31)) {
1946 TCGv tmp
= tcg_temp_new();
1947 tcg_gen_shli_i64(tmp
, cpu_ir
[ra
], 3);
1949 tcg_gen_subi_i64(tmp
, tmp
, lit
);
1951 tcg_gen_sub_i64(tmp
, tmp
, cpu_ir
[rb
]);
1952 tcg_gen_ext32s_i64(cpu_ir
[rc
], tmp
);
1956 tcg_gen_movi_i64(cpu_ir
[rc
], -lit
);
1958 tcg_gen_neg_i64(cpu_ir
[rc
], cpu_ir
[rb
]);
1959 tcg_gen_ext32s_i64(cpu_ir
[rc
], cpu_ir
[rc
]);
1966 gen_cmp(TCG_COND_LTU
, ra
, rb
, rc
, islit
, lit
);
1970 if (likely(rc
!= 31)) {
1973 tcg_gen_addi_i64(cpu_ir
[rc
], cpu_ir
[ra
], lit
);
1975 tcg_gen_add_i64(cpu_ir
[rc
], cpu_ir
[ra
], cpu_ir
[rb
]);
1978 tcg_gen_movi_i64(cpu_ir
[rc
], lit
);
1980 tcg_gen_mov_i64(cpu_ir
[rc
], cpu_ir
[rb
]);
1986 if (likely(rc
!= 31)) {
1988 TCGv tmp
= tcg_temp_new();
1989 tcg_gen_shli_i64(tmp
, cpu_ir
[ra
], 2);
1991 tcg_gen_addi_i64(cpu_ir
[rc
], tmp
, lit
);
1993 tcg_gen_add_i64(cpu_ir
[rc
], tmp
, cpu_ir
[rb
]);
1997 tcg_gen_movi_i64(cpu_ir
[rc
], lit
);
1999 tcg_gen_mov_i64(cpu_ir
[rc
], cpu_ir
[rb
]);
2005 if (likely(rc
!= 31)) {
2008 tcg_gen_subi_i64(cpu_ir
[rc
], cpu_ir
[ra
], lit
);
2010 tcg_gen_sub_i64(cpu_ir
[rc
], cpu_ir
[ra
], cpu_ir
[rb
]);
2013 tcg_gen_movi_i64(cpu_ir
[rc
], -lit
);
2015 tcg_gen_neg_i64(cpu_ir
[rc
], cpu_ir
[rb
]);
2021 if (likely(rc
!= 31)) {
2023 TCGv tmp
= tcg_temp_new();
2024 tcg_gen_shli_i64(tmp
, cpu_ir
[ra
], 2);
2026 tcg_gen_subi_i64(cpu_ir
[rc
], tmp
, lit
);
2028 tcg_gen_sub_i64(cpu_ir
[rc
], tmp
, cpu_ir
[rb
]);
2032 tcg_gen_movi_i64(cpu_ir
[rc
], -lit
);
2034 tcg_gen_neg_i64(cpu_ir
[rc
], cpu_ir
[rb
]);
2040 gen_cmp(TCG_COND_EQ
, ra
, rb
, rc
, islit
, lit
);
2044 if (likely(rc
!= 31)) {
2046 TCGv tmp
= tcg_temp_new();
2047 tcg_gen_shli_i64(tmp
, cpu_ir
[ra
], 3);
2049 tcg_gen_addi_i64(cpu_ir
[rc
], tmp
, lit
);
2051 tcg_gen_add_i64(cpu_ir
[rc
], tmp
, cpu_ir
[rb
]);
2055 tcg_gen_movi_i64(cpu_ir
[rc
], lit
);
2057 tcg_gen_mov_i64(cpu_ir
[rc
], cpu_ir
[rb
]);
2063 if (likely(rc
!= 31)) {
2065 TCGv tmp
= tcg_temp_new();
2066 tcg_gen_shli_i64(tmp
, cpu_ir
[ra
], 3);
2068 tcg_gen_subi_i64(cpu_ir
[rc
], tmp
, lit
);
2070 tcg_gen_sub_i64(cpu_ir
[rc
], tmp
, cpu_ir
[rb
]);
2074 tcg_gen_movi_i64(cpu_ir
[rc
], -lit
);
2076 tcg_gen_neg_i64(cpu_ir
[rc
], cpu_ir
[rb
]);
2082 gen_cmp(TCG_COND_LEU
, ra
, rb
, rc
, islit
, lit
);
2086 gen_addlv(ra
, rb
, rc
, islit
, lit
);
2090 gen_sublv(ra
, rb
, rc
, islit
, lit
);
2094 gen_cmp(TCG_COND_LT
, ra
, rb
, rc
, islit
, lit
);
2098 gen_addqv(ra
, rb
, rc
, islit
, lit
);
2102 gen_subqv(ra
, rb
, rc
, islit
, lit
);
2106 gen_cmp(TCG_COND_LE
, ra
, rb
, rc
, islit
, lit
);
2116 if (likely(rc
!= 31)) {
2118 tcg_gen_movi_i64(cpu_ir
[rc
], 0);
2120 tcg_gen_andi_i64(cpu_ir
[rc
], cpu_ir
[ra
], lit
);
2122 tcg_gen_and_i64(cpu_ir
[rc
], cpu_ir
[ra
], cpu_ir
[rb
]);
2127 if (likely(rc
!= 31)) {
2130 tcg_gen_andi_i64(cpu_ir
[rc
], cpu_ir
[ra
], ~lit
);
2132 tcg_gen_andc_i64(cpu_ir
[rc
], cpu_ir
[ra
], cpu_ir
[rb
]);
2134 tcg_gen_movi_i64(cpu_ir
[rc
], 0);
2139 gen_cmov(TCG_COND_NE
, ra
, rb
, rc
, islit
, lit
, 1);
2143 gen_cmov(TCG_COND_EQ
, ra
, rb
, rc
, islit
, lit
, 1);
2147 if (likely(rc
!= 31)) {
2150 tcg_gen_ori_i64(cpu_ir
[rc
], cpu_ir
[ra
], lit
);
2152 tcg_gen_or_i64(cpu_ir
[rc
], cpu_ir
[ra
], cpu_ir
[rb
]);
2155 tcg_gen_movi_i64(cpu_ir
[rc
], lit
);
2157 tcg_gen_mov_i64(cpu_ir
[rc
], cpu_ir
[rb
]);
2163 gen_cmov(TCG_COND_EQ
, ra
, rb
, rc
, islit
, lit
, 0);
2167 gen_cmov(TCG_COND_NE
, ra
, rb
, rc
, islit
, lit
, 0);
2171 if (likely(rc
!= 31)) {
2174 tcg_gen_ori_i64(cpu_ir
[rc
], cpu_ir
[ra
], ~lit
);
2176 tcg_gen_orc_i64(cpu_ir
[rc
], cpu_ir
[ra
], cpu_ir
[rb
]);
2179 tcg_gen_movi_i64(cpu_ir
[rc
], ~lit
);
2181 tcg_gen_not_i64(cpu_ir
[rc
], cpu_ir
[rb
]);
2187 if (likely(rc
!= 31)) {
2190 tcg_gen_xori_i64(cpu_ir
[rc
], cpu_ir
[ra
], lit
);
2192 tcg_gen_xor_i64(cpu_ir
[rc
], cpu_ir
[ra
], cpu_ir
[rb
]);
2195 tcg_gen_movi_i64(cpu_ir
[rc
], lit
);
2197 tcg_gen_mov_i64(cpu_ir
[rc
], cpu_ir
[rb
]);
2203 gen_cmov(TCG_COND_LT
, ra
, rb
, rc
, islit
, lit
, 0);
2207 gen_cmov(TCG_COND_GE
, ra
, rb
, rc
, islit
, lit
, 0);
2211 if (likely(rc
!= 31)) {
2214 tcg_gen_xori_i64(cpu_ir
[rc
], cpu_ir
[ra
], ~lit
);
2216 tcg_gen_eqv_i64(cpu_ir
[rc
], cpu_ir
[ra
], cpu_ir
[rb
]);
2219 tcg_gen_movi_i64(cpu_ir
[rc
], ~lit
);
2221 tcg_gen_not_i64(cpu_ir
[rc
], cpu_ir
[rb
]);
2227 if (likely(rc
!= 31)) {
2228 uint64_t amask
= ctx
->tb
->flags
>> TB_FLAGS_AMASK_SHIFT
;
2231 tcg_gen_movi_i64(cpu_ir
[rc
], lit
& ~amask
);
2233 tcg_gen_andi_i64(cpu_ir
[rc
], cpu_ir
[rb
], ~amask
);
2239 gen_cmov(TCG_COND_LE
, ra
, rb
, rc
, islit
, lit
, 0);
2243 gen_cmov(TCG_COND_GT
, ra
, rb
, rc
, islit
, lit
, 0);
2248 tcg_gen_movi_i64(cpu_ir
[rc
], ctx
->env
->implver
);
2258 gen_msk_l(ra
, rb
, rc
, islit
, lit
, 0x01);
2262 gen_ext_l(ra
, rb
, rc
, islit
, lit
, 0x01);
2266 gen_ins_l(ra
, rb
, rc
, islit
, lit
, 0x01);
2270 gen_msk_l(ra
, rb
, rc
, islit
, lit
, 0x03);
2274 gen_ext_l(ra
, rb
, rc
, islit
, lit
, 0x03);
2278 gen_ins_l(ra
, rb
, rc
, islit
, lit
, 0x03);
2282 gen_msk_l(ra
, rb
, rc
, islit
, lit
, 0x0f);
2286 gen_ext_l(ra
, rb
, rc
, islit
, lit
, 0x0f);
2290 gen_ins_l(ra
, rb
, rc
, islit
, lit
, 0x0f);
2294 gen_zap(ra
, rb
, rc
, islit
, lit
);
2298 gen_zapnot(ra
, rb
, rc
, islit
, lit
);
2302 gen_msk_l(ra
, rb
, rc
, islit
, lit
, 0xff);
2306 if (likely(rc
!= 31)) {
2309 tcg_gen_shri_i64(cpu_ir
[rc
], cpu_ir
[ra
], lit
& 0x3f);
2311 TCGv shift
= tcg_temp_new();
2312 tcg_gen_andi_i64(shift
, cpu_ir
[rb
], 0x3f);
2313 tcg_gen_shr_i64(cpu_ir
[rc
], cpu_ir
[ra
], shift
);
2314 tcg_temp_free(shift
);
2317 tcg_gen_movi_i64(cpu_ir
[rc
], 0);
2322 gen_ext_l(ra
, rb
, rc
, islit
, lit
, 0xff);
2326 if (likely(rc
!= 31)) {
2329 tcg_gen_shli_i64(cpu_ir
[rc
], cpu_ir
[ra
], lit
& 0x3f);
2331 TCGv shift
= tcg_temp_new();
2332 tcg_gen_andi_i64(shift
, cpu_ir
[rb
], 0x3f);
2333 tcg_gen_shl_i64(cpu_ir
[rc
], cpu_ir
[ra
], shift
);
2334 tcg_temp_free(shift
);
2337 tcg_gen_movi_i64(cpu_ir
[rc
], 0);
2342 gen_ins_l(ra
, rb
, rc
, islit
, lit
, 0xff);
2346 if (likely(rc
!= 31)) {
2349 tcg_gen_sari_i64(cpu_ir
[rc
], cpu_ir
[ra
], lit
& 0x3f);
2351 TCGv shift
= tcg_temp_new();
2352 tcg_gen_andi_i64(shift
, cpu_ir
[rb
], 0x3f);
2353 tcg_gen_sar_i64(cpu_ir
[rc
], cpu_ir
[ra
], shift
);
2354 tcg_temp_free(shift
);
2357 tcg_gen_movi_i64(cpu_ir
[rc
], 0);
2362 gen_msk_h(ra
, rb
, rc
, islit
, lit
, 0x03);
2366 gen_ins_h(ra
, rb
, rc
, islit
, lit
, 0x03);
2370 gen_ext_h(ra
, rb
, rc
, islit
, lit
, 0x03);
2374 gen_msk_h(ra
, rb
, rc
, islit
, lit
, 0x0f);
2378 gen_ins_h(ra
, rb
, rc
, islit
, lit
, 0x0f);
2382 gen_ext_h(ra
, rb
, rc
, islit
, lit
, 0x0f);
2386 gen_msk_h(ra
, rb
, rc
, islit
, lit
, 0xff);
2390 gen_ins_h(ra
, rb
, rc
, islit
, lit
, 0xff);
2394 gen_ext_h(ra
, rb
, rc
, islit
, lit
, 0xff);
2404 if (likely(rc
!= 31)) {
2406 tcg_gen_movi_i64(cpu_ir
[rc
], 0);
2409 tcg_gen_muli_i64(cpu_ir
[rc
], cpu_ir
[ra
], lit
);
2411 tcg_gen_mul_i64(cpu_ir
[rc
], cpu_ir
[ra
], cpu_ir
[rb
]);
2412 tcg_gen_ext32s_i64(cpu_ir
[rc
], cpu_ir
[rc
]);
2418 if (likely(rc
!= 31)) {
2420 tcg_gen_movi_i64(cpu_ir
[rc
], 0);
2422 tcg_gen_muli_i64(cpu_ir
[rc
], cpu_ir
[ra
], lit
);
2424 tcg_gen_mul_i64(cpu_ir
[rc
], cpu_ir
[ra
], cpu_ir
[rb
]);
2429 gen_umulh(ra
, rb
, rc
, islit
, lit
);
2433 gen_mullv(ra
, rb
, rc
, islit
, lit
);
2437 gen_mulqv(ra
, rb
, rc
, islit
, lit
);
2444 switch (fpfn
) { /* fn11 & 0x3F */
2447 if ((ctx
->tb
->flags
& TB_FLAGS_AMASK_FIX
) == 0) {
2450 if (likely(rc
!= 31)) {
2452 TCGv_i32 tmp
= tcg_temp_new_i32();
2453 tcg_gen_trunc_i64_i32(tmp
, cpu_ir
[ra
]);
2454 gen_helper_memory_to_s(cpu_fir
[rc
], tmp
);
2455 tcg_temp_free_i32(tmp
);
2457 tcg_gen_movi_i64(cpu_fir
[rc
], 0);
2462 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_FIX
) {
2469 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_FIX
) {
2470 gen_fsqrts(ctx
, rb
, rc
, fn11
);
2476 if ((ctx
->tb
->flags
& TB_FLAGS_AMASK_FIX
) == 0) {
2479 if (likely(rc
!= 31)) {
2481 TCGv_i32 tmp
= tcg_temp_new_i32();
2482 tcg_gen_trunc_i64_i32(tmp
, cpu_ir
[ra
]);
2483 gen_helper_memory_to_f(cpu_fir
[rc
], tmp
);
2484 tcg_temp_free_i32(tmp
);
2486 tcg_gen_movi_i64(cpu_fir
[rc
], 0);
2491 if ((ctx
->tb
->flags
& TB_FLAGS_AMASK_FIX
) == 0) {
2494 if (likely(rc
!= 31)) {
2496 tcg_gen_mov_i64(cpu_fir
[rc
], cpu_ir
[ra
]);
2498 tcg_gen_movi_i64(cpu_fir
[rc
], 0);
2503 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_FIX
) {
2510 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_FIX
) {
2511 gen_fsqrtt(ctx
, rb
, rc
, fn11
);
2520 /* VAX floating point */
2521 /* XXX: rounding mode and trap are ignored (!) */
2522 switch (fpfn
) { /* fn11 & 0x3F */
2525 gen_faddf(ra
, rb
, rc
);
2529 gen_fsubf(ra
, rb
, rc
);
2533 gen_fmulf(ra
, rb
, rc
);
2537 gen_fdivf(ra
, rb
, rc
);
2549 gen_faddg(ra
, rb
, rc
);
2553 gen_fsubg(ra
, rb
, rc
);
2557 gen_fmulg(ra
, rb
, rc
);
2561 gen_fdivg(ra
, rb
, rc
);
2565 gen_fcmpgeq(ra
, rb
, rc
);
2569 gen_fcmpglt(ra
, rb
, rc
);
2573 gen_fcmpgle(ra
, rb
, rc
);
2604 /* IEEE floating-point */
2605 switch (fpfn
) { /* fn11 & 0x3F */
2608 gen_fadds(ctx
, ra
, rb
, rc
, fn11
);
2612 gen_fsubs(ctx
, ra
, rb
, rc
, fn11
);
2616 gen_fmuls(ctx
, ra
, rb
, rc
, fn11
);
2620 gen_fdivs(ctx
, ra
, rb
, rc
, fn11
);
2624 gen_faddt(ctx
, ra
, rb
, rc
, fn11
);
2628 gen_fsubt(ctx
, ra
, rb
, rc
, fn11
);
2632 gen_fmult(ctx
, ra
, rb
, rc
, fn11
);
2636 gen_fdivt(ctx
, ra
, rb
, rc
, fn11
);
2640 gen_fcmptun(ctx
, ra
, rb
, rc
, fn11
);
2644 gen_fcmpteq(ctx
, ra
, rb
, rc
, fn11
);
2648 gen_fcmptlt(ctx
, ra
, rb
, rc
, fn11
);
2652 gen_fcmptle(ctx
, ra
, rb
, rc
, fn11
);
2655 if (fn11
== 0x2AC || fn11
== 0x6AC) {
2657 gen_fcvtst(ctx
, rb
, rc
, fn11
);
2660 gen_fcvtts(ctx
, rb
, rc
, fn11
);
2665 gen_fcvttq(ctx
, rb
, rc
, fn11
);
2669 gen_fcvtqs(ctx
, rb
, rc
, fn11
);
2673 gen_fcvtqt(ctx
, rb
, rc
, fn11
);
2686 if (likely(rc
!= 31)) {
2690 tcg_gen_movi_i64(cpu_fir
[rc
], 0);
2692 tcg_gen_mov_i64(cpu_fir
[rc
], cpu_fir
[ra
]);
2695 gen_fcpys(ra
, rb
, rc
);
2701 gen_fcpysn(ra
, rb
, rc
);
2705 gen_fcpyse(ra
, rb
, rc
);
2709 if (likely(ra
!= 31))
2710 gen_helper_store_fpcr(cpu_env
, cpu_fir
[ra
]);
2712 TCGv tmp
= tcg_const_i64(0);
2713 gen_helper_store_fpcr(cpu_env
, tmp
);
2719 if (likely(ra
!= 31))
2720 gen_helper_load_fpcr(cpu_fir
[ra
], cpu_env
);
2724 gen_fcmov(TCG_COND_EQ
, ra
, rb
, rc
);
2728 gen_fcmov(TCG_COND_NE
, ra
, rb
, rc
);
2732 gen_fcmov(TCG_COND_LT
, ra
, rb
, rc
);
2736 gen_fcmov(TCG_COND_GE
, ra
, rb
, rc
);
2740 gen_fcmov(TCG_COND_LE
, ra
, rb
, rc
);
2744 gen_fcmov(TCG_COND_GT
, ra
, rb
, rc
);
2754 /* ??? I'm pretty sure there's nothing that /sv needs to do that
2755 /v doesn't do. The only thing I can think is that /sv is a
2756 valid instruction merely for completeness in the ISA. */
2757 gen_fcvtql_v(ctx
, rb
, rc
);
2764 switch ((uint16_t)disp16
) {
2794 gen_helper_load_pcc(cpu_ir
[ra
], cpu_env
);
2796 ret
= EXIT_PC_STALE
;
2798 gen_helper_load_pcc(cpu_ir
[ra
], cpu_env
);
2822 /* HW_MFPR (PALcode) */
2823 #ifndef CONFIG_USER_ONLY
2824 if (ctx
->tb
->flags
& TB_FLAGS_PAL_MODE
) {
2825 return gen_mfpr(ra
, insn
& 0xffff);
2830 /* JMP, JSR, RET, JSR_COROUTINE. These only differ by the branch
2831 prediction stack action, which of course we don't implement. */
2833 tcg_gen_andi_i64(cpu_pc
, cpu_ir
[rb
], ~3);
2835 tcg_gen_movi_i64(cpu_pc
, 0);
2838 tcg_gen_movi_i64(cpu_ir
[ra
], ctx
->pc
);
2840 ret
= EXIT_PC_UPDATED
;
2843 /* HW_LD (PALcode) */
2844 #ifndef CONFIG_USER_ONLY
2845 if (ctx
->tb
->flags
& TB_FLAGS_PAL_MODE
) {
2852 addr
= tcg_temp_new();
2854 tcg_gen_addi_i64(addr
, cpu_ir
[rb
], disp12
);
2856 tcg_gen_movi_i64(addr
, disp12
);
2857 switch ((insn
>> 12) & 0xF) {
2859 /* Longword physical access (hw_ldl/p) */
2860 gen_helper_ldl_phys(cpu_ir
[ra
], addr
);
2863 /* Quadword physical access (hw_ldq/p) */
2864 gen_helper_ldq_phys(cpu_ir
[ra
], addr
);
2867 /* Longword physical access with lock (hw_ldl_l/p) */
2868 gen_helper_ldl_l_phys(cpu_ir
[ra
], cpu_env
, addr
);
2871 /* Quadword physical access with lock (hw_ldq_l/p) */
2872 gen_helper_ldq_l_phys(cpu_ir
[ra
], cpu_env
, addr
);
2875 /* Longword virtual PTE fetch (hw_ldl/v) */
2878 /* Quadword virtual PTE fetch (hw_ldq/v) */
2882 /* Incpu_ir[ra]id */
2885 /* Incpu_ir[ra]id */
2888 /* Longword virtual access (hw_ldl) */
2891 /* Quadword virtual access (hw_ldq) */
2894 /* Longword virtual access with protection check (hw_ldl/w) */
2895 tcg_gen_qemu_ld32s(cpu_ir
[ra
], addr
, MMU_KERNEL_IDX
);
2898 /* Quadword virtual access with protection check (hw_ldq/w) */
2899 tcg_gen_qemu_ld64(cpu_ir
[ra
], addr
, MMU_KERNEL_IDX
);
2902 /* Longword virtual access with alt access mode (hw_ldl/a)*/
2905 /* Quadword virtual access with alt access mode (hw_ldq/a) */
2908 /* Longword virtual access with alternate access mode and
2909 protection checks (hw_ldl/wa) */
2910 tcg_gen_qemu_ld32s(cpu_ir
[ra
], addr
, MMU_USER_IDX
);
2913 /* Quadword virtual access with alternate access mode and
2914 protection checks (hw_ldq/wa) */
2915 tcg_gen_qemu_ld64(cpu_ir
[ra
], addr
, MMU_USER_IDX
);
2918 tcg_temp_free(addr
);
2927 if ((ctx
->tb
->flags
& TB_FLAGS_AMASK_BWX
) == 0) {
2930 if (likely(rc
!= 31)) {
2932 tcg_gen_movi_i64(cpu_ir
[rc
], (int64_t)((int8_t)lit
));
2934 tcg_gen_ext8s_i64(cpu_ir
[rc
], cpu_ir
[rb
]);
2939 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_BWX
) {
2940 if (likely(rc
!= 31)) {
2942 tcg_gen_movi_i64(cpu_ir
[rc
], (int64_t)((int16_t)lit
));
2944 tcg_gen_ext16s_i64(cpu_ir
[rc
], cpu_ir
[rb
]);
2952 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_CIX
) {
2953 if (likely(rc
!= 31)) {
2955 tcg_gen_movi_i64(cpu_ir
[rc
], ctpop64(lit
));
2957 gen_helper_ctpop(cpu_ir
[rc
], cpu_ir
[rb
]);
2965 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_MVI
) {
2966 gen_perr(ra
, rb
, rc
, islit
, lit
);
2972 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_CIX
) {
2973 if (likely(rc
!= 31)) {
2975 tcg_gen_movi_i64(cpu_ir
[rc
], clz64(lit
));
2977 gen_helper_ctlz(cpu_ir
[rc
], cpu_ir
[rb
]);
2985 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_CIX
) {
2986 if (likely(rc
!= 31)) {
2988 tcg_gen_movi_i64(cpu_ir
[rc
], ctz64(lit
));
2990 gen_helper_cttz(cpu_ir
[rc
], cpu_ir
[rb
]);
2998 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_MVI
) {
2999 if (real_islit
|| ra
!= 31) {
3008 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_MVI
) {
3009 if (real_islit
|| ra
!= 31) {
3018 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_MVI
) {
3019 if (real_islit
|| ra
!= 31) {
3028 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_MVI
) {
3029 if (real_islit
|| ra
!= 31) {
3038 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_MVI
) {
3039 gen_minsb8(ra
, rb
, rc
, islit
, lit
);
3045 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_MVI
) {
3046 gen_minsw4(ra
, rb
, rc
, islit
, lit
);
3052 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_MVI
) {
3053 gen_minub8(ra
, rb
, rc
, islit
, lit
);
3059 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_MVI
) {
3060 gen_minuw4(ra
, rb
, rc
, islit
, lit
);
3066 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_MVI
) {
3067 gen_maxub8(ra
, rb
, rc
, islit
, lit
);
3073 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_MVI
) {
3074 gen_maxuw4(ra
, rb
, rc
, islit
, lit
);
3080 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_MVI
) {
3081 gen_maxsb8(ra
, rb
, rc
, islit
, lit
);
3087 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_MVI
) {
3088 gen_maxsw4(ra
, rb
, rc
, islit
, lit
);
3094 if ((ctx
->tb
->flags
& TB_FLAGS_AMASK_FIX
) == 0) {
3097 if (likely(rc
!= 31)) {
3099 tcg_gen_mov_i64(cpu_ir
[rc
], cpu_fir
[ra
]);
3101 tcg_gen_movi_i64(cpu_ir
[rc
], 0);
3106 if ((ctx
->tb
->flags
& TB_FLAGS_AMASK_FIX
) == 0) {
3110 TCGv_i32 tmp1
= tcg_temp_new_i32();
3112 gen_helper_s_to_memory(tmp1
, cpu_fir
[ra
]);
3114 TCGv tmp2
= tcg_const_i64(0);
3115 gen_helper_s_to_memory(tmp1
, tmp2
);
3116 tcg_temp_free(tmp2
);
3118 tcg_gen_ext_i32_i64(cpu_ir
[rc
], tmp1
);
3119 tcg_temp_free_i32(tmp1
);
3127 /* HW_MTPR (PALcode) */
3128 #ifndef CONFIG_USER_ONLY
3129 if (ctx
->tb
->flags
& TB_FLAGS_PAL_MODE
) {
3130 return gen_mtpr(ctx
, rb
, insn
& 0xffff);
3135 /* HW_RET (PALcode) */
3136 #ifndef CONFIG_USER_ONLY
3137 if (ctx
->tb
->flags
& TB_FLAGS_PAL_MODE
) {
3139 /* Pre-EV6 CPUs interpreted this as HW_REI, loading the return
3140 address from EXC_ADDR. This turns out to be useful for our
3141 emulation PALcode, so continue to accept it. */
3142 TCGv tmp
= tcg_temp_new();
3143 tcg_gen_ld_i64(tmp
, cpu_env
, offsetof(CPUAlphaState
, exc_addr
));
3144 gen_helper_hw_ret(cpu_env
, tmp
);
3147 gen_helper_hw_ret(cpu_env
, cpu_ir
[rb
]);
3149 ret
= EXIT_PC_UPDATED
;
3155 /* HW_ST (PALcode) */
3156 #ifndef CONFIG_USER_ONLY
3157 if (ctx
->tb
->flags
& TB_FLAGS_PAL_MODE
) {
3159 addr
= tcg_temp_new();
3161 tcg_gen_addi_i64(addr
, cpu_ir
[rb
], disp12
);
3163 tcg_gen_movi_i64(addr
, disp12
);
3167 val
= tcg_temp_new();
3168 tcg_gen_movi_i64(val
, 0);
3170 switch ((insn
>> 12) & 0xF) {
3172 /* Longword physical access */
3173 gen_helper_stl_phys(addr
, val
);
3176 /* Quadword physical access */
3177 gen_helper_stq_phys(addr
, val
);
3180 /* Longword physical access with lock */
3181 gen_helper_stl_c_phys(val
, cpu_env
, addr
, val
);
3184 /* Quadword physical access with lock */
3185 gen_helper_stq_c_phys(val
, cpu_env
, addr
, val
);
3188 /* Longword virtual access */
3191 /* Quadword virtual access */
3212 /* Longword virtual access with alternate access mode */
3215 /* Quadword virtual access with alternate access mode */
3226 tcg_temp_free(addr
);
3233 gen_load_mem(ctx
, &gen_qemu_ldf
, ra
, rb
, disp16
, 1, 0);
3237 gen_load_mem(ctx
, &gen_qemu_ldg
, ra
, rb
, disp16
, 1, 0);
3241 gen_load_mem(ctx
, &gen_qemu_lds
, ra
, rb
, disp16
, 1, 0);
3245 gen_load_mem(ctx
, &tcg_gen_qemu_ld64
, ra
, rb
, disp16
, 1, 0);
3249 gen_store_mem(ctx
, &gen_qemu_stf
, ra
, rb
, disp16
, 1, 0);
3253 gen_store_mem(ctx
, &gen_qemu_stg
, ra
, rb
, disp16
, 1, 0);
3257 gen_store_mem(ctx
, &gen_qemu_sts
, ra
, rb
, disp16
, 1, 0);
3261 gen_store_mem(ctx
, &tcg_gen_qemu_st64
, ra
, rb
, disp16
, 1, 0);
3265 gen_load_mem(ctx
, &tcg_gen_qemu_ld32s
, ra
, rb
, disp16
, 0, 0);
3269 gen_load_mem(ctx
, &tcg_gen_qemu_ld64
, ra
, rb
, disp16
, 0, 0);
3273 gen_load_mem(ctx
, &gen_qemu_ldl_l
, ra
, rb
, disp16
, 0, 0);
3277 gen_load_mem(ctx
, &gen_qemu_ldq_l
, ra
, rb
, disp16
, 0, 0);
3281 gen_store_mem(ctx
, &tcg_gen_qemu_st32
, ra
, rb
, disp16
, 0, 0);
3285 gen_store_mem(ctx
, &tcg_gen_qemu_st64
, ra
, rb
, disp16
, 0, 0);
3289 ret
= gen_store_conditional(ctx
, ra
, rb
, disp16
, 0);
3293 ret
= gen_store_conditional(ctx
, ra
, rb
, disp16
, 1);
3297 ret
= gen_bdirect(ctx
, ra
, disp21
);
3299 case 0x31: /* FBEQ */
3300 ret
= gen_fbcond(ctx
, TCG_COND_EQ
, ra
, disp21
);
3302 case 0x32: /* FBLT */
3303 ret
= gen_fbcond(ctx
, TCG_COND_LT
, ra
, disp21
);
3305 case 0x33: /* FBLE */
3306 ret
= gen_fbcond(ctx
, TCG_COND_LE
, ra
, disp21
);
3310 ret
= gen_bdirect(ctx
, ra
, disp21
);
3312 case 0x35: /* FBNE */
3313 ret
= gen_fbcond(ctx
, TCG_COND_NE
, ra
, disp21
);
3315 case 0x36: /* FBGE */
3316 ret
= gen_fbcond(ctx
, TCG_COND_GE
, ra
, disp21
);
3318 case 0x37: /* FBGT */
3319 ret
= gen_fbcond(ctx
, TCG_COND_GT
, ra
, disp21
);
3323 ret
= gen_bcond(ctx
, TCG_COND_EQ
, ra
, disp21
, 1);
3327 ret
= gen_bcond(ctx
, TCG_COND_EQ
, ra
, disp21
, 0);
3331 ret
= gen_bcond(ctx
, TCG_COND_LT
, ra
, disp21
, 0);
3335 ret
= gen_bcond(ctx
, TCG_COND_LE
, ra
, disp21
, 0);
3339 ret
= gen_bcond(ctx
, TCG_COND_NE
, ra
, disp21
, 1);
3343 ret
= gen_bcond(ctx
, TCG_COND_NE
, ra
, disp21
, 0);
3347 ret
= gen_bcond(ctx
, TCG_COND_GE
, ra
, disp21
, 0);
3351 ret
= gen_bcond(ctx
, TCG_COND_GT
, ra
, disp21
, 0);
3354 ret
= gen_invalid(ctx
);
3361 static inline void gen_intermediate_code_internal(CPUAlphaState
*env
,
3362 TranslationBlock
*tb
,
3365 DisasContext ctx
, *ctxp
= &ctx
;
3366 target_ulong pc_start
;
3368 uint16_t *gen_opc_end
;
3376 gen_opc_end
= tcg_ctx
.gen_opc_buf
+ OPC_MAX_SIZE
;
3381 ctx
.mem_idx
= cpu_mmu_index(env
);
3383 /* ??? Every TB begins with unset rounding mode, to be initialized on
3384 the first fp insn of the TB. Alternately we could define a proper
3385 default for every TB (e.g. QUAL_RM_N or QUAL_RM_D) and make sure
3386 to reset the FP_STATUS to that default at the end of any TB that
3387 changes the default. We could even (gasp) dynamiclly figure out
3388 what default would be most efficient given the running program. */
3390 /* Similarly for flush-to-zero. */
3394 max_insns
= tb
->cflags
& CF_COUNT_MASK
;
3396 max_insns
= CF_COUNT_MASK
;
3400 if (unlikely(!QTAILQ_EMPTY(&env
->breakpoints
))) {
3401 QTAILQ_FOREACH(bp
, &env
->breakpoints
, entry
) {
3402 if (bp
->pc
== ctx
.pc
) {
3403 gen_excp(&ctx
, EXCP_DEBUG
, 0);
3409 j
= tcg_ctx
.gen_opc_ptr
- tcg_ctx
.gen_opc_buf
;
3413 tcg_ctx
.gen_opc_instr_start
[lj
++] = 0;
3415 tcg_ctx
.gen_opc_pc
[lj
] = ctx
.pc
;
3416 tcg_ctx
.gen_opc_instr_start
[lj
] = 1;
3417 tcg_ctx
.gen_opc_icount
[lj
] = num_insns
;
3419 if (num_insns
+ 1 == max_insns
&& (tb
->cflags
& CF_LAST_IO
))
3421 insn
= cpu_ldl_code(env
, ctx
.pc
);
3424 if (unlikely(qemu_loglevel_mask(CPU_LOG_TB_OP
| CPU_LOG_TB_OP_OPT
))) {
3425 tcg_gen_debug_insn_start(ctx
.pc
);
3429 ret
= translate_one(ctxp
, insn
);
3431 /* If we reach a page boundary, are single stepping,
3432 or exhaust instruction count, stop generation. */
3434 && ((ctx
.pc
& (TARGET_PAGE_SIZE
- 1)) == 0
3435 || tcg_ctx
.gen_opc_ptr
>= gen_opc_end
3436 || num_insns
>= max_insns
3438 || env
->singlestep_enabled
)) {
3439 ret
= EXIT_PC_STALE
;
3441 } while (ret
== NO_EXIT
);
3443 if (tb
->cflags
& CF_LAST_IO
) {
3452 tcg_gen_movi_i64(cpu_pc
, ctx
.pc
);
3454 case EXIT_PC_UPDATED
:
3455 if (env
->singlestep_enabled
) {
3456 gen_excp_1(EXCP_DEBUG
, 0);
3465 gen_icount_end(tb
, num_insns
);
3466 *tcg_ctx
.gen_opc_ptr
= INDEX_op_end
;
3468 j
= tcg_ctx
.gen_opc_ptr
- tcg_ctx
.gen_opc_buf
;
3471 tcg_ctx
.gen_opc_instr_start
[lj
++] = 0;
3473 tb
->size
= ctx
.pc
- pc_start
;
3474 tb
->icount
= num_insns
;
3478 if (qemu_loglevel_mask(CPU_LOG_TB_IN_ASM
)) {
3479 qemu_log("IN: %s\n", lookup_symbol(pc_start
));
3480 log_target_disas(env
, pc_start
, ctx
.pc
- pc_start
, 1);
3486 void gen_intermediate_code (CPUAlphaState
*env
, struct TranslationBlock
*tb
)
3488 gen_intermediate_code_internal(env
, tb
, 0);
3491 void gen_intermediate_code_pc (CPUAlphaState
*env
, struct TranslationBlock
*tb
)
3493 gen_intermediate_code_internal(env
, tb
, 1);
3501 static const struct cpu_def_t cpu_defs
[] = {
3502 { "ev4", IMPLVER_2106x
, 0 },
3503 { "ev5", IMPLVER_21164
, 0 },
3504 { "ev56", IMPLVER_21164
, AMASK_BWX
},
3505 { "pca56", IMPLVER_21164
, AMASK_BWX
| AMASK_MVI
},
3506 { "ev6", IMPLVER_21264
, AMASK_BWX
| AMASK_FIX
| AMASK_MVI
| AMASK_TRAP
},
3507 { "ev67", IMPLVER_21264
, (AMASK_BWX
| AMASK_FIX
| AMASK_CIX
3508 | AMASK_MVI
| AMASK_TRAP
| AMASK_PREFETCH
), },
3509 { "ev68", IMPLVER_21264
, (AMASK_BWX
| AMASK_FIX
| AMASK_CIX
3510 | AMASK_MVI
| AMASK_TRAP
| AMASK_PREFETCH
), },
3511 { "21064", IMPLVER_2106x
, 0 },
3512 { "21164", IMPLVER_21164
, 0 },
3513 { "21164a", IMPLVER_21164
, AMASK_BWX
},
3514 { "21164pc", IMPLVER_21164
, AMASK_BWX
| AMASK_MVI
},
3515 { "21264", IMPLVER_21264
, AMASK_BWX
| AMASK_FIX
| AMASK_MVI
| AMASK_TRAP
},
3516 { "21264a", IMPLVER_21264
, (AMASK_BWX
| AMASK_FIX
| AMASK_CIX
3517 | AMASK_MVI
| AMASK_TRAP
| AMASK_PREFETCH
), }
3520 CPUAlphaState
* cpu_alpha_init (const char *cpu_model
)
3524 int implver
, amask
, i
, max
;
3526 cpu
= ALPHA_CPU(object_new(TYPE_ALPHA_CPU
));
3529 alpha_translate_init();
3531 /* Default to ev67; no reason not to emulate insns by default. */
3532 implver
= IMPLVER_21264
;
3533 amask
= (AMASK_BWX
| AMASK_FIX
| AMASK_CIX
| AMASK_MVI
3534 | AMASK_TRAP
| AMASK_PREFETCH
);
3536 max
= ARRAY_SIZE(cpu_defs
);
3537 for (i
= 0; i
< max
; i
++) {
3538 if (strcmp (cpu_model
, cpu_defs
[i
].name
) == 0) {
3539 implver
= cpu_defs
[i
].implver
;
3540 amask
= cpu_defs
[i
].amask
;
3544 env
->implver
= implver
;
3546 env
->cpu_model_str
= cpu_model
;
3548 qemu_init_vcpu(env
);
3552 void restore_state_to_opc(CPUAlphaState
*env
, TranslationBlock
*tb
, int pc_pos
)
3554 env
->pc
= tcg_ctx
.gen_opc_pc
[pc_pos
];