LLVM 12.0 कंपायलर सूटचे प्रकाशन

सहा महिन्यांच्या विकासानंतर, LLVM 12.0 प्रकल्पाचे प्रकाशन सादर केले गेले - एक GCC-सुसंगत टूलकिट (कंपायलर, ऑप्टिमायझर्स आणि कोड जनरेटर) जे RISC-सारख्या आभासी सूचनांच्या इंटरमीडिएट बिटकोडमध्ये प्रोग्राम संकलित करते (एक निम्न-स्तरीय आभासी मशीन बहु-स्तरीय ऑप्टिमायझेशन सिस्टम). व्युत्पन्न केलेला स्यूडोकोड JIT कंपायलर वापरून प्रोग्रामच्या अंमलबजावणीच्या वेळी थेट मशीन निर्देशांमध्ये रूपांतरित केला जाऊ शकतो.

क्लॅंग 12.0 मध्ये सुधारणा:

• C++20 मानकामध्ये प्रस्तावित केलेल्या "संभाव्य" आणि "संभाव्य" विशेषतांसाठी समर्थन डीफॉल्टनुसार लागू केले गेले आहे आणि सक्षम केले गेले आहे, ज्यामुळे ऑप्टिमायझरला सशर्त बांधकाम ट्रिगर होण्याच्या संभाव्यतेबद्दल माहिती दिली जाऊ शकते (उदाहरणार्थ, "[[संभाव्यता ]] जर (यादृच्छिक > 0) {“).
• AMD Zen 3 (-march=znver3), Intel Alder Lake (-march=alderlake) आणि Intel Sapphire Rapids (-march=sapphirerapids) प्रोसेसरसाठी समर्थन जोडले.
• x86-64 आर्किटेक्चर स्तर निवडण्यासाठी "-march=x234-86-v[64]" फ्लॅगसाठी समर्थन जोडले (v2 - SSE4.2, SSSE3, POPCNT आणि CMPXCHG16B विस्तार; v3 - AVX2 आणि MOVBE; v4 - AVX-512 कव्हर करते ) .
• आर्म कॉर्टेक्स-ए७८सी (कॉर्टेक्स-ए७८सी), आर्म कॉर्टेक्स-आर८२ (कॉर्टेक्स-आर८२), आर्म निओवर्स व्ही१ (निओवर्स-व्ही१), आर्म निओवर्स एन२ (निओवर्स-एन२) आणि फुजित्सू ए६४एफएक्स (ए६४एफएक्स) प्रोसेसरसाठी समर्थन जोडले. उदाहरणार्थ, Neoverse-V78 CPU साठी ऑप्टिमायझेशन सक्षम करण्यासाठी, तुम्ही “-mcpu=neoverse-v78” निर्दिष्ट करू शकता.
• AArch64 आर्किटेक्चरसाठी, "__aarch64_cas8_relax" सारखी अणु ऑपरेशन हेल्पर फंक्शन्स सक्षम किंवा अक्षम करण्यासाठी नवीन कंपाइलर ध्वज "-moutline-atomics" आणि "-mno-outline-atomics" जोडले गेले आहेत. अशी फंक्शन्स रनटाइममध्ये LSE (लार्ज सिस्टम एक्स्टेंशन्स) समर्थन उपलब्ध आहे की नाही हे ओळखतात आणि प्रदान केलेल्या अणु प्रोसेसर सूचना वापरतात किंवा सिंक्रोनाइझेशनसाठी LL/SC (लोड-लिंक/स्टोअर-कंडिशनल) सूचना वापरतात.
• जुन्या लिंकर आणि असेंबलर वर्तनासह सुसंगततेसाठी binutils सूटची लक्ष्य आवृत्ती निवडण्यासाठी "-fbinutils-version" पर्याय जोडला.
• ELF एक्झिक्युटेबल फाइल्ससाठी, जेव्हा "-gz" ध्वज निर्दिष्ट केला जातो, तेव्हा zlib लायब्ररी वापरून डीबगिंग माहितीचे कॉम्प्रेशन डीफॉल्टनुसार सक्षम केले जाते (gz=zlib). परिणामी ऑब्जेक्ट फाइल्स लिंक करण्यासाठी lld किंवा GNU binutils 2.26+ आवश्यक आहे. binutils च्या जुन्या आवृत्त्यांसह सुसंगतता पुनर्संचयित करण्यासाठी, तुम्ही "-gz=zlib-gnu" निर्दिष्ट करू शकता.
• 'हा' पॉइंटर आता नॉननल आणि डिरेफरेन्सेबल(N) चेकने प्रक्रिया केली आहे. जेव्हा तुम्हाला NULL मूल्ये वापरण्याची आवश्यकता असेल तेव्हा nonnull विशेषता काढून टाकण्यासाठी, तुम्ही "-fdelete-null-pointer-checks" पर्याय वापरू शकता.
• Linux प्लॅटफॉर्मवर, "-fasynchronous-unwind-tables" मोड AArch64 आणि PowerPC आर्किटेक्चरसाठी GCC प्रमाणे अनवाइंड कॉल टेबल्स व्युत्पन्न करण्यासाठी सक्षम केला आहे.
• "#pragma clang loop vectorize_width" मध्ये वेक्टरायझेशन पद्धत निवडण्यासाठी "फिक्स्ड" (डिफॉल्ट) आणि "स्केलेबल" पर्याय निर्दिष्ट करण्याची क्षमता जोडली आहे. "स्केलेबल" मोड, वेक्टर लांबीपासून स्वतंत्र, प्रायोगिक आहे आणि स्केलेबल व्हेक्टरायझेशनला समर्थन देणाऱ्या हार्डवेअरवर वापरला जाऊ शकतो.
• विंडोज प्लॅटफॉर्मसाठी सुधारित समर्थन: आर्म 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 (वेबकिट इंजिन कोडमधील पॉइंटर्ससह काम करण्याची वैशिष्ट्ये विचारात घेते).
• स्थिरांकांच्या संदर्भात वापरल्या जाणार्‍या अभिव्यक्तींमध्ये, अंगभूत फंक्शन्सचा वापर __builtin_bitreverse*, __builtin_rotateleft*, __builtin_rotateright*, _mm_popcnt*, _bit_scan_forward, __bsfd, __bsfq, __bit_scan_reverse, wap__bs__rd, wap64 XNUMX, __ bswapq ला अनुमती आहे , _castf*, __rol* आणि __ror*.
• अभिज्ञापक, स्तंभ आणि फील्ड व्याख्यांभोवतीचे अंतर निवडण्यासाठी क्लॅंग-फॉर्मेट युटिलिटीमध्ये बिटफिल्डकोलनस्पेसिंग पर्याय जोडला.
• लिनक्स प्लॅटफॉर्मवरील क्लॅंगड कॅशिंग सर्व्हर (क्लॅंग सर्व्हर) ने दीर्घकालीन ऑपरेशन दरम्यान मेमरी वापर लक्षणीयरीत्या कमी केला आहे (ऑपरेटिंग सिस्टमला विनामूल्य मेमरी पृष्ठे परत करण्यासाठी malloc_trim ला नियतकालिक कॉल प्रदान केले जातात).

LLVM 12.0 मधील प्रमुख नवकल्पना:

• Python मध्ये लिहिलेल्या llvm-build बिल्ड टूलसाठी समर्थन बंद केले आहे, आणि त्याऐवजी प्रकल्प पूर्णपणे CMake बिल्ड सिस्टम वापरण्यासाठी स्विच केला आहे.
• AArch64 आर्किटेक्चरसाठी बॅकएंडमध्ये, विंडोज प्लॅटफॉर्मसाठी समर्थन सुधारित केले गेले आहे: लक्ष्यित विंडोज सिस्टमसाठी असेंबलर आउटपुटची योग्य निर्मिती सुनिश्चित केली गेली आहे, अनवाइंड कॉल्सवरील डेटाची निर्मिती ऑप्टिमाइझ केली गेली आहे (अशा डेटाचा आकार 60 ने कमी केला आहे. %), असेंबलर वापरून अनवाइंड डेटा तयार करण्याची क्षमता .seh_* निर्देश जोडण्यात आली आहे.
• पॉवरपीसी आर्किटेक्चरसाठी बॅकएंडमध्ये लूप आणि इनलाइन डिप्लॉयमेंटसाठी नवीन ऑप्टिमायझेशन, पॉवर10 प्रोसेसरसाठी विस्तारित समर्थन, मॅट्रिक्स मॅनिपुलेशनसाठी MMA सूचनांसाठी जोडलेले समर्थन आणि AIX ऑपरेटिंग सिस्टमसाठी सुधारित समर्थन समाविष्ट आहे.
• x86 बॅकएंड AMD Zen 3, Intel Alder Lake आणि Intel Sapphire Rapids प्रोसेसर, तसेच HRESET, UINTR आणि AVXVNNI प्रोसेसर सूचनांसाठी समर्थन जोडते. मेमरी सीमा यापुढे समर्थित नाहीत याची खात्री करण्यासाठी पॉइंटर तपासण्यासाठी MPX (मेमरी संरक्षण विस्तार) साठी समर्थन (हे तंत्रज्ञान व्यापक नाही आणि GCC आणि clang मधून आधीच काढून टाकले गेले आहे). ऑपरेंड ऑफसेट आणि जंपचा आकार नियंत्रित करण्यासाठी {disp32} आणि {disp8} उपसर्ग आणि .d32 आणि .d8 प्रत्ययांसाठी असेंबलरला समर्थन जोडले. मायक्रोआर्किटेक्चरल ऑप्टिमायझेशनचा समावेश नियंत्रित करण्यासाठी "ट्यून-सीपीयू" ही नवीन विशेषता जोडली.
• एक नवीन मोड “-fsanitize=unsigned-shift-base” पूर्णांक प्रॉब्लेम डिटेक्टरमध्ये जोडला गेला आहे (पूर्णांक सॅनिटायझर, “-fsanitize=integer”) थोडेसे डावीकडे शिफ्ट केल्यानंतर अस्वाक्षरित पूर्णांकांचे ओव्हरफ्लो शोधण्यासाठी.
• विविध डिटेक्टर्समध्ये (asan, cfi, lsan, msan, tsan, ubsan sanitizer) मानक Musl लायब्ररीसह Linux वितरणासाठी समर्थन जोडले गेले आहे.
• एलएलडी लिंकरची क्षमता वाढवण्यात आली आहे. "--निर्भरता-फाइल", "-एरर-हँडलिंग-स्क्रिप्ट", "-lto-स्यूडो-प्रोब-फॉर-प्रोफाइलिंग", "-no-lto-संपूर्ण-प्रोग्राम" या पर्यायांसह ELF फॉरमॅटसाठी सुधारित समर्थन -दृश्यता"" सुधारित MinGW समर्थन. Mach-O फॉरमॅटसाठी (macOS), arm64, arm, आणि i386 आर्किटेक्चरसाठी समर्थन, लिंक-टाइम ऑप्टिमायझेशन (LTO), आणि अपवाद हाताळणीसाठी स्टॅक अनवाइंडिंग लागू केले गेले आहे.
• Libc++ C++20 मानकाची नवीन वैशिष्ट्ये लागू करते आणि C++2b स्पेसिफिकेशनच्या वैशिष्ट्यांचा विकास करण्यास सुरुवात केली आहे. स्थानिकीकरण समर्थन (“-DLIBCXX_ENABLE_LOCALIZATION=OFF”) आणि छद्म-यादृच्छिक संख्या (“-DLIBCXX_ENABLE_RANDOM_DEVICE=OFF”) व्युत्पन्न करणार्‍या डिव्हाइसेससह बिल्डिंगसाठी समर्थन जोडले.

स्त्रोत: opennet.ru