GCC 10 कम्पाइलर सुइट को रिलीज

विकासको एक वर्ष पछि प्रकाशित कम्पाइलरहरूको नि: शुल्क सेटको रिलीज GCC .10.1.।, नयाँ GCC 10.x शाखामा पहिलो प्रमुख रिलीज। यस अनुसार नयाँ योजना रिलीज नम्बरहरू, संस्करण 10.0 विकास प्रक्रियामा प्रयोग गरिएको थियो, र GCC 10.1 को रिलीज हुनु केही समय अघि, GCC 11.0 शाखा पहिले नै शाखा बन्द भएको थियो, जसको आधारमा अर्को महत्त्वपूर्ण रिलीज, GCC 11.1, गठन हुनेछ।

GCC 10.1 C++ 20 मानकको लागि विकसित C++ भाषामा धेरै आविष्कारहरूको कार्यान्वयनको लागि उल्लेखनीय छ, भविष्यको C भाषा मानक (C2x) सँग सम्बन्धित सुधारहरू, कम्पाइलर ब्याकएन्डहरूमा नयाँ अप्टिमाइजेसनहरू र प्रयोगात्मक समर्थन। स्थिर विश्लेषण मोड। थप रूपमा, नयाँ शाखाको तयारीको क्रममा, परियोजनाले भण्डारलाई SVN बाट Git मा स्थानान्तरण गर्यो।

मुख्य परिवर्तन गर्नुहोस्:

• थपियो स्थिर विश्लेषण को प्रयोगात्मक मोड "- फ्यानलाइजर", जसले प्रोग्राममा कोड कार्यान्वयन मार्ग र डेटा प्रवाहहरूको संसाधन-गहन अन्तरप्रक्रियात्मक विश्लेषण गर्दछ। मोडले कम्पाइलेशन चरणमा समस्याहरू पत्ता लगाउन सक्षम छ, जस्तै एक मेमोरी क्षेत्रको लागि नि: शुल्क() प्रकार्यमा डबल कलहरू, फाइल विवरण चुहावट, डिरेफरेन्सिङ र नल पोइन्टर्सहरू पास गर्ने, मुक्त मेमोरी ब्लकहरू पहुँच गर्ने, सुरु नगरिएको मानहरू प्रयोग गर्ने, आदि। OpenSSL कोडको लागि नयाँ मोडको प्रयोगले पहिले नै पहिचान गर्न सम्भव बनाएको छ खतरनाक जोखिम.
• सुधारिएको अन्तरप्रक्रियात्मक अनुकूलन। IPA-SRA (Interprocedural Scalar Shared Replacement) पासलाई बाइन्ड टाइममा काम गर्न पुन: डिजाइन गरिएको छ र, अन्य चीजहरू बीचमा, अब गणना गरिएको र प्रयोग नगरिएका मानहरू हटाउँछ। "-O2" अप्टिमाइजेसन मोडमा, "-finline-functions" विकल्प सक्षम गरिएको छ, जसलाई कार्यान्वयन कार्यसम्पादनमा थप कम्प्याक्ट कोडको पक्षमा पुन: प्राप्त गरिएको छ। इनलाइन फंक्शन डिप्लोइमेन्टका लागि ह्युरिस्टिकको कामलाई तीव्रता दिइएको छ। इनलाइन विस्तार र प्रकार्य क्लोनिङ heuristics ले अब व्यक्तिगत रूपान्तरणको प्रभावकारिता भविष्यवाणी गर्न मूल्य दायरा बारे जानकारी प्रयोग गर्न सक्छ। C++ को लागि, प्रकार-आधारित उपनाम पार्सिङको शुद्धता सुधार गरिएको छ।
• एन्हान्स्ड लिंकिङ टाइम अप्टिमाइजेसन (LTO)। नयाँ कार्यान्वयनयोग्य थपियो lto-डम्प LTO bytecode को साथ वस्तु फाइलहरूको बारेमा जानकारी रिसेट गर्न। समानान्तर LTO पासहरूले स्वचालित रूपमा एक साथ चलिरहेको मेक कार्यहरूको संख्या निर्धारण गर्दछ र, यदि तिनीहरू निर्धारण गर्न सकिँदैन भने, समानान्तर कारकको रूपमा CPU कोरहरूको संख्याको बारेमा जानकारी प्रयोग गर्नुहोस्। Zstd एल्गोरिथ्म प्रयोग गरेर LTO bytecode कम्प्रेस गर्ने क्षमता थपियो।
• कोड प्रोफाइलिङको नतिजामा आधारित अप्टिमाइजेसन मेकानिजम (PGO - प्रोफाइल-निर्देशित अप्टिमाइजेसन) सुधारिएको छ, जसले कोड कार्यान्वयनका विशेषताहरूको विश्लेषणमा आधारित थप इष्टतम कोड उत्पन्न गर्छ। संकलन र तातो/चिसो कोड विभाजनको समयमा सुधारिएको प्रोफाइल मर्मत। विकल्प मार्फत "-प्रोफाइल-मानहरू» अब 4 प्रोफाइल मानहरू निगरानी गर्न सक्छ, उदाहरणका लागि अप्रत्यक्ष कलहरू र थप सटीक प्रोफाइल जानकारी प्रदान गर्न।
• C, C++ र Fortran भाषाहरूको लागि समानान्तर प्रोग्रामिङ विनिर्देश लागू गरियो OpenACC 2.6, जसले GPU हरू र NVIDIA PTX जस्ता विशेष प्रोसेसरहरूमा अफलोडिङ सञ्चालनका लागि उपकरणहरू परिभाषित गर्दछ। मापदण्डको कार्यान्वयन लगभग सकिएको छ ओपन एमपी 5.0.० (ओपन मल्टि-प्रोसेसिङ), जसले बहु-कोर र हाइब्रिड (CPU+GPU/DSP) प्रणालीहरूमा साझा मेमोरी र भेक्टराइजेशन एकाइहरू (SIMD) सँग समानान्तर प्रोग्रामिङ विधिहरू लागू गर्ने API र विधिहरू परिभाषित गर्दछ। थपिएका सुविधाहरू जस्तै अन्तिम निजी सर्तहरू, स्क्यान र लुप निर्देशनहरू, अर्डर र use_device_addr अभिव्यक्तिहरू। OpenMP र OpenACC को लागि, चौथो पुस्ता (फिजी) र पाँचौं पुस्ताको AMD Radeon (GCN) GPUs (VEGA 10/VEGA 20) मा अफलोडिङ सञ्चालनका लागि समर्थन थपिएको छ।
• C परिवारका भाषाहरूका लागि, सन्दर्भ वा सूचकद्वारा पास गरिएका वस्तुहरूमा प्रकार्यको पहुँच वर्णन गर्न र वस्तुहरूको साइजको बारेमा जानकारी भएको पूर्णांक तर्कहरूसँग त्यस्ता वस्तुहरूलाई सम्बद्ध गर्न "पहुँच" प्रकार्य थपिएको छ। "पहुँच" सँग संयोजनमा काम गर्न, प्रयोगकर्ता प्रकार्यहरूबाट गलत पहुँच पत्ता लगाउन "प्रकार" विशेषता लागू गरिएको छ, उदाहरणका लागि, एरेको सीमा बाहिरको क्षेत्रमा मानहरू लेख्दा। विशेष संस्करण नम्बरहरूको साथ ELF फाइलमा सम्बद्ध प्रतीकहरूको लागि "symver" विशेषता पनि थपिएको छ।
• नयाँ चेतावनी थपियो:
  • "-Wstring-compare" ("-Wextra" को साथ सक्षम) - अभिव्यक्तिहरूको उपस्थितिको बारेमा चेतावनी दिन्छ जसमा शून्यलाई strcmp र strncmp प्रकार्यहरू कल गर्ने परिणामसँग तुलना गरिन्छ, जुन लम्बाइको कारणले स्थिरसँग बराबर हुन्छ। एउटा आर्गुमेन्ट दोस्रो आर्गुमेन्टको एरेको साइज भन्दा ठूलो हुन्छ।
  • "-Wzero-length-bounds" ("-Warray-bounds" सँग सक्षम गरिएको) - शून्य लम्बाइको एरे तत्वहरू पहुँच गर्ने बारे चेतावनी दिन्छ, जसले अन्य डाटालाई अधिलेखन गर्न सक्छ।
  • "-वार-बाउन्डहरू", "-Wformat-overflow", "-Wrestrict", "-Wreturn-local-addr" र "-Wstringop-overflow" चेतावनीहरूलाई सीमा बाहिरका अवस्थाहरूको संख्या विस्तार गर्न विस्तार गरिएको छ। जसलाई व्यवस्थापन गरिन्छ।
• UCN नोटेशन (\uNNNN वा \UNNNNNNNN) को सट्टा हालको एन्कोडिङ (पूर्वनिर्धारित रूपमा UTF-8) प्रयोग गरी पहिचानकर्ताहरूमा फराकिलो वर्णहरू निर्दिष्ट गर्ने क्षमता लागू गरियो। उदाहरणका लागि:

  स्थिर const int π = 3;
  int get_naïve_pi() {
  फिर्ता π;
  }

• C भाषाको लागि, C2X मानक भित्र विकसित नयाँ सुविधाहरूको एक भाग लागू गरिएको छ (-std=c2x र -std=gnu2x निर्दिष्ट गरेर सक्षम पारिएको छ): "[[]]" सिन्ट्याक्सको लागि समर्थन विशेषताहरू परिभाषित गर्नको लागि देखा परेको छ। C++ (उदाहरणका लागि, [[gnu ::const]], [[ deprecated]], [[fallthrough]] र [[maybe_unused]]। UTF-8 वर्णहरूसँग स्थिरता परिभाषित गर्न "u8" सिन्ट्याक्सको लागि समर्थन थपियो।
  मा नयाँ म्याक्रो थपियो । strftime मा "%OB" र "%Ob" प्रतिस्थापनहरू थपियो।

• C को लागि पूर्वनिर्धारित मोड "-fno-common" हो, जसले केही प्लेटफर्महरूमा विश्वव्यापी चरहरूमा थप प्रभावकारी पहुँचको लागि अनुमति दिन्छ।
• C++ को लागि, लगभग 16 परिवर्तन र नवाचारहरू लागू गरिएको छ, C++20 मानकमा विकसित। थपिएको कुञ्जी शब्द "constinit" सहित
  र टेम्प्लेट विस्तारहरूको लागि समर्थन लागू गरिएको छ "अवधारणा"। अवधारणाहरूले तपाईंलाई टेम्प्लेट प्यारामिटर आवश्यकताहरूको सेट परिभाषित गर्न अनुमति दिन्छ जुन, कम्पाइल समयमा, टेम्प्लेट प्यारामिटरहरूको रूपमा स्वीकार गर्न सकिने तर्कहरूको सेटलाई सीमित गर्दछ। टेम्प्लेट भित्र प्रयोग गरिएका डाटा प्रकारका गुणहरू र इनपुट प्यारामिटरहरूको डाटा प्रकार गुणहरू बीच तार्किक असंगतिहरूबाट बच्न अवधारणाहरू प्रयोग गर्न सकिन्छ।

• G++ ले constexpr मार्फत स्थिर वस्तुहरू परिवर्तन गर्दा हुने अपरिभाषित व्यवहारको पहिचान प्रदान गर्दछ। constexpr गणना गर्दा कम्पाइलर द्वारा मेमोरी खपत घट्यो। नयाँ चेतावनी "-Wmismatched-tags" र "-Wredundant-tags" थपियो।
• नयाँ आदेश लाइन विकल्पहरू प्रस्ताव गरिएको छ:
  • "-fallocation-dce" "नयाँ" र "मेटाउने" अपरेटरहरूको अनावश्यक जोडी हटाउन।
  • "-fprofile-partial-training" कोडको लागि साइज अप्टिमाइजेसन असक्षम गर्न जसमा प्रशिक्षण चल्दैन।
  • "-प्रोफाइल प्रजनन क्षमताको स्तर नियन्त्रण गर्न fprofile-reproducible।
  • "-fprofile-prefix-path" अलग प्रोफाइल उत्पादनको लागि प्रयोग गरिएको आधार स्रोत निर्माण निर्देशिका परिभाषित गर्न ("-fprofile-generate=profile_dir" र "-fprofile-use=profile_dir" को लागि)।
• उल्लेख गरिएका विकल्पहरूको लागि चेतावनी पाठमा, हाइपरलिङ्कहरू प्रदान गरिन्छ जसले तपाईंलाई यी विकल्पहरूको लागि कागजातहरूमा जान अनुमति दिन्छ। URL प्रतिस्थापन "-fdiagnostics-urls" विकल्प प्रयोग गरेर नियन्त्रण गरिन्छ।
• प्रिप्रोसेसर अपरेटर थपियो "__has_builtin", जुन बिल्ट-इन प्रकार्यहरू जाँच गर्न प्रयोग गर्न सकिन्छ।
• ISO/IEC TS 18661 स्पेसिफिकेशनमा परिभाषित राउन्डिङ प्रकार्यको कार्यान्वयनको साथ एउटा नयाँ बिल्ट-इन प्रकार्य "__builtin_roundeven" थपियो, "राउन्ड" जस्तै, तर ०.५ भन्दा कम माथि (ठूलो मानमा) राउन्डिङ भाग ०.५ भन्दा कम। - तल (शून्यमा), र ०.५ बराबर - उपान्त्य अंकको समानताबाट सुरु हुँदै।
• AArch64 आर्किटेक्चरको लागि, SVE2 विस्तारको लागि समर्थन थपिएको छ र SVE (स्केलेबल भेक्टर एक्सटेन्सन) को लागि समर्थन सुधार गरिएको छ, निर्मित SVE ACLE प्रकार्यहरू र प्रकारहरू, र भेक्टराइजेशनको प्रयोगको लागि थप समर्थन सहित। LSE (ठूलो प्रणाली विस्तार) र TME (ट्रान्जेक्शनल मेमोरी एक्सटेन्सन) को लागि समर्थन विस्तार गरिएको छ। Armv8.5-A र Armv8.6-A मा प्रस्तावित नयाँ निर्देशनहरू थपियो, अनियमित संख्या उत्पादन, राउन्डिङ, मेमोरी ट्याग बाइन्डिङका लागि निर्देशनहरू सहित,
  bfloat16 र म्याट्रिक्स गुणन। प्रोसेसर समर्थन थपियो
  आर्म कोर्टेक्स-ए७७,
  आर्म कोर्टेक्स-A76AE,
  आर्म कोर्टेक्स-ए७७,
  आर्म कोर्टेक्स-A65AE,
  आर्म कोर्टेक्स-A34 र
  Marvell ThunderX3।

• ARM32 को लागि ABI FDPIC (64-bit प्रकार्य सूचकहरू) को लागि समर्थन थपियो। 64-बिट पूर्णांक कार्यहरूको पुन: डिजाइन र अनुकूलित प्रशोधन। CPU समर्थन थपियो
  आर्म कोर्टेक्स-ए७७,
  आर्म कोर्टेक्स-A76AE र
  आर्म कोर्टेक्स-M35P। ACLE डाटा प्रोसेसिङ निर्देशनहरूको लागि विस्तारित समर्थन, 32-bit SIMD, 16-bit गुणन, latch अंकगणित, र अन्य DSP एल्गोरिथ्म अप्टिमाइजेसनहरू सहित। ACLE CDE (कस्टम डाटापाथ एक्सटेन्सन) निर्देशनहरूको लागि प्रयोगात्मक समर्थन थपियो।

• GCN माइक्रोआर्किटेक्चरमा आधारित AMD GPU हरूका लागि ब्याकइन्डमा उल्लेखनीय रूपमा सुधारिएको कोड उत्पादन र भेक्टराइजेशन।
• AVR आर्किटेक्चरको लागि XMEGA-जस्तो उपकरणहरूको लागि समर्थन थपियो
  ATtiny202, ATtiny204, ATtiny402, ATtiny404, ATtiny406, ATtiny804, ATtiny806, ATtiny807, ATtiny1604, ATtiny1606, ATtiny1607, ATtiny808, ATtiny809, ATmega1608, ATmega1609,ATmega3208,ATmega3209 4808, ATmega4809, ATmegaXNUMX XNUMX, ATmegaXNUMX र ATmegaXNUMX।

• IA-32/x86-64 आर्किटेक्चरहरूको लागि नयाँ Intel ENQCMD निर्देशन सेट आर्किटेक्चर विस्तार (-menqcmd) थपिएको छ। Intel Cooperlake (-march=cooperlake, AVX512BF16 ISA एक्स्टेन्सन समावेश गर्दछ) र Tigerlake (-march=tigerlake, MOVDIRI, MOVDIR64B र AVX512VP2INTERSECT ISA विस्तारहरू समावेश गर्दछ) CPU हरूका लागि समर्थन थपियो।
• HSA वास्तुकलामा आधारित विषम कम्प्युटिङ प्रणालीहरूको लागि HSAIL (Heterogeneous System Architecture Intermediate Language) को कार्यान्वयन हटाइएको छ र सम्भवतः भविष्यको रिलीजमा हटाइनेछ।

स्रोत: opennet.ru