2 * Copyright (C) 1995-2011 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
27 #ifndef FIRM_TV_TV_T_H
28 #define FIRM_TV_TV_T_H
30 #include "firm_common.h"
37 * Initialization of the tarval module.
39 * Call before init_mode().
42 * The reference mode NULL value, typical 0l
43 * @param support_quad_precision
44 * If non-zero, activate support for quad precision
46 void init_tarval_1(long null_value, int support_quad_precision);
49 * Initialization of the tarval module.
51 * Call after init_mode().
53 void init_tarval_2(void);
56 * Free all memory occupied by the tarval module.
58 void finish_tarval(void);
61 * This struct represents the afore mentioned tarvals.
63 * A tarval struct consists of an internal representation of the
64 * value and some additional fields further describing the value.
67 * - ir_mode *mode The mode of the stored value
68 * - void *value The internal representation
71 * irmode.h for predefined modes
74 firm_kind kind; /**< must be k_tarval */
75 ir_mode *mode; /**< the mode of the stored value */
76 const void *value; /**< the value stored in an internal way... */
77 size_t length; /**< the length of the stored value */
80 /* inline functions */
82 * Access routines for tarval fields ========================================
84 static inline ir_mode *_get_tarval_mode(const ir_tarval *tv)
90 static inline ir_tarval *_get_tarval_bad(void)
95 static inline ir_tarval *_get_tarval_undefined(void)
97 return tarval_undefined;
100 static inline ir_tarval *_get_tarval_b_false(void)
102 return tarval_b_false;
105 static inline ir_tarval *_get_tarval_b_true(void)
107 return tarval_b_true;
110 static inline ir_tarval *_get_tarval_reachable(void)
112 return tarval_reachable;
115 static inline ir_tarval *_get_tarval_unreachable(void)
117 return tarval_unreachable;
120 static inline int _is_tarval(const void *thing)
122 return get_kind(thing) == k_tarval;
125 #define get_tarval_mode(tv) _get_tarval_mode(tv)
126 #define get_tarval_bad() _get_tarval_bad()
127 #define get_tarval_undefined() _get_tarval_undefined()
128 #define get_tarval_b_false() _get_tarval_b_false()
129 #define get_tarval_b_true() _get_tarval_b_true()
130 #define get_tarval_unreachable() _get_tarval_unreachable()
131 #define get_tarval_reachable() _get_tarval_reachable()
132 #define is_tarval(thing) _is_tarval(thing)
134 #endif /* FIRM_TV_TV_T_H */