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“.
• განხორციელდა OpenMP 5.1 სპეციფიკაციაში განსაზღვრული მარყუჟის ტრანსფორმაციის დირექტივების მხარდაჭერა („#pragma omp unrol“ და „#pragma omp tile“).
• დამატებულია ოფციები clang-ფორმატისთვის: 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 (Realm Management Extension) და SME (Scalable Matrix Extension) გაფართოებების მხარდაჭერა დანერგილია ასამბლერში.
• ISA V68/HVX-ის მხარდაჭერა დაემატა ექვსკუთხა არქიტექტურის საზურგეს.
• x86 backend-მა გააუმჯობესა AMD Zen 3 პროცესორების მხარდაჭერა.
• დამატებულია მხარდაჭერა GFX1013 RDNA2 APU-სთვის AMDGPU-ის ფონზე.
• Libc++ აგრძელებს C++20 და C++2b სტანდარტების ახალი ფუნქციების დანერგვას, მათ შორის „კონცეფციების“ ბიბლიოთეკის დასრულებას. დამატებულია მხარდაჭერა std::ფაილური სისტემისთვის MinGW-ზე დაფუძნებული Windows პლატფორმისთვის. სათაურის ფაილები გამოყოფილია , და . დამატებულია build-ის ვარიანტი LIBCXX_ENABLE_INCOMPLETE_FEATURES, რათა გამორთოთ სათაურის ფაილები ბოლომდე არ განხორციელებული ფუნქციონირებით.
• გაფართოვდა LLD ლინკერის შესაძლებლობები, რომელშიც განხორციელებულია Big-Endian Aarch64 პროცესორების მხარდაჭერა და Mach-O backend მიყვანილია იმ მდგომარეობამდე, რომელიც საშუალებას იძლევა დააკავშიროს რეგულარული პროგრამები. მოიცავდა გაუმჯობესებებს, რომლებიც საჭიროა Glibc-ის დასაკავშირებლად LLD-ის გამოყენებით.
• llvm-mca (Machine Code Analyzer) პროგრამამ დაამატა მხარდაჭერა პროცესორებისთვის, რომლებიც ასრულებენ ინსტრუქციებს თანმიმდევრობით (შეკვეთით სუპერსკალარული მილსადენი), როგორიცაა ARM Cortex-A55.
• AArch64 პლატფორმის LLDB გამართვა უზრუნველყოფს სრულ მხარდაჭერას Pointer Authentication, MTE (MemTag, Memory Tagging Extension) და SVE რეგისტრებისთვის. დამატებულია ბრძანებები, რომლებიც საშუალებას გაძლევთ დააკავშიროთ ტეგები მეხსიერების განაწილების თითოეულ ოპერაციას და მოაწყოთ მაჩვენებლის შემოწმება მეხსიერებაზე წვდომისას, რომელიც უნდა იყოს დაკავშირებული სწორ ტეგთან.
• LLDB გამართვა და Fortran ენის ფრონტენტი - Flang დაემატა პროექტის მიერ გენერირებულ ბინარულ ასამბლეებს.

წყარო: opennet.ru