From 31a5e80257340e1bffdf960b594f2b83eee29c50 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Tue, 28 Mar 2017 16:22:30 +0100
Subject: temporary fix for problem duplicate (lack of direction) -- assume
 decreasing for mips compatibility.

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

(limited to 'src')

diff --git a/src/gen_lib/sail_values.ml b/src/gen_lib/sail_values.ml
index e6a0226e..152728e9 100644
--- a/src/gen_lib/sail_values.ml
+++ b/src/gen_lib/sail_values.ml
@@ -1003,12 +1003,12 @@ let mod_vec_range_big = arith_op_vec_range_no0_big mod_big_int false unit_big_in
 
 let mod_vec_range = mod_vec_range_big
 
-(*Need to have a default top level direction reference I think*)
+(* XXX Need to have a default top level direction reference I think*)
 let duplicate_int (bit,length) =
-  Vvector((Array.make length bit), 0, true)
+  Vvector((Array.make length bit), (length-1), false)
 
 let duplicate_big (bit,length) =
-  Vvector((Array.make (int_of_big_int length) bit), 0, true)
+  duplicate_int (bit, int_of_big_int length)
 
 let duplicate = duplicate_big
 
-- 
cgit v1.2.3