ປ່ອຍຊຸດຄອມພີວເຕີ GCC 12

ຫຼັງຈາກຫນຶ່ງປີຂອງການພັດທະນາ, ຊຸດ compiler ຟຣີ GCC 12.1 ໄດ້ຖືກປ່ອຍອອກມາ, ເປັນການປ່ອຍທີ່ສໍາຄັນຄັ້ງທໍາອິດໃນສາຂາໃຫມ່ GCC 12.x. ອີງຕາມຮູບແບບການອອກເລກໃຫມ່, ຮຸ່ນ 12.0 ໄດ້ຖືກນໍາໃຊ້ໃນຂະບວນການພັດທະນາ, ແລະບໍ່ດົນກ່ອນທີ່ຈະເປີດຕົວ GCC 12.1, ສາຂາ GCC 13.0 ໄດ້ແຍກອອກແລ້ວ, ບົນພື້ນຖານຂອງການປ່ອຍທີ່ສໍາຄັນຕໍ່ໄປ, GCC 13.1, ຈະ. ຖືກສ້າງຕັ້ງຂຶ້ນ. ວັນ​ທີ 23 ພຶດ​ສະ​ພາ, ໂຄງ​ການ​ດັ່ງ​ກ່າວ​ຈະ​ສະ​ເຫຼີມ​ສະ​ຫຼອງ 35 ປີ​ນັບ​ແຕ່​ການ​ສ້າງ​ຕັ້ງ​ສະ​ບັບ​ທຳ​ອິດ​ຂອງ GCC.

ການປ່ຽນແປງຕົ້ນຕໍ:

• ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບຮູບແບບການດີບັກ CTF (Compact Type Format) ເຊິ່ງສະຫນອງການເກັບຮັກສາຂໍ້ມູນທີ່ຫນາແຫນ້ນກ່ຽວກັບປະເພດ C, ການເຊື່ອມຕໍ່ລະຫວ່າງຟັງຊັນແລະສັນຍາລັກການດີບັກ. ເມື່ອຝັງຢູ່ໃນວັດຖຸ ELF, ຮູບແບບອະນຸຍາດໃຫ້ນໍາໃຊ້ຕາຕະລາງຕົວອັກສອນ EFL ເພື່ອຫຼີກເວັ້ນການຊ້ໍາກັນຂອງຂໍ້ມູນ.
• ຮອງຮັບຮູບແບບການເກັບຮັກສາຂໍ້ມູນການດີບັກ "STABS", ທີ່ສ້າງຂຶ້ນໃນຊຸມປີ 1980, ໄດ້ຖືກຍົກເລີກ.
• ວຽກງານຍັງສືບຕໍ່ຂະຫຍາຍການສະຫນັບສະຫນູນສໍາລັບມາດຕະຖານ C2X ແລະ C ++23 ໃນອະນາຄົດສໍາລັບພາສາ C ແລະ C ++. ຕົວຢ່າງ, ການສະຫນັບສະຫນູນສໍາລັບ "ຖ້າ consteval" ໄດ້ຖືກເພີ່ມ; ອະນຸຍາດໃຫ້ໃຊ້ອັດຕະໂນມັດໃນການໂຕ້ຖຽງຟັງຊັນ (“f(auto(g()))”); ການນໍາໃຊ້ຕົວແປທີ່ບໍ່ແມ່ນຕົວແປ, goto ແລະປ້າຍຊື່ແມ່ນອະນຸຍາດໃຫ້ຢູ່ໃນຫນ້າທີ່ປະກາດວ່າເປັນ constexpr; ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບຕົວປະຕິບັດການດັດສະນີຫຼາຍມິຕິລະດັບ[]; in if, for and switch, ຄວາມສາມາດຂອງທ່ອນໄມ້ເບື້ອງຕົ້ນໄດ້ຖືກຂະຫຍາຍອອກ (“ສໍາລັບ (ໃຊ້ T = int; T e : v)”).
• ຫໍສະໝຸດມາດຕະຖານ C++ ໄດ້ປັບປຸງການຮອງຮັບພາກສ່ວນທົດລອງຂອງມາດຕະຖານ C++20 ແລະ C++23. ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບ std::move_only_function, , std::basic_string::resize_and_overwrite, , ແລະ std::invoke_r. ອະນຸຍາດໃຫ້ໃຊ້ std::unique_ptr, std::vector, std::basic_string, std::optional ແລະ std::variant ໃນຟັງຊັນ constexpr.
• Fortran frontend ສະຫນອງການສະຫນັບສະຫນູນຢ່າງເຕັມທີ່ສໍາລັບຂໍ້ກໍານົດ TS 29113, ເຊິ່ງອະທິບາຍຄວາມສາມາດສໍາລັບການຮັບປະກັນການເຄື່ອນທີ່ລະຫວ່າງລະຫັດ Fortran ແລະ C.
• ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບສ່ວນຂະຫຍາຍ __builtin_shufflevector(vec1, vec2, index1, index2, ...) ກ່ອນຫນ້ານີ້ໄດ້ເພີ່ມເຂົ້າໃນ Clang, ເຊິ່ງສະຫນອງການໂທດຽວເພື່ອປະຕິບັດການສັ່ນ vector ແລະ shuffle ທົ່ວໄປ.
• ເມື່ອໃຊ້ລະດັບການເພີ່ມປະສິດທິພາບ "-O2", vectorization ຖືກເປີດໃຊ້ໂດຍຄ່າເລີ່ມຕົ້ນ (the -ftree-vectorize and -fvect-cost-model=very-cheap modes are enabled). ຮູບແບບທີ່ມີລາຄາຖືກຫຼາຍອະນຸຍາດໃຫ້ vectorization ພຽງແຕ່ຖ້າຫາກວ່າລະຫັດ vector ຢ່າງສົມບູນສາມາດທົດແທນລະຫັດ scalar ເປັນ vectorized.
• ເພີ່ມໂໝດ "-ftrivial-auto-var-init" ເພື່ອເປີດໃຊ້ການເລີ່ມຕົ້ນຢ່າງຈະແຈ້ງຂອງຕົວແປໃນ stack ເພື່ອຕິດຕາມບັນຫາ ແລະ ບລັອກຊ່ອງໂຫວ່ທີ່ກ່ຽວຂ້ອງກັບການໃຊ້ຕົວແປທີ່ບໍ່ໄດ້ໃຊ້.
• ສໍາລັບພາສາ C ແລະ C++, ຟັງຊັນ __builtin_dynamic_object_size ໄດ້ຖືກເພີ່ມເຂົ້າໃນການກໍານົດຂະຫນາດຂອງວັດຖຸ, ເຂົ້າກັນໄດ້ກັບຟັງຊັນທີ່ຄ້າຍຄືກັນຈາກ Clang.
• ສໍາລັບພາສາ C ແລະ C ++, ການສະຫນັບສະຫນູນສໍາລັບຄຸນລັກສະນະ "ບໍ່ສາມາດໃຊ້ໄດ້" ໄດ້ຖືກເພີ່ມ (ຕົວຢ່າງເຊັ່ນ, ທ່ານສາມາດຫມາຍຫນ້າທີ່ທີ່ຈະສ້າງຂໍ້ຜິດພາດຖ້າທ່ານພະຍາຍາມໃຊ້ພວກມັນ).
• ສໍາລັບພາສາ C ແລະ C ++, ການສະຫນັບສະຫນູນການປຸງແຕ່ງຄໍາສັ່ງ "#elifdef" ແລະ "#elifdef" ໄດ້ຖືກເພີ່ມ.
• ເພີ່ມ "-Wbidi-chars" ທຸງເພື່ອສະແດງຄໍາເຕືອນຖ້າຫາກວ່າຕົວອັກສອນ UTF-8 ຖືກນໍາໃຊ້ບໍ່ຖືກຕ້ອງ, ການປ່ຽນແປງຄໍາສັ່ງໃນການສະແດງຂໍ້ຄວາມ bidirectional.
• ເພີ່ມທຸງ "-Warray-compare" ເພື່ອເຕືອນເມື່ອພະຍາຍາມປຽບທຽບ operands ສອງອັນທີ່ອ້າງອີງເຖິງ arrays.
• ການປະຕິບັດມາດຕະຖານ OpenMP 5.0 ແລະ 5.1 (Open Multi-Processing), ເຊິ່ງກໍານົດ API ແລະວິທີການນໍາໃຊ້ວິທີການຂຽນໂປລແກລມຂະຫນານໃນລະບົບ multi-core ແລະ hybrid (CPU + GPU / DSP) ທີ່ມີຫນ່ວຍຄວາມຈໍາທີ່ໃຊ້ຮ່ວມກັນແລະ vectorization (SIMD) , ໄດ້ສືບຕໍ່.
• ການປັບປຸງການປະຕິບັດການກໍານົດໂຄງການແບບຂະຫນານ OpenACC 2.6, ເຊິ່ງກໍານົດເຄື່ອງມືສໍາລັບການປະຕິບັດງານ offloading ໃນ GPUs ແລະໂປເຊດເຊີພິເສດເຊັ່ນ NVIDIA PTX.
• ສະຫນັບສະຫນູນຄໍາແນະນໍາຂະຫຍາຍ Intel AVX86-FP512 ແລະປະເພດ _Float16 ໄດ້ຖືກເພີ່ມເຂົ້າໃນ backend ການສ້າງລະຫັດສໍາລັບສະຖາປັດຕະ x16.
• ສໍາລັບສະຖາປັດຕະຍະກໍາ x86, ການປ້ອງກັນໄດ້ຖືກເພີ່ມຕໍ່ກັບຊ່ອງໂຫວ່ໃນໂປເຊດເຊີທີ່ເກີດຈາກການປະຕິບັດການຄາດເດົາຂອງຄໍາແນະນໍາຫຼັງຈາກການດໍາເນີນງານຂ້າມໄປຂ້າງຫນ້າທີ່ບໍ່ມີເງື່ອນໄຂ. ບັນຫາເກີດຂຶ້ນເນື່ອງຈາກການປະມວນຜົນທາງສ່ວນຫນ້າຂອງຄໍາແນະນໍາທັນທີປະຕິບັດຕາມຄໍາແນະນໍາສາຂາໃນຫນ່ວຍຄວາມຈໍາ (SLS, Straight Line Speculation). ເພື່ອເປີດໃຊ້ການປົກປ້ອງ, ທາງເລືອກ "-mharden-sls" ຖືກສະເຫນີ.
• ເພີ່ມການກວດຫາການໃຊ້ຕົວແປທີ່ບໍ່ໄດ້ໃຊ້ໃນຕົວວິເຄາະສະຖິດທົດລອງ. ເພີ່ມການສະຫນັບສະຫນູນເບື້ອງຕົ້ນສໍາລັບການວິເຄາະລະຫັດການປະກອບໃນ inline inserts. ປັບປຸງການຕິດຕາມຄວາມຊົງຈໍາ. ລະຫັດສໍາລັບການປະມວນຜົນການສະແດງອອກຂອງສະຫຼັບໄດ້ຖືກຂຽນຄືນໃຫມ່.
• ເພີ່ມ 30 ການໂທໃຫມ່ກັບ libgccjit, ຫ້ອງສະຫມຸດທີ່ໃຊ້ຮ່ວມກັນສໍາລັບການຝັງຕົວສ້າງລະຫັດເຂົ້າໄປໃນຂະບວນການອື່ນໆແລະນໍາໃຊ້ມັນເພື່ອ JIT ລວບລວມ bytecode ເຂົ້າໄປໃນລະຫັດເຄື່ອງຈັກ.
• ການສະຫນັບສະຫນູນກົນໄກ CO-RE (Compile Once - Run Everywhere) ໄດ້ຖືກເພີ່ມເຂົ້າໃນ backend ສໍາລັບການສ້າງ BPF bytecode, ເຊິ່ງຊ່ວຍໃຫ້ທ່ານສາມາດລວບລວມລະຫັດຂອງໂປລແກລມ eBPF ສໍາລັບ Linux kernel ໄດ້ພຽງແຕ່ຄັ້ງດຽວແລະນໍາໃຊ້ເຄື່ອງໂຫລດທົ່ວໄປພິເສດທີ່ດັດແປງ. ໂປຣແກມທີ່ໂຫລດມາໃສ່ໃນ kernel ປະຈຸບັນ ແລະ BPF Types Format). CO-RE ແກ້ໄຂບັນຫາການເຄື່ອນທີ່ຂອງໂປລແກລມ eBPF ທີ່ຖືກລວບລວມ, ເຊິ່ງກ່ອນຫນ້ານີ້ສາມາດນໍາໃຊ້ພຽງແຕ່ໃນສະບັບຂອງ kernel ທີ່ພວກເຂົາໄດ້ຖືກລວບລວມ, ນັບຕັ້ງແຕ່ຕໍາແຫນ່ງຂອງອົງປະກອບໃນໂຄງສ້າງຂໍ້ມູນປ່ຽນຈາກຮຸ່ນໄປຫາຮຸ່ນ.
• backend RISC-V ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບຊຸດຄໍາແນະນໍາໃຫມ່ສໍາລັບການຂະຫຍາຍສະຖາປັດຕະຍະກໍາ zba, zbb, zbc ແລະ zbs, ເຊັ່ນດຽວກັນກັບສ່ວນຂະຫຍາຍ ISA ສໍາລັບການປະຕິບັດການເຂົ້າລະຫັດ vector ແລະ scalar. ໂດຍຄ່າເລີ່ມຕົ້ນ, ຮອງຮັບສະເພາະ RISC-V ISA 20191213. ທຸງ -mtune=thead-c906 ໄດ້ຖືກເພີ່ມເຂົ້າເພື່ອໃຫ້ການເພີ່ມປະສິດທິພາບສໍາລັບ T-HEAD c906 cores.
• ການຮອງຮັບປະເພດ __int128_t/integer(kind=16) ໄດ້ຖືກເພີ່ມໃສ່ backend ການສ້າງລະຫັດສໍາລັບ AMD GPUs ໂດຍອີງໃສ່ສະຖາປັດຕະຍະກໍາຈຸລະພາກ GCN. ມັນເປັນໄປໄດ້ທີ່ຈະນໍາໃຊ້ເຖິງ 40 ກຸ່ມວຽກຕໍ່ຫນ່ວຍງານຄອມພິວເຕີ (CU) ແລະເຖິງ 16 ຫນ້າທີ່ແນະນໍາ (wavefront, ຊຸດຂອງກະທູ້ປະຕິບັດໃນຂະຫນານໂດຍ SIMD Engine) ຕໍ່ກຸ່ມ. ກ່ອນຫນ້ານີ້, ພຽງແຕ່ຫນຶ່ງຂອບຄໍາແນະນໍາຕໍ່ CU ໄດ້ຖືກອະນຸຍາດໃຫ້.
• NVPTX backend, ຖືກອອກແບບມາເພື່ອສ້າງລະຫັດໂດຍໃຊ້ສະຖາປັດຕະຍະກໍາຊຸດຄໍາແນະນໍາ NVIDIA PTX (Parallel Thread Execution), ໄດ້ເພີ່ມຄວາມສາມາດໃນການນໍາໃຊ້ທຸງ "-march", "-mptx" ແລະ "-march-map". ຮອງຮັບ PTX ISA sm_53, sm_70, sm_75 ແລະ sm_80. ສະຖາປັດຕະຍະກຳເລີ່ມຕົ້ນແມ່ນ sm_30.
• ໃນ backend ສໍາລັບໂປເຊດເຊີ PowerPC / PowerPC64 / RS6000, ການປະຕິບັດຫນ້າທີ່ສ້າງຢູ່ໃນໄດ້ຖືກຂຽນຄືນໃຫມ່. ຟັງຊັນໃນຕົວ __builtin_get_texasr, __builtin_get_texasru, __builtin_get_tfhar, __builtin_get_tfiar, __builtin_set_texasr, __builtin_set_texasru, __builtin_set_set_set_at.
• ຮອງຮັບ Arm Ampere-64 (-mcpu/-mtune ampere1), Arm Cortex-A1 (cortex-a510), Arm Cortex-A510 (cortex-a710) ແລະ Arm Cortex-X710 (cortex- x2). ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບທາງເລືອກສະຖາປັດຕະຍະກໍາ ARMv2 ໃຫມ່ສໍາລັບການນໍາໃຊ້ "-march" ທາງເລືອກ: armv8-a, armv8.7-a, armv8.8-a. ເພີ່ມການປະຕິບັດຫນ້າທີ່ C ທີ່ສ້າງຂຶ້ນໃນ compiler (Intrinsics) ສໍາລັບການໂຫຼດປະລໍາມະນູແລະປະຫຍັດຂໍ້ມູນເຂົ້າໄປໃນຫນ່ວຍຄວາມຈໍາ, ໂດຍອີງໃສ່ການນໍາໃຊ້ຄໍາແນະນໍາ ARM ຂະຫຍາຍ (ls9). ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບການເລັ່ງການເຮັດວຽກຂອງ memcpy, memmove ແລະ memset ໂດຍໃຊ້ mopsoption ARM extension.
• ເພີ່ມໂຫມດການກວດສອບໃຫມ່ “-fsanitize=shadow-call-stack” (ShadowCallStack), ເຊິ່ງປະຈຸບັນມີພຽງແຕ່ສໍາລັບສະຖາປັດຕະຍະກໍາ AArch64 ແລະເຮັດວຽກໃນເວລາທີ່ລະຫັດອາຄານກັບທາງເລືອກ "-ffixed-r18". ໂຫມດສະຫນອງການປ້ອງກັນການຂຽນທັບທີ່ຢູ່ສົ່ງຄືນຈາກຟັງຊັນໃນກໍລະນີຂອງ buffer overflow ໃນ stack. ໂດຍເນື້ອແທ້ແລ້ວຂອງການປົກປ້ອງແມ່ນເພື່ອບັນທຶກທີ່ຢູ່ກັບຄືນໃນ stack "shadow" ແຍກຕ່າງຫາກຫຼັງຈາກການໂອນການຄວບຄຸມໄປຫາຫນ້າທີ່ໃດຫນຶ່ງແລະດຶງເອົາທີ່ຢູ່ນີ້ກ່ອນທີ່ຈະອອກຈາກຟັງຊັນ.

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