GCC 16 kompilatsioonide komplekti väljalaskmine

Aasta kestnud arenduse järel on välja antud tasuta GCC 16.1 kompilatsioonide komplekt, mis on esimene märkimisväärne versioon uues GCC 16.x harus. Vaatamata väljaandmise numbrite järjekorrale kasutati versiooni 16.0 arenduse käigus ning vahetult enne GCC 16.1 turuletulekut eraldus haru GCC 17.0, mille alusel luuakse järgmine märkimisväärne väljaanne GCC 17.1.

Peamised muudatused:

• C++ keele vaikerežiim on vahetatud C++20 standardi (GNU C++20 dialekt, -std=gnu++20) kasutamisele, asendades varem pakutud C++17. C++20 teostus standardraamatukogus on kuulutatud stabiilseks.
• Komplekti on lisatud eksperimentaalne ga68 esiots kompilatsioonide tegemiseks programmeerimiskeeles Algol 68.
• Lisatud on võimalus diagnostiliste andmete väljundi HTML-formaadis. Laiendatud on programmitäitmise käiku kajastavat teavet, mis lisatakse diagnostika väljundisse SARIF formaadis, mis põhineb JSON-il (tugi „-fdiagnostics-format=json” on lõpetatud).
• Lintide optimeerimised sidumisetapis (LTO, Link-Time Optimization) on laiendatud. Lisatud on valik „-flto-toplevel-asm-heuristics“, mis hõlmab heuristikatehnikaid, et parandada koodiintegratsiooni assembleri sisestustega. Spekulatiivse devirtuualiseerimise tehnika (-fdevirtualize-speculatively) ei piirdu enam virtuaalsete meetodite muundamisega ning seda saab rakendada mis tahes kaudsete funktsioonikutsumiste otseseks kutsemiseks, näiteks pointerite kaudu toimuvate kutsete puhul.
• Implementatsiooni on tehtud tsüklite vektoreerimise toe jaoks, mille puhul kompileerimise ajal ei ole iteratsioonide arvu teada. Tõhusust on suurendatud tsükli ennetähtaegsete väljumiste (näiteks break kaudu) töötlemisel.
• Lisatud eksperimentaalne tugi paljudele hiljuti kinnitatud C++26 standardi uutele funktsionaalustele. Näiteks on rakendatud:
  • Refleksioon (Reflection, «-freflection»), mis võimaldab jälgida ja muuta programmi elemente kompileerimise etapis. Lisatud on uued operaatorid «^^» meta-informatsiooni saamiseks grammatilisest konstruktsioonist ja «[:…:]» tagasipööramiseks. Muundamiseks ja inspektsiooni käigus saadud informatsiooni töötlemiseks on pakutud raamatukogu std::meta ning saadaval on sellised võimalused nagu konstantidega arvutamine.
  • Lepinguprogrammimine (Contracts), mis võimaldab määratleda formaalseid spetsifikatsioone liideste jaoks kolme uue operaatori abil: pre (eeltingimus), post (pärast tingimus) ja contract_assert (väidete kontroll). Operaator «pre» määratleb eeltingimused, mis peavad olema täidetud enne väljakutset (sisendi kontroll); «post» — tingimused, mis peavad olema täidetud pärast täitmist (väljundite nõuded); contract_assert — erandite tekkimise tingimused. See funktsioon ilmub GCC 16-s.
  • "template for" operaator elementide, nagu tuparametrid, tuple-le sarnased objektid ja refleksiooni tulemused (metaobjektid), iteratiivseks töötlemiseks kompileerimise etapis tavapärases tsüklis. Täitmisel "template for" avab tsükli keha iga elemendi jaoks ja iga iteratsioon töödeldakse eraldi nähtavuses, kus tsüklis iteratsiooniks olev sekundi element on igas iteratsioonis konstant ning saab osaleda konstantsetes väljendites (constexpr). Refleksiooni kontekstis saab "template for" kasutada klasside või enumide omaduste läbimiseks.
  • Uuenduslik std::simd raamatukogu andmeoperatsioonide teostamise paraleelseteks käsitlusteks SIMD käskude, nagu AVX-512 ja NEON, abil, kasutades C++ standardset tüübivõrku.
  • Raamatukogud std::inplace_vector, std::optional, std::copyable_function, std::function_ref, std::indirect, std::polymorphic ja std::owner_equal.
• C++23 standardiga seotud võimaluste täiendamine, nagu objektide eluaja selge juhtimine ja diagnostiliste sõnumite sümbolite kodeeringu määramine.
• C23 standard support has been expanded, for example, the ability to use the "counted_by" attribute for checking the correctness of pointer usage has been implemented.
• The implementation of OpenMP 5.0, 5.1, 5.2, and 6.0 (Open Multi-Processing) standards continues, defining APIs and methods for applying parallel programming techniques on multi-core and hybrid (CPU+GPU/DSP) systems with shared memory and SIMD vectorization blocks. The implementation of OpenACC 3.0, 3.3, and 3.4 parallel programming specifications, which define means for offloading operations to GPUs and specialized processors such as NVIDIA PTX, has been improved.
• Support for AMD processors based on the Zen6 microarchitecture (-march=znver6) has been added to the backend for x86 architecture, as well as for Intel Wildcat Lake (-march=wildcatlake) and Nova Lake (-march=novalake) processors.
• Support for AMD Radeon (GCN) GPU code generation backend has been implemented for AMD Instinct MI300 (gfx942) accelerators.
• Support for the type "_BitInt (N)" for defining integers with a specified number of bits has been implemented for RISC-V, ARM, S/390, and LoongArch architectures.
  
  Allikas: opennet.ru