X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firprog.c;h=5f7fdf5bc704499c183d1c7162b58a0b46fa0cf6;hb=a947c2090825c6a49b3fbfaafc00c8c34d649a40;hp=7a36119e96fe8396da13c756a018c7803efca995;hpb=6bafccc2dd89340dfe5b8fe16bb5ec00c0dd0a58;p=libfirm diff --git a/ir/ir/irprog.c b/ir/ir/irprog.c index 7a36119e9..5f7fdf5bc 100644 --- a/ir/ir/irprog.c +++ b/ir/ir/irprog.c @@ -24,18 +24,15 @@ * @date 2000 * @version $Id$ */ -#ifdef HAVE_CONFIG_H -# include "config.h" -#endif +#include "config.h" -#ifdef HAVE_STRING_H -# include -#endif +#include #include "irprog_t.h" #include "irgraph_t.h" #include "pseudo_irg.h" #include "array.h" +#include "error.h" #include "obst.h" #include "irop_t.h" #include "irmemory.h" @@ -50,11 +47,9 @@ ir_prog *get_irp(void) { return irp; } /** * Create a new incomplete ir_prog. */ -static ir_prog *new_incomplete_ir_prog(void) { - ir_prog *res; - - res = xmalloc(sizeof(*res)); - memset(res, 0, sizeof(*res)); +static ir_prog *new_incomplete_ir_prog(void) +{ + ir_prog *res = XMALLOCZ(ir_prog); res->kind = k_ir_prog; res->graphs = NEW_ARR_F(ir_graph *, 0); @@ -62,12 +57,13 @@ static ir_prog *new_incomplete_ir_prog(void) { res->types = NEW_ARR_F(ir_type *, 0); res->modes = NEW_ARR_F(ir_mode *, 0); res->opcodes = NEW_ARR_F(ir_op *, 0); + res->global_asms = NEW_ARR_F(ident *, 0); res->last_region_nr = 0; res->last_label_nr = 1; /* 0 is reserved as non-label */ res->max_irg_idx = 0; - -#ifdef DEBUG_libfirm - res->max_node_nr = 0; + res->max_node_nr = 0; +#ifndef NDEBUG + res->reserved_resources = 0; #endif return res; @@ -96,19 +92,20 @@ static ir_prog *complete_ir_prog(ir_prog *irp) { /* Set these flags for debugging. */ irp->segment_types[IR_SEGMENT_GLOBAL]->flags |= tf_global_type; irp->segment_types[IR_SEGMENT_THREAD_LOCAL]->flags |= tf_tls_type; + irp->segment_types[IR_SEGMENT_CONSTRUCTORS]->flags |= tf_constructors; + irp->segment_types[IR_SEGMENT_DESTRUCTORS]->flags |= tf_destructors; /* 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->segment_types[IR_SEGMENT_GLOBAL], 1); - 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; + 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_entity_usage_state = ir_entity_usage_not_computed; return irp; #undef IDENT @@ -126,7 +123,7 @@ void init_irprog_2(void) { /* Create a new ir prog. Automatically called by init_firm through init_irprog. */ -ir_prog *new_ir_prog (void) { +ir_prog *new_ir_prog(void) { return complete_ir_prog(new_incomplete_ir_prog()); } @@ -138,12 +135,15 @@ void free_ir_prog(void) { free_type(irp->segment_types[i]); } + free_ir_graph(irp->const_code_irg); DEL_ARR_F(irp->graphs); DEL_ARR_F(irp->pseudo_graphs); DEL_ARR_F(irp->types); DEL_ARR_F(irp->modes); + + finish_op(); DEL_ARR_F(irp->opcodes); - free_ir_graph(irp->const_code_irg); + DEL_ARR_F(irp->global_asms); irp->name = NULL; irp->const_code_irg = NULL; @@ -160,7 +160,7 @@ ir_graph *get_irp_main_irg(void) { } void set_irp_main_irg(ir_graph *main_irg) { - assert (irp); + assert(irp); irp->main_irg = main_irg; } @@ -185,26 +185,28 @@ 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 = 0; + int i, l, found = 0; assert(irg); - for (i = 0; i < (ARR_LEN (irp->graphs)); i++) { + l = ARR_LEN(irp->graphs); + for (i = 0; i < l; i++) { if (irp->graphs[i] == irg) { found = 1; - for(; i < (ARR_LEN (irp->graphs)) - 1; i++) { + for(; i < l - 1; i++) { irp->graphs[i] = irp->graphs[i+1]; } - ARR_SETLEN(ir_graph*, irp->graphs, (ARR_LEN(irp->graphs)) - 1); + ARR_SETLEN(ir_graph*, irp->graphs, l - 1); break; } } if (!found) { - for (i = 0; i < (ARR_LEN (irp->pseudo_graphs)); i++) { + l = ARR_LEN(irp->pseudo_graphs); + for (i = 0; i < l; i++) { if (irp->pseudo_graphs[i] == irg) { - for(; i < (ARR_LEN (irp->pseudo_graphs)) - 1; i++) { + for(; i < l - 1; i++) { irp->pseudo_graphs[i] = irp->pseudo_graphs[i+1]; } - ARR_SETLEN(ir_graph*, irp->pseudo_graphs, (ARR_LEN(irp->pseudo_graphs)) - 1); + ARR_SETLEN(ir_graph*, irp->pseudo_graphs, l - 1); break; } } @@ -213,7 +215,6 @@ void remove_irp_irg_from_list(ir_graph *irg){ /* Removes irg from the list or irgs, shrinks the list by one. */ void remove_irp_irg(ir_graph *irg){ - assert(irg); free_ir_graph(irg); remove_irp_irg_from_list(irg); } @@ -258,15 +259,15 @@ ir_graph *get_irp_allirg(int pos) { void add_irp_type(ir_type *typ) { assert(typ != NULL); assert(irp); - ARR_APP1 (ir_type *, irp->types, typ); + ARR_APP1(ir_type *, irp->types, typ); } -/* Remove type form the list of types in irp. */ +/* Remove type from the list of types in irp. */ void remove_irp_type(ir_type *typ) { int i; assert(typ); - for (i = ARR_LEN(irp->types) -1; i >= 0; i--) { + for (i = ARR_LEN(irp->types) - 1; i >= 0; i--) { if (irp->types[i] == typ) { for(; i < (ARR_LEN(irp->types)) - 1; i++) { irp->types[i] = irp->types[i+1]; @@ -322,14 +323,15 @@ void remove_irp_opcode(ir_op *opcode) { 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; + if (irp->opcodes[i] != opcode) + continue; + 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); + return; } + panic("Deleting unknown opcode"); } /* Returns the number of all opcodes in the irp. */ @@ -395,7 +397,6 @@ ir_node** get_irp_ip_outedges(void) { return irp->ip_outedges; } - irg_callee_info_state get_irp_callee_info_state(void) { return irp->callee_info_state; } @@ -413,3 +414,36 @@ ir_exc_region_t (get_irp_next_region_nr)(void) { ir_label_t (get_irp_next_label_nr)(void) { return _get_irp_next_label_nr(); } + +/* Add a new global asm include */ +void add_irp_asm(ident *asm_string) { + ARR_APP1(ident *, irp->global_asms, asm_string); +} + +/* Return the number of global asm includes. */ +int get_irp_n_asms(void) { + return ARR_LEN(irp->global_asms); +} + +/* Return the global asm include at position pos. */ +ident *get_irp_asm(int pos) { + assert(0 <= pos && pos < get_irp_n_asms()); + return irp->global_asms[pos]; +} + +#ifndef NDEBUG +void irp_reserve_resources(ir_prog *irp, ir_resources_t resources) { + assert((resources & ~IR_RESOURCE_GLOBAL_MASK) == 0); + assert((irp->reserved_resources & resources) == 0); + irp->reserved_resources |= resources; +} + +void irp_free_resources(ir_prog *irp, ir_resources_t resources) { + assert((irp->reserved_resources & resources) == resources); + irp->reserved_resources &= ~resources; +} + +ir_resources_t irp_resources_reserved(const ir_prog *irp) { + return irp->reserved_resources; +} +#endif