WikiDer > Зарегистрируйте язык перевода - Википедия

Эта статья не цитировать любой источники. Пожалуйста помоги улучшить эту статью к добавление цитат в надежные источники. Материал, не полученный от источника, может быть оспорен и удаленный. Найдите источники: «Зарегистрируйте язык перевода» – Новости · газеты · книги · ученый · JSTOR (Сентябрь 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 обычно не зависит от исходного высокоуровневого языка программы.

Язык передачи регистров - это система для выражения в символической форме последовательностей микроопераций между регистрами цифрового модуля. Это удобный инструмент для краткого и точного описания внутренней организации цифровых компьютеров. Его также можно использовать для облегчения процесса проектирования цифровых систем.

История

Эта секция нуждается в расширении. Вы можете помочь добавляя к этому. (Январь 2011 г.)

Идея RTL была впервые описана в:Дэвидсон и Фрейзер; Дизайн и применение ретаргетируемого оптимизатора глазка; ToPLaS v2 (2) 191-202 (апрель 1980 г.)

Смотрите также

• Уровень регистрации-передачи - похожая, но отличная концепция языков описания оборудования

Рекомендации

внешняя ссылка

• Зарегистрировать язык перевода GCC