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

לאחר שישה חודשי פיתוח, שוחררה LLVM 22.1.0. היא מפתחת כלים (מהדרים, אופטימיזציות ומחוללי קוד) אשר מהדרים תוכניות לקוד ביניים של הוראות וירטואליות דמויות RISC (מכונה וירטואלית ברמה נמוכה עם מערכת אופטימיזציה מרובת רמות). ניתן להמיר את הפסאודו-קוד שנוצר לקוד מכונה עבור פלטפורמת יעד נתונה או להשתמש בו על ידי מהדר JIT (Just-in-Time) כדי ליצור הוראות מכונה ישירות במהלך ביצוע התוכנית. בהתבסס על טכנולוגיות LLVM, הפרויקט מפתח את מהדר Clang, התומך בשפות התכנות C, C++ ו-Objective-C. החל מענף 18.x, הפרויקט עבר לסכימת מספור גרסאות חדשה, לפיה גרסה 0 ("N.0") משמשת במהלך הפיתוח, והגרסה היציבה הראשונה ממוספרת "N.1".

שיפורים ב-Clang 22 כוללים:

• נוספה תמיכה באסימוני הקצאת זיכרון (Allocation Tokens) לסימון פעולות הקצאת זיכרון המבוצעות באמצעות פונקציות כגון malloc עם מזהה ייחודי. אסימוני הקצאה מאפשרים מבנה מידע ערימה, פישוט זיהוי דליפות זיכרון ומאפשרים קיבוץ של אובייקטים על סמך ייעודם או דפוסי שינוי (למשל, הפרדת נתונים "חמים" מ"קרים"). כדי להפעיל, השתמש בדגל "-fsanitize=alloc-token".
• תכונות הקשורות לשפת C:
  • טיוטת מפרט המגדירה את מנגנון הביצוע הנדחה "defer" יושם, המאפשר ביצוע פעולות כאשר ההיקף הנוכחי יוצא. הדגל "-fdefer-ts" נוסף כדי לאפשר תמיכה ב-"defer".
  • הפונקציה המובנית __builtin_stack_address() נוספה, ומשקפת את הפונקציה הדומה ב-GCC. פונקציה זו מחזירה את כתובת ה-stack המפרידה בין אזור ה-stack של הפונקציה הנוכחית שקראה ל-__builtin_stack_address() לבין הפונקציות הבאות שהיא קוראת להן.
• יכולות המפותחות עבור תקן C2y העתידי:
  • נוספה תמיכה בלולאות בעלות שם, המאפשרת לך להקצות שמות ללולאות ופקודות switch, אותן ניתן לציין בפקודות break ו-continue כדי להגדיר במפורש את הלולאה ממנה יש לצאת. outer: for (int i = 0; i < IK; ++ i) { for (int j = 0; j < JK; ++ j) { continue; // עבור אל CONT1 continue outer; // עבור אל CONT2 // CONT1 } // CONT2 }
  • יישום המאקרו המובנה "__COUNTER__", שנועד ליצור שמות מזהים ייחודיים, הורחב ונכלל בתקן. נקבעה מגבלה של 2147483647 קריאות למקרו זה; חריגה ממגבלה זו תיצור שגיאה.
  • הוסרה האזהרה (-Wstatic-in-inline) בעת שימוש בפונקציות סטטיות או משתנים בתוך פונקציות המוגדרות כ-"extern inline".
• יכולות המוגדרות בתקן C23 C:
  • קובץ הכותרת float.h תומך כעת בפקודות המאקרו FLT_SNAN, DBL_SNAN ו-LDBL_SNAN, אשר מיישמים ערכי NaN signaled (הגורמים לחריגה בעת שימוש בפעולות אריתמטיות) עבור סוגי float, double ו-long double.
  • תוקן באג שבו סוגים שונים ללא שם טופלו כתואמים באותה יחידת תרגום אם היו להם אותם שדות.
  • הדגל "-MG" המשמש להתעלמות מקבצי כותרת חסרים במהלך סריקת תלויות הורחב להנחיות "#embed" וכעת מדכא את השגיאה "הקובץ לא נמצא" כאשר קובץ שצוין בהוראת "#embed" חסר.
• תכונות הקשורות ל-C++:
  • נוספה היכולת להשתמש בקישורים מובנים בהקשר של "constexpr", כפי שפותח במפרט C++2c (C++26). משמעות הדבר היא שהפניות לביטויים קבועים יכולות כעת להיות ביטויים קבועים בעצמן. מיושמת תמיכה עבור מערכים ומבנים פשוטים (tuples עדיין אינם נתמכים). constexpr int arr[] = {1, 2}; constexpr auto [x, y] = arr;
  • כפי שנדרש בתקן C++20, אילוצים מומרים כעת לצורה סטנדרטית לפני הבדיקה, מה שמאפשר הודעות אבחון מדויקות יותר וטיפול נכון בשגיאות החלפה בארגומנטים של תבנית המשמשים רק במזהי מושג.
  • נוספה משפחה של פונקציות מובנות "__builtin_[lt|gt|le|ge]_synthesizes_from_spaceship" כדי לברר האם אופרטורי ההשוואה "<", ">", "<=" ו-">=" ​​סונתזו מהאופרטור "<=>".
  • הפרמטר "-Wincompatible-pointer-types" שונה כך שיציג שגיאה במקום אזהרה. כדי לחזור להתנהגות הקודמת, השתמש באפשרות "-Wno-error=incompatible-pointer-types".
• נוספו פונקציות מובנות __builtin_bswapg, __builtin_elementwise_ldexp, __builtin_elementwise_fshl, __builtin_elementwise_fshr, __builtin_elementwise_minnumnum, __builtin_elementwise_maxnumnum, __builtin_masked_load, __builtin_masked_expand_load, __builtin_masked_store, __builtin_masked_compress_store, __builtin_masked_gather, __builtin_masked_scatter, ו-__builtin_dedup_pack. לדוגמה, builtin_dedup_pack מאפשר לך להסיר כפילויות מרשימת סוגים: באמצעות MyTypeList = TypeList<__builtin_dedup_pack ...>; // הסוג שיתקבל יהיה TypeList
• בעת ניפוי שגיאות בהתנהגות לא מוגדרת עם UBSan (-fsanitize=undefined -fsanitize-trap=undefined), מידע על סיבת השגיאה נכלל כעת במידע ניפוי השגיאות שנוצר. הדגל "-fsanitize-debug-trap-reasons" נוסף כדי לציין את רמת הפירוט במידע השגיאה. ניתן להגדיר אותו ל-"בסיסי" עבור תיאורים כלליים (למשל, "גלישת חיבור מספרים שלמים") ול-"מפורט" כדי לכלול מידע מפורט (למשל, "גלישת חיבור מספרים שלמים עם חתימה ב-'a + b'").
• נוספו דגלי מהדר חדשים:
  • `-f[no-]sanitize-debug-trap-reasons` כדי לשלוט האם סיבות למלכודות חריגים מוטמעות במידע ניפוי שגיאות בעת קומפילציה במצב `-fsanitize-trap`.
  • "-fsanitize=alloc-token", "-falloc-token-max", "-fsanitize-alloc-token-fast-abi", ו-"-fsanitize-alloc-token-extended" לניהול אסימוני הקצאת זיכרון.
  • "-fmatrix-memory-layout" כדי לשלוט בפריסת הזיכרון של סוגי מטריצות (למשל, column-major עבור column-major, row-major עבור row-major).
• לפונקציות יש כעת תכונה "malloc_span", בדומה לתכונה malloc אך רלוונטית לפונקציות שמחזירות מבנים דמויי span המכילים מצביע ושדה עם הגודל או מצביע לסוף הבלוק.
• נוסף התכונה "modular_format" כדי לבחור באופן דינמי את המימוש הנדרש של פונקציית printf המקושר סטטית בזמן הקישור.
• כלי אבחון וניתוח סטטי הורחבו, נוספו בדיקות חדשות (כמה עשרות שיפורים הקשורים לאבחון).
• תוספות פנימיות נוספות עבור הרחבות SSE, AVX ו-AVX512 נוספו לשרת האחורי של X86. מצבי בנייה נוספו עבור מעבדי Intel המבוססים על המיקרו-ארכיטקטורות של Wildcat Lake (-march=wildcatlake) ו-Nova Lake (-march=novalake).
• מערכת ההפעלה AArch64 תומכת כעת במעבדי Ampere Computing Ampere1C (ampere1c), Arm C1-Nano (c1-nano), Arm C1-Pro (c1-pro), Arm C1-Premium (c1-premium) ו-Arm C1-Ultra (c1-ultra). נוספו פונקציות מובנות נוספות עבור הוראות FCVTZ[US], FCVTN[US], FCVTM[US], FCVTP[US] ו-FCVTA[US]. התמיכה בניהול גרסאות מרובות פונקציות (FMV) התייצבה. משתמשים יכולים כעת לעקוף את העדיפות של גרסאות פונקציות שונות.
• נוספה תמיכה בארכיטקטורת LoongArch32 ‏(LA32R, LA32S).
• מערכות אחוריות משופרות עבור ארכיטקטורות ARM, AMDGPU, RISC-V, LoongArch64, MIPS, WebAssembly ו-PowerPC.

מקור: OpenNet.ru