From aeb4e23aeb12a99568dcc49f0d39ae86c7bd5065 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Fri, 3 May 2019 19:18:56 +0100
Subject: Jib: Optimize set_slice for ARM v8.5

---
 lib/sail.c | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'lib')

diff --git a/lib/sail.c b/lib/sail.c
index cc4466bb..2e9f5874 100644
--- a/lib/sail.c
+++ b/lib/sail.c
@@ -701,6 +701,12 @@ void zero_extend(lbits *rop, const lbits op, const sail_int len)
   mpz_set(*rop->bits, *op.bits);
 }
 
+__attribute__((target ("bmi2")))
+fbits pdep_fbits(const fbits op, const uint64_t selector)
+{
+  return _pdep_u64(op, selector);
+}
+
 fbits fast_zero_extend(const sbits op, const uint64_t n)
 {
   return op.bits;
-- 
cgit v1.2.3