From d2e1042f01099e11e04cbfe9529c32db41363e1a Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Wed, 18 Apr 2018 14:32:39 +0100
Subject: Move Lem shl_int, shr_int implementations from aarch64_extras to sail
 lib (note that they're already declared in lib/arith.sail)

---
 aarch64/aarch64_extras.lem | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'aarch64')

diff --git a/aarch64/aarch64_extras.lem b/aarch64/aarch64_extras.lem
index 58f1b9c7..c9ea84e2 100644
--- a/aarch64/aarch64_extras.lem
+++ b/aarch64/aarch64_extras.lem
@@ -60,12 +60,6 @@ let exts_slice v i j = ext_slice true v i j
 val extz_slice : list bitU -> integer -> integer -> list bitU
 let extz_slice v i j = ext_slice false v i j*)
 
-val shr_int : ii -> ii -> ii
-let rec shr_int x s = if s > 0 then shr_int (x / 2) (s - 1) else x
-
-val shl_int : integer -> integer -> integer
-let rec shl_int i shift = if shift > 0 then 2 * shl_int i (shift - 1) else i
-
 let hexchar_to_bool_list c =
   if c = #'0' then      Just ([false;false;false;false])
   else if c = #'1' then Just ([false;false;false;true ])
-- 
cgit v1.2.3