Зарегистрируйте язык перевода - Википедия - Register transfer language
 | Эта статья не цитировать любой источники. (Сентябрь 2017 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
В Информатика, зарегистрировать язык перевода (RTL) является своего рода промежуточное представление (IR), что очень близко к язык ассемблера, например тот, который используется в компилятор. Он используется для описания потока данных на уровень регистрации-передачи архитектуры. В академических статьях и учебниках часто используется форма RTL в качестве архитектурно-нейтрального ассемблера. RTL используется как имя определенного промежуточного представления в нескольких компиляторах, включая Коллекция компиляторов GNU (GCC), Zephyr и европейские проекты компиляторов CerCo и CompCert.
В GCC
В GCC RTL создается из представления GIMPLE, преобразуется различными проходами в «промежуточном» GCC, а затем преобразуется в язык ассемблера.
RTL GCC обычно пишется в форме, которая выглядит как Лисп S-выражение:
(набор (рег: SI 140) (плюс: SI (рег: SI 138) (рег: SI 139)))Это «выражение побочного эффекта» гласит: «просуммируйте содержимое регистра 138 с содержимым регистра 139 и сохраните результат в регистре 140». SI определяет режим доступа для каждого регистра. В примере это «SImode», то есть «доступ к регистру как 32-битное целое число».
Последовательность генерируемого RTL в некоторой степени зависит от характеристик процессора, для которого GCC генерирует код. Однако значение RTL более или менее не зависит от цели: обычно можно прочитать и понять часть RTL, не зная, для какого процессора он был создан. Точно так же значение RTL обычно не зависит от исходного высокоуровневого языка программы.
Язык передачи регистров - это система для выражения в символической форме последовательностей микроопераций между регистрами цифрового модуля. Это удобный инструмент для краткого и точного описания внутренней организации цифровых компьютеров. Его также можно использовать для облегчения процесса проектирования цифровых систем.
История
![[значок]](http://upload.wikimedia.org/wikipedia/commons/thumb/1/1c/Wiki_letter_w_cropped.svg/20px-Wiki_letter_w_cropped.svg.png){kind=small} | Эта секция нуждается в расширении. Вы можете помочь добавляя к этому. (Январь 2011 г.) |
Идея RTL была впервые описана в:Дэвидсон и Фрейзер; Дизайн и применение ретаргетируемого оптимизатора глазка; ToPLaS v2 (2) 191-202 (апрель 1980 г.)
Смотрите также
- Уровень регистрации-передачи - похожая, но отличная концепция языков описания оборудования