LLVM 10.0 কম্পাইলার সেটের রিলিজ

উন্নয়নের ছয় মাস পর উপস্থাপিত প্রকল্প প্রকাশ এলএলভিএম 10.0 — GCC-সামঞ্জস্যপূর্ণ টুল (কম্পাইলার, অপ্টিমাইজার এবং কোড জেনারেটর), RISC-এর মতো ভার্চুয়াল নির্দেশাবলীর মধ্যবর্তী বিটকোডে প্রোগ্রাম কম্পাইল করা (একটি বহু-স্তরের অপ্টিমাইজেশন সিস্টেম সহ নিম্ন-স্তরের ভার্চুয়াল মেশিন)। জেনারেট করা সিউডোকোডকে একটি JIT কম্পাইলার ব্যবহার করে সরাসরি প্রোগ্রাম এক্সিকিউশনের সময় মেশিন নির্দেশনায় রূপান্তর করা যেতে পারে।

এলএলভিএম 10.0-এর নতুন বৈশিষ্ট্যগুলির মধ্যে রয়েছে C++ ধারণাগুলির জন্য সমর্থন, আলাদা প্রক্রিয়া হিসাবে ক্ল্যাং আর চালানো হবে না, উইন্ডোজের জন্য CFG (কন্ট্রোল ফ্লো গার্ড) চেকগুলির জন্য সমর্থন এবং নতুন CPU ক্ষমতাগুলির জন্য সমর্থন।

উন্নতি ঝনঝন 10.0 এ:

• "এর জন্য সমর্থন যোগ করা হয়েছেধারণা", একটি C++ টেমপ্লেট এক্সটেনশন যা পরবর্তী স্ট্যান্ডার্ডে অন্তর্ভুক্ত করা হবে, কোডনাম C++2a (-std=c++2a পতাকা দ্বারা চালু করা হয়েছে)।
  ধারণাগুলি আপনাকে টেমপ্লেট পরামিতি প্রয়োজনীয়তার একটি সেট সংজ্ঞায়িত করতে দেয় যা কম্পাইলের সময়, টেমপ্লেট প্যারামিটার হিসাবে গ্রহণ করা যেতে পারে এমন আর্গুমেন্টের সেটকে সীমাবদ্ধ করে। টেমপ্লেটের মধ্যে ব্যবহৃত ডেটা প্রকারের বৈশিষ্ট্য এবং ইনপুট পরামিতিগুলির ডেটা টাইপ বৈশিষ্ট্যগুলির মধ্যে যৌক্তিক অসঙ্গতি এড়াতে ধারণাগুলি ব্যবহার করা যেতে পারে।

  টেমপ্লেট
  ধারণা সমতা তুলনামূলক = প্রয়োজন (T a, T b) {
  { a == b } -> std::বুলিয়ান;
  { a != b } -> std::boolean;
  };

• ডিফল্টরূপে, একটি পৃথক প্রক্রিয়ার প্রবর্তন (“ক্ল্যাং -cc1”) যেখানে সংকলন সম্পাদিত হয় তা বন্ধ হয়ে যায়। এখন মূল প্রক্রিয়ায় সংকলন করা হয়েছে, এবং "-fno-integrated-cc1" বিকল্পটি পুরানো আচরণ পুনরুদ্ধার করতে ব্যবহার করা যেতে পারে।
• নতুন ডায়গনিস্টিক মোড:
  • "-Wc99-designator" এবং "-Wreorder-init-list" C99 ইনিশিয়ালাইজারগুলি C++ মোডে ব্যবহার করার বিরুদ্ধে সতর্ক করে যেখানে সেগুলি C99 এ সঠিক কিন্তু C++20 তে নয়।
  • "-Wsizeof-array-div" - পরিস্থিতি ক্যাচ করে যেমন "int arr[10]; …sizeof(arr) / sizeof(short)…" ("sizeof(arr) / sizeof(int)" হতে হবে)।
  • "-Wxor-used-as-po" - ক্রিয়াকলাপগুলিতে "^" (xor) অপারেটর ব্যবহার করার মতো কনস্ট্রাক্ট ব্যবহারের বিরুদ্ধে সতর্ক করে যা সূচকের (2^16) সাথে বিভ্রান্ত হতে পারে।
  • "-Wfinal-dtor-non-final-class" - এমন ক্লাস সম্পর্কে সতর্ক করে যেগুলি "চূড়ান্ত" স্পেসিফায়ার দিয়ে চিহ্নিত করা হয়নি, কিন্তু "ফাইনাল" অ্যাট্রিবিউটের সাথে একটি ডেস্ট্রাক্টর আছে।
  • "-Wtautological-bitwise-compare" হল একটি বিটওয়াইজ অপারেশন এবং একটি ধ্রুবকের মধ্যে টাউটোলজিক্যাল তুলনা নির্ণয়ের জন্য এবং সর্বদা-সত্য তুলনা সনাক্ত করার জন্য সতর্কতার একটি গ্রুপ যেখানে বিটওয়াইজ OR অপারেশন একটি অ-নেতিবাচক সংখ্যায় প্রয়োগ করা হয়।
  • শর্তসাপেক্ষ অপারেটর (?:) এর সাথে লজিক্যাল অপারেটর AND (&) এবং OR (|) মিশ্রিত করার সময় "-Wbitwise-conditional-বন্ধনী" সমস্যার বিষয়ে সতর্ক করে।
  • "-Wmisleading-indentation" হল GCC-এর একই নামের চেকের একটি অ্যানালগ, যা ইন্ডেন্ট করা অভিব্যক্তি সম্পর্কে সতর্ক করে যেন তারা একটি if/else/for/while ব্লকের অংশ, কিন্তু আসলে সেগুলি এই ব্লকে অন্তর্ভুক্ত নয় .
  • "-Wextra" নির্দিষ্ট করার সময়, "-Wdeprecated-copy" চেক সক্রিয় করা হয়, কনস্ট্রাক্টর ব্যবহার সম্পর্কে সতর্ক করে
    একটি সুস্পষ্ট ধ্বংসকারী সংজ্ঞা সহ ক্লাসে "সরানো" এবং "কপি"।

  • "-Wtautological-overlap-compare", "-Wsizeof-pointer-div", "-Wtautological-তুলনা", "-Wrange-loop-analysis" চেকগুলি প্রসারিত করা হয়েছে৷
  • "-Wbitwise-op-বন্ধনী" এবং "-Wlogical-op-বন্ধনী" চেকগুলি ডিফল্টরূপে নিষ্ক্রিয় থাকে৷
• C এবং C++ কোডে, পয়েন্টার গাণিতিক ক্রিয়াকলাপগুলি শুধুমাত্র অ্যারেতে অনুমোদিত। "-fsanitize=pointer-overflow" মোডে অনির্ধারিত আচরণ স্যানিটাইজার এখন নাল পয়েন্টারে একটি নন-জিরো অফসেট যোগ করা বা একটি নন-নাল পয়েন্টার থেকে একটি পূর্ণসংখ্যা বিয়োগ করার সময় একটি নাল পয়েন্টার তৈরি করার মতো ক্ষেত্রে ধরা পড়ে।
• "-fsanitize=implicit-conversion" (ইমপ্লিসিট কনভার্সন স্যানিটাইজার) মোডটি "int" টাইপের চেয়ে একটু ছোট আকারের প্রকারের জন্য বৃদ্ধি এবং হ্রাস অপারেশনের সমস্যা চিহ্নিত করার জন্য অভিযোজিত হয়েছে।
• x86 টার্গেট আর্কিটেকচার নির্বাচন করার সময় "-march=skylake-avx512", "-march=icelake-client", "-march=icelake-server", "-march=cascadelake" এবং "-march=cooperlake" ডিফল্টভাবে ভেক্টরাইজ করা কোড 512-বিট zmm রেজিস্টার ব্যবহার করা বন্ধ করেছে, সোর্স কোডে তাদের সরাসরি ইঙ্গিত ছাড়া। কারণ হল 512-বিট অপারেশন করার সময় CPU ফ্রিকোয়েন্সি কমে যায়, যা সামগ্রিক কর্মক্ষমতাকে নেতিবাচকভাবে প্রভাবিত করতে পারে। নতুন আচরণ পরিবর্তন করতে, "-mprefer-vector-width=512" বিকল্পটি প্রদান করা হয়েছে।
• "-flax-vector-conversions" পতাকার আচরণ GCC-এর অনুরূপ: পূর্ণসংখ্যা এবং ফ্লোটিং-পয়েন্ট ভেক্টরের মধ্যে অন্তর্নিহিত ভেক্টর বিট রূপান্তর নিষিদ্ধ। এই সীমাবদ্ধতা দূর করতে পতাকা ব্যবহারের প্রস্তাব করা হয়েছে
  "-flax-vector-conversions=all" যা ডিফল্ট।

• Octeon পরিবারের MIPS CPU-র জন্য উন্নত সমর্থন। বৈধ CPU প্রকারের তালিকায় "octeon+" যোগ করা হয়েছে।
• WebAssembly মধ্যবর্তী কোডে একত্রিত করার সময়, সিস্টেমে উপলব্ধ থাকলে, wasm-opt অপ্টিমাইজার স্বয়ংক্রিয়ভাবে কল করা হয়।
• RISC-V আর্কিটেকচারের উপর ভিত্তি করে সিস্টেমের জন্য, অ্যাসেম্বলার ইনলাইন ইনসার্টের শর্তসাপেক্ষ ব্লকে ভাসমান পয়েন্টের মান সংরক্ষণের রেজিস্টার ব্যবহার অনুমোদিত।
• নতুন কম্পাইলার ফ্ল্যাগ যোগ করা হয়েছে: "__GNUC__" এবং অনুরূপ ম্যাক্রোর জন্য সংস্করণ মান সেট করতে "-fgnuc-version"; "-fmacro-prefix-map=OLD=NEW" ম্যাক্রোতে "__FILE__" এর মতো ডিরেক্টরি উপসর্গ OLD-কে NEW দিয়ে প্রতিস্থাপন করতে; "-fpatchable-function-entry=N[,M]" ফাংশন এন্ট্রি পয়েন্টের আগে এবং পরে একটি নির্দিষ্ট সংখ্যক NOP নির্দেশনা তৈরি করতে। RISC-V এর জন্য
  "-ffixed-xX", "-mcmodel=medany" এবং "-mcmodel=medlow" পতাকাগুলির জন্য সমর্থন যোগ করা হয়েছে।

• '__অ্যাট্রিবিউট__((টার্গেট("শাখা-সুরক্ষা=..."))) অ্যাট্রিবিউটের জন্য সমর্থন যোগ করা হয়েছে, যার প্রভাব বিকল্পের মতো ব্রাঞ্চ-সুরক্ষা.
• Windows প্ল্যাটফর্মে, "-cfguard" পতাকা নির্দিষ্ট করার সময়, পরোক্ষ ফাংশন কলের জন্য এক্সিকিউশন ফ্লো ইন্টিগ্রিটি চেক (কন্ট্রোল ফ্লো গার্ড) প্রতিস্থাপন করা হয়। চেক প্রতিস্থাপন অক্ষম করতে, আপনি "-cfguard-nochecks" পতাকা বা "__declspec(guard(nocf))" সংশোধক ব্যবহার করতে পারেন।
• Gnu_inline অ্যাট্রিবিউটের আচরণ GCC-এর মতো যেখানে এটি "বহিরাগত" কীওয়ার্ড ছাড়া ব্যবহার করা হয়।
• OpenCL এবং CUDA সমর্থনের সাথে যুক্ত ক্ষমতা প্রসারিত করা হয়েছে। নতুন OpenMP 5.0 বৈশিষ্ট্যের জন্য সমর্থন যোগ করা হয়েছে।
• ক্ল্যাং-ফরম্যাট ইউটিলিটিতে একটি স্ট্যান্ডার্ড বিকল্প যোগ করা হয়েছে, যা আপনাকে কোড পার্সিং এবং ফর্ম্যাট করার সময় ব্যবহৃত C++ স্ট্যান্ডার্ডের সংস্করণ নির্ধারণ করতে দেয় (সর্বশেষ, অটো, c++03, c++11, c++14, c++17, c++20)।
• স্ট্যাটিক অ্যানালাইজারে নতুন চেক যোগ করা হয়েছে: alpha.cplusplus.PlacementNew পর্যাপ্ত স্টোরেজ স্পেস আছে কিনা তা নির্ধারণ করতে, fuchsia.HandleChecker Fuchsia হ্যান্ডলারের সাথে সম্পর্কিত ফাঁস সনাক্ত করতে, security.insecureAPI.decodeValueOfObjCType সম্ভাব্য বাফার শনাক্ত করতে যখন সম্ভাব্য বাফার ওভারফ্লো হয় :at:]।
• আনডিফাইন্ড বিহেভিয়ার স্যানিটাইজার (UBSan) তার পয়েন্টার ওভারফ্লো চেক প্রসারিত করেছে যাতে NULL পয়েন্টারে নন-জিরো অফসেট বা NULL পয়েন্টার অফসেটের ফলে যোগ করা হয়।
• লিন্টারে ঝনঝন-পরিপাটি যোগ করা হয়েছে নতুন চেকের একটি বড় অংশ।

প্রধান উদ্ভাবন LLVM 10.0:

• কাঠামোর দিকে অ্যাট্রিবিউটর নতুন আন্তঃপ্রক্রিয়াগত অপ্টিমাইজেশান এবং বিশ্লেষক যোগ করা হয়েছে. 19টি ভিন্ন বৈশিষ্ট্যের অবস্থার পূর্বাভাস দেওয়া হয়েছে, যার মধ্যে রয়েছে 12টি বৈশিষ্ট্য 12টি এলএলভিএম আইআর এবং 7টি বিমূর্ত বৈশিষ্ট্য যেমন সজীবতা।
• কম্পাইলারে নির্মিত নতুন ম্যাট্রিক্স গাণিতিক ফাংশন যোগ করা হয়েছে (অন্তর্নিহিত), যা সংকলনের সময় দক্ষ ভেক্টর নির্দেশাবলী দ্বারা প্রতিস্থাপিত হয়।
• X86, AArch64, ARM, SystemZ, MIPS, AMDGPU এবং PowerPC আর্কিটেকচারের জন্য ব্যাকএন্ডে অনেক উন্নতি করা হয়েছে। CPU সমর্থন যোগ করা হয়েছে
  Cortex-A65, Cortex-A65AE, Neoverse E1 এবং Neoverse N1। ARMv8.1-M-এর জন্য, কোড জেনারেশন প্রক্রিয়াটি অপ্টিমাইজ করা হয়েছে (উদাহরণস্বরূপ, ন্যূনতম ওভারহেড সহ লুপের জন্য সমর্থন উপস্থিত হয়েছে) এবং MVE এক্সটেনশন ব্যবহার করে অটোভেক্টরাইজেশনের জন্য সমর্থন যোগ করা হয়েছে। উন্নত CPU MIPS Octeon সমর্থন। PowerPC-এর জন্য, MASSV (গাণিতিক ত্বরণ সাবসিস্টেম) লাইব্রেরি ব্যবহার করে গাণিতিক সাবরুটিনের ভেক্টরাইজেশন সক্রিয় করা হয়েছে, কোড জেনারেশন উন্নত করা হয়েছে, এবং লুপ থেকে মেমরি অ্যাক্সেস অপ্টিমাইজ করা হয়েছে। x86-এর জন্য, v2i32, v4i16, v2i16, v8i8, v4i8 এবং v2i8 ভেক্টর ধরনের হ্যান্ডলিং পরিবর্তন করা হয়েছে।

• WebAssembly এর জন্য উন্নত কোড জেনারেটর। TLS (থ্রেড-লোকাল স্টোরেজ) এবং atomic.fence নির্দেশাবলীর জন্য সমর্থন যোগ করা হয়েছে। SIMD সমর্থন উল্লেখযোগ্যভাবে প্রসারিত করা হয়েছে। WebAssembly অবজেক্ট ফাইলগুলিতে এখন বহু-মূল্যবান ফাংশন স্বাক্ষর ব্যবহার করার ক্ষমতা রয়েছে।
• লুপ প্রক্রিয়াকরণের সময় বিশ্লেষক ব্যবহার করা হয় মেমরিএসএসএ, যা আপনাকে বিভিন্ন মেমরি অপারেশনের মধ্যে নির্ভরতা নির্ধারণ করতে দেয়। মেমরিএসএসএ কম্পাইলেশন এবং এক্সিকিউশনের সময় কমাতে পারে বা পারফরম্যান্সের ক্ষতি না করে AliasSetTracker এর পরিবর্তে ব্যবহার করা যেতে পারে।
• LLDB ডিবাগার DWARF v5 বিন্যাসের জন্য উল্লেখযোগ্যভাবে উন্নত সমর্থন করেছে। MinGW এর সাথে বিল্ডিংয়ের জন্য উন্নত সমর্থন
  এবং ARM এবং ARM64 আর্কিটেকচারের জন্য উইন্ডোজ এক্সিকিউটেবল ডিবাগ করার প্রাথমিক ক্ষমতা যোগ করা হয়েছে। ট্যাব টিপে ইনপুট স্বয়ংসম্পূর্ণ করার সময় প্রস্তাবিত বিকল্পগুলির বিবরণ যোগ করা হয়েছে।

• প্রসারিত এলএলডি লিঙ্কার ক্ষমতা। ELF ফরম্যাটের জন্য উন্নত সমর্থন, যার মধ্যে GNU লিঙ্কারের সাথে গ্লোব টেমপ্লেটগুলির সম্পূর্ণ সামঞ্জস্যতা নিশ্চিত করা, কম্প্রেসড ডিবাগ বিভাগ ".zdebug" এর জন্য সমর্থন যোগ করা, .note.gnu.property বিভাগটি সংজ্ঞায়িত করতে PT_GNU_PROPERTY বৈশিষ্ট্য যোগ করা (ভবিষ্যতে ব্যবহার করা যেতে পারে) লিনাক্স কার্নেল),
  "-z noseparate-code", "-z পৃথক-কোড" এবং "-z পৃথক-লোডযোগ্য-সেগমেন্ট" মোডগুলি প্রয়োগ করা হয়েছে৷ MinGW এবং WebAssembly এর জন্য উন্নত সমর্থন।

উত্স: opennet.ru