added missing includes.
[libfirm] / ir / common / firm.h
index add3710..58d21d1 100644 (file)
@@ -1,21 +1,83 @@
 /* Copyright (C) 1998 - 2000 by Universitaet Karlsruhe
 ** All rights reserved.
 **
-** Authors: Martin Trapp, Christian Schaefer
+** Authors: Martin Trapp, Christian Schaefer, Goetz Lindenmaier.
+**
+** firm.h: Central FIRM header.
+**
+**
+**
+**
+    FIRM is a full graph based intermediate representation in SSA Form
+    with a novel concept to model side effects.  It allows fast, aggressive
+    optimizations.
+
+    This header is the central header of the library implementation of this
+    IR.
+
+    The internal representation of a program in firm is separated into five
+    different modules:
+     - Firm Graphs representing the code of a program. (Subdirectory ir.)
+       Firm Graphs are assembled out of several data structures:
+       irprog: represents a program.  Allows access to all types and all
+         FIRM graphs for procedures and other global things.
+       irgraph: represents a procedure.  Allows access to the code of the
+         procedure, the actual FIRM graph.
+       irnode: A node of a FIRM graph.  Nodes are typed with an opcode and a mode
+        and represent instructions in a program.
+       irop: The opcode of FIRM nodes.
+       irmode: The mode of FIRM nodes.  Most modes correspond to machine known
+         data types (int, float, pointer).
+     - Entities representing program known objects. (Subdirectory tr.)
+       All variables and procedures are entities.
+     - Types describing the type system for the program. (Subdirectory tr.)
+     - Target Values representing program known constants. (Subdirectory tv.)
+     - Identifiers representing any Strings used in the program. (Subdirectory ident.)
+
+     Further this library supplies functionality to build and optimize FIRM graphs
+     and further functionality needed in a compiler.  Finally there is more
+     generic functionality to support implementations using firm.  (Code generation,
+     further optimizations).
+
+     ircons: Interface to construct firm graphs, implements automatic Phi node
+       construction.
+     iropt: Optimizations applied to individual nodes.
+     irgopt: Optimizations for ir graphs.
+
+     irflag: Flags to direct the functionality.
+     common: dynamic typ check for all nodes,  configuration of the library,
+     debug:  ???
+
+     irgwalk: walker for ir graphs.
+     irvrfy:  verify the correctness of a firm node.
 **
-** firm.h: initialize the firm tree with all its components
 */
 
+/* $Id$ */
+
 # ifndef _FIRM_H_
 # define _FIRM_H_
 
+/* The representations */
+# include "irprog.h"     /* control flow and data of a program */
+# include "type.h"       /* type representation */
+# include "entity.h"     /* entity representation */
+# include "tv.h"         /* target values */
+# include "ident.h"      /* source code identificators */
+/* Functionality */
+# include "ircons.h"     /* construct ir */
+# include "ircgcons.h"   /* construct interprocedural graph */
+
+# include "irflag.h"     /* optimization flags */
+# include "irgopt.h"     /* optimize ir */
+# include "ircgopt.h"    /* Optimizations based on interprocedural graph */
 
-# include "entity.h"
-# include "ircons.h"
-# include "type.h"
-# include "iropt.h"
-# include "xprintf.h"
+# include "irdom.h"      /* Dominator analysis */
+# include "cgana.h"      /* Analysis to construct interprocedural graph
+                           including some optimizations */
 
+# include "irgmod.h"     /* Support to modify ir */
+# include "irgwalk.h"    /* Support to walk ir */
 
 /* initialize firm */
 void init_firm (void);