- implemented a pass manager, so optimizations could be added in advance to "a pass...
[libfirm] / include / libfirm / irprog.h
index 394df4d..3828939 100644 (file)
 #include "firm_types.h"
 #include "irgraph.h"
 
+typedef enum ir_segment_t {
+       IR_SEGMENT_FIRST,
+       /** "normal" global data */
+       IR_SEGMENT_GLOBAL = IR_SEGMENT_FIRST,
+       /** thread local storage segment */
+       IR_SEGMENT_THREAD_LOCAL,
+       /**
+        * the constructors segment. Contains pointers to functions which are
+        * executed on module initialization (program start or when a library is
+        * dynamically loaded)
+        */
+       IR_SEGMENT_CONSTRUCTORS,
+       /** like constructors, but functions are executed on module exit */
+       IR_SEGMENT_DESTRUCTORS,
+
+       IR_SEGMENT_COUNT
+} ir_segment_t;
+
 /**
- * Datastructure that holds central information about a program
- *
- * Preliminary documentation ;-)
+ * 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 we want to translate libraries or the like correctly
- *              we must replace this by a list.)
- * - irg:       List of all ir graphs in the program.
+ *              (Anything not reachable from here may be optimized away
+ *              if this irp represents a whole program.
+ * - irg:       List of all ir graphs in the program or module.
  * - type:      A list containing all types known to the translated program.
  *              Some types can have several entries in this list (as a result of
  *              using exchange_types()).
- * - glob_type: The unique global type that is owner of all global entities.
- *
+ * - glob_type: The unique global type that is owner of all global entities
+ *              of this module.
  */
 typedef struct ir_prog ir_prog;
 
 /**
- * A variable from where everything in the ir can be accessed.
- * This variable contains the irp, the "immediate representation program".
+ * A variable pointing to the current irp (program or module).
  * This variable should be considered constant. Moreover, one should use get_irp()
  * to get access the the irp.
  *
  * @note
- *     Think of the irp as the "handle" of libFirm.
+ *     Think of the irp as the "handle" of a program.
  */
 extern ir_prog *irp;
 
+#ifndef NDEBUG
+void irp_reserve_resources(ir_prog *irp, ir_resources_t resources);
+void irp_free_resources(ir_prog *irp, ir_resources_t resources);
+ir_resources_t irp_resources_reserved(const ir_prog *irp);
+#else
+#define irp_reserve_resources(irp, resources)
+#define irp_free_resources(irp, resources)
+#define irp_resources_reserved(irp)   0
+#endif
+
 /**
- * Returns the access points from where everything in the ir can be accessed.
+ * Returns the current irp from where everything in the current module
+ * can be accessed.
  *
  * @see irp
  */
 ir_prog *get_irp(void);
 
-/** Creates a new ir_prog, returns it and sets irp with it.
- *  Automatically called by init_firm() through init_irprog. */
-ir_prog *new_ir_prog(void);
+/**
+ * Creates a new ir_prog (a module or compilation unit),
+ * returns it and sets irp with it.
+ *
+ * @param module_name  the name of this irp (module)
+ */
+ir_prog *new_ir_prog(const char *name);
 
 /** frees all memory used by irp.  Types in type list and irgs in irg
  *  list must be freed by hand before. */
@@ -97,13 +128,11 @@ void set_irp_prog_name(ident *name);
 /** Returns true if the user ever set a program name */
 int irp_prog_name_is_set(void);
 
-/** Gets the file name / executable name or the like.
- */
-ident *get_irp_prog_ident(void);
+/** Gets the name of the current irp. */
+ident *get_irp_ident(void);
 
-/** Gets the file name / executable name or the like.
- */
-const char *get_irp_prog_name (void);
+/** Gets the name of the current irp. */
+const char *get_irp_name(void);
 
 /** Gets the main routine of the compiled program. */
 ir_graph *get_irp_main_irg(void);
@@ -111,7 +140,7 @@ ir_graph *get_irp_main_irg(void);
 /** Sets the main routine of the compiled program. */
 void set_irp_main_irg(ir_graph *main_irg);
 
-/** Adds irg to the list of ir graphs in irp. */
+/** Adds irg to the list of ir graphs in the current irp. */
 void add_irp_irg(ir_graph *irg);
 
 /** Removes irg from the list of irgs and
@@ -140,9 +169,17 @@ int get_irp_n_allirgs(void);
  pseudo graphs).  Visits first graphs, then pseudo graphs. */
 ir_graph *get_irp_allirg(int pos);
 
+/**
+ * Returns the type containing the entities for a segment.
+ *
+ * @param segment  the segment
+ */
+ir_type *get_segment_type(ir_segment_t segment);
+
 /**
  * Returns the "global" type of the irp.
  * Upon creation this is an empty class type.
+ * This is a convenience function for get_segment_type(IR_SEGMENT_GLOBAL)
  */
 ir_type *get_glob_type(void);
 
@@ -191,7 +228,7 @@ ir_op *get_irp_opcode(int pos);
 void clear_irp_opcodes_generic_func(void);
 
 
-/**  Return the graph for global constants.
+/**  Return 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
@@ -229,4 +266,13 @@ ir_exc_region_t get_irp_next_region_nr(void);
 /** Returns a new, unique label number. */
 ir_label_t get_irp_next_label_nr(void);
 
+/** Add a new global asm include. */
+void add_irp_asm(ident *asm_string);
+
+/** Return the number of global asm includes. */
+int get_irp_n_asms(void);
+
+/** Return the global asm include at position pos. */
+ident *get_irp_asm(int pos);
+
 #endif