X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fana%2Ftrouts.c;h=6a942648ebec5d2522af8ae7f8d48823cec6ad64;hb=07c77ebb4b165865ecdfc45a048ac55dea14d84e;hp=dfda26364949ce994afcf633413c2dad218f834f;hpb=ca42e4ac671c49f7ba8e9dfffd805abf49b2c733;p=libfirm

diff --git a/ir/ana/trouts.c b/ir/ana/trouts.c
index dfda26364..6a942648e 100644
--- a/ir/ana/trouts.c
+++ b/ir/ana/trouts.c
@@ -1,5 +1,5 @@
 /*
- * Copyright (C) 1995-2008 University of Karlsruhe.  All right reserved.
+ * Copyright (C) 1995-2011 University of Karlsruhe.  All right reserved.
  *
  * This file is part of libFirm.
  *
@@ -22,11 +22,10 @@
  * @brief    Reverse edges that reference types/entities.
  * @author   Goetz Lindenmaier
  * @date     29.10.2004
- * @version  $Id$
  */
 #include "config.h"
 
-#include "trouts.h"
+#include "trouts_t.h"
 
 #include "array.h"
 #include "pmap.h"
@@ -69,7 +68,7 @@ static ir_node **get_entity_access_array(const ir_entity *ent)
 
 static void set_entity_access_array(const ir_entity *ent, ir_node **accs)
 {
-	ir_node **old = pmap_get(entity_access_map, ent);
+	ir_node **old = (ir_node**)pmap_get(entity_access_map, ent);
 	if (old != accs)
 		pmap_insert(entity_access_map, ent, (void *)accs);
 }
@@ -95,7 +94,7 @@ static ir_node **get_entity_reference_array(const ir_entity *ent)
 
 static void set_entity_reference_array(const ir_entity *ent, ir_node **refs)
 {
-	ir_node **old = pmap_get(entity_reference_map, ent);
+	ir_node **old = (ir_node**)pmap_get(entity_reference_map, ent);
 	if (old != refs)
 		pmap_insert(entity_reference_map, ent, (void *)refs);
 }
@@ -121,7 +120,7 @@ static ir_node **get_type_alloc_array(const ir_type *tp)
 
 static void set_type_alloc_array(const ir_type *tp, ir_node **alls)
 {
-	ir_node **old = pmap_get(type_alloc_map, tp);
+	ir_node **old = (ir_node**)pmap_get(type_alloc_map, tp);
 	if (old != alls)
 		pmap_insert(type_alloc_map, tp, (void *)alls);
 }
@@ -146,7 +145,7 @@ static ir_node **get_type_cast_array(const ir_type *tp)
 
 static void set_type_cast_array(const ir_type *tp, ir_node **alls)
 {
-	ir_node **old = pmap_get(type_cast_map, tp);
+	ir_node **old = (ir_node**)pmap_get(type_cast_map, tp);
 	if (old != alls)
 		pmap_insert(type_cast_map, tp, (void *)alls);
 }
@@ -172,7 +171,7 @@ static ir_type **get_type_pointertype_array(const ir_type *tp)
 
 static void set_type_pointertype_array(const ir_type *tp, ir_type **pts)
 {
-	ir_type **old = pmap_get(type_pointertype_map, tp);
+	ir_type **old = (ir_type**)pmap_get(type_pointertype_map, tp);
 	if (old != pts)
 		pmap_insert(type_pointertype_map, tp, (void *)pts);
 }
@@ -198,7 +197,7 @@ static ir_type **get_type_arraytype_array(const ir_type *tp)
 
 static void set_type_arraytype_array(const ir_type *tp, ir_type **pts)
 {
-	ir_type **old = pmap_get(type_arraytype_map, tp);
+	ir_type **old = (ir_type**)pmap_get(type_arraytype_map, tp);
 	if (old != pts)
 		pmap_insert(type_arraytype_map, tp, (void *)pts);
 }
@@ -213,7 +212,7 @@ static void set_type_arraytype_array(const ir_type *tp, ir_type **pts)
 /*   Access routines for entities                                    */
 /**------------------------------------------------------------------*/
 
-int get_entity_n_accesses(const ir_entity *ent)
+size_t get_entity_n_accesses(const ir_entity *ent)
 {
 	ir_node ** accs;
 
@@ -223,11 +222,11 @@ int get_entity_n_accesses(const ir_entity *ent)
 	return ARR_LEN(accs);
 }
 
-ir_node *get_entity_access(const ir_entity *ent, int pos)
+ir_node *get_entity_access(const ir_entity *ent, size_t pos)
 {
 	ir_node ** accs;
 
-	assert(0 <= pos && pos < get_entity_n_accesses(ent));
+	assert(pos < get_entity_n_accesses(ent));
 
 	accs = get_entity_access_array(ent);
 	return accs[pos];
@@ -260,7 +259,7 @@ void set_entity_access(const ir_entity *ent, int pos, ir_node *n)
 
 /*------------------------------------------------------------------*/
 
-int get_entity_n_references(const ir_entity *ent)
+size_t get_entity_n_references(const ir_entity *ent)
 {
 	ir_node ** refs;
 
@@ -270,11 +269,11 @@ int get_entity_n_references(const ir_entity *ent)
 	return ARR_LEN(refs);
 }
 
-ir_node *get_entity_reference(const ir_entity *ent, int pos)
+ir_node *get_entity_reference(const ir_entity *ent, size_t pos)
 {
 	ir_node ** refs;
 
-	assert(0 <= pos && pos < get_entity_n_references(ent));
+	assert( pos < get_entity_n_references(ent));
 
 	refs = get_entity_reference_array(ent);
 	return refs[pos];
@@ -310,7 +309,7 @@ void set_entity_reference(const ir_entity *ent, int pos, ir_node *n)
 /**------------------------------------------------------------------*/
 
 /* Number of Alloc nodes that create an instance of this type */
-int get_type_n_allocs(const ir_type *tp)
+size_t get_type_n_allocs(const ir_type *tp)
 {
 	ir_node **allocs;
 
@@ -321,10 +320,10 @@ int get_type_n_allocs(const ir_type *tp)
 }
 
 /* Alloc node that creates an instance of this type */
-ir_node *get_type_alloc(const ir_type *tp, int pos)
+ir_node *get_type_alloc(const ir_type *tp, size_t pos)
 {
 	ir_node **allocs;
-	assert(0 <= pos && pos < get_type_n_allocs(tp));
+	assert( pos < get_type_n_allocs(tp));
 
 	allocs = get_type_alloc_array(tp);
 	return allocs[pos];
@@ -356,7 +355,7 @@ void set_type_alloc(const ir_type *tp, int pos, ir_node *n)
 #endif
 
 /* Number of Cast nodes that create an instance of this type */
-int get_type_n_casts(const ir_type *tp)
+size_t get_type_n_casts(const ir_type *tp)
 {
 	ir_node **casts;
 
@@ -367,10 +366,10 @@ int get_type_n_casts(const ir_type *tp)
 }
 
 
-int get_class_n_upcasts(const ir_type *clss)
+size_t get_class_n_upcasts(const ir_type *clss)
 {
-	int i, n_casts = get_type_n_casts(clss);
-	int n_instances = 0;
+	size_t i, n_casts = get_type_n_casts(clss);
+	size_t n_instances = 0;
 	for (i = 0; i < n_casts; ++i) {
 		ir_node *cast = get_type_cast(clss, i);
 		if (is_Cast_upcast(cast))
@@ -379,10 +378,10 @@ int get_class_n_upcasts(const ir_type *clss)
 	return n_instances;
 }
 
-int get_class_n_downcasts(const ir_type *clss)
+size_t get_class_n_downcasts(const ir_type *clss)
 {
-	int i, n_casts = get_type_n_casts(clss);
-	int n_instances = 0;
+	size_t i, n_casts = get_type_n_casts(clss);
+	size_t n_instances = 0;
 	for (i = 0; i < n_casts; ++i) {
 		ir_node *cast = get_type_cast(clss, i);
 		if (is_Cast_downcast(cast))
@@ -391,11 +390,10 @@ int get_class_n_downcasts(const ir_type *clss)
 	return n_instances;
 }
 
-/* Cast node that creates an instance of this type */
-ir_node *get_type_cast(const ir_type *tp, int pos)
+ir_node *get_type_cast(const ir_type *tp, size_t pos)
 {
 	ir_node **casts;
-	assert(0 <= pos && pos < get_type_n_casts(tp));
+	assert(pos < get_type_n_casts(tp));
 
 	casts = get_type_cast_array(tp);
 	return casts[pos];
@@ -414,11 +412,11 @@ void add_type_cast(const ir_type *tp, ir_node *n)
 }
 
 #if 0
-void set_type_cast(const ir_type *tp, int pos, ir_node *n)
+void set_type_cast(const ir_type *tp, size_t pos, ir_node *n)
 {
 	ir_node **casts;
 
-	assert(0 <= pos && pos < get_type_n_casts(tp));
+	assert(pos < get_type_n_casts(tp));
 	assert(n && is_ir_node(n));
 
 	casts = get_type_cast_array(tp);
@@ -428,7 +426,7 @@ void set_type_cast(const ir_type *tp, int pos, ir_node *n)
 
 /*------------------------------------------------------------------*/
 
-int get_type_n_pointertypes_to(const ir_type *tp)
+size_t get_type_n_pointertypes_to(const ir_type *tp)
 {
 	ir_type ** pts;
 
@@ -438,11 +436,11 @@ int get_type_n_pointertypes_to(const ir_type *tp)
 	return ARR_LEN(pts);
 }
 
-ir_type *get_type_pointertype_to(const ir_type *tp, int pos)
+ir_type *get_type_pointertype_to(const ir_type *tp, size_t pos)
 {
 	ir_type ** pts;
 
-	assert(0 <= pos && pos < get_type_n_pointertypes_to(tp));
+	assert(pos < get_type_n_pointertypes_to(tp));
 
 	pts = get_type_pointertype_array(tp);
 	return pts[pos];
@@ -475,7 +473,7 @@ void set_type_pointertype_to(const ir_type *tp, int pos, ir_type *ptp)
 
 /*------------------------------------------------------------------*/
 
-int get_type_n_arraytypes_of(const ir_type *tp)
+size_t get_type_n_arraytypes_of(const ir_type *tp)
 {
 	ir_type ** pts;
 
@@ -485,11 +483,11 @@ int get_type_n_arraytypes_of(const ir_type *tp)
 	return ARR_LEN(pts);
 }
 
-ir_type *get_type_arraytype_of(const ir_type *tp, int pos)
+ir_type *get_type_arraytype_of(const ir_type *tp, size_t pos)
 {
 	ir_type ** pts;
 
-	assert(0 <= pos && pos < get_type_n_arraytypes_of(tp));
+	assert(pos < get_type_n_arraytypes_of(tp));
 
 	pts = get_type_arraytype_array(tp);
 	return pts[pos];
@@ -604,8 +602,10 @@ static void chain_accesses(ir_node *n, void *env)
 	} else if (is_SymConst_addr_ent(n)) {
 		add_entity_reference(get_SymConst_entity(n), n);
 		return;
-	} else if (is_memop(n)) {
-		addr = get_memop_ptr(n);
+	} else if (is_Store(n)) {
+		addr = get_Store_ptr(n);
+	} else if (is_Load(n)) {
+		addr = get_Load_ptr(n);
 	} else if (is_Call(n)) {
 		addr = get_Call_ptr(n);
 		if (! is_Sel(addr)) return;  /* Sels before Calls mean a Load / polymorphic Call. */
@@ -636,37 +636,25 @@ static void chain_types(ir_type *tp)
 	}
 }
 
-irg_outs_state get_trouts_state(void)
-{
-	return irp->trouts_state;
-}
-
-void set_trouts_inconsistent(void)
-{
-	if (irp->trouts_state == outs_consistent)
-		irp->trouts_state = outs_inconsistent;
-}
-
-/* compute the trouts data structures. */
 void compute_trouts(void)
 {
-	int i;
+	size_t i;
 
 	free_trouts();
 	init_trouts();
 
 	/* Compute outs for IR nodes. */
-	for (i = get_irp_n_irgs() - 1; i >= 0; --i) {
-		irg_walk_graph(get_irp_irg(i), NULL, chain_accesses, NULL);
+	for (i = get_irp_n_irgs(); i > 0;) {
+		ir_graph *irg = get_irp_irg(--i);
+		irg_walk_graph(irg, NULL, chain_accesses, NULL);
 	}
 	walk_const_code(NULL, chain_accesses, NULL);
 
 	/* Compute outs for types */
-	for (i = get_irp_n_types() - 1; i >= 0; --i) {
-		chain_types(get_irp_type(i));
+	for (i = get_irp_n_types(); i > 0;) {
+		ir_type *type = get_irp_type(--i);
+		chain_types(type);
 	}
-
-	irp->trouts_state = outs_consistent;
 }
 
 void free_trouts(void)
@@ -736,6 +724,4 @@ void free_trouts(void)
 		pmap_destroy(type_arraytype_map);
 		type_arraytype_map = NULL;
 	}
-
-	irp->trouts_state = outs_none;
 }