Dostupný výraz

Aktuální verze stránky ještě nebyla zkontrolována zkušenými přispěvateli a může se výrazně lišit od verze recenzované 20. července 2019; kontroly vyžadují 5 úprav .

Dostupný výraz ( angl. Available expression ) v teorii konstruování kompilátorů - nějaký výraz v bodě , pokud nějaká cesta od vstupního uzlu k výpočtům a po posledním výpočtu před dosažením nedochází k následným přiřazením k proměnným a [1] . $x+y$ $p$ $p$ $x+y$ $p$ $X$ $y$

Blok zničí výraz , pokud přiřadí (nebo může přiřadit) a poté jej nepřehodnotí . $x+y$ $X$ $y$ $x+y$
Blok vygeneruje výraz , pokud vyhodnotí a neprovede následné redefinice a . $x+y$ $x+y$ $X$ $y$

Hlavním využitím informací o dostupných výrazech je hledání globálních společných podvýrazů [1] .

Můžete vyhodnotit sadu vygenerovaných výrazů pro každý bod bloku od začátku do konce bloku. V bodě před blokem nejsou žádné vygenerované výrazy. Pokud je v bodě k dispozici množina výrazů a a je bod za s instrukcí mezi nimi, vytvoříme množinu výrazů dostupných v následujícím způsobem: [1] $p$ $S$ $q$ $p$ $x=y+z$ $q$

Přidáme k výrazu . $S$ $y+z$
Odstraňujeme ze všech výrazů, které obsahují proměnnou . $S$ $X$

Popsané kroky musí být provedeny v určeném pořadí, protože může být stejné jako nebo . Po dosažení konce bloku bude množina vygenerovaných výrazů bloku. Množina zničených výrazů je množina všech výrazů, například takových, které jsou v bloku definovány nebo a blok se nevygeneruje [2] . $X$ $y$ $z$ $S$ $y+z$ $y$ $z$ $y+z$

Poznámky

↑ 1 2 3 Kompilátory: principy, technologie a nástroje, 2008 , str. 735.
↑ Kompilátory: principy, technologie a nástroje, 2008 , str. 736.

Literatura

Alfred Aho, Monica Lam, Ravi Seti, Jeffrey Ullman. Kompilátory : Principy, techniky a nástroje = Kompilátory: Principy, techniky a nástroje. — 2. vydání. - M .: "Williams", 2008. - 1184 s. - 1500 výtisků. - ISBN 978-5-8459-1349-4 .