From 75c6d051de21b72089e4a10477d35b4c8a886266 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Thu, 19 Nov 2020 18:09:15 +0000
Subject: Add write tag primitive

---
 lib/regfp.sail | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/lib/regfp.sail b/lib/regfp.sail
index d6af7cf7..2c44797f 100644
--- a/lib/regfp.sail
+++ b/lib/regfp.sail
@@ -191,6 +191,10 @@ val __write_memt
   = { ocaml: "Platform.write_memt", c: "platform_write_memt", _: "write_memt" }
   : forall 'n (constant 'addrsize : Int), 'n > 0 & 'addrsize in {32, 64}.
   (write_kind, bits('addrsize), int('n), bits(8 * 'n), bit) -> bool effect {wmvt}
+val __write_tag
+  = { ocaml: "Platform.write_tag", c: "platform_write_tag", _: "write_tag" }
+  : forall (constant 'addrsize : Int), 'addrsize in {32, 64}.
+  (write_kind, bits('addrsize), bit) -> bool effect {wmvt}
 val __excl_res
   = { ocaml: "Platform.excl_res", c: "platform_excl_res", _: "excl_result" }
   : unit -> bool effect {exmem}
-- 
cgit v1.2.3