First part of commit removing xprintf to make later merging easier
[libfirm] / ir / ana / cgana.h
index 77b4c9b..8eadc35 100644 (file)
@@ -1,8 +1,8 @@
 /* -------------------------------------------------------------------
  * $Id$
  * -------------------------------------------------------------------
- * Intraprozedurale Analyse zur Abschätzung der Aufrulrelation. Es
- * wird eine Menge von freien Methoden und anschließend die an den
+ * Intraprozedurale Analyse zur Abschaetzung der Aufrulrelation. Es
+ * wird eine Menge von freien Methoden und anschliessend die an den
  * Call-Operationen aufrufbaren Methoden bestimmt.
  *
  * Erstellt: Hubert Schmid, 09.06.2002
 /* Methoden sind "frei", wenn ihr Funktionszeiger (potentiell)
  *"explizit" bekannt ist, d.h.:
  *
- * - die Methode ist von außen sichtbar (external_visible).
+ * - die Methode ist von aussen sichtbar (external_visible).
  *
  * - ihr Funktionszeiger ist "frei", d.h. der Funktionszeiger wurde
- *   nicht ausschließlich an den entsprechenden Eingang eines
+ *   nicht ausschliesslich an den entsprechenden Eingang eines
  *   Call-Knotens weitergegeben, sondern z.B. in den Speicher
- *   geschrieben, als Parameter übergeben, ...
+ *   geschrieben, als Parameter uebergeben, ...
  *
  * Die main-Methode ist immer in der Menge enthalten.
  *
- * Die Links an den "ir_node"s werden gelöscht. */
+ * Die Links an den "ir_node"s werden geloescht. */
 
 
-/* Bestimmt für jede Call-Operation die Menge der aufrufbaren Methode
- * und speichert das Ergebnis in der Call-Operation. (siehe
- * "set_Call_callee"). Die Methode gibt die Menge der
- * "freien" Methoden zurück, die vom Aufrufer wieder freigegeben
- * werden muss (free).
+
+/** Analyses a rough estimation of the possible call graph.
+ *
+ *  Bestimmt fuer jede Call-Operation die Menge der aufrufbaren Methode
+ *  und speichert das Ergebnis in der Call-Operation. (siehe
+ *  "set_Call_callee"). Die Methode gibt die Menge der
+ *  "freien" Methoden zurueck, die vom Aufrufer wieder freigegeben
+ *  werden muss (free).
+ *  The algorithm implements roughly Static Class Hierarchy Analysis
+ *  as described in "Optimization of Object-Oriented Programs Using
+ *  Static Class Hierarchy Analysis" by Jeffrey Dean and David Grove
+ *  and Craig Chambers.
  *
- * Performs some optimizations possible by the analysed information:
- *   - Replace SymConst nodes by Const nodes if possible,
- *   - Replace (Sel-method(Alloc)) by Const method,
- *   - Replaces unreachable Sel nodes by Bad  (@@@ was genau meint unreachable?)
- *   - Replaces Sel-method by Const if the Method is never overwritten */
+ *  Performs some optimizations possible by the analysed information:
+ *    - Replace SymConst nodes by Const nodes if possible,
+ *    - Replace (Sel-method(Alloc)) by Const method,
+ *    - Replaces unreachable Sel nodes by Bad  (@@@ was genau meint unreachable?)
+ *    - Replaces Sel-method by Const if the Method is never overwritten */
+/*  @@@ I assume this can not be called via JNI :-( -- how to obtain the array pointer? */
 void cgana(int *len, entity ***free_methods);
 
-
+/* Optimize the address expressions passed to call nodes.
+ * Performs only the optimizations done by cgana. */
+/* @@@ move to irgopt ?! */
+/* @@@ not fully implemented as buggy !!!  */
+void opt_call_addrs(void);
 #endif /* _CGANA_H_ */