libFirm
iropt.h
Go to the documentation of this file.
1 /*
2  * Copyright (C) 1995-2008 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 
25 #ifndef FIRM_IR_IROPT_H
26 #define FIRM_IR_IROPT_H
27 
28 #include "firm_types.h"
29 #include "begin.h"
30 
61 typedef enum fp_model_t {
62  fp_explicit_rounding = (1u << 0),
65  fp_strict_algebraic = (1u << 1),
67  fp_contradictions = (1u << 2),
68  fp_strict_eval_order = (1u << 3),
69  fp_exceptions = (1u << 4),
72  fp_environment_access = (1u << 5),
76  fp_model_precise = fp_explicit_rounding|fp_strict_algebraic|fp_contradictions,
78  fp_model_strict = fp_explicit_rounding|fp_strict_algebraic|fp_strict_eval_order|
79  fp_exceptions|fp_environment_access,
81  fp_model_fast = fp_contradictions
82 } fp_model_t;
83 
87 FIRM_API ir_tarval *computed_value(const ir_node *n);
88 
97 FIRM_API ir_node *optimize_in_place(ir_node *n);
98 
102 FIRM_API int ir_is_negated_value(const ir_node *a, const ir_node *b);
103 
108 FIRM_API ir_relation ir_get_possible_cmp_relations(const ir_node *left,
109  const ir_node *right);
110 
113 #include "end.h"
114 
115 #endif