LLVM 16.0 കമ്പൈലർ സ്യൂട്ടിന്റെ പ്രകാശനം

ആറ് മാസത്തെ വികസനത്തിന് ശേഷം, LLVM 16.0 പ്രോജക്‌റ്റിന്റെ റിലീസ് അവതരിപ്പിക്കുന്നു - GCC-അനുയോജ്യമായ ടൂൾകിറ്റ് (കംപൈലറുകൾ, ഒപ്റ്റിമൈസറുകൾ, കോഡ് ജനറേറ്ററുകൾ) അത് പ്രോഗ്രാമുകളെ RISC-പോലുള്ള വെർച്വൽ നിർദ്ദേശങ്ങളുടെ ഒരു ഇന്റർമീഡിയറ്റ് ബിറ്റ്‌കോഡിലേക്ക് സമാഹരിക്കുന്നു (ഒരു ലോ-ലെവൽ വെർച്വൽ മെഷീൻ ഒരു മൾട്ടി-ലെവൽ ഒപ്റ്റിമൈസേഷൻ സിസ്റ്റം). ജനറേറ്റുചെയ്‌ത കപട കോഡ്, പ്രോഗ്രാം എക്‌സിക്യൂഷൻ സമയത്ത് തന്നെ JIT കംപൈലറിന് മെഷീൻ നിർദ്ദേശങ്ങളാക്കി പരിവർത്തനം ചെയ്യാൻ കഴിയും.

ക്ലാങ് 16.0-ലെ പ്രധാന മെച്ചപ്പെടുത്തലുകൾ:

• ഡിഫോൾട്ട് C++/ObjC++ സ്റ്റാൻഡേർഡ് gnu++17 (മുമ്പ് gnu++14) ആയി സജ്ജീകരിച്ചിരിക്കുന്നു, ഇത് സ്ഥിരസ്ഥിതിയായി GNU വിപുലീകരണങ്ങളുള്ള C++17 സവിശേഷതകൾക്കുള്ള പിന്തുണയെ സൂചിപ്പിക്കുന്നു. മുമ്പത്തെ പ്രവർത്തനരീതിയിലേക്ക് മടങ്ങുന്നതിന് നിങ്ങൾക്ക് "-std=gnu++14" ഓപ്ഷൻ ഉപയോഗിക്കാം.
• C++20 നിലവാരവുമായി ബന്ധപ്പെട്ട വിപുലമായ സവിശേഷതകൾ നടപ്പിലാക്കി:
  • സോപാധികമായി നിസ്സാരമായ പ്രത്യേക അംഗ പ്രവർത്തനങ്ങൾ,
  • ലാംഡ ഫംഗ്ഷനുകളിൽ ഘടനാപരമായ ബൈൻഡിംഗുകൾ ക്യാപ്ചർ ചെയ്യുന്നു,
  • എക്സ്പ്രഷനുകൾക്കുള്ളിലെ സമത്വ ഓപ്പറേറ്റർ,
  • ചില സന്ദർഭങ്ങളിൽ ടൈപ്പ് നെയിം കീവേഡ് വ്യക്തമാക്കാതിരിക്കാനുള്ള കഴിവ്,
  • ബ്രാക്കറ്റുകളിൽ മൊത്തത്തിലുള്ള സമാരംഭത്തിന്റെ അനുവാദം ("Aggr(val1, val2)").
• ഭാവിയിലെ C++2b നിലവാരത്തിൽ നിർവചിച്ചിരിക്കുന്ന നടപ്പിലാക്കിയ സവിശേഷതകൾ:
  • സംയുക്ത എക്സ്പ്രഷനുകളുടെ അവസാനം ലേബലുകൾ അനുവദനീയമാണ്,
  • സ്റ്റാറ്റിക് ഓപ്പറേറ്റർ(),
  • സ്റ്റാറ്റിക് ഓപ്പറേറ്റർ[],
  • char8_t തരവുമായി അനുയോജ്യത നൽകി,
  • "\N{...}" എന്നതിൽ ഉപയോഗിക്കുന്നതിന് അനുവദനീയമായ പ്രതീകങ്ങളുടെ ശ്രേണി വിപുലീകരിച്ചു,
  • constexpr ആയി പ്രഖ്യാപിച്ച ഫംഗ്ഷനുകളിൽ "static constexpr" ആയി പ്രഖ്യാപിച്ച വേരിയബിളുകൾ ഉപയോഗിക്കാനുള്ള കഴിവ് ചേർത്തു.
• ഭാവിയിലെ C2x C നിലവാരത്തിൽ നിർവചിച്ചിരിക്കുന്ന നടപ്പിലാക്കിയ സവിശേഷതകൾ:
  • "-Wunused-label" മുന്നറിയിപ്പ് പ്രവർത്തനരഹിതമാക്കാൻ, "[[maybe_unused]]" ആട്രിബ്യൂട്ട് ലേബലുകളിൽ പ്രയോഗിക്കാവുന്നതാണ്.
  • സംയുക്ത എക്സ്പ്രഷനുകൾക്കുള്ളിൽ എവിടെയും ലേബലുകൾ സ്ഥാപിക്കാവുന്നതാണ്,
  • ടൈപ്പ് ഓഫ്, ടൈപ്പ് ഓഫ്_അൺക്വൽ ഓപ്പറേറ്റർമാരെ ചേർത്തു,
  • ഒരു പുതിയ nullptr_t തരവും ഒരു nullptr സ്ഥിരാങ്കവും null pointer-നെ നിർവചിക്കാനാകും, അത് ഏത് പോയിന്റർ തരത്തിലേക്കും പരിവർത്തനം ചെയ്യാനും അവിഭാജ്യ തരങ്ങളുമായി ബന്ധമില്ലാത്ത NULL ന്റെ ഒരു വകഭേദത്തെ പ്രതിനിധീകരിക്കുന്നു*.
  • C2x മോഡിൽ, വേരിയബിൾ നമ്പർ ആർഗ്യുമെന്റുകൾ (variadic) ഉപയോഗിച്ച് va_start മാക്രോയിലേക്ക് വിളിക്കുന്നത് അനുവദനീയമാണ്.
• C99, C11, C17 കൺഫോർമൻസ് മോഡുകളിൽ, "-Wimplicit-function-declaration", "-Wimplicit-int" എന്നീ ഓപ്ഷനുകൾ ഡിഫോൾട്ടായി ഒരു മുന്നറിയിപ്പിന് പകരം ഒരു പിശക് സൃഷ്ടിക്കുന്നു.
• C++ മോഡിൽ "void *" (ഉദാഹരണത്തിന്, "void func(void *p) { *p; }") പരോക്ഷമായി ഉപയോഗിക്കുന്നത് ഇപ്പോൾ ISO C++, GCC, ICC, MSVC എന്നിവയ്ക്ക് സമാനമായ ഒരു പിശക് സൃഷ്ടിക്കുന്നു.
• മൈക്രോസോഫ്റ്റ് ശൈലിയിലുള്ള ഇൻലൈൻ അസംബ്ലി ബ്ലോക്കുകളിൽ ബിറ്റ്ഫീൽഡുകൾ നിർദ്ദേശ ഓപ്പറണ്ടുകളായി (ഉദാ. "__asm ​​{ mov eax, s.bf }") വ്യക്തമാക്കുന്നത് ഇപ്പോൾ ഒരു പിശക് സൃഷ്ടിക്കുന്നു.
• വ്യത്യസ്ത മൊഡ്യൂളുകളിൽ ഒരേ പേരുകളുള്ള വ്യത്യസ്ത ഘടനകളുടെയും യൂണിയനുകളുടെയും സാന്നിധ്യത്തിനായി ഡയഗ്നോസ്റ്റിക്സ് ചേർത്തു.
• OpenCL, OpenMP എന്നിവയ്ക്കുള്ള പിന്തുണയുമായി ബന്ധപ്പെട്ട വിപുലീകരിച്ച കഴിവുകൾ. OpenCL കേർണൽ ആർഗ്യുമെന്റുകളിൽ ഉപയോഗിക്കുന്ന C++ ടെംപ്ലേറ്റുകളുടെ മെച്ചപ്പെടുത്തിയ ഡയഗ്നോസ്റ്റിക്സ്. എഎംഡിജിപിയുവിനുള്ള മെച്ചപ്പെട്ട ക്യൂയിംഗ് ബ്ലോക്ക് പിന്തുണ. എല്ലാ ഫംഗ്‌ഷനുകളിലേക്കും nounwind ആട്രിബ്യൂട്ട് പരോക്ഷമായി ചേർത്തിരിക്കുന്നു. അന്തർനിർമ്മിത പ്രവർത്തനങ്ങൾക്കുള്ള മെച്ചപ്പെട്ട പിന്തുണ.
• ക്രാഷ് ഡയഗ്നോസ്റ്റിക് ഡാറ്റ സംരക്ഷിച്ചിരിക്കുന്ന ഡയറക്‌ടറി നിർവചിക്കുന്നതിന് CLANG_CRASH_DIAGNOSTICS_DIR എൻവയോൺമെന്റ് വേരിയബിൾ ഉപയോഗിക്കാനുള്ള കഴിവ് നൽകി.
• യൂണികോഡ് പിന്തുണ യൂണികോഡ് 15.0 സ്പെസിഫിക്കേഷനിലേക്ക് അപ്ഡേറ്റ് ചെയ്തിട്ടുണ്ട്. "₊" (ഉദാഹരണത്തിന്, "ഇരട്ട xₖ₊₁") പോലെയുള്ള ഐഡന്റിഫയറുകളിൽ ചില ഗണിത ചിഹ്നങ്ങൾ അനുവദനീയമാണ്.
• ഒന്നിലധികം കോൺഫിഗറേഷൻ ഫയലുകൾ ലോഡുചെയ്യുന്നതിനുള്ള പിന്തുണ ചേർത്തു (ഡിഫോൾട്ട് കോൺഫിഗറേഷൻ ഫയലുകൾ ആദ്യം ലോഡ് ചെയ്യും, തുടർന്ന് "--config=" ഫ്ലാഗ് വഴി വ്യക്തമാക്കിയവ, ഇപ്പോൾ ഒന്നിലധികം തവണ വ്യക്തമാക്കാം). ഡിഫോൾട്ട് കോൺഫിഗറേഷൻ ഫയൽ ലോഡിംഗ് ഓർഡർ മാറ്റി: ക്ലാങ് ആദ്യം ഫയൽ ലോഡ് ചെയ്യാൻ ശ്രമിക്കുന്നു - .cfg, കണ്ടെത്തിയില്ലെങ്കിൽ രണ്ട് ഫയലുകൾ ലോഡ് ചെയ്യാൻ ശ്രമിക്കുന്നു .cfg ഒപ്പം .cfg. സ്ഥിരസ്ഥിതിയായി കോൺഫിഗറേഷൻ ഫയലുകൾ ലോഡ് ചെയ്യുന്നത് പ്രവർത്തനരഹിതമാക്കാൻ "--no-default-config" ഫ്ലാഗ് ചേർത്തു.
• ആവർത്തിക്കാവുന്ന ബിൽഡുകൾ ഉറപ്പാക്കാൻ, __DATE__, __TIME__, __TIMESTAMP__ മാക്രോകളിലെ നിലവിലെ തീയതിയും സമയ മൂല്യങ്ങളും SOURCE_DATE_EPOCH എൻവയോൺമെന്റ് വേരിയബിളിൽ വ്യക്തമാക്കിയ സമയം ഉപയോഗിച്ച് മാറ്റിസ്ഥാപിക്കാൻ കഴിയും.
• കോൺസ്റ്റന്റുകളുടെ പശ്ചാത്തലത്തിൽ ഉപയോഗിക്കാനാകുന്ന ബിൽറ്റ്-ഇൻ ഫംഗ്‌ഷനുകൾ (ബിൽറ്റിൻ) പരിശോധിക്കുന്നതിന്, "__has_constexpr_builtin" മാക്രോ ചേർത്തിരിക്കുന്നു.
• കോറൂട്ടിൻ ഫ്രെയിമുകളുടെ വിന്യസിച്ച വിതരണത്തിനായി പുതിയ കംപൈൽ ഫ്ലാഗ് "-fcoro-aligned-allocation" ചേർത്തു.
• "-fstrict-flex-arrays=" ഫ്ലാഗ്, സ്ട്രക്ച്ചറുകളിൽ ഒരു ഫ്ലെക്സിബിൾ അറേ എലമെന്റ് പരിശോധിക്കുന്നതിനുള്ള മൂന്നാം ലെവലിനുള്ള പിന്തുണ നടപ്പിലാക്കുന്നു (ഫ്ലെക്സിബിൾ അറേ അംഗങ്ങൾ, ഘടനയുടെ അവസാനത്തിൽ അനിശ്ചിതകാല വലുപ്പമുള്ള ഒരു ശ്രേണി). മൂന്നാം ലെവലിൽ, "[]" (ഉദാഹരണത്തിന്, "int b[]") വലുപ്പം മാത്രം ഒരു ഫ്ലെക്സിബിൾ അറേ ആയി കണക്കാക്കുന്നു, എന്നാൽ വലിപ്പം "[0]" (ഉദാഹരണത്തിന്, "int b[0]") അല്ല.
• സ്റ്റാൻഡേർഡ് C++ മൊഡ്യൂളുകൾക്കായി സിംഗിൾ-ഫേസ് കംപൈലേഷൻ മോഡൽ പ്രവർത്തനക്ഷമമാക്കാൻ "-fmodule-output" ഫ്ലാഗ് ചേർത്തു.
• സ്റ്റാക്ക് ഫ്രെയിം ലേഔട്ടിലെ പ്രശ്നങ്ങൾ കണ്ടുപിടിക്കാൻ അനുവദിക്കുന്ന "-Rpass-analysis=stack-frame-layout" മോഡ് ചേർത്തു.
• ഒരു പുതിയ ആട്രിബ്യൂട്ട് __attribute__((target_version("cpu_features"))) ചേർത്തു, കൂടാതെ __attribute__((target_clones("cpu_features1″,"cpu_features2",...)) എന്ന ആട്രിബ്യൂട്ടിന്റെ പ്രവർത്തനം പ്രത്യേക പതിപ്പുകൾ തിരഞ്ഞെടുക്കുന്നതിനായി വിപുലീകരിച്ചിരിക്കുന്നു. CPU AArch64 വഴി.
• മെച്ചപ്പെടുത്തിയ ഡയഗ്നോസ്റ്റിക് ഉപകരണങ്ങൾ:
  • ഒരു ബിറ്റ് സൈൻ ചെയ്ത ബിറ്റ്ഫീൽഡിലേക്ക് ഒരെണ്ണം അസൈൻ ചെയ്യുമ്പോൾ പരോക്ഷമായ വെട്ടിച്ചുരുക്കൽ കണ്ടുപിടിക്കാൻ "-Wsingle-bit-bitfield-constant-conversion" മുന്നറിയിപ്പ് ചേർത്തു.
  • അൺഇനീഷ്യലൈസ്ഡ് കോൺസ്റ്റക്സ്പിആർ വേരിയബിളുകളുടെ വിപുലീകൃത ഡയഗ്നോസ്റ്റിക്സ്.
  • ഫംഗ്‌ഷൻ ടൈപ്പ് കാസ്റ്റിംഗുമായി ബന്ധപ്പെട്ട പ്രശ്‌നങ്ങൾ കണ്ടെത്തുന്നതിന് "-Wcast-function-type-strict", "-Wincompatible-function-pointer-types-strict" എന്നീ മുന്നറിയിപ്പുകൾ ചേർത്തു.
  • കയറ്റുമതി ബ്ലോക്കുകളിൽ തെറ്റായ അല്ലെങ്കിൽ റിസർവ് ചെയ്ത മൊഡ്യൂൾ പേരുകൾ ഉപയോഗിക്കുന്നതിനുള്ള ഡയഗ്നോസ്റ്റിക്സ് ചേർത്തു.
  • നിർവചനങ്ങളിൽ നഷ്‌ടമായ "ഓട്ടോ" കീവേഡുകളുടെ മെച്ചപ്പെട്ട കണ്ടെത്തൽ.
  • "-Winteger-overflow" മുന്നറിയിപ്പ് നടപ്പിലാക്കലിലേക്ക് അധിക ഓവർഫ്ലോ സാഹചര്യങ്ങൾക്കായുള്ള പരിശോധനകൾ ചേർത്തു.
• MIPS, RISC-V എന്നിവയ്ക്ക് സമാനമായ ഒരു പുതിയ RISC ISA നടപ്പിലാക്കുന്ന Loongson 64 464 പ്രോസസറുകളിൽ ഉപയോഗിക്കുന്ന LoongArch നിർദ്ദേശ സെറ്റ് ആർക്കിടെക്ചറിനുള്ള (-march=loongarch3 അല്ലെങ്കിൽ -march=la5000) പിന്തുണ നടപ്പിലാക്കി.

LLVM 16.0-ലെ പ്രധാന കണ്ടുപിടുത്തങ്ങൾ:

• LLVM കോഡിൽ, C++17 സ്റ്റാൻഡേർഡിൽ നിർവചിച്ചിരിക്കുന്ന മൂലകങ്ങളുടെ ഉപയോഗം അനുവദനീയമാണ്.
• LLVM നിർമ്മിക്കുന്നതിനുള്ള പരിസ്ഥിതി ആവശ്യകതകൾ വർദ്ധിപ്പിച്ചു. ബിൽഡ് ടൂൾകിറ്റ് ഇപ്പോൾ C++17 നിലവാരത്തെ പിന്തുണയ്ക്കണം, അതായത്. നിർമ്മാണത്തിന് കുറഞ്ഞത് GCC 7.1, Clang 5.0, Apple Clang 10.0, അല്ലെങ്കിൽ Visual Studio 2019 16.7 എന്നിവ ആവശ്യമാണ്.
• Cortex-A64, Cortex-X715, Neoverse V3 CPU-കൾ, RME MEC (മെമ്മറി എൻക്രിപ്ഷൻ സന്ദർഭങ്ങൾ) അസംബ്ലർ, Armv2 എക്സ്റ്റൻഷനുകൾ (കോംപ്ലക്സ് നമ്പർ), ഫംഗ്ഷൻ മൾട്ടി വേർഷനിംഗ് എന്നിവയ്ക്കുള്ള പിന്തുണ AArch8.3 ബാക്കെൻഡിലേക്ക് ചേർത്തു.
• ARM ആർക്കിടെക്ചർ ബാക്കെൻഡ് ടാർഗെറ്റ് പ്ലാറ്റ്‌ഫോമുകളായ Armv2, Armv2A, Armv3, Armv3M എന്നിവയെ ഇനി പിന്തുണയ്‌ക്കില്ല, അവയ്‌ക്ക് ശരിയായ കോഡ് സൃഷ്‌ടിക്കുമെന്ന് ഉറപ്പില്ല. സങ്കീർണ്ണ സംഖ്യകളിൽ പ്രവർത്തിക്കുന്നതിനുള്ള നിർദ്ദേശങ്ങൾക്കായി കോഡ് സൃഷ്ടിക്കാനുള്ള കഴിവ് ചേർത്തു.
• ഇൻസ്ട്രക്ഷൻ സെറ്റ് ആർക്കിടെക്ചറുകൾക്ക് (ISA) AMX-FP86, CMPCXADD, AVX-IFMA, AVX-VNNI-INT16, AVX-NE-CONVERT എന്നിവ X8 ബാക്കെൻഡിലേക്ക് പിന്തുണ ചേർത്തു. RDMSRLIST, RMSRLIST, WRMSRNS നിർദ്ദേശങ്ങൾക്കുള്ള പിന്തുണ ചേർത്തു. "-mcpu=raptorlake", "-mcpu=meteorlake", "-mcpu=emeraldrapids", "-mcpu=sierraforest", "-mcpu=graniterapids", "-mcpu=grandridge" എന്നീ ഓപ്ഷനുകൾ നടപ്പിലാക്കി.
• LoongArch പ്ലാറ്റ്‌ഫോമിന് ഔദ്യോഗിക പിന്തുണ ചേർത്തു.
• MIPS, PowerPC, RISC-V ആർക്കിടെക്ചറുകൾക്കുള്ള മെച്ചപ്പെട്ട ബാക്കെൻഡുകൾ
• LoongArch ആർക്കിടെക്ചറിനുള്ള 64-ബിറ്റ് എക്സിക്യൂട്ടബിളുകൾ ഡീബഗ്ഗ് ചെയ്യുന്നതിനുള്ള പിന്തുണ LLDB ഡീബഗ്ഗറിലേക്ക് ചേർത്തിരിക്കുന്നു. COFF ഡീബഗ് ചിഹ്നങ്ങളുടെ മെച്ചപ്പെട്ട കൈകാര്യം ചെയ്യൽ. ലോഡ് ചെയ്ത വിൻഡോസ് മൊഡ്യൂളുകളുടെ ലിസ്റ്റിലെ ഡ്യൂപ്ലിക്കേറ്റ് DLL-കളുടെ ഫിൽട്ടറിംഗ് നൽകിയിട്ടുണ്ട്.
• Libc++ ലൈബ്രറിയിൽ, C++20, C++23 സ്റ്റാൻഡേർഡുകളുടെ പുതിയ സവിശേഷതകൾക്കുള്ള പിന്തുണ നടപ്പിലാക്കുന്നതിലാണ് പ്രധാന പ്രവർത്തനം.
• അഡ്രസ് റീലോക്കേഷൻ സ്കാനിംഗും സെക്ഷൻ ഇനീഷ്യലൈസേഷൻ പ്രവർത്തനങ്ങളും സമാന്തരമാക്കി എൽഡിഡി ലിങ്കറിൽ ലിങ്കിംഗ് സമയം ഗണ്യമായി കുറച്ചിരിക്കുന്നു. ZSTD അൽഗോരിതം ഉപയോഗിച്ച് സെക്ഷൻ കംപ്രഷനുള്ള പിന്തുണ ചേർത്തു.

അവലംബം: opennet.ru