שחרור חבילת המהדר GCC 12

לאחר שנה של פיתוח, שוחררה חבילת המהדר החינמית GCC 12.1, המהדורה המשמעותית הראשונה בענף החדש של GCC 12.x. בהתאם לסכימת מספור המהדורה החדשה, נעשה שימוש בגרסה 12.0 בתהליך הפיתוח, וזמן קצר לפני שחרורו של GCC 12.1, הסניף של GCC 13.0 כבר הסתעף, שעל בסיסו תהיה המהדורה הגדולה הבאה, GCC 13.1. לְהִתְרַקֵם. ב-23 במאי, הפרויקט יחגוג 35 שנים להיווסדה של המהדורה הראשונה של GCC.

שינויים עיקריים:

• נוספה תמיכה בפורמט ניפוי הבאגים CTF (Compact Type Format), המספק אחסון קומפקטי של מידע על סוגי C, חיבורים בין פונקציות וסמלי ניפוי באגים. כאשר הוא מוטבע באובייקטי ELF, הפורמט מאפשר שימוש בטבלאות תווים EFL כדי למנוע כפילות נתונים.
• התמיכה בפורמט אחסון מידע ניפוי באגים "STABS", שנוצר בשנות ה-1980, הוצאה משימוש.
• העבודה נמשכת להרחבת התמיכה בתקני C2X ו-C++23 עתידיים עבור שפות C ו-C++. לדוגמה, נוספה תמיכה בביטוי "אם consteval"; מותר להשתמש באוטו בארגומנטים של פונקציה ("f(auto(g()))"); השימוש במשתנים לא מילוליים, ב-goto ובתוויות מותר בפונקציות המוצהרות כ-constexpr; נוספה תמיכה במפעיל מפעילי אינדקס רב-ממדיים[]; באם, עבור ומתג, היכולות של בלוקי אתחול הורחבו ("for (באמצעות T = int; T e : v)").
• הספרייה הסטנדרטית של C++ שיפרה תמיכה בחלקים הניסיוניים של הסטנדרטים C++20 ו-C++23. נוספה תמיכה עבור std::move_only_function, , std::basic_string::resize_and_overwrite, , ו-std::invoke_r. מותר להשתמש ב-std::unique_ptr, std::vector, std::basic_string, std::optional ו-std::variant בפונקציות constexpr.
• החזית הקדמית של Fortran מספקת תמיכה מלאה למפרט TS 29113, המתאר יכולות להבטחת ניידות בין Fortran לקוד C.
• נוספה תמיכה בתוסף __builtin_shufflevector(vec1, vec2, index1, index2, ...) שנוספה בעבר ל-Clang, המציעה קריאה יחידה לביצוע פעולות ערבוב וערב וקטור נפוצות.
• בעת שימוש ברמת האופטימיזציה "-O2", הווקטוריזציה מופעלת כברירת מחדל (המצבים -ftree-vectorize ו-fvect-cost-model=מאוד-זול מופעלים). המודל הזול מאוד מאפשר וקטוריזציה רק ​​אם הקוד הווקטורי יכול להחליף לחלוטין את הקוד הסקלרי שהוקטור.
• נוסף מצב "-ftrivial-auto-var-init" כדי לאפשר אתחול מפורש של משתנים בערימה כדי לעקוב אחר בעיות ולחסום נקודות תורפה הקשורות לשימוש במשתנים לא מאותחלים.
• עבור שפות C ו++C, נוספה פונקציה מובנית __builtin_dynamic_object_size כדי לקבוע את גודלו של אובייקט, התואמת לפונקציה דומה מ-Clang.
• עבור שפות C ו++C, נוספה תמיכה בתכונה "לא זמין" (לדוגמה, ניתן לסמן פונקציות שייצרו שגיאה אם ​​תנסו להשתמש בהן).
• עבור שפות C ו-C++, נוספה תמיכה בהנחיות עיבוד מקדים "#elifdef" ו-"#elifndef".
• נוסף דגל "-Wbidi-chars" כדי להציג אזהרה אם נעשה שימוש שגוי בתווי UTF-8, שינוי הסדר שבו מוצג טקסט דו-כיווני.
• נוסף דגל "-Warray-compare" כדי להזהיר בעת ניסיון להשוות שני אופרנדים המתייחסים למערכים.
• הטמעת תקני OpenMP 5.0 ו-5.1 (Open Multi-Processing), המגדירים את ה-API ושיטות ליישום שיטות תכנות מקבילות על מערכות מרובות ליבות והיברידיות (CPU+GPU/DSP) עם זיכרון משותף ויחידות וקטוריזציה (SIMD) , המשיך.
• הטמעה משופרת של מפרט התכנות המקבילי OpenACC 2.6, המגדיר כלים להורדת פעולות על GPUs ומעבדים מיוחדים כגון NVIDIA PTX.
• תמיכה בהוראות מורחבות Intel AVX86-FP512 וסוג _Float16 נוספה ל-backend של יצירת הקוד עבור ארכיטקטורת x16.
• עבור ארכיטקטורת x86, נוספה הגנה מפני פגיעויות במעבדים הנגרמות מביצוע ספקולטיבי של הוראות לאחר פעולות קפיצה בלתי מותנות קדימה. הבעיה מתרחשת עקב עיבוד מנע של הוראות מיד לאחר הוראת הסניף בזיכרון (SLS, Straight Line Speculation). כדי לאפשר הגנה, מוצעת האפשרות "-mharden-sls".
• הוסיף זיהוי של שימוש במשתנים לא מאותחלים לנתח הסטטי הניסיוני. נוספה תמיכה ראשונית לניתוח קוד הרכבה בתוספות מוטבעות. מעקב זיכרון משופר. הקוד לעיבוד ביטויי מתג נכתב מחדש.
• נוספו 30 קריאות חדשות ל-libgccjit, ספרייה משותפת להטמעת מחולל קוד בתהליכים אחרים ושימוש בו ל-JIT קומפילציה של bytecode לקוד מכונה.
• נוספה תמיכה במנגנון CO-RE (Compile Once - Run Everywhere) ל-backend להפקת BPF bytecode, המאפשר לך להרכיב את הקוד של תוכניות eBPF עבור ליבת לינוקס פעם אחת בלבד ולהשתמש בטוען אוניברסלי מיוחד המתאים את תוכנית שנטענה לפורמט הקרנל ו-BPF הנוכחי). CO-RE פותר את בעיית הניידות של תוכנות eBPF מהולמות, שבעבר ניתן היה להשתמש בהן רק בגרסת הליבה שעבורה הן הידור, מכיוון שהמיקום של אלמנטים במבני נתונים משתנה מגרסה לגרסה.
• הקצה האחורי של RISC-V מוסיף תמיכה בהרחבות ארכיטקטורת ערכות הוראות חדשות zba, zbb, zbc ו-zbs, כמו גם הרחבות ISA עבור פעולות קריפטוגרפיות וקטוריות וסקלריות. כברירת מחדל, ניתנת תמיכה במפרט RISC-V ISA 20191213. הדגל -mtune=thead-c906 נוסף כדי לאפשר אופטימיזציות עבור ליבות T-HEAD c906.
• תמיכה בסוג __int128_t/integer(kind=16) נוספה לקצה העורפי של יצירת הקוד עבור GPUs של AMD המבוססים על המיקרו-ארכיטקטורה של GCN. ניתן להשתמש בעד 40 קבוצות עבודה ליחידת מחשוב (CU) ועד 16 חזיתות הוראות (wavefront, סט של שרשורים המבוצעים במקביל על ידי מנוע ה- SIMD) לקבוצה. בעבר, רק קצה הוראה אחד לכל CU הותר.
• הקצה האחורי של NVPTX, שנועד ליצור קוד באמצעות ארכיטקטורת ערכת ההוראות של NVIDIA PTX (Parallel Thread Execution), הוסיף את היכולת להשתמש בדגלי "-march", "-mptx" ו-"-march-map". תמיכה מיושמת עבור PTX ISA sm_53, sm_70, sm_75 ו-sm_80. ארכיטקטורת ברירת המחדל היא sm_30.
• הטמעות של פונקציות מובנות נכתבו מחדש ב-backend עבור מעבדי PowerPC/PowerPC64/RS6000. הפונקציות המובנות __builtin_get_texasr, __builtin_get_texasru, __builtin_get_tfhar, __builtin_get_tfiar, __builtin_set_texasr, __builtin_set_texasru, __builtin_set_iltin_set and___tfhar
• תמיכה עבור Arm Ampere-64 (-mcpu/-mtune ampere1), Arm Cortex-A1 (cortex-a510), Arm Cortex-A510 (cortex-a710) ו-Arm Cortex-X710 (cortex-x2). נוספה תמיכה באפשרויות ארכיטקטורת ARMv2 חדשות לשימוש עם אפשרות "-march": armv8-a, armv8.7-a, armv8.8-a. הוספת יישום של פונקציות C המובנות בקומפיילר (Intrinsics) לטעינה אטומית ושמירת נתונים בזיכרון, על בסיס שימוש בהוראות ARM מורחבות (ls9). נוספה תמיכה להאצת פונקציות memcpy, memmove ו- memset באמצעות הרחבת mopsoption ARM.
• נוסף מצב בדיקה חדש "-fsanitize=shadow-call-stack" (ShadowCallStack), שזמין כרגע רק עבור ארכיטקטורת AArch64 ועובד בעת בניית קוד עם אפשרות "-ffixed-r18". המצב מספק הגנה מפני החלפת כתובת ההחזרה מפונקציה במקרה של הצפת מאגר על המחסנית. מהות ההגנה היא שמירת כתובת ההחזרה בערימת "צל" נפרדת לאחר העברת השליטה לפונקציה ואחזור כתובת זו לפני היציאה מהפונקציה.

מקור: OpenNet.ru