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

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

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

• ສໍາລັບລະບົບທີ່ອີງໃສ່ສະຖາປັດຕະ x86, ທຸງ "-fzero-call-used-regs" ໄດ້ຖືກເພີ່ມ, ເຊິ່ງຮັບປະກັນວ່າການລົງທະບຽນ CPU ທັງຫມົດທີ່ໃຊ້ໃນຟັງຊັນຖືກຕັ້ງຄືນໃຫມ່ເປັນສູນກ່ອນທີ່ຈະກັບຄືນການຄວບຄຸມຈາກຟັງຊັນ. ຕົວເລືອກນີ້ຊ່ວຍໃຫ້ທ່ານສາມາດປ້ອງກັນການຮົ່ວໄຫລຂອງຂໍ້ມູນຈາກຫນ້າທີ່ແລະຫຼຸດຜ່ອນຈໍານວນບລັອກທີ່ເຫມາະສົມສໍາລັບການກໍ່ສ້າງ ROP (Return-Oriented Programming) gadgets ໃນການຂຸດຄົ້ນປະມານ 20%.
• ການ Randomization ຂອງການຈັດວາງຫນ່ວຍຄວາມຈໍາຂອງໂຄງສ້າງສໍາລັບລະຫັດ C ໄດ້ຖືກປະຕິບັດ, ເຊິ່ງເຮັດໃຫ້ການສະກັດເອົາຂໍ້ມູນຈາກໂຄງສ້າງທີ່ສັບສົນໃນກໍລະນີທີ່ມີການຂຸດຄົ້ນຊ່ອງຫວ່າງ. ການສຸ່ມແມ່ນເປີດແລະປິດໂດຍໃຊ້ຄຸນລັກສະນະ randomize_layout ແລະ no_randomize_layout, ແລະຮຽກຮ້ອງໃຫ້ມີການຕັ້ງຄ່າແກ່ນໂດຍໃຊ້ທຸງ "-frandomize-layout-seed" ຫຼື "-frandomize-layout-seed-file".
• ເພີ່ມ "-fstrict-flex-arrays=" ທຸງ ", ທີ່ທ່ານສາມາດຄວບຄຸມຂອບເຂດສໍາລັບອົງປະກອບ array ທີ່ມີຄວາມຍືດຫຍຸ່ນໃນໂຄງສ້າງ (ສະມາຊິກ Array ທີ່ມີຄວາມຍືດຫຍຸ່ນ, array ຂອງຂະຫນາດທີ່ບໍ່ມີກໍານົດຢູ່ໃນຕອນທ້າຍຂອງໂຄງສ້າງ). ເມື່ອຕັ້ງເປັນ 0 (ຄ່າເລີ່ມຕົ້ນ), ອົງປະກອບສຸດທ້າຍຂອງໂຄງສ້າງທີ່ມີ array ຈະຖືກປະມວນຜົນເປັນ array ປ່ຽນແປງໄດ້ສະເໝີ, 1 - ຂະໜາດເທົ່ານັ້ນ [], [0] ແລະ [1] ຖືກປະມວນຜົນເປັນ array ປ່ຽນແປງໄດ້, 2 - ຂະໜາດເທົ່ານັ້ນ. [] ແລະ [0] ຖືກປະມວນຜົນຄືກັບອາເຣທີ່ປ່ຽນແປງໄດ້.
• ເພີ່ມການສະຫນັບສະຫນູນການທົດລອງສໍາລັບພາສາ C-like HLSL (High-Level Shader Language), ທີ່ໃຊ້ໃນ DirectX ສໍາລັບການຂຽນ shaders.
• ເພີ່ມ "-Warray-parameter" ເພື່ອເຕືອນກ່ຽວກັບການ overriding functions ກັບການປະກາດ argument ທີ່ບໍ່ເຂົ້າກັນໄດ້ທີ່ກ່ຽວຂ້ອງກັບ arrays fixed- ແລະ variable-length.
• ປັບປຸງຄວາມເຂົ້າກັນໄດ້ກັບ MSVC. ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບ "#pragma function" (ແນະນໍາ compiler ເພື່ອສ້າງການເອີ້ນຟັງຊັນແທນທີ່ຈະຂະຫຍາຍ inline) ແລະ "#pragma alloc_text" (ກໍານົດຊື່ຂອງພາກສ່ວນທີ່ມີລະຫັດຟັງຊັນ) ສະຫນອງໃຫ້ໃນ MSVC. ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບທຸງ / JMC ທີ່ເຂົ້າກັນໄດ້ກັບ MSVC ແລະ / JMC.
• ວຽກງານສືບຕໍ່ສະຫນັບສະຫນູນມາດຕະຖານ C2X ແລະ C++23 ໃນອະນາຄົດ. ສໍາລັບພາສາ C, ຕໍ່ໄປນີ້ແມ່ນປະຕິບັດ: ຄຸນລັກສະນະ noreturn, ຄໍາສໍາຄັນທີ່ບໍ່ຖືກຕ້ອງແລະຄວາມຈິງ, ປະເພດ _BitInt(N) ສໍາລັບຈໍານວນເຕັມຂອງຄວາມເລິກຂອງບິດ, *_WIDTH macros, ຄໍານໍາຫນ້າ u8 ສໍາລັບ UTF-8 ຕົວອັກສອນທີ່ເຂົ້າລະຫັດ.

  ສໍາລັບ C ++, ຕໍ່ໄປນີ້ແມ່ນປະຕິບັດ: ການລວມຕົວຂອງໂມດູນ, ການແຍກ ABI ຂອງສະມາຊິກຟັງຊັນ, ສັ່ງການເລີ່ມຕົ້ນແບບເຄື່ອນໄຫວຂອງຕົວແປທີ່ບໍ່ແມ່ນທ້ອງຖິ່ນໃນໂມດູນ, ຕົວປະຕິບັດດັດສະນີຫຼາຍມິຕິ, ອັດຕະໂນມັດ (x), ຕົວແປທີ່ບໍ່ແມ່ນຕົວແປ, goto ແລະປ້າຍຊື່ໃນຫນ້າທີ່ປະກາດເປັນ constexpr. , delimited ລໍາດັບ escape, ມີຊື່ຕົວອັກສອນ escape.

• ຄວາມສາມາດທີ່ກ່ຽວຂ້ອງກັບການສະຫນັບສະຫນູນ OpenCL ແລະ OpenMP ໄດ້ຖືກຂະຫຍາຍອອກ. ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບ OpenCL extension cl_khr_subgroup_rotate.
• ສໍາລັບສະຖາປັດຕະຍະກໍາ x86, ການປ້ອງກັນໄດ້ຖືກເພີ່ມຕໍ່ກັບຊ່ອງໂຫວ່ໃນໂປເຊດເຊີທີ່ເກີດຈາກການປະຕິບັດການຄາດເດົາຂອງຄໍາແນະນໍາຫຼັງຈາກການດໍາເນີນງານຂ້າມໄປຂ້າງຫນ້າທີ່ບໍ່ມີເງື່ອນໄຂ. ບັນຫາເກີດຂຶ້ນເນື່ອງຈາກການປະມວນຜົນທາງສ່ວນຫນ້າຂອງຄໍາແນະນໍາທັນທີປະຕິບັດຕາມຄໍາແນະນໍາສາຂາໃນຫນ່ວຍຄວາມຈໍາ (SLS, Straight Line Speculation). ເພື່ອເປີດໃຊ້ການປົກປ້ອງ, ທາງເລືອກ “-mharden-sls=[none|all|return|indirect-jmp]” ຖືກສະເໜີໃຫ້.
• ສໍາລັບແພລະຕະຟອມທີ່ສະຫນັບສະຫນູນການຂະຫຍາຍ SSE2, ປະເພດ _Float16 ໄດ້ຖືກເພີ່ມ, ເຊິ່ງຖືກຈໍາລອງໂດຍໃຊ້ປະເພດ float ໃນກໍລະນີທີ່ຂາດການສະຫນັບສະຫນູນຄໍາແນະນໍາ AVX512-FP16.
• ເພີ່ມທຸງ "-m[no-]rdpru" ເພື່ອຄວບຄຸມການນໍາໃຊ້ຄໍາແນະນໍາ RDPRU, ສະຫນັບສະຫນູນເລີ່ມຕົ້ນດ້ວຍໂປເຊດເຊີ AMD Zen2.
• ເພີ່ມທຸງ "-mfunction-return=thunk-extern" ເພື່ອປ້ອງກັນຊ່ອງໂຫວ່ຂອງ RETBLEED, ເຊິ່ງເຮັດວຽກໂດຍການເພີ່ມລໍາດັບຂອງຄໍາແນະນໍາທີ່ບໍ່ລວມເອົາການມີສ່ວນຮ່ວມຂອງກົນໄກການປະຕິບັດການຄາດເດົາສໍາລັບສາຂາທາງອ້ອມ.

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

• ເພີ່ມການຮອງຮັບ CPU Cortex-M85, Armv9-A, Armv9.1-A ແລະ Armv9.2-A, ສ່ວນຂະຫຍາຍ Armv8.1-M PACBTI-M.
• Backend ທົດລອງສໍາລັບ DirectX ໄດ້ຖືກເພີ່ມທີ່ສະຫນັບສະຫນູນຮູບແບບ DXIL (DirectX Intermediate Language) ທີ່ໃຊ້ສໍາລັບ DirectX shaders. backend ຖືກເປີດໃຊ້ງານໂດຍການລະບຸພາລາມິເຕີ “-DLLVM_EXPERIMENTAL_TARGETS_TO_BUILD=DirectX” ໃນລະຫວ່າງການປະກອບ.
• Libc++ ສືບຕໍ່ປະຕິບັດລັກສະນະໃຫມ່ຂອງມາດຕະຖານ C ++20 ແລະ C ++2b, ລວມທັງການສໍາເລັດການປະຕິບັດຫ້ອງສະຫມຸດ "ຮູບແບບ" ແລະສະບັບທົດລອງທີ່ສະເຫນີຂອງຫ້ອງສະຫມຸດ "ຂອບເຂດ".
• ປັບປຸງ backends ສໍາລັບສະຖາປັດຕະຍະກໍາ x86, PowerPC ແລະ RISC-V.
• ຄວາມສາມາດຂອງຕົວເຊື່ອມຕໍ່ LLD ແລະ LLDB debugger ໄດ້ຮັບການປັບປຸງ.

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