From f2f9a5859d6bae6a1d2eced2393f970c4bba85da Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Thu, 28 Jan 2016 13:05:46 +0000
Subject: Support exit and assert better in sequential interpreter and general
 interpreter interface

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

(limited to 'src/gen_lib')

diff --git a/src/gen_lib/sail_values.ml b/src/gen_lib/sail_values.ml
index dc44ab5d..4713f9a7 100644
--- a/src/gen_lib/sail_values.ml
+++ b/src/gen_lib/sail_values.ml
@@ -490,6 +490,12 @@ let to_vec_dec_undef len = to_vec_undef false len
 let to_vec_inc_undef_big len = to_vec_undef_big true len
 let to_vec_dec_undef_big len = to_vec_undef_big false len
 
+let exts (len, vec) = to_vec (get_ord vec) len (signed vec)
+let extz (len, vec) = to_vec (get_ord vec) len (unsigned vec)
+
+let exts_big (len,vec) = to_vec_big (get_ord vec) len (signed_big vec)
+let extz_big (len,vec) = to_vec_big (get_ord vec) len (unsigned_big vec)
+
 let arith_op op (l,r) = op l r
 let add_big = arith_op add_big_int
 let add_signed_big = arith_op add_big_int
-- 
cgit v1.2.3