Cheri-research/cheri-cap-lib
1
0
Fork 0
Code Issues 1 Pull Requests Actions Packages Projects Releases Wiki Activity

Remove non-ascii characters

Browse Source
This commit is contained in:
Peter Rugg
2023-01-25 16:11:52 +00:00
parent 7d9fdce16a
commit f11156ef9a
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
CHERICC_Fat.bsv
View File

@@ -713,9 +713,9 @@ function VnD#(CapFat) incOffsetFat( CapFat cap
// The inRange test
// ----------------
// Conceptually, the inRange test checks the magnitude of 'offset' is less
// then the representable region’s size S. This ensures that the inLimits
// then the representable region's size S. This ensures that the inLimits
// test result is meaningful. The test succeeds if the absolute value of
// 'offset' is less than S, that is −S < 'offset' < S. This test reduces to a
// 'offset' is less than S, that is -S < 'offset' < S. This test reduces to a
// check that there are no significant bits in the high bits of 'offset',
// that is they are all ones or all zeros.
CapAddr offsetAddr = offset;