LLVM 13.0 შემდგენელი კომპილაციის გამოშვება

ექვსთვიანი განვითარების შემდეგ, წარმოდგენილი იქნა LLVM 13.0 პროექტის გამოშვება - GCC-თან თავსებადი ხელსაწყოების ნაკრები (კომპილატორები, ოპტიმიზატორები და კოდის გენერატორები), რომელიც აგროვებს პროგრამებს RISC-ის მსგავსი ვირტუალური ინსტრუქციების შუალედურ ბიტკოდში (დაბალი დონის ვირტუალური მანქანა მრავალ დონის ოპტიმიზაციის სისტემა). გენერირებული ფსევდოკოდი შეიძლება გარდაიქმნას JIT შემდგენელის გამოყენებით მანქანის ინსტრუქციებში უშუალოდ პროგრამის შესრულების დროს.

გაუმჯობესებები Clang 13.0-ში:

• მხარდაჭერილია გარანტირებული კუდის გამოძახებები (ფუნქციის ბოლოს ქვერუტინის გამოძახება, კუდის რეკურსიის შექმნა, თუ ქვერუტინა თავად გამოიძახებს). გარანტირებული კუდის გამოძახებები მხარდაჭერილია C++-ში "[[clang::musttail]]" ატრიბუტის და C-ში "__attribute__((musttail))" ატრიბუტის გამოყენებით, რომელიც გამოიყენება "return" გამოსახულებაში. ეს ფუნქცია საშუალებას იძლევა ოპტიმიზაციისთვის კოდის ბრტყელ იტერაციად გაშლის გზით, დასტის სივრცის დაზოგვის მიზნით.
• C++11 სტილის ატრიბუტების განმარტებები ახლა მხარდაჭერილია clang-ის „using“ დეკლარაციებსა და გაფართოებებში, „[[]]“ ფორმატის გამოყენებით.
• დაემატა „-Wreserved-identifier“ დროშა, რომელიც მომხმარებლის კოდში დაჯავშნილი იდენტიფიკატორების მითითებისას გაფრთხილებას გამოიტანს.
• დაემატა „-Wunused-but-set-parameter“ და „-Wunused-but-set-variable“ დროშები გაფრთხილების გამოსატანად, თუ პარამეტრი ან ცვლადი დაყენებულია, მაგრამ არ გამოიყენება.
• დაემატა „-Wnull-pointer-subtraction“ დროშა გაფრთხილების გამოსატანად, თუ კოდი შეიძლება იწვევდეს განუსაზღვრელ ქცევას გამოკლების ოპერაციებში null მაჩვენებლის გამოყენების გამო.
• დაემატა „-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" გაფართოებით.
• დანერგილია OpenMP 5.1 სპეციფიკაციაში განსაზღვრული ციკლის ტრანსფორმაციის დირექტივების („#pragma omp unrol“ და „#pragma omp tile“) მხარდაჭერა.
• clang-format-ის უტილიტა განახლდა შემდეგი პარამეტრებით: SpacesInLineCommentPrefix კომენტარების წინ ინტერვალების რაოდენობის დასადგენად, IndentAccessModifiers, LambdaBodyIndentation და PPIndentWidth ჩანაწერების, ლამბდა გამოსახულებების და წინასწარი დამუშავების დირექტივების გასწორების საკონტროლებლად. გაფართოვდა სათაურის ფაილების სიის დახარისხების შესაძლებლობა (SortIncludes). დაემატა JSON ფაილების ფორმატირების მხარდაჭერა.
• მოწესრიგებულ ლაინტერს ახალი ჩეკების დიდი პარტია დაემატა.

ძირითადი ინოვაციები LLVM 13.0-ში:

• CET ტექნოლოგიის გამოსაყენებლად დაემატა "-ehcontguard" ვარიანტი (Windows კონტროლის ნაკადის აღსრულების ტექნოლოგია) გამონაკლისების დამუშავების ეტაპზე დაცვაზე დაბრუნებაზე ორიენტირებული პროგრამირების (ROP) ტექნიკის გამოყენებით აგებული ექსპლოიტების შესრულებისგან.
• debuginfo-test პროექტს სახელი შეეცვალა და cross-project-tests დაერქვა და ის სხვადასხვა პროექტის კომპონენტების შესამოწმებლადაა შექმნილი და არა მხოლოდ გამართვის ინფორმაციით.
• შექმნის სისტემა უზრუნველყოფს მრავალი დისტრიბუციის შექმნის მხარდაჭერას, მაგალითად, ერთი უტილიტებით, ხოლო მეორე დეველოპერებისთვის განკუთვნილი ბიბლიოთეკებით.
• AArch64 არქიტექტურის ბექენდი ასამბლერში დანერგავს Armv9-A RME (Realm Management Extension) და SME (Scalable Matrix Extension) გაფართოებების მხარდაჭერას.
• Hexagon არქიტექტურის ბექენდს დაემატა ISA V68/HVX მხარდაჭერა.
• x86 ბექენდს აქვს გაუმჯობესებული მხარდაჭერა AMD Zen 3 პროცესორებისთვის.
• დამატებულია GFX1013 RDNA2 APU-ს AMDGPU ბექენდზე მხარდაჭერა.
• Libc++ აგრძელებს C++20 და C++2b სტანდარტების ახალი ფუნქციების დანერგვას, მათ შორის „კონცეფციების“ ბიბლიოთეკის დასრულებას. პლატფორმისთვის Windows დაემატა MinGW-ზე დაფუძნებული std::filesystem-ის მხარდაჭერა. სათაურის ფაილები გამოყოფილია. , და არასრული ფუნქციონალურობის მქონე სათაურის ფაილების გამოსართავად დაემატა LIBCXX_ENABLE_INCOMPLETE_FEATURES build ოფცია.
• LLD ლინკერი გაფართოვდა Big-endian Aarch64 პროცესორების მხარდასაჭერად, ხოლო Mach-O ბექენდი გაუმჯობესდა რეგულარული პროგრამების დაკავშირების მიზნით. დამატებულია Glibc-ის LLD-ის გამოყენებით დაკავშირებისთვის აუცილებელი გაუმჯობესებები.
• llvm-mca (მანქანური კოდის ანალიზატორი) პროგრამა განახლდა, ​​რათა მხარი დაუჭიროს ისეთი სუპერსკალარული პროცესორების მუშაობას, როგორიცაა ARM Cortex-A55.
• AArch64 პლატფორმის LLDB დებაგერი ახლა სრულად უჭერს მხარს მაჩვენებლის ავთენტიფიკაციას, MTE (MemTag, მეხსიერების ტეგების გაფართოება) მექანიზმს და SVE რეგისტრებს. დაემატა ბრძანებები ტეგების მეხსიერების განაწილების თითოეულ ოპერაციასთან დასაკავშირებლად და მეხსიერებაზე წვდომისას მაჩვენებლის შესამოწმებლად, რომელიც უნდა იყოს დაკავშირებული ვალიდურ ტეგთან.
• პროექტის მიერ გენერირებულ ბინარულ ასამბლეებს დაემატა LLDB დებაგერი და Fortran-ის ფრონტენდის Flang.

წყარო: opennet.ru