Skip to content

Commit

Permalink
Spell checked instructions chapter
Browse files Browse the repository at this point in the history
  • Loading branch information
francislaus committed Dec 12, 2024
1 parent 4adf7a6 commit 03d09e9
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/instructions.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -119,7 +119,7 @@ include::insns/store_32bit_fp.adoc[]
<<<
=== "C" Standard Extension for Compressed Instructions

One group of 16-bit encodings are remapped to different instructions dependant
One group of 16-bit encodings are remapped to different instructions dependent
upon the CHERI execution mode, MXLEN and which extensions are supported.

NOTE: Zcf and Zilsd are incompatible
Expand Down Expand Up @@ -330,7 +330,7 @@ when the <<pcc>> bounds are set narrowly to the local function only in {cheri_ca

NOTE: Zcmt defines that the fetch from the jump table is from instruction memory.
The overall instruction executed is effectively 48-bit, with 16-bits from <<CM.JALT>>/<<CM.JT>>, the other 32-bits (for RV32) from the table.
Therefore <<pcc>> is used to authorise the fetch in {cheri_int_mode_name}, as the fetch is designated to be from instruction memory in cite:[riscv-unpriv-spec].
Therefore <<pcc>> is used to authorize the fetch in {cheri_int_mode_name}, as the fetch is designated to be from instruction memory in cite:[riscv-unpriv-spec].

NOTE: In {cheri_cap_mode_name} the implementation doesn't need to expand and bounds check against <<jvtc>> on every access, it is sufficient to decode the valid accessible range of entries after every write to <<jvtc>>, and then check that the accessed entry is in that range.

Expand Down

0 comments on commit 03d09e9

Please sign in to comment.