XFA.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 XFA (eXtra Flow Analyses) library contains the following modules:
- Issue Issue, IssueGroup and IssueTable.
- Effect Operation Effect and EffectTable.
- CFGraph Control-Flow Graph (to be replaced).
- RegionFlow Region Flow (to be replaced).
- Lifetime Temporary Lifetime in a schedule.
- BlockTrace Basic Block Trace (to be replaced).
- DDGraph Data Dependence Graph.
Variables used to control XFA in non-release mode.
extern int FORCE_POSTCOMP; extern int FORCE_POSTSPEC; extern int FORCE_KUNROLL; extern int FORCE_PRESERIAL; extern int FORCE_POSTSERIAL; extern unsigned DEBUG_BOOSTABLE; extern unsigned DEBUG_SPECULABLE; extern unsigned DEBUG_COMPENSABLE;
XFA_INIT— Initialize the XFA library.
void XFA_INIT(void);
XFA_FINI— Finalize the XFA library.
void XFA_FINI(void);