note
	description: "[
		Eiffel tests that can be executed by testing tool.
	]"
	author: "EiffelStudio test wizard"
	date: "$Date$"
	revision: "$Revision$"
	testing: "type/manual"

class
	TEST_TARGET_DATA

inherit
	EQA_TEST_SET

feature -- Test routines

	test_target_data_1
		local
			ctx: LLVM_CONTEXT
			module: MODULE
			t: TARGET_DATA
			i: INTEGER_TYPE
			s: NATURAL_64
		do
			create ctx
			create module.make ("test", ctx)
			create t.make_module (module)
			create i.make (ctx, 32)
			s := t.get_type_alloc_size (i)
			assert ("test_target_data_1", s = 4)
		end

	test_target_data_2
		local
			ctx: LLVM_CONTEXT
			module: MODULE
			t: TARGET_DATA
			i: INTEGER_TYPE
			s: NATURAL_64
		do
			create ctx
			create module.make ("test", ctx)
			create t.make_module (module)
			create i.make (ctx, 32)
			s := t.get_type_alloc_size_in_bits (i)
			assert ("test_target_data_2", s = 32)
		end

end