(oops, should have been with "more hex_bits_N monomorphs")

1 files changed, 10 insertions, 0 deletions

diff --git a/src/sail_lib.ml b/src/sail_lib.ml
index e7bf6348..1115b55d 100644
--- a/src/sail_lib.ml
+++ b/src/sail_lib.ml
@@ -400,6 +400,16 @@ let rec bits_of_int bit n =
     end
   else []
 
+let rec bits_of_big_int pow n =
+  if pow < 1 then []
+  else begin
+      let bit = (Big_int.pow_int_positive 2 (pow - 1)) in
+      if Big_int.greater (Big_int.div n bit) Big_int.zero then
+        B1 :: bits_of_big_int (pow - 1) (Big_int.sub n bit)
+      else
+        B0 :: bits_of_big_int (pow - 1) n
+    end
+
 let byte_of_int n = bits_of_int 128 n
 
 module Mem = struct