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

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

ძირითადი გაუმჯობესებები Clang 16.0-ში:

• ნაგულისხმევი C++/ObjC++ სტანდარტი არის gnu++17 (ადრე gnu++14), რაც ნიშნავს, რომ C++17 ფუნქციები GNU გაფართოებებით მხარდაჭერილია ნაგულისხმევად. წინა ქცევის დასაბრუნებლად შეგიძლიათ გამოიყენოთ "-std=gnu++14" ვარიანტი.
• დანერგილი გაფართოებული ფუნქციები, რომლებიც დაკავშირებულია C++20 სტანდარტთან:
  • პირობითად ტრივიალური სპეციალური წევრის ფუნქციები,
  • ლამბდას ფუნქციებში სტრუქტურირებული კავშირის აღება,
  • თანასწორობის ოპერატორი გამონათქვამების შიგნით,
  • ტიპის საკვანძო სიტყვის გამოტოვების ვარიანტი ზოგიერთ კონტექსტში,
  • სწორი აგრეგატის ინიციალიზაცია ფრჩხილებში ("Aggr(val1, val2)").
• დანერგილია მომავალი C++2b სტანდარტით განსაზღვრული ფუნქციები:
  • ნებადართულია ეტიკეტების განთავსება რთული გამონათქვამების ბოლოს,
  • სტატიკური ოპერატორი (),
  • სტატიკური ოპერატორი[],
  • უზრუნველყოფილია თავსებადობა char8_t ტიპთან,
  • "\N{...}"-ში გამოსაყენებლად დაშვებული სიმბოლოების დიაპაზონი გაფართოვდა
  • დამატებულია ცვლადების გამოყენების შესაძლებლობა გამოცხადებული როგორც "static constexpr" ფუნქციებში გამოცხადებულ constexpr.
• დანერგილია მომავალი C-სტანდარტის C2x-ში განსაზღვრული ფუნქციები:
  • გაფრთხილების „-Wunused-label“-ის გასათიშად, „[[შესაძლოა_გამოუყენებელი]]“ ატრიბუტი ნებადართულია გამოიყენოს ლეიბლებზე
  • ნებადართულია ეტიკეტების განთავსება ნებისმიერ ადგილას რთული გამონათქვამების ფარგლებში,
  • დამატებულია typeof და typeof_unqual ოპერატორები,
  • ახალი ტიპის nullptr_t და nullptr მუდმივი, რათა განისაზღვროს null მაჩვენებლები, რომლებსაც შეუძლიათ გარდაქმნან მაჩვენებლის ნებისმიერ ტიპად და წარმოადგენენ NULL-ის ვარიანტს, რომელიც არ არის დაკავშირებული მთელ და void* ტიპებთან.
  • C2x რეჟიმში დაშვებულია va_start მაკროს გამოძახება არგუმენტების ცვლადი რაოდენობით (ვარიადული).
• C99, C11 და C17 შესაბამისობის რეჟიმებში, ნაგულისხმევი ვარიანტები "-Wimplicit-function-declaration" და "-Wimplicit-int" ახლა წარმოქმნის შეცდომას გაფრთხილების ნაცვლად.
• "void *"-ის არაპირდაპირი გამოყენება (მაგ. "void func(void *p) { *p; }") C++ რეჟიმში ახლა წარმოქმნის შეცდომას, ISO C++, GCC, ICC და MSVC.
• ბიტი ველების მითითება ინსტრუქციის ოპერანდებად (მაგ. "__asm ​​{ mov eax, s.bf }") Microsoft-ის სტილის შიდა ასამბლეის ბლოკებში ახლა წარმოქმნის შეცდომას.
• დამატებულია დიაგნოსტიკა სხვადასხვა მოდულში სხვადასხვა სტრუქტურებისა და გაერთიანებების ერთიდაიგივე სახელების არსებობისთვის.
• გაფართოვდა OpenCL და OpenMP მხარდაჭერასთან დაკავშირებული შესაძლებლობები. გაუმჯობესებული დიაგნოსტიკა C++ შაბლონებისთვის, რომლებიც გამოიყენება OpenCL ბირთვის არგუმენტებში. გაუმჯობესებული რიგის ბლოკის მხარდაჭერა AMDGPU-სთვის. nounwind ატრიბუტი ირიბად ემატება ყველა ფუნქციას. გაუმჯობესებული მხარდაჭერა ჩაშენებული ფუნქციებისთვის.
• დამატებულია CLANG_CRASH_DIAGNOSTICS_DIR გარემოს ცვლადის გამოყენების შესაძლებლობა, რათა განისაზღვროს დირექტორია, რომელშიც ინახება ავარიის დიაგნოსტიკური მონაცემები.
• Unicode მხარდაჭერა განახლდა Unicode 15.0 სპეციფიკაციაზე. ზოგიერთი მათემატიკური სიმბოლო დაშვებულია იდენტიფიკატორებში, როგორიცაა „₊“ (მაგ. „ორმაგი xₖ₊₁“).
• დამატებულია მრავალი კონფიგურაციის ფაილის ჩატვირთვის მხარდაჭერა (პირველ რიგში იტვირთება ნაგულისხმევი კონფიგურაციის ფაილები, შემდეგ კი ისინი, რომლებიც მითითებულია "--config=" დროშის საშუალებით, რომელიც ახლა შეიძლება რამდენჯერმე იყოს მითითებული). შეიცვალა კონფიგურაციის ფაილების ჩატვირთვის ნაგულისხმევი თანმიმდევრობა: clang პირველი ცდილობს ფაილის ჩატვირთვას - .cfg და თუ ვერ მოიძებნა, ცდილობს ორი ფაილის ჩატვირთვას .cfg და .cfg. კონფიგურაციის ფაილების ჩატვირთვის ნაგულისხმევად გასათიშად, დამატებულია დროშა „--no-default-config“.
• განმეორებადი ნაგებობების უზრუნველსაყოფად, შესაძლებელია მიმდინარე თარიღისა და დროის მნიშვნელობების შეცვლა __DATE__, __TIME__ და __TIMESTAMP__ მაკროებში SOURCE_DATE_EPOCH გარემოს ცვლადში მითითებული დროით.
• ჩაშენებული ფუნქციების (ჩაშენებული) არსებობის შესამოწმებლად, რომლებიც შეიძლება გამოყენებულ იქნას მუდმივების კონტექსტში, დამატებულია მაკრო „__has_constexpr_builtin“.
• დამატებულია ახალი კომპილაციის დროშა "-fcoro-aligned-allocation" გასწორებული კორუტინის ჩარჩოების გამოყოფისთვის.
• “-fstrict-flex-arrays=” დროშა ახორციელებს სტრუქტურებში მოქნილი მასივის ელემენტების გადამოწმების მესამე დონის მხარდაჭერას (Flexible Array Members, განუსაზღვრელი ზომის მასივი სტრუქტურის ბოლოს). მესამე დონეზე, მხოლოდ ზომა "[]" (მაგალითად, "int b[]") განიხილება, როგორც მოქნილი მასივი, მაგრამ ზომა "[0]" (მაგალითად, "int b[0]") არ არის.
• დამატებულია „-fmodule-output“ დროშა სტანდარტული C++ მოდულების ერთფაზიანი კომპილაციის მოდელის გასააქტიურებლად.
• დამატებულია "-Rpass-analysis=stack-frame-layout" რეჟიმი, რათა დაგვეხმაროს სტეკის ჩარჩოს განლაგების პრობლემების დიაგნოსტიკაში.
• დაამატა ახალი ატრიბუტი __attribute__((target_version("cpu_features"))) და გააფართოვა ატრიბუტის __attribute__((target_clones("cpu_features1","cpu_features2",...))) AArch64-ის მიერ მოწოდებული ფუნქციების კონკრეტული ვერსიების შესარჩევად. პროცესორები.
• გაფართოვდა დიაგნოსტიკური საშუალებები:
  • დამატებულია გაფრთხილება "-Wsingle-bit-bitfield-constant-conversion" იმპლიციტური შეკვეცის აღმოსაჩენად, როდესაც ერთი ბიტიანი ხელმოწერილი ბიტის ველს მიანიჭებთ.
  • გაფართოვდა unitialized constexpr ცვლადების დიაგნოსტიკა.
  • დამატებულია "-Wcast-function-type-strict" და "-Wincompatible-function-pointer-types-strict" გაფრთხილებები ფუნქციის ტიპის კასტინგთან დაკავშირებული პოტენციური პრობლემების გამოსავლენად.
  • დამატებულია დიაგნოსტიკა ექსპორტის ბლოკებში არასწორი ან დაცული მოდულის სახელების გამოყენებისთვის.
  • გაუმჯობესებული გამოვლენა დაკარგული "ავტომატური" საკვანძო სიტყვების განმარტებებში.
  • "-Winteger-overflow" გაფრთხილების განხორციელებამ დაამატა ჩეკები დამატებითი სიტუაციებისთვის, რომლებიც იწვევს გადადინებას.
• დანერგილია LoongArch ინსტრუქციების ნაკრების არქიტექტურის მხარდაჭერა (-march=loongarch64 ან -march=la464), რომელიც გამოიყენება Loongson 3 5000 პროცესორებში და ახორციელებს ახალ RISC ISA-ს, მსგავსი MIPS და RISC-V.

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

• LLVM კოდს უფლება აქვს გამოიყენოს C++17 სტანდარტში განსაზღვრული ელემენტები.
• გაიზარდა გარემოს მოთხოვნები LLVM შენობისთვის. აშენების ხელსაწყოებმა ახლა უნდა დაუჭირონ მხარი C++17 სტანდარტს, ე.ი. ასაშენებლად გჭირდებათ მინიმუმ GCC 7.1, Clang 5.0, Apple Clang 10.0 ან Visual Studio 2019 16.7.
• AArch64 არქიტექტურის ბექენდი ამატებს Cortex-A715, Cortex-X3 და Neoverse V2 CPU-ების მხარდაჭერას, ასამბლერს RME MEC-ისთვის (მეხსიერების დაშიფვრის კონტექსტები), Armv8.3 გაფართოებები (კომპლექსური ნომერი) და ფუნქციონალური მრავალ ვერსია.
• ARM არქიტექტურის ბექენდში, Armv2, Armv2A, Armv3 და Armv3M სამიზნე პლატფორმების მხარდაჭერა შეწყდა, რისთვისაც სწორი კოდის გენერირება არ იყო გარანტირებული. დაემატა კოდის გენერირების შესაძლებლობა კომპლექსურ რიცხვებთან მუშაობის ინსტრუქციებისთვის.
• X86 არქიტექტურის ბექენდმა დაამატა მხარდაჭერა ინსტრუქციების ნაკრების არქიტექტურებისთვის (ISAs) AMX-FP16, CMPCCXADD, AVX-IFMA, AVX-VNNI-INT8, AVX-NE-CONVERT. დამატებულია მხარდაჭერა RDMSRLIST, RMSRLIST და WRMSRNS ინსტრუქციებისთვის. განხორციელებული პარამეტრები "-mcpu=raptorlake", "-mcpu=meteorlake", "-mcpu=emeraldrapids", "-mcpu=sierraforest", "-mcpu=graniterapids" და "-mcpu=grandridge".
• დაემატა ოფიციალური მხარდაჭერა LoongArch პლატფორმისთვის.
• გაუმჯობესებული backends MIPS, PowerPC და RISC-V არქიტექტურებისთვის
• დაემატა მხარდაჭერა 64-ბიტიანი შესრულებული ფაილების გამართვისთვის LoongArch არქიტექტურისთვის LLDB გამართვისთვის. COFF გამართვის სიმბოლოების გაუმჯობესებული მართვა. უზრუნველყოფილია დუბლიკატი DLL-ების ფილტრაცია ჩატვირთული Windows მოდულების სიაში.
• Libc++ ბიბლიოთეკაში ძირითადი სამუშაო ორიენტირებული იყო C++20 და C++23 სტანდარტების ახალი ფუნქციების მხარდაჭერაზე.
• LDD დამაკავშირებელი მნიშვნელოვნად ამცირებს დაკავშირების დროს მისამართების გადატანის სკანირებისა და განყოფილების ინიციალიზაციის ოპერაციების პარალელიზებით. დამატებულია განყოფილების შეკუმშვის მხარდაჭერა ZSTD ალგორითმის გამოყენებით.

წყარო: opennet.ru