X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fana%2Ffield_temperature.c;h=8b69bf29bf0d4253a1d44bc615ea56785353dc57;hb=957f09e423ff72a702b00f0d4d5df18e10f0b2b1;hp=474723185ae664fef247876180d6db46c07fa300;hpb=dcbb1264b15f99d768e3a5ca71fe086a29a20cbb;p=libfirm

diff --git a/ir/ana/field_temperature.c b/ir/ana/field_temperature.c
index 474723185..8b69bf29b 100644
--- a/ir/ana/field_temperature.c
+++ b/ir/ana/field_temperature.c
@@ -1,15 +1,35 @@
 /*
- * Project:     libFIRM
- * File name:   ir/ana/field_temperature.c
- * Purpose:     Compute an estimate of field temperature, i.e., field access heuristic.
- * Author:      Goetz Lindenmaier
- * Modified by:
- * Created:     21.7.2004
- * CVS-ID:      $Id$
- * Copyright:   (c) 2004 Universität Karlsruhe
- * Licence:     This file protected by GPL -  GNU GENERAL PUBLIC LICENSE.
+ * Copyright (C) 1995-2008 University of Karlsruhe.  All right reserved.
+ *
+ * This file is part of libFirm.
+ *
+ * This file may be distributed and/or modified under the terms of the
+ * GNU General Public License version 2 as published by the Free Software
+ * Foundation and appearing in the file LICENSE.GPL included in the
+ * packaging of this file.
+ *
+ * Licensees holding valid libFirm Professional Edition licenses may use
+ * this file in accordance with the libFirm Commercial License.
+ * Agreement provided with the Software.
+ *
+ * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
+ * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
+ * PURPOSE.
  */
 
+/**
+ * @file
+ * @brief     Compute an estimate of field temperature, i.e., field access heuristic.
+ * @author    Goetz Lindenmaier
+ * @date      21.7.2004
+ * @version   $Id$
+ */
+#ifdef HAVE_CONFIG_H
+# include "config.h"
+#endif
+
+#ifdef INTERPROCEDURAL_VIEW
+
 #include <math.h>
 
 #include "field_temperature.h"
@@ -22,88 +42,26 @@
 #include "irprog_t.h"
 #include "entity_t.h"
 #include "irgwalk.h"
+#include "error.h"
 
 #include "array.h"
-#include "set.h"
-#include "hashptr.h"
-
 
 /* *************************************************************************** */
 /* initialize, global variables.                                               */
 /* *************************************************************************** */
 
-/* *************************************************************************** */
-/* Another hash table, this time containing temperature values.                */
-/* *************************************************************************** */
-
-typedef struct {
-  firm_kind *kind;   /* An entity or type. */
-  double    val1;
-} temperature_tp;
-
-/* We use this set for all types and entities.  */
-static set *temperature_set = NULL;
-
-static int temp_cmp(const void *e1, const void *e2, size_t size) {
-  temperature_tp *ef1 = (temperature_tp *)e1;
-  temperature_tp *ef2 = (temperature_tp *)e2;
-  return (ef1->kind != ef2->kind);
-}
-
-static INLINE unsigned int tem_hash(void *e) {
-  void *v = (void *) ((temperature_tp *)e)->kind;
-  return HASH_PTR(v);
-}
-
-double get_entity_acc_estimated_n_loads (entity *ent) {
-  return 0;
-}
-double get_entity_acc_estimated_n_stores(entity *ent) {
-  return 0;
-}
-
-void set_entity_acc_estimated_n_loads (entity *ent, double val) {
-}
-void set_entity_acc_estimated_n_stores(entity *ent, double val) {
-}
-
-double get_type_acc_estimated_n_instances(type *tp) {
-  return 0;
-}
-void set_type_acc_estimated_n_instances(type *tp, double val) {
-}
-
-/*
-static INLINE void set_region_exec_freq(void *reg, double freq) {
-  reg_exec_freq ef;
-  ef.reg  = reg;
-  ef.freq = freq;
-  set_insert(exec_freq_set, &ef, sizeof(ef), exec_freq_hash(&ef));
-}
-
-INLINE double get_region_exec_freq(void *reg) {
-  reg_exec_freq ef, *found;
-  ef.reg  = reg;
-  assert(exec_freq_set);
-  found = set_find(exec_freq_set, &ef, sizeof(ef), exec_freq_hash(&ef));
-  if (found)
-    return found->freq;
-  else
-    return 0;
-}
-*/
-
-
 /* *************************************************************************** */
 /*   Access routines for irnodes                                               */
 /* *************************************************************************** */
 
 /* The entities that can be accessed by this Sel node. */
 int get_Sel_n_accessed_entities(ir_node *sel) {
+  (void) sel;
   return 1;
 }
 
-entity *get_Sel_accessed_entity(ir_node *sel, int pos) {
+ir_entity *get_Sel_accessed_entity(ir_node *sel, int pos) {
+  (void) pos;
   return get_Sel_entity(sel);
 }
 
@@ -116,7 +74,7 @@ int get_irn_loop_call_depth(ir_node *n) {
   return get_irg_loop_depth(irg);
 }
 
-int get_irn_loop_depth(ir_node *n) {
+int get_irn_cfloop_depth(ir_node *n) {
   ir_loop *l = get_irn_loop(get_nodes_block(n));
   if (l)
     return get_loop_depth(l);
@@ -133,7 +91,7 @@ int get_irn_recursion_depth(ir_node *n) {
 /**   @@@ the second version of the heuristic. */
 int get_weighted_loop_depth(ir_node *n) {
   int loop_call_depth = get_irn_loop_call_depth(n);
-  int loop_depth      = get_irn_loop_depth(n);
+  int loop_depth      = get_irn_cfloop_depth(n);
   int recursion_depth = get_irn_recursion_depth(n);
 
   return loop_call_depth + loop_depth + recursion_depth;
@@ -146,20 +104,32 @@ int get_weighted_loop_depth(ir_node *n) {
 
 static int default_recursion_weight = 5;
 
-
 /* The final evaluation of a node.  In this function we can
-   adapt the heuristic.  Combine execution freqency with
+   adapt the heuristic.  Combine execution frequency with
    recursion depth.
-   @@@ the second version of the heuristic. */
+   @@@ the second version of the heuristic.
+
+   Return 0 if the node is neither in a loop nor in a recursion.  */
 double get_irn_final_cost(ir_node *n) {
   double cost_loop   = get_irn_exec_freq(n);
   double cost_method = get_irg_method_execution_frequency(get_irn_irg(n));
   int    rec_depth   = get_irn_recursion_depth(n);
-  double cost_rec    = pow(default_recursion_weight, rec_depth);
+  double cost_rec    = 0;
+
+#if 0
+  if (get_irn_recursion_depth(n) == 0 &&
+      get_irn_loop_depth(n) == 0 &&
+      get_irg_method_loop_depth(get_irn_irg(n)) == 0)
+    return 0;
+#else
+  if (get_weighted_loop_depth(n) == 0) return 0;
+#endif
+
+  if (rec_depth) cost_rec = pow(default_recursion_weight, rec_depth);
   return cost_loop*(cost_method + cost_rec);
 }
 
-double get_type_estimated_n_instances(type *tp) {
+double get_type_estimated_n_instances(ir_type *tp) {
   int i, n_allocs = get_type_n_allocs(tp);
   double n_instances = 0;
   for (i = 0; i < n_allocs; ++i) {
@@ -169,11 +139,13 @@ double get_type_estimated_n_instances(type *tp) {
   return n_instances;
 }
 
-double get_type_estimated_mem_consumption_bytes(type *tp) {
+double get_type_estimated_mem_consumption_bytes(ir_type *tp) {
+  (void) tp;
   assert(0);
+  return 0.0;
 }
 
-int get_type_estimated_n_fields(type *tp) {
+int get_type_estimated_n_fields(ir_type *tp) {
   int s = 0;
   switch(get_type_tpop_code(tp)) {
 
@@ -189,7 +161,7 @@ int get_type_estimated_n_fields(type *tp) {
   case tpo_struct: {
     int i, n_mem = get_compound_n_members(tp);
     for (i = 0; i < n_mem; ++i) {
-      entity *mem = get_compound_member(tp, i);
+      ir_entity *mem = get_compound_member(tp, i);
       if (get_entity_allocation(mem) == allocation_automatic) {
 	s += get_type_estimated_n_fields(get_entity_type(mem));
       }
@@ -206,13 +178,14 @@ int get_type_estimated_n_fields(type *tp) {
     s = n_elt;
   } break;
 
-  default: DDMT(tp); assert(0);
+  default:
+    panic("Unsupported type in get_type_estimated_n_fields %+F", tp);
   }
 
   return s;
 }
 
-int get_type_estimated_size_bytes(type *tp) {
+int get_type_estimated_size_bytes(ir_type *tp) {
   int s = 0;
 
   switch(get_type_tpop_code(tp)) {
@@ -224,12 +197,12 @@ int get_type_estimated_size_bytes(type *tp) {
     break;
 
   case tpo_class:
-    s = get_mode_size_bytes(mode_P_mach); /* dispatch pointer */
+    s = get_mode_size_bytes(mode_P_data); /* dispatch pointer */
     /* fall through */
   case tpo_struct: {
     int i, n_mem = get_compound_n_members(tp);
     for (i = 0; i < n_mem; ++i) {
-      entity *mem = get_compound_member(tp, i);
+      ir_entity *mem = get_compound_member(tp, i);
       s += get_type_estimated_size_bytes(get_entity_type(mem));
 
       if (get_entity_allocation(mem) == allocation_automatic) {
@@ -249,13 +222,13 @@ int get_type_estimated_size_bytes(type *tp) {
     break;
   }
 
-  default: DDMT(tp); assert(0);
+  default: assert(0);
   }
 
   return s;
 }
 
-double get_type_estimated_n_casts(type *tp) {
+double get_type_estimated_n_casts(ir_type *tp) {
   int i, n_casts = get_type_n_casts(tp);
   double n_instances = 0;
   for (i = 0; i < n_casts; ++i) {
@@ -265,7 +238,7 @@ double get_type_estimated_n_casts(type *tp) {
   return n_instances;
 }
 
-double get_class_estimated_n_upcasts(type *clss) {
+double get_class_estimated_n_upcasts(ir_type *clss) {
   double n_instances = 0;
   int i, j, n_casts, n_pointertypes;
 
@@ -286,7 +259,7 @@ double get_class_estimated_n_upcasts(type *clss) {
   return n_instances;
 }
 
-double get_class_estimated_n_downcasts(type *clss) {
+double get_class_estimated_n_downcasts(ir_type *clss) {
   double n_instances = 0;
   int i, j, n_casts, n_pointertypes;
 
@@ -308,27 +281,27 @@ double get_class_estimated_n_downcasts(type *clss) {
 }
 
 
-double get_class_estimated_dispatch_writes(type *clss) {
+double get_class_estimated_dispatch_writes(ir_type *clss) {
   return get_type_estimated_n_instances(clss);
 }
 
 /** Returns the number of reads of the dispatch pointer. */
-double get_class_estimated_dispatch_reads (type *clss) {
+double get_class_estimated_dispatch_reads (ir_type *clss) {
   int i, n_mems = get_class_n_members(clss);
   double n_calls = 0;
   for (i = 0; i < n_mems; ++i) {
-    entity *mem = get_class_member(clss, i);
+    ir_entity *mem = get_class_member(clss, i);
     n_calls += get_entity_estimated_n_dyncalls(mem);
   }
   return n_calls;
 }
 
-double get_class_estimated_n_dyncalls(type *clss) {
+double get_class_estimated_n_dyncalls(ir_type *clss) {
   return get_class_estimated_dispatch_reads(clss) +
          get_class_estimated_dispatch_writes(clss);
 }
 
-double get_entity_estimated_n_loads(entity *ent) {
+double get_entity_estimated_n_loads(ir_entity *ent) {
   int i, n_acc = get_entity_n_accesses(ent);
   double n_loads = 0;
   for (i = 0; i < n_acc; ++i) {
@@ -340,7 +313,7 @@ double get_entity_estimated_n_loads(entity *ent) {
   return n_loads;
 }
 
-double get_entity_estimated_n_stores(entity *ent) {
+double get_entity_estimated_n_stores(ir_entity *ent) {
   int i, n_acc = get_entity_n_accesses(ent);
   double n_stores = 0;
   for (i = 0; i < n_acc; ++i) {
@@ -352,7 +325,7 @@ double get_entity_estimated_n_stores(entity *ent) {
 }
 
 /* @@@ Should we evaluate the callee array?  */
-double get_entity_estimated_n_calls(entity *ent) {
+double get_entity_estimated_n_calls(ir_entity *ent) {
   int i, n_acc = get_entity_n_accesses(ent);
   double n_calls = 0;
   for (i = 0; i < n_acc; ++i) {
@@ -364,26 +337,25 @@ double get_entity_estimated_n_calls(entity *ent) {
   return n_calls;
 }
 
-double get_entity_estimated_n_dyncalls(entity *ent) {
+double get_entity_estimated_n_dyncalls(ir_entity *ent) {
   int i, n_acc = get_entity_n_accesses(ent);
   double n_calls = 0;
   for (i = 0; i < n_acc; ++i) {
     ir_node *acc = get_entity_access(ent, i);
 
     /* Call->Sel(ent) combination */
-    if ((get_irn_op(acc) == op_Call)  &&
-	(get_irn_op(get_Call_ptr(acc)) == op_Sel)) {
+    if (is_Call(acc) && is_Sel(get_Call_ptr(acc))) {
       n_calls += get_irn_final_cost(acc);
 
     /* MemOp->Sel combination for static, overwritten entities */
-    } else if (is_memop(acc) && (get_irn_op(get_memop_ptr(acc)) == op_Sel)) {
-      entity *ent = get_Sel_entity(get_memop_ptr(acc));
+    } else if (is_memop(acc) && is_Sel(get_memop_ptr(acc))) {
+      ir_entity *ent = get_Sel_entity(get_memop_ptr(acc));
       if (is_Class_type(get_entity_owner(ent))) {
-	/* We might call this for inner entities in compounds. */
-	if (get_entity_n_overwrites(ent) > 0 ||
-	    get_entity_n_overwrittenby(ent) > 0) {
-	  n_calls += get_irn_final_cost(acc);
-	}
+        /* We might call this for inner entities in compounds. */
+        if (get_entity_n_overwrites(ent) > 0 ||
+            get_entity_n_overwrittenby(ent) > 0) {
+          n_calls += get_irn_final_cost(acc);
+        }
       }
     }
 
@@ -391,87 +363,20 @@ double get_entity_estimated_n_dyncalls(entity *ent) {
   return n_calls;
 }
 
-/* ------------------------------------------------------------------------- */
-/* Accumulate information in the type hierarchy.                             */
-/* This should go to co_read_profiling.c                                     */
-/* ------------------------------------------------------------------------- */
-
-static void acc_temp (type *tp) {
-  assert(is_Class_type(tp));
-
-  int i, n_subtypes = get_class_n_subtypes(tp);
-
-  /* Recursive descend. */
-  for (i = 0; i < n_subtypes; ++i) {
-    type *stp = get_class_subtype(tp, i);
-    if (type_not_visited(stp)) {
-      acc_temp(stp);
-    }
-  }
-
-  /* Deal with entity numbers. */
-  int n_members = get_class_n_members(tp);
-  for (i = 0; i < n_members; ++i) {
-    entity *mem = get_class_member(tp, i);
-    double acc_loads  = get_entity_estimated_n_loads (mem);
-    double acc_writes = get_entity_estimated_n_stores(mem);
-    int j, n_ov = get_entity_n_overwrittenby(mem);
-    for (j = 0; j < n_ov; ++j) {
-      entity *ov_mem = get_entity_overwrittenby(mem, j);
-      acc_loads  += get_entity_acc_estimated_n_loads (ov_mem);
-      acc_writes += get_entity_acc_estimated_n_stores(ov_mem);
-    }
-    set_entity_acc_estimated_n_loads (mem, acc_loads);
-    set_entity_acc_estimated_n_stores(mem, acc_writes);
-  }
-
-  /* Deal with type numbers. */
-  double inst = get_type_estimated_n_instances(tp);
-  for (i = 0; i < n_subtypes; ++i) {
-    type *stp = get_class_subtype(tp, i);
-    inst += get_type_acc_estimated_n_instances(stp);
-  }
-  set_type_acc_estimated_n_instances(tp, inst);
-
-  mark_type_visited(tp);
-}
-
-void accumulate_temperatures(void) {
-  int i, n_types = get_irp_n_types();
-  free_accumulated_temperatures();
-
-  inc_master_type_visited();
-  for (i = 0; i < n_types; ++i) {
-    type *tp = get_irp_type(i);
-    if (is_Class_type(tp)) { /* For others there is nothing to accumulate. */
-      int j, n_subtypes = get_class_n_subtypes(tp);
-      int has_unmarked_subtype = false;
-      for (j = 0; j < n_subtypes && !has_unmarked_subtype; ++j) {
-	type *stp = get_class_subtype(tp, j);
-	if (type_not_visited(stp)) has_unmarked_subtype = true;
-      }
-
-      if (!has_unmarked_subtype)
-	acc_temp(tp);
-    }
-  }
-
-  irp->temperature_state = temperature_consistent;
-}
-
-
-void free_accumulated_temperatures(void) {
-  if (temperature_set) del_set(temperature_set);
-  temperature_set = NULL;
-  irp->temperature_state = temperature_none;
-}
+#if 0
+/* Move this to the jack compiler */
 
 /* ------------------------------------------------------------------------- */
 /* Auxiliary                                                                 */
 /* ------------------------------------------------------------------------- */
 
 int is_jack_rts_name(ident *name) {
+  if (id_is_suffix(new_id_from_str("Exception"), name)) return 1;
+  if (id_is_suffix(new_id_from_str("Throwable"), name)) return 1;
+  if (id_is_suffix(new_id_from_str("Error"),     name)) return 1;
+
   return  0;
+
   if (id_is_prefix(new_id_from_str("java/"), name)) return 1;
   if (id_is_prefix(new_id_from_str("["),     name)) return 1;
   if (id_is_prefix(new_id_from_str("gnu/"),  name)) return 1;
@@ -482,14 +387,14 @@ int is_jack_rts_name(ident *name) {
 }
 
 
-int is_jack_rts_class(type *t) {
+int is_jack_rts_class(ir_type *t) {
   ident *name = get_type_ident(t);
   return is_jack_rts_name(name);
 }
 
 #include "entity_t.h"  // for the assertion.
 
-int is_jack_rts_entity(entity *e) {
+int is_jack_rts_entity(ir_entity *e) {
   ident *name;
 
   assert(e->ld_name);
@@ -497,3 +402,7 @@ int is_jack_rts_entity(entity *e) {
 
   return is_jack_rts_name(name);
 }
+
+#endif /* if 0 */
+
+#endif