Alternativní algoritmus stavby SSA formy pro GCC

• Název práce v češtině: Alternativní algoritmus stavby SSA formy pro GCC
• Název v anglickém jazyce: An alternative SSA construction algorithm for GCC
• Klíčová slova: překladač|SSA|optimalizace
• Klíčová slova anglicky: compiler|SSA|optimization
• Akademický rok vypsání: 2022/2023
• Typ práce: bakalářská práce
• Jazyk práce: čeština
• Ústav: Katedra aplikované matematiky (32-KAM)
• Vedoucí / školitel: doc. Mgr. Jan Hubička, Ph.D.
• Řešitel: skrytý - zadáno a potvrzeno stud. odd.
• Datum přihlášení: 04.04.2023
• Datum zadání: 04.04.2023
• Datum potvrzení stud. oddělením: 17.04.2023
• Datum a čas obhajoby: 07.09.2023 09:00
• Datum odevzdání elektronické podoby: 20.07.2023
• Datum odevzdání tištěné podoby: 20.07.2023
• Datum proběhlé obhajoby: 07.09.2023
• Oponenti: Mgr. Martin Jambor

Zásady pro vypracování

Student se seznámí s algoritmy pro přechod do SSA formy a optimalizaci phi funkcí z článku od Braun, et al. Cílem práce je prozkoumat možnosti implementace těchto algoritmů do GNU Compiler Collection (GCC) a prozkoumat možnosti jejich využití v již existujících optimalizačních průchodech.

Seznam odborné literatury

Braun, M., Buchwald, S., Hack, S., Leißa, R., Mallon, C. and Zwinkau, A., 2013. Simple and efficient construction of static single assignment form. In Compiler Construction: 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings 22 (pp. 102-122). Springer Berlin Heidelberg.

Stallman, R.M., 2002. GNU compiler collection internals. Free Software Foundation.

Cytron, R., Ferrante, J., Rosen, B.K., Wegman, M.N. and Zadeck, F.K., 1991. Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems (TOPLAS), 13(4), pp.451-490.

Cooper, K. and Simpson, L.T., 1995. SCC-based value numbering. Extended abstract submitted to SIGPLAN PLDI, 1996.