GCC 16

След година разработка беше публикуван освобождаване на свободен комплект компилатори GCC 16.1, първото значително издание в новата клонка на GCC 16.x. Съгласно схемата на номериране на изданията, версия 16.0 е била използвана в процеса на разработка, а малко преди пускането на GCC 16.1 вече се е отклонил клон GCC 17.0, на базата на който ще бъде оформено следващото значително издание GCC 17.1.

Основни промени:

• Режимът по подразбиране за езика C++ е променен да използва стандарта C++20 (диалект GNU C++20, -std=gnu++20) вместо преди предлагания C++17. Реализацията на C++20 в стандартната библиотека е обявена за стабилна.
• Включен е експериментален фронтенд ga68 за компилиране на програми на езика за програмиране Алгол 68 (Algol 68).
• Добавена е възможност за извеждане на диагностична информация във формат HTML. Разширена е информацията за изпълнението на програмата, включвана при извеждане на диагностиката във формат SARIF, базиран на JSON (поддръжката на «-fdiagnostics-format=json» е прекратена).
• Разширени са оптимизациите на етапа на свързване (LTO, Link-Time Optimization). Добавена е опция «-flto-toplevel-asm-heuristics», включваща хевристика за подобряване на оптимизацията на кода с асемблерни вмъквания. Техниката на спекулативна девиртуализация (-fdevirtualize-speculatively) вече не е ограничена до преобразуване на виртуални методи и може да се прилага при преобразуването в прости извиквания на всякакви косвени извиквания на функции, например, извиквания чрез указатели.
• Реализирана е поддръжка за векторизация на цикли, за които на етапа на компилиране не е известно числото на итерациите. Повишена е ефективността на обработката на предсрочни изходи от цикъла (например, чрез break).
• Добавена е експериментална поддръжка много възможности от наскоро одобрения стандарт C++26. Например, реализирани са:
  • Рефлексия (Reflection, «-freflection»), позволяваща проследяване и модифициране на елементи от програмата на етапа на компилация. Добавени са нови оператори «^^ (open-std.org)» за получаване на метаинформация за граматичната конструкция и «[:…:]» за извършване на обратно преобразуване. За преобразуването и обработването на получената по време на инспекцията информация е предложена библиотека std::meta и са достъпни такива възможности като изчисления с константи.
  • Договорно програмиране (Contracts), позволяващо определяне на формални спецификации на интерфейси чрез три нови оператора: pre (предусловие), post (постусловие) и contract_assert (проверка на твърдение). Операторът «pre» определя предварителни условия, които трябва да бъдат изпълнени преди извикването (проверка на входните данни); «post» — условия, които трябва да бъдат спазвани след изпълнението (изисквания за изходните данни); contract_assert — условия за възникване на изключения. Тази възможност ще бъде налична в GCC 16.
  • Операторът «template for» за обход на елементи, като параметрични пакети, които наподобяват кортежи, обекти и резултати от рефлексия (метаобекти), на етап компилация в стил на обикновен цикъл. При изпълнение на «template for» тялото на цикъла се разгъва за всеки елемент и всяка итерация се обработва в отделна област на видимост, в която елементът на последователността, по която се итератира цикъла, е константа за всяка итерация и може да участва в константни изрази (constexpr). В контекста на рефлексията «template for» може да се прилага за обхождане на свойства на класове или изброения.
  • Библиотеката std::simd за паралелизиране на изпълнението на операции върху данни чрез набори от SIMD инструкции, като AVX-512 и NEON, с използване на стандартната система от типове на C++.
  • Библиотеки std::inplace_vector, std::optional, std::copyable_function, std::function_ref, std::indirect, std::polymorphic и std::owner_equal.
• Реализирани са възможности, свързани със стандарт C++23, като явно управление на времето на живот на обекти и подкрепа указания за кодировка на символите на диагностичните съобщения.
• Разширена е подкрепата за стандарта C23 (opennet.ru), например, реализирана е възможност за използване на атрибут «counted_by» за проверка на коректността на използване на указатели.
• Продължена е реализацията на стандартите OpenMP 5.0, 5.1, 5.2 и 6.0 (Open Multi-Processing), определящи API и начини на приложение на методи за паралелно програмиране на многоядрени и хибридни (CPU+GPU/DSP) системи с обща памет и блокове за векторизация (SIMD). Подобренa е реализацията на спецификациите за паралелно програмиране OpenACC 3.0, 3.3 и 3.4, определящи средства за изнасяне на операции (offloading) на GPU и специализирани процесори, като NVIDIA PTX.
• В бекенда за архитектура x86 е добавена поддръжка на процесори AMD, базирани на микроархитектура Zen6 (-march=znver6), както и на процесори Intel Wildcat Lake (-march=wildcatlake) и Nova Lake (-march=novalake).
• В бекенда за генериране на код за GPU AMD Radeon (GCN) е реализирана поддръжка за ускорители AMD Instinct MI300 (gfx942).
• За архитектурите RISC-V, ARM, S/390 и LoongArch е реализирана поддръжка на типа «_BitInt (N)» за определяне на цели числа с посочен брой битове.

Източник: linux.org.ru