X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fstat%2Fconst_stat.c;h=b2e58617e409a4716500cb42f56279335f919e78;hb=e97a86a5e90141c2cb4ccdc34195cab035627c3f;hp=6c5597790d29928fa5c369f15fa3310298745c3d;hpb=104201513a18636ec48a5d72e2007d6f06ddc4a9;p=libfirm

diff --git a/ir/stat/const_stat.c b/ir/stat/const_stat.c
index 6c5597790..b2e58617e 100644
--- a/ir/stat/const_stat.c
+++ b/ir/stat/const_stat.c
@@ -1,131 +1,139 @@
 /*
- * Project:     libFIRM
- * File name:   ir/ir/firmstat.c
- * Purpose:     Statistics for Firm.
- * Author:      Michael Beck
- * Created:
- * CVS-ID:      $Id$
- * Copyright:   (c) 2004 Universität Karlsruhe
- * Licence:     This file protected by GPL -  GNU GENERAL PUBLIC LICENSE.
+ * This file is part of libFirm.
+ * Copyright (C) 2012 University of Karlsruhe.
  */
+
+/**
+ * @file
+ * @brief   Statistic functions for constant counting.
+ * @author  Michael Beck
+ */
+#include "config.h"
+
 #include "firmstat_t.h"
 #include "tv_t.h"
-
-static stat_info_t *status;
+#include "util.h"
 
 /**
- * calculated the dual logarithmus of |value|
+ * calculated the dual logarithm of |value|
  */
-static unsigned log2(long value) {
-  unsigned res = 0;
-
-  if (value < 0)
-    value = -value;
-
-  if (value > 0xFFFF) {
-    res += 16;
-    value >>= 16;
-  }
-  if (value > 0xFF) {
-    res += 8;
-    value >>= 8;
-  }
-  if (value > 0xF) {
-    res += 4;
-    value >>= 4;
-  }
-  if (value > 3) {
-    res += 2;
-    value >>= 2;
-  }
-  if (value > 1) {
-    res += 1;
-  }
-
-  return res;
+static unsigned log2abs(long value)
+{
+	unsigned res = 0;
+
+	if (value < 0)
+		value = -value;
+
+	if (value > 0xFFFF) {
+		res += 16;
+		value >>= 16;
+	}
+	if (value > 0xFF) {
+		res += 8;
+		value >>= 8;
+	}
+	if (value > 0xF) {
+		res += 4;
+		value >>= 4;
+	}
+	if (value > 3) {
+		res += 2;
+		value >>= 2;
+	}
+	if (value > 1) {
+		res += 1;
+	}
+
+	return res;
 }
 
 /**
  * classify the value of a float tarval
  */
-static float_classify_t classify_float_value(tarval *tv)
+static float_classify_t classify_float_value(ir_tarval *tv)
 {
-  ir_mode *mode = get_tarval_mode(tv);
-
-  if (tv == get_mode_null(mode))
-    return STAT_FC_1;
-  else if (tv == get_mode_one(mode))
-    return STAT_FC_1;
-
-  return STAT_FC_OTHER;
+	ir_mode *mode = get_tarval_mode(tv);
+
+	if (tv == get_mode_null(mode))
+		return STAT_FC_0;
+	else if (tv == get_mode_one(mode))
+		return STAT_FC_1;
+	else if (tarval_is_finite(tv) && tarval_zero_mantissa(tv)) {
+		int exp = tarval_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>";
-  }
+	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_POWER_OF_TWO: return "2.0^x";
+	case STAT_FC_OTHER:        return "other";
+	default:                   return "<UNKNOWN>";
+	}
 }
 
-/**
- * update info on Consts
- *
- * @param node   The Const node
- * @param graph  The graph entry containing the call
- */
+/* update info on Consts */
 void stat_update_const(stat_info_t *status, ir_node *node, graph_entry_t *graph)
 {
-  ir_mode *mode = get_irn_mode(node);
-  tarval *tv;
-  unsigned bits;
+	ir_mode   *mode = get_irn_mode(node);
+	ir_tarval *tv;
+	unsigned   bits;
+	(void) graph;
 
-  if (mode_is_int(mode)) {
-    tv   = get_Const_tarval(node);
+	if (mode_is_int(mode)) {
+		tv   = get_Const_tarval(node);
 
-    /* FIXME: */
-    if (! tarval_is_long(tv))
-      return;
+		/* FIXME: */
+		if (! tarval_is_long(tv))
+			return;
 
-    bits = log2(get_tarval_long(tv));
+		bits = log2abs(get_tarval_long(tv));
 
-    if (bits > ARR_SIZE(status->const_info.int_bits_count))
-      bits = ARR_SIZE(status->const_info.int_bits_count);
+		if (bits > ARRAY_SIZE(status->const_info.int_bits_count))
+			bits = ARRAY_SIZE(status->const_info.int_bits_count);
 
-    cnt_inc(&status->const_info.int_bits_count[bits]);
-  }
-  else if (mode_is_float(mode)) {
-    tv = get_Const_tarval(node);
+		cnt_inc(&status->const_info.int_bits_count[bits]);
+	} else if (mode_is_float(mode)) {
+		tv = get_Const_tarval(node);
 
-    cnt_inc(&status->const_info.floats[classify_float_value(tv)]);
-  }
-  else {
-    /* something different */
-    cnt_inc(&status->const_info.others);
-  }
+		cnt_inc(&status->const_info.floats[classify_float_value(tv)]);
+	} else {
+		/* something different */
+		cnt_inc(&status->const_info.others);
+	}
 }
 
 /* clears the const statistics for a new snapshot */
 void stat_const_clear(stat_info_t *status)
 {
-  int i;
+	size_t i;
 
-  for (i = 0; i < ARR_SIZE(status->const_info.int_bits_count); ++i)
-    cnt_clr(&status->const_info.int_bits_count[i]);
+	for (i = 0; i < ARRAY_SIZE(status->const_info.int_bits_count); ++i)
+		cnt_clr(&status->const_info.int_bits_count[i]);
 
-  for (i = 0; i < ARR_SIZE(status->const_info.floats); ++i)
-    cnt_clr(&status->const_info.floats[i]);
+	for (i = 0; i < ARRAY_SIZE(status->const_info.floats); ++i)
+		cnt_clr(&status->const_info.floats[i]);
 
-  cnt_clr(&status->const_info.others);
+	cnt_clr(&status->const_info.others);
 }
 
 /* initialize the Const statistic. */
 void stat_init_const_cnt(stat_info_t *status)
 {
+	(void) status;
+	/* currently nothing */
 }