X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=testprograms%2Fif_example.c;h=ad1fa53ee3d17c439291f45a23f324fff7f8b74d;hb=b863ba4c0942c387ea18167a6b970a67b26c7ec1;hp=c93abed9c8341223d859b3a927e56ba7d69673d5;hpb=ef5206b53d06465ef10cb3afac435f9eec17db01;p=libfirm diff --git a/testprograms/if_example.c b/testprograms/if_example.c index c93abed9c..ad1fa53ee 100644 --- a/testprograms/if_example.c +++ b/testprograms/if_example.c @@ -1,120 +1,141 @@ -/* Copyright (C) 1998 - 2000 by Universitaet Karlsruhe -** All rights reserved. -** -** Authors: Christian Schaefer, Goetz Lindenmaier -** -** testprogram. -*/ +/* + * Project: libFIRM + * File name: testprograms/if_example.c + * Purpose: Shows construction of if. + * Author: Christian Schaefer, Goetz Lindenmaier + * Modified by: + * Created: + * CVS-ID: $Id$ + * Copyright: (c) 1999-2003 Universität Karlsruhe + * Licence: This file protected by GPL - GNU GENERAL PUBLIC LICENSE. + */ -# include "irdump.h" -# include "firm.h" +#include +#include + + + +#include /** -*** This file constructs the ir for the following pseudo-program: -*** -*** Doesn't work for some reason!!!! -*** -*** int main(int a) { -*** int b = 2; -*** if ( a == b ) -*** { a := a - 2; } -*** -*** return a; -*** } +* This file constructs the ir for the following pseudo-program: +* +* int main(int a) { +* int b = 2; +* if ( a == b ) +* { a := a - 3; } +* +* return a; +* } **/ int main(void) { ir_graph *irg; - type_class *owner; - entity *ent; - type_method *proc_main; /* type information for the method main */ - type_primitive *typ; + ir_type *owner; + ir_entity *ent; + ir_type *proc_main; /* ir_type information for the method main */ + ir_type *typ; ir_node *x, *r, *t, *f, *a, *cmp; int a_pos, b_pos; printf("\nCreating an IR graph: IF_EXAMPLE...\n"); - init_firm (); + init_firm(NULL); #define CLASSNAME "IF_EXAMPLE" -#define METHODNAME "main" +#define METHODNAME "IF_EXAMPLE_main" #define NRARGS 1 #define NRES 1 + /** Type information for the procedure **/ + owner = get_glob_type(); - proc_main = new_type_method(id_from_str(METHODNAME, strlen(METHODNAME)), + /* Type information for the procedure */ + proc_main = new_type_method(new_id_from_chars(METHODNAME, strlen(METHODNAME)), NRARGS, NRES); - ent = new_entity ((type *)owner, - id_from_str (METHODNAME, strlen(METHODNAME)), - (type *)proc_main); - -#define RES_NAME "int" - typ = new_type_primitive(id_from_str(RES_NAME, strlen(RES_NAME)), mode_i); - set_method_param_type(proc_main, 0, (type*)typ); - set_method_res_type(proc_main, 0, (type*)typ); - - /* Generates start and end blocks and nodes and a first, initial block */ - irg = new_ir_graph (ent, 2); - - /* The value position used for a: */ + /* The ir_entity for the procedure */ + ent = new_entity(owner, + new_id_from_chars(METHODNAME, strlen(METHODNAME)), + proc_main); + /* The ir_type int. This ir_type is necessary to model the result and parameters + the procedure. */ +#define PRIM_NAME "int" + typ = new_type_primitive(new_id_from_chars(PRIM_NAME, strlen(PRIM_NAME)), mode_Is); + /* The parameter and result types of the procedure. */ + set_method_param_type(proc_main, 0, typ); + set_method_res_type(proc_main, 0, typ); + + /** The code of the procedure **/ + + /* Generates start and end blocks and nodes, and a first, initial block */ +#define NRLOCS 2 + irg = new_ir_graph(ent, NRLOCS); + + /* The value position used for: */ a_pos = 0; b_pos = 1; - /* Generate the constant */ - set_value (a_pos, new_Proj (get_irg_args(irg), mode_i, 0)); - /*set_value (a_pos, new_Const (mode_i, tarval_from_long (mode_i, 0)));*/ - set_value (b_pos, new_Const (mode_i, tarval_from_long (mode_i, 2))); - mature_block (get_irg_current_block(irg)); + /* Get the procedure parameter and assign it to the parameter variable + a. */ + set_value(a_pos, new_Proj(get_irg_args(irg), mode_Is, 0)); + /* Generate the constant and assign it to b. The assignment is resovled to a + dataflow edge. */ + set_value(b_pos, new_Const(mode_Is, new_tarval_from_long(2, mode_Is))); + /* We know all predecessors of the block and all set_values and set_stores are + preformed. We can mature the block. */ + mature_immBlock(get_irg_current_block(irg)); /* Generate a conditional branch */ - cmp = new_Cmp(get_value(a_pos, mode_i), get_value(b_pos, mode_i)); - x = new_Cond (new_Proj(cmp, mode_b, Eq)); - f = new_Proj (x, mode_X, 0); - t = new_Proj (x, mode_X, 1); + cmp = new_Cmp(get_value(a_pos, mode_Is), get_value(b_pos, mode_Is)); + x = new_Cond(new_Proj(cmp, mode_b, pn_Cmp_Eq)); + f = new_Proj(x, mode_X, pn_Cond_false); + t = new_Proj(x, mode_X, pn_Cond_true); /* generate and fill the then block */ - r = new_immBlock (); - add_in_edge (r, t); - a = new_Sub(get_value(a_pos, mode_i), - new_Const (mode_i, tarval_from_long (mode_i, 2)), - mode_i); - set_value (a_pos, a); + r = new_immBlock(); + add_immBlock_pred(r, t); + { + ir_node *b,*c; + c = new_Const(mode_Is, new_tarval_from_long(3, mode_Is)); + b = get_value(a_pos, mode_Is); + a = new_Sub(b, + c, + mode_Is); + } + set_value(a_pos, a); - mature_block (r); - x = new_Jmp (); + mature_immBlock(r); + x = new_Jmp(); /* generate the fall through block and add all cfg edges */ - r = new_immBlock (); - add_in_edge (r, f); - add_in_edge (r, x); - mature_block (r); + r = new_immBlock(); + add_immBlock_pred(r, f); + add_immBlock_pred(r, x); + mature_immBlock(r); + /* The Return statement */ { ir_node *in[1], *store ; - in[0] = get_value (a_pos, mode_i); + in[0] = get_value(a_pos, mode_Is); store = get_store(); - x = new_Return (store, 1, in); + x = new_Return(store, 1, in); } /* finalize the end block generated in new_ir_graph() */ - add_in_edge (get_irg_end_block(irg), x); - mature_block (get_irg_end_block(irg)); - - - printf("Optimizing ...\n"); - local_optimize_graph(irg); - dead_node_elimination(irg); + add_immBlock_pred(get_irg_end_block(irg), x); + mature_immBlock(get_irg_end_block(irg)); /* verify the graph */ irg_vrfy(irg); + irg_finalize_cons(irg); /* output the vcg file */ 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\n"); + dump_ir_block_graph(irg, 0); + printf("Use ycomp to view this graph:\n"); + printf("ycomp GRAPHNAME\n\n"); - return (0); + return 0; }