LLVM 23

Среди улучшений в Clang 23:

• Добавлена поддержка OpenCL C 3.1 (-cl-std=CL3.1).
• Возможности, связанные с языком С:
  • Реализованы функции циклического битового сдвига stdc_rotate_left_{uc,us,ui,ul,ull} и stdc_rotate_right_{uc,us,ui,ul,ull}, а также функции изменения порядка следования элементов массива в памяти __builtin_stdc_memreverse8, stdc_memreverse8 и stdc_memreverse8u{8,16,32,64}, определённые в заголовочном файле stdbit.h для будущего стандарта C2y.
  • Разрешено обращаться к элементам структур через оператор . внутри константных выражений (constexpr).
  • В функциях форматирования строк, таких как printf и scanf, реализована поддержка появившихся в стандарте C23 модификаторов размера: %wN для типа intN_t, %wfN для типа int_fastN_t, %H для типа _Decimal32, %D для типа _Decimal64 и %DD для типа _Decimal128.
• Возможности, связанные с С++:
  • Во встроенной функции __is_trivially_equality_comparable реализована поддержка сравнения перечислений (enum).
  • Во всех режимах C++ разрешено использование ключевого слова auto для автоматического вывода типов параметров функций.
  • Добавлены флаги -std=c++2d и -std=gnu++2d для тестирования возможностей, развиваемых для стандарта, который выйдет после C++26.
  • Добавлена поддержка дополнительных именованных универсальных escape-символов.
  • Появившаяся в спецификации C++26 возможность использования структурированных привязок (structured binding) в контексте constexpr и constinit расширена поддержкой кортежеподобных структур (ранее поддерживались массивы и простые структуры).
  • Добавлена частичная поддержка утверждённого в стандарте C++26 оператора «template for» для перебора элементов на этапе компиляции в стиле обычного цикла. При выполнении template for тело цикла раскрывается для каждого элемента и каждая итерация обрабатывается в отдельной области видимости, в которой элемент последовательности, по которой итерируется цикл, является константой для каждой итерации и может участвовать в константных выражениях (constexpr). В контексте рефлексии template for может применяться для обхода свойств классов или перечислений.
  • Частично реализовано декорирование имён (Itanium mangling, создание уникальных имён символов для компоновщика), используемых для доступа к элементам пакета параметров по индексу.
  • Добавлена поддержка предложенного в стандарте C++20 синтаксиса для более эффективного определения зависимостей между модулями.
  • Арифметические операции с указателями после приведения производных и базовых типов теперь определяются как неопределённое поведение, что позволяет применять оптимизацию на основе девиртуализации вызовов.
  • Разрешено явно специализировать или создавать экземпляры operator() для generic-лямбд.
  • В операторах преобразования типов разрешено не указывать ключевое слово typename перед именем шаблона.
  • Разрешено объявлять специализации членов класса в области видимости класса.
  • В структурированных привязках (structured binding) для инициализаторов, возвращающих временные значения (prvalue), задействованы не ссылочные типы.
• Добавлены встроенные функции __builtin_stdc_rotate_left, __builtin_stdc_rotate_right, __builtin_bitreverseg, __builtin_elementwise_clmul, __builtin_elementwise_pext, __builtin_elementwise_pdep, __builtin_stdc_leading_zeros, __builtin_stdc_leading_ones, __builtin_stdc_trailing_zeros, __builtin_stdc_trailing_ones, __builtin_stdc_first_leading_zero, __builtin_stdc_first_leading_one, __builtin_stdc_first_trailing_zero, __builtin_stdc_first_trailing_one, __builtin_stdc_count_zeros, __builtin_stdc_count_ones, __builtin_stdc_has_single_bit, __builtin_stdc_bit_width, __builtin_stdc_bit_floor, __builtin_stdc_bit_ceil.
• Добавлены функции stdbit.h, применимые в константных выражениях (constexpr):
  • stdc_leading_zeros_{uc,us,ui,ul,ull}, stdc_leading_ones_{uc,us,ui,ul,ull},
  • stdc_trailing_zeros_{uc,us,ui,ul,ull}, stdc_trailing_ones_{uc,us,ui,ul,ull},
  • stdc_first_leading_zero_{uc,us,ui,ul,ull}, stdc_first_leading_one_{uc,us,ui,ul,ull}, stdc_first_trailing_zero_{uc,us,ui,ul,ull}, stdc_first_trailing_one_{uc,us,ui,ul,ull},
  • stdc_count_zeros_{uc,us,ui,ul,ull}, stdc_count_ones_{uc,us,ui,ul,ull},
  • stdc_has_single_bit\_{uc,us,ui,ul,ull},
  • stdc_bit_width_{uc,us,ui,ul,ull}, stdc_bit_floor_{uc,us,ui,ul,ull}, stdc_bit_ceil_{uc,us,ui,ul,ull}.
• В большинство встроенных функций __atomic_ добавлена поддержка значений с плавающей запятой и указателей.
• Добавлен заголовочный файл endian.h, включающий POSIX-функции для манипуляции порядком следования байт.
• Поддерживаемая версия Unicode обновлена с 15.1 до 18.0.
• В инструментарий для Linux и Windows добавлена поддержка механизма multilib, включаемого через флаг -fmultilib-flag и позволяющего использовать отдельные версии библиотек и заголовочных файлов для разных архитектур.
• Добавлены новые флаги компилятора:
  • -fms-anonymous-structs / -fno-ms-anonymous-structs — включение/выключение поддержки расширений Microsoft для анонимных структур.
  • --precompile-reduced-bmi — генерация сокращённого BMI (Binary Module Interface) для импортируемого модуля.
  • -fdiagnostics-show-inlining-chain — показ информации об inline-развёртывании при диагностике при помощи атрибутов [[gnu::warning]] и [[gnu::error]].
  • -fcrash-diagnostics-tar — создание tar-архива с файлами для воспроизведения аварийного завершения для упрощения диагностики сбоев в компиляторе.
  • -fwin-cfg-mechanis — выбор режима защиты CFG (Control Flow Guard) для платформы Windows (automatic, dispatch и check).
  • -fstrict-bool — обработка загружаемых из памяти однобайтовых булевых значений только как 0 и 1.
• Добавлены атрибуты:
  • stack_protector_ignore — выборочное отключение проверки безопасности локальных переменных внутри функции.
  • [[clang::no\_outline]] — запрещает оптимизатору разделать код помеченной функции.
  • __attribute__((overflow_behavior)) — определяет поведение (wrap или trap) при переполнении чисел разных типов.
  • __attribute__((__personality__(...))) — назначение функции для раскрутки стека при возникновении исключений.
• Расширены средства диагностики и статического анализа, добавлены новые проверки (несколько десятков улучшений, связанных с диагностикой).
• В бэкенд для архитектуры X86 добавлена поддержка процессоров AMD на базе микроархитектуры Zen 6 (-march=znver6). Добавлена поддержка расширения набора команд AVX512BMM и реализованы встроенные функции на его основе.
• В бэкенд для архитектуры AArch64 добавлена поддержка процессоров Arm AGI CPU (armagicpu), Hisilicon hip12 (hip12) и NVIDIA Rigel (rigel).
• В бэкенде AMDGPU реализована начальная поддержка GPU GFX1310 на базе архитектуры RDNA 5. Добавлены встроенные функции __builtin_amdgcn_processor_is и __builtin_amdgcn_is_invocable.
• Улучшены бэкенды для архитектур ARM, RISC-V, LoongArch64, MIPS, SystemZ, WebAssembly и PowerPC.
• В компоновщике LLD реализовано распараллеливание загрузки входных файлов и маркировки секций для сокращения времени связывания крупных проектов.