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

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

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

• Реализирана поддръжка за гарантирани опашни извиквания (извикване на подпрограма в самия край на функция, формиране на опашна рекурсия, ако подпрограмата се извика сама). Поддръжката за гарантирани опашни извиквания се осигурява от атрибута "[[clang::musttail]]" в C++ и "__attribute__((musttail))" в C, използван в оператор "return". Функцията ви позволява да прилагате оптимизации чрез внедряване на код в плоска итерация, за да спестите потреблението на стека.
• "using" декларациите и clang разширенията осигуряват поддръжка за дефиниране на атрибути в стил C++11, използвайки формата "[[]]".
• Добавен е флагът „-Wreserved-identifier“ за показване на предупреждение, когато посочите запазени идентификатори в потребителския код.
• Добавени са флагове „-Wunused-but-set-parameter“ и „-Wunused-but-set-variable“ за показване на предупреждение, ако параметър или променлива е зададен, но не се използва.
• Добавен е флаг "-Wnull-pointer-subtraction" за издаване на предупреждение, ако кодът може да въведе недефинирано поведение поради използването на нулев указател в операциите за изваждане.
• Добавен е флагът "-fstack-usage", за да генерира за всеки кодов файл допълнителен ".su" файл, съдържащ информация за размера на стековите рамки за всяка функция, дефинирана в обработвания файл.
• Към статичния анализатор е добавен нов тип изход - “sarif-html”, който води до генериране на отчети едновременно в HTML и Sarif формати. Добавена е нова проверка на allocClassWithName. Когато зададете опцията „-analyzer-display-progress“, се показва времето за анализ на всяка функция. Интелигентният анализатор на показалеца (alpha.cplusplus.SmartPtr) е почти готов.
• Възможностите, свързани с поддръжката на OpenCL, са разширени. Добавена е поддръжка за нови разширения cl_khr_integer_dot_product, cl_khr_extended_bit_ops, __cl_clang_bitfields и __cl_clang_non_portable_kernel_param_types. Внедряването на спецификацията OpenCL 3.0 продължи. За C спецификацията OpenCL 1.2 се използва по подразбиране, освен ако изрично не е избрана друга версия. За C++ е добавена поддръжка за файлове с разширение „.clcpp“.
• Реализирана е поддръжка за директиви за трансформация на цикъл („#pragma omp unrol“ и „#pragma omp tile“), дефинирани в спецификацията на OpenMP 5.1.
• Добавени са опции към помощната програма за clang-format: SpacesInLineCommentPrefix за определяне на броя на интервалите преди коментарите, IndentAccessModifiers, LambdaBodyIndentation и PPIndentWidth за контролиране на подравняването на записи, ламбда изрази и директиви на препроцесора. Разширени са възможностите за сортиране на изброяването на заглавните файлове (SortIncludes). Добавена е поддръжка за форматиране на JSON файлове.
• Голяма част от нови проверки са добавени към linter clang-tidy.

Ключови иновации в LLVM 13.0:

• Добавена е опцията „-ehcontguard“ за използване на технологията CET (Windows Control-flow Enforcement Technology) за защита срещу изпълнението на експлойти, изградени с помощта на техники за ориентирано към връщане програмиране (ROP) на етапа на обработка на изключения.
• Проектът debuginfo-test е преименуван на cross-project-tests и е предназначен да тества компоненти от различни проекти, без да се ограничава до информация за отстраняване на грешки.
• Системата за сглобяване осигурява поддръжка за изграждане на няколко дистрибуции, например една с помощни програми, а другата с библиотеки за разработчици.
• В бекенда за архитектурата AArch64 поддръжката на разширенията Armv9-A RME (разширение за управление на реалност) и SME (разширение за мащабируема матрица) е внедрена в асемблера.
• Поддръжката за ISA V68/HVX е добавена към бекенда за архитектурата Hexagon.
• Бекендът x86 има подобрена поддръжка за AMD Zen 3 процесори.
• Добавена е поддръжка за GFX1013 RDNA2 APU към бекенда на AMDGPU.
• Libc++ продължава да прилага нови функции на стандартите C++20 и C++2b, включително завършването на библиотеката „concepts“. Добавена е поддръжка за std::filesystem за базираната на MinGW Windows платформа. Заглавните файлове , и са разделени. Добавена е опция за изграждане LIBCXX_ENABLE_INCOMPLETE_FEATURES за деактивиране на заглавни файлове с ненапълно внедрена функционалност.
• Възможностите на LLD линкера са разширени, в които е реализирана поддръжка за процесори Big-endian Aarch64, а бекендът Mach-O е приведен в състояние, което позволява свързване на редовни програми. Включени подобрения, необходими за свързване на Glibc с помощта на LLD.
• Помощната програма llvm-mca (Machine Code Analyzer) е добавила поддръжка за процесори, които изпълняват инструкции в ред (пореден суперскаларен конвейер), като ARM Cortex-A55.
• Дебъгерът LLDB за платформата AArch64 осигурява пълна поддръжка за удостоверяване на показалеца, MTE (MemTag, разширение за маркиране на паметта) и SVE регистри. Добавени команди, които ви позволяват да свързвате тагове към всяка операция за разпределение на паметта и да организирате проверка на указателя при достъп до паметта, която трябва да бъде свързана с правилния таг.
• Дебъгерът LLDB и интерфейсът за езика Fortran - Flang са добавени към бинарните асембли, генерирани от проекта.

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