Пускане на компилаторния пакет GCC 12

След година на разработка, безплатният компилаторен пакет GCC 12.1 беше пуснат, първото значително издание в новия клон на GCC 12.x. В съответствие с новата схема за номериране на изданията, версия 12.0 беше използвана в процеса на разработка и малко преди издаването на GCC 12.1, клонът на GCC 13.0 вече се разклони, на базата на който следващото голямо издание, GCC 13.1, ще да се формира. На 23 май проектът ще отбележи 35 години от създаването на първото издание на GCC.

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

• Добавена е поддръжка за CTF (Compact Type Format) формат за отстраняване на грешки, който осигурява компактно съхранение на информация за C типове, връзки между функции и символи за отстраняване на грешки. Когато е вграден в ELF обекти, форматът позволява използването на EFL символни таблици, за да се избегне дублирането на данни.
• Поддръжката на формата за съхранение на информация за отстраняване на грешки "STABS", създаден през 1980 г., е отхвърлена.
• Продължава работата по разширяване на поддръжката за бъдещи стандарти C2X и C++23 за езиците C и C++. Например, добавена е поддръжка за израза „if consteval“; позволено е да се използва auto в аргументите на функцията (“f(auto(g()))”); използването на нелитерални променливи, goto и етикети е позволено във функции, декларирани като constexpr; добавена поддръжка за многомерни индексни оператори operator[]; в if, for и switch, възможностите на блоковете за инициализация са разширени („for (използвайки T = int; T e : v)“).
• Стандартната библиотека на C++ има подобрена поддръжка за експерименталните секции на стандартите C++20 и C++23. Добавена е поддръжка за std::move_only_function, , std::basic_string::resize_and_overwrite, , и std::invoke_r. Разрешено е използването на std::unique_ptr, std::vector, std::basic_string, std::optional и std::variant във функциите constexpr.
• Предният интерфейс на Fortran осигурява пълна поддръжка за спецификацията TS 29113, която описва възможности за осигуряване на преносимост между Fortran и C код.
• Добавена е поддръжка за разширението __builtin_shufflevector(vec1, vec2, index1, index2, ...), добавено по-рано към Clang, което предлага едно извикване за извършване на общи векторни операции за разбъркване и разбъркване.
• Когато използвате нивото на оптимизация "-O2", векторизацията е активирана по подразбиране (режимите -ftree-vectorize и -fvect-cost-model=very-cheap са активирани). Много евтиният модел позволява векторизация само ако векторният код може напълно да замени скаларния код, който се векторизира.
• Добавен е режим „-ftrivial-auto-var-init“, за да се даде възможност за изрична инициализация на променливи в стека за проследяване на проблеми и блокиране на уязвимости, свързани с използването на неинициализирани променливи.
• За езиците C и C++ е добавена вградена функция __builtin_dynamic_object_size за определяне на размера на обект, съвместима с подобна функция от Clang.
• За езиците C и C++ е добавена поддръжка за атрибута „unavailable“ (например можете да маркирате функции, които ще генерират грешка, ако се опитате да ги използвате).
• За езиците C и C++ е добавена поддръжка за директиви за предварителна обработка „#elifdef“ и „#elifndef“.
• Добавен е флаг "-Wbidi-chars" за показване на предупреждение, ако знаците UTF-8 се използват неправилно, променяйки реда, в който се показва двупосочният текст.
• Добавен е флаг "-Warray-compare" за показване на предупреждение при опит за сравняване на два операнда, които се отнасят до масиви.
• Внедряването на стандартите OpenMP 5.0 и 5.1 (Open Multi-Processing), които дефинират API и методите за прилагане на методи за паралелно програмиране на многоядрени и хибридни (CPU+GPU/DSP) системи със споделена памет и единици за векторизация (SIMD) , продължи.
• Подобрена реализация на спецификацията за паралелно програмиране OpenACC 2.6, която дефинира инструменти за разтоварващи операции на GPU и специализирани процесори като NVIDIA PTX.
• Поддръжка за разширени инструкции Intel AVX86-FP512 и тип _Float16 е добавена към бекенда за генериране на код за x16 архитектурата.
• За x86 архитектурата е добавена защита срещу уязвимости в процесорите, причинени от спекулативно изпълнение на инструкции след безусловни операции за прескачане напред. Проблемът възниква поради превантивна обработка на инструкции, непосредствено следващи инструкцията за разклоняване в паметта (SLS, Straight Line Speculation). За да активирате защитата, се предлага опцията „-mharden-sls“.
• Добавено откриване на използването на неинициализирани променливи към експерименталния статичен анализатор. Добавена първоначална поддръжка за анализиране на асемблерния код във вградени вмъквания. Подобрено проследяване на паметта. Кодът за обработка на изрази за превключване е пренаписан.
• Добавени са 30 нови извиквания към libgccjit, споделена библиотека за вграждане на генератор на код в други процеси и използването му за JIT компилиране на байт код в машинен код.
• Поддръжката на механизма CO-RE (Compile Once - Run Everywhere) е добавена към бекенда за генериране на BPF байткод, който ви позволява да компилирате кода на eBPF програмите за Linux ядрото само веднъж и да използвате специален универсален товарач, който адаптира заредена програма към текущото ядро ​​и BPF Types Format). CO-RE решава проблема с преносимостта на компилираните eBPF програми, които преди това можеха да се използват само във версията на ядрото, за която бяха компилирани, тъй като позицията на елементите в структурите от данни се променя от версия на версия.
• Бекендът на RISC-V добавя поддръжка за нови разширения на архитектурата на набор от инструкции zba, zbb, zbc и zbs, както и разширения ISA за векторни и скаларни криптографски операции. По подразбиране е осигурена поддръжка за спецификацията RISC-V ISA 20191213. Флагът -mtune=thead-c906 е добавен, за да позволи оптимизации за ядрата T-HEAD c906.
• Поддръжката за типа __int128_t/integer(kind=16) е добавена към бекенда за генериране на код за AMD графични процесори, базирани на микроархитектурата GCN. Възможно е да се използват до 40 работни групи на изчислителна единица (CU) и до 16 фронта на инструкции (wavefront, набор от нишки, изпълнявани паралелно от SIMD Engine) на група. Преди това беше разрешен само един край на инструкция за CU.
• Бекендът на NVPTX, предназначен да генерира код с помощта на архитектурата на набора от инструкции NVIDIA PTX (Parallel Thread Execution), добави възможността за използване на флаговете „-march“, „-mptx“ и „-march-map“. Реализирана поддръжка за PTX ISA sm_53, sm_70, sm_75 и sm_80. Архитектурата по подразбиране е sm_30.
• В бекенда за процесори PowerPC / PowerPC64 / RS6000 реализациите на вградените функции са пренаписани. Вградените функции __builtin_get_texasr, __builtin_get_texasru, __builtin_get_tfhar, __builtin_get_tfiar, __builtin_set_texasr, __builtin_set_texasru, __builtin_set_tfhar и __builtin_set_tfiar са документирани.
• Поддръжка за Arm Ampere-64 (-mcpu/-mtune ampere1), Arm Cortex-A1 (cortex-a510), Arm Cortex-A510 (cortex-a710) и Arm Cortex-X710 (cortex-x2). Добавена е поддръжка за нови опции за архитектура ARMv2 за използване с опцията "-march": armv8-a, armv8.7-a, armv8.8-a. Добавена реализация на C функции, вградени в компилатора (Intrinsics) за атомарно зареждане и записване на данни в паметта, въз основа на използването на разширени ARM инструкции (ls9). Добавена е поддръжка за ускоряване на функциите memcpy, memmove и memset с помощта на разширението mopsoption ARM.
• Добавен е нов режим на проверка „-fsanitize=shadow-call-stack“ (ShadowCallStack), който в момента е достъпен само за архитектурата AArch64 и работи при изграждане на код с опцията „-ffixed-r18“. Режимът осигурява защита срещу презаписване на адреса за връщане от функция в случай на препълване на буфера в стека. Същността на защитата е да запази адреса за връщане в отделен стек „сянка“ след прехвърляне на контрола към функция и извличане на този адрес преди излизане от функцията.

Източник: opennet.ru