Extended Instructions Set (EIS): MUL, DIV, ASH, ASHC

[ivagor]

Но в итоге по количеству команд то же самое получается? Или на одну короче?

На два байта короче.

Трюк с R2 выглядит непонятным - значение этого регистра ещё не определено, но уже используется.

Да, при использовании в процедуре эмуляции эти команды надо поместить не там, где была команда CLR R3, а после MOV ARG2,R2. Пробовал на отдельной процедуре, поэтому пропустил этот момент.

- - - Добавлено - - -

Да, при использовании в процедуре эмуляции эти команды надо поместить не там, где была команда CLR R3, а после MOV ARG2,R2. Пробовал на отдельной процедуре, поэтому пропустил этот момент.

И тогда получается еще надо добавить команду тестирования R2, в итоге 2 байта обратно. Т.е. при использовании в процедуре эмуляции вариант с inc и dec все же чуть лучше (по скорости). При использовании в отдельной процедуре умножения вариант с mov и xor чуть лучше.

- - - Добавлено - - -

В делении можно чуть сократить операции со знаками.
1. DEC R2 надо заменить на INC R2, как в первой проверке.
2. MOV #240,DIV1 и MOV #5401,DIV1 можно убрать. Вместо MOV #5401,DIV1 надо добавить bis #100000,r2.
3. После POP R0 теперь нужно проверить знак, который покажет, нужно ли поменять знак остатка.
4. Потом asr r0 и во флаге C признак необходимости изменения знака частного.
Пункты 3 и 4 можно поменять местами. Ну и заготовка для команды DIV1: NOP не нужна.

- - - Добавлено - - -

Пункты 3 и 4 можно поменять местами.

Но лучше не стоит, или придется добавить еще одну команду.

[Manwe]

Ответ: в R5 число 100000, флаги: N и C

Да, всё верно, проверил аппаратное умножение на ВМ1Г. В эмуляторе EIS теперь такой же результат.

Сейчас бьюсь с тем, что MKDOS при запуске программ подгружает Монитор от БК 0010 и, видимо, запускает какую-то из его процедур инициализации, которая перетирает 10-ый вектор. Пытаюсь отследить где это делается. Вроде как с адреса 27200 хранится Монитор и он копируется на адрес 126000. Код копирования по адресу 17670.

- - - Добавлено - - -

3. После POP R0 теперь нужно проверить знак, который покажет, нужно ли поменять знак остатка.
4. Потом asr r0 и во флаге C признак необходимости изменения знака частного.

Это не понял. У меня сейчас:

POP R0		; restore result's sign
BEQ DIV1		; if result is positive
	NEG R2

Это и есть проверка знака и по условию изменение знака частного.

[ivagor]

Идея в том, чтобы R2(до PUSH R2)/R0(после POP R0) хранил оба признака - в младшем бите признак необходимости изменения знака частного и в знаковом - признак необходимости изменения знака остатка. В итоге станет чуть короче и не нужен будет самомодифицирующийся код (для данной задачи).

[gid]

подгружает Монитор от БК 0010 и, видимо, запускает какую-то из его процедур инициализации

Инициализация системной области (EMT 14), обычно вызывают либо сразу подпрограмму по адресу 100140, (при этом затираются нулями вектора 10, 14, 20, 24), либо переходят куда нибудь внутрь подпрограммы, если нужно модифицировать инициализацию по-своему (при этом вышеуказанные вектора не затираются нулями, но могут модифицироваться по-своему).

[Manwe]

Инициализация системной области (EMT 14), обычно вызывают либо сразу подпрограмму по адресу 100140, (при этом затираются нулями вектора 10, 14, 20, 24), либо переходят куда нибудь внутрь подпрограммы, если нужно модифицировать инициализацию по-своему (при этом вышеуказанные вектора не затираются нулями, но могут модифицироваться по-своему).

Спасибо, уже нашёл. Пропатчил, проверил на MKDOS 3.15, 3.17 и 3.18. Теперь буду ковырять ANDOS.

Идея в том, чтобы R2(до PUSH R2)/R0(после POP R0) хранил оба признака - в младшем бите признак необходимости изменения знака частного и в знаковом - признак необходимости изменения знака остатка. В итоге станет чуть короче и не нужен будет самомодифицирующийся код (для данной задачи).

Получилось сократить на 4 байта. Прогнать бы полноценные тесты теперь.
http://thesands.ru/bk0010/EIS-driver-for-BK0010.zip

[gid]

Прогнать бы полноценные тесты теперь.

Снова не проходит сдаточный тест 791402.
ошибка в ASH:

mov #20, R5
mov #-1, R4
ash R5, R4

в результате флаги должны быть ZVC, но возвращается только Z

небольшой косяк в DIV: при выходе из эмуляции возвращается не тот приоритет, что был до входа, т.е. на входе в прерывание PSW было 0, а на выходе стало 340, и тест считает, что результат PSW неверный, у первых двух тестов деления флаги-признаки совпадают, остальные смотреть не стал, из-за неверного приоритета, все тесты на деление считаются ошибочными.

[Manwe]

Спасибо за тест!

Снова не проходит сдаточный тест 791402. ошибка в ASH:
в результате флаги должны быть ZVC, но возвращается только Z

Ах, я же там упростил если сдвиг больше чем на 15. А почему, кстати, бит V установлен? Разве второй аргумент меняет знак?
Цитирую документацию:
V – устанавливается, если во время проведения операции сдвига было зафиксировано изменение знакового разряда результата (возможно только при сдвиге влево), в противном случае очищается.

небольшой косяк в DIV: при выходе из эмуляции возвращается не тот приоритет, что был до входа

Спасибо, посмотрю.

Update: поправил DIV и ASH. Обновлённый драйвер по той же ссылке: http://thesands.ru/bk0010/EIS-driver-for-BK0010.zip
А где взять эти магические тесты, чтобы мне самому тестировать и не отвлекать занятых людей почём зря?

[CodeMaster]

А где взять эти магические тесты

Где-то тут.

[Vslav]

А где взять эти магические тесты

Можно попробовать t402 - заводской тест 791402, EIS для 1801ВМ2, хорошо тестирует ASH, DIV, MUL.

[ivagor]

Мелочь, но все же в MUL строка
6: BCC 7
лишняя. Нулевые множители в основной цикл не попадают, значит перед нулевым R2 точно был единичный бит в младшем разряде.

Эту штуку не поправили, потому что все же эмулятор формирует флаг как на реале, или не стали проверять?

- - - Добавлено - - -

В процедуре эмуляции деления не поправили.