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. */
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
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);
47 /* Performs only the optimizations done by cgana. */
48 /* @@@ move to irgopt ?! */
49 void opt_call_addrs(void);
50 #endif /* _CGANA_H_ */