[mirror_qemu.git] / target / hppa / op_helper.c

/*
 * Helpers for HPPA instructions.
 *
 * Copyright (c) 2016 Richard Henderson <rth@twiddle.net>
 *
 * 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 "qemu/osdep.h"
#include "cpu.h"
#include "exec/exec-all.h"
#include "exec/helper-proto.h"
#include "exec/cpu_ldst.h"

void QEMU_NORETURN HELPER(excp)(CPUHPPAState *env, int excp)
{
    HPPACPU *cpu = hppa_env_get_cpu(env);
    CPUState *cs = CPU(cpu);

    cs->exception_index = excp;
    cpu_loop_exit(cs);
}

static void QEMU_NORETURN dynexcp(CPUHPPAState *env, int excp, uintptr_t ra)
{
    HPPACPU *cpu = hppa_env_get_cpu(env);
    CPUState *cs = CPU(cpu);

    cs->exception_index = excp;
    cpu_loop_exit_restore(cs, ra);
}

void HELPER(tsv)(CPUHPPAState *env, target_ulong cond)
{
    if (unlikely((target_long)cond < 0)) {
        dynexcp(env, EXCP_SIGFPE, GETPC());
    }
}

void HELPER(tcond)(CPUHPPAState *env, target_ulong cond)
{
    if (unlikely(cond)) {
        dynexcp(env, EXCP_SIGFPE, GETPC());
    }
}

static void atomic_store_3(CPUHPPAState *env, target_ulong addr, uint32_t val,
                           uint32_t mask, uintptr_t ra)
{
    uint32_t old, new, cmp;

#ifdef CONFIG_USER_ONLY
    uint32_t *haddr = g2h(addr - 1);
    old = *haddr;
    while (1) {
        new = (old & ~mask) | (val & mask);
        cmp = atomic_cmpxchg(haddr, old, new);
        if (cmp == old) {
            return;
        }
        old = cmp;
    }
#else
#error "Not implemented."
#endif
}

static void do_stby_b(CPUHPPAState *env, target_ulong addr, target_ulong val,
                      bool parallel)
{
    uintptr_t ra = GETPC();

    switch (addr & 3) {
    case 3:
        cpu_stb_data_ra(env, addr, val, ra);
        break;
    case 2:
        cpu_stw_data_ra(env, addr, val, ra);
        break;
    case 1:
        /* The 3 byte store must appear atomic.  */
        if (parallel) {
            atomic_store_3(env, addr, val, 0x00ffffffu, ra);
        } else {
            cpu_stb_data_ra(env, addr, val >> 16, ra);
            cpu_stw_data_ra(env, addr + 1, val, ra);
        }
        break;
    default:
        cpu_stl_data_ra(env, addr, val, ra);
        break;
    }
}

void HELPER(stby_b)(CPUHPPAState *env, target_ulong addr, target_ulong val)
{
    do_stby_b(env, addr, val, false);
}

void HELPER(stby_b_parallel)(CPUHPPAState *env, target_ulong addr,
                             target_ulong val)
{
    do_stby_b(env, addr, val, true);
}

static void do_stby_e(CPUHPPAState *env, target_ulong addr, target_ulong val,
                      bool parallel)
{
    uintptr_t ra = GETPC();

    switch (addr & 3) {
    case 3:
        /* The 3 byte store must appear atomic.  */
        if (parallel) {
            atomic_store_3(env, addr - 3, val, 0xffffff00u, ra);
        } else {
            cpu_stw_data_ra(env, addr - 3, val >> 16, ra);
            cpu_stb_data_ra(env, addr - 1, val >> 8, ra);
        }
        break;
    case 2:
        cpu_stw_data_ra(env, addr - 2, val >> 16, ra);
        break;
    case 1:
        cpu_stb_data_ra(env, addr - 1, val >> 24, ra);
        break;
    default:
        /* Nothing is stored, but protection is checked and the
           cacheline is marked dirty.  */
#ifndef CONFIG_USER_ONLY
        probe_write(env, addr, 0, cpu_mmu_index(env, 0), ra);
#endif
        break;
    }
}

void HELPER(stby_e)(CPUHPPAState *env, target_ulong addr, target_ulong val)
{
    do_stby_e(env, addr, val, false);
}

void HELPER(stby_e_parallel)(CPUHPPAState *env, target_ulong addr,
                             target_ulong val)
{
    do_stby_e(env, addr, val, true);
}

target_ulong HELPER(probe_r)(target_ulong addr)
{
    return page_check_range(addr, 1, PAGE_READ);
}

target_ulong HELPER(probe_w)(target_ulong addr)
{
    return page_check_range(addr, 1, PAGE_WRITE);
}

void HELPER(loaded_fr0)(CPUHPPAState *env)
{
    uint32_t shadow = env->fr[0] >> 32;
    int rm, d;

    env->fr0_shadow = shadow;

    switch (extract32(shadow, 9, 2)) {
    default:
        rm = float_round_nearest_even;
        break;
    case 1:
        rm = float_round_to_zero;
        break;
    case 2:
        rm = float_round_up;
        break;
    case 3:
        rm = float_round_down;
        break;
    }
    set_float_rounding_mode(rm, &env->fp_status);

    d = extract32(shadow, 5, 1);
    set_flush_to_zero(d, &env->fp_status);
    set_flush_inputs_to_zero(d, &env->fp_status);
}

void cpu_hppa_loaded_fr0(CPUHPPAState *env)
{
    helper_loaded_fr0(env);
}

#define CONVERT_BIT(X, SRC, DST)        \
    ((SRC) > (DST)                      \
     ? (X) / ((SRC) / (DST)) & (DST)    \
     : ((X) & (SRC)) * ((DST) / (SRC)))

static void update_fr0_op(CPUHPPAState *env, uintptr_t ra)
{
    uint32_t soft_exp = get_float_exception_flags(&env->fp_status);
    uint32_t hard_exp = 0;
    uint32_t shadow = env->fr0_shadow;

    if (likely(soft_exp == 0)) {
        env->fr[0] = (uint64_t)shadow << 32;
        return;
    }
    set_float_exception_flags(0, &env->fp_status);

    hard_exp |= CONVERT_BIT(soft_exp, float_flag_inexact,   1u << 0);
    hard_exp |= CONVERT_BIT(soft_exp, float_flag_underflow, 1u << 1);
    hard_exp |= CONVERT_BIT(soft_exp, float_flag_overflow,  1u << 2);
    hard_exp |= CONVERT_BIT(soft_exp, float_flag_divbyzero, 1u << 3);
    hard_exp |= CONVERT_BIT(soft_exp, float_flag_invalid,   1u << 4);
    shadow |= hard_exp << (32 - 5);
    env->fr0_shadow = shadow;
    env->fr[0] = (uint64_t)shadow << 32;

    if (hard_exp & shadow) {
        dynexcp(env, EXCP_SIGFPE, ra);
    }
}

float32 HELPER(fsqrt_s)(CPUHPPAState *env, float32 arg)
{
    float32 ret = float32_sqrt(arg, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

float32 HELPER(frnd_s)(CPUHPPAState *env, float32 arg)
{
    float32 ret = float32_round_to_int(arg, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

float32 HELPER(fadd_s)(CPUHPPAState *env, float32 a, float32 b)
{
    float32 ret = float32_add(a, b, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

float32 HELPER(fsub_s)(CPUHPPAState *env, float32 a, float32 b)
{
    float32 ret = float32_sub(a, b, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

float32 HELPER(fmpy_s)(CPUHPPAState *env, float32 a, float32 b)
{
    float32 ret = float32_mul(a, b, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

float32 HELPER(fdiv_s)(CPUHPPAState *env, float32 a, float32 b)
{
    float32 ret = float32_div(a, b, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

float64 HELPER(fsqrt_d)(CPUHPPAState *env, float64 arg)
{
    float64 ret = float64_sqrt(arg, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

float64 HELPER(frnd_d)(CPUHPPAState *env, float64 arg)
{
    float64 ret = float64_round_to_int(arg, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

float64 HELPER(fadd_d)(CPUHPPAState *env, float64 a, float64 b)
{
    float64 ret = float64_add(a, b, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

float64 HELPER(fsub_d)(CPUHPPAState *env, float64 a, float64 b)
{
    float64 ret = float64_sub(a, b, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

float64 HELPER(fmpy_d)(CPUHPPAState *env, float64 a, float64 b)
{
    float64 ret = float64_mul(a, b, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

float64 HELPER(fdiv_d)(CPUHPPAState *env, float64 a, float64 b)
{
    float64 ret = float64_div(a, b, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

float64 HELPER(fcnv_s_d)(CPUHPPAState *env, float32 arg)
{
    float64 ret = float32_to_float64(arg, &env->fp_status);
    ret = float64_maybe_silence_nan(ret, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

float32 HELPER(fcnv_d_s)(CPUHPPAState *env, float64 arg)
{
    float32 ret = float64_to_float32(arg, &env->fp_status);
    ret = float32_maybe_silence_nan(ret, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

float32 HELPER(fcnv_w_s)(CPUHPPAState *env, int32_t arg)
{
    float32 ret = int32_to_float32(arg, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

float32 HELPER(fcnv_dw_s)(CPUHPPAState *env, int64_t arg)
{
    float32 ret = int64_to_float32(arg, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

float64 HELPER(fcnv_w_d)(CPUHPPAState *env, int32_t arg)
{
    float64 ret = int32_to_float64(arg, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

float64 HELPER(fcnv_dw_d)(CPUHPPAState *env, int64_t arg)
{
    float64 ret = int64_to_float64(arg, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

int32_t HELPER(fcnv_s_w)(CPUHPPAState *env, float32 arg)
{
    int32_t ret = float32_to_int32(arg, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

int32_t HELPER(fcnv_d_w)(CPUHPPAState *env, float64 arg)
{
    int32_t ret = float64_to_int32(arg, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

int64_t HELPER(fcnv_s_dw)(CPUHPPAState *env, float32 arg)
{
    int64_t ret = float32_to_int64(arg, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

int64_t HELPER(fcnv_d_dw)(CPUHPPAState *env, float64 arg)
{
    int64_t ret = float64_to_int64(arg, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

int32_t HELPER(fcnv_t_s_w)(CPUHPPAState *env, float32 arg)
{
    int32_t ret = float32_to_int32_round_to_zero(arg, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

int32_t HELPER(fcnv_t_d_w)(CPUHPPAState *env, float64 arg)
{
    int32_t ret = float64_to_int32_round_to_zero(arg, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

int64_t HELPER(fcnv_t_s_dw)(CPUHPPAState *env, float32 arg)
{
    int64_t ret = float32_to_int64_round_to_zero(arg, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

int64_t HELPER(fcnv_t_d_dw)(CPUHPPAState *env, float64 arg)
{
    int64_t ret = float64_to_int64_round_to_zero(arg, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

float32 HELPER(fcnv_uw_s)(CPUHPPAState *env, uint32_t arg)
{
    float32 ret = uint32_to_float32(arg, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

float32 HELPER(fcnv_udw_s)(CPUHPPAState *env, uint64_t arg)
{
    float32 ret = uint64_to_float32(arg, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

float64 HELPER(fcnv_uw_d)(CPUHPPAState *env, uint32_t arg)
{
    float64 ret = uint32_to_float64(arg, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

float64 HELPER(fcnv_udw_d)(CPUHPPAState *env, uint64_t arg)
{
    float64 ret = uint64_to_float64(arg, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

uint32_t HELPER(fcnv_s_uw)(CPUHPPAState *env, float32 arg)
{
    uint32_t ret = float32_to_uint32(arg, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

uint32_t HELPER(fcnv_d_uw)(CPUHPPAState *env, float64 arg)
{
    uint32_t ret = float64_to_uint32(arg, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

uint64_t HELPER(fcnv_s_udw)(CPUHPPAState *env, float32 arg)
{
    uint64_t ret = float32_to_uint64(arg, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

uint64_t HELPER(fcnv_d_udw)(CPUHPPAState *env, float64 arg)
{
    uint64_t ret = float64_to_uint64(arg, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

uint32_t HELPER(fcnv_t_s_uw)(CPUHPPAState *env, float32 arg)
{
    uint32_t ret = float32_to_uint32_round_to_zero(arg, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

uint32_t HELPER(fcnv_t_d_uw)(CPUHPPAState *env, float64 arg)
{
    uint32_t ret = float64_to_uint32_round_to_zero(arg, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

uint64_t HELPER(fcnv_t_s_udw)(CPUHPPAState *env, float32 arg)
{
    uint64_t ret = float32_to_uint64_round_to_zero(arg, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

uint64_t HELPER(fcnv_t_d_udw)(CPUHPPAState *env, float64 arg)
{
    uint64_t ret = float64_to_uint64_round_to_zero(arg, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

static void update_fr0_cmp(CPUHPPAState *env, uint32_t y, uint32_t c, int r)
{
    uint32_t shadow = env->fr0_shadow;

    switch (r) {
    case float_relation_greater:
        c = extract32(c, 4, 1);
        break;
    case float_relation_less:
        c = extract32(c, 3, 1);
        break;
    case float_relation_equal:
        c = extract32(c, 2, 1);
        break;
    case float_relation_unordered:
        c = extract32(c, 1, 1);
        break;
    default:
        g_assert_not_reached();
    }

    if (y) {
        /* targeted comparison */
        /* set fpsr[ca[y - 1]] to current compare */
        shadow = deposit32(shadow, 21 - (y - 1), 1, c);
    } else {
        /* queued comparison */
        /* shift cq right by one place */
        shadow = deposit32(shadow, 11, 10, extract32(shadow, 12, 10));
        /* move fpsr[c] to fpsr[cq[0]] */
        shadow = deposit32(shadow, 21, 1, extract32(shadow, 26, 1));
        /* set fpsr[c] to current compare */
        shadow = deposit32(shadow, 26, 1, c);
    }

    env->fr0_shadow = shadow;
    env->fr[0] = (uint64_t)shadow << 32;
}

void HELPER(fcmp_s)(CPUHPPAState *env, float32 a, float32 b,
                    uint32_t y, uint32_t c)
{
    int r;
    if (c & 1) {
        r = float32_compare(a, b, &env->fp_status);
    } else {
        r = float32_compare_quiet(a, b, &env->fp_status);
    }
    update_fr0_op(env, GETPC());
    update_fr0_cmp(env, y, c, r);
}

void HELPER(fcmp_d)(CPUHPPAState *env, float64 a, float64 b,
                    uint32_t y, uint32_t c)
{
    int r;
    if (c & 1) {
        r = float64_compare(a, b, &env->fp_status);
    } else {
        r = float64_compare_quiet(a, b, &env->fp_status);
    }
    update_fr0_op(env, GETPC());
    update_fr0_cmp(env, y, c, r);
}

float32 HELPER(fmpyfadd_s)(CPUHPPAState *env, float32 a, float32 b, float32 c)
{
    float32 ret = float32_muladd(a, b, c, 0, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

float32 HELPER(fmpynfadd_s)(CPUHPPAState *env, float32 a, float32 b, float32 c)
{
    float32 ret = float32_muladd(a, b, c, float_muladd_negate_product,
                                 &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

float64 HELPER(fmpyfadd_d)(CPUHPPAState *env, float64 a, float64 b, float64 c)
{
    float64 ret = float64_muladd(a, b, c, 0, &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}

float64 HELPER(fmpynfadd_d)(CPUHPPAState *env, float64 a, float64 b, float64 c)
{
    float64 ret = float64_muladd(a, b, c, float_muladd_negate_product,
                                 &env->fp_status);
    update_fr0_op(env, GETPC());
    return ret;
}
Commit	Line	Data
61766fe9 RH	1	/*
	2	* Helpers for HPPA instructions.
	3	*
	4	* Copyright (c) 2016 Richard Henderson <rth@twiddle.net>
	5	*
	6	* This library is free software; you can redistribute it and/or
	7	* modify it under the terms of the GNU Lesser General Public
	8	* License as published by the Free Software Foundation; either
	9	* version 2 of the License, or (at your option) any later version.
	10	*
	11	* This library is distributed in the hope that it will be useful,
	12	* but WITHOUT ANY WARRANTY; without even the implied warranty of
	13	* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
	14	* Lesser General Public License for more details.
	15	*
	16	* You should have received a copy of the GNU Lesser General Public
	17	* License along with this library; if not, see <http://www.gnu.org/licenses/>.
	18	*/
	19
	20	#include "qemu/osdep.h"
	21	#include "cpu.h"
	22	#include "exec/exec-all.h"
	23	#include "exec/helper-proto.h"
96d6407f	24	#include "exec/cpu_ldst.h"
61766fe9 RH	25
	26	void QEMU_NORETURN HELPER(excp)(CPUHPPAState *env, int excp)
	27	{
	28	HPPACPU *cpu = hppa_env_get_cpu(env);
	29	CPUState *cs = CPU(cpu);
	30
	31	cs->exception_index = excp;
	32	cpu_loop_exit(cs);
	33	}
	34
b2167459 RH	35	static void QEMU_NORETURN dynexcp(CPUHPPAState *env, int excp, uintptr_t ra)
	36	{
	37	HPPACPU *cpu = hppa_env_get_cpu(env);
	38	CPUState *cs = CPU(cpu);
	39
	40	cs->exception_index = excp;
	41	cpu_loop_exit_restore(cs, ra);
	42	}
	43
	44	void HELPER(tsv)(CPUHPPAState *env, target_ulong cond)
	45	{
	46	if (unlikely((target_long)cond < 0)) {
	47	dynexcp(env, EXCP_SIGFPE, GETPC());
	48	}
	49	}
	50
	51	void HELPER(tcond)(CPUHPPAState *env, target_ulong cond)
	52	{
	53	if (unlikely(cond)) {
	54	dynexcp(env, EXCP_SIGFPE, GETPC());
	55	}
	56	}
	57
96d6407f RH	58	static void atomic_store_3(CPUHPPAState *env, target_ulong addr, uint32_t val,
	59	uint32_t mask, uintptr_t ra)
	60	{
	61	uint32_t old, new, cmp;
	62
	63	#ifdef CONFIG_USER_ONLY
	64	uint32_t *haddr = g2h(addr - 1);
	65	old = *haddr;
	66	while (1) {
	67	new = (old & ~mask) \| (val & mask);
	68	cmp = atomic_cmpxchg(haddr, old, new);
	69	if (cmp == old) {
	70	return;
	71	}
	72	old = cmp;
	73	}
	74	#else
	75	#error "Not implemented."
	76	#endif
	77	}
	78
f9f46db4 EC	79	static void do_stby_b(CPUHPPAState *env, target_ulong addr, target_ulong val,
f9f46db4 EC	80	bool parallel)
96d6407f RH	81	{
	82	uintptr_t ra = GETPC();
	83
	84	switch (addr & 3) {
	85	case 3:
	86	cpu_stb_data_ra(env, addr, val, ra);
	87	break;
	88	case 2:
	89	cpu_stw_data_ra(env, addr, val, ra);
	90	break;
	91	case 1:
	92	/* The 3 byte store must appear atomic. */
f9f46db4	93	if (parallel) {
96d6407f RH	94	atomic_store_3(env, addr, val, 0x00ffffffu, ra);
	95	} else {
	96	cpu_stb_data_ra(env, addr, val >> 16, ra);
	97	cpu_stw_data_ra(env, addr + 1, val, ra);
	98	}
	99	break;
	100	default:
	101	cpu_stl_data_ra(env, addr, val, ra);
	102	break;
	103	}
	104	}
	105
f9f46db4 EC	106	void HELPER(stby_b)(CPUHPPAState *env, target_ulong addr, target_ulong val)
	107	{
	108	do_stby_b(env, addr, val, false);
	109	}
	110
	111	void HELPER(stby_b_parallel)(CPUHPPAState *env, target_ulong addr,
	112	target_ulong val)
	113	{
	114	do_stby_b(env, addr, val, true);
	115	}
	116
	117	static void do_stby_e(CPUHPPAState *env, target_ulong addr, target_ulong val,
	118	bool parallel)
96d6407f RH	119	{
	120	uintptr_t ra = GETPC();
	121
	122	switch (addr & 3) {
	123	case 3:
	124	/* The 3 byte store must appear atomic. */
f9f46db4	125	if (parallel) {
96d6407f RH	126	atomic_store_3(env, addr - 3, val, 0xffffff00u, ra);
	127	} else {
	128	cpu_stw_data_ra(env, addr - 3, val >> 16, ra);
	129	cpu_stb_data_ra(env, addr - 1, val >> 8, ra);
	130	}
	131	break;
	132	case 2:
	133	cpu_stw_data_ra(env, addr - 2, val >> 16, ra);
	134	break;
	135	case 1:
	136	cpu_stb_data_ra(env, addr - 1, val >> 24, ra);
	137	break;
	138	default:
	139	/* Nothing is stored, but protection is checked and the
	140	cacheline is marked dirty. */
	141	#ifndef CONFIG_USER_ONLY
98670d47	142	probe_write(env, addr, 0, cpu_mmu_index(env, 0), ra);
96d6407f RH	143	#endif
	144	break;
	145	}
	146	}
	147
f9f46db4 EC	148	void HELPER(stby_e)(CPUHPPAState *env, target_ulong addr, target_ulong val)
	149	{
	150	do_stby_e(env, addr, val, false);
	151	}
	152
	153	void HELPER(stby_e_parallel)(CPUHPPAState *env, target_ulong addr,
	154	target_ulong val)
	155	{
	156	do_stby_e(env, addr, val, true);
	157	}
	158
98a9cb79 RH	159	target_ulong HELPER(probe_r)(target_ulong addr)
	160	{
	161	return page_check_range(addr, 1, PAGE_READ);
	162	}
	163
	164	target_ulong HELPER(probe_w)(target_ulong addr)
	165	{
	166	return page_check_range(addr, 1, PAGE_WRITE);
	167	}
	168
61766fe9 RH	169	void HELPER(loaded_fr0)(CPUHPPAState *env)
	170	{
	171	uint32_t shadow = env->fr[0] >> 32;
	172	int rm, d;
	173
	174	env->fr0_shadow = shadow;
	175
	176	switch (extract32(shadow, 9, 2)) {
	177	default:
	178	rm = float_round_nearest_even;
	179	break;
	180	case 1:
	181	rm = float_round_to_zero;
	182	break;
	183	case 2:
	184	rm = float_round_up;
	185	break;
	186	case 3:
	187	rm = float_round_down;
	188	break;
	189	}
	190	set_float_rounding_mode(rm, &env->fp_status);
	191
	192	d = extract32(shadow, 5, 1);
	193	set_flush_to_zero(d, &env->fp_status);
	194	set_flush_inputs_to_zero(d, &env->fp_status);
	195	}
	196
	197	void cpu_hppa_loaded_fr0(CPUHPPAState *env)
	198	{
	199	helper_loaded_fr0(env);
	200	}
ebe9383c RH	201
	202	#define CONVERT_BIT(X, SRC, DST) \
	203	((SRC) > (DST) \
	204	? (X) / ((SRC) / (DST)) & (DST) \
	205	: ((X) & (SRC)) * ((DST) / (SRC)))
	206
	207	static void update_fr0_op(CPUHPPAState *env, uintptr_t ra)
	208	{
	209	uint32_t soft_exp = get_float_exception_flags(&env->fp_status);
	210	uint32_t hard_exp = 0;
	211	uint32_t shadow = env->fr0_shadow;
	212
	213	if (likely(soft_exp == 0)) {
	214	env->fr[0] = (uint64_t)shadow << 32;
	215	return;
	216	}
	217	set_float_exception_flags(0, &env->fp_status);
	218
	219	hard_exp \|= CONVERT_BIT(soft_exp, float_flag_inexact, 1u << 0);
	220	hard_exp \|= CONVERT_BIT(soft_exp, float_flag_underflow, 1u << 1);
	221	hard_exp \|= CONVERT_BIT(soft_exp, float_flag_overflow, 1u << 2);
	222	hard_exp \|= CONVERT_BIT(soft_exp, float_flag_divbyzero, 1u << 3);
	223	hard_exp \|= CONVERT_BIT(soft_exp, float_flag_invalid, 1u << 4);
	224	shadow \|= hard_exp << (32 - 5);
	225	env->fr0_shadow = shadow;
	226	env->fr[0] = (uint64_t)shadow << 32;
	227
	228	if (hard_exp & shadow) {
	229	dynexcp(env, EXCP_SIGFPE, ra);
	230	}
	231	}
	232
	233	float32 HELPER(fsqrt_s)(CPUHPPAState *env, float32 arg)
	234	{
	235	float32 ret = float32_sqrt(arg, &env->fp_status);
	236	update_fr0_op(env, GETPC());
	237	return ret;
	238	}
	239
	240	float32 HELPER(frnd_s)(CPUHPPAState *env, float32 arg)
	241	{
	242	float32 ret = float32_round_to_int(arg, &env->fp_status);
	243	update_fr0_op(env, GETPC());
	244	return ret;
	245	}
	246
	247	float32 HELPER(fadd_s)(CPUHPPAState *env, float32 a, float32 b)
	248	{
	249	float32 ret = float32_add(a, b, &env->fp_status);
	250	update_fr0_op(env, GETPC());
	251	return ret;
	252	}
	253
	254	float32 HELPER(fsub_s)(CPUHPPAState *env, float32 a, float32 b)
	255	{
	256	float32 ret = float32_sub(a, b, &env->fp_status);
	257	update_fr0_op(env, GETPC());
	258	return ret;
	259	}
	260
	261	float32 HELPER(fmpy_s)(CPUHPPAState *env, float32 a, float32 b)
	262	{
	263	float32 ret = float32_mul(a, b, &env->fp_status);
	264	update_fr0_op(env, GETPC());
265	return ret;
266	}
267
268	float32 HELPER(fdiv_s)(CPUHPPAState *env, float32 a, float32 b)
269	{
270	float32 ret = float32_div(a, b, &env->fp_status);
271	update_fr0_op(env, GETPC());
272	return ret;
273	}
274
275	float64 HELPER(fsqrt_d)(CPUHPPAState *env, float64 arg)
276	{
277	float64 ret = float64_sqrt(arg, &env->fp_status);
278	update_fr0_op(env, GETPC());
279	return ret;
280	}
281
282	float64 HELPER(frnd_d)(CPUHPPAState *env, float64 arg)
283	{
284	float64 ret = float64_round_to_int(arg, &env->fp_status);
285	update_fr0_op(env, GETPC());
286	return ret;
287	}
288
289	float64 HELPER(fadd_d)(CPUHPPAState *env, float64 a, float64 b)
290	{
291	float64 ret = float64_add(a, b, &env->fp_status);
292	update_fr0_op(env, GETPC());
293	return ret;
294	}
295
296	float64 HELPER(fsub_d)(CPUHPPAState *env, float64 a, float64 b)
297	{
298	float64 ret = float64_sub(a, b, &env->fp_status);
299	update_fr0_op(env, GETPC());
300	return ret;
301	}
302
303	float64 HELPER(fmpy_d)(CPUHPPAState *env, float64 a, float64 b)
304	{
305	float64 ret = float64_mul(a, b, &env->fp_status);
306	update_fr0_op(env, GETPC());
307	return ret;
308	}
309
310	float64 HELPER(fdiv_d)(CPUHPPAState *env, float64 a, float64 b)
311	{
312	float64 ret = float64_div(a, b, &env->fp_status);
313	update_fr0_op(env, GETPC());
314	return ret;
315	}
316
317	float64 HELPER(fcnv_s_d)(CPUHPPAState *env, float32 arg)
318	{
319	float64 ret = float32_to_float64(arg, &env->fp_status);
320	ret = float64_maybe_silence_nan(ret, &env->fp_status);
321	update_fr0_op(env, GETPC());
322	return ret;
323	}
324
325	float32 HELPER(fcnv_d_s)(CPUHPPAState *env, float64 arg)
326	{
327	float32 ret = float64_to_float32(arg, &env->fp_status);
328	ret = float32_maybe_silence_nan(ret, &env->fp_status);
329	update_fr0_op(env, GETPC());
330	return ret;
331	}
332
333	float32 HELPER(fcnv_w_s)(CPUHPPAState *env, int32_t arg)
334	{
335	float32 ret = int32_to_float32(arg, &env->fp_status);
336	update_fr0_op(env, GETPC());
337	return ret;
338	}
339
340	float32 HELPER(fcnv_dw_s)(CPUHPPAState *env, int64_t arg)
341	{
342	float32 ret = int64_to_float32(arg, &env->fp_status);
343	update_fr0_op(env, GETPC());
344	return ret;
345	}
346
347	float64 HELPER(fcnv_w_d)(CPUHPPAState *env, int32_t arg)
348	{
349	float64 ret = int32_to_float64(arg, &env->fp_status);
350	update_fr0_op(env, GETPC());
351	return ret;
352	}
353
354	float64 HELPER(fcnv_dw_d)(CPUHPPAState *env, int64_t arg)
355	{
356	float64 ret = int64_to_float64(arg, &env->fp_status);
357	update_fr0_op(env, GETPC());
358	return ret;
359	}
360
361	int32_t HELPER(fcnv_s_w)(CPUHPPAState *env, float32 arg)
362	{
363	int32_t ret = float32_to_int32(arg, &env->fp_status);
364	update_fr0_op(env, GETPC());
365	return ret;
366	}
367
368	int32_t HELPER(fcnv_d_w)(CPUHPPAState *env, float64 arg)
369	{
370	int32_t ret = float64_to_int32(arg, &env->fp_status);
371	update_fr0_op(env, GETPC());
372	return ret;
373	}
374
375	int64_t HELPER(fcnv_s_dw)(CPUHPPAState *env, float32 arg)
376	{
377	int64_t ret = float32_to_int64(arg, &env->fp_status);
378	update_fr0_op(env, GETPC());
379	return ret;
380	}
381
382	int64_t HELPER(fcnv_d_dw)(CPUHPPAState *env, float64 arg)
383	{
384	int64_t ret = float64_to_int64(arg, &env->fp_status);
385	update_fr0_op(env, GETPC());
386	return ret;
387	}
388
389	int32_t HELPER(fcnv_t_s_w)(CPUHPPAState *env, float32 arg)
390	{
391	int32_t ret = float32_to_int32_round_to_zero(arg, &env->fp_status);
392	update_fr0_op(env, GETPC());
393	return ret;
394	}
395
396	int32_t HELPER(fcnv_t_d_w)(CPUHPPAState *env, float64 arg)
397	{
398	int32_t ret = float64_to_int32_round_to_zero(arg, &env->fp_status);
399	update_fr0_op(env, GETPC());
400	return ret;
401	}
402
403	int64_t HELPER(fcnv_t_s_dw)(CPUHPPAState *env, float32 arg)
404	{
405	int64_t ret = float32_to_int64_round_to_zero(arg, &env->fp_status);
406	update_fr0_op(env, GETPC());
407	return ret;
408	}
409
410	int64_t HELPER(fcnv_t_d_dw)(CPUHPPAState *env, float64 arg)
411	{
412	int64_t ret = float64_to_int64_round_to_zero(arg, &env->fp_status);
413	update_fr0_op(env, GETPC());
414	return ret;
415	}
416
417	float32 HELPER(fcnv_uw_s)(CPUHPPAState *env, uint32_t arg)
418	{
419	float32 ret = uint32_to_float32(arg, &env->fp_status);
420	update_fr0_op(env, GETPC());
421	return ret;
422	}
423
424	float32 HELPER(fcnv_udw_s)(CPUHPPAState *env, uint64_t arg)
425	{
426	float32 ret = uint64_to_float32(arg, &env->fp_status);
427	update_fr0_op(env, GETPC());
428	return ret;
429	}
430
431	float64 HELPER(fcnv_uw_d)(CPUHPPAState *env, uint32_t arg)
432	{
433	float64 ret = uint32_to_float64(arg, &env->fp_status);
434	update_fr0_op(env, GETPC());
435	return ret;
436	}
437
438	float64 HELPER(fcnv_udw_d)(CPUHPPAState *env, uint64_t arg)
439	{
440	float64 ret = uint64_to_float64(arg, &env->fp_status);
441	update_fr0_op(env, GETPC());
442	return ret;
443	}
444
445	uint32_t HELPER(fcnv_s_uw)(CPUHPPAState *env, float32 arg)
446	{
447	uint32_t ret = float32_to_uint32(arg, &env->fp_status);
448	update_fr0_op(env, GETPC());
449	return ret;
450	}
451
452	uint32_t HELPER(fcnv_d_uw)(CPUHPPAState *env, float64 arg)
453	{
454	uint32_t ret = float64_to_uint32(arg, &env->fp_status);
455	update_fr0_op(env, GETPC());
456	return ret;
457	}
458
459	uint64_t HELPER(fcnv_s_udw)(CPUHPPAState *env, float32 arg)
460	{
461	uint64_t ret = float32_to_uint64(arg, &env->fp_status);
462	update_fr0_op(env, GETPC());
463	return ret;
464	}
465
466	uint64_t HELPER(fcnv_d_udw)(CPUHPPAState *env, float64 arg)
467	{
468	uint64_t ret = float64_to_uint64(arg, &env->fp_status);
469	update_fr0_op(env, GETPC());
470	return ret;
471	}
472
473	uint32_t HELPER(fcnv_t_s_uw)(CPUHPPAState *env, float32 arg)
474	{
475	uint32_t ret = float32_to_uint32_round_to_zero(arg, &env->fp_status);
476	update_fr0_op(env, GETPC());
477	return ret;
478	}
479
480	uint32_t HELPER(fcnv_t_d_uw)(CPUHPPAState *env, float64 arg)
481	{
482	uint32_t ret = float64_to_uint32_round_to_zero(arg, &env->fp_status);
483	update_fr0_op(env, GETPC());
484	return ret;
485	}
486
487	uint64_t HELPER(fcnv_t_s_udw)(CPUHPPAState *env, float32 arg)
488	{
489	uint64_t ret = float32_to_uint64_round_to_zero(arg, &env->fp_status);
490	update_fr0_op(env, GETPC());
491	return ret;
492	}
493
494	uint64_t HELPER(fcnv_t_d_udw)(CPUHPPAState *env, float64 arg)
495	{
496	uint64_t ret = float64_to_uint64_round_to_zero(arg, &env->fp_status);
497	update_fr0_op(env, GETPC());
498	return ret;
499	}
500
501	static void update_fr0_cmp(CPUHPPAState *env, uint32_t y, uint32_t c, int r)
502	{
503	uint32_t shadow = env->fr0_shadow;
504
505	switch (r) {
506	case float_relation_greater:
507	c = extract32(c, 4, 1);
508	break;
509	case float_relation_less:
510	c = extract32(c, 3, 1);
511	break;
512	case float_relation_equal:
513	c = extract32(c, 2, 1);
514	break;
515	case float_relation_unordered:
516	c = extract32(c, 1, 1);
517	break;
518	default:
519	g_assert_not_reached();
520	}
521
522	if (y) {
523	/* targeted comparison */
524	/* set fpsr[ca[y - 1]] to current compare */
525	shadow = deposit32(shadow, 21 - (y - 1), 1, c);
526	} else {
527	/* queued comparison */
528	/* shift cq right by one place */
529	shadow = deposit32(shadow, 11, 10, extract32(shadow, 12, 10));
530	/* move fpsr[c] to fpsr[cq[0]] */
531	shadow = deposit32(shadow, 21, 1, extract32(shadow, 26, 1));
532	/* set fpsr[c] to current compare */
533	shadow = deposit32(shadow, 26, 1, c);
534	}
535
536	env->fr0_shadow = shadow;
537	env->fr[0] = (uint64_t)shadow << 32;
538	}
539
540	void HELPER(fcmp_s)(CPUHPPAState *env, float32 a, float32 b,
541	uint32_t y, uint32_t c)
542	{
543	int r;
544	if (c & 1) {
545	r = float32_compare(a, b, &env->fp_status);
546	} else {
547	r = float32_compare_quiet(a, b, &env->fp_status);
548	}
549	update_fr0_op(env, GETPC());
550	update_fr0_cmp(env, y, c, r);
551	}
552
553	void HELPER(fcmp_d)(CPUHPPAState *env, float64 a, float64 b,
554	uint32_t y, uint32_t c)
555	{
556	int r;
557	if (c & 1) {
558	r = float64_compare(a, b, &env->fp_status);
559	} else {
560	r = float64_compare_quiet(a, b, &env->fp_status);
561	}
562	update_fr0_op(env, GETPC());
563	update_fr0_cmp(env, y, c, r);
564	}
565
566	float32 HELPER(fmpyfadd_s)(CPUHPPAState *env, float32 a, float32 b, float32 c)
567	{
568	float32 ret = float32_muladd(a, b, c, 0, &env->fp_status);
569	update_fr0_op(env, GETPC());
570	return ret;
571	}
572
573	float32 HELPER(fmpynfadd_s)(CPUHPPAState *env, float32 a, float32 b, float32 c)
574	{
575	float32 ret = float32_muladd(a, b, c, float_muladd_negate_product,
576	&env->fp_status);
577	update_fr0_op(env, GETPC());
578	return ret;
579	}
580
581	float64 HELPER(fmpyfadd_d)(CPUHPPAState *env, float64 a, float64 b, float64 c)
582	{
583	float64 ret = float64_muladd(a, b, c, 0, &env->fp_status);
584	update_fr0_op(env, GETPC());
585	return ret;
586	}
587
588	float64 HELPER(fmpynfadd_d)(CPUHPPAState *env, float64 a, float64 b, float64 c)
589	{
590	float64 ret = float64_muladd(a, b, c, float_muladd_negate_product,
591	&env->fp_status);
592	update_fr0_op(env, GETPC());
593	return ret;
594	}