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
  35 /* Analyses a rough estimation of the possible call graph.
  36  * Bestimmt für jede Call-Operation die Menge der aufrufbaren Methode
  37  * und speichert das Ergebnis in der Call-Operation. (siehe
  38  * "set_Call_callee"). Die Methode gibt die Menge der
  39  * "freien" Methoden zurück, die vom Aufrufer wieder freigegeben
  40  * werden muss (free).
  41  * The algorithm implements roughly Static Class Hierarchy Analysis
  42  * as described in "Optimization of Object-Oriented Programs Using
  43  * Static Class Hierarchy Analysis" by Jeffrey Dean and David Grove
  44  * and Craig Chambers.
  45  *
  46  * Performs some optimizations possible by the analysed information:
  47  *   - Replace SymConst nodes by Const nodes if possible,
  48  *   - Replace (Sel-method(Alloc)) by Const method,
  49  *   - Replaces unreachable Sel nodes by Bad  (@@@ was genau meint unreachable?)
  50  *   - Replaces Sel-method by Const if the Method is never overwritten */
  51 /* @@@ I assume this can not be called via JNI :-( */
  52 void cgana(int *len, entity ***free_methods);
  53
  54 /* Optimize the address expressions passed to call nodes.
  55  * Performs only the optimizations done by cgana. */
  56 /* @@@ move to irgopt ?! */
  57 /* @@@ not fully implemented as buggy !!!  */
  58 void opt_call_addrs(void);
  59 #endif /* _CGANA_H_ */