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

По шест месеци развој, беше претставено изданието на проектот LLVM 12.0 - комплет алатки компатибилен со GCC (компајлери, оптимизатори и генератори на код) кој ги компајлира програмите во среден биткод на виртуелни инструкции слични на RISC (виртуелна машина на ниско ниво со систем за оптимизација на повеќе нивоа). Генерираниот псевдокод може да се конвертира со помош на JIT компајлер во машински инструкции директно во моментот на извршување на програмата.

Подобрувања во Clang 12.0:

• Поддршката за „веројатните“ и „неверојатните“ атрибути предложени во стандардот C++20 е имплементирана и овозможена стандардно, дозволувајќи му на оптимизаторот да биде информиран за веројатноста условниот конструкт да биде активиран (на пример, „[[веројатно ]] ако (случајно > 0) {“).
• Додадена е поддршка за AMD Zen 3 (-march=znver3), Intel Alder Lake (-march=alderlake) и Intel Sapphire Rapids (-march=sapphirerapids) процесори.
• Додадена е поддршка за знаменцата „-march=x86-64-v[234]“ за избирање нивоа на архитектура x86-64 (v2 - опфаќа SSE4.2, SSSE3, POPCNT и CMPXCHG16B екстензии; v3 - AVX2 и MOVBE; v4 - AVX-512 ) .
• Додадена е поддршка за Arm Cortex-A78C (cortex-a78c), Arm Cortex-R82 (cortex-r82), Arm Neoverse V1 (neoverse-v1), Arm Neoverse N2 (neoverse-n2) и Fujitsu A64FX (a64fx). На пример, за да овозможите оптимизација за Neoverse-V1 процесорите, можете да наведете „-mcpu=neoverse-v1“.
• За архитектурата AArch64, додадени се нови ознаки на компајлерот „-moutline-atomics“ и „-mno-outline-atomics“ за да се овозможат или оневозможат помошните функции за атомско работење, како што е „__aarch64_cas8_relax“. Ваквите функции откриваат при извршувањето дали е достапна поддршката за LSE (Големи системски наставки) и ги користат дадените инструкции за атомскиот процесор или пак се враќаат на користење на инструкции за синхронизација LL/SC (Load-link/store-conditional).
• Додадена е опцијата „-fbinutils-version“ за да се избере целната верзија на пакетот binutils за компатибилност со постар поврзувач и однесување на асемблерот.
• За извршните датотеки ELF, кога е наведено знаменцето „-gz“, стандардно е овозможено компресирање на информациите за дебагирање со помош на збирката злиб (gz=zlib). Поврзувањето на добиените објект-датотеки бара lld или GNU binutils 2.26+. За да ја вратите компатибилноста со постарите верзии на binutils, можете да наведете „-gz=zlib-gnu“.
• Покажувачот „ова“ сега се обработува со проверки без нула и дереференцијабилни(N). За да го отстраните атрибутот nonnull кога треба да користите NULL вредности, можете да ја користите опцијата „-fdelete-null-pointer-checks“.
• На платформата Linux, режимот „-fasynchronous-unwind-tables“ е овозможен за архитектурите AArch64 и PowerPC да генерираат табели за повици за одмотување, како во GCC.
• Во „#pragma clang loop vectorize_width“ ја додаде можноста за одредување на опциите „фиксна“ (стандардно) и „скалабилна“ за да се избере методот на векторизација. Режимот „скалабилен“, независен од должината на векторот, е експериментален и може да се користи на хардвер што поддржува скалабилна векторизација.
• Подобрена поддршка за Windows платформата: Подготвени се официјални бинарни склопови за Windows на Arm64 системите, вклучувајќи ги Clang компајлерот, LLD поврзувачот и библиотеките за траење на компајлер-rt. Кога се гради за целните платформи MinGW, се додава наставката .exe, дури и при вкрстено компајлирање.
• Проширени се можностите поврзани со поддршката за OpenCL, OpenMP и CUDA. Додадени се опциите „-cl-std=CL3.0“ и „-cl-std=CL1.0“ за избор на макро опции за OpenCL 3.0 и OpenCL 1.0. Дијагностичките алатки се проширени.
• Додадена е поддршка за инструкциите HRESET, UINTR и AVXVNNI имплементирани во некои процесори базирани на x86.
• На x86 системи, поддршката за опцијата „-mtune=“ е овозможена, овозможувајќи избрани микроархитектонски оптимизации без оглед на вредноста „-march=“.
• Статичкиот анализатор ја подобри обработката на некои функции на POSIX и значително го подобри определувањето на резултатот од условните операции кога има неколку симболични вредности во споредбата. Додадени се нови проверки: fuchia.HandleChecker (дефинира рачки во структури), webkit.UncountedLambdaCapturesChecker webkit и alpha.webkit.UncountedLocalVarsChecker (ги зема предвид особеностите на работа со покажувачи во кодот на моторот WebKit).
• Во изразите што се користат во контекст на константи, употребата на вградените функции __builtin_bitreverse*, __builtin_rotateleft*, __builtin_rotateright*, _mm_popcnt*, _bit_scan_forward, __bsfd, __bsfq, __bit_scan_reverse, __bit_scan_reverse, _bsd _ е дозволено bswapq , _castf*, __rol* и __ror*.
• Додадена е опција BitFieldColonSpacing во алатката за формат clang за да се избере растојанието околу идентификаторите, колоните и дефинициите на полињата.
• Серверот за кеширање clangd (Clang Server) на платформата Linux значително ја намали потрошувачката на меморија за време на долготрајното работење (обезбедени се периодични повици до malloc_trim за враќање на страниците со бесплатна меморија во оперативниот систем).

Клучни иновации во LLVM 12.0:

• Поддршката за алатката за градење llvm-build напишана во Python е прекината, а наместо тоа, проектот целосно се префрли на користење на системот за градење CMake.
• Во задниот дел за архитектурата AArch64, поддршката за платформата Виндоус е подобрена: обезбедено е правилно генерирање на излез од асемблерот за целните системи на Виндоус, оптимизирано е генерирање податоци за повици за одмотување (големината на таквите податоци е намалена за 60 %), способноста за создавање податоци за одмотување со помош на асемблер се додадени директиви .seh_*.
• Заднината за архитектурата PowerPC се карактеризира со нови оптимизации за циклуси и распоредување во линија, проширена поддршка за процесорите Power10, додадена поддршка за MMA инструкции за манипулација со матрици и подобрена поддршка за оперативниот систем AIX.
• Заднината x86 додава поддршка за AMD Zen 3, Intel Alder Lake и Intel Sapphire Rapids процесорите, како и инструкции за процесори HRESET, UINTR и AVXVNNI. Поддршка за MPX (Екстензии за заштита на меморијата) за проверка на покажувачите за да се осигура дека границите на меморијата веќе не се поддржани (оваа технологија не е широко распространета и веќе е отстранета од GCC и ѕвонење). Додадена е поддршка за асемблерот за префиксите {disp32} и {disp8} и наставките .d32 и .d8 за контрола на големината на поместувањата и скоковите на операндот. Додаден е нов атрибут „tune-cpu“ за контрола на вклучувањето на микроархитектонски оптимизации.
• Нов режим „-fsanitize=unsigned-shift-base“ е додаден во детекторот за проблеми со цели броеви (дезинфикатор на цели броеви, „-fsanitize=цел број“) за откривање на прелевање на неозначени цели броеви по малку поместување налево.
• Во различни детектори (asan, cfi, lsan, msan, tsan, ubsan sanitizer) додадена е поддршка за дистрибуции на Linux со стандардната библиотека Musl.
• Проширени се можностите на LLD поврзувачот. Подобрена поддршка за форматот ELF, вклучувајќи ги додадените опции „--dependency-file“, „-error-handling-script“, „-lto-pseudo-probe-for-profiling“, „-no-lto-whole-program -видливост““ Подобрена поддршка за MinGW. За форматот Mach-O (macOS), имплементирана е поддршка за архитектури arm64, arm и i386, оптимизации за време на врска (LTO) и одмотување на стек за справување со исклучоци.
• Libc++ имплементира нови карактеристики на стандардот C++20 и започна со развој на карактеристики на спецификацијата C++2b. Додадена е поддршка за градење со оневозможување поддршка за локализација („-DLIBCXX_ENABLE_LOCALIZATION=OFF“) и уреди за генерирање псевдо-случајни броеви („-DLIBCXX_ENABLE_RANDOM_DEVICE=OFF“).

Извор: opennet.ru