X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fana%2Ftrouts.c;h=0b0abc2fc282aa99cf614bb3b0e092edaffc4251;hb=fabe62c2752d06a727637122ab5a0a5ccd83c422;hp=9a89857c4f16629ace38de14eb800cc3c2357714;hpb=4b1138a9eee25ce11adbb7d7162eaa49421e8b51;p=libfirm diff --git a/ir/ana/trouts.c b/ir/ana/trouts.c index 9a89857c4..0b0abc2fc 100644 --- a/ir/ana/trouts.c +++ b/ir/ana/trouts.c @@ -24,16 +24,14 @@ * @date 29.10.2004 * @version $Id$ */ -#ifdef HAVE_CONFIG_H #include "config.h" -#endif -#include "irnode.h" #include "trouts.h" #include "array.h" #include "pmap.h" +#include "irnode_t.h" #include "irprog_t.h" #include "irgwalk.h" #include "irnode.h" @@ -54,7 +52,8 @@ static pmap *type_arraytype_map = NULL; * Return a flexible array containing all IR-nodes * that access a given entity. */ -static ir_node **get_entity_access_array(const ir_entity *ent) { +static ir_node **get_entity_access_array(const ir_entity *ent) +{ ir_node **res; if (!entity_access_map) entity_access_map = pmap_create(); @@ -68,7 +67,8 @@ static ir_node **get_entity_access_array(const ir_entity *ent) { return res; } -static void set_entity_access_array(const ir_entity *ent, ir_node **accs) { +static void set_entity_access_array(const ir_entity *ent, ir_node **accs) +{ ir_node **old = pmap_get(entity_access_map, ent); if (old != accs) pmap_insert(entity_access_map, ent, (void *)accs); @@ -78,7 +78,8 @@ static void set_entity_access_array(const ir_entity *ent, ir_node **accs) { * Return a flexible array containing all IR-nodes * that reference a given entity. */ -static ir_node **get_entity_reference_array(const ir_entity *ent) { +static ir_node **get_entity_reference_array(const ir_entity *ent) +{ ir_node **res; if (!entity_reference_map) entity_reference_map = pmap_create(); @@ -92,7 +93,8 @@ static ir_node **get_entity_reference_array(const ir_entity *ent) { return res; } -static void set_entity_reference_array(const ir_entity *ent, ir_node **refs) { +static void set_entity_reference_array(const ir_entity *ent, ir_node **refs) +{ ir_node **old = pmap_get(entity_reference_map, ent); if (old != refs) pmap_insert(entity_reference_map, ent, (void *)refs); @@ -102,7 +104,8 @@ static void set_entity_reference_array(const ir_entity *ent, ir_node **refs) { * Return a flexible array containing all IR-nodes * that allocate a given type. */ -static ir_node **get_type_alloc_array(const ir_type *tp) { +static ir_node **get_type_alloc_array(const ir_type *tp) +{ ir_node **res; if (!type_alloc_map) type_alloc_map = pmap_create(); @@ -116,7 +119,8 @@ static ir_node **get_type_alloc_array(const ir_type *tp) { return res; } -static void set_type_alloc_array(const ir_type *tp, ir_node **alls) { +static void set_type_alloc_array(const ir_type *tp, ir_node **alls) +{ ir_node **old = pmap_get(type_alloc_map, tp); if (old != alls) pmap_insert(type_alloc_map, tp, (void *)alls); @@ -126,7 +130,8 @@ static void set_type_alloc_array(const ir_type *tp, ir_node **alls) { * Return a flexible array containing all Cast-nodes * that "create" a given type. */ -static ir_node **get_type_cast_array(const ir_type *tp) { +static ir_node **get_type_cast_array(const ir_type *tp) +{ ir_node **res; if (!type_cast_map) type_cast_map = pmap_create(); @@ -139,7 +144,8 @@ static ir_node **get_type_cast_array(const ir_type *tp) { return res; } -static void set_type_cast_array(const ir_type *tp, ir_node **alls) { +static void set_type_cast_array(const ir_type *tp, ir_node **alls) +{ ir_node **old = pmap_get(type_cast_map, tp); if (old != alls) pmap_insert(type_cast_map, tp, (void *)alls); @@ -149,7 +155,8 @@ static void set_type_cast_array(const ir_type *tp, ir_node **alls) { * Return a flexible array containing all pointer * types that points-to a given type. */ -static ir_type **get_type_pointertype_array(const ir_type *tp) { +static ir_type **get_type_pointertype_array(const ir_type *tp) +{ ir_type **res; if (!type_pointertype_map) type_pointertype_map = pmap_create(); @@ -163,7 +170,8 @@ static ir_type **get_type_pointertype_array(const ir_type *tp) { return res; } -static void set_type_pointertype_array(const ir_type *tp, ir_type **pts) { +static void set_type_pointertype_array(const ir_type *tp, ir_type **pts) +{ ir_type **old = pmap_get(type_pointertype_map, tp); if (old != pts) pmap_insert(type_pointertype_map, tp, (void *)pts); @@ -173,7 +181,8 @@ static void set_type_pointertype_array(const ir_type *tp, ir_type **pts) { * Return a flexible array containing all array * types that have a given type as element type. */ -static ir_type **get_type_arraytype_array(const ir_type *tp) { +static ir_type **get_type_arraytype_array(const ir_type *tp) +{ ir_type **res; if (!type_arraytype_map) type_arraytype_map = pmap_create(); @@ -187,7 +196,8 @@ static ir_type **get_type_arraytype_array(const ir_type *tp) { return res; } -void set_type_arraytype_array(const ir_type *tp, ir_type **pts) { +static void set_type_arraytype_array(const ir_type *tp, ir_type **pts) +{ ir_type **old = pmap_get(type_arraytype_map, tp); if (old != pts) pmap_insert(type_arraytype_map, tp, (void *)pts); @@ -203,7 +213,8 @@ 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) { +int get_entity_n_accesses(const ir_entity *ent) +{ ir_node ** accs; assert(ent && is_entity(ent)); @@ -212,7 +223,8 @@ 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, int pos) +{ ir_node ** accs; assert(0 <= pos && pos < get_entity_n_accesses(ent)); @@ -221,7 +233,8 @@ ir_node *get_entity_access(const ir_entity *ent, int pos) { return accs[pos]; } -static void add_entity_access(const ir_entity *ent, ir_node *n) { +static void add_entity_access(const ir_entity *ent, ir_node *n) +{ ir_node ** accs; assert(ent && is_entity(ent)); @@ -232,7 +245,9 @@ static void add_entity_access(const ir_entity *ent, ir_node *n) { set_entity_access_array(ent, accs); } -void set_entity_access(const ir_entity *ent, int pos, ir_node *n) { +#if 0 +void set_entity_access(const ir_entity *ent, int pos, ir_node *n) +{ ir_node ** accs; assert(0 <= pos && pos < get_entity_n_accesses(ent)); @@ -241,10 +256,12 @@ void set_entity_access(const ir_entity *ent, int pos, ir_node *n) { accs = get_entity_access_array(ent); accs[pos] = n; } +#endif /*------------------------------------------------------------------*/ -int get_entity_n_references(const ir_entity *ent) { +int get_entity_n_references(const ir_entity *ent) +{ ir_node ** refs; assert(ent && is_entity(ent)); @@ -253,7 +270,8 @@ 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, int pos) +{ ir_node ** refs; assert(0 <= pos && pos < get_entity_n_references(ent)); @@ -262,7 +280,8 @@ ir_node *get_entity_reference(const ir_entity *ent, int pos) { return refs[pos]; } -static void add_entity_reference(const ir_entity *ent, ir_node *n) { +static void add_entity_reference(const ir_entity *ent, ir_node *n) +{ ir_node ** refs; assert(ent && is_entity(ent)); @@ -273,7 +292,9 @@ static void add_entity_reference(const ir_entity *ent, ir_node *n) { set_entity_reference_array(ent, refs); } -void set_entity_reference(const ir_entity *ent, int pos, ir_node *n) { +#if 0 +void set_entity_reference(const ir_entity *ent, int pos, ir_node *n) +{ ir_node ** refs; assert(0 <= pos && pos < get_entity_n_references(ent)); @@ -282,14 +303,15 @@ void set_entity_reference(const ir_entity *ent, int pos, ir_node *n) { refs = get_entity_reference_array(ent); refs[pos] = n; } - +#endif /**------------------------------------------------------------------*/ /* Access routines for types */ /**------------------------------------------------------------------*/ /* Number of Alloc nodes that create an instance of this type */ -int get_type_n_allocs(const ir_type *tp) { +int get_type_n_allocs(const ir_type *tp) +{ ir_node **allocs; assert(tp && is_type(tp)); @@ -299,7 +321,8 @@ 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, int pos) +{ ir_node **allocs; assert(0 <= pos && pos < get_type_n_allocs(tp)); @@ -307,7 +330,8 @@ ir_node *get_type_alloc(const ir_type *tp, int pos) { return allocs[pos]; } -static void add_type_alloc(const ir_type *tp, ir_node *n) { +static void add_type_alloc(const ir_type *tp, ir_node *n) +{ ir_node **allocs; assert(tp && is_type(tp)); @@ -318,7 +342,9 @@ static void add_type_alloc(const ir_type *tp, ir_node *n) { set_type_alloc_array(tp, allocs); } -void set_type_alloc(const ir_type *tp, int pos, ir_node *n) { +#if 0 +void set_type_alloc(const ir_type *tp, int pos, ir_node *n) +{ ir_node **allocs; assert(0 <= pos && pos < get_type_n_allocs(tp)); @@ -327,9 +353,11 @@ void set_type_alloc(const ir_type *tp, int pos, ir_node *n) { allocs = get_type_alloc_array(tp); allocs[pos] = n; } +#endif /* Number of Cast nodes that create an instance of this type */ -int get_type_n_casts(const ir_type *tp) { +int get_type_n_casts(const ir_type *tp) +{ ir_node **casts; assert(tp && is_type(tp)); @@ -339,7 +367,8 @@ int get_type_n_casts(const ir_type *tp) { } -int get_class_n_upcasts(const ir_type *clss) { +int get_class_n_upcasts(const ir_type *clss) +{ int i, n_casts = get_type_n_casts(clss); int n_instances = 0; for (i = 0; i < n_casts; ++i) { @@ -350,7 +379,8 @@ int get_class_n_upcasts(const ir_type *clss) { return n_instances; } -int get_class_n_downcasts(const ir_type *clss) { +int get_class_n_downcasts(const ir_type *clss) +{ int i, n_casts = get_type_n_casts(clss); int n_instances = 0; for (i = 0; i < n_casts; ++i) { @@ -362,7 +392,8 @@ int get_class_n_downcasts(const ir_type *clss) { } /* 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, int pos) +{ ir_node **casts; assert(0 <= pos && pos < get_type_n_casts(tp)); @@ -370,7 +401,8 @@ ir_node *get_type_cast(const ir_type *tp, int pos) { return casts[pos]; } -void add_type_cast(const ir_type *tp, ir_node *n) { +void add_type_cast(const ir_type *tp, ir_node *n) +{ ir_node **casts; assert(tp && is_type(tp)); @@ -381,7 +413,9 @@ void add_type_cast(const ir_type *tp, ir_node *n) { set_type_cast_array(tp, casts); } -void set_type_cast(const ir_type *tp, int pos, ir_node *n) { +#if 0 +void set_type_cast(const ir_type *tp, int pos, ir_node *n) +{ ir_node **casts; assert(0 <= pos && pos < get_type_n_casts(tp)); @@ -390,10 +424,12 @@ void set_type_cast(const ir_type *tp, int pos, ir_node *n) { casts = get_type_cast_array(tp); casts[pos] = n; } +#endif /*------------------------------------------------------------------*/ -int get_type_n_pointertypes_to(const ir_type *tp) { +int get_type_n_pointertypes_to(const ir_type *tp) +{ ir_type ** pts; assert(tp && is_type(tp)); @@ -402,7 +438,8 @@ 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, int pos) +{ ir_type ** pts; assert(0 <= pos && pos < get_type_n_pointertypes_to(tp)); @@ -411,7 +448,8 @@ ir_type *get_type_pointertype_to(const ir_type *tp, int pos) { return pts[pos]; } -void add_type_pointertype_to(const ir_type *tp, ir_type *ptp) { +void add_type_pointertype_to(const ir_type *tp, ir_type *ptp) +{ ir_type ** pts; assert(tp && is_type(tp)); @@ -422,7 +460,9 @@ void add_type_pointertype_to(const ir_type *tp, ir_type *ptp) { set_type_pointertype_array(tp, pts); } -void set_type_pointertype_to(const ir_type *tp, int pos, ir_type *ptp) { +#if 0 +void set_type_pointertype_to(const ir_type *tp, int pos, ir_type *ptp) +{ ir_type ** pts; assert(0 <= pos && pos < get_type_n_pointertypes_to(tp)); @@ -431,11 +471,12 @@ void set_type_pointertype_to(const ir_type *tp, int pos, ir_type *ptp) { pts = get_type_pointertype_array(tp); pts[pos] = ptp; } - +#endif /*------------------------------------------------------------------*/ -int get_type_n_arraytypes_of(const ir_type *tp) { +int get_type_n_arraytypes_of(const ir_type *tp) +{ ir_type ** pts; assert(tp && is_type(tp)); @@ -444,7 +485,8 @@ 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, int pos) +{ ir_type ** pts; assert(0 <= pos && pos < get_type_n_arraytypes_of(tp)); @@ -453,7 +495,8 @@ ir_type *get_type_arraytype_of(const ir_type *tp, int pos) { return pts[pos]; } -void add_type_arraytype_of(const ir_type *tp, ir_type *atp) { +void add_type_arraytype_of(const ir_type *tp, ir_type *atp) +{ ir_type ** pts; assert(tp && is_type(tp)); @@ -464,7 +507,9 @@ void add_type_arraytype_of(const ir_type *tp, ir_type *atp) { set_type_arraytype_array(tp, pts); } -void set_type_arraytype_of(const ir_type *tp, int pos, ir_type *atp) { +#if 0 +void set_type_arraytype_of(const ir_type *tp, int pos, ir_type *atp) +{ ir_type ** pts; assert(0 <= pos && pos < get_type_n_arraytypes_of(tp)); @@ -473,77 +518,76 @@ void set_type_arraytype_of(const ir_type *tp, int pos, ir_type *atp) { pts = get_type_arraytype_array(tp); pts[pos] = atp; } +#endif /*------------------------------------------------------------------*/ /* Building and Removing the out datastructure */ /*------------------------------------------------------------------*/ /** Initialize the trouts handling. */ -static void init_trouts(void) { +static void init_trouts(void) +{ } /** The number of entities that can be accessed by this Sel node. */ -static int get_Sel_n_accessed_entities(const ir_node *sel) { +static int get_Sel_n_accessed_entities(const ir_node *sel) +{ (void) sel; return 1; } /** The entity that cat be accessed by this Sel node. */ -static ir_entity *get_Sel_accessed_entity(const ir_node *sel) { +static ir_entity *get_Sel_accessed_entity(const ir_node *sel) +{ return get_Sel_entity(sel); } /** An addr node is a SymConst or a Sel. */ -static int get_addr_n_entities(const ir_node *addr) { - int n_ents; - +static int get_addr_n_entities(const ir_node *addr) +{ switch (get_irn_opcode(addr)) { case iro_Sel: /* Treat jack array sels? */ - n_ents = get_Sel_n_accessed_entities(addr); - break; + return get_Sel_n_accessed_entities(addr); case iro_SymConst: - if (get_SymConst_kind(addr) == symconst_addr_ent) { - n_ents = 1; - break; - } + if (get_SymConst_kind(addr) == symconst_addr_ent) + return 1; + return 0; default: - //assert(0 && "unexpected address expression"); - n_ents = 0; + return 0; } - - return n_ents; } /** An addr node is a SymConst or a Sel. If Sel follow to outermost of compound. */ -static ir_entity *get_addr_entity(const ir_node *addr, int pos) { - ir_entity *ent; +static ir_entity *get_addr_entity(const ir_node *addr, int pos) +{ + ir_node *ptr; (void) pos; switch (get_irn_opcode(addr)) { case iro_Sel: /* Treat jack array sels? They are compounds! Follow to outermost entity. */ - while (is_Sel(get_Sel_ptr(addr))) { - addr = get_Sel_ptr(addr); + ptr = get_Sel_ptr(addr); + while (is_Sel(ptr)) { + addr = ptr; + ptr = get_Sel_ptr(addr); } - assert (0 <= pos && pos < get_Sel_n_accessed_entities(addr)); - ent = get_Sel_accessed_entity(addr); - break; + assert(0 <= pos && pos < get_Sel_n_accessed_entities(addr)); + return get_Sel_accessed_entity(addr); case iro_SymConst: if (get_SymConst_kind(addr) == symconst_addr_ent) { assert(pos == 0); - ent = get_SymConst_entity(addr); - break; + return get_SymConst_entity(addr); } + return NULL; default: - ent = NULL; + return NULL; } - - return ent; } -static void chain_accesses(ir_node *n, void *env) { +static void chain_accesses(ir_node *n, void *env) +{ int i, n_ents; ir_node *addr; @@ -583,7 +627,8 @@ static void chain_accesses(ir_node *n, void *env) { * Handle chain types (pointer, array) by adding them to * its "inner" type. */ -static void chain_types(ir_type *tp) { +static void chain_types(ir_type *tp) +{ if (is_Pointer_type(tp)) { add_type_pointertype_to(get_pointer_points_to_type(tp), tp); } else if (is_Array_type(tp)) { @@ -591,17 +636,20 @@ static void chain_types(ir_type *tp) { } } -irg_outs_state get_trouts_state(void) { +irg_outs_state get_trouts_state(void) +{ return irp->trouts_state; } -void set_trouts_inconsistent(void) { +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) { +void compute_trouts(void) +{ int i; free_trouts(); @@ -621,13 +669,15 @@ void compute_trouts(void) { irp->trouts_state = outs_consistent; } -void free_trouts(void) { +void free_trouts(void) +{ if (entity_access_map) { ir_node **accs; for (accs = (ir_node **)pmap_first(entity_access_map); accs; - accs = (ir_node **)pmap_next(entity_access_map)) - ; //DEL_ARR_F(accs); + accs = (ir_node **)pmap_next(entity_access_map)) { + /* DEL_ARR_F(accs); */ + } pmap_destroy(entity_access_map); entity_access_map = NULL; } @@ -636,8 +686,9 @@ void free_trouts(void) { ir_node **refs; for (refs = (ir_node **)pmap_first(entity_reference_map); refs; - refs = (ir_node **)pmap_next(entity_reference_map)) - ; //DEL_ARR_F(refs); + refs = (ir_node **)pmap_next(entity_reference_map)) { + /* DEL_ARR_F(refs); */ + } pmap_destroy(entity_reference_map); entity_reference_map = NULL; } @@ -646,8 +697,9 @@ void free_trouts(void) { ir_node **alls; for (alls = (ir_node **)pmap_first(type_alloc_map); alls; - alls = (ir_node **)pmap_next(type_alloc_map)) - ; //DEL_ARR_F(alls); + alls = (ir_node **)pmap_next(type_alloc_map)) { + /* DEL_ARR_F(alls); */ + } pmap_destroy(type_alloc_map); type_alloc_map = NULL; } @@ -656,8 +708,9 @@ void free_trouts(void) { ir_node **casts; for (casts = (ir_node **)pmap_first(type_cast_map); casts; - casts = (ir_node **)pmap_next(type_cast_map)) - ; //DEL_ARR_F(alls); + casts = (ir_node **)pmap_next(type_cast_map)) { + /* DEL_ARR_F(alls); */ + } pmap_destroy(type_cast_map); type_cast_map = NULL; } @@ -666,8 +719,9 @@ void free_trouts(void) { ir_node **pts; for (pts = (ir_node **)pmap_first(type_pointertype_map); pts; - pts = (ir_node **)pmap_next(type_pointertype_map)) - ; //DEL_ARR_F(pts); + pts = (ir_node **)pmap_next(type_pointertype_map)) { + /* DEL_ARR_F(pts); */ + } pmap_destroy(type_pointertype_map); type_pointertype_map = NULL; } @@ -676,8 +730,9 @@ void free_trouts(void) { ir_node **pts; for (pts = (ir_node **)pmap_first(type_arraytype_map); pts; - pts = (ir_node **)pmap_next(type_arraytype_map)) - ; //DEL_ARR_F(pts); + pts = (ir_node **)pmap_next(type_arraytype_map)) { + /* DEL_ARR_F(pts); */ + } pmap_destroy(type_arraytype_map); type_arraytype_map = NULL; }