SSAForm.xcc

Benoit Dupont de Dinechin (Benoit.Dupont-de-Dinechinst.com). Fabrice Rastello (Fabrice.Rastelloens-lyon.fr).

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.

SSAForm— SSA Form for a CodeRegion.
struct SSAForm_;
SSAForm_makeConventional— Make this SSAForm conventional.
void
SSAForm_makeConventional(SSAForm this, TemporaryTable temporaryTable);
SSAForm_memory— This SSAForm Memory.
Memory
SSAForm_memory(SSAForm this);
SSAForm_codeRegion— This SSAForm CodeRegion.
CodeRegion
SSAForm_codeRegion(SSAForm this);
SSAForm_makeOrderings— Make Operation ordering for this SSAForm.
void
SSAForm_makeOrderings(SSAForm this, int32_t increment);
SSAForm_makeDominance— Make pre-dominance for this SSAForm.
Dominance
SSAForm_makeDominance(SSAForm this, DominanceFlags flags);
SSAForm_killDominance— Kill this SSAForm pre-dominance.

Must be called to invalidate DOMINANCE after the control-flow graph is changed.

void
SSAForm_killDominance(SSAForm this);
SSAForm_variables— For use by SSAForm_FOREACH_Variable.
IBList
SSAForm_variables(SSAForm this);
SSAForm_FOREACH_Variable— Iterate this SSAForm Variable(s).
#define SSAForm_FOREACH_Variable(this, variable) \
  IBList_FOREACH(SSAForm_variables(this), Variable_, variable)
#define SSAForm_ENDEACH_Variable \
  IBList_ENDEACH;
SSAForm_isStrict— Verify that this SSAForm is strict.
Require
SSAForm_makeDominance updated.
bool
SSAForm_isStrict(const_SSAForm this);
SSAForm_fillTemporaryTable— Fill the TemporaryTable with Variable(s).
void
SSAForm_fillTemporaryTable(SSAForm this, TemporaryTable table);
SSAForm_checkProducerConsumers— Check validity Variable PRODUCER and CONSUMER.
bool
SSAForm_checkOrderings(SSAForm this);
SSAForm_checkProducerConsumers— Check validity Variable PRODUCER and CONSUMER.
bool
SSAForm_checkProducerConsumers(SSAForm this);
SSAForm_pretty— Pretty-print this SSAForm.
bool
SSAForm_pretty(SSAForm this, FILE *file);
SSAForm_display— Display this SSAForm in VCG format.
bool
SSAForm_display(SSAForm this, FILE *file, const char *name);