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

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

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

• C++20 मानक में प्रस्तावित "संभावित" और "असंभावित" विशेषताओं के लिए समर्थन को डिफ़ॉल्ट रूप से कार्यान्वित और सक्षम किया गया है, जिससे ऑप्टिमाइज़र को सशर्त निर्माण के ट्रिगर होने की संभावना के बारे में सूचित किया जा सकता है (उदाहरण के लिए, "[[संभावना) ]] यदि (यादृच्छिक> 0) {")।
• AMD Zen 3 (-march=znver3), Intel Alder Lake (-march=alderlake) और Intel Sapphire Rapids (-march=sapphirerapids) प्रोसेसर के लिए समर्थन जोड़ा गया।
• x86-64 आर्किटेक्चर स्तरों का चयन करने के लिए "-मार्च = x234-86-v [64]" झंडे के लिए समर्थन जोड़ा गया (v2 - SSE4.2, SSSE3, POPCNT और CMPXCHG16B एक्सटेंशन को कवर करता है; v3 - AVX2 और MOVBE; v4 - AVX-512 ) .
• आर्म कॉर्टेक्स-ए78सी (कॉर्टेक्स-ए78सी), आर्म कॉर्टेक्स-आर82 (कॉर्टेक्स-आर82), आर्म नियोवर्स वी1 (नियोवर्स-वी1), आर्म नियोवर्स एन2 (नियोवर्स-एन2) और फुजित्सु ए64एफएक्स (ए64एफएक्स) प्रोसेसर के लिए समर्थन जोड़ा गया। उदाहरण के लिए, नियोवर्स-वी1 सीपीयू के लिए अनुकूलन सक्षम करने के लिए, आप "-एमसीपीयू=नियोवर्स-वी1" निर्दिष्ट कर सकते हैं।
• AArch64 आर्किटेक्चर के लिए, "__aarch64_cas8_relax" जैसे परमाणु ऑपरेशन सहायक कार्यों को सक्षम या अक्षम करने के लिए नए कंपाइलर फ़्लैग "-माउटलाइन-एटॉमिक्स" और "-mno-आउटलाइन-एटॉमिक्स" जोड़े गए हैं। ऐसे फ़ंक्शन रनटाइम पर पता लगाते हैं कि क्या एलएसई (बड़े सिस्टम एक्सटेंशन) समर्थन उपलब्ध है और दिए गए परमाणु प्रोसेसर निर्देशों का उपयोग करते हैं या सिंक्रनाइज़ेशन के लिए एलएल/एससी (लोड-लिंक/स्टोर-कंडीशनल) निर्देशों का उपयोग करते हैं।
• पुराने लिंकर और असेंबलर व्यवहार के साथ संगतता के लिए बिनुटिल्स सुइट के लक्ष्य संस्करण का चयन करने के लिए "-fbinutils-version" विकल्प जोड़ा गया।
• ईएलएफ निष्पादन योग्य फ़ाइलों के लिए, जब "-gz" ध्वज निर्दिष्ट किया जाता है, तो zlib लाइब्रेरी का उपयोग करके डिबगिंग जानकारी का संपीड़न डिफ़ॉल्ट रूप से सक्षम होता है (gz=zlib)। परिणामी ऑब्जेक्ट फ़ाइलों को लिंक करने के लिए एलएलडी या जीएनयू बिनुटिल्स 2.26+ की आवश्यकता होती है। बिनुटिल्स के पुराने संस्करणों के साथ संगतता बहाल करने के लिए, आप "-gz=zlib-gnu" निर्दिष्ट कर सकते हैं।
• 'यह' सूचक अब गैर-शून्य और डीरेफ़रेंसेबल (एन) जांच के साथ संसाधित किया गया है। जब आपको NULL मानों का उपयोग करने की आवश्यकता हो तो नॉननल विशेषता को हटाने के लिए, आप "-fdelete-null-pointer-checks" विकल्प का उपयोग कर सकते हैं।
• लिनक्स प्लेटफ़ॉर्म पर, GCC की तरह, अनवाइंड कॉल टेबल उत्पन्न करने के लिए AArch64 और PowerPC आर्किटेक्चर के लिए "-fasynchronous-unwind-tables" मोड सक्षम है।
• "#pragma clang लूप वेक्टराइज़_विड्थ" में वेक्टराइज़ेशन विधि का चयन करने के लिए "फिक्स्ड" (डिफ़ॉल्ट) और "स्केलेबल" विकल्प निर्दिष्ट करने की क्षमता जोड़ी गई है। वेक्टर लंबाई से स्वतंत्र "स्केलेबल" मोड प्रायोगिक है और इसका उपयोग हार्डवेयर पर किया जा सकता है जो स्केलेबल वेक्टराइजेशन का समर्थन करता है।
• विंडोज़ प्लेटफ़ॉर्म के लिए बेहतर समर्थन: आर्म64 सिस्टम पर विंडोज़ के लिए आधिकारिक बाइनरी असेंबली तैयार की गई हैं, जिसमें क्लैंग कंपाइलर, एलएलडी लिंकर और कंपाइलर-आरटी रनटाइम लाइब्रेरी शामिल हैं। MinGW लक्ष्य प्लेटफ़ॉर्म के लिए निर्माण करते समय, क्रॉस-कंपाइलिंग करते समय भी .exe प्रत्यय जोड़ा जाता है।
• OpenCL, OpenMP और CUDA के समर्थन से जुड़ी क्षमताओं का विस्तार किया गया है। OpenCL 3.0 और OpenCL 1.0 के लिए मैक्रो विकल्प चुनने के लिए विकल्प "-cl-std=CL3.0" और "-cl-std=CL1.0" जोड़े गए। निदान उपकरणों का विस्तार किया गया है।
• कुछ x86-आधारित प्रोसेसर में लागू HRESET, UINTR और AVXVNNI निर्देशों के लिए समर्थन जोड़ा गया।
• x86 सिस्टम पर, "-mtune=" विकल्प के लिए समर्थन सक्षम है, जो "-march=" मान की परवाह किए बिना चयनित माइक्रोआर्किटेक्चरल अनुकूलन को सक्षम करता है।
• स्थैतिक विश्लेषक ने कुछ POSIX फ़ंक्शंस के प्रसंस्करण में सुधार किया है और तुलना में कई प्रतीकात्मक मान होने पर सशर्त संचालन के परिणाम के निर्धारण में काफी सुधार किया है। नए चेक जोड़े गए हैं:fuchia.HandleChecker (संरचनाओं में हैंडल को परिभाषित करता है), webkit.UncountedLambdaCapturesChecker वेबकिट और alpha.webkit.UncountedLocalVarsChecker (वेबकिट इंजन कोड में पॉइंटर्स के साथ काम करने की ख़ासियत को ध्यान में रखता है)।
• स्थिरांक के संदर्भ में प्रयुक्त अभिव्यक्तियों में, अंतर्निहित फ़ंक्शंस का उपयोग __बिल्टिन_बिटरिवर्स*, __बिल्टिन_रोटेटलेफ्ट*, __बिल्टिन_रोटेटराइट*, _एमएम_पॉपकंट*, _बिट_स्कैन_फॉरवर्ड, __bsfd, __bsfq, __bit_scan_revers, __bsrd, __bsrq, __bswap, __bswapd, __bswap64, __ bswapq की अनुमति है , _कास्टफ़*, __रोल* और __रोर*।
• पहचानकर्ताओं, स्तंभों और फ़ील्ड परिभाषाओं के आसपास रिक्ति का चयन करने के लिए क्लैंग-प्रारूप उपयोगिता में एक BitFieldColonSpacing विकल्प जोड़ा गया।
• लिनक्स प्लेटफ़ॉर्म पर क्लैंगड कैशिंग सर्वर (क्लैंग सर्वर) ने दीर्घकालिक संचालन के दौरान मेमोरी खपत को काफी कम कर दिया है (ऑपरेटिंग सिस्टम में मुफ्त मेमोरी पेज वापस करने के लिए Malloc_trim पर आवधिक कॉल प्रदान की जाती हैं)।

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

• पायथन में लिखे गए एलएलवीएम-बिल्ड बिल्ड टूल के लिए समर्थन बंद कर दिया गया है, और इसके बजाय प्रोजेक्ट पूरी तरह से सीएमके बिल्ड सिस्टम का उपयोग करने के लिए स्विच कर दिया गया है।
• AArch64 आर्किटेक्चर के लिए बैकएंड में, विंडोज प्लेटफॉर्म के लिए समर्थन में सुधार किया गया है: लक्ष्य विंडोज सिस्टम के लिए असेंबलर आउटपुट की सही पीढ़ी सुनिश्चित की गई है, अनवाइंड कॉल पर डेटा की पीढ़ी को अनुकूलित किया गया है (ऐसे डेटा का आकार 60 तक कम कर दिया गया है) %), असेंबलर का उपयोग करके अनवाइंड डेटा बनाने की क्षमता को निर्देश .seh_* जोड़ा गया है।
• पावरपीसी आर्किटेक्चर के बैकएंड में लूप और इनलाइन परिनियोजन के लिए नए अनुकूलन, पावर10 प्रोसेसर के लिए विस्तारित समर्थन, मैट्रिक्स हेरफेर के लिए एमएमए निर्देशों के लिए अतिरिक्त समर्थन और एईक्स ऑपरेटिंग सिस्टम के लिए बेहतर समर्थन की सुविधा है।
• x86 बैकएंड AMD Zen 3, Intel Alder Lake और Intel Sapphire Rapids प्रोसेसर के साथ-साथ HRESET, UINTR और AVXVNNI प्रोसेसर निर्देशों के लिए समर्थन जोड़ता है। यह सुनिश्चित करने के लिए कि मेमोरी सीमाएं अब समर्थित नहीं हैं, पॉइंटर्स की जांच के लिए एमपीएक्स (मेमोरी प्रोटेक्शन एक्सटेंशन्स) के लिए समर्थन (यह तकनीक व्यापक नहीं है और पहले ही जीसीसी और क्लैंग से हटा दी गई है)। ऑपरेंड ऑफसेट और जम्प के आकार को नियंत्रित करने के लिए {disp32} और {disp8} उपसर्गों और .d32 और .d8 प्रत्ययों के लिए असेंबलर में समर्थन जोड़ा गया। माइक्रोआर्किटेक्चरल अनुकूलन के समावेशन को नियंत्रित करने के लिए एक नई विशेषता "ट्यून-सीपीयू" जोड़ी गई।
• बाईं ओर थोड़ा बदलाव के बाद अहस्ताक्षरित पूर्णांकों के अतिप्रवाह का पता लगाने के लिए पूर्णांक समस्या डिटेक्टर (पूर्णांक सैनिटाइज़र, "-fsanitize = पूर्णांक") में एक नया मोड "-fsanitize = unsigned-shift-base" जोड़ा गया है।
• विभिन्न डिटेक्टरों (एएसएएन, सीएफआई, एलएसएएन, एमएसएएन, टीएसएन, यूबीएसएन सैनिटाइजर) में मानक मसल लाइब्रेरी के साथ लिनक्स वितरण के लिए समर्थन जोड़ा गया है।
• एलएलडी लिंकर की क्षमताओं का विस्तार किया गया है। ईएलएफ प्रारूप के लिए बेहतर समर्थन, जिसमें अतिरिक्त विकल्प "--निर्भरता-फ़ाइल", "-त्रुटि-हैंडलिंग-स्क्रिप्ट", "-प्रोफ़ाइलिंग के लिए छद्म-जांच", "-नो-एलटीओ-संपूर्ण-प्रोग्राम" शामिल हैं -दृश्यता"" बेहतर MinGW समर्थन। मच-ओ प्रारूप (मैकओएस) के लिए, आर्म64, आर्म और आई386 आर्किटेक्चर, लिंक-टाइम ऑप्टिमाइज़ेशन (एलटीओ) और अपवाद हैंडलिंग के लिए स्टैक अनवाइंडिंग के लिए समर्थन लागू किया गया है।
• Libc++ C++20 मानक की नई सुविधाओं को लागू करता है और C++2b विनिर्देशन की सुविधाओं का विकास शुरू कर चुका है। अक्षम स्थानीयकरण समर्थन ("-DLIBCXX_ENABLE_LOCALIZATION=OFF") और छद्म-यादृच्छिक संख्याएँ उत्पन्न करने वाले उपकरणों ("-DLIBCXX_ENABLE_RANDOM_DEVICE=OFF") के साथ निर्माण के लिए समर्थन जोड़ा गया।

स्रोत: opennet.ru