From 2295c3b8c0e997f95d56167d42eddad7aa706266 Mon Sep 17 00:00:00 2001
From: Alexandre Joannou <alexandre.joannou@cl.cam.ac.uk>
Date: Wed, 5 Feb 2025 12:28:19 +0000
Subject: [PATCH] Added addAddrUnsafe verilog wrapper

---
 CHERICapWrap.bsv | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/CHERICapWrap.bsv b/CHERICapWrap.bsv
index 260c4bb..0ec9262 100644
--- a/CHERICapWrap.bsv
+++ b/CHERICapWrap.bsv
@@ -74,6 +74,8 @@ function Bit#(CapAddrW) `W(getAddr) (`CAPTYPE cap) = getAddr(cap);
 (* noinline *)
 function `CAPTYPE `W(setAddrUnsafe) (`CAPTYPE cap, Bit#(CapAddrW) addr) = capRet(setAddrUnsafe(capArg(cap), addr));
 (* noinline *)
+function `CAPTYPE `W(addAddrUnsafe) (`CAPTYPE cap, Bit#(TSub #(MW, 3)) inc) = capRet(addAddrUnsafe(capArg(cap), inc));
+(* noinline *)
 function Exact#(`CAPTYPE) `W(setAddr) (`CAPTYPE cap, Bit#(CapAddrW) addr) = capExactRet(setAddr(capArg(cap), addr));
 (* noinline *)
 function Bit#(CapAddrW) `W(getOffset) (`CAPTYPE cap) = getOffset(capArg(cap));