From 871a81ca5fc1466c4bed204c3370eac7a606f361 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Tue, 11 Jul 2023 15:43:45 -0400 Subject: [PATCH] BMI2 pext not-emulation in Singeli --- src/singeli/src/slash.singeli | 2 ++ 1 file changed, 2 insertions(+) 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}}