Удивительное рядом

[vak]

Оказывается, если на процессоре 8086 к командам IDIV, IMUL или MUL приставить префикс REP, то знак результата изменится на противоположный. Поразительные тайны обнаруживаются в древнем железе. 😀

Это мой симулятор успешно прошёл первые 15 тысяч тестов от Daniel Balsom.

Comments

[ccpro]

а ещё (у этой группы процов в реальном режиме) была возможность портить код при пошаговой отладке. в этот момент определённые флаги проца
этот вопрос, иногда, включал мозги нерадивых, но умных студентов на зачёте по архитекруте 80x86/8088

вживую не одного 8086 не видел. только 8088. а вот 80186 видел. в каком-то контроллере

[spamsink]

Что зависело от этого поведения? Неужели им кто-то когда-нибудь пользовался?

(В сторону.) Какое счастье, что тест АУ БЭСМ-6 не проверял содержимое РМР после деления, а то бы мы до сих пор эмулятор отлаживали.

[vak]

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

Я таки добил симулятор i86 до совершенства. Он успешно прошёл все 646000 тестов от Intel P80C86A-2. А из 3007000 тестов от AMD D8088 нашлось четыре проблемных. Причём все они, похоже, проблемы в чипе, а не в симуляторе.

Так что мой симулятор можно считать идеальным. 😀 Осталось реализовать биосные вызовы, и получится XT-шка.

[dmarck]

дико круто

да, не очень осмысленно, но ощущение "ай да Пушкин, ай да сукин сын!" мне ооочень хорошо понятно!

[dimorlus]

Любопытно, а у других х86? Этим кто-то где-то пользовался, или история об этом молчит?

[ufm]

> Осталось реализовать биосные вызовы, и получится XT-шка
а что ты не вольмёшь какой нибудь готовый биос? Зная люовь досовских программ лазить к железу напрямую - всё равно ведь придётся его эмулировать...

[vak]

Всякий готовый биос тянет за собой кучу собственных проблем. А если какая-то программа ходит в регистры периферии - ну, мы подсунем ей какие-то регистры. Но без фанатизма.

[vak]

Народ уже обнаруживал этот эффект.

https://www.reenigne.org/blog/8086-microcode-disassembled/

В более поздних процессорах фича пропала.

[vak]

Если какую-то шалость можно залудить - обязательно надо залудить. 😀

[dimorlus]

Интересная ссылка, зачитался прямо. Там где-то в обсуждении промелькнул тоже интересный вопрос, совпадал ли микрокод 1810ВМ86 c оригинальным 8086, но автор не знает ответа.

[spamsink]

В очередном посте Аввы написано, что это из-за того, что бит REP применялся в умножениях-делениях для образования знака результата.

[vak]

Вроде 80186 был сделан уже по другому. Он появился на три года позже, вместе с 286.

А 8088 и 8086 внутри одинаковые. Я сначала отладил симулятор на тестах 8086, а потом прогнал тесты 8088 (причём клон от AMD). Отличий не заметил.

[vak]

Примерно так, да. Вроде из микрокода это видно. Есть опенсорсная реализация 8086 на основе оригинального микрокода.

https://github.com/nand2mario/z8086

[vak]

Я слышал, 1810ВМ86 послойным сдиранием копировали, так что вряд ли микрокод отличался.