From c81f2fbdeef670e8cbd6771ecd22ce1e64f2306b Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Mon, 2 Mar 2020 18:20:02 +0000
Subject: Add arith_shiftr to SMT and interpreter

---
 src/jib/jib_smt.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/jib')

diff --git a/src/jib/jib_smt.ml b/src/jib/jib_smt.ml
index c4e8576c..569005a5 100644
--- a/src/jib/jib_smt.ml
+++ b/src/jib/jib_smt.ml
@@ -1208,6 +1208,7 @@ let smt_builtin ctx name args ret_ctyp =
   | "sail_truncateLSB", [v1; v2], _ -> builtin_sail_truncateLSB ctx v1 v2 ret_ctyp
   | "shiftl", [v1; v2], _ -> builtin_shift "bvshl" ctx v1 v2 ret_ctyp
   | "shiftr", [v1; v2], _ -> builtin_shift "bvlshr" ctx v1 v2 ret_ctyp
+  | "arith_shiftr", [v1; v2], _ -> builtin_shift "bvashr" ctx v1 v2 ret_ctyp
   | "and_bits", [v1; v2], _ -> builtin_and_bits ctx v1 v2 ret_ctyp
   | "or_bits", [v1; v2], _ -> builtin_or_bits ctx v1 v2 ret_ctyp
   | "xor_bits", [v1; v2], _ -> builtin_xor_bits ctx v1 v2 ret_ctyp
-- 
cgit v1.2.3