From 4fd52d03967cc4e5609378dd59d9307991f2271d Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Wed, 14 Feb 2018 17:13:29 +0000
Subject: Another mono rewrite for aarch64

---
 src/monomorphise.ml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src')

diff --git a/src/monomorphise.ml b/src/monomorphise.ml
index 4f8fc257..71efcb22 100644
--- a/src/monomorphise.ml
+++ b/src/monomorphise.ml
@@ -3448,10 +3448,14 @@ let rewrite_app env typ (id,args) =
 
   else if is_id env (Id "UInt") id then
     let is_slice = is_id env (Id "slice") in
+    let is_subrange = is_id env (Id "vector_subrange") in
     match args with
     | [E_aux (E_app (slice1, [vector1; start1; length1]),_)]
         when is_slice slice1 && not (is_constant length1) ->
        E_app (mk_id "UInt_slice", [vector1; start1; length1])
+    | [E_aux (E_app (subrange1, [vector1; start1; end1]),_)]
+        when is_subrange subrange1 && not (is_constant_range (start1,end1)) ->
+       E_app (mk_id "UInt_subrange", [vector1; start1; end1])
 
     | _ -> E_app (id,args)
 
-- 
cgit v1.2.3