X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firopt.h;h=2bfc58a41f0b7b378242f90b0a6e9819029add7d;hb=637542932dc27dcdfc7def09b58d9d5d4c34fb77;hp=e2e461d5a791139cc7e87e78912db18facde0e6c;hpb=328ae18da3e796f4f9fda2aba629cc34e2849ed7;p=libfirm diff --git a/ir/ir/iropt.h b/ir/ir/iropt.h index e2e461d5a..2bfc58a41 100644 --- a/ir/ir/iropt.h +++ b/ir/ir/iropt.h @@ -1,12 +1,23 @@ -/* Copyright (C) 1998 - 2000 by Universitaet Karlsruhe -** All rights reserved. -** -** Authors: Martin Trapp, Christian Schaefer -** -** Declarations for optimizations intertwined with IR construction. +/* + * Project: libFIRM + * File name: ir/ir/iropt.h + * Purpose: iropt --- optimizations of an ir node. + * Author: Martin Trapp, Christian Schaefer + * Modified by: Goetz Lindenmaier + * 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 */ -/* $Id$ */ # ifndef _IROPT_H_ # define _IROPT_H_ @@ -15,19 +26,19 @@ # 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); - +/** 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 /* _IROPT_H_ */