X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fana%2Ftrouts.c;h=6af8dd7706f6af3e66e3ba5f5aebe6c546b7bf33;hb=2088953d1501fb6aeec55b96decaab659703471c;hp=229333c0e7d2a61edb770e00be43e400e9d483ee;hpb=9ab9464c184c44e526fe3ec43012070bd0fccfe5;p=libfirm diff --git a/ir/ana/trouts.c b/ir/ana/trouts.c index 229333c0e..6af8dd770 100644 --- a/ir/ana/trouts.c +++ b/ir/ana/trouts.c @@ -1,15 +1,34 @@ /* - * Project: libFIRM - * File name: ir/ana/trouts.c - * Purpose: Reverse edges that reference types/entities. - * Author: Goetz Lindenmaier - * Modified by: - * Created: 29.10.2004 - * CVS-ID: $Id$ - * Copyright: (c) 2004 Universität Karlsruhe - * Licence: This file protected by GPL - GNU GENERAL PUBLIC LICENSE. + * Copyright (C) 1995-2007 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 Reverse edges that reference types/entities. + * @author Goetz Lindenmaier + * @date 29.10.2004 + * @version $Id$ + */ +#ifdef HAVE_CONFIG_H +#include "config.h" +#endif + +#include "irnode.h" #include "trouts.h" #include "array.h" @@ -17,6 +36,7 @@ #include "irprog_t.h" #include "irgwalk.h" +#include "irnode.h" /*------------------------------------------------------------------*/ @@ -30,7 +50,11 @@ static pmap *type_cast_map = NULL; static pmap *type_pointertype_map = NULL; static pmap *type_arraytype_map = NULL; -static ir_node **get_entity_access_array(entity *ent) { +/** + * Return a flexible array containing all IR-nodes + * that access a given entity. + */ +static ir_node **get_entity_access_array(ir_entity *ent) { ir_node **res; if (!entity_access_map) entity_access_map = pmap_create(); @@ -43,13 +67,17 @@ static ir_node **get_entity_access_array(entity *ent) { return res; } -void set_entity_access_array(entity *ent, ir_node **accs) { +void set_entity_access_array(ir_entity *ent, ir_node **accs) { ir_node **old = pmap_get(entity_access_map, (void *)ent); if (old != accs) pmap_insert(entity_access_map, (void *)ent, (void *)accs); } -static ir_node **get_entity_reference_array(entity *ent) { +/** + * Return a flexible array containing all IR-nodes + * that reference a given entity. + */ +static ir_node **get_entity_reference_array(ir_entity *ent) { ir_node **res; if (!entity_reference_map) entity_reference_map = pmap_create(); @@ -62,12 +90,16 @@ static ir_node **get_entity_reference_array(entity *ent) { return res; } -void set_entity_reference_array(entity *ent, ir_node **refs) { +void set_entity_reference_array(ir_entity *ent, ir_node **refs) { ir_node **old = pmap_get(entity_reference_map, (void *)ent); if (old != refs) pmap_insert(entity_reference_map, (void *)ent, (void *)refs); } +/** + * Return a flexible array containing all IR-nodes + * that allocate a given type. + */ static ir_node **get_type_alloc_array(ir_type *tp) { ir_node **res; if (!type_alloc_map) type_alloc_map = pmap_create(); @@ -87,6 +119,10 @@ void set_type_alloc_array(ir_type *tp, ir_node **alls) { pmap_insert(type_alloc_map, (void *)tp, (void *)alls); } +/** + * Return a flexible array containing all Cast-nodes + * that "create" a given type. + */ static ir_node **get_type_cast_array(ir_type *tp) { ir_node **res; if (!type_cast_map) type_cast_map = pmap_create(); @@ -97,15 +133,19 @@ static ir_node **get_type_cast_array(ir_type *tp) { res = NEW_ARR_F(ir_node *, 0); pmap_insert(type_cast_map, (void *)tp, (void *)res); } - return res; } + void set_type_cast_array(ir_type *tp, ir_node **alls) { ir_node **old = pmap_get(type_cast_map, (void *)tp); if (old != alls) pmap_insert(type_cast_map, (void *)tp, (void *)alls); } +/** + * Return a flexible array containing all pointer + * types that points-to a given type. + */ static ir_type **get_type_pointertype_array(ir_type *tp) { ir_type **res; if (!type_pointertype_map) type_pointertype_map = pmap_create(); @@ -125,6 +165,10 @@ void set_type_pointertype_array(ir_type *tp, ir_type **pts) { pmap_insert(type_pointertype_map, (void *)tp, (void *)pts); } +/** + * Return a flexible array containing all array + * types that have a given type as element type. + */ static ir_type **get_type_arraytype_array(ir_type *tp) { ir_type **res; if (!type_arraytype_map) type_arraytype_map = pmap_create(); @@ -155,7 +199,7 @@ void set_type_arraytype_array(ir_type *tp, ir_type **pts) { /* Access routines for entities */ /**------------------------------------------------------------------*/ -int get_entity_n_accesses(entity *ent) { +int get_entity_n_accesses(ir_entity *ent) { ir_node ** accs; assert(ent && is_entity(ent)); @@ -164,7 +208,7 @@ int get_entity_n_accesses(entity *ent) { return ARR_LEN(accs); } -ir_node *get_entity_access(entity *ent, int pos) { +ir_node *get_entity_access(ir_entity *ent, int pos) { ir_node ** accs; assert(0 <= pos && pos < get_entity_n_accesses(ent)); @@ -173,7 +217,7 @@ ir_node *get_entity_access(entity *ent, int pos) { return accs[pos]; } -void add_entity_access(entity *ent, ir_node *n) { +void add_entity_access(ir_entity *ent, ir_node *n) { ir_node ** accs; assert(ent && is_entity(ent)); @@ -184,7 +228,7 @@ void add_entity_access(entity *ent, ir_node *n) { set_entity_access_array(ent, accs); } -void set_entity_access(entity *ent, int pos, ir_node *n) { +void set_entity_access(ir_entity *ent, int pos, ir_node *n) { ir_node ** accs; assert(0 <= pos && pos < get_entity_n_accesses(ent)); @@ -196,7 +240,7 @@ void set_entity_access(entity *ent, int pos, ir_node *n) { /**------------------------------------------------------------------*/ -int get_entity_n_references(entity *ent) { +int get_entity_n_references(ir_entity *ent) { ir_node ** refs; assert(ent && is_entity(ent)); @@ -205,7 +249,7 @@ int get_entity_n_references(entity *ent) { return ARR_LEN(refs); } -ir_node *get_entity_reference(entity *ent, int pos) { +ir_node *get_entity_reference(ir_entity *ent, int pos) { ir_node ** refs; assert(0 <= pos && pos < get_entity_n_references(ent)); @@ -214,7 +258,7 @@ ir_node *get_entity_reference(entity *ent, int pos) { return refs[pos]; } -void add_entity_reference(entity *ent, ir_node *n) { +void add_entity_reference(ir_entity *ent, ir_node *n) { ir_node ** refs; assert(ent && is_entity(ent)); @@ -225,7 +269,7 @@ void add_entity_reference(entity *ent, ir_node *n) { set_entity_reference_array(ent, refs); } -void set_entity_reference(entity *ent, int pos, ir_node *n) { +void set_entity_reference(ir_entity *ent, int pos, ir_node *n) { ir_node ** refs; assert(0 <= pos && pos < get_entity_n_references(ent)); @@ -433,16 +477,18 @@ static void init_trouts(void) { } -/* The entities that can be accessed by this Sel node. */ +/** The number of entities that can be accessed by this Sel node. */ static int get_Sel_n_accessed_entities(ir_node *sel) { - return 1; + (void) sel; + return 1; } -static entity *get_Sel_accessed_entity(ir_node *sel) { +/** The entity that cat be accessed by this Sel node. */ +static ir_entity *get_Sel_accessed_entity(ir_node *sel) { return get_Sel_entity(sel); } -/* An addr node is a SymConst or a Sel. */ +/** An addr node is a SymConst or a Sel. */ static int get_addr_n_entities(ir_node *addr) { int n_ents; @@ -464,15 +510,15 @@ static int get_addr_n_entities(ir_node *addr) { return n_ents; } -/* An addr node is a SymConst or a Sel. - If Sel follow to outermost of compound. */ -static entity *get_addr_entity(ir_node *addr, int pos) { - entity *ent; +/** An addr node is a SymConst or a Sel. + If Sel follow to outermost of compound. */ +static ir_entity *get_addr_entity(ir_node *addr, int pos) { + ir_entity *ent; switch (get_irn_opcode(addr)) { case iro_Sel: /* Treat jack array sels? They are compounds! Follow to outermost entity. */ - while (get_irn_op(get_Sel_ptr(addr)) == op_Sel) { + while (is_Sel(get_Sel_ptr(addr))) { addr = get_Sel_ptr(addr); } assert (0 <= pos && pos < get_Sel_n_accessed_entities(addr)); @@ -495,6 +541,7 @@ static void chain_accesses(ir_node *n, void *env) { int i, n_ents; ir_node *addr; + (void) env; if (get_irn_op(n) == op_Alloc) { add_type_alloc(get_Alloc_type(n), n); return; @@ -517,14 +564,14 @@ static void chain_accesses(ir_node *n, void *env) { addr = get_memop_ptr(n); } else if (get_irn_op(n) == op_Call) { addr = get_Call_ptr(n); - if (get_irn_op(addr) != op_Sel) return; /* Sels before Calls mean a Load / polymorphic Call. */ + if (! is_Sel(addr)) return; /* Sels before Calls mean a Load / polymorphic Call. */ } else { return; } n_ents = get_addr_n_entities(addr); /* == 1 */ for (i = 0; i < n_ents; ++i) { - entity *ent = get_addr_entity(addr, i); + ir_entity *ent = get_addr_entity(addr, i); if (ent) add_entity_access(ent, n); //else @@ -559,9 +606,8 @@ void compute_trouts(void) { init_trouts(); /* Compute outs for irnodes. */ - for (i=0; i < n_irgs; i++) { - current_ir_graph = get_irp_irg(i); - irg_walk_graph(current_ir_graph, NULL, chain_accesses, NULL); + for (i = 0; i < n_irgs; i++) { + irg_walk_graph(get_irp_irg(i), NULL, chain_accesses, NULL); } walk_const_code(NULL, chain_accesses, NULL);