irtypes.h 23.5 KB
Newer Older
1
2
/*
 * This file is part of libFirm.
3
 * Copyright (C) 2012 University of Karlsruhe.
4
5
6
7
8
9
10
11
12
13
 */

/**
 * @file
 * @brief   Definition of the Firm IR base types, concentrated here
 * @author  Michael Beck
 */
#ifndef FIRM_IR_IRDEFS_H
#define FIRM_IR_IRDEFS_H

14
15
#include <stdbool.h>

16
17
18
19
20
#include "firm_types.h"
#include "irdom_t.h"
#include "irmode.h"
#include "irnode.h"
#include "iredgekinds.h"
21
#include "irop.h"
22
23
#include "irmemory.h"
#include "callgraph.h"
24
#include "irprog.h"
25
#include "bitset.h"
26
27

#include "pset.h"
28
#include "pmap.h"
29
#include "list.h"
30
#include "obst.h"
31
#include "vrp.h"
32

33
34
35
struct ir_nodemap {
	void **data;  /**< maps node indices to void* */
};
36

37
38
39
40
41
42
43
44
45
46
47
/**
 * Operation specific callbacks.
 */
typedef struct {
	hash_func             hash;                 /**< Calculate a hash value for an IR node. */
	computed_value_func   computed_value;       /**< Evaluates a node into a tarval if possible. */
	computed_value_func   computed_value_Proj;  /**< Evaluates a Proj node into a tarval if possible. */
	equivalent_node_func  equivalent_node;      /**< Optimizes the node by returning an equivalent one. */
	equivalent_node_func  equivalent_node_Proj; /**< Optimizes the Proj node by returning an equivalent one. */
	transform_node_func   transform_node;       /**< Optimizes the node by transforming it. */
	transform_node_func   transform_node_Proj;  /**< Optimizes the Proj node by transforming it. */
48
	node_attrs_equal_func  attrs_equal;         /**< Compares two node attributes. */
49
50
51
52
53
54
55
56
57
58
59
60
	reassociate_func      reassociate;          /**< Reassociate a tree. */
	copy_attr_func        copy_attr;            /**< Copy node attributes. */
	get_type_attr_func    get_type_attr;        /**< Returns the type attribute of a node. */
	get_entity_attr_func  get_entity_attr;      /**< Returns the entity attribute of a node. */
	verify_node_func      verify_node;          /**< Verify the node. */
	verify_proj_node_func verify_proj_node;     /**< Verify the Proj node. */
	dump_node_func        dump_node;            /**< Dump a node. */
	op_func               generic;              /**< A generic function pointer. */
	op_func               generic1;             /**< A generic function pointer. */
	op_func               generic2;             /**< A generic function pointer. */
} ir_op_ops;

61
62
/** The type of an ir_op. */
struct ir_op {
Matthias Braun's avatar
Matthias Braun committed
63
64
65
66
67
68
69
70
	unsigned code;            /**< The unique opcode of the op. */
	ident *name;              /**< The name of the op. */
	size_t attr_size;         /**< Space needed in memory for private attributes
	                               */
	op_pin_state pin_state;   /**< How to deal with the node in CSE, PRE. */
	op_arity opar;            /**< The arity of operator. */
	int op_index;             /**< The index of the first data operand, 0 for
	                               most cases, 1 for Div etc. */
71
	int memory_index;         /**< index of memory input for memory nodes */
72
	unsigned pn_x_regular;    /**< for fragile ops the position of the
Matthias Braun's avatar
Matthias Braun committed
73
	                               X_regular output */
74
	unsigned pn_x_except;     /**< for fragile ops the position of the
Matthias Braun's avatar
Matthias Braun committed
75
76
77
78
79
80
81
	                               X_except output */
	unsigned flags;           /**< Flags describing the behavior of the ir_op,
	                               a bitmasks of irop_flags. */
	unsigned tag;             /**< Some custom TAG value the op's creator set */
	void *attr;               /**< custom pointer where op's creator can attach
	                               attribute stuff to. */
	ir_op_ops ops;            /**< The operations of the this op. */
82
83
};

84
85
86
87
88
89
90
91
92
93
/** Helper values for ir_mode_sort. */
enum ir_mode_sort_helper {
	irmsh_is_num   = 0x10, /**< mode represents a number */
	irmsh_is_data  = 0x20, /**< mode represents data (can be carried in registers) */
};

/**
 * These values represent the different mode classes of value representations.
 */
typedef enum ir_mode_sort {
94
95
96
	irms_auxiliary        = 0,
	irms_internal_boolean = 1 | irmsh_is_data,
	irms_data             = 2 | irmsh_is_data,
97
98
99

	/** A mode to represent entities.
	    Restricted int computations can be performed */
100
	irms_reference        = 3 | irmsh_is_data,
101
102
	/** A mode to represent int numbers.
	    Integer computations can be performed. */
103
	irms_int_number       = 4 | irmsh_is_data | irmsh_is_num,
104
105
	/** A mode to represent float numbers.
	    Floating point computations can be performed. */
106
	irms_float_number     = 5 | irmsh_is_data | irmsh_is_num,
107
108
109
110
111
112
113
114
115
116
117
} ir_mode_sort;

/**
 * A descriptor for an IEEE754 float value.
 */
typedef struct float_descriptor_t {
	unsigned char exponent_size;    /**< size of exponent in bits */
	unsigned char mantissa_size;    /**< size of mantissa in bits */
	bool          explicit_one;     /**< set if the leading one is explicit */
} float_descriptor_t;

118
119
120
121
122
123
124
125
126
/**
 * Contains relevant information about a mode.
 *
 * Necessary information about a mode is stored in this struct
 * which is used by the tarval module to perform calculations
 * and comparisons of values of a such described mode.
 *
 * ATTRIBUTES:
 *  -  ident *name:             Name of this mode. Two modes are different if the name is different.
127
 *  -  ir_mode_sort sort:       sort of mode specifying possible usage categories
128
129
130
131
132
133
134
135
136
137
138
139
140
 *  -  int    size:             size of the mode in Bits.
 *  -  unsigned sign:1:         signedness of this mode
 *  -  ... more to come
 *  -  modulo_shift             specifies for modes of kind irms_int_number
 *                              whether shift applies modulo to value of bits to shift
 *
 * SEE ALSO:
 *    The tech report 1999-44 describing FIRM and predefined modes
 *    tarval.h
 */
struct ir_mode {
	firm_kind         kind;       /**< distinguishes this node from others */
	ident             *name;      /**< Name ident of this mode */
141
	ir_type           *type;      /**< corresponding primitive type */
142

143
	/* ---------------------------------------------------------------------- */
144
	/* On changing this struct you have to evaluate the mode_are_equal function!*/
145
146
147
148
149
	ir_mode_sort       sort;          /**< coarse classification of this mode:
                                           int, float, reference ...
                                           (see irmode.h) */
	ir_mode_arithmetic arithmetic;    /**< different arithmetic operations possible with a mode */
	unsigned           size;          /**< size of the mode in Bits. */
150
151
152
	bool               sign:1;        /**< signedness of this mode */
	ENUMBF(float_int_conversion_overflow_style_t)
	                   int_conv_overflow:1;
Matthias Braun's avatar
Matthias Braun committed
153
	unsigned           modulo_shift;  /**< number of bits a values of this mode will be shifted */
154
	float_descriptor_t float_desc;
155

156
	/* ---------------------------------------------------------------------- */
Matthias Braun's avatar
Matthias Braun committed
157
158
159
160
161
	ir_tarval         *min;         /**< the minimum value that can be expressed */
	ir_tarval         *max;         /**< the maximum value that can be expressed */
	ir_tarval         *null;        /**< the value 0 */
	ir_tarval         *one;         /**< the value 1 */
	ir_tarval         *all_one;     /**< the value ~0 */
162
	ir_tarval         *infinity;    /**< the infinity value */
163
164
165
	ir_mode           *eq_unsigned; /**< For pointer modes, the equivalent unsigned integer one. */
};

Matthias Braun's avatar
Matthias Braun committed
166
167
168
169
/* note: we use "long" here because that is the type used for Proj-Numbers */
typedef struct ir_switch_table_entry {
	ir_tarval *min;
	ir_tarval *max;
170
	unsigned   pn;
Matthias Braun's avatar
Matthias Braun committed
171
172
173
174
175
176
177
} ir_switch_table_entry;

struct ir_switch_table {
	size_t                n_entries;
	ir_switch_table_entry entries[];
};

178
179
/* ir node attributes */

Matthias Braun's avatar
Matthias Braun committed
180
/** Attributes for Block nodes. */
181
typedef struct block_attr {
182
	/* General attributes */
183
	ir_visited_t block_visited; /**< For the walker that walks over all blocks. */
184
185
	/* Attributes private to construction: */
	unsigned is_matured:1;      /**< If set, all in-nodes of the block are fixed. */
186
	unsigned dynamic_ins:1;     /**< if set in-array is an ARR_F on the heap. */
187
	unsigned marked:1;          /**< Can be set/unset to temporary mark a block. */
188
189
	ir_node **graph_arr;        /**< An array to store all parameters. */
	/* Attributes holding analyses information */
Matthias Braun's avatar
Matthias Braun committed
190
	ir_dom_info dom;            /**< Datastructure that holds information about dominators. */
191
	ir_dom_info pdom;           /**< Datastructure that holds information about post-dominators. */
192
	bitset_t *backedge;         /**< Bitfield n set to true if pred n is backedge.*/
193
	ir_entity *entity;          /**< entity representing this block */
194
	ir_node  *phis;             /**< The list of Phi nodes in this block. */
195
	double    execfreq;         /**< block execution frequency */
196
197
} block_attr;

Matthias Braun's avatar
Matthias Braun committed
198
/** Attributes for Cond nodes. */
199
typedef struct cond_attr {
200
	cond_jmp_predicate jmp_pred; /**< only for binary Conds: The jump predication. */
201
202
} cond_attr;

Matthias Braun's avatar
Matthias Braun committed
203
/** Attributes for Const nodes. */
Matthias Braun's avatar
Matthias Braun committed
204
205
typedef struct const_attr {
	ir_tarval *tarval;  /**< the target value */
206
207
} const_attr;

Matthias Braun's avatar
Matthias Braun committed
208
/** Attributes for Address and Offset nodes. */
209
typedef struct entconst_attr {
210
	ir_entity *entity;
211
212
} entconst_attr;

Matthias Braun's avatar
Matthias Braun committed
213
/** Attributes for TypeConst nodes. */
214
typedef struct typeconst_attr {
215
	ir_type *type;
216
} typeconst_attr;
217

Matthias Braun's avatar
Matthias Braun committed
218
/** Attributes for Member nodes. */
219
typedef struct member_attr {
Matthias Braun's avatar
Matthias Braun committed
220
	ir_entity *entity; /**< entity to select */
221
222
} member_attr;

Matthias Braun's avatar
Matthias Braun committed
223
/** Attributes for Sel nodes. */
224
typedef struct sel_attr {
225
	ir_type *type;
226
227
} sel_attr;

Matthias Braun's avatar
Matthias Braun committed
228
/** Attributes for nodes with exceptions (fragile flag). */
229
typedef struct except_attr {
230
231
232
233
234
235
	unsigned  pin_state : 2;         /**< the pin state for operations with
	                                      variable pinned state. Contains a
	                                      op_pin_state */
	unsigned  throws_exception : 1; /**< if true a fragile op throws and
	                                     must produce X_except and X_regular
	                                     values */
236
237
} except_attr;

Matthias Braun's avatar
Matthias Braun committed
238
/** Attributes for Call nodes. */
239
typedef struct call_attr {
240
241
242
	except_attr exc;               /**< the exception attribute. MUST be the first one. */
	ir_type     *type;             /**< type of called procedure */
	ir_entity   **callee_arr;      /**< result of callee analysis */
243
244
} call_attr;

Matthias Braun's avatar
Matthias Braun committed
245
/** Attributes for Builtin nodes. */
246
typedef struct builtin_attr {
247
248
	except_attr     exc;           /**< the exception attribute. MUST be the first one. */
	ir_builtin_kind kind;          /**< kind of the called builtin procedure */
249
	ir_type         *type;         /**< type of called builtin procedure */
250
251
} builtin_attr;

Matthias Braun's avatar
Matthias Braun committed
252
/** Attributes for Alloc nodes. */
253
typedef struct alloc_attr {
254
	unsigned alignment;
255
256
} alloc_attr;

Matthias Braun's avatar
Matthias Braun committed
257
/** Attributes for Load nodes. */
258
typedef struct load_attr {
259
	except_attr   exc;            /**< The exception attribute. MUST be the first one. */
260
261
	ENUMBF(ir_volatility) volatility:1;   /**< The volatility of this Load operation. */
	ENUMBF(ir_align)      unaligned:1;    /**< The align attribute of this Load operation. */
262
	ir_mode       *mode;          /**< The mode of this Load operation. */
263
	ir_type       *type;          /**< The type of the object loaded. */
264
265
} load_attr;

Matthias Braun's avatar
Matthias Braun committed
266
/** Attributes for Store nodes. */
267
typedef struct store_attr {
268
	except_attr   exc;            /**< the exception attribute. MUST be the first one. */
269
	ir_type       *type;          /**< The type of the object stored at the node's address. */
270
271
	ENUMBF(ir_volatility) volatility:1;   /**< The volatility of this Store operation. */
	ENUMBF(ir_align)      unaligned:1;    /**< The align attribute of this Store operation. */
272
273
} store_attr;

Matthias Braun's avatar
Matthias Braun committed
274
/** Attributes for Phi nodes. */
275
typedef struct phi_attr {
Matthias Braun's avatar
Matthias Braun committed
276
	ir_node *next; /**< Points to the next Phi in the Phi list of a block. */
277
	union {
Matthias Braun's avatar
Matthias Braun committed
278
279
280
281
282
283
		bitset_t *backedge; /**< Raw Bitset: pred n is backedge iff n is set. */
		/** For Phi0. Used to remember the value defined by this Phi node.
		 * Needed when the Phi is completed to call get_r_internal_value() to
		 * find the predecessors. If this attribute is set, the Phi node takes
		 * the role of the obsolete Phi0 node, therefore the name. */
		int       pos;
284
	} u;
285
	unsigned loop:1; /**< Set to true if this is a loop PhiM node. */
286
287
} phi_attr;

Matthias Braun's avatar
Matthias Braun committed
288
/** Attributes for Cmp nodes. */
289
typedef struct cmp_attr {
Matthias Braun's avatar
Matthias Braun committed
290
	ir_relation relation; /**< comparison condition. */
291
} cmp_attr;
292

Matthias Braun's avatar
Matthias Braun committed
293
/** Attributes for Confirm nodes. */
294
typedef struct confirm_attr {
Matthias Braun's avatar
Matthias Braun committed
295
	ir_relation relation; /**< relation between value and bound */
296
297
} confirm_attr;

Matthias Braun's avatar
Matthias Braun committed
298
/** Attributes for CopyB nodes. */
299
typedef struct copyb_attr {
Matthias Braun's avatar
Matthias Braun committed
300
301
	ir_type *type;                      /**< Type of the copied entity. */
	ENUMBF(ir_volatility) volatility:1; /**< Volatility of this CopyB. */
302
303
} copyb_attr;

Matthias Braun's avatar
Matthias Braun committed
304
/** Attributes for Div nodes. */
305
typedef struct div_attr {
Matthias Braun's avatar
Matthias Braun committed
306
307
308
309
	except_attr exc;          /**< The exception attribute. MUST be first. */
	ir_mode    *resmode;      /**< Result mode for the division. */
	char        no_remainder; /**< Set, if known that a division can be done
	                               without a remainder. */
310
311
} div_attr;

Matthias Braun's avatar
Matthias Braun committed
312
/** Attributes for Mod nodes. */
313
typedef struct mod_attr {
Matthias Braun's avatar
Matthias Braun committed
314
315
	except_attr exc;     /**< The exception attribute. MUST be first. */
	ir_mode    *resmode; /**< Result mode for the division. */
316
} mod_attr;
317

Matthias Braun's avatar
Matthias Braun committed
318
/** Attributes for ASM nodes. */
319
typedef struct asm_attr {
320
	except_attr        exc; /**< The exception attribute. MUST be first. */
Matthias Braun's avatar
Matthias Braun committed
321
322
323
324
	ident             *text;               /**< The inline assembler text. */
	ir_asm_constraint *input_constraints;  /**< Input constraints. */
	ir_asm_constraint *output_constraints; /**< Output constraints. */
	ident            **clobbers;           /**< List of clobbered registers. */
325
326
} asm_attr;

Matthias Braun's avatar
Matthias Braun committed
327
/** Attributes for Proj nodes. */
328
typedef struct proj_attr {
329
	unsigned num; /**< number of tuple sub-value which is projected */
330
331
} proj_attr;

Matthias Braun's avatar
Matthias Braun committed
332
/** Attributes for Switch nodes. */
Matthias Braun's avatar
Matthias Braun committed
333
334
335
336
337
typedef struct switch_attr {
	unsigned         n_outs;
	ir_switch_table *table;
} switch_attr;

Matthias Braun's avatar
Matthias Braun committed
338
/** Union with all possible node attributes. */
339
typedef union ir_attr {
Matthias Braun's avatar
Matthias Braun committed
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
	block_attr     block;
	cmp_attr       cmp;
	cond_attr      cond;
	const_attr     con;
	entconst_attr  entc;
	typeconst_attr typec;
	sel_attr       sel;
	member_attr    member;
	call_attr      call;
	builtin_attr   builtin;
	alloc_attr     alloc;
	load_attr      load;
	store_attr     store;
	phi_attr       phi;
	proj_attr      proj;
	confirm_attr   confirm;
	except_attr    except;
	copyb_attr     copyb;
	div_attr       div;
	mod_attr       mod;
	asm_attr       assem;
	switch_attr    switcha;
362
} ir_attr;
363
364
365
366

/**
 * Edge info to put into an irn.
 */
367
typedef struct irn_edge_kind_info_t {
368
	struct list_head outs_head;  /**< The list of all outs. */
Michael Beck's avatar
Michael Beck committed
369
370
	unsigned edges_built : 1;    /**< Set edges where built for this node. */
	unsigned out_count : 31;     /**< Number of outs in the list. */
371
372
} irn_edge_info_t;

373
typedef irn_edge_info_t irn_edges_info_t[EDGE_KIND_LAST+1];
374

375
376
377
/**
 * A Def-Use edge.
 */
378
typedef struct ir_def_use_edge {
379
380
381
382
	ir_node *use;            /** The use node of that edge. */
	int     pos;             /** The position of this edge in use's input array. */
} ir_def_use_edge;

Matthias Braun's avatar
Matthias Braun committed
383
384
385
386
387
typedef struct ir_def_use_edges {
	unsigned        n_edges;
	ir_def_use_edge edges[];
} ir_def_use_edges;

388
389
390
391
392
393
394
/**
 * The common structure of an irnode.
 * If the node has some attributes, they are stored in the attr field.
 */
struct ir_node {
	/* ------- Basics of the representation  ------- */
	firm_kind kind;          /**< Distinguishes this node from others. */
Michael Beck's avatar
Michael Beck committed
395
	unsigned node_idx;       /**< The node index of this node in its graph. */
396
397
398
	ir_op *op;               /**< The Opcode of this node. */
	ir_mode *mode;           /**< The Mode of this node. */
	struct ir_node **in;     /**< The array of predecessors / operands. */
399
	ir_graph *irg;
400
	ir_visited_t visited;    /**< The visited counter for walks of the graph. */
401
	void *link;              /**< To attach additional information to the node, e.g.
Michael Beck's avatar
Michael Beck committed
402
	                              used during optimization to link to nodes that
403
	                              shall replace a node. */
404
	long node_nr;            /**< A globally unique node number for each node. */
405
	/* ------- Fields for optimizations / analysis information ------- */
Matthias Braun's avatar
Matthias Braun committed
406
407
408
409
410
	union {
		ir_def_use_edges *out;    /**< array of def-use edges. */
		unsigned          n_outs; /**< number of def-use edges (temporarily used
		                               during construction of datastructure ) */
	} o;
411
	dbg_info *dbi;           /**< A pointer to information for debug support. */
412
413
	/* ------- For analyses -------- */
	ir_loop *loop;           /**< the loop the node is in. Access routines in irloop.h */
414
	void            *backend_info;
415
	irn_edges_info_t edge_info;  /**< Everlasting out edges. */
416

417
	/* ------- Opcode depending fields -------- */
418
	ir_attr attr;            /**< The set of attributes of this node. Depends on opcode.
419
420
421
	                              Must be last field of struct ir_node. */
};

422
423
#include "iredgeset.h"

424
425
426
/**
 * Edge info to put into an irg.
 */
427
typedef struct irg_edge_info_t {
428
429
430
431
432
	ir_edgeset_t     edges;          /**< A set containing all edges of the current graph. */
	struct list_head free_edges;     /**< list of all free edges. */
	struct obstack   edges_obst;     /**< Obstack, where edges are allocated on. */
	unsigned         allocated : 1;  /**< Set if edges are allocated on the obstack. */
	unsigned         activated : 1;  /**< Set if edges are activated for the graph. */
433
434
} irg_edge_info_t;

435
typedef irg_edge_info_t irg_edges_info_t[EDGE_KIND_LAST+1];
436
437
438
439
440

/** A callgraph entry for callees. */
typedef struct cg_callee_entry {
	ir_graph  *irg;        /**< The called irg. */
	ir_node  **call_list;  /**< The list of all calls to the irg. */
441
	size_t     max_depth;  /**< Maximum depth of all Call nodes to irg. */
442
443
} cg_callee_entry;

444
445
446
447
448
typedef struct ir_bitinfo {
	struct ir_nodemap map;
	struct obstack    obst;
} ir_bitinfo;

449
450
451
452
453
typedef struct ir_vrp_info {
	struct ir_nodemap infos;
	struct obstack    obst;
} ir_vrp_info;

454
455
456
457
/**
 * An ir_graph holds all information for a procedure.
 */
struct ir_graph {
Matthias Braun's avatar
Matthias Braun committed
458
459
460
461
462
463
464
465
466
	firm_kind   kind;          /**< Always set to k_ir_graph. */
	unsigned    last_node_idx; /**< The last IR node index for this graph. */
	/** The entity of this procedure, i.e., the type of the procedure and the
	 * class it belongs to. */
	ir_entity  *ent;
	/** A type representing the stack frame. Can include "inner" functions. */
	ir_type    *frame_type;
	ir_node    *anchor;        /**< Pointer to the anchor node. */
	struct obstack obst;       /**< obstack allocator for nodes. */
467
468

	/* -- Fields indicating different states of irgraph -- */
469
470
471
472
	ir_graph_properties_t  properties;
	ir_graph_constraints_t constraints;
	op_pin_state           irg_pinned_state;  /**< Flag for status of nodes. */
	irg_callee_info_state  callee_info_state; /**< Validity of callee information. */
Matthias Braun's avatar
Matthias Braun committed
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488

	/* -- Helpers for walking/analysis of the graph -- */
	/** this flag is an identifier for ir walk. it will be incremented every
	 * time someone walks through the graph */
	ir_visited_t     visited;
	ir_visited_t     block_visited; /**< Visited flag for block nodes. */
	ir_visited_t     self_visited;  /**< Visited flag of the irg */
	ir_node        **idx_irn_map;   /**< Map of node indexes to nodes. */
	size_t           index;         /**< a unique number for each graph */
	/** A void* field to link any information to the graph. */
	void            *link;
	void            *be_data; /**< backend can put in private data here */
	unsigned short   dump_nr;       /**< number of graph dumps */

	/* -- Semantic Settings -- */
	unsigned char    mem_disambig_opt;
489
490

	/* -- Fields for construction -- */
Matthias Braun's avatar
Matthias Braun committed
491
492
493
494
	/** Number of local variables in this function including parameters. */
	int      n_loc;
	void   **loc_descriptions; /**< Descriptions for variables. */
	ir_node *current_block;    /**< Block for new_*()ly created nodes. */
495
496

	/* -- Fields for optimizations / analysis information -- */
Matthias Braun's avatar
Matthias Braun committed
497
498
499
500
	/** Hash table for global value numbering (cse) */
	pset               *value_table;
	struct obstack      out_obst;    /**< Space for the Def-Use arrays. */
	bool                out_obst_allocated;
501
	ir_bitinfo          bitinfo;     /**< bit info */
Matthias Braun's avatar
Matthias Braun committed
502
503
504
505
506
507
508
509
510
511
	ir_vrp_info         vrp;         /**< vrp info */
	ir_loop            *loop;        /**< The outermost loop for this graph. */
	ir_dom_front_info_t domfront;    /**< dominance frontier analysis data */
	irg_edges_info_t    edge_info;   /**< edge info for automatic outs */
	ir_graph          **callers;     /**< Callgraph: list of callers. */
	unsigned           *caller_isbe; /**< Callgraph: bitset if backedge info calculated. */
	cg_callee_entry   **callees;     /**< Callgraph: list of callee calls */
	unsigned           *callee_isbe; /**< Callgraph: bitset if backedge info calculated. */
	ir_loop            *l;           /**< For callgraph analysis. */

512
#ifdef DEBUG_libfirm
Matthias Braun's avatar
Matthias Braun committed
513
514
	/** Unique graph number for each graph to make output readable. */
	long             graph_nr;
515
516
#endif
#ifndef NDEBUG
Matthias Braun's avatar
Matthias Braun committed
517
518
519
	/** Debug helper: Phases/Analysis can indicate here which exclusive
	 * resources (e.g. link fields of the graph nodes) they are using. */
	ir_resources_t   reserved_resources;
520
521
522
#endif
};

523
524
525
526
527
528
529
530
/**
 * Data structure that holds central information about a program
 * or a module.
 * One irp is created by libFirm on construction, so irp should never be NULL.
 *
 * - main_irg:  The ir graph that is the entry point to the program.
 *              (Anything not reachable from here may be optimized away
 *              if this irp represents a whole program.
531
532
 * - graphs:    List of all ir graphs in the program or module.
 * - types:     A list containing all types known to the translated program.
533
534
535
 *              Some types can have several entries in this list (as a result of
 *              using exchange_types()).
 */
536
537
538
539
540
541
542
543
544
struct ir_prog {
	ident     *name;                /**< A file name or the like. */
	ir_graph  *main_irg;            /**< The entry point to the compiled program
	                                     or NULL if no point exists. */
	ir_graph **graphs;              /**< A list of all graphs in the ir. */
	ir_graph  *const_code_irg;      /**< This ir graph gives the proper environment
	                                     to allocate nodes the represent values
	                                     of constant entities. It is not meant as
	                                     a procedure.  */
545
	ir_entity *unknown_entity;      /**< unique 'unknown'-entity */
546
	ir_type   *segment_types[IR_SEGMENT_LAST+1];
547
	ir_type  **types;               /**< A list of all types in the ir. */
548
549
	ir_type   *code_type;           /**< unique 'code'-type */
	ir_type   *unknown_type;        /**< unique 'unknown'-type */
550
	ir_type   *dummy_owner;         /**< owner for internal entities */
551
	ir_type   *byte_type;           /**< type for a 'byte' */
552
	ident    **global_asms;         /**< An array of global ASM insertions. */
553
554
555
556
557
558
559
560
561
562
563

	/* -- states of and access to generated information -- */
	irg_callee_info_state callee_info_state; /**< Validity of callee information.
	                                              Contains the lowest value or all irgs.  */
	inh_transitive_closure_state inh_trans_closure_state;  /**< State of transitive closure
	                                                            of inheritance relations. */

	irp_callgraph_state callgraph_state; /**< The state of the callgraph. */
	ir_loop *outermost_cg_loop;          /**< For callgraph analysis: entry point
	                                              to looptree over callgraph. */
	loop_nesting_depth_state lnd_state;  /**< The state of loop nesting depth information. */
564
	ir_entity_usage_computed_state globals_entity_usage_state;
565

566
	ir_label_t last_label_nr;            /**< The highest label number for generating unique labels. */
567
	size_t max_irg_idx;                  /**< highest unused irg index */
568
	long max_node_nr;                    /**< to generate unique numbers for nodes. */
569
	unsigned dump_nr;                    /**< number of program info dumps */
570
	pmap *compilerlib_entities;          /**< maps ident* to ir_entity* of the compilerlib */
571
#ifndef NDEBUG
sebastian.buchwald1's avatar
sebastian.buchwald1 committed
572
	irp_resources_t reserved_resources;  /**< Bitset for tracking used global resources. */
573
#endif
574
575
576
};

#endif