LLVM IR Viewer

Purpose & User Intent: LLVM IR Viewer פותר את הבעיה לחשוף את המבנה והיחסים בתוך קוד LLVM IR. משתמשי היעד כוללים מהנדסי קומפילציה, חוקרים בתחום האופטימיזציה ומלמדים מתקדמים המבצעים טיוב של קטעי IR כדי לאמת passes, לזהות חריגות ולהשוות טרנספורמציות. הכלי מקבל בלוק טקסט של LLVM IR ומחזיר גרף מובן למכונה יחד עם תמציות תמציתיות שמסייעות בביקורת וב Debugging.

Core Logic & Features: יכולות התחום כוללות ניתוח IR, חילוץ פונקציות ובסיס Blocks, ובניית CFG ו-DFG. דרושות parsing לקטלוג ולסינטקס, קישור בלוקים באמצעות terminators ומיפוי מטה-נתונים לכל instruction. תכונות מתקדמות/אופציונאליות כוללות הצעות alias, מדדי השפעתInlining, ועקבות זרימת נתונים בין פונקציות. Outputs כוללים תבניות JSON ל-CFG/DFG וסיכום קריא קצר לבחינה מהירה.

Inputs & Outputs: קלט הוא טקסט LLVM IR (חובה) ובקרות סאב-סקופ אופציונאליות (שם פונקציה, מודול). פלט הוא נתונים מובנים: קצוות CFG, blocים בסיסיים, רשימות הוראות וסיכום JSON компакт; בנוסף תיאור קריא. פלטים מיועדים לכלים לעיצוב והערכת מהירה.

Algorithms & Calculations: הכלי מפרק IR, מזהה גבולות פונקציות, מרכיב blokים וקושר Succesor באמצעות הוראות terminator. הוא מחשב מבני CFG ו-DFG ומחשב מדדים כמו מספר בלוקים, מספר קיצות נתיבים והזדמנויות אופטימיזציה. הנורמות תואמות לסינטקס הטקסטואלי של LLVM; אין ביצוע קוד או ניתוח דינמי.

Error & Edge Cases: אם IR אינו תקין תחבירית, הכלי מדווח על מיקומי שגיאה מדויקים וחושף גרפים חלקיים כשאפשר. פונקציות חסרות או בלוקים חריגים עלולים לייצר גרפים חלקיים עם אזהרות. מודולים גדולים יכולים להיות מעובדים בחלקים; יצוא ב-streaming יתווסף בפיתוחים עתידיים.

Industry/Region & Localization: מקפיד על הנחות LLVM; יחידות ומונחים תואמים לסטנדרטים בהנדסת קומפילרים. לוקליזציה מוגבלת לתיאורים טקסטואליים; ייצוגים מספריים משתמשים בפורמט ברירת המחדל של LLVM.

Assumptions & Exclusions: מניח כי הקלט הוא LLVM IR טקסטואלי לפי התקן. פירוק למעבר מעבר ל-IR, הרצת קוד וסימול runtime לא כלולים. זה לא דה-קומפילר או אופטימייזר, אלא כלי לויזואליזציה והערכה.