Konstrukce optimalizačního překladače

Abstract

Zdrojový kód aplikací často obsahuje suboptimální části z hlediska využití výpočetních zdrojů, ať už úmyslně, nebo neúmyslně. V průběhu posledních desetiletí bylo formalizováno a implementováno mnoho přístupů a metod ke zlepšení efektivity kódu při zachování sémantického významu programu. Tato práce se zaměřuje na vybrané optimalizační metody založené na analýze toku dat. Tyto metody jsou implementovány nad podmnožinou obecných příkazů programovacích jazyků s cílem generovat efektivnější cílový kód.Source code of applications often includes suboptimal parts from the perspective of computational resource usage, whether intentionally or not. Over the past decades, many approaches and methods have been formalized and implemented to improve code effectiveness while preserving the semantic meaning of the program. This thesis focuses on selected optimization methods based on data-flow analysis. These methods are implemented on a subset of general programming language statements to produce more efficient target code.