Программирование на УКНЦ как?

[Titus]

Проверил ещё немного входных данных:
Ошибок нет:

Чтобы точно убедиться в правильности алгоритма, недостаточно умозрительных предположений, относительно поведений флагов. Нужно или же четко обосновать их, либо же сделать тест, который переберет все варианты, либо же все варианты в зоне влияния флагов, что опять же должно быть обосновано.

[Advertiser]

[Patron]

Чтобы точно убедиться в правильности алгоритма, недостаточно умозрительных предположений, относительно поведений флагов. Нужно или же четко обосновать их, либо же сделать тест, который переберет все варианты, либо же все варианты в зоне влияния флагов, что опять же должно быть обосновано.

1. Думаю, что относительно поведения флага N умозрительных предположений вполне достаточно.

Флаг N копирует старший бит результата.

2. Относительно флага Z тоже всё ясно - если хотя бы один бит результата отличен от 0 - флаг сбрасывается, иначе - устанавливается.

3. С флагом C больших проблем также не видно. Если был перенос из старшего разряда - флаг C устанавливается, иначе - сбрасывается.

4. Единственный не вполне очевидный флаг - флаг V.

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

Если не все - то какие ещё комбинации нужно протестировать ?

[Titus]

Если не все - то какие ещё комбинации нужно протестировать ?

Я не знаю, меня вопрос этого флага интересовал только вскользь, поэтому единственное, что могу предложить - это обосновать V теоретически, или же перебрать все 4 миллиарда в квадрате значения)

[Patron]

Я не знаю, меня вопрос этого флага интересовал только вскользь, поэтому единственное, что могу предложить - это обосновать V теоретически, или же перебрать все 4 миллиарда в квадрате значения)

Теоретическое обоснование (на мой взгляд) несложно.

Флаг V устанавливается, только когда результат меняет знак. Поэтому, если результат меняет знак дважды (четырежды и т.д.) - флаг V сбрасывается.

Отсюда - если при всех операциях со старшим словом приёмника флаг V был установлен нечётное число раз - итоговый флаг V устанавливается, иначе - сбрасывается (что и реализовано).

[Titus]

Флаг V устанавливается, только когда результат меняет знак. Поэтому, если результат меняет знак дважды (четырежды и т.д.) - флаг V сбрасывается.

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

Или говоря иначе. Если был перенос в знаковый разряд, но не было переноса во флаг C, или же был перенос во флаг C, но не было переноса в знаковый разряд - флаг V устанавливается.

[form]

В описании KDJ11 дается четкое определение (взято из описания ADD):

V: set if there was arithmetic overflow as a result of the operation, that is,
both operands were of the same sign and the result was of the opposite
sign; cleared otherwise

[Titus]

В описании KDJ11 дается четкое определение (взято из описания ADD):

V: set if there was arithmetic overflow as a result of the operation, that is,
both operands were of the same sign and the result was of the opposite
sign; cleared otherwise

Это та же самая логика работы, что и я описал)

[form]

Это та же самая логика работы, что и я описал)

Логика та же, просто тут слова проще

---------- Post added at 06:30 ---------- Previous post was at 06:20 ----------

А что до логики, я уже раньше говорил, что достаточно знать старший разряд до и после операции, а C мы очень легко не теряем при 32битных операциях

[Patron]

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

Если внимательно прочитать написанное, то можно понять, что именно это и имелось в виду.

Но помимо этого было отмечено, что установка флага V *всегда* означает смену знака результата.

Если флаг V был установлен, значит результат изменил знак.

Следовательно, если результат не изменил знак - флаг V не может быть установлен.

Теперь понятнее..

[form]

Если внимательно прочитать написанное, то можно понять, что именно это и имелось в виду.

Но помимо этого было отмечено, что установка флага V *всегда* означает смену знака результата.

Если флаг V был установлен, значит результат изменил знак.

Следовательно, если результат не изменил знак - флаг V не может быть установлен.

Теперь понятнее..

Да. Главное не забыть, что обратное отсюда не следует - если результат сменил знак, отсюда не следует что установлен V