Эмуляция: безусловные переходы и увеличение ПК с помощью циклов процессора

Question

Я пишу простой эмулятор GB (ничего себе, теперь это что-то новое, не так ли), так как я действительно делаю первые шаги в эму.

Я, похоже, не понимаю, как правильно реализовать цикл процессора и безусловные переходы.

Рассмотрим команду JP Nn (безусловный переход к адресу памяти указал,), как JP 1000h, если у меня есть основной цикл:

increment PC 
read opcode 
execute command 

Тогда после того, как опкод JP считаны и команда выполняется (прочитайте 1000h из памяти и установите PC = 1000h), ПК получает прирост и становится 1001h, что приводит к плохой эмуляции.

tl; dr Как вы эмулируете прыжки в эмуляторах, так что значение ПК остается верным, если у процессора есть петли, которые увеличивают число ПК?

Answer 1

ПК должен быть увеличен как «атомная» операция каждый раз, когда используется для возврата байта. Это означает немедленные операнды, а также коды операций.

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

Answer 2

Переместить increment PC в конец цикла и выполнить его условно в зависимости от кода операции?

Answer 3

Я почти ничего не знаю о эмуляции, но на ум приходят два очевидных подхода.

1. Вместо жесткого кодирования PC += 1 в основной цикл, пусть оценку, если каждый опкод возвращает следующее значение PC (или смещение, или флаг, говорящий ли увеличивать его, или и т.д.). Тогда разница между прыжками и другими кодами операций (их влияние на счетчик программ) определяется вместе со всем остальным о них.

2. Зная, что основной контур всегда будет увеличивать число ПК на 1, просто выполните выполнение прыжков, установите ПК на target - 1, а не на target.