X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firopt.h;h=bb029c6797b8b0289c35fedf8395228790e9d5f5;hb=e570f00fb465d212dde403160e97ab45d36d1d7e;hp=e4d9bd3e27d4210a8433a1de9d62d3507fbb6af5;hpb=df83e37827032795585d3b25776c465870672901;p=libfirm diff --git a/ir/ir/iropt.h b/ir/ir/iropt.h index e4d9bd3e2..bb029c679 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. +/* + * 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 * -* Authors: Martin Trapp, Christian Schaefer +* Declarations for optimizations of an ir node. * -* Declarations for optimizations intertwined with IR construction. +* @author Martin Trapp, Christian Schaefer */ -/* $Id$ */ # ifndef _IROPT_H_ # define _IROPT_H_ @@ -15,17 +26,24 @@ # 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_in_place (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*); + +/** 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*); + +/** + * set the default ir op operations + */ +ir_op *firm_set_default_operations(ir_op*); # endif /* _IROPT_H_ */