LLVM 9.0 કમ્પાઇલર સ્યુટનું પ્રકાશન

વિકાસના છ મહિના પછી પ્રસ્તુત પ્રોજેક્ટ પ્રકાશન એલએલવીએમ 9.0 — GCC-સુસંગત સાધનો (કમ્પાઇલર્સ, ઑપ્ટિમાઇઝર્સ અને કોડ જનરેટર), RISC-જેવી વર્ચ્યુઅલ સૂચનાઓ (મલ્ટી-લેવલ ઑપ્ટિમાઇઝેશન સિસ્ટમ સાથે લો-લેવલ વર્ચ્યુઅલ મશીન) ના ઇન્ટરમીડિયેટ બીટકોડમાં કમ્પાઇલ કરે છે. જનરેટ કરેલ સ્યુડોકોડને JIT કમ્પાઈલરનો ઉપયોગ કરીને પ્રોગ્રામ એક્ઝિક્યુશન સમયે સીધા જ મશીન સૂચનાઓમાં રૂપાંતરિત કરી શકાય છે.

LLVM 9.0 ની નવી વિશેષતાઓમાં લક્ષ્ય RISC-V પ્લેટફોર્મ પરથી પ્રાયોગિક ડિઝાઇન ટેગને દૂર કરવા, OpenCL માટે C++ સપોર્ટ, LLD માં ગતિશીલ રીતે લોડ થયેલા ભાગોમાં પ્રોગ્રામને વિભાજિત કરવાની ક્ષમતા, અને "asm જાઓ", Linux કર્નલ કોડમાં વપરાય છે. libc++ એ WASI (WebAssembly System Interface) માટે આધાર ઉમેર્યો, અને LLD એ WebAssembly ડાયનેમિક લિંકિંગ માટે પ્રારંભિક આધાર ઉમેર્યો.

સુધારણા રણકાર 9.0 માં:

• ઉમેર્યું GCC-વિશિષ્ટ અભિવ્યક્તિનું અમલીકરણ "asm જાઓ", જે તમને એસેમ્બલર ઇનલાઇન બ્લોકમાંથી C કોડના લેબલ પર જવા દે છે. x86_64 આર્કિટેક્ચર સાથે સિસ્ટમો પર ક્લેંગનો ઉપયોગ કરીને "CONFIG_JUMP_LABEL=y" મોડમાં Linux કર્નલ બનાવવા માટે આ લક્ષણ જરૂરી છે. અગાઉના પ્રકાશનોમાં ઉમેરાયેલા ફેરફારોને ધ્યાનમાં લેતા, Linux કર્નલને હવે x86_64 આર્કિટેક્ચર માટે ક્લેંગમાં બનાવી શકાય છે (અગાઉ માત્ર આર્મ, aarch64, ppc32, ppc64le અને mips આર્કિટેક્ચર માટેનું બાંધકામ સપોર્ટેડ હતું). વધુમાં, એન્ડ્રોઇડ અને ક્રોમઓએસ પ્રોજેક્ટ્સને કર્નલ બિલ્ડિંગ માટે ક્લેંગનો ઉપયોગ કરવા માટે પહેલેથી જ રૂપાંતરિત કરવામાં આવ્યા છે, અને Google તેની ઉત્પાદન Linux સિસ્ટમ્સ માટે કર્નલ બનાવવા માટે મુખ્ય પ્લેટફોર્મ તરીકે ક્લેંગનું પરીક્ષણ કરી રહ્યું છે. ભવિષ્યમાં, અન્ય LLVM ઘટકોનો ઉપયોગ કર્નલ બિલ્ડ પ્રક્રિયામાં થઈ શકે છે, જેમાં LLD, llvm-objcopy, llvm-ar, llvm-nm, અને llvm-objdump;
• OpenCL માં C++17 નો ઉપયોગ કરવા માટે પ્રાયોગિક સમર્થન ઉમેર્યું. વિશિષ્ટ લક્ષણોમાં સરનામાં સ્થાન વિશેષતાઓ માટે સમર્થન, પ્રકાર કાસ્ટિંગ ઓપરેટરો દ્વારા સરનામાં સ્થાનના રૂપાંતરણને અવરોધિત કરવું, C માટે OpenCL માં વેક્ટર પ્રકારોની જોગવાઈ, છબીઓ, ઇવેન્ટ્સ, ચેનલો વગેરે માટે વિશિષ્ટ OpenCL પ્રકારોની હાજરીનો સમાવેશ થાય છે.
• ફ્રન્ટએન્ડ (પાર્સિંગ, ઇનિશિયલાઈઝેશન) અને બેકએન્ડ (ઓપ્ટિમાઇઝેશન સ્ટેજ)ના વિવિધ તબક્કાના એક્ઝેક્યુશન ટાઇમ પર રિપોર્ટ જનરેટ કરવા માટે નવા કમ્પાઇલર ફ્લેગ્સ “-ftime-trace” અને “-ftime-trace-granularity=N” ઉમેર્યા. રિપોર્ટ json ફોર્મેટમાં સાચવવામાં આવ્યો છે, જે chrome://tracing અને speedscope.app સાથે સુસંગત છે;
• “__declspec(એલોકેટર)” સ્પષ્ટીકરણ અને સાથેની ડીબગીંગ માહિતીની જનરેશનની ઉમેરેલી પ્રક્રિયા જે તમને વિઝ્યુઅલ સ્ટુડિયો પર્યાવરણમાં મેમરી વપરાશને મોનિટર કરવાની મંજૂરી આપે છે;
• C ભાષા માટે, “__FILE_NAME__” મેક્રો માટે સમર્થન ઉમેરવામાં આવ્યું છે, જે “__FILE__” મેક્રો જેવું લાગે છે, પરંતુ સંપૂર્ણ પાથ વિના માત્ર ફાઇલ નામનો સમાવેશ કરે છે;
• C++ એ પરિમાણ અને દલીલ પેટર્ન, સંદર્ભ પ્રકારો, વળતર પ્રકાર અનુમાન, ઑબ્જેક્ટ્સ, ઑટો-જનરેટેડ ફંક્શન્સ, બિલ્ટ-ઇન ઑપરેટર્સ અને વધુ સહિત વિવિધ C++ સુવિધાઓને આવરી લેવા માટે ઍડ્રેસ સ્પેસ એટ્રિબ્યુટ્સ માટે સપોર્ટનો વિસ્તાર કર્યો છે.
• OpenCL, OpenMP અને CUDA માટે સપોર્ટ સાથે સંકળાયેલી ક્ષમતાઓ વિસ્તૃત કરવામાં આવી છે. આમાં બિલ્ટ-ઇન OpenCL ફંક્શન્સના ગર્ભિત સમાવેશ માટે પ્રારંભિક સમર્થનનો સમાવેશ થાય છે (“-fdeclare-opencl-builtins” ફ્લેગ ઉમેરવામાં આવ્યો છે), cl_arm_integer_dot_product એક્સ્ટેંશન લાગુ કરવામાં આવ્યું છે, અને ડાયગ્નોસ્ટિક ટૂલ્સનો વિસ્તાર કરવામાં આવ્યો છે;
• સ્ટેટિક વિશ્લેષકના કાર્યમાં સુધારો કરવામાં આવ્યો છે અને સ્ટેટિક વિશ્લેષણ કરવા પર દસ્તાવેજીકરણ ઉમેરવામાં આવ્યું છે. ઉપલબ્ધ ચેકર મોડ્યુલો અને સમર્થિત વિકલ્પો ("-વિશ્લેષક-ચેકર[-વિકલ્પ]-સહાય", "-વિશ્લેષક-ચેકર[-વિકલ્પ]-હેલ્પ-આલ્ફા" અને "-વિશ્લેષક-ચેકર[-વિકલ્પ]-સહાય પ્રદર્શિત કરવા માટે ફ્લેગ ઉમેર્યા. "-વિકાસકર્તા"). ચેતવણીઓને ભૂલો તરીકે ગણવા માટે "-વિશ્લેષક-werror" ફ્લેગ ઉમેર્યો.
  નવા ચકાસણી મોડ ઉમેર્યા:
  • security.insecureAPI.DeprecatedOrUnsafeBufferHandling બફર્સ સાથે કામ કરવા માટે અસુરક્ષિત પ્રથાઓ ઓળખવા માટે;
  • osx.MIGChecker MIG (Mach ઈન્ટરફેસ જનરેટર) કોલ નિયમોના ઉલ્લંઘનની શોધ કરવા માટે;
  • ખોટા XNU libkern ઑબ્જેક્ટ રૂપાંતરણો શોધવા માટે optin.osx.OSObjectCStyleCast;
  • LLVM કોડબેઝમાં ભૂલો શોધવા માટે મોડેલિંગ ચકાસણી કાર્યોના સમૂહ સાથે apiModeling.llvm;
  • બિન-પ્રારંભિક C++ ઑબ્જેક્ટ્સ (optin.cplusplus પેકેજમાં UninitializedObject) ચકાસવા માટે સ્થિર કોડ;
• ક્લેંગ-ફોર્મેટ યુટિલિટીએ C# ભાષામાં કોડ ફોર્મેટિંગ માટે સપોર્ટ ઉમેર્યો છે અને Microsoft દ્વારા ઉપયોગમાં લેવાતી કોડ ફોર્મેટિંગ શૈલી માટે સપોર્ટ પૂરો પાડે છે;
• clang-cl, વૈકલ્પિક કમાન્ડ-લાઇન ઇન્ટરફેસ કે જે વિઝ્યુઅલ સ્ટુડિયોમાં સમાવિષ્ટ cl.exe કમ્પાઇલર સાથે વિકલ્પ-સ્તરની સુસંગતતા પ્રદાન કરે છે, તેણે અસ્તિત્વમાં ન હોય તેવી ફાઇલોને કમાન્ડ-લાઇન વિકલ્પો તરીકે ગણવા અને અનુરૂપ ચેતવણી પ્રદર્શિત કરવા માટે હ્યુરિસ્ટિક્સ ઉમેર્યું છે (ઉદાહરણ તરીકે, "clang-cl /diagnostic :caret /c test.cc" ચલાવતી વખતે;
• નવા ચેકનો મોટો હિસ્સો linter clang-tidyમાં ઉમેરવામાં આવ્યો છે, જેમાં OpenMP API માટે ચોક્કસ વધારાના ચેકનો સમાવેશ થાય છે;
• વિસ્તૃત સર્વર ક્ષમતાઓ clangd (ક્લાંગ સર્વર), જેમાં બેકગ્રાઉન્ડ ઇન્ડેક્સ બિલ્ડીંગ મોડ ડિફોલ્ટ રૂપે સક્ષમ છે, કોડ સાથે સંદર્ભિત ક્રિયાઓ માટે સમર્થન ઉમેરવામાં આવ્યું છે (ચલ પુનઃપ્રાપ્તિ, ઓટો અને મેક્રો વ્યાખ્યાઓનું વિસ્તરણ, એસ્કેપ્ડ સ્ટ્રિંગ્સનું અનસ્કેપ્ડમાં રૂપાંતર), પ્રદર્શિત કરવાની ક્ષમતા રણકાર-વ્યવસ્થિત તરફથી ચેતવણીઓ, હેડર ફાઇલોમાં ભૂલોનું વિસ્તૃત નિદાન અને પ્રકાર પદાનુક્રમ વિશેની માહિતી પ્રદર્શિત કરવાની ક્ષમતા ઉમેરી;

મુખ્ય નવીનતાઓ LLVM 9.0:

• LLD લિંકરમાં પ્રાયોગિક પાર્ટીશનિંગ સુવિધા ઉમેરવામાં આવી છે, જે તમને એક પ્રોગ્રામને કેટલાક ભાગોમાં વિભાજિત કરવાની મંજૂરી આપે છે, જેમાંથી દરેક એક અલગ ELF ફાઇલમાં સ્થિત છે. આ સુવિધા તમને પ્રોગ્રામના મુખ્ય ભાગને શરૂ કરવાની મંજૂરી આપે છે, જે ઓપરેશન દરમિયાન જરૂરિયાત મુજબ અન્ય ઘટકોને લોડ કરશે (ઉદાહરણ તરીકે, તમે બિલ્ટ-ઇન પીડીએફ વ્યૂઅરને અલગ ફાઇલમાં અલગ કરી શકો છો, જે વપરાશકર્તા પીડીએફ ખોલે ત્યારે જ લોડ થશે. ફાઇલ).

  એલએલડી લિંકર સામે લાવ્યા arm32_7, arm64, ppc64le અને x86_64 આર્કિટેક્ચર માટે Linux કર્નલને લિંક કરવા માટે યોગ્ય સ્થિતિમાં.
  નવા વિકલ્પો "-" (stdout માટે આઉટપુટ), "-[no-]allow-shlib-undefined", "-undefined-glob", "-nmagic", "-omagic", "-આશ્રિત-લાઇબ્રેરી", " - z ifunc-noplt" અને "-z સામાન્ય-પૃષ્ઠ-કદ". AArch64 આર્કિટેક્ચર માટે, BTI (બ્રાન્ચ ટાર્ગેટ ઇન્ડિકેટર) અને PAC (પોઇન્ટર ઓથેન્ટિકેશન કોડ) સૂચનાઓ માટે સપોર્ટ ઉમેરવામાં આવ્યો છે. MIPS, RISC-V અને PowerPC પ્લેટફોર્મ માટે સપોર્ટ નોંધપાત્ર રીતે સુધારેલ છે. WebAssembly માટે ડાયનેમિક લિંકિંગ માટે પ્રારંભિક સમર્થન ઉમેર્યું;

• libc++ માં અમલમાં મૂક્યો ફંક્શનનું કદ, std::is_constant_evaluated, std::midpoint અને std::lerp, પદ્ધતિઓ "ફ્રન્ટ" અને "બેક" std::span માં ઉમેરવામાં આવી છે, std::is_unbounded_array અને std::is_bounded_array પ્રકારોના લક્ષણો ઉમેરવામાં આવ્યા છે. , std ક્ષમતાઓ વિસ્તૃત કરવામાં આવી છે: :atomic. GCC 4.9 માટેનો આધાર બંધ કરવામાં આવ્યો છે (GCC 5.1 અને નવા પ્રકાશનો સાથે ઉપયોગ કરી શકાય છે). ઉમેરાયેલ આધાર વાસી (વેબએસેમ્બલી સિસ્ટમ ઈન્ટરફેસ, બ્રાઉઝરની બહાર વેબ એસેમ્બલીનો ઉપયોગ કરવા માટેનું ઈન્ટરફેસ);
• નવા ઑપ્ટિમાઇઝેશન ઉમેરવામાં આવ્યા છે. કેટલીક પરિસ્થિતિઓમાં bcmp માં memcmp કૉલનું રૂપાંતર સક્ષમ કર્યું. જમ્પ કોષ્ટકો માટે રેન્જ ચેકિંગની અમલી બાદબાકી જેમાં નીચલા સ્વીચ બ્લોક્સ પહોંચી ન શકાય તેવા હોય અથવા જ્યારે સૂચનાઓનો ઉપયોગ ન થતો હોય, ઉદાહરણ તરીકે, જ્યારે ટાઈપ વોઈડ સાથે ફંક્શનને કૉલ કરતી વખતે;
• 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 બેકએન્ડમાં ઉમેરવામાં આવ્યો છે, ફંક્શન કૉલિંગ ક્ષમતાઓ ડિફૉલ્ટ રૂપે સક્ષમ છે, અને સંયુક્ત પાસ સક્રિય થયેલ છે. DPP (ડેટા-સમાંતર આદિમ).

• LLDB ડીબગર પાસે હવે બેકટ્રેસ માટે કલર હાઇલાઇટિંગ છે અને DWARF4 debug_types અને DWARF5 debug_info બ્લોક્સ માટે સપોર્ટ ઉમેર્યો છે;
• COFF ફોર્મેટમાં ઑબ્જેક્ટ અને એક્ઝિક્યુટેબલ ફાઇલો માટેનો આધાર llvm-objcopy અને llvm-strip ઉપયોગિતાઓમાં ઉમેરવામાં આવ્યો છે.

સોર્સ: opennet.ru