TU Wien:Optimierende Übersetzer VU (Knoop)/Prüfung WS2012

Zuerst fragt er was man ihm denn gerne erzählen will :-)

Fragen:

 * Was ist eine Analyse
 * Ein Beispiel für eine Klasse von Analysen (Bitvektor Analysen)
 * Ein Beispiel für eine Bitvektor Analyse (Available Expressions)
 * Ein Beispiel für eine nicht Bitvektor Analyse (Simple Constants)
 * Warum ist Simple Constants nicht distributiv, ein Beispiel an dem man das sieht.
 * Meet over all Paths und Maximum Fixed Point Lösung
 * Was bedeutet es wenn das Analysefunktional monoton/distributiv ist.
 * Ascending chain condition und deren Auswirkung auf Termination.
 * Was ist Partial Redundancy Elimination
 * Wann ist eine Code Motion transformation 'berechnungs-besser', 'berechnungs-optimal'.
 * Ist 'berechnungs-besser' eine partielle Ordnung, Halbordnung, Totalordnung, etc.
 * Ist 'code-größen-besser' eine partielle Ordnung, Halbordnung, Totalordnung, etc.
 * Ist Sparse Code Motion ein Bitvektor Problem (nein), was ist das Prinzip dahinter (tight sets, earliestnes frontier)
 * Was ist Partial Dead Code Elimination
 * Was ist das Problem mit Code Placement und Optimalität