BMI2 pext not-emulation in Singeli

This commit is contained in:
Marshall Lochbaum 2023-07-11 15:43:45 -04:00
parent 1314859a80
commit 871a81ca5f

View File

@ -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}}