From 4db05909b63223083b119a9890e2adc070d9db8a Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Tue, 1 May 2018 15:28:42 +0100
Subject: cheri256: minor optimisation -- factor out null_cap_bits as top level
 let.

---
 cheri/cheri_prelude_256.sail | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/cheri/cheri_prelude_256.sail b/cheri/cheri_prelude_256.sail
index ba8a5d16..5590bbb8 100644
--- a/cheri/cheri_prelude_256.sail
+++ b/cheri/cheri_prelude_256.sail
@@ -165,12 +165,12 @@ function capStructToMemBits256(cap) : CapStruct -> bits(256) =
    this ensures that canonical null_cap is always all-zeros in memory
    even though it may have bits set logically (e.g. length or exponent) */
 
+let null_cap_bits : bits(256) = capStructToMemBits256(null_cap)
+
 function capStructToMemBits(cap) : CapStruct -> bits(256)=
-  let null_cap_bits : bits(256) = capStructToMemBits256(null_cap) in
   capStructToMemBits256(cap) ^ null_cap_bits
 
 function memBitsToCapBits(tag, b) : (bool, bits(256)) -> bits(257)  =
-  let null_cap_bits : bits(256) = capStructToMemBits256(null_cap) in
   tag @ (b ^ null_cap_bits)
 
 function capStructToCapReg(cap) : CapStruct -> CapReg = cap.tag @ capStructToMemBits256(cap)
-- 
cgit v1.2.3