Издаден е наборът на компилаторите LLVM 21

След шест месеца разработка е представен релизът на проекта LLVM 21.1.0, който развива инструменти (компилатори, оптимизатори и генератори на код), компилиращи програми в междинен биткод на RISC-подобни виртуални инструкции (ниска ниво виртуална машина с многостепенна система на оптимизация). Генерираният псевдокод може да бъде преобразуван в машинен код за определена целева платформа или използван от JIT компилатор за генериране на машинни инструкции директно по време на изпълнение на програмата. На базата на технологии LLVM проектът развива компилатора Clang, който поддържа програмни езици C, C++ и Objective-C. Започвайки от клон 18.x, проектът премина на нова схема за обозначаване на версии, съгласно която нулевото издание („N.0“) се използва в процеса на разработка, а първата стабилна версия получава номер „N.1“.

Сред подобренията в Clang 21:

• Възможности, свързани със C++:
  • По подобие на GCC, е реализирана възможност за използване на константни изрази в асемблерни вмъквания, определяни от директивата „asm“: int foo() { asm((std::string_view(„nop“)) ::: (std::string_view(„memory“))); }
  • Добавени са разширени варианти на операторите „new“ и „delete“, които поддържат аргумента „std::type_identity“, чрез който може да се посочи информация за типа на обекта, за който се заделя или освобождава памет.
  • Добавена е възможност за изчисляване на ламбда функции, които захващат структурирани свързвания (structured binding), на етап компилация в контекста на константен израз.
• Възможности, свързани с бъдещия стандарт C++2c (C++26):
  • В структурирани свързвания е добавена възможност за използване на синтаксиса „...“ за указване на пакети, които захващат останалите елементи от присвояваната последователност. auto [x,y,z] = f(); // в променливите x, y, z ще бъдат записани три елемента, върнати от f(). auto […xs] = f(); // в пакета xs ще бъдат записани всички елементи, върнати от f(). auto [x, ...rest] = f(); // В x ще бъде записан първият елемент, а в rest — останалите. auto [x, y, ...rest] = f(); // В x ще бъде записан първият елемент, в y — вторият, а в rest — третият. auto [x, ...rest, z] = f(); // в x — първият, в rest — вторият, в z — третият.
  • Добавена е поддръжка на «тривиалната преместване» (Trivial Relocatability), която позволява оптимизиране на премeстванията на обекти от определен тип чрез клонирането им в паметта без извикване на конструктори или деструктори. За класовете са реализирани свойствата memberwise_trivially_relocatable и memberwise_replaceable, а за нискоуредно преместване на един или няколко обекта са добавени функциите trivially_relocate_at и trivially_relocate.
  • Възможност за прилагане на структурирано свързване (structured binding) като условие в операторите if и switch.
  • Реализирана е поддръжка за свързване на функцията main към глобален модул и определяне на функцията main в именувани модули.
• Възможности, които се развиват за бъдещия стандарт C2y:
  • Отстранено е неопределеното поведение при използване на изрази с тип void в някои контексти, например, «(void)(void)1;».
  • Разрешено е файлът с изходен код да не завършва със символа за нов ред.
  • Добавени са нови префикси за осемдесетични литерали — 0o и 0O, както и осемдесетични и шестнадесетични escape-последователности «\o{…}» и \x{…}. Поддръжката на осемдесетични литерали 0xxx е обявена за остаряла. Например, «0o123» и «\o{123}» вместо «0123».
  • Добавен е операторът «_Countof» за определяне на броя на елементите в масив. Също така е добавен заглавен файл stdcountof.h, който определя версия на макроса «countof», реализиран чрез «_Countof».
• Възможности, определени в стандарта C23 по стандарта C:
  • Разрешено е преопределянето на tag-типове (struct, union, enum) в рамките на един блок на транслация, ако повторните определения са структурно еквивалентни (същият брой членове, еднакви типове и имена на тегове).
  • Оптимизирано е използването на списъци с променлив брой аргументи (variadic). Позволено е да се използва единствен вариативен параметър в името на типа.
  • Добавена е съвместима с GCC вградена функция «__builtin_c23_va_start()», която подобрява поведението на диагностиката за макроса va_start() в режим C23.
• В режим на съвместимост с компилатора MSVC е разрешено да се използва спецификаторът inline при деклариране на тип функция чрез typedef, например, «typedef int inline Foo(int);»
• Разрешено е да се използва квалификаторът «restrict» за типове масиви с елементи-указатели.
• Нови предупреждения на компилатора:
  • «-Wdefault-const-init-var» и «-Wdefault-const-init-field» — идентифициране на променливи и полета, маркирани с const, дефинирани без явна инициализация.
  • «-Wimplicit-void-ptr-cast» — се показва при неявно преобразуване от типа «void*» в друг тип указател.
  • «-Wc++-keyword» — се показва при използване на ключови думи «C++» като идентификатори в «C».
  • «-Wc++-hidden-decl» — идентифицира използването на типовете тагове, видими в «C», но не видими в «C++» поради ограничение на обхвата.
  • «-Wimplicit-int-enum-cast» — идентифицира неявните преобразувания в C код от целочислени типове в типове изброяване, които не са съвместими с «C++».
  • «-Wtentative-definition-compat» — диагностика на предварителни определения в «C», с множество определения, несъвместими с «C++».
  • «-Wunterminated-string-initialization» и «-Wc++-unterminated-string-initialization» — идентифицира ситуации на инициализация от стрингови литерали, в които не може да се задържи разделител със нулев код. За етикетиране на полета и променливи в кода на C, които не изискват окончателен нулев символ, е добавен атрибут «nonstring».
  • «-Wjump-misses-init» — диагностика на преходи чрез goto или switch/case, които пропускат инициализацията на локална променлива.
  • «-Wundef-true» — предупреждава за използването на стойността «true» в предварителния процесор на C без определение.
  • «-Wnrvo» — диагностика на пропуснати NRVO (Named Return Value Optimization).
• Нови флагове на компилатора:
  • «-fprofile-continuous» — включване на непрекъсната синхронизация на профила в файл.
  • «-ftime-report-json» — извежда информация за времето на компилация в JSON формат.
  • «-ignore-pch» — деактивира предварително компилирани заглавия.
  • «-fthinlto-distributor» и «-Xthinlto-distributor» — за прилагане на DTLTO (Integrated Distributed ThinLTO).
  • «-static-libclosure» — за статично свързване на runtime разширения Blocks на платформата Windows.
• Разширени средства за диагностика и статичен анализ, добавени нови проверки (повече от сто подобрения, свързани с диагностиката).
• Подобрени бекенди за архитектури ARM, Aarch64, AMDGPU, x86, RISC-V, LoongArch, MIPS и PowerPC. В бекенда за RISC-V е добавена експериментална поддръжка на асемблера за [[https://llvm.org/docs/RISCVUsage.html разширения на Qualcomm uC, Andes и SiFive.

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