X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firarch.h;h=2a36ac28fe9799c83597a30c1e7c68940f2a797c;hb=eda9d668d0e8c8246015b4c5e743316a6a835a23;hp=4aee97b8286a9c35a418b744eaaea92d2134294f;hpb=909c2e6d7426096e0e4df2371fbec7a06d4553ef;p=libfirm diff --git a/ir/ir/irarch.h b/ir/ir/irarch.h index 4aee97b82..2a36ac28f 100644 --- a/ir/ir/irarch.h +++ b/ir/ir/irarch.h @@ -1,32 +1,51 @@ -/** - * @file irarch.h - * @date 1.10.2004 - * @author Sebastian Hack - * @brief Some machine dependent optimizations. +/* + * Copyright (C) 1995-2007 University of Karlsruhe. All right reserved. + * + * This file is part of libFirm. + * + * This file may be distributed and/or modified under the terms of the + * GNU General Public License version 2 as published by the Free Software + * Foundation and appearing in the file LICENSE.GPL included in the + * packaging of this file. + * + * Licensees holding valid libFirm Professional Edition licenses may use + * this file in accordance with the libFirm Commercial License. + * Agreement provided with the Software. * - * $Id$ + * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE + * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR + * PURPOSE. */ -#ifndef __FIRM_IRARCH_H -#define __FIRM_IRARCH_H +/** + * @file + * @brief Some machine dependent optimizations. + * @date 1.10.2004 + * @author Sebastian Hack + * @version $Id$ + */ +#ifndef FIRM_IR_IRARCH_H +#define FIRM_IR_IRARCH_H -#include "irnode.h" +#include "firm_types.h" /** * A parameter structure that drives the machine dependent Firm * optimizations. */ typedef struct { - int also_use_subs : 1; /**< Use also Subs when resolving muls to shifts */ - int allow_mulhs : 1; /**< Use the Mulhs operation for division by constant */ - int allow_mulhu : 1; /**< Use the Mulhu operation for division by constant */ - - int maximum_shifts; /**< The maximum number of shifts that shall be - inserted for a mul. */ + /* Mul optimization */ + unsigned also_use_subs : 1; /**< Use also Subs when resolving Muls to shifts */ + int maximum_shifts; /**< The maximum number of shifts that shall be inserted for a mul. */ + unsigned highest_shift_amount; /**< The highest shift amount you want to + tolerate. Muls which would require a higher + shift constant are left. */ - int highest_shift_amount; /**< The highest shift amount you want to - tolerate. Muls which would require a higher - shift constant are left. */ + /* Div/Mod optimization */ + unsigned allow_mulhs : 1; /**< Use the Mulhs operation for division by constant */ + unsigned allow_mulhu : 1; /**< Use the Mulhu operation for division by constant */ + int max_bits_for_mulh; /**< Maximum number of bits the Mulh operation can take. + Modes with higher amount of bits will use Mulh */ } arch_dep_params_t; /** @@ -47,7 +66,7 @@ typedef enum { arch_dep_none = 0, arch_dep_mul_to_shift = 1, /**< optimize Mul into Shift/Add/Sub */ arch_dep_div_by_const = 2, /**< optimize Div into Shift/Add/Mulh */ - arch_dep_mod_by_const = 4 /**< optimize Mod into Shift/Add/Mulh */ + arch_dep_mod_by_const = 4 /**< optimize Mod into Shift/Add/Mulh */ } arch_dep_opts_t; /** @@ -72,10 +91,10 @@ void arch_dep_set_opts(arch_dep_opts_t opts); * - maximum_shifts * - highest_shift_amount * - * If irn is a Mul with a Const, The constant is inspected, if it meets the + * If irn is a Mul with a Const, the constant is inspected if it meets the * requirements of the three variables stated above. If a Shl/Add/Sub - * sequence can be generated, that meets these requirements, this expression - * is returned. In each other case, irn is returned unmodified. + * sequence can be generated that meets these requirements, this expression + * is returned. In each other case irn is returned unmodified. * * @param irn The Firm node to inspect. * @return A replacement expression for irn. @@ -87,11 +106,12 @@ ir_node *arch_dep_replace_mul_with_shifts(ir_node *irn); * This function is driven by the 3 parameters: * - allow_mulhu * - allow_mulhs + * - max_bits_for_mulh * - * If irn is a Div with a Const, The constant is inspected, if it meets the + * If irn is a Div with a Const, the constant is inspected if it meets the * requirements of the variables stated above. If a Shl/Add/Sub/Mulh - * sequence can be generated, that meets these requirements, this expression - * is returned. In each other case, irn is returned unmodified. + * sequence can be generated that meets these requirements, this expression + * is returned. In each other case irn is returned unmodified. * * @param irn The Firm node to inspect. * @return A replacement expression for irn. @@ -103,11 +123,12 @@ ir_node *arch_dep_replace_div_by_const(ir_node *irn); * This function is driven by the 3 parameters: * - allow_mulhu * - allow_mulhs + * - max_bits_for_mulh * - * If irn is a Mod with a Const, The constant is inspected, if it meets the + * If irn is a Mod with a Const, the constant is inspected if it meets the * requirements of the variables stated above. If a Shl/Add/Sub/Mulh - * sequence can be generated, that meets these requirements, this expression - * is returned. In each other case, irn is returned unmodified. + * sequence can be generated that meets these requirements, this expression + * is returned. In each other case irn is returned unmodified. * * @param irn The Firm node to inspect. * @return A replacement expression for irn. @@ -119,11 +140,12 @@ ir_node *arch_dep_replace_mod_by_const(ir_node *irn); * This function is driven by the 3 parameters: * - allow_mulhu * - allow_mulhs + * - max_bits_for_mulh * - * If irn is a DivMod with a Const, The constant is inspected, if it meets the + * If irn is a DivMod with a Const, the constant is inspected if it meets the * requirements of the variables stated above. If a Shl/Add/Sub/Mulh - * sequence can be generated, that meets these requirements, this expression - * is returned. In each other case, irn is returned unmodified. + * sequence can be generated that meets these requirements, this expression + * is returned. In each other case irn is returned unmodified. * * @param div After call contains the Firm node div result or NULL. * @param mod After call contains the Firm node mod result or NULL.