Баг формата SZX

[Spectramine]

что значит "некорректный префикс"? У Z80 все префиксы корректные.

Некорректный - значит цепочечный, который не является корректной частью команды. В цепочке префиксов DD|FD все префиксы некорректные, кроме последнего.

Ещё раз, выдержка из описания формата SZX:
Flag Meaning
ZXSTZF_EILAST The last instruction executed was an EI instruction or an invalid $DD or $FD prefix.

Итого - вы, конечно, можете разрывать команду при записи SZX, записывая его после чтения корректного префикса #DD|#FD, но 1) это не корректно - не соответствует описанию формата, 2) ни один эмулятор, кроме вашего, не будет читать такой SZX, 3) и это не баг формата SZX.

[ZXMAK]

да, лучше конечно добавить флаги для состояния префиксов в снэпшот. Без этого снэпшоты неполноценные получаются.

А как с автором SZX связаться?

[Bedazzle]

А как с автором SZX связаться?

Наверное, писать автору спектакулятора. Так понимаю, для телефонов приложуха развивается.

[goodboy]

специально проверил в нескольких эмуляторах, например
#8000 LD IX,#4000

BreakPoint на #8001 не сработает, также не сработает и условие PC==#8001

получается что в идеале выносить PC `наружу` (для префиксных команд) это неправильно.
.......
call #8001 ; сработает, эмуль понимает что начинает выполняться обычная команда.

[ZXMAK]

специально проверил в нескольких эмуляторах, например
#8000 LD IX,#4000

BreakPoint на #8001 не сработает, также не сработает и условие PC==#8001

в ZXMAK2 breakpoint сработает.

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

получается что в идеале выносить PC `наружу` (для префиксных команд) это неправильно.

с чего вдруг неправильно? А если вся память забита скажем #DD, куда эмулятору деваться?

[Lethargeek]

с чего вдруг неправильно? А если вся память забита скажем #DD, куда эмулятору деваться?

на колу мочало... сказано же -

получается что в идеале выносить PC `наружу` (для префиксных КОМАНД) это неправильно.

цепочка незначимых префиксов - НЕ команда (не одна команда, во всяком случае)

[ZXMAK]

неправильно для чего? Для Z80 это правильно и возможно.

Я рассматриваю ситуацию, когда я хочу сохранить снэпшот из отладчика, когда процессор выполнил скажем #DD, но саму инструкцию еще не выполнил. Выполнять инструкцию при сохранении - это неправильно, т.к. мне нужно сохранить процессор в том состоянии в каком он находится, без изменений. Чтобы при загрузке снэпшота продолжить отладку именно с такого префиксного состояния.

Я кстати так вначале и сделал - прикрутил чтобы процессор при остановке завершал инструкцию если взведен префикс, но потом столкнулся с проблемой что при срабатывании точки останова внутри префиксной инструкции процессор останавливается на следующей инструкции вводя пользоваля в замешательство, т.к. на этой интсрукции нет точки останова. Ну и как уже упоминалось выше, если вся память забита префиксом такое завершение инструкции приведет к зависанию эмулятора.

Пока добавил при загрузке SZX проверку ячейки *(PC-1) если взведен флаг ZXSTZF_EILAST. Это хорошо работает. Но в теории возможна ситуации когда может привести к неправильной интерпретации состояния, как в рассмотреном выше случае с возвратом из NMI по RETI/RETN, в этом случае будет взведен флаг ZXSTZF_EILAST, что приведет к взведению флага IX/IY в загрузчике SZX, если *(PC-1) окажется равным #DD/#FD. Других случаев кроме возврата из NMI когда это может дать ошибочное состояние не вижу.

Если предыдущая инструкция была LD A,#DD, это не приведет к взведению флага IX/IY, т.к. флаг ZXSTZF_EILAST будет сброшен. Он взводится только после выполнения #DD/FD префикса или EI.

Написал Jonathan Needle с просьбой зарезервировать флаги ZXSTZF_IXLAST и ZXSTZF_IYLAST. Если зарезервирует, можно будет их использовать вместо анализа предыдущего байта по ZXSTZF_EILAST.

[Bedazzle]

при срабатывании точки останова внутри префиксной инструкции процессор останавливается на следующей инструкции вводя пользоваля в замешательство, т.к. на этой интсрукции нет точки останова. Ну и как уже упоминалось выше, если вся память забита префиксом такое завершение инструкции приведет к зависанию эмулятора.

А как отрабатывают цепочку префиксов железные отладчики, например, в Скорпе?

[Chwe]

А как отрабатывают цепочку префиксов железные отладчики, например, в Скорпе?

Я там выше уже писал, но, видимо, не совсем ясно выразился. Для случая конкретно SZX, а не поведения/эмуляции Z80 «вообще», какая разница? Вроде, конкретно для SZX есть две reference implementations. Ладно, одна без исходников (или нет?), но вторая-то с открытыми исходниками. Если снапшот ни в одной из них не работает, надо просто посмотреть, как сделано в reference implementation и повторить.

[Spectramine]

Написал Jonathan Needle с просьбой зарезервировать флаги ZXSTZF_IXLAST и ZXSTZF_IYLAST. Если зарезервирует, можно будет их использовать вместо анализа предыдущего байта по ZXSTZF_EILAST.

Это полумеры, для полноты картины ещё можно добавить флаги для информации о текущем машинном цикле, чтобы можно было разрывать команду даже внутри чтения кода операции. Ну и, само собой, после префиксов #CB, #ED, перед чтением операнда и в процессе его чтения.