LLVM 21 kompilaatorite kogumi väljaanne

Pärast kuuekuulist arendust on välja antud projekt LLVM 21.1.0, mis arendab tööriistade komplekti (kompilaatorid, optimeerijad ja koodi generaatorid), genereerides programme RISC-sarnaste virtuaalsete käskluste vahepealseks bitikoodiks (madala taseme virtuaalne masin, millel on mitmetasandiline optimeerimissüsteem). Genereritud pseudokood saab muuta sihtplatvormi masinkoodiks või kasutada JIT-kompilaatoriga masinasse käskude genereerimiseks otse programmi käivitamisel. LLVM tehnoloogiate alusel arendab projekt kompilaatorit Clang, mis toetab programmeerimiskeeli C, C++ ja Objective-C. Alates 18.x harust on projekt läinud üle uuele versioonide numbrite vormistamise skeemile, mille kohaselt kasutatakse nullversiooni („N.0“) arendusprotsessis ja esimene stabiilne versioon kantakse numbriga „N.1“.

Clangi 21 täiendused:

• C++-ga seotud võimalused:
  • Sarnaselt GCC-ga on realiseeritud võimalus kasutada konstantselt avaldusi assembleri sisendites, mis määratakse „asm“ direktiiviga: int foo() { asm((std::string_view("nop")) ::: (std::string_view("memory"))); }
  • Lisatud on laiendatud "new" ja "delete" väljendite variandid, mis toetavad argumendi "std::type_identity", mille kaudu saab näidata objekti tüübi teavet, mille jaoks mälu eraldatakse või vabastatakse.
  • Lisatud on võimalus arvutada lambda-funktsioone, mis hõivavad struktureeritud sidemed, kompileerimise ajal konstantselt väljendites.
• C++2c (C++26) tuleviku standardiga seotud võimalused:
  • Struktureeritud sidemetes on lisatud võimalus kasutada süntaksit „…“ pakettide (pack) määramiseks, et haarata ülejäänud elemendid määratud järjestusest. auto [x,y,z] = f(); // muutuja x, y, z saavad kolm elementi, mis f() tagastab. auto […xs] = f(); // paketti xs saavad kõik elemendid, mis f() tagastab. auto [x, …rest] = f(); // x-sse salvestatakse esimene element, rest-i — ülejäänud. auto [x, y, …rest] = f(); // x-sse salvestatakse esimene element, y-sse — teine, rest-i — kolmas. auto [x, …rest, z] = f(); // x-sse — esimene, rest-i — teine, z-sse — kolmas.
  • Lisatud tugi tüüpi „triviaalne nihutatavus” (Trivial Relocatability), mis võimaldab optimeerida objektide liikumist läbi nende kloonimise mälus ilma konstruktorite või destruktorite kutsumiseta. Klasside jaoks on rakendatud omadused memberwise_trivially_relocatable ja memberwise_replaceable ning madala taseme nihutamiseks ühe või mitme objekti puhul on lisatud funktsioonid trivially_relocate_at ja trivially_relocate.
  • Struktureeritud sidumise rakendamise võimalus tingimusena if ja switch operaatorites.
  • Töötatakse välja tugi funktsiooni main sidumiseks globaalsetesse moodulitesse ning funktsiooni main määramiseks nimetatud moodulites.
• C2y tulevase standardi jaoks arendatavad funktsioonid:
  • Eemaldatud on määramatu käitumine, kui kasutatakse void tüüpi väljendeid teatud kontekstides, näiteks "(void)(void)1;".
  • Koodifaili ei ole kohustatud lõpetama uue rea sümboliga.
  • Lisatud on uued prefiksid oktaliste kirjutiste jaoks — 0o ja 0O, samuti oktalised ja heksadesimaalsed escape-järjestused "\o{…}" ja "\x{…}". Oktaliste kirjutiste 0xxx toe tugi on kuulutatud vananenuks. Näiteks "0o123" ja "\o{123}" asemel "0123".
  • Lisatud operaator „_Countof”, et määrata massiivi elementide arv. Samuti on lisatud pealkirja fail stdcountof.h, mis määratleb makro „countof” variandi, teostatud läbi „_Countof”.
• C23 standardis määratletud funktsioonid:
  • Üksikus koostööplokis on lubatud ülekirjutada tag-tüübid (struct, union, enum), kui korduv määratlemine on struktuurselt ekvivalentne (samade liikmete arv, samad tüübid ja tag-nimed).
  • Lihtsustatud on variadiargumentidega (variadic) loendite kasutamine. Lubatud on kasutada ühte variadi parameetrit tüübi nimes.
  • Lisatud GCC-ga ühilduv sisseehitatud funktsioon „__builtin_c23_va_start()”, mis täiustab diagnostika käitumist makro va_start() jaoks C23 režiimis.
• MSVC kompilaatori ühilduvusrežiimis on lubatud inline spetsifikaatori kasutamine funktsiooni tüübi kuulutamisel typedef kaudu, näiteks „typedef int inline Foo(int);”.
• Lubatud on „restrict” kvalifikaatori kasutamine massiivi tüüpide jaoks, mille elemendid on näitajad.
• Uued kompilaatori hoiatused:
  • „-Wdefault-const-init-var” ja „-Wdefault-const-init-field” - tuvastamine const-märgisega muutujate ja väljade kohta, mis on määratletud ilma selge initsialiseerimiseta.
  • «-Wimplicit-void-ptr-cast» — kuvatakse, kui toimub varjatud teisendus tüübist «void*» mõnda teise näitajatüüpi.
  • «-Wc++-keyword» — kuvatakse, kui kasutatakse «C++» märksõnu identifikaatoritena «C» keeles.
  • «-Wc++-hidden-decl» — tuvastab, kui kasutatakse siltide tüüpe, mis on nähtavad «C» keeles, kuid ei ole nähtavad «C++» keeles ulatuspiirangute tõttu.
  • «-Wimplicit-int-enum-cast» — tuvastab varjatud teisendused C-koodis täisarvutüüpide ja loenditüüpide vahel, mis ei ole «C++»-ga ühilduvad.
  • «-Wtentative-definition-compat» — diagnoosib esialgsete määratluste olemasolu «C»-s, millel on mitmed määratlused, mis ei ühildu «C++»-ga.
  • «-Wunterminated-string-initialization» ja «-Wc++-unterminated-string-initialization» — tuvastavad olukorrad, kus stringikirja algatamine ei võimalda nullkoodi eraldajat salvestada. C-koodis, kus väljad ja muutujad ei vaja lõpp-nullmärki, on lisatud «nonstring» atribuut.
  • «-Wjump-misses-init» — diagnoosib üleminekut, mis toimub goto või switch/case kaudu, ja jätab kohalikku muutujat algatamata.
  • «-Wundef-true» — hoiatab C eelprotsessoris väärtuse «true» kasutamise eest ilma määratlemata.
  • «-Wnrvo» — NRVO (Named Return Value Optimization) kadumise diagnoosimine.
• Uued kompilaatoriflagid:
  • «-fprofile-continuous» — pideva profiili salvestamise sisse lülitamine faili.
  • «-ftime-report-json» — kompileerimise aja andmete väljund JSON formaadis.
  • «-ignore-pch» — eelkompileeritud pealkirjade keelamine.
  • «-fthinlto-distributor» ja «-Xthinlto-distributor» — DTLTO (Integrated Distributed ThinLTO) rakendamiseks.
  • «-static-libclosure» — statilise sidumise jaoks Windowsi platvormil Blocks runtime laienduste jaoks.
• Diagnostikavahendeid ja staatilise analüüsi vahendeid on laiendatud, lisatud on uusi kontrollimisi (üle sada täiustust, mis on seotud diagnostikaga).
• Toetused arhitektuuride ARM, Aarch64, AMDGPU, x86, RISC-V, LoongArch, MIPS ja PowerPC jaoks on paranenud. RISC-V tagasisidesse on lisatud eksperimentaalne sisestamise tugi [[https://llvm.org/docs/RISCVUsage.html Qualcomm uC, Andes ja SiFive laienduste jaoks.

Allikas: opennet.ru