LLVM

LLVM on kompilaatorite ja tööriistaahelate tehnoloogiate kogumik, millega on võimalik ehitada kompilaatori eesosa mistahes programmeerimiskeelele ja tagaosa mistahes käsustikuarhitektuurile. LLVM on ehitatud keelest sõltumatule vahekeelele (ingl intermediate representation või IR), mis on platvormist sõltumatu kõrgetasemeline assemblerkeel, mida saab optimeerida erinevate transformatsioonidega üle mitme läbikäimise. Nimi "LLVM" tähendas algselt madalatasemelist virtuaalmasinat (ingl Low Level Virtual Machine), kuid projekti arenedes ei olnud nimi enam asjakohane ning lühend ei ole enam ametlikult tähenduslik.

LLVM on kirjutatud C++ keeles ja on disainitud kompilatsiooni-, linkimis-, käitus- ja ooteajaliseks optimeerimiseks. Algselt loodud C ja C++ koodi kompileerimise jaoks, on LLVM-i keelest sõltumatu disain lubanud tekkida eesosadel paljude teiste keelte jaoks (sealhulgas keeled, mis ei kasuta LLVM-i, aga võivad kompileerida programme LLVM-i IR koodi): ActionScript, Ada, C# .NETi jaoks, Common Lisp, PicoLisp, Crystal, CUDA, D, Delphi, Dylan, Forth, Fortran, FreeBASIC, Free Pascal, Halide, Haskell, Java baitkoodi, Julia, Kotlin, LabVIEW keel G, Lua, Objective-C, OpenCL, PostgreSQLi SQL ja PLpgSQL, Ruby, Rust, Scala, Swift, Xojo ja Zig.

 Ülevaade 
LLVM suudab pakkuda terve kompilaatorsüsteemi keskosa, võttes vahekeelekoodi (IR) kompilaatorist ja väljastades optimeeritud IR-i. Seda uut IR-i on võimalik konverteerida ja linkida masinast sõltuvasse assemblerkoodi mõne soovitud platvormi jaoks. LLVM suudab vastu võtta GCC kompilaatori vahekoodi, mis lubab LLVM-i kasutada läbi GCC paljude eesosade. GCC-ga on võimalik LLVM-i ehitada alates GCC versioonist 7.5.

LLVM suudab genereerida lükandkoodi (asukohast sõltumatut masinakoodi) kompilatsiooniajal või linkimisajal. LLVM suudab genereerida binaarset masinkoodi isegi käitusajal.

LLVM toetab keelest sõltumatut käsustikku ja tüübisüsteemi. Väärtus iga muutuja taga (mida kutsutakse "tüübitud registriks") määratakse üks kord ja selle väärtust pole võimalik muuta. See teeb lihtsaks analüüsida sõltuvusi muutujate vahel. 

 Märkused 

 Viited 

 Välislingid 

 Ametlik veebileht

Kategooria:Vaba tarkvara