Zaregistrujte jazyk přenosu - Register transfer language - Wikipedia
![]() | tento článek ne uvést žádný Zdroje.Září 2017) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) ( |
v počítačová věda, zaregistrovat jazyk přenosu (RTL) je druh mezilehlé zastoupení (IR), který je velmi blízko montážní jazyk, jako je ten, který se používá v a překladač. Používá se k popisu toku dat na internetu úroveň přenosu registru architektury. Akademické práce a učebnice často používají formu RTL jako architektonicky neutrální montážní jazyk. RTL se používá jako název konkrétní zprostředkující reprezentace v několika kompilátorech, včetně Sbírka překladačů GNU (GCC), Zephyr a evropské překladačské projekty CerCo a CompCert.
V GCC
V GCC je RTL generován z reprezentace GIMPLE, transformován různými průchody v „středním konci“ GCC a poté převeden do montážního jazyka.
RTL GCC je obvykle psáno ve formě, která vypadá jako Lisp S-výraz:
(soubor (reg: SI 140) (plus: SI (reg: SI 138) (reg: SI 139)))
Tento „výraz vedlejších účinků“ říká „sečtěte obsah registru 138 s obsahem registru 139 a uložte výsledek do registru 140“. SI určuje režim přístupu pro každý registr. V příkladu je to „SImode“, tj. „Přístup k registru jako 32bitové celé číslo“.
Sekvence generovaného RTL má určitou závislost na charakteristikách procesoru, pro který GCC generuje kód. Význam RTL je však víceméně nezávislý na cíli: obvykle by bylo možné číst a porozumět části RTL, aniž byste věděli, pro jaký procesor byl vygenerován. Podobně význam RTL obvykle nezávisí na původním jazyce vysoké úrovně programu.
Jazyk pro přenos registrů je systém pro symbolické vyjádření sekvencí mikrooperace mezi registry digitálního modulu. Je to vhodný nástroj pro stručné a přesné popsání vnitřní organizace digitálních počítačů. Lze jej také použít k usnadnění procesu návrhu digitálních systémů.
Dějiny
![]() | Tato sekce potřebuje expanzi. Můžete pomoci přidávat k tomu. (Ledna 2011) |
Myšlenka RTL byla poprvé popsána v:Davidson a Fraser; Návrh a aplikace retargetable Peephole Optimizer; ToPLaS v2 (2) 191-202 (duben 1980)
Viz také
- Úroveň převodu registru - podobný, ale odlišný koncept v jazycích popisu hardwaru