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

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

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

• ປະຕິບັດການສະຫນັບສະຫນູນການໂທຫາງທີ່ຮັບປະກັນ (ການໂທຫາ subroutine ໃນຕອນທ້າຍຂອງການທໍາງານ, ປະກອບເປັນ recursion ຫາງຖ້າຫາກວ່າ subroutine ໂທຫາຕົວມັນເອງ). ການສະຫນັບສະຫນູນການໂທຫາງທີ່ຮັບປະກັນແມ່ນສະຫນອງໃຫ້ໂດຍຄຸນລັກສະນະ "[[clang::musttail]]" ໃນ C++ ແລະ "__attribute__((musttail))" ໃນ C, ໃຊ້ໃນຄໍາຖະແຫຼງການ "ກັບຄືນ". ຄຸນນະສົມບັດອະນຸຍາດໃຫ້ທ່ານປະຕິບັດການເພີ່ມປະສິດທິພາບໂດຍການນໍາໃຊ້ລະຫັດເຂົ້າໄປໃນ iteration ຮາບພຽງເພື່ອຊ່ວຍປະຢັດການບໍລິໂພກ stack.
• "ການ​ນໍາ​ໃຊ້​" ການ​ປະ​ກາດ​ແລະ​ການ​ຂະ​ຫຍາຍ clang ສະ​ຫນອງ​ການ​ສະ​ຫນັບ​ສະ​ຫນູນ​ສໍາ​ລັບ​ການ​ກໍາ​ນົດ​ຄຸນ​ລັກ​ສະ​ນະ​ແບບ C++ 11 ການ​ນໍາ​ໃຊ້​ຮູບ​ແບບ "[[]]​"​.
• ເພີ່ມທຸງ "-Wreserved-identifier" ເພື່ອສະແດງຄໍາເຕືອນເມື່ອທ່ານລະບຸຕົວລະບຸທີ່ສະຫງວນໄວ້ໃນລະຫັດຜູ້ໃຊ້.
• ເພີ່ມ "-Wunused-but-set-parameter" ແລະ "-Wunused-but-set-variable" ທຸງເພື່ອສະແດງຄໍາເຕືອນຖ້າພາລາມິເຕີຫຼືຕົວແປຖືກຕັ້ງແຕ່ບໍ່ໄດ້ໃຊ້.
• ເພີ່ມທຸງ "-Wnull-pointer-subtraction" ເພື່ອອອກຄໍາເຕືອນຖ້າຫາກວ່າລະຫັດອາດຈະແນະນໍາພຶດຕິກໍາທີ່ບໍ່ໄດ້ກໍານົດເນື່ອງຈາກການນໍາໃຊ້ຕົວຊີ້ null ໃນການດໍາເນີນງານການລົບ.
• ເພີ່ມທຸງ "-fstack-usage" ເພື່ອສ້າງສໍາລັບແຕ່ລະໄຟລ໌ລະຫັດເປັນໄຟລ໌ ".su" ເພີ່ມເຕີມທີ່ມີຂໍ້ມູນກ່ຽວກັບຂະຫນາດຂອງ stack frames ສໍາລັບແຕ່ລະຫນ້າທີ່ກໍານົດໃນໄຟລ໌ທີ່ກໍາລັງດໍາເນີນການ.
• ປະເພດຜົນຜະລິດໃຫມ່ໄດ້ຖືກເພີ່ມເຂົ້າໃນເຄື່ອງວິເຄາະສະຖິດ - "sarif-html", ເຊິ່ງນໍາໄປສູ່ການສ້າງບົດລາຍງານພ້ອມໆກັນໃນຮູບແບບ HTML ແລະ Sarif. ເພີ່ມການກວດສອບ allocClassWithName ໃໝ່. ເມື່ອລະບຸຕົວເລືອກ "-analyzer-display-progress", ເວລາການວິເຄາະຂອງແຕ່ລະຟັງຊັນຈະສະແດງ. ເຄື່ອງວິເຄາະຕົວຊີ້ອັດສະລິຍະ (alpha.cplusplus.SmartPtr) ເກືອບພ້ອມແລ້ວ.
• ຄວາມສາມາດທີ່ກ່ຽວຂ້ອງກັບການສະຫນັບສະຫນູນ OpenCL ໄດ້ຖືກຂະຫຍາຍອອກ. ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບສ່ວນຂະຫຍາຍໃຫມ່ cl_khr_integer_dot_product, cl_khr_extended_bit_ops, __cl_clang_bitfields ແລະ __cl_clang_non_portable_kernel_param_types. ການປະຕິບັດຂໍ້ກໍານົດ OpenCL 3.0 ໄດ້ສືບຕໍ່. ສຳລັບ C, ສະເພາະ OpenCL 1.2 ແມ່ນໃຊ້ຕາມຄ່າເລີ່ມຕົ້ນ ເວັ້ນເສຍແຕ່ວ່າລຸ້ນອື່ນຖືກເລືອກຢ່າງຈະແຈ້ງ. ສໍາລັບ C++, ການຮອງຮັບໄຟລ໌ທີ່ມີນາມສະກຸນ “.clcpp” ໄດ້ຖືກເພີ່ມ.
• ສະຫນັບສະຫນູນຄໍາສັ່ງການຫັນເປັນ loop ("#pragma omp unrol" ແລະ "#pragma omp tile") ທີ່ກໍານົດໄວ້ໃນ OpenMP 5.1 ສະເພາະໄດ້ຖືກປະຕິບັດ.
• ທາງເລືອກທີ່ເພີ່ມເຂົ້າໃນການນໍາໃຊ້ຮູບແບບ clang: SpacesInLineCommentPrefix ເພື່ອກໍານົດຈໍານວນຊ່ອງກ່ອນຄໍາເຫັນ, IndentAccessModifiers, LambdaBodyIndentation ແລະ PPIndentWidth ເພື່ອຄວບຄຸມການຈັດລຽງຂອງລາຍການ, ການສະແດງອອກຂອງ lambda ແລະຄໍາສັ່ງ preprocessor. ຄວາມ​ເປັນ​ໄປ​ໄດ້​ສໍາ​ລັບ​ການ​ຈັດ​ລຽງ​ລໍາ​ດັບ​ຂອງ​ໄຟລ​໌ header (SortIncludes​) ໄດ້​ຮັບ​ການ​ຂະ​ຫຍາຍ​. ເພີ່ມການຮອງຮັບການຈັດຮູບແບບໄຟລ໌ JSON.
• ສ່ວນໃຫຍ່ຂອງການກວດສອບໃຫມ່ໄດ້ຖືກເພີ່ມເຂົ້າໃນ linter clang-tidy.

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

• ໄດ້ເພີ່ມທາງເລືອກ “-ehcontguard” ເພື່ອໃຊ້ເທກໂນໂລຍີ CET (Windows Control-flow Enforcement Technology) ເພື່ອປ້ອງກັນການປະຕິບັດການຂູດຮີດທີ່ສ້າງຂຶ້ນໂດຍໃຊ້ເຕັກນິກ Return-Oriented Programming (ROP) ໃນຂັ້ນຕອນການຈັດການຂໍ້ຍົກເວັ້ນ.
• ໂຄງການ debuginfo-test ໄດ້ຖືກປ່ຽນຊື່ເປັນ cross-project-tests ແລະຖືກອອກແບບມາເພື່ອທົດສອບອົງປະກອບຈາກໂຄງການຕ່າງໆ, ບໍ່ຈໍາກັດຂໍ້ມູນການດີບັກ.
• ລະບົບການປະກອບການສະຫນອງການສະຫນັບສະຫນູນການກໍ່ສ້າງການແຈກຢາຍຫຼາຍ, ຕົວຢ່າງ, ຫນຶ່ງທີ່ມີເຄື່ອງໃຊ້, ແລະອີກອັນຫນຶ່ງມີຫ້ອງສະຫມຸດສໍາລັບນັກພັດທະນາ.
• ໃນດ້ານຫຼັງສໍາລັບສະຖາປັດຕະຍະກໍາ AArch64, ການສະຫນັບສະຫນູນການຂະຫຍາຍ Armv9-A RME (Realm Management Extension) ແລະ SME (Scalable Matrix Extension) ແມ່ນປະຕິບັດຢູ່ໃນຕົວປະກອບ.
• ການຮອງຮັບ ISA V68/HVX ໄດ້ຖືກເພີ່ມໃສ່ backend ສໍາລັບສະຖາປັດຕະຍະກໍາ Hexagon.
• x86 backend ໄດ້ປັບປຸງການສະຫນັບສະຫນູນສໍາລັບໂປເຊດເຊີ AMD Zen 3.
• ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບ GFX1013 RDNA2 APU ກັບ AMDGPU backend.
• Libc++ ສືບຕໍ່ປະຕິບັດລັກສະນະໃຫມ່ຂອງມາດຕະຖານ C ++20 ແລະ C ++2b, ລວມທັງການສໍາເລັດຂອງຫ້ອງສະຫມຸດ "ແນວຄວາມຄິດ". ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບ std::filesystem ສໍາລັບເວທີ Windows ທີ່ອີງໃສ່ MinGW. ແຍກໄຟລ໌ສ່ວນຫົວແລ້ວ , ແລະ . ເພີ່ມຕົວເລືອກການກໍ່ສ້າງ LIBCXX_ENABLE_INCOMPLETE_FEATURES ເພື່ອປິດການໃຊ້ງານໄຟລ໌ສ່ວນຫົວທີ່ບໍ່ໄດ້ປະຕິບັດຢ່າງເຕັມສ່ວນ.
• ຄວາມສາມາດຂອງຕົວເຊື່ອມຕໍ່ LLD ໄດ້ຖືກຂະຫຍາຍອອກ, ເຊິ່ງການສະຫນັບສະຫນູນສໍາລັບໂປເຊດເຊີ Big-endian Aarch64 ໄດ້ຖືກປະຕິບັດ, ແລະ backend Mach-O ໄດ້ຖືກນໍາໄປສູ່ສະຖານະທີ່ອະນຸຍາດໃຫ້ເຊື່ອມຕໍ່ໂຄງການປົກກະຕິ. ລວມມີການປັບປຸງທີ່ຈໍາເປັນເພື່ອເຊື່ອມຕໍ່ Glibc ໂດຍໃຊ້ LLD.
• ຜົນປະໂຫຍດຂອງ llvm-mca (ເຄື່ອງວິເຄາະລະຫັດເຄື່ອງຈັກ) ໄດ້ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບໂປເຊດເຊີທີ່ປະຕິບັດຄໍາແນະນໍາຕາມລໍາດັບ (ທໍ່ superscalar ໃນຄໍາສັ່ງ), ເຊັ່ນ ARM Cortex-A55.
• LLDB debugger ສໍາລັບແພລະຕະຟອມ AArch64 ສະຫນອງການສະຫນັບສະຫນູນຢ່າງເຕັມທີ່ສໍາລັບການພິສູດຢືນຢັນຕົວຊີ້, MTE (MemTag, Memory Tagging Extension) ແລະ SVE registers. ຄໍາສັ່ງເພີ່ມເຕີມທີ່ອະນຸຍາດໃຫ້ທ່ານສາມາດຜູກມັດ tags ກັບແຕ່ລະການປະຕິບັດການຈັດສັນຫນ່ວຍຄວາມຈໍາແລະຈັດຕັ້ງການກວດສອບຕົວຊີ້ໃນເວລາທີ່ເຂົ້າເຖິງຫນ່ວຍຄວາມຈໍາ, ເຊິ່ງຕ້ອງກ່ຽວຂ້ອງກັບແທັກທີ່ຖືກຕ້ອງ.
• Debugger LLDB ແລະ frontend ສໍາລັບພາສາ Fortran - Flang ໄດ້ຖືກເພີ່ມເຂົ້າໃນການປະກອບ binary ທີ່ສ້າງຂຶ້ນໂດຍໂຄງການ.

ແຫຼ່ງຂໍ້ມູນ: opennet.ru