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

ആറ് മാസത്തെ വികസനത്തിന് ശേഷം, LLVM 22.1.0 പുറത്തിറങ്ങി. RISC പോലുള്ള വെർച്വൽ നിർദ്ദേശങ്ങളുടെ ഇന്റർമീഡിയറ്റ് ബിറ്റ്കോഡിലേക്ക് പ്രോഗ്രാമുകൾ കംപൈൽ ചെയ്യുന്ന ഉപകരണങ്ങൾ (കംപൈലറുകൾ, ഒപ്റ്റിമൈസറുകൾ, കോഡ് ജനറേറ്ററുകൾ) ഇത് വികസിപ്പിക്കുന്നു (മൾട്ടി-ലെവൽ ഒപ്റ്റിമൈസേഷൻ സിസ്റ്റമുള്ള ഒരു ലോ-ലെവൽ വെർച്വൽ മെഷീൻ). ജനറേറ്റ് ചെയ്ത സ്യൂഡോകോഡ് ഒരു നിശ്ചിത ടാർഗെറ്റ് പ്ലാറ്റ്‌ഫോമിനായി മെഷീൻ കോഡാക്കി മാറ്റാം അല്ലെങ്കിൽ പ്രോഗ്രാം എക്സിക്യൂഷൻ സമയത്ത് നേരിട്ട് മെഷീൻ നിർദ്ദേശങ്ങൾ സൃഷ്ടിക്കാൻ ഒരു ജസ്റ്റ്-ഇൻ-ടൈം (JIT) കംപൈലർ ഉപയോഗിക്കാം. LLVM സാങ്കേതികവിദ്യകളെ അടിസ്ഥാനമാക്കി, പ്രോജക്റ്റ് C, C++, ഒബ്ജക്റ്റീവ്-C പ്രോഗ്രാമിംഗ് ഭാഷകളെ പിന്തുണയ്ക്കുന്ന ക്ലാങ് കംപൈലർ വികസിപ്പിക്കുന്നു. 18.x ബ്രാഞ്ചിൽ നിന്ന് ആരംഭിച്ച്, പ്രോജക്റ്റ് ഒരു പുതിയ പതിപ്പ് നമ്പറിംഗ് സ്കീമിലേക്ക് മാറി, അതനുസരിച്ച് വികസന സമയത്ത് റിലീസ് 0 ("N.0") ഉപയോഗിക്കുന്നു, ആദ്യത്തെ സ്ഥിരതയുള്ള പതിപ്പിന് "N.1" എന്ന് നമ്പറിട്ടിരിക്കുന്നു.

ക്ലാങ് 22-ലെ മെച്ചപ്പെടുത്തലുകളിൽ ഇവ ഉൾപ്പെടുന്നു:

• malloc പോലുള്ള ഫംഗ്ഷനുകൾ ഉപയോഗിച്ച് നടത്തുന്ന മെമ്മറി അലോക്കേഷൻ പ്രവർത്തനങ്ങൾ ഒരു അദ്വിതീയ ഐഡന്റിഫയർ ഉപയോഗിച്ച് അടയാളപ്പെടുത്തുന്നതിനായി മെമ്മറി അലോക്കേഷൻ ടോക്കണുകൾക്കുള്ള (അലോക്കേഷൻ ടോക്കണുകൾ) പിന്തുണ ചേർത്തു. അലോക്കേഷൻ ടോക്കണുകൾ ഹീപ്പ് വിവരങ്ങൾ ഘടനാപരമാക്കുന്നതിനും മെമ്മറി ലീക്ക് ഡിറ്റക്ഷൻ ലളിതമാക്കുന്നതിനും വസ്തുക്കളുടെ ഉദ്ദേശ്യമോ പരിഷ്കരണ പാറ്റേണുകളോ അടിസ്ഥാനമാക്കി ഗ്രൂപ്പിംഗ് പ്രാപ്തമാക്കുന്നതിനും അനുവദിക്കുന്നു (ഉദാ. "ചൂടുള്ള" ഡാറ്റയെ "തണുത്ത" ഡാറ്റയിൽ നിന്ന് വേർതിരിക്കുന്നത്). പ്രവർത്തനക്ഷമമാക്കാൻ, "-fsanitize=alloc-token" ഫ്ലാഗ് ഉപയോഗിക്കുക.
• സി ഭാഷയുമായി ബന്ധപ്പെട്ട സവിശേഷതകൾ:
  • "defer" deferded execution mechanism നിർവചിക്കുന്ന ഒരു ഡ്രാഫ്റ്റ് സ്പെസിഫിക്കേഷൻ നടപ്പിലാക്കിയിട്ടുണ്ട്, ഇത് നിലവിലെ സ്കോപ്പ് പുറത്തുകടക്കുമ്പോൾ പ്രവർത്തനങ്ങൾ നടപ്പിലാക്കാൻ അനുവദിക്കുന്നു. "defer" പിന്തുണ പ്രാപ്തമാക്കുന്നതിനായി "-fdefer-ts" ഫ്ലാഗ് ചേർത്തിട്ടുണ്ട്.
  • __builtin_stack_address() എന്ന ബിൽറ്റ്-ഇൻ ഫംഗ്ഷൻ ചേർത്തിരിക്കുന്നു, ഇത് GCC-യിലെ സമാനമായ ഫംഗ്ഷനെ പ്രതിഫലിപ്പിക്കുന്നു. __builtin_stack_address() എന്ന് വിളിക്കുന്ന നിലവിലെ ഫംഗ്ഷന്റെ സ്റ്റാക്ക് ഏരിയയെ വേർതിരിക്കുന്ന സ്റ്റാക്ക് വിലാസവും അത് വിളിക്കുന്ന തുടർന്നുള്ള ഫംഗ്ഷനുകളും ഈ ഫംഗ്ഷൻ തിരികെ നൽകുന്നു.
• ഭാവിയിലെ C2y നിലവാരത്തിനായി വികസിപ്പിച്ചുകൊണ്ടിരിക്കുന്ന കഴിവുകൾ:
  • ലൂപ്പുകൾക്ക് പേരുകൾ നൽകാനും സ്റ്റേറ്റ്‌മെന്റുകൾ സ്വിച്ച് ചെയ്യാനും നിങ്ങളെ അനുവദിക്കുന്ന നെയിംഡ് ലൂപ്പുകൾക്കുള്ള പിന്തുണ ചേർത്തു, ലൂപ്പിൽ നിന്ന് പുറത്തുകടക്കേണ്ട ലൂപ്പ് വ്യക്തമായി നിർവചിക്കുന്നതിന് ബ്രേക്ക്, കണ്ടിന്യൂ സ്റ്റേറ്റ്‌മെന്റുകളിൽ ഇത് വ്യക്തമാക്കാം. outer: for (int i = 0; i < IK; ++ i) { for (int j = 0; j < JK; ++ j) { continue; // go to CONT1 continue outer; // go to CONT2 // CONT1 } // CONT2 }
  • അദ്വിതീയ ഐഡന്റിഫയർ നാമങ്ങൾ സൃഷ്ടിക്കുന്നതിനായി രൂപകൽപ്പന ചെയ്‌തിരിക്കുന്ന ബിൽറ്റ്-ഇൻ "__COUNTER__" മാക്രോയുടെ നടപ്പാക്കൽ വിപുലീകരിച്ച് സ്റ്റാൻഡേർഡിൽ ഉൾപ്പെടുത്തിയിട്ടുണ്ട്. ഈ മാക്രോയിലേക്കുള്ള കോളുകളുടെ പരിധി 2147483647 ആയി സജ്ജീകരിച്ചിരിക്കുന്നു; ഈ പരിധി കവിയുന്നത് ഒരു പിശക് സൃഷ്ടിക്കും.
  • "എക്സ്റ്റേൺ ഇൻലൈൻ" എന്ന് പ്രഖ്യാപിച്ച ഫംഗ്ഷനുകൾക്കുള്ളിലെ സ്റ്റാറ്റിക് ഫംഗ്ഷനുകളോ വേരിയബിളുകളോ ഉപയോഗിക്കുമ്പോൾ മുന്നറിയിപ്പ് (-Wstatic-in-inline) നീക്കം ചെയ്‌തു.
• C23 C സ്റ്റാൻഡേർഡിൽ നിർവചിച്ചിരിക്കുന്ന കഴിവുകൾ:
  • float.h ഹെഡർ ഫയൽ ഇപ്പോൾ FLT_SNAN, DBL_SNAN, LDBL_SNAN മാക്രോകളെ പിന്തുണയ്ക്കുന്നു, ഇവ ഫ്ലോട്ട്, ഡബിൾ, ലോംഗ് ഡബിൾ തരങ്ങൾക്കായി സിഗ്നൽ ചെയ്ത (ഗണിത പ്രവർത്തനങ്ങളിൽ ഉപയോഗിക്കുമ്പോൾ ഒരു അപവാദം ഉണ്ടാക്കുന്നു) NaN മൂല്യങ്ങൾ നടപ്പിലാക്കുന്നു.
  • ഒരേ ഫീൽഡുകൾ ഉണ്ടെങ്കിൽ, ഒരേ വിവർത്തന യൂണിറ്റിനുള്ളിൽ വ്യത്യസ്ത പേരില്ലാത്ത തരങ്ങളെ അനുയോജ്യമെന്ന് കണക്കാക്കുന്ന ഒരു ബഗ് പരിഹരിച്ചു.
  • ഡിപൻഡൻസി സ്കാനിംഗ് സമയത്ത് നഷ്ടപ്പെട്ട ഹെഡർ ഫയലുകൾ അവഗണിക്കാൻ ഉപയോഗിച്ചിരുന്ന "-MG" ഫ്ലാഗ് "#embed" ഡയറക്റ്റീവുകളിലേക്ക് വിപുലീകരിച്ചിരിക്കുന്നു, ഇപ്പോൾ "#embed" ഡയറക്റ്റീവിൽ വ്യക്തമാക്കിയിട്ടുള്ള ഒരു ഫയൽ കാണാതാകുമ്പോൾ "ഫയൽ കണ്ടെത്തിയില്ല" എന്ന പിശക് ഇല്ലാതാക്കുന്നു.
• സി++ അനുബന്ധ സവിശേഷതകൾ:
  • C++2c (C++26) സ്പെസിഫിക്കേഷനിൽ വികസിപ്പിച്ചെടുത്ത "constexpr" സന്ദർഭത്തിൽ ഘടനാപരമായ ബൈൻഡിംഗുകൾ ഉപയോഗിക്കാനുള്ള കഴിവ് ചേർത്തിട്ടുണ്ട്. ഇതിനർത്ഥം സ്ഥിരമായ എക്സ്പ്രഷനുകളിലേക്കുള്ള റഫറൻസുകൾ ഇപ്പോൾ സ്ഥിരമായ എക്സ്പ്രഷനുകളാകാം എന്നാണ്. അറേകൾക്കും ലളിതമായ ഘടനകൾക്കും പിന്തുണ നടപ്പിലാക്കിയിട്ടുണ്ട് (ട്യൂപ്പിളുകൾ ഇതുവരെ പിന്തുണയ്ക്കുന്നില്ല). constexpr int arr[] = {1, 2}; constexpr auto [x, y] = arr;
  • C++20 സ്റ്റാൻഡേർഡ് ആവശ്യപ്പെടുന്നത് പോലെ, പരിശോധിക്കുന്നതിന് മുമ്പ് കൺസ്ട്രൈന്റ്‌സുകൾ ഇപ്പോൾ സ്റ്റാൻഡേർഡ് രൂപത്തിലേക്ക് പരിവർത്തനം ചെയ്യപ്പെടുന്നു, ഇത് കൺസെപ്റ്റ്-ഐഡികളിൽ മാത്രം ഉപയോഗിക്കുന്ന ടെംപ്ലേറ്റ് ആർഗ്യുമെന്റുകളിൽ കൂടുതൽ കൃത്യമായ ഡയഗ്നോസ്റ്റിക് സന്ദേശങ്ങൾക്കും സബ്സ്റ്റിറ്റ്യൂഷൻ പിശകുകൾ ശരിയായി കൈകാര്യം ചെയ്യുന്നതിനും അനുവദിക്കുന്നു.
  • "<", ">", "<=", ">=" എന്നീ താരതമ്യ ഓപ്പറേറ്ററുകൾ "<=>" ഓപ്പറേറ്ററിൽ നിന്ന് സമന്വയിപ്പിച്ചിട്ടുണ്ടോ എന്ന് കണ്ടെത്താൻ "__builtin_[lt|gt|le|ge]_synthesizes_from_spaceship" എന്ന ബിൽറ്റ്-ഇൻ ഫംഗ്‌ഷനുകളുടെ ഒരു കുടുംബം ചേർത്തു.
  • "-Wincompatible-pointer-types" എന്ന പാരാമീറ്റർ ഒരു മുന്നറിയിപ്പിന് പകരം ഒരു പിശക് ഔട്ട്‌പുട്ട് ചെയ്യുന്നതിനായി മാറ്റിയിരിക്കുന്നു. മുമ്പത്തെ പെരുമാറ്റത്തിലേക്ക് മടങ്ങാൻ, "-Wno-error=incompatible-pointer-types" ഓപ്ഷൻ ഉപയോഗിക്കുക.
• __builtin_bswapg, __builtin_elementwise_ldexp, __builtin_elementwise_fshl, __builtin_elementwise_fshr, __builtin_elementwise_minnumn, __builtin_elementwise_maxnumn, __builtin_masked_load, __builtin_masked_expand_load, __builtin_masked_store, __builtin_masked_compress_store, __builtin_masked_gather, __builtin_masked_scatter, __builtin_dedup_pack എന്നീ ബിൽറ്റ്-ഇൻ ഫംഗ്ഷനുകൾ ചേർത്തു. ഉദാഹരണത്തിന്, MyTypeList = TypeList<__builtin_dedup_pack ഉപയോഗിച്ച് ഒരു ലിസ്റ്റിൽ നിന്ന് തനിപ്പകർപ്പുകൾ നീക്കം ചെയ്യാൻ builtin_dedup_pack നിങ്ങളെ അനുവദിക്കുന്നു: …>; // ഫലമായുണ്ടാകുന്ന തരം TypeList ആയിരിക്കും
• UBSan (-fsanitize=undefined -fsanitize-trap=undefined) ഉപയോഗിച്ച് നിർവചിക്കപ്പെടാത്ത പെരുമാറ്റം ഡീബഗ് ചെയ്യുമ്പോൾ, ജനറേറ്റ് ചെയ്ത ഡീബഗ് വിവരങ്ങളിൽ പിശക് കാരണ വിവരങ്ങൾ ഇപ്പോൾ ഉൾപ്പെടുത്തിയിട്ടുണ്ട്. പിശക് വിവരങ്ങളിലെ വിശദാംശങ്ങളുടെ ലെവൽ വ്യക്തമാക്കുന്നതിന് "-fsanitize-debug-trap-reasons" ഫ്ലാഗ് ചേർത്തിട്ടുണ്ട്. പൊതുവായ വിവരണങ്ങൾക്കായി ഇത് "അടിസ്ഥാനം" ആയും (ഉദാ. "പൂർണ്ണസംഖ്യ കൂട്ടിച്ചേർക്കൽ ഓവർഫ്ലോഡ്") വിശദമായ വിവരങ്ങൾ ഉൾപ്പെടുത്തുന്നതിന് "വിശദമായത്" ആയും സജ്ജമാക്കാം (ഉദാ. "'a + b'-ൽ ഒപ്പിട്ട പൂർണ്ണസംഖ്യ കൂട്ടിച്ചേർക്കൽ ഓവർഫ്ലോ").
• പുതിയ കംപൈലർ ഫ്ലാഗുകൾ ചേർത്തു:
  • "-fsanitize-trap" മോഡ് ഉപയോഗിച്ച് കംപൈൽ ചെയ്യുമ്പോൾ ഡീബഗ് വിവരങ്ങളിൽ എക്‌സെപ്ഷൻ ട്രാപ്പ് കാരണങ്ങൾ ഉൾച്ചേർത്തിട്ടുണ്ടോ എന്ന് നിയന്ത്രിക്കുന്നതിന് "-f[no-]sanitize-debug-trap-reasons".
  • മെമ്മറി അലോക്കേഷൻ ടോക്കണുകൾ കൈകാര്യം ചെയ്യുന്നതിനായി "-fsanitize=alloc-token", "-falloc-token-max", "-fsanitize-alloc-token-fast-abi", "-fsanitize-alloc-token-extended" എന്നിവ ഉപയോഗിക്കുന്നു.
  • മാട്രിക്സ് തരങ്ങളുടെ മെമ്മറി ലേഔട്ട് നിയന്ത്രിക്കുന്നതിനുള്ള "-fmatrix-memory-layout" (ഉദാ: കോളം-മേജറിന് കോളം-മേജർ, റോ-മേജറിന് റോ-മേജർ).
• ഫംഗ്ഷനുകൾക്ക് ഇപ്പോൾ ഒരു "malloc_span" ആട്രിബ്യൂട്ട് ഉണ്ട്, malloc ആട്രിബ്യൂട്ടിന് സമാനമാണ്, എന്നാൽ ബ്ലോക്കിന്റെ അവസാനത്തിലേക്ക് വലുപ്പമോ പോയിന്ററോ ഉള്ള ഒരു പോയിന്ററും ഫീൽഡും അടങ്ങിയ സ്പാൻ പോലുള്ള ഘടനകളെ തിരികെ നൽകുന്ന ഫംഗ്ഷനുകൾക്ക് ഇത് ബാധകമാണ്.
• ലിങ്ക് സമയത്ത് printf ഫംഗ്ഷന്റെ ആവശ്യമായ സ്റ്റാറ്റിക്കലി ലിങ്ക്ഡ് ഇംപ്ലിമെന്റേഷൻ ഡൈനാമിക് ആയി തിരഞ്ഞെടുക്കുന്നതിന് "modular_format" ആട്രിബ്യൂട്ട് ചേർത്തു.
• ഡയഗ്നോസ്റ്റിക്, സ്റ്റാറ്റിക് വിശകലന ഉപകരണങ്ങൾ വികസിപ്പിച്ചു, പുതിയ പരിശോധനകൾ ചേർത്തു (നിരവധി ഡസൻ ഡയഗ്നോസ്റ്റിക് സംബന്ധിയായ മെച്ചപ്പെടുത്തലുകൾ).
• SSE, AVX, AVX512 എക്സ്റ്റെൻഷനുകൾക്കായുള്ള അധിക ഇൻട്രിൻസിക്കുകൾ X86 ബാക്കെൻഡിലേക്ക് ചേർത്തിട്ടുണ്ട്. Wildcat Lake (-march=wildcatlake), Nova Lake (-march=novalake) മൈക്രോആർക്കിടെക്ചറുകളെ അടിസ്ഥാനമാക്കി ഇന്റൽ CPU-കൾക്കായി ബിൽഡ് മോഡുകൾ ചേർത്തിട്ടുണ്ട്.
• AArch64 ബാക്കെൻഡ് ഇപ്പോൾ ആമ്പിയർ കമ്പ്യൂട്ടിംഗ് Ampere1C (ampere1c), Arm C1-Nano (c1-nano), Arm C1-Pro (c1-pro), Arm C1-Premium (c1-premium), Arm C1-Ultra (c1-ultra) പ്രോസസറുകളെ പിന്തുണയ്ക്കുന്നു. FCVTZ[US], FCVTN[US], FCVTM[US], FCVTP[US], FCVTA[US] നിർദ്ദേശങ്ങൾക്കായി അധിക ബിൽറ്റ്-ഇൻ ഫംഗ്ഷനുകൾ ചേർത്തിട്ടുണ്ട്. ഫംഗ്ഷൻ മൾട്ടി-വേർഷനിംഗ് (FMV) പിന്തുണ സ്ഥിരപ്പെടുത്തിയിരിക്കുന്നു. ഉപയോക്താക്കൾക്ക് ഇപ്പോൾ വ്യത്യസ്ത ഫംഗ്ഷൻ പതിപ്പുകളുടെ മുൻഗണന അസാധുവാക്കാൻ കഴിയും.
• LoongArch32 (LA32R, LA32S) ആർക്കിടെക്ചറിനുള്ള പിന്തുണ ചേർത്തു.
• ARM, AMDGPU, RISC-V, LoongArch64, MIPS, WebAssembly, PowerPC ആർക്കിടെക്ചറുകൾക്കുള്ള മെച്ചപ്പെടുത്തിയ ബാക്കെൻഡുകൾ.

അവലംബം: opennet.ru