X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=include%2Flibfirm%2Firprog.h;h=6fff640f5b66d28084a14877a0994b721f342e99;hb=b4b6a3c36c9226b69d08a0d78415031d63d0f204;hp=c133e0f0ceae18ba1aa3a000dddf57753fed5fbb;hpb=eb7ac83b870791219e7a50cc262f2f1ee9c01b39;p=libfirm diff --git a/include/libfirm/irprog.h b/include/libfirm/irprog.h index c133e0f0c..6fff640f5 100644 --- a/include/libfirm/irprog.h +++ b/include/libfirm/irprog.h @@ -22,12 +22,22 @@ * @brief Entry point to the representation of a whole program. * @author Goetz Lindenmaier * @date 2000 - * @version $Id$ * @brief * Intermediate Representation (IR) of a program. * - * This file defines a construct that keeps all information about a - * program: + */ +#ifndef FIRM_IR_IRPROG_H +#define FIRM_IR_IRPROG_H + +#include +#include "firm_types.h" +#include "irgraph.h" +#include "begin.h" + +/** + * @defgroup ir_prog Program + * + * ir_prog keeps information about a program: * - A reference point to the method to be executed on program start. * - A list of all procedures. * - A list of all types. @@ -37,15 +47,16 @@ * all classes in a class hierarchy (as, e.g., "object" in java). * - A degenerated graph that contains constant expressions. * - the output file name + * + * @{ */ -#ifndef FIRM_IR_IRPROG_H -#define FIRM_IR_IRPROG_H - -#include -#include "firm_types.h" -#include "irgraph.h" -#include "begin.h" +/** + * Segment + * + * A progrom has a number of special segments at the toplevel which modify + * the behaviour of the entities in them. + */ typedef enum ir_segment_t { IR_SEGMENT_FIRST, /** "normal" global data */ @@ -74,18 +85,35 @@ ENUM_COUNTABLE(ir_segment_t) */ FIRM_API ir_prog *irp; +/** + * Resources usable by algorithms modifying the program + */ typedef enum irp_resources_t { - IRP_RESOURCE_NONE = 0, + IRP_RESOURCE_NONE = 0, /**< no resource */ + /** irg link field @see set_irg_link(), get_irg_link() */ IRP_RESOURCE_IRG_LINK = 1 << 0, + /** entity link field @see set_entity_link(), get_entity_link() */ IRP_RESOURCE_ENTITY_LINK = 1 << 1, + /** type visited field @see type_visited(), mark_type_visited(), + * inc_master_type_visited() */ IRP_RESOURCE_TYPE_VISITED = 1 << 2, + /** type link field @see set_type_link(), get_type_link() */ IRP_RESOURCE_TYPE_LINK = 1 << 3, } irp_resources_t; ENUM_BITSET(irp_resources_t) #ifndef NDEBUG +/** + * Reserve resources available for a whole program. + * + * This is a debug tool: All code should properly allocate the resources it uses + * so if two interlocked algorithms use the same resources that bug will get + * detected. + */ FIRM_API void irp_reserve_resources(ir_prog *irp, irp_resources_t resources); +/** Frees resources availabel for a whole program. */ FIRM_API void irp_free_resources(ir_prog *irp, irp_resources_t resources); +/** Returns currently reserved whole program resources. */ FIRM_API irp_resources_t irp_resources_reserved(const ir_prog *irp); #else #define irp_reserve_resources(irp, resources) (void)0 @@ -101,9 +129,7 @@ FIRM_API irp_resources_t irp_resources_reserved(const ir_prog *irp); */ FIRM_API ir_prog *get_irp(void); -/** - * Set current irp - */ +/** Sets current irp */ FIRM_API void set_irp(ir_prog *irp); /** @@ -114,7 +140,7 @@ FIRM_API void set_irp(ir_prog *irp); */ FIRM_API ir_prog *new_ir_prog(const char *name); -/** frees all memory used by irp. Types in type list and irgs in irg +/** Frees all memory used by irp. Types in type list and irgs in irg * list must be freed by hand before. */ FIRM_API void free_ir_prog(void); @@ -125,13 +151,13 @@ FIRM_API void set_irp_prog_name(ident *name); /** Returns true if the user ever set a program name */ FIRM_API int irp_prog_name_is_set(void); -/** Gets the name of the current irp. */ +/** Returns the name of the current irp. */ FIRM_API ident *get_irp_ident(void); -/** Gets the name of the current irp. */ +/** Returns the name of the current irp. */ FIRM_API const char *get_irp_name(void); -/** Gets the main routine of the compiled program. */ +/** Returns the main routine of the compiled program. */ FIRM_API ir_graph *get_irp_main_irg(void); /** Sets the main routine of the compiled program. */ @@ -186,13 +212,6 @@ FIRM_API ir_type *get_glob_type(void); */ FIRM_API ir_type *get_tls_type(void); -/** Adds type to the list of types in irp. */ -FIRM_API void add_irp_type(ir_type *typ); - -/** Removes type from the list of types, deallocates it and - shrinks the list by one. */ -FIRM_API void remove_irp_type(ir_type *typ); - /** * Returns the number of all types in the irp. * @deprecated @@ -211,30 +230,7 @@ FIRM_API ir_type *get_irp_type(size_t pos); */ FIRM_API void set_irp_type(size_t pos, ir_type *typ); -/** Returns the number of all modes in the irp. */ -FIRM_API size_t get_irp_n_modes(void); - -/** Returns the mode at position pos in the irp. */ -FIRM_API ir_mode *get_irp_mode(size_t pos); - -/** Adds opcode to the list of opcodes in irp. */ -FIRM_API void add_irp_opcode(ir_op *opcode); - -/** Removes opcode from the list of opcodes, deallocates it and - shrinks the list by one. */ -FIRM_API void remove_irp_opcode(ir_op *opcode); - -/** Returns the number of all opcodes in the irp. */ -FIRM_API size_t get_irp_n_opcodes(void); - -/** Returns the opcode at position pos in the irp. */ -FIRM_API ir_op *get_irp_opcode(size_t pos); - -/** Sets the generic function pointer of all opcodes to NULL */ -FIRM_API void clear_irp_opcodes_generic_func(void); - - -/** Return the graph for global constants of the current irp. +/** Returns the graph for global constants of the current irp. * * Returns an irgraph that only contains constant expressions for * constant entities. Do not use any access function for this @@ -247,37 +243,12 @@ FIRM_API void clear_irp_opcodes_generic_func(void); */ FIRM_API ir_graph *get_const_code_irg(void); - -/** The phase state for the program. - * - * The phase state of the whole program is - * building: if at least one graph is state_building - * or one type is incomplete. - * high: all graphs are in state high or low, all types are constructed. - * low: all graphs are in state low, all types are in state layout fixed. - */ -FIRM_API irg_phase_state get_irp_phase_state(void); -FIRM_API void set_irp_phase_state(irg_phase_state s); - -FIRM_API irg_outs_state get_irp_ip_outs_state(void); -FIRM_API void set_irp_ip_outs_inconsistent(void); - -/** - * Creates an ir_prog pass for set_irp_phase_state(). - * - * @param name the name of this pass or NULL - * @param state the state to set - * - * @return the newly created ir_prog pass - */ -FIRM_API ir_prog_pass_t *set_irp_phase_state_pass(const char *name, - irg_phase_state state); - +/** Returns callee info state for the whole program. + * @see get_irg_callee_info_state() */ FIRM_API irg_callee_info_state get_irp_callee_info_state(void); -FIRM_API void set_irp_callee_info_state(irg_callee_info_state s); - -/** Returns a new, unique exception region number. */ -FIRM_API ir_exc_region_t get_irp_next_region_nr(void); +/** Sets callee info state for the whole program. + * @see set_irg_callee_info_state() */ +FIRM_API void set_irp_callee_info_state(irg_callee_info_state s); /** Returns a new, unique label number. */ FIRM_API ir_label_t get_irp_next_label_nr(void); @@ -285,12 +256,14 @@ FIRM_API ir_label_t get_irp_next_label_nr(void); /** Add a new global asm include. */ FIRM_API void add_irp_asm(ident *asm_string); -/** Return the number of global asm includes. */ +/** Returns the number of global asm includes. */ FIRM_API size_t get_irp_n_asms(void); -/** Return the global asm include at position pos. */ +/** Returns the global asm include at position pos. */ FIRM_API ident *get_irp_asm(size_t pos); +/** @} */ + #include "end.h" #endif