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

सहा महिन्यांच्या विकासानंतर, LLVM 22.1.0 रिलीज झाले आहे. ते साधने (कंपाइलर, ऑप्टिमायझर्स आणि कोड जनरेटर) विकसित करते जे प्रोग्राम्सना RISC सारख्या व्हर्च्युअल सूचनांच्या इंटरमीडिएट बिटकोडमध्ये संकलित करतात (मल्टी-लेव्हल ऑप्टिमायझेशन सिस्टमसह एक निम्न-स्तरीय व्हर्च्युअल मशीन). जनरेट केलेला स्यूडोकोड दिलेल्या लक्ष्य प्लॅटफॉर्मसाठी मशीन कोडमध्ये रूपांतरित केला जाऊ शकतो किंवा प्रोग्राम अंमलबजावणी दरम्यान थेट मशीन सूचना निर्माण करण्यासाठी जस्ट-इन-टाइम (JIT) कंपायलरद्वारे वापरला जाऊ शकतो. LLVM तंत्रज्ञानावर आधारित, प्रकल्प C, C++ आणि ऑब्जेक्टिव्ह-C प्रोग्रामिंग भाषांना समर्थन देणारा क्लॅंग कंपायलर विकसित करत आहे. 18.x शाखेपासून सुरुवात करून, प्रकल्प नवीन आवृत्ती क्रमांकन योजनेवर स्विच केला, ज्यानुसार रिलीज 0 ("N.0") विकासादरम्यान वापरला जातो आणि पहिल्या स्थिर आवृत्तीला "N.1" क्रमांक दिले जाते.

क्लँग 22 मधील सुधारणांमध्ये हे समाविष्ट आहे:

• मेमरी अ‍ॅलोकेशन टोकन (अ‍ॅलोकेशन टोकन) साठी अतिरिक्त समर्थन, जे युनिक आयडेंटिफायरसह malloc सारख्या फंक्शन्स वापरून केलेल्या मेमरी अ‍ॅलोकेशन ऑपरेशन्सना चिन्हांकित करते. अ‍ॅलोकेशन टोकन हीप माहितीची रचना करण्यास, मेमरी लीक शोधण्यास सुलभ करण्यास आणि त्यांच्या उद्देश किंवा सुधारणा नमुन्यांवर आधारित ऑब्जेक्ट्सचे गटबद्ध करण्यास सक्षम करण्यास अनुमती देतात (उदा., "हॉट" ला "कोल्ड" डेटापासून वेगळे करणे). सक्षम करण्यासाठी, "-fsanitize=alloc-token" ध्वज वापरा.
• सी भाषेशी संबंधित वैशिष्ट्ये:
  • "defer" defered execution mechanism परिभाषित करणारा एक मसुदा स्पेसिफिकेशन अंमलात आणला गेला आहे, जो वर्तमान स्कोप बाहेर पडल्यावर कृती अंमलात आणण्याची परवानगी देतो. "defer" सपोर्ट सक्षम करण्यासाठी "-fdefer-ts" फ्लॅग जोडण्यात आला आहे.
  • बिल्ट-इन फंक्शन __builtin_stack_address() जोडण्यात आले आहे, जे GCC मधील समान फंक्शनचे प्रतिबिंब आहे. हे फंक्शन __builtin_stack_address() नावाच्या सध्याच्या फंक्शनच्या स्टॅक एरियाला आणि त्यानंतरच्या फंक्शन्सना वेगळे करणारा स्टॅक अॅड्रेस परत करते.
• भविष्यातील C2y मानकासाठी विकसित केल्या जाणाऱ्या क्षमता:
  • नामांकित लूपसाठी अतिरिक्त समर्थन, जे तुम्हाला लूपना नावे नियुक्त करण्यास आणि स्टेटमेंट स्विच करण्यास अनुमती देते, जे ब्रेक आणि कंटिन्यू स्टेटमेंटमध्ये निर्दिष्ट केले जाऊ शकते ज्यामुळे बाहेर पडण्यासाठी लूप स्पष्टपणे परिभाषित केला जाऊ शकतो. बाह्य: for (int i = 0; i < IK; ++ i) { for (int j = 0; j < JK; ++ j) { continue; // go to CONT1 continue outer; // go to CONT2 // CONT1 } // CONT2 }
  • युनिक आयडेंटिफायर नावे जनरेट करण्यासाठी डिझाइन केलेल्या बिल्ट-इन "__COUNTER__" मॅक्रोची अंमलबजावणी वाढवली गेली आहे आणि मानकात समाविष्ट केली गेली आहे. या मॅक्रोवर २१४७४८३६४७ कॉलची मर्यादा सेट केली गेली आहे; ही मर्यादा ओलांडल्याने त्रुटी निर्माण होईल.
  • "बाह्य इनलाइन" म्हणून घोषित केलेल्या फंक्शन्समधील स्टॅटिक फंक्शन्स किंवा व्हेरिअबल्स वापरताना चेतावणी (-Wstatic-in-inline) काढून टाकली.
• C23 C मानकामध्ये परिभाषित केलेल्या क्षमता:
  • float.h हेडर फाइल आता FLT_SNAN, DBL_SNAN आणि LDBL_SNAN मॅक्रोना सपोर्ट करते, जे फ्लोट, डबल आणि लॉन्ग डबल प्रकारांसाठी सिग्नल केलेले (अंकगणितीय ऑपरेशन्समध्ये वापरल्यास अपवाद निर्माण करते) NaN मूल्ये लागू करतात.
  • जर समान फील्ड असतील तर वेगवेगळ्या अनामित प्रकारांना एकाच भाषांतर युनिटमध्ये सुसंगत मानले जात असे अशा बगचे निराकरण केले.
  • अवलंबित्व स्कॅनिंग दरम्यान गहाळ हेडर फाइल्स दुर्लक्षित करण्यासाठी वापरला जाणारा "-MG" ध्वज "#embed" निर्देशांपर्यंत वाढवला गेला आहे आणि आता "#embed" निर्देशात निर्दिष्ट केलेली फाइल गहाळ झाल्यास "फाइल सापडली नाही" त्रुटी दाबते.
• C++ संबंधित वैशिष्ट्ये:
  • C++2c (C++26) स्पेसिफिकेशनमध्ये विकसित केल्याप्रमाणे, "constexpr" संदर्भात स्ट्रक्चर्ड बाइंडिंग्ज वापरण्याची क्षमता जोडण्यात आली आहे. याचा अर्थ असा की स्थिर अभिव्यक्तींचे संदर्भ आता स्वतः स्थिर अभिव्यक्ती असू शकतात. अ‍ॅरे आणि साध्या रचनांसाठी समर्थन लागू केले आहे (टपल्स अद्याप समर्थित नाहीत). constexpr int arr[] = {1, 2}; constexpr auto [x, y] = arr;
  • C++20 मानकानुसार आवश्यकतेनुसार, आता तपासण्यापूर्वी मर्यादा मानक स्वरूपात रूपांतरित केल्या जातात, ज्यामुळे अधिक अचूक निदान संदेश आणि केवळ संकल्पना-आयडीमध्ये वापरल्या जाणाऱ्या टेम्पलेट वितर्कांमध्ये प्रतिस्थापन त्रुटींचे योग्य हाताळणी करण्यास अनुमती मिळते.
  • "<", ">", "<=", आणि ">=" हे तुलनात्मक ऑपरेटर "<=>" ऑपरेटरमधून संश्लेषित केले गेले आहेत की नाही हे शोधण्यासाठी "__builtin_[lt|gt|le|ge]_synthesizes_from_spaceship" या बिल्ट-इन फंक्शन्सची एक फॅमिली जोडली.
  • "-Wincompatible-pointer-types" पॅरामीटर चेतावणीऐवजी त्रुटी आउटपुट करण्यासाठी बदलण्यात आला आहे. मागील वर्तनाकडे परत जाण्यासाठी, "-Wno-error=incompatible-pointer-types" पर्याय वापरा.
• __builtin_bswapg, __builtin_elementwise_ldexp, __builtin_elementwise_fshl, __builtin_elementwise_fshr, __builtin_elementwise_minnumnum, __builtin_elementwise_maxnumnum, __builtin_masked_load, __builtin_masked_expand_load, __builtin_masked_store, __builtin_masked_compress_store, __builtin_masked_gather, __builtin_masked_scatter, आणि __builtin_dedup_pack सारख्या बिल्ट-इन फंक्शन्स जोडल्या. उदाहरणार्थ, builtin_dedup_pack तुम्हाला प्रकारांच्या सूचीमधून डुप्लिकेट काढण्याची परवानगी देतो: MyTypeList = TypeList<__builtin_dedup_pack वापरून …>; // परिणामी प्रकार टाइपलिस्ट असेल
• UBSan (-fsanitize=undefined -fsanitize-trap=undefined) वापरून अपरिभाषित वर्तन डीबग करताना, त्रुटी कारण माहिती आता जनरेट केलेल्या डीबग माहितीमध्ये समाविष्ट केली जाते. त्रुटी माहितीमधील तपशीलाची पातळी निर्दिष्ट करण्यासाठी "-fsanitize-debug-trap-reasons" ध्वज जोडला गेला आहे. सामान्य वर्णनांसाठी ते "मूलभूत" वर सेट केले जाऊ शकते (उदा., "पूर्णांक बेरीज ओव्हरफ्लो झाली") आणि तपशीलवार माहिती समाविष्ट करण्यासाठी "तपशीलवार" वर सेट केले जाऊ शकते (उदा., "'a + b' मध्ये स्वाक्षरी केलेले पूर्णांक बेरीज ओव्हरफ्लो झाली").
• नवीन कंपाइलर ध्वज जोडले:
  • "-f[no-]sanitize-debug-trap-reasons" "-fsanitize-trap" मोडसह संकलित करताना अपवाद ट्रॅप कारणे डीबग माहितीमध्ये एम्बेड केली आहेत की नाही हे नियंत्रित करण्यासाठी.
  • मेमरी अ‍ॅलोकेशन टोकन व्यवस्थापित करण्यासाठी "-fsanitize=alloc-token", "-falloc-token-max", "-fsanitize-alloc-token-fast-abi", आणि "-fsanitize-alloc-token-extended".
  • "-fmatrix-memory-layout" मॅट्रिक्स प्रकारांच्या मेमरी लेआउट नियंत्रित करण्यासाठी (उदा. कॉलम-मेजरसाठी कॉलम-मेजर, रो-मेजरसाठी रो-मेजर).
• फंक्शन्समध्ये आता "malloc_span" अॅट्रिब्यूट आहे, जो malloc अॅट्रिब्यूट सारखाच आहे परंतु अशा फंक्शन्सना लागू होतो जे पॉइंटर आणि फील्ड असलेल्या स्पॅन सारख्या स्ट्रक्चर्स परत करतात ज्यामध्ये आकार किंवा पॉइंटर ब्लॉकच्या शेवटी असतो.
• लिंक वेळेवर printf फंक्शनची आवश्यक स्टॅटिकली लिंक्ड अंमलबजावणी डायनॅमिकली निवडण्यासाठी "modular_format" विशेषता जोडली.
• निदान आणि स्थिर विश्लेषण साधने वाढवली गेली आहेत, नवीन तपासणी जोडली गेली आहेत (निदान-संबंधित अनेक डझन सुधारणा).
• X86 बॅकएंडमध्ये SSE, AVX आणि AVX512 एक्सटेंशनसाठी अतिरिक्त इंट्रिनिक्स जोडले गेले आहेत. वाइल्डकॅट लेक (-मार्च=वाइल्डकॅटलेक) आणि नोव्हा लेक (-मार्च=नोव्हालेक) मायक्रोआर्किटेक्चरवर आधारित इंटेल CPU साठी बिल्ड मोड जोडले गेले आहेत.
• AArch64 बॅकएंड आता अँपिअर कॉम्प्युटिंग अँपिअर1C (अँपिअर1c), आर्म C1-नॅनो (c1-नॅनो), आर्म C1-प्रो (c1-प्रो), आर्म C1-प्रीमियम (c1-प्रीमियम) आणि आर्म C1-अल्ट्रा (c1-अल्ट्रा) प्रोसेसरना सपोर्ट करते. FCVTZ[US], FCVTN[US], FCVTM[US], FCVTP[US] आणि FCVTA[US] सूचनांसाठी अतिरिक्त बिल्ट-इन फंक्शन्स जोडले गेले आहेत. फंक्शन मल्टी-व्हर्जनिंग (FMV) सपोर्ट स्थिर करण्यात आला आहे. वापरकर्ते आता वेगवेगळ्या फंक्शन आवृत्त्यांच्या प्राधान्याला ओव्हरराइड करू शकतात.
• LoongArch32 (LA32R, LA32S) आर्किटेक्चरसाठी समर्थन जोडले.
• ARM, AMDGPU, RISC-V, LoongArch64, MIPS, WebAssembly आणि PowerPC आर्किटेक्चरसाठी सुधारित बॅकएंड.

स्त्रोत: opennet.ru