Yayılımı kopyala - Copy propagation

İçinde derleyici teorisi, kopya yayma doğrudan atama hedeflerinin oluşumlarını değerleriyle değiştirme işlemidir.[1] Doğrudan atama, formun bir talimatıdır x = ybasitçe değerini atayan y -e x.

Aşağıdaki koddan:

y = xz = 3 + y

Kopyalama yayılımı şunları verir:

z = 3 + x

Kopya yayılımı genellikle tanımlara ulaşmak, kullanım tanımlı zincirler ve def-kullanım zincirleri Hedefin hangi oluşumlarının güvenli bir şekilde değiştirilebileceğini hesaplarken. Düştüm yukarı doğru maruz kalan kullanımlar güvenli bir şekilde değiştirilebilir, atama işlemi ortadan kaldırılabilir.

Kopyalama yayılımı, diğer optimizasyonlar zaten çalıştırıldıktan sonra sıklıkla kullanılan yararlı bir "temizleme" optimizasyonudur. Bazı optimizasyonlar - örneğin ortak alt ifadelerin ortadan kaldırılması[1]—gerek verimlilikte bir artış sağlamak için kopya yayılımının daha sonra çalıştırılması.

Ayrıca bakınız

Referanslar

  1. ^ a b Aho, Alfred V .; Lam, Monica S .; Sethi, Ravi; Ullman, Jeffrey D. Derleyiciler, İlkeler, Teknikler ve Araçlar İkinci baskı. ISBN  0-321-48681-1.

daha fazla okuma

Muchnick, Steven S. Gelişmiş Derleyici Tasarımı ve Uygulaması. Morgan Kaufmann. 1997.