From f42e1a8adbf220bd03862bb08ca5103b6e1cde09 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Mon, 4 Nov 2019 20:36:17 +0000
Subject: Allow overriding the interpreter effects

This allows read_mem and read_reg effects to be handled by GDB
---
 src/sail_lib.ml | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

(limited to 'src/sail_lib.ml')

diff --git a/src/sail_lib.ml b/src/sail_lib.ml
index 164bcefa..8251f9b4 100644
--- a/src/sail_lib.ml
+++ b/src/sail_lib.ml
@@ -274,9 +274,7 @@ let rec replicate_bits (bits, n) =
 
 let identity x = x
 
-
-
-(* 
+(*
 Returns list of n bits of integer m starting from offset o >= 0 (bits numbered from least significant). 
 Uses twos-complement representation for m<0 and pads most significant bits in sign-extended way. 
 Most significant bit is head of returned list.
@@ -529,7 +527,7 @@ let fast_read_ram (data_size, addr) =
   !vector
 
 let tag_ram = (ref Mem.empty : (bool Mem.t) ref);;
-  
+
 let write_tag_bool (addr, tag) =
   let addri = uint addr in
   tag_ram := Mem.add addri tag !tag_ram
@@ -551,7 +549,6 @@ let lor_int (n, m) = Big_int.bitwise_or n m
 let land_int (n, m) = Big_int.bitwise_and n m
 let lxor_int (n, m) = Big_int.bitwise_xor n m
 
-
 let debug (str1, n, str2, v) = prerr_endline (str1 ^ Big_int.to_string n ^ str2 ^ string_of_bits v)
 
 let eq_string (str1, str2) = String.compare str1 str2 == 0
-- 
cgit v1.2.3