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

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

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

• C++20 სტანდარტში შემოთავაზებული „სავარაუდო“ და „არასავარაუდო“ ატრიბუტების მხარდაჭერა დანერგილია და ჩართულია ნაგულისხმევად, რაც საშუალებას აძლევს ოპტიმიზატორს ინფორმირებული იყოს პირობითი კონსტრუქციის ამოქმედების ალბათობის შესახებ (მაგალითად, „[[სავარაუდოდ ]] თუ (შემთხვევითი > 0) {“).
• დამატებულია AMD Zen 3 (-march=znver3), Intel Alder Lake (-march=alderlake) და Intel Sapphire Rapids (-march=sapphirerapids) პროცესორების მხარდაჭერა.
• დამატებულია მხარდაჭერა "-march=x86-64-v[234]" დროშებისთვის x86-64 არქიტექტურის დონის ასარჩევად (v2 - მოიცავს SSE4.2, SSSE3, POPCNT და CMPXCHG16B გაფართოებებს; v3 - AVX2 და MOVBE; v4 - AVX-512 ) .
• დამატებულია Arm Cortex-A78C (cortex-a78c), Arm Cortex-R82 (cortex-r82), Arm Neoverse V1 (neoverse-v1), Arm Neoverse N2 (neoverse-n2) და Fujitsu A64FX (a64fx) პროცესორების მხარდაჭერა. მაგალითად, Neoverse-V1 CPU-ების ოპტიმიზაციის ჩასართავად შეგიძლიათ მიუთითოთ „-mcpu=neoverse-v1“.
• AArch64 არქიტექტურისთვის, ახალი შემდგენელი დროშები "-moutline-atomics" და "-mno-outline-atomics" დაემატა ატომური მუშაობის დამხმარე ფუნქციების გასააქტიურებლად ან გამორთვისთვის, როგორიცაა "__aarch64_cas8_relax". ასეთი ფუნქციები გაშვების დროს აღმოაჩენს არის თუ არა LSE (დიდი სისტემის გაფართოებები) მხარდაჭერა და იყენებს მოწოდებულ ატომური პროცესორის ინსტრუქციებს ან უბრუნდება სინქრონიზაციისთვის LL/SC (Load-link/store-conditional) ინსტრუქციებს.
• დამატებულია "-fbinutils-version" ოფცია, რათა აირჩიოთ binutils კომპლექტის სამიზნე ვერსია ძველი ლინკერისა და ასამბლერის ქცევასთან თავსებადობისთვის.
• ELF შესრულებადი ფაილებისთვის, როდესაც მითითებულია "-gz" დროშა, გამართვის ინფორმაციის შეკუმშვა zlib ბიბლიოთეკის გამოყენებით ჩართულია ნაგულისხმევად (gz=zlib). შედეგად მიღებული ობიექტის ფაილების დასაკავშირებლად საჭიროა lld ან GNU binutils 2.26+. ბინუტების ძველი ვერსიებით თავსებადობის აღსადგენად შეგიძლიათ მიუთითოთ "-GZ = Zlib-GNU".
• "ეს" მაჩვენებელი ახლა მუშავდება არანული და არარეფერენცირებული(N) შემოწმებებით. Nonnull ატრიბუტის მოსაშორებლად, როდესაც გჭირდებათ NULL მნიშვნელობების გამოყენება, შეგიძლიათ გამოიყენოთ "-fdelete-null-pointer-checks" ვარიანტი.
• Linux-ის პლატფორმაზე, "-fasynchronous-unwind-tables" რეჟიმი ჩართულია AArch64 და PowerPC არქიტექტურებისთვის განტვირთვის ზარების ცხრილების გენერირებისთვის, როგორც GCC-ში.
• "#pragma clang loop vectorize_width"-ში დაემატა "ფიქსირებული" (ნაგულისხმევი) და "მაშტაბური" ვარიანტების მითითების შესაძლებლობა ვექტორიზაციის მეთოდის შესარჩევად. "მაშტაბური" რეჟიმი, ვექტორის სიგრძისგან დამოუკიდებელი, ექსპერიმენტულია და შეიძლება გამოყენებულ იქნას აპარატურაზე, რომელიც მხარს უჭერს მასშტაბირებად ვექტორიზაციას.
• Windows პლატფორმის გაუმჯობესებული მხარდაჭერა: მომზადდა ოფიციალური ორობითი ასამბლეები Windows-ისთვის Arm64 სისტემებზე, მათ შორის Clang შემდგენელი, LLD linker და compiler-rt runtime ბიბლიოთეკები. MinGW სამიზნე პლატფორმებისთვის აშენებისას ემატება .exe სუფიქსი, თუნდაც ჯვარედინი კომპილაციის დროს.
• გაფართოვდა OpenCL, OpenMP და CUDA მხარდაჭერასთან დაკავშირებული შესაძლებლობები. დამატებულია ოფციები "-cl-std=CL3.0" და "-cl-std=CL1.0" მაკრო ვარიანტების ასარჩევად OpenCL 3.0 და OpenCL 1.0-ისთვის. გაფართოვდა დიაგნოსტიკური საშუალებები.
• დამატებულია მხარდაჭერა HRESET, UINTR და AVXVNNI ინსტრუქციებისთვის, რომლებიც განხორციელებულია x86-ზე დაფუძნებულ ზოგიერთ პროცესორში.
• x86 სისტემებზე ჩართულია "-mtune=" ოფციის მხარდაჭერა, რაც საშუალებას იძლევა შერჩეული მიკროარქიტექტურული ოპტიმიზაცია, მიუხედავად "-march=" მნიშვნელობისა.
• სტატიკურმა ანალიზატორმა გააუმჯობესა ზოგიერთი POSIX ფუნქციის დამუშავება და მნიშვნელოვნად გააუმჯობესა პირობითი ოპერაციების შედეგის განსაზღვრა, როდესაც შედარებაში არის რამდენიმე სიმბოლური მნიშვნელობა. დამატებულია ახალი ჩეკები: fuchia.HandleChecker (განსაზღვრავს სახელურებს სტრუქტურებში), webkit.UncountedLambdaCapturesChecker webkit და alpha.webkit.UncountedLocalVarsChecker ( ითვალისწინებს მაჩვენებლებთან მუშაობის თავისებურებებს WebKit ძრავის კოდში).
• მუდმივების კონტექსტში გამოყენებულ გამონათქვამებში, ჩაშენებული ფუნქციების გამოყენება __builtin_bitreverse*, __builtin_rotateleft*, __builtin_rotateright*, _mm_popcnt*, _bit_scan_forward, __bsfd, __bsfq, __bit_scan_reverse, __bit_scan_reverse, __bit_scan_reverse, __bit_scan_reverse, __bsrd _ დასაშვებია bswapq , _castf*, __rol* და __ror*.
• დაამატა BitFieldColonSpacing ოფცია clang-format უტილიტაში, რათა აირჩიოთ მანძილი იდენტიფიკატორების, სვეტების და ველის განმარტებების გარშემო.
• Linux პლატფორმაზე clangd ქეშირების სერვერმა (Clang Server) მნიშვნელოვნად შეამცირა მეხსიერების მოხმარება გრძელვადიანი მუშაობის დროს (პერიოდული ზარები malloc_trim-ზე უზრუნველყოფილია უფასო მეხსიერების გვერდების ოპერაციულ სისტემაში დასაბრუნებლად).

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

• Python-ში დაწერილი llvm-build build ინსტრუმენტის მხარდაჭერა შეწყდა და ამის ნაცვლად პროექტი მთლიანად გადავიდა CMake build სისტემის გამოყენებაზე.
• AArch64 არქიტექტურის ბექენდში გაუმჯობესდა Windows პლატფორმის მხარდაჭერა: უზრუნველყოფილია ასამბლერის გამომავალი სამიზნე Windows სისტემების სწორი გენერაცია, ოპტიმიზირებულია მონაცემთა გენერაცია unwind ზარებზე (ასეთი მონაცემების ზომა შემცირდა 60-ით. %), ასამბლერის გამოყენებით unwind მონაცემების შექმნის შესაძლებლობას დაემატა დირექტივები .seh_*.
• PowerPC არქიტექტურის ბექენდი შეიცავს ახალ ოპტიმიზაციებს მარყუჟების და ინლაინ განლაგებისთვის, გაფართოებული მხარდაჭერა Power10 პროცესორებისთვის, MMA ინსტრუქციების დამატებული მხარდაჭერა მატრიცის მანიპულაციისთვის და გაუმჯობესებული მხარდაჭერა AIX ოპერაციული სისტემისთვის.
• x86 backend ამატებს AMD Zen 3, Intel Alder Lake და Intel Sapphire Rapids პროცესორების მხარდაჭერას, ასევე HRESET, UINTR და AVXVNNI პროცესორის ინსტრუქციებს. MPX-ის მხარდაჭერა (მეხსიერების დაცვის გაფართოებები) მაჩვენებლების შესამოწმებლად მეხსიერების საზღვრების მხარდაჭერის უზრუნველსაყოფად (ეს ტექნოლოგია არ არის ფართოდ გავრცელებული და უკვე ამოღებულია GCC-დან და ზარი). დაემატა ასამბლერს მხარდაჭერა {disp32} და {disp8} პრეფიქსებისთვის და .d32 და .d8 სუფიქსებისთვის ოპერანდების ოფსეტებისა და ნახტომების ზომის გასაკონტროლებლად. დაამატა ახალი ატრიბუტი "Tune-CPU", რომ გააკონტროლოს მიკროარქიმტურული ოპტიმიზაციის ჩართვა.
• მთელი რიცხვის პრობლემის დეტექტორს დაემატა ახალი რეჟიმი „-fsanitize=unsigned-shift-base“ (მთლიანი რიცხვების გამაჯანსაღებელი, „-fsanitize=მთელი რიცხვი“), რათა აღმოაჩინოს ხელმოუწერელი რიცხვების გადადინება მარცხნივ ოდნავ გადაადგილების შემდეგ.
• სხვადასხვა დეტექტორებში (asan, cfi, lsan, msan, tsan, ubsan sanitizer) დაემატა Linux დისტრიბუციების მხარდაჭერა სტანდარტული Musl ბიბლიოთეკით.
• LLD ლინკერის შესაძლებლობები გაფართოვდა. ELF ფორმატის გაუმჯობესებული მხარდაჭერა, მათ შორის დამატებული ვარიანტები "--dependency-file", "-error-handling-script", "-lto-pseudo-probe-for-profiling", "-no-lto-whole-program". -ხილვადობა"" გაუმჯობესებული MinGW მხარდაჭერა. Mach-O ფორმატისთვის (macOS) განხორციელდა arm64, arm, და i386 არქიტექტურების მხარდაჭერა, ბმულის დროის ოპტიმიზაცია (LTO) და სტეკის განტვირთვა გამონაკლისების მართვისთვის.
• Libc++ ახორციელებს C++20 სტანდარტის ახალ ფუნქციებს და დაიწყო C++2b სპეციფიკაციის მახასიათებლების განვითარება. დაემატა მხარდაჭერა ლოკალიზაციის გამორთვის მხარდაჭერისთვის (“-DLIBCXX_ENABLE_LOCALIZATION=OFF”) და მოწყობილობები ფსევდო შემთხვევითი რიცხვების გენერირებისთვის (“-DLIBCXX_ENABLE_RANDOM_DEVICE=OFF”).

წყარო: opennet.ru