GCC 16

Efter ett års utveckling publicerades utsläpp av den fria uppsättningen kompilatorer GCC 16.1, den första betydande versionen i den nya grenen GCC 16.x. I enlighet med versionsnumreringssystemet, version 16.0 användes under utvecklingen, och strax innan lanseringen av GCC 16.1 avleddes redan en gren GCC 17.0, på grundval av vilken nästa betydande release GCC 17.1 kommer att bildas.

Huvud för:

• Standardläge för C++-språket har ändrats till att använda standarden C++20 (GNU C++20-dialekten, -std=gnu++20) istället för den tidigare föreslagna C++17. Implementeringen av C++20 i standardbiblioteket har deklarerats stabil.
• En experimentell frontend har inkluderats ga68 för att kompilera program skrivna i programmeringsspråket Algol 68.
• Möjligheten att generera diagnostisk information i HTML-format har lagts till. Information om programmets körning har utvidgats, vilket inkluderas vid utskrift av diagnoser i formatet SARIF, baserat på JSON (stödet för «-fdiagnostics-format=json» har upphört).
• Optimeringar under länksteget (LTO, Link-Time Optimization) har utvidgats. Alternativet «-flto-toplevel-asm-heuristics» har lagts till, vilket inkluderar heuristik för att förbättra kodoptimeringen med assemblerinsättningar. Tekniken för spekulativ devirtualisering (-fdevirtualize-speculatively) är nu inte begränsad till transformation av virtuella metoder och kan tillämpas vid omvandling till direkta anrop av alla indirekta funktionsanrop, till exempel anrop genom pekare.
• Stöd för vektorisering av loopar där antalet iterationer är okänt vid kompilering har implementerats. Effektiviteten vid hantering av tidiga utgångar från loopar (till exempel via break) har ökat.
• Experimentellt stöd har lagts till många funktionerna nyligen godkända standarder. C++26. Till exempel har följande implementerats:
  • Reflektion (Reflection, «-freflection»), vilket möjliggör spårning och modifiering av programmelement under kompilering. Nya operatörer «^^ (open-std.org)» har lagts till för att få metainformation om grammatisk struktur och «[:…:]» för att utföra omvandlingen. För omvandling och behandling av information som erhållits genom inspektion har biblioteket std::meta föreslagits, och sådana funktioner som beräkningar med konstanter finns tillgängliga.
  • Kontraktprogrammering (Contracts), som gör det möjligt att specificera formella gränssnittsspecifikationer med hjälp av tre nya operatorer: pre (förutsättning), post (eftervillkor) och contract_assert (påståendekontroll). Operatorn „pre“ definierar de förutsättningar som måste uppfyllas före anropet (validering av indata); „post“ – villkor som måste uppfyllas efter att operationen har genomförts (krav på utdata); contract_assert – villkor för hur undantag uppstår. Denna funktionalitet kommer att bli tillgänglig i GCC 16.
  • Operatorn „template for“ för att iterera över element som parameterpaket, tuple-liknande objekt och resultat av reflektion (metaobjekt) under kompilering i stil med vanliga loopar. När „template for“ körs, expanderas loopens kropp för varje element och varje iteration behandlas i ett separat synfält där det itererade elementet är en konstant för varje iteration och kan ingå i konstanta uttryck (constexpr). I kontexten av reflektion kan „template for“ användas för att iterera över klasser eller enumerationsegenskaper.
  • Biblioteket std::simd för att parallellisera utförande av operationer på data med hjälp av SIMD-instruktionsuppsättningar, såsom AVX-512 och NEON, med standard C++ typ system.
  • Biblioteken std::inplace_vector, std::optional<T&>, std::copyable_function, std::function_ref, std::indirect, std::polymorphic och std::owner_equal.
• Funktioner relaterade till C++23-standarden har implementerats, såsom explicita hantering av objektlivscykler och stöd för angivning av teckenkodning för diagnostiska meddelanden.
• Stöd för standarder har utvidgats C23 (opennet.ru), till exempel har möjligheten att använda attributet „counted_by“ implementerats för att verifiera korrekt användning av pekare.
• Fortsätter implementering av standarder OpenMP 5.0, 5.1, 5.2 och 6.0 (Open Multi-Processing), som definierar API:er och metoder för tillämpning av parallellprogrammeringsmetoder på flerordnings- och hybrid (CPU+GPU/DSP) system med gemensam minne och vektorisering (SIMD). Förbättrad implementering av specifikationer för parallellprogrammering OpenACC 3.0, 3.3 och 3.4, som definierar verktyg för offloading-operationer på GPU och specialiserade processorer som NVIDIA PTX.
• Stöd för AMD-processorer baserade på Zen6 mikroarkitektur (-march=znver6) har lagts till backend för x86-arkitekturen, liksom för Intel Wildcat Lake (-march=wildcatlake) och Nova Lake (-march=novalake) processorer.
• I backend-koden för GPU AMD Radeon (GCN) har stödet för acceleratorer AMD Instinct MI300 (gfx942) implementerats.
• För arkitekturerna RISC-V, ARM, S/390 och LoongArch har stödet för typen «_BitInt (N)» implementerats för att definiera heltal med angivet antal bitar.

Källa: linux.org.ru