From aeb4e23aeb12a99568dcc49f0d39ae86c7bd5065 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Fri, 3 May 2019 19:18:56 +0100
Subject: Jib: Optimize set_slice for ARM v8.5

---
 language/jib.ott | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'language')

diff --git a/language/jib.ott b/language/jib.ott
index 058c50d2..447b25e3 100644
--- a/language/jib.ott
+++ b/language/jib.ott
@@ -70,6 +70,8 @@ op :: '' ::=
   | gteq              :: :: igteq
   | add               :: :: iadd
   | sub               :: :: isub
+  | unsigned nat      :: :: unsigned
+  | signed nat        :: :: signed
 % Bitvector ops
   | bvnot             :: :: bvnot
   | bvor              :: :: bvor
@@ -83,6 +85,7 @@ op :: '' ::=
   | sign_extend nat   :: :: sign_extend
   | slice nat         :: :: slice
   | sslice nat        :: :: sslice
+  | set_slice         :: :: set_slice
   | replicate nat     :: :: replicate
 
 cval :: 'V_' ::=
-- 
cgit v1.2.3