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

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

ການປັບປຸງທີ່ສໍາຄັນໃນ Clang 16.0:

• ມາດຕະຖານ C++/ObjC++ ເລີ່ມຕົ້ນແມ່ນ gnu++17 (ກ່ອນໜ້ານີ້ gnu++14), ຊຶ່ງໝາຍຄວາມວ່າຄຸນສົມບັດ C++17 ທີ່ມີສ່ວນຂະຫຍາຍ GNU ແມ່ນຮອງຮັບໂດຍຄ່າເລີ່ມຕົ້ນ. ເພື່ອກັບຄືນພຶດຕິກໍາທີ່ຜ່ານມາ, ທ່ານສາມາດນໍາໃຊ້ທາງເລືອກ "-std=gnu++14".
• ປະຕິບັດຄຸນສົມບັດຂັ້ນສູງທີ່ກ່ຽວຂ້ອງກັບມາດຕະຖານ C ++20:
  • ໜ້າ​ທີ່​ສະ​ມາ​ຊິກ​ພິ​ເສດ​ທີ່​ມີ​ເງື່ອນ​ໄຂ​ເລັກ​ນ້ອຍ​,
  • ການຈັບໂຄງສ້າງການຜູກມັດໃນຫນ້າທີ່ lambda,
  • ຜູ້ປະຕິບັດຄວາມສະເຫມີພາບພາຍໃນການສະແດງອອກ,
  • ທາງ​ເລືອກ​ທີ່​ຈະ​ຍົກ​ເວັ້ນ​ຄໍາ​ສໍາ​ຄັນ typename ໃນ​ບາງ​ສະ​ພາບ​ການ​,
  • ການເລີ່ມຕົ້ນລວມທີ່ຖືກຕ້ອງໃນວົງເລັບ (“Agr(val1, val2)”).
• ຄຸນສົມບັດທີ່ກຳນົດໄວ້ໃນມາດຕະຖານ C++ 2b ໃນອະນາຄົດໄດ້ຖືກຈັດຕັ້ງປະຕິບັດ:
  • ມັນໄດ້ຖືກອະນຸຍາດໃຫ້ວາງປ້າຍຢູ່ໃນຕອນທ້າຍຂອງການສະແດງອອກປະສົມ,
  • ຕົວປະຕິບັດການຄົງທີ່(),
  • ຕົວປະຕິບັດການຄົງທີ່[],
  • ຄວາມເຂົ້າກັນໄດ້ກັບປະເພດ char8_t ແມ່ນຮັບປະກັນ,
  • ຂອບເຂດຂອງຕົວອັກສອນທີ່ອະນຸຍາດໃຫ້ໃຊ້ໃນ "\N{...}" ໄດ້ຖືກຂະຫຍາຍອອກແລ້ວ
  • ເພີ່ມຄວາມສາມາດໃນການໃຊ້ຕົວແປທີ່ປະກາດເປັນ "static constexpr" ໃນຫນ້າທີ່ປະກາດເປັນ constexpr.
• ຄຸນນະສົມບັດທີ່ກໍານົດໄວ້ໃນອະນາຄົດ C-standard C2x ໄດ້ຖືກປະຕິບັດ:
  • ເພື່ອປິດການນຳໃຊ້ຄຳເຕືອນ "-Wunused-label", ຄຸນສົມບັດ "[[maybe_unused]]" ຖືກອະນຸຍາດໃຫ້ນຳໃຊ້ກັບປ້າຍກຳກັບ.
  • ມັນໄດ້ຖືກອະນຸຍາດໃຫ້ວາງປ້າຍຢູ່ບ່ອນໃດກໍໄດ້ພາຍໃນສໍານວນປະສົມ,
  • ເພີ່ມປະເພດ ແລະ typeof_unqual operators,
  • ປະເພດໃໝ່ nullptr_t ແລະຄ່າຄົງທີ່ nullptr ເພື່ອກຳນົດຕົວຊີ້ null ທີ່ສາມາດປ່ຽນເປັນປະເພດຕົວຊີ້ໃດກໍໄດ້ ແລະເປັນຕົວແທນຂອງຕົວແປຂອງ NULL ທີ່ບໍ່ຜູກມັດກັບຈຳນວນເຕັມ ແລະ void* type.
  • ໃນໂຫມດ C2x, ການໂທຫາ macro va_start ທີ່ມີຈໍານວນຕົວແປຂອງ arguments (variadic) ແມ່ນອະນຸຍາດໃຫ້.
• ໃນໂຫມດການປະຕິບັດຕາມ C99, C11, ແລະ C17, ຕົວເລືອກເລີ່ມຕົ້ນ "-Wimplicit-function-declaration" ແລະ "-Wimplicit-int" ໃນປັດຈຸບັນຜະລິດຄວາມຜິດພາດແທນທີ່ຈະເປັນການເຕືອນ.
• ການນໍາໃຊ້ທາງອ້ອມຂອງ "void *" (ເຊັ່ນ: "void func(void *p) { *p; }") ໃນໂຫມດ C++ ປະຈຸບັນສ້າງຂໍ້ຜິດພາດ, ຄ້າຍຄືກັບ ISO C++, GCC, ICC ແລະ MSVC.
• ການລະບຸ bitfields ເປັນຕົວປະຕິບັດການຄໍາແນະນໍາ (ເຊັ່ນ: "__asm ​​​​{ mov eax, s.bf }") ໃນຕົວປະກອບ inline ແບບ Microsoft ໃນປັດຈຸບັນສ້າງຄວາມຜິດພາດ.
• ເພີ່ມການວິນິດໄສສໍາລັບການປະກົດຕົວຂອງໂຄງສ້າງທີ່ແຕກຕ່າງກັນແລະສະຫະພັນທີ່ມີຊື່ດຽວກັນຢູ່ໃນໂມດູນທີ່ແຕກຕ່າງກັນ.
• ຄວາມສາມາດທີ່ກ່ຽວຂ້ອງກັບການສະຫນັບສະຫນູນ OpenCL ແລະ OpenMP ໄດ້ຖືກຂະຫຍາຍອອກ. ປັບປຸງການວິນິໄສສຳລັບແມ່ແບບ C++ ທີ່ໃຊ້ໃນການໂຕ້ຖຽງ OpenCL kernel. ປັບປຸງການຮອງຮັບການຕໍ່ຄິວຕັນສໍາລັບ AMDGPU. ຄຸນ​ລັກ​ສະ​ນະ nounwind ແມ່ນ​ເພີ່ມ implicitly ກັບ​ຫນ້າ​ທີ່​ທັງ​ຫມົດ. ປັບປຸງການສະຫນັບສະຫນູນສໍາລັບຫນ້າທີ່ສ້າງໃນ.
• ເພີ່ມຄວາມສາມາດໃນການໃຊ້ຕົວແປສະພາບແວດລ້ອມ CLANG_CRASH_DIAGNOSTICS_DIR ເພື່ອກໍານົດໄດເລກະທໍລີທີ່ບັນທຶກຂໍ້ມູນການວິນິໄສການຂັດຂ້ອງ.
• ຮອງຮັບ Unicode ໄດ້ຖືກປັບປຸງໃຫ້ເປັນສະເພາະຂອງ Unicode 15.0. ບາງສັນຍາລັກທາງຄະນິດສາດແມ່ນອະນຸຍາດໃຫ້ຢູ່ໃນຕົວລະບຸ, ເຊັ່ນ "₊" (ເຊັ່ນ: "double xₖ₊₁").
• ເພີ່ມການຮອງຮັບການໂຫຼດໄຟລ໌ການຕັ້ງຄ່າຫຼາຍອັນ (ໄຟລ໌ການຕັ້ງຄ່າເລີ່ມຕົ້ນຖືກໂຫລດກ່ອນ, ແລະຫຼັງຈາກນັ້ນໄຟລ໌ທີ່ລະບຸໄວ້ຜ່ານທຸງ “--config=”, ເຊິ່ງຕອນນີ້ສາມາດລະບຸໄດ້ຫຼາຍຄັ້ງ). ປ່ຽນລຳດັບການໂຫຼດເລີ່ມຕົ້ນຂອງໄຟລ໌ການຕັ້ງຄ່າ: clang ພະຍາຍາມໂຫຼດໄຟລ໌ກ່ອນ - .cfg, ແລະຖ້າມັນບໍ່ພົບມັນພະຍາຍາມໂຫລດສອງໄຟລ໌ .cfg ແລະ .cfg. ເພື່ອປິດການໂຫຼດໄຟລ໌ການຕັ້ງຄ່າຕາມຄ່າເລີ່ມຕົ້ນ, ທຸງ “--no-default-config” ໄດ້ຖືກເພີ່ມ.
• ເພື່ອຮັບປະກັນການສ້າງຊໍ້າຄືນໄດ້, ມັນເປັນໄປໄດ້ທີ່ຈະປ່ຽນຄ່າວັນທີ ແລະເວລາປັດຈຸບັນໃນ __DATE__, __TIME__ ແລະ __TIMESTAMP__ macros ດ້ວຍເວລາທີ່ລະບຸໄວ້ໃນຕົວແປສະພາບແວດລ້ອມ SOURCE_DATE_EPOCH.
• ເພື່ອກວດສອບການປະກົດຕົວຂອງຟັງຊັນໃນຕົວ (builtin) ທີ່ສາມາດນໍາໃຊ້ໃນສະພາບການຄົງທີ່, ມະຫາພາກ "__has_constexpr_builtin" ໄດ້ຖືກເພີ່ມ.
• ເພີ່ມທຸງການລວບລວມໃຫມ່ "-fcoro-aligned-allocation" ສໍາລັບການຈັດສັນກອບ coroutine ສອດຄ່ອງ.
• ທຸງ “-fstrict-flex-arrays=” ປະຕິບັດການສະຫນັບສະຫນູນລະດັບທີສາມຂອງການກວດສອບອົງປະກອບ array ທີ່ມີຄວາມຍືດຫຍຸ່ນໃນໂຄງສ້າງ (ສະມາຊິກອາເຣທີ່ປ່ຽນແປງໄດ້, array ຂອງຂະຫນາດທີ່ບໍ່ກໍານົດຢູ່ໃນຕອນທ້າຍຂອງໂຄງສ້າງ). ໃນລະດັບທີສາມ, ພຽງແຕ່ຂະຫນາດ "[]" (ຕົວຢ່າງ, "int b[]") ຖືກປະຕິບັດເປັນ array ປ່ຽນແປງໄດ້, ແຕ່ຂະຫນາດ "[0]" (ຕົວຢ່າງ, "int b[0]") ບໍ່​ແມ່ນ.
• ເພີ່ມທຸງ "-fmodule-output" ເພື່ອເຮັດໃຫ້ຮູບແບບການລວບລວມຂໍ້ມູນໄລຍະດຽວສໍາລັບໂມດູນ C++ ມາດຕະຖານ.
• ເພີ່ມໂໝດ "-Rpass-analysis=stack-frame-layout" ເພື່ອຊ່ວຍວິນິໄສບັນຫາກັບໂຄງຮ່າງ stack.
• ເພີ່ມຄຸນສົມບັດໃໝ່ __attribute__((target_version("cpu_features")))) ແລະຂະຫຍາຍການເຮັດວຽກຂອງຄຸນລັກສະນະ __attribute__((target_clones("cpu_features1","cpu_features2",...)))) ເພື່ອເລືອກລຸ້ນສະເພາະຂອງຄຸນສົມບັດທີ່ສະໜອງໃຫ້ໂດຍ AArch64 CPUs.
• ຂະຫຍາຍເຄື່ອງມືວິນິດໄສ:
  • ເພີ່ມຄຳເຕືອນ "-Wsingle-bit-bitfield-constant-conversion" ເພື່ອກວດຫາການຫຍໍ້ໜ້າທີ່ບໍ່ກ່ຽວຂ້ອງໃນເວລາກຳນົດອັນໜຶ່ງໃຫ້ກັບ bitfield ທີ່ມີເຊັນດຽວ.
  • ການວິນິດໄສຂອງຕົວແປ constexpr ທີ່ບໍ່ຮູ້ຈັກໄດ້ຖືກຂະຫຍາຍອອກ.
  • ເພີ່ມຄຳເຕືອນ "-Wcast-function-type-strict" ແລະ "-Wincompatible-function-pointer-types-strict" ເພື່ອລະບຸບັນຫາທີ່ອາດເກີດຂຶ້ນກັບການສົ່ງສັນຍານປະເພດຟັງຊັນ.
  • ເພີ່ມການວິນິດໄສສໍາລັບການນໍາໃຊ້ຊື່ໂມດູນທີ່ບໍ່ຖືກຕ້ອງຫຼືສະຫງວນໄວ້ໃນບລັອກການສົ່ງອອກ.
  • ການປັບປຸງການຊອກຄົ້ນຫາຄໍາທີ່ຂາດຫາຍໄປ "ອັດຕະໂນມັດ" ໃນຄໍານິຍາມ.
  • ການປະຕິບັດຄໍາເຕືອນ "-Winteger-overflow" ໄດ້ເພີ່ມການກວດສອບສະຖານະການເພີ່ມເຕີມທີ່ນໍາໄປສູ່ການ overflows.
• ປະຕິບັດການສະຫນັບສະຫນູນສໍາລັບສະຖາປັດຕະຍະກໍາຊຸດຄໍາແນະນໍາ LoongArch (-march=loongarch64 ຫຼື -march=la464), ນໍາໃຊ້ໃນໂປເຊດເຊີ Loongson 3 5000 ແລະປະຕິບັດ RISC ISA ໃຫມ່, ຄ້າຍຄືກັບ MIPS ແລະ RISC-V.

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

• ລະຫັດ LLVM ແມ່ນອະນຸຍາດໃຫ້ໃຊ້ອົງປະກອບທີ່ກຳນົດໄວ້ໃນມາດຕະຖານ C++17.
• ຄວາມຕ້ອງການດ້ານສິ່ງແວດລ້ອມສໍາລັບການກໍ່ສ້າງ LLVM ໄດ້ເພີ່ມຂຶ້ນ. ເຄື່ອງມືສ້າງໃນປັດຈຸບັນຄວນຈະສະຫນັບສະຫນູນມາດຕະຖານ C ++ 17, i.e. ເພື່ອສ້າງ, ທ່ານຕ້ອງການຢ່າງໜ້ອຍ GCC 7.1, Clang 5.0, Apple Clang 10.0 ຫຼື Visual Studio 2019 16.7.
• ດ້ານຫຼັງສຳລັບສະຖາປັດຕະຍະກຳ AArch64 ເພີ້ມການຮອງຮັບ CPU Cortex-A715, Cortex-X3 ແລະ Neoverse V2, ຕົວປະກອບສຳລັບ RME MEC (Memory Encryption Contexts), Armv8.3 extensions (Complex Number) ແລະ Function Multi Versioning.
• ໃນ backend ສໍາລັບສະຖາປັດຕະ ARM, ການສະຫນັບສະຫນູນສໍາລັບແພລະຕະຟອມເປົ້າຫມາຍ Armv2, Armv2A, Armv3 ແລະ Armv3M ໄດ້ຖືກຢຸດເຊົາ, ເຊິ່ງການສ້າງລະຫັດທີ່ຖືກຕ້ອງບໍ່ໄດ້ຖືກຮັບປະກັນ. ເພີ່ມຄວາມສາມາດໃນການສ້າງລະຫັດສໍາລັບຄໍາແນະນໍາສໍາລັບການເຮັດວຽກກັບຕົວເລກຊັບຊ້ອນ.
• ດ້ານຫຼັງສຳລັບສະຖາປັດຕະຍະກຳ X86 ໄດ້ເພີ່ມການຮອງຮັບສະຖາປັດຕະຍະກຳຊຸດຄໍາແນະນໍາ (ISA) AMX-FP16, CMPCCXADD, AVX-IFMA, AVX-VNNI-INT8, AVX-NE-CONVERT. ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບຄໍາແນະນໍາ RDMSRLIST, RMSRLIST ແລະ WRMSRNS. ທາງເລືອກທີ່ປະຕິບັດ "-mcpu = raptorlake", "-mcpu = meteorlake", "-mcpu = emeraldrapids", "-mcpu = sierraforest", "-mcpu = graniterapids" ແລະ "-mcpu = grandridge".
• ເພີ່ມການສະຫນັບສະຫນູນຢ່າງເປັນທາງການສໍາລັບເວທີ LoongArch.
• ປັບປຸງ backends ສໍາລັບ MIPS, PowerPC ແລະສະຖາປັດຕະຍະກໍາ RISC-V
• ເພີ່ມການຮອງຮັບການດີບັ໊ກ 64-bit ທີ່ສາມາດປະຕິບັດໄດ້ສໍາລັບສະຖາປັດຕະຍະກໍາ LoongArch ໃຫ້ກັບຕົວດີບັກ LLDB. ປັບປຸງການຈັດການສັນຍາລັກດີບັກ COFF. ສະຫນອງການກັ່ນຕອງຂອງ DLLs ທີ່ຊ້ໍາກັນໃນບັນຊີລາຍຊື່ຂອງໂມດູນ Windows ທີ່ໂຫລດ.
• ໃນຫ້ອງສະຫມຸດ Libc++, ວຽກງານຕົ້ນຕໍແມ່ນໄດ້ສຸມໃສ່ການປະຕິບັດການສະຫນັບສະຫນູນລັກສະນະໃຫມ່ຂອງມາດຕະຖານ C ++20 ແລະ C ++23.
• ຕົວເຊື່ອມຕໍ່ LDD ຫຼຸດລົງຢ່າງຫຼວງຫຼາຍເວລາເຊື່ອມຕໍ່ໂດຍການຂະຫນານການສະແກນການເຄື່ອນຍ້າຍທີ່ຢູ່ແລະການດໍາເນີນງານເບື້ອງຕົ້ນຂອງພາກສ່ວນ. ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບການບີບອັດສ່ວນໂດຍໃຊ້ ZSTD algorithm.

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