Karlsruher Institut f¨ ur Technologie
Lehrstuhl f¨ ur Programmierparadigmen
Sprachtechnologie und Compiler, Sommersemester 2014 Dozent: Prof. Dr.-Ing. G. Snelting
Ubungsleiter: Sebastian Buchwald¨ Sebastian.Buchwald@kit.edu Ubungsblatt 10¨ Ausgabe: 1.7.2014 Besprechung: 7.7.2014
Aufgabe 1:SSA-Form und Datenflussanalysen Gegeben sei das folgende Programm:
i n t f ( ) { x = . . . ; y = . . . ;
i f ( . . . ) { while ( . . . ) {
t = x ; x = y ; y = t ; }
}
return x ; }
1.1SSA-Aufbau
Uberf¨¨ uhren Sie das Programm in SSA-Form und geben Sie den zugeh¨origen Kontrollflussgraphen an.
1.2Dominanzbaum
Geben Sie den Dominanzbaum zu ihrem Kontrollflussgraphen an.
1.3Sichtbare Definitionen
F¨uhren Sie eine Reaching-Defintions-Analyse auf ihrem SSA-Programm durch. Was f¨allt Ihnen auf?
1.4Lebendigkeitsanalyse
F¨uhren Sie eine Lebendigkeitsanalyse auf ihrem SSA-Programm durch. Welche Besonderheiten treten im Zu- sammenhang mitφ-Funktionen auf?
1
