Паскаль-компилятор сошёлся

[spamsink]

После исправления последних ошибок, добавления поддержки юникода и имитации нетранзитивного бэсмовского сравнения полноразрядных слов на больше-меньше, объектный модуль, порождаемый сиплюсплюсным компилятором при компиляции паскалевского текста компилятора, в точности ("то есть абсолютно") совпадает с объектным модулем, порождаемым при компиляции паскалевского компилятора самим собой.

Теперь можно начинать развлекаться с тестами.

Comments

Blinky

[x86128]

Круто!

Покажите как выглядит этот объектный модуль. После того как будет готов UART и UFM, надо будет сделать конвертер в Intel-HEX.

Сделайте простую программу которая в бесконечном цикле читает содержимое ячейки 0o77755 и пишет это содержимое в 0o77756.

[vak]

Где-то у Лёни было описание формата объектного модуля.
Вот, нашёл:

https://github.com/besm6/pascal-re/blob/master/format.md

[vak]

Экспериментирую с тестом.
Первые две проблемы тривиальные:
(1) колонки 73-80 не воспринимаются компилятором;
(2) комментарии фигурными скобками не работают.

Нетривиальная проблема: не распознаются отрицательные константы с плавающей точкой. Вот такая программа нормально работает на Free Pascal и не компилируется у нас:

program test(output);
const
    rscst = -84.22;
begin
    writeln('Real154: ', rscst:15, ' s/b -8.422000e+01');
end.

Результат:

$ ./pascompl < fconst.pas 
 Pascal-Monitor in C++ (17.05.2019)
 00001    1  0 PROGRAM TEST(OUTPUT);
 00001    2  1 CONST
 ******62 Dunno 
 00001    3  1     RSCST = -84.22;
        *****                   0
 00001    4  2 BEGIN
 00002    5  2     WRITELN('REAL154: ', RSCST:15, ' S/B -8.422000E+01');
 00017    6  0 END.
 ******52 EOF encountered 
 IN 6 LINES 2 ERRORS

[spamsink]

А я чо, я ничо. Почти так же и в оригинале:

 PASCAL COMPILER 15.0 (15.02.82)
 00001    1  0 PROGRAM TEST(OUTPUT);
 00001    2  1 CONST
 ******62 HET ЦEЛOГO
 00001    3  1     RSCST = -84.22;
        *****                   0
 00001    4  2 BEGIN
 00002    5  2     WRITELN(’REAL154: ’, RSCST:15, ’ S/B -8.422000E+01’);
 00017    6  0 END.
 IN 6 LINES 1 ERRORS

Разве что надо понять, почему С++ раньше добегает до EOF, чем решает завершиться по END-точка.

[vak]

Я выложил описание Паскаля-Монитора на вики страничку: https://github.com/besm6/mesm6/wiki/Pascal-Monitor-1980

Редактируйте по мере возможности.

[spamsink]

Надо будет включить режим 130 символов в строке по умолчанию (или добавлять U- к тестам, как в pascompl.b6).

[vak]

Он ждёт .DATA! Вот ведь неожиданность.

$ ./pascompl < fconst.pas 
 Pascal-Monitor in C++ (17.05.2019)
 00001    1  0 PROGRAM TEST(OUTPUT);
 00001    2  1 CONST
 ******62 Dunno 
 00001    3  1     RSCST = -84.22;
        *****                   0
 00001    4  2 BEGIN
 00002    5  2     WRITELN('REAL154: ', RSCST:15, ' S/B -8.422000E+01');
 00006    6  2 END
 00017    7  0 .DATA
 00017    8  0 END
 IN 8 LINES 1 ERRORS

Значит константы с плавающей точкой заносим в список нереализованных фичей.

[vak]

Лучше включить 128. Попробовал U-, работает.

Re: Blinky

[spamsink]

Пока мы не придумали, как быть с рантайм-библиотекой, и пока у нас нет автономно работающего загрузчика, лучше пользоваться способом, который сделал Сергей (pas-to-oct.py).

Программа на Паскале будет выглядеть так:

program test(output);
var src, dst:@integer;
begin
    src := ptr(77755B);
    dst := ptr(77756B);
    repeat
        dst@ := src@
    until false;
end.

[vak]

Насколько трудно будет переключить внутреннюю кодировку на КОИ-8? Чтобы сделать комментарии фигурными скобками. Вроде по тексту я больших проблем не вижу.

[spamsink]

(Положительные) константы с плавающей точкой в выражениях отлично работают, потому что в компиляторе имеются.

[spamsink]

Должно быть нетрудно; достаточно будет поправить таблицы перекодировки в KOI и в TEXT.
Распаковку пробелов я уже задавил.

[vak]

Переделал на КОИ-8.
Попробуй, результат совпадает?

[vak]

Сделал комментарии фигурными скобками.