שחרור מערך המהדר LLVM 12.0

לאחר שישה חודשים של פיתוח, הוצגה השחרור של פרויקט LLVM 12.0 - ערכת כלים תואמת GCC (מהדרים, אופטימיזציה ומחוללי קוד) המרכיבה תוכניות לקוד ביניים של הוראות וירטואליות דמויות RISC (מכונה וירטואלית ברמה נמוכה עם מערכת אופטימיזציה מרובת רמות). ניתן להמיר את הפסאודוקוד שנוצר באמצעות מהדר JIT להוראות מכונה ישירות בזמן ביצוע התוכנית.

שיפורים ב-Clang 12.0:

• תמיכה בתכונות "סביר" ו"לא סביר" המוצעות בתקן C++20 יושמה ומופעלה כברירת מחדל, מה שמאפשר למיטוב לקבל מידע על ההסתברות שהמבנה המותנה יופעל (לדוגמה, "[[סביר ]] if (אקראי > 0) {“).
• נוספה תמיכה במעבדי AMD Zen 3 (-march=znver3), Intel Alder Lake (-march=alderlake) ו-Intel Sapphire Rapids (-march=sapphirerapids).
• נוספה תמיכה בדגלי "-march=x86-64-v[234]" לבחירת רמות ארכיטקטורת x86-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, אתה יכול לציין "-mcpu=neoverse-v1".
• עבור ארכיטקטורת AArch64, נוספו דגלי מהדר חדשים "-moutline-atomics" ו-"-mno-outline-atomics" כדי לאפשר או להשבית פונקציות מסייעות לפעולה אטומית, כגון "__aarch64_cas8_relax". פונקציות כאלה מזהות בזמן הריצה אם תמיכת LSE (Large System Extensions) זמינה ומשתמשות בהוראות המעבד האטומי שסופקו או חוזרות לשימוש בהוראות LL/SC (Load-link/store-conditioned) לסנכרון.
• נוספה אפשרות "-fbinutils-version" לבחירת גרסת היעד של חבילת binutils לצורך תאימות עם התנהגות קישורים והרכבים ישנים יותר.
• עבור קבצי הפעלה ELF, כאשר דגל "-gz" מצוין, דחיסה של מידע איתור באגים באמצעות ספריית zlib מופעלת כברירת מחדל (gz=zlib). קישור קבצי האובייקט המתקבלים דורש lld או GNU binutils 2.26+. כדי לשחזר תאימות עם גרסאות ישנות יותר של binutils, אתה יכול לציין "-gz=zlib-gnu".
• המצביע 'זה' מעובד כעת עם בדיקות לא-null ו-derreferenceable(N). כדי להסיר את התכונה nonnull, אם אתה צריך להשתמש בערכי NULL, אתה יכול להשתמש באפשרות "-fdelete-null-pointer-checks".
• בפלטפורמת לינוקס, מצב "-fasynchronous-unwind-tables" מופעל עבור ארכיטקטורות AArch64 ו-PowerPC ליצירת טבלאות שיחות ביטול, כמו ב-GCC.
• ב-"#pragma clang loop vectorize_width" הוסיפה את היכולת לציין את האפשרויות "fixed" (ברירת מחדל) ו-"Scalable" לבחירת שיטת הווקטוריזציה. מצב ה"מדרוג", ללא תלות באורך הווקטור, הוא ניסיוני וניתן להשתמש בו בחומרה שתומכת בוקטוריזציה ניתנת להרחבה.
• תמיכה משופרת בפלטפורמת Windows: הוכנו מכלולים בינאריים רשמיים עבור Windows במערכות Arm64, כולל המהדר Clang, מקשר LLD וספריות זמן ריצה מהדר-rt. בעת בנייה עבור פלטפורמות יעד של MinGW, מתווספת סיומת .exe, גם בעת קומפילציה צולבת.
• היכולות הקשורות לתמיכה ב-OpenCL, OpenMP ו-CUDA הורחבו. נוספו אפשרויות "-cl-std=CL3.0" ו-"-cl-std=CL1.0" כדי לבחור אפשרויות מאקרו עבור OpenCL 3.0 ו-OpenCL 1.0. כלי האבחון הורחבו.
• נוספה תמיכה בהוראות HRESET, UINTR ו-AVXVNNI המיושמות בחלק מהמעבדים מבוססי x86.
• במערכות x86, התמיכה באפשרות "-mtune=" מופעלת, מה שמאפשר אופטימיזציות מיקרו-ארכיטקטוניות נבחרות ללא קשר לערך "-march=".
• המנתח הסטטי שיפר עיבוד של כמה פונקציות POSIX ושיפר משמעותית את הקביעה של התוצאה של פעולות מותנות כאשר יש מספר ערכים סמליים בהשוואה. בדיקות חדשות נוספו: fuchia.HandleChecker (מגדיר ידיות במבנים), webkit.UncountedLambdaCapturesChecker webkit ו-alpha.webkit.UncountedLocalVarsChecker (לוקח בחשבון את המוזרויות של עבודה עם מצביעים בקוד המנוע של WebKit).
• בביטויים המשמשים בהקשר של קבועים, השימוש בפונקציות המובנות __builtin_bitreverse*, __builtin_rotateleft*, __builtin_rotateleft*, _mm_popcnt*, _bit_scan_forward, __bsfd, __bsfq, __bit_scan_reverse,__bsr,__bsd,__bsd, __bsd,wap __ מותר bswapq , _castf*, __rol* ו__ror*.
• נוספה אפשרות BitFieldColonSpacing לכלי השירות בפורמט clang כדי לבחור את המרווחים סביב מזהים, עמודות והגדרות שדות.
• שרת המטמון clangd (Clang Server) בפלטפורמת לינוקס הפחית משמעותית את צריכת הזיכרון במהלך פעולה ארוכת טווח (ניתנות קריאות תקופתיות ל-malloc_trim כדי להחזיר דפי זיכרון פנויים למערכת ההפעלה).

חידושים מרכזיים ב-LLVM 12.0:

• התמיכה בכלי הבנייה llvm-build שנכתב ב-Python הופסקה, ובמקום זאת הפרויקט עבר לחלוטין לשימוש במערכת ה-Build CMake.
• בקצה האחורי של ארכיטקטורת AArch64, התמיכה בפלטפורמת Windows שופרה: הובטח יצירה נכונה של פלט assembler עבור מערכות היעד של Windows, יצירת נתונים על שיחות ביטול עבר אופטימיזציה (הגודל של נתונים כאלה הצטמצם ב-60 %), נוספה הנחיות .seh_* ליכולת ליצור נתוני שחרור באמצעות assembler.
• הקצה האחורי של ארכיטקטורת PowerPC כולל אופטימיזציות חדשות עבור לולאות ופריסה מוטבעת, תמיכה מורחבת במעבדי Power10, תוספת תמיכה בהוראות MMA עבור מניפולציה של מטריצה ​​ותמיכה משופרת במערכת ההפעלה AIX.
• הקצה האחורי x86 מוסיף תמיכה עבור מעבדי AMD Zen 3, Intel Alder Lake ו-Intel Sapphire Rapids, כמו גם הוראות מעבד HRESET, UINTR ו-AVXVNNI. תמיכה ב-MPX (הרחבות הגנת זיכרון) לבדיקת מצביעים כדי לוודא שגבולות הזיכרון אינם נתמכים עוד (טכנולוגיה זו אינה נפוצה וכבר הוסרה מ-GCC ומ-clang). נוספה תמיכה ל-assembler עבור הקידומות {disp32} ו-{disp8} וסיומת .d32 ו-.d8 כדי לשלוט בגודל של קיזוז או קפיצות אופרנד. נוספה תכונה חדשה "tune-cpu" כדי לשלוט בהכללה של אופטימיזציות מיקרו-ארכיטקטוניות.
• מצב חדש "-fsanitize=unsigned-shift-base" נוסף לגלאי הבעיה של מספרים שלמים (חיטוי מספרים שלמים, "-fsanitize=integer") כדי לזהות הצפות של מספרים שלמים ללא סימנים לאחר מעבר סיביות שמאלה.
• בגלאים שונים (asan, cfi, lsan, msan, tsan, ubsan sanitizer) נוספה תמיכה בהפצות לינוקס עם ספריית Musl הסטנדרטית.
• היכולות של מקשר LLD הורחבו. תמיכה משופרת בפורמט ELF, כולל האפשרויות הנוספות "--dependency-file", "-error-handling-script", "-lto-pseudo-probe-for-profiling", "-no-lto-whole-program -נראות" " תמיכת MinGW משופרת. עבור פורמט Mach-O (macOS), הוטמעה תמיכה בארכיטקטורות arm64, arm ו-i386, אופטימיזציות של זמן קישור (LTO) והתנתקות מחסנית לטיפול בחריגים.
• Libc++ מיישמת תכונות חדשות של תקן C++20 והחלה בפיתוח תכונות של מפרט C++2b. נוספה תמיכה לבנייה עם השבתת תמיכת לוקליזציה ("-DLIBCXX_ENABLE_LOCALIZATION=OFF") והתקנים להפקת מספרים פסאודו אקראיים ("-DLIBCXX_ENABLE_RANDOM_DEVICE=OFF").

מקור: OpenNet.ru