From 308207df86f824501efec740532f45e617da1a2e Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Thu, 30 May 2019 14:45:00 +0100
Subject: Implement ones builtin in sail_lib and add to interpreter. However
 currently this is implemented in lib/vector_dec.sail as sail function that
 calls not_vec on sail_zeros.

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

(limited to 'src/sail_lib.ml')

diff --git a/src/sail_lib.ml b/src/sail_lib.ml
index 13ed491b..21d95e64 100644
--- a/src/sail_lib.ml
+++ b/src/sail_lib.ml
@@ -728,6 +728,7 @@ let sign_extend (vec, n) =
   | B1 :: _ as vec -> replicate_bits ([B1], Big_int.of_int (m - List.length vec)) @ vec
 
 let zeros n = replicate_bits ([B0], n)
+let ones  n = replicate_bits ([B1], n)
 
 let shift_bits_right_arith (x, y) =
   let ybi = uint(y) in
-- 
cgit v1.2.3