LLVM 18 ຊຸດ compiler ມີໃຫ້

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

ເລີ່ມຕົ້ນດ້ວຍສາຂາ 18.x, ໂຄງການໄດ້ປ່ຽນເປັນໂຄງການໃຫມ່ສໍາລັບການສ້າງຕົວເລກສະບັບ. ຄ້າຍຄືກັນກັບໂຄງການ GCC ແລະ GDB, ການປ່ອຍສູນ ("N.0") ປະຈຸບັນຖືກນໍາໃຊ້ໃນລະຫວ່າງການພັດທະນາ, ແລະສະບັບທີ່ຫມັ້ນຄົງທໍາອິດແມ່ນເລກ "N.1". ການປ່ຽນແປງອະນຸຍາດໃຫ້ທ່ານແຍກການກໍ່ສ້າງໂດຍອີງໃສ່ສາຂາຕົ້ນຕໍຈາກການກໍ່ສ້າງຂອງສາຂາການປ່ອຍສຸດທ້າຍ. ຕົວຢ່າງ, ໃນການກະກຽມສໍາລັບການປ່ອຍປະຈຸບັນ, ການພັດທະນາໄດ້ດໍາເນີນການໂດຍໃຊ້ສາຂາທີ່ບໍ່ຫມັ້ນຄົງຂອງ LLVM 18.0, ແລະການປ່ອຍຄວາມຫມັ້ນຄົງຄັ້ງທໍາອິດໄດ້ຖືກປ່ອຍອອກມາພາຍໃຕ້ຕົວເລກ 18.1.0. ໃນອະນາຄົດ, ຖ້າຈໍາເປັນ, ການແກ້ໄຂສາມາດຖືກສ້າງຂື້ນທຸກໆສອງອາທິດພາຍໃຕ້ຕົວເລກ 18.1.1, 18.1.2, ແລະອື່ນໆ. ຖ້າມີການປ່ຽນແປງກັບສາຂາປະຈຸບັນທີ່ລະເມີດ ABI, ການປັບປຸງຈະຖືກສ້າງຂຶ້ນດ້ວຍການປ່ຽນແປງຕົວເລກທີສອງຂອງຮຸ່ນ (i.e. 18.2.0).

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

• ການປ່ຽນແປງທີ່ກ່ຽວຂ້ອງກັບພາສາ C:
  • ໂຄງສ້າງ, ສະຫະພັນ ແລະ arrays ທີ່ມີຄຸນລັກສະນະ "const", ໂດຍການປຽບທຽບກັບ GCC, ປະຈຸບັນສາມາດຖືກນໍາໃຊ້ເປັນການສະແດງອອກຄົງທີ່.
  • Enums ໃນປັດຈຸບັນໄດ້ຖືກສະທ້ອນໃຫ້ເຫັນໃນ TBAA (Type Based Alias ​​​​Analysis) metadata ເປັນປະເພດ integer ຕົ້ນສະບັບຂອງເຂົາເຈົ້າ, ແທນທີ່ຈະຖືກປະຕິບັດເປັນປະເພດ "char".
  • ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບຄຸນລັກສະນະ "counted_by", ໂດຍຜ່ານທີ່ທ່ານສາມາດກໍານົດພາກສະຫນາມໃນໂຄງສ້າງ array ທີ່ມີຄວາມຍືດຫຍຸ່ນທີ່ກໍານົດຈໍານວນຂອງອົງປະກອບໃນ array ປ່ຽນແປງໄດ້. ຄຸນລັກສະນະສາມາດຖືກນໍາໃຊ້ໃນ clang ເພື່ອປັບປຸງປະສິດທິພາບຂອງການກວດສອບ overflow buffer.
• ຄຸນສົມບັດທີ່ກຳນົດໄວ້ໃນອະນາຄົດ C-standard C23:
  • ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບທຸງ "-std=c23" ແລະ "-std=gnu23", ເຊັ່ນດຽວກັນກັບຄ່າ "202311L" ສໍາລັບ "__STDC_VERSION__" ມະຫາພາກທີ່ກໍານົດມາດຕະຖານ C23 ແລະສ່ວນຂະຫຍາຍ GNU C23.
  • ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບການສະແດງອອກ "ຕ້ອງການ c23" ເພື່ອຜູກມັດໂມດູນເພື່ອສະຫນັບສະຫນູນມາດຕະຖານ C23.
  • ການສະຫນັບສະຫນູນສໍາລັບການ inference ປະເພດໄດ້ຖືກປະຕິບັດໃນເວລາທີ່ກໍານົດວັດຖຸ, ເຊິ່ງອະນຸຍາດໃຫ້ທ່ານນໍາໃຊ້ຄຸນລັກສະນະ "ອັດຕະໂນມັດ" ແທນທີ່ຈະເປັນປະເພດເພື່ອກໍານົດປະເພດຂອງຕົວແປໂດຍອີງໃສ່ປະເພດຂອງການສະແດງອອກສໍາລັບການເລີ່ມຕົ້ນຂອງພວກເຂົາ. ຕົວຢ່າງ: “auto y = cos(x);”.
  • ເພີ່ມການຮອງຮັບໄຟລ໌ header ກັບ macro ສໍາລັບການກວດສອບການຄິດໄລ່ຈໍານວນເຕັມ.
  • ມັນໄດ້ຖືກອະນຸຍາດໃຫ້ວາງປ້າຍຢູ່ບ່ອນໃດກໍໄດ້ພາຍໃນສໍານວນປະສົມ.
  • ເມື່ອລວບລວມຢູ່ໃນໂຫມດ C23, ການສະຫນັບສະຫນູນລະຫັດສໍາລັບ trigraphs, ລໍາດັບຂອງສາມຕົວອັກສອນ ASCII ທີ່ປຸງແຕ່ງເປັນຕົວອັກສອນດຽວ, ແມ່ນບໍ່ສະຫນັບສະຫນູນ, ຕົວຢ່າງ, ລໍາດັບ "??=" ສາມາດໃຊ້ແທນ "#". ຫຼັງຈາກການມາຮອດຂອງ Unicode, ການສະຫນັບສະຫນູນ trigraphs ໄດ້ກາຍເປັນຄວາມຫມາຍ.
• ຄຸນສົມບັດທີ່ກ່ຽວຂ້ອງກັບມາດຕະຖານ C ++ 20: ລັກສະນະທົດລອງໄດ້ຖືກປະຕິບັດເພື່ອນໍາໃຊ້ປະເພດເພີ່ມເຕີມຂອງອາກິວເມັນທີ່ບໍ່ແມ່ນປະເພດໃນແມ່ແບບ, ສໍາລັບການຍົກຕົວຢ່າງ, ອະນຸຍາດໃຫ້ສະເພາະຂອງຄ່າຈຸດລອຍຕົວ, ຕົວຊີ້ແລະການອ້າງອີງເຖິງວັດຖຸຍ່ອຍ.
• ຄຸນນະສົມບັດທີ່ກ່ຽວຂ້ອງກັບມາດຕະຖານ C ++ 23: ການສະຫນັບສະຫນູນການທົດລອງເພີ່ມເຕີມສໍາລັບກົນໄກ "ຫັກນີ້", ເຊິ່ງອະນຸຍາດໃຫ້ທ່ານນໍາໃຊ້ພາລາມິເຕີທີ່ມີຄຸນລັກສະນະ "ນີ້" ໃນແມ່ແບບແລະເຮັດໃຫ້ມັນສາມາດຊອກຫາຈາກຫນ້າທີ່ຊັ້ນຂອງປະເພດ. ການສະແດງອອກ (ຕົວຢ່າງ, ບໍ່ວ່າຈະເປັນຄ່າຄົງທີ່) ທີ່ຟັງຊັນນີ້ເອີ້ນວ່າ.
• ຄຸນສົມບັດທີ່ກ່ຽວຂ້ອງກັບມາດຕະຖານ C++2c (C++26) ໃນອະນາຄົດ:
  • ເພີ່ມຄວາມສາມາດໃນການໃຊ້ຕົວແປຕົວຍຶດບ່ອນຫຼາຍອັນທີ່ມີຊື່ “_” ໃນຂອບເຂດດຽວ, ຕົວຢ່າງ, ໂຄງສ້າງຕໍ່ໄປນີ້ແມ່ນຖືກຕ້ອງແລ້ວ: struct S { int _, _; }; void func() { int _, _; } void other() { int _; // ກ່ອນ​ຫນ້າ​ນີ້​ຄໍາ​ເຕືອນ​ໄດ້​ສະ​ແດງ​ໃຫ້​ເຫັນ​ໃນ -Wunused mode }
  • ມັນເປັນໄປໄດ້ທີ່ຈະໃຊ້ຕົວຫນັງສືສະຕຣິງໃນບໍລິບົດທີ່ພວກມັນບໍ່ຖືກນໍາໃຊ້ເພື່ອເລີ່ມຕົ້ນ array ຕົວອັກສອນແລະບໍ່ສິ້ນສຸດໃນລະຫັດຜົນໄດ້ຮັບ, ແຕ່ຖືກນໍາໃຊ້ພຽງແຕ່ໃນເວລາລວບລວມສໍາລັບຂໍ້ຄວາມການວິນິດໄສແລະການປຸງແຕ່ງກ່ອນ, ສໍາລັບຕົວຢ່າງ, ເປັນພາລາມິເຕີຂອງ. ຄໍາສັ່ງແລະຄຸນລັກສະນະ _Pragma, asm, extern, static_assert, [[ປະຕິເສດ]] ແລະ [[nodiscard]].
  • ການ​ປ່ຽນ​ແປງ​ທີ່​ບໍ່​ມີ​ຜົນ​ກະ​ທົບ​ຂອງ​ຄ່າ enumerated ໃນ​ການ​ຄິດ​ໄລ່​ເລກ​ຄະ​ນິດ​ສາດ​ໄດ້​ຖືກ​ຍົກ​ເລີກ. int main() { enum E1 { e } ; enum E2 { f } ; bool b = e
    
    ແຫຼ່ງຂໍ້ມູນ: opennet.ru