riscv prelude: add a to_bits function for converting ints to bits of given length.

1 files changed, 3 insertions, 0 deletions

diff --git a/riscv/prelude.sail b/riscv/prelude.sail
index dacde107..19b8abd8 100644
--- a/riscv/prelude.sail
+++ b/riscv/prelude.sail
@@ -376,6 +376,9 @@ val vector64 : int -> bits(64)
 
 function vector64 n = __raw_GetSlice_int(64, n, 0)
 
+val to_bits : forall 'l.(atom('l), int) -> bits('l)
+function to_bits (l, n) = __raw_GetSlice_int(l, n, 0)
+
 function break () : unit -> unit = ()
 
 val vector_update_subrange_dec = {ocaml: "update_subrange", lem: "update_subrange_vec_dec"} : forall 'n 'm 'o.