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

छह महीने के विकास के बाद, एलएलवीएम 13.0 प्रोजेक्ट की रिलीज प्रस्तुत की गई - एक जीसीसी-संगत टूलकिट (कंपाइलर, ऑप्टिमाइज़र और कोड जेनरेटर) जो प्रोग्राम को आरआईएससी-जैसे वर्चुअल निर्देशों के मध्यवर्ती बिटकोड में संकलित करता है (एक निम्न-स्तरीय वर्चुअल मशीन) बहु-स्तरीय अनुकूलन प्रणाली)। जेनरेट किए गए स्यूडोकोड को प्रोग्राम निष्पादन के समय सीधे जेआईटी कंपाइलर का उपयोग करके मशीन निर्देशों में परिवर्तित किया जा सकता है।

क्लैंग 13.0 में सुधार:

• गारंटीकृत टेल कॉल (किसी फ़ंक्शन के बिल्कुल अंत में एक सबरूटीन को कॉल करना, और यदि सबरूटीन स्वयं कॉल करता है तो एक टेल रिकर्सन बनाना) समर्थित हैं। गारंटीकृत टेल कॉल C++ में "[[clang::musttail]]" विशेषता और C में "__attribute__((musttail))" का उपयोग करके समर्थित हैं, जिसका उपयोग "return" अभिव्यक्ति में किया जाता है। यह सुविधा स्टैक स्पेस बचाने के लिए कोड को एक समतल पुनरावृत्ति में खोलकर अनुकूलन को सक्षम बनाती है।
• C++11-शैली विशेषता परिभाषाएँ अब "[[]]" प्रारूप का उपयोग करते हुए, clang "using" घोषणाओं और एक्सटेंशन में समर्थित हैं।
• उपयोगकर्ता कोड में आरक्षित पहचानकर्ता निर्दिष्ट करते समय चेतावनी आउटपुट करने के लिए "-Wreserved-identifier" ध्वज जोड़ा गया।
• यदि कोई पैरामीटर या वेरिएबल सेट है, लेकिन उपयोग नहीं किया गया है, तो चेतावनी देने के लिए "-Wunused-but-set-parameter" और "-Wunused-but-set-variable" फ्लैग जोड़े गए हैं।
• यदि घटाव संक्रियाओं में शून्य सूचक के उपयोग के कारण कोड अपरिभाषित व्यवहार की ओर ले जा सकता है, तो चेतावनी देने के लिए "-Wnull-pointer-subtraction" ध्वज जोड़ा गया।
• प्रत्येक कोड फ़ाइल के लिए एक अतिरिक्त ".su" फ़ाइल उत्पन्न करने के लिए "-fstack-usage" ध्वज जोड़ा गया, जिसमें संसाधित की जा रही फ़ाइल में परिभाषित प्रत्येक फ़ंक्शन के लिए स्टैक फ़्रेम के आकार के बारे में जानकारी शामिल होती है।
• स्टैटिक एनालाइज़र में एक नया आउटपुट प्रकार जोड़ा गया है - "sarif-html", जिसके परिणामस्वरूप HTML और Sarif दोनों फ़ॉर्मेट में रिपोर्ट तैयार होती हैं। एक नया चेक allocClassWithName जोड़ा गया है। "-analyzer-display-progress" विकल्प निर्दिष्ट करते समय, प्रत्येक फ़ंक्शन का विश्लेषण समय आउटपुट होता है। स्मार्ट पॉइंटर एनालाइज़र (alpha.cplusplus.SmartPtr) लगभग तैयार है।
• ओपनसीएल समर्थन से संबंधित क्षमताओं का विस्तार किया गया। नए एक्सटेंशन cl_khr_integer_dot_product, cl_khr_extended_bit_ops, __cl_clang_bitfields और __cl_clang_non_portable_kernel_param_types के लिए समर्थन जोड़ा गया। ओपनसीएल 3.0 विनिर्देश का कार्यान्वयन जारी रखा गया। C के लिए, डिफ़ॉल्ट रूप से ओपनसीएल 1.2 विनिर्देश का उपयोग किया जाता है, जब तक कि कोई अन्य संस्करण स्पष्ट रूप से चयनित न हो। C++ के लिए, ".clcpp" एक्सटेंशन वाली फ़ाइलों के लिए समर्थन जोड़ा गया।
• OpenMP 5.1 विनिर्देश में परिभाषित लूप रूपांतरण निर्देशों ("#pragma omp unrol" और "#pragma omp tile") के लिए समर्थन कार्यान्वित किया गया है।
• क्लैंग-फ़ॉर्मेट उपयोगिता को निम्नलिखित विकल्पों के साथ अद्यतन किया गया है: टिप्पणियों से पहले रिक्त स्थानों की संख्या निर्धारित करने के लिए SpacesInLineCommentPrefix, रिकॉर्ड्स, लैम्ब्डा एक्सप्रेशन और प्रीप्रोसेसर निर्देशों के संरेखण को नियंत्रित करने के लिए IndentAccessModifiers, LambdaBodyIndentation, और PPIndentWidth। हेडर फ़ाइलों की सूची (SortIncludes) को क्रमबद्ध करने की क्षमता का विस्तार किया गया है। JSON फ़ाइलों को फ़ॉर्मेट करने के लिए समर्थन जोड़ा गया है।
• क्लैंग-टिडी लिंटर में नए चेकों का एक बड़ा बैच जोड़ा गया है।

एलएलवीएम 13.0 में प्रमुख नवाचार:

• CET तकनीक का उपयोग करने के लिए "-ehcontguard" विकल्प जोड़ा गया (Windows रिटर्न-ओरिएंटेड प्रोग्रामिंग (आरओपी) तकनीकों का उपयोग करके निर्मित हमलों के निष्पादन से अपवाद प्रबंधन के चरण में सुरक्षा के लिए नियंत्रण-प्रवाह प्रवर्तन प्रौद्योगिकी (कंट्रोल-फ्लो एनफोर्समेंट टेक्नोलॉजी)।
• डीबगइन्फो-टेस्ट परियोजना का नाम बदलकर क्रॉस-प्रोजेक्ट-टेस्ट कर दिया गया है और इसे डीबग जानकारी तक सीमित न रखते हुए, विभिन्न परियोजनाओं के घटकों का परीक्षण करने के लिए डिज़ाइन किया गया है।
• निर्माण प्रणाली एकाधिक वितरणों के निर्माण के लिए समर्थन प्रदान करती है, उदाहरण के लिए, एक उपयोगिताओं के साथ और दूसरा डेवलपर्स के लिए लाइब्रेरी के साथ।
• AArch64 आर्किटेक्चर के लिए बैकएंड, असेंबलर में Armv9-A RME (Realm Management Extension) और SME (Scalable Matrix Extension) एक्सटेंशन के लिए समर्थन को कार्यान्वित करता है।
• हेक्सागोन आर्किटेक्चर बैकएंड में ISA V68/HVX के लिए समर्थन जोड़ा गया है।
• x86 बैकएंड ने AMD Zen 3 प्रोसेसर के लिए बेहतर समर्थन प्रदान किया है।
• AMDGPU बैकएंड में GFX1013 RDNA2 APU के लिए समर्थन जोड़ा गया।
• Libc++ C++20 और C++2b मानकों की नई सुविधाओं को लागू करना जारी रखता है, जिसमें "कॉन्सेप्ट्स" लाइब्रेरी का पूरा होना भी शामिल है। प्लेटफ़ॉर्म के लिए Windows MinGW पर आधारित std::filesystem के लिए समर्थन जोड़ा गया है। हेडर फ़ाइलों को अलग कर दिया गया है। , और अपूर्ण कार्यक्षमता वाली हेडर फ़ाइलों को अक्षम करने के लिए LIBCXX_ENABLE_INCOMPLETE_FEATURES बिल्ड विकल्प जोड़ा गया है।
• LLD लिंकर को बिग-एंडियन आर्क64 प्रोसेसरों को सपोर्ट करने के लिए विस्तारित किया गया है, और Mach-O बैकएंड को नियमित प्रोग्रामों को लिंक करने की अनुमति देने के लिए बेहतर बनाया गया है। LLD का उपयोग करके Glibc को लिंक करने के लिए आवश्यक सुधार शामिल किए गए हैं।
• llvm-mca (मशीन कोड एनालाइजर) उपयोगिता को इन-ऑर्डर सुपरस्केलर पाइपलाइन प्रोसेसर जैसे कि ARM Cortex-A55 को समर्थन देने के लिए अद्यतन किया गया है।
• AArch64 प्लेटफ़ॉर्म के लिए LLDB डीबगर अब पॉइंटर प्रमाणीकरण, MTE (मेमटैग, मेमोरी टैगिंग एक्सटेंशन) तंत्र और SVE रजिस्टरों का पूर्ण समर्थन करता है। प्रत्येक मेमोरी आवंटन ऑपरेशन में टैग्स को बाँधने और मेमोरी एक्सेस करते समय पॉइंटर की जाँच करने के लिए कमांड जोड़े गए हैं, जो एक मान्य टैग से बंधा होना चाहिए।
• एलएलडीबी डिबगर और फोरट्रान फ्रंटएंड फ्लैंग को परियोजना द्वारा उत्पन्न बाइनरी असेंबली में जोड़ा गया है।

स्रोत: opennet.ru