;; Copyright 1992 by Jutta Degener and Carsten Bormann, Technische; Universitaet Berlin.  See the accompanying file "COPYRIGHT" for; details.  THERE IS ABSOLUTELY NO WARRANTY FOR THIS SOFTWARE.;;;	Lines starting with ' (in the first col) are echoed.;	Lines starting with " (in the first col) are echoed to stderr.;	Lines starting with ; or empty lines are ignored.;;	The part after (including) a trailing '=' is what you expect;;	there will be output if the result is different.;;	-  and +  by itself mean MIN_WORD and MAX_WORD, respectively;;	-- and ++ mean MIN_LONGWORD and MAX_LONGWORD.;'test the basic arithmetic operations used for the rpe-ltd filtering.''add ================'  basic	add  0  0 	=  0	add  7  4	= 11	add  4  6 	= 10	add  1  1 	=  2'  negative operands	add  -7  4	= -3	add   4 -6 	= -2	add  -1 -3 	= -4	add   7 -4	=  3	add  -4  6 	=  2'  positive overflow; (max-word = 32767)	add  + 1	= +	add  + +	= +	add  -1 + 	= 32766	add  32766 2	= +	add  1 32766  	= +'  underflow; (min-word = 32768)	add  - -1	= -	add  - -	= -	add  1 -	= -32767  	add  -32767 -2	= -	add  -1 -32766 	= -32767	add  -32767 -1	= -	add  - +	= -1	add  + -	= -1	add  0 -	= -	add  0 +	= +''L_add ================'  basic 	L_add  0  0 	=  0	L_add  7  4	= 11	L_add  4  6 	= 10	L_add  1  1 	=  2'  negative operands	L_add  -7  4	= -3	L_add   4 -6 	= -2	L_add  -1 -3 	= -4	L_add   7 -4	=  3	L_add  -4  6 	=  2	L_add   0 -1 	= -1'  positive overflow; (max-longword = 2147483647)	L_add  ++ 1	= ++	L_add  ++ ++	= ++	L_add  -1 ++ 	= 2147483646	L_add  2147483646 2 = ++	L_add  1 2147483645 = 2147483646'  underflow; (min-longword = -2147483648)	L_add  -- -1	= --	L_add  -- --	= --	L_add  1 --	= -2147483647	L_add  -2147483647 -2	= --	L_add  -1 -2147483646 	= -2147483647	L_add  -2147483647 -1	= --	L_add  -- ++	= -1	L_add  ++ --	= -1	L_add  0 --	= --	L_add  0 ++	= ++''sub ================'  basic 	sub  0  0 	=  0	sub  7  4	=  3	sub  4  6 	= -2	sub  1  0 	=  1'  negative operands	sub  -7  4	= -11	sub   4 -6 	=  10	sub  -1 -3 	=  2	sub   7 -4	=  11	sub  -4  6 	= -10'  positive overflow; (max-word = 32767)	sub  1 -	= +	sub  + +	= 0	sub  + 0	= +	sub  + -1 	= +	sub  + 1 	= 32766	sub  1 + 	= -32766 	sub  0 +  	= -32767'  underflow; (min-word = 32768)	sub  - -1	= -32767	sub  - 1	= -	sub  - -	= 0	sub  - +	= -	sub  + -	= +	sub  1 -	= +	sub  -1 -	= +	sub  -32767 2	= -	sub  0 -	= +' 'L_sub ================'  basic 	L_sub  0  0 	=  0	L_sub  7  4	=  3	L_sub  4  6 	= -2	L_sub  1  0 	=  1'  negative operands	L_sub  -7  4	= -11	L_sub   4 -6 	=  10	L_sub  -1 -3 	=  2	L_sub   7 -4	=  11	L_sub  -4  6 	= -10'  positive overflow	L_sub  1 --	= ++	L_sub  ++ ++	= 0	L_sub  ++ 0	= ++	L_sub  ++ -1 	= ++	L_sub  ++ 1 	=  2147483646	L_sub  1 ++ 	= -2147483646	L_sub  0 ++  	= -2147483647'  underflow	L_sub  -- -1	= -2147483647	L_sub  -- 1	= --	L_sub  -- --	= 0	L_sub  -- ++	= --	L_sub  + --	= ++	L_sub  1 --	= ++	L_sub  -1 --	= ++	L_sub  -2147483647 2 = --	L_sub  0 --	= ++''abs ================'  basic 	abs	   0	=   0	abs	   2	=   2	abs	-459	= 459'  overflow	abs	 +	=   +	abs	 -	=   +	abs 	-32767  =   +	abs 	 32766  = 32766	abs 	-32766  = 32766''mult ================;  actually, a * b >> 15'  basic 	mult	0  0		= 0	mult	0x100 0x100	= 2	mult	4711 0x4000	= 2355'  negative operands	mult	-1  0		=  0	mult	-0x100   0x100	= -2	mult	 0x100  -0x100	= -2	mult	-0x100  -0x100	=  2	mult	-4711   0x4000	= -2356	mult	 4711  -0x4000	= -2356	mult	-4711  -0x4000	=  2355'  overflow	mult	+ + 	 = 32766	mult	+ 0x4000 = 0x3fff	mult	0x4000 + = 0x3fff	mult	+ 1	 = 0	mult	+ 2	 = 1	mult	+ 3	 = 2'  underflow	mult	- - 	 = +	mult	- + 	 = -32767	mult	+ - 	 = -32767	mult	- 1	 = -1	mult	- 2	 = -2	mult	- 3	 = -3''mult_r ================;  actually, (a * b + 16384) >> 15'  basic 	mult_r	0  0		= 0	mult_r	0x100 0x100	= 2	mult_r	4711 0x4000	= 2356'  negative operands	mult_r	-1  0		=  0	mult_r	-0x100   0x100	= -2	mult_r	 0x100  -0x100	= -2	mult_r	-0x100  -0x100	=  2	mult_r	-4711   0x4000	= -2355	mult_r	 4711  -0x4000	= -2355	mult_r	-4711  -0x4000	=  2356'  overflow	mult_r	+ + 	 = 32766	mult_r	+ 32766	 = 32765	mult_r	32766 +	 = 32765	mult_r	+ 0x4000 = 0x4000	mult_r	0x4000 + = 0x4000	mult_r	+ 0x4001 = 0x4000	mult_r	0x4001 + = 0x4000	mult_r	+ 2	 = 2	mult_r	+ 1	 = 1	mult_r	1 +	 = 1	mult_r	+ 0	 = 0	mult_r	0 +	 = 0'  underflow	mult_r	- - 	 = +	mult_r	- + 	 = -32767	mult_r	+ - 	 = -32767	mult_r	- 1	 = -1	mult_r	- 2	 = -2	mult_r	- 3	 = -3''L_mult ================;  actually, (a * b) << 1;  assert (a != MIN_WORD && b != MIN_WORD)'  basic 	L_mult	0  0	= 0	L_mult	2  3	= 12	L_mult	4711 5	= 47110'  negative operands	L_mult	-2  3	= -12	L_mult	 2 -3	= -12	L_mult	-2 -3	=  12	L_mult -4711  5	= -47110	L_mult	4711 -5	= -47110	L_mult -4711 -5	=  47110'  overflow	L_mult	+ + 	 = 2147352578	L_mult	+ -32767 = -2147352578	L_mult	-32767 + = -2147352578	L_mult	+ 2	 = 131068	L_mult	+ 1	 = 65534	L_mult	1 +	 = 65534	L_mult	+ 0	 = 0	L_mult	0 +	 = 0''div ================;  actually, (32767 * a) / b;  assert (a > 0 && b >= a)'  basic 	div	1 1		= +	div	4711 4711 	= +	div	5 10		= 0x4000	div	5 20		= 0x2000	div	5 40		= 0x1000'  overflow	div	+ + 		= +	div	0x4000 +	= 0x4000	div	1 +		= 1	div	1 2		= 0x4000''norm ================'  positive	norm	1		= 30	norm	2		= 29	norm	3		= 29	norm	4		= 28	norm	5		= 28; etc, etc...	norm	0x08000000	= 3	norm	0x10000000	= 2	norm	0x20000000	= 1	norm	0x20000001	= 1	norm	0x3fffffff	= 1	norm	0x40000000	= 0	norm	0x40000001	= 0	norm	0x4ffffffe	= 0	norm	++		= 0'  negative	norm	-1		= 31	norm	-2		= 30	norm	-3		= 29	norm	-4		= 29	norm	-5		= 28; etc, etc...	norm	0x4fffffff	= 0	norm	--		= 0''>> ================'  basic 	>>	1 1		= 0	>>	4 2		= 1	>>	0x1100 5	= 0x88'  negative operand	>>	1 -1		= 2	>>	1 -2		= 4	>>	0x88 -5		= 0x1100'  overflow	>>	-1 4711		= -1	>>	1  4711		= 0	>>	-4711 4711 	= -1	>>	4711 4711 	= 0	>>	+ 1		=  16383	>>	- 1		= -16384''L_>> ================'  basic 	L_>>	1 1		= 0	L_>>	4 2		= 1	L_>>	0x1100 5	= 0x88'  negative operand	L_>>	1 -1		= 2	L_>>	1 -2		= 4	L_>>	0x88 -5		= 0x1100'  overflow	L_>>	-1 4711		= -1	L_>>	1  4711		= 0	L_>>	-4711 4711 	= -1	L_>>	4711 4711 	= 0	L_>>	++ 1		=  1073741823	L_>>	-- 1		= -1073741824''<< ================'  basic 	<<	1 1		= 2	<<	4 2		= 16	<<	0x0088 5	= 0x1100'  negative operand	<<	1 -1		= 0	<<	4 -2		= 1	<<	0x1100 -5	= 0x0088'  overflow	<<	-1 4711		= 0	<<	1  4711		= 0	<<	-4711 4711 	= 0	<<	4711 4711 	= 0	<<	4711 -4711 	= 0	<<	-4711 -4711 	= -1	<<	+ 1		= 0xfffe	<<	-1 1		= 0xfffe	<<	- 1		= 0''L_<< ================'  basic 	L_<<	1 1		= 2	L_<<	4 2		= 16	L_<<	0x0088 5	= 0x1100'  negative operand	L_<<	1 -1		= 0	L_<<	4 -2		= 1	L_<<	0x1100 -5	= 0x0088'  overflow	L_<<	-1 4711		= 0	L_<<	1  4711		= 0	L_<<	-4711 4711 	= 0	L_<<	4711 4711 	= 0	L_<<	4711 -4711 	= 0	L_<<	-4711 -4711 	= -1	L_<<	++ 1		= -2	L_<<	-1 1		= -2	L_<<	-- 1		= 0