X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firprog.c;h=4890c5885459a50290c58d2b273d5e2e598916e6;hb=31ef53136fdb86d4a98919c2148c95cadea4ea81;hp=6fce2affb209d7037d22a8f099ae6122adde2cbc;hpb=1ce363f80e6a204d4011f85813362d9bd1d0e7e4;p=libfirm diff --git a/ir/ir/irprog.c b/ir/ir/irprog.c index 6fce2affb..4890c5885 100644 --- a/ir/ir/irprog.c +++ b/ir/ir/irprog.c @@ -36,14 +36,11 @@ #include "irgraph_t.h" #include "pseudo_irg.h" #include "array.h" +#include "error.h" #include "obst.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" @@ -54,11 +51,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); @@ -66,6 +61,7 @@ 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; @@ -79,32 +75,40 @@ static ir_prog *new_incomplete_ir_prog(void) { /** Completes an incomplete irprog. */ static ir_prog *complete_ir_prog(ir_prog *irp) { + int i; #define IDENT(s) new_id_from_chars(s, sizeof(s)-1) - irp->name = IDENT(INITAL_PROG_NAME); - irp->glob_type = new_type_class(IDENT(GLOBAL_TYPE_NAME)); - irp->tls_type = new_type_struct(IDENT(TLS_TYPE_NAME)); + irp->name = IDENT(INITAL_PROG_NAME); + + irp->segment_types[IR_SEGMENT_GLOBAL] = new_type_class(IDENT("GlobalType")); + irp->segment_types[IR_SEGMENT_THREAD_LOCAL] + = new_type_struct(IDENT("ThreadLocal")); + irp->segment_types[IR_SEGMENT_CONSTRUCTORS] + = new_type_struct(IDENT("Constructors")); + irp->segment_types[IR_SEGMENT_DESTRUCTORS] + = new_type_struct(IDENT("Destructors")); /* Remove these types from type list. Must be treated differently than other types. */ - remove_irp_type(irp->glob_type); - remove_irp_type(irp->tls_type); + for (i = 0; i < IR_SEGMENT_COUNT; ++i) { + remove_irp_type(irp->segment_types[i]); + } /* Set these flags for debugging. */ - irp->glob_type->flags |= tf_global_type; - irp->tls_type->flags |= tf_tls_type; + irp->segment_types[IR_SEGMENT_GLOBAL]->flags |= tf_global_type; + irp->segment_types[IR_SEGMENT_THREAD_LOCAL]->flags |= tf_tls_type; /* 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); + 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->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 @@ -122,24 +126,27 @@ 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()); } /* 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) { - if (irp->glob_type) - free_type(irp->glob_type); - if (irp->tls_type) - free_type(irp->tls_type); + int i; + for (i = 0; i < IR_SEGMENT_COUNT; ++i) { + free_type(irp->segment_types[i]); + } - /* @@@ * free_ir_graph(irp->const_code_irg); * ?? End has no in?? */ + 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); + DEL_ARR_F(irp->global_asms); irp->name = NULL; irp->const_code_irg = NULL; @@ -156,10 +163,14 @@ 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; } +ir_type *(get_segment_type)(ir_segment_t segment) { + return _get_segment_type(segment); +} + ir_type *(get_glob_type)(void) { return _get_glob_type(); } @@ -314,14 +325,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. */ @@ -387,7 +399,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; } @@ -405,3 +416,19 @@ 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(pos <= 0 && pos < get_irp_n_asms()); + return irp->global_asms[pos]; +}