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

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

क्लॅंग 16.0 मधील प्रमुख सुधारणा:

• डीफॉल्ट C++/ObjC++ मानक gnu++17 (पूर्वी gnu++14) आहे, म्हणजे GNU विस्तारांसह C++17 वैशिष्ट्ये डीफॉल्टनुसार समर्थित आहेत. मागील वर्तन परत करण्यासाठी, तुम्ही "-std=gnu++14" पर्याय वापरू शकता.
• C++20 मानकांशी संबंधित प्रगत वैशिष्ट्ये लागू केली:
  • सशर्त क्षुल्लक विशेष सदस्य कार्ये,
  • लॅम्बडा फंक्शन्समध्ये संरचित बाइंडिंग कॅप्चर करणे,
  • अभिव्यक्तींमध्ये समानता ऑपरेटर,
  • काही संदर्भांमध्ये टाइपनेम कीवर्ड वगळण्याचा पर्याय,
  • कंसात वैध एकूण आरंभीकरण (“Aggr(val1, val2)”).
• भविष्यातील C++2b मानकांमध्ये परिभाषित वैशिष्ट्ये लागू केली गेली आहेत:
  • संयुग अभिव्यक्तीच्या शेवटी लेबले ठेवण्याची परवानगी आहे,
  • स्थिर ऑपरेटर(),
  • स्थिर ऑपरेटर[],
  • char8_t प्रकारासह सुसंगतता सुनिश्चित केली जाते,
  • "\N{...}" मध्‍ये वापरण्‍यासाठी अनुमत वर्णांची श्रेणी वाढवली गेली आहे
  • constexpr म्हणून घोषित केलेल्या फंक्शन्समध्ये "static constexpr" म्हणून घोषित व्हेरिएबल्स वापरण्याची क्षमता जोडली.
• भविष्यातील C-मानक C2x मध्ये परिभाषित वैशिष्ट्ये लागू केली गेली आहेत:
  • "-Wunused-label" चेतावणी अक्षम करण्यासाठी, "[[कदाचित_unused]]" विशेषता लेबलांवर लागू करण्याची अनुमती आहे
  • संयुग अभिव्यक्तींमध्ये कुठेही लेबल ठेवण्याची परवानगी आहे,
  • typeof आणि typeof_unqual ऑपरेटर जोडले,
  • शून्य पॉइंटर परिभाषित करण्यासाठी एक नवीन प्रकार nullptr_t आणि nullptr स्थिरांक जे कोणत्याही पॉइंटर प्रकारात रूपांतरित होऊ शकतात आणि पूर्णांक आणि शून्य* प्रकारांना बांधील नसलेल्या NULL चे प्रकार दर्शवू शकतात.
  • C2x मोडमध्ये, va_start मॅक्रोला आर्ग्युमेंट्सच्या व्हेरिएबल नंबरसह (व्हेरिएडिक) कॉल करण्याची परवानगी आहे.
• C99, C11, आणि C17 अनुपालन मोडमध्ये, डीफॉल्ट पर्याय "-Wimplicit-function-declaration" आणि "-Wimplicit-int" आता चेतावणीऐवजी त्रुटी निर्माण करतात.
• C++ मोडमध्‍ये "void*" (उदा. "void func(void *p) { *p; }") चा अप्रत्यक्ष वापर आता ISO C++, GCC, ICC आणि MSVC प्रमाणेच त्रुटी निर्माण करतो.
• मायक्रोसॉफ्ट-शैलीतील इनलाइन असेंब्ली ब्लॉक्समध्ये इंस्ट्रक्शन ऑपरेंड्स (उदा. "__asm ​​{ mov eax, s.bf }") म्हणून बिटफिल्ड निर्दिष्ट केल्याने आता त्रुटी निर्माण होते.
• वेगवेगळ्या मॉड्यूल्समध्ये समान नावांसह भिन्न संरचना आणि युनियनच्या उपस्थितीसाठी निदान जोडले.
• OpenCL आणि OpenMP सपोर्टशी संबंधित क्षमतांचा विस्तार करण्यात आला आहे. OpenCL कर्नल वितर्कांमध्ये वापरल्या जाणार्‍या C++ टेम्पलेट्ससाठी सुधारित निदान. AMDGPU साठी सुधारित रांगेत ब्लॉक समर्थन. nounwind विशेषता सर्व फंक्शन्समध्ये अस्पष्टपणे जोडली जाते. अंगभूत कार्यांसाठी सुधारित समर्थन.
• CLANG_CRASH_DIAGNOSTICS_DIR पर्यावरण व्हेरिएबल वापरण्याची क्षमता जोडली आहे ज्यामध्ये क्रॅश डायग्नोस्टिक डेटा जतन केला जातो ती निर्देशिका परिभाषित करण्यासाठी.
• युनिकोड सपोर्ट युनिकोड १५.० स्पेसिफिकेशनमध्ये अपडेट केला गेला आहे. "₊" (उदा. "डबल xₖ₊₁") सारख्या अभिज्ञापकांमध्ये काही गणिती चिन्हांना अनुमती आहे.
• एकाधिक कॉन्फिगरेशन फाइल्स लोड करण्यासाठी समर्थन जोडले (डिफॉल्ट कॉन्फिगरेशन फाइल्स प्रथम लोड केल्या जातात, आणि नंतर त्या “--config=” ध्वजाद्वारे निर्दिष्ट केल्या जातात, ज्या आता अनेक वेळा निर्दिष्ट केल्या जाऊ शकतात). कॉन्फिगरेशन फाइल्सचा डीफॉल्ट लोडिंग ऑर्डर बदलला: क्लॅंग प्रथम फाइल लोड करण्याचा प्रयत्न करतो - .cfg, आणि जर ते सापडले नाही तर ते दोन फाइल्स लोड करण्याचा प्रयत्न करते .cfg आणि .cfg. डीफॉल्टनुसार कॉन्फिगरेशन फाइल्स लोड करणे अक्षम करण्यासाठी, “--no-default-config” ध्वज जोडला गेला आहे.
• पुनरावृत्ती करण्यायोग्य बिल्डची खात्री करण्यासाठी, SOURCE_DATE_EPOCH पर्यावरण व्हेरिएबलमध्ये निर्दिष्ट केलेल्या वेळेसह __DATE__, __TIME__ आणि __TIMESTAMP__ मॅक्रोमधील वर्तमान तारीख आणि वेळ मूल्ये बदलणे शक्य आहे.
• स्थिरांकांच्या संदर्भात वापरल्या जाऊ शकणार्‍या अंगभूत फंक्शन्सची (अंगभूत) उपस्थिती तपासण्यासाठी, मॅक्रो “__has_constexpr_builtin” जोडले गेले आहे.
• संरेखित coroutine फ्रेम वाटपासाठी नवीन संकलन ध्वज "-fcoro-aligned-allocation" जोडला.
• “-fstrict-flex-arrays=” ध्वज संरचनांमधील लवचिक अॅरे घटकांसाठी तपासण्याच्या तिसऱ्या स्तरासाठी समर्थन लागू करतो (लवचिक अॅरे सदस्य, संरचनेच्या शेवटी अनिश्चित आकाराचा अॅरे). तिसऱ्या स्तरावर, फक्त आकार "[]" (उदाहरणार्थ, "int b[]") एक लवचिक अॅरे मानला जातो, परंतु आकार "[0]" (उदाहरणार्थ, "int b[0]") नाही.
• मानक C++ मॉड्यूल्ससाठी सिंगल-फेज संकलन मॉडेल सक्षम करण्यासाठी "-fmodule-output" ध्वज जोडला.
• स्टॅक फ्रेम लेआउटसह समस्यांचे निदान करण्यात मदत करण्यासाठी "-Rpass-analysis=stack-frame-layout" मोड जोडला.
• AArch1 द्वारे प्रदान केलेल्या वैशिष्ट्यांच्या विशिष्ट आवृत्त्या निवडण्यासाठी __attribute__((target_version("cpu_features"))) __विशेषता__((target_clones("cpu_features2","cpu_features64",...))) विशेषतेची कार्यक्षमता वाढवली CPUs.
• डायग्नोस्टिक टूल्सचा विस्तार केला:
  • सिंगल-बिट स्वाक्षरी केलेल्या बिटफिल्डला नियुक्त करताना गर्भित ट्रंकेशन शोधण्यासाठी "-Wsingle-bit-bitfield-constant-conversion" चेतावणी जोडली.
  • सुरू न केलेल्या कॉन्स्टेक्स्पर व्हेरिएबल्सचे निदान विस्तारित केले आहे.
  • फंक्शन प्रकार कास्टिंगसह संभाव्य समस्या ओळखण्यासाठी "-Wcast-function-type-strict" आणि "-Wincompatible-function-pointer-types-strict" चेतावणी जोडल्या.
  • एक्सपोर्ट ब्लॉक्समध्ये चुकीची किंवा आरक्षित मॉड्यूलची नावे वापरण्यासाठी डायग्नोस्टिक्स जोडले.
  • व्याख्यांमध्ये गहाळ "स्वयं" कीवर्डची सुधारित ओळख.
  • "-विंटेजर-ओव्हरफ्लो" चेतावणीच्या अंमलबजावणीने अतिरीक्त परिस्थितींसाठी चेक जोडले आहेत ज्यामुळे ओव्हरफ्लो होते.
• LoongArch इंस्ट्रक्शन सेट आर्किटेक्चर (-march=loongarch64 किंवा -march=la464) साठी लागू केलेले समर्थन, Loongson 3 5000 प्रोसेसरमध्ये वापरले जाते आणि MIPS आणि RISC-V प्रमाणेच नवीन RISC ISA ची अंमलबजावणी करते.

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

• LLVM कोडला C++17 मानकांमध्ये परिभाषित घटक वापरण्याची परवानगी आहे.
• LLVM बांधण्यासाठी पर्यावरण आवश्यकता वाढवण्यात आल्या आहेत. बिल्ड टूल्सने आता C++17 मानकांना समर्थन दिले पाहिजे, उदा. तयार करण्यासाठी, तुम्हाला किमान GCC 7.1, Clang 5.0, Apple Clang 10.0 किंवा Visual Studio 2019 16.7 आवश्यक आहे.
• AArch64 आर्किटेक्चरसाठी बॅकएंड Cortex-A715, Cortex-X3 आणि Neoverse V2 CPUs, RME MEC (मेमरी एन्क्रिप्शन संदर्भ), Armv8.3 विस्तार (कॉम्प्लेक्स नंबर) आणि फंक्शन मल्टी व्हर्जनिंगसाठी असेंबलरसाठी समर्थन जोडते.
• ARM आर्किटेक्चरसाठी बॅकएंडमध्ये, Armv2, Armv2A, Armv3 आणि Armv3M लक्ष्य प्लॅटफॉर्मसाठी समर्थन बंद केले गेले आहे, ज्यासाठी योग्य कोड तयार करण्याची हमी दिलेली नाही. जटिल संख्यांसह कार्य करण्याच्या सूचनांसाठी कोड व्युत्पन्न करण्याची क्षमता जोडली.
• X86 आर्किटेक्चरसाठी बॅकएंडने इंस्ट्रक्शन सेट आर्किटेक्चर्स (ISAs) AMX-FP16, CMPCCXADD, AVX-IFMA, AVX-VNNI-INT8, AVX-NE-CONVERT साठी समर्थन जोडले आहे. RDMSRLIST, RMSRLIST आणि WRMSRNS सूचनांसाठी समर्थन जोडले. "-mcpu=raptorlake", "-mcpu=meteorlake", "-mcpu=emeraldrapids", "-mcpu=sierraforest", "-mcpu=graniterapids" आणि "-mcpu=grandridge" लागू केलेले पर्याय.
• LoongArch प्लॅटफॉर्मसाठी अधिकृत समर्थन जोडले.
• MIPS, PowerPC आणि RISC-V आर्किटेक्चरसाठी सुधारित बॅकएंड
• LLDB डीबगरमध्ये LoongArch आर्किटेक्चरसाठी 64-बिट एक्झिक्युटेबल डीबग करण्यासाठी समर्थन जोडले. COFF डीबग चिन्हांचे सुधारित हाताळणी. लोड केलेल्या विंडोज मॉड्यूल्सच्या सूचीमध्ये डुप्लिकेट डीएलएलचे फिल्टरिंग प्रदान केले आहे.
• Libc++ लायब्ररीमध्ये, मुख्य काम C++20 आणि C++23 मानकांच्या नवीन वैशिष्ट्यांसाठी समर्थन लागू करण्यावर केंद्रित होते.
• LDD लिंकर अॅड्रेस रिलोकेशन स्कॅनिंग आणि सेक्शन इनिशिएलायझेशन ऑपरेशन्स समांतर करून लिंकिंग वेळ लक्षणीयरीत्या कमी करतो. ZSTD अल्गोरिदम वापरून सेक्शन कॉम्प्रेशनसाठी समर्थन जोडले.

स्त्रोत: opennet.ru