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

[Hunta]

Достаточно проверить

Согласен
Но по любому

Rd=R7

не понятно

[Titus]

А может всё-таки записываем в Rd, а не в Rs

Я исходил из того, что поле 00R00 - это всегда источник, а поле 000NN - это приемник, поэтому так и назвал.
Хотя, в командах расширенной арифметики получается, что наоборот.

Можно переименовать в микрокоде, если смущает.

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

Проверка 'if (Rd=R7) GOTO 0x21' на шаге 0x0C - это универсальный рудимент от других команд, использующих же этот шаг.
Для MUL он бессмысленный.

[Alex_K]

Я исходил из того, что поле 00R00 - это всегда источник, а поле 000NN - это приемник, поэтому так и назвал.
Хотя, в командах расширенной арифметики получается, что наоборот.

Код команды 070RSS, так что SS - это источник, а регистр R - приёмник.

[Titus]

Код команды 070RSS, так что SS - это источник, а регистр R - приёмник.

Это я вижу, но декодируется все универсально и одними и теми же методами. Правое поле универсализировано, как источник.
Поэтому и проверка в конце команды Rd=R7, предполагая, что Rd закодирован правым полем.

Перепишу микрокод для MUL, чтобы не путать общественность)

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

Поменял поля местами в описании

[Alex_K]

Поменял поля местами в описании

Так всё-таки проверяет Rs?

[Titus]

Так всё-таки проверяет Rs?

Он проверяет тот регистр, который закодирован правым полем.
Во всех командах там Rd, а в MUL - Rs. Поэтому проверяет он Rs, т.е. то, чего проверять не надо.

[Advertiser]

[Alex_K]

Он проверяет тот регистр, который закодирован правым полем.
Во всех командах там Rd, а в MUL - Rs. Поэтому проверяет он Rs, т.е. то, чего проверять не надо.

Забавный глюк должен получиться, если в качестве R будет R6 или R7. Надо попробовать на реале.

[Titus]

Забавный глюк должен получиться, если в качестве R будет R6 или R7. Надо попробовать на реале.

Ну, как я уже говорил выше, в процессоре есть схема, которая отслеживает запись в R7 независимо от того, чего понаписано в микрокоманде.
Я не разбирался в деталях еще, но судя по всему, она сбрасывает кеширование, так что все будет разрулено.

[Alex_K]

Ну, как я уже говорил выше, в процессоре есть схема, которая отслеживает запись в R7 независимо от того, чего понаписано в микрокоманде.
Я не разбирался в деталях еще, но судя по всему, она сбрасывает кеширование, так что все будет разрулено.

А зачем тогда проверка в микрокомандах идёт, и переход или на 0x01 или на 0x21?

[Titus]

А зачем тогда проверка в микрокомандах идёт, и переход или на 0x01 или на 0x21?

Я думаю, что это сделано для ускорения.
Если отдать все на откуп стандартной микропрограмме извлечения следующей инструкции, то будет:
0x01 - попытка выборки кэшированного слова, но его нет. Тогда перейдем на 0x21
0x21 - кэшировать слово
0x01 - попытка номер два. Бинго!
А если проверка будет в самом обработчике конкретной инструкции, то сразу пойдем на шаг 0x21, не делая лишних телодвижений через недействительный шаг 0x01.
Таким образом, проверка в конце команды ускоряет выполнение на 4 такта, в случае, если кэш недействительный из-за записи результата в R7.