From d7ee7d7392d7d4f058cce2e12b7d0336dddb4e17 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Fri, 10 Nov 2017 18:39:51 +0000
Subject: Fixed ocaml backend so it correctly compiles registers passed by
 name.

Added a test case for this behavior
---
 lib/ocaml_rts/sail_lib.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lib')

diff --git a/lib/ocaml_rts/sail_lib.ml b/lib/ocaml_rts/sail_lib.ml
index 176c1124..6876ec35 100644
--- a/lib/ocaml_rts/sail_lib.ml
+++ b/lib/ocaml_rts/sail_lib.ml
@@ -441,6 +441,8 @@ let sqrt_real x = real_of_string (string_of_float (sqrt (Num.float_of_num x)))
 let print_int (str, x) =
   prerr_endline (str ^ string_of_big_int x)
 
+let reg_deref r = !r
+
 let string_of_zbit = function
   | B0 -> "0"
   | B1 -> "1"
-- 
cgit v1.2.3