X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=testprograms%2Fdead_block_example.c;h=426507e22900d67257e9c467c836d0ecca359385;hb=1903d4aaf86cbe04ee725c97de1f77ca276f9b0c;hp=c0b7c5bb512c7ae1cce2aafc6564d3b5fc22890f;hpb=4433514e4b01cb3c566d24d671e689f02682f59f;p=libfirm diff --git a/testprograms/dead_block_example.c b/testprograms/dead_block_example.c index c0b7c5bb5..426507e22 100644 --- a/testprograms/dead_block_example.c +++ b/testprograms/dead_block_example.c @@ -1,129 +1,141 @@ -/* Copyright (C) 1998 - 2000 by Universitaet Karlsruhe -** All rights reserved. -** -** Authors: Christian Schaefer, Goetz Lindenmaier -** -** testprogram. -*/ +/* + * Project: libFIRM + * File name: testprograms/dead_block_example.c + * Purpose: Test unreachable code elimination. + * 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 +#include -# include -# include "irdump.h" -# include "firm.h" + +#include /* * a dead block / unreachable code. */ /** -*** This file constructs a control flow of following shape: -*** -*** -*** firstBlock -*** / \ -*** / \ -*** |/_ _\| -*** Block1 Block2 deadBlock -*** \ | / -*** \ | / -*** _\| \ / |/_ -*** nextBlock -*** -*** -*** This is a program as, e.g., -*** -*** if () then -*** { Jmp label1; } // happens anyways -*** else -*** { Jmp label1; } // happens anyways -*** label1: -*** return(); -*** Jmp label1; -*** +* This file constructs a control flow of following shape: +* +* +* firstBlock +* / \ +* / \ +* |/_ _\| +* Block1 Block2 deadBlock +* \ | / +* \ | / +* _\| \ / |/_ +* nextBlock +* +* +* This is a program as, e.g., +* +* if () then +* { Jmp label1; } // happens anyways +* else +* { Jmp label1; } // happens anyways +* label1: +* return(); +* Jmp label1; +* **/ -int main(int argc, char **argv) +int main(void) { + char *dump_file_suffix = ""; ir_graph *irg; /* this variable contains the irgraph */ - type_class *owner; /* the class in which this method is defined */ - type_method *proc_main; /* type information for the method main */ - entity *ent; /* represents this method as entity of owner */ + ir_type *owner; /* the class in which this method is defined */ + ir_type *proc_main; /* ir_type information for the method main */ + ir_type *prim_t_int; + ir_entity *ent; /* represents this method as ir_entity of owner */ ir_node *c1, *c2, *cond, *f, *t, *endBlock, *Block1, *jmp, *Block2, *deadBlock, *x; /* init library */ - init_firm (); + init_firm (NULL); - set_opt_cse(0); /* there is a bug: first and start block are cse!! @@@ */ + /*** Make basic ir_type information for primitive ir_type int. ***/ + prim_t_int = new_type_primitive(new_id_from_chars ("int", 3), mode_Is); /* 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 "empty" according to the file name - * with a method main as an entity. + * with a method main as an ir_entity. */ #define CLASSNAME "DEAD_BLOCK" #define METHODNAME "main" #define NRARGS 0 -#define NRES 0 +#define NRES 1 printf("\nCreating an IR graph: %s...\n", CLASSNAME); - owner = new_type_class (id_from_str (CLASSNAME, strlen(CLASSNAME))); - proc_main = new_type_method(id_from_str(METHODNAME, strlen(METHODNAME)), + owner = new_type_class (new_id_from_chars (CLASSNAME, strlen(CLASSNAME))); + 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); - + set_method_res_type(proc_main, 0, prim_t_int); + ent = new_entity (owner, + new_id_from_chars (METHODNAME, strlen(METHODNAME)), + proc_main); + get_entity_ld_name(ent); /* To enforce name mangling for vcg graph name */ #define NUM_OF_LOCAL_VARS 1 irg = new_ir_graph (ent, NUM_OF_LOCAL_VARS); /* to make a condition */ - c1 = new_Const (mode_i, tarval_from_long (mode_i, 1)); - c2 = new_Const (mode_i, tarval_from_long (mode_i, 2)); + c1 = new_Const (mode_Is, new_tarval_from_long (1, mode_Is)); + c2 = new_Const (mode_Is, new_tarval_from_long (2, mode_Is)); set_value(0, c2); - cond = new_Cond(new_Proj(new_Cmp(c1, c2), mode_b, Eq)); + cond = new_Cond(new_Proj(new_Cmp(c1, c2), mode_b, pn_Cmp_Eq)); f = new_Proj(cond, mode_X, 0); t = new_Proj(cond, mode_X, 1); - mature_block(irg->current_block); + mature_immBlock(get_irg_current_block(irg)); /* end block to add jmps */ - endBlock = new_Block(); + endBlock = new_immBlock(); /* Block 1 */ - Block1 = new_Block(); - add_in_edge(Block1, t); - mature_block(Block1); + Block1 = new_immBlock(); + add_immBlock_pred(Block1, t); + mature_immBlock(Block1); jmp = new_Jmp(); - add_in_edge(endBlock, jmp); + add_immBlock_pred(endBlock, jmp); /* Block 2 */ - Block2 = new_Block(); - add_in_edge(Block2, f); - mature_block(Block2); + Block2 = new_immBlock(); + add_immBlock_pred(Block2, f); + mature_immBlock(Block2); jmp = new_Jmp(); - add_in_edge(endBlock, jmp); + add_immBlock_pred(endBlock, jmp); /* dead Block */ - deadBlock = new_Block(); - mature_block(deadBlock); + deadBlock = new_immBlock(); + mature_immBlock(deadBlock); jmp = new_Jmp(); - add_in_edge(endBlock, jmp); + add_immBlock_pred(endBlock, jmp); /* finish end block */ - switch_block(endBlock); + set_cur_block(endBlock); { ir_node *in[1]; - in[0] = get_value(0, mode_i); + in[0] = get_value(0, mode_Is); get_store(); x = new_Return (get_store(), 1, in); } - mature_block (irg->current_block); + mature_immBlock (get_irg_current_block(irg)); + + add_immBlock_pred (get_irg_end_block(irg), x); + mature_immBlock (get_irg_end_block(irg)); - add_in_edge (irg->end_block, x); - mature_block (irg->end_block); + irg_finalize_cons (irg); printf("Optimizing ...\n"); local_optimize_graph (irg); @@ -133,10 +145,10 @@ int main(int argc, char **argv) irg_vrfy(irg); printf("Dumping the graph and a control flow graph.\n"); - dump_ir_block_graph (irg); - dump_cfg (irg); - printf("Use xvcg to view these graphs:\n"); - printf("/ben/goetz/bin/xvcg GRAPHNAME\n\n"); + dump_ir_block_graph (irg, dump_file_suffix); + dump_cfg (irg, dump_file_suffix); + printf("Use ycomp to view these graphs:\n"); + printf("ycomp GRAPHNAME\n\n"); return (0); }