X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fana%2Fcgana.h;h=8eadc3562f487f84a6b729469b76c6af7e205fea;hb=a7a54b4eb512dcc5e0be95fcb5ca95e4e2e893a9;hp=77b4c9bb0442dd923e56bf026be870651d024277;hpb=fe1e62d9503f211c7829369b0e6550744c4de948;p=libfirm diff --git a/ir/ana/cgana.h b/ir/ana/cgana.h index 77b4c9bb0..8eadc3562 100644 --- a/ir/ana/cgana.h +++ b/ir/ana/cgana.h @@ -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 @@ -19,30 +19,42 @@ /* 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_ */