X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firprog.c;h=42af15b654381604d81f24e706cab8d14c20cfc6;hb=eda9d668d0e8c8246015b4c5e743316a6a835a23;hp=37306f223ac70c8c7e58c882181003ee730285f1;hpb=01d6ff5aca9c8288a379858e3a828f64aa0ea136;p=libfirm diff --git a/ir/ir/irprog.c b/ir/ir/irprog.c index 37306f223..42af15b65 100644 --- a/ir/ir/irprog.c +++ b/ir/ir/irprog.c @@ -1,15 +1,29 @@ /* - * 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. + * 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 Entry point to the representation of a whole program. + * @author Goetz Lindenmaier + * @date 2000 + * @version $Id$ + */ #ifdef HAVE_CONFIG_H # include "config.h" #endif @@ -18,69 +32,112 @@ # include #endif -# include "irprog_t.h" -# include "irgraph_t.h" -# include "pseudo_irg.h" -# include "array.h" -# include "obst.h" -# include "typegmod.h" +#include "irprog_t.h" +#include "irgraph_t.h" +#include "pseudo_irg.h" +#include "array.h" +#include "obst.h" +#include "typegmod.h" +#include "irop_t.h" +#include "irmemory.h" +/** The name of the Global Type. */ #define GLOBAL_TYPE_NAME "GlobalType" +/** The name of the Thread Local STorage Type. */ +#define TLS_TYPE_NAME "TLS" +/** The initial name of the irp program. */ #define INITAL_PROG_NAME "no_name_set" /* A variable from where everything in the ir can be accessed. */ ir_prog *irp; ir_prog *get_irp(void) { 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. */ -ir_prog *new_ir_prog (void) { +/** + * Create a new incomplete ir_prog. + */ +static ir_prog *new_incomplete_ir_prog (void) { ir_prog *res; - res = xmalloc (sizeof(*res)); + res = xmalloc(sizeof(*res)); memset(res, 0, sizeof(*res)); irp = res; res->kind = k_ir_prog; res->graphs = NEW_ARR_F(ir_graph *, 0); res->pseudo_graphs = NEW_ARR_F(ir_graph *, 0); - res->types = NEW_ARR_F(type *, 0); + res->types = NEW_ARR_F(ir_type *, 0); res->modes = NEW_ARR_F(ir_mode *, 0); - res->name = new_id_from_str(INITAL_PROG_NAME); + res->opcodes = NEW_ARR_F(ir_op *, 0); #ifdef DEBUG_libfirm res->max_node_nr = 0; #endif - res->glob_type = new_type_class(new_id_from_str (GLOBAL_TYPE_NAME)); - /* Remove type from type list. Must be treated differently than + return res; +} + +/** Completes an incomplete irprog. */ +static ir_prog *complete_ir_prog(ir_prog *irp) { +#define X(s) s, sizeof(s)-1 + irp->name = new_id_from_chars(X(INITAL_PROG_NAME)); + + irp->glob_type = new_type_class(new_id_from_chars(X(GLOBAL_TYPE_NAME))); + irp->tls_type = new_type_struct(new_id_from_chars(X(TLS_TYPE_NAME))); + /* Remove these types from type list. Must be treated differently than other types. */ - remove_irp_type(res->glob_type); + remove_irp_type(irp->glob_type); + remove_irp_type(irp->tls_type); - res->const_code_irg = new_const_code_irg(); + /* Set these flags for debugging. */ + irp->glob_type->flags |= tf_global_type; + irp->tls_type->flags |= tf_tls_type; - res->outs_state = outs_none; - res->ip_outedges = NULL; - res->trouts_state = outs_none; - res->class_cast_state = ir_class_casts_transitive; + /* The global type is a class, but we cannot derive from it, so set + the final property to assist optimizations that checks for it. */ + set_class_final(irp->glob_type, 1); - return res; + irp->const_code_irg = new_const_code_irg(); + + irp->phase_state = phase_building; + irp->outs_state = outs_none; + irp->ip_outedges = NULL; + irp->trouts_state = outs_none; + irp->class_cast_state = ir_class_casts_transitive; + irp->globals_adr_taken_state = ir_address_taken_not_computed; + + return irp; +} + +/* initializes ir_prog. Constructs only the basic lists */ +void init_irprog_1(void) { + new_incomplete_ir_prog(); +} + +/* Completes ir_prog. */ +void init_irprog_2(void) { + complete_ir_prog(irp); +} + +/* Create a new ir prog. Automatically called by init_firm through + init_irprog. */ +ir_prog *new_ir_prog (void) { + return complete_ir_prog(new_incomplete_ir_prog()); } /* 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(void) { - free_type(irp->glob_type); +void free_ir_prog(void) { + if (irp->glob_type) + free_type(irp->glob_type); + if (irp->tls_type) + free_type(irp->tls_type); + /* @@@ * free_ir_graph(irp->const_code_irg); * ?? End has no in?? */ DEL_ARR_F(irp->graphs); DEL_ARR_F(irp->pseudo_graphs); DEL_ARR_F(irp->types); DEL_ARR_F(irp->modes); + DEL_ARR_F(irp->opcodes); irp->name = NULL; irp->const_code_irg = NULL; @@ -92,7 +149,7 @@ void free_ir_prog(void) { /* Access the main routine of the compiled program. */ ir_graph *get_irp_main_irg(void) { - assert (irp); + assert(irp); return irp->main_irg; } @@ -101,10 +158,14 @@ void set_irp_main_irg(ir_graph *main_irg) { irp->main_irg = main_irg; } -type *(get_glob_type)(void) { +ir_type *(get_glob_type)(void) { return _get_glob_type(); } +ir_type *(get_tls_type)(void) { + return _get_tls_type(); +} + /* Adds irg to the list of ir graphs in irp. */ void add_irp_irg(ir_graph *irg) { assert (irg != NULL); @@ -114,11 +175,11 @@ void add_irp_irg(ir_graph *irg) { /* Removes irg from the list or irgs, shrinks the list by one. */ void remove_irp_irg_from_list(ir_graph *irg){ - int i, found = false; + int i, found = 0; assert(irg); for (i = 0; i < (ARR_LEN (irp->graphs)); i++) { if (irp->graphs[i] == irg) { - found = true; + found = 1; for(; i < (ARR_LEN (irp->graphs)) - 1; i++) { irp->graphs[i] = irp->graphs[i+1]; } @@ -155,38 +216,38 @@ ir_graph *(get_irp_irg)(int pos){ } void set_irp_irg(int pos, ir_graph *irg) { - assert (irp && irg); - assert (pos < (ARR_LEN((irp)->graphs))); + assert(irp && irg); + assert(pos < (ARR_LEN(irp->graphs))); irp->graphs[pos] = irg; } /* Gets the number of graphs _and_ pseudo graphs. */ -int get_irp_n_allirgs(void) { +int get_irp_n_allirgs(void) { /* We can not call get_irp_n_irgs, as we end up in a recursion ... */ - return ARR_LEN((irp)->graphs) + get_irp_n_pseudo_irgs(); + return ARR_LEN(irp->graphs) + get_irp_n_pseudo_irgs(); } /* Returns the ir graph at position pos of all graphs (including pseudo graphs). Visits first graphs, then pseudo graphs. */ ir_graph *get_irp_allirg(int pos) { - int n_irgs = ARR_LEN((irp)->graphs); + int n_irgs = ARR_LEN(irp->graphs); assert(0 <= pos); if (pos < n_irgs) { - return (irp)->graphs[pos]; + return irp->graphs[pos]; } else { return get_irp_pseudo_irg(pos-n_irgs); } } /* Adds type to the list of types in irp. */ -void add_irp_type(type *typ) { - assert (typ != NULL); +void add_irp_type(ir_type *typ) { + assert(typ != NULL); assert(irp); - ARR_APP1 (type *, irp->types, typ); + ARR_APP1 (ir_type *, irp->types, typ); } /* Remove type form the list of types in irp. */ -void remove_irp_type(type *typ) { +void remove_irp_type(ir_type *typ) { int i; assert(typ); @@ -195,7 +256,7 @@ void remove_irp_type(type *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); + ARR_SETLEN(ir_type *, irp->types, (ARR_LEN(irp->types)) - 1); break; } } @@ -205,13 +266,13 @@ int (get_irp_n_types) (void) { return _get_irp_n_types(); } -type *(get_irp_type) (int pos) { +ir_type *(get_irp_type) (int pos) { return _get_irp_type(pos); } -void set_irp_type(int pos, type *typ) { - assert (irp && typ); - assert (pos < (ARR_LEN((irp)->types))); +void set_irp_type(int pos, ir_type *typ) { + assert(irp && typ); + assert(pos < (ARR_LEN((irp)->types))); irp->types[pos] = typ; } @@ -232,13 +293,48 @@ void add_irp_mode(ir_mode *mode) { ARR_APP1(ir_mode *, irp->modes, mode); } -#ifdef DEBUG_libfirm -int get_irp_new_node_nr() { +/* Adds opcode to the list of opcodes in irp. */ +void add_irp_opcode(ir_op *opcode) { + assert(opcode != NULL); assert(irp); - irp->max_node_nr = irp->max_node_nr + 1; - return irp->max_node_nr - 1; + ARR_APP1(ir_op *, irp->opcodes, opcode); +} + +/* Removes opcode from the list of opcodes and shrinks the list by one. */ +void remove_irp_opcode(ir_op *opcode) { + int i; + + assert(opcode); + for (i = ARR_LEN(irp->opcodes) -1; i >= 0; i--) { + if (irp->opcodes[i] == opcode) { + for (; i < (ARR_LEN(irp->opcodes)) - 1; i++) { + irp->opcodes[i] = irp->opcodes[i+1]; + } + ARR_SETLEN(ir_op *, irp->opcodes, (ARR_LEN(irp->opcodes)) - 1); + break; + } + } +} + +/* Returns the number of all opcodes in the irp. */ +int (get_irp_n_opcodes)(void) { + return _get_irp_n_opcodes(); +} + +/* Returns the opcode at position pos in the irp. */ +ir_op *(get_irp_opcode)(int pos) { + return _get_irp_opcode(pos); +} + +/* Sets the generic function pointer of all opcodes to NULL */ +void clear_irp_opcodes_generic_func(void) { + int i; + + for (i = get_irp_n_opcodes() - 1; i >= 0; --i) { + ir_op *op = get_irp_opcode(i); + op->ops.generic = (op_func)NULL; + } } -#endif /*- File name / executable name or the like -*/ void set_irp_prog_name(ident *name) { @@ -262,25 +358,23 @@ ir_graph *(get_const_code_irg)(void) { irg_phase_state get_irp_phase_state(void) { return irp->phase_state; } -void set_irp_phase_state(irg_phase_state s) { +void set_irp_phase_state(irg_phase_state s) { irp->phase_state = s; } -irg_outs_state get_irp_ip_outs_state() { +irg_outs_state get_irp_ip_outs_state(void) { return irp->outs_state; } -void set_irp_ip_outs_inconsistent() { +void set_irp_ip_outs_inconsistent(void) { irp->outs_state = outs_inconsistent; } -void set_irp_ip_outedges(ir_node ** ip_outedges) -{ +void set_irp_ip_outedges(ir_node ** ip_outedges) { irp->ip_outedges = ip_outedges; } -ir_node** get_irp_ip_outedges(void) -{ +ir_node** get_irp_ip_outedges(void) { return irp->ip_outedges; }