Alternativní algoritmus stavby SSA formy pro GCC

• Thesis title in Czech: Alternativní algoritmus stavby SSA formy pro GCC
• Thesis title in English: An alternative SSA construction algorithm for GCC
• Key words: překladač|SSA|optimalizace
• English key words: compiler|SSA|optimization
• Academic year of topic announcement: 2022/2023
• Thesis type: Bachelor's thesis
• Thesis language: čeština
• Department: Department of Applied Mathematics (32-KAM)
• Supervisor: doc. Mgr. Jan Hubička, Ph.D.
• Author: hidden - assigned and confirmed by the Study Dept.
• Date of registration: 04.04.2023
• Date of assignment: 04.04.2023
• Confirmed by Study dept. on: 17.04.2023
• Date and time of defence: 07.09.2023 09:00
• Date of electronic submission: 20.07.2023
• Date of submission of printed version: 20.07.2023
• Date of proceeded defence: 07.09.2023
• Opponents: Mgr. Martin Jambor

Guidelines

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.

References

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.