о
реализации одного из первых компиляторов Си — проекте Portable C, относящегося
к концу 70-х годов. Это была статья в каком-то древнем формате с подробным
описанием проектных решений и описывающая, в частности, подход к генерации
кода. Мы не глядя распечатали ее и ахнули: в ней были расписаны основные коды
бельгийского внутреннего представления, который мы помнили наизусть! Два дня
ушло на лихорадочный поиск и запросы во все стороны, где можно найти исходники
Portable C. Нашлись, родимые, рядышком, у какого-то коллекционера в Финляндии!
И что же? Похожие названия команд, те же кодировки и почти те же самые
заголовочные файлы, что и у бельгийцев!
Теперь мы поняли причины неуверенности в ответах на вопросы об особенностях
промежуточного представления — это был не их формат. Многие детали так и
остались тогда непроясненными. В начале работы нам приходилось познавать
промежуточное представление, по существу, полностью самостоятельно, если
угодно, используя "проекционный подход" В.Ш.Кауфмана: мы написали больше сотни
тестов на Си, пропускали их через фирменный компилятор Си и изучали порождаемый
промежуточный код, сравнивая "проекцию" с оригиналом — исходным текстом.
Не будем гадать о том, почему фирма взяла за основу своего промежуточного
представления формат Джонсона. Для своего времени это было естественное и,
наверное, правильное решение, и, конечно, их нельзя упрекнуть в некорректности — статья известна всем, она до сих пор входит в комплект документации по
"Seventh Edition release of the UNIX operating system" компании Bell Telephone
Laboratories, а исходные тексты Portable C общедоступны.
Однако для нас ситуация изменилась радикально. Кто запрещает нам проделать, по
существу, то же самое? Теперь, совсем немного переработав генерирующую часть
компилятора (стоит ли говорить, что за неделю это было сделано), мы можем
(можем?) честно и открыто, в противоположность бельгийцам, говорить, что наш
компилятор порождает промежуточное представление, формат которого соответствует
формату, используемому в таком-то компиляторе (исходные тексты которого
общедоступны) и описанному в таком-то году в такой-то известной статье
такого-то известного автора. Это вполне соответствует общепринятой практике.
Если у нас будет (а у нас будет) собственный генератор, по этому промежуточному
представлению порождающий код для некоторой программно-аппаратной платформы, то
мы с полным основанием можем считать наш компилятор нашим.
