Merge pull request #261 from maleadt/tb/float_types

Add support for less common floating-point types.

Author: maleadt

src/core/type.jl

@@ -77,11 +77,10 @@ width(inttyp::IntegerType) = API.LLVMGetIntTypeWidth(inttyp)
 #       we add it for convenience of typechecking generic values (see execution.jl)
  abstract type FloatingPointType <: LLVMType end
 
-# NOTE: we don't handle the obscure types here (:X86FP80, :FP128, :PPCFP128),
-#       they would also need special casing as LLVMPPCFP128Type != LLVMPPC_FP128TypeKind
-for T in [:Half, :Float, :Double]
-    jl_fname = Symbol(T, :Type)
-    api_typename = Symbol(:LLVM, T)
+for T in [:Half, :Float, :Double, :FP128, :X86_FP80, :PPC_FP128]
+    CleanT = Symbol(replace(String(T), "_"=>""))    # only the type kind retains the underscore
+    jl_fname = Symbol(CleanT, :Type)
+    api_typename = Symbol(:LLVM, CleanT)
     api_fname = Symbol(:LLVM, jl_fname)
     enumkind = Symbol(:LLVM, T, :TypeKind)
     @eval begin

test/core.jl

@@ -384,6 +384,18 @@ Context() do ctx
         c = ConstantFP(typ, 1.1)
         @test convert(Float64, c) == 1.1
     end
+    let
+        typ = LLVM.X86FP80Type(ctx)
+        # TODO: how to construct full-width constants?
+        c = ConstantFP(typ, 1.1)
+        @test convert(Float64, c) == 1.1
+    end
+    for T in [LLVM.FP128Type, LLVM.PPCFP128Type]
+        typ = T(ctx)
+        # TODO: how to construct full-width constants?
+        c = ConstantFP(typ, 1.1)
+        @test convert(Float64, c) == 1.1
+    end
     for T in [Float16, Float32, Float64]
         c = ConstantFP(typemax(T); ctx)
         @test convert(T, c) == typemax(T)