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

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

નવા પ્રકાશનમાં મુખ્ય ફેરફારનો સમાવેશ હતો ફ્લૅન્ક, ફોર્ટ્રેન ભાષા માટે ફ્રન્ટએન્ડ. ફ્લેંગ Fortran 2018, OpenMP 4.5 અને OpenACC 3.0 ને સપોર્ટ કરે છે, પરંતુ પ્રોજેક્ટનો વિકાસ હજી પૂર્ણ થયો નથી અને આગળનો છેડો કોડ પાર્સિંગ અને ચોકસાઈ માટે તપાસવા સુધી મર્યાદિત છે. LLVM ઇન્ટરમીડિયેટ કોડની જનરેશન હજુ સુધી સપોર્ટેડ નથી અને એક્ઝિક્યુટેબલ ફાઇલો જનરેટ કરવા માટે કેનોનિકલ કોડ જનરેટ થાય છે અને એક્સટર્નલ ફોર્ટ્રેન કમ્પાઇલરને મોકલવામાં આવે છે.

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

• અમૂર્ત વાક્યરચના વૃક્ષને પુનઃસ્થાપિત કરવાની ક્ષમતા ઉમેરી (એસ્ટ) તૂટેલા C++ કોડ માટે, જેનો ઉપયોગ ભૂલોનું નિદાન કરવામાં મદદ કરવા માટે થઈ શકે છે અને ક્લેંગ-ટીડી અને ક્લેંગડ જેવી બાહ્ય ઉપયોગિતાઓને વધારાની માહિતી પૂરી પાડે છે. આ સુવિધા C++ કોડ માટે ડિફોલ્ટ રૂપે સક્ષમ છે અને "-Xclang -f[no-]recovery-ast" વિકલ્પો દ્વારા નિયંત્રિત થાય છે.
• નવા ડાયગ્નોસ્ટિક મોડ્સ ઉમેર્યા:
  • “-Wpointer-to-int-cast” એ પૂર્ણાંક પ્રકાર int પર નિર્દેશકોને કાસ્ટ કરવા વિશે ચેતવણીઓનું એક જૂથ છે જે તમામ સંભવિત મૂલ્યોને સમાવતું નથી.
  • “-Wuninitialized-const-reference” - ફંક્શન પેરામીટર્સમાં શરૂ ન કરાયેલ ચલો પસાર કરવા વિશે ચેતવણી જે “const” એટ્રિબ્યુટ સાથે સંદર્ભ દલીલો સ્વીકારે છે.
  • "-વિમ્પલિસીટ-કોન્સ્ટ-ઇન્ટ-ફ્લોટ-કન્વર્ઝન" - પૂર્ણાંક પ્રકારમાં વાસ્તવિક સ્થિરાંકના ગર્ભિત રૂપાંતર વિશે ડિફોલ્ટ ચેતવણી દ્વારા સક્ષમ.
• એઆરએમ પ્લેટફોર્મ માટે, કમ્પાઈલરમાં બિલ્ટ C ફંક્શન આપવામાં આવે છે (આંતરિક), કાર્યક્ષમ વેક્ટર સૂચનાઓ આર્મ v8.1-M MVE અને CDE દ્વારા બદલાઈ. ઉપલબ્ધ કાર્યોને હેડર ફાઈલો arm_mve.h અને arm_cde.h માં વ્યાખ્યાયિત કરવામાં આવે છે.
• ઉમેર્યું વિસ્તૃત પૂર્ણાંક પ્રકારોનો સમૂહ _ExtInt(N), તમને એવા પ્રકારો બનાવવાની મંજૂરી આપે છે કે જે બેની શક્તિના ગુણાંકમાં ન હોય, જે FPGA/HLS પર અસરકારક રીતે પ્રક્રિયા કરી શકાય છે. ઉદાહરણ તરીકે, _ExtInt(7) 7 બિટ્સ ધરાવતા પૂર્ણાંક પ્રકારને વ્યાખ્યાયિત કરે છે.
• ARM SVE (સ્કેલેબલ વેક્ટર એક્સ્ટેંશન) સૂચનાઓ પર આધારિત બિલ્ટ-ઇન C ફંક્શન્સ માટે સમર્થનને વ્યાખ્યાયિત કરતા મેક્રો ઉમેર્યા:
  __ARM_FEATURE_SVE, __ARM_FEATURE_SVE_BF16,
  __ARM_FEATURE_SVE_MATMUL_FP32, __ARM_FEATURE_SVE_MATMUL_FP64,
  __ARM_FEATURE_SVE_MATMUL_INT8,
  __ARM_FEATURE_SVE2, __ARM_FEATURE_SVE2_AES,
  __ARM_FEATURE_SVE2_BITPERM,
  __ARM_FEATURE_SVE2_SHA3,
  __ARM_FEATURE_SVE2_SM4. ઉદાહરણ તરીકે, આદેશ વાક્ય વિકલ્પ "-march=armv64-a+sve" સેટ કરીને AArch8 કોડ જનરેટ કરતી વખતે __ARM_FEATURE_SVE મેક્રો વ્યાખ્યાયિત કરવામાં આવે છે.

• "-O" ધ્વજને હવે "-O1" ને બદલે "-O2" ઓપ્ટિમાઇઝેશન મોડથી ઓળખવામાં આવે છે.
• નવા કમ્પાઇલર ફ્લેગ ઉમેર્યા:
  • "-fstack-clash-protection" - સામે રક્ષણ સક્ષમ કરે છે સ્ટેક અને ઢગલાના આંતરછેદ.
  • "-ffp-exception-behavior={ignore,maytrap,strict}" - તમને ફ્લોટિંગ પોઈન્ટ નંબરો માટે અપવાદ હેન્ડલર મોડ પસંદ કરવાની પરવાનગી આપે છે.
  • "-ffp-model={ચોક્કસ, કડક, ઝડપી}" - ફ્લોટિંગ પોઈન્ટ નંબરો માટે વિશિષ્ટ વિકલ્પોની શ્રેણીની ઍક્સેસને સરળ બનાવે છે.
  • "-fpch-codegen" અને "-fpch-debuginfo" કોડ અને ડીબગિનફો માટે અલગ ઑબ્જેક્ટ ફાઇલો સાથે પ્રીકમ્પાઇલ્ડ હેડર (PCH) જનરેટ કરવા માટે.
  • “-fsanitize-coverage-allowlist” અને “-fsanitize-coverage-blocklist” કવરેજ પરીક્ષણ સફેદ અને કાળી યાદીઓ તપાસવા માટે.
  • TLS (થ્રેડ-લોકલ સ્ટોરેજ) કદ પસંદ કરવા માટે “-mtls-size={12,24,32,48}”.
  • પ્રાયોગિક RISC-V એક્સ્ટેંશનને સક્ષમ કરવા માટે "-મેનેબલ-પ્રાયોગિક-એક્સટેન્શન".
• C માટે ડિફોલ્ટ મોડ "-fno-common" છે, જે કેટલાક પ્લેટફોર્મ પર વૈશ્વિક ચલોની વધુ કાર્યક્ષમ ઍક્સેસ માટે પરવાનગી આપે છે.
• મૂળભૂત મોડ્યુલ કેશને /tmp માંથી ~/.cache ડિરેક્ટરીમાં ખસેડવામાં આવી છે. ઓવરરાઇડ કરવા માટે, તમે “-fmodules-cache-path=” ફ્લેગનો ઉપયોગ કરી શકો છો.
• મૂળભૂત C ભાષા ધોરણને gnu11 થી gnu17 માં અપડેટ કરવામાં આવ્યું છે.
• GNU C એક્સ્ટેંશન માટે પ્રારંભિક સમર્થન ઉમેર્યું "asm ઇનલાઇન» એસેમ્બલર ઇન્સર્ટ ઉમેરવા માટે. એક્સ્ટેંશનનું હજુ પણ વિશ્લેષણ કરવામાં આવી રહ્યું છે, પરંતુ કોઈપણ રીતે પ્રક્રિયા કરવામાં આવી નથી.
• OpenCL અને CUDA સપોર્ટ સાથે સંકળાયેલી ક્ષમતાઓને વિસ્તૃત કરવામાં આવી છે. OpenCL 2.0 બ્લોક ડાયગ્નોસ્ટિક્સ માટે સમર્થન ઉમેર્યું અને નવી OpenMP 5.0 સુવિધાઓ લાગુ કરી.
• બાહ્ય "C" અને બાહ્ય "C++" બ્લોકમાં ગોઠવણી માટે ક્લેંગ-ફોર્મેટ ઉપયોગિતામાં IndentExternBlock વિકલ્પ ઉમેર્યો.
• સ્ટેટિક વિશ્લેષકે C++ માં વારસાગત કન્સ્ટ્રક્ટરના હેન્ડલિંગમાં સુધારો કર્યો છે. લૉકની તપાસ માટે alpha.core.C11Lock અને alpha.fuchsia.Lock, putenvનો અસુરક્ષિત ઉપયોગ શોધવા માટે alpha.security.cert.pos.34c, webkit.NoUncountedMemberChecker અને webkit.RefCntblBaseVirtualDtor, અલ-કોન્ટેબલ સમસ્યાઓ શોધવા માટે અસુરક્ષિત પ્રકારો સાથે નવા ચેક ઉમેર્યા. .cplusplus .SmartPtr નલ સ્માર્ટ પોઇન્ટર ડિરેફરન્સ માટે તપાસો.
• લીંટરમાં રણકાર-વ્યવસ્થિત ઉમેર્યું નવા ચેકનો મોટો હિસ્સો.
• ક્લેંગડ કેશીંગ સર્વર (ક્લાંગ સર્વર) એ કામગીરીમાં સુધારો કર્યો છે અને નવી ડાયગ્નોસ્ટિક ક્ષમતાઓ ઉમેરી છે.

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

• બિલ્ડ સિસ્ટમ પાયથોન 3 નો ઉપયોગ કરવા માટે સ્વિચ કરવામાં આવી છે. જો પાયથોન 3 ઉપલબ્ધ ન હોય, તો પાયથોન 2 નો ઉપયોગ કરવા માટે રોલબેક કરવું શક્ય છે.
• ગો લેંગ્વેજ (llgo) માટે કમ્પાઈલર સાથેનો આગળનો છેડો પ્રકાશનમાંથી બાકાત રાખવામાં આવ્યો છે, જે ભવિષ્યમાં પુનઃરચિત થઈ શકે છે.
• વેક્ટર-ફંક્શન-એબી-વેરિઅન્ટ એટ્રિબ્યુટને મધ્યવર્તી પ્રતિનિધિત્વ (IR) માં ઉમેરવામાં આવ્યું છે જેથી કૉલને વેક્ટરાઇઝ કરવા માટે સ્કેલર અને વેક્ટર ફંક્શન્સ વચ્ચેના મેપિંગનું વર્ણન કરવામાં આવે. llvm::VectorType માંથી બે અલગ વેક્ટર પ્રકારો છે llvm::FixedVectorType અને llvm::ScalableVectorType.
• udef મૂલ્યો પર આધારિત શાખાઓ અને પ્રમાણભૂત લાઇબ્રેરી કાર્યોમાં undef મૂલ્યો પસાર કરવાને અવ્યાખ્યાયિત વર્તન તરીકે ઓળખવામાં આવે છે. IN
  memset/memcpy/memmove undef પોઇન્ટર પસાર કરવાની પરવાનગી આપે છે, પરંતુ જો માપ સાથેનું પરિમાણ શૂન્ય હોય.

• LLJIT એ LLJIT::initialize અને LLJIT::deinitialize પદ્ધતિઓ દ્વારા સ્ટેટિક ઇનિશિયલાઇઝેશન કરવા માટે સપોર્ટ ઉમેર્યો છે. StaticLibraryDefinitionGenerator વર્ગનો ઉપયોગ કરીને JITDylib માં સ્ટેટિક લાઇબ્રેરીઓ ઉમેરવાની ક્ષમતાનો અમલ કર્યો. માટે C API ઉમેર્યું ORCv2 (JIT કમ્પાઇલર બનાવવા માટે API).
• Cortex-A64, Cortex-A34, Cortex-A77 અને Cortex-X78 પ્રોસેસરો માટેનો આધાર AArch1 આર્કિટેક્ચર માટે બેકએન્ડમાં ઉમેરવામાં આવ્યો છે. અમલીકૃત ARMv8.2-BF16 (BFloat16) અને ARMv8.6-A એક્સ્ટેંશન, જેમાં RMv8.6-ECV (ઉન્નત કાઉન્ટર વર્ચ્યુઅલાઇઝેશન), ARMv8.6-FGT (ફાઇન ગ્રેઇન્ડ ટ્રેપ્સ), ARMv8.6-AMU (એક્ટિવિટી મોનિટર્સ) વર્ચ્યુઅલાઈઝેશનનો સમાવેશ થાય છે. અને ARMv8.0-DGH (ડેટા ભેગી કરવાનો સંકેત). SVE વેક્ટર સૂચનાઓ માટે બિલ્ટ-ઇન ફંક્શન્સ-બાઇન્ડિંગ માટે કોડ જનરેટ કરવાની ક્ષમતા પ્રદાન કરવામાં આવી છે.
• Cortex-M55, Cortex-A77, Cortex-A78 અને Cortex-X1 પ્રોસેસરો માટે આધાર ARM આર્કિટેક્ચર માટે બેકએન્ડમાં ઉમેરવામાં આવ્યો છે. એક્સ્ટેન્શન્સ અમલમાં મૂક્યા
  Armv8.6-A મેટ્રિક્સ ગુણાકાર અને RMv8.2-AA32BF16 BFloat16.

• POWER10 પ્રોસેસરો માટે કોડ જનરેશન માટે આધાર PowerPC આર્કિટેક્ચર માટે બેકએન્ડમાં ઉમેરવામાં આવ્યો છે. લૂપ ઑપ્ટિમાઇઝેશનને વિસ્તૃત કરવામાં આવ્યું છે અને ફ્લોટિંગ પોઇન્ટ સપોર્ટમાં સુધારો કરવામાં આવ્યો છે.
• RISC-V આર્કિટેક્ચર માટેનો બેકએન્ડ પેચોની સ્વીકૃતિને મંજૂરી આપે છે જે પ્રાયોગિક વિસ્તૃત સૂચના સમૂહોને સમર્થન આપે છે જે હજુ સુધી સત્તાવાર રીતે મંજૂર થયા નથી.
• AVR આર્કિટેક્ચર માટે બેકએન્ડને પ્રાયોગિક શ્રેણીમાંથી સ્થિરમાં સ્થાનાંતરિત કરવામાં આવ્યું છે, જે મૂળભૂત વિતરણમાં સમાવિષ્ટ છે.
• x86 આર્કિટેક્ચર માટે બેકએન્ડ Intel AMX અને TSXLDTRK સૂચનાઓને સપોર્ટ કરે છે. હુમલા સામે રક્ષણ ઉમેર્યું LVI (લોડ વેલ્યુ ઇન્જેક્શન), અને સીપીયુ પર ઓપરેશનના સટ્ટાકીય અમલને કારણે થતા હુમલાઓને રોકવા માટે સામાન્ય સટ્ટાકીય અમલીકરણ સાઇડ ઇફેક્ટ સપ્રેસન મિકેનિઝમ પણ લાગુ કરે છે.
• SystemZ આર્કિટેક્ચર માટે બેકએન્ડમાં, MemorySanitizer અને LeakSanitizer માટે આધાર ઉમેરવામાં આવ્યો છે.
• Libc++ માં ગાણિતિક સ્થિરાંકો સાથે હેડર ફાઇલ માટે સમર્થન ઉમેર્યું .
• વિસ્તૃત એલએલડી લિંકર ક્ષમતાઓ. "--lto-emit-asm", "-lto-hole-program-visibility", "-print-archive-stats", "-shuffle-sections", "ઉમેરેલા વિકલ્પો સહિત ELF ફોર્મેટ માટે સુધારેલ સમર્થન. -થિનલ્ટો- સિંગલ-મોડ્યુલ", "-યુનિક", "-રોઝગમેન્ટ", "-થ્રેડ્સ=N". ટ્રેસને ફાઇલમાં સાચવવા માટે "--time-trace" વિકલ્પ ઉમેરવામાં આવ્યો, જેનું પછી Chrome માં chrome://tracing ઇન્ટરફેસ દ્વારા વિશ્લેષણ કરી શકાય છે.

સોર્સ: opennet.ru