Реверс-инжиниринг УКНЦ (1515ХМ1&2, 1801ВП1, 1801ВМ2)

Вид для печати

Показывать 40 сообщений этой темы на одной странице

05.12.2020, 17:43
Titus

Добавил пукнт 6 в заметки. Теперь можно проверить деление на ноль в HALT-режиме с запрещенными прерываниями, и убедиться, что деление портит CPSW.

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

Цитата:

Сообщение от Alex_K

Ох! Очень интересно! Получается, что при арифметическом переполнении результат PSW обязательно копируется в CPSW, даже несмотря на HALT с запрещёнными прерываниями. Надо обязательно проверить.

Да, именно это я и хотел предложить)

А все потому, что приляпывали деление, когда вся основная структура процессора уже была сформирована.
Нет проверки V? Не беда, проверим через Z.
Нет блока обнуления N и Z. Тоже ерунда, занулим через константу. Нет констатны? Возьмем из блока прерываний. CPSW не обновится... тогда принудительно обновим CPSW. А... тогда в HALT-режиме с запрещенными прерываниями испортится CPSW. Да, плевать, кто заметит)
05.12.2020, 18:35
MiX

Цитата:

Сообщение от Alex_K

В пультовом отладчике.

R7/000000
05.12.2020, 19:18
Alex_K

Цитата:

Сообщение от Titus

Да, именно это я и хотел предложить)

Ну что ж, диагноз товарища Саахова полностью подтвердился.
Сама программа, запускается с RS=600 (HALT с запрещёнными прерываниями):

Код:

1000 012700 MOV #777,R0 1002 000777 1004 000034 WCPS 1006 012703 MOV #1,R3 1010 000001 1012 005000 CLR R0 1014 071303 DIV R3,R3 1016 000024 RCPS 1020 106701 MFPS R1 1022 000000 HALT

При значении R3=1 происходит переполнение, а при R3=0 - деление на ноль. Если R3=0177777, то операция завершается нормально. При переполнении и делении на ноль CPSW изменяется, при нормальном завершении остаётся неизменным.

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

Цитата:

Сообщение от MiX

R7/000000

А на каком тесте?

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

Цитата:

Сообщение от Titus

1. На проверку флага V в PLM проверки условий (PLM_BRA), видимо, уже не хватало места, и проверку флага V сделали через проверку флага Z (PSW & 0x02).

А вот с этим я не согласен. Используется четыре флага - NZVC.
N = 0x08, 010
Z = 0x04, 004
V = 0x02, 002
C = 0x01, 001
Так что проверяют именно флаг переполнения V, и флаг Z тут вообще не при чём.
05.12.2020, 19:41
Titus

Цитата:

Сообщение от Alex_K

А вот с этим я не согласен. Используется четыре флага - NZVC.
N = 0x08, 010
Z = 0x04, 004
V = 0x02, 002
C = 0x01, 001
Так что проверяют именно флаг переполнения V, и флаг Z тут вообще не при чём.

Да нет, не в том дело.
Чтобы проверить флаг V, делается ACC=PSW&0x02.
Затем уже по результату этой операции устанавливается или не устанавливается флаг Z. На регистр PSW это никак не влияет, потому что результат в PSW обратно не копируется.
А потом уже по этому флагу Z принимается решение, туда идем, или сюда.
Просто в матрице PLM_BRA нет комбинаций, позволяющих проверить отдельно флаг V. Но есть комбинации, позволяющие проверить флаг Z. Поэтому и едет поезд в Киев через Магадан.
05.12.2020, 19:49
Alex_K

Цитата:

Сообщение от Titus

Просто в матрице PLM_BRA нет комбинаций, позволяющих проверить отдельно флаг V. Но есть комбинации, позволяющие проверить флаг Z. Поэтому и едет поезд в Киев через Магадан.

Так при копировании в аккумулятор могут только установится флаги N и Z. Да и то, как я понимаю, флаги временные, вне PSW.
05.12.2020, 19:54
Titus

Цитата:

Сообщение от Alex_K

Так при копировании в аккумулятор могут только установится флаги N и Z. Да и то, как я понимаю, флаги временные, вне PSW.

Правильно. Что тут противоречит моему описанию? )
Еще раз на пальцах.
В регистре PSW имеем установленный бит V. T.e. 0x0002.
Делаем ACC = PSW & 0x0002.
Если в результате ACC = 0 (бит V не был установлен в регистре PSW), то устанавливается флаг Z.
Если в результате ACC = 2 (бит V был установлен в регистре PSW), то флаг Z обнуляется.
05.12.2020, 19:59
Alex_K

Цитата:

Сообщение от Titus

Правильно. Что тут противоречит моему описанию? )

Так если при копировании в аккумулятор не устанавливается флаг V, то вышли как могли. А почему нет комбинаций, которые проверяют флаг V, вон условных переходов BRx целая куча?
05.12.2020, 20:06
Titus

Цитата:

Сообщение от Alex_K

Так если при копировании в аккумулятор не устанавливается флаг V, то вышли как могли. А почему нет комбинаций, которые проверяют флаг V, вон условных переходов BRx целая куча?

Флаг V и не должен устанавливаться. Устанавливается флаг Z по которому определяется, был ли установлен флаг V.

Видимо, потому что сначала закодировали матрицу PLM_BRA, а потом оказалось, что расширенной арифметике этого не хватает.
Для команды SOB была написана проверка флага Z. Ей и воспользовались.

Напомню:

Код:

NA4 = 1, NA5 = 1: // Для команды выборки инструкции 0x01 0.000.x00.1xx BR 0.000.xx1.1xx Z=1 BEQ, BLE x.000.x01.1xx Z=1 BEQ, BLOS 1.000.x11.0xx C=0 BCC 1.000.xx1.1xx C=1 BCS, BLOS 1.000.x00.0xx N=0 BPL 1.000.x00.1xx N=1 BMI 1.000.x10.0xx V=0 BVC 1.000.x10.1xx V=1 BVS 0.000.x10.0xx V=1,N=1 BGE 0.000.x10.0xx V=0,N=0 BGE 0.000.x1x.1xx V=1,N=0 BLT, BLE 0.000.x1x.1xx V=0,N=1 BLT, BLE NA4 = 1: // Для команды выборки инструкции 0x01 и других(?) // Проверка NA5=1 упразднена, т.к. пересечение с командой SOB тоже проверяет Z=0 0.000.x01.0xx Z=0, BNE 1.000.x01.0xx C=0,Z=0 BHI 0.000.x11.0xx V=1,Z=0,N=1 BGT 0.000.x1x.0xx V=0,Z=0,N=0 BGT, BGE NA4 = 0, NA5 = 1: // RTI, RTT BIT_13 & BIT_14 & BIT_15 = 1 NA4 = 1, NA5 = 0: // Для команды SOB, DIV Z=0 NA4 = 0, NA5 = 0: // Для команды CODE030, FIS? N=0
05.12.2020, 21:25
MiX

Цитата:

Сообщение от Alex_K

А на каком тесте?

В этом.
05.12.2020, 21:45
Alex_K

Цитата:

Сообщение от MiX

В этом.

Тут надо ещё смотреть значение R6 до выполнения и после выполнения, желательно настроить вектор 4, чтобы узнать, был ли TRAP4.

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

Цитата:

Сообщение от MiX

В этом.

Начинать желательно с этого.

Показывать 40 сообщений этой темы на одной странице