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/>.
21 #include "disas/disas.h"
22 #include "qemu/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 "exec/gen-icount.h"
93 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 "fpu/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); \
1404 /* Code to call arith3 helpers */
1405 #define ARITH3_EX(name) \
1406 static inline void glue(gen_, name)(int ra, int rb, int rc, \
1407 int islit, uint8_t lit) \
1409 if (unlikely(rc == 31)) { \
1414 TCGv tmp = tcg_const_i64(lit); \
1415 gen_helper_ ## name(cpu_ir[rc], cpu_env, \
1417 tcg_temp_free(tmp); \
1419 gen_helper_ ## name(cpu_ir[rc], cpu_env, \
1420 cpu_ir[ra], cpu_ir[rb]); \
1423 TCGv tmp1 = tcg_const_i64(0); \
1425 TCGv tmp2 = tcg_const_i64(lit); \
1426 gen_helper_ ## name(cpu_ir[rc], cpu_env, tmp1, tmp2); \
1427 tcg_temp_free(tmp2); \
1429 gen_helper_ ## name(cpu_ir[rc], cpu_env, tmp1, cpu_ir[rb]); \
1431 tcg_temp_free(tmp1); \
1441 #define MVIOP2(name) \
1442 static inline void glue(gen_, name)(int rb, int rc) \
1444 if (unlikely(rc == 31)) \
1446 if (unlikely(rb == 31)) \
1447 tcg_gen_movi_i64(cpu_ir[rc], 0); \
1449 gen_helper_ ## name (cpu_ir[rc], cpu_ir[rb]); \
1456 static void gen_cmp(TCGCond cond
, int ra
, int rb
, int rc
,
1457 int islit
, uint8_t lit
)
1461 if (unlikely(rc
== 31)) {
1466 va
= tcg_const_i64(0);
1471 vb
= tcg_const_i64(lit
);
1476 tcg_gen_setcond_i64(cond
, cpu_ir
[rc
], va
, vb
);
1486 static void gen_rx(int ra
, int set
)
1491 tcg_gen_ld8u_i64(cpu_ir
[ra
], cpu_env
, offsetof(CPUAlphaState
, intr_flag
));
1494 tmp
= tcg_const_i32(set
);
1495 tcg_gen_st8_i32(tmp
, cpu_env
, offsetof(CPUAlphaState
, intr_flag
));
1496 tcg_temp_free_i32(tmp
);
1499 static ExitStatus
gen_call_pal(DisasContext
*ctx
, int palcode
)
1501 /* We're emulating OSF/1 PALcode. Many of these are trivial access
1502 to internal cpu registers. */
1504 /* Unprivileged PAL call */
1505 if (palcode
>= 0x80 && palcode
< 0xC0) {
1509 /* No-op inside QEMU. */
1513 tcg_gen_mov_i64(cpu_ir
[IR_V0
], cpu_unique
);
1517 tcg_gen_mov_i64(cpu_unique
, cpu_ir
[IR_A0
]);
1520 return gen_excp(ctx
, EXCP_CALL_PAL
, palcode
& 0xbf);
1525 #ifndef CONFIG_USER_ONLY
1526 /* Privileged PAL code */
1527 if (palcode
< 0x40 && (ctx
->tb
->flags
& TB_FLAGS_USER_MODE
) == 0) {
1531 /* No-op inside QEMU. */
1535 /* No-op inside QEMU. */
1539 tcg_gen_st_i64(cpu_ir
[IR_A0
], cpu_env
, offsetof(CPUAlphaState
, vptptr
));
1543 tcg_gen_mov_i64(cpu_sysval
, cpu_ir
[IR_A0
]);
1547 tcg_gen_mov_i64(cpu_ir
[IR_V0
], cpu_sysval
);
1554 /* Note that we already know we're in kernel mode, so we know
1555 that PS only contains the 3 IPL bits. */
1556 tcg_gen_ld8u_i64(cpu_ir
[IR_V0
], cpu_env
, offsetof(CPUAlphaState
, ps
));
1558 /* But make sure and store only the 3 IPL bits from the user. */
1559 tmp
= tcg_temp_new();
1560 tcg_gen_andi_i64(tmp
, cpu_ir
[IR_A0
], PS_INT_MASK
);
1561 tcg_gen_st8_i64(tmp
, cpu_env
, offsetof(CPUAlphaState
, ps
));
1568 tcg_gen_ld8u_i64(cpu_ir
[IR_V0
], cpu_env
, offsetof(CPUAlphaState
, ps
));
1572 tcg_gen_mov_i64(cpu_usp
, cpu_ir
[IR_A0
]);
1576 tcg_gen_mov_i64(cpu_ir
[IR_V0
], cpu_usp
);
1580 tcg_gen_ld32s_i64(cpu_ir
[IR_V0
], cpu_env
,
1581 -offsetof(AlphaCPU
, env
) + offsetof(CPUState
, cpu_index
));
1585 return gen_excp(ctx
, EXCP_CALL_PAL
, palcode
& 0x3f);
1591 return gen_invalid(ctx
);
1594 #ifndef CONFIG_USER_ONLY
1596 #define PR_BYTE 0x100000
1597 #define PR_LONG 0x200000
1599 static int cpu_pr_data(int pr
)
1602 case 0: return offsetof(CPUAlphaState
, ps
) | PR_BYTE
;
1603 case 1: return offsetof(CPUAlphaState
, fen
) | PR_BYTE
;
1604 case 2: return offsetof(CPUAlphaState
, pcc_ofs
) | PR_LONG
;
1605 case 3: return offsetof(CPUAlphaState
, trap_arg0
);
1606 case 4: return offsetof(CPUAlphaState
, trap_arg1
);
1607 case 5: return offsetof(CPUAlphaState
, trap_arg2
);
1608 case 6: return offsetof(CPUAlphaState
, exc_addr
);
1609 case 7: return offsetof(CPUAlphaState
, palbr
);
1610 case 8: return offsetof(CPUAlphaState
, ptbr
);
1611 case 9: return offsetof(CPUAlphaState
, vptptr
);
1612 case 10: return offsetof(CPUAlphaState
, unique
);
1613 case 11: return offsetof(CPUAlphaState
, sysval
);
1614 case 12: return offsetof(CPUAlphaState
, usp
);
1617 return offsetof(CPUAlphaState
, shadow
[pr
- 32]);
1619 return offsetof(CPUAlphaState
, scratch
[pr
- 40]);
1622 return offsetof(CPUAlphaState
, alarm_expire
);
1627 static ExitStatus
gen_mfpr(int ra
, int regno
)
1629 int data
= cpu_pr_data(regno
);
1631 /* In our emulated PALcode, these processor registers have no
1632 side effects from reading. */
1637 /* Special help for VMTIME and WALLTIME. */
1638 if (regno
== 250 || regno
== 249) {
1639 void (*helper
)(TCGv
) = gen_helper_get_walltime
;
1641 helper
= gen_helper_get_vmtime
;
1647 return EXIT_PC_STALE
;
1654 /* The basic registers are data only, and unknown registers
1655 are read-zero, write-ignore. */
1657 tcg_gen_movi_i64(cpu_ir
[ra
], 0);
1658 } else if (data
& PR_BYTE
) {
1659 tcg_gen_ld8u_i64(cpu_ir
[ra
], cpu_env
, data
& ~PR_BYTE
);
1660 } else if (data
& PR_LONG
) {
1661 tcg_gen_ld32s_i64(cpu_ir
[ra
], cpu_env
, data
& ~PR_LONG
);
1663 tcg_gen_ld_i64(cpu_ir
[ra
], cpu_env
, data
);
1668 static ExitStatus
gen_mtpr(DisasContext
*ctx
, int rb
, int regno
)
1674 tmp
= tcg_const_i64(0);
1682 gen_helper_tbia(cpu_env
);
1687 gen_helper_tbis(cpu_env
, tmp
);
1692 tmp
= tcg_const_i64(1);
1693 tcg_gen_st32_i64(tmp
, cpu_env
, -offsetof(AlphaCPU
, env
) +
1694 offsetof(CPUState
, halted
));
1695 return gen_excp(ctx
, EXCP_HLT
, 0);
1699 gen_helper_halt(tmp
);
1700 return EXIT_PC_STALE
;
1704 gen_helper_set_alarm(cpu_env
, tmp
);
1708 /* The basic registers are data only, and unknown registers
1709 are read-zero, write-ignore. */
1710 data
= cpu_pr_data(regno
);
1712 if (data
& PR_BYTE
) {
1713 tcg_gen_st8_i64(tmp
, cpu_env
, data
& ~PR_BYTE
);
1714 } else if (data
& PR_LONG
) {
1715 tcg_gen_st32_i64(tmp
, cpu_env
, data
& ~PR_LONG
);
1717 tcg_gen_st_i64(tmp
, cpu_env
, data
);
1729 #endif /* !USER_ONLY*/
1731 static ExitStatus
translate_one(DisasContext
*ctx
, uint32_t insn
)
1734 int32_t disp21
, disp16
;
1735 #ifndef CONFIG_USER_ONLY
1739 uint8_t opc
, ra
, rb
, rc
, fpfn
, fn7
, islit
, real_islit
;
1743 /* Decode all instruction fields */
1745 ra
= (insn
>> 21) & 0x1F;
1746 rb
= (insn
>> 16) & 0x1F;
1748 real_islit
= islit
= (insn
>> 12) & 1;
1749 if (rb
== 31 && !islit
) {
1753 lit
= (insn
>> 13) & 0xFF;
1754 palcode
= insn
& 0x03FFFFFF;
1755 disp21
= ((int32_t)((insn
& 0x001FFFFF) << 11)) >> 11;
1756 disp16
= (int16_t)(insn
& 0x0000FFFF);
1757 #ifndef CONFIG_USER_ONLY
1758 disp12
= (int32_t)((insn
& 0x00000FFF) << 20) >> 20;
1760 fn11
= (insn
>> 5) & 0x000007FF;
1762 fn7
= (insn
>> 5) & 0x0000007F;
1763 LOG_DISAS("opc %02x ra %2d rb %2d rc %2d disp16 %6d\n",
1764 opc
, ra
, rb
, rc
, disp16
);
1770 ret
= gen_call_pal(ctx
, palcode
);
1795 if (likely(ra
!= 31)) {
1797 tcg_gen_addi_i64(cpu_ir
[ra
], cpu_ir
[rb
], disp16
);
1799 tcg_gen_movi_i64(cpu_ir
[ra
], disp16
);
1804 if (likely(ra
!= 31)) {
1806 tcg_gen_addi_i64(cpu_ir
[ra
], cpu_ir
[rb
], disp16
<< 16);
1808 tcg_gen_movi_i64(cpu_ir
[ra
], disp16
<< 16);
1813 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_BWX
) {
1814 gen_load_mem(ctx
, &tcg_gen_qemu_ld8u
, ra
, rb
, disp16
, 0, 0);
1820 gen_load_mem(ctx
, &tcg_gen_qemu_ld64
, ra
, rb
, disp16
, 0, 1);
1824 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_BWX
) {
1825 gen_load_mem(ctx
, &tcg_gen_qemu_ld16u
, ra
, rb
, disp16
, 0, 0);
1831 gen_store_mem(ctx
, &tcg_gen_qemu_st16
, ra
, rb
, disp16
, 0, 0);
1835 gen_store_mem(ctx
, &tcg_gen_qemu_st8
, ra
, rb
, disp16
, 0, 0);
1839 gen_store_mem(ctx
, &tcg_gen_qemu_st64
, ra
, rb
, disp16
, 0, 1);
1845 if (likely(rc
!= 31)) {
1848 tcg_gen_addi_i64(cpu_ir
[rc
], cpu_ir
[ra
], lit
);
1849 tcg_gen_ext32s_i64(cpu_ir
[rc
], cpu_ir
[rc
]);
1851 tcg_gen_add_i64(cpu_ir
[rc
], cpu_ir
[ra
], cpu_ir
[rb
]);
1852 tcg_gen_ext32s_i64(cpu_ir
[rc
], cpu_ir
[rc
]);
1856 tcg_gen_movi_i64(cpu_ir
[rc
], lit
);
1858 tcg_gen_ext32s_i64(cpu_ir
[rc
], cpu_ir
[rb
]);
1864 if (likely(rc
!= 31)) {
1866 TCGv tmp
= tcg_temp_new();
1867 tcg_gen_shli_i64(tmp
, cpu_ir
[ra
], 2);
1869 tcg_gen_addi_i64(tmp
, tmp
, lit
);
1871 tcg_gen_add_i64(tmp
, tmp
, cpu_ir
[rb
]);
1872 tcg_gen_ext32s_i64(cpu_ir
[rc
], tmp
);
1876 tcg_gen_movi_i64(cpu_ir
[rc
], lit
);
1878 tcg_gen_ext32s_i64(cpu_ir
[rc
], cpu_ir
[rb
]);
1884 if (likely(rc
!= 31)) {
1887 tcg_gen_subi_i64(cpu_ir
[rc
], cpu_ir
[ra
], lit
);
1889 tcg_gen_sub_i64(cpu_ir
[rc
], cpu_ir
[ra
], cpu_ir
[rb
]);
1890 tcg_gen_ext32s_i64(cpu_ir
[rc
], cpu_ir
[rc
]);
1893 tcg_gen_movi_i64(cpu_ir
[rc
], -lit
);
1895 tcg_gen_neg_i64(cpu_ir
[rc
], cpu_ir
[rb
]);
1896 tcg_gen_ext32s_i64(cpu_ir
[rc
], cpu_ir
[rc
]);
1902 if (likely(rc
!= 31)) {
1904 TCGv tmp
= tcg_temp_new();
1905 tcg_gen_shli_i64(tmp
, cpu_ir
[ra
], 2);
1907 tcg_gen_subi_i64(tmp
, tmp
, lit
);
1909 tcg_gen_sub_i64(tmp
, tmp
, cpu_ir
[rb
]);
1910 tcg_gen_ext32s_i64(cpu_ir
[rc
], tmp
);
1914 tcg_gen_movi_i64(cpu_ir
[rc
], -lit
);
1916 tcg_gen_neg_i64(cpu_ir
[rc
], cpu_ir
[rb
]);
1917 tcg_gen_ext32s_i64(cpu_ir
[rc
], cpu_ir
[rc
]);
1924 gen_cmpbge(ra
, rb
, rc
, islit
, lit
);
1928 if (likely(rc
!= 31)) {
1930 TCGv tmp
= tcg_temp_new();
1931 tcg_gen_shli_i64(tmp
, cpu_ir
[ra
], 3);
1933 tcg_gen_addi_i64(tmp
, tmp
, lit
);
1935 tcg_gen_add_i64(tmp
, tmp
, cpu_ir
[rb
]);
1936 tcg_gen_ext32s_i64(cpu_ir
[rc
], tmp
);
1940 tcg_gen_movi_i64(cpu_ir
[rc
], lit
);
1942 tcg_gen_ext32s_i64(cpu_ir
[rc
], cpu_ir
[rb
]);
1948 if (likely(rc
!= 31)) {
1950 TCGv tmp
= tcg_temp_new();
1951 tcg_gen_shli_i64(tmp
, cpu_ir
[ra
], 3);
1953 tcg_gen_subi_i64(tmp
, tmp
, lit
);
1955 tcg_gen_sub_i64(tmp
, tmp
, cpu_ir
[rb
]);
1956 tcg_gen_ext32s_i64(cpu_ir
[rc
], tmp
);
1960 tcg_gen_movi_i64(cpu_ir
[rc
], -lit
);
1962 tcg_gen_neg_i64(cpu_ir
[rc
], cpu_ir
[rb
]);
1963 tcg_gen_ext32s_i64(cpu_ir
[rc
], cpu_ir
[rc
]);
1970 gen_cmp(TCG_COND_LTU
, ra
, rb
, rc
, islit
, lit
);
1974 if (likely(rc
!= 31)) {
1977 tcg_gen_addi_i64(cpu_ir
[rc
], cpu_ir
[ra
], lit
);
1979 tcg_gen_add_i64(cpu_ir
[rc
], cpu_ir
[ra
], cpu_ir
[rb
]);
1982 tcg_gen_movi_i64(cpu_ir
[rc
], lit
);
1984 tcg_gen_mov_i64(cpu_ir
[rc
], cpu_ir
[rb
]);
1990 if (likely(rc
!= 31)) {
1992 TCGv tmp
= tcg_temp_new();
1993 tcg_gen_shli_i64(tmp
, cpu_ir
[ra
], 2);
1995 tcg_gen_addi_i64(cpu_ir
[rc
], tmp
, lit
);
1997 tcg_gen_add_i64(cpu_ir
[rc
], tmp
, cpu_ir
[rb
]);
2001 tcg_gen_movi_i64(cpu_ir
[rc
], lit
);
2003 tcg_gen_mov_i64(cpu_ir
[rc
], cpu_ir
[rb
]);
2009 if (likely(rc
!= 31)) {
2012 tcg_gen_subi_i64(cpu_ir
[rc
], cpu_ir
[ra
], lit
);
2014 tcg_gen_sub_i64(cpu_ir
[rc
], cpu_ir
[ra
], cpu_ir
[rb
]);
2017 tcg_gen_movi_i64(cpu_ir
[rc
], -lit
);
2019 tcg_gen_neg_i64(cpu_ir
[rc
], cpu_ir
[rb
]);
2025 if (likely(rc
!= 31)) {
2027 TCGv tmp
= tcg_temp_new();
2028 tcg_gen_shli_i64(tmp
, cpu_ir
[ra
], 2);
2030 tcg_gen_subi_i64(cpu_ir
[rc
], tmp
, lit
);
2032 tcg_gen_sub_i64(cpu_ir
[rc
], tmp
, cpu_ir
[rb
]);
2036 tcg_gen_movi_i64(cpu_ir
[rc
], -lit
);
2038 tcg_gen_neg_i64(cpu_ir
[rc
], cpu_ir
[rb
]);
2044 gen_cmp(TCG_COND_EQ
, ra
, rb
, rc
, islit
, lit
);
2048 if (likely(rc
!= 31)) {
2050 TCGv tmp
= tcg_temp_new();
2051 tcg_gen_shli_i64(tmp
, cpu_ir
[ra
], 3);
2053 tcg_gen_addi_i64(cpu_ir
[rc
], tmp
, lit
);
2055 tcg_gen_add_i64(cpu_ir
[rc
], tmp
, cpu_ir
[rb
]);
2059 tcg_gen_movi_i64(cpu_ir
[rc
], lit
);
2061 tcg_gen_mov_i64(cpu_ir
[rc
], cpu_ir
[rb
]);
2067 if (likely(rc
!= 31)) {
2069 TCGv tmp
= tcg_temp_new();
2070 tcg_gen_shli_i64(tmp
, cpu_ir
[ra
], 3);
2072 tcg_gen_subi_i64(cpu_ir
[rc
], tmp
, lit
);
2074 tcg_gen_sub_i64(cpu_ir
[rc
], tmp
, cpu_ir
[rb
]);
2078 tcg_gen_movi_i64(cpu_ir
[rc
], -lit
);
2080 tcg_gen_neg_i64(cpu_ir
[rc
], cpu_ir
[rb
]);
2086 gen_cmp(TCG_COND_LEU
, ra
, rb
, rc
, islit
, lit
);
2090 gen_addlv(ra
, rb
, rc
, islit
, lit
);
2094 gen_sublv(ra
, rb
, rc
, islit
, lit
);
2098 gen_cmp(TCG_COND_LT
, ra
, rb
, rc
, islit
, lit
);
2102 gen_addqv(ra
, rb
, rc
, islit
, lit
);
2106 gen_subqv(ra
, rb
, rc
, islit
, lit
);
2110 gen_cmp(TCG_COND_LE
, ra
, rb
, rc
, islit
, lit
);
2120 if (likely(rc
!= 31)) {
2122 tcg_gen_movi_i64(cpu_ir
[rc
], 0);
2124 tcg_gen_andi_i64(cpu_ir
[rc
], cpu_ir
[ra
], lit
);
2126 tcg_gen_and_i64(cpu_ir
[rc
], cpu_ir
[ra
], cpu_ir
[rb
]);
2131 if (likely(rc
!= 31)) {
2134 tcg_gen_andi_i64(cpu_ir
[rc
], cpu_ir
[ra
], ~lit
);
2136 tcg_gen_andc_i64(cpu_ir
[rc
], cpu_ir
[ra
], cpu_ir
[rb
]);
2138 tcg_gen_movi_i64(cpu_ir
[rc
], 0);
2143 gen_cmov(TCG_COND_NE
, ra
, rb
, rc
, islit
, lit
, 1);
2147 gen_cmov(TCG_COND_EQ
, ra
, rb
, rc
, islit
, lit
, 1);
2151 if (likely(rc
!= 31)) {
2154 tcg_gen_ori_i64(cpu_ir
[rc
], cpu_ir
[ra
], lit
);
2156 tcg_gen_or_i64(cpu_ir
[rc
], cpu_ir
[ra
], cpu_ir
[rb
]);
2159 tcg_gen_movi_i64(cpu_ir
[rc
], lit
);
2161 tcg_gen_mov_i64(cpu_ir
[rc
], cpu_ir
[rb
]);
2167 gen_cmov(TCG_COND_EQ
, ra
, rb
, rc
, islit
, lit
, 0);
2171 gen_cmov(TCG_COND_NE
, ra
, rb
, rc
, islit
, lit
, 0);
2175 if (likely(rc
!= 31)) {
2178 tcg_gen_ori_i64(cpu_ir
[rc
], cpu_ir
[ra
], ~lit
);
2180 tcg_gen_orc_i64(cpu_ir
[rc
], cpu_ir
[ra
], cpu_ir
[rb
]);
2183 tcg_gen_movi_i64(cpu_ir
[rc
], ~lit
);
2185 tcg_gen_not_i64(cpu_ir
[rc
], cpu_ir
[rb
]);
2191 if (likely(rc
!= 31)) {
2194 tcg_gen_xori_i64(cpu_ir
[rc
], cpu_ir
[ra
], lit
);
2196 tcg_gen_xor_i64(cpu_ir
[rc
], cpu_ir
[ra
], cpu_ir
[rb
]);
2199 tcg_gen_movi_i64(cpu_ir
[rc
], lit
);
2201 tcg_gen_mov_i64(cpu_ir
[rc
], cpu_ir
[rb
]);
2207 gen_cmov(TCG_COND_LT
, ra
, rb
, rc
, islit
, lit
, 0);
2211 gen_cmov(TCG_COND_GE
, ra
, rb
, rc
, islit
, lit
, 0);
2215 if (likely(rc
!= 31)) {
2218 tcg_gen_xori_i64(cpu_ir
[rc
], cpu_ir
[ra
], ~lit
);
2220 tcg_gen_eqv_i64(cpu_ir
[rc
], cpu_ir
[ra
], cpu_ir
[rb
]);
2223 tcg_gen_movi_i64(cpu_ir
[rc
], ~lit
);
2225 tcg_gen_not_i64(cpu_ir
[rc
], cpu_ir
[rb
]);
2231 if (likely(rc
!= 31)) {
2232 uint64_t amask
= ctx
->tb
->flags
>> TB_FLAGS_AMASK_SHIFT
;
2235 tcg_gen_movi_i64(cpu_ir
[rc
], lit
& ~amask
);
2237 tcg_gen_andi_i64(cpu_ir
[rc
], cpu_ir
[rb
], ~amask
);
2243 gen_cmov(TCG_COND_LE
, ra
, rb
, rc
, islit
, lit
, 0);
2247 gen_cmov(TCG_COND_GT
, ra
, rb
, rc
, islit
, lit
, 0);
2252 tcg_gen_movi_i64(cpu_ir
[rc
], ctx
->env
->implver
);
2262 gen_msk_l(ra
, rb
, rc
, islit
, lit
, 0x01);
2266 gen_ext_l(ra
, rb
, rc
, islit
, lit
, 0x01);
2270 gen_ins_l(ra
, rb
, rc
, islit
, lit
, 0x01);
2274 gen_msk_l(ra
, rb
, rc
, islit
, lit
, 0x03);
2278 gen_ext_l(ra
, rb
, rc
, islit
, lit
, 0x03);
2282 gen_ins_l(ra
, rb
, rc
, islit
, lit
, 0x03);
2286 gen_msk_l(ra
, rb
, rc
, islit
, lit
, 0x0f);
2290 gen_ext_l(ra
, rb
, rc
, islit
, lit
, 0x0f);
2294 gen_ins_l(ra
, rb
, rc
, islit
, lit
, 0x0f);
2298 gen_zap(ra
, rb
, rc
, islit
, lit
);
2302 gen_zapnot(ra
, rb
, rc
, islit
, lit
);
2306 gen_msk_l(ra
, rb
, rc
, islit
, lit
, 0xff);
2310 if (likely(rc
!= 31)) {
2313 tcg_gen_shri_i64(cpu_ir
[rc
], cpu_ir
[ra
], lit
& 0x3f);
2315 TCGv shift
= tcg_temp_new();
2316 tcg_gen_andi_i64(shift
, cpu_ir
[rb
], 0x3f);
2317 tcg_gen_shr_i64(cpu_ir
[rc
], cpu_ir
[ra
], shift
);
2318 tcg_temp_free(shift
);
2321 tcg_gen_movi_i64(cpu_ir
[rc
], 0);
2326 gen_ext_l(ra
, rb
, rc
, islit
, lit
, 0xff);
2330 if (likely(rc
!= 31)) {
2333 tcg_gen_shli_i64(cpu_ir
[rc
], cpu_ir
[ra
], lit
& 0x3f);
2335 TCGv shift
= tcg_temp_new();
2336 tcg_gen_andi_i64(shift
, cpu_ir
[rb
], 0x3f);
2337 tcg_gen_shl_i64(cpu_ir
[rc
], cpu_ir
[ra
], shift
);
2338 tcg_temp_free(shift
);
2341 tcg_gen_movi_i64(cpu_ir
[rc
], 0);
2346 gen_ins_l(ra
, rb
, rc
, islit
, lit
, 0xff);
2350 if (likely(rc
!= 31)) {
2353 tcg_gen_sari_i64(cpu_ir
[rc
], cpu_ir
[ra
], lit
& 0x3f);
2355 TCGv shift
= tcg_temp_new();
2356 tcg_gen_andi_i64(shift
, cpu_ir
[rb
], 0x3f);
2357 tcg_gen_sar_i64(cpu_ir
[rc
], cpu_ir
[ra
], shift
);
2358 tcg_temp_free(shift
);
2361 tcg_gen_movi_i64(cpu_ir
[rc
], 0);
2366 gen_msk_h(ra
, rb
, rc
, islit
, lit
, 0x03);
2370 gen_ins_h(ra
, rb
, rc
, islit
, lit
, 0x03);
2374 gen_ext_h(ra
, rb
, rc
, islit
, lit
, 0x03);
2378 gen_msk_h(ra
, rb
, rc
, islit
, lit
, 0x0f);
2382 gen_ins_h(ra
, rb
, rc
, islit
, lit
, 0x0f);
2386 gen_ext_h(ra
, rb
, rc
, islit
, lit
, 0x0f);
2390 gen_msk_h(ra
, rb
, rc
, islit
, lit
, 0xff);
2394 gen_ins_h(ra
, rb
, rc
, islit
, lit
, 0xff);
2398 gen_ext_h(ra
, rb
, rc
, islit
, lit
, 0xff);
2408 if (likely(rc
!= 31)) {
2410 tcg_gen_movi_i64(cpu_ir
[rc
], 0);
2413 tcg_gen_muli_i64(cpu_ir
[rc
], cpu_ir
[ra
], lit
);
2415 tcg_gen_mul_i64(cpu_ir
[rc
], cpu_ir
[ra
], cpu_ir
[rb
]);
2416 tcg_gen_ext32s_i64(cpu_ir
[rc
], cpu_ir
[rc
]);
2422 if (likely(rc
!= 31)) {
2424 tcg_gen_movi_i64(cpu_ir
[rc
], 0);
2426 tcg_gen_muli_i64(cpu_ir
[rc
], cpu_ir
[ra
], lit
);
2428 tcg_gen_mul_i64(cpu_ir
[rc
], cpu_ir
[ra
], cpu_ir
[rb
]);
2435 if (unlikely(rc
== 31)){
2439 tcg_gen_movi_i64(cpu_ir
[rc
], 0);
2442 low
= tcg_temp_new();
2444 tcg_gen_movi_tl(low
, lit
);
2445 tcg_gen_mulu2_i64(low
, cpu_ir
[rc
], cpu_ir
[ra
], low
);
2447 tcg_gen_mulu2_i64(low
, cpu_ir
[rc
], cpu_ir
[ra
], cpu_ir
[rb
]);
2454 gen_mullv(ra
, rb
, rc
, islit
, lit
);
2458 gen_mulqv(ra
, rb
, rc
, islit
, lit
);
2465 switch (fpfn
) { /* fn11 & 0x3F */
2468 if ((ctx
->tb
->flags
& TB_FLAGS_AMASK_FIX
) == 0) {
2471 if (likely(rc
!= 31)) {
2473 TCGv_i32 tmp
= tcg_temp_new_i32();
2474 tcg_gen_trunc_i64_i32(tmp
, cpu_ir
[ra
]);
2475 gen_helper_memory_to_s(cpu_fir
[rc
], tmp
);
2476 tcg_temp_free_i32(tmp
);
2478 tcg_gen_movi_i64(cpu_fir
[rc
], 0);
2483 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_FIX
) {
2490 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_FIX
) {
2491 gen_fsqrts(ctx
, rb
, rc
, fn11
);
2497 if ((ctx
->tb
->flags
& TB_FLAGS_AMASK_FIX
) == 0) {
2500 if (likely(rc
!= 31)) {
2502 TCGv_i32 tmp
= tcg_temp_new_i32();
2503 tcg_gen_trunc_i64_i32(tmp
, cpu_ir
[ra
]);
2504 gen_helper_memory_to_f(cpu_fir
[rc
], tmp
);
2505 tcg_temp_free_i32(tmp
);
2507 tcg_gen_movi_i64(cpu_fir
[rc
], 0);
2512 if ((ctx
->tb
->flags
& TB_FLAGS_AMASK_FIX
) == 0) {
2515 if (likely(rc
!= 31)) {
2517 tcg_gen_mov_i64(cpu_fir
[rc
], cpu_ir
[ra
]);
2519 tcg_gen_movi_i64(cpu_fir
[rc
], 0);
2524 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_FIX
) {
2531 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_FIX
) {
2532 gen_fsqrtt(ctx
, rb
, rc
, fn11
);
2541 /* VAX floating point */
2542 /* XXX: rounding mode and trap are ignored (!) */
2543 switch (fpfn
) { /* fn11 & 0x3F */
2546 gen_faddf(ra
, rb
, rc
);
2550 gen_fsubf(ra
, rb
, rc
);
2554 gen_fmulf(ra
, rb
, rc
);
2558 gen_fdivf(ra
, rb
, rc
);
2570 gen_faddg(ra
, rb
, rc
);
2574 gen_fsubg(ra
, rb
, rc
);
2578 gen_fmulg(ra
, rb
, rc
);
2582 gen_fdivg(ra
, rb
, rc
);
2586 gen_fcmpgeq(ra
, rb
, rc
);
2590 gen_fcmpglt(ra
, rb
, rc
);
2594 gen_fcmpgle(ra
, rb
, rc
);
2625 /* IEEE floating-point */
2626 switch (fpfn
) { /* fn11 & 0x3F */
2629 gen_fadds(ctx
, ra
, rb
, rc
, fn11
);
2633 gen_fsubs(ctx
, ra
, rb
, rc
, fn11
);
2637 gen_fmuls(ctx
, ra
, rb
, rc
, fn11
);
2641 gen_fdivs(ctx
, ra
, rb
, rc
, fn11
);
2645 gen_faddt(ctx
, ra
, rb
, rc
, fn11
);
2649 gen_fsubt(ctx
, ra
, rb
, rc
, fn11
);
2653 gen_fmult(ctx
, ra
, rb
, rc
, fn11
);
2657 gen_fdivt(ctx
, ra
, rb
, rc
, fn11
);
2661 gen_fcmptun(ctx
, ra
, rb
, rc
, fn11
);
2665 gen_fcmpteq(ctx
, ra
, rb
, rc
, fn11
);
2669 gen_fcmptlt(ctx
, ra
, rb
, rc
, fn11
);
2673 gen_fcmptle(ctx
, ra
, rb
, rc
, fn11
);
2676 if (fn11
== 0x2AC || fn11
== 0x6AC) {
2678 gen_fcvtst(ctx
, rb
, rc
, fn11
);
2681 gen_fcvtts(ctx
, rb
, rc
, fn11
);
2686 gen_fcvttq(ctx
, rb
, rc
, fn11
);
2690 gen_fcvtqs(ctx
, rb
, rc
, fn11
);
2694 gen_fcvtqt(ctx
, rb
, rc
, fn11
);
2707 if (likely(rc
!= 31)) {
2711 tcg_gen_movi_i64(cpu_fir
[rc
], 0);
2713 tcg_gen_mov_i64(cpu_fir
[rc
], cpu_fir
[ra
]);
2716 gen_fcpys(ra
, rb
, rc
);
2722 gen_fcpysn(ra
, rb
, rc
);
2726 gen_fcpyse(ra
, rb
, rc
);
2730 if (likely(ra
!= 31))
2731 gen_helper_store_fpcr(cpu_env
, cpu_fir
[ra
]);
2733 TCGv tmp
= tcg_const_i64(0);
2734 gen_helper_store_fpcr(cpu_env
, tmp
);
2740 if (likely(ra
!= 31))
2741 gen_helper_load_fpcr(cpu_fir
[ra
], cpu_env
);
2745 gen_fcmov(TCG_COND_EQ
, ra
, rb
, rc
);
2749 gen_fcmov(TCG_COND_NE
, ra
, rb
, rc
);
2753 gen_fcmov(TCG_COND_LT
, ra
, rb
, rc
);
2757 gen_fcmov(TCG_COND_GE
, ra
, rb
, rc
);
2761 gen_fcmov(TCG_COND_LE
, ra
, rb
, rc
);
2765 gen_fcmov(TCG_COND_GT
, ra
, rb
, rc
);
2775 /* ??? I'm pretty sure there's nothing that /sv needs to do that
2776 /v doesn't do. The only thing I can think is that /sv is a
2777 valid instruction merely for completeness in the ISA. */
2778 gen_fcvtql_v(ctx
, rb
, rc
);
2785 switch ((uint16_t)disp16
) {
2815 gen_helper_load_pcc(cpu_ir
[ra
], cpu_env
);
2817 ret
= EXIT_PC_STALE
;
2819 gen_helper_load_pcc(cpu_ir
[ra
], cpu_env
);
2843 /* HW_MFPR (PALcode) */
2844 #ifndef CONFIG_USER_ONLY
2845 if (ctx
->tb
->flags
& TB_FLAGS_PAL_MODE
) {
2846 return gen_mfpr(ra
, insn
& 0xffff);
2851 /* JMP, JSR, RET, JSR_COROUTINE. These only differ by the branch
2852 prediction stack action, which of course we don't implement. */
2854 tcg_gen_andi_i64(cpu_pc
, cpu_ir
[rb
], ~3);
2856 tcg_gen_movi_i64(cpu_pc
, 0);
2859 tcg_gen_movi_i64(cpu_ir
[ra
], ctx
->pc
);
2861 ret
= EXIT_PC_UPDATED
;
2864 /* HW_LD (PALcode) */
2865 #ifndef CONFIG_USER_ONLY
2866 if (ctx
->tb
->flags
& TB_FLAGS_PAL_MODE
) {
2873 addr
= tcg_temp_new();
2875 tcg_gen_addi_i64(addr
, cpu_ir
[rb
], disp12
);
2877 tcg_gen_movi_i64(addr
, disp12
);
2878 switch ((insn
>> 12) & 0xF) {
2880 /* Longword physical access (hw_ldl/p) */
2881 gen_helper_ldl_phys(cpu_ir
[ra
], addr
);
2884 /* Quadword physical access (hw_ldq/p) */
2885 gen_helper_ldq_phys(cpu_ir
[ra
], addr
);
2888 /* Longword physical access with lock (hw_ldl_l/p) */
2889 gen_helper_ldl_l_phys(cpu_ir
[ra
], cpu_env
, addr
);
2892 /* Quadword physical access with lock (hw_ldq_l/p) */
2893 gen_helper_ldq_l_phys(cpu_ir
[ra
], cpu_env
, addr
);
2896 /* Longword virtual PTE fetch (hw_ldl/v) */
2899 /* Quadword virtual PTE fetch (hw_ldq/v) */
2903 /* Incpu_ir[ra]id */
2906 /* Incpu_ir[ra]id */
2909 /* Longword virtual access (hw_ldl) */
2912 /* Quadword virtual access (hw_ldq) */
2915 /* Longword virtual access with protection check (hw_ldl/w) */
2916 tcg_gen_qemu_ld32s(cpu_ir
[ra
], addr
, MMU_KERNEL_IDX
);
2919 /* Quadword virtual access with protection check (hw_ldq/w) */
2920 tcg_gen_qemu_ld64(cpu_ir
[ra
], addr
, MMU_KERNEL_IDX
);
2923 /* Longword virtual access with alt access mode (hw_ldl/a)*/
2926 /* Quadword virtual access with alt access mode (hw_ldq/a) */
2929 /* Longword virtual access with alternate access mode and
2930 protection checks (hw_ldl/wa) */
2931 tcg_gen_qemu_ld32s(cpu_ir
[ra
], addr
, MMU_USER_IDX
);
2934 /* Quadword virtual access with alternate access mode and
2935 protection checks (hw_ldq/wa) */
2936 tcg_gen_qemu_ld64(cpu_ir
[ra
], addr
, MMU_USER_IDX
);
2939 tcg_temp_free(addr
);
2948 if ((ctx
->tb
->flags
& TB_FLAGS_AMASK_BWX
) == 0) {
2951 if (likely(rc
!= 31)) {
2953 tcg_gen_movi_i64(cpu_ir
[rc
], (int64_t)((int8_t)lit
));
2955 tcg_gen_ext8s_i64(cpu_ir
[rc
], cpu_ir
[rb
]);
2960 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_BWX
) {
2961 if (likely(rc
!= 31)) {
2963 tcg_gen_movi_i64(cpu_ir
[rc
], (int64_t)((int16_t)lit
));
2965 tcg_gen_ext16s_i64(cpu_ir
[rc
], cpu_ir
[rb
]);
2973 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_CIX
) {
2974 if (likely(rc
!= 31)) {
2976 tcg_gen_movi_i64(cpu_ir
[rc
], ctpop64(lit
));
2978 gen_helper_ctpop(cpu_ir
[rc
], cpu_ir
[rb
]);
2986 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_MVI
) {
2987 gen_perr(ra
, rb
, rc
, islit
, lit
);
2993 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_CIX
) {
2994 if (likely(rc
!= 31)) {
2996 tcg_gen_movi_i64(cpu_ir
[rc
], clz64(lit
));
2998 gen_helper_ctlz(cpu_ir
[rc
], cpu_ir
[rb
]);
3006 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_CIX
) {
3007 if (likely(rc
!= 31)) {
3009 tcg_gen_movi_i64(cpu_ir
[rc
], ctz64(lit
));
3011 gen_helper_cttz(cpu_ir
[rc
], cpu_ir
[rb
]);
3019 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_MVI
) {
3020 if (real_islit
|| ra
!= 31) {
3029 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_MVI
) {
3030 if (real_islit
|| ra
!= 31) {
3039 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_MVI
) {
3040 if (real_islit
|| ra
!= 31) {
3049 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_MVI
) {
3050 if (real_islit
|| ra
!= 31) {
3059 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_MVI
) {
3060 gen_minsb8(ra
, rb
, rc
, islit
, lit
);
3066 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_MVI
) {
3067 gen_minsw4(ra
, rb
, rc
, islit
, lit
);
3073 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_MVI
) {
3074 gen_minub8(ra
, rb
, rc
, islit
, lit
);
3080 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_MVI
) {
3081 gen_minuw4(ra
, rb
, rc
, islit
, lit
);
3087 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_MVI
) {
3088 gen_maxub8(ra
, rb
, rc
, islit
, lit
);
3094 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_MVI
) {
3095 gen_maxuw4(ra
, rb
, rc
, islit
, lit
);
3101 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_MVI
) {
3102 gen_maxsb8(ra
, rb
, rc
, islit
, lit
);
3108 if (ctx
->tb
->flags
& TB_FLAGS_AMASK_MVI
) {
3109 gen_maxsw4(ra
, rb
, rc
, islit
, lit
);
3115 if ((ctx
->tb
->flags
& TB_FLAGS_AMASK_FIX
) == 0) {
3118 if (likely(rc
!= 31)) {
3120 tcg_gen_mov_i64(cpu_ir
[rc
], cpu_fir
[ra
]);
3122 tcg_gen_movi_i64(cpu_ir
[rc
], 0);
3127 if ((ctx
->tb
->flags
& TB_FLAGS_AMASK_FIX
) == 0) {
3131 TCGv_i32 tmp1
= tcg_temp_new_i32();
3133 gen_helper_s_to_memory(tmp1
, cpu_fir
[ra
]);
3135 TCGv tmp2
= tcg_const_i64(0);
3136 gen_helper_s_to_memory(tmp1
, tmp2
);
3137 tcg_temp_free(tmp2
);
3139 tcg_gen_ext_i32_i64(cpu_ir
[rc
], tmp1
);
3140 tcg_temp_free_i32(tmp1
);
3148 /* HW_MTPR (PALcode) */
3149 #ifndef CONFIG_USER_ONLY
3150 if (ctx
->tb
->flags
& TB_FLAGS_PAL_MODE
) {
3151 return gen_mtpr(ctx
, rb
, insn
& 0xffff);
3156 /* HW_RET (PALcode) */
3157 #ifndef CONFIG_USER_ONLY
3158 if (ctx
->tb
->flags
& TB_FLAGS_PAL_MODE
) {
3160 /* Pre-EV6 CPUs interpreted this as HW_REI, loading the return
3161 address from EXC_ADDR. This turns out to be useful for our
3162 emulation PALcode, so continue to accept it. */
3163 TCGv tmp
= tcg_temp_new();
3164 tcg_gen_ld_i64(tmp
, cpu_env
, offsetof(CPUAlphaState
, exc_addr
));
3165 gen_helper_hw_ret(cpu_env
, tmp
);
3168 gen_helper_hw_ret(cpu_env
, cpu_ir
[rb
]);
3170 ret
= EXIT_PC_UPDATED
;
3176 /* HW_ST (PALcode) */
3177 #ifndef CONFIG_USER_ONLY
3178 if (ctx
->tb
->flags
& TB_FLAGS_PAL_MODE
) {
3180 addr
= tcg_temp_new();
3182 tcg_gen_addi_i64(addr
, cpu_ir
[rb
], disp12
);
3184 tcg_gen_movi_i64(addr
, disp12
);
3188 val
= tcg_temp_new();
3189 tcg_gen_movi_i64(val
, 0);
3191 switch ((insn
>> 12) & 0xF) {
3193 /* Longword physical access */
3194 gen_helper_stl_phys(addr
, val
);
3197 /* Quadword physical access */
3198 gen_helper_stq_phys(addr
, val
);
3201 /* Longword physical access with lock */
3202 gen_helper_stl_c_phys(val
, cpu_env
, addr
, val
);
3205 /* Quadword physical access with lock */
3206 gen_helper_stq_c_phys(val
, cpu_env
, addr
, val
);
3209 /* Longword virtual access */
3212 /* Quadword virtual access */
3233 /* Longword virtual access with alternate access mode */
3236 /* Quadword virtual access with alternate access mode */
3247 tcg_temp_free(addr
);
3254 gen_load_mem(ctx
, &gen_qemu_ldf
, ra
, rb
, disp16
, 1, 0);
3258 gen_load_mem(ctx
, &gen_qemu_ldg
, ra
, rb
, disp16
, 1, 0);
3262 gen_load_mem(ctx
, &gen_qemu_lds
, ra
, rb
, disp16
, 1, 0);
3266 gen_load_mem(ctx
, &tcg_gen_qemu_ld64
, ra
, rb
, disp16
, 1, 0);
3270 gen_store_mem(ctx
, &gen_qemu_stf
, ra
, rb
, disp16
, 1, 0);
3274 gen_store_mem(ctx
, &gen_qemu_stg
, ra
, rb
, disp16
, 1, 0);
3278 gen_store_mem(ctx
, &gen_qemu_sts
, ra
, rb
, disp16
, 1, 0);
3282 gen_store_mem(ctx
, &tcg_gen_qemu_st64
, ra
, rb
, disp16
, 1, 0);
3286 gen_load_mem(ctx
, &tcg_gen_qemu_ld32s
, ra
, rb
, disp16
, 0, 0);
3290 gen_load_mem(ctx
, &tcg_gen_qemu_ld64
, ra
, rb
, disp16
, 0, 0);
3294 gen_load_mem(ctx
, &gen_qemu_ldl_l
, ra
, rb
, disp16
, 0, 0);
3298 gen_load_mem(ctx
, &gen_qemu_ldq_l
, ra
, rb
, disp16
, 0, 0);
3302 gen_store_mem(ctx
, &tcg_gen_qemu_st32
, ra
, rb
, disp16
, 0, 0);
3306 gen_store_mem(ctx
, &tcg_gen_qemu_st64
, ra
, rb
, disp16
, 0, 0);
3310 ret
= gen_store_conditional(ctx
, ra
, rb
, disp16
, 0);
3314 ret
= gen_store_conditional(ctx
, ra
, rb
, disp16
, 1);
3318 ret
= gen_bdirect(ctx
, ra
, disp21
);
3320 case 0x31: /* FBEQ */
3321 ret
= gen_fbcond(ctx
, TCG_COND_EQ
, ra
, disp21
);
3323 case 0x32: /* FBLT */
3324 ret
= gen_fbcond(ctx
, TCG_COND_LT
, ra
, disp21
);
3326 case 0x33: /* FBLE */
3327 ret
= gen_fbcond(ctx
, TCG_COND_LE
, ra
, disp21
);
3331 ret
= gen_bdirect(ctx
, ra
, disp21
);
3333 case 0x35: /* FBNE */
3334 ret
= gen_fbcond(ctx
, TCG_COND_NE
, ra
, disp21
);
3336 case 0x36: /* FBGE */
3337 ret
= gen_fbcond(ctx
, TCG_COND_GE
, ra
, disp21
);
3339 case 0x37: /* FBGT */
3340 ret
= gen_fbcond(ctx
, TCG_COND_GT
, ra
, disp21
);
3344 ret
= gen_bcond(ctx
, TCG_COND_EQ
, ra
, disp21
, 1);
3348 ret
= gen_bcond(ctx
, TCG_COND_EQ
, ra
, disp21
, 0);
3352 ret
= gen_bcond(ctx
, TCG_COND_LT
, ra
, disp21
, 0);
3356 ret
= gen_bcond(ctx
, TCG_COND_LE
, ra
, disp21
, 0);
3360 ret
= gen_bcond(ctx
, TCG_COND_NE
, ra
, disp21
, 1);
3364 ret
= gen_bcond(ctx
, TCG_COND_NE
, ra
, disp21
, 0);
3368 ret
= gen_bcond(ctx
, TCG_COND_GE
, ra
, disp21
, 0);
3372 ret
= gen_bcond(ctx
, TCG_COND_GT
, ra
, disp21
, 0);
3375 ret
= gen_invalid(ctx
);
3382 static inline void gen_intermediate_code_internal(AlphaCPU
*cpu
,
3383 TranslationBlock
*tb
,
3386 CPUAlphaState
*env
= &cpu
->env
;
3387 DisasContext ctx
, *ctxp
= &ctx
;
3388 target_ulong pc_start
;
3390 uint16_t *gen_opc_end
;
3398 gen_opc_end
= tcg_ctx
.gen_opc_buf
+ OPC_MAX_SIZE
;
3403 ctx
.mem_idx
= cpu_mmu_index(env
);
3405 /* ??? Every TB begins with unset rounding mode, to be initialized on
3406 the first fp insn of the TB. Alternately we could define a proper
3407 default for every TB (e.g. QUAL_RM_N or QUAL_RM_D) and make sure
3408 to reset the FP_STATUS to that default at the end of any TB that
3409 changes the default. We could even (gasp) dynamiclly figure out
3410 what default would be most efficient given the running program. */
3412 /* Similarly for flush-to-zero. */
3416 max_insns
= tb
->cflags
& CF_COUNT_MASK
;
3418 max_insns
= CF_COUNT_MASK
;
3422 if (unlikely(!QTAILQ_EMPTY(&env
->breakpoints
))) {
3423 QTAILQ_FOREACH(bp
, &env
->breakpoints
, entry
) {
3424 if (bp
->pc
== ctx
.pc
) {
3425 gen_excp(&ctx
, EXCP_DEBUG
, 0);
3431 j
= tcg_ctx
.gen_opc_ptr
- tcg_ctx
.gen_opc_buf
;
3435 tcg_ctx
.gen_opc_instr_start
[lj
++] = 0;
3437 tcg_ctx
.gen_opc_pc
[lj
] = ctx
.pc
;
3438 tcg_ctx
.gen_opc_instr_start
[lj
] = 1;
3439 tcg_ctx
.gen_opc_icount
[lj
] = num_insns
;
3441 if (num_insns
+ 1 == max_insns
&& (tb
->cflags
& CF_LAST_IO
))
3443 insn
= cpu_ldl_code(env
, ctx
.pc
);
3446 if (unlikely(qemu_loglevel_mask(CPU_LOG_TB_OP
| CPU_LOG_TB_OP_OPT
))) {
3447 tcg_gen_debug_insn_start(ctx
.pc
);
3451 ret
= translate_one(ctxp
, insn
);
3453 /* If we reach a page boundary, are single stepping,
3454 or exhaust instruction count, stop generation. */
3456 && ((ctx
.pc
& (TARGET_PAGE_SIZE
- 1)) == 0
3457 || tcg_ctx
.gen_opc_ptr
>= gen_opc_end
3458 || num_insns
>= max_insns
3460 || env
->singlestep_enabled
)) {
3461 ret
= EXIT_PC_STALE
;
3463 } while (ret
== NO_EXIT
);
3465 if (tb
->cflags
& CF_LAST_IO
) {
3474 tcg_gen_movi_i64(cpu_pc
, ctx
.pc
);
3476 case EXIT_PC_UPDATED
:
3477 if (env
->singlestep_enabled
) {
3478 gen_excp_1(EXCP_DEBUG
, 0);
3487 gen_tb_end(tb
, num_insns
);
3488 *tcg_ctx
.gen_opc_ptr
= INDEX_op_end
;
3490 j
= tcg_ctx
.gen_opc_ptr
- tcg_ctx
.gen_opc_buf
;
3493 tcg_ctx
.gen_opc_instr_start
[lj
++] = 0;
3495 tb
->size
= ctx
.pc
- pc_start
;
3496 tb
->icount
= num_insns
;
3500 if (qemu_loglevel_mask(CPU_LOG_TB_IN_ASM
)) {
3501 qemu_log("IN: %s\n", lookup_symbol(pc_start
));
3502 log_target_disas(env
, pc_start
, ctx
.pc
- pc_start
, 1);
3508 void gen_intermediate_code (CPUAlphaState
*env
, struct TranslationBlock
*tb
)
3510 gen_intermediate_code_internal(alpha_env_get_cpu(env
), tb
, false);
3513 void gen_intermediate_code_pc (CPUAlphaState
*env
, struct TranslationBlock
*tb
)
3515 gen_intermediate_code_internal(alpha_env_get_cpu(env
), tb
, true);
3518 void restore_state_to_opc(CPUAlphaState
*env
, TranslationBlock
*tb
, int pc_pos
)
3520 env
->pc
= tcg_ctx
.gen_opc_pc
[pc_pos
];