LLVM 15.0 કમ્પાઇલર સ્યુટનું પ્રકાશન

વિકાસના છ મહિના પછી, LLVM 15.0 પ્રોજેક્ટનું પ્રકાશન રજૂ કરવામાં આવ્યું - એક GCC-સુસંગત ટૂલકિટ (કમ્પાઇલર્સ, ઑપ્ટિમાઇઝર્સ અને કોડ જનરેટર) જે RISC-જેવી વર્ચ્યુઅલ સૂચનાઓના મધ્યવર્તી બિટકોડમાં પ્રોગ્રામ્સનું સંકલન કરે છે (એક નીચા-સ્તરના વર્ચ્યુઅલ મશીન સાથે. મલ્ટિ-લેવલ ઑપ્ટિમાઇઝેશન સિસ્ટમ). જનરેટ કરેલ સ્યુડોકોડને JIT કમ્પાઈલરનો ઉપયોગ કરીને પ્રોગ્રામ એક્ઝિક્યુશન સમયે સીધા જ મશીન સૂચનાઓમાં રૂપાંતરિત કરી શકાય છે.

રણકાર 15.0 માં મુખ્ય સુધારાઓ:

• x86 આર્કિટેક્ચર પર આધારિત સિસ્ટમો માટે, "-fzero-call-used-regs" ફ્લેગ ઉમેરવામાં આવ્યો છે, જે ખાતરી કરે છે કે ફંક્શનમાંથી નિયંત્રણ પરત કરતા પહેલા ફંક્શનમાં ઉપયોગમાં લેવાતા તમામ CPU રજિસ્ટર શૂન્ય પર રીસેટ છે. આ વિકલ્પ તમને કાર્યોમાંથી માહિતીના લીકેજ સામે રક્ષણ આપવા અને શોષણમાં ROP (રિટર્ન-ઓરિએન્ટેડ પ્રોગ્રામિંગ) ગેજેટ્સ બનાવવા માટે યોગ્ય બ્લોક્સની સંખ્યાને લગભગ 20% ઘટાડવાની મંજૂરી આપે છે.
• C કોડ માટે સ્ટ્રક્ચર્સની મેમરી પ્લેસમેન્ટનું રેન્ડમાઇઝેશન અમલમાં મૂકવામાં આવ્યું છે, જે નબળાઈઓના શોષણની સ્થિતિમાં સ્ટ્રક્ચર્સમાંથી ડેટાના નિષ્કર્ષણને જટિલ બનાવે છે. randomize_layout અને no_randomize_layout એટ્રિબ્યુટ્સનો ઉપયોગ કરીને રેન્ડમાઇઝેશન ચાલુ અને બંધ કરવામાં આવે છે અને "-ફ્રેન્ડમાઇઝ-લેઆઉટ-સીડ" અથવા "-ફ્રેન્ડમાઇઝ-લેઆઉટ-સીડ-ફાઇલ" ફ્લેગનો ઉપયોગ કરીને બીજ સેટ કરવાની જરૂર છે.
• ઉમેરાયેલ "-fstrict-flex-arrays=" ધ્વજ ", જેની સાથે તમે સ્ટ્રક્ચર્સમાં ફ્લેક્સિબલ એરે એલિમેન્ટ માટે સીમાઓને નિયંત્રિત કરી શકો છો (લવચીક એરે સભ્યો, બંધારણના અંતે અનિશ્ચિત કદની એરે). જ્યારે 0 (ડિફૉલ્ટ) પર સેટ કરવામાં આવે છે, ત્યારે એરે સાથેનું બંધારણનું છેલ્લું ઘટક હંમેશા લવચીક એરે તરીકે પ્રક્રિયા કરવામાં આવે છે, 1 - માત્ર માપો [], [0] અને [1] પર લવચીક એરે તરીકે પ્રક્રિયા કરવામાં આવે છે, 2 - માત્ર કદ [] અને [0] ફ્લેક્સિબલ એરેની જેમ પ્રક્રિયા કરવામાં આવે છે.
• સી-જેવી ભાષા એચએલએસએલ (હાઈ-લેવલ શેડર લેંગ્વેજ) માટે પ્રાયોગિક સમર્થન ઉમેર્યું, શેડર લખવા માટે ડાયરેક્ટએક્સમાં વપરાય છે.
• નિશ્ચિત- અને ચલ-લંબાઈ એરે સાથે સંકળાયેલ અસંગત દલીલ ઘોષણાઓ સાથે ઓવરરાઇડિંગ કાર્યો વિશે ચેતવણી આપવા માટે "-Warray-પેરામીટર" ઉમેર્યું.
• MSVC સાથે સુધારેલ સુસંગતતા. MSVC માં પૂરા પાડવામાં આવેલ "#pragma ફંક્શન" (ઇનલાઇન વિસ્તરણને બદલે ફંક્શન કૉલ જનરેટ કરવા કમ્પાઇલરને સૂચના આપે છે) અને "#pragma alloc_text" (ફંક્શન કોડ સાથે વિભાગનું નામ વ્યાખ્યાયિત કરે છે) માટે ઉમેરાયેલ સપોર્ટ. MSVC-સુસંગત /JMC અને /JMC ફ્લેગો માટે ઉમેરાયેલ આધાર.
• ભવિષ્યના C2X અને C++23 ધોરણોને સમર્થન આપવા માટે કાર્ય ચાલુ છે. C ભાષા માટે, નીચેનાનો અમલ કરવામાં આવે છે: noreturn એટ્રિબ્યુટ, કીવર્ડ્સ ખોટા અને સાચા, આપેલ બીટ ઊંડાઈના પૂર્ણાંકો માટે _BitInt(N) પ્રકાર, *_WIDTH મેક્રો, UTF-8 એન્કોડેડ અક્ષરો માટે u8 ઉપસર્ગ.

  C++ માટે, નીચેનાનો અમલ કરવામાં આવે છે: મોડ્યુલ મર્જિંગ, ફંક્શન મેમ્બર્સની ABI અલગતા, મોડ્યુલમાં બિન-સ્થાનિક વેરિયેબલનું ડાયનેમિક ઇનિશિયલાઇઝેશન, મલ્ટિ-ડાયમેન્શનલ ઇન્ડેક્સ ઓપરેટર્સ, ઓટો(x), નોન-લિટરલ વેરિએબલ, ગોટો અને લેબલ્સ કોન્સ્ટેક્સપ્ર તરીકે જાહેર કરવામાં આવે છે. , સીમાંકિત એસ્કેપ સિક્વન્સ, નામના એસ્કેપ અક્ષરો.

• OpenCL અને OpenMP સપોર્ટ સાથે સંકળાયેલી ક્ષમતાઓ વિસ્તૃત કરવામાં આવી છે. OpenCL એક્સ્ટેંશન cl_khr_subgroup_rotate માટે ઉમેરાયેલ આધાર.
• x86 આર્કિટેક્ચર માટે, બિનશરતી ફોરવર્ડ જમ્પ ઓપરેશન્સ પછી સૂચનાઓના સટ્ટાકીય અમલને કારણે પ્રોસેસરોમાં નબળાઈઓ સામે રક્ષણ ઉમેરવામાં આવ્યું છે. મેમરીમાં શાખા સૂચના (SLS, સ્ટ્રેટ લાઇન સ્પેક્યુલેશન) ને અનુસરીને તરત જ સૂચનાઓની પૂર્વ-ઉત્તમ પ્રક્રિયાને કારણે સમસ્યા ઊભી થાય છે. સુરક્ષાને સક્ષમ કરવા માટે, વિકલ્પ “-mharden-sls=[none|all|return|indirect-jmp]” પ્રસ્તાવિત છે.
• SSE2 એક્સ્ટેંશનને સપોર્ટ કરતા પ્લેટફોર્મ્સ માટે, _Float16 પ્રકાર ઉમેરવામાં આવ્યો છે, જે AVX512-FP16 સૂચનાઓ માટે સમર્થનના અભાવના કિસ્સામાં ફ્લોટ પ્રકારનો ઉપયોગ કરીને અનુકરણ કરવામાં આવે છે.
• RDPRU સૂચનાના ઉપયોગને નિયંત્રિત કરવા માટે "-m[no-]rdpru" ફ્લેગ ઉમેરવામાં આવ્યો, AMD Zen2 પ્રોસેસર્સથી શરૂ કરીને સપોર્ટેડ.
• RETBLEED નબળાઈ સામે રક્ષણ આપવા માટે "-mfunction-return=thunk-extern" ફ્લેગ ઉમેર્યો, જે પરોક્ષ શાખાઓ માટે સટ્ટાકીય એક્ઝેક્યુશન મિકેનિઝમની સંડોવણીને બાકાત રાખતી સૂચનાઓનો ક્રમ ઉમેરીને કામ કરે છે.

LLVM 15.0 માં મુખ્ય નવીનતાઓ:

• Cortex-M85 CPU, Armv9-A, Armv9.1-A અને Armv9.2-A આર્કિટેક્ચર્સ, Armv8.1-M PACBTI-M એક્સ્ટેન્શન્સ માટે ઉમેરાયેલ સપોર્ટ.
• ડાયરેક્ટએક્સ માટે પ્રાયોગિક બેકએન્ડ ઉમેરવામાં આવ્યું છે જે ડાયરેક્ટએક્સ શેડર્સ માટે ઉપયોગમાં લેવાતા DXIL (ડાયરેક્ટએક્સ ઇન્ટરમીડિયેટ લેંગ્વેજ) ફોર્મેટને સપોર્ટ કરે છે. એસેમ્બલી દરમિયાન “-DLLVM_EXPERIMENTAL_TARGETS_TO_BUILD=DirectX” પરિમાણનો ઉલ્લેખ કરીને બેકએન્ડ સક્ષમ કરવામાં આવે છે.
• Libc++ C++20 અને C++2b ધોરણોની નવી સુવિધાઓનો અમલ કરવાનું ચાલુ રાખે છે, જેમાં “ફોર્મેટ” લાઇબ્રેરીના અમલીકરણ અને “રેન્જ્સ” લાઇબ્રેરીના પ્રસ્તાવિત પ્રાયોગિક સંસ્કરણનો સમાવેશ થાય છે.
• x86, PowerPC અને RISC-V આર્કિટેક્ચરો માટે સુધારેલ બેકએન્ડ.
• LLD લિંકર અને LLDB ડીબગરની ક્ષમતાઓ વધારવામાં આવી છે.

સોર્સ: opennet.ru