Saadaval on LLVM 18 kompilaatorite komplekt

Pärast kuut kuud arendust on välja antud projekti LLVM 18.1.0 versioon - GCC ühilduv tööriistakomplekt (kompilaatorid, optimeerijad ja koodi genereerijad), mis kompileerib programme RISC-sarnaste virtuaalsete käskluste vahebitkoodi (madala taseme virtuaalmasin mitmekihilise optimeerimissüsteemiga). Genereritud pseudokood saab JIT-kompilaatori abil tõlkida masinakeelde programmi täitmise hetkel.

Alates harust 18.x on projekt läinud üle uuele versiooninumbrite vormindamise skeemile. Sarnaselt GCC ja GDB projektidele kasutatakse nullversiooni ('N.0') nüüd arenduse protsessis, esimene stabiilne versioon tarnitakse numbri 'N.1' all. Muudatus eraldab arendusharu alusel (mainline) loodud kogumid lõppversioonide kogumitest. Näiteks praeguse väljaande ettevalmistamisel töötati ebatavalise LLVM 18.0 haru peal, samas kui esimene stabiilne versioon ilmus numbri 18.1.0 all. Edaspidi võivad vajadusel iga kahe nädala tagant ilmuda parandavad väljaanded numbritega 18.1.1, 18.1.2 jne. Kui praeguses harus tehakse muudatusi, mis rikuvad ABI-d, vormistatakse uuendus teise versiooninumbri muutmisega (st 18.2.0).

Peamised täiustused Clang 18-s:

• C keelega seotud muudatused:
  • Struktuurid, liideseformenid ja massiivid, millel on 'const' atribuuti, saavad nüüd kasutada nagu konstantseid väljendeid, sarnaselt GCC-le.
  • Loetelud (enum) kajastuvad nüüd TBAA (Type Based Alias Analysis) metaandmetes oma algses täisarvutüübis, selle asemel et töödelda neid 'char' tüübina.
  • Lisatud on 'counted_by' atribuudi tugi, mille kaudu saab määrata struktuuris paindliku massiivi välja, mis määrab massiivi elementide arvu. Atribuuti saab Clangis kasutada mäluaülemineku kontrollimise efektiivsuse suurendamiseks.
• Tulevase C standardi C23 määratud võimalused:
  • Lisatud on '−std=c23' ja '−std=gnu23' lippude tugi, samuti väärtus '202311L' makros jaoks '__STDC_VERSION__', mis määratleb C23 standardi ja GNU C23 laiendused.
  • Lisatud on 'requires c23' väljendi tugi, et siduda mooduleid C23 standardi toe poole.
  • Rakendatud on tüübi väljundi tugi objektide määratlemisel, mis võimaldab tüübile 'auto' asemel määrata muutujate tüübi nende initsialiseerimiseks väljendi tüübi põhjal. Näiteks: 'auto y = cos(x);'.
  • Lisatud on pealkirja faili tugi, kus on makrod täisarvuliste arvutuste kontrollimiseks.
  • Märgiste asetamine on lubatud mis tahes kohtades komposiitväljendite sees.
  • C23 režiimis kompileerimise korral lõpetatakse kolmekordsete ASCII-te märkide trigonide toimetamine. Näiteks '??=' järjendit võis kasutada '#' asemel. Unicode'i tekkimisega on trigonide tugi kaotanud mõtte.
• C++20 standardiga seotud võimalused: Katsekatse mitmesuguste argumentide, mis ei ole tüübid, kasutamiseks mallides, näiteks lubatakse määrata ujukvektorite, osutite ja osade viidete väärtused.
• C++23 standardiga seotud võimalused: Ekspserimitalunnik tugi mehhanismile 'Deducing this', mis võimaldab mallis kasutada 'this' atribuute ja annab klassifunktsioonile võimaluse teada saada väljendi kategooriat (näiteks, kas see on konstant), mille jaoks see funktsioon kutsuti.
• C++2c (C++26) tuleviku standardiga seotud võimalused:
  • Lisatud võimalus kasutada korraga mitut täitmismuutuja nimega „_“ ühes ulatuses, näiteks on nüüd kehtivad konstruktsioonid: struct S { int _, _; }; void func() { int _, _; } void other() { int _; // varem kuvati hoiatust režiimis -Wunused }
  • Antud võimalus kasutada stringi literaale kontekstis, kus neid ei kasutata märgistusmassiivide initsialiseerimiseks ja nad ei satu lõppkoodisse, vaid kasutatakse ainult kompileerimise ajal diagnostikateadeteks ja eelprotsessimiseks, näiteks direktiivide ja atribuutide _Pragma, asm, extern, static_assert, [[deprecated]] ja [[nodiscard]] parameetritena.
  • Ebakohane on implicitide arvu muutmine loendavate väärtuste aritmeetilistes arvutustes. int main() { enum E1 { e }; enum E2 { f }; bool b = e
    
    Allikas: opennet.ru