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

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

રણકાર 12.0 માં સુધારાઓ:

• C++20 સ્ટાન્ડર્ડમાં પ્રસ્તાવિત "સંભવિત" અને "અસંભવિત" વિશેષતાઓ માટેનો આધાર ડિફૉલ્ટ રૂપે અમલમાં મૂકવામાં આવ્યો છે અને સક્ષમ કરવામાં આવ્યો છે, જે ઑપ્ટિમાઇઝરને શરતી રચના ટ્રિગર થવાની સંભાવના વિશે જાણ કરવાની મંજૂરી આપે છે (ઉદાહરણ તરીકે, "[[સંભવિતતા ]] જો (રેન્ડમ > 0) {“).
• AMD Zen 3 (-march=znver3), Intel Alder Lake (-march=alderlake) અને Intel Sapphire Rapids (-march=sapphirerapids) પ્રોસેસરો માટે ઉમેરાયેલ સપોર્ટ.
• x86-64 આર્કિટેક્ચર સ્તરો પસંદ કરવા માટે "-march=x234-86-v[64]" ફ્લેગ માટે સમર્થન ઉમેર્યું (v2 - SSE4.2, SSSE3, POPCNT અને CMPXCHG16B એક્સટેન્શનને આવરી લે છે; v3 - AVX2 અને MOVBE; v4 - AVX-512 ).
• Arm Cortex-A78C (cortex-a78c), Arm Cortex-R82 (cortex-r82), Arm Neoverse V1 (neoverse-v1), Arm Neoverse N2 (neoverse-n2) અને Fujitsu A64FX (a64fx) પ્રોસેસરો માટે ઉમેરાયેલ સપોર્ટ. ઉદાહરણ તરીકે, Neoverse-V1 CPUs માટે ઑપ્ટિમાઇઝેશન સક્ષમ કરવા માટે, તમે "-mcpu=neoverse-v1" નો ઉલ્લેખ કરી શકો છો.
• AArch64 આર્કિટેક્ચર માટે, "__aarch64_cas8_relax" જેવા અણુ ઓપરેશન હેલ્પર ફંક્શનને સક્ષમ અથવા નિષ્ક્રિય કરવા માટે નવા કમ્પાઇલર ફ્લેગ્સ "-moutline-atomics" અને "-mno-outline-atomics" ઉમેરવામાં આવ્યા છે. આવા ફંક્શન્સ રનટાઇમ પર શોધી કાઢે છે કે શું LSE (મોટા સિસ્ટમ એક્સ્ટેન્શન્સ) સપોર્ટ ઉપલબ્ધ છે અને આપેલ અણુ પ્રોસેસર સૂચનાઓનો ઉપયોગ કરે છે અથવા સિંક્રનાઇઝેશન માટે LL/SC (લોડ-લિંક/સ્ટોર-કન્ડિશનલ) સૂચનાઓનો ઉપયોગ કરે છે.
• જૂના લિંકર અને એસેમ્બલર વર્તન સાથે સુસંગતતા માટે binutils સ્યુટના લક્ષ્ય સંસ્કરણને પસંદ કરવા માટે "-fbinutils-version" વિકલ્પ ઉમેર્યો.
• ELF એક્ઝિક્યુટેબલ ફાઇલો માટે, જ્યારે "-gz" ફ્લેગ સ્પષ્ટ કરવામાં આવે છે, ત્યારે zlib લાઇબ્રેરીનો ઉપયોગ કરીને ડિબગીંગ માહિતીનું કમ્પ્રેશન ડિફૉલ્ટ રૂપે (gz=zlib) સક્ષમ હોય છે. પરિણામી ઑબ્જેક્ટ ફાઇલોને લિંક કરવા માટે lld અથવા GNU binutils 2.26+ જરૂરી છે. binutils ની જૂની આવૃત્તિઓ સાથે સુસંગતતા પુનઃસ્થાપિત કરવા માટે, તમે "-gz=zlib-gnu" નો ઉલ્લેખ કરી શકો છો.
• 'આ' પોઇન્ટર હવે નોનનલ અને ડિરેફરન્સેબલ(N) ચેક્સ સાથે પ્રક્રિયા કરવામાં આવે છે. જ્યારે તમારે NULL મૂલ્યોનો ઉપયોગ કરવાની જરૂર હોય ત્યારે nonnull લક્ષણને દૂર કરવા માટે, તમે "-fdelete-null-pointer-checks" વિકલ્પનો ઉપયોગ કરી શકો છો.
• Linux પ્લેટફોર્મ પર, "-fasynchronous-unwind-tables" મોડ AArch64 અને PowerPC આર્કિટેક્ચર્સ માટે GCC ની જેમ અનવાઇન્ડ કોલ કોષ્ટકો જનરેટ કરવા માટે સક્ષમ છે.
• "#pragma clang loop vectorize_width" માં વેક્ટરાઇઝેશન પદ્ધતિ પસંદ કરવા માટે "નિશ્ચિત" (ડિફોલ્ટ) અને "સ્કેલેબલ" વિકલ્પોનો ઉલ્લેખ કરવાની ક્ષમતા ઉમેરાઈ છે. "સ્કેલેબલ" મોડ, વેક્ટર લંબાઈથી સ્વતંત્ર, પ્રાયોગિક છે અને સ્કેલેબલ વેક્ટરાઇઝેશનને સપોર્ટ કરતા હાર્ડવેર પર તેનો ઉપયોગ કરી શકાય છે.
• વિન્ડોઝ પ્લેટફોર્મ માટે સુધારેલ સપોર્ટ: આર્મ64 સિસ્ટમ્સ પર વિન્ડોઝ માટે સત્તાવાર બાઈનરી એસેમ્બલી તૈયાર કરવામાં આવી છે, જેમાં ક્લેંગ કમ્પાઈલર, એલએલડી લિંકર અને કમ્પાઈલર-આરટી રનટાઇમ લાઈબ્રેરીઓનો સમાવેશ થાય છે. MinGW ટાર્ગેટ પ્લેટફોર્મ્સ માટે નિર્માણ કરતી વખતે, .exe પ્રત્યય ઉમેરવામાં આવે છે, પછી ભલેને ક્રોસ-કમ્પાઇલ કરવામાં આવે.
• OpenCL, OpenMP અને CUDA માટે સપોર્ટ સાથે સંકળાયેલી ક્ષમતાઓ વિસ્તૃત કરવામાં આવી છે. OpenCL 3.0 અને OpenCL 1.0 માટે મેક્રો વિકલ્પો પસંદ કરવા "-cl-std=CL3.0" અને "-cl-std=CL1.0" વિકલ્પો ઉમેર્યા. ડાયગ્નોસ્ટિક સાધનોનો વિસ્તાર કરવામાં આવ્યો છે.
• કેટલાક x86-આધારિત પ્રોસેસરોમાં અમલમાં મુકાયેલ HRESET, UINTR, અને AVXVNNI સૂચનાઓ માટે ઉમેરાયેલ આધાર.
• x86 સિસ્ટમો પર, "-mtune=" વિકલ્પ માટે આધાર સક્રિય થયેલ છે ", જે પસંદ કરેલ માઇક્રોઆર્કિટેક્ચરલ ઓપ્ટિમાઇઝેશનને સક્રિય કરે છે, "-march= ની કિંમતને ધ્યાનમાં લીધા વગર. "
• સ્થિર વિશ્લેષકે કેટલાક POSIX કાર્યોની પ્રક્રિયામાં સુધારો કર્યો છે અને જ્યારે સરખામણીમાં ઘણા સાંકેતિક મૂલ્યો હોય ત્યારે શરતી કામગીરીના પરિણામના નિર્ધારણમાં નોંધપાત્ર સુધારો કર્યો છે. નવા ચેક ઉમેરવામાં આવ્યા છે: fuchia.HandleChecker (સ્ટ્રક્ચર્સમાં હેન્ડલ્સ વ્યાખ્યાયિત કરે છે), webkit.UncountedLambdaCapturesChecker વેબકિટ અને alpha.webkit.UncountedLocalVarsChecker (વેબકિટ એન્જિન કોડમાં પોઇન્ટર સાથે કામ કરવાની વિશિષ્ટતાઓને ધ્યાનમાં લે છે).
• સ્થિરાંકોના સંદર્ભમાં વપરાતા અભિવ્યક્તિઓમાં, બિલ્ટ-ઇન ફંક્શન્સનો ઉપયોગ __builtin_bitreverse*, __builtin_rotateleft*, __builtin_rotateright*, _mm_popcnt*, _bit_scan_forward, __bsfd, __bsfq, __bit_scan_reverse, __wap__rdbs__, wap__scan wap64, માન્ય છે. __bswapq , _castf*, __rol* અને __ror*.
• ઓળખકર્તાઓ, કૉલમ્સ અને ફીલ્ડ વ્યાખ્યાઓની આસપાસના અંતરને પસંદ કરવા માટે ક્લેંગ-ફોર્મેટ ઉપયોગિતામાં BitFieldColonSpacing વિકલ્પ ઉમેર્યો.
• લિનક્સ પ્લેટફોર્મ પર ક્લેંગડ કેશીંગ સર્વર (ક્લાંગ સર્વર) એ લાંબા ગાળાની કામગીરી દરમિયાન મેમરી વપરાશમાં નોંધપાત્ર ઘટાડો કર્યો છે (ઓપરેટિંગ સિસ્ટમ પર મફત મેમરી પૃષ્ઠો પરત કરવા માટે malloc_trim પર સામયિક કૉલ્સ પ્રદાન કરવામાં આવે છે).

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

• Python માં લખાયેલ llvm-build બિલ્ડ ટૂલ માટેનો આધાર બંધ કરવામાં આવ્યો છે, અને તેના બદલે પ્રોજેક્ટ સંપૂર્ણપણે CMake બિલ્ડ સિસ્ટમનો ઉપયોગ કરવા માટે સ્વિચ થયો છે.
• AArch64 આર્કિટેક્ચર માટે બેકએન્ડમાં, વિન્ડોઝ પ્લેટફોર્મ માટે સપોર્ટ બહેતર બનાવવામાં આવ્યો છે: લક્ષિત વિન્ડોઝ સિસ્ટમ્સ માટે એસેમ્બલર આઉટપુટની સાચી જનરેશન સુનિશ્ચિત કરવામાં આવી છે, અનવાઈન્ડ કૉલ્સ પર ડેટાનું ઉત્પાદન ઑપ્ટિમાઇઝ કરવામાં આવ્યું છે (આવા ડેટાનું કદ 60 દ્વારા ઘટાડવામાં આવ્યું છે. %), એસેમ્બલરનો ઉપયોગ કરીને અનવાઈન્ડ ડેટા બનાવવાની ક્ષમતામાં નિર્દેશો ઉમેરવામાં આવ્યા છે .seh_*.
• પાવરપીસી આર્કિટેક્ચર માટેના બેકએન્ડમાં લૂપ્સ અને ઇનલાઇન ડિપ્લોયમેન્ટ માટે નવા ઓપ્ટિમાઇઝેશન, પાવર10 પ્રોસેસર્સ માટે વિસ્તૃત સપોર્ટ, મેટ્રિક્સ મેનીપ્યુલેશન માટે MMA સૂચનાઓ માટે ઉમેરાયેલ સપોર્ટ અને AIX ઓપરેટિંગ સિસ્ટમ માટે સુધારેલ સપોર્ટ છે.
• x86 બેકએન્ડ AMD Zen 3, Intel Alder Lake અને Intel Sapphire Rapids પ્રોસેસરો, તેમજ HRESET, UINTR અને AVXVNNI પ્રોસેસર સૂચનાઓ માટે સપોર્ટ ઉમેરે છે. મેમરી સીમાઓ હવે સમર્થિત નથી તેની ખાતરી કરવા માટે પોઇન્ટર તપાસવા માટે MPX (મેમરી પ્રોટેક્શન એક્સ્ટેન્શન્સ) માટે સપોર્ટ (આ ટેક્નોલોજી વ્યાપક નથી અને GCC અને ક્લેંગમાંથી પહેલેથી જ દૂર કરવામાં આવી છે). ઑપરેન્ડ ઑફસેટ્સ અને જમ્પ્સના કદને નિયંત્રિત કરવા માટે {disp32} અને {disp8} ઉપસર્ગો અને .d32 અને .d8 પ્રત્યયો માટે એસેમ્બલરને સમર્થન ઉમેર્યું. માઇક્રોઆર્કિટેક્ચરલ ઑપ્ટિમાઇઝેશનના સમાવેશને નિયંત્રિત કરવા માટે એક નવું લક્ષણ "tune-cpu" ઉમેર્યું.
• એક નવો મોડ “-fsanitize=unsigned-shift-base” ને પૂર્ણાંક સમસ્યા શોધનાર (પૂર્ણાંક સેનિટાઈઝર, “-fsanitize=integer”) માં ઉમેરવામાં આવ્યો છે જેથી થોડી ડાબી બાજુએ શિફ્ટ થયા પછી સહી ન કરેલા પૂર્ણાંકોના ઓવરફ્લોને શોધી શકાય.
• વિવિધ ડિટેક્ટર્સ (asan, cfi, lsan, msan, tsan, ubsan sanitizer) માં પ્રમાણભૂત મુસલ લાઇબ્રેરી સાથે Linux વિતરણો માટે સપોર્ટ ઉમેરવામાં આવ્યો છે.
• એલએલડી લિંકરની ક્ષમતાઓ વિસ્તૃત કરવામાં આવી છે. "--નિર્ભરતા-ફાઇલ", "-એરર-હેન્ડલિંગ-સ્ક્રીપ્ટ", "-lto-સ્યુડો-પ્રોબ-ફોર-પ્રોફાઇલિંગ", "-નો-lto-સંપૂર્ણ-પ્રોગ્રામ" ઉમેરાયેલ વિકલ્પો સહિત ELF ફોર્મેટ માટે સુધારેલ સમર્થન -દૃશ્યતા"" સુધારેલ MinGW સપોર્ટ. Mach-O ફોર્મેટ (macOS) માટે, arm64, arm, અને i386 આર્કિટેક્ચર માટે સપોર્ટ, લિંક-ટાઇમ ઑપ્ટિમાઇઝેશન (LTO), અને અપવાદ હેન્ડલિંગ માટે સ્ટેક અનવાઇન્ડિંગ લાગુ કરવામાં આવ્યું છે.
• Libc++ C++20 સ્ટાન્ડર્ડની નવી વિશેષતાઓને અમલમાં મૂકે છે અને C++2b સ્પેસિફિકેશનની સુવિધાઓ વિકસાવવાનું શરૂ કર્યું છે. સ્થાનિકીકરણ સપોર્ટ (“-DLIBCXX_ENABLE_LOCALIZATION=OFF”) અને સ્યુડો-રેન્ડમ નંબર્સ (“-DLIBCXX_ENABLE_RANDOM_DEVICE=OFF”) જનરેટ કરવા માટે ઉપકરણોને અક્ષમ કરવા સાથેના નિર્માણ માટે સપોર્ટ ઉમેરાયો.

સોર્સ: opennet.ru