X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fstat%2Fconst_stat.c;h=ffa88a32b10a113d61e0648404d0d734e0a7bf99;hb=44faeb9742640d3498eb4482f98eb1255607c4d6;hp=8a824c7b9dd0cb1dd6534fbf48677e34ffa81ffd;hpb=f430a768a5b70618597871d6bbc1c212d2b325c1;p=libfirm

diff --git a/ir/stat/const_stat.c b/ir/stat/const_stat.c
index 8a824c7b9..ffa88a32b 100644
--- a/ir/stat/const_stat.c
+++ b/ir/stat/const_stat.c
@@ -1,5 +1,5 @@
 /*
- * Copyright (C) 1995-2007 University of Karlsruhe.  All right reserved.
+ * Copyright (C) 1995-2008 University of Karlsruhe.  All right reserved.
  *
  * This file is part of libFirm.
  *
@@ -69,23 +69,33 @@ 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 (! 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;
 }
 
 /* return a human readable name for an float classification */
 const char *stat_fc_name(float_classify_t classification) {
 	switch (classification) {
-	case STAT_FC_0:     return "0.0";
-	case STAT_FC_1:     return "1.0";
-	case STAT_FC_2:     return "2.0";
-	case STAT_FC_0_5:   return "0.5";
-	case STAT_FC_EXACT: return "exact";
-	case STAT_FC_OTHER: return "other";
-	default:            return "<UNKNOWN>";
+	case STAT_FC_0:            return "0.0";
+	case STAT_FC_1:            return "1.0";
+	case STAT_FC_2:            return "2.0";
+	case STAT_FC_0_5:          return "0.5";
+	case STAT_FC_POWER_OF_TWO: return "2.0^x";
+	case STAT_FC_OTHER:        return "other";
+	default:                   return "<UNKNOWN>";
 	}
 }