panic() instead of assert(0).
[libfirm] / ir / stat / const_stat.c
index 7ff898a..ffa88a3 100644 (file)
@@ -69,16 +69,18 @@ static float_classify_t classify_float_value(tarval *tv) {
        ir_mode *mode = get_tarval_mode(tv);
 
        if (tv == get_mode_null(mode))
-               return STAT_FC_1;
+               return STAT_FC_0;
        else if (tv == get_mode_one(mode))
                return STAT_FC_1;
        else if (tarval_is_finite(tv) && tarval_ieee754_zero_mantissa(tv)) {
                int exp = tarval_ieee754_get_exponent(tv);
 
-               if (exp == 1)
-                       return STAT_FC_2;
-               else if (exp == -1)
-                       return STAT_FC_0_5;
+               if (! tarval_is_negative(tv)) {
+                       if (exp == 1)
+                               return STAT_FC_2;
+                       else if (exp == -1)
+                               return STAT_FC_0_5;
+               }
                return STAT_FC_POWER_OF_TWO;
        }
        return STAT_FC_OTHER;