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

បន្ទាប់ពីការអភិវឌ្ឍរយៈពេលប្រាំមួយខែ LLVM 22.1.0 ត្រូវបានចេញផ្សាយ។ វាបង្កើតឧបករណ៍ (កម្មវិធីចងក្រង កម្មវិធីបង្កើនប្រសិទ្ធភាព និងកម្មវិធីបង្កើតកូដ) ដែលចងក្រងកម្មវិធីទៅជាប៊ីតកូដកម្រិតមធ្យមនៃការណែនាំនិម្មិតដូច RISC (ម៉ាស៊ីននិម្មិតកម្រិតទាបដែលមានប្រព័ន្ធបង្កើនប្រសិទ្ធភាពច្រើនកម្រិត)។ pseudocode ដែលបានបង្កើតអាចត្រូវបានបម្លែងទៅជាលេខកូដម៉ាស៊ីនសម្រាប់វេទិកាគោលដៅដែលបានផ្តល់ឱ្យ ឬប្រើដោយកម្មវិធីចងក្រង just-in-time (JIT) ដើម្បីបង្កើតការណែនាំម៉ាស៊ីនដោយផ្ទាល់ក្នុងអំឡុងពេលប្រតិបត្តិកម្មវិធី។ ដោយផ្អែកលើបច្ចេកវិទ្យា LLVM គម្រោងនេះកំពុងអភិវឌ្ឍកម្មវិធីចងក្រង Clang ដែលគាំទ្រភាសាសរសេរកម្មវិធី C, C++ និង Objective-C។ ដោយចាប់ផ្តើមជាមួយសាខា 18.x គម្រោងនេះបានប្តូរទៅគ្រោងការណ៍លេខរៀងកំណែថ្មី ដែលយោងទៅតាមការចេញផ្សាយ 0 ("N.0") ត្រូវបានប្រើក្នុងអំឡុងពេលអភិវឌ្ឍន៍ ហើយកំណែស្ថេរភាពដំបូងត្រូវបានដាក់លេខ "N.1"។

ការកែលម្អនៅក្នុង Clang 22 រួមមាន:

• បានបន្ថែមការគាំទ្រសម្រាប់ថូខឹនបែងចែកអង្គចងចាំ (Allocation Tokens) សម្រាប់សម្គាល់ប្រតិបត្តិការបែងចែកអង្គចងចាំដែលបានអនុវត្តដោយប្រើមុខងារដូចជា malloc ជាមួយនឹងឧបករណ៍កំណត់អត្តសញ្ញាណតែមួយគត់។ ថូខឹនបែងចែកអនុញ្ញាតឱ្យមានការរៀបចំរចនាសម្ព័ន្ធព័ត៌មានហ៊ាប ធ្វើឱ្យការរកឃើញការលេចធ្លាយអង្គចងចាំមានភាពសាមញ្ញ និងអនុញ្ញាតឱ្យមានការដាក់ជាក្រុមនៃវត្ថុដោយផ្អែកលើគោលបំណង ឬគំរូកែប្រែរបស់វា (ឧទាហរណ៍ ការបំបែកទិន្នន័យ "ក្តៅ" ពី "ត្រជាក់")។ ដើម្បីបើកដំណើរការ សូមប្រើទង់ "-fsanitize=alloc-token"។
• លក្ខណៈពិសេសទាក់ទងនឹងភាសា C៖
  • សេចក្តីព្រាង​ការ​បញ្ជាក់​ដែល​កំណត់​យន្តការ​ប្រតិបត្តិ​ដែល​ពន្យារពេល "defer" ត្រូវ​បាន​អនុវត្ត ដែល​អនុញ្ញាត​ឱ្យ​សកម្មភាព​ត្រូវ​បាន​ប្រតិបត្តិ​នៅ​ពេល​ដែល​វិសាលភាព​បច្ចុប្បន្ន​ចាកចេញ។ ទង់ "-fdefer-ts" ត្រូវ​បាន​បន្ថែម​ដើម្បី​បើក​ការ​គាំទ្រ "defer"។
  • អនុគមន៍​ដែល​ភ្ជាប់​មក​ជាមួយ __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; // go to CONT1 continue outer; // go to CONT2 // CONT1 } // CONT2 }
  • ការអនុវត្តម៉ាក្រូ "__COUNTER__" ដែលភ្ជាប់មកជាមួយ ដែលត្រូវបានរចនាឡើងដើម្បីបង្កើតឈ្មោះឧបករណ៍កំណត់អត្តសញ្ញាណតែមួយគត់ ត្រូវបានពង្រីក និងរួមបញ្ចូលនៅក្នុងស្តង់ដារ។ ដែនកំណត់នៃការហៅទូរសព្ទចំនួន 2147483647 ទៅកាន់ម៉ាក្រូនេះត្រូវបានកំណត់។ ការលើសពីដែនកំណត់នេះនឹងបង្កើតកំហុស។
  • បានលុបការព្រមាន (-Wstatic-in-in-in) នៅពេលប្រើអនុគមន៍ឋិតិវន្ត ឬអថេរនៅខាងក្នុងអនុគមន៍ដែលបានប្រកាសជា "external inline"។
• សមត្ថភាពដែលបានកំណត់ក្នុងស្តង់ដារ C23 C៖
  • ឯកសារបឋមកថា float.h ឥឡូវនេះគាំទ្រម៉ាក្រូ FLT_SNAN, DBL_SNAN និង LDBL_SNAN ដែលអនុវត្តតម្លៃ NaN ដែលបានចុះហត្ថលេខា (បណ្តាលឱ្យមានករណីលើកលែងនៅពេលប្រើក្នុងប្រតិបត្តិការនព្វន្ធ) សម្រាប់ប្រភេទ float, double និង long double។
  • បានជួសជុលកំហុសដែលប្រភេទដែលមិនបញ្ចេញឈ្មោះផ្សេងៗគ្នាត្រូវបានចាត់ទុកថាឆបគ្នានៅក្នុងឯកតាបកប្រែដូចគ្នា ប្រសិនបើពួកវាមានវាលដូចគ្នា។
  • ទង់ "-MG" ដែលប្រើដើម្បីមិនអើពើឯកសារបឋមកថាដែលបាត់ក្នុងអំឡុងពេលស្កេនភាពអាស្រ័យត្រូវបានពង្រីកទៅការណែនាំ "#embed" ហើយឥឡូវនេះទប់ស្កាត់កំហុស "រកមិនឃើញឯកសារ" នៅពេលដែលឯកសារដែលបានបញ្ជាក់នៅក្នុងការណែនាំ "#embed" បាត់។
• លក្ខណៈ​ពិសេស​ទាក់ទង​នឹង C ++៖
  • សមត្ថភាពក្នុងការប្រើប្រាស់ការចងដែលមានរចនាសម្ព័ន្ធនៅក្នុងបរិបទ "constexpr" ដូចដែលបានបង្កើតឡើងនៅក្នុងការបញ្ជាក់ C++ 2c (C++ 26) ត្រូវបានបន្ថែម។ នេះមានន័យថា ឯកសារយោងទៅលើកន្សោមថេរឥឡូវនេះអាចជាកន្សោមថេរ។ ការគាំទ្រត្រូវបានអនុវត្តសម្រាប់អារេ និងរចនាសម្ព័ន្ធសាមញ្ញ (tuples មិនទាន់ត្រូវបានគាំទ្រនៅឡើយទេ)។ constexpr int arr[] = {1, 2}; constexpr auto [x, y] = arr;
  • ដូចដែលតម្រូវដោយស្តង់ដារ C++20 ឥឡូវនេះ ការរឹតបន្តឹងត្រូវបានបម្លែងទៅជាទម្រង់ស្តង់ដារមុនពេលត្រូវបានត្រួតពិនិត្យ ដែលអនុញ្ញាតឱ្យមានសារវិនិច្ឆ័យកាន់តែត្រឹមត្រូវ និងការគ្រប់គ្រងកំហុសជំនួសនៅក្នុងអាគុយម៉ង់គំរូដែលប្រើតែនៅក្នុង concept-ids ប៉ុណ្ណោះ។
  • បានបន្ថែមក្រុមគ្រួសារនៃអនុគមន៍ដែលភ្ជាប់មកជាមួយ "__builtin_[lt|gt|le|ge]_synthesizes_from_spaceship" ដើម្បីស្វែងយល់ថាតើប្រតិបត្តិករប្រៀបធៀប "<", ">", "<=", និង ">=" ត្រូវបានសំយោគពីប្រតិបត្តិករ "<=>" ដែរឬទេ។
  • ប៉ារ៉ាម៉ែត្រ "-Wincompatible-pointer-types" ត្រូវបានផ្លាស់ប្តូរដើម្បីបង្ហាញកំហុសជំនួសឱ្យការព្រមាន។ ដើម្បីត្រឡប់ទៅឥរិយាបថមុន សូមប្រើជម្រើស "-Wno-error=incompatible-pointer-types"។
• បានបន្ថែមមុខងារដែលភ្ជាប់មកជាមួយ __builtin_bswapg, __builtin_elementwise_ldex, __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 ដែលមានទ្រនិច និងវាលដែលមានទំហំ ឬទ្រនិចទៅចុងបញ្ចប់នៃប្លុក។
• បានបន្ថែមគុណលក្ខណៈ "modular_format" ដើម្បីជ្រើសរើសការអនុវត្តដែលភ្ជាប់តាមឋិតិវន្តដែលត្រូវការនៃអនុគមន៍ printf នៅពេលភ្ជាប់។
• ឧបករណ៍វិភាគរោគវិនិច្ឆ័យ និងឋិតិវន្តត្រូវបានពង្រីក ការត្រួតពិនិត្យថ្មីត្រូវបានបន្ថែម (ការកែលម្អទាក់ទងនឹងរោគវិនិច្ឆ័យជាច្រើន)។
• អង្គ​បន្ថែម​សម្រាប់​ផ្នែក​បន្ថែម SSE, AVX និង AVX512 ត្រូវ​បាន​បន្ថែម​ទៅ​ក្នុង​កម្មវិធី​ខាងក្រោយ X86។ របៀប​បង្កើត​ត្រូវ​បាន​បន្ថែម​សម្រាប់ CPU Intel ដែល​ផ្អែក​លើ​មីក្រូ​ស្ថាបត្យកម្ម Wildcat Lake (-march=wildcatlake) និង Nova Lake (-march=novalake)។
• ឥឡូវនេះ កម្មវិធីខាងក្រោយ 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