target/s390x: implement COMPARE AND SIGNAL
These functions differ from COMPARE by generating an exception for a QNaN input. Use the non quiet version of floatXX_compare. Signed-off-by: Aurelien Jarno <aurelien@aurel32.net> Message-Id: <20170531220129.27724-10-aurelien@aurel32.net> Signed-off-by: Richard Henderson <rth@twiddle.net>
This commit is contained in:
parent
76c574906e
commit
9c8be59836
|
@ -585,6 +585,33 @@ uint64_t HELPER(fixb)(CPUS390XState *env, uint64_t ah, uint64_t al, uint32_t m3)
|
||||||
return RET128(ret);
|
return RET128(ret);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/* 32-bit FP compare and signal */
|
||||||
|
uint32_t HELPER(keb)(CPUS390XState *env, uint64_t f1, uint64_t f2)
|
||||||
|
{
|
||||||
|
int cmp = float32_compare(f1, f2, &env->fpu_status);
|
||||||
|
handle_exceptions(env, GETPC());
|
||||||
|
return float_comp_to_cc(env, cmp);
|
||||||
|
}
|
||||||
|
|
||||||
|
/* 64-bit FP compare and signal */
|
||||||
|
uint32_t HELPER(kdb)(CPUS390XState *env, uint64_t f1, uint64_t f2)
|
||||||
|
{
|
||||||
|
int cmp = float64_compare(f1, f2, &env->fpu_status);
|
||||||
|
handle_exceptions(env, GETPC());
|
||||||
|
return float_comp_to_cc(env, cmp);
|
||||||
|
}
|
||||||
|
|
||||||
|
/* 128-bit FP compare and signal */
|
||||||
|
uint32_t HELPER(kxb)(CPUS390XState *env, uint64_t ah, uint64_t al,
|
||||||
|
uint64_t bh, uint64_t bl)
|
||||||
|
{
|
||||||
|
int cmp = float128_compare(make_float128(ah, al),
|
||||||
|
make_float128(bh, bl),
|
||||||
|
&env->fpu_status);
|
||||||
|
handle_exceptions(env, GETPC());
|
||||||
|
return float_comp_to_cc(env, cmp);
|
||||||
|
}
|
||||||
|
|
||||||
/* 32-bit FP multiply and add */
|
/* 32-bit FP multiply and add */
|
||||||
uint64_t HELPER(maeb)(CPUS390XState *env, uint64_t f1,
|
uint64_t HELPER(maeb)(CPUS390XState *env, uint64_t f1,
|
||||||
uint64_t f2, uint64_t f3)
|
uint64_t f2, uint64_t f3)
|
||||||
|
|
|
@ -49,6 +49,9 @@ DEF_HELPER_FLAGS_3(lexb, TCG_CALL_NO_WG, i64, env, i64, i64)
|
||||||
DEF_HELPER_FLAGS_3(ceb, TCG_CALL_NO_WG_SE, i32, env, i64, i64)
|
DEF_HELPER_FLAGS_3(ceb, TCG_CALL_NO_WG_SE, i32, env, i64, i64)
|
||||||
DEF_HELPER_FLAGS_3(cdb, TCG_CALL_NO_WG_SE, i32, env, i64, i64)
|
DEF_HELPER_FLAGS_3(cdb, TCG_CALL_NO_WG_SE, i32, env, i64, i64)
|
||||||
DEF_HELPER_FLAGS_5(cxb, TCG_CALL_NO_WG_SE, i32, env, i64, i64, i64, i64)
|
DEF_HELPER_FLAGS_5(cxb, TCG_CALL_NO_WG_SE, i32, env, i64, i64, i64, i64)
|
||||||
|
DEF_HELPER_FLAGS_3(keb, TCG_CALL_NO_WG, i32, env, i64, i64)
|
||||||
|
DEF_HELPER_FLAGS_3(kdb, TCG_CALL_NO_WG, i32, env, i64, i64)
|
||||||
|
DEF_HELPER_FLAGS_5(kxb, TCG_CALL_NO_WG, i32, env, i64, i64, i64, i64)
|
||||||
DEF_HELPER_FLAGS_3(cgeb, TCG_CALL_NO_WG, i64, env, i64, i32)
|
DEF_HELPER_FLAGS_3(cgeb, TCG_CALL_NO_WG, i64, env, i64, i32)
|
||||||
DEF_HELPER_FLAGS_3(cgdb, TCG_CALL_NO_WG, i64, env, i64, i32)
|
DEF_HELPER_FLAGS_3(cgdb, TCG_CALL_NO_WG, i64, env, i64, i32)
|
||||||
DEF_HELPER_FLAGS_4(cgxb, TCG_CALL_NO_WG, i64, env, i64, i64, i32)
|
DEF_HELPER_FLAGS_4(cgxb, TCG_CALL_NO_WG, i64, env, i64, i64, i32)
|
||||||
|
|
|
@ -154,6 +154,12 @@
|
||||||
C(0xb349, CXBR, RRE, Z, x1_o, x2_o, 0, 0, cxb, 0)
|
C(0xb349, CXBR, RRE, Z, x1_o, x2_o, 0, 0, cxb, 0)
|
||||||
C(0xed09, CEB, RXE, Z, e1, m2_32u, 0, 0, ceb, 0)
|
C(0xed09, CEB, RXE, Z, e1, m2_32u, 0, 0, ceb, 0)
|
||||||
C(0xed19, CDB, RXE, Z, f1_o, m2_64, 0, 0, cdb, 0)
|
C(0xed19, CDB, RXE, Z, f1_o, m2_64, 0, 0, cdb, 0)
|
||||||
|
/* COMPARE AND SIGNAL */
|
||||||
|
C(0xb308, KEBR, RRE, Z, e1, e2, 0, 0, keb, 0)
|
||||||
|
C(0xb318, KDBR, RRE, Z, f1_o, f2_o, 0, 0, kdb, 0)
|
||||||
|
C(0xb348, KXBR, RRE, Z, x1_o, x2_o, 0, 0, kxb, 0)
|
||||||
|
C(0xed08, KEB, RXE, Z, e1, m2_32u, 0, 0, keb, 0)
|
||||||
|
C(0xed18, KDB, RXE, Z, f1_o, m2_64, 0, 0, kdb, 0)
|
||||||
/* COMPARE IMMEDIATE */
|
/* COMPARE IMMEDIATE */
|
||||||
C(0xc20d, CFI, RIL_a, EI, r1, i2, 0, 0, 0, cmps32)
|
C(0xc20d, CFI, RIL_a, EI, r1, i2, 0, 0, 0, cmps32)
|
||||||
C(0xc20c, CGFI, RIL_a, EI, r1, i2, 0, 0, 0, cmps64)
|
C(0xc20c, CGFI, RIL_a, EI, r1, i2, 0, 0, 0, cmps64)
|
||||||
|
|
|
@ -2374,6 +2374,27 @@ static ExitStatus op_iske(DisasContext *s, DisasOps *o)
|
||||||
}
|
}
|
||||||
#endif
|
#endif
|
||||||
|
|
||||||
|
static ExitStatus op_keb(DisasContext *s, DisasOps *o)
|
||||||
|
{
|
||||||
|
gen_helper_keb(cc_op, cpu_env, o->in1, o->in2);
|
||||||
|
set_cc_static(s);
|
||||||
|
return NO_EXIT;
|
||||||
|
}
|
||||||
|
|
||||||
|
static ExitStatus op_kdb(DisasContext *s, DisasOps *o)
|
||||||
|
{
|
||||||
|
gen_helper_kdb(cc_op, cpu_env, o->in1, o->in2);
|
||||||
|
set_cc_static(s);
|
||||||
|
return NO_EXIT;
|
||||||
|
}
|
||||||
|
|
||||||
|
static ExitStatus op_kxb(DisasContext *s, DisasOps *o)
|
||||||
|
{
|
||||||
|
gen_helper_kxb(cc_op, cpu_env, o->out, o->out2, o->in1, o->in2);
|
||||||
|
set_cc_static(s);
|
||||||
|
return NO_EXIT;
|
||||||
|
}
|
||||||
|
|
||||||
static ExitStatus op_laa(DisasContext *s, DisasOps *o)
|
static ExitStatus op_laa(DisasContext *s, DisasOps *o)
|
||||||
{
|
{
|
||||||
/* The real output is indeed the original value in memory;
|
/* The real output is indeed the original value in memory;
|
||||||
|
|
Loading…
Reference in a new issue