LLVM 16.0 kompilaatorite komplekti väljaanne

Pärast kuu aega kestnud arendust on välja antud LLVM 16.0 versioon — GCC-iga ühilduv tööriistakomplekt (kompilaatorid, optimeerijad ja koodigeneraatorid), mis kompileerib programme RISC-sarnaste virtuaalsete käskluste vahepealseks binaarkoodiks (madalama taseme virtuaalmasin, millel on mitme taseme optimeerimisüsteem). Genereritud pseudokood võib JIT-kompilaatori abil olla muudetud masiinakäsklusteks otse programmi käivitamise hetkel.

Clang 16.0 peamised uuendused:

• Vaikimisi kasutatav C++/ObjC++ standard on seatud gnu++17 (varem kasutati gnu++14), mis tähendab C++17 võimaluste vaikimisi toetust koos GNU laiendustega. Varasema käitumise taastamiseks saab kasutada valikut "-std=gnu++14".
• On rakendatud laiendatud võimalusi, mis on seotud C++20 standardiga:
  • Tingimuslikult triviaalsete erifunktsioonide liikmed,
  • Struktureeritud sidemete toimetalitamine lambdafunktsioonides,
  • Võrdlusoperaator väljendites,
  • Võimalus jätma sõna typename mõnedes kontekstides välja,
  • Ahi initiaalimine sulgudes ("Aggr(val1, val2)").
• Tulevases C++2b standardis määratletud funktsioonid on rakendatud:
  • Sildide paigutamine komposiitväljendite lõpus on lubatud,
  • static operator(),
  • static operator[],
  • Tagatud on ühilduvus char8_t tüübiga,
  • Kasutamiseks lubatud sümbolite ulatus «\N{…}» on laienenud,
  • Lisatud on võimalus kasutada «static constexpr» kui muutujaid, funktsioonides, mis on määratletud kui constexpr.
• Tulevase C-keele standardi C2x määratud funktsioonid on rakendatud:
  • Et hoiatust «-Wunused-label» välja lülitada, on lubatud rakendada atribuuti «[[maybe_unused]]» siltidele,
  • Sildide paigutamine on lubatud igas kohas komposiitväljendite sees,
  • Lisatud on operaatorid typeof ja typeof_unqual,
  • Uus tüüp nullptr_t ja konstandid nullptr nullviidete määratlemiseks, mida saab konvertida igasse viidete tüüpi ja esindada variant NULL, mis ei ole seotud täisarvude tüüpidega ega tühja tüübi void*.
  • C2x-režiimis on lubatud kutsuda vahemakrosid va_start muutuva argumendihulga (variadic) puhul.
• Standardite C99, C11 ja C17 vastavusrežiimides toovad valikud «-Wimplicit-function-declaration» ja «-Wimplicit-int» nüüd vaikimisi välja vea, mitte hoiatusi.
• C++ režiimiga „void *“ kaudne kasutamine (näiteks „void func(void *p) { *p; }“) toob nüüd kaasa vea genereerimise, sarnaselt ISO C++, GCC, ICC ja MSVC-ga.
• Bitiväljade näitamine käsu operandidena (näiteks „__asm { mov eax, s.bf }“) Microsofti stiilis sisseehitatud plokkides toob nüüd kaasa vea genereerimise.
• Lisatud diagnostika erinevate struktuuride ja liideste tuvastamiseks, millel on samad nimed erinevates moodulites.
• Avardatud OpenCL ja OpenMP toe seotud võimalusi. Parandatud C++ mallide diagnostikat, mida kasutatakse OpenCL tuumargumentides. Parandatud asenduste blokeeringu tuge AMDGPU jaoks. Kõigile funktsioonidele on varjatult lisatud nounwind atribuut. Parandatud sissetehitatud funktsioonide tuge.
• Lisatud võimalus kasutada keskkonnamuutujat CLANG_CRASH_DIAGNOSTICS_DIR diagnostikateabe katalooge määramiseks, kuhu salvestatakse avariide diagnostilised andmed.
• Unicode tugi on ajakohastatud Unicode 15.0 spetsifikatsioonini. Lubatud on teatud matemaatiliste sümbolite kasutamine identifikaatorites, nagu „₊“ (näiteks „double xₖ₊₁“).
• Lisatud tugi mitme konfiguratsioonifaili üleslaadimiseks (esmajärjekorras laaditakse vaikimisi konfiguratsioonifailid ja seejärel need, mis on määratud lippu «—config=» kaudu, mida nüüd saab määrata mitu korda). Vaikimisi konfiguratsioonifailide laadimise järjekord on muudetud: clang proovib esmalt laadida faili -.cfg, ja kui see ei ole leitud, proovib laadida kahte faili .cfg ja .cfg. Vaikimisi konfiguratsioonifailide laadimise keelamiseks on lisatud lipp «—no-default-config».
• Korduvate koostamiste tagamiseks on lisatud võimalus asendada praeguse kuupäeva ja kellaaja väärtusi makros __DATE__, __TIME__ ja __TIMESTAMP__ keskkonnamuutuja SOURCE_DATE_EPOCH määratud ajaga.
• Sisseehitatud funktsioonide (builtin) olemasolu kontrollimiseks, mis võivad olla kasutusel konstandikontekstis, on lisatud makro «__has_constexpr_builtin».
• Uus kompileerimisflag «-fcoro-aligned-allocation» on lisatud kohandatud jaotuste koostööfunktsioonide jaoks.
• Lipukes „-fstrict-flex-arrays=” võimaldab toetada kolmanda taseme kontrolli paindlikel massiivielementidel struktuurides (paindlikud massiiviliikmed, määratlemata suurusega massiiv struktuuri lõpus). Kolmandal tasemel töödeldakse ainult suurust „[]” (nt „int b[]”) kui paindlikku massiivi, kui suurust „[0]” (nt „int b[0]”) ei käsitleta sellisena.
• Lisatud lipp „-fmodule-output”, et aktiveerida ühefaasiline C++ standardmodulite kompileerimise mudel.
• Lisatud režiim „-Rpass-analysis=stack-frame-layout”, mis võimaldab tuvastada probleemide korral virnastamisraamide paigutuses.
• Lisatud uus atribuut __attribute__((target_version(„cpu_features”))) ning laiendatud atribuudi __attribute__((target_clones(„cpu_features1”, „cpu_features2”,…))) funktsionaalsust, et valida AArch64 CPU pakutud teatud funktsiooniversioonid.
• Diagnostikavahendeid on laiendatud:
  • Lisatud hoiatust „-Wsingle-bit-bitfield-constant-conversion” ühebitise tähendusvälja väärtuse määramise ajal toimuvate varjatud kärpimiste tuvastamiseks.
  • Laiendatud mitteinitsialiseeritud constexpr-muutujate diagnostikat.
  • Lisatud hoiatust „-Wcast-function-type-strict” ja „-Wincompatible-function-pointer-types-strict” funktsioonitüübi omaduste ülekandmise võimalike probleemide kindlakstegemiseks.
  • Lisatud diagnoosimine ebaõigete või reserveeritud moodulite nimede kasutamise jaoks eksportblokkides.
  • Parandatud «auto» märksõnade leidmise puudujäägi tuvastamine määratlustes.
  • Winteger-overflow hoiatuse rakenduses on lisatud täiendavad olukordade kontrollid, mis viivad ülekoormusteni.
• Toetatakse LoongArch käsu komplekti arhitektuuri (-march=loongarch64 või -march=la464), mis on kasutusel Loongson 3 5000 protsessorites ning rakendab uut RISC ISA, mis sarnaneb MIPS ja RISC-V-ga.

LLVM 16.0 peamised uuendused:

• LLVM koodis on lubatud kasutada C++17 standardis defineeritud elemente.
• LLVM koostamisese nõuded on tõusnud. Koostamisriistvara peab nüüd toetama C++17 standardit, st koostamiseks on vajalik vähemalt GCC 7.1, Clang 5.0, Apple Clang 10.0 või Visual Studio 2019 16.7.
• AArch64 arhitektuuri taustale on lisatud tugi CPU-dele Cortex-A715, Cortex-X3 ja Neoverse V2, assembler RME MEC (Mälu Krüpteerimise Kontekstid), Armv8.3 laiendused (Kompleksarv) ja mitme versiooni toetamine (Funktsiooni mitme versiooni tugi).
• ARM arhitektuuri tagaplaanil lõpetati Armv2, Armv2A, Armv3 ja Armv3M sihtplatvormide tugi, mille puhul ei saanud koodi korrektset genereerimist garanteerida. Lisatud on võimalus genereerida koodi komplekssete arvudega töötamise käskluste jaoks.
• X86 arhitektuuri tagaplaanile on lisatud toed käsukogude (ISA) AMX-FP16, CMPCCXADD, AVX-IFMA, AVX-VNNI-INT8, AVX-NE-CONVERT. Lisatud on RDMSRLIST, RMSRLIST ja WRMSRNS käsud. Teostatud on valikud «-mcpu=raptorlake», «-mcpu=meteorlake», «-mcpu=emeraldrapids», «-mcpu=sierraforest», «-mcpu=graniterapids» ja «-mcpu=grandridge».
• LoongArch platvormi ametlik tugi on lisatud.
• MIPS, PowerPC ja RISC-V arhitektuuride tagaplaanid on parendatud.
• LLDB silurehasse on lisatud 64-bitiste täidesaatvate failide silumise tugi LoongArch arhitektuurile. Parendatud on COFF silumis sümbolite töötlemist. Tagatud on DLLide dubleerimise filtrimine Windowsi moodulite laadimisnimekirjas.
• Libc++ raamatukogus on peamine töö keskendunud C++20 ja C++23 standardite uute võimaluste toe rakendamisele.
• LDD komponeerijas on skaneerimise aadresside liikumiste ja sektsioonide initsialiseerimise operatsioonide paralleelsetes töötlemistes oluliselt aega kokku hoitud. Lisatud on toetust sektsioonide tihendamiseks ZSTD algoritmi kasutamisega.

Allikas: opennet.ru