Low-level optimizations using SSA form in GNU Compiler Collection
| Thesis title in Czech: | Nízkoúrovňové optimalizace pomocí SSA formy v GNU Compiler Collection |
|---|---|
| Thesis title in English: | Low-level optimizations using SSA form in GNU Compiler Collection |
| Key words: | Single Static Assignment|GNU Compiler Collection|optimalizace kódu |
| English key words: | Single Static Assignment|GNU Compiler Collection|code optimization |
| Academic year of topic announcement: | 2025/2026 |
| Thesis type: | Bachelor's thesis |
| Thesis language: | angličtina |
| Department: | Department of Applied Mathematics (32-KAM) |
| Supervisor: | doc. Mgr. Jan Hubička, Ph.D. |
| Author: | Bc. Ondřej Machota - assigned and confirmed by the Study Dept. |
| Date of registration: | 30.05.2025 |
| Date of assignment: | 30.05.2025 |
| Confirmed by Study dept. on: | 31.05.2025 |
| Date and time of defence: | 05.09.2025 09:00 |
| Date of electronic submission: | 17.07.2025 |
| Date of submission of printed version: | 17.07.2025 |
| Date of proceeded defence: | 05.09.2025 |
| Opponents: | Mgr. Martin Jambor |
| Guidelines |
| 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. |
| References |
| 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. |