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

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

ការកែលម្អសំខាន់ៗនៅក្នុង Clang 15.0:

• សម្រាប់ប្រព័ន្ធដែលមានមូលដ្ឋានលើស្ថាបត្យកម្ម x86 ទង់ "-fzero-call-used-regs" ត្រូវបានបន្ថែម ដែលធានាថាការចុះឈ្មោះស៊ីភីយូទាំងអស់ដែលប្រើក្នុងមុខងារត្រូវបានកំណត់ឡើងវិញទៅសូន្យ មុនពេលត្រឡប់ការគ្រប់គ្រងពីមុខងារ។ ជម្រើសនេះអនុញ្ញាតឱ្យអ្នកការពារប្រឆាំងនឹងការលេចធ្លាយព័ត៌មានពីមុខងារ និងកាត់បន្ថយចំនួនប្លុកដែលសមរម្យសម្រាប់ការកសាងឧបករណ៍ ROP (Return-Oriented Programming) នៅក្នុងការកេងប្រវ័ញ្ចប្រហែល 20% ។
• ការចៃដន្យនៃការដាក់អង្គចងចាំនៃរចនាសម្ព័ន្ធសម្រាប់កូដ C ត្រូវបានអនុវត្ត ដែលធ្វើអោយមានភាពស្មុគស្មាញដល់ការទាញយកទិន្នន័យពីរចនាសម្ព័ន្ធនៅក្នុងព្រឹត្តិការណ៍នៃការកេងប្រវ័ញ្ចភាពងាយរងគ្រោះ។ Randomization ត្រូវបានបើក និងបិទដោយប្រើ randomize_layout និង no_randomize_layout attributes ហើយទាមទារការកំណត់គ្រាប់ពូជដោយប្រើទង់ "-frandomize-layout-seed" ឬ "-frandomize-layout-seed-file" ។
• បានបន្ថែមទង់ "-fstrict-flex-arrays=" ដែលអ្នកអាចគ្រប់គ្រងព្រំដែនសម្រាប់ធាតុអារេដែលអាចបត់បែនបាននៅក្នុងរចនាសម្ព័ន្ធ (សមាជិកអារេដែលអាចបត់បែនបាន អារេនៃទំហំមិនកំណត់នៅចុងបញ្ចប់នៃរចនាសម្ព័ន្ធ)។ នៅពេលកំណត់ទៅ 0 (លំនាំដើម) ធាតុចុងក្រោយនៃរចនាសម្ព័ន្ធដែលមានអារេតែងតែត្រូវបានដំណើរការជាអារេដែលអាចបត់បែនបាន 1 - ទំហំតែប៉ុណ្ណោះ [], [0] និង [1] ត្រូវបានដំណើរការជាអារេដែលអាចបត់បែនបាន 2 - ទំហំតែប៉ុណ្ណោះ [] និង [0] ត្រូវបានដំណើរការដូចអារេដែលអាចបត់បែនបាន។
• បានបន្ថែមការគាំទ្រការពិសោធន៍សម្រាប់ភាសា C-like HLSL (High-Level Shader Language) ដែលប្រើក្នុង DirectX សម្រាប់ការសរសេរ shaders ។
• បានបន្ថែម "-Warray-parameter" ដើម្បីព្រមានអំពីការបដិសេធមុខងារជាមួយនឹងការប្រកាសអាគុយម៉ង់មិនឆបគ្នាដែលទាក់ទងនឹងអារេប្រវែងថេរ និងអថេរ។
• ធ្វើឱ្យប្រសើរឡើងនូវភាពឆបគ្នាជាមួយ MSVC ។ បានបន្ថែមការគាំទ្រសម្រាប់ "#pragma function" (ណែនាំអ្នកចងក្រងឱ្យបង្កើតការហៅមុខងារជំនួសឱ្យការពង្រីកក្នុងបន្ទាត់) និង "#pragma alloc_text" (កំណត់ឈ្មោះនៃផ្នែកជាមួយនឹងកូដមុខងារ) ដែលបានផ្ដល់ឱ្យក្នុង MSVC ។ បានបន្ថែមការគាំទ្រសម្រាប់ទង់ / JMC និង / JMC ដែលឆបគ្នាជាមួយ MSVC ។
• ការងារបន្តគាំទ្រស្តង់ដារ C2X និង C++23 នាពេលអនាគត។ សម្រាប់ភាសា C ខាងក្រោមនេះត្រូវបានអនុវត្ត៖ គុណលក្ខណៈ noreturn ពាក្យគន្លឹះមិនពិត និងពិត ប្រភេទ _BitInt(N) សម្រាប់ចំនួនគត់នៃជម្រៅប៊ីតដែលបានផ្តល់ឱ្យ *_WIDTH ម៉ាក្រូ បុព្វបទ u8 សម្រាប់តួអក្សរដែលបានអ៊ិនកូដ UTF-8 ។

  សម្រាប់ C ++ សកម្មភាពខាងក្រោមត្រូវបានអនុវត្ត៖ ការរួមបញ្ចូលគ្នានៃម៉ូឌុល ការបំបែក ABI នៃសមាជិកមុខងារ ការកំណត់ការចាប់ផ្តើមថាមវន្តនៃអថេរដែលមិនមែនជាមូលដ្ឋាននៅក្នុងម៉ូឌុល ប្រតិបត្តិករលិបិក្រមពហុវិមាត្រ ស្វ័យប្រវត្តិ(x) អថេរមិនមែនព្យញ្ជនៈ goto និងស្លាកនៅក្នុងមុខងារដែលបានប្រកាសថា constexpr , លំដាប់រត់គេចដែលមានកំណត់, ដាក់ឈ្មោះតួអក្សររត់គេចខ្លួន។

• សមត្ថភាពដែលភ្ជាប់ជាមួយការគាំទ្រ OpenCL និង OpenMP ត្រូវបានពង្រីក។ បានបន្ថែមការគាំទ្រសម្រាប់ផ្នែកបន្ថែម OpenCL cl_khr_subgroup_rotate ។
• សម្រាប់ស្ថាបត្យកម្ម x86 ការការពារត្រូវបានបន្ថែមប្រឆាំងនឹងភាពងាយរងគ្រោះនៅក្នុង processors ដែលបណ្តាលមកពីការប្រតិបត្តិតាមការណែនាំបន្ទាប់ពីប្រតិបត្តិការលោតទៅមុខដោយគ្មានលក្ខខណ្ឌ។ បញ្ហាកើតឡើងដោយសារតែការដំណើរការការណែនាំជាមុនភ្លាមៗបន្ទាប់ពីការណែនាំសាខានៅក្នុងសតិ (SLS, Straight Line Speculation)។ ដើម្បីបើកការការពារ ជម្រើស “-mharden-sls=[none|all|return|indirect-jmp]” ត្រូវបានស្នើឡើង។
• សម្រាប់វេទិកាដែលគាំទ្រផ្នែកបន្ថែម SSE2 ប្រភេទ _Float16 ត្រូវបានបន្ថែម ដែលត្រូវបានត្រាប់តាមដោយប្រើប្រភេទអណ្តែត ក្នុងករណីខ្វះការគាំទ្រសម្រាប់ការណែនាំ AVX512-FP16 ។
• បានបន្ថែមទង់ "-m[no-]rdpru" ដើម្បីគ្រប់គ្រងការប្រើប្រាស់ការណែនាំ RDPRU ដែលគាំទ្រដោយចាប់ផ្តើមជាមួយប្រព័ន្ធដំណើរការ AMD Zen2 ។
• បានបន្ថែមទង់ "-mfunction-return=thunk-extern" ដើម្បីការពារប្រឆាំងនឹងភាពងាយរងគ្រោះ RETBLEED ដែលដំណើរការដោយបន្ថែមលំដាប់នៃការណែនាំដែលមិនរាប់បញ្ចូលការពាក់ព័ន្ធនៃយន្តការប្រតិបត្តិការប៉ាន់ស្មានសម្រាប់សាខាដោយប្រយោល។

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

• បានបន្ថែមការគាំទ្រសម្រាប់ស៊ីភីយូ Cortex-M85, Armv9-A, Armv9.1-A និងស្ថាបត្យកម្ម Armv9.2-A, ផ្នែកបន្ថែម Armv8.1-M PACBTI-M ។
• កម្មវិធីខាងក្រោយពិសោធន៍សម្រាប់ DirectX ត្រូវបានបន្ថែម ដែលគាំទ្រទម្រង់ DXIL (DirectX Intermediate Language) ដែលប្រើសម្រាប់ DirectX shaders ។ ផ្នែកខាងក្រោយត្រូវបានបើកដោយបញ្ជាក់ប៉ារ៉ាម៉ែត្រ “-DLLVM_EXPERIMENTAL_TARGETS_TO_BUILD=DirectX” កំឡុងពេលដំឡើង។
• Libc++ បន្តអនុវត្តមុខងារថ្មីនៃស្តង់ដារ C ++20 និង C ++2b រួមទាំងការបញ្ចប់ការអនុវត្តបណ្ណាល័យ "ទ្រង់ទ្រាយ" និងកំណែពិសោធន៍ដែលបានស្នើឡើងនៃបណ្ណាល័យ "ជួរ" ។
• ផ្នែកខាងក្រោយប្រសើរឡើងសម្រាប់ស្ថាបត្យកម្ម x86, PowerPC និង RISC-V ។
• សមត្ថភាពរបស់ LLD linker និង LLDB Debugger ត្រូវបានពង្រឹង។

ប្រភព: opennet.ru