--| Copyright (c) 1993-2006 University of Southern California and contributors.
--| All rights reserved.
--| Your use of this work is governed under the terms of the GNU General
--| Public License version 2.

class TEST
create
	make
feature
	make is
		do
			test_integer_64
		end

	test_integer_64 is
		local
			b00, b01, b10, b11: INTEGER_64
			t00, t01, t10, t11: INTEGER_64
			all_zero, all_one: INTEGER_64
			k: INTEGER
		do
			b00 := 0
			b01 := 1
			b10 := 2
			b11 := 3
			t00 := b00 |<< 62
			t01 := b01 |<< 62
			t10 := b10 |<< 62
			t11 := b11 |<< 62
			all_zero := 0
			all_one := all_zero.bit_not
			
			print ("INTEGER_64 bit and%N")
			print (i64_to_hex (b00 & b00)); io.new_line
			print (i64_to_hex (b00 & b01)); io.new_line
			print (i64_to_hex (b00 & b10)); io.new_line
			print (i64_to_hex (b00 & b11)); io.new_line
			print (i64_to_hex (b01 & b00)); io.new_line
			print (i64_to_hex (b01 & b01)); io.new_line
			print (i64_to_hex (b01 & b10)); io.new_line
			print (i64_to_hex (b01 & b11)); io.new_line
			print (i64_to_hex (b10 & b00)); io.new_line
			print (i64_to_hex (b10 & b01)); io.new_line
			print (i64_to_hex (b10 & b10)); io.new_line
			print (i64_to_hex (b10 & b11)); io.new_line
			print (i64_to_hex (b11 & b00)); io.new_line
			print (i64_to_hex (b11 & b01)); io.new_line
			print (i64_to_hex (b11 & b10)); io.new_line
			print (i64_to_hex (b11 & b11)); io.new_line
			
			print ("INTEGER_64 bit or%N")
			print (i64_to_hex (b00 | b00)); io.new_line
			print (i64_to_hex (b00 | b01)); io.new_line
			print (i64_to_hex (b00 | b10)); io.new_line
			print (i64_to_hex (b00 | b11)); io.new_line
			print (i64_to_hex (b01 | b00)); io.new_line
			print (i64_to_hex (b01 | b01)); io.new_line
			print (i64_to_hex (b01 | b10)); io.new_line
			print (i64_to_hex (b01 | b11)); io.new_line
			print (i64_to_hex (b10 | b00)); io.new_line
			print (i64_to_hex (b10 | b01)); io.new_line
			print (i64_to_hex (b10 | b10)); io.new_line
			print (i64_to_hex (b10 | b11)); io.new_line
			print (i64_to_hex (b11 | b00)); io.new_line
			print (i64_to_hex (b11 | b01)); io.new_line
			print (i64_to_hex (b11 | b10)); io.new_line
			print (i64_to_hex (b11 | b11)); io.new_line
			
			print ("INTEGER_64 bit xor%N")
			print (i64_to_hex (b00.bit_xor (b00))); io.new_line
			print (i64_to_hex (b00.bit_xor (b01))); io.new_line
			print (i64_to_hex (b00.bit_xor (b10))); io.new_line
			print (i64_to_hex (b00.bit_xor (b11))); io.new_line
			print (i64_to_hex (b01.bit_xor (b00))); io.new_line
			print (i64_to_hex (b01.bit_xor (b01))); io.new_line
			print (i64_to_hex (b01.bit_xor (b10))); io.new_line
			print (i64_to_hex (b01.bit_xor (b11))); io.new_line
			print (i64_to_hex (b10.bit_xor (b00))); io.new_line
			print (i64_to_hex (b10.bit_xor (b01))); io.new_line
			print (i64_to_hex (b10.bit_xor (b10))); io.new_line
			print (i64_to_hex (b10.bit_xor (b11))); io.new_line
			print (i64_to_hex (b11.bit_xor (b00))); io.new_line
			print (i64_to_hex (b11.bit_xor (b01))); io.new_line
			print (i64_to_hex (b11.bit_xor (b10))); io.new_line
			print (i64_to_hex (b11.bit_xor (b11))); io.new_line
			
			print ("INTEGER_64 bit not%N")
			print (i64_to_hex (b00.bit_not)); io.new_line
			print (i64_to_hex (b01.bit_not)); io.new_line
			print (i64_to_hex (b10.bit_not)); io.new_line
			print (i64_to_hex (b11.bit_not)); io.new_line
			print (i64_to_hex (all_zero.bit_not)); io.new_line
			print (i64_to_hex (all_one.bit_not)); io.new_line
			
			print ("INTEGER_64 bit shift left%N")
			from k := 0 until k >= 64 loop
				print (i64_to_hex (b00 |<< k)); io.new_line
				k := k + 1
			end
			from k := 0 until k >= 64 loop
				print (i64_to_hex (b01 |<< k)); io.new_line
				k := k + 1
			end
			from k := 0 until k >= 64 loop
				print (i64_to_hex (b10 |<< k)); io.new_line
				k := k + 1
			end
			from k := 0 until k >= 64 loop
				print (i64_to_hex (b11 |<< k)); io.new_line
				k := k + 1
			end
			from k := 0 until k >= 64 loop
				print (i64_to_hex (all_one |<< k)); io.new_line
				k := k + 1
			end
			
			print ("INTEGER_64 bit shift right%N")
			from k := 0 until k >= 64 loop
				print (i64_to_hex (t00 |>> k)); io.new_line
				k := k + 1
			end
			from k := 0 until k >= 64 loop
				print (i64_to_hex (t01 |>> k)); io.new_line
				k := k + 1
			end
			from k := 0 until k >= 64 loop
				print (i64_to_hex (t10 |>> k)); io.new_line
				k := k + 1
			end
			from k := 0 until k >= 64 loop
				print (i64_to_hex (t11 |>> k)); io.new_line
				k := k + 1
			end
			from k := 0 until k >= 64 loop
				print (i64_to_hex (all_one |>> k)); io.new_line
				k := k + 1
			end
			
			
			print ("INTEGER_64 bit shift (positive)%N")
			from k := 0 until k >= 64 loop
				print (i64_to_hex (b00.bit_shift (k))); io.new_line
				k := k + 1
			end
			from k := 0 until k >= 64 loop
				print (i64_to_hex (b01.bit_shift (k))); io.new_line
				k := k + 1
			end
			from k := 0 until k >= 64 loop
				print (i64_to_hex (b10.bit_shift (k))); io.new_line
				k := k + 1
			end
			from k := 0 until k >= 64 loop
				print (i64_to_hex (b11.bit_shift (k))); io.new_line
				k := k + 1
			end
			from k := 0 until k >= 64 loop
				print (i64_to_hex (all_one.bit_shift (k))); io.new_line
				k := k + 1
			end
			
			print ("INTEGER_64 bit shift (negative)%N")
			from k := 0 until k >= 64 loop
				print (i64_to_hex (t00.bit_shift (-k))); io.new_line
				k := k + 1
			end
			from k := 0 until k >= 64 loop
				print (i64_to_hex (t01.bit_shift (-k))); io.new_line
				k := k + 1
			end
			from k := 0 until k >= 64 loop
				print (i64_to_hex (t10.bit_shift (-k))); io.new_line
				k := k + 1
			end
			from k := 0 until k >= 64 loop
				print (i64_to_hex (t11.bit_shift (-k))); io.new_line
				k := k + 1
			end
			from k := 0 until k <= -64 loop
				print (i64_to_hex (all_one.bit_shift (k))); io.new_line
				k := k - 1
			end
			
			print ("INTEGER_64 bit test%N")
			from k := 0 until k >= 64 loop
				print (b00.bit_test (k)); io.new_line
				k := k + 1
			end
			from k := 0 until k >= 64 loop
				print (b01.bit_test (k)); io.new_line
				k := k + 1
			end
			from k := 0 until k >= 64 loop
				print (b10.bit_test (k)); io.new_line
				k := k + 1
			end
			from k := 0 until k >= 64 loop
				print (b11.bit_test (k)); io.new_line
				k := k + 1
			end
			from k := 0 until k >= 64 loop
				print (all_zero.bit_test (k)); io.new_line
				k := k + 1
			end
			from k := 0 until k >= 64 loop
				print (all_one.bit_test (k)); io.new_line
				k := k + 1
			end
			
			print ("INTEGER_64 bit set%N")
			from k := 0 until k >= 64 loop
				print (i64_to_hex (all_zero.set_bit (True, k))); io.new_line
				k := k + 1
			end
			from k := 0 until k >= 64 loop
				print (i64_to_hex (all_one.set_bit (False, k))); io.new_line
				k := k + 1
			end
			
			print ("INTEGER_64 bit set with mask%N")
			from k := 0 until k >= 64 loop
				print (i64_to_hex (all_zero.set_bit_with_mask (True, ((1).to_integer_64 |<< k)))); io.new_line
				k := k + 1
			end
			from k := 0 until k >= 64 loop
				print (i64_to_hex (all_one.set_bit_with_mask (False, ((1).to_integer_64 |<< k)))); io.new_line
				k := k + 1
			end
			
		end

        i64_to_hex (n: INTEGER_64): STRING is
                        -- Convert `n' into an hexadecimal string.
                do
			Result := n.to_hex_string
                end

end