[libfirm] / ir / common / firm.h

/*
 * Project:     libFIRM
 * File name:   ir/common/firm.h
 * Purpose:     Central firm header.
 * Author:      Martin Trapp, Christian Schaefer
 * Modified by: Goetz Lindenmaier
 * Created:
 * CVS-ID:      $Id$
 * Copyright:   (c) 1998-2003 Universität Karlsruhe
 * Licence:     This file protected by GPL -  GNU GENERAL PUBLIC LICENSE.
 */

/**
 @file firm.h

 This documentation no more  maintained since 2001!!!

    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.
*
*/

#ifndef _FIRM_H_
#define _FIRM_H_

#ifdef __cplusplus
extern "C" {
#endif

//  #include "old_fctnames.h"


/* The representations */
#include "firm_common.h"   /* common type tags. */
#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 "tailrec.h"       /* optimize tail-recursion calls */
#include "ircgopt.h"       /* Optimizations based on interprocedural graph */

#include "irouts.h"        /* Graph reversal / out edges. */
#include "irdom.h"         /* Dominator analysis */
#include "cgana.h"         /* Analysis to construct interprocedural graph */
                           /* including some optimizations */
#include "irloop.h"        /* loop and backedge analysis */
#include "callgraph.h"     /* Callgraph construction */

#include "irgmod.h"        /* Support to modify ir */
#include "irgwalk.h"       /* Support to walk ir */
#include "typewalk.h"      /* Support to walk type information */
#include "typegmod.h"      /* Support to modify type graph */
#include "type_identify.h" /* Support for type identification */
#include "mangle.h"        /* Support for mangling ident names. */

#include "firmstat.h"      /* statistics */

/* @@@ temporarily for jni builder until preprocessor works.
   Then it should be sufficient to include <file.h> instead
   of firm.h as not all enums are needed in the implementation
   files. */
#include "irdump.h"
#include "irvrfy.h"
#include "trvrfy.h"

/**
 * libFirm initialization parameters.
 */
struct _firm_parameter_t {
  /**
   * The size of this structure. init_firm() will only initialize
   * this amount of data. This allows to add more fields to this structure
   * without breaking compatibility to older source.
   */
  unsigned int size;

  /**
   * Statistic options. If statistic function where enabled, these
   * flags configure it, see enum firmstat_options_t.
   */
  unsigned enable_statistics;

  /**
   * This function is called, whenever a local variable is
   * used before definition.  The function should either insert a default value,
   * or raise a compiler error/warning.
   */
  default_initialize_local_variable_func_t *initialize_local_func;

  /**
   * The compare function is used to identify equal types.  If not set
   * it is initialized with the function compare_strict().
   */
  compare_types_func_t                     *compare_types_func;
  /**
   * The hash function is used to identify equal types.  It calculates a hash
   * value of a type. Note, that the hash value for equal types must be identical.
   * If not set it is initialized with the function hash_name().
   */
  hash_types_func_t                        *hash_types_func;

};


typedef struct _firm_parameter_t firm_parameter_t;



/**
 * Initialize the firm library.
 *
 * Initializes the firm library.  Allocates default data structures.
 * Initializes configurable behaviour of the library.
 *
 * @param param    This function is called, whenever a local variable is
 * used before definition.  The function should either insert a default value,
 * or raise a compiler error.
 *
 * The parameter func may be NULL. In that case, the original FIRM behavior
 * is conserved.
 *
 * @see default_initialize_local_variable_func_t
 */
void init_firm(const firm_parameter_t *params);

/**
 * Frees all memory occupied by the firm library.
 */
void free_firm(void);

#ifdef __cplusplus
}
#endif

#endif /* _FIRM_H_ */