Aktarım dilini kaydet
Bilgisayar biliminde , yazmaç aktarım dili ( RTL ) , bir derleyicide kullanıldığı için, montaj diline çok yakın olan bir ara temsil (RI) türüdür . Temel olarak bir yerden başka bir yere bilgi aktarmak için kullanılan bir işlemdir. Akademik makaleler ve ders kitapları genellikle RTL'yi bir tür mimariden bağımsız montaj dili olarak alır. RTL ayrıca GNU Derleyici Koleksiyonunda (GCC) ve Zephyr veya Avrupa derleyici projeleri CerCo [ 1 ] ve CompCert gibi diğer derleyicilerde kullanılan belirli bir RI'nin adıdır. [ 2 ]
GCC'de
Gcc'de RTL, GIMPLE temsili tarafından üretilir , "orta uç"ta birkaç geçişten sonra dönüştürülür ve ardından montaj diline dönüştürülür.
GCC'nin RTL'si genellikle Lisp S - Expression'a benzeyen bir şekilde yazılır :
( set ( reg:SI 140 )
( artı:SI ( reg:SI 138 )
( reg:SI 139 )))
Bu "yan etki ifadesi", "kayıt 138'in içeriğini kayıt 139'un içeriğine ekle ve sonucu kayıt 140'ta sakla" diyor. SI, her kayıt için erişim modunu belirtir. Örnekte "SImode", yani "kayıta 32 bit tam sayı olarak erişin".
Oluşturulan RTL akışı, GCC'nin kod ürettiği işlemcinin özelliklerine biraz bağımlıdır. Bununla birlikte, RTL'nin anlamı az çok mimariden bağımsızdır: genellikle hangi işlemci için üretildiğini bilmeden bir RTL parçasını okumak ve anlamak mümkün olacaktır. Benzer şekilde, RTL'nin anlamı genellikle programın üst düzey diline bağlı değildir.
Bir kayıt aktarım dili, bir dijital modülün kayıtları arasındaki mikro işlem dizilerini sembolik olarak ifade eden bir sistemdir. Dijital bilgisayarların iç organizasyonunu kısa ve kesin bir şekilde tanımlamak için uygun bir araçtır. Dijital sistemlerin tasarım sürecini kolaylaştırmak için de kullanılabilir.
Tarih
RTL'nin arkasındaki fikir ilk olarak şurada açıklanmıştır: Davidson ve Fraser; Yeniden belirlenebilir bir gözetleme deliğinin optimize edicisinin tasarımı ve uygulaması; ToPLaS v2(2) 191-202 (Nisan 1980)
Ayrıca
- Donanım tanımlama dillerinde benzer, ancak farklı bir konsept için transfer seviyesini kaydedin
Referanslar
- ^ "Sertifikalı Karmaşıklık (CerCo) " . Erişim tarihi: 10 Temmuz 2014 .
- ^ " CompCert'teki RTL modülü " . 5 Ekim 2013 tarihinde kaynağından arşivlendi . Erişim tarihi: 10 Temmuz 2014 .
