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

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

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

• x86 आर्किटेक्चरवर आधारित प्रणालींसाठी, “-fzero-call-used-regs” ध्वज जोडला गेला आहे, जे फंक्शनमधून नियंत्रण परत करण्यापूर्वी फंक्शनमध्ये वापरलेले सर्व CPU रजिस्टर्स शून्यावर रीसेट केले आहेत याची खात्री करते. हा पर्याय तुम्हाला फंक्शन्समधून माहिती गळतीपासून संरक्षण करण्यास आणि शोषणांमध्ये ROP (रिटर्न-ओरिएंटेड प्रोग्रामिंग) गॅझेट तयार करण्यासाठी योग्य ब्लॉक्सची संख्या सुमारे 20% कमी करण्यास अनुमती देतो.
• सी कोडसाठी स्ट्रक्चर्सच्या मेमरी प्लेसमेंटचे यादृच्छिकीकरण लागू केले गेले आहे, जे असुरक्षिततेचे शोषण झाल्यास स्ट्रक्चर्समधून डेटा काढणे गुंतागुंतीचे करते. Randomize_layout आणि no_randomize_layout विशेषता वापरून यादृच्छिकीकरण चालू आणि बंद केले जाते आणि "-frandomize-layout-seed" किंवा "-frandomize-layout-seed-file" ध्वज वापरून सीड सेट करणे आवश्यक आहे.
• जोडले "-fstrict-flex-arrays=" ध्वज ", ज्याद्वारे तुम्ही स्ट्रक्चर्समधील लवचिक अॅरे घटकासाठी सीमा नियंत्रित करू शकता (लवचिक अॅरे सदस्य, संरचनेच्या शेवटी अनिश्चित आकाराचा अॅरे). 0 (डीफॉल्ट) वर सेट केल्यावर, अॅरेसह संरचनेचा शेवटचा घटक नेहमी लवचिक अॅरे म्हणून प्रक्रिया केला जातो, 1 - फक्त आकार [], [0] आणि [1] एक लवचिक अॅरे म्हणून प्रक्रिया केली जाते, 2 - फक्त आकार लवचिक अॅरेप्रमाणे [] आणि [0] प्रक्रिया केली जाते.
• डायरेक्टएक्समध्ये शेडर्स लिहिण्यासाठी वापरल्या जाणार्‍या HLSL (हाय-लेव्हल शेडर लँग्वेज) सारख्या भाषेसाठी प्रायोगिक समर्थन जोडले.
• निश्चित- आणि व्हेरिएबल-लांबीच्या अॅरेशी संबंधित विसंगत युक्तिवाद घोषणांसह ओव्हरराइडिंग फंक्शन्सबद्दल चेतावणी देण्यासाठी "-वारे-पॅरामीटर" जोडले.
• MSVC सह सुधारित सुसंगतता. MSVC मध्ये प्रदान केलेल्या "#pragma फंक्शन" (कंपाइलरला इनलाइन विस्ताराऐवजी फंक्शन कॉल व्युत्पन्न करण्याची सूचना देते) आणि "#pragma alloc_text" (फंक्शन कोडसह विभागाचे नाव परिभाषित करते) साठी जोडलेले समर्थन. MSVC-सुसंगत /JMC आणि /JMC ध्वजांसाठी समर्थन जोडले.
• भविष्यातील C2X आणि C++ 23 मानकांना समर्थन देण्यासाठी कार्य सुरू आहे. C भाषेसाठी, खालील गोष्टी लागू केल्या आहेत: noreturn विशेषता, खोटे आणि खरे कीवर्ड, दिलेल्या बिट डेप्थच्या पूर्णांकांसाठी _BitInt(N) प्रकार, *_WIDTH मॅक्रो, UTF-8 एन्कोड केलेल्या वर्णांसाठी u8 उपसर्ग.

  C++ साठी, खालील गोष्टी लागू केल्या आहेत: मॉड्यूल विलीनीकरण, फंक्शन सदस्यांचे ABI अलगाव, मॉड्यूल्समधील नॉन-लोकल व्हेरिएबल्सचे ऑर्डर केलेले डायनॅमिक इनिशियलायझेशन, मल्टीडायमेंशनल इंडेक्स ऑपरेटर, ऑटो(x), नॉन-लिटरल व्हेरिएबल्स, गोटो आणि कॉन्स्टेक्स्पर म्हणून घोषित फंक्शन्समधील लेबल्स , डिलिमिटेड एस्केप सीक्वेन्स, नाव दिलेले एस्केप कॅरेक्टर.

• OpenCL आणि OpenMP सपोर्टशी संबंधित क्षमतांचा विस्तार करण्यात आला आहे. OpenCL विस्तार cl_khr_subgroup_rotate साठी समर्थन जोडले.
• x86 आर्किटेक्चरसाठी, बिनशर्त फॉरवर्ड जंप ऑपरेशन्सनंतर सूचनांच्या सट्टा अंमलबजावणीमुळे प्रोसेसरमधील भेद्यतेपासून संरक्षण जोडले गेले आहे. मेमरीमधील शाखा सूचना (एसएलएस, स्ट्रेट लाइन स्पेक्युलेशन) नंतर ताबडतोब सूचनांच्या प्री-एम्प्टिव्ह प्रक्रियेमुळे समस्या उद्भवते. संरक्षण सक्षम करण्यासाठी, “-mharden-sls=[none|all|return|indirect-jmp]” हा पर्याय प्रस्तावित आहे.
• SSE2 विस्ताराला समर्थन देणाऱ्या प्लॅटफॉर्मसाठी, _Float16 प्रकार जोडला गेला आहे, जो AVX512-FP16 सूचनांसाठी समर्थन नसताना फ्लोट प्रकार वापरून अनुकरण केला जातो.
• RDPRU सूचनांचा वापर नियंत्रित करण्यासाठी "-m[no-]rdpru" ध्वज जोडला, AMD Zen2 प्रोसेसरपासून सुरू होणारा सपोर्ट.
• RETBLEED असुरक्षिततेपासून संरक्षण करण्यासाठी "-mfunction-return=thunk-extern" ध्वज जोडला, जो अप्रत्यक्ष शाखांसाठी सट्टा अंमलबजावणी यंत्रणेचा सहभाग वगळून निर्देशांचा क्रम जोडून कार्य करतो.

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

• Cortex-M85 CPU, Armv9-A, Armv9.1-A आणि Armv9.2-A आर्किटेक्चर्स, Armv8.1-M PACBTI-M विस्तारांसाठी समर्थन जोडले.
• DirectX साठी प्रायोगिक बॅकएंड जोडला गेला आहे जो DirectX शेडर्ससाठी वापरल्या जाणार्‍या DXIL (डायरेक्टएक्स इंटरमीडिएट लँग्वेज) फॉरमॅटला सपोर्ट करतो. असेंबली दरम्यान “-DLLVM_EXPERIMENTAL_TARGETS_TO_BUILD=DirectX” पॅरामीटर निर्दिष्ट करून बॅकएंड सक्षम केला जातो.
• Libc++ ने C++20 आणि C++2b मानकांची नवीन वैशिष्ट्ये लागू करणे सुरू ठेवले आहे, ज्यात “स्वरूप” लायब्ररीची अंमलबजावणी पूर्ण करणे आणि “श्रेणी” लायब्ररीची प्रस्तावित प्रायोगिक आवृत्ती समाविष्ट आहे.
• x86, PowerPC आणि RISC-V आर्किटेक्चरसाठी सुधारित बॅकएंड.
• LLD लिंकर आणि LLDB डीबगरच्या क्षमता वाढवल्या गेल्या आहेत.

स्त्रोत: opennet.ru