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

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

ടാർഗെറ്റ് RISC-V പ്ലാറ്റ്‌ഫോമിൽ നിന്ന് പരീക്ഷണാത്മക ഡിസൈൻ ടാഗ് നീക്കംചെയ്യൽ, OpenCL-നുള്ള C++ പിന്തുണ, LLD-യിൽ ഒരു പ്രോഗ്രാമിനെ ഡൈനാമിക് ആയി ലോഡുചെയ്‌ത ഭാഗങ്ങളായി വിഭജിക്കാനുള്ള കഴിവ്, കൂടാതെ " നടപ്പിലാക്കൽ എന്നിവ LLVM 9.0-ന്റെ പുതിയ സവിശേഷതകളിൽ ഉൾപ്പെടുന്നു.asm goto", Linux കേർണൽ കോഡിൽ ഉപയോഗിക്കുന്നു. libc++ WASI (WebAssembly സിസ്റ്റം ഇന്റർഫേസ്) എന്നതിനുള്ള പിന്തുണ ചേർത്തു, കൂടാതെ WebAssembly ഡൈനാമിക് ലിങ്കിംഗിനുള്ള പ്രാരംഭ പിന്തുണ LLD ചേർത്തു.

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

• ചേർത്തു GCC-നിർദ്ദിഷ്ട പദപ്രയോഗം നടപ്പിലാക്കൽ "asm goto“, ഒരു അസംബ്ലർ ഇൻലൈൻ ബ്ലോക്കിൽ നിന്ന് സി കോഡിലെ ലേബലിലേക്ക് നീങ്ങാൻ ഇത് നിങ്ങളെ അനുവദിക്കുന്നു. x86_64 ആർക്കിടെക്ചറിലുള്ള സിസ്റ്റങ്ങളിൽ Clang ഉപയോഗിച്ച് “CONFIG_JUMP_LABEL=y” മോഡിൽ ലിനക്സ് കേർണൽ നിർമ്മിക്കുന്നതിന് ഈ സവിശേഷത ആവശ്യമാണ്. മുൻ പതിപ്പുകളിൽ ചേർത്ത മാറ്റങ്ങൾ കണക്കിലെടുത്താൽ, x86_64 ആർക്കിടെക്ചറിനായി ലിനക്സ് കേർണൽ ഇപ്പോൾ Clang-ൽ നിർമ്മിക്കാം (മുമ്പ് ആം, aarch64, ppc32, ppc64le, mips ആർക്കിടെക്ചറുകൾ എന്നിവയ്ക്ക് വേണ്ടിയുള്ള ബിൽഡിംഗ് മാത്രമാണ് പിന്തുണച്ചിരുന്നത്). കൂടാതെ, Android, ChromeOS പ്രോജക്റ്റുകൾ ഇതിനകം തന്നെ കേർണൽ നിർമ്മാണത്തിനായി Clang ഉപയോഗിക്കുന്നതിന് പരിവർത്തനം ചെയ്തിട്ടുണ്ട്, കൂടാതെ Google അതിന്റെ പ്രൊഡക്ഷൻ Linux സിസ്റ്റങ്ങൾക്കായി കെർണലുകൾ നിർമ്മിക്കുന്നതിനുള്ള പ്രധാന പ്ലാറ്റ്ഫോമായി Clang-നെ പരീക്ഷിക്കുന്നു. ഭാവിയിൽ, LLD, llvm-objcopy, llvm-ar, llvm-nm, llvm-objdump എന്നിവയുൾപ്പെടെ മറ്റ് LLVM ഘടകങ്ങൾ കേർണൽ ബിൽഡ് പ്രക്രിയയിൽ ഉപയോഗിക്കാനാകും;
• OpenCL-ൽ C++17 ഉപയോഗിക്കുന്നതിനുള്ള പരീക്ഷണാത്മക പിന്തുണ ചേർത്തു. അഡ്രസ് സ്‌പേസ് ആട്രിബ്യൂട്ടുകൾക്കുള്ള പിന്തുണ, ടൈപ്പ് കാസ്റ്റിംഗ് ഓപ്പറേറ്റർമാർ വഴി അഡ്രസ് സ്‌പേസ് പരിവർത്തനം തടയൽ, സിയ്‌ക്കായുള്ള ഓപ്പൺസിഎല്ലിൽ ഉള്ളത് പോലെ വെക്‌റ്റർ തരങ്ങൾ നൽകൽ, ഇമേജുകൾ, ഇവന്റുകൾ, ചാനലുകൾ മുതലായവയ്‌ക്കായുള്ള നിർദ്ദിഷ്ട ഓപ്പൺസിഎൽ തരങ്ങളുടെ സാന്നിധ്യം എന്നിവ പ്രത്യേക സവിശേഷതകളിൽ ഉൾപ്പെടുന്നു.
• ഫ്രണ്ട്‌എൻഡിന്റെ (പാഴ്‌സിംഗ്, ഇനീഷ്യലൈസേഷൻ), ബാക്കെൻഡിന്റെ (ഒപ്റ്റിമൈസേഷൻ ഘട്ടങ്ങൾ) വിവിധ ഘട്ടങ്ങളുടെ എക്‌സിക്യൂഷൻ സമയത്തെക്കുറിച്ചുള്ള ഒരു റിപ്പോർട്ട് സൃഷ്‌ടിക്കാൻ "-ftime-trace", "-ftime-trace-granularity=N" എന്നീ പുതിയ കംപൈലർ ഫ്ലാഗുകൾ ചേർത്തു. റിപ്പോർട്ട് json ഫോർമാറ്റിൽ സംരക്ഷിച്ചിരിക്കുന്നു, chrome://tracing, speedscope.app എന്നിവയുമായി പൊരുത്തപ്പെടുന്നു;
• വിഷ്വൽ സ്റ്റുഡിയോ പരിതസ്ഥിതിയിൽ മെമ്മറി ഉപഭോഗം നിരീക്ഷിക്കാൻ നിങ്ങളെ അനുവദിക്കുന്ന “__declspec(allocator)” സ്പെസിഫയറിന്റെ പ്രോസസ്സിംഗും അനുബന്ധ ഡീബഗ്ഗിംഗ് വിവരങ്ങളുടെ ജനറേഷനും ചേർത്തു;
• സി ഭാഷയ്‌ക്കായി, “__FILE_NAME__” മാക്രോയ്‌ക്കായി പിന്തുണ ചേർത്തിരിക്കുന്നു, അത് “__FILE__” മാക്രോയോട് സാമ്യമുള്ളതാണ്, എന്നാൽ പൂർണ്ണ പാതയില്ലാതെ ഫയലിന്റെ പേര് മാത്രം ഉൾപ്പെടുന്നു;
• പാരാമീറ്റർ, ആർഗ്യുമെന്റ് പാറ്റേണുകൾ, റഫറൻസ് തരങ്ങൾ, റിട്ടേൺ ടൈപ്പ് അനുമാനം, ഒബ്‌ജക്‌റ്റുകൾ, സ്വയമേവ സൃഷ്‌ടിച്ച ഫംഗ്‌ഷനുകൾ, ബിൽറ്റ്-ഇൻ ഓപ്പറേറ്റർമാർ എന്നിവയും അതിലേറെയും ഉൾപ്പെടെ വിവിധ സി++ സവിശേഷതകൾ ഉൾക്കൊള്ളുന്നതിനായി വിലാസ സ്‌പേസ് ആട്രിബ്യൂട്ടുകൾക്കുള്ള പിന്തുണ C++ വിപുലീകരിച്ചു.
• OpenCL, OpenMP, CUDA എന്നിവയ്ക്കുള്ള പിന്തുണയുമായി ബന്ധപ്പെട്ട കഴിവുകൾ വിപുലീകരിച്ചു. ബിൽറ്റ്-ഇൻ ഓപ്പൺസിഎൽ ഫംഗ്‌ഷനുകൾ ("-fdeclare-opencl-builtins" ഫ്ലാഗ് ചേർത്തു), cl_arm_integer_dot_product വിപുലീകരണം നടപ്പിലാക്കി, കൂടാതെ ഡയഗ്നോസ്റ്റിക് ടൂളുകൾ വിപുലീകരിച്ചു.
• സ്റ്റാറ്റിക് അനലൈസറിന്റെ പ്രവർത്തനം മെച്ചപ്പെടുത്തുകയും സ്റ്റാറ്റിക് വിശകലനം നടത്തുന്നതിനുള്ള ഡോക്യുമെന്റേഷൻ ചേർക്കുകയും ചെയ്തു. ലഭ്യമായ ചെക്കർ മൊഡ്യൂളുകളും പിന്തുണയ്‌ക്കുന്ന ഓപ്ഷനുകളും പ്രദർശിപ്പിക്കുന്നതിന് ഫ്ലാഗുകൾ ചേർത്തു (“-അനലൈസർ-ചെക്കർ[-ഓപ്ഷൻ]-സഹായം”, “-അനലൈസർ-ചെക്കർ[-ഓപ്ഷൻ]-ഹെൽപ്പ്-ആൽഫ”, “-അനലൈസർ-ചെക്കർ[-ഓപ്ഷൻ]-സഹായം "-ഡെവലപ്പർ"). മുന്നറിയിപ്പുകളെ പിശകുകളായി കണക്കാക്കാൻ "-analyzer-werror" ഫ്ലാഗ് ചേർത്തു.
  പുതിയ സ്ഥിരീകരണ മോഡുകൾ ചേർത്തു:
  • ബഫറുകൾക്കൊപ്പം പ്രവർത്തിക്കുന്നതിനുള്ള സുരക്ഷിതമല്ലാത്ത രീതികൾ തിരിച്ചറിയാൻ security.insecureAPI.DeprecatedOrUnsafeBufferHandling;
  • MIG (Mach Interface Generator) കോൾ നിയമങ്ങളുടെ ലംഘനങ്ങൾക്കായി തിരയാൻ osx.MIGChecker;
  • optin.osx.OSObjectCStyleCast തെറ്റായ XNU libkern ഒബ്ജക്റ്റ് പരിവർത്തനങ്ങൾ കണ്ടെത്താൻ;
  • apiModeling.llvm, LLVM കോഡ്ബേസിലെ പിശകുകൾ കണ്ടെത്തുന്നതിനുള്ള ഒരു കൂട്ടം മോഡലിംഗ് ചെക്കിംഗ് ഫംഗ്ഷനുകൾ;
  • അൺഇനീഷ്യലൈസ്ഡ് C++ ഒബ്ജക്റ്റുകൾ പരിശോധിക്കുന്നതിനുള്ള സ്ഥിരതയുള്ള കോഡ് (optin.cplusപ്ലസ് പാക്കേജിലെ UnininitializedObject);
• C# ഭാഷയിൽ കോഡ് ഫോർമാറ്റ് ചെയ്യുന്നതിനുള്ള പിന്തുണ ക്ലാങ് ഫോർമാറ്റ് യൂട്ടിലിറ്റി ചേർത്തിട്ടുണ്ട് കൂടാതെ മൈക്രോസോഫ്റ്റ് ഉപയോഗിക്കുന്ന കോഡ് ഫോർമാറ്റിംഗ് ശൈലിക്ക് പിന്തുണ നൽകുന്നു;
• വിഷ്വൽ സ്റ്റുഡിയോയിൽ ഉൾപ്പെടുത്തിയിരിക്കുന്ന cl.exe കംപൈലറുമായി ഓപ്‌ഷൻ-ലെവൽ അനുയോജ്യത നൽകുന്ന ഒരു ഇതര കമാൻഡ്-ലൈൻ ഇന്റർഫേസായ clang-cl, നിലവിലില്ലാത്ത ഫയലുകളെ കമാൻഡ്-ലൈൻ ഓപ്ഷനുകളായി കണക്കാക്കുന്നതിനും അനുബന്ധ മുന്നറിയിപ്പ് പ്രദർശിപ്പിക്കുന്നതിനും ഹ്യൂറിസ്റ്റിക്സ് ചേർത്തു (ഉദാഹരണത്തിന്, "clang-cl / diagnostic :caret /c test.cc" പ്രവർത്തിപ്പിക്കുമ്പോൾ);
• ഓപ്പൺഎംപി എപിഐയുടെ പ്രത്യേക ചെക്കുകൾ ഉൾപ്പെടെ, പുതിയ ചെക്കുകളുടെ വലിയൊരു ഭാഗം ലിന്റർ ക്ലാങ്-റ്റിഡിയിലേക്ക് ചേർത്തിട്ടുണ്ട്;
• വിപുലപ്പെടുത്തി സെർവർ കഴിവുകൾ clangd (ക്ലാംഗ് സെർവർ), അതിൽ പശ്ചാത്തല സൂചിക ബിൽഡിംഗ് മോഡ് സ്ഥിരസ്ഥിതിയായി പ്രവർത്തനക്ഷമമാക്കിയിരിക്കുന്നു, കോഡ് ഉപയോഗിച്ചുള്ള സന്ദർഭോചിത പ്രവർത്തനങ്ങൾക്കുള്ള പിന്തുണ ചേർത്തു (വേരിയബിൾ വീണ്ടെടുക്കൽ, യാന്ത്രിക, മാക്രോ നിർവചനങ്ങളുടെ വിപുലീകരണം, രക്ഷപ്പെടാത്തവയിലേക്ക് രക്ഷപ്പെട്ട സ്ട്രിംഗുകളുടെ പരിവർത്തനം), പ്രദർശിപ്പിക്കാനുള്ള കഴിവ് Clang-tidy-ൽ നിന്നുള്ള മുന്നറിയിപ്പുകൾ, ഹെഡർ ഫയലുകളിലെ പിശകുകളുടെ വിപുലീകരിച്ച ഡയഗ്നോസ്റ്റിക്സ് കൂടാതെ തരം ശ്രേണിയെക്കുറിച്ചുള്ള വിവരങ്ങൾ പ്രദർശിപ്പിക്കാനുള്ള കഴിവ് ചേർത്തു;

പ്രധാന പുതുമകൾ LLVM 9.0:

• LLD ലിങ്കറിലേക്ക് ഒരു പരീക്ഷണാത്മക പാർട്ടീഷനിംഗ് സവിശേഷത ചേർത്തിട്ടുണ്ട്, ഇത് ഒരു പ്രോഗ്രാമിനെ പല ഭാഗങ്ങളായി വിഭജിക്കാൻ നിങ്ങളെ അനുവദിക്കുന്നു, അവ ഓരോന്നും പ്രത്യേക ELF ഫയലിൽ സ്ഥിതിചെയ്യുന്നു. പ്രോഗ്രാമിന്റെ പ്രധാന ഭാഗം സമാരംഭിക്കാൻ ഈ സവിശേഷത നിങ്ങളെ അനുവദിക്കുന്നു, അത് പ്രവർത്തന സമയത്ത് ആവശ്യമായ മറ്റ് ഘടകങ്ങൾ ലോഡുചെയ്യും (ഉദാഹരണത്തിന്, നിങ്ങൾക്ക് അന്തർനിർമ്മിത PDF വ്യൂവറിനെ ഒരു പ്രത്യേക ഫയലായി വേർതിരിക്കാം, അത് ഉപയോക്താവ് PDF തുറക്കുമ്പോൾ മാത്രം ലോഡ് ചെയ്യും. ഫയൽ).

  LLD ലിങ്കർ മുന്നിലെത്തിച്ചു arm32_7, arm64, ppc64le, x86_64 ആർക്കിടെക്ചറുകൾക്കായി ലിനക്സ് കേർണൽ ലിങ്ക് ചെയ്യുന്നതിന് അനുയോജ്യമായ അവസ്ഥയിലേക്ക്.
  പുതിയ ഓപ്ഷനുകൾ "-" (stdout-ലേക്കുള്ള ഔട്ട്പുട്ട്), "-[no-]allow-shlib-undefined", "-undefined-glob", "-nmagic", "-omagic", "-dependent-library", " - z ifunc-noplt", "-z common-page-size" എന്നിവ. AArch64 ആർക്കിടെക്ചറിനായി, BTI (ബ്രാഞ്ച് ടാർഗറ്റ് ഇൻഡിക്കേറ്റർ), PAC (പോയിന്റർ ഓതന്റിക്കേഷൻ കോഡ്) നിർദ്ദേശങ്ങൾക്കുള്ള പിന്തുണ ചേർത്തു. MIPS, RISC-V, PowerPC പ്ലാറ്റ്‌ഫോമുകൾക്കുള്ള പിന്തുണ ഗണ്യമായി മെച്ചപ്പെടുത്തി. WebAssembly-നുള്ള ഡൈനാമിക് ലിങ്കിംഗിനുള്ള പ്രാരംഭ പിന്തുണ ചേർത്തു;

• libc++ ൽ നടപ്പിലാക്കി ഫംഗ്‌ഷനുകൾ ssize, std::is_constant_evaluated, std::midpoint, std::lerp, രീതികൾ "front", "back" എന്നിവ std::span-ലേക്ക് ചേർത്തു, std::is_unbounded_array, std::is_bounded_array എന്നീ തരങ്ങളുടെ ആട്രിബ്യൂട്ടുകൾ ചേർത്തു , std കഴിവുകൾ വിപുലീകരിച്ചു: :atomic. GCC 4.9-നുള്ള പിന്തുണ നിർത്തലാക്കിയിരിക്കുന്നു (GCC 5.1-നും പുതിയ പതിപ്പുകൾക്കും ഇത് ഉപയോഗിക്കാം). പിന്തുണ ചേർത്തു വാസി (WebAssembly സിസ്റ്റം ഇന്റർഫേസ്, ബ്രൗസറിന് പുറത്ത് WebAssembly ഉപയോഗിക്കുന്നതിനുള്ള ഒരു ഇന്റർഫേസ്);
• പുതിയ ഒപ്റ്റിമൈസേഷനുകൾ ചേർത്തു. ചില സാഹചര്യങ്ങളിൽ memcmp കോളുകൾ bcmp-ലേക്ക് പരിവർത്തനം ചെയ്യുന്നത് പ്രവർത്തനക്ഷമമാക്കി. താഴ്ന്ന സ്വിച്ച് ബ്ലോക്കുകൾ ലഭ്യമല്ലാത്തതോ നിർദ്ദേശങ്ങൾ ഉപയോഗിക്കാത്തതോ ആയ ജമ്പ് ടേബിളുകൾക്കായുള്ള റേഞ്ച് പരിശോധന ഒഴിവാക്കി, ഉദാഹരണത്തിന്, തരം ശൂന്യതയുള്ള ഫംഗ്‌ഷനുകൾ വിളിക്കുമ്പോൾ;
• RISC-V ആർക്കിടെക്ചറിനായുള്ള ബാക്കെൻഡ് സ്ഥിരമാക്കി, അത് ഇനി പരീക്ഷണാത്മകമായി സ്ഥാപിക്കില്ല, സ്ഥിരസ്ഥിതിയായി നിർമ്മിച്ചതാണ്. MAFDC എക്സ്റ്റൻഷനുകളുള്ള RV32I, RV64I ഇൻസ്ട്രക്ഷൻ സെറ്റ് വേരിയന്റുകൾക്ക് പൂർണ്ണ കോഡ് ജനറേഷൻ പിന്തുണ നൽകുന്നു;
• X86, AArch64, ARM, SystemZ, MIPS, AMDGPU, PowerPC ആർക്കിടെക്ചറുകളുടെ ബാക്കെൻഡുകളിൽ നിരവധി മെച്ചപ്പെടുത്തലുകൾ വരുത്തിയിട്ടുണ്ട്. ഉദാഹരണത്തിന്, വാസ്തുവിദ്യയ്ക്ക്
  AArch64 SVE2 (സ്കേലബിൾ വെക്റ്റർ എക്സ്റ്റൻഷൻ 2), MTE (മെമ്മറി ടാഗിംഗ് എക്സ്റ്റൻഷനുകൾ) നിർദ്ദേശങ്ങൾക്കുള്ള പിന്തുണ ചേർത്തു; ARM ബാക്കെൻഡിൽ, Armv8.1-M ആർക്കിടെക്ചറിനും MVE (M-പ്രൊഫൈൽ വെക്റ്റർ എക്സ്റ്റൻഷൻ) വിപുലീകരണത്തിനുമുള്ള പിന്തുണ ചേർത്തു. GFX10 (Navi) ആർക്കിടെക്ചറിനുള്ള പിന്തുണ AMDGPU ബാക്കെൻഡിലേക്ക് ചേർത്തു, ഫംഗ്‌ഷൻ കോളിംഗ് കഴിവുകൾ ഡിഫോൾട്ടായി പ്രവർത്തനക്ഷമമാക്കുകയും ഒരു സംയോജിത പാസ് സജീവമാക്കുകയും ചെയ്യുന്നു ഡിപിപി (ഡാറ്റ-പാരലൽ പ്രിമിറ്റീവ്സ്).

• LLDB ഡീബഗ്ഗറിന് ഇപ്പോൾ ബാക്ക്‌ട്രെയ്‌സുകൾക്കായി കളർ ഹൈലൈറ്റിംഗ് ഉണ്ട്, കൂടാതെ DWARF4 ഡീബഗ്_ടൈപ്പുകൾക്കും DWARF5 ഡീബഗ്_ഇൻഫോ ബ്ലോക്കുകൾക്കുമുള്ള പിന്തുണ ചേർത്തു;
• COFF ഫോർമാറ്റിലുള്ള ഒബ്ജക്റ്റിനും എക്സിക്യൂട്ടബിൾ ഫയലുകൾക്കുമുള്ള പിന്തുണ llvm-objcopy, llvm-strip യൂട്ടിലിറ്റികളിലേക്ക് ചേർത്തു.

അവലംബം: opennet.ru