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

ছয় মাস ধরে উন্নয়নের পর, LLVM 22.1.0 প্রকাশিত হয়েছে। এটি এমন সরঞ্জাম (কম্পাইলার, অপ্টিমাইজার এবং কোড জেনারেটর) তৈরি করে যা প্রোগ্রামগুলিকে RISC-সদৃশ ভার্চুয়াল নির্দেশাবলীর (একটি বহু-স্তরের অপ্টিমাইজেশন সিস্টেম সহ একটি নিম্ন-স্তরের ভার্চুয়াল মেশিন) মধ্যবর্তী বিটকোডে কম্পাইল করে। উৎপন্ন সিউডোকোড একটি নির্দিষ্ট লক্ষ্য প্ল্যাটফর্মের জন্য মেশিন কোডে রূপান্তরিত করা যেতে পারে অথবা প্রোগ্রাম সম্পাদনের সময় সরাসরি মেশিন নির্দেশাবলী তৈরি করতে একটি জাস্ট-ইন-টাইম (JIT) কম্পাইলার দ্বারা ব্যবহার করা যেতে পারে। LLVM প্রযুক্তির উপর ভিত্তি করে, প্রকল্পটি Clang কম্পাইলার তৈরি করছে, যা C, C++ এবং Objective-C প্রোগ্রামিং ভাষাগুলিকে সমর্থন করে। 18.x শাখা থেকে শুরু করে, প্রকল্পটি একটি নতুন সংস্করণ নম্বরকরণ স্কিমে স্যুইচ করেছে, যার অনুসারে রিলিজ 0 ("N.0") উন্নয়নের সময় ব্যবহার করা হয় এবং প্রথম স্থিতিশীল সংস্করণটিকে "N.1" নম্বর দেওয়া হয়।

ক্ল্যাং 22-এর উন্নতির মধ্যে রয়েছে:

• মেমোরি অ্যালোকেশন টোকেন (অ্যালোকেশন টোকেন) এর জন্য অতিরিক্ত সমর্থন, যা malloc এর মতো ফাংশন ব্যবহার করে একটি অনন্য শনাক্তকারী দিয়ে সম্পাদিত মেমোরি অ্যালোকেশন অপারেশন চিহ্নিত করে। অ্যালোকেশন টোকেনগুলি হিপ তথ্য গঠন, মেমোরি লিক সনাক্তকরণ সহজতর করার এবং তাদের উদ্দেশ্য বা পরিবর্তনের ধরণগুলির উপর ভিত্তি করে বস্তুর গোষ্ঠীকরণ সক্ষম করার অনুমতি দেয় (যেমন, "গরম" থেকে "ঠান্ডা" ডেটা আলাদা করা)। সক্ষম করতে, "-fsanitize=alloc-token" পতাকা ব্যবহার করুন।
• সি ভাষার সাথে সম্পর্কিত বৈশিষ্ট্য:
  • "defer" বিলম্বিত কার্যকরকরণ প্রক্রিয়া সংজ্ঞায়িত করে একটি খসড়া স্পেসিফিকেশন বাস্তবায়িত হয়েছে, যা বর্তমান স্কোপটি প্রস্থান করার সময় ক্রিয়া সম্পাদন করার অনুমতি দেয়। "defer" সমর্থন সক্ষম করার জন্য "-fdefer-ts" পতাকা যোগ করা হয়েছে।
  • বিল্ট-ইন ফাংশন __builtin_stack_address() যোগ করা হয়েছে, যা GCC-তে অনুরূপ ফাংশনের অনুরূপ। এই ফাংশনটি স্ট্যাক ঠিকানা প্রদান করে যা বর্তমান ফাংশনের স্ট্যাক এলাকাকে পৃথক করে যা __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__" ম্যাক্রোর বাস্তবায়ন প্রসারিত করা হয়েছে এবং স্ট্যান্ডার্ডে অন্তর্ভুক্ত করা হয়েছে। এই ম্যাক্রোতে 2147483647 কলের সীমা নির্ধারণ করা হয়েছে; এই সীমা অতিক্রম করলে একটি ত্রুটি তৈরি হবে।
  • "এক্সটার্ন ইনলাইন" হিসেবে ঘোষিত ফাংশনের ভিতরে স্ট্যাটিক ফাংশন বা ভেরিয়েবল ব্যবহার করার সময় সতর্কতা (-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++20 স্ট্যান্ডার্ডের প্রয়োজন অনুযায়ী, এখন পরীক্ষা করার আগে সীমাবদ্ধতাগুলিকে স্ট্যান্ডার্ড ফর্মে রূপান্তরিত করা হয়, যা আরও সঠিক ডায়াগনস্টিক বার্তা এবং শুধুমাত্র ধারণা-আইডিতে ব্যবহৃত টেমপ্লেট আর্গুমেন্টগুলিতে প্রতিস্থাপন ত্রুটিগুলির সঠিক পরিচালনার অনুমতি দেয়।
  • তুলনামূলক অপারেটর "<", ">", "<=", এবং ">=" "<=>" অপারেটর থেকে সংশ্লেষিত হয়েছে কিনা তা জানার জন্য "__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 ব্যাকএন্ড এখন Ampere Computing Ampere1C (ampere1c), Arm C1-Nano (c1-nano), Arm C1-Pro (c1-pro), Arm C1-Premium (c1-premium), এবং Arm C1-Ultra (c1-ultra) প্রসেসর সমর্থন করে। FCVTZ[US], FCVTN[US], FCVTM[US], FCVTP[US], এবং FCVTA[US] নির্দেশাবলীর জন্য অতিরিক্ত বিল্ট-ইন ফাংশন যুক্ত করা হয়েছে। ফাংশন মাল্টি-ভার্সনিং (FMV) সমর্থন স্থিতিশীল করা হয়েছে। ব্যবহারকারীরা এখন বিভিন্ন ফাংশন সংস্করণের অগ্রাধিকার ওভাররাইড করতে পারবেন।
• LoongArch32 (LA32R, LA32S) আর্কিটেকচারের জন্য সমর্থন যোগ করা হয়েছে।
• ARM, AMDGPU, RISC-V, LoongArch64, MIPS, WebAssembly, এবং PowerPC আর্কিটেকচারের জন্য উন্নত ব্যাকএন্ড।

উত্স: opennet.ru