Вид для печати
Про предвыборку я что-то припоминаю, вроде бы обсуждались какие-то её косяки в 1801ВМ2, а про 1801ВМ1 не помню.
Что-то алгоритм прям сильно отличается от того, что Vslav в документации описал.Цитата:
Сообщение от Alex_K
Затронута только movb или ещё cmpb, bisb, bicb, bitb?
А mfps pc? А однооперандные регистровые тоже запускают предвыборку?
Да, она есть в 1801ВМ1. Но принцип её отличается от ВМ2. В ВМ2 она принудительная, делается всегда, независимо от того, будет использована или нет.Цитата:
Сообщение от gid
В ВМ1 она выборочная. Запускают её те команды, которые не будут использовать шину МПИ. Их четыре группы:
1. Команды снятия-установки признаков. Это коды с 0240 по 0277.
2. Однооперандные команды работы с регистром. Предвыборка запускается всегда, но игнорируется, если используется регистр PC. Также предвыборка игнорируется в команде MTPS, независимо от регистра.
3. Двухоперандные типа регистр-регистр. Так же запускается всегда, но игнорируется, если один из регистров PC. Ну за исключением регистра источника в команде MOVB.
4. Двухоперандные типа память-регистр. Предвыборка запускается после обработки источника. Так же, если приёмник равен PC, то её результаты не используются.
В ВМ1 есть два регистра инструкций - IR и IRA. IR выходит прям на главную ПЛМ и в него прямо читается при чтении некэшированной инструкции. При запуске чтения предвыборки чтение идёт в регистр IRA. А потом когда микрокоманда делает ожидание чтения предвыборки, то завершается ожидание чтения в IRA, а потом копируется из IRA в IR.
К сожалению у Vslav в документации не всё описано по строению микрокоманды, а в описании алгоритмов исполнения команд есть ошибки. По всей видимости он алгоритмы некоторых команд прямо копировал в другие команды.Цитата:
Сообщение от gid
Только MOVB, т.к. у неё есть дополнительная микроинструкция для расширения знака. Эта микроинструкция используется и в MFPS, но там нету источника, только приёмник, потому этот глюк там не проявляется.Цитата:
Сообщение от gid
Да, уже описал выше.Цитата:
Сообщение от gid
У MFPS есть глюк с флагом C, так же как и в MOVB. Но об этом вроде известно.
- - - Добавлено - - -
Добавлю, что алгоритм команды MOV не отличается от описания Vslav, просто он у меня немного по другому описан и акцентировано по продвижению флагов в разных регистрах. В алгоритме MOVB видно, что после микрокоманды копирования младшего байта источника в младший байт приёмника, для того чтобы следующей микрокоманде было доступно содержание флагов из АЛУ, производится копирование всех флагов в регистр MJ, а с него в регистр MA, который выходит на ПЛМ. В этом и ошибка, т.к. из АЛУ копируется уже нулевой бит C. Но в 1801ВМ1 нету в поле PLOP микрокоманды такого условия, чтобы скопировать только три бита в MJ и сразу же передать в MA. Копирование трёх битов в MJ есть, но без передачи в MA.Цитата:
Сообщение от gid
Пробовал писать определятор типа процессора и видео, ВМ1 определяет по внутренним регистрам:
Вложение 82903
Цитата:
Сообщение от gid
недавно делал тесты хитрозадых команд, где регистр PC "шагает назад" по коду. результаты эмулятора и реала ниже (закину архивом). совпало только для BR .-2 и MOV -(PC),-(PC). самый жесткий разбег на команде SUB Rx,PC. бинарник прилагается. уточнение по работе теста: генерируется длинный массив одинаковых команд, по кадровому прерыванию делается переход на конец массива, код начинает "бежать назад". следующее прерывание останавливает код, цифры показывают кол-во команд, выполненных между кадровыми прерываниями (запускать в режиме 11М) Вложение 83053
Ну почему же, для CMP тоже вполне совпало. Для BIS тоже расхождение не сильно большое. Вы все всё время забываете, что БК - это не спектрум и не ДВК/УКНЦ/и т.п. На этой дурацкой БК невозможно определить точные тайминги команд. Они примерные, и если очень близко к реальности, то это очено хорошо.Цитата:
Сообщение от reddie
А вот про SUB R2,PC мне нечего сказать, я не знаю, почему она на реальной машине выполняется так медленно, наверное опять какие-то тайны микрокода, которые никто не обнародовал.
Просто в этом случае считывается предвыборка, но она не используется. В качестве примера: команда SUB R2,PC находится по адресу 02000. Так как команда регистровая, то сразу же начинает читаться следующая команда в регистр предвыборки по адресу 2002. После исполнения операции микрокод видит, что в качестве DST использовался счётчик команд и переходит на чтение некэшированной инструкции. Такая ситуация со всеми двухоперандными регистровыми командами, если счётчик команд используется в качестве SRC или DST. Ну за исключением команды MOVB PC,Rd, где есть ошибка в микрокоде.Цитата:
Сообщение от gid
Я вчера значит не понял, т.е. задача ставится наоборот, мы задаём новый адрес PC по текущей строке в окне дизассемблера.Цитата:
Сообщение от reddie
Я об таком даже не задумывался, никогда такого не было надо, но сделать можно.
А вот это полезная штука, это надо будет реализовать.Цитата:
Сообщение от reddie
Я вначале подумал, а почему бы и не сделать регистронезависимые ключи, а потом посмотрел, как там. Я для парсинга командной строки использую линуксовый компонент getopt, а в линуксе традиционно все ключи регистрозависимые, поэтому решил оставить всё как есть. Для всех моих утилит командной строки все ключи будут регистрозависимы. Команды, в принципе, тоже должны были быть регистрозависимыми, но я решил, что это не принципиально.Цитата:
Сообщение от reddie
Уважаемый @gid,
Начал пробовать использовать компилятор BKTurbo8 -- спасибо за него кстати, да и вообще спасибо за упорный труд по поддержке эмулятора и инструментов к нему.
Собственно, к BKTurbo8 замечания (мой опыт крутится в основном вокруг использования MACRO/LINK под RT-11):
1. Мне лично очень нехватает условной компиляции, в виде примерно таком:
.IF <выражение>
<произвольный блок кода>
.ELSE
<произвольный блок кода>
.ENDIF
Ну и понятно что .ELSE со вторым блоком кода можно не использовать.
При компиляции, первый блок кода вставляется, если выражение не равно 0, иначе вставляется второй блок кода.
Как я это использую? например, я в начале игры вставляю определения чит-кодов, если код не 0 то вставляется блок кода. В релизе игры все читы 0, лишний код не добавляется.
2. Очень бы хотелось блок повторения кода, вида:
.REPT <положительное число>
<произвольный блок кода>
.ENDR
Здесь блок кода повторяется столько раз сколько указано в числе после .REPT.
Применение: например, я разворачиваю цикл, нужно 20 раз выписать один и тот же блок. С псевдо-оператором повторения код будет гораздо более компактным.
3. Вызываю BKTurbo8_x64.exe из .bat-файла. Как мне понять что была ошибка и собирать программу дальше бессмысленно?
Если в коде есть неопределённая метка, то выдаётся сообщение на экран, но errorlevel остаётся 0.
4. Ещё одно важное применение .IF -- это проверить, что мы не вышли за какую-то границу.
Допустим, я размещаю код в блоке 000000-040000 и мне важно чтобы он не вышел за границу в 040000 -- пишу после кода что-то вроде
.IF . - 040000 > 0
.ERROR "Вышли за границу в 040000"
.ENDIF
-- и вот для этого нужен ещё псевдооператор .ERROR, который покажет строку с ошибкой и сделает компиляцию неудачной.
Мне тоже иногда не хватает. Я даже хочу реализовать макрокоманды, но не знаю как. Я смотрел исходники MACRO-11, как он работает, но у меня совсем другой принцип, прямиком с БКшки. Из-за того и про errorlevel вообще в мыслях не было. Не знаю как сделать макрокоманды, то ли делать претрансляцию с генерацией промежуточного файла, но тогда не будет работать .IF . - 040000 > 0, то ли как-то непонятно как, иногда мысль где-то рядом крутится, но идею никак ухватить не могу.Цитата:
Сообщение от nzeemin
О том, что произошла ошибка, я узнаю по появлению файла _errors.txt в директории рядом с исполняемым файлом, там просто перечислены все появившиеся ошибки, чтобы не искать их по листингу.
А когда мне прям никак без макрокоманд, я использую вот этот https://gitlab.com/Rhialto/macro11.git кросс MACRO-11 в связке с вашим PCLinkом
Ну хорошо, допустим полноценный препроцессор сложно.Цитата:
Сообщение от gid
Но IF-ERROR же можно сделать, это проще? я хотя бы смогу защищаться от наползания кода на экран, сейчас руками проверяю что не есть хорошо.
По поводу появления файла _errors.txt -- да, это я заметил и использую. Но, именно при ошибке о неопределённых метках, при отсутствии других ошибок, мы видим сообщение об ошибке только на экране, файл _errors.txt в этом случае тоже не создаётся. Мне пришлось сливать вывод программы в файл, и искать эту ошибку уже там.