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