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

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

ການປ່ຽນແປງທີ່ສໍາຄັນໃນການປ່ອຍໃຫມ່ແມ່ນການລວມເອົາ ຂ້າງ, frontend ສໍາລັບພາສາ Fortran. Flang ສະຫນັບສະຫນູນ Fortran 2018, OpenMP 4.5 ແລະ OpenACC 3.0, ແຕ່ການພັດທະນາຂອງໂຄງການຍັງບໍ່ທັນໄດ້ສໍາເລັດແລະດ້ານຫນ້າແມ່ນຈໍາກັດການແຍກລະຫັດແລະການກວດສອບຄວາມຖືກຕ້ອງ. ການສ້າງລະຫັດລະດັບປານກາງ LLVM ຍັງບໍ່ທັນໄດ້ຮັບການສະຫນັບສະຫນູນແລະເພື່ອສ້າງໄຟລ໌ທີ່ປະຕິບັດໄດ້, ລະຫັດ canonical ແມ່ນຖືກສ້າງຂຶ້ນແລະຖືກສົ່ງໄປຫາຄອມພີວເຕີ Fortran ພາຍນອກ.

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

• ເພີ່ມຄວາມສາມາດໃນການຟື້ນຟູຕົ້ນໄມ້ syntax abstract (AST) ສໍາລັບລະຫັດ C++ ທີ່ແຕກຫັກ, ເຊິ່ງສາມາດຖືກນໍາໃຊ້ເພື່ອຊ່ວຍວິນິດໄສຄວາມຜິດພາດແລະສະຫນອງຂໍ້ມູນເພີ່ມເຕີມໃຫ້ກັບອຸປະກອນພາຍນອກເຊັ່ນ clang-tidy ແລະ clangd. ຄຸນສົມບັດຖືກເປີດໃຊ້ໂດຍຄ່າເລີ່ມຕົ້ນສໍາລັບລະຫັດ C++ ແລະຖືກຄວບຄຸມຜ່ານຕົວເລືອກ "-Xclang -f[no-]recovery-ast".
• ເພີ່ມໂໝດວິນິດໄສໃໝ່:
  • “-Wpointer-to-int-cast” ແມ່ນກຸ່ມຄຳເຕືອນກ່ຽວກັບການສົ່ງສັນຍານຕົວຊີ້ໄປຫາປະເພດຈຳນວນເຕັມ int ທີ່ບໍ່ຮອງຮັບຄ່າທີ່ເປັນໄປໄດ້ທັງໝົດ.
  • “-wuninitialized-const-reference” - ການເຕືອນກ່ຽວກັບການຖ່າຍທອດຕົວແປທີ່ບໍ່ຮູ້ຈັກໃນຕົວກໍານົດການຟັງຊັນທີ່ຍອມຮັບການໂຕ້ຖຽງການອ້າງອິງດ້ວຍຄຸນລັກສະນະ "const".
  • "-Wimplicit-const-int-float-conversion" - ຖືກເປີດໃຊ້ໂດຍຄໍາເຕືອນໃນຕອນຕົ້ນກ່ຽວກັບການແປງ implicit ຂອງຄ່າຄົງທີ່ທີ່ແທ້ຈິງເປັນປະເພດຈໍານວນເຕັມ.
• ສໍາລັບແພລະຕະຟອມ ARM, C functions ສ້າງຂຶ້ນໃນ compiler ແມ່ນສະຫນອງໃຫ້ (ພາຍໃນ), ແທນທີ່ດ້ວຍຄໍາແນະນໍາ vector ທີ່ມີປະສິດທິພາບ Arm v8.1-M MVE ແລະ CDE. ຟັງຊັນທີ່ມີຢູ່ແມ່ນຖືກກໍານົດໄວ້ໃນ header files arm_mve.h ແລະ arm_cde.h.
• ເພີ່ມແລ້ວ ຊຸດຂອງປະເພດຈໍານວນເຕັມຂະຫຍາຍ _ExtInt(N), ອະນຸຍາດໃຫ້ທ່ານສ້າງປະເພດທີ່ບໍ່ມີການຄູນຂອງກໍາລັງສອງ, ເຊິ່ງສາມາດດໍາເນີນການຢ່າງມີປະສິດທິພາບໃນ FPGA/HLS. ຕົວຢ່າງເຊັ່ນ, _ExtInt(7) ກໍານົດປະເພດຈໍານວນເຕັມທີ່ປະກອບດ້ວຍ 7 ບິດ.
• ເພີ່ມ macro ທີ່ກໍານົດການສະຫນັບສະຫນູນສໍາລັບຟັງຊັນ C ທີ່ມີໃນຕົວໂດຍອີງໃສ່ຄໍາແນະນໍາ ARM SVE (Scalable Vector Extension):
  __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".
• ເພີ່ມທຸງ compiler ໃຫມ່:
  • "-fstack-clash-protection" - ເຮັດໃຫ້ການປົກປ້ອງຕໍ່ຕ້ານ ທາງຕັດຂອງ stack ແລະ heap.
  • "-ffp-exception-behavior={ignore,maytrap,strict}" - ອະນຸຍາດໃຫ້ທ່ານເລືອກຮູບແບບຕົວຈັດການຂໍ້ຍົກເວັ້ນສໍາລັບຕົວເລກຈຸດລອຍ.
  • "-ffp-model={precise,strict,fast}" - ງ່າຍໃນການເຂົ້າເຖິງຊຸດຕົວເລືອກພິເສດສຳລັບຕົວເລກຈຸດລອຍ.
  • "-fpch-codegen" ແລະ "-fpch-debuginfo" ເພື່ອສ້າງ header precompiled (PCH) ທີ່ມີໄຟລ໌ວັດຖຸແຍກຕ່າງຫາກສໍາລັບລະຫັດແລະ debuginfo.
  • “-fsanitize-coverage-allowlist” ແລະ “-fsanitize-coverage-blocklist” ສໍາລັບການກວດສອບການກວດສອບບັນຊີຂາວ ແລະບັນຊີດໍາ.
  • “-mtls-size={12,24,32,48}” ເພື່ອເລືອກຂະໜາດ TLS (thread-local storage).
  • "-menable-experimental-extension" ເພື່ອເປີດໃຊ້ສ່ວນຂະຫຍາຍ RISC-V ທົດລອງ.
• ຮູບແບບເລີ່ມຕົ້ນຂອງ C ແມ່ນ "-fno-common", ເຊິ່ງອະນຸຍາດໃຫ້ເຂົ້າເຖິງຕົວແປທົ່ວໂລກທີ່ມີປະສິດທິພາບຫຼາຍຂຶ້ນໃນບາງເວທີ.
• cache ຂອງໂມດູນເລີ່ມຕົ້ນໄດ້ຖືກຍ້າຍຈາກ /tmp ໄປຫາໄດເລກະທໍລີ ~/.cache. ເພື່ອລົບລ້າງ, ທ່ານສາມາດໃຊ້ທຸງ “-fmodules-cache-path=”.
• ມາດຕະຖານພາສາ C ເລີ່ມຕົ້ນໄດ້ຖືກປັບປຸງຈາກ gnu11 ເປັນ gnu17.
• ເພີ່ມການສະຫນັບສະຫນູນເບື້ອງຕົ້ນສໍາລັບການຂະຫຍາຍ GNU C "asm ໃນແຖວ»ເພື່ອເພີ່ມແຜ່ນປະກອບ. ສ່ວນຂະຫຍາຍຍັງຖືກວິເຄາະ, ແຕ່ບໍ່ໄດ້ປະມວນຜົນໃນທາງໃດກໍ່ຕາມ.
• ຄວາມສາມາດທີ່ກ່ຽວຂ້ອງກັບການສະຫນັບສະຫນູນ OpenCL ແລະ CUDA ໄດ້ຖືກຂະຫຍາຍອອກ. ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບ OpenCL 2.0 ການວິນິດໄສບລັອກແລະປະຕິບັດຄຸນສົມບັດ OpenMP 5.0 ໃຫມ່.
• ເພີ່ມທາງເລືອກ IndentExternBlock ໃຫ້ກັບອຸປະກອນ clang-format ສໍາລັບການຈັດຕໍາແຫນ່ງພາຍໃນ extern "C" ແລະ extern "C++".
• ເຄື່ອງວິເຄາະສະຖິດໄດ້ປັບປຸງການຈັດການຕົວສ້າງທີ່ສືບທອດໃນ C++. ເພີ່ມການກວດສອບໃໝ່ alpha.core.C11Lock ແລະ alpha.fuchsia.Lock ເພື່ອກວດສອບການລັອກ, alpha.security.cert.pos.34c ເພື່ອກວດຫາການນຳໃຊ້ທີ່ບໍ່ປອດໄພຂອງ putenv, webkit.NoUncountedMemberChecker ແລະ webkit.RefCntblBaseVirtualDtor ເພື່ອກວດຫາບັນຫາທີ່ບໍ່ສາມາດນັບໄດ້. .cplusplus .SmartPtr ເພື່ອກວດເບິ່ງການອ້າງອີງຕົວຊີ້ smart null.
• ໃນ linter clang-tidy ເພີ່ມ ສ່ວນໃຫຍ່ຂອງການກວດສອບໃຫມ່.
• ເຊີບເວີ clangd caching (Clang Server) ໄດ້ປັບປຸງປະສິດທິພາບ ແລະເພີ່ມຄວາມສາມາດໃນການວິນິດໄສໃໝ່.

ຕົ້ນ​ຕໍ ນະວັດຕະກໍາ LLVM 11.0:

• ລະບົບການກໍ່ສ້າງໄດ້ຖືກປ່ຽນໄປໃຊ້ Python 3. ຖ້າ Python 3 ບໍ່ສາມາດໃຊ້ໄດ້, ມັນເປັນໄປໄດ້ທີ່ຈະ rollback ໄປໃຊ້ Python 2.
• ສ່ວນດ້ານຫນ້າກັບ compiler ສໍາລັບພາສາ Go (llgo) ແມ່ນບໍ່ລວມອອກຈາກການປ່ອຍ, ເຊິ່ງອາດຈະຖືກປັບໂຄງສ້າງໃຫມ່ໃນອະນາຄົດ.
• ຄຸນລັກສະນະ vector-function-abi-variant ໄດ້ຖືກເພີ່ມເຂົ້າໃນການສະແດງຕົວກາງ (IR) ເພື່ອອະທິບາຍການສ້າງແຜນທີ່ລະຫວ່າງຟັງຊັນ scalar ແລະ vector ເພື່ອ vectorize ການໂທ. ຈາກ llvm::VectorType ມີສອງປະເພດ vector ແຍກຕ່າງຫາກ llvm::FixedVectorType ແລະ llvm::ScalableVectorType.
• ສາຂາໂດຍອີງໃສ່ຄ່າ udef ແລະການຖ່າຍທອດຄ່າ undef ໄປຫາຫນ້າທີ່ຫ້ອງສະຫມຸດມາດຕະຖານຖືກຮັບຮູ້ວ່າເປັນພຶດຕິກໍາທີ່ບໍ່ໄດ້ກໍານົດ. IN
  memset/memcpy/memmove ອະນຸຍາດໃຫ້ຖ່າຍທອດຕົວຊີ້ undef, ແຕ່ຖ້າພາລາມິເຕີທີ່ມີຂະຫນາດແມ່ນສູນ.

• LLJIT ໄດ້ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບການປະຕິບັດການເລີ່ມຕົ້ນແບບຄົງທີ່ຜ່ານ LLJIT::initialize ແລະ LLJIT::deinitialize method. ຄວາມສາມາດໃນການເພີ່ມຫ້ອງສະຫມຸດຄົງທີ່ JITDylib ໂດຍໃຊ້ຫ້ອງຮຽນ StaticLibraryDefinitionGenerator ໄດ້ຖືກປະຕິບັດ. ເພີ່ມ C API ສໍາລັບ ORCv2 (API ສໍາລັບການສ້າງ JIT compilers).
• ການສະຫນັບສະຫນູນສໍາລັບ Cortex-A64, Cortex-A34, Cortex-A77 ແລະ Cortex-X78 processors ໄດ້ຖືກເພີ່ມເຂົ້າໃນ backend ສໍາລັບສະຖາປັດຕະ AArch1. ປະຕິບັດການຂະຫຍາຍ ARMv8.2-BF16 (BFloat16) ແລະ ARMv8.6-A, ລວມທັງ RMv8.6-ECV (Enhanced Counter Virtualization), ARMv8.6-FGT (Fine Grained Traps), ARMv8.6-AMU (ສະເໝືອນຈິງ Monitors) ແລະ ARMv8.0-DGH (ຄໍາແນະນໍາການລວບລວມຂໍ້ມູນ). ຄວາມ​ສາ​ມາດ​ໃນ​ການ​ສ້າງ​ລະ​ຫັດ​ສໍາ​ລັບ​ການ​ສ້າງ​ໃນ​ຫນ້າ​ທີ່​ຜູກ​ມັດ​ກັບ​ຄໍາ​ແນະ​ນໍາ vector vector ແມ່ນ​ສະ​ຫນອງ​ໃຫ້​.
• ການສະຫນັບສະຫນູນສໍາລັບ Cortex-M55, Cortex-A77, Cortex-A78 ແລະ Cortex-X1 processors ໄດ້ຖືກເພີ່ມເຂົ້າໃນ backend ສໍາລັບສະຖາປັດຕະ ARM. ການຂະຫຍາຍການຈັດຕັ້ງປະຕິບັດ
  Armv8.6-A Matrix Multiply ແລະ RMv8.2-AA32BF16 BFloat16.

• ການສະຫນັບສະຫນູນການຜະລິດລະຫັດສໍາລັບໂປເຊດເຊີ POWER10 ໄດ້ຖືກເພີ່ມເຂົ້າໃນ backend ສໍາລັບສະຖາປັດຕະ PowerPC. ການເພີ່ມປະສິດທິພາບຂອງ loop ໄດ້ຖືກຂະຫຍາຍແລະການສະຫນັບສະຫນູນຈຸດລອຍໄດ້ຖືກປັບປຸງ.
• backend ສໍາລັບສະຖາປັດຕະຍະກໍາ RISC-V ອະນຸຍາດໃຫ້ມີການຍອມຮັບຂອງ patches ທີ່ສະຫນັບສະຫນູນຊຸດຄໍາແນະນໍາການຂະຫຍາຍທົດລອງທີ່ຍັງບໍ່ທັນໄດ້ຮັບການອະນຸມັດຢ່າງເປັນທາງການ.
• backend ສໍາລັບສະຖາປັດຕະ AVR ໄດ້ຖືກໂອນຈາກປະເພດການທົດລອງໄປສູ່ຄວາມຫມັ້ນຄົງ, ລວມຢູ່ໃນການແຈກຢາຍພື້ນຖານ.
• backend ສໍາລັບສະຖາປັດຕະ x86 ສະຫນັບສະຫນູນຄໍາແນະນໍາ Intel AMX ແລະ TSXLDTRK. ເພີ່ມການປ້ອງກັນການໂຈມຕີ LVI (Load Value Injection), ແລະຍັງປະຕິບັດກົນໄກການສະກັດກັ້ນຜົນກະທົບຂ້າງຄຽງຂອງ Speculative Execution ທົ່ວໄປເພື່ອສະກັດກັ້ນການໂຈມຕີທີ່ເກີດຈາກການຄາດການຂອງການປະຕິບັດງານໃນ CPU.
• ໃນ backend ສໍາລັບສະຖາປັດຕະ 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