nsz Git - libfirm/blob - ir/common/firm.h

   1 /*
   2  * Project:     libFIRM
   3  * File name:   ir/common/firm.h
   4  * Purpose:     Central firm header.
   5  * Author:      Martin Trapp, Christian Schaefer
   6  * Modified by: Goetz Lindenmaier
   7  * Created:
   8  * CVS-ID:      $Id$
   9  * Copyright:   (c) 1998-2003 Universität Karlsruhe
  10  * Licence:     This file protected by GPL -  GNU GENERAL PUBLIC LICENSE.
  11  */
  12
  13 /**
  14  @file firm.h
  15
  16  This documentation no more  maintained since 2001!!!
  17
  18     Central FIRM header.
  19
  20     FIRM is a full graph based intermediate representation in SSA Form
  21     with a novel concept to model side effects.  It allows fast, aggressive
  22     optimizations.
  23
  24     This header is the central header of the library implementation of this
  25     IR.
  26
  27     The internal representation of a program in firm is separated into five
  28     different modules:
  29      - Firm Graphs representing the code of a program. (Subdirectory ir.)
  30        Firm Graphs are assembled out of several data structures:
  31        irprog: represents a program.  Allows access to all types and all
  32          FIRM graphs for procedures and other global things.
  33        irgraph: represents a procedure.  Allows access to the code of the
  34          procedure, the actual FIRM graph.
  35        irnode: A node of a FIRM graph.  Nodes are typed with an opcode and a mode
  36      and represent instructions in a program.
  37        irop: The opcode of FIRM nodes.
  38        irmode: The mode of FIRM nodes.  Most modes correspond to machine known
  39          data types (int, float, pointer).
  40      - Entities representing program known objects. (Subdirectory tr.)
  41        All variables and procedures are entities.
  42      - Types describing the type system for the program. (Subdirectory tr.)
  43      - Target Values representing program known constants. (Subdirectory tv.)
  44      - Identifiers representing any Strings used in the program. (Subdirectory ident.)
  45
  46      Further this library supplies functionality to build and optimize FIRM graphs
  47      and further functionality needed in a compiler.  Finally there is more
  48      generic functionality to support implementations using firm.  (Code generation,
  49      further optimizations).
  50
  51      ircons: Interface to construct firm graphs, implements automatic Phi node
  52        construction.
  53      iropt: Optimizations applied to individual nodes.
  54      irgopt: Optimizations for ir graphs.
  55
  56      irflag: Flags to direct the functionality.
  57      common: dynamic typ check for all nodes,  configuration of the library,
  58      debug:  ???
  59
  60      irgwalk: walker for ir graphs.
  61      irvrfy:  verify the correctness of a firm node.
  62 *
  63 */
  64
  65 #ifndef _FIRM_H_
  66 #define _FIRM_H_
  67
  68 #ifdef __cplusplus
  69 extern "C" {
  70 #endif
  71
  72 /* The representations */
  73 #include "firm_common.h"   /* common type tags. */
  74 #include "irprog.h"        /* control flow and data of a program */
  75 #include "type.h"          /* type representation */
  76 #include "entity.h"        /* entity representation */
  77 #include "tv.h"            /* target values */
  78 #include "ident.h"         /* source code identificators */
  79 /* Functionality */
  80 #include "ircons.h"        /* construct ir */
  81 #include "ircgcons.h"      /* construct interprocedural graph */
  82
  83 #include "irflag.h"        /* optimization flags */
  84 #include "irgopt.h"        /* optimize ir */
  85 #include "reassoc.h"       /* optimize ir by reassociation */
  86 #include "ldstopt.h"       /* optimize Load/Store */
  87 #include "cfopt.h"         /* optimize control flow */
  88 #include "tailrec.h"       /* optimize tail-recursion calls */
  89 #include "ircgopt.h"       /* Optimizations based on interprocedural graph */
  90 #include "strength_red.h"  /* Strength reduction */
  91
  92 #include "irouts.h"        /* Graph reversal / out edges. */
  93 #include "irdom.h"         /* Dominator analysis */
  94 #include "cgana.h"         /* Analysis to construct interprocedural graph */
  95                            /* including some optimizations */
  96 #include "irloop.h"        /* loop and backedge analysis */
  97 #include "callgraph.h"     /* Callgraph construction */
  98
  99 #include "irgmod.h"        /* Support to modify ir */
 100 #include "irgwalk.h"       /* Support to walk ir */
 101 #include "typewalk.h"      /* Support to walk type information */
 102 #include "typegmod.h"      /* Support to modify type graph */
 103 #include "type_identify.h" /* Support for type identification */
 104 #include "mangle.h"        /* Support for mangling ident names. */
 105
 106 #include "irarch.h"        /* architecture dependant optimizations */
 107 //#include "modeconv.h"      /* architecture dependant mode conversion */
 108
 109 #include "firmstat.h"      /* statistics */
 110
 111 #include "irreflect.h"     /* reflection */
 112
 113 /* @@@ temporarily for jni builder until preprocessor works.
 114    Then it should be sufficient to include <file.h> instead
 115    of firm.h as not all enums are needed in the implementation
 116    files. */
 117 #include "irdump.h"
 118 #include "irvrfy.h"
 119 #include "trvrfy.h"
 120
 121 /* Makros that define the old function names we decided to rename.
 122    Use for compatibility with old implementations. */
 123 #include "old_fctnames.h"
 124
 125 /**
 126  * libFirm initialization parameters.
 127  */
 128 struct _firm_parameter_t {
 129   /**
 130    * The size of this structure. init_firm() will only initialize
 131    * this amount of data. This allows to add more fields to this structure
 132    * without breaking compatibility to older source.
 133    */
 134   unsigned int size;
 135
 136   /**
 137    * Statistic options. If statistic function where enabled, these
 138    * flags configure it, see enum firmstat_options_t.
 139    */
 140   unsigned enable_statistics;
 141
 142   /**
 143    * This function is called, whenever a local variable is
 144    * used before definition.  The function should either insert a default value,
 145    * or raise a compiler error/warning.
 146    */
 147   default_initialize_local_variable_func_t *initialize_local_func;
 148
 149   /**
 150    * The interface functions for the type identification module.
 151    * If not set, the default implementation with compare_strict() and
 152    * hash_name() will be used.
 153    */
 154   type_identify_if_t *ti_if;
 155
 156   /**
 157    * The interface for the ident module.
 158    * If not set, the default libFirm ident module (using hash sets).
 159    */
 160   ident_if_t *id_if;
 161 };
 162
 163
 164 typedef struct _firm_parameter_t firm_parameter_t;
 165
 166
 167
 168 /**
 169  * Initialize the firm library.
 170  *
 171  * Initializes the firm library.  Allocates default data structures.
 172  * Initializes configurable behaviour of the library.
 173  *
 174  * @param param    This function is called, whenever a local variable is
 175  * used before definition.  The function should either insert a default value,
 176  * or raise a compiler error.
 177  *
 178  * The parameter func may be NULL. In that case, the original FIRM behavior
 179  * is conserved.
 180  *
 181  * @see default_initialize_local_variable_func_t
 182  */
 183 void init_firm(const firm_parameter_t *params);
 184
 185 /**
 186  * Frees all memory occupied by the firm library.
 187  */
 188 void free_firm(void);
 189
 190 #ifdef __cplusplus
 191 }
 192 #endif
 193
 194 #endif /* _FIRM_H_ */