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

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

ახალი გამოშვების მთავარი ცვლილება იყო ჩართვა ფლანგი, ფრონტენტი Fortran ენისთვის. Flang მხარს უჭერს Fortran 2018, OpenMP 4.5 და OpenACC 3.0, მაგრამ პროექტის შემუშავება ჯერ არ დასრულებულა და წინა ნაწილი შემოიფარგლება კოდის გარჩევით და სისწორის შემოწმებით. LLVM შუალედური კოდის გენერაცია ჯერ არ არის მხარდაჭერილი და შესრულებადი ფაილების გენერირებისთვის, კანონიკური კოდი გენერირებულია და გადაეცემა გარე Fortran შემდგენელს.

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

• დამატებულია აბსტრაქტული სინტაქსის ხის აღდგენის შესაძლებლობა (AST) გატეხილი C++ კოდისთვის, რომელიც შეიძლება გამოყენებულ იქნას შეცდომების დიაგნოსტიკაში და დამატებით ინფორმაციას აწვდის გარე პროგრამებს, როგორიცაა clang-tidy და clangd. ფუნქცია ჩართულია ნაგულისხმევად C++ კოდისთვის და კონტროლდება "-Xclang -f[no-]recovery-ast" პარამეტრების მეშვეობით.
• დამატებულია ახალი დიაგნოსტიკური რეჟიმები:
  • „-Wpointer-to-int-cast“ არის გაფრთხილებების ჯგუფი მთელი რიცხვის ტიპის int-ზე მითითებების გადაცემის შესახებ, რომელიც არ შეიცავს ყველა შესაძლო მნიშვნელობას.
  • „-Wuninitialized-const-reference“ - გაფრთხილება ფუნქციის პარამეტრებში არაინიციალიზებული ცვლადების გადაცემის შესახებ, რომლებიც იღებენ მითითების არგუმენტებს „const“ ატრიბუტით.
  • "-Wimplicit-const-int-float-conversion" - ნაგულისხმევად ჩართულია გაფრთხილება რეალური კონსტანტის მთელ რიცხვად გადაქცევის შესახებ.
• ARM პლატფორმისთვის, კომპილატორში ჩაშენებული C ფუნქციები მოწოდებულია (შინაგანი), ჩანაცვლებულია ეფექტური ვექტორული ინსტრუქციებით Arm v8.1-M MVE და CDE. ხელმისაწვდომი ფუნქციები განისაზღვრება სათაურის ფაილებში arm_mve.h და arm_cde.h.
• დამატებულია გაფართოებული რიცხვების ტიპების კომპლექტი _ExtInt(N), რომელიც საშუალებას გაძლევთ შექმნათ ტიპები, რომლებიც არ არიან ორის სიმძლავრის ნამრავლი, რომლებიც შეიძლება ეფექტურად დამუშავდეს FPGA/HLS-ზე. მაგალითად, _ExtInt(7) განსაზღვრავს მთელ რიცხვს, რომელიც შედგება 7 ბიტისაგან.
• დამატებულია მაკროები, რომლებიც განსაზღვრავენ ჩაშენებული C ფუნქციების მხარდაჭერას ARM SVE (Scalable Vector Extension) ინსტრუქციების საფუძველზე:
  __ARM_FEATURE_SVE, __ARM_FEATURE_SVE_BF16,
  __ARM_FEATURE_SVE_MATMUL_FP32, __ARM_FEATURE_SVE_MATMUL_FP64,
  __ARM_FEATURE_SVE_MATMUL_INT8,
  __ARM_FEATURE_SVE2, __ARM_FEATURE_SVE2_AES,
  __ARM_FEATURE_SVE2_BITPERM,
  __ARM_FEATURE_SVE2_SHA3,
  __ARM_FEATURE_SVE2_SM4. მაგალითად, __ARM_FEATURE_SVE მაკრო განსაზღვრულია AArch64 კოდის გენერირებისას ბრძანების ხაზის პარამეტრის დაყენებით "-march=armv8-a+sve".

• "-O" დროშა ახლა იდენტიფიცირებულია "-O1" ოპტიმიზაციის რეჟიმში "-O2"-ის ნაცვლად.
• დამატებულია ახალი შემდგენელი დროშები:
  • "-fstack-clash-protection" - იძლევა დაცვის საშუალებას დასტისა და გროვის კვეთა.
  • "-ffp-exception-behavior={ignore,maytrap,strict}" - გაძლევთ საშუალებას აირჩიოთ გამონაკლისის დამმუშავებლის რეჟიმი მცურავი პუნქტიანი ნომრებისთვის.
  • "-ffp-model={precise,strict,fast}" - ამარტივებს წვდომას მცურავი პუნქტიანი ნომრების სპეციალიზებულ ვარიანტებზე.
  • "-fpch-codegen" და "-fpch-debuginfo" წინასწარ კომპილირებული სათაურის (PCH) გენერირებისთვის კოდისა და გამართვისთვის ცალკეული ობიექტის ფაილებით.
  • „-fsanitize-coverage-allowlist“ და „-fsanitize-coverage-blocklist“ თეთრი და შავი სიების დაფარვის ტესტირების შესამოწმებლად.
  • „-mtls-size={12,24,32,48}“ TLS (თემა-ლოკალური მეხსიერება) ზომის ასარჩევად.
  • "-menable-experimental-extension" ექსპერიმენტული RISC-V გაფართოებების გასააქტიურებლად.
• ნაგულისხმევი რეჟიმი C-სთვის არის "-fno-common", რომელიც იძლევა უფრო ეფექტური წვდომის საშუალებას ზოგიერთ პლატფორმაზე გლობალურ ცვლადებზე.
• ნაგულისხმევი მოდულის ქეში გადატანილია /tmp-დან ~/.cache დირექტორიაში. უგულებელყოფისთვის შეგიძლიათ გამოიყენოთ დროშა „-fmodules-cache-path=“.
• ნაგულისხმევი C ენის სტანდარტი განახლდა gnu11-დან gnu17-მდე.
• დამატებულია წინასწარი მხარდაჭერა GNU C გაფართოებისთვის "asm inline» ასამბლერის ჩანართების დასამატებლად. გაფართოება ჯერ კიდევ გაანალიზებულია, მაგრამ არანაირად არ დამუშავდება.
• გაფართოვდა OpenCL და CUDA მხარდაჭერასთან დაკავშირებული შესაძლებლობები. დაემატა მხარდაჭერა OpenCL 2.0 ბლოკის დიაგნოსტიკისთვის და დანერგილია ახალი OpenMP 5.0 ფუნქციები.
• დამატებულია IndentExternBlock ოფცია clang-format უტილიტაში გარე "C" და გარე "C++" ბლოკებში გასწორებისთვის.
• სტატიკურმა ანალიზატორმა გააუმჯობესა მემკვიდრეობითი კონსტრუქტორების მართვა C++-ში. დამატებულია ახალი შემოწმებები alpha.core.C11Lock და alpha.fuchsia.Lock საკეტების შესამოწმებლად, alpha.security.cert.pos.34c putenv, webkit.NoUncountedMemberChecker და webkit.NoUncountedMemberChecker და webkit.RefCntblBaseVirtualDtor არაუსაფრთხო გამოყენების გამოსავლენად. .cplusplus .SmartPtr გონიერი მაჩვენებლის ნულოვანი მითითების შესამოწმებლად.
• ლინტერში ჩოჩქოლი-მოწესრიგებული დაემატა ახალი ჩეკების დიდი ნაწილი.
• clangd ქეშირების სერვერმა (Clang Server) გააუმჯობესა შესრულება და დაამატა ახალი დიაგნოსტიკური შესაძლებლობები.

მთავარი ინოვაციები LLVM 11.0:

• build-ის სისტემა გადართულია Python 3-ის გამოყენებაზე. თუ Python 3 არ არის ხელმისაწვდომი, შესაძლებელია Python 2-ის გამოყენებაზე დაბრუნება.
• Go ენის შემდგენელის წინა ნაწილი (llgo) გამორიცხულია გამოშვებიდან, რომელიც შეიძლება მომავალში რესტრუქტურიზდეს.
• Vector-function-abi-variant ატრიბუტი დაემატა შუალედურ წარმოდგენას (IR) სკალარული და ვექტორული ფუნქციების ატრიბუტის აღსაწერად ზარების ვექტორიზაციისთვის. llvm::VectorType-დან არის ორი ცალკეული ვექტორის ტიპი llvm::FixedVectorType და llvm::ScalableVectorType.
• უდეფის მნიშვნელობებზე დაფუძნებული განშტოება და ბიბლიოთეკის სტანდარტულ ფუნქციებზე undef მნიშვნელობების გადაცემა აღიარებულია, როგორც განუსაზღვრელი ქცევა. IN
  memset/memcpy/memmove იძლევა undef მაჩვენებლების გადაცემის საშუალებას, მაგრამ თუ ზომა ზომის პარამეტრი ნულის ტოლია.

• LLJIT-მა დაამატა მხარდაჭერა სტატიკური ინიციალიზაციის შესასრულებლად LLJIT::initialize და LLJIT::deinitialize მეთოდების მეშვეობით. განხორციელდა JITDylib-ში სტატიკური ბიბლიოთეკების დამატების შესაძლებლობა StaticLibraryDefinitionGenerator კლასის გამოყენებით. დამატებულია C API ამისთვის ORCv2 (API JIT შემდგენლების შესაქმნელად).
• Cortex-A64, Cortex-A34, Cortex-A77 და Cortex-X78 პროცესორების მხარდაჭერა დაემატა AArch1 არქიტექტურის ფონს. დანერგილი ARMv8.2-BF16 (BFloat16) და ARMv8.6-A გაფართოებები, მათ შორის RMv8.6-ECV (გაუმჯობესებული მრიცხველის ვირტუალიზაცია), ARMv8.6-FGT (წვრილმარცვლოვანი ხაფანგები), ARMv8.6-AMU (აქტივობის მონიტორების ვირტუალიზაცია) და ARMv8.0-DGH (მონაცემების შეგროვების მინიშნება). უზრუნველყოფილია კოდის გენერირების შესაძლებლობა ჩაშენებული ფუნქციებისთვის - აკავშირებს SVE ვექტორულ ინსტრუქციებს.
• Cortex-M55, Cortex-A77, Cortex-A78 და Cortex-X1 პროცესორების მხარდაჭერა დაემატა ARM არქიტექტურის backend-ს. განხორციელებული გაფართოებები
  Armv8.6-A მატრიქსის გამრავლება და RMv8.2-AA32BF16 BFloat16.

• POWER10 პროცესორებისთვის კოდის გენერირების მხარდაჭერა დაემატა PowerPC არქიტექტურის ფონს. ციკლის ოპტიმიზაცია გაფართოვდა და მცურავი წერტილის მხარდაჭერა გაუმჯობესდა.
• RISC-V არქიტექტურის backend საშუალებას იძლევა მიიღოთ პატჩები, რომლებიც მხარს უჭერენ ექსპერიმენტულ გაფართოებულ ინსტრუქციების კომპლექტს, რომელიც ჯერ არ არის ოფიციალურად დამტკიცებული.
• AVR არქიტექტურის backend გადატანილია ექსპერიმენტული კატეგორიიდან სტაბილურზე, რომელიც შედის ძირითად განაწილებაში.
• x86 არქიტექტურის backend მხარს უჭერს Intel AMX და TSXLDTRK ინსტრუქციებს. დამატებულია თავდასხმებისგან დაცვა LVI (Load Value Injection) და ასევე ახორციელებს ზოგად Speculative Execution Side Effect Suppression მექანიზმს CPU-ზე ოპერაციების სპეკულაციური შესრულებით გამოწვეული შეტევების დაბლოკვის მიზნით.
• SystemZ არქიტექტურის საზურგეზე დამატებულია MemorySanitizer-ისა და LeakSanitizer-ის მხარდაჭერა.
• Libc++-ს დაემატა სათაურის ფაილის მხარდაჭერა მათემატიკური მუდმივებით .
• გაფართოვდა LLD დამაკავშირებელი შესაძლებლობები. ELF ფორმატის გაუმჯობესებული მხარდაჭერა, მათ შორის დამატებული ვარიანტები "--lto-emit-asm", "--lto-whole-program-visibility", "-print-archive-stats", "-shuffle-sections", " -thinlto- ერთმოდული", "-უნიკალური", "-rosegment", "-threads=N". დამატებულია „--time-trace“ ოფცია კვალის ფაილში შესანახად, რომლის გაანალიზება შესაძლებელია Chrome-ში chrome://tracing ინტერფეისის მეშვეობით.

წყარო: opennet.ru