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

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

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

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

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

• अपवाद हाताळणी टप्प्यावर रिटर्न-ओरिएंटेड प्रोग्रामिंग (ROP) तंत्राचा वापर करून तयार केलेल्या शोषणांच्या अंमलबजावणीपासून संरक्षण करण्यासाठी CET (Windows Control-flow Enforcement Technology) तंत्रज्ञान वापरण्यासाठी “-ehcontguard” पर्याय जोडला.
• डीबगिनफो-चाचणी प्रकल्पाचे नाव क्रॉस-प्रोजेक्ट-चाचणी असे केले गेले आहे आणि ते डीबगिंग माहितीपुरते मर्यादित न राहता, विविध प्रकल्पांमधील घटक तपासण्यासाठी डिझाइन केले आहे.
• असेंब्ली सिस्टीम अनेक वितरणे तयार करण्यासाठी समर्थन पुरवते, उदाहरणार्थ, एक युटिलिटीसह, आणि दुसरी डेव्हलपरसाठी लायब्ररीसह.
• 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 मानकांची नवीन वैशिष्ट्ये लागू करणे सुरू ठेवले आहे, ज्यात “संकल्पना” लायब्ररी पूर्ण करणे समाविष्ट आहे. MinGW-आधारित Windows प्लॅटफॉर्मसाठी std::filesystem साठी समर्थन जोडले. शीर्षलेख फायली विभक्त केल्या , आणि . पूर्णपणे लागू न केलेल्या कार्यक्षमतेसह शीर्षलेख फायली अक्षम करण्यासाठी LIBCXX_ENABLE_INCOMPLETE_FEATURES बिल्ड पर्याय जोडला.
• एलएलडी लिंकरच्या क्षमतांचा विस्तार करण्यात आला आहे, ज्यामध्ये बिग-एंडियन Aarch64 प्रोसेसरसाठी समर्थन लागू केले आहे, आणि मॅच-ओ बॅकएंड अशा स्थितीत आणले गेले आहे जे नियमित प्रोग्रामला लिंक करण्यास परवानगी देते. LLD वापरून Glibc ला जोडण्यासाठी आवश्यक सुधारणा समाविष्ट केल्या आहेत.
• llvm-mca (मशीन कोड विश्लेषक) युटिलिटीने प्रोसेसरसाठी समर्थन जोडले आहे जे क्रमाने (इन-ऑर्डर सुपरस्केलर पाइपलाइन), जसे की ARM Cortex-A55.
• AArch64 प्लॅटफॉर्मसाठी LLDB डीबगर पॉइंटर ऑथेंटिकेशन, MTE (MemTag, मेमरी टॅगिंग एक्स्टेंशन) आणि SVE रजिस्टर्ससाठी पूर्ण समर्थन पुरवतो. जोडलेले आदेश जे तुम्हाला प्रत्येक मेमरी वाटप ऑपरेशनमध्ये टॅग बांधण्याची परवानगी देतात आणि मेमरीमध्ये प्रवेश करताना पॉइंटरची तपासणी आयोजित करतात, जे योग्य टॅगशी संबंधित असणे आवश्यक आहे.
• LLDB डीबगर आणि फोरट्रान भाषेसाठी फ्रंटएंड - फ्लॅंग प्रकल्पाद्वारे व्युत्पन्न केलेल्या बायनरी असेंब्लीमध्ये जोडले गेले आहेत.

स्त्रोत: opennet.ru