From e9e1574d28a1bbdb30aac009f11b0b0f846e6b46 Mon Sep 17 00:00:00 2001 From: dzaima Date: Sun, 26 Jan 2025 00:00:57 +0200 Subject: [PATCH] rearrange initial Singeli base defs --- src/singeli/src/base.singeli | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/src/singeli/src/base.singeli b/src/singeli/src/base.singeli index 3558fbf8..6991c5c8 100644 --- a/src/singeli/src/base.singeli +++ b/src/singeli/src/base.singeli @@ -174,11 +174,12 @@ def lvec = match { {[n]T, n, (width{T})} => 1; {T, n, w} => 0 } # base cases def { absu,andAllZero,andnz,b_getBatch,blend,blend_units,clmul,cvt,extract,fold_addw,half, - all_hom,any_hom,all_bit,any_bit,all_top,any_top,homMask,homMaskStore,homMaskStoreF,loadBatchBit, - loadLow,make,maskStore,maskToHom,mulw,mulh,narrow,narrowTrunc,narrowPair,packQ,pair,pdep, - pext,popcRand,rbit,rev,sel,shl,shr,shufInd,storeLow, - blend_top,topMask,topMaskStore,topMaskStoreF,unord,unzip,vfold,vec_select,vec_shuffle,widen,widenUpper, - multishift, + all_bit,any_bit,blend_bit, + all_hom,any_hom,blend_hom,homMask,homMaskStore,homMaskStoreF, + all_top,any_top,blend_top,topMask,topMaskStore,topMaskStoreF, + loadBatchBit,loadLow,make,maskStore,maskToHom,mulw,mulh,narrow,narrowTrunc,narrowPair, + packQ,pair,pdep,pext,popcRand,rbit,rev,sel,shl,shr,shufInd,storeLow, + unord,unzip,vfold,vec_select,vec_shuffle,widen,widenUpper,multishift, } # extended by arch/*/select where applicable