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

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

LLVM 10.0 માં નવી વિશેષતાઓમાં C++ કન્સેપ્ટ્સ માટે સપોર્ટ, હવે અલગ પ્રક્રિયા તરીકે ક્લેંગ ચાલતું નથી, Windows માટે CFG (કંટ્રોલ ફ્લો ગાર્ડ) ચેક્સ માટે સપોર્ટ અને નવી CPU ક્ષમતાઓ માટે સપોર્ટનો સમાવેશ થાય છે.

સુધારણા રણકાર 10.0 માં:

• માટે ઉમેરાયેલ આધાર "ખ્યાલો", એક C++ ટેમ્પલેટ એક્સ્ટેંશન કે જે આગલા ધોરણમાં સમાવવામાં આવશે, કોડનેમ C++2a (-std=c++2a ફ્લેગ દ્વારા ચાલુ).
  વિભાવનાઓ તમને ટેમ્પલેટ પેરામીટર આવશ્યકતાઓના સમૂહને વ્યાખ્યાયિત કરવાની મંજૂરી આપે છે જે, કમ્પાઇલ સમયે, દલીલોના સમૂહને મર્યાદિત કરે છે જેને નમૂના પરિમાણો તરીકે સ્વીકારી શકાય છે. ટેમ્પલેટમાં ઉપયોગમાં લેવાતા ડેટા પ્રકારોના ગુણધર્મો અને ઇનપુટ પરિમાણોના ડેટા પ્રકાર ગુણધર્મો વચ્ચે તાર્કિક વિસંગતતાઓને ટાળવા માટે ખ્યાલોનો ઉપયોગ કરી શકાય છે.

  ટેમ્પલેટ
  ખ્યાલ સમાનતા તુલનાત્મક = જરૂરી છે (T a, T b) {
  { a == b } -> std::બૂલિયન;
  { a != b } -> std::boolean;
  };

• ડિફૉલ્ટ રૂપે, એક અલગ પ્રક્રિયા ("ક્લાંગ -સીસી 1") ની શરૂઆત કે જેમાં સંકલન કરવામાં આવે છે તે બંધ કરવામાં આવે છે. સંકલન હવે મુખ્ય પ્રક્રિયામાં કરવામાં આવે છે, અને "-fno-integrated-cc1" વિકલ્પનો ઉપયોગ જૂના વર્તનને પુનઃસ્થાપિત કરવા માટે કરી શકાય છે.
• નવા ડાયગ્નોસ્ટિક મોડ્સ:
  • "-Wc99-ડિઝિનેટર" અને "-Wreorder-init-list" C++ મોડમાં C99 ઇનિશિયલાઇઝર્સનો ઉપયોગ સામે ચેતવણી આપે છે જ્યાં તેઓ 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" એ બીટવાઇઝ ઓપરેશન અને કોન્સ્ટન્ટ વચ્ચેની ટૉટોલોજિકલ સરખામણીઓનું નિદાન કરવા અને હંમેશા-સાચી સરખામણીઓ ઓળખવા માટે ચેતવણીઓનું એક જૂથ છે જેમાં બિન-નકારાત્મક સંખ્યા પર bitwise OR ઑપરેશન લાગુ કરવામાં આવે છે.
  • "-Wbitwise-શરતી-કૌંસ" શરતી ઓપરેટર (?:) સાથે લોજિકલ ઓપરેટર્સ AND (&) અને OR (|) નું મિશ્રણ કરતી વખતે સમસ્યાઓની ચેતવણી આપે છે.
  • “-Wmisleading-Indentation” એ GCC ના સમાન નામના ચેકનું એનાલોગ છે, જે ઇન્ડેન્ટેડ અભિવ્યક્તિઓ વિશે ચેતવણી આપે છે જાણે કે તેઓ if/else/for/while બ્લોકનો ભાગ હોય, પરંતુ હકીકતમાં તેઓ આ બ્લોકમાં સમાવિષ્ટ નથી. .
  • "-વેક્સ્ટ્રા" નો ઉલ્લેખ કરતી વખતે, "-Wdeprecated-copy" ચેક સક્ષમ છે, જે કન્સ્ટ્રક્ટરના ઉપયોગ વિશે ચેતવણી આપે છે
    સ્પષ્ટ વિનાશક વ્યાખ્યા સાથે વર્ગોમાં "મૂવ" અને "કૉપિ" કરો.

  • "-Wtautological-overlap-compare", "-Wsizeof-pointer-div", "-Wtautological-compare", "-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-bit zmm રજિસ્ટરનો ઉપયોગ કરવાનું બંધ કરી દીધું છે, સિવાય કે સ્રોત કોડમાં તેમના સીધા સંકેતો. કારણ એ છે કે 512-બીટ કામગીરી કરતી વખતે CPU આવર્તન ઘટે છે, જે સમગ્ર કામગીરીને નકારાત્મક રીતે અસર કરી શકે છે. નવી વર્તણૂક બદલવા માટે, "-mprefer-vector-width=512" વિકલ્પ પૂરો પાડવામાં આવે છે.
• "-flax-vector-conversions" ફ્લેગનું વર્તન GCC જેવું જ છે: પૂર્ણાંક અને ફ્લોટિંગ-પોઇન્ટ વેક્ટર વચ્ચે ગર્ભિત વેક્ટર બીટ રૂપાંતરણો પ્રતિબંધિત છે. આ મર્યાદાને દૂર કરવા માટે, ધ્વજનો ઉપયોગ કરવાનો પ્રસ્તાવ છે
  "-flax-vector-conversions=all" જે ડિફોલ્ટ છે.

• Octeon પરિવારના MIPS CPUs માટે સુધારેલ આધાર. માન્ય CPU પ્રકારોની સૂચિમાં "octeon+" ઉમેર્યું.
• WebAssembly મધ્યવર્તી કોડમાં એસેમ્બલ કરતી વખતે, જો સિસ્ટમમાં ઉપલબ્ધ હોય તો, wasm-opt optimizer આપમેળે કૉલ થાય છે.
• RISC-V આર્કિટેક્ચર પર આધારિત સિસ્ટમો માટે, એસેમ્બલર ઇનલાઇન ઇન્સર્ટ્સના શરતી બ્લોક્સમાં ફ્લોટિંગ પોઇન્ટ મૂલ્યોને સંગ્રહિત કરતા રજિસ્ટરનો ઉપયોગ કરવાની મંજૂરી છે.
• નવા કમ્પાઇલર ફ્લેગ ઉમેર્યા: "__GNUC__" અને સમાન મેક્રો માટે સંસ્કરણ મૂલ્ય સેટ કરવા માટે "-fgnuc-version"; "__FILE__" જેવા મેક્રોમાં ડાયરેક્ટરી ઉપસર્ગ OLD ને NEW સાથે બદલવા માટે "-fmacro-prefix-map=OLD=NEW"; "-fpatchable-function-entry=N[,M]" ફંક્શન એન્ટ્રી પોઈન્ટ પહેલા અને પછી ચોક્કસ સંખ્યામાં NOP સૂચનાઓ જનરેટ કરવા માટે. RISC-V માટે
  "-ffixed-xX", "-mcmodel=medany" અને "-mcmodel=medlow" ફ્લેગો માટે ઉમેરાયેલ આધાર.

• '__વિશેષતા__((લક્ષ્ય("બ્રાંચ-પ્રોટેક્શન=..."))) એટ્રિબ્યુટ માટે ઉમેરાયેલ સપોર્ટ, જેની અસર વિકલ્પ જેવી જ છે શાખા-સંરક્ષણ.
• વિન્ડોઝ પ્લેટફોર્મ પર, જ્યારે “-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 LLVM IR અને જીવંતતા જેવી 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 સપોર્ટ. પાવરપીસી માટે, MASSV (મેથેમેટિકલ એક્સિલરેશન સબસિસ્ટમ) લાઇબ્રેરીનો ઉપયોગ કરીને ગાણિતિક સબરૂટિનનું વેક્ટરાઇઝેશન સક્ષમ છે, કોડ જનરેશન સુધારેલ છે, અને લૂપ્સમાંથી મેમરી એક્સેસ ઑપ્ટિમાઇઝ કરવામાં આવે છે. x86 માટે, વેક્ટર પ્રકારો v2i32, v4i16, v2i16, v8i8, v4i8 અને v2i8 નું સંચાલન બદલવામાં આવ્યું છે.

• WebAssembly માટે સુધારેલ કોડ જનરેટર. TLS (થ્રેડ-લોકલ સ્ટોરેજ) અને atomic.fence સૂચનાઓ માટે સમર્થન ઉમેર્યું. SIMD સપોર્ટ નોંધપાત્ર રીતે વિસ્તૃત કરવામાં આવ્યો છે. WebAssembly ઑબ્જેક્ટ ફાઇલો હવે બહુ-મૂલ્ય ધરાવતા ફંક્શન સિગ્નેચરનો ઉપયોગ કરવાની ક્ષમતા ધરાવે છે.
• લૂપ્સની પ્રક્રિયા કરતી વખતે વિશ્લેષકનો ઉપયોગ થાય છે મેમરીએસએસએ, જે તમને વિવિધ મેમરી ઓપરેશન્સ વચ્ચે નિર્ભરતાને વ્યાખ્યાયિત કરવાની પરવાનગી આપે છે. MemorySSA સંકલન અને અમલના સમયને ઘટાડી શકે છે અથવા પ્રભાવ ગુમાવ્યા વિના AliasSetTracker ને બદલે તેનો ઉપયોગ કરી શકાય છે.
• LLDB ડીબગરે DWARF v5 ફોર્મેટ માટે સપોર્ટમાં નોંધપાત્ર સુધારો કર્યો છે. MinGW સાથે બિલ્ડિંગ માટે બહેતર સપોર્ટ
  અને એઆરએમ અને એઆરએમ 64 આર્કિટેક્ચર્સ માટે વિન્ડોઝ એક્ઝિક્યુટેબલ્સને ડીબગ કરવાની પ્રારંભિક ક્ષમતા ઉમેરી. ટેબ દબાવીને ઇનપુટ સ્વતઃપૂર્ણ કરતી વખતે ઓફર કરેલા વિકલ્પોનું વર્ણન ઉમેર્યું.

• વિસ્તૃત એલએલડી લિંકર ક્ષમતાઓ. ELF ફોર્મેટ માટે સુધારેલ સમર્થન, જેમાં GNU લિંકર સાથે ગ્લોબ ટેમ્પલેટ્સની સંપૂર્ણ સુસંગતતા સુનિશ્ચિત કરવી, સંકુચિત ડીબગ વિભાગ ".zdebug" માટે સમર્થન ઉમેરવા, .note.gnu.property વિભાગને વ્યાખ્યાયિત કરવા માટે PT_GNU_PROPERTY ગુણધર્મ ઉમેરવાનો સમાવેશ થાય છે (ભવિષ્યમાં ઉપયોગ કરી શકાય છે. Linux કર્નલ),
  “-z નોસેપરેટ-કોડ”, “-z અલગ-કોડ” અને “-z અલગ-લોડેબલ-સેગમેન્ટ્સ” મોડ્સ લાગુ કરવામાં આવ્યા છે. MinGW અને WebAssembly માટે સુધારેલ સપોર્ટ.

સોર્સ: opennet.ru