LLVM 13.0 kompilaatori komplekti väljaanne

Kuue kuu arendustöö järel on välja antud LLVM 13.0 — GCC-ühilduva tööriistakomplekti (kompilaatorid, optimeerijad ja koodigeneraatorid) versioon, mis kompileerib programme RISC-sarnase virtuaalsete käskude vahefailiks (madala taseme virtuaalne masin, millel on mitmeastmeline optimeerimissüsteem). Genereritud pseudokood saab JIT-kompilaatori abil muundada masiinijuhisteks otse programmi täitmise hetkel.

Clang 13.0 parendused:

• On rakendatud garanteeritud sabakutsumise toe (alprogrammi kutsumine funktsiooni lõpus, tekitades sabarekursiooni, kui alprogramm kutsub end ise). Garanteeritud sabakutsumise tugi on tagatud atribuutide "[[clang::musttail]]" C++-s ja "__attribute__((musttail))" C-s, mida kasutatakse väljendis "return". See võimalus võimaldab rakendada optimeerimisi koodi tasandamisel plaana iteratsiooniks, et säästa virna kasutamist.
• C++11 stiilis atribuutide määramise toeks on clangis rakendatud "using" deklaratsioonide ja laienduste toetamist, kasutades formaati "[[]]".
• Lisatud lipp „-Wreserved-identifier”, et kuvada hoiatus, kui kasutajakoodis on määratud reserveeritud identifikaatorid.
• Lisatud lipud „-Wunused-but-set-parameter” ja „-Wunused-but-set-variable”, et kuvada hoiatus, kui parameeter või muutujad on määratud, kuid neid ei kasutata.
• Lisatud lipp „-Wnull-pointer-subtraction”, et kuvada hoiatus, kui kood võib põhjustada ettearvamatut käitumist nullviite kasutamise tõttu lahutustegevustes.
• Lisatud lipp „-fstack-usage”, et iga koodifaili jaoks genereerida täiendav fail „.su”, mis sisaldab teavet iga töötlusfailis defineeritud funktsiooni virna suuruse kohta.
• Statistilise analüsaatori juurde on lisatud uus väljunditüüp — „sarif-html”, mis genereerib aruandeid samaaegselt nii HTML- kui ka Sarif-formaatides. Lisatud on uus kontroll allocClassWithName. Kui on määratud valik „-analyzer-display-progress”, tagatakse iga funktsiooni analüüsi aja väljund. Peaaegu valmis on nutikate viidete analüsaator (alpha.cplusplus.SmartPtr).
• Avatud CLi toetuse võimalused on laienenud. Lisatud toetused uutele laiendustele cl_khr_integer_dot_product, cl_khr_extended_bit_ops, __cl_clang_bitfields ja __cl_clang_non_portable_kernel_param_types. Protsesside OpenCL 3.0 spetsifikatsiooni elluviimine jätkub. C keele puhul on vaikimisi aktiivne OpenCL 1.2 spetsifikatsioon, kui ei ole selgelt valitud muud versioonid. C++ puhul on lisatud toetust failide laiendusele '.clcpp'.
• Töösse on võetud seeria tsüklite transformatsioonide direktiivide toetust ('#pragma omp unrol' ja '#pragma omp tile'), nagu on määratletud OpenMP 5.1 spetsifikatsioonis.
• Clang-foormingu utiliidi on lisatud valikud: SpacesInLineCommentPrefix kommentaaride ette tühi, IndentAccessModifiers, LambdaBodyIndentation ja PPIndentWidth, et hallata kirje, lambda-väljendite ja eelprotsessori direktiivide joondamist. Pealkirjade faili sortimise funktsionaalsust on laiendatud (SortIncludes). Lisatud on JSON-failide vormindamise tugi.
• Clang-tidy linterisse on lisatud palju uusi kontrollimist.

LLVM 13.0 põhimuudatused:

• Lisatud on -ehcontguard valik CET (Windowsi kontrollvoo kaitsetehnoloogia) kasutamiseks, et kaitsta eranditöötluse etapis ekspluatatsiooni kasutamise eest, mis põhinevad tagasikutsumise orientatsiooniga programmeerimise (ROP, Return-Oriented Programming) tehnikatel.
• Projekt debuginfo-test on ümber nimetatud cross-project-tests ja see on mõeldud erinevate projektide komponentide testimiseks, piiramata ainult tõrkeandmetega.
• Kogumisüsteemis on tagatud mitme jaotuse kogumise tugi, näiteks üks utiliitide jaoks ja teine arendajate raamatukogude jaoks.
• Backendis AArch64 arhidektuuri jaoks on assembleris rakendatud Armv9-A RME (Realm Management Extension) ja SME (Scalable Matrix Extension) laienduste tugi.
• Hexagon arhidektuuri backendis on lisatud ISA V68/HVX tugi.
• x86 arhidektuuri backendis on täiustatud AMD Zen 3 protsessorite tuge.
• AMDGPU backendis on lisatud APU GFX1013 RDNA2 tugi.
• Libc++-s on C++20 ja C++2b standardite uute võimaluste rakendamine jätkub, sealhulgas «concepts» teegi rakendamine on lõpule viidud. Windowsi MinGW platvormile on lisatud std::filesystem tugi. Pealkirjafailid <algorithm>, <iterator> ja <utility> on eraldatud. Lisatud on LIBCXX_ENABLE_INCOMPLETE_FEATURES kompileerimise valik, et keelata mitte täielikult rakendatud funktsionaalsusega pealkirjafailide kasutamine.
• LLD sidujale on lisatud uusi võimalusi, sealhulgas Big-endian Aarch64 protsessorite toete, ning Mach-O taust on viidud sellisesse seisu, et see võimaldab tavaliste programmide sidumist. Lisatud on täiustused, mis on vajalikud Glibc sidumiseks LLD abil.
• Utilliti llvm-mca (Machine Code Analyzer) on lisatud tugi protsessoritele, mis töötlevad juhiseid järjestikku (in-order superscalar pipeline), näiteks ARM Cortex-A55.
• AArch64 platvormi LLDB tõrkeotsijale on rakendatud täielik tugi osutite autentimisele (Pointer Authentication), MTE (MemTag, Memory Tagging Extension) mehhanismile ja SVE registritele. Lisatud on käsud, mis võimaldavad igale mäluhalduse toimingule sildistada teid ning korraldada mälule juurdepääsu korral osutite kontrolli, mis peab olema seotud õige sildiga.
• Projekti genereeritavate binaarkogude hulka on lisatud tõrkeotsija LLDB ja Fortrani keele frontend - Flang.

Allikas: opennet.ru