Релиз набора компиляторов GCC 13
После года разработки опубликован релиз свободного набора компиляторов GCC 13.1, первый значительный выпуск в новой ветке GCC 13.x. В соответствии с новой схемой нумерации выпусков, версия 13.0 использовалась в процессе разработки, а незадолго до выхода GCC 13.1 уже ответвилась ветка GCC 14.0, на базе которой будет сформирован следующий значительный релиз GCC 14.1.
Основные изменения:
В состав GCC принят фронтэнд для сборки программ на языке программирования Modula-2. Поддерживается сборка кода, соответствующего диалектам PIM2, PIM3 и PIM4, а также принятому ISO-стандарту для данного языка.
Добавлены компоненты фронтэнда c реализацией компилятора языка Rust, подготовленного проектом gccrs (GCC Rust). В текущем виде форнтэнд отмечен как экспериментальный и не включён по умолчанию. После доведения фронтэнда до готовности (ожидается в следующем выпуске), штатный инструментарий GCC сможет использоваться для компиляции программ на языке Rust без необходимости установки компилятора rustc, построенного с использованием наработок LLVM.
В механизм оптимизации на этапе связывания (LTO) добавлена поддержка cервера управления работами (jobserver), поддерживаемого проектом GNU make для оптимизации выполнения параллельной сборки в несколько потоков. В GCC jobserver применяется для распараллеливания работ при LTO-оптимизации в контексте всей программы (WPA, Whole-program Analysis). Для взаимодействия с jobserver по умолчанию применяются именованные каналы (--jobserver-style=fifo).
В статическом анализаторе предложено 20 новых диагностических проверок, среди которых »-Wanalyzer-out-of-bounds»,»-Wanalyzer-allocation-size», »-Wanalyzer-deref-before-check»,»-Wanalyzer-infinite-recursion» -Wanalyzer-jump-through-null»,»-Wanalyzer-va-list-leak».
Реализована возможность вывода диагностики в формате SARIF, основанном на JSON. Новый формат можно использовать для получения результатов статического анализа (GCC -fanalyzer), а также для получения сведений о предупреждениях и ошибках. Включение производится опцией »-fdiagnostics-format=sarif-stderr|sarif-file|json-stderr|json|json-file», где опции с «json» приводят к выводу в специфичном для GCC варианте формата JSON.
Реализованы некоторые возможности, определённые в Си-стандарте C23, такие как константа nullptr для определения нулевых указателей, упрощено использование списков с переменным числом аргументов (variadic), расширены возможности перечислений, атрибут noreturn, разрешено использование constexpr и auto при определении объектов, операторы typeof и typeof_unqual, новые ключевые слова alignas, alignof, bool, false, static_assert, thread_local и true, разрешено указание пустых скобок при инициализации.
Реализованы некоторые возможности, определённые в стандарте C++23, такие как возможность размещения меток в конце составных выражений, совместимость с типом char8_t, директива препроцессора #warning, разделённые (\u{}, \o{}, \x{}) и именованные ('\N{LATIN CAPITAL LETTER A}') escape-последовательности, static operator (), static operator[], оператор равенства внутри выражений, убраны некоторые ограничения по использованию constexpr, поддержка UTF-8 в исходных текстах.
В libstdc++ улучшена экспериментальная поддержка стандартов C++20 и C++23, например, добавлена поддержка заголовочного файла ‹format› и std: format, расширены возможности заголовочного файла ‹ranges›, добавлены дополнительные типы с плавающей запятой, реализованы заголовочные файлы ‹experimental/scope› и ‹experimental/synchronized_value›.
Добавлены новые атрибуты функций для документирования того, что в целочисленной переменной передаётся файловый дескриптор: »__attribute__((fd_arg (N)))», »__attribute__((fd_arg_read (N)))» и »__attribute__((fd_arg_write (N)))». Указанные атрибуты могут использоваться в статическом анализаторе (-fanalyzer) для выявления некорректной работы с файловыми дескрипторами.
Добавлен новый атрибут »__attribute__((assume (EXPR)))», при помощи которого можно сообщить компилятору, что выражение истинно и компилятор может использовать данный факт это без вычисления выражения.
Добавлен флаг »-fstrict-flex-arrays=[level]» для выбора поведения при обработке гибкого элемента-массива в структурах (Flexible Array Members, массив неопределённого размера в конце структуры, например, «int b[]»).
Добавлен флаг »-Wenum-int-mismatch» для вывода предупреждений в случае несоответствия между перечисляемым типом и целым типом.
Во фронтэнде для языка Fortran полностью реализована поддержка финализации.
Во фронтэнде для языка Go добавлена поддержка обобщённых функций и типов (дженериков), обеспечена совместимость с пакетами для языка Go 1.18.
В бэкенде для архитектуры AArch64 реализована поддержка CPU Ampere-1A (ampere1a), Arm Cortex-A715 (cortex-a715), Arm Cortex-X1C (cortex-x1c), Arm Cortex-X3 (cortex-x3) и Arm Neoverse V2 (neoverse-v2). В опцию »-march=» добавлена поддержка аргументов «armv9.1-a», «armv9.2-a» и «armv9.3-a». Добавлена поддержка процессорных расширений FEAT_LRCPC, FEAT_CSSC и FEAT_LSE2.
В бэкенд для архитектуры ARM добавлена поддержка CPU STAR-MC1 (star-mc1), Arm Cortex-X1C (cortex-x1c) и Arm Cortex-M85 (cortex-m85).
В бэкенд для архитектуры x86 добавлена поддержка процессоров Intel Raptor Lake, Meteor Lake, Sierra Forest, Grand Ridge, Emerald Rapids, Granite Rapids, а также процессоров AMD на базе ядра znver4. Реализованы предложенные в процессорах Intel расширения архитектуры набора команд AVX-IFMA, AVX-VNNI-INT8, AVX-NE-CONVERT, CMPccXADD, AMX-FP16, PREFETCHI, RAO-INT и AMX-COMPLEX. Для языков C и C++ на системах с SSE2 предоставлен тип __bf16.
В бэкенде генерации кода для GPU AMD Radeon (GCN) реализована возможность использования ускорителей AMD Instinct MI200 для повышения производительности OpenMP/OpenACC. Улучшена векторизация с использованием инструкций SIMD.
Значительно расширены возможности бэкенда для платформы LoongArch.
В бэкенде для архитектуры RISC-V добавлена поддержка CPU T-Head’s XuanTie C906 (thead-c906). Реализована поддержка векторных обработчиков, определённых в спецификации RISC-V Vector Extension Intrinsic 0.11. Добавлена поддержка 30 расширений спецификаций.
Поддержка отладочного формата DWARF реализована почти во всех конфигурациях.
При формирования разделяемых объектов при указании опции »-shared» прекращено добавление кода запуска после добавления окружения для вычислений с плавающей запятой, если включены оптимизации »-Ofast»,»-ffast-math» или »-funsafe-math-optimizations».
Добавлена опция »-gz=zstd» для сжатия отладочной информации с использованием алгоритма Zstandard. Прекращена поддержка устаревшего режима сжатия отладочной информации »-gz=zlib-gnu».
- Добавлена начальная поддержка OpenMP 5.2 (Open Multi-Processing) и продолжена реализация стандартов OpenMP 5.0 и 5.1, определяющих API и способы применения методов параллельного программирования на многоядерных и гибридных (CPU+GPU/DSP) системах с общей памятью и блоками векторизации (SIMD).
Прекращена поддержка устаревшего формата хранения отладочной информации «STABS» (включался опциями -gstabs и -gxcoff), созданного в 1980-е годы и применяемого в отладчике dbx.
Объявлена устаревшей поддержка Solaris 11.3 (код для поддержки данной платформы будет удалён в следующем выпуске).
Источник: http://www.opennet.ru/opennews/art.shtml? num=59038
© OpenNet
