X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firopt.h;h=98a1d72bcc627851ba71eb374f2f7c88ac2933e5;hb=e1c33a238578342a072e1c95ff12eefe6d0acd37;hp=e2e461d5a791139cc7e87e78912db18facde0e6c;hpb=328ae18da3e796f4f9fda2aba629cc34e2849ed7;p=libfirm diff --git a/ir/ir/iropt.h b/ir/ir/iropt.h index e2e461d5a..98a1d72bc 100644 --- a/ir/ir/iropt.h +++ b/ir/ir/iropt.h @@ -1,33 +1,40 @@ -/* Copyright (C) 1998 - 2000 by Universitaet Karlsruhe -** All rights reserved. -** -** Authors: Martin Trapp, Christian Schaefer -** -** Declarations for optimizations intertwined with IR construction. -*/ - -/* $Id$ */ - -# ifndef _IROPT_H_ -# define _IROPT_H_ - -# include "irnode.h" -# include "irgraph.h" -# include "irflag.h" - -/* optimize_in_place (n) may change the contents of the ir_node itself, - [e.g. by making it a Id-node], but does not change its identity. - So it is safe to be called on already referenced nodes. - - optimize_in_place (n) returns a pointer to a node equivalent to `n' - which should be used instead of `n'. - - optimize (n) may deallocate `n' and everything allocated after `n'! */ - -tarval *computed_value (ir_node *n); - -ir_node *optimize (ir_node *n); - -ir_node *optimize_in_place (ir_node *n); - -# endif /* _IROPT_H_ */ +/* + * Project: libFIRM + * File name: ir/ir/iropt.h + * Purpose: iropt --- optimizations of an ir node. + * Author: Martin Trapp, Christian Schaefer + * Modified by: Goetz Lindenmaier, Michael Beck + * Created: + * CVS-ID: $Id$ + * Copyright: (c) 1998-2003 Universität Karlsruhe + * Licence: This file protected by GPL - GNU GENERAL PUBLIC LICENSE. + */ + +/** + * @file iropt.h + * + * Declarations for optimizations of an ir node. + * + * @author Martin Trapp, Christian Schaefer + */ +#ifndef _FIRM_IR_IROPT_H_ +#define _FIRM_IR_IROPT_H_ + +#include "firm_types.h" + +/** If the expression referenced can be evaluated statically + * computed_value returns a tarval representing the result. + * Else returns tarval_bad. */ +tarval *computed_value(ir_node *n); + +/** Applies all optimizations to n that are expressible as a pattern + * in Firm, i.e., they need not a walk of the graph. + * Returns a better node for n. Does not free n -- other nodes could + * reference n. + * + * An equivalent optimization is applied in the constructors defined in + * ircons.ch. There n is freed if a better node could be found. + */ +ir_node *optimize_in_place(ir_node *n); + +#endif /* _FIRM_IR_IROPT_H_ */