/* -------------------------------------------------------------------
* $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_ */