keep_alive_barrier operand used wrong block; schedule keep behind phi sequences
[libfirm] / ir / be / beuses.h
1 /*
2  * Copyright (C) 1995-2011 University of Karlsruhe.  All right reserved.
3  *
4  * This file is part of libFirm.
5  *
6  * This file may be distributed and/or modified under the terms of the
7  * GNU General Public License version 2 as published by the Free Software
8  * Foundation and appearing in the file LICENSE.GPL included in the
9  * packaging of this file.
10  *
11  * Licensees holding valid libFirm Professional Edition licenses may use
12  * this file in accordance with the libFirm Commercial License.
13  * Agreement provided with the Software.
14  *
15  * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
16  * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
17  * PURPOSE.
18  */
19
20 /**
21  * @file
22  * @brief       Methods to compute when a value will be used again.
23  * @author      Sebastian Hack, Matthias Braun
24  * @date        27.06.2005
25  * @version     $Id$
26  */
27 #ifndef FIRM_BE_BEUSES_H
28 #define FIRM_BE_BEUSES_H
29
30 #include "firm_types.h"
31 #include "belive.h"
32
33 /**
34  * Describes a use of a value.
35  */
36 typedef struct be_next_use_t {
37         unsigned       time;
38         unsigned       outermost_loop;
39         /* point of the next use is at the beginning of this node. */
40         const ir_node *before;
41 } be_next_use_t;
42
43 #define USES_INFINITY  10000000
44 #define USES_PENDING   9999999
45
46 static inline bool USES_IS_INFINITE(unsigned time)
47 {
48         return time >= USES_INFINITY;
49 }
50
51 static inline bool USES_IS_PENDING(unsigned time)
52 {
53         return time == USES_PENDING;
54 }
55
56 typedef struct be_uses_t be_uses_t;
57
58 be_next_use_t be_get_next_use(be_uses_t *uses, ir_node *from,
59                               const ir_node *def, int skip_from_uses);
60
61 /**
62  * Creates a new uses environment for a graph.
63  *
64  * @param irg  the graph
65  * @param lv   liveness information for the graph
66  */
67 be_uses_t *be_begin_uses(ir_graph *irg, const be_lv_t *lv);
68
69 /**
70  * Destroys the given uses environment.
71  *
72  * @param uses  the environment
73  */
74 void be_end_uses(be_uses_t *uses);
75
76 #endif