GenCode:
begin
•Zavolej GetReg pro výběr
registru R pro b
•if b není v R then generate(”load R,b”)
•if c je v S then
generate(”add R,S”)
else generate(”add R,c”)
//
znamená, že c je v paměti
•Modifikuj TR & TA
tak, aby určovaly, že současná hodnota
proměnné a je v
registru R
•if c je v S and c je „dead“ and c má další použití nastaveny na „none“ then nastav stav proměnné S v TR
jako „free“
end;