ការចេញផ្សាយឈុតចងក្រង LLVM 13.0

បន្ទាប់ពីរយៈពេលប្រាំមួយខែនៃការអភិវឌ្ឍន៍ ការចេញផ្សាយគម្រោង LLVM 13.0 ត្រូវបានបង្ហាញ - កញ្ចប់ឧបករណ៍ដែលត្រូវគ្នានឹង GCC (អ្នកចងក្រង កម្មវិធីបង្កើនប្រសិទ្ធភាព និងម៉ាស៊ីនបង្កើតកូដ) ដែលចងក្រងកម្មវិធីទៅជាប៊ីតកូដកម្រិតមធ្យមនៃការណែនាំនិម្មិតដូច RISC (ម៉ាស៊ីននិម្មិតកម្រិតទាបដែលមាន ប្រព័ន្ធបង្កើនប្រសិទ្ធភាពពហុកម្រិត) ។ កូដក្លែងក្លាយដែលបានបង្កើតអាចត្រូវបានបំប្លែងដោយប្រើកម្មវិធីចងក្រង JIT ទៅជាការណែនាំរបស់ម៉ាស៊ីនដោយផ្ទាល់នៅពេលដំណើរការកម្មវិធី។

ការកែលម្អនៅក្នុង Clang 13.0៖

• បានអនុវត្តការគាំទ្រសម្រាប់ការហៅកន្ទុយដែលមានការធានា (ហៅទម្រង់ការរងនៅចុងបញ្ចប់នៃមុខងារ បង្កើតការហៅឡើងវិញកន្ទុយ ប្រសិនបើទម្រង់ការរងហៅខ្លួនឯង)។ ការគាំទ្រសម្រាប់ការហៅកន្ទុយដែលត្រូវបានធានាត្រូវបានផ្តល់ដោយគុណលក្ខណៈ "[[clang::musttail]]" នៅក្នុង C ++ និង "__attribute__((musttail))" នៅក្នុង C ដែលប្រើក្នុងសេចក្តីថ្លែងការណ៍ "ត្រឡប់" ។ មុខងារនេះអនុញ្ញាតឱ្យអ្នកអនុវត្តការបង្កើនប្រសិទ្ធភាពដោយការដាក់ពង្រាយកូដទៅក្នុងរបៀបដដែលៗ ដើម្បីសន្សំការប្រើប្រាស់ជង់។
• "ការប្រើប្រាស់" សេចក្តីប្រកាស និងផ្នែកបន្ថែម 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” ត្រូវបានបន្ថែម។
• ការគាំទ្រសម្រាប់ការណែនាំអំពីការបំប្លែងរង្វិលជុំ (“#pragma omp unrol” និង “#pragma omp tile”) ដែលបានកំណត់នៅក្នុងការបញ្ជាក់របស់ OpenMP 5.1 ត្រូវបានអនុវត្ត។
• បានបន្ថែមជម្រើសទៅឧបករណ៍ប្រើប្រាស់ទម្រង់ clang៖ SpacesInLineCommentPrefix ដើម្បីកំណត់ចំនួនដកឃ្លាមុនមតិយោបល់ IndentAccessModifiers LambdaBodyIndentation និង PPIndentWidth ដើម្បីគ្រប់គ្រងការតម្រឹមធាតុ កន្សោម lambda និងការណែនាំមុនដំណើរការ។ លទ្ធភាព​សម្រាប់​ការ​តម្រៀប​ការ​រាប់​លេខ​នៃ​ឯកសារ​បឋមកថា (SortIncludes) ត្រូវ​បាន​ពង្រីក។ បានបន្ថែមការគាំទ្រសម្រាប់ការធ្វើទ្រង់ទ្រាយឯកសារ JSON ។
• ផ្នែកធំនៃការត្រួតពិនិត្យថ្មីត្រូវបានបន្ថែមទៅ linter clang-tidy ។

ការច្នៃប្រឌិតសំខាន់ៗនៅក្នុង LLVM 13.0៖

• បានបន្ថែមជម្រើស “-ehcontguard” ដើម្បីប្រើបច្ចេកវិទ្យា CET (Windows Control-flow Enforcement Technology) ដើម្បីការពារប្រឆាំងនឹងការប្រតិបត្តិនៃការកេងប្រវ័ញ្ចដែលបានបង្កើតឡើងដោយប្រើបច្ចេកទេស Return-Oriented Programming (ROP) នៅដំណាក់កាលដោះស្រាយករណីលើកលែង។
• គម្រោងតេស្តបំបាត់កំហុសត្រូវបានប្តូរឈ្មោះជាការធ្វើតេស្តឆ្លងគម្រោង ហើយត្រូវបានរចនាឡើងដើម្បីសាកល្បងសមាសធាតុពីគម្រោងផ្សេងៗ មិនកំណត់ចំពោះព័ត៌មានបំបាត់កំហុសនោះទេ។
• ប្រព័ន្ធជួបប្រជុំគ្នាផ្តល់ការគាំទ្រសម្រាប់ការកសាងការចែកចាយជាច្រើន ឧទាហរណ៍ មួយជាមួយឧបករណ៍ប្រើប្រាស់ និងមួយទៀតជាមួយបណ្ណាល័យសម្រាប់អ្នកអភិវឌ្ឍន៍។
• នៅក្នុងផ្នែកខាងក្រោយសម្រាប់ស្ថាបត្យកម្ម AArch64 ការគាំទ្រសម្រាប់ផ្នែកបន្ថែម Armv9-A RME (Realm Management Extension) និង SME (Scalable Matrix Extension) ត្រូវបានអនុវត្តនៅក្នុងឧបករណ៍ដំឡើង។
• ការគាំទ្រសម្រាប់ ISA V68/HVX ត្រូវបានបន្ថែមទៅផ្នែកខាងក្រោយសម្រាប់ស្ថាបត្យកម្ម Hexagon ។
• ផ្នែកខាងក្រោយ x86 បានធ្វើឱ្យប្រសើរឡើងនូវការគាំទ្រសម្រាប់ប្រព័ន្ធដំណើរការ AMD Zen 3 ។
• បានបន្ថែមការគាំទ្រសម្រាប់ GFX1013 RDNA2 APU ទៅផ្នែកខាងក្រោយ AMDGPU ។
• Libc++ បន្តអនុវត្តមុខងារថ្មីនៃស្តង់ដារ C ++20 និង C ++2b រួមទាំងការបញ្ចប់បណ្ណាល័យ "គំនិត" ។ បានបន្ថែមការគាំទ្រសម្រាប់ std::filesystem សម្រាប់វេទិកាវីនដូដែលមានមូលដ្ឋានលើ MinGW ។ ឯកសារបឋមកថាត្រូវបានបំបែក , និង . បានបន្ថែមជម្រើសសាងសង់ LIBCXX_ENABLE_INCOMPLETE_FEATURES ដើម្បីបិទឯកសារបឋមកថាជាមួយនឹងមុខងារដែលមិនបានអនុវត្តពេញលេញ។
• សមត្ថភាពរបស់ LLD linker ត្រូវបានពង្រីក ដែលក្នុងនោះការគាំទ្រសម្រាប់ដំណើរការ Big-endian Aarch64 ត្រូវបានអនុវត្ត ហើយផ្នែកខាងក្រោយ Mach-O ត្រូវបាននាំយកទៅរដ្ឋដែលអនុញ្ញាតឱ្យភ្ជាប់កម្មវិធីធម្មតា។ រួមបញ្ចូលការកែលម្អដែលត្រូវការដើម្បីភ្ជាប់ Glibc ដោយប្រើ LLD ។
• ឧបករណ៍ប្រើប្រាស់ llvm-mca (Machine Code Analyzer) បានបន្ថែមការគាំទ្រសម្រាប់ processors ដែលប្រតិបត្តិសេចក្តីណែនាំតាមលំដាប់លំដោយ (in-order superscalar pipeline) ដូចជា ARM Cortex-A55 ជាដើម។
• កម្មវិធីបំបាត់កំហុស LLDB សម្រាប់វេទិកា AArch64 ផ្តល់នូវការគាំទ្រពេញលេញសម្រាប់ការផ្ទៀងផ្ទាត់ភាពត្រឹមត្រូវរបស់ទ្រនិច, MTE (MemTag, Memory Tagging Extension) និងការចុះឈ្មោះ SVE ។ បានបន្ថែមពាក្យបញ្ជាដែលអនុញ្ញាតឱ្យអ្នកចងស្លាកទៅនឹងប្រតិបត្តិការបែងចែកអង្គចងចាំនីមួយៗ និងរៀបចំការពិនិត្យមើលទ្រនិចនៅពេលចូលប្រើអង្គចងចាំ ដែលត្រូវតែភ្ជាប់ជាមួយស្លាកត្រឹមត្រូវ។
• កម្មវិធីបំបាត់កំហុស LLDB និងផ្នែកខាងមុខសម្រាប់ភាសា Fortran - Flang ត្រូវបានបន្ថែមទៅសភាប្រព័ន្ធគោលពីរដែលបង្កើតដោយគម្រោង។

ប្រភព: opennet.ru