/*
- * 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"
#include "irprog_t.h"
#include "entity_t.h"
#include "irgwalk.h"
+#include "error.h"
#include "array.h"
/* initialize, global variables. */
/* *************************************************************************** */
-
/* *************************************************************************** */
/* 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);
}
-
-
/* *************************************************************************** */
/* The heuristic */
/* *************************************************************************** */
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);
}
+/** @@@ 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;
static int default_recursion_weight = 5;
-
/* The final evaluation of a node. In this function we can
- adapt the heuristic. Combine execution freqency with
- recursion depth. */
+ adapt the heuristic. Combine execution frequency with
+ recursion depth.
+ @@@ 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);
- int rec_depth = get_irn_recursion_depth(n);
- double cost_rec = pow(default_recursion_weight, rec_depth);
- return cost_loop + cost_rec;
+ 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 = 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) {
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)) {
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));
}
case tpo_array: {
long n_elt = DEFAULT_N_ARRAY_ELEMENTS;
assert(get_array_n_dimensions(tp) == 1 && "other not implemented");
- if ((get_irn_op(get_array_lower_bound(tp, 0)) == op_Const) &&
- (get_irn_op(get_array_upper_bound(tp, 0)) == op_Const) ) {
+ if (is_Const(get_array_lower_bound(tp, 0)) &&
+ is_Const(get_array_upper_bound(tp, 0))) {
n_elt = get_array_upper_bound_int(tp, 0) - get_array_upper_bound_int(tp, 0);
}
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)) {
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) {
int elt_s = get_type_estimated_size_bytes(get_array_element_type(tp));
long n_elt = DEFAULT_N_ARRAY_ELEMENTS;
assert(get_array_n_dimensions(tp) == 1 && "other not implemented");
- if ((get_irn_op(get_array_lower_bound(tp, 0)) == op_Const) &&
- (get_irn_op(get_array_upper_bound(tp, 0)) == op_Const) ) {
+ if (is_Const(get_array_lower_bound(tp, 0)) &&
+ is_Const(get_array_upper_bound(tp, 0))) {
n_elt = get_array_upper_bound_int(tp, 0) - get_array_lower_bound_int(tp, 0);
}
s = n_elt * elt_s;
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) {
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;
- int i, n_casts = get_type_n_casts(clss);
+ n_casts = get_type_n_casts(clss);
for (i = 0; i < n_casts; ++i) {
ir_node *cast = get_type_cast(clss, i);
if (get_irn_opcode(cast) != iro_Cast) continue; /* Could be optimized away. */
n_instances += get_irn_final_cost(cast);
}
- int j, n_pointertypes = get_type_n_pointertypes_to(clss);
+ n_pointertypes = get_type_n_pointertypes_to(clss);
for (j = 0; j < n_pointertypes; ++j) {
n_instances += get_class_estimated_n_upcasts(get_type_pointertype_to(clss, j));
}
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;
- int i, n_casts = get_type_n_casts(clss);
+ n_casts = get_type_n_casts(clss);
for (i = 0; i < n_casts; ++i) {
ir_node *cast = get_type_cast(clss, i);
if (get_irn_opcode(cast) != iro_Cast) continue; /* Could be optimized away. */
n_instances += get_irn_final_cost(cast);
}
- int j, n_pointertypes = get_type_n_pointertypes_to(clss);
+ n_pointertypes = get_type_n_pointertypes_to(clss);
for (j = 0; j < n_pointertypes; ++j) {
n_instances += get_class_estimated_n_downcasts(get_type_pointertype_to(clss, j));
}
}
-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) {
ir_node *acc = get_entity_access(ent, i);
- if (get_irn_op(acc) == op_Load) {
+ if (is_Load(acc)) {
n_loads += get_irn_final_cost(acc);
}
}
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) {
ir_node *acc = get_entity_access(ent, i);
- if (get_irn_op(acc) == op_Store)
+ if (is_Store(acc))
n_stores += get_irn_final_cost(acc);
}
return n_stores;
}
/* @@@ 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) {
ir_node *acc = get_entity_access(ent, i);
- if (get_irn_op(acc) == op_Call)
-
+ if (is_Call(acc))
n_calls += get_irn_final_cost(acc);
}
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);
+ }
}
}
return n_calls;
}
+#if 0
+/* Move this to the jack compiler */
-/* *************************************************************************** */
-/* Auxiliary */
-/* *************************************************************************** */
+/* ------------------------------------------------------------------------- */
+/* 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;
-int is_jack_rts_name(const ident *name) {
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;
}
-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);
- ident *name = get_entity_ld_ident(e);
+ name = get_entity_ld_ident(e);
return is_jack_rts_name(name);
}
+
+#endif /* if 0 */
+
+#endif
projects / libfirm / blobdiff