PFA.xcc
Benoit Dupont de Dinechin (Benoit.Dupont-de-Dinechin@st.com).
Copyright 2002 - 2007 STMicroelectronics. Copyright 1995 - 1998 Commissariat a l'Energie Atomique.
This program is free software; you can redistribute it and/or modify it under the terms of either (at your option): the GNU General Public License (GPL) version 2; the GNU Lesser General Public License (LGPL) version 2.1; any later version of these licences as published by the Free Software Foundation.
The PFA (Program Flow Analyses) library contains the following modules:
- Liveness Liveness analysis.
- Dominance Dominance analysis.
- LoopForest Loop Forest analysis.
- ValueNumber Value Number services.
- Interference Interference analysis.
- SSAForm SSA Form services.
- SSAConstruct SSA form Construction.
- LiveCheck Variable Live Check.
- Coalescer Variable Coalescer base class.
- Decoalescer Decoalescer out-of-SSA algorithm.
- Boissinot Boissinot out-of-SSA algorithm.
- Sreedhar Sreedhar out-of-SSA algorithm.
Timer— A multi valued timer
struct Timer_;
PFA_TRACE— File handle used to print the PFA traces.
extern FILE *PFA_TRACE; #ifdef ECL_NTRACE #define PFA_TRACE NULL #endif//ECL_NTRACE
MAXLIVE_TRACE— File handle used to print the MAXLIVE traces.
extern FILE *MAXLIVE_TRACE; #ifdef ECL_NTRACE #define MAXLIVE_TRACE NULL #endif//ECL_NTRACE
PFA_TIMER— File handle used to print the PFA time information.
extern FILE *PFA_TIMER; #ifdef ECL_NTIMER #define PFA_TIMER NULL #endif//ECL_TIMER
PFA_STATS— File handle used to print the PFA stats.
extern FILE *PFA_STATS; #ifdef ECL_NTRACE #define PFA_STATS NULL #endif//ECL_NTRACE
Variables used to control PFA in non-release mode.
extern int FORCE_SUPERGROW; extern int FORCE_REUSELIMIT;
PFA_INIT— Initialize the PFA library.
void PFA_INIT(void);
PFA_FINI— Finalize the PFA library.
void PFA_FINI(void);