Ядро с 32 битами и виртуализацией

[omercury]

Кажется, в арифметике ошибка, с логикой тоже не совсем согласен, но в целом мысль понятна.

Дык об уде и речь, рыбу никто не обещал.

Поэтому и пробую блоки на HDL, чтобы посмотреть до чего оптимизатор может их дооптимизировать.

На оптимизатор надейся...

Не какая-то djnz, а само, сразу. Да, похоже на DMA, но заталкивает байты он не в звуковую карту, а в блок выполнения команд.

Из описания как раз и понял, что "аппаратные циклы" как раз пропускают циклы программные, "пододвигая" в конвейере инструкции и распараллеливая процессы аппаратными примочками. Единственная клубничка на тортик - без средств разрешения конфликтов...

[blackmirror]

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

[Bolt]

Вопросы.

Первый.
По-моему я его уже задавал, но ответ не помню.
Почему rlc и rlc, имея в названии букву "c", прокручивают 8 бит, а rl и rr, не имеющие этой буквы, прокручивают 9 бит вместе с флагом переноса? Где логика?

Второй.
Флаги у Z80 конечно интересно устанавливаются, но в них есть скрытая система. Но вот cpl (инверсия аккумулятора) из этой системы выбивается, после неё перенос всегда должен быть установлен. Если кто в курсе, объясните почему она не меняет флаг переноса. В этом есть смысл? Или тоже "не баг, а фича"?

Третий.
Что если упростить эту систему флагов? Если, например, всегда будут меняться все флаги, смогут ли работать старые программы?

[Lethargeek]

Почему rlc и rlc, имея в названии букву "c", прокручивают 8 бит, а rl и rr, не имеющие этой буквы, прокручивают 9 бит вместе с флагом переноса? Где логика?

потому что c в данном случае значит cyclic

Флаги у Z80 конечно интересно устанавливаются, но в них есть скрытая система. Но вот cpl (инверсия аккумулятора) из этой системы выбивается, после неё перенос всегда должен быть установлен.

почему это должен быть всегда установлен? тогда уж сброшен, как после других побитовых операций

В этом есть смысл? Или тоже "не баг, а фича"?

наверно, быстрое получение -1 из 0 для операций типа reg+carry-1 или хитрых сдвигов каких-нибудь
ведь и установка уже есть, сбрасывающих перенос команд хватает и так

Что если упростить эту систему флагов? Если, например, всегда будут меняться все флаги, смогут ли работать старые программы?

всегда - это когда? ld тоже? но даже без неё работать точно не смогут, в частности, неполным влиянием inc/dec на флаги часто пользуются

[Bolt]

потому что c в данном случае значит cyclic

Ух, ё... Да, вот теперь логика есть.

почему это должен быть всегда установлен? тогда уж сброшен, как после других побитовых операций

Нет. Это не битовая операция, потому что установлен флаг N, а его устанавливает только вычитание. Это "0x00-A-carry", carry=1. И при этом она выбивается из системы, как будто у неё отдельная блокировка на изменение этого флага.

всегда - это когда? ld тоже? но даже без неё работать точно не смогут, в частности, неполным влиянием inc/dec на флаги часто пользуются

Нет, ld без флагов И про inc/dec тоже знаю.
В общем, не могу расставить инструкции для нового процессора. То ли там какой-то облом есть, который я не вижу, то ли мой перфекционизм мешает

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

Пример облома, который можно не заметить.
Вот тебе фигурки (типа тетриса), надо заполнить ими прямоугольник. На третий день раскладывания возникает мысль: а тупо по площади они туда умещаются или нет?

[Lethargeek]

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

ну, допустим... но тогда...

Это "0x00-A-carry", carry=1.

при чём тут carry? тогда уж 255-a (что, опять же, по идее должно сбрасывать перенос)

[Advertiser]

[Bolt]

тогда уж 255-a (что, опять же, по идее должно сбрасывать перенос)

Нет, потому что она устанавливает перенос H.

[Lethargeek]

Нет, потому что она устанавливает перенос H.

так это и при сброшенном C бывает

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

и раз один перенос уже работает нестандартно, тогда почему бы и не второй? (да и N, если уж на то пошло)

[Bolt]

0xFF - A
При каком значении A появится перенос h? Никогда.

0x00 - A - carry
При каком значении A появится перенос h? Всегда.

[Lethargeek]

0x00 - A - carry

еще раз: ну при чём тут carry? когда результат от его значения не зависит

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

и у тебя там ДВА вычитания, так результатом первого или второго должен быть H?

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

если первого, то при a=1 не появится, если второго, то появится только для a=0