1 /* -------------------------------------------------------------------
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.
8 * Erstellt: Hubert Schmid, 09.06.2002
9 * ---------------------------------------------------------------- */
19 /* Methoden sind "frei", wenn ihr Funktionszeiger (potentiell)
20 *"explizit" bekannt ist, d.h.:
22 * - die Methode ist von außen sichtbar (external_visible).
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, ...
29 * Die main-Methode ist immer in der Menge enthalten.
31 * Die Links an den "ir_node"s werden gelöscht. */
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
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
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);
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_ */