Bc. Petr Vitovský
Bakalářská práce
Převod LLVM bitkódu do C
Translation of LLVM bitcode to C
Anotace:
Práce implementuje a popisuje nástroj pro převod LLVM bitkódu do jazyka C. Tento nástroj na rozdíl od již existujícího nástroje llvm-cbe redukuje použití dočasných proměnných potřebných pro generování kódu a využívá ladící informace z LLVM bitkódu k rekonstrukci typů a původních jmen proměnných. Nástroj byl otestován na sadě netriviálních benchmarků a výsledky byly porovnány s nástrojem llvm-cbe.Abstract:
This thesis implements and describes a tool for translation of LLVM bitcode to C programming language. The tool, unlike the already existing tool llvm-cbe, reduces usage of temporary variables, that are required for code generation. It also uses LLVM bitcode metadata to restore the original types and names of variables. The tool was tested using a collection of non-trivial benchmarks and the results …více
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 24. 5. 2019
Identifikátor:
https://is.muni.cz/th/uc2pu/
Obhajoba závěrečné práce
- Obhajoba proběhla 24. 6. 2019
- Vedoucí: Mgr. Marek Chalupa
- Oponent: Mgr. Henrich Lauko
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasarykova univerzita
Fakulta informatikyBakalářský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika
Práce na příbuzné téma
-
Analýza abstraktních syntaktických stromů pro podporu výuky jazyka Python
Jakub Fáber -
Abstraktní interpretace
Jakub Kermaschek