LLVM IR Viewer

Purpose & User Intent: يحل LLVM IR Viewer مشكلة كشف بنية العلاقات داخل كود LLVM IR. المستخدمون المستهدفون هم مهندسو المترجمات، الباحثون في التحسين، والمدرسون المتقدمون الذين يفحصون أجزاء IR للتحقق من الاستورادات، واكتشاف الشذوذ، ومقارنة التحولات. يقبل الأداة كتلة من نص LLVM IR ويعيد مخططًا قابلًا للقراءة آليًا مع ملخصات موجزة تسهل المراجعة والتصحيح.

Core Logic & Features: تشمل قدرات المجال تحليل IR، استخراج الدوال والبِتِّات الأساسية، وبناء مخطط تدفق التحكم CFG ومخطط تدفق البيانات DFG. الميزات الأساسية تتضمن التحليل اللغوي والنحوي، ربط البلوكات عبر النهايات، وتعيين البيانات الوصفية لكل تعليمة. الميزات الاختيارية/المتقدمة تتضمن مؤشرات التحويل وارتباطات شبه قرينة، وتتبع تدفقات بيانات عبر الدوال. الإخراجات تتضمن مخططات CFG/DFG وصيغة JSON مُجمّرة وملخصًا مقروءًا للاستخدام السريع.

Inputs & Outputs: المدخلات نص LLVM IR (إلزامي) وضوابط نطاق اختيارية (مثل اسم الدالة، الوحدة). الإخراج بيانات مركبة: حواف CFG، بلوكات أساسية، قوائم تعليمات، وملخص JSON مُكثّف؛ إلى جانب وصف مقروء. الإخراج مخصص لأدوات لاحقة ومُحررات تحتاج إلى تصوير سريع.

Algorithms & Calculations: تقوم الأداة بترقيم IR، وتحديد حدود الدوال، وتجميع البلوكات وربط الخلف عبر تعليمات النهايات. تحسب بنى CFG وDFG وتستخلص مقاييس مثل عدد البلوكات وعدد الحواف وفرص التحسين المحتملة. الاتساق مع بناء LLVM النصي؛ لا توجد تنفيذ أو تحليل ديناميكي.

Error & Edge Cases: إذا كان IR غير صحيح نحويًا، ستبلغ الأداة عن مواضع خطأ دقيقة وتوفر графات جزئية عند الإمكان. يمكن لعدم وجود دوال أو بلوكات مشوهة أن ينتج رسومات ناقصة مع تحذيرات. قد تُعالج وحدات كبيرة على شكل أجزاء؛ قد يتم تمكين الإخراج المتدفق في إصدارات مستقبلية.

Industry/Region & Localization: يتبع اتفاقيات مشروع LLVM؛ الوحدات والمصطلحات تتماشى مع معايير هندسة المترجمات. التوطين يقتصر على التسميات النصية فقط؛ التنسيقات الرقمية تتبع تنسيق LLVM الافتراضي.

Assumptions & Exclusions: يفترض أن الإدخال نص LLVM IR متوافق مع المعيار. لا يوجد فك تجميع خارج IR، ولا تنفيذ رمز، ولا محاكاة وقت تشغيل. ليست أداة دي كومبيلر أو مُحسن، بل أداة تصوير وتفتيش.