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

ຫຼັງຈາກການພັດທະນາຫົກເດືອນ, LLVM 22.1.0 ໄດ້ຖືກປ່ອຍອອກມາ. ມັນພັດທະນາເຄື່ອງມື (ຕົວລວບລວມ, ຕົວເພີ່ມປະສິດທິພາບ, ແລະຕົວສ້າງລະຫັດ) ທີ່ລວບລວມໂປຣແກຣມເຂົ້າໄປໃນບິດໂຄດລະດັບກາງຂອງຄຳສັ່ງເສມືນທີ່ຄ້າຍຄືກັບ RISC (ເຄື່ອງເສມືນລະດັບຕ່ຳທີ່ມີລະບົບການເພີ່ມປະສິດທິພາບຫຼາຍລະດັບ). ລະຫັດປອມທີ່ສ້າງຂຶ້ນສາມາດປ່ຽນເປັນລະຫັດເຄື່ອງສຳລັບແພລດຟອມເປົ້າໝາຍທີ່ກຳນົດໄວ້ ຫຼື ນຳໃຊ້ໂດຍຕົວລວບລວມ just-in-time (JIT) ເພື່ອສ້າງຄຳສັ່ງເຄື່ອງໂດຍກົງໃນລະຫວ່າງການປະຕິບັດໂປຣແກຣມ. ໂດຍອີງໃສ່ເທັກໂນໂລຢີ LLVM, ໂຄງການກຳລັງພັດທະນາຕົວລວບລວມ Clang, ຮອງຮັບພາສາການຂຽນໂປຣແກຣມ C, C++, ແລະ Objective-C. ເລີ່ມຕົ້ນດ້ວຍສາຂາ 18.x, ໂຄງການໄດ້ປ່ຽນໄປໃຊ້ແຜນການໝາຍເລກລຸ້ນໃໝ່, ອີງຕາມການປ່ອຍ 0 ("N.0") ຖືກນໍາໃຊ້ໃນລະຫວ່າງການພັດທະນາ, ແລະລຸ້ນທີ່ໝັ້ນຄົງທຳອິດມີໝາຍເລກ "N.1."

ໃນບັນດາການປັບປຸງໃນ Clang 22:

• ເພີ່ມການສະໜັບສະໜູນສຳລັບໂທເຄັນການຈັດສັນໜ່ວຍຄວາມຈຳ (ໂທເຄັນການຈັດສັນ) ສຳລັບການໝາຍການດຳເນີນງານການຈັດສັນໜ່ວຍຄວາມຈຳທີ່ປະຕິບັດໂດຍໃຊ້ຟັງຊັນຕ່າງໆເຊັ່ນ malloc ດ້ວຍຕົວລະບຸທີ່ເປັນເອກະລັກ. ໂທເຄັນການຈັດສັນຊ່ວຍໃຫ້ສາມາດຈັດໂຄງສ້າງຂໍ້ມູນ heap, ເຮັດໃຫ້ການກວດຫາການຮົ່ວໄຫຼຂອງໜ່ວຍຄວາມຈຳງ່າຍຂຶ້ນ, ແລະ ເຮັດໃຫ້ການຈັດກຸ່ມວັດຖຸໂດຍອີງໃສ່ຈຸດປະສົງ ຫຼື ຮູບແບບການດັດແປງຂອງພວກມັນ (ເຊັ່ນ: ການແຍກຂໍ້ມູນ "ຮ້ອນ" ຈາກ "ເຢັນ"). ເພື່ອເປີດໃຊ້ງານ, ໃຫ້ໃຊ້ທຸງ "-fsanitize=alloc-token".
• ຄຸນສົມບັດທີ່ກ່ຽວຂ້ອງກັບພາສາ C:
  • ຮ່າງຂໍ້ກຳນົດທີ່ກຳນົດກົນໄກການປະຕິບັດທີ່ເລື່ອນເວລາ "ເລື່ອນເວລາ" ໄດ້ຖືກຈັດຕັ້ງປະຕິບັດແລ້ວ, ເຊິ່ງອະນຸຍາດໃຫ້ມີການກະທຳຕ່າງໆເມື່ອຂອບເຂດປັດຈຸບັນອອກຈາກລະບົບ. ທຸງ "-fdefer-ts" ໄດ້ຖືກເພີ່ມເຂົ້າມາເພື່ອເປີດໃຊ້ການຮອງຮັບ "ເລື່ອນເວລາ".
  • ຟັງຊັນ __builtin_stack_address() ທີ່ຕິດຕັ້ງມາພ້ອມໄດ້ຖືກເພີ່ມເຂົ້າມາແລ້ວ, ເຊິ່ງສະທ້ອນກັບຟັງຊັນທີ່ຄ້າຍຄືກັນໃນ GCC. ຟັງຊັນນີ້ສົ່ງຄືນທີ່ຢູ່ stack ທີ່ແຍກພື້ນທີ່ stack ຂອງຟັງຊັນປັດຈຸບັນທີ່ເອີ້ນວ່າ __builtin_stack_address() ແລະຟັງຊັນຕໍ່ໆມາທີ່ມັນເອີ້ນໃຊ້.
• ຄວາມສາມາດໃນການພັດທະນາສໍາລັບມາດຕະຖານ C2y ໃນອະນາຄົດ:
  • ເພີ່ມການສະໜັບສະໜູນສຳລັບ loops ທີ່ມີຊື່, ເຊິ່ງຊ່ວຍໃຫ້ທ່ານສາມາດກຳນົດຊື່ໃຫ້ກັບ loops ແລະ switch statements, ເຊິ່ງສາມາດລະບຸໄດ້ໃນ break ແລະ continue statements ເພື່ອກຳນົດ loop ທີ່ຈະອອກຈາກ loop ຢ່າງຊັດເຈນ. outer: for (int i = 0; i < IK; ++ i) { for (int j = 0; j < JK; ++ j) { continue; // ໄປທີ່ CONT1 continue outer; // ໄປທີ່ CONT2 // CONT1 } // CONT2 }
  • ການຈັດຕັ້ງປະຕິບັດມາໂຄຣ "__COUNTER__" ໃນຕົວ, ທີ່ຖືກອອກແບບມາເພື່ອສ້າງຊື່ຕົວລະບຸທີ່ເປັນເອກະລັກ, ໄດ້ຖືກຂະຫຍາຍ ແລະ ລວມເຂົ້າໃນມາດຕະຖານ. ຂີດຈຳກັດການໂທຫາມາໂຄຣນີ້ 2147483647 ຄັ້ງໄດ້ຖືກກຳນົດໄວ້; ການເກີນຂີດຈຳກັດນີ້ຈະສ້າງຄວາມຜິດພາດ.
  • ລຶບຄຳເຕືອນ (-Wstatic-in-in-line) ເມື່ອໃຊ້ຟັງຊັນຄົງທີ່ ຫຼື ຕົວແປພາຍໃນຟັງຊັນທີ່ປະກາດເປັນ "external inline".
• ຄວາມສາມາດທີ່ກໍານົດໄວ້ໃນມາດຕະຖານ C23 C:
  • ໄຟລ໌ຫົວຂໍ້ float.h ໃນປັດຈຸບັນຮອງຮັບມາໂຄຣ FLT_SNAN, DBL_SNAN, ແລະ LDBL_SNAN, ເຊິ່ງປະຕິບັດຄ່າ NaN ທີ່ມີສັນຍານ (ເຮັດໃຫ້ເກີດຂໍ້ຍົກເວັ້ນເມື່ອໃຊ້ໃນການດຳເນີນງານຄະນິດສາດ) ສຳລັບປະເພດ float, double, ແລະ long double.
  • ແກ້ໄຂຂໍ້ຜິດພາດທີ່ປະເພດທີ່ແຕກຕ່າງກັນທີ່ບໍ່ມີຊື່ຖືກປະຕິບັດວ່າເຂົ້າກັນໄດ້ພາຍໃນຫົວໜ່ວຍການແປພາສາດຽວກັນ ຖ້າພວກມັນມີຊ່ອງຂໍ້ມູນດຽວກັນ.
  • ທຸງ "-MG" ທີ່ໃຊ້ເພື່ອບໍ່ສົນໃຈໄຟລ໌ຫົວຂໍ້ທີ່ຂາດຫາຍໄປໃນລະຫວ່າງການສະແກນການເພິ່ງພາອາໄສໄດ້ຖືກຂະຫຍາຍໄປສູ່ຄຳສັ່ງ "#embed" ແລະດຽວນີ້ສະກັດກັ້ນຄວາມຜິດພາດ "ບໍ່ພົບໄຟລ໌" ເມື່ອໄຟລ໌ທີ່ລະບຸໄວ້ໃນຄຳສັ່ງ "#embed" ຫາຍໄປ.
• ຄຸນ​ນະ​ສົມ​ບັດ​ທີ່​ກ່ຽວ​ຂ້ອງ C++​:
  • ຄວາມສາມາດໃນການໃຊ້ການຜູກມັດທີ່ມີໂຄງສ້າງໃນບໍລິບົດ "constexpr", ດັ່ງທີ່ໄດ້ພັດທະນາໃນຂໍ້ກຳນົດ C++2c (C++26), ໄດ້ຖືກເພີ່ມເຂົ້າມາ. ນີ້ໝາຍຄວາມວ່າການອ້າງອີງເຖິງນິພົດຄົງທີ່ໃນປັດຈຸບັນສາມາດເປັນນິພົດຄົງທີ່ໄດ້. ການຮອງຮັບແມ່ນຖືກປະຕິບັດສຳລັບອາເຣ ແລະ ໂຄງສ້າງງ່າຍໆ (tuples ຍັງບໍ່ໄດ້ຮັບການຮອງຮັບ). constexpr int arr[] = {1, 2}; constexpr auto [x, y] = arr;
  • ຕາມທີ່ໄດ້ກຳນົດໄວ້ໃນມາດຕະຖານ C++20, ຂໍ້ຈຳກັດໃນປັດຈຸບັນຈະຖືກປ່ຽນເປັນຮູບແບບມາດຕະຖານກ່ອນທີ່ຈະຖືກກວດສອບ, ເຊິ່ງຊ່ວຍໃຫ້ຂໍ້ຄວາມການວິນິດໄສຖືກຕ້ອງຫຼາຍຂຶ້ນ ແລະ ການຈັດການຄວາມຜິດພາດໃນການທົດແທນທີ່ເໝາະສົມໃນອາກິວເມັນແມ່ແບບທີ່ໃຊ້ພຽງແຕ່ໃນ concept-ids.
  • ໄດ້ເພີ່ມກຸ່ມຟັງຊັນທີ່ຕິດຕັ້ງມາພ້ອມແລ້ວ "__builtin_[lt|gt|le|ge]_synthesizes_from_spaceship" ເພື່ອຊອກຫາວ່າຕົວປະຕິບັດການປຽບທຽບ "<", ">", "<=", ແລະ ">=" ໄດ້ຖືກສັງເຄາະມາຈາກຕົວປະຕິບັດການ "<=>" ຫຼືບໍ່.
  • ພາລາມິເຕີ "-Wincompatible-pointer-types" ໄດ້ຖືກປ່ຽນແປງເພື່ອສະແດງຂໍ້ຜິດພາດແທນທີ່ຈະເປັນຄຳເຕືອນ. ເພື່ອກັບຄືນໄປຫາພຶດຕິກຳກ່ອນໜ້ານີ້, ໃຫ້ໃຊ້ຕົວເລືອກ "-Wno-error=incompatible-pointer-types".
• ເພີ່ມຟັງຊັນທີ່ຕິດຕັ້ງມາພ້ອມແລ້ວຄື __builtin_bswapg, __builtin_elementwise_ldex, __builtin_elementwise_fshl, __builtin_elementwise_fshr, __builtin_elementwise_minnumnum, __builtin_elementwise_maxnumnum, __builtin_masked_load, __builtin_masked_expand_load, __builtin_masked_store, __builtin_masked_compress_store, __builtin_masked_gather, __builtin_masked_scatter, ແລະ __builtin_dedup_pack. ຕົວຢ່າງ, builtin_dedup_pack ອະນຸຍາດໃຫ້ທ່ານລຶບຂໍ້ມູນທີ່ຊໍ້າກັນອອກຈາກລາຍຊື່ປະເພດຕ່າງໆ: ໂດຍໃຊ້ MyTypeList = TypeList<__builtin_dedup_pack …>; // ປະເພດທີ່ໄດ້ຮັບຈະເປັນ TypeList
• ເມື່ອແກ້ໄຂຂໍ້ຜິດພາດຂອງພຶດຕິກຳທີ່ບໍ່ໄດ້ກຳນົດດ້ວຍ UBSan (-fsanitize=undefined -fsanitize-trap=undefined), ຂໍ້ມູນສາເຫດຂອງຄວາມຜິດພາດໃນປັດຈຸບັນຖືກລວມເຂົ້າໃນຂໍ້ມູນການແກ້ໄຂຂໍ້ຜິດພາດທີ່ສ້າງຂຶ້ນ. ທຸງ "-fsanitize-debug-trap-reasons" ໄດ້ຖືກເພີ່ມເຂົ້າມາເພື່ອລະບຸລະດັບລາຍລະອຽດໃນຂໍ້ມູນຄວາມຜິດພາດ. ມັນສາມາດຕັ້ງຄ່າເປັນ "ພື້ນຖານ" ສຳລັບຄຳອະທິບາຍທົ່ວໄປ (ເຊັ່ນ: "ການບວກຈຳນວນເຕັມລົ້ນ") ແລະ "ລາຍລະອຽດ" ເພື່ອລວມເອົາຂໍ້ມູນລະອຽດ (ເຊັ່ນ: "ການບວກຈຳນວນເຕັມທີ່ມີເຄື່ອງໝາຍລົ້ນໃນ 'a + b'").
• ເພີ່ມທຸງ compiler ໃຫມ່:
  • "-f[no-]sanitize-debug-trap-reasons" ເພື່ອຄວບຄຸມວ່າເຫດຜົນຂອງ exception trap ຈະຖືກຝັງຢູ່ໃນຂໍ້ມູນ debug ຫຼືບໍ່ ເມື່ອຄອມໄພລ໌ດ້ວຍໂໝດ "-fsanitize-trap".
  • "-fsanitize=alloc-token", "-falloc-token-max", "-fsanitize-alloc-token-fast-abi", ແລະ "-fsanitize-alloc-token-extended" ເພື່ອຈັດການໂທເຄັນການຈັດສັນໜ່ວຍຄວາມຈຳ.
  • "-fmatrix-memory-layout" ເພື່ອຄວບຄຸມຮູບແບບໜ່ວຍຄວາມຈຳຂອງປະເພດແມັດຕຣິກ (ເຊັ່ນ: column-major ສຳລັບ column-major, row-major ສຳລັບ row-major).
• ໃນປັດຈຸບັນ ຟັງຊັນຕ່າງໆມີຄຸນລັກສະນະ "malloc_span", ຄ້າຍຄືກັບຄຸນລັກສະນະ malloc ແຕ່ໃຊ້ໄດ້ກັບຟັງຊັນທີ່ສົ່ງຄືນໂຄງສ້າງຄ້າຍຄື span ທີ່ມີຕົວຊີ້ ແລະ ພາກສະໜາມທີ່ມີຂະໜາດ ຫຼື ຕົວຊີ້ໄປຫາທ້າຍບລັອກ.
• ໄດ້ເພີ່ມຄຸນລັກສະນະ "modular_format" ເພື່ອເລືອກການປະຕິບັດທີ່ເຊື່ອມໂຍງແບບຄົງທີ່ທີ່ຕ້ອງການຂອງຟັງຊັນ printf ໃນເວລາເຊື່ອມຕໍ່ແບບໄດນາມິກ.
• ເຄື່ອງມືການວິເຄາະການວິນິດໄສ ແລະ ການວິເຄາະແບບຄົງທີ່ໄດ້ຖືກຂະຫຍາຍອອກ, ການກວດສອບໃໝ່ໄດ້ຖືກເພີ່ມເຂົ້າມາ (ການປັບປຸງທີ່ກ່ຽວຂ້ອງກັບການວິນິດໄສຫຼາຍສິບຢ່າງ).
• ສ່ວນປະກອບເພີ່ມເຕີມສຳລັບສ່ວນຂະຫຍາຍ SSE, AVX, ແລະ AVX512 ໄດ້ຖືກເພີ່ມເຂົ້າໃນ backend X86. ໂໝດ Build ໄດ້ຖືກເພີ່ມສຳລັບ CPU Intel ໂດຍອີງໃສ່ສະຖາປັດຕະຍະກຳຂະໜາດນ້ອຍ Wildcat Lake (-march=wildcatlake) ແລະ Nova Lake (-march=novalake).
• ປັດຈຸບັນ backend ຂອງ AArch64 ຮອງຮັບໂປເຊດເຊີ Ampere Computing Ampere1C (ampere1c), Arm C1-Nano (c1-nano), Arm C1-Pro (c1-pro), Arm C1-Premium (c1-premium), ແລະ Arm C1-Ultra (c1-ultra). ມີການເພີ່ມຟັງຊັນໃນຕົວເພີ່ມເຕີມສຳລັບຄຳແນະນຳ FCVTZ[US], FCVTN[US], FCVTM[US], FCVTP[US], ແລະ FCVTA[US]. ການຮອງຮັບ Function Multi-Versioning (FMV) ໄດ້ຮັບຄວາມໝັ້ນຄົງ. ປະຈຸບັນຜູ້ໃຊ້ສາມາດປ່ຽນແທນຄວາມສຳຄັນຂອງຟັງຊັນເວີຊັນຕ່າງໆໄດ້.
• ເພີ່ມການຮອງຮັບສຳລັບສະຖາປັດຕະຍະກຳ LoongArch32 (LA32R, LA32S).
• ປັບປຸງແບັກເອັນໃຫ້ດີຂຶ້ນສຳລັບສະຖາປັດຕະຍະກຳ ARM, AMDGPU, RISC-V, LoongArch64, MIPS, WebAssembly ແລະ PowerPC.

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