From 300a4b9cf50d806797d8afec7b5f5c768d17e605 Mon Sep 17 00:00:00 2001
From: Marno van der Maas <34654485+marnovandermaas@users.noreply.github.com>
Date: Tue, 11 Jun 2024 14:12:38 +0100
Subject: [PATCH] Generate cmove in miscellaneous instructions

Before this change the existing CHERI templates did not generate the CMOVE instruction at all.
---
 src/RISCV/RV32_Xcheri.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/RISCV/RV32_Xcheri.hs b/src/RISCV/RV32_Xcheri.hs
index ebc23cc..92792c2 100644
--- a/src/RISCV/RV32_Xcheri.hs
+++ b/src/RISCV/RV32_Xcheri.hs
@@ -596,6 +596,7 @@ rv32_xcheri_misc src1 src2 srcScr imm dest =
   , ccseal      dest src1 src2
   , csealentry  dest src1
   , ccleartag   dest src1
+  , cmove       dest src1
   , cspecialrw  dest srcScr src1 ]
 
 -- | List of cheri control instructions