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

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

ຄຸນສົມບັດໃໝ່ໃນ LLVM 10.0 ປະກອບມີການຮອງຮັບ C++ Concepts, ບໍ່ໄດ້ໃຊ້ Clang ເປັນຂະບວນການແຍກຕ່າງຫາກ, ຮອງຮັບ CFG (control flow guards) checks ສໍາລັບ Windows, ແລະສະຫນັບສະຫນູນຄວາມສາມາດ CPU ໃຫມ່.

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

• ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບ "ແນວຄວາມຄິດ", ນາມສະກຸນແມ່ແບບ C++ ທີ່ຈະຖືກລວມເຂົ້າໃນມາດຕະຖານຕໍ່ໄປ, ມີລະຫັດຊື່ C++2a (ເປີດໂດຍທຸງ -std=c++2a).
  ແນວຄວາມຄິດອະນຸຍາດໃຫ້ທ່ານກໍານົດຊຸດຂອງຂໍ້ກໍານົດພາລາມິເຕີຂອງແມ່ແບບທີ່, ໃນເວລາລວບລວມ, ຈໍາກັດຊຸດຂອງ arguments ທີ່ສາມາດຍອມຮັບໄດ້ເປັນຕົວກໍານົດການແມ່ແບບ. ແນວຄວາມຄິດສາມາດຖືກນໍາໃຊ້ເພື່ອຫຼີກເວັ້ນຄວາມບໍ່ສອດຄ່ອງກັນລະຫວ່າງຄຸນສົມບັດຂອງປະເພດຂໍ້ມູນທີ່ໃຊ້ພາຍໃນແມ່ແບບແລະຄຸນສົມບັດປະເພດຂໍ້ມູນຂອງຕົວກໍານົດການປ້ອນຂໍ້ມູນ.

  ແມ່ແບບ
  ແນວຄວາມຄິດຄວາມສະເໝີພາບປຽບທຽບ = ຕ້ອງການ(T a, T b) {
  { a == b } -> std::boolean;
  { a != b } -> std::boolean;
  };

• ໂດຍຄ່າເລີ່ມຕົ້ນ, ການເປີດຕົວຂອງຂະບວນການແຍກຕ່າງຫາກ (“clang -cc1”) ເຊິ່ງການລວບລວມໄດ້ຖືກຢຸດເຊົາ. ໃນປັດຈຸບັນການລວບລວມແມ່ນເຮັດໃນຂະບວນການຕົ້ນຕໍ, ແລະທາງເລືອກ "-fno-integrated-cc1" ສາມາດນໍາໃຊ້ເພື່ອຟື້ນຟູພຶດຕິກໍາເກົ່າ.
• ໂໝດວິນິດໄສໃໝ່:
  • "-Wc99-designator" ແລະ "-Wreorder-init-list" ເຕືອນບໍ່ໃຫ້ໃຊ້ C99 initializers ໃນໂໝດ C++ ໃນກໍລະນີທີ່ພວກມັນຖືກຕ້ອງໃນ C99 ແຕ່ບໍ່ແມ່ນຢູ່ໃນ C++20.
  • "-Wsizeof-array-div" - ຈັບສະຖານະການເຊັ່ນ "int arr[10]; …sizeof(arr) / sizeof(short)…” (ຄວນຈະເປັນ “sizeof(arr) / sizeof(int)”).
  • "-wxor-used-as-po" - ເຕືອນຕໍ່ກັບການນໍາໃຊ້ໂຄງສ້າງເຊັ່ນ: ການນໍາໃຊ້ຕົວປະຕິບັດການ "^" (xor) ໃນການດໍາເນີນງານທີ່ສາມາດສັບສົນກັບ exponentiation (2^16).
  • "-Wfinal-dtor-non-final-class" - ເຕືອນກ່ຽວກັບຊັ້ນຮຽນທີ່ບໍ່ໄດ້ຖືກຫມາຍດ້ວຍຕົວລະບຸ "ສຸດທ້າຍ", ແຕ່ມີຕົວທໍາລາຍທີ່ມີຄຸນລັກສະນະ "ສຸດທ້າຍ".
  • "-Wtautological-bitwise-compare" ແມ່ນກຸ່ມຂອງຄໍາເຕືອນສໍາລັບການວິນິດໄສການປຽບທຽບ tautological ລະຫວ່າງການປະຕິບັດບິດບິດແລະຄົງທີ່, ແລະສໍາລັບການກໍານົດການປຽບທຽບທີ່ແທ້ຈິງສະເຫມີທີ່ການປະຕິບັດ bitwise OR ຖືກນໍາໃຊ້ກັບຈໍານວນທີ່ບໍ່ແມ່ນລົບ.
  • "-Wbitwise-conditional-parentheses" ເຕືອນບັນຫາເມື່ອປະສົມຕົວປະຕິບັດການຕາມເຫດຜົນ AND (&) ແລະ OR (|) ກັບຕົວປະຕິບັດການຕາມເງື່ອນໄຂ (?:).
  • "-wmisleading-indentation" ແມ່ນການປຽບທຽບຂອງການກວດສອບຊື່ດຽວກັນຈາກ GCC, ເຊິ່ງເຕືອນກ່ຽວກັບການສະແດງອອກທີ່ຫຍໍ້ຫນ້າຄືກັບວ່າພວກເຂົາເປັນສ່ວນຫນຶ່ງຂອງ if/else/for/while block, ແຕ່ຄວາມຈິງແລ້ວພວກມັນບໍ່ໄດ້ຖືກລວມຢູ່ໃນບລັອກນີ້. .
  • ເມື່ອລະບຸ "-Wextra", ການກວດສອບ "-Wdeprecated-copy" ຖືກເປີດໃຊ້, ເຕືອນກ່ຽວກັບການນໍາໃຊ້ຕົວສ້າງ.
    "ຍ້າຍ" ແລະ "ສໍາເນົາ" ໃນຫ້ອງຮຽນທີ່ມີຄໍານິຍາມ destructor ຢ່າງຊັດເຈນ.

  • ການກວດສອບ "-Wtautological-overlap-compare", "-Wsizeof-pointer-div", "-Wtautological-compare", "-Wrange-loop-analysis" ໄດ້ຖືກຂະຫຍາຍອອກ.
  • ການກວດສອບ "-Wbitwise-op-parentheses" ແລະ "-Wlogical-op-parentheses" ຖືກປິດໃຊ້ງານໂດຍຄ່າເລີ່ມຕົ້ນ.
• ໃນລະຫັດ C ແລະ C++, ຄຳສັ່ງເລກຄະນິດຂອງຕົວຊີ້ແມ່ນອະນຸຍາດໃຫ້ຢູ່ໃນອາເຣເທົ່ານັ້ນ. ເຄື່ອງອະນາໄມພຶດຕິກຳທີ່ບໍ່ໄດ້ກຳນົດໄວ້ໃນໂໝດ "-fsanitize=pointer-overflow" ຕອນນີ້ຈັບກໍລະນີເຊັ່ນການເພີ່ມຄ່າຊົດເຊີຍທີ່ບໍ່ແມ່ນສູນໃສ່ຕົວຊີ້ null ຫຼືສ້າງຕົວຊີ້ null ເມື່ອລົບຈຳນວນເຕັມຈາກຕົວຊີ້ທີ່ບໍ່ແມ່ນ null.
• ໂຫມດ "-fsanitize=implicit-conversion" (Implicit Conversion Sanitizer) ແມ່ນຖືກປັບຕົວເພື່ອກໍານົດບັນຫາທີ່ມີການປະຕິບັດການເພີ່ມຂຶ້ນ ແລະການຫຼຸດລົງສໍາລັບປະເພດທີ່ມີຂະໜາດນ້ອຍກວ່າຂອງປະເພດ "int".
• ເມື່ອເລືອກສະຖາປັດຕະຍະກໍາເປົ້າຫມາຍ x86 "-march=skylake-avx512", "-march=icelake-client", "-march=icelake-server", "-march=cascadelake" ແລະ "-march = cooperlake" ໂດຍຄ່າເລີ່ມຕົ້ນໃນ vectorized The ລະຫັດໄດ້ຢຸດເຊົາການນໍາໃຊ້ 512-bit zmm ລົງທະບຽນ, ຍົກເວັ້ນການຊີ້ບອກໂດຍກົງຂອງພວກເຂົາໃນລະຫັດແຫຼ່ງ. ເຫດຜົນແມ່ນວ່າຄວາມຖີ່ CPU ຫຼຸດລົງເມື່ອດໍາເນີນການ 512-bit, ເຊິ່ງສາມາດສົ່ງຜົນກະທົບທາງລົບຕໍ່ການປະຕິບັດໂດຍລວມ. ເພື່ອປ່ຽນພຶດຕິກໍາໃຫມ່, ທາງເລືອກ "-mprefer-vector-width=512" ແມ່ນສະຫນອງໃຫ້.
• ພຶດຕິກໍາຂອງທຸງ "-flax-vector-conversions" ແມ່ນຄ້າຍຄືກັນກັບ GCC: ການແປງບິດ vector implicit ລະຫວ່າງ integer ແລະ vector-ຈຸດລອຍແມ່ນຫ້າມ. ເພື່ອລົບລ້າງຂໍ້ຈໍາກັດນີ້, ມັນໄດ້ຖືກສະເຫນີໃຫ້ໃຊ້ທຸງ
  "-flax-vector-conversions=all" ເຊິ່ງເປັນຄ່າເລີ່ມຕົ້ນ.

• ປັບປຸງການສະຫນັບສະຫນູນສໍາລັບ CPUs MIPS ຂອງຄອບຄົວ Octeon. ເພີ່ມ "octeon+" ໃສ່ລາຍຊື່ຂອງປະເພດ CPU ທີ່ຖືກຕ້ອງ.
• ເມື່ອປະກອບເຂົ້າໃນລະຫັດຕົວກາງຂອງ WebAssembly, wasm-opt optimizer ຈະຖືກເອີ້ນໂດຍອັດຕະໂນມັດ, ຖ້າມີຢູ່ໃນລະບົບ.
• ສໍາລັບລະບົບທີ່ອີງໃສ່ສະຖາປັດຕະຍະກໍາ RISC-V, ການນໍາໃຊ້ການລົງທະບຽນເກັບຮັກສາຄ່າຈຸດລອຍແມ່ນອະນຸຍາດໃຫ້ຢູ່ໃນຕັນທີ່ມີເງື່ອນໄຂຂອງການປະກອບ inline inserts.
• ເພີ່ມທຸງ compiler ໃຫມ່: "-fgnuc-version" ເພື່ອກໍານົດຄ່າສະບັບສໍາລັບ "__GNUC__" ແລະ macro ທີ່ຄ້າຍຄືກັນ; "-fmacro-prefix-map=OLD=NEW" ເພື່ອແທນທີ່ຄໍານໍາຫນ້າໄດເລກະທໍລີ OLD ກັບ NEW ໃນມາໂຄເຊັ່ນ "__FILE__"; "-fpatchable-function-entry=N[,M]" ເພື່ອສ້າງຈໍານວນທີ່ແນ່ນອນຂອງຄໍາແນະນໍາ NOP ກ່ອນແລະຫຼັງຈາກຈຸດເຂົ້າຟັງຊັນ. ສໍາລັບ RISC-V
  ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບທຸງ "-ffixed-xX", "-mcmodel=medany" ແລະ "-mcmodel=medlow".

• ເພີ່ມ​ການ​ສະ​ຫນັບ​ສະ​ຫນູນ​ສໍາ​ລັບ​ຄຸນ​ລັກ​ສະ​ນະ '__attribute__((target("branch-protection=..."))) , ຜົນ​ກະ​ທົບ​ຂອງ​ທີ່​ຄ້າຍ​ຄື​ກັນ​ກັບ​ທາງ​ເລືອກ -branch-protect.
• ໃນເວທີ Windows, ເມື່ອລະບຸທຸງ "-cfguard", ການທົດແທນການກວດສອບຄວາມຖືກຕ້ອງຂອງການໄຫຼຂອງການປະຕິບັດ (Control Flow Guard) ສໍາລັບການໂທຫາຫນ້າທີ່ທາງອ້ອມແມ່ນປະຕິບັດ. ເພື່ອປິດການທົດແທນການກວດສອບ, ທ່ານສາມາດນໍາໃຊ້ທຸງ "-cfguard-nochecks" ຫຼືຕົວແກ້ໄຂ "__declspec(guard(nocf))".
• ພຶດຕິກໍາຂອງຄຸນລັກສະນະ gnu_inline ແມ່ນຄ້າຍຄືກັນກັບ GCC ໃນກໍລະນີທີ່ມັນຖືກນໍາໃຊ້ໂດຍບໍ່ມີຄໍາຫລັກ "extern".
• ຄວາມສາມາດທີ່ກ່ຽວຂ້ອງກັບການສະຫນັບສະຫນູນ OpenCL ແລະ CUDA ໄດ້ຖືກຂະຫຍາຍອອກ. ເພີ່ມການຮອງຮັບຄຸນສົມບັດ OpenMP 5.0 ໃໝ່.
• ຕົວເລືອກມາດຕະຖານໄດ້ຖືກເພີ່ມເຂົ້າໃນ utility ຮູບແບບ clang, ເຊິ່ງຊ່ວຍໃຫ້ທ່ານສາມາດກໍານົດເວີຊັນຂອງມາດຕະຖານ C++ ທີ່ໃຊ້ໃນເວລາວິເຄາະແລະການຈັດຮູບແບບລະຫັດ (ລ່າສຸດ, ອັດຕະໂນມັດ, c ++03, c ++ 11, c ++ 14, c++17, c++20).
• ການກວດສອບໃໝ່ໄດ້ຖືກເພີ່ມໃສ່ເຄື່ອງວິເຄາະສະຖິດ: alpha.cplusplus.PlacementNew ເພື່ອກວດສອບວ່າມີພື້ນທີ່ຈັດເກັບພຽງພໍຫຼືບໍ່, fuchsia.HandleChecker ເພື່ອກວດຫາການຮົ່ວໄຫຼທີ່ກ່ຽວຂ້ອງກັບຕົວຈັດການ Fuchsia, security.insecureAPI.decodeValueOfObjCType ເພື່ອກວດຫາການລົ້ນບັບເຟີທີ່ອາດຈະເກີດຂຶ້ນໃນເວລາໃຊ້ [NSCoderjocderbOVOV. :at:].
• ເຄື່ອງອະນາໄມພຶດຕິກຳທີ່ບໍ່ໄດ້ກຳນົດໄວ້ (UBSan) ໄດ້ຂະຫຍາຍການກວດກາການລົ້ນຕົວຊີ້ຂອງມັນເພື່ອຈັບການນຳໃຊ້ການຊົດເຊີຍທີ່ບໍ່ແມ່ນສູນໄປຫາຕົວຊີ້ NULL ຫຼືຜົນຂອງການເພີ່ມຄ່າຊົດເຊີຍຕົວຊີ້ NULL.
• ໃນ linter clang-tidy ເພີ່ມ ສ່ວນໃຫຍ່ຂອງການກວດສອບໃຫມ່.

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

• ກັບກອບ ຕົວແທນ ການເພີ່ມປະສິດທິພາບລະຫວ່າງຂັ້ນຕອນແລະການວິເຄາະໃຫມ່ໄດ້ຖືກເພີ່ມ. ລັດຂອງ 19 ຄຸນລັກສະນະທີ່ແຕກຕ່າງກັນແມ່ນຄາດຄະເນ, ລວມທັງ 12 ຄຸນລັກສະນະ 12 LLVM IR ແລະ 7 ຄຸນລັກສະນະທີ່ບໍ່ມີຕົວຕົນເຊັ່ນ: ຊີວິດ.
• ເພີ່ມຟັງຊັນທາງຄະນິດສາດຂອງ matrix ໃຫມ່ທີ່ສ້າງຂຶ້ນໃນ compiler (ພາຍໃນ), ເຊິ່ງຖືກແທນທີ່ດ້ວຍຄໍາແນະນໍາ vector ທີ່ມີປະສິດທິພາບໃນລະຫວ່າງການລວບລວມ.
• ການປັບປຸງຫຼາຍຢ່າງໄດ້ຖືກເຮັດກັບ backends ສໍາລັບ X86, AArch64, ARM, SystemZ, MIPS, AMDGPU ແລະສະຖາປັດຕະຍະ PowerPC. ເພີ່ມການສະຫນັບສະຫນູນ CPU
  Cortex-A65, Cortex-A65AE, Neoverse E1 ແລະ Neoverse N1. ສໍາລັບ ARMv8.1-M, ​​ຂະບວນການສ້າງລະຫັດໄດ້ຖືກປັບປຸງໃຫ້ເຫມາະສົມ (ຕົວຢ່າງ, ການສະຫນັບສະຫນູນສໍາລັບ loops ທີ່ມີ overhead ຫນ້ອຍທີ່ສຸດໄດ້ປາກົດ) ແລະການສະຫນັບສະຫນູນສໍາລັບ auto-vectorization ໄດ້ຖືກເພີ່ມໂດຍໃຊ້ການຂະຫຍາຍ MVE. ປັບປຸງການຮອງຮັບ CPU MIPS Octeon. ສໍາລັບ PowerPC, vectorization ຂອງ subroutines ຄະນິດສາດໂດຍໃຊ້ຫ້ອງສະຫມຸດ MASSV (Mathematical Acceleration SubSystem) ຖືກເປີດໃຊ້, ການສ້າງລະຫັດຖືກປັບປຸງ, ແລະການເຂົ້າເຖິງຫນ່ວຍຄວາມຈໍາຈາກ loops ແມ່ນ optimized. ສໍາລັບ x86, ການຈັດການ vector ປະເພດ v2i32, v4i16, v2i16, v8i8, v4i8 ແລະ v2i8 ໄດ້ມີການປ່ຽນແປງ.

• ປັບປຸງຕົວສ້າງລະຫັດສໍາລັບ WebAssembly. ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບ TLS (Thread-Local Storage) ແລະຄໍາແນະນໍາ atomic.fence. ສະຫນັບສະຫນູນ SIMD ໄດ້ຮັບການຂະຫຍາຍຢ່າງຫຼວງຫຼາຍ. ໄຟລ໌ວັດຖຸ WebAssembly ໃນປັດຈຸບັນມີຄວາມສາມາດທີ່ຈະນໍາໃຊ້ລາຍເຊັນຂອງຟັງຊັນທີ່ມີຄ່າຫຼາຍ.
• ເຄື່ອງວິເຄາະແມ່ນໃຊ້ໃນເວລາທີ່ປະມວນຜົນ loops MemorySSA, ເຊິ່ງອະນຸຍາດໃຫ້ທ່ານສາມາດກໍານົດການຂຶ້ນກັບລະຫວ່າງການດໍາເນີນງານຫນ່ວຍຄວາມຈໍາທີ່ແຕກຕ່າງກັນ. MemorySSA ສາມາດຫຼຸດຜ່ອນການລວບລວມແລະເວລາປະຕິບັດຫຼືສາມາດຖືກນໍາໃຊ້ແທນ AliasSetTracker ໂດຍບໍ່ມີການສູນເສຍການປະຕິບັດ.
• ຕົວດີບັກ LLDB ໄດ້ປັບປຸງການຮອງຮັບຮູບແບບ DWARF v5 ຢ່າງຫຼວງຫຼາຍ. ການປັບປຸງການສະຫນັບສະຫນູນການກໍ່ສ້າງດ້ວຍ MinGW
  ແລະເພີ່ມຄວາມສາມາດເບື້ອງຕົ້ນໃນການແກ້ບັນຫາ Windows executable ສໍາລັບ ARM ແລະ ARM64 architectures. ເພີ່ມຄໍາອະທິບາຍກ່ຽວກັບທາງເລືອກທີ່ສະຫນອງໃຫ້ໃນເວລາທີ່ການຕື່ມຂໍ້ມູນອັດຕະໂນມັດໂດຍການກົດແຖບ.

• ຂະຫຍາຍ ຄວາມສາມາດຂອງຕົວເຊື່ອມຕໍ່ LLD. ປັບປຸງການສະຫນັບສະຫນູນສໍາລັບຮູບແບບ ELF, ລວມທັງການຮັບປະກັນຄວາມເຂົ້າກັນໄດ້ຢ່າງເຕັມທີ່ຂອງແມ່ແບບ glob ກັບຕົວເຊື່ອມຕໍ່ GNU, ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບພາກສ່ວນດີບັກທີ່ຖືກບີບອັດ ".zdebug", ເພີ່ມຄຸນສົມບັດ PT_GNU_PROPERTY ເພື່ອກໍານົດສ່ວນ .note.gnu.property (ສາມາດນໍາໃຊ້ໄດ້ໃນອະນາຄົດ. Linux kernels),
  ໂຫມດ “-z noseparate-code”, “-z ແຍກຕ່າງຫາກ-code” ແລະ “-z ແຍກຕ່າງຫາກ-loadable-segments” ໄດ້ຖືກປະຕິບັດ. ປັບປຸງການສະຫນັບສະຫນູນສໍາລັບ MinGW ແລະ WebAssembly.

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