एलएलवीएम 22 कंपाइलर सूट का विमोचन

छह महीने के विकास के बाद, LLVM 22.1.0 जारी किया गया है। यह ऐसे टूल (कंपाइलर, ऑप्टिमाइज़र और कोड जनरेटर) विकसित करता है जो प्रोग्राम को RISC जैसी वर्चुअल इंस्ट्रक्शन (एक मल्टी-लेवल ऑप्टिमाइज़ेशन सिस्टम वाली लो-लेवल वर्चुअल मशीन) के इंटरमीडिएट बिटकोड में कंपाइल करते हैं। जनरेट किए गए स्यूडोकोड को किसी दिए गए टारगेट प्लेटफॉर्म के लिए मशीन कोड में परिवर्तित किया जा सकता है या प्रोग्राम निष्पादन के दौरान सीधे मशीन इंस्ट्रक्शन जनरेट करने के लिए जस्ट-इन-टाइम (JIT) कंपाइलर द्वारा उपयोग किया जा सकता है। LLVM तकनीकों पर आधारित, यह प्रोजेक्ट C, C++ और Objective-C प्रोग्रामिंग भाषाओं को सपोर्ट करने वाला Clang कंपाइलर विकसित कर रहा है। 18.x ब्रांच से शुरू करके, प्रोजेक्ट ने एक नई वर्जन नंबरिंग योजना अपनाई है, जिसके अनुसार विकास के दौरान रिलीज़ 0 ("N.0") का उपयोग किया जाता है, और पहले स्टेबल वर्जन को "N.1" नंबर दिया जाता है।

क्लैंग 22 में सुधार शामिल हैं:

• malloc जैसे फ़ंक्शन का उपयोग करके किए गए मेमोरी एलोकेशन ऑपरेशन को एक अद्वितीय पहचानकर्ता से चिह्नित करने के लिए मेमोरी एलोकेशन टोकन (Allocation Tokens) के लिए समर्थन जोड़ा गया है। एलोकेशन टोकन हीप जानकारी को व्यवस्थित करने, मेमोरी लीक का पता लगाने को सरल बनाने और वस्तुओं को उनके उद्देश्य या संशोधन पैटर्न के आधार पर समूहित करने में सक्षम बनाते हैं (उदाहरण के लिए, "हॉट" डेटा को "कोल्ड" डेटा से अलग करना)। इसे सक्षम करने के लिए, "-fsanitize=alloc-token" फ़्लैग का उपयोग करें।
• सी भाषा से संबंधित विशेषताएं:
  • "डेफर" (स्थगित निष्पादन) तंत्र को परिभाषित करने वाला एक मसौदा विनिर्देश लागू किया गया है, जिससे वर्तमान स्कोप समाप्त होने पर क्रियाएं निष्पादित की जा सकेंगी। "डेफर" समर्थन को सक्षम करने के लिए "-fdefer-ts" फ़्लैग जोड़ा गया है।
  • GCC में मौजूद इसी तरह के फ़ंक्शन की तरह, __builtin_stack_address() नामक एक अंतर्निहित फ़ंक्शन जोड़ा गया है। यह फ़ंक्शन उस स्टैक एड्रेस को लौटाता है जो __builtin_stack_address() को कॉल करने वाले वर्तमान फ़ंक्शन और उसके द्वारा कॉल किए जाने वाले बाद के फ़ंक्शनों के स्टैक क्षेत्र को अलग करता है।
• भविष्य के C2y मानक के लिए विकसित की जा रही क्षमताएँ:
  • नेम्ड लूप्स के लिए सपोर्ट जोड़ा गया है, जिससे आप लूप्स को नाम दे सकते हैं और स्विच स्टेटमेंट्स को भी नाम दे सकते हैं, जिन्हें ब्रेक और कंटिन्यू स्टेटमेंट्स में निर्दिष्ट किया जा सकता है ताकि लूप से बाहर निकलने के लिए स्पष्ट रूप से परिभाषित किया जा सके। आउटर: for (int i = 0; i < IK; ++ i) { for (int j = 0; j < JK; ++ j) { कंटिन्यू; // CONT1 पर जाएं कंटिन्यू आउटर; // CONT2 पर जाएं // CONT1 } // CONT2 }
  • अद्वितीय पहचानकर्ता नाम उत्पन्न करने के लिए डिज़ाइन किए गए अंतर्निहित "__COUNTER__" मैक्रो के कार्यान्वयन का विस्तार किया गया है और इसे मानक में शामिल किया गया है। इस मैक्रो को 2147483647 बार कॉल करने की सीमा निर्धारित की गई है; इस सीमा से अधिक होने पर त्रुटि उत्पन्न होगी।
  • "extern inline" के रूप में घोषित फ़ंक्शन के अंदर स्टैटिक फ़ंक्शन या वैरिएबल का उपयोग करते समय चेतावनी (-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 आपको प्रकारों की सूची से डुप्लिकेट हटाने की अनुमति देता है: using MyTypeList = TypeList<__builtin_dedup_pack …>; // परिणामी प्रकार TypeList होगा
• 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 एक्सटेंशन के लिए अतिरिक्त इंट्रिंसिक्स जोड़े गए हैं। वाइल्डकैट लेक (-march=wildcatlake) और नोवा लेक (-march=novalake) माइक्रोआर्किटेक्चर पर आधारित इंटेल सीपीयू के लिए बिल्ड मोड जोड़े गए हैं।
• AArch64 बैकएंड अब एम्पीयर कंप्यूटिंग के एम्पीयर1C (ampere1c), आर्म C1-नैनो (c1-nano), आर्म C1-प्रो (c1-pro), आर्म C1-प्रीमियम (c1-premium) और आर्म C1-अल्ट्रा (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