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 Definition of opaque firm types
23 * @author Michael Beck
26 #ifndef FIRM_COMMON_FIRM_TYPES_H
27 #define FIRM_COMMON_FIRM_TYPES_H
29 typedef unsigned long ir_visited_t;
30 typedef unsigned long ir_exc_region_t;
31 typedef unsigned long ir_label_t;
33 typedef struct dbg_info dbg_info, *dbg_info_ptr;
34 typedef const struct _ident ident, *ir_ident_ptr;
35 typedef struct ir_node ir_node, *ir_node_ptr;
36 typedef struct ir_op ir_op, *ir_op_ptr;
37 typedef struct ir_mode ir_mode, *ir_mode_ptr;
38 typedef struct _ir_edge_t ir_edge_t, *ir_edge_ptr;
39 typedef struct tarval tarval, *ir_tarval_ptr;
40 typedef struct ir_enum_const ir_enum_const, *ir_enum_const_ptr;
41 typedef struct ir_type ir_type, *ir_type_ptr;
42 typedef struct ir_graph ir_graph, *ir_graph_ptr;
43 typedef struct ir_loop ir_loop, *ir_loop_ptr;
44 typedef struct ir_region ir_region, *ir_region_ptr;
45 typedef struct ir_reg_tree ir_reg_tree, *ir_reg_tree_ptr;
46 typedef struct ir_entity ir_entity, *ir_entity_ptr;
47 typedef struct compound_graph_path compound_graph_path, *ir_compound_graph_path_ptr;
48 typedef struct _ir_phase ir_phase, *ir_phase_ptr;
49 typedef struct _ir_extblk ir_extblk, *ir_extblk_ptr;
50 typedef struct ir_exec_freq ir_exec_freq, *ir_exec_freq_ptr;
51 typedef struct ir_cdep ir_cdep, *ir_cdep_ptr;
52 typedef struct sn_entry *seqno_t;
53 typedef struct arch_irn_ops_t arch_irn_ops_t;
54 typedef struct ident_if_t ident_if_t;
55 typedef struct type_identify_if_t type_identify_if_t;
57 typedef union ir_initializer_t ir_initializer_t, *ir_initializer_ptr;
59 typedef void irg_walk_func(ir_node *, void *);
60 typedef void irg_reg_walk_func(ir_region *, void *);
63 typedef struct ir_settings_arch_dep_t ir_settings_arch_dep_t;
64 typedef struct ir_settings_if_conv_t ir_settings_if_conv_t;
68 /** The state of the interprocedural view.
70 * This value indicates the state of the interprocedural view.
73 ip_view_no, /**< The interprocedural view is not constructed. There are no
74 view specific nodes (EndReg, Filter, Break ...) in any graph. */
75 ip_view_valid, /**< The interprocedural view is valid. */
76 ip_view_invalid /**< The interprocedural view is invalid. Specific nodes are
77 all still in the representation, but the graph is no more complete. */
81 * This function is called, whenever a local variable is used before definition
83 * @param irg the IR graph on which this happens
84 * @param mode the mode of the local var
85 * @param pos position chosen be the frontend for this variable (n_loc)
87 * @return a firm node of mode @p mode that initializes the var at position pos
91 * If this function is not set, FIRM will create a const node with tarval BAD.
92 * Use set_irg_loc_description()/get_irg_loc_description() to assign additional
93 * informations to local variables.
95 typedef ir_node *uninitialized_local_variable_func_t(ir_graph *irg, ir_mode *mode, int pos);
97 /** op_pin_state_pinned states. */
99 op_pin_state_floats = 0, /**< Nodes of this opcode can be placed in any basic block. */
100 op_pin_state_pinned = 1, /**< Nodes must remain in this basic block. */
101 op_pin_state_exc_pinned, /**< Node must be remain in this basic block if it can throw an
102 exception, else can float. Used internally. */
103 op_pin_state_mem_pinned /**< Node must be remain in this basic block if it can throw an
104 exception or uses memory, else can float. Used internally. */
108 * Additional method type properties:
109 * Tell about special properties of a method type. Some
110 * of these may be discovered by analyses.
113 mtp_no_property = 0x00000000, /**< no additional properties, default */
114 mtp_property_const = 0x00000001, /**< This method did not access memory and calculates
115 its return values solely from its parameters.
116 GCC: __attribute__((const)). */
117 mtp_property_pure = 0x00000002, /**< This method did NOT write to memory and calculates
118 its return values solely from its parameters and
119 the memory they points to (or global vars).
120 GCC: __attribute__((pure)). */
121 mtp_property_noreturn = 0x00000004, /**< This method did not return due to an aborting system
123 GCC: __attribute__((noreturn)). */
124 mtp_property_nothrow = 0x00000008, /**< This method cannot throw an exception.
125 GCC: __attribute__((nothrow)). */
126 mtp_property_naked = 0x00000010, /**< This method is naked.
127 GCC: __attribute__((naked)). */
128 mtp_property_malloc = 0x00000020, /**< This method returns newly allocate memory.
129 GCC: __attribute__((malloc)). */
130 mtp_property_weak = 0x00000040, /**< This method is weak. It is expected that
131 GCC: __attribute__((weak)). */
132 mtp_property_returns_twice = 0x00000080, /**< This method can return more than one (typically setjmp).
133 GCC: __attribute__((returns_twice)). */
134 mtp_property_intrinsic = 0x00000100, /**< This method is intrinsic. It is expected that
135 a lowering phase will remove all calls to it. */
136 mtp_property_runtime = 0x00000200, /**< This method represents a runtime routine. */
137 mtp_property_private = 0x00000400, /**< All method invocations are known, the backend is free to
138 optimize the call in any possible way. */
139 mtp_property_has_loop = 0x00000800, /**< Set, if this method contains one possible endless loop. */
140 mtp_property_inherited = (1<<31) /**< Internal. Used only in irg's, means property is
141 inherited from type. */
142 } mtp_additional_property;
144 /** This enum names the three different kinds of symbolic Constants
145 represented by SymConst. The content of the attribute type_or_id
146 depends on this tag. Use the proper access routine after testing
149 symconst_type_tag, /**< The SymConst is a type tag for the given type.
150 symconst_symbol is type *. */
151 symconst_type_size, /**< The SymConst is the size of the given type.
152 symconst_symbol is type *. */
153 symconst_type_align, /**< The SymConst is the alignment of the given type.
154 symconst_symbol is type *. */
155 symconst_addr_name, /**< The SymConst is a symbolic pointer to be filled in
156 by the linker. The pointer is represented by a string.
157 symconst_symbol is ident *. */
158 symconst_addr_ent, /**< The SymConst is a symbolic pointer to be filled in
159 by the linker. The pointer is represented by an entity.
160 symconst_symbol is entity *. */
161 symconst_ofs_ent, /**< The SymConst is the offset of its entity in the entities
163 symconst_enum_const, /**< The SymConst is a enumeration constant of an
165 symconst_label /**< The SymConst is a label address. */
168 /** SymConst attribute.
170 * This union contains the symbolic information represented by the node.
172 typedef union symconst_symbol {
173 ir_type *type_p; /**< The type of a SymConst. */
174 ident *ident_p; /**< The ident of a SymConst. */
175 ir_entity *entity_p; /**< The entity of a SymConst. */
176 ir_enum_const *enum_p; /**< The enumeration constant of a SymConst. */
177 ir_label_t label; /**< The label of a SymConst. */
181 * Projection numbers for Cmp are defined several times.
182 * The bit patterns are used for various tests, so don't change.
183 * The "unordered" values are possible results of comparing
184 * floating point numbers.
185 * Note that the encoding is imported, so do NOT change the order.
188 pn_Cmp_False = 0, /**< false */
189 pn_Cmp_Eq = 1, /**< equal */
190 pn_Cmp_Lt = 2, /**< less */
191 pn_Cmp_Le = pn_Cmp_Eq|pn_Cmp_Lt, /**< less or equal */
192 pn_Cmp_Gt = 4, /**< greater */
193 pn_Cmp_Ge = pn_Cmp_Eq|pn_Cmp_Gt, /**< greater or equal */
194 pn_Cmp_Lg = pn_Cmp_Lt|pn_Cmp_Gt, /**< less or greater */
195 pn_Cmp_Leg = pn_Cmp_Lt|pn_Cmp_Eq|pn_Cmp_Gt, /**< less, equal or greater = ordered */
196 pn_Cmp_Uo = 8, /**< unordered */
197 pn_Cmp_Ue = pn_Cmp_Uo|pn_Cmp_Eq, /**< unordered or equal */
198 pn_Cmp_Ul = pn_Cmp_Uo|pn_Cmp_Lt, /**< unordered or less */
199 pn_Cmp_Ule = pn_Cmp_Uo|pn_Cmp_Eq|pn_Cmp_Lt, /**< unordered, less or equal */
200 pn_Cmp_Ug = pn_Cmp_Uo|pn_Cmp_Gt, /**< unordered or greater */
201 pn_Cmp_Uge = pn_Cmp_Uo|pn_Cmp_Eq|pn_Cmp_Gt, /**< unordered, greater or equal */
202 pn_Cmp_Ne = pn_Cmp_Uo|pn_Cmp_Lt|pn_Cmp_Gt, /**< unordered, less or greater = not equal */
203 pn_Cmp_True = 15 /**< true */
204 /* not_mask = Leg*/ /* bits to flip to negate comparison * @@ hack for JNI interface */
205 } pn_Cmp; /* Projection numbers for Cmp */
207 /** The allocation place. */
209 stack_alloc, /**< Alloc allocates the object on the stack. */
210 heap_alloc /**< Alloc allocates the object on the heap. */
213 /** A input/output constraint attribute. */
215 unsigned pos; /**< The inputs/output position for this constraint. */
216 ident *constraint; /**< The constraint for this input/output. */
217 ir_mode *mode; /**< The mode of the constraint. */
220 /** Supported libFirm builtins. */
222 ir_bk_trap, /**< GCC __builtin_trap(): insert trap */
223 ir_bk_debugbreak, /**< MS __debugbreak(): insert debug break */
224 ir_bk_return_address, /**< GCC __builtin_return_address() */
225 ir_bk_frame_addess, /**< GCC __builtin_frame_address() */
226 ir_bk_prefetch, /**< GCC __builtin_prefetch() */
227 ir_bk_ffs, /**< GCC __builtin_ffs(): find first (least) significant 1 bit */
228 ir_bk_clz, /**< GCC __builtin_clz(): count leading zero */
229 ir_bk_ctz, /**< GCC __builtin_ctz(): count trailing zero */
230 ir_bk_popcount, /**< GCC __builtin_popcount(): population count */
231 ir_bk_parity, /**< GCC __builtin_parity(): parity */
232 ir_bk_bswap, /**< byte swap */
233 ir_bk_inport, /**< in port */
234 ir_bk_outport, /**< out port */
235 ir_bk_inner_trampoline, /**< address of a trampoline for GCC inner functions */