Prototiplərin təkmilləşdirmə e-qrafları kompilyator optimizasiyasına bərabərlik əlavə edir

Kompilyator yenidən yazımları təkmilləşdirmə kimi

Prototip daxili bərabərlik əlaqəsini təqdim edir ki, onun statusu e-qrafın kök bərabərlik əlaqəsinə yaxındır. Motivasiya bundadır ki, kompilyator yenidən yazımları çox vaxt istiqamətlidir: onlar abstrakt və ya kifayət qədər müəyyən edilməmiş proqramı maşında işə salına bilən daha konkret forma çevirir. Mənbə dillər qiymətləndirmə ardıcıllığını müəyyən etməyə və ya tam ədəd daşması ilə sıfıra bölməni gözləyə bilər, bu da optimizasiya və tərcümə imkanları yaradır.

Mənbə, Max Willis microegg-ın əsasında yaradılmış və WASM demo ilə birlikdə verilmiş prototipi təqdim edir. Onun Python kodu bərabərlikə yönəlmiş modeli union-find əməliyyatları ilə əhatə edir, bunlar arasında «az və ya bərabər» əlaqələrinin əlavə edilməsi, yoxlanılması və siyahılanması yolları var.

Uyğunsuz sxemin dəyərləri

Mərkəzi nümunə rəqəmsal sxemlərdə «yığılmadı» dəyəridir. Əgər dəyər dəstəklənmirsə, nəticə «yığılmadı» kimi qiymətləndirilə bilər, bu da optimizatora ən yaxşı sxemi yaradan nəticəni seçməyə imkan verir. Prototip bu dəyəri belə düzəldə bilər ki, onun qlobal bərabərliyi heç bir ayrı bərabərliklə yaranmasın, bu da ayrı tətbiqlərə müstəqil seçim hüququ verir.

Onun semantika termini məntiqi mənalar dəstəsi kimi əks etdirir, burada «az və ya bərabər» nöqtə dəstinin üzvlüyünü bildirir. rewrite-le və rewrite-ge qaydaları istiqamətlənmiş təkmilləşdirməni emal edir. Çıxarılması prosesi yuxarı, aşağı yalnız bərabərlik axarına bilər, hansı təkmilləşdirilmiş termin tipinin tələb olunmasından asılı olaraq.

e-qrafda dəyişkənlik

Əlaqə funksiyası simvolları ilə yayılma üçün implementasiya hər arumentin monoton, antimonoton yə heç biri olub-olmadığını saxlayır. Məsələn, dəst fərqi istifadə olunur: o birinci arumentdə monoton, ikincidə antimonoton elədir. Bu bəyanatlar təkmilləşdirmənin bağlanmasını, bərabərlik nəzərə alınmaqla e-matching və çıxarılmanı təmin edir.

Sxemlərdən əlavə, cümlə mümkün tətbiqləri yoxlayır: məntiqi implikasiya, əlaqələr cəbrı, alt tiplər, tələblərin ehtiva olması və birinci sinif yerləşmə təhlilləri. Müəllif təkmilləşdirməni standart e-qraf anlayışları ilə müqayisədə birbaşa genişləndirmə kimi təsvir edir, lakin daha dəqiq şablon sintaksisi və yuxarı-aşağı əlaqə dəstlərinin cəbri baxışı ilə bağlı sualları qeyd edir.