Merge branch 'sail2' of https://github.com/rems-project/sail into sail2

1 files changed, 9 insertions, 0 deletions

diff --git a/lib/sail.c b/lib/sail.c
index 1753ab8e..94065f0a 100644
--- a/lib/sail.c
+++ b/lib/sail.c
@@ -837,6 +837,15 @@ fbits bitvector_access(const lbits op, const sail_int n_mpz)
   return (fbits) mpz_tstbit(*op.bits, n);
 }
 
+fbits update_fbits(const fbits op, const uint64_t n, const fbits bit)
+{
+     if ((bit & 1) == 1) {
+          return op | (bit << n);
+     } else {
+          return op & ~(bit << n);
+     }
+}
+
 void sail_unsigned(sail_int *rop, const lbits op)
 {
   /* Normal form of bv_t is always positive so just return the bits. */