Programmanalyse zum Durchklicken

(1)

int optimizeMe() { int x = 1;

while (random() < 0.5) { x = 2 - x;

}

return x;

}

=⇒

int optimizeMe() {

return 1;

}

p∈preds[S]

REACHout[S] = GEN[S]∪(REACH_in– KILL[S]) GEN[d : y←f(x₁,· · ·, xn)] ={d}

KILL[d : y←f(x₁,· · · , xn)] = DEFS[y] –{d}

(2)

int optimizeMe() { int x = 1;

while (random() < 0.5) { x = 2 - x;

}

return x;

}

=⇒

int optimizeMe() {

return 1;

}

REACH_in[S] = [

p∈preds[S]

REACH_out[p]

REACHout[S] = GEN[S]∪(REACH_in– KILL[S]) GEN[d : y←f(x₁,· · ·, xn)] ={d}

KILL[d : y←f(x₁,· · · , xn)] = DEFS[y] –{d}

(3)

(4)

(5)

(6)

(7)

Grober Umriss:

I Interesse an Compilern, Optimierungen

I Java empfohlen, aber kein Zwang

I Empfehlungen f¨ur Bibliotheken, aber kein Zwang

(8)

Grober Umriss:

I Interesse an Compilern, Optimierungen (Keine Angst, wir erkl¨aren’s euch)

I Java empfohlen, aber kein Zwang

I Empfehlungen f¨ur Bibliotheken, aber kein Zwang