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

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

Клучната промена во новото издание беше вклучувањето на Крило, преден дел за јазикот Фортран. Flang поддржува Fortran 2018, OpenMP 4.5 и OpenACC 3.0, но развојот на проектот сè уште не е завршен и предниот дел е ограничен на парсирање на код и проверка на исправност. Генерирањето на среден код на LLVM сè уште не е поддржано и за да се генерираат извршни датотеки, се генерира канонски код и се пренесува на надворешен компајлер Fortran.

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

• Додадена е способност за враќање на апстрактното синтаксно дрво (AST) за скршен C++ код, кој може да се користи за дијагностицирање на грешки и обезбедува дополнителни информации за надворешните алатки како што се clang-tidy и clangd. Функцијата е стандардно овозможена за C++ кодот и се контролира преку опциите „-Xclang -f[no-]recovery-ast“.
• Додадени нови дијагностички режими:
  • „-Wpointer-to-int-cast“ е група на предупредувања за фрлање покажувачи на цел број тип int што не ги опфаќа сите можни вредности.
  • „-Wuninicialized-const-reference“ - предупредување за пренесување неиницијализирани променливи во параметрите на функцијата што прифаќаат референтни аргументи со атрибутот „const“.
  • „-Wimplicit-const-int-float-conversion“ - стандардно е овозможено предупредување за имплицитна конверзија на реална константа во цел број.
• За платформата ARM, C функции вградени во компајлерот се обезбедени (Внатрешност), заменет со ефикасни векторски инструкции Arm v8.1-M MVE и CDE. Достапните функции се дефинирани во датотеките за заглавие arm_mve.h и arm_cde.h.
• Додадено збир од проширени типови цели броеви _ExtInt(N), што ви овозможува да креирате типови кои не се множители на моќи од два, кои можат ефикасно да се обработуваат на FPGA/HLS. На пример, _ExtInt(7) дефинира цел број кој се состои од 7 бита.
• Додадени макроа кои дефинираат поддршка за вградените функции C врз основа на инструкциите на ARM SVE (Scalable Vector Extension):
  __ARM_FEATURE_SVE, __ARM_FEATURE_SVE_BF16,
  __ARM_FEATURE_SVE_MATMUL_FP32, __ARM_FEATURE_SVE_MATMUL_FP64,
  __ARM_FEATURE_SVE_MATMUL_INT8,
  __ARM_FEATURE_SVE2, __ARM_FEATURE_SVE2_AES,
  __ARM_FEATURE_SVE2_BITPERM,
  __ARM_FEATURE_SVE2_SHA3,
  __ARM_FEATURE_SVE2_SM4. На пример, макрото __ARM_FEATURE_SVE е дефинирано кога се генерира кодот AArch64 со поставување на опцијата за командната линија „-march=armv8-a+sve“.

• Знамето „-O“ сега се идентификува со режимот за оптимизација „-O1“ наместо „-O2“.
• Додадени нови знаменца на компајлерот:
  • „-fstack-clash-protection“ - овозможува заштита од раскрсници на оџакот и купот.
  • "-ffp-exception-behavior={ignore,maytrap,strict}" - ви овозможува да го изберете режимот на ракувач со исклучоци за броеви со подвижна запирка.
  • "-ffp-model={precise,strict,fast}" - Го поедноставува пристапот до низа специјализирани опции за броеви со подвижна запирка.
  • „-fpch-codegen“ и „-fpch-debuginfo“ за генерирање на претходно компајлирано заглавие (PCH) со посебни објект-датотеки за код и информации за отстранување грешки.
  • „-fsanitize-coverage-allowlist“ и „-fsanitize-coverage-blocklist“ за проверка на бели и црни листи за тестирање на покриеност.
  • „-mtls-size={12,24,32,48}“ за да ја изберете големината на TLS (нишка-локално складирање).
  • „-menable-experimental-extension“ за овозможување експериментални RISC-V екстензии.
• Стандардниот режим за C е „-fno-common“, што овозможува поефикасен пристап до глобалните променливи на некои платформи.
• Стандардниот кеш на модулот е преместен од /tmp во директориумот ~/.cache. За отфрлање, можете да го користите знамето „-fmodules-cache-path=“.
• Стандардниот стандард за јазик C е ажуриран од gnu11 на gnu17.
• Додадена е прелиминарна поддршка за екстензија GNU C "asm inline» за додавање асемблер инсерти. Проширувањето се уште се анализира, но не се обработува на кој било начин.
• Проширени се можностите поврзани со поддршката за OpenCL и CUDA. Додадена е поддршка за OpenCL 2.0 блок дијагностика и имплементирани нови функции OpenMP 5.0.
• Додадена е опцијата IndentExternBlock во алатката за формат на clang за порамнување во екстерните блокови „C“ и надворешните „C++“.
• Статичкиот анализатор го подобри управувањето со наследените конструктори во C++. Додадени се нови проверки alpha.core.C11Lock и alpha.fuchsia.Lock за проверка на брави, alpha.security.cert.pos.34c за откривање небезбедна употреба на putenv, webkit.NoUncountedMemberChecker и webkit.RefCntblBaseVirtualDtor за откривање проблеми со неброи .cplusplus .SmartPtr за да провери дали има нула дереференција на паметниот покажувач.
• Во линтер ѕвечкаат-уредни додадена голем дел од нови проверки.
• Серверот за кеширање clangd (Clang Server) ги подобри перформансите и додаде нови дијагностички способности.

Главните иновации LLVM 11.0:

• Системот за градење е префрлен на користење на Python 3. Ако Python 3 не е достапен, можно е да се вратите на користење на Python 2.
• Предниот дел со компајлерот за јазикот Go (llgo) е исклучен од изданието, кој може да се реструктуира во иднина.
• Атрибутот vector-function-abi-variant е додаден на средното претставување (IR) за да се опише пресликувањето помеѓу скаларните и векторските функции за векторизирање на повиците. Од llvm::VectorType постојат два посебни векторски типа llvm::FixedVectorType и llvm::ScalableVectorType.
• Разгранувањето врз основа на вредностите на udef и пренесувањето на вредностите на undef на стандардните библиотечни функции се препознава како недефинирано однесување. ВО
  memset/memcpy/memmove дозволува пренесување undef покажувачи, но ако параметарот со големина е нула.

• LLJIT додаде поддршка за извршување на статички иницијализација преку методите LLJIT::initialize и LLJIT::deinitialize. Способноста за додавање статични библиотеки во JITDylib со помош на класата StaticLibraryDefinitionGenerator е имплементирана. Додадено C API за ORCv2 (API за градење JIT компајлери).
• Поддршката за процесорите Cortex-A64, Cortex-A34, Cortex-A77 и Cortex-X78 е додадена во задниот дел за архитектурата AArch1. Имплементирани ARMv8.2-BF16 (BFloat16) и ARMv8.6-A екстензии, вклучително и RMv8.6-ECV (Подобрена виртуелизација на бројачот), ARMv8.6-FGT (фино зрнести стапици), ARMv8.6-AMU (виртуелизација на монитори на активност) и ARMv8.0-DGH (Совет за собирање податоци). Обезбедена е можност за генерирање на код за вградени функции-врзувања за инструкции за вектор SVE.
• Поддршката за процесорите Cortex-M55, Cortex-A77, Cortex-A78 и Cortex-X1 е додадена во задниот дел за архитектурата на ARM. Имплементирани екстензии
  Armv8.6-A Matrix Multiply and RMv8.2-AA32BF16 BFloat16.

• Поддршката за генерирање код за процесорите POWER10 е додадена во задниот дел за архитектурата PowerPC. Оптимизациите на јамката се проширени и поддршката за подвижна запирка е подобрена.
• Заднината за архитектурата RISC-V овозможува прифаќање на закрпи кои поддржуваат експериментални продолжени инструкциски множества кои сè уште не се официјално одобрени.
• Заднината за архитектурата AVR е префрлена од експериментална категорија во стабилна, вклучена во основната дистрибуција.
• Заднината за архитектурата x86 поддржува инструкции на Intel AMX и TSXLDTRK. Додадена заштита од напади LVI (Load Value Injection), а исто така имплементира општ механизам за потиснување на несакани ефекти на шпекулативно извршување за блокирање на нападите предизвикани од шпекулативно извршување на операции на процесорот.
• Во задниот дел за архитектурата SystemZ, додадена е поддршка за MemorySanitizer и LeakSanitizer.
• Libc++ додава поддршка за насловна датотека со математички константи .
• Проширен Способности за поврзување на LLD. Подобрена поддршка за форматот ELF, вклучувајќи ги додадените опции „--lto-emit-asm“, „--lto-whole-program-visibility“, „-print-archive-stats“, „-shuffle-sections“, „ -thinlto- еден-модул", "-уникатен", "-розегмент", "-threads=N". Додадена е опцијата „--time-trace“ за зачувување на трагата во датотека, која потоа може да се анализира преку интерфејсот chrome://tracing во Chrome.

Извор: opennet.ru