From bd7c2be6fe9cb955e25e04d59c5af089a04bcf9e Mon Sep 17 00:00:00 2001
From: Jon French
Date: Fri, 14 Sep 2018 15:07:25 +0100
Subject: Sail_lib and RISCV prelude: functions for bitwise operations on ints

---
 src/sail_lib.ml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src')

diff --git a/src/sail_lib.ml b/src/sail_lib.ml
index f1203725..09a90ba9 100644
--- a/src/sail_lib.ml
+++ b/src/sail_lib.ml
@@ -491,6 +491,10 @@ let zcast_unit_vec x = [x]
 
 let shl_int (n, m) = Big_int.shift_left n (Big_int.to_int m)
 let shr_int (n, m) = Big_int.shift_right n (Big_int.to_int m)
+let lor_int (n, m) = Big_int.bitwise_or n m
+let land_int (n, m) = Big_int.bitwise_and n m
+let lxor_int (n, m) = Big_int.bitwise_xor n m
+
 
 let debug (str1, n, str2, v) = prerr_endline (str1 ^ Big_int.to_string n ^ str2 ^ string_of_bits v)
 
-- 
cgit v1.2.3