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

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

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

• ഗ്യാരണ്ടീഡ് ടെയിൽ കോളുകൾക്കായി നടപ്പിലാക്കിയ പിന്തുണ (ഒരു ഫംഗ്‌ഷന്റെ അവസാനത്തിൽ ഒരു സബ്‌റൂട്ടീനെ വിളിക്കുന്നു, സബ്‌റൂട്ടീൻ സ്വയം വിളിക്കുകയാണെങ്കിൽ ഒരു ടെയിൽ റിക്കർഷൻ ഉണ്ടാക്കുന്നു). ഗ്യാരണ്ടീഡ് ടെയിൽ കോളുകൾക്കുള്ള പിന്തുണ നൽകുന്നത് C++ ലെ "[[cang::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 സ്പെസിഫിക്കേഷൻ നടപ്പിലാക്കുന്നത് തുടരുന്നു. സിക്ക്, മറ്റൊരു പതിപ്പ് വ്യക്തമായി തിരഞ്ഞെടുത്തിട്ടില്ലെങ്കിൽ, ഡിഫോൾട്ടായി OpenCL 1.2 സ്പെസിഫിക്കേഷൻ ഉപയോഗിക്കുന്നു. C++ നായി, “.clcpp” എന്ന വിപുലീകരണമുള്ള ഫയലുകൾക്കുള്ള പിന്തുണ ചേർത്തു.
• ഓപ്പൺഎംപി 5.1 സ്പെസിഫിക്കേഷനിൽ നിർവചിച്ചിരിക്കുന്ന ലൂപ്പ് ട്രാൻസ്ഫോർമേഷൻ നിർദ്ദേശങ്ങൾക്കുള്ള പിന്തുണ ("#pragma omp unrol", "#pragma omp tile") നടപ്പിലാക്കി.
• ക്ലാങ് ഫോർമാറ്റ് യൂട്ടിലിറ്റിയിലേക്ക് ഓപ്‌ഷനുകൾ ചേർത്തു: അഭിപ്രായങ്ങൾക്ക് മുമ്പുള്ള സ്‌പെയ്‌സുകളുടെ എണ്ണം നിർവചിക്കുന്നതിന് SpacesInLineCommentPrefix, IndentAccessModifiers, LambdaBodyIndentation, PPIndentWidth എന്നിവ എൻട്രികൾ, ലാംഡ എക്‌സ്‌പ്രഷനുകൾ, പ്രീപ്രൊസസ്സർ നിർദ്ദേശങ്ങൾ എന്നിവയുടെ വിന്യാസം നിയന്ത്രിക്കുന്നതിന്. ഹെഡർ ഫയലുകളുടെ (SortIncludes) എണ്ണൽ ക്രമപ്പെടുത്തുന്നതിനുള്ള സാധ്യതകൾ വിപുലീകരിച്ചു. JSON ഫയലുകൾ ഫോർമാറ്റ് ചെയ്യുന്നതിനുള്ള പിന്തുണ ചേർത്തു.
• പുതിയ ചെക്കുകളുടെ വലിയൊരു ഭാഗം ലിന്റർ ക്ലാങ്-ടൈഡിയിൽ ചേർത്തിട്ടുണ്ട്.

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

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

അവലംബം: opennet.ru