From eb6f9ebade7ec43cbafaf90051a932a9062bc676 Mon Sep 17 00:00:00 2001 From: Alexandre Joannou Date: Mon, 27 Jan 2025 19:45:55 +0000 Subject: [PATCH] Added setAddrUnsafe to generated verilog wrappers --- CHERICapWrap.bsv | 2 ++ flake.lock | 0 2 files changed, 2 insertions(+) create mode 100644 flake.lock diff --git a/CHERICapWrap.bsv b/CHERICapWrap.bsv index 7d62169..dba46b5 100644 --- a/CHERICapWrap.bsv +++ b/CHERICapWrap.bsv @@ -72,6 +72,8 @@ function `CAPTYPE `W(setKind) (`CAPTYPE cap, Kind#(OTypeW) kind) = capRet(setKin (* noinline *) 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 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)); diff --git a/flake.lock b/flake.lock new file mode 100644 index 0000000..e69de29