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

ექვსთვიანი შემუშავების შემდეგ, გამოვიდა LLVM 22.1.0. ის ავითარებს ინსტრუმენტებს (კომპილატორები, ოპტიმიზატორები და კოდის გენერატორები), რომლებიც აკომპილირებენ პროგრამებს RISC-ის მსგავსი ვირტუალური ინსტრუქციების (დაბალი დონის ვირტუალური მანქანა მრავალდონიანი ოპტიმიზაციის სისტემით) შუალედურ ბიტკოდად. გენერირებული ფსევდოკოდი შეიძლება გარდაიქმნას მოცემული სამიზნე პლატფორმის მანქანურ კოდად ან გამოყენებულ იქნას დროული (JIT) კომპილატორის მიერ მანქანური ინსტრუქციების გენერირებისთვის უშუალოდ პროგრამის შესრულების დროს. LLVM ტექნოლოგიებზე დაყრდნობით, პროექტი ავითარებს Clang კომპილატორს, რომელიც მხარს უჭერს C, C++ და Objective-C პროგრამირების ენებს. 18.x განშტოებიდან დაწყებული, პროექტი გადავიდა ვერსიის ნუმერაციის ახალ სქემაზე, რომლის მიხედვითაც შემუშავების დროს გამოიყენება ვერსია 0 ("N.0"), ხოლო პირველი სტაბილური ვერსია დანომრილია "N.1".

Clang 22-ის გაუმჯობესება მოიცავს:

• დაემატა მეხსიერების განაწილების ტოკენების (Allocation Tokens) მხარდაჭერა, რათა მონიშნოს მეხსიერების განაწილების ოპერაციები, რომლებიც შესრულებულია ისეთი ფუნქციების გამოყენებით, როგორიცაა malloc, უნიკალური იდენტიფიკატორით. განაწილების ტოკენები საშუალებას იძლევა სტრუქტურირდეს გროვის ინფორმაცია, გამარტივდეს მეხსიერების გაჟონვის აღმოჩენა და შესაძლებელი გახდეს ობიექტების დაჯგუფება მათი დანიშნულების ან მოდიფიკაციის ნიმუშების მიხედვით (მაგ., „ცხელი“ მონაცემების „ცივი“ მონაცემებისგან გამოყოფა). ჩასართავად გამოიყენეთ „-fsanitize=alloc-token“ ფლაგმანი.
• C ენასთან დაკავშირებული მახასიათებლები:
  • დანერგილია „defer“-ის გადავადებული შესრულების მექანიზმის განსაზღვრის სპეციფიკაციის პროექტი, რომელიც საშუალებას იძლევა მოქმედებები შესრულდეს მიმდინარე მოქმედების ფარგლების დასრულების შემდეგ. „defer“-ის მხარდაჭერის ჩასართავად დაემატა „-fdefer-ts“ დროშა.
  • დაემატა ჩაშენებული ფუნქცია __builtin_stack_address(), რომელიც ასახავს GCC-ში მსგავს ფუნქციას. ეს ფუნქცია აბრუნებს დასტის მისამართს, რომელიც ჰყოფს __builtin_stack_address() გამოძახებული მიმდინარე ფუნქციის დასტის არეალს მის მიერ გამოძახებული შემდგომი ფუნქციებისგან.
• მომავალი C2y სტანდარტისთვის შემუშავებული შესაძლებლობები:
  • დაემატა დასახელებული მარყუჟების მხარდაჭერა, რაც საშუალებას გაძლევთ მიანიჭოთ სახელები მარყუჟებს და switch ოპერატორებს, რომელთა მითითება შესაძლებელია break და continue ოპერატორებში, რათა ცალსახად განისაზღვროს გასასვლელი ციკლი. outer: for (int i = 0; i < IK; ++ i) { for (int j = 0; j < JK; ++ j) { continue; // გადასვლა CONT1-ზე continue outer; // გადასვლა CONT2-ზე // CONT1 } // CONT2 }
  • უნიკალური იდენტიფიკატორის სახელების გენერირებისთვის შექმნილი ჩაშენებული „__COUNTER__“ მაკროს იმპლემენტაცია გაფართოვდა და სტანდარტში შევიდა. ამ მაკროზე გამოძახებების ლიმიტი 2147483647-ია; ამ ლიმიტის გადაჭარბება შეცდომას გამოიწვევს.
  • სტატიკური ფუნქციების ან ცვლადების გამოყენებისას, რომლებიც „გარე ჩართულ ხაზში“ იყო გამოცხადებული, ამოღებულია გაფრთხილება (-Wstatic-in-inline).
• C23 C სტანდარტში განსაზღვრული შესაძლებლობები:
  • float.h სათაურის ფაილი ახლა მხარს უჭერს FLT_SNAN, DBL_SNAN და LDBL_SNAN მაკროებს, რომლებიც ახორციელებენ სიგნალიზებულ (იწვევენ გამონაკლისს არითმეტიკულ ოპერაციებში გამოყენებისას) NaN მნიშვნელობებს float, double და long double ტიპებისთვის.
  • გამოსწორდა შეცდომა, რომლის გამოც სხვადასხვა უსახელო ტიპი ერთსა და იმავე თარგმანის ერთეულში თავსებადად ითვლებოდა, თუ მათ ერთი და იგივე ველები ჰქონდათ.
  • დამოკიდებულების სკანირების დროს დაკარგული სათაურის ფაილების იგნორირებისთვის გამოყენებული „-MG“ დროშა გაფართოვდა „#embed“ დირექტივებზე და ახლა თრგუნავს „file not found“ შეცდომას, როდესაც „#embed“ დირექტივაში მითითებული ფაილი აკლია.
• C++-თან დაკავშირებული მახასიათებლები:
  • დამატებულია სტრუქტურირებული შეკავშირებების გამოყენების შესაძლებლობა „constexpr“ კონტექსტში, როგორც ეს შემუშავებულია C++2c (C++26) სპეციფიკაციაში. ეს ნიშნავს, რომ მუდმივ გამოსახულებებზე მითითებები ახლა თავად შეიძლება იყოს მუდმივი გამოსახულებები. მხარდაჭერა დანერგილია მასივებისა და მარტივი სტრუქტურებისთვის (ტუპლები ჯერ არ არის მხარდაჭერილი). constexpr int arr[] = {1, 2}; constexpr auto [x, y] = arr;
  • C++20 სტანდარტის მოთხოვნის შესაბამისად, შეზღუდვები ახლა შემოწმებამდე სტანდარტულ ფორმაში გარდაიქმნება, რაც საშუალებას იძლევა უფრო ზუსტი დიაგნოსტიკური შეტყობინებების მისაღებად და ჩანაცვლების შეცდომების სათანადოდ დამუშავებისთვის მხოლოდ კონცეფციის ID-ებში გამოყენებულ შაბლონის არგუმენტებში.
  • დაემატა ჩაშენებული ფუნქციების ოჯახი „__builtin_[lt|gt|le|ge]_synthesizes_from_spaceship“, რათა გაერკვია, შედარების ოპერატორები „<“, „>“, „<=“ და „>=“ სინთეზირებული იყო თუ არა „<=>“ ოპერატორიდან.
  • პარამეტრი „-Wincompatible-pointer-types“ შეიცვალა და გაფრთხილების ნაცვლად შეცდომას აჩვენებს. წინა ქცევაზე დასაბრუნებლად გამოიყენეთ ოფცია „-Wno-error=incompatible-pointer-types“.
• დაემატა ჩაშენებული ფუნქციები __builtin_bswapg, __builtin_elementwise_ldexp, __builtin_elementwise_fshl, __builtin_elementwise_fshr, __builtin_elementwise_minnumnum, __builtin_elementwise_maxnumnum, __builtin_masked_load, __builtin_masked_expand_load, __builtin_masked_store, __builtin_masked_compress_store, __builtin_masked_gather, __builtin_masked_scatter და __builtin_dedup_pack. მაგალითად, builtin_dedup_pack საშუალებას გაძლევთ წაშალოთ დუბლიკატები ტიპების სიიდან: MyTypeList = TypeList<__builtin_dedup_pack-ის გამოყენებით. …>; // შედეგად მიღებული ტიპი იქნება TypeList
• UBSan-ის გამოყენებით განუსაზღვრელი ქცევის გამართვისას (-fsanitize=undefined -fsanitize-trap=undefined), შეცდომის მიზეზის შესახებ ინფორმაცია ახლა გენერირებულ გამართვის ინფორმაციაში შედის. შეცდომის შესახებ ინფორმაციის დეტალიზაციის დონის დასადგენად დაემატა „-fsanitize-debug-trap-reasons“ დროშა. ზოგადი აღწერილობებისთვის (მაგ., „მთელი რიცხვების შეკრება გადავსებულია“) მისი დაყენება შესაძლებელია „ძირითადზე“ და დეტალური ინფორმაციის ჩასართავად „დეტალურზე“ (მაგ., „ხელმოწერილი მთელი რიცხვების შეკრების გადავსება 'a + b'-ში“).
• დამატებულია ახალი შემდგენელი დროშები:
  • „-f[no-]sanitize-debug-trap-reasons“ იმის გასაკონტროლებლად, არის თუ არა გამონაკლისის ხაფანგის მიზეზები ჩაშენებული გამართვის ინფორმაციაში „-fsanitize-trap“ რეჟიმით კომპილაციისას.
  • მეხსიერების განაწილების ტოკენების სამართავად გამოიყენეთ „-fsanitize=alloc-token“, „-falloc-token-max“, „-fsanitize-alloc-token-fast-abi“ და „-fsanitize-alloc-token-extended“.
  • „-fmatrix-memory-layout“ მატრიცის ტიპების მეხსიერების განლაგების სამართავად (მაგ. column-major column-major-ისთვის, row-major row-major-ისთვის).
• ფუნქციებს ახლა აქვთ „malloc_span“ ატრიბუტი, რომელიც malloc ატრიბუტის მსგავსია, მაგრამ გამოიყენება იმ ფუნქციებისთვის, რომლებიც აბრუნებენ span-ის მსგავს სტრუქტურებს, რომლებიც შეიცავს მაჩვენებელს და ველს ზომით ან მაჩვენებლით ბლოკის ბოლოში.
• დაკავშირების დროს printf ფუნქციის საჭირო სტატიკურად დაკავშირებული იმპლემენტაციის დინამიურად შესარჩევად დაემატა "modular_format" ატრიბუტი.
• გაფართოვდა დიაგნოსტიკური და სტატიკური ანალიზის ინსტრუმენტები, დაემატა ახალი შემოწმებები (რამდენიმე ათეული დიაგნოსტიკასთან დაკავშირებული გაუმჯობესება).
• X86 ბექენდს დაემატა SSE, AVX და AVX512 გაფართოებების დამატებითი შინაგანი მახასიათებლები. Wildcat Lake (-march=wildcatlake) და Nova Lake (-march=novalake) მიკროარქიტექტურებზე დაფუძნებული Intel CPU-ებისთვის დაემატა აწყობის რეჟიმები.
• AArch64 ბექენდი ახლა მხარს უჭერს Ampere Computing Ampere1C (ampere1c), Arm C1-Nano (c1-nano), Arm C1-Pro (c1-pro), Arm C1-Premium (c1-premium) და Arm C1-Ultra (c1-ultra) პროცესორებს. FCVTZ[US], FCVTN[US], FCVTM[US], FCVTP[US] და FCVTA[US] ინსტრუქციებისთვის დაემატა დამატებითი ჩაშენებული ფუნქციები. სტაბილიზირებულია ფუნქციის მრავალვერსიული ვერსიის (FMV) მხარდაჭერა. მომხმარებლებს ახლა შეუძლიათ სხვადასხვა ფუნქციის ვერსიების პრიორიტეტის გადაფარვა.
• დამატებულია LoongArch32 (LA32R, LA32S) არქიტექტურის მხარდაჭერა.
• გაუმჯობესებული ბექენდები ARM, AMDGPU, RISC-V, LoongArch64, MIPS, WebAssembly და PowerPC არქიტექტურებისთვის.

წყარო: opennet.ru