Pok-13-wyk-Slajd21
Z Studia Informatyczne
Optymalizacje – propagacja kopii
Propagacja kopiowania jest transformacją pomocniczą, która sama nie ulepsza kodu, ale daje możliwość wykonania innych transformacji. Ogólna idea propagacji kopiowania jest prosta: po instrukcji a:=b wystąpienia zmiennej a zastępujemy przez b dopóty a i b nie zmieniają swoich wartości (czyli nie występuje ani instrukcja a:=..., ani b:= ...).
W przedstawionym przykładzie odwołanie do zmiennej x zostało zastąpione przez odwołanie do zmiennej tymczasowej t13.