From 7adb28800e349fdf57815bd0904e5f2aeedcf1a7 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Tue, 29 Sep 2015 13:30:32 +0100
Subject: Boiler plate to generate an ml file from a sail spec. Now debugging
 the output of such

---
 src/gen_lib/sail_values.ml | 59 ++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 59 insertions(+)
 create mode 100644 src/gen_lib/sail_values.ml

(limited to 'src/gen_lib')

diff --git a/src/gen_lib/sail_values.ml b/src/gen_lib/sail_values.ml
new file mode 100644
index 00000000..b025d522
--- /dev/null
+++ b/src/gen_lib/sail_values.ml
@@ -0,0 +1,59 @@
+(* only expected to be 0, 1, 2; 2 represents undef *)
+type vbit = int
+type number = int64 (*Actually needs to be big_int_z but I forget the incantation for that right now*)
+
+type value =
+  | Vvector of vbit array * int * bool
+  | VvectorR of value array * int * bool
+  | Vregister of vbit array * int * bool * (string * (int * int)) list
+  | Vundef (*For a few circumstances of undefined registers in VvectorRs built with sparse vectors*)
+
+let to_bool = function
+  | 0 -> false
+  | 1 -> true
+  | _ -> assert false
+
+let get_barray  = function
+  | Vvector(a,_,_) 
+  | Vregister(a,_,_,_) -> a
+  | _ -> assert false
+
+let get_varray = function
+  | VvectorR(a,_,_) -> a
+  | _ -> assert false
+
+let vector_access v n = match v with
+  | VvectorR(array,start,is_inc) ->
+    if is_inc
+    then array.(n-start)
+    else array.(start-n)
+  | _ -> assert false
+      
+let bit_vector_access v n = match v with
+  | Vvector(array,start,is_inc) | Vregister(array,start,is_inc,_) ->
+    if is_inc
+    then array.(n-start)
+    else array.(start-n)
+  | _ -> assert false
+
+let vector_subrange v n m =
+  let builder array length offset default =
+    let new_array = Array.make length default in
+    begin
+      for x = 0 to length-1
+      do new_array.(x) <- array.(x+offset) 
+      done;
+      new_array
+    end
+  in
+  match v with
+  | VvectorR(array,start,is_inc) ->
+    let (length,offset) = if is_inc then (m-n+1,n-start) else (n-m+1,start-n) in
+    VvectorR(builder array length offset (VvectorR([||], 0, true)),n,is_inc)
+  | Vvector(array,start,is_inc) ->
+    let (length,offset) = if is_inc then (m-n+1,n-start) else (n-m+1,start-n) in
+    Vvector(builder array length offset 0,n,is_inc)
+  | Vregister(array,start,is_inc,fields) ->
+    let (length,offset) = if is_inc then (m-n+1,n-start) else (n-m+1,start-n) in
+    Vvector(builder array length offset 0,n,is_inc)
+  | _ -> v
-- 
cgit v1.2.3