2 * Copyright (C) 1995-2008 University of Karlsruhe. All right reserved.
4 * This file is part of libFirm.
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.
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.
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
22 * @brief Construction of Confirm nodes
23 * @author Michael Beck
27 #ifndef FIRM_ANA_IRCONSCONFIRM_H
28 #define FIRM_ANA_IRCONSCONFIRM_H
30 #include "firm_types.h"
34 * Inject Confirm nodes into a graph.
36 * @param irg the graph
38 * Confirm nodes carry confirmation information, such as
39 * a relation between a value a and another value (or a constant)
42 * These allows to do some range dependent optimizations for Cmp,
43 * Abs, Min, Max nodes as well as bounds checking deletion.
45 * The heap analysis might profit also. On the other side, Confirm
46 * nodes disturb local optimizations, because patterns are destroyed.
48 * It is possible to avoid this by skipping Confirm nodes, but this
49 * is not implemented and is not cheap. The same happens with Casts
50 * nodes too. The current solution is to remove Confirms at a later
53 FIRM_API void construct_confirms(ir_graph *irg);
56 * Creates an ir_graph pass for construct_confirms().
58 * @param name the name of this pass or NULL
60 * @return the newly created ir_graph pass
62 FIRM_API ir_graph_pass_t *construct_confirms_pass(const char *name);
65 * Remove all Confirm nodes from a graph.
67 * Note that local_optimize() can handle this if
68 * the remove Confirm node setting is on (set_opt_remove_Confirm(1)).
70 FIRM_API void remove_confirms(ir_graph *irg);
73 * Creates an ir_graph pass for remove_confirms().
75 * @param name the name of this pass or NULL
77 * @return the newly created ir_graph pass
79 FIRM_API ir_graph_pass_t *remove_confirms_pass(const char *name);