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

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

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

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

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

• अपवाद हैंडलिंग चरण में रिटर्न-ओरिएंटेड प्रोग्रामिंग (आरओपी) तकनीकों का उपयोग करके बनाए गए कारनामों के निष्पादन से बचाने के लिए सीईटी (विंडोज कंट्रोल-फ्लो एनफोर्समेंट टेक्नोलॉजी) तकनीक का उपयोग करने के लिए "-ehcontguard" विकल्प जोड़ा गया।
• डिबगिनफ़ो-टेस्ट प्रोजेक्ट का नाम बदलकर क्रॉस-प्रोजेक्ट-टेस्ट कर दिया गया है और इसे डिबगिंग जानकारी तक सीमित नहीं, बल्कि विभिन्न प्रोजेक्ट्स के घटकों का परीक्षण करने के लिए डिज़ाइन किया गया है।
• असेंबली सिस्टम कई वितरणों के निर्माण के लिए सहायता प्रदान करता है, उदाहरण के लिए, एक उपयोगिताओं के साथ, और दूसरा डेवलपर्स के लिए पुस्तकालयों के साथ।
• AArch64 आर्किटेक्चर के बैकएंड में, असेंबलर में Armv9-A RME (रियलम मैनेजमेंट एक्सटेंशन) और SME (स्केलेबल मैट्रिक्स एक्सटेंशन) एक्सटेंशन के लिए समर्थन लागू किया गया है।
• हेक्सागोन आर्किटेक्चर के लिए बैकएंड में ISA V68/HVX के लिए समर्थन जोड़ा गया है।
• x86 बैकएंड ने AMD Zen 3 प्रोसेसर के लिए बेहतर समर्थन दिया है।
• AMDGPU बैकएंड में GFX1013 RDNA2 APU के लिए समर्थन जोड़ा गया।
• Libc++ "अवधारणाओं" लाइब्रेरी को पूरा करने सहित C++20 और C++2b मानकों की नई सुविधाओं को लागू करना जारी रखता है। MinGW-आधारित विंडोज़ प्लेटफ़ॉर्म के लिए std::filesystem के लिए समर्थन जोड़ा गया। हेडर फ़ाइलें अलग हो गईं , और . पूरी तरह कार्यान्वित कार्यक्षमता न होने वाली हेडर फ़ाइलों को अक्षम करने के लिए बिल्ड विकल्प LIBCXX_ENABLE_INCOMPLETE_FEATURES जोड़ा गया।
• एलएलडी लिंकर की क्षमताओं का विस्तार किया गया है, जिसमें बिग-एंडियन Aarch64 प्रोसेसर के लिए समर्थन लागू किया गया है, और मैक-ओ बैकएंड को ऐसी स्थिति में लाया गया है जो नियमित कार्यक्रमों को लिंक करने की अनुमति देता है। एलएलडी का उपयोग करके ग्लिबैक को लिंक करने के लिए आवश्यक सुधार शामिल हैं।
• एलएलवीएम-एमसीए (मशीन कोड एनालाइजर) उपयोगिता ने उन प्रोसेसरों के लिए समर्थन जोड़ा है जो निर्देशों को क्रम में (इन-ऑर्डर सुपरस्केलर पाइपलाइन) निष्पादित करते हैं, जैसे एआरएम कॉर्टेक्स-ए55।
• AArch64 प्लेटफॉर्म के लिए एलएलडीबी डिबगर पॉइंटर प्रमाणीकरण, एमटीई (मेमटैग, मेमोरी टैगिंग एक्सटेंशन) और एसवीई रजिस्टरों के लिए पूर्ण समर्थन प्रदान करता है। जोड़े गए कमांड जो आपको प्रत्येक मेमोरी आवंटन ऑपरेशन में टैग को बांधने और मेमोरी तक पहुंचने पर पॉइंटर की जांच को व्यवस्थित करने की अनुमति देते हैं, जो सही टैग से जुड़ा होना चाहिए।
• एलएलडीबी डिबगर और फोरट्रान भाषा के लिए फ्रंटएंड - फ़्लैंग को परियोजना द्वारा उत्पन्न बाइनरी असेंबली में जोड़ा गया है।

स्रोत: opennet.ru