Expresie disponibilă

Versiunea actuală a paginii nu a fost încă examinată de colaboratori experimentați și poate diferi semnificativ de versiunea revizuită pe 20 iulie 2019; verificările necesită 5 modificări .

Expresie disponibilă ( ing. Expresie disponibilă ) în teoria construcției compilatoarelor - o expresie la punctul , dacă vreo cale de la nodul de intrare la calcule și după ultimul calcul înainte de a ajunge nu există atribuiri ulterioare la variabile și [1] . $x+y$ $p$ $p$ $x+y$ $p$ $X$ $y$

Blocul distruge expresia dacă atribuie (sau poate atribui) și nu se reevaluează după aceea . $x+y$ $X$ $y$ $x+y$
Blocul generează o expresie dacă evaluează și nu execută redefiniri ulterioare ale și . $x+y$ $x+y$ $X$ $y$

Principala utilizare a informațiilor despre expresiile disponibile este căutarea subexpresiilor comune globale [1] .

Puteți evalua un set de expresii generate pentru fiecare punct de bloc, mergând de la începutul până la sfârșitul blocului. Nu există expresii generate în punctul care precede blocul. Dacă un set de expresii este disponibil la un punct și a este un punct după cu o instrucțiune între ele, atunci formăm setul de expresii disponibil la după cum urmează: [1] $p$ $S$ $q$ $p$ $x=y+z$ $q$

Adăugăm la expresia . $S$ $y+z$
Eliminam din toate expresiile care includ variabila . $S$ $X$

Pașii descriși trebuie să fie executați în ordinea specificată, deoarece poate fi același cu sau . După ce se ajunge la sfârșitul blocului, va fi setul de expresii bloc generate. Setul de expresii distruse este setul tuturor expresiilor, de exemplu, astfel încât sau este definit în bloc, iar blocul nu este generat [2] . $X$ $y$ $z$ $S$ $y+z$ $y$ $z$ $y+z$

Note

↑ 1 2 3 Compilatorii: principii, tehnologii și instrumente, 2008 , p. 735.
↑ Compilatorii: principii, tehnologii și instrumente, 2008 , p. 736.

Literatură

Alfred Aho, Monica Lam, Ravi Seti, Jeffrey Ullman. Compilatoare : Principles, Techniques, and Tools = Compilatoare: Principles, Techniques, and Tools. — ediția a II-a. - M . : „Williams”, 2008. - 1184 p. - 1500 de exemplare. - ISBN 978-5-8459-1349-4 .