X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fopt%2Freassoc.h;h=3f15bdd2a52bc1a3c4c2998d4e5e3d6ef05fb9b5;hb=2af743bb2ff323523cf6cf4f7dc593d4f7f95434;hp=c51ea8433da448b97c15980fcc8ff43ac174a887;hpb=bcb7c71016a3465e0745d6185c357ea104071ea0;p=libfirm diff --git a/ir/opt/reassoc.h b/ir/opt/reassoc.h index c51ea8433..3f15bdd2a 100644 --- a/ir/opt/reassoc.h +++ b/ir/opt/reassoc.h @@ -4,7 +4,7 @@ * Purpose: Reassociation * Author: Michael Beck * Created: - * CVS-ID: $Id: + * CVS-ID: $Id$ * Copyright: (c) 1998-2004 Universität Karlsruhe * Licence: This file protected by GPL - GNU GENERAL PUBLIC LICENSE. */ @@ -13,6 +13,7 @@ * @file reassoc.h * * Reassociation optimization. + * Uses the "firm.opt.reassoc" debug space * * @author Michael Beck */ @@ -23,13 +24,18 @@ /** Reassociation. * - * Applies Reassiciation rules to integer expressions. + * Applies Reassociation rules to integer expressions. * Beware: Works only if integer overflow might be ignored, as for C, Java * and for address expression. * Works only if Constant folding is activated. * + * Uses loop information to detect loop-invariant (ie contant + * inside the loop) values. + * * See Muchnik 12.3.1 Algebraic Simplification and Reassociation of * Addressing Expressions. + * + * */ void optimize_reassociation(ir_graph *irg);