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

[r21775]

diff --git a/ir/ir/iropt.c b/ir/ir/iropt.c
index f096012..b4cf9fb 100644 (file)
--- a/ir/ir/iropt.c
+++ b/ir/ir/iropt.c
@@ -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);