nsz Git - libfirm/blob - ir/ana/cgana.h

   1 /* -------------------------------------------------------------------
   2  * $Id$
   3  * -------------------------------------------------------------------
   4  * Intraprozedurale Analyse zur Abschätzung der Aufrulrelation. Es
   5  * wird eine Menge von freien Methoden und anschließend die an den
   6  * Call-Operationen aufrufbaren Methoden bestimmt.
   7  *
   8  * Erstellt: Hubert Schmid, 09.06.2002
   9  * ---------------------------------------------------------------- */
  10
  11
  12 #ifndef _CGANA_H_
  13 #define _CGANA_H_
  14
  15
  16 #include "entity.h"
  17
  18
  19 /* Methoden sind "frei", wenn ihr Funktionszeiger (potentiell)
  20  *"explizit" bekannt ist, d.h.:
  21  *
  22  * - die Methode ist von außen sichtbar (external_visible).
  23  *
  24  * - ihr Funktionszeiger ist "frei", d.h. der Funktionszeiger wurde
  25  *   nicht ausschließlich an den entsprechenden Eingang eines
  26  *   Call-Knotens weitergegeben, sondern z.B. in den Speicher
  27  *   geschrieben, als Parameter übergeben, ...
  28  *
  29  * Die main-Methode ist immer in der Menge enthalten.
  30  *
  31  * Die Links an den "ir_node"s werden gelöscht. */
  32
  33
  34 /* Bestimmt für jede Call-Operation die Menge der aufrufbaren Methode
  35  * und speichert das Ergebnis in der Call-Operation. (siehe
  36  * "set_Call_callee"). Die Methode gibt die Menge der
  37  * "freien" Methoden zurück, die vom Aufrufer wieder freigegeben
  38  * werden muss (free).
  39  *
  40  * Performs some optimizations possible by the analysed information:
  41  *   - Replace SymConst nodes by Const nodes if possible,
  42  *   - Replace (Sel-method(Alloc)) by Const method,
  43  *   - Replaces unreachable Sel nodes by Bad  (@@@ was genau meint unreachable?)
  44  *   - Replaces Sel-method by Const if the Method is never overwritten */
  45 void cgana(int *len, entity ***free_methods);
  46
  47
  48 #endif /* _CGANA_H_ */