diff --git a/src/singeli/src/avx.singeli b/src/singeli/src/avx.singeli index 22600e84..bc0f7ceb 100644 --- a/src/singeli/src/avx.singeli +++ b/src/singeli/src/avx.singeli @@ -15,7 +15,7 @@ def isfloatv{T} = isfloat{eltype{T}} def issignedv{T} = issigned{eltype{T}} def isunsignedv{T} = isunsigned{eltype{T}} def w256{T} = width{T}==256 -def isintv{T,w} = isintv{T} & width{eltype{T}}==w +def isintv{T,w} = isintv{T} & (width{eltype{T}}==w) def cast_vp{T, x & w256{T}} = emit{*T, '(void*)', x} def cast_v{R, x:S & w256{R} & w256{S} & isf64v{S} & isintv{R}} = r_d2i{R, x}