• čeština
    • English
    • русский
    • Deutsch
    • français
    • polski
    • українська
  • English 
    • čeština
    • English
    • русский
    • Deutsch
    • français
    • polski
    • українська
  • Login
View Item 
  •   Repository Home
  • Závěrečné práce
  • diplomové práce
  • Fakulta informačních technologií
  • 2012
  • View Item
  •   Repository Home
  • Závěrečné práce
  • diplomové práce
  • Fakulta informačních technologií
  • 2012
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Detekce kompletnosti instrukční sady pro generování univerzálního překladače jazyka C

Instruction Set Completness Detection for Retargetable C Compiler Generation

Thumbnail
View/Open
final-thesis.pdf (352.6Kb)
review_78929.html (1.507Kb)
Author
Nagy, Michal
Advisor
Hruška, Tomáš
Referee
Dolíhal, Luděk
Grade
A
Altmetrics
Metadata
Show full item record
Abstract
Práce se zabývá problematikou detekce kompletnosti popisu instrukční sady mikroprocesoru pro překladač LLVM, neboli schopností překladače vygenerovat cílový program pro každý validní zdrojový program v příslušném vyšším programovacím jazyce. Na základech teorie regulárních stromových gramatik a několika vědeckých prací, které se touto problematikou též zabývají, je navržen a implementován formální prostředek pro ověření inkluze dvou gramatik. Dále je navržen způsob automatické extrakce obou gramatik z popisu instrukční sady, v důsledku čehož je tento prostředek možné použít pro ověření kompletnosti výběru instrukcí. V kombinaci s ověřením kompletnosti tzv. procesu legalizace překladače LLVM, který výběr instrukcí předchází, by mělo být proveditelné ověření kompletnosti většiny části překladače závislých na popisu cílové architektury.
 
This thesis concerns the issue of completness detection of instruction set description for the LLVM compiler, or the ability of a compiler to generate target program for every valid source program in the appropriate high-level programming language. On the basis of regular tree grammar theory and several scietific theses that also concern this issue, formal tool for inclusion checking of two grammars. Furthermore a method for automatic extraction of the two grammars from the instruction set description has been devised, as a result of which the tool can be used for checking completeness of instruction selection. In combination with checking completeness of the legalization process of the LLVM compiler, which preceeds the instruction selection, it should be feaseable to check completeness of most compiler parts dependent on the target architecture.
 
Keywords
LLVM, TableGen, kompletnost, stromová gramatika, legalizace, výběr instrukcí, dynamické kontroly, LLVM, TableGen, completeness, tree grammar, legalization, instruction selection, dynamic checks
Language
čeština (Czech)
Study brunch
Počítačové a vestavěné systémy
Composition of Committee
doc. Ing. Zdeněk Kotásek, CSc. (předseda) doc. Ing. Vladimír Drábek, CSc. (místopředseda) doc. RNDr. Elena Gramatová, CSc. (člen) doc. Ing. Vladimír Janoušek, Ph.D. (člen) Ing. Tomáš Martínek, Ph.D. (člen) Ing. Petr Matoušek, Ph.D., M.A. (člen)
Date of defence
2012-06-18
Process of defence
Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se pak seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na 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 " A ".
Result of the defence
práce byla úspěšně obhájena
Persistent identifier
http://hdl.handle.net/11012/52712
Source
NAGY, M. Detekce kompletnosti instrukční sady pro generování univerzálního překladače jazyka C [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2012.
Collections
  • 2012 [213]
Citace PRO

Portal of libraries | Central library on Facebook
DSpace software copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback | Theme by @mire NV
 

 

Browse

All of repositoryCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Statistics

View Usage Statistics

Portal of libraries | Central library on Facebook
DSpace software copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback | Theme by @mire NV