nsz Git - libfirm/blob - ir/opt/reassoc.h

   1 /*
   2  * Project:     libFIRM
   3  * File name:   ir/opt/reassoc.h
   4  * Purpose:     Reassociation
   5  * Author:      Michael Beck
   6  * Created:
   7  * CVS-ID:      $Id$
   8  * Copyright:   (c) 1998-2004 Universität Karlsruhe
   9  * Licence:     This file protected by GPL -  GNU GENERAL PUBLIC LICENSE.
  10  */
  11
  12 /**
  13  * @file reassoc.h
  14  *
  15  * Reassociation optimization.
  16  * Uses the "firm.opt.reassoc" debug space
  17  *
  18  * @author Michael Beck
  19  */
  20 #ifndef _REASSOC_H_
  21 #define _REASSOC_H_
  22
  23 #include "irgraph.h"
  24
  25 /** Reassociation.
  26  *
  27  * Applies Reassociation rules to integer expressions.
  28  * Beware: Works only if integer overflow might be ignored, as for C, Java
  29  * and for address expression.
  30  * Works only if Constant folding is activated.
  31  *
  32  * Uses loop information to detect loop-invariant (ie contant
  33  * inside the loop) values.
  34  *
  35  * See Muchnik 12.3.1 Algebraic Simplification and Reassociation of
  36  * Addressing Expressions.
  37  *
  38  *
  39  */
  40 void optimize_reassociation(ir_graph *irg);
  41
  42 #endif /* _REASSOC_H_ */