Построение компилятора

[denpopov]

drbars, примерно так:

NEG получение дополнительного кода Признаки: O D I T S Z A P C
* * * * * *

NEG destination

Логика: destination = -destination; дополнительный код


Команда NEG вычитает операнд destinstion из 0 и засылает
результат обратно в destination. Эта команда является реализаци-
ей выполнения операции нахождения дополнительного кода операнда.
Операндом может быть как байт, так и слово.


----------------------------------------------------------------
Операнды Такты Обращения Байты Пример
байты(слова)
регистр 3 - 2 NEG DL
память 16(24)+EA 2 2-4 NEG COEFFICIENT
----------------------------------------------------------------

Примечание : Если операнд равен нулю, то признак переноса CF
сбрасывается (=0); во всех остальных случаях он устанавливается
(=1). Попытка применения операции NEG к байту -128 или слову
-32,768 не приводит к изменению операнда, а только устанавливает
признак переполнения (OF=1).

[Andrew771]

миль пардон, но где Вы их раскопали?оО

вот тут большие залежи: http://exmortis.narod.ru/src_compilers.html

так?

Вроде как NEG делает a=-a, флаг переноса устанавливает только в случае a=0.

У меня вот так получается:

Logical:
a=0 => a=-1, cy=1
a<>0 => a=0, cy=0

Logical_Not:
a=0 => a=0, cy=1
a<>0 => a=-1, cy=0

Правильно?

---------- Post added at 14:14 ---------- Previous post was at 14:12 ----------

Если операнд равен нулю, то признак переноса CF
сбрасывается (=0); во всех остальных случаях он устанавливается
(=1)

ха.. А на Спектруме по-моему наоборот. Вот я и запутался.

[denpopov]

Andrew771, я взял из описания NortonGuide

[Andrew771]

Andrew771, я взял из описания NortonGuide

я верю
а на Спеке флаг CY наоборот устанавливается или нет при команде NEG? И как влияют на CY команды ADC и SBC?

[denpopov]

И как влияют на CY команды ADC и SBC?

adc A,n A=A+n+CY
sbc A,n A=A-n-CY

кажется так..

[Andrew771]

adc A,n A=A+n+CY
sbc A,n A=A-n-CY

кажется так..

это да. А после выполнения операций?

---------- Post added at 15:00 ---------- Previous post was at 14:59 ----------

Проверил сейчас работу NEG на эмуляторе. В общем, я неправильно говорил, она также работает, как и на PC:
CY=1, если A<>0
CY=0, если A=0

---------- Post added at 15:03 ---------- Previous post was at 15:00 ----------

и тогда будет:
Logical:
a=0 => a=-1, cy=0
a<>0 => a=0, cy=1

Logical_Not:
a=0 => a=0, cy=0
a<>0 => a=-1, cy=1

[drbars]

Я вот не вижу смысла тут EAX обнулять.

Logical
NEG EAX
MOV EAX,0
SBC EAX,EAX

Мой пример должен правильно работать, без всяких ADC — это грабли.

---------- Post added at 23:27 ---------- Previous post was at 23:22 ----------

и тогда будет:
Logical:
a=0 => a=-1, cy=0
a<>0 => a=0, cy=1

ADD A,#FF
CCF
SBC A,A

или 16 bit версия
LD HL,число
LD DE,#FFFF
ADD HL,DE
CCF
SBC HL,HL

Logical_Not:
a=0 => a=0, cy=0
a<>0 => a=-1, cy=1

ADD A,#FF
SBC A,A

или 16 bit версия
LD HL,число
LD DE,#FFFF
ADD HL,DE
SBC HL,HL

[Lion17]

С точностью до наоборот

Logical (eax=eax?-1:0)
Logical Not (eax=eax?0:-1)

[alone]

Где можно почитать про современные алгоритмы кодогенерации (с оптимизацией)?

[psb]

alone, я тебе говорил где посмотреть про компиляторы.