X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbeuses.h;h=dbd74eb506ad57499d8f441e6cf374e0db499626;hb=5474a1c188c9d59eea2c915515980cd9cbab58d8;hp=06a97b0f265187367c51fea2991aaee55c2e01ff;hpb=1013579946ac0cdb7e1461a6b52006e01d87716b;p=libfirm diff --git a/ir/be/beuses.h b/ir/be/beuses.h index 06a97b0f2..dbd74eb50 100644 --- a/ir/be/beuses.h +++ b/ir/be/beuses.h @@ -1,30 +1,75 @@ -/** - * @file beuse.h - * @date 27.06.2005 - * @author Sebastian Hack +/* + * Copyright (C) 1995-2011 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. * - * Determine future usages of values. + * Licensees holding valid libFirm Professional Edition licenses may use + * this file in accordance with the libFirm Commercial License. + * Agreement provided with the Software. * - * Copyright (C) 2005 Universitaet Karlsruhe - * Released under the GPL + * 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 _BEUSES_H -#define _BEUSES_H +/** + * @file + * @brief Methods to compute when a value will be used again. + * @author Sebastian Hack, Matthias Braun + * @date 27.06.2005 + */ +#ifndef FIRM_BE_BEUSES_H +#define FIRM_BE_BEUSES_H + +#include "firm_types.h" +#include "belive.h" + +/** + * Describes a use of a value. + */ +typedef struct be_next_use_t { + unsigned time; + unsigned outermost_loop; + /* point of the next use is at the beginning of this node. */ + const ir_node *before; +} be_next_use_t; -#define USES_INFINITY 1000000 -#define USES_IS_INIFINITE(x) ((x) >= USES_INFINITY) +#define USES_INFINITY 10000000 +#define USES_PENDING 9999999 -typedef struct _loc_t loc_t; -typedef struct _be_uses_t be_uses_t; +static inline bool USES_IS_INFINITE(unsigned time) +{ + return time >= USES_INFINITY; +} -unsigned be_get_next_use(be_uses_t *uses, const ir_node *from, - unsigned from_step, const ir_node *def); +static inline bool USES_IS_PENDING(unsigned time) +{ + return time == USES_PENDING; +} -be_uses_t *be_begin_uses(ir_graph *irg, - const arch_env_t *arch_env, - const arch_register_class_t *cls); +typedef struct be_uses_t be_uses_t; +be_next_use_t be_get_next_use(be_uses_t *uses, ir_node *from, + const ir_node *def, int skip_from_uses); + +/** + * Creates a new uses environment for a graph. + * + * @param irg the graph + * @param lv liveness information for the graph + */ +be_uses_t *be_begin_uses(ir_graph *irg, const be_lv_t *lv); + +/** + * Destroys the given uses environment. + * + * @param uses the environment + */ void be_end_uses(be_uses_t *uses); -#endif /* _BEUSES_H */ +#endif