ປ່ອຍຊຸດຄອມພີວເຕີ LLVM 12.0

ຫຼັງຈາກຫົກເດືອນຂອງການພັດທະນາ, ການປ່ອຍໂຄງການ LLVM 12.0 ໄດ້ຖືກນໍາສະເຫນີ - ຊຸດເຄື່ອງມືທີ່ເຂົ້າກັນໄດ້ກັບ GCC (compilers, optimizers ແລະ code generator) ທີ່ລວບລວມບັນດາໂຄງການເຂົ້າໄປໃນ bitcode ລະດັບປານກາງຂອງຄໍາແນະນໍາ virtual ຄ້າຍຄື RISC (ເຄື່ອງ virtual ລະດັບຕ່ໍາທີ່ມີ a. ລະບົບການເພີ່ມປະສິດທິພາບຫຼາຍລະດັບ). ລະຫັດ pseudocode ທີ່ສ້າງຂຶ້ນສາມາດຖືກປ່ຽນໂດຍໃຊ້ຕົວສັງລວມ JIT ເຂົ້າໄປໃນຄໍາແນະນໍາຂອງເຄື່ອງຈັກໂດຍກົງໃນເວລາທີ່ດໍາເນີນໂຄງການ.

ການປັບປຸງໃນ Clang 12.0:

• ການສະຫນັບສະຫນູນຄຸນລັກສະນະ "ອາດຈະ" ແລະ "ບໍ່ຫນ້າຈະເປັນໄປໄດ້" ທີ່ສະເຫນີໃນມາດຕະຖານ C ++ 20 ໄດ້ຖືກປະຕິບັດແລະເປີດໃຊ້ໂດຍຄ່າເລີ່ມຕົ້ນ, ໃຫ້ຜູ້ເພີ່ມປະສິດທິພາບໄດ້ຮັບການແຈ້ງເຕືອນກ່ຽວກັບຄວາມເປັນໄປໄດ້ຂອງໂຄງສ້າງທີ່ມີເງື່ອນໄຂທີ່ຖືກກະຕຸ້ນ (ຕົວຢ່າງ, "[[ອາດຈະ. ]] ຖ້າ (ສຸ່ມ > 0) {“).
• ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບ AMD Zen 3 (-march=znver3), Intel Alder Lake (-march=alderlake) ແລະໂປເຊດເຊີ Intel Sapphire Rapids (-march=sapphirerapids).
• ເພີ່ມການຮອງຮັບທຸງ "-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). ຕົວຢ່າງ, ເພື່ອເປີດໃຊ້ການເພີ່ມປະສິດທິພາບສໍາລັບ CPUs Neoverse-V1, ທ່ານສາມາດກໍານົດ "-mcpu = neoverse-v1".
• ສຳລັບສະຖາປັດຕະຍະກຳ AArch64, ທຸງ compiler ໃໝ່ "-moutline-atomics" ແລະ "-mno-outline-atomics" ໄດ້ຖືກເພີ່ມເຂົ້າໃນການເປີດ ຫຼືປິດການເຮັດວຽກຂອງຕົວຊ່ວຍການດຳເນີນງານປະລໍາມະນູ ເຊັ່ນ: "__aarch64_cas8_relax". ຟັງຊັນດັ່ງກ່າວກວດພົບໃນເວລາແລ່ນບໍ່ວ່າຈະມີການສະຫນັບສະຫນູນ LSE (ການຂະຫຍາຍລະບົບຂະຫນາດໃຫຍ່) ແລະນໍາໃຊ້ຄໍາແນະນໍາຂອງໂປເຊດເຊີປະລໍາມະນູທີ່ສະຫນອງໃຫ້ຫຼືກັບຄືນໄປໃຊ້ຄໍາແນະນໍາ LL/SC (Load-link/store-conditional) ສໍາລັບການ synchronization.
• ເພີ່ມຕົວເລືອກ "-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".
• ໃນແພລະຕະຟອມ Linux, ຮູບແບບ "-fasynchronous-unwind-tables" ຖືກເປີດໃຊ້ສໍາລັບສະຖາປັດຕະຍະກໍາ AArch64 ແລະ PowerPC ເພື່ອສ້າງຕາຕະລາງການໂທແບບ unwind, ເຊັ່ນໃນ GCC.
• ໃນ "#pragma clang loop vectorize_width" ໄດ້ເພີ່ມຄວາມສາມາດໃນການກໍານົດທາງເລືອກ "ຄົງທີ່" (ຄ່າເລີ່ມຕົ້ນ) ແລະ "scalable" ເພື່ອເລືອກວິທີການ vectorization. ໂຫມດ "scalable", ເອກະລາດຂອງຄວາມຍາວ vector, ແມ່ນການທົດລອງແລະສາມາດຖືກນໍາໃຊ້ໃນຮາດແວທີ່ສະຫນັບສະຫນູນ vectorization ຂະຫຍາຍໄດ້.
• ການປັບປຸງການສະຫນັບສະຫນູນສໍາລັບແພລະຕະຟອມ Windows: ການປະກອບຄູ່ຢ່າງເປັນທາງການສໍາລັບ Windows ໃນລະບົບ Arm64 ໄດ້ຖືກກະກຽມ, ລວມທັງ Clang compiler, LLD linker ແລະ compiler-rt runtime libraries. ເມື່ອສ້າງສໍາລັບເວທີເປົ້າຫມາຍ 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=" ທາງເລືອກແມ່ນເປີດໃຊ້ງານ, ເຮັດໃຫ້ການເພີ່ມປະສິດທິພາບຂອງ microarchitectural ທີ່ເລືອກໂດຍບໍ່ຄໍານຶງເຖິງ "-march=" ຄ່າ.
• ເຄື່ອງວິເຄາະສະຖິດໄດ້ປັບປຸງການປຸງແຕ່ງບາງຫນ້າທີ່ POSIX ແລະປັບປຸງການກໍານົດຜົນໄດ້ຮັບຂອງການດໍາເນີນງານທີ່ມີເງື່ອນໄຂໃນເວລາທີ່ມີມູນຄ່າສັນຍາລັກຫຼາຍໃນການປຽບທຽບ. ການກວດສອບໃຫມ່ໄດ້ຖືກເພີ່ມ: fuchia.HandleChecker (ກໍານົດ handles ໃນໂຄງສ້າງ), webkit.UncountedLambdaCapturesChecker webkit ແລະ alpha.webkit.UncountedLocalVarsChecker (ຄໍານຶງເຖິງ peculiarities ຂອງການເຮັດວຽກກັບ pointers ໃນລະຫັດເຄື່ອງຈັກ WebKit).
• ໃນການສະແດງອອກທີ່ໃຊ້ໃນບໍລິບົດຂອງຄ່າຄົງທີ່, ການໃຊ້ຟັງຊັນທີ່ສ້າງຂຶ້ນໃນ __builtin_bitreverse*, __builtin_rotateleft*, __builtin_rotateright*, _mm_popcnt*, _bit_scan_forward, __bsfd, __bsfq, _bs_r, _bs, _bs, _bs, _bs, _bsfq, _bs_b, __bswapd, __bswap64, __ ແມ່ນອະນຸຍາດ bswapq , _castf*, __rol* ແລະ __ror*.
• ໄດ້ເພີ່ມທາງເລືອກ BitFieldColonSpacing ໃຫ້ກັບເຄື່ອງໃຊ້ຮູບແບບ clang ເພື່ອເລືອກໄລຍະຫ່າງຮອບຕົວລະບຸ, ຖັນ ແລະຄຳນິຍາມຊ່ອງຂໍ້ມູນ.
• ເຊີບເວີ clangd caching (Clang Server) ໃນແພລະຕະຟອມ Linux ໄດ້ຫຼຸດລົງຢ່າງຫຼວງຫຼາຍໃນການບໍລິໂພກຫນ່ວຍຄວາມຈໍາໃນລະຫວ່າງການດໍາເນີນງານໃນໄລຍະຍາວ (ການໂທຫາແຕ່ລະໄລຍະເພື່ອ malloc_trim ແມ່ນສະຫນອງໃຫ້ກັບຫນ້າຫນ່ວຍຄວາມຈໍາຟຣີກັບລະບົບປະຕິບັດການ).

ນະວັດຕະກໍາຫຼັກໃນ LLVM 12.0:

• ການສະຫນັບສະຫນູນສໍາລັບເຄື່ອງມືການກໍ່ສ້າງ llvm-build ທີ່ຂຽນໃນ Python ໄດ້ຖືກຢຸດເຊົາ, ແລະແທນທີ່ຈະໂຄງການໄດ້ປ່ຽນໄປໃຊ້ລະບົບການກໍ່ສ້າງ CMake ຢ່າງສົມບູນ.
• ໃນ backend ສໍາລັບສະຖາປັດຕະ AArch64, ການສະຫນັບສະຫນູນສໍາລັບແພລະຕະຟອມ Windows ໄດ້ຖືກປັບປຸງ: ການຜະລິດຕົວປະກອບທີ່ຖືກຕ້ອງສໍາລັບລະບົບ Windows ເປົ້າຫມາຍໄດ້ຖືກຮັບປະກັນ, ການຜະລິດຂໍ້ມູນໃນການໂທ unwind ໄດ້ຖືກປັບປຸງໃຫ້ດີທີ່ສຸດ (ຂະຫນາດຂອງຂໍ້ມູນດັ່ງກ່າວໄດ້ຖືກຫຼຸດລົງ 60. %), ຄວາມສາມາດໃນການສ້າງຂໍ້ມູນ unwind ໂດຍໃຊ້ assembler ໄດ້ຖືກເພີ່ມຄໍາແນະນໍາ .seh_*.
• Backend ສໍາລັບສະຖາປັດຕະຍະກໍາ PowerPC ມີການເພີ່ມປະສິດທິພາບໃຫມ່ສໍາລັບ loops ແລະ inline deployment, ຂະຫຍາຍການສະຫນັບສະຫນູນສໍາລັບໂປເຊດເຊີ Power10, ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບຄໍາແນະນໍາ MMA ສໍາລັບການຫມູນໃຊ້ matrix, ແລະການປັບປຸງການສະຫນັບສະຫນູນສໍາລັບລະບົບປະຕິບັດການ AIX.
• x86 backend ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບໂປເຊດເຊີ AMD Zen 3, Intel Alder Lake ແລະ Intel Sapphire Rapids, ເຊັ່ນດຽວກັນກັບຄໍາແນະນໍາຂອງໂປເຊດເຊີ HRESET, UINTR ແລະ AVXVNNI. ສະຫນັບສະຫນູນ MPX (ການຂະຫຍາຍການປົກປ້ອງຫນ່ວຍຄວາມຈໍາ) ສໍາລັບການກວດສອບຕົວຊີ້ເພື່ອຮັບປະກັນຂອບເຂດຂອງຫນ່ວຍຄວາມຈໍາບໍ່ຖືກສະຫນັບສະຫນູນ (ເຕັກໂນໂລຢີນີ້ບໍ່ແຜ່ຫຼາຍແລະໄດ້ຖືກໂຍກຍ້າຍອອກຈາກ GCC ແລະ clang). ເພີ່ມການສະຫນັບສະຫນູນກັບຕົວປະກອບສໍາລັບຄໍານໍາຫນ້າ {disp32} ແລະ {disp8} ແລະຄໍາຕໍ່ທ້າຍ .d32 ແລະ .d8 ເພື່ອຄວບຄຸມຂະຫນາດຂອງ operand offsets ແລະ jumps. ເພີ່ມຄຸນສົມບັດໃຫມ່ "tune-cpu" ເພື່ອຄວບຄຸມການລວມເອົາການເພີ່ມປະສິດທິພາບຂອງສະຖາປັດຕະຍະກໍາຈຸລະພາກ.
• ໂໝດໃໝ່ “-fsanitize=unsigned-shift-base” ໄດ້ຖືກເພີ່ມໃສ່ເຄື່ອງກວດຫາບັນຫາຈຳນວນເຕັມ (integer sanitizer, “-fsanitize=integer”) ເພື່ອກວດຫາການລົ້ນຂອງຈຳນວນເຕັມທີ່ບໍ່ໄດ້ເຊັນຫຼັງຈາກປ່ຽນໄປທາງຊ້າຍເລັກນ້ອຍ.
• ໃນເຄື່ອງກວດຈັບຕ່າງໆ (asan, cfi, lsan, msan, tsan, ubsan sanitizer) ສະຫນັບສະຫນູນການແຈກຢາຍ Linux ກັບຫ້ອງສະຫມຸດ Musl ມາດຕະຖານໄດ້ຖືກເພີ່ມ.
• ຄວາມສາມາດຂອງຕົວເຊື່ອມຕໍ່ LLD ໄດ້ຖືກຂະຫຍາຍອອກ. ການປັບປຸງການສະຫນັບສະຫນູນສໍາລັບຮູບແບບ 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