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

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

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

• ការគាំទ្រសម្រាប់គុណលក្ខណៈ "ទំនង" និង "មិនទំនង" ដែលស្នើឡើងក្នុងស្តង់ដារ C ++ 20 ត្រូវបានអនុវត្ត និងបើកដំណើរការតាមលំនាំដើម ដែលអនុញ្ញាតឱ្យអ្នកបង្កើនប្រសិទ្ធភាពត្រូវបានជូនដំណឹងអំពីប្រូបាប៊ីលីតេនៃការសាងសង់តាមលក្ខខណ្ឌដែលកំពុងត្រូវបានកេះ (ឧទាហរណ៍ "[[ទំនង ]] ប្រសិនបើ (ចៃដន្យ > 0) {“)។
• បានបន្ថែមការគាំទ្រសម្រាប់ AMD Zen 3 (-march=znver3), Intel Alder Lake (-march=alderlake) និង Intel Sapphire Rapids (-march=sapphirerapids) processors ។
• បានបន្ថែមការគាំទ្រសម្រាប់ទង់ "-march=x86-64-v[234]" ដើម្បីជ្រើសរើសកម្រិតស្ថាបត្យកម្ម x86-64 (v2 - គ្របដណ្តប់ផ្នែកបន្ថែម SSE4.2, SSSE3, POPCNT និង CMPXCHG16B; v3 - AVX2 និង MOVBE; v4 - AVX-512 ) ។
• បានបន្ថែមការគាំទ្រសម្រាប់ Arm Cortex-A78C (cortex-a78c), Arm Cortex-R82 (cortex-r82), Arm Neoverse V1 (neoverse-v1), Arm Neoverse N2 (neoverse-n2) និងប្រព័ន្ធដំណើរការ Fujitsu A64FX (a64fx) ។ ឧទាហរណ៍ ដើម្បីបើកការបង្កើនប្រសិទ្ធភាពសម្រាប់ស៊ីភីយូ Neoverse-V1 អ្នកអាចបញ្ជាក់ “-mcpu=neoverse-v1” ។
• សម្រាប់ស្ថាបត្យកម្ម AArch64 ទង់ចងក្រងថ្មី "-moutline-atomics" និង "-mno-outline-atomics" ត្រូវបានបន្ថែម ដើម្បីបើក ឬបិទមុខងារជំនួយប្រតិបត្តិការអាតូម ដូចជា "__aarch64_cas8_relax" ជាដើម។ មុខងារបែបនេះរកឃើញនៅពេលដំណើរការថាតើមានការគាំទ្រ LSE (ផ្នែកបន្ថែមប្រព័ន្ធធំ) ហើយប្រើការណែនាំអំពីដំណើរការអាតូមិកដែលបានផ្តល់ ឬត្រលប់ទៅប្រើការណែនាំ LL/SC (Load-link/store-conditional) សម្រាប់ការធ្វើសមកាលកម្ម។
• បានបន្ថែមជម្រើស "-fbinutils-version" ដើម្បីជ្រើសរើសកំណែគោលដៅនៃឈុត binutils សម្រាប់ភាពឆបគ្នាជាមួយតំណភ្ជាប់ចាស់ និងឥរិយាបថអ្នកដំឡើង។
• សម្រាប់ឯកសារដែលអាចប្រតិបត្តិបាន ELF នៅពេលដែលទង់ "-gz" ត្រូវបានបញ្ជាក់ ការបង្ហាប់ព័ត៌មានបំបាត់កំហុសដោយប្រើបណ្ណាល័យ zlib ត្រូវបានបើកតាមលំនាំដើម (gz=zlib) ។ ការភ្ជាប់ឯកសារវត្ថុលទ្ធផលតម្រូវឱ្យ lld ឬ GNU binutils 2.26+ ។ ដើម្បីស្តារភាពឆបគ្នាជាមួយកំណែចាស់នៃ binutils អ្នកអាចបញ្ជាក់ "-gz=zlib-gnu" ។
• ទ្រនិច 'នេះ' ឥឡូវនេះត្រូវបានដំណើរការជាមួយនឹងការត្រួតពិនិត្យ nonnull និង dereferenceable(N)។ ដើម្បីលុបគុណលក្ខណៈ nonnnull នៅពេលដែលអ្នកត្រូវការប្រើតម្លៃ NULL អ្នកអាចប្រើជម្រើស "-fdelete-null-pointer-checks" ។
• នៅលើវេទិកាលីនុច របៀប "-fasynchronous-unwind-tables" ត្រូវបានបើកសម្រាប់ស្ថាបត្យកម្ម AArch64 និង PowerPC ដើម្បីបង្កើតតារាងការហៅទូរសព្ទដែលមិនដំណើរការ ដូចជានៅក្នុង GCC ជាដើម។
• នៅក្នុង "#pragma clang loop vectorize_width" បានបន្ថែមសមត្ថភាពក្នុងការបញ្ជាក់ជម្រើស "ថេរ" (លំនាំដើម) និង "អាចធ្វើមាត្រដ្ឋានបាន" ដើម្បីជ្រើសរើសវិធីសាស្ត្រវ៉ិចទ័រ។ របៀប "អាចធ្វើមាត្រដ្ឋានបាន" ឯករាជ្យនៃប្រវែងវ៉ិចទ័រ គឺជាការពិសោធ ហើយអាចប្រើនៅលើផ្នែករឹងដែលគាំទ្រវិចទ័រដែលអាចធ្វើមាត្រដ្ឋានបាន។
• ការពង្រឹងការគាំទ្រសម្រាប់វេទិកាវីនដូ៖ ការជួបប្រជុំប្រព័ន្ធគោលពីរផ្លូវការសម្រាប់វីនដូនៅលើប្រព័ន្ធ Arm64 ត្រូវបានរៀបចំ រួមទាំងកម្មវិធីចងក្រង Clang តំណភ្ជាប់ LLD និងបណ្ណាល័យពេលដំណើរការ compiler-rt ។ នៅពេលបង្កើតសម្រាប់វេទិកាគោលដៅ MinGW បច្ច័យ .exe ត្រូវបានបន្ថែម សូម្បីតែនៅពេលចងក្រងឆ្លងកាត់ក៏ដោយ។
• សមត្ថភាពដែលទាក់ទងនឹងការគាំទ្រសម្រាប់ OpenCL, OpenMP និង CUDA ត្រូវបានពង្រីក។ បានបន្ថែមជម្រើស "-cl-std=CL3.0" និង "-cl-std=CL1.0" ដើម្បីជ្រើសរើសជម្រើសម៉ាក្រូសម្រាប់ OpenCL 3.0 និង OpenCL 1.0 ។ ឧបករណ៍វិនិច្ឆ័យត្រូវបានពង្រីក។
• បានបន្ថែមការគាំទ្រសម្រាប់ការណែនាំ HRESET, UINTR និង AVXVNNI ដែលបានអនុវត្តនៅក្នុងប្រព័ន្ធដំណើរការដែលមានមូលដ្ឋានលើ x86 មួយចំនួន។
• នៅលើប្រព័ន្ធ x86 ការគាំទ្រសម្រាប់ជម្រើស "-mtune=" ត្រូវបានបើក " ដែលធ្វើឱ្យការបង្កើនប្រសិទ្ធភាពមីក្រូស្ថាបត្យកម្មដែលបានជ្រើសរើស ដោយមិនគិតពីតម្លៃនៃ "-march= "
• ឧបករណ៍វិភាគឋិតិវន្តបានធ្វើឱ្យប្រសើរឡើងនូវដំណើរការនៃមុខងារ POSIX មួយចំនួន និងធ្វើឱ្យប្រសើរឡើងយ៉ាងខ្លាំងនូវការកំណត់លទ្ធផលនៃប្រតិបត្តិការតាមលក្ខខណ្ឌនៅពេលដែលមានតម្លៃនិមិត្តសញ្ញាជាច្រើននៅក្នុងការប្រៀបធៀប។ ការត្រួតពិនិត្យថ្មីត្រូវបានបន្ថែម៖ fuchia.HandleChecker (កំណត់ចំណុចទាញនៅក្នុងរចនាសម្ព័ន្ធ) webkit.UncountedLambdaCapturesChecker webkit និង alpha.webkit.UncountedLocalVarsChecker (គិតគូរពីភាពបារម្ភនៃការធ្វើការជាមួយទ្រនិចនៅក្នុងកូដម៉ាស៊ីន WebKit)។
• នៅក្នុងកន្សោមដែលប្រើក្នុងបរិបទនៃថេរ ការប្រើប្រាស់មុខងារដែលភ្ជាប់មកជាមួយ __builtin_bitreverse*, __builtin_rotateleft*, __builtin_rotateright*, _mm_popcnt*, _bit_scan_forward, __bsfd, __bsfq, _bs_rbit, _bs_b, ap, __bswapd, __bswap64, ត្រូវបានអនុញ្ញាត។ __bswapq , _castf*, __rol* និង __ror* ។
• បានបន្ថែមជម្រើស BitFieldColonSpacing ទៅឧបករណ៍ប្រើប្រាស់ទម្រង់ clang ដើម្បីជ្រើសរើសគម្លាតជុំវិញការកំណត់អត្តសញ្ញាណ ជួរឈរ និងនិយមន័យវាល។
• ម៉ាស៊ីនបម្រើឃ្លាំងសម្ងាត់ clangd (Clang Server) នៅលើវេទិកាលីនុចបានកាត់បន្ថយការប្រើប្រាស់អង្គចងចាំយ៉ាងខ្លាំងក្នុងអំឡុងពេលប្រតិបត្តិការរយៈពេលវែង (ការហៅតាមកាលកំណត់ទៅ malloc_trim ត្រូវបានផ្តល់ជូនដើម្បីត្រឡប់ទំព័រអង្គចងចាំឥតគិតថ្លៃទៅប្រព័ន្ធប្រតិបត្តិការ) ។

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

• ការគាំទ្រសម្រាប់ឧបករណ៍សាងសង់ llvm-build ដែលសរសេរក្នុង Python ត្រូវបានបញ្ឈប់ ហើយផ្ទុយទៅវិញ គម្រោងនេះបានប្តូរទាំងស្រុងទៅប្រើប្រាស់ប្រព័ន្ធ CMake build ។
• នៅក្នុងផ្នែកខាងក្រោយសម្រាប់ស្ថាបត្យកម្ម AArch64 ការគាំទ្រសម្រាប់ប្រព័ន្ធប្រតិបត្តិការ Windows ត្រូវបានកែលម្អ៖ ការបង្កើតទិន្នផលឧបករណ៍ដំឡើងត្រឹមត្រូវសម្រាប់ប្រព័ន្ធវីនដូគោលដៅត្រូវបានធានា ការបង្កើតទិន្នន័យនៅលើការហៅចេញត្រូវបានធ្វើឱ្យប្រសើរ (ទំហំនៃទិន្នន័យបែបនេះត្រូវបានកាត់បន្ថយចំនួន 60 %) សមត្ថភាពក្នុងការបង្កើតទិន្នន័យ unwind ដោយប្រើ assembler ត្រូវបានបន្ថែមការណែនាំ .seh_*។
• ផ្នែកខាងក្រោយសម្រាប់ស្ថាបត្យកម្ម PowerPC មានការបង្កើនប្រសិទ្ធភាពថ្មីសម្រាប់រង្វិលជុំ និងការដាក់ពង្រាយក្នុងជួរ ការគាំទ្រដែលបានពង្រីកសម្រាប់ដំណើរការ Power10 បន្ថែមការគាំទ្រសម្រាប់ការណែនាំ MMA សម្រាប់ការរៀបចំម៉ាទ្រីស និងការគាំទ្រប្រសើរឡើងសម្រាប់ប្រព័ន្ធប្រតិបត្តិការ AIX ។
• ផ្នែកខាងក្រោយ x86 បន្ថែមការគាំទ្រសម្រាប់ AMD Zen 3, Intel Alder Lake និង Intel Sapphire Rapids processors ក៏ដូចជាការណែនាំអំពីដំណើរការ HRESET, UINTR និង AVXVNNI ។ ការគាំទ្រសម្រាប់ MPX (ផ្នែកបន្ថែមការពារអង្គចងចាំ) សម្រាប់ពិនិត្យទ្រនិចដើម្បីធានាថាព្រំដែននៃការចងចាំមិនត្រូវបានគាំទ្រទៀតទេ (បច្ចេកវិទ្យានេះមិនរីករាលដាលទេ ហើយត្រូវបានដកចេញពី GCC និង clang រួចហើយ)។ បានបន្ថែមការគាំទ្រដល់ឧបករណ៍ដំឡើងសម្រាប់បុព្វបទ {disp32} និង {disp8} និងបច្ច័យ .d32 និង .d8 ដើម្បីគ្រប់គ្រងទំហំនៃដំណើរការអុហ្វសិត និងការលោត។ បានបន្ថែមគុណលក្ខណៈថ្មី "tune-cpu" ដើម្បីគ្រប់គ្រងការដាក់បញ្ចូលការបង្កើនប្រសិទ្ធភាពស្ថាបត្យកម្មខ្នាតតូច។
• របៀបថ្មី “-fsanitize=unsigned-shift-base” ត្រូវបានបន្ថែមទៅឧបករណ៍ចាប់បញ្ហាចំនួនគត់ (integer sanitizer, “-fsanitize=integer”) ដើម្បីរកមើលចំនួនលើសនៃចំនួនគត់ដែលមិនបានចុះហត្ថលេខា បន្ទាប់ពីការផ្លាស់ប្តូរបន្តិចទៅខាងឆ្វេង។
• នៅក្នុងឧបករណ៍រាវរកផ្សេងៗ (asan, cfi, lsan, msan, tsan, ubsan sanitizer) ការគាំទ្រសម្រាប់ការចែកចាយលីនុចជាមួយនឹងបណ្ណាល័យ Musl ស្តង់ដារត្រូវបានបន្ថែម។
• សមត្ថភាពរបស់ LLD linker ត្រូវបានពង្រីក។ ធ្វើឱ្យប្រសើរឡើងនូវការគាំទ្រសម្រាប់ទម្រង់ ELF រួមទាំងជម្រើសបន្ថែម "--dependency-file", "-error-handling-script", "-lto-pseudo-probe-for-profiling", "-no-lto-whole-program - ភាពមើលឃើញ "" ការគាំទ្រ MinGW ប្រសើរឡើង។ សម្រាប់ទ្រង់ទ្រាយ Mach-O (macOS) ការគាំទ្រសម្រាប់ស្ថាបត្យកម្ម arm64, arm, និង i386, ការបង្កើនប្រសិទ្ធភាពពេលវេលាភ្ជាប់ (LTO) និង stack unwinding សម្រាប់ការដោះស្រាយករណីលើកលែងត្រូវបានអនុវត្ត។
• Libc ++ អនុវត្តមុខងារថ្មីនៃស្តង់ដារ C ++ 20 ហើយបានចាប់ផ្តើមអភិវឌ្ឍលក្ខណៈពិសេសនៃការបញ្ជាក់ C ++ 2b ។ បានបន្ថែមការគាំទ្រសម្រាប់ការសាងសង់ជាមួយនឹងការបិទការគាំទ្រការធ្វើមូលដ្ឋានីយកម្ម (“-DLIBCXX_ENABLE_LOCALIZATION=OFF”) និងឧបករណ៍សម្រាប់បង្កើតលេខចៃដន្យ (“-DLIBCXX_ENABLE_RANDOM_DEVICE=OFF”) ។

ប្រភព: opennet.ru