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

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

LLVM 9.0 च्या नवीन वैशिष्ट्यांमध्ये लक्ष्य RISC-V प्लॅटफॉर्मवरून प्रायोगिक डिझाइन टॅग काढून टाकणे, OpenCL साठी C++ समर्थन, LLD मधील डायनॅमिकली लोड केलेल्या भागांमध्ये प्रोग्राम विभाजित करण्याची क्षमता आणि “ची अंमलबजावणी करणे समाविष्ट आहे.asm goto", Linux कर्नल कोडमध्ये वापरले जाते. libc++ ने WASI (WebAssembly System Interface) साठी समर्थन जोडले, आणि LLD ने WebAssembly डायनॅमिक लिंकिंगसाठी प्रारंभिक समर्थन जोडले.

सुधारणा क्लॅंग 9.0 मध्ये:

• जोडले GCC-विशिष्ट अभिव्यक्तीची अंमलबजावणी "asm goto“, जे तुम्हाला असेंबलर इनलाइन ब्लॉकमधून C कोडमधील लेबलवर जाण्याची परवानगी देते. x86_64 आर्किटेक्चरसह सिस्टम्सवर क्लॅंग वापरून लिनक्स कर्नल “CONFIG_JUMP_LABEL=y” मोडमध्ये तयार करण्यासाठी हे वैशिष्ट्य आवश्यक आहे. मागील प्रकाशनांमध्ये जोडलेले बदल लक्षात घेऊन, लिनक्स कर्नल आता x86_64 आर्किटेक्चरसाठी क्लॅंगमध्ये तयार केले जाऊ शकते (पूर्वी केवळ आर्म, aarch64, ppc32, ppc64le आणि mips आर्किटेक्चरसाठी बांधले जात होते). शिवाय, Android आणि ChromeOS प्रकल्प आधीच कर्नल बिल्डिंगसाठी क्लॅंग वापरण्यासाठी रूपांतरित केले गेले आहेत आणि Google त्याच्या उत्पादन लिनक्स सिस्टमसाठी कर्नल तयार करण्यासाठी मुख्य व्यासपीठ म्हणून क्लॅंगची चाचणी करत आहे. भविष्यात, इतर LLVM घटक कर्नल बिल्ड प्रक्रियेत वापरले जाऊ शकतात, ज्यात LLD, llvm-objcopy, llvm-ar, llvm-nm, आणि llvm-objdump;
• OpenCL मध्ये C++17 वापरण्यासाठी प्रायोगिक समर्थन जोडले. विशिष्ट वैशिष्ट्यांमध्ये अॅड्रेस स्पेस विशेषतांसाठी समर्थन, टाइप कास्टिंग ऑपरेटरद्वारे अॅड्रेस स्पेस रूपांतरण अवरोधित करणे, C साठी OpenCL प्रमाणे वेक्टर प्रकारांची तरतूद, प्रतिमा, कार्यक्रम, चॅनेल इत्यादींसाठी विशिष्ट OpenCL प्रकारांची उपस्थिती समाविष्ट आहे.
• फ्रंटएंड (विश्लेषण, आरंभीकरण) आणि बॅकएंड (ऑप्टिमायझेशन टप्पे) च्या विविध टप्प्यांच्या अंमलबजावणीच्या वेळेवर अहवाल तयार करण्यासाठी नवीन कंपाइलर फ्लॅग "-ftime-trace" आणि "-ftime-trace-granularity=N" जोडले आहेत. अहवाल json फॉरमॅटमध्ये सेव्ह केला आहे, chrome://tracing आणि speedscope.app सह सुसंगत आहे;
• “__declspec(अलोकेटर)” स्पेसिफायरची जोडलेली प्रक्रिया आणि सोबतच्या डीबगिंग माहितीची निर्मिती जी तुम्हाला व्हिज्युअल स्टुडिओ वातावरणात मेमरी वापराचे निरीक्षण करण्यास अनुमती देते;
• C भाषेसाठी, “__FILE_NAME__” मॅक्रोसाठी समर्थन जोडले गेले आहे, जे “__FILE__” मॅक्रोसारखे दिसते, परंतु पूर्ण मार्गाशिवाय फक्त फाइल नाव समाविष्ट करते;
• C++ ने पॅरामीटर आणि आर्ग्युमेंट पॅटर्न, संदर्भ प्रकार, रिटर्न टाईप इन्फरन्स, ऑब्जेक्ट्स, ऑटो-जनरेट फंक्शन्स, बिल्ट-इन ऑपरेटर आणि बरेच काही यासह विविध C++ वैशिष्ट्यांचा समावेश करण्यासाठी अॅड्रेस स्पेस विशेषतांसाठी विस्तारित समर्थन केले आहे.
• OpenCL, OpenMP आणि CUDA च्या समर्थनाशी संबंधित क्षमतांचा विस्तार करण्यात आला आहे. यामध्ये अंतर्निहित OpenCL फंक्शन्सच्या अंतर्निहित समावेशासाठी प्रारंभिक समर्थन समाविष्ट आहे (“-fdeclare-opencl-builtins” ध्वज जोडला गेला आहे), cl_arm_integer_dot_product विस्तार लागू केला गेला आहे, आणि निदान साधने विस्तारित केली गेली आहेत;
• स्थिर विश्लेषकाचे कार्य सुधारले गेले आहे आणि स्थिर विश्लेषण करण्यासाठी दस्तऐवजीकरण जोडले गेले आहे. उपलब्ध चेकर मॉड्यूल आणि समर्थित पर्याय प्रदर्शित करण्यासाठी ध्वज जोडले (“-विश्लेषक-चेकर[-option]-मदत”, “-विश्लेषक-चेकर[-option]-help-alpha” आणि “-analyzer-checker[-option]-help "-विकासक"). चेतावणींना त्रुटी मानण्यासाठी "-विश्लेषक-वाईट" ध्वज जोडला.
  नवीन सत्यापन मोड जोडले:
  • security.insecureAPI.DeprecatedOrUnsafeBufferHandling बफरसह काम करण्यासाठी असुरक्षित पद्धती ओळखण्यासाठी;
  • osx.MIGChecker MIG (Mach इंटरफेस जनरेटर) कॉल नियमांचे उल्लंघन शोधण्यासाठी;
  • चुकीची XNU libkern ऑब्जेक्ट रूपांतरणे शोधण्यासाठी optin.osx.OSObjectCStyleCast;
  • LLVM कोडबेसमधील त्रुटी शोधण्यासाठी मॉडेलिंग तपासणी फंक्शन्सच्या संचासह apiModeling.llvm;
  • सुरु न केलेल्या C++ ऑब्जेक्ट्स तपासण्यासाठी स्थिर कोड (optin.cplusplus पॅकेजमध्ये UninitializedObject);
• क्लॅंग-फॉर्मेट युटिलिटीने C# भाषेतील कोड फॉरमॅटिंगसाठी समर्थन जोडले आहे आणि मायक्रोसॉफ्टद्वारे वापरलेल्या कोड फॉरमॅटिंग शैलीसाठी समर्थन प्रदान करते;
• clang-cl, पर्यायी कमांड-लाइन इंटरफेस जो व्हिज्युअल स्टुडिओमध्ये समाविष्ट असलेल्या cl.exe कंपाइलरसह पर्याय-स्तरीय सुसंगतता प्रदान करतो, अस्तित्वात नसलेल्या फायलींना कमांड-लाइन पर्याय म्हणून हाताळण्यासाठी आणि संबंधित चेतावणी प्रदर्शित करण्यासाठी हेरिस्टिक्स जोडले आहे (उदाहरणार्थ, "clang-cl /diagnostic :caret /c test.cc" चालवताना);
• नवीन चेकचा मोठा भाग लिंटर क्लॅंग-टीडीमध्ये जोडला गेला आहे, त्यात OpenMP API साठी विशिष्ट जोडलेल्या चेकचा समावेश आहे;
• विस्तारित सर्व्हर क्षमता clangd (क्लॅंग सर्व्हर), ज्यामध्ये पार्श्वभूमी इंडेक्स बिल्डिंग मोड डीफॉल्टनुसार सक्षम केला जातो, कोडसह संदर्भात्मक क्रियांसाठी समर्थन जोडले गेले आहे (व्हेरिएबल पुनर्प्राप्ती, स्वयं आणि मॅक्रो व्याख्यांचा विस्तार, एस्केप केलेल्या स्ट्रिंगचे अनस्केप केलेल्यामध्ये रूपांतर), प्रदर्शित करण्याची क्षमता क्लॅंग-टीडी कडून चेतावणी, शीर्षलेख फायलींमधील त्रुटींचे विस्तृत निदान आणि प्रकार पदानुक्रमाबद्दल माहिती प्रदर्शित करण्याची क्षमता जोडली;

मुख्य नवकल्पना LLVM 9.0:

• प्रायोगिक विभाजन वैशिष्ट्य LLD लिंकरमध्ये जोडले गेले आहे, जे तुम्हाला एका प्रोग्रामला अनेक भागांमध्ये विभाजित करण्यास अनुमती देते, ज्यापैकी प्रत्येक वेगळ्या ELF फाइलमध्ये स्थित आहे. हे वैशिष्ट्य तुम्हाला प्रोग्रामचा मुख्य भाग लॉन्च करण्यास अनुमती देते, जे ऑपरेशन दरम्यान आवश्यकतेनुसार इतर घटक लोड करेल (उदाहरणार्थ, तुम्ही अंगभूत पीडीएफ व्ह्यूअरला वेगळ्या फाईलमध्ये विभक्त करू शकता, जे वापरकर्ता पीडीएफ उघडेल तेव्हाच लोड होईल. फाइल).

  एलएलडी लिंकर समोर आणले arm32_7, arm64, ppc64le आणि x86_64 आर्किटेक्चरसाठी लिनक्स कर्नलला जोडण्यासाठी योग्य स्थितीत.
  नवीन पर्याय "-" (आऊटपुट टू stdout), "-[no-]allow-shlib-undefined", "-अपरिभाषित-glob", "-nmagic", "-omagic", "-निर्भर-लायब्ररी", " - z ifunc-noplt" आणि "-z सामान्य-पृष्ठ-आकार". AArch64 आर्किटेक्चरसाठी, BTI (ब्रांच टार्गेट इंडिकेटर) आणि PAC (पॉइंटर ऑथेंटिकेशन कोड) सूचनांसाठी समर्थन जोडले गेले आहे. MIPS, RISC-V आणि PowerPC प्लॅटफॉर्मसाठी समर्थन लक्षणीयरीत्या सुधारले गेले आहे. WebAssembly साठी डायनॅमिक लिंकिंगसाठी प्रारंभिक समर्थन जोडले;

• libc++ मध्ये लागू केले फंक्शन्स आकार, std::is_constant_evaluated, std::midpoint आणि std::lerp, पद्धती "समोर" आणि "बॅक" std::span मध्ये जोडल्या गेल्या आहेत, std::is_unbounded_array आणि std::is_bounded_array प्रकारांचे गुणधर्म जोडले गेले आहेत. , std क्षमतांचा विस्तार केला गेला आहे: :atomic. GCC 4.9 साठी समर्थन बंद केले गेले आहे (GCC 5.1 आणि नवीन प्रकाशनांसह वापरले जाऊ शकते). समर्थन जोडले मी होतो (WebAssembly सिस्टम इंटरफेस, ब्राउझरच्या बाहेर WebAssembly वापरण्यासाठी इंटरफेस);
• नवीन ऑप्टिमायझेशन जोडले गेले आहेत. काही परिस्थितींमध्ये bcmp मध्ये memcmp कॉलचे रूपांतर सक्षम केले. जंप टेबल्ससाठी रेंज चेकिंगची अंमलबजावणी वगळणे ज्यामध्ये लोअर स्विच ब्लॉक्स पोहोचू शकत नाहीत किंवा जेव्हा सूचना वापरल्या जात नाहीत, उदाहरणार्थ, व्हॉइड प्रकारासह फंक्शन कॉल करताना;
• RISC-V आर्किटेक्चरसाठी बॅकएंड स्थिर केले गेले आहे, जे यापुढे प्रायोगिक म्हणून ठेवलेले नाही आणि डीफॉल्टनुसार तयार केले आहे. MAFDC विस्तारांसह RV32I आणि RV64I इंस्ट्रक्शन सेट वेरिएंटसाठी पूर्ण कोड जनरेशन सपोर्ट प्रदान करते;
• X86, AArch64, ARM, SystemZ, MIPS, AMDGPU आणि PowerPC आर्किटेक्चरसाठी बॅकएंडमध्ये अनेक सुधारणा केल्या आहेत. उदाहरणार्थ, आर्किटेक्चरसाठी
  AArch64 ने SVE2 (स्केलेबल वेक्टर एक्स्टेंशन 2) आणि MTE (मेमरी टॅगिंग विस्तार) सूचनांसाठी समर्थन जोडले; ARM बॅकएंडमध्ये, Armv8.1-M आर्किटेक्चर आणि MVE (M-प्रोफाइल वेक्टर विस्तार) विस्तारासाठी समर्थन जोडले गेले. GFX10 (Navi) आर्किटेक्चरसाठी समर्थन AMDGPU बॅकएंडमध्ये जोडले गेले आहे, फंक्शन कॉलिंग क्षमता डीफॉल्टनुसार सक्षम केल्या आहेत आणि एकत्रित पास सक्रिय केला आहे. DPP (डेटा-समांतर आदिम).

• LLDB डीबगरमध्ये आता बॅकट्रेससाठी रंग हायलाइटिंग आहे आणि DWARF4 debug_types आणि DWARF5 debug_info ब्लॉक्ससाठी समर्थन जोडले आहे;
• COFF स्वरूपातील ऑब्जेक्ट आणि एक्झिक्युटेबल फाइल्ससाठी समर्थन llvm-objcopy आणि llvm-strip युटिलिटिजमध्ये जोडले गेले आहे.

स्त्रोत: opennet.ru