From e958fb685e79708782b395ec698571a479549228 Mon Sep 17 00:00:00 2001
From: Peter Rugg <pdr32@cam.ac.uk>
Date: Tue, 3 Mar 2020 18:41:25 +0000
Subject: [PATCH] Remove default slow implementation of CRRL

---
 CHERICap.bsv | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/CHERICap.bsv b/CHERICap.bsv
index 5fcf36e..1e6c887 100644
--- a/CHERICap.bsv
+++ b/CHERICap.bsv
@@ -186,9 +186,6 @@ typeclass CHERICap#(type t, numeric type ot, numeric type flg, numeric type n, n
 
   // Get representable length
   function Bit#(n) getRepresentableLength (t dummy, Bit#(n) length_request);
-    let mask = getRepresentableAlignmentMask(dummy, length_request);
-    return (length_request + ~mask) & mask;
-  endfunction
 
 endtypeclass