From cc7f32144f5080eb28cb97ab3c1bb8ae114e84dc Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Tue, 30 Jan 2018 13:05:17 +0000
Subject: riscv prelude: add a to_bits function for converting ints to bits of
 given length.

---
 riscv/prelude.sail | 3 +++
 1 file changed, 3 insertions(+)

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.
-- 
cgit v1.2.3