Кросскомпилятор Си под 8080

[predatoralpha]

В ячейке clrscr_dest хранится адрес, который предыдущей строкой увеличивается.
Нет на 8080 команды ld ((clrscr_dest)), A

Извиняюсь, просмотрел, что тут двойной доступ.

Да, я пока одну версию операторов написал. Сегодня поправлю, а то забуду.

Догадываюсь, что код сильно усложнится. Прединкремент/преддекремент работает быстрее, и код короче. Конкретно здесь, поскольку переменная с в теле не используется, его стОит оставить, только увеличить на единицу BC (или сразу загрузить в него увеличенную на 1 константу, как в этом случае). Впрочем, анализ циклов сложное дело, и я понимаю, что сейчас оно не на времени.

Можно продублировать функцию вызываемую из прерывания и из основного кода.

Безусловно. Кому надо - продублирует.

Это компромисс между
1) Программой, которая умеет рекурсию.
2) И программой, которая работает в 3 раза быстрее.

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

[b2m]

Это компромисс между
1) Программой, которая умеет рекурсию.
2) И программой, которая работает в 3 раза быстрее.

Так надо ввести опцию компилятора: все переменные статические - да/нет. А компилятор делать классически, с поддержкой локальных переменных в стеке. Кому не нравится глобальная переменная, поставит перед декларацией register.

---------- Post added at 19:26 ---------- Previous post was at 19:23 ----------

И в тексте программы учитывать:
#pragma static_variable on
#pragma static_variable off

[predatoralpha]

Так надо ввести опцию компилятора: все переменные статические - да/нет. А компилятор делать классически, с поддержкой локальных переменных в стеке. Кому не нравится глобальная переменная, поставит перед декларацией register.

Ээээ... ничего что стандарт C99 позволяет указатели на регистровые локальные переменные? И это как раз такой случай, что она должна располагаться в стеке, если конечно компилятор не соптимизирует обращение к переменной, и есть гарантия, что доступа к адресу не будет.
Так что вопрос несколько сложнее, и просто register это не решает.
Здесь планируется несколько более, чем просто статические переменные. Их можно использовать как и автоматические, для рекурсии. Можно сказать, что локальные переменные просто кешируются в памяти по конкретным адресам.

[vinxru]

У меня нельзя будет получить адрес регистровой переменной. Как раз сейчас сообщений об ошибках придумывал.

case pVar8: p.logicError_("Нельзя получить адрес переменной преобразованной из 8 бит"); break; // &(ushort)a;
case pA: case pHl: case pStack: p.logicError_("Нельзя получить адрес временного значения"); break;
case pB: case pC: case pBC: p.logicError_("Нельзя получить адрес регистровой переменной"); break;
case pConst: p.logicError_("Нельзя получить адрес константы"); break;

---------- Post added at 19:42 ---------- Previous post was at 19:40 ----------

Кстати первая ошибка - это косяк оптимизации, потом сделаю обход.

Когда мы преобразовываем значение

char a;
short b = (short)a + 0x1234;

Сразу А не преобразуется. Просто функции чтения забивают старшие 8 бит нулями. Это работает везде кроме

short* b = &(short)a;

Оно и так не должно выполняться. А если выполнится, то будет идентично

short* b = (short*)&a;

---------- Post added at 19:43 ---------- Previous post was at 19:42 ----------

Чё я торможу. Это ошибка "Нельзя получить адрес временного значения"

---------- Post added at 20:34 ---------- Previous post was at 19:43 ----------

Сейчас мой мозг вытечет через ухо

Есть абстрактные команды

moNot, moNeg, moAddr, moDeAddr, moPostInc, moPostDec, moInc, moDec
oDiv, oMod, oMul, oAdd, oSub, oShl, oShr, oL, oG, oLE, oGE, oE, oNE, oAnd, oXor, oOr, oLAnd, oLOr, oIf, oSet, oSAdd, oSSub, oSMul, oSDiv, oSMod, oSShl, oSShr, oSAnd, oSXor, oSOr

И такой набор команд на каждый тип данных char, short, long, ulong.

У них несколько значений на входе. Причем значения могут быть:

pConst - это просто число
pConstRef - адрес в памяти
pVar - какая то переменная
pVar8 - переменная, причем используются только 8 нижних бит
pRef - переменная содержащая адрес в памяти
pArray - переменная, но компилятор должен подставлять её адрес в программу вместо значения.
pHl, pA, pB, pC, pBC - регистры
pStack - верхушка стека
pBCRef, pHLRef - в регистрах лежит адрес значения в памяти.

И при этом регистры A, DE, HL используются для временного хранения переменных и их иногда можно использовать, а иногда нельзя.

И при этом, команды должны сваливать результат в

pConstRef - адрес в памяти
pVar - какая то переменная
pRef - переменная содержащая адрес в памяти
pHl, pA, pB, pC, pBC - регистры
pStack - верхушка стека
pBCRef, pHLRef - в регистрах лежит адрес значения в памяти.

---------- Post added at 20:38 ---------- Previous post was at 20:34 ----------

Ой, да. Команды при этом еще объединяются и упрощаются. Например сравнение и переход.

---------- Post added at 21:27 ---------- Previous post was at 20:38 ----------

А чем отличается RAL от ADС A, кроме изменяемых флагов?

[b2m]

У ADC A справа нулевой бит добавляется, а RAL - берёт флаг переноса.

[vinxru]

У разве не у ADD нулевой бит добавляется?

[b2m]

Фу-ты, попутал. Значит ничем

[vinxru]

Команды RAL вообще мне не пригодились

16 битный сдвиг DAD H
8 битный сдвиг ADD A
8 бит в другую сторону CP A + RAR

16 бит вправо самая сложная

MOV A, H/B
CP A
RAR
MOV H, A
MOV A, L/C
RAR
MOV L, A

[ivagor]

16 бит вправо самая сложная
MOV A, H/B
CP A

Можно скинуть 1 такт, если первые 2 команды заменить на
xra a (или sub a)
ora h/b

[vinxru]

И еще я что то не могу сообразить, как сравнивать знаковые числа. Беззнаковые просто, по флагам Z и C. А знаковые я только придумал

(n1+80h) < (n2+80h)

MOV A, N1
XRI 0x80
MOV D, A
MOV A, N2
XRI 0x80
CP D

А дальше так же по флагам C, Z

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