Don't unseal caps in setBounds

I'm not sure why this was here, as setBounds on a sealed cap would previously cause a trap anyway.
Maybe left over from when otype bits were shared with the bounds?
This commit is contained in:
Peter Rugg
2022-05-13 14:15:58 +01:00
parent 806b687e8a
commit 149733072a

View File

@@ -378,8 +378,6 @@ function SetBoundsReturn#(CapFat, CapAddrW) setBoundsFat(CapFat cap, Address len
// Do this without subtraction
//fromInteger(valueof(TSub#(SizeOf#(Address),TSub#(MW,1)))) - zeros;
Exp e = (resetExp-1) - zeros;
// Force otype to unsealed.
ret.otype = otype_unsealed;
// Derive new base bits by extracting MW bits from the capability address
// starting at the new exponent's position.
CapAddrPlus2 base = {2'b0, cap.address};