Пускане на компилаторния пакет LLVM 9.0

След шест месеца разработка представени издание на проекта LLVM 9.0 — GCC-съвместими инструменти (компилатори, оптимизатори и генератори на кодове), компилиращи програми в междинен битов код на RISC-подобни виртуални инструкции (виртуална машина от ниско ниво със система за многостепенна оптимизация). Генерираният псевдокод може да бъде преобразуван с помощта на JIT компилатор в машинни инструкции директно по време на изпълнение на програмата.

Новите характеристики на LLVM 9.0 включват премахването на маркера за експериментален дизайн от целевата RISC-V платформа, поддръжка на C++ за OpenCL, възможност за разделяне на програма на динамично заредени части в LLD и внедряване на „asm goto", използван в кода на ядрото на Linux. libc++ добави поддръжка за WASI (системен интерфейс на WebAssembly), а LLD добави първоначална поддръжка за динамично свързване на WebAssembly.

Подобрения в Clang 9.0:

• Добавено от реализация на специфичния за GCC израз "asm goto“, което ви позволява да преминете от вграден блок на асемблер към етикет в C код. Тази функция е необходима за изграждане на ядрото на Linux в режим “CONFIG_JUMP_LABEL=y” с помощта на Clang на системи с x86_64 архитектура. Като се вземат предвид промените, добавени в предишни версии, ядрото на Linux вече може да бъде изградено в Clang за архитектурата x86_64 (преди това се поддържаше само изграждане за arm, aarch64, ppc32, ppc64le и mips архитектури). Освен това проектите за Android и ChromeOS вече са преобразувани да използват Clang за изграждане на ядро, а Google тества Clang като основна платформа за изграждане на ядра за своите производствени Linux системи. В бъдеще други компоненти на LLVM могат да се използват в процеса на изграждане на ядрото, включително LLD, llvm-objcopy, llvm-ar, llvm-nm и llvm-objdump;
• Добавена е експериментална поддръжка за използване на C++17 в OpenCL. Специфичните функции включват поддръжка за атрибути на адресно пространство, блокиране на преобразуването на адресно пространство чрез оператори за преобразуване на типове, предоставяне на векторни типове като в OpenCL за C, наличие на специфични типове OpenCL за изображения, събития, канали и т.н.
• Добавени са нови флагове на компилатора „-ftime-trace“ и „-ftime-trace-granularity=N“ за генериране на отчет за времето за изпълнение на различни етапи на интерфейса (анализ, инициализация) и бекенда (етапи на оптимизация). Отчетът се записва във формат json, съвместим с chrome://tracing и speedscope.app;
• Добавена обработка на спецификатора „__declspec(allocator)“ и генериране на придружаваща информация за отстраняване на грешки, която ви позволява да наблюдавате потреблението на памет в средата на Visual Studio;
• За езика C е добавена поддръжка за макроса „__FILE_NAME__“, който прилича на макроса „__FILE__“, но включва само името на файла без пълния път;
• C++ разшири поддръжката за атрибути на адресно пространство, за да обхване различни функции на C++, включително модели на параметри и аргументи, референтни типове, извод за върнат тип, обекти, автоматично генерирани функции, вградени оператори и др.
• Възможностите, свързани с поддръжката на OpenCL, OpenMP и CUDA, са разширени. Това включва първоначална поддръжка за имплицитно включване на вградени OpenCL функции (флагът „-fdeclare-opencl-builtins“ е добавен), разширението cl_arm_integer_dot_product е внедрено и инструментите за диагностика са разширени;
• Подобрена е работата на статичния анализатор и е добавена документация за извършване на статичен анализ. Добавени флагове за показване на налични модули за проверка и поддържани опции („-analyzer-checker[-option]-help“, „-analyzer-checker[-option]-help-alpha“ и „-analyzer-checker[-option]-help " -разработчик"). Добавен е флаг "-analyzer-werror" за третиране на предупрежденията като грешки.
  Добавени са нови режими на проверка:
  • security.insecureAPI.DeprecatedOrUnsafeBufferHandling за идентифициране на опасни практики за работа с буфери;
  • osx.MIGChecker за търсене на нарушения на MIG (генератор на Mach Interface Generator) правила за повикване;
  • optin.osx.OSObjectCStyleCast за намиране на неправилни преобразувания на XNU libkern обект;
  • apiModeling.llvm с набор от функции за проверка на моделиране за откриване на грешки в кодовата база на LLVM;
  • Стабилизиран код за проверка на неинициализирани C++ обекти (UninitializedObject в пакета optin.cplusplus);
• Помощната програма clang-format добави поддръжка за форматиране на код на езика C# и осигурява поддръжка за стила на форматиране на кода, използван от Microsoft;
• clang-cl, алтернативен интерфейс на командния ред, който осигурява съвместимост на ниво опции с компилатора cl.exe, включен във Visual Studio, има добавена евристика за третиране на несъществуващи файлове като опции на командния ред и показване на съответното предупреждение (например, когато изпълнявате "clang-cl /diagnostic :caret /c test.cc");
• Голяма част от нови проверки бяха добавени към linter clang-tidy, включително добавени проверки, специфични за OpenMP API;
• Разширено сървърни възможности clangd (Clang Server), в който режимът за изграждане на фонов индекс е активиран по подразбиране, добавена е поддръжка за контекстуални действия с код (извличане на променливи, разширяване на автоматични и макро дефиниции, преобразуване на екранирани низове в неекранирани), възможност за показване предупреждения от Clang-tidy, разширена диагностика на грешки в заглавните файлове и добавена възможност за показване на информация за йерархията на типа;

Основната иновации LLVM 9.0:

• Към LLD линкера е добавена експериментална функция за разделяне, която ви позволява да разделите една програма на няколко части, всяка от които се намира в отделен ELF файл. Тази функция ви позволява да стартирате основната част на програмата, която ще зареди други компоненти, ако е необходимо по време на работа (например, можете да отделите вградения PDF преглед в отделен файл, който ще се зареди само когато потребителят отвори PDF файл).

  LLD Linker изведени на преден план до състояние, подходящо за свързване на Linux ядрото за arm32_7, arm64, ppc64le и x86_64 архитектури.
  Нови опции "-" (изход към stdout), "-[no-]allow-shlib-undefined", "-undefined-glob", "-nmagic", "-omagic", "-dependent-library", " - z ifunc-noplt" и „-z common-page-size". За архитектурата AArch64 е добавена поддръжка за BTI (Branch Target Indicator) и PAC (Pointer Authentication Code) инструкции. Поддръжката за платформи MIPS, RISC-V и PowerPC е значително подобрена. Добавена първоначална поддръжка за динамично свързване за WebAssembly;

• В libc++ изпълнени функции ssize, std::is_constant_evaluated, std::midpoint и std::lerp, методи “front” и “back” са добавени към std::span, добавени са атрибути на типове std::is_unbounded_array и std::is_bounded_array , std възможностите са разширени: :atomic. Поддръжката за GCC 4.9 е преустановена (може да се използва с GCC 5.1 и по-нови версии). Добавена поддръжка БЯХ ЛИ (системен интерфейс WebAssembly, интерфейс за използване на WebAssembly извън браузъра);
• Добавени са нови оптимизации. Разрешено преобразуване на memcmp извиквания към bcmp в някои ситуации. Реализирано пропускане на проверка на диапазона за таблици за прескачане, в които долните превключващи блокове са недостъпни или когато не се използват инструкции, например при извикване на функции с тип void;
• Бекендът за RISC-V архитектурата е стабилизиран, който вече не е позициониран като експериментален и е изграден по подразбиране. Осигурява пълна поддръжка за генериране на код за варианти на набор от инструкции RV32I и RV64I с MAFDC разширения;
• Бяха направени многобройни подобрения в бекенда за X86, AArch64, ARM, SystemZ, MIPS, AMDGPU и PowerPC архитектури. Например за архитектурата
  AArch64 добави поддръжка за инструкции SVE2 (Scalable Vector Extension 2) и MTE (Memory Tagging Extensions); в бекенда на ARM беше добавена поддръжка за архитектурата Armv8.1-M и разширението MVE (M-Profile Vector Extension). Поддръжката за архитектурата GFX10 (Navi) е добавена към бекенда на AMDGPU, възможностите за извикване на функции са активирани по подразбиране и е активиран комбиниран пропуск DPP (Примитиви с паралелни данни).

• Дебъгерът LLDB вече има цветно осветяване за обратни следи и добавена поддръжка за блоковете DWARF4 debug_types и DWARF5 debug_info;
• Поддръжката на обектни и изпълними файлове във формат COFF е добавена към помощните програми llvm-objcopy и llvm-strip.

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