X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=testprograms%2Fcall_str_example.c;h=57e677e9dcb5f2f74f536c3d2514a7666e811ed5;hb=80fadd53d5cf0feddf63f34d6306e45f8d5de717;hp=20208ef52239dfd91e1c579b9f33daa0a38e9368;hpb=79df37c097fe8cfb7d8e56d30b658f7ce8f6655d;p=libfirm diff --git a/testprograms/call_str_example.c b/testprograms/call_str_example.c index 20208ef52..57e677e9d 100644 --- a/testprograms/call_str_example.c +++ b/testprograms/call_str_example.c @@ -23,83 +23,104 @@ int main(int argc, char **argv) { - ir_graph *irg; /* this variable contains the irgraph */ - type_class *owner; /* the class in which this method is defined */ - entity *ent; /* represents this method as entity of owner */ - ir_node *x, *const_str, *proc_ptr, *call; + ir_graph *irg; /* this variable contains the irgraph */ + type *owner; /* the class in which this method is defined */ + type *proc_main; /* type information for the method main */ + type *proc_called; /* type information for called method f */ + type *string_ptr; /* type for pointers to strings. */ + entity *ent; /* represents this method as entity of owner */ + ir_node *x, *const_str, *proc_ptr, *call; - printf("creating an IR graph: CALL_STR_EXAMPLE...\n"); + printf("\nCreating an IR graph: CALL_STR_EXAMPLE...\n"); /* init library */ init_firm (); + string_ptr = new_type_pointer ( + id_from_str ("ptr_to_string", 13), + new_type_array (id_from_str ("char_arr", 8), 1, + new_type_primitive (id_from_str("char", 4), mode_c))); /* FIRM was designed for oo languages where all methods belong to a class. - * For imperative languages like C we view a file as a large class containing - * all functions as methods in this file. - * Therefore we define a class "CALL_STR_EXAMPLE" with a method main as - * an entity. + * For imperative languages like C we view a program as a large class containing + * all functions of the program as methods in this class. This class is + * automatically generated. + * We use the same name for the method type as for the method entity. */ -#define CLASSNAME "CALL_STR_EXAMPLE" +#define METHODNAME "main" +#define NRARGS 0 +#define NRES 0 + owner = get_glob_type(); + proc_main = new_type_method(id_from_str(METHODNAME, strlen(METHODNAME)), + NRARGS, NRES); + + /* Make type information for called method which also belongs to the + global type. */ +#define F_METHODNAME "f" +#define F_NRARGS 1 +#define F_NRES 0 + owner = get_glob_type(); + proc_called = new_type_method(id_from_str(F_METHODNAME, strlen(F_METHODNAME)), + F_NRARGS, F_NRES); + set_method_param_type(proc_called, 0, string_ptr); + + /* Make the entity for main needed for a correct ir_graph. */ #define ENTITYNAME "main" - - owner = new_type_class (id_from_str (CLASSNAME, strlen(CLASSNAME))); - ent = new_entity ((type *)owner, id_from_str (ENTITYNAME, strlen(ENTITYNAME)), NULL); - + ent = new_entity (owner, id_from_str (ENTITYNAME, strlen(ENTITYNAME)), + proc_main); /* Generates the basic graph for the method represented by entity ent, that * is, generates start and end blocks and nodes and a first, initial block. * The constructor needs to know how many local variables the method has. */ #define NUM_OF_LOCAL_VARS 0 - irg = new_ir_graph (ent, NUM_OF_LOCAL_VARS); - /* the string is enterd in the constant table. const_str is a pointer to the string */ + /* the string is entered in the constant table. const_str is a pointer to the string */ const_str = new_Const (mode_p, tarval_p_from_str ("Hello world!")); /* get the pointer to the procedure from the class type */ /* this is how a pointer to be fixed by the linker is represented after lowering a Sel node. */ #define FUNCTIONNAME "f" - proc_ptr = new_Const (mode_p, tarval_p_from_str (FUNCTIONNAME)); + proc_ptr = new_SymConst ((type_or_id_p)id_from_str (FUNCTIONNAME, strlen(FUNCTIONNAME)), + linkage_ptr_info); /* call procedure set_a, first built array with parameters */ { ir_node *in[1]; in[0] = const_str; - call = new_Call(get_store(), proc_ptr, 1, in, NULL); + call = new_Call(get_store(), proc_ptr, 1, in, proc_called); } - /* make the possible change of call to memory visible */ + /* make the possible changes by the called method to memory visible */ set_store(new_Proj(call, mode_M, 0)); - - /* The constructor new_ir_graph() generated a region to place nodes in. - * This region is accessible via the attribut current_block of irg and - * it is not matured. - * Generate the return node into this region. The Return node is needed to - * return at least the store. */ + /* Make the return node returning the memory. */ { ir_node *in[0]; /* this is the array containing the return parameters */ x = new_Return (get_store(), 0, in); } - /* Now generate all instructions for this block and all its predecessor blocks + /* Now we generated all instructions for this block and all its predecessor blocks * so we can mature it. */ - mature_block (irg->current_block); + mature_block (get_irg_current_block(irg)); /* This adds the in edge of the end block which originates at the return statement. * The return node passes controlflow to the end block. */ - add_in_edge (irg->end_block, x); + add_in_edge (get_irg_end_block(irg), x); /* Now we can mature the end block as all it's predecessors are known. */ - mature_block (irg->end_block); + mature_block (get_irg_end_block(irg)); + + finalize_cons (irg); + + printf("Optimizing ...\n"); + dead_node_elimination(irg); /* verify the graph */ irg_vrfy(irg); - printf("\nDone building the graph. Dumping it.\n"); + printf("Done building the graph. Dumping it.\n"); dump_ir_block_graph (irg); - - printf("use xvcg to view this graph:\n"); - printf("/ben/goetz/bin/xvcg GRAPHNAME\n"); + printf("Use xvcg to view this graph:\n"); + printf("/ben/goetz/bin/xvcg GRAPHNAME\n\n"); return (0); }