X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firprog.c;h=0200998a17551a8f9f5fa509902b66748d2d9d81;hb=a226465c4f00c94b3e94a7c717e04061625e7a33;hp=f8054bc98fbb7af76f2be967b270f26492db7cc8;hpb=d5270b4f4973d5a88eb48ea66c43e9f518dfd360;p=libfirm diff --git a/ir/ir/irprog.c b/ir/ir/irprog.c index f8054bc98..0200998a1 100644 --- a/ir/ir/irprog.c +++ b/ir/ir/irprog.c @@ -1,61 +1,224 @@ -/* Copyright (C) 2000 by Universitaet Karlsruhe -** All rights reserved. -** -** Authors: Goetz Lindenmaier -** -** irprog.c: ir representation of a program -*/ - -# include "irprog.h" +/* + * Project: libFIRM + * File name: ir/ir/irprog.c + * Purpose: Entry point to the representation of a whole program. + * Author: Goetz Lindenmaier + * Modified by: + * Created: 2000 + * CVS-ID: $Id$ + * Copyright: (c) 2000-2003 Universität Karlsruhe + * Licence: This file protected by GPL - GNU GENERAL PUBLIC LICENSE. + */ + +#ifdef HAVE_CONFIG_H +# include +#endif + +# include + +# include "irprog_t.h" +# include "irgraph_t.h" # include "array.h" +# include "obst.h" +# include "typegmod.h" #define GLOBAL_TYPE_NAME "GlobalType" +/* A variable from where everything in the ir can be accessed. */ +ir_prog *irp; +ir_prog *get_irp() { return irp; } + /* initializes ir_prog. Calles the constructor for an ir_prog. */ void init_irprog(void) { new_ir_prog (); } -/* Create a new ir prog. Automatically called by init_firm through init_irprog. */ +INLINE void remove_irp_type_from_list (type *typ) { + int i; + assert(typ); + for (i = 1; i < (ARR_LEN (irp->types)); i++) { + if (irp->types[i] == typ) { + for(; i < (ARR_LEN (irp->types)) - 1; i++) { + irp->types[i] = irp->types[i+1]; + } + ARR_SETLEN(type*, irp->types, (ARR_LEN(irp->types)) - 1); + break; + } + } +} + +/* Create a new ir prog. Automatically called by init_firm through + init_irprog. */ ir_prog *new_ir_prog (void) { ir_prog *res; res = (ir_prog *) malloc (sizeof(ir_prog)); + memset(res, 0, sizeof(res)); irp = res; - /* res->obst = (struct obstack *) xmalloc (sizeof (struct obstack)); */ res->graphs = NEW_ARR_F (ir_graph *, 1); res->types = NEW_ARR_F (type *, 1); + res->name = new_id_from_str("no_name_set"); + +#ifdef DEBUG_libfirm + res->max_node_nr = 0; +#endif + res->glob_type = new_type_class(id_from_str (GLOBAL_TYPE_NAME, strlen(GLOBAL_TYPE_NAME))); - add_irp_type((type *)res->glob_type); + /* Remove type from type list. Must be treated differently than + other types. */ + remove_irp_type_from_list(res->glob_type); + + res->const_code_irg = new_const_code_irg(); + + res->outs_state = no_outs; + res->ip_outedges = NULL; return res; } +/* frees all memory used by irp. Types in type list, irgs in irg + list and entities in global type must be freed by hand before. */ +void free_ir_prog() { + free_type(irp->glob_type); + /* @@@ * free_ir_graph(irp->const_code_irg); * ?? End has no in?? */ + DEL_ARR_F(irp->graphs); + DEL_ARR_F(irp->types); + + irp->kind = k_BAD; + irp->const_code_irg = NULL; +} -/** Functions to access the fields of ir_prog **/ -type_class *get_glob_type(void) { +/*- Functions to access the fields of ir_prog -*/ + + +/* Access the main routine of the compiled program. */ +ir_graph *get_irp_main_irg() { + assert (irp); + return irp->main_irg; +} + +void set_irp_main_irg(ir_graph *main_irg) { + assert (irp); + irp->main_irg = main_irg; +} + +type *get_glob_type(void) { assert(irp); - return irp->glob_type; + return irp->glob_type = skip_tid(irp->glob_type); } /* Adds irg to the list of ir graphs in irp. */ -void add_irp_irg(ir_graph *irg) { +void add_irp_irg(ir_graph *irg) { assert (irg != NULL); - assert(irp); + assert(irp && irp->graphs); ARR_APP1 (ir_graph *, irp->graphs, irg); } +/* Removes irg from the list or irgs, shrinks the list by one. */ +void remove_irp_irg(ir_graph *irg){ + int i; + assert(irg); + free_ir_graph(irg); + for (i = 1; i < (ARR_LEN (irp->graphs)); i++) { + if (irp->graphs[i] == irg) { + for(; i < (ARR_LEN (irp->graphs)) - 1; i++) { + irp->graphs[i] = irp->graphs[i+1]; + } + ARR_SETLEN(ir_graph*, irp->graphs, (ARR_LEN(irp->graphs)) - 1); + break; + } + } +} + +int get_irp_n_irgs() { + assert (irp && irp->graphs); + /* Strangely the first element of the array is NULL. Why?? */ + return (ARR_LEN((irp)->graphs) - 1); +} + +ir_graph *get_irp_irg(int pos){ + assert (irp && irp->graphs); + /* Strangely the first element of the array is NULL. Why?? */ + return irp->graphs[pos+1]; +} + +void set_irp_irg(int pos, ir_graph *irg) { + assert (irp && irg); + assert (pos < (ARR_LEN((irp)->graphs) - 1)); + /* Strangely the first element of the array is NULL. Why?? */ + irp->graphs[pos+1] = irg; +} + /* Adds type to the list of types in irp. */ -void add_irp_type(type *typ) { +void add_irp_type(type *typ) { assert (typ != NULL); assert(irp); ARR_APP1 (type *, irp->types, typ); } -int get_irp_new_node_nr() { +void remove_irp_type(type *typ) { + remove_irp_type_from_list (typ); +} + +int get_irp_n_types (void) { + assert (irp && irp->types); + /* Strangely the first element of the array is NULL. Why?? */ + return (ARR_LEN((irp)->types) - 1); +} + +type *get_irp_type(int pos) { + assert (irp && irp->types); + /* Strangely the first element of the array is NULL. Why?? */ + /* Don't set the skip_tid result so that no double entries are generated. */ + return skip_tid(irp->types[pos+1]); +} + +void set_irp_type(int pos, type *typ) { + assert (irp && typ); + assert (pos < (ARR_LEN((irp)->types) - 1)); + /* Strangely the first element of the array is NULL. Why?? */ + irp->types[pos+1] = typ; +} + +#ifdef DEBUG_libfirm +int get_irp_new_node_nr() { assert(irp); irp->max_node_nr = irp->max_node_nr + 1; return irp->max_node_nr - 1; } +#endif + +/*- File name / executable name or the like -*/ +void set_irp_prog_name(ident *name) { + irp->name = name; +} +ident *get_irp_prog_ident(void) { + return irp->name; +} +const char *get_irp_prog_name(void) { + return get_id_str(irp->name); +} + + +ir_graph *get_const_code_irg(void) +{ + return irp->const_code_irg; +} + +irg_outs_state get_irp_ip_outs_state() { + return irp->outs_state; +} +void set_irp_ip_outs_inconsistent() { + irp->outs_state = outs_inconsistent; +} +void set_irp_ip_outedges(ir_node ** ip_outedges) +{ + irp -> ip_outedges = ip_outedges; +} + +ir_node** get_irp_ip_outedges(void) +{ + return(irp -> ip_outedges); +}