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 и са налични такива възможности, като изчисления с константи.
  • Договорно програмиране (Договори), позволяващо определяне на формални спецификации на интерфейси с помощта на три нови оператора: 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<T&>, 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). Подобрено реализация на спецификациите за паралелно програмиране 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