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

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

ລັກສະນະໃຫມ່ຂອງ LLVM 9.0 ປະກອບມີການຖອນແທໍກການອອກແບບທົດລອງອອກຈາກແພລະຕະຟອມ RISC-V ເປົ້າຫມາຍ, ການສະຫນັບສະຫນູນ C ++ ສໍາລັບ OpenCL, ຄວາມສາມາດໃນການແບ່ງປັນໂຄງການເຂົ້າໄປໃນພາກສ່ວນທີ່ຖືກໂຫລດແບບເຄື່ອນໄຫວໃນ LLD, ແລະການຈັດຕັ້ງປະຕິບັດ "asm goto", ໃຊ້ໃນລະຫັດ Linux kernel. libc++ ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບ WASI (WebAssembly System Interface), ແລະ LLD ເພີ່ມການສະຫນັບສະຫນູນເບື້ອງຕົ້ນສໍາລັບການເຊື່ອມໂຍງແບບເຄື່ອນໄຫວຂອງ WebAssembly.

ການປັບປຸງ ໃນ Clang 9.0:

• ເພີ່ມແລ້ວ ການປະຕິບັດການສະແດງອອກສະເພາະຂອງ GCC "asm goto“, ເຊິ່ງອະນຸຍາດໃຫ້ທ່ານຍ້າຍຈາກຕົວປະກອບ inline block ໄປຫາປ້າຍຊື່ໃນລະຫັດ C. ຄຸນສົມບັດນີ້ແມ່ນຕ້ອງການເພື່ອສ້າງ kernel Linux ໃນໂໝດ “CONFIG_JUMP_LABEL=y” ໂດຍໃຊ້ Clang ໃນລະບົບທີ່ມີສະຖາປັດຕະຍະກຳ x86_64. ການພິຈາລະນາການປ່ຽນແປງທີ່ເພີ່ມໃນການປ່ອຍອອກມາກ່ອນຫນ້ານີ້, kernel Linux ປະຈຸບັນສາມາດຖືກສ້າງຂຶ້ນໃນ Clang ສໍາລັບສະຖາປັດຕະຍະກໍາ x86_64 (ກ່ອນຫນ້ານີ້ພຽງແຕ່ການກໍ່ສ້າງສໍາລັບແຂນ, aarch64, ppc32, ppc64le ແລະສະຖາປັດຕະຍະກໍາ mips). ຍິ່ງໄປກວ່ານັ້ນ, ໂຄງການ Android ແລະ ChromeOS ໄດ້ຖືກປ່ຽນໄປໃຊ້ Clang ສໍາລັບການສ້າງແກ່ນ, ແລະ Google ກໍາລັງທົດສອບ Clang ເປັນແພລະຕະຟອມຕົ້ນຕໍສໍາລັບການກໍ່ສ້າງແກ່ນສໍາລັບລະບົບ Linux ການຜະລິດຂອງມັນ. ໃນອະນາຄົດ, ອົງປະກອບ LLVM ອື່ນໆສາມາດຖືກນໍາໃຊ້ໃນຂະບວນການສ້າງ kernel, ລວມທັງ LLD, llvm-objcopy, llvm-ar, llvm-nm, ແລະ llvm-objdump;
• ເພີ່ມການຮອງຮັບການທົດລອງໃຊ້ C++17 ໃນ OpenCL. ລັກສະນະສະເພາະປະກອບມີການສະຫນັບສະຫນູນຄຸນລັກສະນະຂອງພື້ນທີ່ທີ່ຢູ່, ການຂັດຂວາງການປ່ຽນພື້ນທີ່ທີ່ຢູ່ໂດຍຕົວປະຕິບັດການສົ່ງສັນຍານປະເພດ, ການສະຫນອງປະເພດ vector ໃນ OpenCL ສໍາລັບ C, ການປະກົດຕົວຂອງປະເພດ OpenCL ສະເພາະສໍາລັບຮູບພາບ, ເຫດການ, ຊ່ອງທາງ, ແລະອື່ນໆ.
• ເພີ່ມທຸງ compiler ໃໝ່ “-ftime-trace” ແລະ “-ftime-trace-granularity=N” ເພື່ອສ້າງລາຍງານກ່ຽວກັບເວລາປະຕິບັດຂອງຂັ້ນຕອນຕ່າງໆຂອງ frontend (parsing, initialization) ແລະ backend (optimization stages). ບົດລາຍງານໄດ້ຖືກບັນທຶກໄວ້ໃນຮູບແບບ json, ເຫມາະສົມກັບ chrome://tracing ແລະ speedscope.app;
• ເພີ່ມການປະມວນຜົນຂອງຕົວລະບຸ “__declspec(ຜູ້ຈັດສັນ)” ແລະການສ້າງຂໍ້ມູນການດີບັກທີ່ມາພ້ອມກັບທີ່ຊ່ວຍໃຫ້ທ່ານສາມາດຕິດຕາມການບໍລິໂພກຄວາມຊົງຈໍາໃນສະພາບແວດລ້ອມ Visual Studio;
• ສໍາລັບພາສາ C, ການສະຫນັບສະຫນູນໄດ້ຖືກເພີ່ມສໍາລັບ "__FILE_NAME__" macro, ເຊິ່ງຄ້າຍຄືກັບ "__FILE__" macro, ແຕ່ປະກອບມີພຽງແຕ່ຊື່ໄຟລ໌ທີ່ບໍ່ມີເສັ້ນທາງເຕັມ;
• C ++ ໄດ້ຂະຫຍາຍການຮອງຮັບຄຸນສົມບັດພື້ນທີ່ທີ່ຢູ່ເພື່ອໃຫ້ກວມເອົາລັກສະນະຕ່າງໆຂອງ C++, ລວມທັງຕົວກໍານົດການແລະຮູບແບບການໂຕ້ຖຽງ, ປະເພດການອ້າງອິງ, ປະເພດຜົນຕອບແທນ inference, ວັດຖຸ, ຟັງຊັນທີ່ສ້າງຂຶ້ນອັດຕະໂນມັດ, ຕົວປະກອບໃນຕົວ, ແລະອື່ນໆ.
• ຄວາມສາມາດທີ່ກ່ຽວຂ້ອງກັບການສະຫນັບສະຫນູນ OpenCL, OpenMP ແລະ CUDA ໄດ້ຖືກຂະຫຍາຍອອກ. ນີ້ປະກອບມີການສະຫນັບສະຫນູນເບື້ອງຕົ້ນສໍາລັບການລວມເອົາຟັງຊັນ OpenCL ທີ່ມີຢູ່ໃນຕົວ (ທຸງ "-fdeclare-opencl-builtins" ໄດ້ຖືກເພີ່ມ), ສ່ວນຂະຫຍາຍ cl_arm_integer_dot_product ໄດ້ຖືກປະຕິບັດ, ແລະເຄື່ອງມືການວິນິດໄສໄດ້ຖືກຂະຫຍາຍ;
• ການເຮັດວຽກຂອງເຄື່ອງວິເຄາະສະຖິດໄດ້ຖືກປັບປຸງແລະເອກະສານກ່ຽວກັບການປະຕິບັດການວິເຄາະ static ໄດ້ຖືກເພີ່ມ. ເພີ່ມທຸງເພື່ອສະແດງໂມດູນຕົວກວດສອບທີ່ມີຢູ່ ແລະທາງເລືອກທີ່ຮອງຮັບ (“-ນັກວິເຄາະ-ຕົວກວດສອບ[-ທາງເລືອກ]-ຊ່ວຍເຫຼືອ”, “-ນັກວິເຄາະ-ກວດສອບ[-ທາງເລືອກ]-ຊ່ວຍເຫຼືອ-ອັນຟາ” ແລະ “-ນັກວິເຄາະ-ກວດສອບ[-ທາງເລືອກ]-ຊ່ວຍເຫຼືອ "-ຜູ້​ພັດ​ທະ​ນາ​"​)​. ເພີ່ມທຸງ "-analyzer-wrror" ເພື່ອປະຕິບັດການເຕືອນໄພເປັນຄວາມຜິດພາດ.
  ເພີ່ມໂໝດການຢັ້ງຢືນໃໝ່:
  • security.insecureAPI.DeprecatedOrUnsafeBufferHandling ເພື່ອກໍານົດການປະຕິບັດທີ່ບໍ່ປອດໄພສໍາລັບການເຮັດວຽກກັບ buffers;
  • osx.MIGChecker ເພື່ອຊອກຫາການລະເມີດຂອງ MIG (Mach Interface Generator) ກົດລະບຽບການໂທ;
  • optin.osx.OSObjectCStyleCast ເພື່ອຊອກຫາການແປງວັດຖຸ XNU libkern ທີ່ບໍ່ຖືກຕ້ອງ;
  • apiModeling.llvm ກັບຊຸດຂອງຫນ້າທີ່ກວດສອບແບບຈໍາລອງເພື່ອກວດຫາຄວາມຜິດພາດໃນ codebase LLVM;
  • ລະຫັດຄົງທີ່ສໍາລັບການກວດສອບວັດຖຸ C++ ທີ່ບໍ່ຮູ້ຈັກ (UninitializedObject ໃນຊຸດ optin.cplusplus);
• ຜົນປະໂຫຍດຂອງຮູບແບບ clang ໄດ້ເພີ່ມການສະຫນັບສະຫນູນການຈັດຮູບແບບລະຫັດໃນພາສາ C# ແລະສະຫນອງການສະຫນັບສະຫນູນສໍາລັບຮູບແບບການຈັດຮູບແບບລະຫັດທີ່ໃຊ້ໂດຍ Microsoft;
• clang-cl, ການໂຕ້ຕອບເສັ້ນຄໍາສັ່ງທາງເລືອກທີ່ສະຫນອງຄວາມເຂົ້າກັນໄດ້ໃນລະດັບທາງເລືອກກັບ compiler cl.exe ລວມຢູ່ໃນ Visual Studio, ໄດ້ເພີ່ມ heuristics ເພື່ອປະຕິບັດຕໍ່ໄຟລ໌ທີ່ບໍ່ມີຢູ່ເປັນທາງເລືອກເສັ້ນຄໍາສັ່ງແລະສະແດງຄໍາເຕືອນທີ່ສອດຄ້ອງກັນ (ຕົວຢ່າງເຊັ່ນ: ເມື່ອແລ່ນ "clang-cl / diagnostic :caret /c test.cc");
• ສ່ວນໃຫຍ່ຂອງການກວດສອບໃຫມ່ໄດ້ຖືກເພີ່ມເຂົ້າໃນ linter clang-tidy, ລວມທັງການກວດສອບເພີ່ມເຕີມສະເພາະກັບ OpenMP API;
• ຂະຫຍາຍ ຄວາມສາມາດຂອງເຄື່ອງແມ່ຂ່າຍ clangd (Clang Server), ໃນທີ່ຮູບແບບການສ້າງດັດສະນີພື້ນຫລັງແມ່ນເປີດໃຊ້ໂດຍຄ່າເລີ່ມຕົ້ນ, ການສະຫນັບສະຫນູນການປະຕິບັດສະພາບການທີ່ມີລະຫັດໄດ້ຖືກເພີ່ມ (ການດຶງຕົວແປ, ການຂະຫຍາຍຄໍານິຍາມອັດຕະໂນມັດແລະມະຫາພາກ, ການປ່ຽນສາຍທີ່ຫນີໄປເປັນຕົວແປທີ່ບໍ່ໄດ້ຫນີ), ຄວາມສາມາດໃນການສະແດງ ການເຕືອນໄພຈາກ Clang-tidy, ຂະຫຍາຍການວິນິດໄສຄວາມຜິດພາດໃນໄຟລ໌ header ແລະເພີ່ມຄວາມສາມາດໃນການສະແດງຂໍ້ມູນກ່ຽວກັບລໍາດັບຊັ້ນ;

ຕົ້ນ​ຕໍ ນະວັດຕະກໍາ LLVM 9.0:

• ຄຸນສົມບັດການແບ່ງສ່ວນແບບທົດລອງໄດ້ຖືກເພີ່ມເຂົ້າໃນຕົວເຊື່ອມຕໍ່ LLD, ເຊິ່ງຊ່ວຍໃຫ້ທ່ານສາມາດແບ່ງໂຄງການຫນຶ່ງອອກເປັນຫຼາຍພາກສ່ວນ, ແຕ່ລະສ່ວນແມ່ນຢູ່ໃນໄຟລ໌ ELF ແຍກຕ່າງຫາກ. ຄຸນນະສົມບັດນີ້ຊ່ວຍໃຫ້ທ່ານສາມາດເປີດສ່ວນຕົ້ນຕໍຂອງໂຄງການ, ເຊິ່ງຈະໂຫລດອົງປະກອບອື່ນໆຕາມຄວາມຕ້ອງການໃນລະຫວ່າງການປະຕິບັດງານ (ຕົວຢ່າງເຊັ່ນ, ທ່ານສາມາດແຍກຕົວເບິ່ງ PDF ທີ່ມີໃນຕົວເຂົ້າໄປໃນໄຟລ໌ແຍກຕ່າງຫາກ, ເຊິ່ງຈະໂຫລດພຽງແຕ່ເມື່ອຜູ້ໃຊ້ເປີດ PDF ເທົ່ານັ້ນ. ໄຟລ໌).

  ຕົວເຊື່ອມຕໍ່ LLD ໄດ້ນໍາເອົາໄປກ່ອນ ກັບສະຖານະທີ່ເຫມາະສົມສໍາລັບການເຊື່ອມໂຍງ Linux kernel ສໍາລັບ arm32_7, arm64, ppc64le ແລະ x86_64 ສະຖາປັດຕະຍະກໍາ.
  ຕົວເລືອກໃໝ່ "-" (ອອກສູ່ stdout), "-[no-]allow-shlib-undefined", "-undefined-glob", "-nmagic", "-omagic", "-dependent-library", " - z ifunc-noplt" ແລະ "-z common-page-size". ສຳລັບສະຖາປັດຕະຍະກຳ AArch64, ມີການເພີ່ມຄຳແນະນຳ BTI (Branch Target Indicator) ແລະ PAC (Pointer Authentication Code) ແລ້ວ. ສະຫນັບສະຫນູນເວທີ MIPS, RISC-V ແລະ PowerPC ໄດ້ຮັບການປັບປຸງຢ່າງຫຼວງຫຼາຍ. ເພີ່ມການສະຫນັບສະຫນູນເບື້ອງຕົ້ນສໍາລັບການເຊື່ອມໂຍງແບບເຄື່ອນໄຫວສໍາລັບ WebAssembly;

• ໃນ libc++ ປະຕິບັດ ຟັງຊັນ ssize, std::is_constant_evaluated, std::midpoint ແລະ std::lerp, ວິທີການ "ທາງຫນ້າ" ແລະ "ກັບຄືນໄປບ່ອນ" ໄດ້ຖືກເພີ່ມເຂົ້າໃນ std::span, ຄຸນລັກສະນະຂອງປະເພດ std::is_unbounded_array ແລະ std::is_bounded_array ໄດ້ຖືກເພີ່ມແລ້ວ. , std ຄວາມສາມາດໄດ້ຖືກຂະຫຍາຍອອກ: :atomic. ການ​ສະ​ຫນັບ​ສະ​ຫນູນ​ສໍາ​ລັບ GCC 4.9 ໄດ້​ຖືກ​ຢຸດ​ເຊົາ​ການ (ສາ​ມາດ​ນໍາ​ໃຊ້​ກັບ GCC 5.1 ແລະ​ອອກ​ໃຫມ່​ກວ່າ​)​. ເພີ່ມການສະຫນັບສະຫນູນ WASI (WebAssembly System Interface, ການໂຕ້ຕອບສໍາລັບການນໍາໃຊ້ WebAssembly ພາຍນອກຕົວທ່ອງເວັບ);
• ການເພີ່ມປະສິດທິພາບໃຫມ່ໄດ້ຖືກເພີ່ມ. ເປີດໃຊ້ການປ່ຽນການໂທ memcmp ເປັນ bcmp ໃນບາງສະຖານະການ. ການປະຕິບັດການລະເວັ້ນຂອງການກວດສອບໄລຍະສໍາລັບຕາຕະລາງເຕັ້ນໄປຫາທີ່ຕັນສະຫຼັບຕ່ໍາບໍ່ສາມາດເຂົ້າຫາໄດ້ຫຼືໃນເວລາທີ່ຄໍາແນະນໍາບໍ່ໄດ້ຖືກນໍາໃຊ້, ສໍາລັບການຍົກຕົວຢ່າງ, ໃນເວລາທີ່ການເອີ້ນຟັງຊັນທີ່ມີປະເພດ void;
• backend ສໍາລັບສະຖາປັດຕະຍະກໍາ RISC-V ໄດ້ຖືກສະຖຽນລະພາບ, ເຊິ່ງບໍ່ໄດ້ຢູ່ໃນຕໍາແຫນ່ງທົດລອງອີກຕໍ່ໄປແລະຖືກສ້າງຂື້ນໂດຍຄ່າເລີ່ມຕົ້ນ. ສະຫນອງການສະຫນັບສະຫນູນການສ້າງລະຫັດຢ່າງເຕັມທີ່ສໍາລັບຊຸດຄໍາແນະນໍາ RV32I ແລະ RV64I ທີ່ມີສ່ວນຂະຫຍາຍ MAFDC;
• ການປັບປຸງຫຼາຍຢ່າງໄດ້ຖືກເຮັດກັບ backends ສໍາລັບ X86, AArch64, ARM, SystemZ, MIPS, AMDGPU ແລະສະຖາປັດຕະຍະ PowerPC. ຕົວຢ່າງ, ສໍາລັບຖາປັດຕະຍະ
  AArch64 ໄດ້ເພີ່ມການຮອງຮັບ SVE2 (Scalable Vector Extension 2) ແລະຄໍາແນະນໍາ MTE (Memory Tagging Extensions); ໃນ backend ARM, ການຮອງຮັບສະຖາປັດຕະຍະກໍາ Armv8.1-M ແລະສ່ວນຂະຫຍາຍ MVE (M-Profile Vector Extension) ໄດ້ຖືກເພີ່ມ. ການຮອງຮັບສະຖາປັດຕະຍະກຳ GFX10 (Navi) ໄດ້ຖືກເພີ່ມໃສ່ backend ຂອງ AMDGPU, ຄວາມສາມາດເອີ້ນຟັງຊັນແມ່ນເປີດໃຫ້ໃຊ້ງານຕາມຄ່າເລີ່ມຕົ້ນ, ແລະ pass ປະສົມປະສານຖືກເປີດໃຊ້ງານ. ຜຂ (Data-Parallel Primitives).

• ຕອນນີ້ຕົວດີບັກ LLDB ມີການເນັ້ນສີສໍາລັບ backtraces ແລະເພີ່ມການສະຫນັບສະຫນູນສໍາລັບ DWARF4 debug_types ແລະ DWARF5 debug_info blocks;
• ສະຫນັບສະຫນູນສໍາລັບວັດຖຸແລະໄຟລ໌ປະຕິບັດໃນຮູບແບບ COFF ໄດ້ຖືກເພີ່ມເຂົ້າໃນ llvm-objcopy ແລະ llvm-strip utilities.

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