GCC 16

Pärast aastat arendust avaldatud avaldase kompilaatorite vaba versioon GCC 16.1, esimene oluline väljaanne uues GCC 16.x haru. Vastavalt väljaannete numeratsiooni skeemile, versiooni 16.0 kasutati arendustegevuse käigus ja just enne GCC 16.1 väljalaskmist harunes haru GCC 17.0, mille põhjal moodustatakse järgmine oluline GCC 17.1 versioon.

Peamised muudatused:

• C++ keele vaikerežiim on seatud kasutama standardit C++20 (GNU C++20 dialekt, -std=gnu++20) asemel, millele varem viidati C++17. C++20 rakendamine standardraamatukogus on kuulutatud stabiilseks.
• Komplekti kuulub katsetav esiots ga68 , mis kompileerib Algol 68 programmeerimiskeeles kirjutatudprogramme.
• Lisatud on võimalus kuvada diagnostikainfot HTML formaadis. Tõhustatud diagnostika väljundi raames programmi täitmise kohta esitatavat teavet SARIF, mis põhineb JSON-il (toetamine "-fdiagnostics-format=json" on lõpetatud).
• Otsingutöötluse etapi optimeerimised (LTO, Link-Time Optimization) on laienenud. Lisatud on valik „-flto-toplevel-asm-heuristics”, mis sisaldab heuristikat assembleri sisestustega seotud koodioptimeerimise parandamiseks. Spekuleeriva devirtuatsioonitehnika (-fdevirtualize-speculatively) ei ole enam piiratud virtuaalmeetodite konversiooniga ja seda saab rakendada mis tahes kaudsete funktsioonikutsumiste otseseks kutsumiseks, näiteks näidatud näitajate kaudu tehtud kutsed.
• 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.
• Eksperimentaalne tugi on lisatud paljude võimalustele hiljuti heakskiidetud standardi C++26. Näiteks on ellu viidud:
  • Refleksioon (Reflection, „-freflection”), mis võimaldab jälgida ja muuta programmi elemendi kompilatsiooni staadiumis. Lisatud on uued operaatorid „^^ (open-std.org)” grammatilise struktuuri meta-informatsiooni saamiseks ja „[:…:]” tagasipööramiseks. Saadud teabe konverteerimiseks ja töötlemiseks on ette nähtud std::meta raamatukogu, mis pakub võimalusi, nagu konstantidega arvutamine.
  • Lepinguprogrammimine (Lepingud), võimaldades määratleda liideste formaalseid spetsifikatsioone kolme uue operaatori kaudu: pre (eeltingimus), post (pärasttingimus) ja contract_assert (väite kontrollimine). Operaator „pre“ määratleb eeltingimused, mida tuleb enne kutsumist täita (sisendi kontroll); „post“ – tingimused, mida tuleb järgida pärast täitmist (väljundi nõuded); contract_assert – erandite tekkimise tingimused. See võimalus ilmub GCC 16-s.
  • Operaator „template for“ elementide, nagu parameetrite paketid, tupikutena sarnased objektid ja reflesten tulemused (metaobjektid), läbimiseks kompileerimise ajal tavapärase tsükli stiilis. „template for“ teostamisel avatakse tsükli keha igale elemendile ja iga iteratsioon töödeldakse eraldi ulatuses, kus iteratsiooni käigus oleva järjestuse element on iga iteratsiooni jaoks konstant ja võib osaleda konstantsetes väljendites (constexpr). Reflesti kontekstis võib „template for“ kasutada klasside või nimekirjade 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.
• Rakendatud on C++23 standardiga seotud võimalused, nagu selge objektide eluea haldamine ja toetamine dokumenteerimisnõuete kodeeringu näidised.
• Laienenud toetus standardile C23 (opennet.ru), näiteks on rakendatud omaduse «counted_by» kasutamise võimalust näitajate õige kasutamise kontrollimiseks.
• Jätkub standardite rakendamine OpenMP 5.0, 5.1, 5.2 ja 6.0 (Open Multi-Processing), mis määratleb API ja meetodite kasutamise viisid paralleelse programmeerimise rakendamiseks mitme tuumaga ja hübriidsetes (CPU+GPU/DSP) süsteemides, mis kasutavad jagatud mälu ja vektorisüsteemide (SIMD) plokke. Parandatud paralleelse programmeerimise spetsifikatsioonide rakendamine OpenACC 3.0, 3.3 ja 3.4, mis määratleb vahendid operatsioonide (offloading) edastamiseks GPU ja spetsialiseeritud protsessoritele, nagu NVIDIA PTX.
• 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: linux.org.ru