* @date 27.12.2006
* @version $Id$
*/
-#ifdef HAVE_CONFIG_H
#include "config.h"
-#endif
#include <stdlib.h>
#include <stdbool.h>
+#include "adt/pmap.h"
#include "irnode_t.h"
#include "irgraph_t.h"
#include "irprog_t.h"
#include "irprintf.h"
#include "debug.h"
#include "error.h"
+#include "typerep.h"
/** The debug handle. */
DEBUG_ONLY(static firm_dbg_module_t *dbg = NULL;)
+DEBUG_ONLY(static firm_dbg_module_t *dbgcall = NULL;)
/** The source language specific language disambiguator function. */
static DISAMBIGUATOR_FUNC language_disambuigator = NULL;
ir_type *tp2 = get_entity_type(ent2);
if (tp1 != tp2) {
-#if 0
/* do deref until no pointer types are found */
while (is_Pointer_type(tp1) && is_Pointer_type(tp2)) {
tp1 = get_pointer_points_to_type(tp1);
tp2 = get_pointer_points_to_type(tp2);
}
-#endif
if (get_type_tpop(tp1) != get_type_tpop(tp2)) {
/* different type structure */
} /* is_hidden_cast */
/**
- * Determine the usage state of a node (or it's successor Sels).
+ * Determine the usage state of a node (or its successor Sels).
*
* @param irn the node
*/
int i;
ir_mode *emode, *mode;
ir_node *value;
- ir_entity *ent;
ir_type *tp;
ir_entity_usage res = 0;
switch (get_irn_opcode(succ)) {
case iro_Load:
- assert(irn == get_Load_ptr(succ));
+ /* beware: irn might be a Id node here, so irn might be not
+ equal to get_Load_ptr(succ) */
res |= ir_usage_read;
/* check if this load is not a hidden conversion */
case iro_CopyB:
/* CopyB are like Loads/Stores */
- ent = is_SymConst(irn) ? get_SymConst_entity(irn) : get_Sel_entity(irn);
- tp = get_entity_type(ent);
+ tp = get_entity_type(entity);
if (tp != get_CopyB_type(succ)) {
/* bad, different types, might be a hidden conversion */
res |= ir_usage_reinterpret_cast;
}
break;
+ /* skip identities */
+ case iro_Id:
+ res |= determine_entity_usage(succ, entity);
+ break;
+
+ /* skip tuples */
+ case iro_Tuple: {
+ int input_nr;
+ for (input_nr = get_Tuple_n_preds(succ) - 1; input_nr >= 0;
+ --input_nr) {
+ ir_node *pred = get_Tuple_pred(succ, input_nr);
+ if (pred == irn) {
+ int k;
+ /* we found one input */
+ for (k = get_irn_n_outs(succ) - 1; k >= 0; --k) {
+ ir_node *proj = get_irn_out(succ, k);
+
+ if (is_Proj(proj) && get_Proj_proj(proj) == input_nr) {
+ res |= determine_entity_usage(proj, entity);
+ break;
+ }
+ }
+ }
+ }
+ break;
+ }
+
default:
- /* another op, we don't know anything */
+ /* another op, we don't know anything (we could do more advanced
+ * things like a dataflow analysis here) */
res |= ir_usage_unknown;
break;
}
/* set initial state to not_taken, as this is the "smallest" state */
for (i = get_class_n_members(ft) - 1; i >= 0; --i) {
- ir_entity *ent = get_class_member(ft, i);
+ ir_entity *ent = get_class_member(ft, i);
+ ir_entity_usage flags =
+ get_entity_stickyness(ent) == stickyness_sticky ? ir_usage_unknown : 0;
- set_entity_usage(ent, 0);
+ set_entity_usage(ent, flags);
}
assure_irg_outs(irg);
/* We have to be conservative: All external visible entities are unknown */
for (i = get_compound_n_members(tp) - 1; i >= 0; --i) {
- ir_entity *entity = get_compound_member(tp, i);
- ir_entity_usage flags;
-
- flags = get_entity_visibility(entity) == visibility_external_visible ?
- ir_usage_unknown : 0;
- set_entity_usage(entity, flags);
+ ir_entity *ent = get_compound_member(tp, i);
+ ir_entity_usage flags = ir_usage_none;
+ ir_visibility vis = get_entity_visibility(ent);
+
+ if (vis == visibility_external_visible ||
+ vis == visibility_external_allocated ||
+ get_entity_stickyness(ent) == stickyness_sticky) {
+ flags |= ir_usage_unknown;
+ }
+ set_entity_usage(ent, flags);
}
}
+/**
+ * Mark all entities used in the initializer as unknown usage.
+ *
+ * @param initializer the initializer to check
+ */
static void check_initializer_nodes(ir_initializer_t *initializer)
{
- switch (initializer->kind) {
- case IR_INITIALIZER_CONST: {
- ir_node *n = initializer->consti.value;
+ unsigned i;
+ ir_node *n;
+ switch (initializer->kind) {
+ case IR_INITIALIZER_CONST:
/* let's check if it's an address */
+ n = initializer->consti.value;
if (is_Global(n)) {
ir_entity *ent = get_Global_entity(n);
set_entity_usage(ent, ir_usage_unknown);
}
return;
- }
case IR_INITIALIZER_TARVAL:
case IR_INITIALIZER_NULL:
return;
- case IR_INITIALIZER_COMPOUND: {
- size_t i;
-
+ case IR_INITIALIZER_COMPOUND:
for (i = 0; i < initializer->compound.n_initializers; ++i) {
ir_initializer_t *sub_initializer
= initializer->compound.initializers[i];
}
return;
}
- }
panic("invalid initializer found");
} /* check_initializer_nodes */
/**
- * Mark all entities used in the initializer for the given entity as address taken.
+ * Mark all entities used in the initializer for the given entity as unknown
+ * usage.
*
* @param ent the entity
*/
/**
- * Mark all entities used in initializers as address taken.
+ * Mark all entities used in initializers as unknown usage.
*
* @param tp a compound type
*/
if (flags == 0)
continue;
- ir_printf("%+F:");
+ ir_printf("%+F:", ent);
if (flags & ir_usage_address_taken)
printf(" address_taken");
if (flags & ir_usage_read)
void firm_init_memory_disambiguator(void) {
FIRM_DBG_REGISTER(dbg, "firm.ana.irmemory");
+ FIRM_DBG_REGISTER(dbgcall, "firm.opt.cc");
}
-#include <adt/pmap.h>
-#include "typerep.h"
-
-DEBUG_ONLY(static firm_dbg_module_t *dbgcall = NULL;)
-
/** Maps method types to cloned method types. */
static pmap *mtp_map;
int i;
int changed = 0;
- FIRM_DBG_REGISTER(dbgcall, "firm.opt.cc");
-
assure_irp_globals_entity_usage_computed();
mtp_map = pmap_create();
projects / libfirm / blobdiff