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

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

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

• x86 ആർക്കിടെക്ചറിനെ അടിസ്ഥാനമാക്കിയുള്ള സിസ്റ്റങ്ങൾക്കായി, “-fzero-call-used-regs” ഫ്ലാഗ് ചേർത്തിട്ടുണ്ട്, ഇത് ഫംഗ്ഷനിൽ ഉപയോഗിച്ചിരിക്കുന്ന എല്ലാ CPU രജിസ്റ്ററുകളും ഫംഗ്‌ഷനിൽ നിന്ന് നിയന്ത്രണം തിരികെ നൽകുന്നതിന് മുമ്പ് പൂജ്യത്തിലേക്ക് പുനഃസജ്ജമാക്കുന്നുവെന്ന് ഉറപ്പാക്കുന്നു. ഫംഗ്‌ഷനുകളിൽ നിന്നുള്ള വിവര ചോർച്ചയിൽ നിന്ന് പരിരക്ഷിക്കാനും ചൂഷണങ്ങളിൽ ROP (റിട്ടേൺ-ഓറിയന്റഡ് പ്രോഗ്രാമിംഗ്) ഗാഡ്‌ജെറ്റുകൾ നിർമ്മിക്കുന്നതിന് അനുയോജ്യമായ ബ്ലോക്കുകളുടെ എണ്ണം ഏകദേശം 20% കുറയ്ക്കാനും ഈ ഓപ്ഷൻ നിങ്ങളെ അനുവദിക്കുന്നു.
• സി കോഡിനായുള്ള ഘടനകളുടെ മെമ്മറി പ്ലേസ്‌മെന്റിന്റെ റാൻഡമൈസേഷൻ നടപ്പിലാക്കി, ഇത് കേടുപാടുകൾ ചൂഷണം ചെയ്യുന്ന സാഹചര്യത്തിൽ ഘടനകളിൽ നിന്ന് ഡാറ്റ വേർതിരിച്ചെടുക്കുന്നത് സങ്കീർണ്ണമാക്കുന്നു. Randomize_layout, no_randomize_layout ആട്രിബ്യൂട്ടുകൾ ഉപയോഗിച്ച് റാൻഡമൈസേഷൻ ഓൺ ചെയ്യുകയും ഓഫാക്കുകയും ചെയ്യുന്നു, കൂടാതെ "-frandomize-layout-seed" അല്ലെങ്കിൽ "-frandomize-layout-seed-file" ഫ്ലാഗ് ഉപയോഗിച്ച് ഒരു സീഡ് സജ്ജീകരിക്കേണ്ടതുണ്ട്.
• "-fstrict-flex-arrays=" ഫ്ലാഗ് ചേർത്തു ", ഇത് ഉപയോഗിച്ച് നിങ്ങൾക്ക് ഘടനകളിലെ ഒരു ഫ്ലെക്സിബിൾ അറേ ഘടകത്തിനായുള്ള അതിരുകൾ നിയന്ത്രിക്കാനാകും (ഫ്ലെക്സിബിൾ അറേ അംഗങ്ങൾ, ഘടനയുടെ അവസാനത്തിൽ അനിശ്ചിത വലുപ്പത്തിലുള്ള ഒരു ശ്രേണി). 0 (സ്ഥിരസ്ഥിതി) ആയി സജ്ജീകരിക്കുമ്പോൾ, ഒരു അറേ ഉള്ള ഘടനയുടെ അവസാന ഘടകം എല്ലായ്പ്പോഴും ഒരു ഫ്ലെക്സിബിൾ അറേ ആയി പ്രോസസ്സ് ചെയ്യപ്പെടുന്നു, 1 - മാത്രം വലിപ്പങ്ങൾ [], [0] കൂടാതെ [1] ഒരു ഫ്ലെക്സിബിൾ അറേ ആയി പ്രോസസ്സ് ചെയ്യപ്പെടുന്നു, 2 - മാത്രം വലുപ്പങ്ങൾ [] കൂടാതെ [0] എന്നിവ ഒരു ഫ്ലെക്സിബിൾ അറേ പോലെ പ്രോസസ്സ് ചെയ്യുന്നു.
• ഷേഡറുകൾ എഴുതാൻ ഡയറക്‌ട്‌എക്‌സിൽ ഉപയോഗിക്കുന്ന സി പോലുള്ള ഭാഷയായ എച്ച്‌എൽഎസ്‌എൽ (ഹൈ-ലെവൽ ഷേഡർ ലാംഗ്വേജ്) എന്നതിനായുള്ള പരീക്ഷണാത്മക പിന്തുണ ചേർത്തു.
• ഫിക്സഡ്, വേരിയബിൾ-ലെങ്ത് അറേകളുമായി ബന്ധപ്പെട്ട പൊരുത്തമില്ലാത്ത ആർഗ്യുമെന്റ് ഡിക്ലറേഷനുകളുള്ള ഫംഗ്ഷനുകളെ മറികടക്കുന്നതിനെക്കുറിച്ച് മുന്നറിയിപ്പ് നൽകാൻ "-വാറേ-പാരാമീറ്റർ" ചേർത്തു.
• MSVC-യുമായുള്ള മെച്ചപ്പെട്ട അനുയോജ്യത. MSVC-യിൽ നൽകിയിരിക്കുന്ന "#പ്രാഗ്മ ഫംഗ്‌ഷൻ" (ഇൻലൈൻ വിപുലീകരണത്തിന് പകരം ഒരു ഫംഗ്‌ഷൻ കോൾ സൃഷ്‌ടിക്കാൻ കംപൈലറിന് നിർദ്ദേശം നൽകുന്നു), "#പ്രാഗ്മ അലോക്ക്_ടെക്‌സ്‌റ്റ്" (ഫംഗ്‌ഷൻ കോഡുള്ള വിഭാഗത്തിന്റെ പേര് നിർവചിക്കുന്നു) എന്നിവയ്‌ക്കുള്ള പിന്തുണ ചേർത്തു. MSVC-അനുയോജ്യമായ /JMC, /JMC ഫ്ലാഗുകൾക്കുള്ള പിന്തുണ ചേർത്തു.
• ഭാവിയിലെ C2X, C++23 നിലവാരങ്ങളെ പിന്തുണയ്ക്കുന്നതിനുള്ള പ്രവർത്തനം തുടരുന്നു. സി ഭാഷയ്‌ക്കായി, ഇനിപ്പറയുന്നവ നടപ്പിലാക്കുന്നു: നോർ‌ടേൺ ആട്രിബ്യൂട്ട്, തെറ്റായതും ശരിയുമുള്ള കീവേഡുകൾ, തന്നിരിക്കുന്ന ബിറ്റ് ഡെപ്‌തിന്റെ പൂർണ്ണസംഖ്യകൾക്കായുള്ള _BitInt(N) തരം, *_WIDTH മാക്രോകൾ, UTF-8 എൻ‌കോഡ് ചെയ്‌ത പ്രതീകങ്ങൾക്കുള്ള u8 പ്രിഫിക്‌സ്.

  C++ ന്, ഇനിപ്പറയുന്നവ നടപ്പിലാക്കുന്നു: മൊഡ്യൂൾ ലയനം, ഫംഗ്‌ഷൻ അംഗങ്ങളുടെ എബിഐ ഒറ്റപ്പെടുത്തൽ, മൊഡ്യൂളുകളിലെ പ്രാദേശിക ഇതര വേരിയബിളുകളുടെ ഡൈനാമിക് ഇനീഷ്യലൈസേഷൻ, മൾട്ടിഡൈമൻഷണൽ ഇൻഡക്‌സ് ഓപ്പറേറ്റർമാർ, ഓട്ടോ(x), നോൺ-ലിറ്ററൽ വേരിയബിളുകൾ, കോൺസ്റ്റെക്‌സ്‌പിആർ ആയി പ്രഖ്യാപിച്ച ഫംഗ്‌ഷനുകളിലെ ഗോട്ടോ, ലേബലുകൾ , ഡിലിമിറ്റഡ് എസ്‌കേപ്പ് സീക്വൻസുകൾ, എസ്‌കേപ്പ് പ്രതീകങ്ങൾ എന്ന് പേരിട്ടു.

• OpenCL, OpenMP പിന്തുണയുമായി ബന്ധപ്പെട്ട കഴിവുകൾ വിപുലീകരിച്ചു. OpenCL വിപുലീകരണത്തിനുള്ള പിന്തുണ ചേർത്തു cl_khr_subgroup_rotate.
• x86 ആർക്കിടെക്ചറിനായി, നിരുപാധികമായ ഫോർവേഡ് ജമ്പ് ഓപ്പറേഷനുകൾക്ക് ശേഷം നിർദ്ദേശങ്ങൾ ഊഹക്കച്ചവടത്തിൽ നടപ്പിലാക്കുന്നത് മൂലമുണ്ടാകുന്ന പ്രോസസറുകളിലെ കേടുപാടുകൾക്കെതിരെ സംരക്ഷണം ചേർത്തിട്ടുണ്ട്. മെമ്മറിയിലെ ബ്രാഞ്ച് നിർദ്ദേശങ്ങൾ (SLS, സ്‌ട്രെയിറ്റ് ലൈൻ ഊഹക്കച്ചവടം) പിന്തുടരുന്ന നിർദ്ദേശങ്ങളുടെ പ്രീ-എംപ്റ്റീവ് പ്രോസസ്സിംഗ് മൂലമാണ് പ്രശ്നം സംഭവിക്കുന്നത്. സംരക്ഷണം പ്രവർത്തനക്ഷമമാക്കുന്നതിന്, “-mharden-sls=[none|all|return|indirect-jmp]” ഓപ്ഷൻ നിർദ്ദേശിക്കുന്നു.
• SSE2 വിപുലീകരണത്തെ പിന്തുണയ്ക്കുന്ന പ്ലാറ്റ്‌ഫോമുകൾക്കായി, _Float16 തരം ചേർത്തു, AVX512-FP16 നിർദ്ദേശങ്ങൾക്കുള്ള പിന്തുണയില്ലാത്ത സാഹചര്യത്തിൽ ഫ്ലോട്ട് തരം ഉപയോഗിച്ച് ഇത് അനുകരിക്കുന്നു.
• RDPRU നിർദ്ദേശത്തിന്റെ ഉപയോഗം നിയന്ത്രിക്കാൻ "-m[no-]rdpru" ഫ്ലാഗ് ചേർത്തു, AMD Zen2 പ്രോസസറുകളിൽ തുടങ്ങുന്ന പിന്തുണ.
• RETBLEED കേടുപാടുകൾക്കെതിരെ പരിരക്ഷിക്കുന്നതിനായി "-mfunction-return=thunk-extern" ഫ്ലാഗ് ചേർത്തു, പരോക്ഷ ശാഖകൾക്കുള്ള ഊഹക്കച്ചവട നിർവ്വഹണ സംവിധാനത്തിന്റെ പങ്കാളിത്തം ഒഴിവാക്കുന്ന നിർദ്ദേശങ്ങളുടെ ഒരു ശ്രേണി ചേർത്തുകൊണ്ട് ഇത് പ്രവർത്തിക്കുന്നു.

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

• Cortex-M85 CPU, Armv9-A, Armv9.1-A, Armv9.2-A ആർക്കിടെക്ചറുകൾ, Armv8.1-M PACBTI-M വിപുലീകരണങ്ങൾക്കുള്ള പിന്തുണ ചേർത്തു.
• DirectX ഷേഡറുകൾക്കായി ഉപയോഗിക്കുന്ന DXIL (DirectX ഇന്റർമീഡിയറ്റ് ലാംഗ്വേജ്) ഫോർമാറ്റിനെ പിന്തുണയ്ക്കുന്ന DirectX-നുള്ള ഒരു പരീക്ഷണാത്മക ബാക്കെൻഡ് ചേർത്തിരിക്കുന്നു. അസംബ്ലി സമയത്ത് “-DLLVM_EXPERIMENTAL_TARGETS_TO_BUILD=DirectX” പാരാമീറ്റർ വ്യക്തമാക്കി ബാക്കെൻഡ് പ്രവർത്തനക്ഷമമാക്കുന്നു.
• Libc++ C++20, C++2b സ്റ്റാൻഡേർഡുകളുടെ പുതിയ സവിശേഷതകൾ നടപ്പിലാക്കുന്നത് തുടരുന്നു, "ഫോർമാറ്റ്" ലൈബ്രറിയുടെ പൂർത്തീകരണം, "റേഞ്ച്" ലൈബ്രറിയുടെ പരീക്ഷണാത്മക പതിപ്പ് എന്നിവ ഉൾപ്പെടെ.
• x86, PowerPC, RISC-V ആർക്കിടെക്ചറുകൾക്കുള്ള മെച്ചപ്പെട്ട ബാക്കെൻഡുകൾ.
• LLD ലിങ്കറിന്റെയും LLDB ഡീബഗ്ഗറിന്റെയും കഴിവുകൾ മെച്ചപ്പെടുത്തി.

അവലംബം: opennet.ru