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

[Patron]

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

Это нас не волнует, поскольку мы используем "готовый" признак V, который процессор формирует именно тогда, когда надо. Наша задача лишь в том, чтобы определить тот случай, когда этот признак устанавливается чётное число раз, а значит - должен быть сброшен, поскольку чётное изменение знака оставляет его НЕИЗМЕННЫМ.

Так ещё понятнее :)

...

Максимальным быстродействием (на мой взгляд) обладает древовидная версия алгоритма, которую предлагаю обсудить:

$Add32:
	Add	L1, L2
	BEq	LZ
	AdC	H2
	BVS	LV
	BCS	LC
	Add	H1, H2
	ClZ
	Return
LC:
	Add	H1, H2
	SeC
	ClZ
	Return
LV:
	BCS	LVC
	Add	H1, H2
	BVS	HV
	SeV
	ClZ
	Return
LVC:
	Add	H1, H2
	SeC
	BVS	HV
	SeV
	ClZ
	Return
HV:
	<ClZ>!<ClV>
	Return
LZ:
	AdC	H2
	BVS	LZV
	BCS	LZC
	Add	H1, H2
	Return
LZC:
	Add	H1, H2
	SeC
	Return
LZV:
	BCS	LZVC
	Add	H1, H2
	BVS	HZV
	SeV
	Return
LZVC:
	Add	H1, H2
	SeC
	BVS	HZV
	SeV
	Return
HZV:
	ClV
	Return

[form]

Думать лень. CLZV требует дополнительного описания.
Можно сделать без описания в виде <CLZ>!<CLV>

[Patron]

Для завершения доказательства правильности алгоритма необходимо убедиться в невозможности последовательного возникновения следующих двух событий:

1. Инкремент 16-разрядного приёмника приводит к изменению его знака без установки флага V.

2. Прибавление 16-разрядного источника приводит к установке флага V.

[form]

Для завершения доказательства правильности алгоритма необходимо убедиться в невозможности последовательного возникновения следующих двух событий:

1. Инкремент 16-разрядного приёмника приводит к изменению его знака без установки флага V.

2. Прибавление 16-разрядного источника приводит к установке флага V.

Инкремент устанавливает V только в одном случае: 77777 -> 100000.
Другой случай изменения знака дает 0 в результате.

---------- Post added at 08:30 ---------- Previous post was at 08:25 ----------

Ну а прибавление к нулю соответственно V не дает никогда.

[Patron]

Инкремент устанавливает V только в одном случае: 77777 -> 100000.
Другой случай изменения знака дает 0 в результате.

Поскольку при 0 в результате никакое каскадное суммирование не сможет установить флаг V - верность алгоритма доказана.

[Patron]

Да, мы ещё забыли случай, когда положительное 16-разрядное число прибавляется к 0100000 с изменением знака приёмника, но такое явно невозможно во всём диапазоне от 0 до 77777.

---------- Post added at 11:29 ---------- Previous post was at 10:37 ----------

сложение в PDP-11 только 16-разрядное, так что бит 8 - это и есть бит C, а с V подумать надо, тут его только по алгоритму вычислять надо.

Когда байты, используемые в эмуляторе для хранения 8-разрядных значений источника и приёмника - имеют нечётные адреса, а предыдущие байты с чётными адресами равны нулю - тогда 16-разрядное сложение слов с нечётными адресами будет давать правильный 8-разрядный результат с корректной установкой всех флагов в PSW.

[Advertiser]

[Titus]

Да, мы ещё забыли случай, когда положительное 16-разрядное число прибавляется к 0100000 с изменением знака приёмника, но такое явно невозможно во всём диапазоне от 0 до 77777.

Каким образом можно прибавить положительное 16-разрядное число к 0x8000 с изменением знака, если самое большое положительное число - это 0x7FFF?

[Patron]

Каким образом можно прибавить положительное 16-разрядное число к 0x8000 с изменением знака, если самое большое положительное число - это 0x7FFF?

Если бы такое было возможно - Ваш алгоритм определения признака V не был бы исчерпывающим.

Но такое невозможно, поэтому использованный алгоритм определения признака V предусматривает все возможные варианты результатов операций ADC H2 и ADD H1,H2.

Кстати, поскольку предложенный выше древовидный алгоритм не имеет внутренних состояний (т.е. не использует переменные) - для тестирования его правильности необходимо и достаточно, чтобы однократное выполнение каждой ветви дало правильный результат.

Так..

---------- Post added at 15:22 ---------- Previous post was at 14:23 ----------

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

[hobot]

Подскажите пожалуйста, как такую вот конструкцию на МАКРО-11 правильно соорудить?

PROCEDURE TTYOUT(N:INTEGER);
 CONST R=200B;
 VAR A ORIGIN 177564B, D ORIGIN 177566B:INTEGER;
BEGIN
 WHILE (A AND R)=0 DO;
 D:=N;
END; /* THIS PROCEDURE WAS COPIED FROM HPIC.PAS */

Спасибо )

---------- Post added at 17:09 ---------- Previous post was at 15:47 ----------

Отвечаю сам себе )))

...
PROCEDURE TTYOUT(N:INTEGER);
 CONST R=200B;
 VAR A ORIGIN 177564B, D ORIGIN 177566B:INTEGER;
BEGIN
 WHILE (A AND R)=0 DO;
 D:=N;
END; /* THIS PROCEDURE WAS COPIED FROM HPIC.PAS */

...
1$:	CLR	@#177564
	TST	@#177564
	BEQ	1$
	(вот как эта константа R (ЧТО ЭТО - УСЛОВИЕ?СОСТОЯНИЕ? ? я "тугой-тугой!")
	MOVE	N(SP), @#177566 
КАК ТО ТАК НАВЕРНОЕ?

[Patron]

CONST R=200B; 
VAR A ORIGIN 177564B:INTEGER;
WHILE (A AND R)=0 DO;

Эквивалентно:

1$:	BIT	#200, @#177564
	BEQ	1$

Но проще так:

1$:	TSTB	@#177564
	BPL	1$