; The output formater prints out 1.0e100 as Inf!
;
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis | llvm-as | llvm-dis

implementation

float "test"()
begin
	%tmp = mul float 0x7FF0000000000000, 1.0e1
	ret float %tmp
end
