From 6ff2f24185480dc1505f5f1f83a915680f4568cc Mon Sep 17 00:00:00 2001
From: Gianluca Fuwa <51165364+GianlucaFuwa@users.noreply.github.com>
Date: Tue, 16 Apr 2024 01:47:28 +0200
Subject: [PATCH] Type-assert `vconvert`s to circumvent inferrence restriction
 on recursion (#109)

---
 src/llvm_intrin/conversion.jl | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/src/llvm_intrin/conversion.jl b/src/llvm_intrin/conversion.jl
index b5824fe..cf0e1ee 100644
--- a/src/llvm_intrin/conversion.jl
+++ b/src/llvm_intrin/conversion.jl
@@ -69,13 +69,13 @@ if (Sys.ARCH === :x86_64) || (Sys.ARCH === :i686)
   @inline function vconvert(
     ::Type{Vec{W,F}},
     v::Vec{W,T}
-  ) where {W,F<:FloatingTypes,T<:IntegerTypesHW}
+  )::Vec{W,F} where {W,F<:FloatingTypes,T<:IntegerTypesHW}
     _vconvert(Vec{W,F}, v, True())
   end
   @inline function vconvert(
     ::Type{Vec{W,F}},
     v::Vec{W,T}
-  ) where {W,F<:FloatingTypes,T<:Union{UInt64,Int64}}
+  )::Vec{W,F} where {W,F<:FloatingTypes,T<:Union{UInt64,Int64}}
     _vconvert(
       Vec{W,F},
       v,
@@ -85,7 +85,7 @@ if (Sys.ARCH === :x86_64) || (Sys.ARCH === :i686)
   @inline function vconvert(
     ::Type{F},
     v::VecUnroll{N,W,T,Vec{W,T}}
-  ) where {N,W,F<:FloatingTypes,T<:Union{UInt64,Int64}}
+  )::VecUnroll{N,W,F,Vec{W,F}} where {N,W,F<:FloatingTypes,T<:Union{UInt64,Int64}}
     _vconvert(
       Vec{W,F},
       v,
@@ -95,7 +95,7 @@ if (Sys.ARCH === :x86_64) || (Sys.ARCH === :i686)
   @inline function vconvert(
     ::Type{Vec{W,F}},
     v::VecUnroll{N,W,T,Vec{W,T}}
-  ) where {N,W,F<:FloatingTypes,T<:Union{UInt64,Int64}}
+  )::VecUnroll{N,W,F,Vec{W,F}} where {N,W,F<:FloatingTypes,T<:Union{UInt64,Int64}}
     _vconvert(
       Vec{W,F},
       v,
@@ -105,7 +105,7 @@ if (Sys.ARCH === :x86_64) || (Sys.ARCH === :i686)
   @inline function vconvert(
     ::Type{VecUnroll{N,W,F,Vec{W,F}}},
     v::VecUnroll{N,W,T,Vec{W,T}}
-  ) where {N,W,F<:FloatingTypes,T<:Union{UInt64,Int64}}
+  )::VecUnroll{N,W,F,Vec{W,F}} where {N,W,F<:FloatingTypes,T<:Union{UInt64,Int64}}
     _vconvert(
       Vec{W,F},
       v,
@@ -116,7 +116,7 @@ else
   @generated function vconvert(
     ::Type{Vec{W,F}},
     v::Vec{W,T}
-  ) where {W,F<:FloatingTypes,T<:IntegerTypesHW}
+  )::Vec{W,F} where {W,F<:FloatingTypes,T<:IntegerTypesHW}
     convert_func(T <: Signed ? "sitofp" : "uitofp", F, W, T)
   end
 end