Објавување на пакетот компајлер LLVM 22

По шест месеци развој, објавен е LLVM 22.1.0. Тој развива алатки (компајлери, оптимизатори и генератори на код) кои ги компајлираат програмите во среден битен код на виртуелни инструкции слични на RISC (виртуелна машина на ниско ниво со систем за оптимизација на повеќе нивоа). Генерираниот псевдокод може да се конвертира во машински код за дадена целна платформа или да се користи од компајлер „точно на време“ (JIT) за директно генерирање на машински инструкции за време на извршувањето на програмата. Врз основа на LLVM технологиите, проектот го развива компајлерот Clang, кој ги поддржува програмските јазици C, C++ и Objective-C. Почнувајќи со гранката 18.x, проектот се префрли на нова шема за нумерирање на верзии, според која за време на развојот се користи изданието 0 („N.0“), а првата стабилна верзија е нумерирана како „N.1“.

Подобрувањата во Clang 22 вклучуваат:

• Додадена е поддршка за токени за распределба на меморија (Allocation Tokens) за означување на операциите за распределба на меморија извршени со користење на функции како што е malloc со уникатен идентификатор. Токените за распределба овозможуваат структурирање на информациите за хип, поедноставување на откривањето на истекување на меморија и овозможување групирање на објекти врз основа на нивната намена или шеми на модификација (на пр., одвојување на „жешки“ од „ладни“ податоци). За да го овозможите, користете го ознаката „-fsanitize=alloc-token“.
• Карактеристики поврзани со јазикот C:
  • Имплементирана е нацрт-спецификација што го дефинира механизмот за одложено извршување „defer“, што овозможува извршување на дејствата кога ќе се исклучи тековниот опсег. Додадено е знаменцето „-fdefer-ts“ за да се овозможи поддршка за „defer“.
  • Вградената функција __builtin_stack_address() е додадена, отсликувајќи ја сличната функција во GCC. Оваа функција ја враќа адресата на стекот, одделувајќи ја областа на стекот на тековната функција што ја повикала __builtin_stack_address() и последователните функции што ги повикува.
• Можности што се развиваат за идниот C2y стандард:
  • Додадена е поддршка за именувани јамки, што ви овозможува да доделите имиња на јамки и наредби за префрлување, кои можат да се наведат во наредбите break и continue за експлицитно да ја дефинираат јамката од која ќе се излезе. outer: for (int i = 0; i < IK; ++ i) { for (int j = 0; j < JK; ++ j) { continue; // оди на CONT1 continue outer; // оди на CONT2 // CONT1 } // CONT2 }
  • Имплементацијата на вградената макро „__COUNTER__“, дизајнирана да генерира уникатни имиња на идентификатори, е проширена и вклучена во стандардот. Поставено е ограничување од 2147483647 повици кон ова макро; надминувањето на ова ограничување ќе генерира грешка.
  • Отстрането е предупредувањето (-Wstatic-in-inline) при користење на статички функции или променливи во функции декларирани како „extern inline“.
• Можности дефинирани во стандардот C23 C:
  • Заглавната датотека float.h сега ги поддржува макроата FLT_SNAN, DBL_SNAN и LDBL_SNAN, кои имплементираат сигнализирани (предизвикувајќи исклучок кога се користат во аритметички операции) вредности на NaN за типовите float, double и long double.
  • Исправена е грешка каде што различни неименувани типови се третираа како компатибилни во рамките на истата преведувачка единица ако имаа исти полиња.
  • Ознаката „-MG“ што се користи за игнорирање на недостасувачки датотеки со заглавија за време на скенирањето на зависности е проширена на директивите „#embed“ и сега ја потиснува грешката „датотеката не е пронајдена“ кога недостасува датотека наведена во директивата „#embed“.
• Карактеристики поврзани со C++:
  • Додадена е можноста за користење структурирани врзувања во контекстот „constexpr“, како што е развиено во спецификацијата C++2c (C++26). Ова значи дека референците кон константни изрази сега можат самите да бидат константни изрази. Поддршката е имплементирана за низи и едноставни структури (торките сè уште не се поддржани). constexpr int arr[] = {1, 2}; constexpr auto [x, y] = arr;
  • Како што бара стандардот C++20, ограничувањата сега се конвертираат во стандардна форма пред да се проверат, овозможувајќи поточни дијагностички пораки и правилно ракување со грешките во замената во аргументите на шаблоните што се користат само во концепт-идентификации.
  • Додадено е семејство на вградени функции „__builtin_[lt|gt|le|ge]_synthesizes_from_spaceship“ за да се открие дали операторите за споредба „<“, „>“, „<=“ и „>=“ се синтетизирани од операторот „<=>“.
  • Параметарот „-Wincompatible-pointer-types“ е променет за да прикажува грешка наместо предупредување. За да се вратите на претходното однесување, користете ја опцијата „-Wno-error=incompatible-pointer-types“.
• Додадени се вградени функции __builtin_bswapg, __builtin_elementwise_ldexp, __builtin_elementwise_fshl, __builtin_elementwise_fshr, __builtin_elementwise_minnumnum, __builtin_elementwise_maxnumnum, __builtin_masked_load, __builtin_masked_expand_load, __builtin_masked_store, __builtin_masked_compress_store, __builtin_masked_gather, __builtin_masked_scatter и __builtin_dedup_pack. На пример, builtin_dedup_pack ви овозможува да отстраните дупликати од листа на типови: користејќи MyTypeList = TypeList<__builtin_dedup_pack …>; // добиениот тип ќе биде TypeList
• При дебагирање на недефинирано однесување со UBSan (-fsanitize=undefined -fsanitize-trap=undefined), информациите за причината за грешка сега се вклучени во генерираните информации за дебагирање. Додадено е знаменцето „-fsanitize-debug-trap-reasons“ за да се одреди нивото на детали во информациите за грешката. Може да се постави на „basic“ за општи описи (на пр., „Integer coupling overflow“) и „detailed“ за да вклучи детални информации (на пр., „signed integer coupling overflow in 'a + b'“).
• Додадени нови знаменца на компајлерот:
  • „-f[no-]sanitize-debug-trap-reasons“ за контрола дали причините за исклучоци од стапицата се вградени во информациите за дебагирање при компајлирање со режим „-fsanitize-trap“.
  • „-fsanitize=alloc-token“, „-falloc-token-max“, „-fsanitize-alloc-token-fast-abi“ и „-fsanitize-alloc-token-extended“ за управување со токени за распределба на меморијата.
  • „-fmatrix-memory-layout“ за контрола на распоредот на меморијата на типовите на матрици (на пр. column-major за column-major, row-major за row-major).
• Функциите сега имаат атрибут „malloc_span“, сличен на атрибутот malloc, но применлив за функции што враќаат структури слични на span што содржат покажувач и поле со големина или покажувач до крајот на блокот.
• Додаден е атрибутот „modular_format“ за динамички избор на потребната статички поврзана имплементација на функцијата printf во времето на поврзување.
• Алатките за дијагностичка и статичка анализа се проширени, додадени се нови проверки (неколку десетици подобрувања поврзани со дијагностиката).
• Дополнителни интринзични компоненти за екстензиите SSE, AVX и AVX512 се додадени во бекендот на X86. Додадени се режими на градење за Intel процесори базирани на микроархитектурите Wildcat Lake (-march=wildcatlake) и Nova Lake (-march=novalake).
• Бекендот на AArch64 сега ги поддржува процесорите Ampere Computing Ampere1C (ampere1c), Arm C1-Nano (c1-nano), Arm C1-Pro (c1-pro), Arm C1-Premium (c1-premium) и Arm C1-Ultra (c1-ultra). Додадени се дополнителни вградени функции за инструкциите FCVTZ[US], FCVTN[US], FCVTM[US], FCVTP[US] и FCVTA[US]. Поддршката за повеќеверзии на функции (FMV) е стабилизирана. Корисниците сега можат да го заменуваат приоритетот на различни верзии на функции.
• Додадена е поддршка за архитектурата LoongArch32 (LA32R, LA32S).
• Подобрени бекенди за архитектурите ARM, AMDGPU, RISC-V, LoongArch64, MIPS, WebAssembly и PowerPC.

Извор: opennet.ru