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

छ महिनाको विकास पछि, LLVM २२.१.० जारी गरिएको छ। यसले उपकरणहरू (कम्पाइलरहरू, अप्टिमाइजरहरू, र कोड जेनरेटरहरू) विकास गर्दछ जसले कार्यक्रमहरूलाई RISC-जस्तो भर्चुअल निर्देशनहरूको मध्यवर्ती बिटकोडमा कम्पाइल गर्दछ (बहु-स्तरीय अप्टिमाइजेसन प्रणाली भएको कम-स्तरीय भर्चुअल मेसिन)। उत्पन्न गरिएको स्यूडोकोडलाई दिइएको लक्ष्य प्लेटफर्मको लागि मेसिन कोडमा रूपान्तरण गर्न सकिन्छ वा कार्यक्रम कार्यान्वयनको क्रममा सिधै मेसिन निर्देशनहरू उत्पन्न गर्न जस्ट-इन-टाइम (JIT) कम्पाइलरद्वारा प्रयोग गर्न सकिन्छ। LLVM प्रविधिहरूमा आधारित, परियोजनाले C, C++, र Objective-C प्रोग्रामिङ भाषाहरूलाई समर्थन गर्दै Clang कम्पाइलर विकास गरिरहेको छ। १८.x शाखाबाट सुरु गर्दै, परियोजनाले नयाँ संस्करण नम्बरिङ योजनामा ​​स्विच गर्यो, जस अनुसार रिलीज ० ("N.0") विकासको क्रममा प्रयोग गरिन्छ, र पहिलो स्थिर संस्करणलाई "N.1" नम्बर गरिएको छ।

Clang 22 मा सुधारहरू समावेश छन्:

• मेमोरी एलोकेशन टोकनहरू (एलोकेशन टोकनहरू) को लागि समर्थन थपियो जसले अद्वितीय पहिचानकर्ताको साथ malloc जस्ता प्रकार्यहरू प्रयोग गरेर गरिएको मेमोरी एलोकेशन अपरेशनहरू चिन्ह लगाउँछ। एलोकेशन टोकनहरूले हिप जानकारी संरचना गर्न, मेमोरी चुहावट पत्ता लगाउन सरल बनाउन, र तिनीहरूको उद्देश्य वा परिमार्जन ढाँचाहरूमा आधारित वस्तुहरूको समूहीकरण सक्षम पार्न अनुमति दिन्छ (जस्तै, "तातो" लाई "चिसो" डेटाबाट अलग गर्ने)। सक्षम गर्न, "-fsanitize=alloc-token" झण्डा प्रयोग गर्नुहोस्।
• C भाषासँग सम्बन्धित विशेषताहरू:
  • "डिफर" डिफर कार्यान्वयन संयन्त्र परिभाषित गर्ने मस्यौदा विशिष्टीकरण लागू गरिएको छ, जसले हालको स्कोप बाहिर निस्कँदा कार्यहरू कार्यान्वयन गर्न अनुमति दिन्छ। "डिफर" समर्थन सक्षम गर्न "-fdefer-ts" झण्डा थपिएको छ।
  • GCC मा समान प्रकार्यलाई प्रतिबिम्बित गर्दै, बिल्ट-इन प्रकार्य __builtin_stack_address() थपिएको छ। यो प्रकार्यले __builtin_stack_address() भनिने हालको प्रकार्यको स्ट्याक क्षेत्र र यसले कल गर्ने पछिल्ला प्रकार्यहरूलाई छुट्याउने स्ट्याक ठेगाना फर्काउँछ।
• भविष्यको C2y मानकको लागि विकास भइरहेका क्षमताहरू:
  • नाम दिइएको लूपहरूको लागि समर्थन थपियो, जसले तपाईंलाई लूपहरूमा नाम तोक्न र स्टेटमेन्टहरू स्विच गर्न अनुमति दिन्छ, जुन ब्रेक र कन्टिन्यु स्टेटमेन्टहरूमा निर्दिष्ट गर्न सकिन्छ जसले गर्दा बाहिर निस्कने लूप स्पष्ट रूपमा परिभाषित गर्न सकिन्छ। outer: 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++२० मानकको आवश्यकता अनुसार, अब जाँच गर्नु अघि अवरोधहरूलाई मानक रूपमा रूपान्तरण गरिन्छ, जसले गर्दा थप सटीक निदान सन्देशहरू र अवधारणा-आईडीहरूमा मात्र प्रयोग हुने टेम्प्लेट तर्कहरूमा प्रतिस्थापन त्रुटिहरूको उचित ह्यान्डलिङको लागि अनुमति मिल्छ।
  • तुलनात्मक अपरेटरहरू "<", ">", "<=", र ">=" "<=>" अपरेटरबाट संश्लेषित गरिएको छ कि छैन भनेर पत्ता लगाउन "__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 एक्सटेन्सनहरूको लागि थप आन्तरिक कुराहरू थपिएका छन्। Wildcat Lake (-march=wildcatlake) र Nova Lake (-march=novalake) माइक्रोआर्किटेक्चरहरूमा आधारित Intel CPU हरूको लागि निर्माण मोडहरू थपिएका छन्।
• AArch64 ब्याकएन्डले अब एम्पीयर कम्प्युटिङ एम्पीयर१सी (एम्पीयर१सी), आर्म सी१-नानो (सी१-नानो), आर्म सी१-प्रो (सी१-प्रो), आर्म सी१-प्रिमियम (सी१-प्रिमियम), र आर्म सी१-अल्ट्रा (सी१-अल्ट्रा) प्रोसेसरहरूलाई समर्थन गर्दछ। FCVTZ[US], FCVTN[US], FCVTM[US], FCVTP[US], र FCVTA[US] निर्देशनहरूको लागि थप निर्मित प्रकार्यहरू थपिएका छन्। फंक्शन मल्टि-भर्सनिङ (FMV) समर्थन स्थिर गरिएको छ। प्रयोगकर्ताहरूले अब विभिन्न प्रकार्य संस्करणहरूको प्राथमिकतालाई ओभरराइड गर्न सक्छन्।
• LoongArch32 (LA32R, LA32S) वास्तुकलाको लागि समर्थन थपियो।
• ARM, AMDGPU, RISC-V, LoongArch64, MIPS, WebAssembly, र PowerPC आर्किटेक्चरहरूको लागि सुधारिएको ब्याकएन्डहरू।

स्रोत: opennet.ru