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

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

លក្ខណៈពិសេសថ្មីនៅក្នុង LLVM 10.0 រួមមានការគាំទ្រសម្រាប់ C++ Concepts លែងដំណើរការ Clang ជាដំណើរការដាច់ដោយឡែក ការគាំទ្រសម្រាប់ការត្រួតពិនិត្យ CFG (control flow guard) សម្រាប់ Windows និងការគាំទ្រសម្រាប់សមត្ថភាព CPU ថ្មី។

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

• បានបន្ថែមការគាំទ្រសម្រាប់ "គំនិត", ផ្នែកបន្ថែមគំរូ C++ ដែលនឹងត្រូវបានរួមបញ្ចូលនៅក្នុងស្តង់ដារបន្ទាប់ ដែលមានឈ្មោះថា C++2a (បើកដោយទង់ -std=c++2a) ។
  គំនិតអនុញ្ញាតឱ្យអ្នកកំណត់សំណុំនៃតម្រូវការប៉ារ៉ាម៉ែត្រគំរូដែលនៅពេលចងក្រងកំណត់សំណុំនៃអាគុយម៉ង់ដែលអាចទទួលយកបានជាប៉ារ៉ាម៉ែត្រគំរូ។ គោលគំនិតអាចត្រូវបានប្រើដើម្បីជៀសវាងភាពមិនស៊ីគ្នានៃឡូជីខលរវាងលក្ខណៈសម្បត្តិនៃប្រភេទទិន្នន័យដែលបានប្រើនៅក្នុងគំរូ និងលក្ខណៈសម្បត្តិប្រភេទទិន្នន័យនៃប៉ារ៉ាម៉ែត្របញ្ចូល។

  គំរូ
  គំនិតសមភាពប្រៀបធៀប = ទាមទារ(T a, T b) {
  { a == b } -> std::boolean;
  { a != b } -> std::boolean;
  };

• តាមលំនាំដើម ការចាប់ផ្តើមដំណើរការដាច់ដោយឡែក (“clang -cc1”) ដែលការចងក្រងត្រូវបានអនុវត្តត្រូវបានបញ្ឈប់។ ឥឡូវនេះការចងក្រងត្រូវបានធ្វើរួចនៅក្នុងដំណើរការចម្បង ហើយជម្រើស "-fno-integrated-cc1" អាចត្រូវបានប្រើដើម្បីស្ដារឥរិយាបថចាស់។
• របៀបធ្វើរោគវិនិច្ឆ័យថ្មី៖
  • "-Wc99-designator" និង "-Wreorder-init-list" ព្រមានប្រឆាំងនឹងការប្រើប្រាស់ C99 initializers នៅក្នុងរបៀប C++ ក្នុងករណីដែលពួកវាត្រឹមត្រូវនៅក្នុង C99 ប៉ុន្តែមិនមែននៅក្នុង C++20 ទេ។
  • "-Wsizeof-array-div" - ចាប់យកស្ថានភាពដូចជា "int arr[10]; …sizeof(arr) / sizeof(short)…” (គួរតែ “sizeof(arr) / sizeof(int)”)។
  • "-Wxor-used-as-po" - ព្រមានប្រឆាំងនឹងការប្រើប្រាស់សំណង់ដូចជាការប្រើសញ្ញា "^" (xor) ក្នុងប្រតិបត្តិការដែលអាចច្រឡំជាមួយនិទស្សន្ត (2^16)។
  • "-Wfinal-dtor-non-final-class" - ព្រមានអំពីថ្នាក់ដែលមិនត្រូវបានសម្គាល់ដោយអ្នកបញ្ជាក់ "ចុងក្រោយ" ប៉ុន្តែមានអ្នកបំផ្លាញដែលមានគុណលក្ខណៈ "ចុងក្រោយ" ។
  • "-Wtautological-bitwise-compare" គឺជាក្រុមនៃការព្រមានសម្រាប់ការធ្វើរោគវិនិច្ឆ័យការប្រៀបធៀប tautological រវាងប្រតិបត្តិការ bitwise និងថេរមួយ និងសម្រាប់កំណត់អត្តសញ្ញាណការប្រៀបធៀបដែលតែងតែពិត ដែលប្រតិបត្តិការ bitwise OR ត្រូវបានអនុវត្តទៅលេខដែលមិនអវិជ្ជមាន។
  • "-Wbitwise-conditional-parentheses" ព្រមានអំពីបញ្ហានៅពេលលាយសញ្ញាប្រមាណវិធីឡូជីខល AND (&) និង OR (|) ជាមួយប្រតិបត្តិករតាមលក្ខខណ្ឌ (?:) ។
  • "-Wmisleading-indentation" គឺជា analogue នៃការត្រួតពិនិត្យនៃឈ្មោះដូចគ្នាពី GCC ដែលព្រមានអំពីកន្សោមដែលបានចូលបន្ទាត់ដូចជាប្រសិនបើពួកគេជាផ្នែកមួយនៃប្លុក if/else/for/while ប៉ុន្តែតាមពិតពួកវាមិនត្រូវបានរួមបញ្ចូលនៅក្នុងប្លុកនេះទេ។ .
  • នៅពេលបញ្ជាក់ “-Wextra” ការត្រួតពិនិត្យ “-Wdeprecated-copy” ត្រូវបានបើក ដោយព្រមានអំពីការប្រើប្រាស់ constructors
    "ផ្លាស់ទី" និង "ចម្លង" នៅក្នុងថ្នាក់ដែលមាននិយមន័យអ្នកបំផ្លាញច្បាស់លាស់។

  • ការត្រួតពិនិត្យ "-Wtautological-overlap-compare", "-Wsizeof-pointer-div", "-Wtautological-compare", "-Wrange-loop-analysis" ត្រូវបានពង្រីក។
  • ការត្រួតពិនិត្យ "-Wbitwise-op-parentheses" និង "-Wlogical-op-parentheses" ត្រូវបានបិទតាមលំនាំដើម។
• នៅក្នុងកូដ C និង C++ ប្រតិបត្តិការនព្វន្ធទ្រនិចត្រូវបានអនុញ្ញាតតែក្នុងអារេប៉ុណ្ណោះ។ ឧបករណ៍អនាម័យដែលមិនបានកំណត់នៅក្នុងរបៀប "-fsanitize=pointer-overflow" ឥឡូវនេះចាប់ករណីដូចជាការបន្ថែមអុហ្វសិតមិនសូន្យទៅទ្រនិចទទេ ឬបង្កើតទ្រនិចទទេ នៅពេលដកចំនួនគត់ពីទ្រនិចដែលមិនមែនជាមោឃៈ។
• របៀប "-fsanitize=implicit-conversion" (Implicit Conversion Sanitizer) ត្រូវបានកែសម្រួលដើម្បីកំណត់បញ្ហាជាមួយនឹងប្រតិបត្តិការបង្កើន និងបន្ថយសម្រាប់ប្រភេទដែលមានទំហំប៊ីតតូចជាងប្រភេទ "int"។
• នៅពេលជ្រើសរើសស្ថាបត្យកម្មគោលដៅ x86 "-march=skylake-avx512", "-march=icelake-client", "-march=icelake-server", "-march=cascadelake" និង "-march=cooperlake" តាមលំនាំដើមក្នុងវ៉ិចទ័រ។ កូដបានឈប់ប្រើការចុះឈ្មោះ zmm 512 ប៊ីត លើកលែងតែការចង្អុលបង្ហាញផ្ទាល់របស់ពួកគេនៅក្នុងកូដប្រភព។ ហេតុផលគឺថាប្រេកង់ស៊ីភីយូថយចុះនៅពេលអនុវត្តប្រតិបត្តិការ 512 ប៊ីត ដែលអាចប៉ះពាល់អវិជ្ជមានដល់ដំណើរការទាំងមូល។ ដើម្បីផ្លាស់ប្តូរឥរិយាបថថ្មី ជម្រើស "-mprefer-vector-width=512" ត្រូវបានផ្តល់ជូន។
• ឥរិយាបថនៃទង់ "-flax-vector-conversions" គឺស្រដៀងទៅនឹង GCC៖ ការបំប្លែងវ៉ិចទ័រដោយប្រយោលរវាងចំនួនគត់ និងវ៉ិចទ័រអណ្តែតទឹកត្រូវបានហាមឃាត់។ ដើម្បីលុបបំបាត់ដែនកំណត់នេះវាត្រូវបានស្នើឱ្យប្រើទង់ជាតិ
  "-flax-vector-conversions=all" ដែលជាលំនាំដើម។

• ការគាំទ្រប្រសើរឡើងសម្រាប់ស៊ីភីយូ MIPS នៃគ្រួសារ Octeon ។ បានបន្ថែម "octeon+" ទៅក្នុងបញ្ជីនៃប្រភេទ CPU ត្រឹមត្រូវ។
• នៅពេលបញ្ចូលទៅក្នុងកូដកម្រិតមធ្យមរបស់ WebAssembly ឧបករណ៍បង្កើនប្រសិទ្ធភាព wasm-opt ត្រូវបានហៅដោយស្វ័យប្រវត្តិ ប្រសិនបើមាននៅក្នុងប្រព័ន្ធ។
• សម្រាប់ប្រព័ន្ធដែលមានមូលដ្ឋានលើស្ថាបត្យកម្ម RISC-V ការប្រើប្រាស់ការចុះឈ្មោះរក្សាទុកតម្លៃចំណុចអណ្តែតត្រូវបានអនុញ្ញាតនៅក្នុងប្លុកតាមលក្ខខណ្ឌនៃការបញ្ចូលក្នុងបន្ទាត់របស់ឧបករណ៍ដំឡើង។
• បានបន្ថែមទង់អ្នកចងក្រងថ្មី៖ "-fgnuc-version" ដើម្បីកំណត់តម្លៃកំណែសម្រាប់ "__GNUC__" និងម៉ាក្រូស្រដៀងគ្នា។ "-fmacro-prefix-map=OLD=NEW" ដើម្បីជំនួសបុព្វបទថត OLD ជាមួយ NEW ក្នុងម៉ាក្រូដូចជា "__FILE__"; "-fpatchable-function-entry=N[,M]" ដើម្បីបង្កើតចំនួនជាក់លាក់នៃការណែនាំ NOP មុន និងក្រោយចំណុចបញ្ចូលមុខងារ។ សម្រាប់ RISC-V
  បានបន្ថែមការគាំទ្រសម្រាប់ទង់ "-ffixed-xX", "-mcmodel=medany" និង "-mcmodel=medlow" ។

• បានបន្ថែមការគាំទ្រសម្រាប់គុណលក្ខណៈ '__attribute__((គោលដៅ("ការការពារសាខា=..."))) ឥទ្ធិពលដែលស្រដៀងទៅនឹងជម្រើស - សាខា - ការការពារ.
• នៅលើវេទិកាវីនដូ នៅពេលបញ្ជាក់ទង់ "-cfguard" ការជំនួសការត្រួតពិនិត្យភាពត្រឹមត្រូវនៃលំហូរប្រតិបត្តិ (Control Flow Guard) សម្រាប់ការហៅមុខងារដោយប្រយោលត្រូវបានអនុវត្ត។ ដើម្បីបិទការជំនួសការត្រួតពិនិត្យ អ្នកអាចប្រើទង់ "-cfguard-nochecks" ឬ "__declspec(guard(nocf))" កែប្រែ។
• ឥរិយាបថនៃគុណលក្ខណៈ gnu_inline គឺស្រដៀងទៅនឹង GCC ក្នុងករណីដែលវាត្រូវបានប្រើដោយគ្មានពាក្យគន្លឹះ "extern" ។
• សមត្ថភាពដែលភ្ជាប់ជាមួយការគាំទ្រ OpenCL និង CUDA ត្រូវបានពង្រីក។ បានបន្ថែមការគាំទ្រសម្រាប់លក្ខណៈពិសេស OpenMP 5.0 ថ្មី។
• ជម្រើសស្តង់ដារមួយត្រូវបានបន្ថែមទៅឧបករណ៍ប្រើប្រាស់ទម្រង់ clang ដែលអនុញ្ញាតឱ្យអ្នកកំណត់កំណែនៃស្តង់ដារ C++ ដែលប្រើនៅពេលញែក និងធ្វើទ្រង់ទ្រាយកូដ (ចុងក្រោយបំផុត, ស្វ័យប្រវត្តិ, c ++03, c ++ 11, c ++ 14, គ ++ ១៧, គ ++ ២០) ។
• ការត្រួតពិនិត្យថ្មីត្រូវបានបន្ថែមទៅឧបករណ៍វិភាគឋិតិវន្ត៖ alpha.cplusplus.PlacementNew ដើម្បីកំណត់ថាតើមានទំហំផ្ទុកគ្រប់គ្រាន់ឬអត់, fuchsia.HandleChecker ដើម្បីរកមើលការលេចធ្លាយដែលទាក់ទងនឹងឧបករណ៍ដោះស្រាយ Fuchsia, security.insecureAPI.decodeValueOfObjCType ដើម្បីរកមើលការហៀរសំបោរដែលមានសក្តានុពលនៅពេលប្រើ [NSCoderbovoOVV : នៅ:] ។
• Undefined Behavior Sanitizer (UBSan) បានពង្រីកការត្រួតពិនិត្យលើសចំណុះរបស់ទ្រនិចរបស់វា ដើម្បីចាប់យកកម្មវិធីនៃអុហ្វសិតដែលមិនមែនជាសូន្យទៅទ្រនិច NULL ឬការបន្ថែមលទ្ធផលនៃអុហ្វសិតទ្រនិច NULL ។
• នៅក្នុង linter clang-tidy បន្ថែម ផ្នែកធំនៃការត្រួតពិនិត្យថ្មី។

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

• ទៅក្របខ័ណ្ឌ តំណាង ការបង្កើនប្រសិទ្ធភាព និងឧបករណ៍វិភាគអន្តរដំណើរការថ្មីត្រូវបានបន្ថែម។ ស្ថានភាពនៃគុណលក្ខណៈ 19 ផ្សេងគ្នាត្រូវបានព្យាករណ៍ រួមទាំង 12 គុណលក្ខណៈ 12 LLVM IR និង 7 លក្ខណៈអរូបីដូចជាភាពរស់រវើក។
• បានបន្ថែមមុខងារគណិតវិទ្យាម៉ាទ្រីសថ្មីដែលបានបង្កើតឡើងនៅក្នុងកម្មវិធីចងក្រង (ផ្ទៃក្នុង) ដែលត្រូវបានជំនួសដោយការណែនាំវ៉ិចទ័រប្រកបដោយប្រសិទ្ធភាពកំឡុងពេលចងក្រង។
• ការកែលម្អជាច្រើនត្រូវបានធ្វើឡើងចំពោះផ្នែកខាងក្រោយសម្រាប់ស្ថាបត្យកម្ម X86, AArch64, ARM, SystemZ, MIPS, AMDGPU និង PowerPC ។ បានបន្ថែមការគាំទ្រស៊ីភីយូ
  Cortex-A65, Cortex-A65AE, Neoverse E1 និង Neoverse N1 ។ សម្រាប់ ARMv8.1-M ដំណើរការបង្កើតកូដត្រូវបានធ្វើឱ្យប្រសើរ (ឧទាហរណ៍ ការគាំទ្រសម្រាប់រង្វិលជុំដែលមានការចំណាយតិចបំផុតបានបង្ហាញខ្លួន) ហើយការគាំទ្រសម្រាប់ autovectorization ត្រូវបានបន្ថែមដោយប្រើផ្នែកបន្ថែម MVE ។ ការគាំទ្រ CPU MIPS Octeon ប្រសើរឡើង។ សម្រាប់ PowerPC ការ​បង្កើត​វ៉ិចទ័រ​នៃ​ទម្រង់​រង​គណិតវិទ្យា​ដោយ​ប្រើ​បណ្ណាល័យ MASSV (Mathematical Acceleration SubSystem) ត្រូវ​បាន​បើក ការ​បង្កើត​កូដ​ត្រូវ​បាន​ធ្វើ​ឱ្យ​ប្រសើរ ហើយ​ការ​ចូល​ប្រើប្រាស់​អង្គចងចាំ​ពី​រង្វិលជុំ​ត្រូវ​បាន​ធ្វើ​ឱ្យ​ប្រសើរ​ឡើង។ សម្រាប់ x86 ការដោះស្រាយប្រភេទវ៉ិចទ័រ v2i32, v4i16, v2i16, v8i8, v4i8 និង v2i8 ត្រូវបានផ្លាស់ប្តូរ។

• កម្មវិធីបង្កើតកូដប្រសើរឡើងសម្រាប់ WebAssembly ។ បានបន្ថែមការគាំទ្រសម្រាប់ TLS (Thread-Local Storage) និងការណែនាំអំពី atomic.fence។ ការគាំទ្រ SIMD ត្រូវបានពង្រីកយ៉ាងខ្លាំង។ ឯកសារវត្ថុ WebAssembly ឥឡូវនេះមានលទ្ធភាពប្រើប្រាស់ហត្ថលេខាមុខងារដែលមានតម្លៃច្រើន។
• ឧបករណ៍វិភាគត្រូវបានប្រើនៅពេលដំណើរការរង្វិលជុំ MemorySSAដែលអនុញ្ញាតឱ្យអ្នកកំណត់ភាពអាស្រ័យរវាងប្រតិបត្តិការអង្គចងចាំផ្សេងៗគ្នា។ MemorySSA អាចកាត់បន្ថយការចងក្រង និងពេលវេលាប្រតិបត្តិ ឬអាចប្រើជំនួស AliasSetTracker ដោយមិនបាត់បង់ដំណើរការ។
• កម្មវិធីបំបាត់កំហុស LLDB បានធ្វើឱ្យប្រសើរឡើងយ៉ាងខ្លាំងនូវការគាំទ្រសម្រាប់ទម្រង់ DWARF v5 ។ ការគាំទ្រប្រសើរឡើងសម្រាប់ការកសាងជាមួយ MinGW
  និងបន្ថែមសមត្ថភាពដំបូងក្នុងការបំបាត់កំហុស Windows ដែលអាចប្រតិបត្តិបានសម្រាប់ស្ថាបត្យកម្ម ARM និង ARM64 ។ បានបន្ថែមការពណ៌នាអំពីជម្រើសដែលផ្តល់ឲ្យ នៅពេលបំពេញការបញ្ចូលដោយស្វ័យប្រវត្តិដោយចុចផ្ទាំង។

• បានពង្រីក សមត្ថភាពភ្ជាប់ LLD ។ ការកែលម្អការគាំទ្រសម្រាប់ទម្រង់ ELF រួមទាំងភាពឆបគ្នាពេញលេញនៃគំរូ glob ជាមួយឧបករណ៍ភ្ជាប់ GNU បានបន្ថែមការគាំទ្រសម្រាប់ផ្នែកបំបាត់កំហុសដែលបានបង្ហាប់ ".zdebug" បានបន្ថែមលក្ខណៈសម្បត្តិ PT_GNU_PROPERTY ដើម្បីកំណត់ផ្នែក .note.gnu.property (អាចប្រើក្នុងលីនុចនាពេលអនាគត ខឺណែល),
  របៀប "-z noseparate-code", "-z ដាច់ដោយឡែក-កូដ" និង "-z ដាច់ដោយឡែក-ផ្ទុក-ផ្នែក" ត្រូវបានអនុវត្ត។ ធ្វើឱ្យប្រសើរឡើងនូវការគាំទ្រសម្រាប់ MinGW និង WebAssembly ។

ប្រភព: opennet.ru