2 * Copyright (C) 1995-2010 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 Definition of opaque firm types
23 * @author Michael Beck
26 #ifndef FIRM_COMMON_FIRM_TYPES_H
27 #define FIRM_COMMON_FIRM_TYPES_H
31 typedef unsigned long ir_visited_t;
32 typedef unsigned long ir_exc_region_t;
33 typedef unsigned long ir_label_t;
35 typedef struct dbg_info dbg_info, *dbg_info_ptr;
36 typedef struct type_dbg_info type_dbg_info, *type_dbg_info_ptr;
37 typedef struct ident ident, *ir_ident_ptr;
38 typedef struct ir_node ir_node, *ir_node_ptr;
39 typedef struct ir_op ir_op, *ir_op_ptr;
40 typedef struct ir_mode ir_mode, *ir_mode_ptr;
41 typedef struct ir_edge_t ir_edge_t, *ir_edge_ptr;
42 typedef struct ir_heights_t ir_heights_t;
43 typedef struct ir_tarval ir_tarval, *ir_tarval_ptr;
44 typedef struct ir_enum_const ir_enum_const, *ir_enum_const_ptr;
45 typedef struct ir_type ir_type, *ir_type_ptr;
46 typedef struct ir_graph ir_graph, *ir_graph_ptr;
47 typedef struct ir_prog ir_prog, *ir_prog_ptr;
48 typedef struct ir_loop ir_loop, *ir_loop_ptr;
49 typedef struct ir_region ir_region, *ir_region_ptr;
50 typedef struct ir_reg_tree ir_reg_tree, *ir_reg_tree_ptr;
51 typedef struct ir_entity ir_entity, *ir_entity_ptr;
52 typedef struct ir_extblk ir_extblk, *ir_extblk_ptr;
53 typedef struct ir_exec_freq ir_exec_freq, *ir_exec_freq_ptr;
54 typedef struct ir_cdep ir_cdep, *ir_cdep_ptr;
55 typedef struct sn_entry *seqno_t;
56 typedef struct arch_irn_ops_t arch_irn_ops_t;
57 typedef struct type_identify_if_t type_identify_if_t;
58 typedef struct ir_graph_pass_t ir_graph_pass_t;
59 typedef struct ir_prog_pass_t ir_prog_pass_t;
61 typedef struct ir_graph_pass_manager_t ir_graph_pass_manager_t;
62 typedef struct ir_prog_pass_manager_t ir_prog_pass_manager_t;
64 typedef union ir_initializer_t ir_initializer_t, *ir_initializer_ptr;
66 typedef void irg_walk_func(ir_node *, void *);
67 typedef void irg_reg_walk_func(ir_region *, void *);
70 typedef struct ir_settings_arch_dep_t ir_settings_arch_dep_t;
71 typedef struct ir_settings_if_conv_t ir_settings_if_conv_t;
73 /* Needed for MSVC to suppress warnings because it doest NOT handle const right. */
74 typedef const ir_node *ir_node_cnst_ptr;
79 * This function is called, whenever a local variable is used before definition
81 * @param irg the IR graph on which this happens
82 * @param mode the mode of the local var
83 * @param pos position chosen be the frontend for this variable (n_loc)
85 * @return a firm node of mode @p mode that initializes the var at position pos
89 * If this function is not set, FIRM will create a const node with tarval BAD.
90 * Use set_irg_loc_description()/get_irg_loc_description() to assign additional
91 * informations to local variables.
93 typedef ir_node *uninitialized_local_variable_func_t(ir_graph *irg, ir_mode *mode, int pos);
96 # define ENUM_BITSET(type) \
98 static inline type operator ~ (type a) { return (type)~(int)a; } \
99 static inline type operator & (type a, type b) { return (type)((int)a & (int)b); } \
100 static inline type operator &= (type& a, type b) { return a = (type)((int)a & (int)b); } \
101 static inline type operator ^ (type a, type b) { return (type)((int)a ^ (int)b); } \
102 static inline type operator ^= (type& a, type b) { return a = (type)((int)a ^ (int)b); } \
103 static inline type operator | (type a, type b) { return (type)((int)a | (int)b); } \
104 static inline type operator |= (type& a, type b) { return a = (type)((int)a | (int)b); } \
107 # define ENUM_BITSET(type)
111 # define ENUM_COUNTABLE(type) \
113 static inline type operator ++(type& a) { return a = (type)((int)a + 1); } \
114 static inline type operator --(type& a) { return a = (type)((int)a - 1); } \
117 # define ENUM_COUNTABLE(type)
121 * constrained flags for memory operations.
123 typedef enum ir_cons_flags {
124 cons_none = 0, /**< No constrains. */
125 cons_volatile = 1U << 0, /**< Memory operation is volatile. */
126 cons_unaligned = 1U << 1, /**< Memory operation is unaligned. */
127 cons_floats = 1U << 2 /**< Memory operation can float. */
129 ENUM_BITSET(ir_cons_flags)
131 /** op_pin_state_pinned states. */
132 typedef enum op_pin_state {
133 op_pin_state_floats = 0, /**< Nodes of this opcode can be placed in any basic block. */
134 op_pin_state_pinned = 1, /**< Nodes must remain in this basic block. */
135 op_pin_state_exc_pinned, /**< Node must be remain in this basic block if it can throw an
136 exception, else can float. Used internally. */
137 op_pin_state_mem_pinned /**< Node must be remain in this basic block if it can throw an
138 exception or uses memory, else can float. Used internally. */
142 * A type to express conditional jump predictions.
144 typedef enum cond_jmp_predicate {
145 COND_JMP_PRED_NONE, /**< No jump prediction. Default. */
146 COND_JMP_PRED_TRUE, /**< The True case is predicted. */
147 COND_JMP_PRED_FALSE /**< The False case is predicted. */
148 } cond_jmp_predicate;
151 * Additional method type properties:
152 * Tell about special properties of a method type. Some
153 * of these may be discovered by analyses.
155 typedef enum mtp_additional_properties {
156 mtp_no_property = 0x00000000, /**< no additional properties, default */
157 mtp_property_const = 0x00000001, /**< This method did not access memory and calculates
158 its return values solely from its parameters.
159 GCC: __attribute__((const)). */
160 mtp_property_pure = 0x00000002, /**< This method did NOT write to memory and calculates
161 its return values solely from its parameters and
162 the memory they points to (or global vars).
163 GCC: __attribute__((pure)). */
164 mtp_property_noreturn = 0x00000004, /**< This method did not return due to an aborting system
166 GCC: __attribute__((noreturn)). */
167 mtp_property_nothrow = 0x00000008, /**< This method cannot throw an exception.
168 GCC: __attribute__((nothrow)). */
169 mtp_property_naked = 0x00000010, /**< This method is naked.
170 GCC: __attribute__((naked)). */
171 mtp_property_malloc = 0x00000020, /**< This method returns newly allocate memory.
172 GCC: __attribute__((malloc)). */
173 mtp_property_returns_twice = 0x00000040, /**< This method can return more than one (typically setjmp).
174 GCC: __attribute__((returns_twice)). */
175 mtp_property_intrinsic = 0x00000080, /**< This method is intrinsic. It is expected that
176 a lowering phase will remove all calls to it. */
177 mtp_property_runtime = 0x00000100, /**< This method represents a runtime routine. */
178 mtp_property_private = 0x00000200, /**< All method invocations are known, the backend is free to
179 optimize the call in any possible way. */
180 mtp_property_has_loop = 0x00000400, /**< Set, if this method contains one possible endless loop. */
181 mtp_property_inherited = (1<<31) /**< Internal. Used only in irg's, means property is
182 inherited from type. */
183 } mtp_additional_properties;
184 ENUM_BITSET(mtp_additional_properties)
186 /** This enum names the different kinds of symbolic Constants represented by
187 * SymConst. The content of the attribute symconst_symbol depends on this tag.
188 * Use the proper access routine after testing this flag. */
189 typedef enum symconst_kind {
190 symconst_type_tag, /**< The SymConst is a type tag for the given type.
191 symconst_symbol is type *. */
192 symconst_type_size, /**< The SymConst is the size of the given type.
193 symconst_symbol is type *. */
194 symconst_type_align, /**< The SymConst is the alignment of the given type.
195 symconst_symbol is type *. */
196 symconst_addr_ent, /**< The SymConst is a symbolic pointer to be filled in
197 by the linker. The pointer is represented by an entity.
198 symconst_symbol is entity *. */
199 symconst_ofs_ent, /**< The SymConst is the offset of its entity in the entities
201 symconst_enum_const /**< The SymConst is a enumeration constant of an
205 /** SymConst attribute.
207 * This union contains the symbolic information represented by the node.
209 typedef union symconst_symbol {
210 ir_type *type_p; /**< The type of a SymConst. */
211 ir_entity *entity_p; /**< The entity of a SymConst. */
212 ir_enum_const *enum_p; /**< The enumeration constant of a SymConst. */
215 /** The allocation place. */
216 typedef enum ir_where_alloc {
217 stack_alloc, /**< Alloc allocates the object on the stack. */
218 heap_alloc /**< Alloc allocates the object on the heap. */
221 /** A input/output constraint attribute. */
222 typedef struct ir_asm_constraint {
223 unsigned pos; /**< The inputs/output position for this constraint. */
224 ident *constraint; /**< The constraint for this input/output. */
225 ir_mode *mode; /**< The mode of the constraint. */
228 /** Supported libFirm builtins. */
229 typedef enum ir_builtin_kind {
230 ir_bk_trap, /**< GCC __builtin_trap(): insert trap */
231 ir_bk_debugbreak, /**< MS __debugbreak(): insert debug break */
232 ir_bk_return_address, /**< GCC __builtin_return_address() */
233 ir_bk_frame_address, /**< GCC __builtin_frame_address() */
234 ir_bk_prefetch, /**< GCC __builtin_prefetch() */
235 ir_bk_ffs, /**< GCC __builtin_ffs(): find first (least) significant 1 bit */
236 ir_bk_clz, /**< GCC __builtin_clz(): count leading zero */
237 ir_bk_ctz, /**< GCC __builtin_ctz(): count trailing zero */
238 ir_bk_popcount, /**< GCC __builtin_popcount(): population count */
239 ir_bk_parity, /**< GCC __builtin_parity(): parity */
240 ir_bk_bswap, /**< byte swap */
241 ir_bk_inport, /**< in port */
242 ir_bk_outport, /**< out port */
243 ir_bk_inner_trampoline, /**< address of a trampoline for GCC inner functions */
247 * Some projection numbers must be always equal to support automatic phi construction
250 pn_Generic_M = 0, /**< The memory result. */
251 pn_Generic_X_regular = 1, /**< Execution result if no exception occurred. */
252 pn_Generic_X_except = 2, /**< The control flow result branching to the exception handler */
253 pn_Generic_other = 3 /**< First free projection number */
257 * Possible return values of value_classify().
259 typedef enum ir_value_classify_sign {
260 value_classified_unknown = 0, /**< could not classify */
261 value_classified_positive = 1, /**< value is positive, i.e. >= 0 */
262 value_classified_negative = -1 /**< value is negative, i.e. <= 0 if
263 no signed zero exists or < 0 else */
264 } ir_value_classify_sign;