note
	description: "Summary description for {FP_TRUNC_INST}."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

class
	FP_TRUNC_INST

inherit
	CAST_INST

create

	make,
	make_name

feature {NONE}

	make (s: VALUE; ty: TYPE_L)
		do
			item := make_external (s.item, ty.item)
		end

	make_name (s: VALUE; ty: TYPE_L; name: TWINE)
		do
			item := make_name_external (s.item, ty.item, name.item)
		end

feature {NONE} -- Externals

	make_external (s: POINTER; ty: POINTER): POINTER
		external
			"C++ inline use %"llvm/IR/Instructions.h%""
		alias
			"[
				return new llvm::FPTruncInst ((llvm::Value *)$s, (llvm::Type *)$ty);
			]"
		end

	make_name_external (s: POINTER; ty: POINTER; name: POINTER): POINTER
		external
			"C++ inline use %"llvm/IR/Instructions.h%""
		alias
			"[
				return new llvm::FPTruncInst ((llvm::Value *)$s, (llvm::Type *)$ty, *((llvm::Twine *)$name));
			]"
		end

end