diff --git a/src/singeli/src/slash.singeli b/src/singeli/src/slash.singeli index ecffa66c..cfb50a9c 100644 --- a/src/singeli/src/slash.singeli +++ b/src/singeli/src/slash.singeli @@ -127,4 +127,6 @@ fn pext{T & hasarch{'PCLMUL'} & T==u64}(xs:T, ms:T) { extract{x, 0} } +fn pext{T & hasarch{'BMI2'}}(x:T, m:T) = pext{x, m} + export{'si_pext_u64', pext{u64}}