From b786ae1846cff852919a696f09a4afa393943b9a Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Tue, 25 Apr 2017 16:27:59 +0100
Subject: replace memory representation with map of 1MB pages rather than map
 of bytes. This makes loading binaries much quicker but doesn't seem to make a
 big difference to execution speed.

---
 src/gen_lib/sail_values.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/gen_lib/sail_values.ml b/src/gen_lib/sail_values.ml
index 6f46d7c3..99f037f7 100644
--- a/src/gen_lib/sail_values.ml
+++ b/src/gen_lib/sail_values.ml
@@ -630,7 +630,9 @@ let multiply   = multiply_big
 let modulo     = modulo_big
 let quot       = quot_big
 let power      = power_big
-let min        = min_big
+let min_int    = min (* the built-in version *)
+let min        = min_big (* is overwritten here *)
+let max_int    = max (* likewise *)
 let max        = max_big
 
 let arith_op_vec_big op sign size (l,r) =
-- 
cgit v1.2.3