Don't require permit_x when constructing sentries

This commit is contained in:
Peter Rugg
2022-10-18 15:51:52 +01:00
parent 04ba0cb7ab
commit 2b471b0196

View File

@@ -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);