رسوم بيانية تعتمد على القيمة

رسم القيمة المعتمد (VDG) هو تمثيل مماثل لتدفق البيانات النادرة يعزز تحليل البرامج وتحويلها. إنه تمثيل وظيفي يمثل تدفق التحكم كتدفق بيانات ويجعل جميع الكميات الآلية، مثل المخازن وقنوات الإدخال/الإخراج، واضحة. نحن نطور مجموعة مترجمات تبني VDG يمثل برنامجا، وتحلل VDG وتحوّلها، ثم تنتج رسم تدفق التحكم (CFG) ASU86 من VDG المحسن. تعمل هذه الإطار على تبسيط التحويلات وتحسين العديد من النتائج المنشورة. على سبيل المثال، فإنه يتيح حركة كود أكثر قوة من CLZ86، FOW87، يقضي على العديد من الزوائد مثل AWZ88، RWZ88 (باستثناء الحلقات الزائدة)، ويقدم معلومات هامة لجدولة الكود BR91. نعرض طريقة سريعة، ذات تمرير واحد للقضاء على الزوائد الجزئية التي لا تؤدي أبدا إلى حركة كود زائدة KFS92، DS93 وهي أبسط من الطرق التقليدية MR79، Dha91 أو SSA RWZ88. وتأتي هذه النتائج من القضاء على CFG من مراحل التحليل/التحويل واستخدام الاعتمادات المطلوبة تفضيلا للاعتمادات التحكمية.