Издање комплета компајлера ЛЛВМ 22

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

Побољшања у Цланг 22 укључују:

• Додата је подршка за токене за алокацију меморије (Алокациони токени) за обележавање операција алокације меморије које се изводе помоћу функција као што је malloc јединственим идентификатором. Алокациони токени омогућавају структурирање информација о хипу, поједностављују откривање цурења меморије и омогућавају груписање објеката на основу њихове намене или образаца модификације (нпр. одвајање „врућих“ од „хладних“ података). Да бисте омогућили, користите заставицу „-fsanitize=alloc-token“.
• Карактеристике везане за C језик:
  • Имплементиран је нацрт спецификације који дефинише механизам одложеног извршавања „defer“, омогућавајући извршавање акција када тренутни опсег изађе из ње. Додата је заставица „-fdefer-ts“ да би се омогућила подршка за „defer“.
  • Додата је уграђена функција __builtin_stack_address(), која је слична сличној функцији у GCC-у. Ова функција враћа адресу стека, одвајајући област стека тренутне функције која је позвала __builtin_stack_address() од наредних функција које она позива.
• Могућности које се развијају за будући C2y стандард:
  • Додата је подршка за именоване петље, која вам омогућава да доделите имена петљама и switch наредбама, које се могу навести у наредбама 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“ да би се одредио ниво детаља у информацијама о грешци. Може се подесити на „основно“ за опште описе (нпр. „Прекорачење сабирања целих бројева“) и „детаљно“ да би се укључиле детаљне информације (нпр. „прекорачење сабирања потписаних целих бројева у '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“ за контролу распореда меморије матричних типова (нпр. колона-главна за колону-главну, ред-главни за ред-главни).
• Функције сада имају атрибут „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 архитектуре.

Извор: опеннет.ру