Archipelago » qemu

/*

 *  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, see <http://www.gnu.org/licenses/>.

 */

#include <stdint.h>

#include <stdlib.h>

#include <stdio.h>

#include "cpu.h"

#include "disas.h"

#include "host-utils.h"

#include "tcg-op.h"

#include "qemu-common.h"

#include "helper.h"

#define GEN_HELPER 1

#include "helper.h"

#undef ALPHA_DEBUG_DISAS

#define CONFIG_SOFTFLOAT_INLINE

#ifdef ALPHA_DEBUG_DISAS

#  define LOG_DISAS(...) qemu_log_mask(CPU_LOG_TB_IN_ASM, ## __VA_ARGS__)

#else

#  define LOG_DISAS(...) do { } while (0)

#endif

typedef struct DisasContext DisasContext;

struct DisasContext {

    struct TranslationBlock *tb;

    CPUAlphaState *env;

    uint64_t pc;

    int mem_idx;

    /* Current rounding mode for this TB.  */

    int tb_rm;

    /* Current flush-to-zero setting for this TB.  */

    int tb_ftz;

};

/* Return values from translate_one, indicating the state of the TB.

   Note that zero indicates that we are not exiting the TB.  */

typedef enum {

    NO_EXIT,

    /* We have emitted one or more goto_tb.  No fixup required.  */

    EXIT_GOTO_TB,

    /* We are not using a goto_tb (for whatever reason), but have updated

       the PC (for whatever reason), so there's no need to do it again on

       exiting the TB.  */

    EXIT_PC_UPDATED,

    /* We are exiting the TB, but have neither emitted a goto_tb, nor

       updated the PC for the next instruction to be executed.  */

    EXIT_PC_STALE,

    /* We are ending the TB with a noreturn function call, e.g. longjmp.

       No following code will be executed.  */

    EXIT_NORETURN,

} ExitStatus;

/* global register indexes */

static TCGv_ptr cpu_env;

static TCGv cpu_ir[31];

static TCGv cpu_fir[31];

static TCGv cpu_pc;

static TCGv cpu_lock_addr;

static TCGv cpu_lock_st_addr;

static TCGv cpu_lock_value;

static TCGv cpu_unique;

#ifndef CONFIG_USER_ONLY

static TCGv cpu_sysval;

static TCGv cpu_usp;

#endif

/* register names */

static char cpu_reg_names[10*4+21*5 + 10*5+21*6];

#include "gen-icount.h"

static void alpha_translate_init(void)

{

    int i;

    char *p;

    static int done_init = 0;

    if (done_init)

        return;

    cpu_env = tcg_global_reg_new_ptr(TCG_AREG0, "env");

    p = cpu_reg_names;

    for (i = 0; i < 31; i++) {

        sprintf(p, "ir%d", i);

        cpu_ir[i] = tcg_global_mem_new_i64(TCG_AREG0,

                                           offsetof(CPUState, ir[i]), p);

        p += (i < 10) ? 4 : 5;

        sprintf(p, "fir%d", i);

        cpu_fir[i] = tcg_global_mem_new_i64(TCG_AREG0,

                                            offsetof(CPUState, fir[i]), p);

        p += (i < 10) ? 5 : 6;

    }

    cpu_pc = tcg_global_mem_new_i64(TCG_AREG0,

                                    offsetof(CPUState, pc), "pc");

    cpu_lock_addr = tcg_global_mem_new_i64(TCG_AREG0,

                                           offsetof(CPUState, lock_addr),

                                           "lock_addr");

    cpu_lock_st_addr = tcg_global_mem_new_i64(TCG_AREG0,

                                              offsetof(CPUState, lock_st_addr),

                                              "lock_st_addr");

    cpu_lock_value = tcg_global_mem_new_i64(TCG_AREG0,

                                            offsetof(CPUState, lock_value),

                                            "lock_value");

    cpu_unique = tcg_global_mem_new_i64(TCG_AREG0,

                                        offsetof(CPUState, unique), "unique");

#ifndef CONFIG_USER_ONLY

    cpu_sysval = tcg_global_mem_new_i64(TCG_AREG0,

                                        offsetof(CPUState, sysval), "sysval");

    cpu_usp = tcg_global_mem_new_i64(TCG_AREG0,

                                     offsetof(CPUState, usp), "usp");

#endif

    /* register helpers */

#define GEN_HELPER 2

#include "helper.h"

    done_init = 1;

}

static void gen_excp_1(int exception, int error_code)

{

    TCGv_i32 tmp1, tmp2;

    tmp1 = tcg_const_i32(exception);

    tmp2 = tcg_const_i32(error_code);

    gen_helper_excp(tmp1, tmp2);

    tcg_temp_free_i32(tmp2);

    tcg_temp_free_i32(tmp1);

}

static ExitStatus gen_excp(DisasContext *ctx, int exception, int error_code)

{

    tcg_gen_movi_i64(cpu_pc, ctx->pc);

    gen_excp_1(exception, error_code);

    return EXIT_NORETURN;

}

static inline ExitStatus gen_invalid(DisasContext *ctx)

{

    return gen_excp(ctx, EXCP_OPCDEC, 0);

}

static inline void gen_qemu_ldf(TCGv t0, TCGv t1, int flags)

{

    TCGv tmp = tcg_temp_new();

    TCGv_i32 tmp32 = tcg_temp_new_i32();

    tcg_gen_qemu_ld32u(tmp, t1, flags);

    tcg_gen_trunc_i64_i32(tmp32, tmp);

    gen_helper_memory_to_f(t0, tmp32);

    tcg_temp_free_i32(tmp32);

    tcg_temp_free(tmp);

}

static inline void gen_qemu_ldg(TCGv t0, TCGv t1, int flags)

{

    TCGv tmp = tcg_temp_new();

    tcg_gen_qemu_ld64(tmp, t1, flags);

    gen_helper_memory_to_g(t0, tmp);

    tcg_temp_free(tmp);

}

static inline void gen_qemu_lds(TCGv t0, TCGv t1, int flags)

{

    TCGv tmp = tcg_temp_new();

    TCGv_i32 tmp32 = tcg_temp_new_i32();

    tcg_gen_qemu_ld32u(tmp, t1, flags);

    tcg_gen_trunc_i64_i32(tmp32, tmp);

    gen_helper_memory_to_s(t0, tmp32);

    tcg_temp_free_i32(tmp32);

    tcg_temp_free(tmp);

}

static inline void gen_qemu_ldl_l(TCGv t0, TCGv t1, int flags)

{

    tcg_gen_qemu_ld32s(t0, t1, flags);

    tcg_gen_mov_i64(cpu_lock_addr, t1);

    tcg_gen_mov_i64(cpu_lock_value, t0);

}

static inline void gen_qemu_ldq_l(TCGv t0, TCGv t1, int flags)

{

    tcg_gen_qemu_ld64(t0, t1, flags);

    tcg_gen_mov_i64(cpu_lock_addr, t1);

    tcg_gen_mov_i64(cpu_lock_value, t0);

}

static inline void gen_load_mem(DisasContext *ctx,

                                void (*tcg_gen_qemu_load)(TCGv t0, TCGv t1,

                                                          int flags),

                                int ra, int rb, int32_t disp16, int fp,

                                int clear)

{

    TCGv addr, va;

    /* LDQ_U with ra $31 is UNOP.  Other various loads are forms of

       prefetches, which we can treat as nops.  No worries about

       missed exceptions here.  */

    if (unlikely(ra == 31)) {

        return;

    }

    addr = tcg_temp_new();

    if (rb != 31) {

        tcg_gen_addi_i64(addr, cpu_ir[rb], disp16);

        if (clear) {

            tcg_gen_andi_i64(addr, addr, ~0x7);

        }

    } else {

        if (clear) {

            disp16 &= ~0x7;

        }

        tcg_gen_movi_i64(addr, disp16);

    }

    va = (fp ? cpu_fir[ra] : cpu_ir[ra]);

    tcg_gen_qemu_load(va, addr, ctx->mem_idx);

    tcg_temp_free(addr);

}

static inline void gen_qemu_stf(TCGv t0, TCGv t1, int flags)

{

    TCGv_i32 tmp32 = tcg_temp_new_i32();

    TCGv tmp = tcg_temp_new();

    gen_helper_f_to_memory(tmp32, t0);

    tcg_gen_extu_i32_i64(tmp, tmp32);

    tcg_gen_qemu_st32(tmp, t1, flags);

    tcg_temp_free(tmp);

    tcg_temp_free_i32(tmp32);

}

static inline void gen_qemu_stg(TCGv t0, TCGv t1, int flags)

{

    TCGv tmp = tcg_temp_new();

    gen_helper_g_to_memory(tmp, t0);

    tcg_gen_qemu_st64(tmp, t1, flags);

    tcg_temp_free(tmp);

}

static inline void gen_qemu_sts(TCGv t0, TCGv t1, int flags)

{

    TCGv_i32 tmp32 = tcg_temp_new_i32();

    TCGv tmp = tcg_temp_new();

    gen_helper_s_to_memory(tmp32, t0);

    tcg_gen_extu_i32_i64(tmp, tmp32);

    tcg_gen_qemu_st32(tmp, t1, flags);

    tcg_temp_free(tmp);

    tcg_temp_free_i32(tmp32);

}

static inline void gen_store_mem(DisasContext *ctx,

                                 void (*tcg_gen_qemu_store)(TCGv t0, TCGv t1,

                                                            int flags),

                                 int ra, int rb, int32_t disp16, int fp,

                                 int clear)

{

    TCGv addr, va;

    addr = tcg_temp_new();

    if (rb != 31) {

        tcg_gen_addi_i64(addr, cpu_ir[rb], disp16);

        if (clear) {

            tcg_gen_andi_i64(addr, addr, ~0x7);

        }

    } else {

        if (clear) {

            disp16 &= ~0x7;

        }

        tcg_gen_movi_i64(addr, disp16);

    }

    if (ra == 31) {

        va = tcg_const_i64(0);

    } else {

        va = (fp ? cpu_fir[ra] : cpu_ir[ra]);

    }

    tcg_gen_qemu_store(va, addr, ctx->mem_idx);

    tcg_temp_free(addr);

    if (ra == 31) {

        tcg_temp_free(va);

    }

}

static ExitStatus gen_store_conditional(DisasContext *ctx, int ra, int rb,

                                        int32_t disp16, int quad)

{

    TCGv addr;

    if (ra == 31) {

        /* ??? Don't bother storing anything.  The user can't tell

           the difference, since the zero register always reads zero.  */

        return NO_EXIT;

    }

#if defined(CONFIG_USER_ONLY)

    addr = cpu_lock_st_addr;

#else

    addr = tcg_temp_local_new();

#endif

    if (rb != 31) {

        tcg_gen_addi_i64(addr, cpu_ir[rb], disp16);

    } else {

        tcg_gen_movi_i64(addr, disp16);

    }

#if defined(CONFIG_USER_ONLY)

    /* ??? This is handled via a complicated version of compare-and-swap

       in the cpu_loop.  Hopefully one day we'll have a real CAS opcode

       in TCG so that this isn't necessary.  */

    return gen_excp(ctx, quad ? EXCP_STQ_C : EXCP_STL_C, ra);

#else

    /* ??? In system mode we are never multi-threaded, so CAS can be

       implemented via a non-atomic load-compare-store sequence.  */

    {

        int lab_fail, lab_done;

        TCGv val;

        lab_fail = gen_new_label();

        lab_done = gen_new_label();

        tcg_gen_brcond_i64(TCG_COND_NE, addr, cpu_lock_addr, lab_fail);

        val = tcg_temp_new();

        if (quad) {

            tcg_gen_qemu_ld64(val, addr, ctx->mem_idx);

        } else {

            tcg_gen_qemu_ld32s(val, addr, ctx->mem_idx);

        }

        tcg_gen_brcond_i64(TCG_COND_NE, val, cpu_lock_value, lab_fail);

        if (quad) {

            tcg_gen_qemu_st64(cpu_ir[ra], addr, ctx->mem_idx);

        } else {

            tcg_gen_qemu_st32(cpu_ir[ra], addr, ctx->mem_idx);

        }

        tcg_gen_movi_i64(cpu_ir[ra], 1);

        tcg_gen_br(lab_done);

        gen_set_label(lab_fail);

        tcg_gen_movi_i64(cpu_ir[ra], 0);

        gen_set_label(lab_done);

        tcg_gen_movi_i64(cpu_lock_addr, -1);

        tcg_temp_free(addr);

        return NO_EXIT;

    }

#endif

}

static int use_goto_tb(DisasContext *ctx, uint64_t dest)

{

    /* Check for the dest on the same page as the start of the TB.  We

       also want to suppress goto_tb in the case of single-steping and IO.  */

    return (((ctx->tb->pc ^ dest) & TARGET_PAGE_MASK) == 0

            && !ctx->env->singlestep_enabled

            && !(ctx->tb->cflags & CF_LAST_IO));

}

static ExitStatus gen_bdirect(DisasContext *ctx, int ra, int32_t disp)

{

    uint64_t dest = ctx->pc + (disp << 2);

    if (ra != 31) {

        tcg_gen_movi_i64(cpu_ir[ra], ctx->pc);

    }

    /* Notice branch-to-next; used to initialize RA with the PC.  */

    if (disp == 0) {

        return 0;

    } else if (use_goto_tb(ctx, dest)) {

        tcg_gen_goto_tb(0);

        tcg_gen_movi_i64(cpu_pc, dest);

        tcg_gen_exit_tb((tcg_target_long)ctx->tb);

        return EXIT_GOTO_TB;

    } else {

        tcg_gen_movi_i64(cpu_pc, dest);

        return EXIT_PC_UPDATED;

    }

}

static ExitStatus gen_bcond_internal(DisasContext *ctx, TCGCond cond,

                                     TCGv cmp, int32_t disp)

{

    uint64_t dest = ctx->pc + (disp << 2);

    int lab_true = gen_new_label();

    if (use_goto_tb(ctx, dest)) {

        tcg_gen_brcondi_i64(cond, cmp, 0, lab_true);

        tcg_gen_goto_tb(0);

        tcg_gen_movi_i64(cpu_pc, ctx->pc);

        tcg_gen_exit_tb((tcg_target_long)ctx->tb);

        gen_set_label(lab_true);

        tcg_gen_goto_tb(1);

        tcg_gen_movi_i64(cpu_pc, dest);

        tcg_gen_exit_tb((tcg_target_long)ctx->tb + 1);

        return EXIT_GOTO_TB;

    } else {

        int lab_over = gen_new_label();

        /* ??? Consider using either

             movi pc, next

             addi tmp, pc, disp

             movcond pc, cond, 0, tmp, pc

           or

             setcond tmp, cond, 0

             movi pc, next

             neg tmp, tmp

             andi tmp, tmp, disp

             add pc, pc, tmp

           The current diamond subgraph surely isn't efficient.  */

        tcg_gen_brcondi_i64(cond, cmp, 0, lab_true);

        tcg_gen_movi_i64(cpu_pc, ctx->pc);

        tcg_gen_br(lab_over);

        gen_set_label(lab_true);

        tcg_gen_movi_i64(cpu_pc, dest);

        gen_set_label(lab_over);

        return EXIT_PC_UPDATED;

    }

}

static ExitStatus gen_bcond(DisasContext *ctx, TCGCond cond, int ra,

                            int32_t disp, int mask)

{

    TCGv cmp_tmp;

    if (unlikely(ra == 31)) {

        cmp_tmp = tcg_const_i64(0);

    } else {

        cmp_tmp = tcg_temp_new();

        if (mask) {

            tcg_gen_andi_i64(cmp_tmp, cpu_ir[ra], 1);

        } else {

            tcg_gen_mov_i64(cmp_tmp, cpu_ir[ra]);

        }

    }

    return gen_bcond_internal(ctx, cond, cmp_tmp, disp);

}

/* Fold -0.0 for comparison with COND.  */

static void gen_fold_mzero(TCGCond cond, TCGv dest, TCGv src)

{

    uint64_t mzero = 1ull << 63;

    switch (cond) {

    case TCG_COND_LE:

    case TCG_COND_GT:

        /* For <= or >, the -0.0 value directly compares the way we want.  */

        tcg_gen_mov_i64(dest, src);

        break;

    case TCG_COND_EQ:

    case TCG_COND_NE:

        /* For == or !=, we can simply mask off the sign bit and compare.  */

        tcg_gen_andi_i64(dest, src, mzero - 1);

        break;

    case TCG_COND_GE:

    case TCG_COND_LT:

        /* For >= or <, map -0.0 to +0.0 via comparison and mask.  */

        tcg_gen_setcondi_i64(TCG_COND_NE, dest, src, mzero);

        tcg_gen_neg_i64(dest, dest);

        tcg_gen_and_i64(dest, dest, src);

        break;

    default:

        abort();

    }

}

static ExitStatus gen_fbcond(DisasContext *ctx, TCGCond cond, int ra,

                             int32_t disp)

{

    TCGv cmp_tmp;

    if (unlikely(ra == 31)) {

        /* Very uncommon case, but easier to optimize it to an integer

           comparison than continuing with the floating point comparison.  */

        return gen_bcond(ctx, cond, ra, disp, 0);

    }

    cmp_tmp = tcg_temp_new();

    gen_fold_mzero(cond, cmp_tmp, cpu_fir[ra]);

    return gen_bcond_internal(ctx, cond, cmp_tmp, disp);

}

static void gen_cmov(TCGCond cond, int ra, int rb, int rc,

                     int islit, uint8_t lit, int mask)

{

    TCGCond inv_cond = tcg_invert_cond(cond);

    int l1;

    if (unlikely(rc == 31))

        return;

    l1 = gen_new_label();

    if (ra != 31) {

        if (mask) {

            TCGv tmp = tcg_temp_new();

            tcg_gen_andi_i64(tmp, cpu_ir[ra], 1);

            tcg_gen_brcondi_i64(inv_cond, tmp, 0, l1);

            tcg_temp_free(tmp);

        } else

            tcg_gen_brcondi_i64(inv_cond, cpu_ir[ra], 0, l1);

    } else {

        /* Very uncommon case - Do not bother to optimize.  */

        TCGv tmp = tcg_const_i64(0);

        tcg_gen_brcondi_i64(inv_cond, tmp, 0, l1);

        tcg_temp_free(tmp);

    }

    if (islit)

        tcg_gen_movi_i64(cpu_ir[rc], lit);

    else

        tcg_gen_mov_i64(cpu_ir[rc], cpu_ir[rb]);

    gen_set_label(l1);

}

static void gen_fcmov(TCGCond cond, int ra, int rb, int rc)

{

    TCGv cmp_tmp;

    int l1;

    if (unlikely(rc == 31)) {

        return;

    }

    cmp_tmp = tcg_temp_new();

    if (unlikely(ra == 31)) {

        tcg_gen_movi_i64(cmp_tmp, 0);

    } else {

        gen_fold_mzero(cond, cmp_tmp, cpu_fir[ra]);

    }

    l1 = gen_new_label();

    tcg_gen_brcondi_i64(tcg_invert_cond(cond), cmp_tmp, 0, l1);

    tcg_temp_free(cmp_tmp);

    if (rb != 31)

        tcg_gen_mov_i64(cpu_fir[rc], cpu_fir[rb]);

    else

        tcg_gen_movi_i64(cpu_fir[rc], 0);

    gen_set_label(l1);

}

#define QUAL_RM_N       0x080   /* Round mode nearest even */

#define QUAL_RM_C       0x000   /* Round mode chopped */

#define QUAL_RM_M       0x040   /* Round mode minus infinity */

#define QUAL_RM_D       0x0c0   /* Round mode dynamic */

#define QUAL_RM_MASK    0x0c0

#define QUAL_U          0x100   /* Underflow enable (fp output) */

#define QUAL_V          0x100   /* Overflow enable (int output) */

#define QUAL_S          0x400   /* Software completion enable */

#define QUAL_I          0x200   /* Inexact detection enable */

static void gen_qual_roundmode(DisasContext *ctx, int fn11)

{

    TCGv_i32 tmp;

    fn11 &= QUAL_RM_MASK;

    if (fn11 == ctx->tb_rm) {

        return;

    }

    ctx->tb_rm = fn11;

    tmp = tcg_temp_new_i32();

    switch (fn11) {

    case QUAL_RM_N:

        tcg_gen_movi_i32(tmp, float_round_nearest_even);

        break;

    case QUAL_RM_C:

        tcg_gen_movi_i32(tmp, float_round_to_zero);

        break;

    case QUAL_RM_M:

        tcg_gen_movi_i32(tmp, float_round_down);

        break;

    case QUAL_RM_D:

        tcg_gen_ld8u_i32(tmp, cpu_env, offsetof(CPUState, fpcr_dyn_round));

        break;

    }

#if defined(CONFIG_SOFTFLOAT_INLINE)

    /* ??? The "softfloat.h" interface is to call set_float_rounding_mode.

       With CONFIG_SOFTFLOAT that expands to an out-of-line call that just

       sets the one field.  */

    tcg_gen_st8_i32(tmp, cpu_env,

                    offsetof(CPUState, fp_status.float_rounding_mode));

#else

    gen_helper_setroundmode(tmp);

#endif

    tcg_temp_free_i32(tmp);

}

static void gen_qual_flushzero(DisasContext *ctx, int fn11)

{

    TCGv_i32 tmp;

    fn11 &= QUAL_U;

    if (fn11 == ctx->tb_ftz) {

        return;

    }

    ctx->tb_ftz = fn11;

    tmp = tcg_temp_new_i32();

    if (fn11) {

        /* Underflow is enabled, use the FPCR setting.  */

        tcg_gen_ld8u_i32(tmp, cpu_env, offsetof(CPUState, fpcr_flush_to_zero));

    } else {

        /* Underflow is disabled, force flush-to-zero.  */

        tcg_gen_movi_i32(tmp, 1);

    }

#if defined(CONFIG_SOFTFLOAT_INLINE)

    tcg_gen_st8_i32(tmp, cpu_env,

                    offsetof(CPUState, fp_status.flush_to_zero));

#else

    gen_helper_setflushzero(tmp);

#endif

    tcg_temp_free_i32(tmp);

}

static TCGv gen_ieee_input(int reg, int fn11, int is_cmp)

{

    TCGv val = tcg_temp_new();

    if (reg == 31) {

        tcg_gen_movi_i64(val, 0);

    } else if (fn11 & QUAL_S) {

        gen_helper_ieee_input_s(val, cpu_fir[reg]);

    } else if (is_cmp) {

        gen_helper_ieee_input_cmp(val, cpu_fir[reg]);

    } else {

        gen_helper_ieee_input(val, cpu_fir[reg]);

    }

    return val;

}

static void gen_fp_exc_clear(void)

{

#if defined(CONFIG_SOFTFLOAT_INLINE)

    TCGv_i32 zero = tcg_const_i32(0);

    tcg_gen_st8_i32(zero, cpu_env,

                    offsetof(CPUState, fp_status.float_exception_flags));

    tcg_temp_free_i32(zero);

#else

    gen_helper_fp_exc_clear();

#endif

}

static void gen_fp_exc_raise_ignore(int rc, int fn11, int ignore)

{

    /* ??? We ought to be able to do something with imprecise exceptions.

       E.g. notice we're still in the trap shadow of something within the

       TB and do not generate the code to signal the exception; end the TB

       when an exception is forced to arrive, either by consumption of a

       register value or TRAPB or EXCB.  */

    TCGv_i32 exc = tcg_temp_new_i32();

    TCGv_i32 reg;

#if defined(CONFIG_SOFTFLOAT_INLINE)

    tcg_gen_ld8u_i32(exc, cpu_env,

                     offsetof(CPUState, fp_status.float_exception_flags));

#else

    gen_helper_fp_exc_get(exc);

#endif

    if (ignore) {

        tcg_gen_andi_i32(exc, exc, ~ignore);

    }

    /* ??? Pass in the regno of the destination so that the helper can

       set EXC_MASK, which contains a bitmask of destination registers

       that have caused arithmetic traps.  A simple userspace emulation

       does not require this.  We do need it for a guest kernel's entArith,

       or if we were to do something clever with imprecise exceptions.  */

    reg = tcg_const_i32(rc + 32);

    if (fn11 & QUAL_S) {

        gen_helper_fp_exc_raise_s(exc, reg);

    } else {

        gen_helper_fp_exc_raise(exc, reg);

    }

    tcg_temp_free_i32(reg);

    tcg_temp_free_i32(exc);

}

static inline void gen_fp_exc_raise(int rc, int fn11)

{

    gen_fp_exc_raise_ignore(rc, fn11, fn11 & QUAL_I ? 0 : float_flag_inexact);

}

static void gen_fcvtlq(int rb, int rc)

{

    if (unlikely(rc == 31)) {

        return;

    }

    if (unlikely(rb == 31)) {

        tcg_gen_movi_i64(cpu_fir[rc], 0);

    } else {

        TCGv tmp = tcg_temp_new();

        /* The arithmetic right shift here, plus the sign-extended mask below

           yields a sign-extended result without an explicit ext32s_i64.  */

        tcg_gen_sari_i64(tmp, cpu_fir[rb], 32);

        tcg_gen_shri_i64(cpu_fir[rc], cpu_fir[rb], 29);

        tcg_gen_andi_i64(tmp, tmp, (int32_t)0xc0000000);

        tcg_gen_andi_i64(cpu_fir[rc], cpu_fir[rc], 0x3fffffff);

        tcg_gen_or_i64(cpu_fir[rc], cpu_fir[rc], tmp);

        tcg_temp_free(tmp);

    }

}

static void gen_fcvtql(int rb, int rc)

{

    if (unlikely(rc == 31)) {

        return;

    }

    if (unlikely(rb == 31)) {

        tcg_gen_movi_i64(cpu_fir[rc], 0);

    } else {

        TCGv tmp = tcg_temp_new();

        tcg_gen_andi_i64(tmp, cpu_fir[rb], 0xC0000000);

        tcg_gen_andi_i64(cpu_fir[rc], cpu_fir[rb], 0x3FFFFFFF);

        tcg_gen_shli_i64(tmp, tmp, 32);

        tcg_gen_shli_i64(cpu_fir[rc], cpu_fir[rc], 29);

        tcg_gen_or_i64(cpu_fir[rc], cpu_fir[rc], tmp);

        tcg_temp_free(tmp);

    }

}

static void gen_fcvtql_v(DisasContext *ctx, int rb, int rc)

{

    if (rb != 31) {

        int lab = gen_new_label();

        TCGv tmp = tcg_temp_new();

        tcg_gen_ext32s_i64(tmp, cpu_fir[rb]);

        tcg_gen_brcond_i64(TCG_COND_EQ, tmp, cpu_fir[rb], lab);

        gen_excp(ctx, EXCP_ARITH, EXC_M_IOV);

        gen_set_label(lab);

    }

    gen_fcvtql(rb, rc);

}

#define FARITH2(name)                                   \

static inline void glue(gen_f, name)(int rb, int rc)    \

{                                                       \

    if (unlikely(rc == 31)) {                           \

        return;                                         \

    }                                                   \

    if (rb != 31) {                                     \

        gen_helper_ ## name (cpu_fir[rc], cpu_fir[rb]); \

    } else {                                                \

        TCGv tmp = tcg_const_i64(0);                    \

        gen_helper_ ## name (cpu_fir[rc], tmp);         \

        tcg_temp_free(tmp);                             \

    }                                                   \

}

/* ??? VAX instruction qualifiers ignored.  */

FARITH2(sqrtf)

FARITH2(sqrtg)

FARITH2(cvtgf)

FARITH2(cvtgq)

FARITH2(cvtqf)

FARITH2(cvtqg)

static void gen_ieee_arith2(DisasContext *ctx, void (*helper)(TCGv, TCGv),

                            int rb, int rc, int fn11)

{

    TCGv vb;

    /* ??? This is wrong: the instruction is not a nop, it still may

       raise exceptions.  */

    if (unlikely(rc == 31)) {

        return;

    }

    gen_qual_roundmode(ctx, fn11);

    gen_qual_flushzero(ctx, fn11);

    gen_fp_exc_clear();

    vb = gen_ieee_input(rb, fn11, 0);

    helper(cpu_fir[rc], vb);

    tcg_temp_free(vb);

    gen_fp_exc_raise(rc, fn11);

}

#define IEEE_ARITH2(name)                                       \

static inline void glue(gen_f, name)(DisasContext *ctx,         \

                                     int rb, int rc, int fn11)  \

{                                                               \

    gen_ieee_arith2(ctx, gen_helper_##name, rb, rc, fn11);      \

}

IEEE_ARITH2(sqrts)

IEEE_ARITH2(sqrtt)

IEEE_ARITH2(cvtst)

IEEE_ARITH2(cvtts)

static void gen_fcvttq(DisasContext *ctx, int rb, int rc, int fn11)

{

    TCGv vb;

    int ignore = 0;

    /* ??? This is wrong: the instruction is not a nop, it still may

       raise exceptions.  */

    if (unlikely(rc == 31)) {

        return;

    }

    /* No need to set flushzero, since we have an integer output.  */

    gen_fp_exc_clear();

    vb = gen_ieee_input(rb, fn11, 0);

    /* Almost all integer conversions use cropped rounding, and most

       also do not have integer overflow enabled.  Special case that.  */

    switch (fn11) {

    case QUAL_RM_C:

        gen_helper_cvttq_c(cpu_fir[rc], vb);

        break;

    case QUAL_V | QUAL_RM_C:

    case QUAL_S | QUAL_V | QUAL_RM_C:

        ignore = float_flag_inexact;

        /* FALLTHRU */

    case QUAL_S | QUAL_V | QUAL_I | QUAL_RM_C:

        gen_helper_cvttq_svic(cpu_fir[rc], vb);

        break;

    default:

        gen_qual_roundmode(ctx, fn11);

        gen_helper_cvttq(cpu_fir[rc], vb);

        ignore |= (fn11 & QUAL_V ? 0 : float_flag_overflow);

        ignore |= (fn11 & QUAL_I ? 0 : float_flag_inexact);

        break;

    }

    tcg_temp_free(vb);

    gen_fp_exc_raise_ignore(rc, fn11, ignore);

}

static void gen_ieee_intcvt(DisasContext *ctx, void (*helper)(TCGv, TCGv),

                            int rb, int rc, int fn11)

{

    TCGv vb;

    /* ??? This is wrong: the instruction is not a nop, it still may

       raise exceptions.  */

    if (unlikely(rc == 31)) {

        return;

    }

    gen_qual_roundmode(ctx, fn11);

    if (rb == 31) {

        vb = tcg_const_i64(0);

    } else {

        vb = cpu_fir[rb];

    }

    /* The only exception that can be raised by integer conversion

       is inexact.  Thus we only need to worry about exceptions when

       inexact handling is requested.  */

    if (fn11 & QUAL_I) {