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 Representation of and static computations on target machine
23 * values -- private header.
25 * @author Mathias Heil
28 #ifndef FIRM_TV_TV_T_H
29 #define FIRM_TV_TV_T_H
31 #include "firm_config.h"
32 #include "firm_common.h"
38 /** Debugging aid for the firmEvaluator: Marks for reserved tarvals values. */
40 resid_tarval_bad = 1, /**< tarval_bad marker. */
41 resid_tarval_undefined = 2, /**< tarval_undefined marker. */
42 resid_tarval_b_false = 3, /**< tarval_b_false marker. */
43 resid_tarval_b_true = 4, /**< tarval_b_true marker. */
44 resid_tarval_unreachable = 5, /**< tarval_unreachable marker. */
45 resid_tarval_reachable = 6 /**< tarval_reachable marker. */
49 * Initialization of the tarval module.
51 * Call before init_mode().
54 * The reference mode NULL value, typical 0l
55 * @param support_quad_precision
56 * If non-zero, activate support for quad precision
58 void init_tarval_1(long null_value, int support_quad_precision);
61 * Initialization of the tarval module.
63 * Call after init_mode().
65 void init_tarval_2(void);
68 * Free all memory occupied by the tarval module.
70 void finish_tarval(void);
73 * This struct represents the afore mentioned tarvals.
75 * A tarval struct consists of an internal representation of the
76 * value and some additional fields further describing the value.
79 * - ir_mode *mode The mode of the stored value
80 * - void *value The internal representation
83 * irmode.h for predefined modes
86 firm_kind kind; /**< must be k_tarval */
87 ir_mode *mode; /**< the mode of the stored value */
88 const void *value; /**< the value stored in an internal way... */
89 unsigned int length; /**< the length of the stored value */
92 /* inline functions */
94 * Access routines for tarval fields ========================================
96 static INLINE ir_mode *
97 _get_tarval_mode(const tarval *tv) {
102 static INLINE tarval *
103 _get_tarval_bad(void) {
107 static INLINE tarval *
108 _get_tarval_undefined(void) {
109 return tarval_undefined;
112 static INLINE tarval *
113 _get_tarval_b_false(void) {
114 return tarval_b_false;
117 static INLINE tarval *
118 _get_tarval_b_true(void) {
119 return tarval_b_true;
122 static INLINE tarval *
123 _get_tarval_reachable(void) {
124 return tarval_reachable;
127 static INLINE tarval *
128 _get_tarval_unreachable(void) {
129 return tarval_unreachable;
133 _is_tarval(const void *thing) {
134 return get_kind(thing) == k_tarval;
137 #define get_tarval_mode(tv) _get_tarval_mode(tv)
138 #define get_tarval_bad() _get_tarval_bad()
139 #define get_tarval_undefined() _get_tarval_undefined()
140 #define get_tarval_b_false() _get_tarval_b_false()
141 #define get_tarval_b_true() _get_tarval_b_true()
142 #define get_tarval_unreachable() _get_tarval_unreachable()
143 #define get_tarval_reachable() _get_tarval_reachable()
144 #define get_tarval_P_void() _get_tarval_P_void()
145 #define is_tarval(thing) _is_tarval(thing)
147 #endif /* FIRM_TV_TV_T_H */