From 3d52d14101e6829adebd56e125cadb7564724332 Mon Sep 17 00:00:00 2001 From: dzaima Date: Thu, 17 Apr 2025 20:43:45 +0300 Subject: [PATCH] use vecfold.singeli's x86 fold_addw in count.singeli --- src/singeli/src/count.singeli | 5 ----- 1 file changed, 5 deletions(-) diff --git a/src/singeli/src/count.singeli b/src/singeli/src/count.singeli index 87186b7d..a4dd74b5 100644 --- a/src/singeli/src/count.singeli +++ b/src/singeli/src/count.singeli @@ -1,11 +1,6 @@ include './base' include './vecfold' -if_inline (hasarch{'SSE2'}) { - fn sum_vec{T}(v:T) = vfold{+, fold{+, mzip128{v, T**0}}} - def fold_addw{v:T=[_]E if E<=u32} = sum_vec{T}(v) -} - def inc{ptr:*T, ind, v} = store{ptr, ind, trunc{T,v} + load{ptr, ind}} def inc{ptr, ind} = inc{ptr, ind, 1}