Datenflußanalyse

Datenflußgleichungen
Wenn der erste Befehl eines Grundblocks ausgeführt wird,
dann auch alle anderen.
in[b] Definitionen, die den Block erreichen
out[b] Definitionen, die den Block verlassen
By
Y
Bx
N
Bz
Eine Definition erreicht einen Block, wenn sie einen der
Vorgängerblöcke verlassen hat.
in[b] = ∪ p∈P RED[b] out[p]
Eine Definition verläßt einen Block, wenn sie entweder in
ihm erzeugt wurde oder ihn erreicht hat und nicht zerstört
wurde.
out[b] = GEN[b] ∪ (in[b] \ KILL[b])
10