Low-level optimizations using SSA form in GNU Compiler Collection
| Název práce v češtině: | Nízkoúrovňové optimalizace pomocí SSA formy v GNU Compiler Collection |
|---|---|
| Název v anglickém jazyce: | Low-level optimizations using SSA form in GNU Compiler Collection |
| Klíčová slova: | Single Static Assignment|GNU Compiler Collection|optimalizace kódu |
| Klíčová slova anglicky: | Single Static Assignment|GNU Compiler Collection|code optimization |
| Akademický rok vypsání: | 2025/2026 |
| Typ práce: | bakalářská práce |
| Jazyk práce: | angličtina |
| Ústav: | Katedra aplikované matematiky (32-KAM) |
| Vedoucí / školitel: | doc. Mgr. Jan Hubička, Ph.D. |
| Řešitel: | Bc. Ondřej Machota - zadáno a potvrzeno stud. odd. |
| Datum přihlášení: | 30.05.2025 |
| Datum zadání: | 30.05.2025 |
| Datum potvrzení stud. oddělením: | 31.05.2025 |
| Datum a čas obhajoby: | 05.09.2025 09:00 |
| Datum odevzdání elektronické podoby: | 17.07.2025 |
| Datum odevzdání tištěné podoby: | 17.07.2025 |
| Datum proběhlé obhajoby: | 05.09.2025 |
| Oponenti: | Mgr. Martin Jambor |
| Zásady pro vypracování |
| Student se seznámí s novým frameworkem RTL-SSA v GNU Compiler Collection (GCC). GCC používá dva základní mezijazyky. Gimple, zavedený v roce 2004, využívá Single Static Assignment (SSA) formu pro vysokoúrovňové optimalizace. Nízkoúrovňové optimalizace probíhají na mezijazyce Register Transfer Language (RTL). V současné době je většina optimalizací nad RTL implementována pomocí dataflow frameworku. Cílem je otestovat možnosti nahrazení základních optimalizací (jako je mazání mrtvého kódu) novou implementací pomocí RTL-SSA. |
| Seznam odborné literatury |
| Stallman, Richard M. "GNU compiler collection internals." Free Software Foundation 46 (2025).
Cytron, Ron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, and F. Kenneth Zadeck. "Efficiently computing static single assignment form and the control dependence graph." ACM Transactions on Programming Languages and Systems (TOPLAS) 13, no. 4 (1991): 451-490. Novillo, Diego. "Tree SSA a new optimization infrastructure for GCC." In Proceedings of the 2003 GCC developers’ summit, pp. 181-193. 2003. Morgan, Robert. Building an optimizing compiler. Digital Press, 1998. |