LLVM 13.0 कम्पाइलर सेटको रिलीज

विकासको छ महिना पछि, LLVM 13.0 परियोजनाको रिलीज प्रस्तुत गरियो - एक GCC-कम्प्याटिबल टुलकिट (कम्पाइलर, अप्टिमाइजर र कोड जेनेरेटरहरू) जसले प्रोग्रामहरूलाई RISC-जस्तो भर्चुअल निर्देशनहरूको मध्यवर्ती बिटकोडमा कम्पाइल गर्दछ (निम्न-स्तर भर्चुअल मेसिनको साथ। बहु-स्तरीय अनुकूलन प्रणाली)। जेनरेट गरिएको स्यूडोकोडलाई JIT कम्पाइलर प्रयोग गरेर मेसिन निर्देशनहरूमा सिधै कार्यक्रम कार्यान्वयनको समयमा रूपान्तरण गर्न सकिन्छ।

Clang 13.0 मा सुधारहरू:

• ग्यारेन्टेड टेल कलहरू (फंक्शनको एकदमै अन्त्यमा रहेको सबरुटिनमा कल, यदि सबरुटिनले आफैं कल गर्छ भने टेल रिकर्सन सिर्जना गर्ने) अब समर्थित छन्। ग्यारेन्टेड टेल कलहरू C++ मा "[[clang::musttail]]" विशेषता र C मा "__attribute__((musttail))" प्रयोग गरेर समर्थित छन्, जुन "return" कथनमा प्रयोग गरिन्छ। यो सुविधाले स्ट्याक स्पेस बचत गर्न कोडलाई फ्ल्याट पुनरावृत्तिमा समतल गरेर अनुकूलन सक्षम बनाउँछ।
• C++११-शैली विशेषता परिभाषाहरू अब "[[]]" ढाँचा प्रयोग गरेर "प्रकटीकरणहरू प्रयोग गरेर" क्ल्याङमा समर्थित छन्।
• प्रयोगकर्ता कोडमा आरक्षित पहिचानकर्ताहरू निर्दिष्ट गर्दा चेतावनी प्रदर्शन गर्न "-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) लगभग पूरा भएको छ।
• 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 ५.१ स्पेसिफिकेसनमा परिभाषित लूप रूपान्तरण निर्देशनहरू ("#pragma omp unrol" र "#pragma omp tile") को लागि समर्थन लागू गरिएको छ।
• clang-format उपयोगितालाई निम्न विकल्पहरू सहित अद्यावधिक गरिएको छ: टिप्पणीहरू अघि खाली ठाउँहरूको संख्या निर्दिष्ट गर्न SpacesInLineCommentPrefix, रेकर्डहरूको पङ्क्तिबद्धता नियन्त्रण गर्न IndentAccessModifiers, LambdaBodyIndentation, र PPIndentWidth, lambda अभिव्यक्तिहरू, र प्रिप्रोसेसर निर्देशनहरू। हेडर फाइल सूची क्रमबद्ध गर्ने क्षमताहरू (SortIncludes) विस्तार गरिएको छ। JSON फाइल ढाँचाको लागि समर्थन थपिएको छ।
• क्ल्याङ-टिडी लाइन्टरमा ठूलो संख्यामा नयाँ चेकहरू थपिएका छन्।

LLVM 13.0 मा प्रमुख आविष्कारहरू:

• CET प्रविधि प्रयोग गर्न "-ehcontguard" विकल्प थपियो (Windows अपवाद ह्यान्डलिंग चरणमा रिटर्न-उन्मुख प्रोग्रामिंग (ROP) प्रविधिहरू प्रयोग गरेर निर्मित शोषणहरूको कार्यान्वयनबाट सुरक्षा गर्न नियन्त्रण-प्रवाह प्रवर्तन प्रविधि)।
• डिबगइन्फो-टेस्ट परियोजनालाई क्रस-प्रोजेक्ट-टेस्टमा पुन: नामाकरण गरिएको छ र यो डिबग जानकारीमा सीमित नभई विभिन्न परियोजनाहरूबाट कम्पोनेन्टहरू परीक्षण गर्न डिजाइन गरिएको हो।
• निर्माण प्रणालीले धेरै वितरणहरू निर्माण गर्न समर्थन गर्दछ, उदाहरणका लागि, एउटा उपयोगिताहरू सहित र अर्को विकासकर्ताहरूको लागि पुस्तकालयहरू सहित।
• AArch64 आर्किटेक्चरको ब्याकएन्डले एसेम्बलरमा Armv9-A RME (Realm Management Extension) र SME (स्केलेबल म्याट्रिक्स एक्सटेन्सन) एक्सटेन्सनहरूको लागि समर्थन लागू गर्दछ।
• हेक्सागन आर्किटेक्चर ब्याकइन्डमा 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 लिङ्करलाई Big-endian Aarch64 प्रोसेसरहरूलाई समर्थन गर्न विस्तार गरिएको छ, र मानक कार्यक्रमहरूको लिङ्किङलाई अनुमति दिन Mach-O ब्याकएन्ड सुधार गरिएको छ। LLD प्रयोग गरेर Glibc लाई लिङ्क गर्न आवश्यक सुधारहरू समावेश गरिएको छ।
• llvm-mca (मेसिन कोड विश्लेषक) उपयोगितालाई ARM Cortex-A55 जस्ता निर्देशनहरू इन-अर्डर (इन-अर्डर सुपरस्केलर पाइपलाइन) कार्यान्वयन गर्ने प्रोसेसरहरूलाई समर्थन गर्न अद्यावधिक गरिएको छ।
• AArch64 प्लेटफर्मको लागि LLDB डिबगरले अब पोइन्टर प्रमाणीकरण, मेमोरी ट्यागिङ एक्सटेन्सन (MemTag) मेकानिज्म, र SVE दर्ताहरूलाई पूर्ण रूपमा समर्थन गर्दछ। प्रत्येक मेमोरी आवंटन अपरेशनसँग ट्यागहरू सम्बद्ध गर्न र मेमोरी पहुँचको समयमा पोइन्टर सही ट्यागसँग सम्बन्धित छ भनी सुनिश्चित गर्न आदेशहरू थपिएका छन्।
• परियोजनाद्वारा उत्पन्न बाइनरी एसेम्बलीहरूमा LLDB डिबगर र फोर्ट्रान फ्रन्टएन्ड, फ्ल्याङ थपिएका छन्।

स्रोत: opennet.ru