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

છ મહિનાના વિકાસ પછી, LLVM 22.1.0 રિલીઝ કરવામાં આવ્યું છે. તે એવા સાધનો (કમ્પાઇલર્સ, ઑપ્ટિમાઇઝર્સ અને કોડ જનરેટર) વિકસાવે છે જે RISC જેવા વર્ચ્યુઅલ સૂચનાઓ (મલ્ટિ-લેવલ ઑપ્ટિમાઇઝેશન સિસ્ટમ સાથેનું લો-લેવલ વર્ચ્યુઅલ મશીન) ના ઇન્ટરમીડિયેટ બીટકોડમાં પ્રોગ્રામ્સનું સંકલન કરે છે. જનરેટ થયેલ સ્યુડોકોડને આપેલ ટાર્ગેટ પ્લેટફોર્મ માટે મશીન કોડમાં રૂપાંતરિત કરી શકાય છે અથવા પ્રોગ્રામ એક્ઝિક્યુશન દરમિયાન સીધા મશીન સૂચનાઓ જનરેટ કરવા માટે જસ્ટ-ઇન-ટાઇમ (JIT) કમ્પાઇલર દ્વારા ઉપયોગમાં લઈ શકાય છે. LLVM ટેકનોલોજીના આધારે, પ્રોજેક્ટ ક્લૅંગ કમ્પાઇલર વિકસાવી રહ્યો છે, જે C, C++ અને ઑબ્જેક્ટિવ-C પ્રોગ્રામિંગ ભાષાઓને સપોર્ટ કરે છે. 18.x શાખાથી શરૂ કરીને, પ્રોજેક્ટ નવી આવૃત્તિ નંબરિંગ સ્કીમ પર સ્વિચ થયો, જે મુજબ વિકાસ દરમિયાન રિલીઝ 0 ("N.0") નો ઉપયોગ થાય છે, અને પ્રથમ સ્થિર સંસ્કરણ "N.1" નંબર થયેલ છે.

રણકાર 22 માં સુધારાઓમાં નીચેનાનો સમાવેશ થાય છે:

• મેમરી ફાળવણી ટોકન્સ (એલોકેશન ટોકન્સ) માટે ઉમેરાયેલ સપોર્ટ, અનન્ય ઓળખકર્તા સાથે malloc જેવા ફંક્શનનો ઉપયોગ કરીને કરવામાં આવતી મેમરી ફાળવણી કામગીરીને ચિહ્નિત કરવા માટે. ફાળવણી ટોકન્સ હીપ માહિતીનું માળખું બનાવવા, મેમરી લીક શોધને સરળ બનાવવા અને તેમના હેતુ અથવા ફેરફાર પેટર્નના આધારે ઑબ્જેક્ટ્સના જૂથને સક્ષમ કરવા માટે પરવાનગી આપે છે (દા.ત., "ગરમ" ને "ઠંડા" ડેટાથી અલગ કરવું). સક્ષમ કરવા માટે, "-fsanitize=alloc-token" ફ્લેગનો ઉપયોગ કરો.
• સી ભાષા સંબંધિત સુવિધાઓ:
  • "ડિફર" ડિફર્ડ એક્ઝેક્યુશન મિકેનિઝમને વ્યાખ્યાયિત કરતી ડ્રાફ્ટ સ્પષ્ટીકરણ અમલમાં મૂકવામાં આવી છે, જે વર્તમાન સ્કોપ બહાર નીકળે ત્યારે ક્રિયાઓને એક્ઝિક્યુટ કરવાની મંજૂરી આપે છે. "ડિફર" સપોર્ટને સક્ષમ કરવા માટે "-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++ સંબંધિત સુવિધાઓ:
  • 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_minnumnum, __builtin_elementwise_maxnumnum, __builtin_masked_load, __builtin_masked_expand_load, __builtin_masked_store, __builtin_masked_compress_store, __builtin_masked_gather, __builtin_masked_scatter, અને __builtin_dedup_pack. ઉદાહરણ તરીકે, builtin_dedup_pack તમને પ્રકારોની સૂચિમાંથી ડુપ્લિકેટ્સ દૂર કરવાની મંજૂરી આપે છે: MyTypeList = TypeList<__builtin_dedup_pack નો ઉપયોગ કરીને …>; // પરિણામી પ્રકાર ટાઇપલિસ્ટ હશે
• UBSan (-fsanitize=undefined -fsanitize-trap=undefined) સાથે અવ્યાખ્યાયિત વર્તણૂકને ડીબગ કરતી વખતે, ભૂલ કારણ માહિતી હવે જનરેટ થયેલ ડિબગ માહિતીમાં શામેલ છે. ભૂલ માહિતીમાં વિગતવાર સ્તર સ્પષ્ટ કરવા માટે "-fsanitize-debug-trap-reasons" ફ્લેગ ઉમેરવામાં આવ્યો છે. સામાન્ય વર્ણનો માટે તેને "મૂળભૂત" પર સેટ કરી શકાય છે (દા.ત., "પૂર્ણાંક ઉમેરો ઓવરફ્લો થયો") અને વિગતવાર માહિતી શામેલ કરવા માટે "વિગતવાર" પર સેટ કરી શકાય છે (દા.ત., "'a + b' માં સહી કરેલ પૂર્ણાંક ઉમેરો ઓવરફ્લો થયો").
• નવા કમ્પાઇલર ફ્લેગ ઉમેર્યા:
  • "-f[no-]sanitize-debug-trap-reasons" "-fsanitize-trap" મોડ સાથે કમ્પાઇલ કરતી વખતે ડિબગ માહિતીમાં અપવાદ ટ્રેપ કારણો એમ્બેડ કરેલા છે કે કેમ તે નિયંત્રિત કરવા માટે.
  • મેમરી ફાળવણી ટોકન્સનું સંચાલન કરવા માટે "-fsanitize=alloc-token", "-falloc-token-max", "-fsanitize-alloc-token-fast-abi", અને "-fsanitize-alloc-token-extended".
  • મેટ્રિક્સ પ્રકારોના મેમરી લેઆઉટને નિયંત્રિત કરવા માટે "-fmatrix-memory-layout" (દા.ત., કૉલમ-મેજર માટે કૉલમ-મેજર, પંક્તિ-મેજર માટે પંક્તિ-મેજર).
• ફંક્શન્સમાં હવે "malloc_span" એટ્રિબ્યુટ છે, જે malloc એટ્રિબ્યુટ જેવું જ છે, પરંતુ તે ફંક્શન્સને લાગુ પડે છે જે બ્લોકના અંત સુધી પોઇન્ટર અને ફીલ્ડ ધરાવતી સ્પાન જેવી રચનાઓ અથવા પોઇન્ટર પરત કરે છે.
• લિંક સમયે printf ફંક્શનના જરૂરી સ્ટેટિકલી લિંક્ડ અમલીકરણને ગતિશીલ રીતે પસંદ કરવા માટે "modular_format" એટ્રિબ્યુટ ઉમેર્યું.
• ડાયગ્નોસ્ટિક અને સ્ટેટિક એનાલિસિસ ટૂલ્સનો વિસ્તાર કરવામાં આવ્યો છે, નવી તપાસ ઉમેરવામાં આવી છે (ડાયગ્નોસ્ટિક-સંબંધિત અનેક ડઝન સુધારાઓ).
• X86 બેકએન્ડમાં SSE, AVX, અને AVX512 એક્સટેન્શન માટે વધારાના આંતરિક ઘટકો ઉમેરવામાં આવ્યા છે. Wildcat Lake (-march=wildcatlake) અને Nova Lake (-march=novalake) માઇક્રોઆર્કિટેક્ચર પર આધારિત Intel CPU માટે બિલ્ડ મોડ્સ ઉમેરવામાં આવ્યા છે.
• AArch64 બેકએન્ડ હવે એમ્પીયર કમ્પ્યુટિંગ એમ્પીયર1C (એમ્પીયર1c), આર્મ C1-નેનો (c1-નેનો), આર્મ C1-પ્રો (c1-પ્રો), આર્મ C1-પ્રીમિયમ (c1-પ્રીમિયમ), અને આર્મ C1-અલ્ટ્રા (c1-અલ્ટ્રા) પ્રોસેસર્સને સપોર્ટ કરે છે. FCVTZ[US], FCVTN[US], FCVTM[US], FCVTP[US], અને FCVTA[US] સૂચનાઓ માટે વધારાના બિલ્ટ-ઇન ફંક્શન ઉમેરવામાં આવ્યા છે. ફંક્શન મલ્ટી-વર્ઝનિંગ (FMV) સપોર્ટ સ્થિર કરવામાં આવ્યો છે. વપરાશકર્તાઓ હવે વિવિધ ફંક્શન વર્ઝનની પ્રાથમિકતાને ઓવરરાઇડ કરી શકે છે.
• LoongArch32 (LA32R, LA32S) આર્કિટેક્ચર માટે ઉમેરાયેલ સપોર્ટ.
• ARM, AMDGPU, RISC-V, LoongArch64, MIPS, WebAssembly અને PowerPC આર્કિટેક્ચર માટે સુધારેલ બેકએન્ડ.

સોર્સ: opennet.ru