08ab123c2d
git-svn-id: svn://svn.savannah.nongnu.org/qemu/trunk@2935 c046a42c-6fe2-441c-8c8c-71466251a162
2121 lines
57 KiB
C
2121 lines
57 KiB
C
/*
|
|
* Alpha emulation cpu translation for qemu.
|
|
*
|
|
* Copyright (c) 2007 Jocelyn Mayer
|
|
*
|
|
* This library is free software; you can redistribute it and/or
|
|
* modify it under the terms of the GNU Lesser General Public
|
|
* License as published by the Free Software Foundation; either
|
|
* version 2 of the License, or (at your option) any later version.
|
|
*
|
|
* This library is distributed in the hope that it will be useful,
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
* Lesser General Public License for more details.
|
|
*
|
|
* You should have received a copy of the GNU Lesser General Public
|
|
* License along with this library; if not, write to the Free Software
|
|
* Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
|
|
*/
|
|
|
|
#include <stdint.h>
|
|
#include <stdlib.h>
|
|
#include <stdio.h>
|
|
|
|
#include "cpu.h"
|
|
#include "exec-all.h"
|
|
#include "disas.h"
|
|
|
|
#define DO_SINGLE_STEP
|
|
#define GENERATE_NOP
|
|
#define ALPHA_DEBUG_DISAS
|
|
#define DO_TB_FLUSH
|
|
|
|
typedef struct DisasContext DisasContext;
|
|
struct DisasContext {
|
|
uint64_t pc;
|
|
int mem_idx;
|
|
#if !defined (CONFIG_USER_ONLY)
|
|
int pal_mode;
|
|
#endif
|
|
uint32_t amask;
|
|
};
|
|
|
|
#ifdef USE_DIRECT_JUMP
|
|
#define TBPARAM(x)
|
|
#else
|
|
#define TBPARAM(x) (long)(x)
|
|
#endif
|
|
|
|
enum {
|
|
#define DEF(s, n, copy_size) INDEX_op_ ## s,
|
|
#include "opc.h"
|
|
#undef DEF
|
|
NB_OPS,
|
|
};
|
|
|
|
static uint16_t *gen_opc_ptr;
|
|
static uint32_t *gen_opparam_ptr;
|
|
|
|
#include "gen-op.h"
|
|
|
|
static inline void gen_op_nop (void)
|
|
{
|
|
#if defined(GENERATE_NOP)
|
|
gen_op_no_op();
|
|
#endif
|
|
}
|
|
|
|
#define GEN32(func, NAME) \
|
|
static GenOpFunc *NAME ## _table [32] = { \
|
|
NAME ## 0, NAME ## 1, NAME ## 2, NAME ## 3, \
|
|
NAME ## 4, NAME ## 5, NAME ## 6, NAME ## 7, \
|
|
NAME ## 8, NAME ## 9, NAME ## 10, NAME ## 11, \
|
|
NAME ## 12, NAME ## 13, NAME ## 14, NAME ## 15, \
|
|
NAME ## 16, NAME ## 17, NAME ## 18, NAME ## 19, \
|
|
NAME ## 20, NAME ## 21, NAME ## 22, NAME ## 23, \
|
|
NAME ## 24, NAME ## 25, NAME ## 26, NAME ## 27, \
|
|
NAME ## 28, NAME ## 29, NAME ## 30, NAME ## 31, \
|
|
}; \
|
|
static inline void func(int n) \
|
|
{ \
|
|
NAME ## _table[n](); \
|
|
}
|
|
|
|
/* IR moves */
|
|
/* Special hacks for ir31 */
|
|
#define gen_op_load_T0_ir31 gen_op_reset_T0
|
|
#define gen_op_load_T1_ir31 gen_op_reset_T1
|
|
#define gen_op_load_T2_ir31 gen_op_reset_T2
|
|
#define gen_op_store_T0_ir31 gen_op_nop
|
|
#define gen_op_store_T1_ir31 gen_op_nop
|
|
#define gen_op_store_T2_ir31 gen_op_nop
|
|
#define gen_op_cmov_ir31 gen_op_nop
|
|
GEN32(gen_op_load_T0_ir, gen_op_load_T0_ir);
|
|
GEN32(gen_op_load_T1_ir, gen_op_load_T1_ir);
|
|
GEN32(gen_op_load_T2_ir, gen_op_load_T2_ir);
|
|
GEN32(gen_op_store_T0_ir, gen_op_store_T0_ir);
|
|
GEN32(gen_op_store_T1_ir, gen_op_store_T1_ir);
|
|
GEN32(gen_op_store_T2_ir, gen_op_store_T2_ir);
|
|
GEN32(gen_op_cmov_ir, gen_op_cmov_ir);
|
|
|
|
static inline void gen_load_ir (DisasContext *ctx, int irn, int Tn)
|
|
{
|
|
switch (Tn) {
|
|
case 0:
|
|
gen_op_load_T0_ir(irn);
|
|
break;
|
|
case 1:
|
|
gen_op_load_T1_ir(irn);
|
|
break;
|
|
case 2:
|
|
gen_op_load_T2_ir(irn);
|
|
break;
|
|
}
|
|
}
|
|
|
|
static inline void gen_store_ir (DisasContext *ctx, int irn, int Tn)
|
|
{
|
|
switch (Tn) {
|
|
case 0:
|
|
gen_op_store_T0_ir(irn);
|
|
break;
|
|
case 1:
|
|
gen_op_store_T1_ir(irn);
|
|
break;
|
|
case 2:
|
|
gen_op_store_T2_ir(irn);
|
|
break;
|
|
}
|
|
}
|
|
|
|
/* FIR moves */
|
|
/* Special hacks for fir31 */
|
|
#define gen_op_load_FT0_fir31 gen_op_reset_FT0
|
|
#define gen_op_load_FT1_fir31 gen_op_reset_FT1
|
|
#define gen_op_load_FT2_fir31 gen_op_reset_FT2
|
|
#define gen_op_store_FT0_fir31 gen_op_nop
|
|
#define gen_op_store_FT1_fir31 gen_op_nop
|
|
#define gen_op_store_FT2_fir31 gen_op_nop
|
|
#define gen_op_cmov_fir31 gen_op_nop
|
|
GEN32(gen_op_load_FT0_fir, gen_op_load_FT0_fir);
|
|
GEN32(gen_op_load_FT1_fir, gen_op_load_FT1_fir);
|
|
GEN32(gen_op_load_FT2_fir, gen_op_load_FT2_fir);
|
|
GEN32(gen_op_store_FT0_fir, gen_op_store_FT0_fir);
|
|
GEN32(gen_op_store_FT1_fir, gen_op_store_FT1_fir);
|
|
GEN32(gen_op_store_FT2_fir, gen_op_store_FT2_fir);
|
|
GEN32(gen_op_cmov_fir, gen_op_cmov_fir);
|
|
|
|
static inline void gen_load_fir (DisasContext *ctx, int firn, int Tn)
|
|
{
|
|
switch (Tn) {
|
|
case 0:
|
|
gen_op_load_FT0_fir(firn);
|
|
break;
|
|
case 1:
|
|
gen_op_load_FT1_fir(firn);
|
|
break;
|
|
case 2:
|
|
gen_op_load_FT2_fir(firn);
|
|
break;
|
|
}
|
|
}
|
|
|
|
static inline void gen_store_fir (DisasContext *ctx, int firn, int Tn)
|
|
{
|
|
switch (Tn) {
|
|
case 0:
|
|
gen_op_store_FT0_fir(firn);
|
|
break;
|
|
case 1:
|
|
gen_op_store_FT1_fir(firn);
|
|
break;
|
|
case 2:
|
|
gen_op_store_FT2_fir(firn);
|
|
break;
|
|
}
|
|
}
|
|
|
|
/* Memory moves */
|
|
#if defined(CONFIG_USER_ONLY)
|
|
#define OP_LD_TABLE(width) \
|
|
static GenOpFunc *gen_op_ld##width[] = { \
|
|
&gen_op_ld##width##_raw, \
|
|
}
|
|
#define OP_ST_TABLE(width) \
|
|
static GenOpFunc *gen_op_st##width[] = { \
|
|
&gen_op_st##width##_raw, \
|
|
}
|
|
#else
|
|
#define OP_LD_TABLE(width) \
|
|
static GenOpFunc *gen_op_ld##width[] = { \
|
|
&gen_op_ld##width##_kernel, \
|
|
&gen_op_ld##width##_user, /* executive */ \
|
|
&gen_op_ld##width##_data, /* supervisor */ \
|
|
&gen_op_ld##width##_data, /* user */ \
|
|
}
|
|
#define OP_ST_TABLE(width) \
|
|
static GenOpFunc *gen_op_st##width[] = { \
|
|
&gen_op_st##width##_kernel, \
|
|
&gen_op_st##width##_user, /* executive */ \
|
|
&gen_op_st##width##_data, /* supervisor */ \
|
|
&gen_op_st##width##_data, /* user */ \
|
|
}
|
|
#endif
|
|
|
|
#define GEN_LD(width) \
|
|
OP_LD_TABLE(width); \
|
|
static void gen_ld##width (DisasContext *ctx) \
|
|
{ \
|
|
(*gen_op_ld##width[ctx->mem_idx])(); \
|
|
}
|
|
|
|
#define GEN_ST(width) \
|
|
OP_ST_TABLE(width); \
|
|
static void gen_st##width (DisasContext *ctx) \
|
|
{ \
|
|
(*gen_op_st##width[ctx->mem_idx])(); \
|
|
}
|
|
|
|
GEN_LD(bu);
|
|
GEN_ST(b);
|
|
GEN_LD(wu);
|
|
GEN_ST(w);
|
|
GEN_LD(l);
|
|
GEN_ST(l);
|
|
GEN_LD(q);
|
|
GEN_ST(q);
|
|
GEN_LD(q_u);
|
|
GEN_ST(q_u);
|
|
GEN_LD(l_l);
|
|
GEN_ST(l_c);
|
|
GEN_LD(q_l);
|
|
GEN_ST(q_c);
|
|
|
|
#if 0 /* currently unused */
|
|
GEN_LD(f);
|
|
GEN_ST(f);
|
|
GEN_LD(g);
|
|
GEN_ST(g);
|
|
#endif /* 0 */
|
|
GEN_LD(s);
|
|
GEN_ST(s);
|
|
GEN_LD(t);
|
|
GEN_ST(t);
|
|
|
|
#if defined(__i386__) || defined(__x86_64__)
|
|
static inline void gen_op_set_s16_T0 (int16_t imm)
|
|
{
|
|
gen_op_set_s32_T0((int32_t)imm);
|
|
}
|
|
|
|
static inline void gen_op_set_s16_T1 (int16_t imm)
|
|
{
|
|
gen_op_set_s32_T1((int32_t)imm);
|
|
}
|
|
|
|
static inline void gen_op_set_u16_T0 (uint16_t imm)
|
|
{
|
|
gen_op_set_s32_T0((uint32_t)imm);
|
|
}
|
|
|
|
static inline void gen_op_set_u16_T1 (uint16_t imm)
|
|
{
|
|
gen_op_set_s32_T1((uint32_t)imm);
|
|
}
|
|
#endif
|
|
|
|
static inline void gen_set_sT0 (DisasContext *ctx, int64_t imm)
|
|
{
|
|
int32_t imm32;
|
|
int16_t imm16;
|
|
|
|
imm32 = imm;
|
|
if (imm32 == imm) {
|
|
imm16 = imm;
|
|
if (imm16 == imm) {
|
|
if (imm == 0) {
|
|
gen_op_reset_T0();
|
|
} else {
|
|
gen_op_set_s16_T0(imm16);
|
|
}
|
|
} else {
|
|
gen_op_set_s32_T0(imm32);
|
|
}
|
|
} else {
|
|
#if 0 // Qemu does not know how to do this...
|
|
gen_op_set_64_T0(imm);
|
|
#else
|
|
gen_op_set_64_T0(imm >> 32, imm);
|
|
#endif
|
|
}
|
|
}
|
|
|
|
static inline void gen_set_sT1 (DisasContext *ctx, int64_t imm)
|
|
{
|
|
int32_t imm32;
|
|
int16_t imm16;
|
|
|
|
imm32 = imm;
|
|
if (imm32 == imm) {
|
|
imm16 = imm;
|
|
if (imm16 == imm) {
|
|
if (imm == 0) {
|
|
gen_op_reset_T1();
|
|
} else {
|
|
gen_op_set_s16_T1(imm16);
|
|
}
|
|
} else {
|
|
gen_op_set_s32_T1(imm32);
|
|
}
|
|
} else {
|
|
#if 0 // Qemu does not know how to do this...
|
|
gen_op_set_64_T1(imm);
|
|
#else
|
|
gen_op_set_64_T1(imm >> 32, imm);
|
|
#endif
|
|
}
|
|
}
|
|
|
|
static inline void gen_set_uT0 (DisasContext *ctx, uint64_t imm)
|
|
{
|
|
if (!(imm >> 32)) {
|
|
if ((!imm >> 16)) {
|
|
if (imm == 0)
|
|
gen_op_reset_T0();
|
|
else
|
|
gen_op_set_u16_T0(imm);
|
|
} else {
|
|
gen_op_set_u32_T0(imm);
|
|
}
|
|
} else {
|
|
#if 0 // Qemu does not know how to do this...
|
|
gen_op_set_64_T0(imm);
|
|
#else
|
|
gen_op_set_64_T0(imm >> 32, imm);
|
|
#endif
|
|
}
|
|
}
|
|
|
|
static inline void gen_set_uT1 (DisasContext *ctx, uint64_t imm)
|
|
{
|
|
if (!(imm >> 32)) {
|
|
if ((!imm >> 16)) {
|
|
if (imm == 0)
|
|
gen_op_reset_T1();
|
|
else
|
|
gen_op_set_u16_T1(imm);
|
|
} else {
|
|
gen_op_set_u32_T1(imm);
|
|
}
|
|
} else {
|
|
#if 0 // Qemu does not know how to do this...
|
|
gen_op_set_64_T1(imm);
|
|
#else
|
|
gen_op_set_64_T1(imm >> 32, imm);
|
|
#endif
|
|
}
|
|
}
|
|
|
|
static inline void gen_update_pc (DisasContext *ctx)
|
|
{
|
|
if (!(ctx->pc >> 32)) {
|
|
gen_op_update_pc32(ctx->pc);
|
|
} else {
|
|
#if 0 // Qemu does not know how to do this...
|
|
gen_op_update_pc(ctx->pc);
|
|
#else
|
|
gen_op_update_pc(ctx->pc >> 32, ctx->pc);
|
|
#endif
|
|
}
|
|
}
|
|
|
|
static inline void _gen_op_bcond (DisasContext *ctx)
|
|
{
|
|
#if 0 // Qemu does not know how to do this...
|
|
gen_op_bcond(ctx->pc);
|
|
#else
|
|
gen_op_bcond(ctx->pc >> 32, ctx->pc);
|
|
#endif
|
|
}
|
|
|
|
static inline void gen_excp (DisasContext *ctx, int exception, int error_code)
|
|
{
|
|
gen_update_pc(ctx);
|
|
gen_op_excp(exception, error_code);
|
|
}
|
|
|
|
static inline void gen_invalid (DisasContext *ctx)
|
|
{
|
|
gen_excp(ctx, EXCP_OPCDEC, 0);
|
|
}
|
|
|
|
static void gen_load_mem (DisasContext *ctx,
|
|
void (*gen_load_op)(DisasContext *ctx),
|
|
int ra, int rb, int32_t disp16, int clear)
|
|
{
|
|
if (ra == 31 && disp16 == 0) {
|
|
/* UNOP */
|
|
gen_op_nop();
|
|
} else {
|
|
gen_load_ir(ctx, rb, 0);
|
|
if (disp16 != 0) {
|
|
gen_set_sT1(ctx, disp16);
|
|
gen_op_addq();
|
|
}
|
|
if (clear)
|
|
gen_op_n7();
|
|
(*gen_load_op)(ctx);
|
|
gen_store_ir(ctx, ra, 1);
|
|
}
|
|
}
|
|
|
|
static void gen_store_mem (DisasContext *ctx,
|
|
void (*gen_store_op)(DisasContext *ctx),
|
|
int ra, int rb, int32_t disp16, int clear)
|
|
{
|
|
gen_load_ir(ctx, rb, 0);
|
|
if (disp16 != 0) {
|
|
gen_set_sT1(ctx, disp16);
|
|
gen_op_addq();
|
|
}
|
|
if (clear)
|
|
gen_op_n7();
|
|
gen_load_ir(ctx, ra, 1);
|
|
(*gen_store_op)(ctx);
|
|
}
|
|
|
|
static void gen_load_fmem (DisasContext *ctx,
|
|
void (*gen_load_fop)(DisasContext *ctx),
|
|
int ra, int rb, int32_t disp16)
|
|
{
|
|
gen_load_ir(ctx, rb, 0);
|
|
if (disp16 != 0) {
|
|
gen_set_sT1(ctx, disp16);
|
|
gen_op_addq();
|
|
}
|
|
(*gen_load_fop)(ctx);
|
|
gen_store_fir(ctx, ra, 1);
|
|
}
|
|
|
|
static void gen_store_fmem (DisasContext *ctx,
|
|
void (*gen_store_fop)(DisasContext *ctx),
|
|
int ra, int rb, int32_t disp16)
|
|
{
|
|
gen_load_ir(ctx, rb, 0);
|
|
if (disp16 != 0) {
|
|
gen_set_sT1(ctx, disp16);
|
|
gen_op_addq();
|
|
}
|
|
gen_load_fir(ctx, ra, 1);
|
|
(*gen_store_fop)(ctx);
|
|
}
|
|
|
|
static void gen_bcond (DisasContext *ctx, void (*gen_test_op)(void),
|
|
int ra, int32_t disp16)
|
|
{
|
|
if (disp16 != 0) {
|
|
gen_set_uT0(ctx, ctx->pc);
|
|
gen_set_sT1(ctx, disp16 << 2);
|
|
gen_op_addq1();
|
|
} else {
|
|
gen_set_uT1(ctx, ctx->pc);
|
|
}
|
|
gen_load_ir(ctx, ra, 0);
|
|
(*gen_test_op)();
|
|
_gen_op_bcond(ctx);
|
|
}
|
|
|
|
static void gen_fbcond (DisasContext *ctx, void (*gen_test_op)(void),
|
|
int ra, int32_t disp16)
|
|
{
|
|
if (disp16 != 0) {
|
|
gen_set_uT0(ctx, ctx->pc);
|
|
gen_set_sT1(ctx, disp16 << 2);
|
|
gen_op_addq1();
|
|
} else {
|
|
gen_set_uT1(ctx, ctx->pc);
|
|
}
|
|
gen_load_fir(ctx, ra, 0);
|
|
(*gen_test_op)();
|
|
_gen_op_bcond(ctx);
|
|
}
|
|
|
|
static void gen_arith2 (DisasContext *ctx, void (*gen_arith_op)(void),
|
|
int rb, int rc, int islit, int8_t lit)
|
|
{
|
|
if (islit)
|
|
gen_set_sT0(ctx, lit);
|
|
else
|
|
gen_load_ir(ctx, rb, 0);
|
|
(*gen_arith_op)();
|
|
gen_store_ir(ctx, rc, 0);
|
|
}
|
|
|
|
static void gen_arith3 (DisasContext *ctx, void (*gen_arith_op)(void),
|
|
int ra, int rb, int rc, int islit, int8_t lit)
|
|
{
|
|
gen_load_ir(ctx, ra, 0);
|
|
if (islit)
|
|
gen_set_sT1(ctx, lit);
|
|
else
|
|
gen_load_ir(ctx, rb, 1);
|
|
(*gen_arith_op)();
|
|
gen_store_ir(ctx, rc, 0);
|
|
}
|
|
|
|
static void gen_cmov (DisasContext *ctx, void (*gen_test_op)(void),
|
|
int ra, int rb, int rc, int islit, int8_t lit)
|
|
{
|
|
gen_load_ir(ctx, ra, 1);
|
|
if (islit)
|
|
gen_set_sT0(ctx, lit);
|
|
else
|
|
gen_load_ir(ctx, rb, 0);
|
|
(*gen_test_op)();
|
|
gen_op_cmov_ir(rc);
|
|
}
|
|
|
|
static void gen_farith2 (DisasContext *ctx, void (*gen_arith_fop)(void),
|
|
int rb, int rc)
|
|
{
|
|
gen_load_fir(ctx, rb, 0);
|
|
(*gen_arith_fop)();
|
|
gen_store_fir(ctx, rc, 0);
|
|
}
|
|
|
|
static void gen_farith3 (DisasContext *ctx, void (*gen_arith_fop)(void),
|
|
int ra, int rb, int rc)
|
|
{
|
|
gen_load_fir(ctx, ra, 0);
|
|
gen_load_fir(ctx, rb, 1);
|
|
(*gen_arith_fop)();
|
|
gen_store_fir(ctx, rc, 0);
|
|
}
|
|
|
|
static void gen_fcmov (DisasContext *ctx, void (*gen_test_fop)(void),
|
|
int ra, int rb, int rc)
|
|
{
|
|
gen_load_fir(ctx, ra, 0);
|
|
gen_load_fir(ctx, rb, 1);
|
|
(*gen_test_fop)();
|
|
gen_op_cmov_fir(rc);
|
|
}
|
|
|
|
static void gen_fti (DisasContext *ctx, void (*gen_move_fop)(void),
|
|
int ra, int rc)
|
|
{
|
|
gen_load_fir(ctx, rc, 0);
|
|
(*gen_move_fop)();
|
|
gen_store_ir(ctx, ra, 0);
|
|
}
|
|
|
|
static void gen_itf (DisasContext *ctx, void (*gen_move_fop)(void),
|
|
int ra, int rc)
|
|
{
|
|
gen_load_ir(ctx, ra, 0);
|
|
(*gen_move_fop)();
|
|
gen_store_fir(ctx, rc, 0);
|
|
}
|
|
|
|
static void gen_s4addl (void)
|
|
{
|
|
gen_op_s4();
|
|
gen_op_addl();
|
|
}
|
|
|
|
static void gen_s4subl (void)
|
|
{
|
|
gen_op_s4();
|
|
gen_op_subl();
|
|
}
|
|
|
|
static void gen_s8addl (void)
|
|
{
|
|
gen_op_s8();
|
|
gen_op_addl();
|
|
}
|
|
|
|
static void gen_s8subl (void)
|
|
{
|
|
gen_op_s8();
|
|
gen_op_subl();
|
|
}
|
|
|
|
static void gen_s4addq (void)
|
|
{
|
|
gen_op_s4();
|
|
gen_op_addq();
|
|
}
|
|
|
|
static void gen_s4subq (void)
|
|
{
|
|
gen_op_s4();
|
|
gen_op_subq();
|
|
}
|
|
|
|
static void gen_s8addq (void)
|
|
{
|
|
gen_op_s8();
|
|
gen_op_addq();
|
|
}
|
|
|
|
static void gen_s8subq (void)
|
|
{
|
|
gen_op_s8();
|
|
gen_op_subq();
|
|
}
|
|
|
|
static void gen_amask (void)
|
|
{
|
|
gen_op_load_amask();
|
|
gen_op_bic();
|
|
}
|
|
|
|
static int translate_one (DisasContext *ctx, uint32_t insn)
|
|
{
|
|
uint32_t palcode;
|
|
int32_t disp21, disp16, disp12;
|
|
uint16_t fn11, fn16;
|
|
uint8_t opc, ra, rb, rc, sbz, fpfn, fn7, fn2, islit;
|
|
int8_t lit;
|
|
int ret;
|
|
|
|
/* Decode all instruction fields */
|
|
opc = insn >> 26;
|
|
ra = (insn >> 21) & 0x1F;
|
|
rb = (insn >> 16) & 0x1F;
|
|
rc = insn & 0x1F;
|
|
sbz = (insn >> 13) & 0x07;
|
|
islit = (insn >> 12) & 1;
|
|
lit = (insn >> 13) & 0xFF;
|
|
palcode = insn & 0x03FFFFFF;
|
|
disp21 = ((int32_t)((insn & 0x001FFFFF) << 11)) >> 11;
|
|
disp16 = (int16_t)(insn & 0x0000FFFF);
|
|
disp12 = (int32_t)((insn & 0x00000FFF) << 20) >> 20;
|
|
fn16 = insn & 0x0000FFFF;
|
|
fn11 = (insn >> 5) & 0x000007FF;
|
|
fpfn = fn11 & 0x3F;
|
|
fn7 = (insn >> 5) & 0x0000007F;
|
|
fn2 = (insn >> 5) & 0x00000003;
|
|
ret = 0;
|
|
#if defined ALPHA_DEBUG_DISAS
|
|
if (logfile != NULL) {
|
|
fprintf(logfile, "opc %02x ra %d rb %d rc %d disp16 %04x\n",
|
|
opc, ra, rb, rc, disp16);
|
|
}
|
|
#endif
|
|
switch (opc) {
|
|
case 0x00:
|
|
/* CALL_PAL */
|
|
if (palcode >= 0x80 && palcode < 0xC0) {
|
|
/* Unprivileged PAL call */
|
|
gen_excp(ctx, EXCP_CALL_PAL + ((palcode & 0x1F) << 6), 0);
|
|
#if !defined (CONFIG_USER_ONLY)
|
|
} else if (palcode < 0x40) {
|
|
/* Privileged PAL code */
|
|
if (ctx->mem_idx & 1)
|
|
goto invalid_opc;
|
|
else
|
|
gen_excp(ctx, EXCP_CALL_PALP + ((palcode & 0x1F) << 6), 0);
|
|
#endif
|
|
} else {
|
|
/* Invalid PAL call */
|
|
goto invalid_opc;
|
|
}
|
|
ret = 3;
|
|
break;
|
|
case 0x01:
|
|
/* OPC01 */
|
|
goto invalid_opc;
|
|
case 0x02:
|
|
/* OPC02 */
|
|
goto invalid_opc;
|
|
case 0x03:
|
|
/* OPC03 */
|
|
goto invalid_opc;
|
|
case 0x04:
|
|
/* OPC04 */
|
|
goto invalid_opc;
|
|
case 0x05:
|
|
/* OPC05 */
|
|
goto invalid_opc;
|
|
case 0x06:
|
|
/* OPC06 */
|
|
goto invalid_opc;
|
|
case 0x07:
|
|
/* OPC07 */
|
|
goto invalid_opc;
|
|
case 0x08:
|
|
/* LDA */
|
|
gen_load_ir(ctx, rb, 0);
|
|
gen_set_sT1(ctx, disp16);
|
|
gen_op_addq();
|
|
gen_store_ir(ctx, ra, 0);
|
|
break;
|
|
case 0x09:
|
|
/* LDAH */
|
|
gen_load_ir(ctx, rb, 0);
|
|
gen_set_sT1(ctx, disp16 << 16);
|
|
gen_op_addq();
|
|
gen_store_ir(ctx, ra, 0);
|
|
break;
|
|
case 0x0A:
|
|
/* LDBU */
|
|
if (!(ctx->amask & AMASK_BWX))
|
|
goto invalid_opc;
|
|
gen_load_mem(ctx, &gen_ldbu, ra, rb, disp16, 0);
|
|
break;
|
|
case 0x0B:
|
|
/* LDQ_U */
|
|
gen_load_mem(ctx, &gen_ldq_u, ra, rb, disp16, 1);
|
|
break;
|
|
case 0x0C:
|
|
/* LDWU */
|
|
if (!(ctx->amask & AMASK_BWX))
|
|
goto invalid_opc;
|
|
gen_load_mem(ctx, &gen_ldwu, ra, rb, disp16, 0);
|
|
break;
|
|
case 0x0D:
|
|
/* STW */
|
|
if (!(ctx->amask & AMASK_BWX))
|
|
goto invalid_opc;
|
|
gen_store_mem(ctx, &gen_stw, ra, rb, disp16, 0);
|
|
break;
|
|
case 0x0E:
|
|
/* STB */
|
|
if (!(ctx->amask & AMASK_BWX))
|
|
goto invalid_opc;
|
|
gen_store_mem(ctx, &gen_stb, ra, rb, disp16, 0);
|
|
break;
|
|
case 0x0F:
|
|
/* STQ_U */
|
|
gen_store_mem(ctx, &gen_stq_u, ra, rb, disp16, 1);
|
|
break;
|
|
case 0x10:
|
|
switch (fn7) {
|
|
case 0x00:
|
|
/* ADDL */
|
|
gen_arith3(ctx, &gen_op_addl, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x02:
|
|
/* S4ADDL */
|
|
gen_arith3(ctx, &gen_s4addl, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x09:
|
|
/* SUBL */
|
|
gen_arith3(ctx, &gen_op_subl, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x0B:
|
|
/* S4SUBL */
|
|
gen_arith3(ctx, &gen_s4subl, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x0F:
|
|
/* CMPBGE */
|
|
gen_arith3(ctx, &gen_op_cmpbge, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x12:
|
|
/* S8ADDL */
|
|
gen_arith3(ctx, &gen_s8addl, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x1B:
|
|
/* S8SUBL */
|
|
gen_arith3(ctx, &gen_s8subl, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x1D:
|
|
/* CMPULT */
|
|
gen_arith3(ctx, &gen_op_cmpult, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x20:
|
|
/* ADDQ */
|
|
gen_arith3(ctx, &gen_op_addq, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x22:
|
|
/* S4ADDQ */
|
|
gen_arith3(ctx, &gen_s4addq, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x29:
|
|
/* SUBQ */
|
|
gen_arith3(ctx, &gen_op_subq, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x2B:
|
|
/* S4SUBQ */
|
|
gen_arith3(ctx, &gen_s4subq, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x2D:
|
|
/* CMPEQ */
|
|
gen_arith3(ctx, &gen_op_cmpeq, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x32:
|
|
/* S8ADDQ */
|
|
gen_arith3(ctx, &gen_s8addq, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x3B:
|
|
/* S8SUBQ */
|
|
gen_arith3(ctx, &gen_s8subq, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x3D:
|
|
/* CMPULE */
|
|
gen_arith3(ctx, &gen_op_cmpule, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x40:
|
|
/* ADDL/V */
|
|
gen_arith3(ctx, &gen_op_addlv, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x49:
|
|
/* SUBL/V */
|
|
gen_arith3(ctx, &gen_op_sublv, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x4D:
|
|
/* CMPLT */
|
|
gen_arith3(ctx, &gen_op_cmplt, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x60:
|
|
/* ADDQ/V */
|
|
gen_arith3(ctx, &gen_op_addqv, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x69:
|
|
/* SUBQ/V */
|
|
gen_arith3(ctx, &gen_op_subqv, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x6D:
|
|
/* CMPLE */
|
|
gen_arith3(ctx, &gen_op_cmple, ra, rb, rc, islit, lit);
|
|
break;
|
|
default:
|
|
goto invalid_opc;
|
|
}
|
|
break;
|
|
case 0x11:
|
|
switch (fn7) {
|
|
case 0x00:
|
|
/* AND */
|
|
gen_arith3(ctx, &gen_op_and, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x08:
|
|
/* BIC */
|
|
gen_arith3(ctx, &gen_op_bic, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x14:
|
|
/* CMOVLBS */
|
|
gen_cmov(ctx, &gen_op_cmplbs, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x16:
|
|
/* CMOVLBC */
|
|
gen_cmov(ctx, &gen_op_cmplbc, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x20:
|
|
/* BIS */
|
|
if (ra == rb || ra == 31 || rb == 31) {
|
|
if (ra == 31 && rc == 31) {
|
|
/* NOP */
|
|
gen_op_nop();
|
|
} else {
|
|
/* MOV */
|
|
gen_load_ir(ctx, rb, 0);
|
|
gen_store_ir(ctx, rc, 0);
|
|
}
|
|
} else {
|
|
gen_arith3(ctx, &gen_op_bis, ra, rb, rc, islit, lit);
|
|
}
|
|
break;
|
|
case 0x24:
|
|
/* CMOVEQ */
|
|
gen_cmov(ctx, &gen_op_cmpeqz, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x26:
|
|
/* CMOVNE */
|
|
gen_cmov(ctx, &gen_op_cmpnez, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x28:
|
|
/* ORNOT */
|
|
gen_arith3(ctx, &gen_op_ornot, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x40:
|
|
/* XOR */
|
|
gen_arith3(ctx, &gen_op_xor, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x44:
|
|
/* CMOVLT */
|
|
gen_cmov(ctx, &gen_op_cmpltz, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x46:
|
|
/* CMOVGE */
|
|
gen_cmov(ctx, &gen_op_cmpgez, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x48:
|
|
/* EQV */
|
|
gen_arith3(ctx, &gen_op_eqv, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x61:
|
|
/* AMASK */
|
|
gen_arith2(ctx, &gen_amask, rb, rc, islit, lit);
|
|
break;
|
|
case 0x64:
|
|
/* CMOVLE */
|
|
gen_cmov(ctx, &gen_op_cmplez, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x66:
|
|
/* CMOVGT */
|
|
gen_cmov(ctx, &gen_op_cmpgtz, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x6C:
|
|
/* IMPLVER */
|
|
gen_op_load_implver();
|
|
gen_store_ir(ctx, rc, 0);
|
|
break;
|
|
default:
|
|
goto invalid_opc;
|
|
}
|
|
break;
|
|
case 0x12:
|
|
switch (fn7) {
|
|
case 0x02:
|
|
/* MSKBL */
|
|
gen_arith3(ctx, &gen_op_mskbl, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x06:
|
|
/* EXTBL */
|
|
gen_arith3(ctx, &gen_op_extbl, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x0B:
|
|
/* INSBL */
|
|
gen_arith3(ctx, &gen_op_insbl, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x12:
|
|
/* MSKWL */
|
|
gen_arith3(ctx, &gen_op_mskwl, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x16:
|
|
/* EXTWL */
|
|
gen_arith3(ctx, &gen_op_extwl, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x1B:
|
|
/* INSWL */
|
|
gen_arith3(ctx, &gen_op_inswl, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x22:
|
|
/* MSKLL */
|
|
gen_arith3(ctx, &gen_op_mskll, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x26:
|
|
/* EXTLL */
|
|
gen_arith3(ctx, &gen_op_extll, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x2B:
|
|
/* INSLL */
|
|
gen_arith3(ctx, &gen_op_insll, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x30:
|
|
/* ZAP */
|
|
gen_arith3(ctx, &gen_op_zap, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x31:
|
|
/* ZAPNOT */
|
|
gen_arith3(ctx, &gen_op_zapnot, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x32:
|
|
/* MSKQL */
|
|
gen_arith3(ctx, &gen_op_mskql, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x34:
|
|
/* SRL */
|
|
gen_arith3(ctx, &gen_op_srl, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x36:
|
|
/* EXTQL */
|
|
gen_arith3(ctx, &gen_op_extql, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x39:
|
|
/* SLL */
|
|
gen_arith3(ctx, &gen_op_sll, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x3B:
|
|
/* INSQL */
|
|
gen_arith3(ctx, &gen_op_insql, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x3C:
|
|
/* SRA */
|
|
gen_arith3(ctx, &gen_op_sra, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x52:
|
|
/* MSKWH */
|
|
gen_arith3(ctx, &gen_op_mskwh, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x57:
|
|
/* INSWH */
|
|
gen_arith3(ctx, &gen_op_inswh, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x5A:
|
|
/* EXTWH */
|
|
gen_arith3(ctx, &gen_op_extwh, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x62:
|
|
/* MSKLH */
|
|
gen_arith3(ctx, &gen_op_msklh, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x67:
|
|
/* INSLH */
|
|
gen_arith3(ctx, &gen_op_inslh, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x6A:
|
|
/* EXTLH */
|
|
gen_arith3(ctx, &gen_op_extlh, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x72:
|
|
/* MSKQH */
|
|
gen_arith3(ctx, &gen_op_mskqh, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x77:
|
|
/* INSQH */
|
|
gen_arith3(ctx, &gen_op_insqh, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x7A:
|
|
/* EXTQH */
|
|
gen_arith3(ctx, &gen_op_extqh, ra, rb, rc, islit, lit);
|
|
break;
|
|
default:
|
|
goto invalid_opc;
|
|
}
|
|
break;
|
|
case 0x13:
|
|
switch (fn7) {
|
|
case 0x00:
|
|
/* MULL */
|
|
gen_arith3(ctx, &gen_op_mull, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x20:
|
|
/* MULQ */
|
|
gen_arith3(ctx, &gen_op_mulq, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x30:
|
|
/* UMULH */
|
|
gen_arith3(ctx, &gen_op_umulh, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x40:
|
|
/* MULL/V */
|
|
gen_arith3(ctx, &gen_op_mullv, ra, rb, rc, islit, lit);
|
|
break;
|
|
case 0x60:
|
|
/* MULQ/V */
|
|
gen_arith3(ctx, &gen_op_mulqv, ra, rb, rc, islit, lit);
|
|
break;
|
|
default:
|
|
goto invalid_opc;
|
|
}
|
|
break;
|
|
case 0x14:
|
|
switch (fpfn) { /* f11 & 0x3F */
|
|
case 0x04:
|
|
/* ITOFS */
|
|
if (!(ctx->amask & AMASK_FIX))
|
|
goto invalid_opc;
|
|
gen_itf(ctx, &gen_op_itofs, ra, rc);
|
|
break;
|
|
case 0x0A:
|
|
/* SQRTF */
|
|
if (!(ctx->amask & AMASK_FIX))
|
|
goto invalid_opc;
|
|
gen_farith2(ctx, &gen_op_sqrtf, rb, rc);
|
|
break;
|
|
case 0x0B:
|
|
/* SQRTS */
|
|
if (!(ctx->amask & AMASK_FIX))
|
|
goto invalid_opc;
|
|
gen_farith2(ctx, &gen_op_sqrts, rb, rc);
|
|
break;
|
|
case 0x14:
|
|
/* ITOFF */
|
|
if (!(ctx->amask & AMASK_FIX))
|
|
goto invalid_opc;
|
|
#if 0 // TODO
|
|
gen_itf(ctx, &gen_op_itoff, ra, rc);
|
|
#else
|
|
goto invalid_opc;
|
|
#endif
|
|
break;
|
|
case 0x24:
|
|
/* ITOFT */
|
|
if (!(ctx->amask & AMASK_FIX))
|
|
goto invalid_opc;
|
|
gen_itf(ctx, &gen_op_itoft, ra, rc);
|
|
break;
|
|
case 0x2A:
|
|
/* SQRTG */
|
|
if (!(ctx->amask & AMASK_FIX))
|
|
goto invalid_opc;
|
|
gen_farith2(ctx, &gen_op_sqrtg, rb, rc);
|
|
break;
|
|
case 0x02B:
|
|
/* SQRTT */
|
|
if (!(ctx->amask & AMASK_FIX))
|
|
goto invalid_opc;
|
|
gen_farith2(ctx, &gen_op_sqrtt, rb, rc);
|
|
break;
|
|
default:
|
|
goto invalid_opc;
|
|
}
|
|
break;
|
|
case 0x15:
|
|
/* VAX floating point */
|
|
/* XXX: rounding mode and trap are ignored (!) */
|
|
switch (fpfn) { /* f11 & 0x3F */
|
|
case 0x00:
|
|
/* ADDF */
|
|
gen_farith3(ctx, &gen_op_addf, ra, rb, rc);
|
|
break;
|
|
case 0x01:
|
|
/* SUBF */
|
|
gen_farith3(ctx, &gen_op_subf, ra, rb, rc);
|
|
break;
|
|
case 0x02:
|
|
/* MULF */
|
|
gen_farith3(ctx, &gen_op_mulf, ra, rb, rc);
|
|
break;
|
|
case 0x03:
|
|
/* DIVF */
|
|
gen_farith3(ctx, &gen_op_divf, ra, rb, rc);
|
|
break;
|
|
case 0x1E:
|
|
/* CVTDG */
|
|
#if 0 // TODO
|
|
gen_farith2(ctx, &gen_op_cvtdg, rb, rc);
|
|
#else
|
|
goto invalid_opc;
|
|
#endif
|
|
break;
|
|
case 0x20:
|
|
/* ADDG */
|
|
gen_farith3(ctx, &gen_op_addg, ra, rb, rc);
|
|
break;
|
|
case 0x21:
|
|
/* SUBG */
|
|
gen_farith3(ctx, &gen_op_subg, ra, rb, rc);
|
|
break;
|
|
case 0x22:
|
|
/* MULG */
|
|
gen_farith3(ctx, &gen_op_mulg, ra, rb, rc);
|
|
break;
|
|
case 0x23:
|
|
/* DIVG */
|
|
gen_farith3(ctx, &gen_op_divg, ra, rb, rc);
|
|
break;
|
|
case 0x25:
|
|
/* CMPGEQ */
|
|
gen_farith3(ctx, &gen_op_cmpgeq, ra, rb, rc);
|
|
break;
|
|
case 0x26:
|
|
/* CMPGLT */
|
|
gen_farith3(ctx, &gen_op_cmpglt, ra, rb, rc);
|
|
break;
|
|
case 0x27:
|
|
/* CMPGLE */
|
|
gen_farith3(ctx, &gen_op_cmpgle, ra, rb, rc);
|
|
break;
|
|
case 0x2C:
|
|
/* CVTGF */
|
|
gen_farith2(ctx, &gen_op_cvtgf, rb, rc);
|
|
break;
|
|
case 0x2D:
|
|
/* CVTGD */
|
|
#if 0 // TODO
|
|
gen_farith2(ctx, &gen_op_cvtgd, rb, rc);
|
|
#else
|
|
goto invalid_opc;
|
|
#endif
|
|
break;
|
|
case 0x2F:
|
|
/* CVTGQ */
|
|
gen_farith2(ctx, &gen_op_cvtgq, rb, rc);
|
|
break;
|
|
case 0x3C:
|
|
/* CVTQF */
|
|
gen_farith2(ctx, &gen_op_cvtqf, rb, rc);
|
|
break;
|
|
case 0x3E:
|
|
/* CVTQG */
|
|
gen_farith2(ctx, &gen_op_cvtqg, rb, rc);
|
|
break;
|
|
default:
|
|
goto invalid_opc;
|
|
}
|
|
break;
|
|
case 0x16:
|
|
/* IEEE floating-point */
|
|
/* XXX: rounding mode and traps are ignored (!) */
|
|
switch (fpfn) { /* f11 & 0x3F */
|
|
case 0x00:
|
|
/* ADDS */
|
|
gen_farith3(ctx, &gen_op_adds, ra, rb, rc);
|
|
break;
|
|
case 0x01:
|
|
/* SUBS */
|
|
gen_farith3(ctx, &gen_op_subs, ra, rb, rc);
|
|
break;
|
|
case 0x02:
|
|
/* MULS */
|
|
gen_farith3(ctx, &gen_op_muls, ra, rb, rc);
|
|
break;
|
|
case 0x03:
|
|
/* DIVS */
|
|
gen_farith3(ctx, &gen_op_divs, ra, rb, rc);
|
|
break;
|
|
case 0x20:
|
|
/* ADDT */
|
|
gen_farith3(ctx, &gen_op_addt, ra, rb, rc);
|
|
break;
|
|
case 0x21:
|
|
/* SUBT */
|
|
gen_farith3(ctx, &gen_op_subt, ra, rb, rc);
|
|
break;
|
|
case 0x22:
|
|
/* MULT */
|
|
gen_farith3(ctx, &gen_op_mult, ra, rb, rc);
|
|
break;
|
|
case 0x23:
|
|
/* DIVT */
|
|
gen_farith3(ctx, &gen_op_divt, ra, rb, rc);
|
|
break;
|
|
case 0x24:
|
|
/* CMPTUN */
|
|
gen_farith3(ctx, &gen_op_cmptun, ra, rb, rc);
|
|
break;
|
|
case 0x25:
|
|
/* CMPTEQ */
|
|
gen_farith3(ctx, &gen_op_cmpteq, ra, rb, rc);
|
|
break;
|
|
case 0x26:
|
|
/* CMPTLT */
|
|
gen_farith3(ctx, &gen_op_cmptlt, ra, rb, rc);
|
|
break;
|
|
case 0x27:
|
|
/* CMPTLE */
|
|
gen_farith3(ctx, &gen_op_cmptle, ra, rb, rc);
|
|
break;
|
|
case 0x2C:
|
|
/* XXX: incorrect */
|
|
if (fn11 == 0x2AC) {
|
|
/* CVTST */
|
|
gen_farith2(ctx, &gen_op_cvtst, rb, rc);
|
|
} else {
|
|
/* CVTTS */
|
|
gen_farith2(ctx, &gen_op_cvtts, rb, rc);
|
|
}
|
|
break;
|
|
case 0x2F:
|
|
/* CVTTQ */
|
|
gen_farith2(ctx, &gen_op_cvttq, rb, rc);
|
|
break;
|
|
case 0x3C:
|
|
/* CVTQS */
|
|
gen_farith2(ctx, &gen_op_cvtqs, rb, rc);
|
|
break;
|
|
case 0x3E:
|
|
/* CVTQT */
|
|
gen_farith2(ctx, &gen_op_cvtqt, rb, rc);
|
|
break;
|
|
default:
|
|
goto invalid_opc;
|
|
}
|
|
break;
|
|
case 0x17:
|
|
switch (fn11) {
|
|
case 0x010:
|
|
/* CVTLQ */
|
|
gen_farith2(ctx, &gen_op_cvtlq, rb, rc);
|
|
break;
|
|
case 0x020:
|
|
/* CPYS */
|
|
if (ra == rb) {
|
|
if (ra == 31 && rc == 31) {
|
|
/* FNOP */
|
|
gen_op_nop();
|
|
} else {
|
|
/* FMOV */
|
|
gen_load_fir(ctx, rb, 0);
|
|
gen_store_fir(ctx, rc, 0);
|
|
}
|
|
} else {
|
|
gen_farith3(ctx, &gen_op_cpys, ra, rb, rc);
|
|
}
|
|
break;
|
|
case 0x021:
|
|
/* CPYSN */
|
|
gen_farith2(ctx, &gen_op_cpysn, rb, rc);
|
|
break;
|
|
case 0x022:
|
|
/* CPYSE */
|
|
gen_farith2(ctx, &gen_op_cpyse, rb, rc);
|
|
break;
|
|
case 0x024:
|
|
/* MT_FPCR */
|
|
gen_load_fir(ctx, ra, 0);
|
|
gen_op_store_fpcr();
|
|
break;
|
|
case 0x025:
|
|
/* MF_FPCR */
|
|
gen_op_load_fpcr();
|
|
gen_store_fir(ctx, ra, 0);
|
|
break;
|
|
case 0x02A:
|
|
/* FCMOVEQ */
|
|
gen_fcmov(ctx, &gen_op_cmpfeq, ra, rb, rc);
|
|
break;
|
|
case 0x02B:
|
|
/* FCMOVNE */
|
|
gen_fcmov(ctx, &gen_op_cmpfne, ra, rb, rc);
|
|
break;
|
|
case 0x02C:
|
|
/* FCMOVLT */
|
|
gen_fcmov(ctx, &gen_op_cmpflt, ra, rb, rc);
|
|
break;
|
|
case 0x02D:
|
|
/* FCMOVGE */
|
|
gen_fcmov(ctx, &gen_op_cmpfge, ra, rb, rc);
|
|
break;
|
|
case 0x02E:
|
|
/* FCMOVLE */
|
|
gen_fcmov(ctx, &gen_op_cmpfle, ra, rb, rc);
|
|
break;
|
|
case 0x02F:
|
|
/* FCMOVGT */
|
|
gen_fcmov(ctx, &gen_op_cmpfgt, ra, rb, rc);
|
|
break;
|
|
case 0x030:
|
|
/* CVTQL */
|
|
gen_farith2(ctx, &gen_op_cvtql, rb, rc);
|
|
break;
|
|
case 0x130:
|
|
/* CVTQL/V */
|
|
gen_farith2(ctx, &gen_op_cvtqlv, rb, rc);
|
|
break;
|
|
case 0x530:
|
|
/* CVTQL/SV */
|
|
gen_farith2(ctx, &gen_op_cvtqlsv, rb, rc);
|
|
break;
|
|
default:
|
|
goto invalid_opc;
|
|
}
|
|
break;
|
|
case 0x18:
|
|
switch ((uint16_t)disp16) {
|
|
case 0x0000:
|
|
/* TRAPB */
|
|
/* No-op. Just exit from the current tb */
|
|
ret = 2;
|
|
break;
|
|
case 0x0400:
|
|
/* EXCB */
|
|
/* No-op. Just exit from the current tb */
|
|
ret = 2;
|
|
break;
|
|
case 0x4000:
|
|
/* MB */
|
|
/* No-op */
|
|
break;
|
|
case 0x4400:
|
|
/* WMB */
|
|
/* No-op */
|
|
break;
|
|
case 0x8000:
|
|
/* FETCH */
|
|
/* No-op */
|
|
break;
|
|
case 0xA000:
|
|
/* FETCH_M */
|
|
/* No-op */
|
|
break;
|
|
case 0xC000:
|
|
/* RPCC */
|
|
gen_op_load_pcc();
|
|
gen_store_ir(ctx, ra, 0);
|
|
break;
|
|
case 0xE000:
|
|
/* RC */
|
|
gen_op_load_irf();
|
|
gen_store_ir(ctx, ra, 0);
|
|
gen_op_clear_irf();
|
|
break;
|
|
case 0xE800:
|
|
/* ECB */
|
|
/* XXX: TODO: evict tb cache at address rb */
|
|
#if 0
|
|
ret = 2;
|
|
#else
|
|
goto invalid_opc;
|
|
#endif
|
|
break;
|
|
case 0xF000:
|
|
/* RS */
|
|
gen_op_load_irf();
|
|
gen_store_ir(ctx, ra, 0);
|
|
gen_op_set_irf();
|
|
break;
|
|
case 0xF800:
|
|
/* WH64 */
|
|
/* No-op */
|
|
break;
|
|
default:
|
|
goto invalid_opc;
|
|
}
|
|
break;
|
|
case 0x19:
|
|
/* HW_MFPR (PALcode) */
|
|
#if defined (CONFIG_USER_ONLY)
|
|
goto invalid_opc;
|
|
#else
|
|
if (!ctx->pal_mode)
|
|
goto invalid_opc;
|
|
gen_op_mfpr(insn & 0xFF);
|
|
gen_store_ir(ctx, ra, 0);
|
|
break;
|
|
#endif
|
|
case 0x1A:
|
|
gen_load_ir(ctx, rb, 0);
|
|
if (ra != 31) {
|
|
gen_set_uT1(ctx, ctx->pc);
|
|
gen_store_ir(ctx, ra, 1);
|
|
}
|
|
gen_op_branch();
|
|
/* Those four jumps only differ by the branch prediction hint */
|
|
switch (fn2) {
|
|
case 0x0:
|
|
/* JMP */
|
|
break;
|
|
case 0x1:
|
|
/* JSR */
|
|
break;
|
|
case 0x2:
|
|
/* RET */
|
|
break;
|
|
case 0x3:
|
|
/* JSR_COROUTINE */
|
|
break;
|
|
}
|
|
ret = 1;
|
|
break;
|
|
case 0x1B:
|
|
/* HW_LD (PALcode) */
|
|
#if defined (CONFIG_USER_ONLY)
|
|
goto invalid_opc;
|
|
#else
|
|
if (!ctx->pal_mode)
|
|
goto invalid_opc;
|
|
gen_load_ir(ctx, rb, 0);
|
|
gen_set_sT1(ctx, disp12);
|
|
gen_op_addq();
|
|
switch ((insn >> 12) & 0xF) {
|
|
case 0x0:
|
|
/* Longword physical access */
|
|
gen_op_ldl_raw();
|
|
break;
|
|
case 0x1:
|
|
/* Quadword physical access */
|
|
gen_op_ldq_raw();
|
|
break;
|
|
case 0x2:
|
|
/* Longword physical access with lock */
|
|
gen_op_ldl_l_raw();
|
|
break;
|
|
case 0x3:
|
|
/* Quadword physical access with lock */
|
|
gen_op_ldq_l_raw();
|
|
break;
|
|
case 0x4:
|
|
/* Longword virtual PTE fetch */
|
|
gen_op_ldl_kernel();
|
|
break;
|
|
case 0x5:
|
|
/* Quadword virtual PTE fetch */
|
|
gen_op_ldq_kernel();
|
|
break;
|
|
case 0x6:
|
|
/* Invalid */
|
|
goto invalid_opc;
|
|
case 0x7:
|
|
/* Invalid */
|
|
goto invalid_opc;
|
|
case 0x8:
|
|
/* Longword virtual access */
|
|
gen_op_ld_phys_to_virt();
|
|
gen_op_ldl_raw();
|
|
break;
|
|
case 0x9:
|
|
/* Quadword virtual access */
|
|
gen_op_ld_phys_to_virt();
|
|
gen_op_ldq_raw();
|
|
break;
|
|
case 0xA:
|
|
/* Longword virtual access with protection check */
|
|
gen_ldl(ctx);
|
|
break;
|
|
case 0xB:
|
|
/* Quadword virtual access with protection check */
|
|
gen_ldq(ctx);
|
|
break;
|
|
case 0xC:
|
|
/* Longword virtual access with altenate access mode */
|
|
gen_op_set_alt_mode();
|
|
gen_op_ld_phys_to_virt();
|
|
gen_op_ldl_raw();
|
|
gen_op_restore_mode();
|
|
break;
|
|
case 0xD:
|
|
/* Quadword virtual access with altenate access mode */
|
|
gen_op_set_alt_mode();
|
|
gen_op_ld_phys_to_virt();
|
|
gen_op_ldq_raw();
|
|
gen_op_restore_mode();
|
|
break;
|
|
case 0xE:
|
|
/* Longword virtual access with alternate access mode and
|
|
* protection checks
|
|
*/
|
|
gen_op_set_alt_mode();
|
|
gen_op_ldl_data();
|
|
gen_op_restore_mode();
|
|
break;
|
|
case 0xF:
|
|
/* Quadword virtual access with alternate access mode and
|
|
* protection checks
|
|
*/
|
|
gen_op_set_alt_mode();
|
|
gen_op_ldq_data();
|
|
gen_op_restore_mode();
|
|
break;
|
|
}
|
|
gen_store_ir(ctx, ra, 1);
|
|
break;
|
|
#endif
|
|
case 0x1C:
|
|
switch (fn7) {
|
|
case 0x00:
|
|
/* SEXTB */
|
|
if (!(ctx->amask & AMASK_BWX))
|
|
goto invalid_opc;
|
|
gen_arith2(ctx, &gen_op_sextb, rb, rc, islit, lit);
|
|
break;
|
|
case 0x01:
|
|
/* SEXTW */
|
|
if (!(ctx->amask & AMASK_BWX))
|
|
goto invalid_opc;
|
|
gen_arith2(ctx, &gen_op_sextw, rb, rc, islit, lit);
|
|
break;
|
|
case 0x30:
|
|
/* CTPOP */
|
|
if (!(ctx->amask & AMASK_CIX))
|
|
goto invalid_opc;
|
|
gen_arith2(ctx, &gen_op_ctpop, rb, rc, 0, 0);
|
|
break;
|
|
case 0x31:
|
|
/* PERR */
|
|
if (!(ctx->amask & AMASK_MVI))
|
|
goto invalid_opc;
|
|
/* XXX: TODO */
|
|
goto invalid_opc;
|
|
break;
|
|
case 0x32:
|
|
/* CTLZ */
|
|
if (!(ctx->amask & AMASK_CIX))
|
|
goto invalid_opc;
|
|
gen_arith2(ctx, &gen_op_ctlz, rb, rc, 0, 0);
|
|
break;
|
|
case 0x33:
|
|
/* CTTZ */
|
|
if (!(ctx->amask & AMASK_CIX))
|
|
goto invalid_opc;
|
|
gen_arith2(ctx, &gen_op_cttz, rb, rc, 0, 0);
|
|
break;
|
|
case 0x34:
|
|
/* UNPKBW */
|
|
if (!(ctx->amask & AMASK_MVI))
|
|
goto invalid_opc;
|
|
/* XXX: TODO */
|
|
goto invalid_opc;
|
|
break;
|
|
case 0x35:
|
|
/* UNPKWL */
|
|
if (!(ctx->amask & AMASK_MVI))
|
|
goto invalid_opc;
|
|
/* XXX: TODO */
|
|
goto invalid_opc;
|
|
break;
|
|
case 0x36:
|
|
/* PKWB */
|
|
if (!(ctx->amask & AMASK_MVI))
|
|
goto invalid_opc;
|
|
/* XXX: TODO */
|
|
goto invalid_opc;
|
|
break;
|
|
case 0x37:
|
|
/* PKLB */
|
|
if (!(ctx->amask & AMASK_MVI))
|
|
goto invalid_opc;
|
|
/* XXX: TODO */
|
|
goto invalid_opc;
|
|
break;
|
|
case 0x38:
|
|
/* MINSB8 */
|
|
if (!(ctx->amask & AMASK_MVI))
|
|
goto invalid_opc;
|
|
/* XXX: TODO */
|
|
goto invalid_opc;
|
|
break;
|
|
case 0x39:
|
|
/* MINSW4 */
|
|
if (!(ctx->amask & AMASK_MVI))
|
|
goto invalid_opc;
|
|
/* XXX: TODO */
|
|
goto invalid_opc;
|
|
break;
|
|
case 0x3A:
|
|
/* MINUB8 */
|
|
if (!(ctx->amask & AMASK_MVI))
|
|
goto invalid_opc;
|
|
/* XXX: TODO */
|
|
goto invalid_opc;
|
|
break;
|
|
case 0x3B:
|
|
/* MINUW4 */
|
|
if (!(ctx->amask & AMASK_MVI))
|
|
goto invalid_opc;
|
|
/* XXX: TODO */
|
|
goto invalid_opc;
|
|
break;
|
|
case 0x3C:
|
|
/* MAXUB8 */
|
|
if (!(ctx->amask & AMASK_MVI))
|
|
goto invalid_opc;
|
|
/* XXX: TODO */
|
|
goto invalid_opc;
|
|
break;
|
|
case 0x3D:
|
|
/* MAXUW4 */
|
|
if (!(ctx->amask & AMASK_MVI))
|
|
goto invalid_opc;
|
|
/* XXX: TODO */
|
|
goto invalid_opc;
|
|
break;
|
|
case 0x3E:
|
|
/* MAXSB8 */
|
|
if (!(ctx->amask & AMASK_MVI))
|
|
goto invalid_opc;
|
|
/* XXX: TODO */
|
|
goto invalid_opc;
|
|
break;
|
|
case 0x3F:
|
|
/* MAXSW4 */
|
|
if (!(ctx->amask & AMASK_MVI))
|
|
goto invalid_opc;
|
|
/* XXX: TODO */
|
|
goto invalid_opc;
|
|
break;
|
|
case 0x70:
|
|
/* FTOIT */
|
|
if (!(ctx->amask & AMASK_FIX))
|
|
goto invalid_opc;
|
|
gen_fti(ctx, &gen_op_ftoit, ra, rb);
|
|
break;
|
|
case 0x78:
|
|
/* FTOIS */
|
|
if (!(ctx->amask & AMASK_FIX))
|
|
goto invalid_opc;
|
|
gen_fti(ctx, &gen_op_ftois, ra, rb);
|
|
break;
|
|
default:
|
|
goto invalid_opc;
|
|
}
|
|
break;
|
|
case 0x1D:
|
|
/* HW_MTPR (PALcode) */
|
|
#if defined (CONFIG_USER_ONLY)
|
|
goto invalid_opc;
|
|
#else
|
|
if (!ctx->pal_mode)
|
|
goto invalid_opc;
|
|
gen_load_ir(ctx, ra, 0);
|
|
gen_op_mtpr(insn & 0xFF);
|
|
ret = 2;
|
|
break;
|
|
#endif
|
|
case 0x1E:
|
|
/* HW_REI (PALcode) */
|
|
#if defined (CONFIG_USER_ONLY)
|
|
goto invalid_opc;
|
|
#else
|
|
if (!ctx->pal_mode)
|
|
goto invalid_opc;
|
|
if (rb == 31) {
|
|
/* "Old" alpha */
|
|
gen_op_hw_rei();
|
|
} else {
|
|
gen_load_ir(ctx, rb, 0);
|
|
gen_set_uT1(ctx, (((int64_t)insn << 51) >> 51));
|
|
gen_op_addq();
|
|
gen_op_hw_ret();
|
|
}
|
|
ret = 2;
|
|
break;
|
|
#endif
|
|
case 0x1F:
|
|
/* HW_ST (PALcode) */
|
|
#if defined (CONFIG_USER_ONLY)
|
|
goto invalid_opc;
|
|
#else
|
|
if (!ctx->pal_mode)
|
|
goto invalid_opc;
|
|
gen_load_ir(ctx, rb, 0);
|
|
gen_set_sT1(ctx, disp12);
|
|
gen_op_addq();
|
|
gen_load_ir(ctx, ra, 1);
|
|
switch ((insn >> 12) & 0xF) {
|
|
case 0x0:
|
|
/* Longword physical access */
|
|
gen_op_stl_raw();
|
|
break;
|
|
case 0x1:
|
|
/* Quadword physical access */
|
|
gen_op_stq_raw();
|
|
break;
|
|
case 0x2:
|
|
/* Longword physical access with lock */
|
|
gen_op_stl_c_raw();
|
|
break;
|
|
case 0x3:
|
|
/* Quadword physical access with lock */
|
|
gen_op_stq_c_raw();
|
|
break;
|
|
case 0x4:
|
|
/* Longword virtual access */
|
|
gen_op_st_phys_to_virt();
|
|
gen_op_stl_raw();
|
|
break;
|
|
case 0x5:
|
|
/* Quadword virtual access */
|
|
gen_op_st_phys_to_virt();
|
|
gen_op_stq_raw();
|
|
break;
|
|
case 0x6:
|
|
/* Invalid */
|
|
goto invalid_opc;
|
|
case 0x7:
|
|
/* Invalid */
|
|
goto invalid_opc;
|
|
case 0x8:
|
|
/* Invalid */
|
|
goto invalid_opc;
|
|
case 0x9:
|
|
/* Invalid */
|
|
goto invalid_opc;
|
|
case 0xA:
|
|
/* Invalid */
|
|
goto invalid_opc;
|
|
case 0xB:
|
|
/* Invalid */
|
|
goto invalid_opc;
|
|
case 0xC:
|
|
/* Longword virtual access with alternate access mode */
|
|
gen_op_set_alt_mode();
|
|
gen_op_st_phys_to_virt();
|
|
gen_op_ldl_raw();
|
|
gen_op_restore_mode();
|
|
break;
|
|
case 0xD:
|
|
/* Quadword virtual access with alternate access mode */
|
|
gen_op_set_alt_mode();
|
|
gen_op_st_phys_to_virt();
|
|
gen_op_ldq_raw();
|
|
gen_op_restore_mode();
|
|
break;
|
|
case 0xE:
|
|
/* Invalid */
|
|
goto invalid_opc;
|
|
case 0xF:
|
|
/* Invalid */
|
|
goto invalid_opc;
|
|
}
|
|
ret = 2;
|
|
break;
|
|
#endif
|
|
case 0x20:
|
|
/* LDF */
|
|
#if 0 // TODO
|
|
gen_load_fmem(ctx, &gen_ldf, ra, rb, disp16);
|
|
#else
|
|
goto invalid_opc;
|
|
#endif
|
|
break;
|
|
case 0x21:
|
|
/* LDG */
|
|
#if 0 // TODO
|
|
gen_load_fmem(ctx, &gen_ldg, ra, rb, disp16);
|
|
#else
|
|
goto invalid_opc;
|
|
#endif
|
|
break;
|
|
case 0x22:
|
|
/* LDS */
|
|
gen_load_fmem(ctx, &gen_lds, ra, rb, disp16);
|
|
break;
|
|
case 0x23:
|
|
/* LDT */
|
|
gen_load_fmem(ctx, &gen_ldt, ra, rb, disp16);
|
|
break;
|
|
case 0x24:
|
|
/* STF */
|
|
#if 0 // TODO
|
|
gen_store_fmem(ctx, &gen_stf, ra, rb, disp16);
|
|
#else
|
|
goto invalid_opc;
|
|
#endif
|
|
break;
|
|
case 0x25:
|
|
/* STG */
|
|
#if 0 // TODO
|
|
gen_store_fmem(ctx, &gen_stg, ra, rb, disp16);
|
|
#else
|
|
goto invalid_opc;
|
|
#endif
|
|
break;
|
|
case 0x26:
|
|
/* STS */
|
|
gen_store_fmem(ctx, &gen_sts, ra, rb, disp16);
|
|
break;
|
|
case 0x27:
|
|
/* STT */
|
|
gen_store_fmem(ctx, &gen_stt, ra, rb, disp16);
|
|
break;
|
|
case 0x28:
|
|
/* LDL */
|
|
gen_load_mem(ctx, &gen_ldl, ra, rb, disp16, 0);
|
|
break;
|
|
case 0x29:
|
|
/* LDQ */
|
|
gen_load_mem(ctx, &gen_ldq, ra, rb, disp16, 0);
|
|
break;
|
|
case 0x2A:
|
|
/* LDL_L */
|
|
gen_load_mem(ctx, &gen_ldl_l, ra, rb, disp16, 0);
|
|
break;
|
|
case 0x2B:
|
|
/* LDQ_L */
|
|
gen_load_mem(ctx, &gen_ldq_l, ra, rb, disp16, 0);
|
|
break;
|
|
case 0x2C:
|
|
/* STL */
|
|
gen_store_mem(ctx, &gen_stl, ra, rb, disp16, 0);
|
|
break;
|
|
case 0x2D:
|
|
/* STQ */
|
|
gen_store_mem(ctx, &gen_stq, ra, rb, disp16, 0);
|
|
break;
|
|
case 0x2E:
|
|
/* STL_C */
|
|
gen_store_mem(ctx, &gen_stl_c, ra, rb, disp16, 0);
|
|
break;
|
|
case 0x2F:
|
|
/* STQ_C */
|
|
gen_store_mem(ctx, &gen_stq_c, ra, rb, disp16, 0);
|
|
break;
|
|
case 0x30:
|
|
/* BR */
|
|
gen_set_uT0(ctx, ctx->pc);
|
|
gen_store_ir(ctx, ra, 0);
|
|
if (disp21 != 0) {
|
|
gen_set_sT1(ctx, disp21 << 2);
|
|
gen_op_addq();
|
|
}
|
|
gen_op_branch();
|
|
ret = 1;
|
|
break;
|
|
case 0x31:
|
|
/* FBEQ */
|
|
gen_fbcond(ctx, &gen_op_cmpfeq, ra, disp16);
|
|
ret = 1;
|
|
break;
|
|
case 0x32:
|
|
/* FBLT */
|
|
gen_fbcond(ctx, &gen_op_cmpflt, ra, disp16);
|
|
ret = 1;
|
|
break;
|
|
case 0x33:
|
|
/* FBLE */
|
|
gen_fbcond(ctx, &gen_op_cmpfle, ra, disp16);
|
|
ret = 1;
|
|
break;
|
|
case 0x34:
|
|
/* BSR */
|
|
gen_set_uT0(ctx, ctx->pc);
|
|
gen_store_ir(ctx, ra, 0);
|
|
if (disp21 != 0) {
|
|
gen_set_sT1(ctx, disp21 << 2);
|
|
gen_op_addq();
|
|
}
|
|
gen_op_branch();
|
|
ret = 1;
|
|
break;
|
|
case 0x35:
|
|
/* FBNE */
|
|
gen_fbcond(ctx, &gen_op_cmpfne, ra, disp16);
|
|
ret = 1;
|
|
break;
|
|
case 0x36:
|
|
/* FBGE */
|
|
gen_fbcond(ctx, &gen_op_cmpfge, ra, disp16);
|
|
ret = 1;
|
|
break;
|
|
case 0x37:
|
|
/* FBGT */
|
|
gen_fbcond(ctx, &gen_op_cmpfgt, ra, disp16);
|
|
ret = 1;
|
|
break;
|
|
case 0x38:
|
|
/* BLBC */
|
|
gen_bcond(ctx, &gen_op_cmplbc, ra, disp16);
|
|
ret = 1;
|
|
break;
|
|
case 0x39:
|
|
/* BEQ */
|
|
gen_bcond(ctx, &gen_op_cmpeqz, ra, disp16);
|
|
ret = 1;
|
|
break;
|
|
case 0x3A:
|
|
/* BLT */
|
|
gen_bcond(ctx, &gen_op_cmpltz, ra, disp16);
|
|
ret = 1;
|
|
break;
|
|
case 0x3B:
|
|
/* BLE */
|
|
gen_bcond(ctx, &gen_op_cmplez, ra, disp16);
|
|
ret = 1;
|
|
break;
|
|
case 0x3C:
|
|
/* BLBS */
|
|
gen_bcond(ctx, &gen_op_cmplbs, ra, disp16);
|
|
ret = 1;
|
|
break;
|
|
case 0x3D:
|
|
/* BNE */
|
|
gen_bcond(ctx, &gen_op_cmpnez, ra, disp16);
|
|
ret = 1;
|
|
break;
|
|
case 0x3E:
|
|
/* BGE */
|
|
gen_bcond(ctx, &gen_op_cmpgez, ra, disp16);
|
|
ret = 1;
|
|
break;
|
|
case 0x3F:
|
|
/* BGT */
|
|
gen_bcond(ctx, &gen_op_cmpgtz, ra, disp16);
|
|
ret = 1;
|
|
break;
|
|
invalid_opc:
|
|
gen_invalid(ctx);
|
|
ret = 3;
|
|
break;
|
|
}
|
|
|
|
return ret;
|
|
}
|
|
|
|
int gen_intermediate_code_internal (CPUState *env, TranslationBlock *tb,
|
|
int search_pc)
|
|
{
|
|
#if defined ALPHA_DEBUG_DISAS
|
|
static int insn_count;
|
|
#endif
|
|
DisasContext ctx, *ctxp = &ctx;
|
|
target_ulong pc_start;
|
|
uint32_t insn;
|
|
uint16_t *gen_opc_end;
|
|
int j, lj = -1;
|
|
int ret;
|
|
|
|
pc_start = tb->pc;
|
|
gen_opc_ptr = gen_opc_buf;
|
|
gen_opc_end = gen_opc_buf + OPC_MAX_SIZE;
|
|
gen_opparam_ptr = gen_opparam_buf;
|
|
nb_gen_labels = 0;
|
|
ctx.pc = pc_start;
|
|
ctx.amask = env->amask;
|
|
#if defined (CONFIG_USER_ONLY)
|
|
ctx.mem_idx = 0;
|
|
#else
|
|
ctx.mem_idx = ((env->ps >> 3) & 3);
|
|
ctx.pal_mode = env->ipr[IPR_EXC_ADDR] & 1;
|
|
#endif
|
|
for (ret = 0; ret == 0;) {
|
|
if (env->nb_breakpoints > 0) {
|
|
for(j = 0; j < env->nb_breakpoints; j++) {
|
|
if (env->breakpoints[j] == ctx.pc) {
|
|
gen_excp(&ctx, EXCP_DEBUG, 0);
|
|
break;
|
|
}
|
|
}
|
|
}
|
|
if (search_pc) {
|
|
j = gen_opc_ptr - gen_opc_buf;
|
|
if (lj < j) {
|
|
lj++;
|
|
while (lj < j)
|
|
gen_opc_instr_start[lj++] = 0;
|
|
gen_opc_pc[lj] = ctx.pc;
|
|
gen_opc_instr_start[lj] = 1;
|
|
}
|
|
}
|
|
#if defined ALPHA_DEBUG_DISAS
|
|
insn_count++;
|
|
if (logfile != NULL) {
|
|
fprintf(logfile, "pc " TARGET_FMT_lx " mem_idx %d\n",
|
|
ctx.pc, ctx.mem_idx);
|
|
}
|
|
#endif
|
|
insn = ldl_code(ctx.pc);
|
|
#if defined ALPHA_DEBUG_DISAS
|
|
insn_count++;
|
|
if (logfile != NULL) {
|
|
fprintf(logfile, "opcode %08x %d\n", insn, insn_count);
|
|
}
|
|
#endif
|
|
ctx.pc += 4;
|
|
ret = translate_one(ctxp, insn);
|
|
if (ret != 0)
|
|
break;
|
|
/* if we reach a page boundary or are single stepping, stop
|
|
* generation
|
|
*/
|
|
if (((ctx.pc & (TARGET_PAGE_SIZE - 1)) == 0) ||
|
|
(env->singlestep_enabled)) {
|
|
break;
|
|
}
|
|
#if defined (DO_SINGLE_STEP)
|
|
break;
|
|
#endif
|
|
}
|
|
if (ret != 1 && ret != 3) {
|
|
gen_update_pc(&ctx);
|
|
}
|
|
gen_op_reset_T0();
|
|
#if defined (DO_TB_FLUSH)
|
|
gen_op_tb_flush();
|
|
#endif
|
|
/* Generate the return instruction */
|
|
gen_op_exit_tb();
|
|
*gen_opc_ptr = INDEX_op_end;
|
|
if (search_pc) {
|
|
j = gen_opc_ptr - gen_opc_buf;
|
|
lj++;
|
|
while (lj <= j)
|
|
gen_opc_instr_start[lj++] = 0;
|
|
tb->size = 0;
|
|
} else {
|
|
tb->size = ctx.pc - pc_start;
|
|
}
|
|
#if defined ALPHA_DEBUG_DISAS
|
|
if (loglevel & CPU_LOG_TB_CPU) {
|
|
cpu_dump_state(env, logfile, fprintf, 0);
|
|
}
|
|
if (loglevel & CPU_LOG_TB_IN_ASM) {
|
|
fprintf(logfile, "IN: %s\n", lookup_symbol(pc_start));
|
|
target_disas(logfile, pc_start, ctx.pc - pc_start, 1);
|
|
fprintf(logfile, "\n");
|
|
}
|
|
if (loglevel & CPU_LOG_TB_OP) {
|
|
fprintf(logfile, "OP:\n");
|
|
dump_ops(gen_opc_buf, gen_opparam_buf);
|
|
fprintf(logfile, "\n");
|
|
}
|
|
#endif
|
|
|
|
return 0;
|
|
}
|
|
|
|
int gen_intermediate_code (CPUState *env, struct TranslationBlock *tb)
|
|
{
|
|
return gen_intermediate_code_internal(env, tb, 0);
|
|
}
|
|
|
|
int gen_intermediate_code_pc (CPUState *env, struct TranslationBlock *tb)
|
|
{
|
|
return gen_intermediate_code_internal(env, tb, 1);
|
|
}
|
|
|
|
CPUAlphaState * cpu_alpha_init (void)
|
|
{
|
|
CPUAlphaState *env;
|
|
uint64_t hwpcb;
|
|
|
|
env = qemu_mallocz(sizeof(CPUAlphaState));
|
|
if (!env)
|
|
return NULL;
|
|
cpu_exec_init(env);
|
|
tlb_flush(env, 1);
|
|
/* XXX: should not be hardcoded */
|
|
env->implver = IMPLVER_2106x;
|
|
env->ps = 0x1F00;
|
|
#if defined (CONFIG_USER_ONLY)
|
|
env->ps |= 1 << 3;
|
|
#endif
|
|
pal_init(env);
|
|
/* Initialize IPR */
|
|
hwpcb = env->ipr[IPR_PCBB];
|
|
env->ipr[IPR_ASN] = 0;
|
|
env->ipr[IPR_ASTEN] = 0;
|
|
env->ipr[IPR_ASTSR] = 0;
|
|
env->ipr[IPR_DATFX] = 0;
|
|
/* XXX: fix this */
|
|
// env->ipr[IPR_ESP] = ldq_raw(hwpcb + 8);
|
|
// env->ipr[IPR_KSP] = ldq_raw(hwpcb + 0);
|
|
// env->ipr[IPR_SSP] = ldq_raw(hwpcb + 16);
|
|
// env->ipr[IPR_USP] = ldq_raw(hwpcb + 24);
|
|
env->ipr[IPR_FEN] = 0;
|
|
env->ipr[IPR_IPL] = 31;
|
|
env->ipr[IPR_MCES] = 0;
|
|
env->ipr[IPR_PERFMON] = 0; /* Implementation specific */
|
|
// env->ipr[IPR_PTBR] = ldq_raw(hwpcb + 32);
|
|
env->ipr[IPR_SISR] = 0;
|
|
env->ipr[IPR_VIRBND] = -1ULL;
|
|
|
|
return env;
|
|
}
|