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

class
	TEST_UNWIND_INST

inherit
	EQA_TEST_SET

feature -- Test routines

	test_unwind_inst_1
		local
--			ctx: LLVM_CONTEXT
--			m: MODULE
--			f: FUNCTION_L
--			b: BASIC_BLOCK
--			linkage_types: LINKAGE_TYPES
--			i: UNWIND_INST
--			s: RAW_STRING_OSTREAM
--			s_result: STRING
		do
			assert ("no_unwind_available", False)
--			create ctx
--			create m.make ("test", ctx)
--			create f.make_name (create {FUNCTION_TYPE}.make_without_parameters (create {INTEGER_TYPE}.make (ctx, 32)), linkage_types.external_linkage, "main")
--			create b.make (ctx)
--			f.basic_block_list_push_back (b)
--			m.function_list_push_back (f)
--			create i.make (ctx)
--			b.inst_list_push_back (i)
--			create s.make
--			m.print (s)
--			s_result := s.string
--			assert ("test_unwind_inst_1", s_result ~ test_unwind_inst_1_expected)
		end

	test_unwind_inst_1_expected: STRING_8 =
"[
; ModuleID = 'test'

define i32 @main() {
  unwind
}

]"

end