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

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

ការផ្លាស់ប្តូរដ៏សំខាន់នៅក្នុងការចេញផ្សាយថ្មីគឺការដាក់បញ្ចូល ចំហៀងផ្នែកខាងមុខសម្រាប់ភាសា Fortran ។ Flang គាំទ្រ Fortran 2018, OpenMP 4.5 និង OpenACC 3.0 ប៉ុន្តែការអភិវឌ្ឍន៍គម្រោងមិនទាន់ត្រូវបានបញ្ចប់ ហើយផ្នែកខាងមុខត្រូវបានកំណត់ចំពោះការវិភាគកូដ និងពិនិត្យមើលភាពត្រឹមត្រូវ។ ការបង្កើតកូដកម្រិតមធ្យម LLVM មិនទាន់ត្រូវបានគាំទ្រនៅឡើយទេ ហើយដើម្បីបង្កើតឯកសារដែលអាចប្រតិបត្តិបាន កូដ Canonical ត្រូវបានបង្កើត និងបញ្ជូនទៅអ្នកចងក្រង Fortran ខាងក្រៅ។

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

• បានបន្ថែមសមត្ថភាពក្នុងការស្តារមែកធាងវាក្យសម្ព័ន្ធអរូបី (AST) សម្រាប់កូដ C++ ដែលខូច ដែលអាចត្រូវបានប្រើដើម្បីជួយធ្វើរោគវិនិច្ឆ័យកំហុស និងផ្តល់ព័ត៌មានបន្ថែមដល់ឧបករណ៍ប្រើប្រាស់ខាងក្រៅដូចជា clang-tidy និង clangd ។ មុខងារនេះត្រូវបានបើកតាមលំនាំដើមសម្រាប់កូដ C++ ហើយត្រូវបានគ្រប់គ្រងតាមរយៈជម្រើស "-Xclang -f[no-]recovery-ast"។
• បានបន្ថែមរបៀបវិនិច្ឆ័យថ្មី៖
  • “-Wpointer-to-int-cast” គឺ​ជា​ក្រុម​នៃ​ការ​ព្រមាន​អំពី​ការ​បោះ​ព្រួញ​ទៅ​ជា​ប្រភេទ​ចំនួន​គត់ int ដែល​មិន​ទទួល​បាន​តម្លៃ​ដែល​អាច​ធ្វើ​បាន​ទាំង​អស់។
  • "-Wuninitialized-const-reference" - ការព្រមានអំពីការឆ្លងកាត់អថេរ uninitialized នៅក្នុងប៉ារ៉ាម៉ែត្រមុខងារដែលទទួលយកអាគុយម៉ង់យោងជាមួយនឹងគុណលក្ខណៈ "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 (ផ្នែកបន្ថែមវ៉ិចទ័រដែលអាចធ្វើមាត្រដ្ឋានបាន)៖
  __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 (thread-local storage)។
  • "-menable-experimental-extension" ដើម្បីបើកដំណើរការផ្នែកបន្ថែម RISC-V ពិសោធន៍។
• របៀបលំនាំដើមសម្រាប់ C គឺ "-fno-common" ដែលអនុញ្ញាតឱ្យចូលប្រើអថេរសកលប្រកបដោយប្រសិទ្ធភាពជាងមុននៅលើវេទិកាមួយចំនួន។
• ឃ្លាំងសម្ងាត់ម៉ូឌុលលំនាំដើមត្រូវបានផ្លាស់ទីពី /tmp ទៅថត ~/.cache ។ ដើម្បីបដិសេធ អ្នកអាចប្រើទង់ “-fmodules-cache-path=” ។
• ស្តង់ដារភាសា C លំនាំដើមត្រូវបានធ្វើបច្ចុប្បន្នភាពពី gnu11 ទៅ gnu17 ។
• បានបន្ថែមការគាំទ្របឋមសម្រាប់ផ្នែកបន្ថែម GNU C "asm ក្នុងជួរ» ដើម្បីបន្ថែមការបញ្ចូលឧបករណ៍ភ្ជាប់។ ផ្នែកបន្ថែមកំពុងត្រូវបានវិភាគ ប៉ុន្តែមិនត្រូវបានដំណើរការតាមមធ្យោបាយណាមួយឡើយ។
• សមត្ថភាពដែលភ្ជាប់ជាមួយការគាំទ្រ OpenCL និង CUDA ត្រូវបានពង្រីក។ បានបន្ថែមការគាំទ្រសម្រាប់ការវិនិច្ឆ័យប្លុក OpenCL 2.0 និងបានអនុវត្តមុខងារ OpenMP 5.0 ថ្មី។
• បានបន្ថែមជម្រើស IndentExternBlock ទៅឧបករណ៍ប្រើប្រាស់ទម្រង់ clang សម្រាប់ការតម្រឹមនៅក្នុងប្លុកខាងក្រៅ "C" និងខាងក្រៅ "C ++" ។
• ឧបករណ៍វិភាគឋិតិវន្តបានធ្វើឱ្យប្រសើរឡើងនូវការគ្រប់គ្រងនៃអ្នកសាងសង់ដែលបានទទួលមរតកនៅក្នុង C ++ ។ បានបន្ថែមការត្រួតពិនិត្យថ្មី alpha.core.C11Lock និង alpha.fuchsia.Lock ដើម្បីពិនិត្យមើលសោ, alpha.security.cert.pos.34c ដើម្បីរកឱ្យឃើញការប្រើប្រាស់ដែលមិនមានសុវត្ថិភាពនៃ putenv, webkit.NoUncountedMemberChecker និង webkit.RefCntblBaseVirtualDtor ដើម្បីរកឱ្យឃើញបញ្ហាជាមួយនឹងការរាប់ចំនួន .cplusplus .SmartPtr ដើម្បីពិនិត្យរកមើលការបដិសេធរបស់ទ្រនិចឆ្លាតវៃ null ។
• នៅក្នុង linter clang-tidy បន្ថែម ផ្នែកធំនៃការត្រួតពិនិត្យថ្មី។
• ម៉ាស៊ីនបម្រើឃ្លាំងសម្ងាត់ clangd (Clang Server) បានធ្វើឱ្យប្រសើរឡើងនូវដំណើរការ និងបានបន្ថែមសមត្ថភាពវិនិច្ឆ័យថ្មី។

សំខាន់ ការច្នៃប្រឌិត LLVM 11.0៖

• ប្រព័ន្ធស្ថាបនាត្រូវបានប្តូរទៅប្រើ Python 3។ ប្រសិនបើ Python 3 មិនអាចប្រើបានទេ វាអាចវិលត្រលប់ទៅប្រើ Python 2។
• ផ្នែកខាងមុខជាមួយនឹងកម្មវិធីចងក្រងសម្រាប់ភាសា Go (llgo) ត្រូវបានដកចេញពីការចេញផ្សាយ ដែលអាចត្រូវបានរៀបចំឡើងវិញនាពេលអនាគត។
• គុណលក្ខណៈ vector-function-abi-variant ត្រូវបានបន្ថែមទៅតំណាងកម្រិតមធ្យម (IR) ដើម្បីពិពណ៌នាអំពីការគូសវាសរវាងមុខងារ scalar និង vector ដើម្បី vectorize calls។ ពី llvm::VectorType មានវ៉ិចទ័រពីរដាច់ដោយឡែកពីគ្នា llvm::FixedVectorType និង llvm::ScalableVectorType។
• ការបែងចែកដោយផ្អែកលើតម្លៃ udef និងការបញ្ជូនតម្លៃ undef ទៅមុខងារបណ្ណាល័យស្តង់ដារត្រូវបានទទួលស្គាល់ថាជាឥរិយាបទដែលមិនបានកំណត់។ IN
  memset/memcpy/memmove អនុញ្ញាតឱ្យឆ្លងកាត់ទ្រនិច undef ប៉ុន្តែប្រសិនបើប៉ារ៉ាម៉ែត្រដែលមានទំហំគឺសូន្យ។

• LLJIT បានបន្ថែមការគាំទ្រសម្រាប់ការអនុវត្តការចាប់ផ្តើមឋិតិវន្តតាមរយៈ LLJIT::initialize និង LLJIT::deinitialize method។ សមត្ថភាពក្នុងការបន្ថែមបណ្ណាល័យឋិតិវន្តទៅ JITDylib ដោយប្រើថ្នាក់ StaticLibraryDefinitionGenerator ត្រូវបានអនុវត្ត។ បានបន្ថែម C API សម្រាប់ ORCv2 (API សម្រាប់បង្កើតកម្មវិធីចងក្រង JIT) ។
• ការគាំទ្រសម្រាប់ Cortex-A64, Cortex-A34, Cortex-A77 និង Cortex-X78 processors ត្រូវបានបន្ថែមទៅផ្នែកខាងក្រោយសម្រាប់ស្ថាបត្យកម្ម 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 processors ត្រូវបានបន្ថែមទៅផ្នែកខាងក្រោយសម្រាប់ស្ថាបត្យកម្ម ARM ។ ផ្នែកបន្ថែមត្រូវបានអនុវត្ត
  Armv8.6-A ម៉ាទ្រីសគុណ និង RMv8.2-AA32BF16 BFloat16 ។

• ការគាំទ្រសម្រាប់ការបង្កើតកូដសម្រាប់ប្រព័ន្ធដំណើរការ POWER10 ត្រូវបានបន្ថែមទៅផ្នែកខាងក្រោយសម្រាប់ស្ថាបត្យកម្ម PowerPC ។ ការបង្កើនប្រសិទ្ធភាពរង្វិលជុំត្រូវបានពង្រីក ហើយការគាំទ្រចំណុចអណ្តែតត្រូវបានធ្វើឱ្យប្រសើរឡើង។
• ផ្នែកខាងក្រោយសម្រាប់ស្ថាបត្យកម្ម RISC-V អនុញ្ញាតឱ្យទទួលយកបំណះដែលគាំទ្រសំណុំការណែនាំបន្ថែមដោយពិសោធន៍ ដែលមិនទាន់ត្រូវបានអនុម័តជាផ្លូវការ។
• ផ្នែកខាងក្រោយសម្រាប់ស្ថាបត្យកម្ម AVR ត្រូវបានផ្ទេរពីប្រភេទពិសោធន៍ទៅជាស្ថេរភាព រួមបញ្ចូលនៅក្នុងការចែកចាយមូលដ្ឋាន។
• ផ្នែកខាងក្រោយសម្រាប់ស្ថាបត្យកម្ម x86 គាំទ្រការណែនាំរបស់ Intel AMX និង TSXLDTRK ។ បានបន្ថែមការការពារប្រឆាំងនឹងការវាយប្រហារ អិលវីអាយ (Load Value Injection) ហើយ​ក៏​អនុវត្ត​យន្តការ​ទប់ស្កាត់​ផល​ប៉ះពាល់​ទូទៅ​នៃ​ការ​ប្រតិបត្តិ​ការ​ប៉ាន់ស្មាន​ផងដែរ​ដើម្បី​ទប់ស្កាត់​ការ​វាយ​ប្រហារ​ដែល​បណ្តាល​មក​ពី​ការ​ប្រតិបត្តិ​តាម​ការ​ប៉ាន់ស្មាន​លើ​ស៊ីភីយូ។
• នៅក្នុងផ្នែកខាងក្រោយសម្រាប់ស្ថាបត្យកម្ម SystemZ ការគាំទ្រសម្រាប់ MemorySanitizer និង LeakSanitizer ត្រូវបានបន្ថែម។
• បានបន្ថែមការគាំទ្រសម្រាប់ឯកសារបឋមកថាជាមួយនឹងថេរគណិតវិទ្យាទៅ Libc++ .
• បានពង្រីក សមត្ថភាពភ្ជាប់ LLD ។ ធ្វើឱ្យប្រសើរឡើងនូវការគាំទ្រសម្រាប់ទម្រង់ ELF រួមទាំងជម្រើសបន្ថែម "--lto-emit-asm", "--lto-whole-program-visibility", "-print-archive-stats", "-shuffle-sections", " -thinlto- single-module", "-unique", "-rosegment", "-threads=N" ។ បានបន្ថែមជម្រើស "--time-trace" ដើម្បីរក្សាទុកដានទៅក្នុងឯកសារ ដែលបន្ទាប់មកអាចត្រូវបានវិភាគតាមរយៈ chrome://tracing interface នៅក្នុង Chrome ។

ប្រភព: opennet.ru