Detail práce
Strukturování kódu v zadní části zpětného překladače
Cílem této práce bylo navrhnout a implementovat algoritmus pro strukturování kódu v zadní části zpětného překladače projektu Lissom. Zabývá se problémem eliminace nepřímých skoků (branch/goto) z nízkoúrovňového kódu s využitím vysokoúrovňových konstrukcí, jako jsou podmíněné příkazy (if, switch) a cykly (for, while). Práce obsahuje teoretický úvod do problematiky zpětného překladu, informace o zpětném překladači projektu Lissom, návrh algoritmu pro strukturování kódu, popis jeho implementace, popis sady testovacích úloh a shrnutí výsledků.
zpětný překlad, zpětný překladač projektu Lissom, LLVM IR, BIR, strukturování kódu, zadní část zpětného překladače
Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm C.
- Uveďte príklad, kedy vaše nové riešenie prekoná pôvodné.
- Aká je časová a pamäťová náročnosť vášho riešenia vzhľadom k ostatným častiam zadnej časti spätného prekladača?
Grézl František, Ing., Ph.D. (UPGM FIT VUT), člen
Hrubý Martin, Ing., Ph.D. (UITS FIT VUT), člen
Kotásek Zdeněk, doc. Ing., CSc. (UPSY FIT VUT), člen
Rychlý Marek, RNDr., Ph.D. (UIFS FIT VUT), člen
@bachelorsthesis{FITBT16161,
author = "David Hrbek",
type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce",
title = "Strukturov\'{a}n\'{i} k\'{o}du v zadn\'{i} \v{c}\'{a}sti zp\v{e}tn\'{e}ho p\v{r}eklada\v{c}e",
school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
year = 2014,
location = "Brno, CZ",
language = "czech",
url = "https://www.fit.vut.cz/study/thesis/16161/"
}