From 3ebce8457eb25f3ddceda77530c81580003296de Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Fri, 2 Feb 2018 16:18:20 +0000
Subject: Add arithmetic shift right for aarch64 mono

---
 lib/mono_rewrites.sail | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'lib')

diff --git a/lib/mono_rewrites.sail b/lib/mono_rewrites.sail
index 650fdf53..1af9b17f 100644
--- a/lib/mono_rewrites.sail
+++ b/lib/mono_rewrites.sail
@@ -16,6 +16,9 @@ val shiftright = "shiftr" : forall 'n ('ord : Order).
 
 overload operator >> = {shiftright}
 
+val arith_shiftright = "arith_shiftr" : forall 'n ('ord : Order).
+    (vector('n, 'ord, bit), int) -> vector('n, 'ord, bit) effect pure
+
 val "extz_vec" : forall 'n 'm. (atom('m),vector('n, dec, bit)) -> vector('m, dec, bit) effect pure
 val extzv : forall 'n 'm. vector('n, dec, bit) -> vector('m, dec, bit) effect pure
 function extzv(v) = extz_vec(sizeof('m),v)
-- 
cgit v1.2.3