Ovaj projekat predstavlja moj master rad na temu analize i implementacije ključnih faza Rust kompajlera. Fokus je na razumevanju unutrašnje strukture Rust jezika, njegovih meђureprezentacija izvornog koda kao što su HIR, THIR i MIR, kao i na procesima koji omogućavaju bezbedno i efikasno kompajliranje.

Cilj rada je da prikaže kako Rust upravlja kompleksnim procesima analize koda, optimizacije i generisanja mašinskog koda kroz svoj moderni kompajlerski dizajn, uz osvrt na korišćenje LLVM infrastrukture. Projekat može poslužiti kao resurs za studente, istraživače i inženjere zainteresovane za kompajlere i Rust programski jezik.

1. Spisak skraćenica
2. Uvod
3. Pozadina
   • Rust jezik
   • Cargo
   • LLVM projekat
4. Rust kompajler
5. Meђureprezentacije izvornog koda
   • Tok tokena
     • rustc_lexer
     • rustc_parse::lexer
   • Apstraktno Sintaksno Stablo
   • Meђureprezentacija visokog nivoa (MVN) - High-Level Intermediate Representation (HIR)
     • Konstrukcija
     • Sistem upita
     • Inkrementalno kompajliranje
   • Tipizirana meђureprezentacija visokog nivoa (TMVN) - Typed HIR (THIR)
     • Bezbednost
     • Provera šablona
   • Meђureprezentacija srednjeg nivoa (MSN) - Mid-Level Intermediate Representation (MIR)
     • Graf kontrole toka
     • Optimizacija koda u MSN-u
     • Neleksički životni vekovi
6. Zaključak
7. Literatura
8. Додатак 1
9. Додатак 2
10. Додатак 3
11. Додатак 4
12. Podaci o kandidatu