From 0e7a57c63b0430b4d5b126a3ddce26eacf1f272c Mon Sep 17 00:00:00 2001
From: Jon French
Date: Fri, 11 May 2018 17:18:37 +0100
Subject: further riscv mapping

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

(limited to 'src')

diff --git a/src/sail_lib.ml b/src/sail_lib.ml
index bab4000b..81685bec 100644
--- a/src/sail_lib.ml
+++ b/src/sail_lib.ml
@@ -655,6 +655,16 @@ let hex_bits_12_matches_prefix s =
      else
        ZNone ()
 
+let hex_bits_13_matches_prefix s =
+  match maybe_int_of_prefix s with
+  | ZNone () -> ZNone ()
+  | ZSome (n, len) ->
+     let n = Big_int.to_int n in
+     if 0 <= n && n < 8192 then
+       ZSome ((bits_of_int 4096 n, len))
+     else
+       ZNone ()
+
 let hex_bits_20_matches_prefix s =
   match maybe_int_of_prefix s with
   | ZNone () -> ZNone ()
-- 
cgit v1.2.3