Компиляция в формат *.oct для симулятора RTL

[vak]

Утилита besm6-objdump теперь умеет преобразовывать бинарный файл от линкера в формат МЭСМ-6 oct, для загрузки в симулятор RTL. К примеру, компилируем файл hello.pas:

$ besm6-pascompl hello.pas hello.obj
$ besm6-ld -D1 hello.obj -lpas -o hello.out
$ besm6-objdump -O hello.out > hello.oct

Полученный файл hello.oct можно посмотреть здесь: https://gist.github.com/sergev/94d630f6a12032209ca8e5cb5d72757b

Сам я ещё не пробовал его выполнять - чёрт знает, всякие баги могут быть.

Comments

[x86128]

Попробовал исполнить вот это:

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

Код на Паскале читает SW-итчи и пишет в LED'ы.
Машинный код циклится на симуляторе, при этом нет обращений к адресам 77755 и 77756.

[vak]

Хорошо, давай я для начала отлажу этот тест на симуляторе.

[vak]

Я исправил несколько багов, теперь этот тест на симуляторе работает правильно. Добавил несколько управляющих комментариев, чтобы упростить код: https://github.com/besm6/mesm6/blob/master/test/swled/swled.pas

Основная проблема была в функции P/BX паскалевской библиотеки. Она брала начальное значение для регистра стека из ячейки памяти 17B, где его хранит мониторная система Дубна. Я переделал, чтобы использовался адрес символа /END: он автоматически создаётся линкером.

По пути обнаружил и поправил пару мелких багов в линкере и objdump.

Попробуй аналогичным образом выдавать на UART.

Код после компилятора получается довольно компактный. Может быть даже получится написать бутлоадер целиком на Паскале.

[x86128]

Тот код на новом компиляторе и линкере работает в симуляторе.

Но вот этот - нет:

program test();
var
    src, dst:       @integer;
    u0ctrl, u0data: @integer;
begin
    src    := ptr(77755B);
    dst    := ptr(77756B);
    u0ctrl := ptr(77747B);
    u0data := ptr(77740B);

    u0ctrl@ := 33B;
    
    repeat
        dst@ := src@
    until false;
end.

Циклится. Так и не доходит до бесконечного цикла. Делает много записей в нулевую ячейку.

Компилятору не нравится символ подчеркивания.

Есть ли в нем поддержка побитового AND, OR и XOR? Использовать операторы & и and тоже не получилось

program test();
const
    U0CTRL = 77747B;
    U0DATA = 77740B;
var
    src, dst, tmp: @integer;

procedure inituart(baudrate: integer);
var
    reg: @integer;
    tmp: integer;
begin
    reg  := ptr(U0CTRL);
    tmp  := 50000000 div baudrate;
    (* tmp  := tmp and 777B;  doesn't work *)
    reg@ := tmp;
end;
begin
    src := ptr(77755B);
    dst := ptr(77756B);
    inituart(115200);
    repeat
        dst@ := src@
    until false;
end.

Этот код делает записи в 30000-е ячейки. Циклится и так же до "полезного" цикла не доходит.

[vak]

У меня первый тест работает. Вот трассировка: https://gist.github.com/sergev/618f8b83f557512c499d3d2465ea1748

Пересобери и переустанови библиотеку libpas.a. Вероятно, у табя старая версия.

[x86128]

Действительно, всё утилиты пересобирал через make all, а туда библиотека не входит.
Сегодня попробую еще раз.

[vak]

И второй тест работает.

https://gist.github.com/sergev/845781124ccd3d653b6c2be75bdde241

Подчёркивание в именах не работает, действительно: исторический анахронизм. Обсудили это с Лёней, решили исправить.

Побитовые операции AND, OR и XOR работают для множеств, как умножение, сложение и MOD.

[x86128]

Еще раз внимательно посмотрел трассировку эту и свою - там есть обращения к 04000-м адресам. Это специально так? Или какой-то настройкой задается?

[vak]

Адрес 04000 это значение символа /END, то есть конца программы. Его можно посмотреть утилитой besm6-nm:

$ besm6-nm -ng peekpoke.exe 
00001 T TEST
00013 T PEEK
00015 T POKE
00017 T P/1
00023 T P/BX
00034 T P/EN
00047 T P/EF
00052 T P/E
00055 T P/TRPAGE
00105 T P/PAGES
00106 T /ETEXT
00001 D /BDATA
00006 D /EDATA
00006 C P/1D
00056 C *OUTPUT*
00114 C RGEXPORT
00115 C P/STACK
00116 C PASEOLSY
00117 C PASZERO*
00120 C PASMINS*
00121 C SPACE*
00122 C PASEOFCD
00123 C PASENDS*
00124 C PASPAGN*
00125 C PASDRN*
00126 C PASDRUM*
02000 P P/FIRP
04000 B /END

Значение /END устанавливается в регистр 15 и вся последующая память используется под стек.

[x86128]

Код после компилятора получается довольно компактный. Может быть даже получится написать бутлоадер целиком на Паскале.

Да компактный. Уверен, что обойдемся только Паскалем.

[x86128]

Еще такой вопрос.
А сейчас уже можно как-то слинковать объектный файл на паскале с объектным файлом БЕМШа?

[vak]

Я пробовал БЕМШ - с шим есть проблема. Он кладёт и команды, и данные в одну общую кучу в секцию _данных_. Вместо того, чтобы класть команды в секцию команд, а данные в секцию данных. В результате линкер не может это обработать.

С Мадленом таких проблем нет. Вот работающий пример:
код на Паскале: peekpoke.pas
функция на Мадлене с одним параметром: peek.madlen
процедура на Мадлене с двумя параметрами: poke.madlen

Там же есть Makefile, который показывает, как компилить и линковать.

[x86128]

Спасибо за пример