From 2b471b0196f0adc8b12f9d47c04685c4df107d04 Mon Sep 17 00:00:00 2001 From: Peter Rugg Date: Tue, 18 Oct 2022 15:51:52 +0100 Subject: [PATCH] Don't require permit_x when constructing sentries --- src_Core/RISCY_OOO/procs/lib/Decode.bsv | 2 -- 1 file changed, 2 deletions(-) diff --git a/src_Core/RISCY_OOO/procs/lib/Decode.bsv b/src_Core/RISCY_OOO/procs/lib/Decode.bsv index bb1a00e..f645a93 100644 --- a/src_Core/RISCY_OOO/procs/lib/Decode.bsv +++ b/src_Core/RISCY_OOO/procs/lib/Decode.bsv @@ -1312,8 +1312,6 @@ function DecodeResult decode(Instruction inst, Bool cap_mode); dInst.capFunc = CapInspect (GetAddr); end f5rs2_cap_CSealEntry: begin - dInst.capChecks.src1_permit_x = True; - dInst.iType = Cap; regs.dst = Valid(tagged Gpr rd); regs.src1 = Valid(tagged Gpr rs1);