2005-02-22 22:27:29 +03:00
|
|
|
/*
|
|
|
|
* ARM helper routines
|
|
|
|
*
|
|
|
|
* Copyright (c) 2005 CodeSourcery, LLC
|
|
|
|
*
|
|
|
|
* 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 "exec.h"
|
|
|
|
|
|
|
|
void raise_exception(int tt)
|
|
|
|
{
|
|
|
|
env->exception_index = tt;
|
|
|
|
cpu_loop_exit();
|
|
|
|
}
|
|
|
|
|
|
|
|
/* thread support */
|
|
|
|
|
|
|
|
spinlock_t global_cpu_lock = SPIN_LOCK_UNLOCKED;
|
|
|
|
|
|
|
|
void cpu_lock(void)
|
|
|
|
{
|
|
|
|
spin_lock(&global_cpu_lock);
|
|
|
|
}
|
|
|
|
|
|
|
|
void cpu_unlock(void)
|
|
|
|
{
|
|
|
|
spin_unlock(&global_cpu_lock);
|
|
|
|
}
|
|
|
|
|
|
|
|
/* VFP support. */
|
|
|
|
|
|
|
|
void do_vfp_abss(void)
|
|
|
|
{
|
2005-03-13 21:50:23 +03:00
|
|
|
FT0s = float32_abs(FT0s);
|
2005-02-22 22:27:29 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
void do_vfp_absd(void)
|
|
|
|
{
|
2005-03-13 21:50:23 +03:00
|
|
|
FT0d = float64_abs(FT0d);
|
2005-02-22 22:27:29 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
void do_vfp_sqrts(void)
|
|
|
|
{
|
2005-03-13 21:50:23 +03:00
|
|
|
FT0s = float32_sqrt(FT0s, &env->vfp.fp_status);
|
2005-02-22 22:27:29 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
void do_vfp_sqrtd(void)
|
|
|
|
{
|
2005-03-13 21:50:23 +03:00
|
|
|
FT0d = float64_sqrt(FT0d, &env->vfp.fp_status);
|
2005-02-22 22:27:29 +03:00
|
|
|
}
|
|
|
|
|
2005-03-13 21:50:23 +03:00
|
|
|
/* XXX: check quiet/signaling case */
|
|
|
|
#define DO_VFP_cmp(p, size) \
|
2005-02-22 22:27:29 +03:00
|
|
|
void do_vfp_cmp##p(void) \
|
|
|
|
{ \
|
|
|
|
uint32_t flags; \
|
2005-03-13 21:50:23 +03:00
|
|
|
switch(float ## size ## _compare_quiet(FT0##p, FT1##p, &env->vfp.fp_status)) {\
|
2005-04-23 22:21:13 +04:00
|
|
|
case 0: flags = 0x6; break;\
|
2005-03-13 21:50:23 +03:00
|
|
|
case -1: flags = 0x8; break;\
|
|
|
|
case 1: flags = 0x2; break;\
|
|
|
|
default: case 2: flags = 0x3; break;\
|
|
|
|
}\
|
2005-02-22 22:27:29 +03:00
|
|
|
env->vfp.fpscr = (flags << 28) | (env->vfp.fpscr & 0x0fffffff); \
|
|
|
|
FORCE_RET(); \
|
2005-03-13 21:50:23 +03:00
|
|
|
}\
|
|
|
|
\
|
2005-02-22 22:27:29 +03:00
|
|
|
void do_vfp_cmpe##p(void) \
|
|
|
|
{ \
|
2005-03-13 21:50:23 +03:00
|
|
|
uint32_t flags; \
|
|
|
|
switch(float ## size ## _compare(FT0##p, FT1##p, &env->vfp.fp_status)) {\
|
2005-04-23 22:21:13 +04:00
|
|
|
case 0: flags = 0x6; break;\
|
2005-03-13 21:50:23 +03:00
|
|
|
case -1: flags = 0x8; break;\
|
|
|
|
case 1: flags = 0x2; break;\
|
|
|
|
default: case 2: flags = 0x3; break;\
|
|
|
|
}\
|
2005-02-22 22:27:29 +03:00
|
|
|
env->vfp.fpscr = (flags << 28) | (env->vfp.fpscr & 0x0fffffff); \
|
2005-03-13 21:50:23 +03:00
|
|
|
FORCE_RET(); \
|
2005-02-22 22:27:29 +03:00
|
|
|
}
|
2005-03-13 21:50:23 +03:00
|
|
|
DO_VFP_cmp(s, 32)
|
|
|
|
DO_VFP_cmp(d, 64)
|
|
|
|
#undef DO_VFP_cmp
|
2005-02-22 22:27:29 +03:00
|
|
|
|
|
|
|
/* Convert host exception flags to vfp form. */
|
2005-03-13 21:50:23 +03:00
|
|
|
static inline int vfp_exceptbits_from_host(int host_bits)
|
2005-02-22 22:27:29 +03:00
|
|
|
{
|
|
|
|
int target_bits = 0;
|
|
|
|
|
2005-03-13 21:50:23 +03:00
|
|
|
if (host_bits & float_flag_invalid)
|
2005-02-22 22:27:29 +03:00
|
|
|
target_bits |= 1;
|
2005-03-13 21:50:23 +03:00
|
|
|
if (host_bits & float_flag_divbyzero)
|
2005-02-22 22:27:29 +03:00
|
|
|
target_bits |= 2;
|
2005-03-13 21:50:23 +03:00
|
|
|
if (host_bits & float_flag_overflow)
|
2005-02-22 22:27:29 +03:00
|
|
|
target_bits |= 4;
|
2005-03-13 21:50:23 +03:00
|
|
|
if (host_bits & float_flag_underflow)
|
2005-02-22 22:27:29 +03:00
|
|
|
target_bits |= 8;
|
2005-03-13 21:50:23 +03:00
|
|
|
if (host_bits & float_flag_inexact)
|
2005-02-22 22:27:29 +03:00
|
|
|
target_bits |= 0x10;
|
|
|
|
return target_bits;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Convert vfp exception flags to target form. */
|
2005-03-13 21:50:23 +03:00
|
|
|
static inline int vfp_exceptbits_to_host(int target_bits)
|
2005-02-22 22:27:29 +03:00
|
|
|
{
|
|
|
|
int host_bits = 0;
|
|
|
|
|
|
|
|
if (target_bits & 1)
|
2005-03-13 21:50:23 +03:00
|
|
|
host_bits |= float_flag_invalid;
|
2005-02-22 22:27:29 +03:00
|
|
|
if (target_bits & 2)
|
2005-03-13 21:50:23 +03:00
|
|
|
host_bits |= float_flag_divbyzero;
|
2005-02-22 22:27:29 +03:00
|
|
|
if (target_bits & 4)
|
2005-03-13 21:50:23 +03:00
|
|
|
host_bits |= float_flag_overflow;
|
2005-02-22 22:27:29 +03:00
|
|
|
if (target_bits & 8)
|
2005-03-13 21:50:23 +03:00
|
|
|
host_bits |= float_flag_underflow;
|
2005-02-22 22:27:29 +03:00
|
|
|
if (target_bits & 0x10)
|
2005-03-13 21:50:23 +03:00
|
|
|
host_bits |= float_flag_inexact;
|
2005-02-22 22:27:29 +03:00
|
|
|
return host_bits;
|
|
|
|
}
|
|
|
|
|
|
|
|
void do_vfp_set_fpscr(void)
|
|
|
|
{
|
|
|
|
int i;
|
|
|
|
uint32_t changed;
|
|
|
|
|
|
|
|
changed = env->vfp.fpscr;
|
|
|
|
env->vfp.fpscr = (T0 & 0xffc8ffff);
|
|
|
|
env->vfp.vec_len = (T0 >> 16) & 7;
|
|
|
|
env->vfp.vec_stride = (T0 >> 20) & 3;
|
|
|
|
|
|
|
|
changed ^= T0;
|
|
|
|
if (changed & (3 << 22)) {
|
|
|
|
i = (T0 >> 22) & 3;
|
|
|
|
switch (i) {
|
|
|
|
case 0:
|
2005-03-13 21:50:23 +03:00
|
|
|
i = float_round_nearest_even;
|
2005-02-22 22:27:29 +03:00
|
|
|
break;
|
|
|
|
case 1:
|
2005-03-13 21:50:23 +03:00
|
|
|
i = float_round_up;
|
2005-02-22 22:27:29 +03:00
|
|
|
break;
|
|
|
|
case 2:
|
2005-03-13 21:50:23 +03:00
|
|
|
i = float_round_down;
|
2005-02-22 22:27:29 +03:00
|
|
|
break;
|
|
|
|
case 3:
|
2005-03-13 21:50:23 +03:00
|
|
|
i = float_round_to_zero;
|
2005-02-22 22:27:29 +03:00
|
|
|
break;
|
|
|
|
}
|
2005-03-13 21:50:23 +03:00
|
|
|
set_float_rounding_mode(i, &env->vfp.fp_status);
|
2005-02-22 22:27:29 +03:00
|
|
|
}
|
|
|
|
|
2005-03-13 21:50:23 +03:00
|
|
|
i = vfp_exceptbits_to_host((T0 >> 8) & 0x1f);
|
|
|
|
set_float_exception_flags(i, &env->vfp.fp_status);
|
2005-02-22 22:27:29 +03:00
|
|
|
/* XXX: FZ and DN are not implemented. */
|
|
|
|
}
|
|
|
|
|
|
|
|
void do_vfp_get_fpscr(void)
|
|
|
|
{
|
|
|
|
int i;
|
|
|
|
|
|
|
|
T0 = (env->vfp.fpscr & 0xffc8ffff) | (env->vfp.vec_len << 16)
|
|
|
|
| (env->vfp.vec_stride << 20);
|
2005-03-13 21:50:23 +03:00
|
|
|
i = get_float_exception_flags(&env->vfp.fp_status);
|
2005-02-22 22:27:29 +03:00
|
|
|
T0 |= vfp_exceptbits_from_host(i);
|
|
|
|
}
|