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

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

Новите карактеристики на LLVM 9.0 вклучуваат отстранување на ознаката за експериментален дизајн од целната платформа RISC-V, C++ поддршка за OpenCL, можност за поделба на програмата на динамички вчитани делови во LLD и имплементација на „асм гото", се користи во кодот на јадрото на Linux. libc++ додаде поддршка за WASI (WebAssembly System Interface), а LLD додаде почетна поддршка за WebAssembly динамично поврзување.

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

• Додадено Имплементација на изразот специфичен за GCC “асм гото“, што ви овозможува да се преместите од вграден блок на асемблер до етикета во C код. Оваа функција е потребна за да се изгради кернелот Линукс во режимот „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(распределувач)“ и генерирање на придружни информации за дебагирање што ви овозможува да ја следите потрошувачката на меморија во околината на 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-error“ за да се третираат предупредувањата како грешки.
  Додадени нови режими за верификација:
  • 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“);
• Додаден е голем дел од нови проверки на кланг-уредниот линтер, вклучувајќи додадени проверки специфични за OpenMP API;
• Проширен Способности на серверот Clangd (Clang Server), во кој стандардно е овозможен режимот за градење на индекс во заднина, додадена е поддршка за контекстуални дејства со код (преземање на променлива, проширување на автоматско и макро дефиниции, конверзија на избегнати низи во неизбегнати), можност за прикажување предупредувања од Clang-tidy, проширена дијагностика на грешки во датотеките за заглавија и додадена можност за прикажување информации за хиерархијата на типот;

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

• Додадена е експериментална карактеристика за партиционирање на поврзувачот LLD, кој ви овозможува да поделите една програма на неколку делови, од кои секој се наоѓа во посебна датотека ELF. Оваа функција ви овозможува да го стартувате главниот дел од програмата, кој ќе вчита други компоненти колку што е потребно за време на работата (на пример, можете да го одделите вградениот прегледувач на PDF во посебна датотека, која ќе се вчита само кога корисникот ќе го отвори PDF-от датотека).

  LLD Linker донесе до израз во состојба погодна за поврзување на кернелот Линукс за архитектурите 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 backend, додадена е поддршка за архитектурата 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