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

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

नवीन प्रकाशनातील महत्त्वाचा बदल हा समावेश होता पार्श्वभाग, फोरट्रान भाषेसाठी फ्रंटएंड. Flang Fortran 2018, OpenMP 4.5 आणि OpenACC 3.0 चे समर्थन करते, परंतु प्रकल्पाचा विकास अद्याप पूर्ण झालेला नाही आणि समोरचे टोक कोड पार्सिंग आणि अचूकता तपासण्यापुरते मर्यादित आहे. LLVM इंटरमीडिएट कोडची निर्मिती अद्याप समर्थित नाही आणि एक्झिक्युटेबल फाइल्स व्युत्पन्न करण्यासाठी, कॅनोनिकल कोड व्युत्पन्न केला जातो आणि बाह्य फोरट्रान कंपाइलरकडे पाठविला जातो.

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

• अमूर्त वाक्यरचना वृक्ष पुनर्संचयित करण्याची क्षमता जोडली (एएसटी) तुटलेल्या C++ कोडसाठी, ज्याचा वापर त्रुटींचे निदान करण्यात मदत करण्यासाठी केला जाऊ शकतो आणि क्लॅंग-टिडी आणि क्लॅंगड सारख्या बाह्य उपयुक्ततांना अतिरिक्त माहिती प्रदान करतो. हे वैशिष्ट्य C++ कोडसाठी डीफॉल्टनुसार सक्षम केले जाते आणि "-Xclang -f[no-]recovery-ast" पर्यायांद्वारे नियंत्रित केले जाते.
• नवीन डायग्नोस्टिक मोड जोडले:
  • “-Wpointer-to-int-cast” हा सर्व संभाव्य मूल्ये सामावून न घेणार्‍या पूर्णांक प्रकार इंटवर पॉइंटर कास्ट करण्याबद्दल चेतावणींचा एक गट आहे.
  • "-Wuninitialized-const-reference" - "const" विशेषता सह संदर्भ युक्तिवाद स्वीकारणार्‍या फंक्शन पॅरामीटर्समध्ये सुरू न केलेले व्हेरिएबल्स पास करण्याबद्दल चेतावणी.
  • "-Wimplicit-const-int-float-conversion" - पूर्णांक प्रकारात वास्तविक स्थिरांकाचे अंतर्निहित रूपांतरण बद्दल पूर्वनिर्धारित चेतावणीद्वारे सक्षम.
• एआरएम प्लॅटफॉर्मसाठी, कंपाइलरमध्ये तयार केलेली सी फंक्शन्स प्रदान केली जातात (अंतर्मन), कार्यक्षम वेक्टर सूचना आर्म v8.1-M MVE आणि CDE द्वारे बदलले. उपलब्ध फंक्शन्स हेडर फाइल्स arm_mve.h आणि arm_cde.h मध्ये परिभाषित केले आहेत.
• जोडले विस्तारित पूर्णांक प्रकारांचा एक संच _ExtInt(N), तुम्हाला असे प्रकार तयार करण्यास अनुमती देतो जे दोनच्या शक्तींचे गुणाकार नाहीत, ज्यावर FPGA/HLS वर कार्यक्षमतेने प्रक्रिया केली जाऊ शकते. उदाहरणार्थ, _ExtInt(7) 7 बिट्सचा समावेश असलेला पूर्णांक प्रकार परिभाषित करतो.
• ARM SVE (स्केलेबल वेक्टर एक्स्टेंशन) निर्देशांवर आधारित अंगभूत C फंक्शन्ससाठी समर्थन परिभाषित करणारे मॅक्रो जोडले:
  __ARM_FEATURE_SVE, __ARM_FEATURE_SVE_BF16,
  __ARM_FEATURE_SVE_MATMUL_FP32, __ARM_FEATURE_SVE_MATMUL_FP64,
  __ARM_FEATURE_SVE_MATMUL_INT8,
  __ARM_FEATURE_SVE2, __ARM_FEATURE_SVE2_AES,
  __ARM_FEATURE_SVE2_BITPERM,
  __ARM_FEATURE_SVE2_SHA3,
  __ARM_FEATURE_SVE2_SM4. उदाहरणार्थ, कमांड लाइन पर्याय "-march=armv64-a+sve" सेट करून AArch8 कोड जनरेट करताना __ARM_FEATURE_SVE मॅक्रो परिभाषित केला जातो.

• "-O" ध्वज आता "-O1" ऐवजी "-O2" ऑप्टिमायझेशन मोडने ओळखला जातो.
• नवीन कंपाइलर ध्वज जोडले:
  • "-fstack-clash-protection" - विरुद्ध संरक्षण सक्षम करते स्टॅक आणि हिपचे छेदनबिंदू.
  • "-ffp-exception-behavior={ignore,maytrap,strict}" - तुम्हाला फ्लोटिंग पॉइंट नंबरसाठी अपवाद हँडलर मोड निवडण्याची परवानगी देते.
  • "-ffp-model={precise,strict,fast}" - फ्लोटिंग पॉइंट नंबरसाठी विशेष पर्यायांच्या मालिकेतील प्रवेश सुलभ करते.
  • "-fpch-codegen" आणि "-fpch-debuginfo" कोड आणि डीबगिनफोसाठी स्वतंत्र ऑब्जेक्ट फाइल्ससह प्रीकम्पाइल केलेले हेडर (PCH) व्युत्पन्न करण्यासाठी.
  • कव्हरेज चाचणी पांढऱ्या आणि काळ्या याद्या तपासण्यासाठी “-fsanitize-coverage-allowlist” आणि “-fsanitize-coverage-blocklist”.
  • TLS (थ्रेड-लोकल स्टोरेज) आकार निवडण्यासाठी “-mtls-size={12,24,32,48}”.
  • प्रायोगिक RISC-V विस्तार सक्षम करण्यासाठी "-menable-experimental-extension".
• C साठी डीफॉल्ट मोड "-fno-common" आहे, जो काही प्लॅटफॉर्मवर ग्लोबल व्हेरिएबल्समध्ये अधिक कार्यक्षम प्रवेशासाठी परवानगी देतो.
• डिफॉल्ट मॉड्यूल कॅशे /tmp वरून ~/.cache डिरेक्ट्रीमध्ये हलवण्यात आले आहे. ओव्हरराइड करण्यासाठी, तुम्ही “-fmodules-cache-path=” ध्वज वापरू शकता.
• डीफॉल्ट सी भाषा मानक gnu11 वरून gnu17 मध्ये अद्यतनित केले आहे.
• GNU C विस्तारासाठी प्राथमिक समर्थन जोडले "asm इनलाइन» असेंबलर इन्सर्ट जोडण्यासाठी. विस्ताराचे अद्याप विश्लेषण केले जात आहे, परंतु कोणत्याही प्रकारे प्रक्रिया केलेली नाही.
• OpenCL आणि CUDA समर्थनाशी निगडीत क्षमतांचा विस्तार करण्यात आला आहे. OpenCL 2.0 ब्लॉक डायग्नोस्टिक्ससाठी समर्थन जोडले आणि नवीन OpenMP 5.0 वैशिष्ट्ये लागू केली.
• बाह्य "C" आणि बाह्य "C++" ब्लॉक्समध्ये संरेखनासाठी क्लॅंग-फॉर्मेट युटिलिटीमध्ये IndentExternBlock पर्याय जोडला.
• स्टॅटिक अॅनालायझरने C++ मधील इनहेरिटेड कन्स्ट्रक्टर्सची हाताळणी सुधारली आहे. लॉक तपासण्यासाठी नवीन चेक alpha.core.C11Lock आणि alpha.fuchsia.Lock, putenv चा असुरक्षित वापर शोधण्यासाठी alpha.security.cert.pos.34c, webkit.NoUncountedMemberChecker आणि webkit.RefCntblBaseVirtualDtor समस्या शोधण्यायोग्य नसलेल्या प्रकारच्या समस्या शोधण्यासाठी जोडले. .cplusplus .SmartPtr null smart pointer dereference तपासण्यासाठी.
• मध्ये linter clang-नीटनेटका जोडले नवीन धनादेशांचा मोठा भाग.
• clangd कॅशिंग सर्व्हर (Clang Server) ने कार्यप्रदर्शन सुधारले आहे आणि नवीन निदान क्षमता जोडल्या आहेत.

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

• बिल्ड सिस्टीम Python 3 वापरण्यासाठी स्विच केली गेली आहे. Python 3 उपलब्ध नसल्यास, Python 2 वापरण्यासाठी रोलबॅक करणे शक्य आहे.
• गो लँग्वेज (llgo) साठी कंपाइलरसह फ्रंट एंड रिलीझमधून वगळण्यात आले आहे, ज्याची भविष्यात पुनर्रचना केली जाऊ शकते.
• व्हेक्टर-फंक्शन-अबी-व्हेरिएंट विशेषता इंटरमीडिएट प्रेझेंटेशन (आयआर) मध्ये जोडली गेली आहे ज्यामुळे कॉल व्हेक्टराइज करण्यासाठी स्केलर आणि वेक्टर फंक्शन्समधील मॅपिंगचे वर्णन केले जाते. llvm::VectorType वरून llvm::FixedVectorType आणि llvm::ScalableVectorType असे दोन वेगळे वेक्टर प्रकार आहेत.
• udef मूल्यांवर आधारित शाखा करणे आणि मानक लायब्ररी फंक्शन्समध्ये undef मूल्ये पास करणे हे अपरिभाषित वर्तन म्हणून ओळखले जाते. IN
  memset/memcpy/memmove undef पॉइंटर्स पास करण्यास अनुमती देते, परंतु आकारासह पॅरामीटर शून्य असल्यास.

• LLJIT ने LLJIT::initialize आणि LLJIT::deinitialize पद्धतींद्वारे स्टॅटिक इनिशियलायझेशन करण्यासाठी समर्थन जोडले आहे. StaticLibraryDefinitionGenerator क्लास वापरून JITDylib मध्ये स्टॅटिक लायब्ररी जोडण्याची क्षमता लागू करण्यात आली आहे. साठी C API जोडले ORCv2 (JIT कंपाइलर्स तयार करण्यासाठी API).
• Cortex-A64, Cortex-A34, Cortex-A77 आणि Cortex-X78 प्रोसेसरसाठी समर्थन AArch1 आर्किटेक्चरसाठी बॅकएंडमध्ये जोडले गेले आहे. RMv8.2-BF16 (BFloat16) आणि ARMv8.6-A विस्तार लागू केले, ज्यात RMv8.6-ECV (वर्धित काउंटर व्हर्च्युअलायझेशन), ARMv8.6-FGT (फाईन ग्रेन्ड ट्रॅप्स), ARMv8.6-AMU (अॅक्टिव्हिटी मॉनिटर्स) आभासी आणि ARMv8.0-DGH (डेटा गोळा करण्याचा इशारा). SVE वेक्टर सूचनांमध्ये अंगभूत फंक्शन्स-बाइंडिंगसाठी कोड व्युत्पन्न करण्याची क्षमता प्रदान केली आहे.
• Cortex-M55, Cortex-A77, Cortex-A78 आणि Cortex-X1 प्रोसेसरसाठी समर्थन ARM आर्किटेक्चरसाठी बॅकएंडमध्ये जोडले गेले आहे. विस्तार लागू केले
  Armv8.6-A मॅट्रिक्स गुणाकार आणि RMv8.2-AA32BF16 BFloat16.

• पॉवरपीसी आर्किटेक्चरसाठी POWER10 प्रोसेसरसाठी कोड निर्मितीसाठी समर्थन बॅकएंडमध्ये जोडले गेले आहे. लूप ऑप्टिमायझेशन विस्तारित केले गेले आहे आणि फ्लोटिंग पॉइंट समर्थन सुधारले गेले आहे.
• RISC-V आर्किटेक्चरसाठी बॅकएंड पॅचेस स्वीकारण्यास परवानगी देतो जे प्रायोगिक विस्तारित सूचना संचांना समर्थन देतात ज्यांना अद्याप अधिकृतपणे मान्यता दिली गेली नाही.
• AVR आर्किटेक्चरसाठी बॅकएंड प्रायोगिक श्रेणीतून स्थिरवर हस्तांतरित केले गेले आहे, मूलभूत वितरणामध्ये समाविष्ट आहे.
• x86 आर्किटेक्चरसाठी बॅकएंड Intel AMX आणि TSXLDTRK सूचनांचे समर्थन करते. हल्ल्यांपासून संरक्षण जोडले LVI (लोड व्हॅल्यू इंजेक्शन), आणि सीपीयूवरील ऑपरेशन्सच्या सट्टेबाज अंमलबजावणीमुळे होणारे हल्ले रोखण्यासाठी एक सामान्य सट्टा अंमलबजावणी साइड इफेक्ट सप्रेशन यंत्रणा देखील लागू करते.
• SystemZ आर्किटेक्चरसाठी बॅकएंडमध्ये, मेमरी सॅनिटायझर आणि लीक सॅनिटायझरसाठी समर्थन जोडले गेले आहे.
• Libc++ मध्ये गणितीय स्थिरांकांसह शीर्षलेख फाइलसाठी समर्थन जोडले .
• विस्तारित एलएलडी लिंकर क्षमता. "--lto-emit-asm", "--lto-संपूर्ण-प्रोग्राम-दृश्यता", "-print-archive-stats", "-shuffle-sections", " जोडलेल्या पर्यायांसह ELF फॉरमॅटसाठी सुधारित समर्थन. -थिनल्टो- सिंगल-मॉड्यूल", "-अनन्य", "-रोसेगमेंट", "-थ्रेड्स=एन". फाईलमध्ये ट्रेस सेव्ह करण्यासाठी "--time-trace" पर्याय जोडला, ज्याचे नंतर Chrome मधील chrome://tracing इंटरफेसद्वारे विश्लेषण केले जाऊ शकते.

स्त्रोत: opennet.ru