Commit 7143a9a3 authored by Michael Beck's avatar Michael Beck
Browse files

- even more restrictive: we only know that twos-complement can be placed into a IEEE 754 mantissa

[r21775]
parent 86b73273
......@@ -1259,7 +1259,8 @@ restart:
}
}
}
if (mode_is_int(n_mode) && get_mode_arithmetic(a_mode) == irma_ieee754) {
if (get_mode_arithmetic(n_mode) == irma_twos_complement &&
get_mode_arithmetic(a_mode) == irma_ieee754) {
/* ConvI(ConvF(I)) -> I, iff float mantissa >= int mode */
size_t int_mantissa = get_mode_size_bits(n_mode) - (mode_is_signed(n_mode) ? 1 : 0);
size_t float_mantissa = tarval_ieee754_get_mantissa_size(a_mode);
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment