LLVM 22 kompilaatorite komplekti väljaanne

Kuue kuu arenduse järel on välja antud projekti LLVM 22.1.0 versioon, mis arendab tööriistu (kompilaatorid, optimeerijad ja koodigeneraatorid), mis kompileerivad programme RISC-sarnaste virtuaalsete juhiste vahebitikoodiks (madala taseme virtuaalne masin mitmeastmelise optimeerimissüsteemiga). Genereeritud pseudokood saab konverteerida masinkoodiks antud sihtplatvormile või kasutada JIT-kompilaatoris masinajuhiste genereerimiseks otse programmi täitmise ajal. LLVM tehnoloogiate baasil arendatakse projekti raames kompilaatorit Clang, mis toetab programmeerimiskeeli C, C++ ja Objective-C. Alates 18.x harust on projekt läinud üle uuele versioonide nummerdamise skeemile, mille kohaselt kasutatakse nullversiooni („N.0”) arendusprotsessis, ja esimene stabiilne versioon saab numbri „N.1”.

Clang 22 hulgas on parendused:

• Lisatud mälutokenite (Allocation Token) tugi, et tähistada ainulaadseid identifikaatoreid mälumahtude eraldamise operatsioonide jaoks, mida teostatakse selliste funktsioonide abil nagu malloc. Identifikaatorid võimaldavad struktureerida teavet hunnikus (heap), lihtsustada mälu lekete avastamist ja realiseerida objektide grupeerimist vastavalt otstarbele või muudatuste iseloomule (nt eristada «kuumi» või «külmi» andmeid). Sisse lülitamiseks tuleb kasutada lippu «-fsanitize=alloc-token».
• C keelega seotud funktsionaalsus:
  • Töös on spetsifikatsiooni kavand, mis määratleb edasi lükatud täitmise mehhanismi «defer», võimaldades teatud toimingute sooritamist, kui hetke ulatusest väljumine toimub. «defer» toetuse lubamiseks on lisatud lipp «-fdefer-ts».
  • Lisatud sisseehitatud funktsioon __builtin_stack_address(), mis kordab GCC-s olevat sarnast funktsiooni. Funktsioon tagastab aadressi virnas, mis eraldab praeguse funktsiooni sooritava piirkonna, kus kutsuti __builtin_stack_address(), ja hiljem kutsutud funktsioonid.
• C2y tulevase standardi jaoks arendatavad funktsioonid:
  • Lisatud toetused nimelistele tsüklitele, mis võimaldavad tsüklitele ja switch-lausele nimesid anda, mida saab kasutada break ja continue lausetes tsükli selgeks määramiseks, millest välja minnakse. outer: for (int i = 0; i < IK; ++ i) { for (int j = 0; j < JK; ++ j) { continue; // minema CONT1 continue outer; // minema CONT2 // CONT1 } // CONT2 }
  • Täpsemalt ja integreeritud standardisse teostus sisseehitatud makrost "__COUNTER__", mis on mõeldud unikaalsete identifikaatorite nimede genereerimiseks. Kehtestatud piirang 2147483647 makro kutse jaoks, mille ületamise korral ilmub viga.
  • Hoiti tagasi hoiatus(-Wstatic-in-inline) kuvamine staatiliste funktsioonide või muutuja kasutamisel funktsioonides, mis on deklareeritud kui "extern inline".
• C23 standardis määratletud funktsioonid:
  • Pealkirjafaili float.h on lisatud toetust makrodele FLT_SNAN, DBL_SNAN ja LDBL_SNAN, mis realiseerivad signaalväärtused (mis põhjustavad erandi matemaatilistes operatsioonides) NaN tüüpide jaoks float, double ja long double.
  • Parandatud viga, mille tõttu töötati erinevaid nimeta tüüpe sama tõlkeühiku piires ühilduvateks, kui neil olid samad väljad.
  • Lipp „-MG”, mis kasutatakse pealkirjade puudumise ignoreerimiseks sõltuvuste skaneerimise ajal, on laienanud direktiividele „#embed” ja nüüd summutab vea väljundi „faili ei leitud”, kui puudub fail, mis on määratud direktiivis „#embed”.
• C++-ga seotud võimalused:
  • Lisatud arendatav võimalus C++2c (C++26) struktuursed sidumised (structured binding) kontekstis „constexpr”, st konstantsed väljendid võivad nüüd olla ise konstantsed väljendid. Tugi on rakendatud massiivide ja lihtsate struktuuride jaoks (tupikud pole hetkel toetatud). constexpr int arr[] = {1, 2}; constexpr auto [x, y] = arr;
  • Vastavalt C++20 standardi nõudele on tagatud piirangute (constraints) muutmine standardseks vormiks enne nende täitmise kontrollimist, mis võimaldab anda täpsemaid diagnostilisi sõnumeid ja korrektselt töödelda malli argumentide asendusvigu, mida kasutatakse ainult concept-ids.
  • Lisatud sisseehitatud funktsioonide pered „__builtin_[lt|gt|le|ge]_synthesizes_from_spaceship“, mis võimaldavad tuvastada, kas võrdlusoperaatorid „“, „=“ on sünteesitud operaatorist „“.
  • Parameeter „-Wincompatible-pointer-types“ on muudetud veateate kuvamiseks hoiatuse asemel. Vana käitumise taastamiseks tuleks kasutada valikut „-Wno-error=incompatible-pointer-types“.
• Lisatud sisseehitatud funktsioonid __builtin_bswapg, __builtin_elementwise_ldexp, __builtin_elementwise_fshl, __builtin_elementwise_fshr, __builtin_elementwise_minnumnum, __builtin_elementwise_maxnumnum, __builtin_masked_load, __builtin_masked_expand_load, __builtin_masked_store, __builtin_masked_compress_store, __builtin_masked_gather, __builtin_masked_scatter ja __builtin_dedup_pack. Näiteks võimaldab builtin_dedup_pack eemaldada tüüpide loendist duplikaadid: using MyTypeList = TypeList<__builtin_dedup_pack…>; // tulemuseks on tüüp TypeList
• Tundmatu käitumise tõrkeotsingu korral UBSani kaudu (-fsanitize=undefined -fsanitize-trap=undefined) on genereeritavasse tõrgete teabesse lisatud teavet vigade põhjuste kohta. Vigade üksikasjade taseme määramiseks on lisatud lipp „-fsanitize-debug-trap-reasons”, mis võib võtta väärtust „basic” üldiste kirjelduste jaoks (näiteks „Täisarvude liitmine ületas piiri”) ja „detailed” põhjaliku teabe lisamiseks (näiteks „allkirjastatud täisarvude liitmine üle piiri ‘a + b’”).
• Lisatud uusi kompilaatorilippude:
  • „-f[no-]sanitize-debug-trap-reasons” on mõeldud erandite (trap) tekkimise põhjuste sisestamise juhtimiseks tõrgete teavet kompilatsiooni ajal režiimis „-fsanitize-trap”.
  • „-fsanitize=alloc-token”, „-falloc-token-max”, „-fsanitize-alloc-token-fast-abi” ja „-fsanitize-alloc-token-extended” on mõeldud mälu eraldamise tokenite juhtimiseks.
  • „-fmatrix-memory-layout” on mõeldud mahtuvate tüüpide mälus paigutamise juhtimiseks (näiteks column-major — veergude kaupa, row-major — ridade kaupa).
• Funktsioonide jaoks on rakendatud atribuut „malloc_span”, mis on sarnane malloc atribuudile, kuid seda rakendatakse funktsioonidele, mis tagastavad span-tüüpi struktuure, mis sisaldavad näidikut ja suuruse või ploki lõpus oleva näidiku välja.
• Lisatud atribuudi «modular_format» dünaamiliseks valimiseks vajalikku staatiliselt sidumise rakenduse printf funktsiooni ajal kompileerimist.
• Diagnoosimise ja staatilise analüüsi vahendeid on laiendatud, lisatud uusi kontrollimisi (mitu tosinat täiustust, mis on seotud diagnoosimisega).
• X86 arhitektuuri taustsüsteemi on lisatud täiendavad sisseehitatud funktsioonid (Intrinsics) SSE, AVX ja AVX512 laiendusi jaoks. Lisatud on kompilatsiooni režiimid Intel CPU-dele, mis põhinevad Wildcat Lake mikroomiarkitektuuril (-march=wildcatlake) ja Nova Lake (-march=novalake).
• AArch64 arhitektuuri taustsüsteemis on lisatud tugi Ampere Computing Ampere1C (ampere1c), Arm C1-Nano (c1-nano), Arm C1-Pro (c1-pro), Arm C1-Premium (c1-premium) ja Arm C1-Ultra (c1-ultra) protsessoritele. Lisatud on täiendavad sisseehitatud funktsioonid FCVTZ[US], FCVTN[US], FCVTM[US], FCVTP[US], FCVTA[US] käskude jaoks. Stabiliseeritud on FMV (Function Multi-Versioning) tugi. Kasutajatele on antud võimalus seadistada funktsioonide erinevate versioonide prioriteeti.
• LoongArch32 (LA32R, LA32S) arhitektuuri tugi on lisatud.
• ARM, AMDGPU, RISC-V, LoongArch64, MIPS, WebAssembly ja PowerPC arhitektuuride taustsüsteeme on parendatud.

Allikas: opennet.ru