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

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

ക്ലാങ് 13.0-ലെ മെച്ചപ്പെടുത്തലുകൾ:

• ഗ്യാരണ്ടീഡ് ടെയിൽ കോളുകൾ (ഒരു ഫംഗ്ഷന്റെ അവസാനം ഒരു സബ്റൂട്ടീനിലേക്കുള്ള ഒരു കോൾ, സബ്റൂട്ടീൻ സ്വയം വിളിക്കുകയാണെങ്കിൽ ഒരു ടെയിൽ റിക്കർഷൻ സൃഷ്ടിക്കുന്നു) ഇപ്പോൾ പിന്തുണയ്ക്കുന്നു. "റിട്ടേൺ" സ്റ്റേറ്റ്മെന്റിൽ ഉപയോഗിക്കുന്ന C++-ൽ "[[clang::musttail]]" ആട്രിബ്യൂട്ടും C-യിൽ "__attribute__((musttail))" ഉം ഉപയോഗിച്ചാണ് ഗ്യാരണ്ടീഡ് ടെയിൽ കോളുകൾ പിന്തുണയ്ക്കുന്നത്. സ്റ്റാക്ക് സ്ഥലം ലാഭിക്കുന്നതിന് കോഡ് ഒരു ഫ്ലാറ്റ് ആവർത്തനത്തിലേക്ക് ഫ്ലാറ്റ് ചെയ്തുകൊണ്ട് ഈ സവിശേഷത ഒപ്റ്റിമൈസേഷനുകൾ പ്രാപ്തമാക്കുന്നു.
• "[[]]" ഫോർമാറ്റ് ഉപയോഗിച്ച്, ഡിക്ലറേഷനുകളും എക്സ്റ്റെൻഷനുകളും "ഉപയോഗിച്ച്" ക്ലാങ്ങിൽ C++11-ശൈലിയിലുള്ള ആട്രിബ്യൂട്ട് നിർവചനങ്ങൾ ഇപ്പോൾ പിന്തുണയ്ക്കുന്നു.
• ഉപയോക്തൃ കോഡിൽ റിസർവ്ഡ് ഐഡന്റിഫയറുകൾ വ്യക്തമാക്കുമ്പോൾ ഒരു മുന്നറിയിപ്പ് പ്രദർശിപ്പിക്കുന്നതിന് "-Wreserved-identifier" ഫ്ലാഗ് ചേർത്തു.
• ഒരു പാരാമീറ്റർ അല്ലെങ്കിൽ വേരിയബിൾ സജ്ജീകരിച്ചിട്ടുണ്ടെങ്കിലും ഉപയോഗിക്കാത്ത സാഹചര്യത്തിൽ മുന്നറിയിപ്പ് പ്രിന്റ് ചെയ്യുന്നതിനായി "-Wunused-but-set-parameter" ഉം "-Wunused-but-set-variable" ഉം ഫ്ലാഗുകൾ ചേർത്തു.
• കുറയ്ക്കൽ പ്രവർത്തനങ്ങളിൽ ഒരു നൾ പോയിന്റർ ഉപയോഗിക്കുന്നത് മൂലം കോഡ് നിർവചിക്കപ്പെടാത്ത പെരുമാറ്റത്തിന് കാരണമായേക്കാം എന്ന് മുന്നറിയിപ്പ് നൽകുന്നതിനായി "-Wnull-pointer-subtraction" ഫ്ലാഗ് ചേർത്തു.
• പ്രോസസ്സ് ചെയ്യുന്ന ഫയലിൽ നിർവചിച്ചിരിക്കുന്ന ഓരോ ഫംഗ്ഷനുമുള്ള സ്റ്റാക്ക് ഫ്രെയിമുകളുടെ വലുപ്പത്തെക്കുറിച്ചുള്ള വിവരങ്ങൾ അടങ്ങിയ ഒരു അധിക ".su" ഫയൽ ഓരോ കോഡ് ഫയലിനും സൃഷ്ടിക്കാൻ "-fstack-usage" ഫ്ലാഗ് ചേർത്തു.
• സ്റ്റാറ്റിക് അനലൈസറിന് ഒരു പുതിയ ഔട്ട്‌പുട്ട് തരം ഉണ്ട്, "sarif-html", ഇത് HTML, Sarif ഫോർമാറ്റുകളിൽ റിപ്പോർട്ടുകൾ സൃഷ്ടിക്കുന്നു. allocClassWithName എന്ന പുതിയ പരിശോധന ചേർത്തിരിക്കുന്നു. "-analyzer-display-progress" ഓപ്ഷൻ ഇപ്പോൾ ഓരോ ഫംഗ്ഷനുമുള്ള വിശകലന സമയം പ്രദർശിപ്പിക്കുന്നു. സ്മാർട്ട് പോയിന്റർ അനലൈസർ (alpha.cplusplus.SmartPtr) ഏതാണ്ട് പൂർത്തിയായി.
• OpenCL പിന്തുണ വികസിപ്പിച്ചിരിക്കുന്നു. പുതിയ cl_khr_integer_dot_product, cl_khr_extended_bit_ops, __cl_clang_bitfields, __cl_clang_non_portable_kernel_param_types എക്സ്റ്റൻഷനുകൾക്കുള്ള പിന്തുണ ചേർത്തിരിക്കുന്നു. OpenCL 3.0 സ്പെസിഫിക്കേഷന്റെ നടപ്പിലാക്കൽ തുടരുന്നു. C-ക്ക്, വ്യത്യസ്തമായ ഒരു പതിപ്പ് വ്യക്തമായി തിരഞ്ഞെടുത്തിട്ടില്ലെങ്കിൽ, OpenCL 1.2 ഡിഫോൾട്ടായി ഉപയോഗിക്കുന്നു. C++-ന് ".clcpp" എക്സ്റ്റൻഷനുള്ള ഫയലുകൾക്കുള്ള പിന്തുണ ചേർത്തിരിക്കുന്നു.
• OpenMP 5.1 സ്പെസിഫിക്കേഷനിൽ നിർവചിച്ചിരിക്കുന്ന ലൂപ്പ് ട്രാൻസ്ഫോർമേഷൻ ഡയറക്റ്റീവുകൾക്കുള്ള ("#pragma omp unrol" ഉം "#pragma omp tile" ഉം) പിന്തുണ നടപ്പിലാക്കിയിട്ടുണ്ട്.
• clang-format യൂട്ടിലിറ്റി ഇനിപ്പറയുന്ന ഓപ്ഷനുകൾ ഉപയോഗിച്ച് അപ്‌ഡേറ്റ് ചെയ്‌തിരിക്കുന്നു: കമന്റുകൾക്ക് മുമ്പുള്ള സ്‌പെയ്‌സുകളുടെ എണ്ണം വ്യക്തമാക്കുന്നതിനുള്ള SpacesInLineCommentPrefix, റെക്കോർഡുകളുടെ വിന്യാസം, ലാംഡ എക്‌സ്‌പ്രഷനുകൾ, പ്രീപ്രൊസസ്സർ നിർദ്ദേശങ്ങൾ എന്നിവ നിയന്ത്രിക്കുന്നതിനുള്ള IndentAccessModifiers, LambdaBodyIndentation, PPIndentWidth എന്നിവ. ഹെഡർ ഫയൽ ലിസ്റ്റ് സോർട്ടിംഗ് കഴിവുകൾ (SortIncludes) വികസിപ്പിച്ചിരിക്കുന്നു. JSON ഫയൽ ഫോർമാറ്റിംഗിനുള്ള പിന്തുണ ചേർത്തിരിക്കുന്നു.
• ക്ലാങ്-ടൈഡി ലിന്ററിൽ ധാരാളം പുതിയ ചെക്കുകൾ ചേർത്തിട്ടുണ്ട്.

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

• CET സാങ്കേതികവിദ്യ ഉപയോഗിക്കുന്നതിന് "-ehcontguard" ഓപ്ഷൻ ചേർത്തു (Windows എക്സെപ്ഷൻ ഹാൻഡ്‌ലിംഗ് ഘട്ടത്തിൽ റിട്ടേൺ-ഓറിയന്റഡ് പ്രോഗ്രാമിംഗ് (ROP) ടെക്നിക്കുകൾ ഉപയോഗിച്ച് നിർമ്മിച്ച എക്സ്പ്ലോയിറ്റുകളുടെ നിർവ്വഹണത്തിനെതിരെ പരിരക്ഷിക്കുന്നതിന് കൺട്രോൾ-ഫ്ലോ എൻഫോഴ്‌സ്‌മെന്റ് ടെക്നോളജി).
• ഡീബഗ്ഇൻഫോ-ടെസ്റ്റ് പ്രോജക്റ്റ് ക്രോസ്-പ്രോജക്റ്റ്-ടെസ്റ്റുകൾ എന്ന് പുനർനാമകരണം ചെയ്തിട്ടുണ്ട്, കൂടാതെ ഡീബഗ് വിവരങ്ങൾക്ക് മാത്രമായി പരിമിതപ്പെടുത്താതെ വ്യത്യസ്ത പ്രോജക്റ്റുകളിൽ നിന്നുള്ള ഘടകങ്ങൾ പരീക്ഷിക്കുന്നതിനായി രൂപകൽപ്പന ചെയ്‌തിരിക്കുന്നു.
• ബിൽഡ് സിസ്റ്റം ഒന്നിലധികം വിതരണങ്ങൾ നിർമ്മിക്കുന്നതിനെ പിന്തുണയ്ക്കുന്നു, ഉദാഹരണത്തിന്, ഒന്ന് യൂട്ടിലിറ്റികളുള്ളതും മറ്റൊന്ന് ഡെവലപ്പർമാർക്കുള്ള ലൈബ്രറികളുള്ളതും.
• AArch64 ആർക്കിടെക്ചറിനായുള്ള ബാക്കെൻഡ്, അസംബ്ലറിൽ Armv9-A RME (റിയൽം മാനേജ്മെന്റ് എക്സ്റ്റൻഷൻ), SME (സ്കേലബിൾ മാട്രിക്സ് എക്സ്റ്റൻഷൻ) എക്സ്റ്റൻഷനുകൾക്കുള്ള പിന്തുണ നടപ്പിലാക്കുന്നു.
• ഹെക്‌സഗൺ ആർക്കിടെക്ചർ ബാക്കെൻഡിൽ ISA V68/HVX-നുള്ള പിന്തുണ ചേർത്തിട്ടുണ്ട്.
• x86 ബാക്കെൻഡിൽ AMD Zen 3 പ്രോസസ്സറുകൾക്കുള്ള പിന്തുണ മെച്ചപ്പെടുത്തിയിട്ടുണ്ട്.
• GFX1013 RDNA2 APU-വിനുള്ള പിന്തുണ AMDGPU ബാക്കെൻഡിൽ ചേർത്തിട്ടുണ്ട്.
• "കൺസെപ്റ്റ്സ്" ലൈബ്രറിയുടെ പൂർത്തീകരണം ഉൾപ്പെടെ, C++20, C++2b മാനദണ്ഡങ്ങളുടെ പുതിയ സവിശേഷതകൾ Libc++ നടപ്പിലാക്കുന്നത് തുടരുന്നു. പ്ലാറ്റ്‌ഫോമിനായി. Windows MinGW അടിസ്ഥാനമാക്കിയുള്ള std::filesystem-നുള്ള പിന്തുണ ചേർത്തു. ഹെഡർ ഫയലുകൾ വേർതിരിച്ചിരിക്കുന്നു. , ഒപ്പം അപൂർണ്ണമായ പ്രവർത്തനക്ഷമതയുള്ള ഹെഡർ ഫയലുകൾ പ്രവർത്തനരഹിതമാക്കുന്നതിന് LIBCXX_ENABLE_INCOMPLETE_FEATURES ബിൽഡ് ഓപ്ഷൻ ചേർത്തു.
• ബിഗ്-എൻഡിയൻ ആർച്ച്64 പ്രോസസ്സറുകളെ പിന്തുണയ്ക്കുന്നതിനായി എൽഎൽഡി ലിങ്കർ വികസിപ്പിച്ചിട്ടുണ്ട്, കൂടാതെ സ്റ്റാൻഡേർഡ് പ്രോഗ്രാമുകളുടെ ലിങ്കിംഗ് അനുവദിക്കുന്നതിനായി മാക്-ഒ ബാക്കെൻഡ് മെച്ചപ്പെടുത്തിയിട്ടുണ്ട്. എൽഎൽഡി ഉപയോഗിച്ച് ഗ്ലിബിക്കിനെ ലിങ്ക് ചെയ്യുന്നതിന് ആവശ്യമായ മെച്ചപ്പെടുത്തലുകൾ ഉൾപ്പെടുത്തിയിട്ടുണ്ട്.
• ARM Cortex-A55 പോലുള്ള നിർദ്ദേശങ്ങൾ ഇൻ-ഓർഡറിൽ (ഇൻ-ഓർഡർ സൂപ്പർസ്കെലാർ പൈപ്പ്‌ലൈൻ) നടപ്പിലാക്കുന്ന പ്രോസസ്സറുകളെ പിന്തുണയ്ക്കുന്നതിനായി llvm-mca (മെഷീൻ കോഡ് അനലൈസർ) യൂട്ടിലിറ്റി അപ്‌ഡേറ്റ് ചെയ്‌തിരിക്കുന്നു.
• AArch64 പ്ലാറ്റ്‌ഫോമിനായുള്ള LLDB ഡീബഗ്ഗർ ഇപ്പോൾ പോയിന്റർ പ്രാമാണീകരണം, മെമ്മറി ടാഗിംഗ് എക്സ്റ്റൻഷൻ (MemTag) മെക്കാനിസം, SVE രജിസ്റ്ററുകൾ എന്നിവയെ പൂർണ്ണമായി പിന്തുണയ്ക്കുന്നു. ഓരോ മെമ്മറി അലോക്കേഷൻ ഓപ്പറേഷനുമായും ടാഗുകളെ ബന്ധപ്പെടുത്തുന്നതിനും മെമ്മറി ആക്‌സസ് സമയത്ത് പോയിന്റർ ശരിയായ ടാഗുമായി ബന്ധപ്പെട്ടിരിക്കുന്നുവെന്ന് ഉറപ്പാക്കുന്നതിനും കമാൻഡുകൾ ചേർത്തിട്ടുണ്ട്.
• പ്രോജക്റ്റ് സൃഷ്ടിച്ച ബൈനറി അസംബ്ലികളിലേക്ക് എൽഎൽഡിബി ഡീബഗ്ഗറും ഫോർട്രാൻ ഫ്രണ്ട്‌എൻഡായ ഫ്ലാങ്ങും ചേർത്തിട്ടുണ്ട്.

അവലംബം: opennet.ru