Skip to content

Commit

Permalink
Added exceptions to compressed jump instructions
Browse files Browse the repository at this point in the history
  • Loading branch information
francislaus committed Jan 24, 2024
1 parent 3ad0a46 commit 41c9a53
Show file tree
Hide file tree
Showing 4 changed files with 19 additions and 6 deletions.
4 changes: 3 additions & 1 deletion src/insns/cj_j_16bit.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,9 @@ Set the next PC following the standard `jal` definition.
*There is no difference in Capability Mode or Legacy Mode execution for this instruction.*

Exceptions::
CHERI Length Violation
See <<CJAL>>, <<JAL>>

include::pcrel_debug_warning.adoc[]

Prerequisites for C.CJ::
{c_cheri_base_ext_names}
Expand Down
5 changes: 5 additions & 0 deletions src/insns/cjal_jal_16bit.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -29,6 +29,11 @@ include::wavedrom/c-cjal-format-ls.adoc[]

include::cjal_jal_common.adoc[]

Exceptions::
See <<CJAL>>, <<JAL>>

include::pcrel_debug_warning.adoc[]

Prerequisites for C.CJAL::
{c_cheri_base_ext_names}

Expand Down
5 changes: 5 additions & 0 deletions src/insns/cjalr_jalr_16bit.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -29,6 +29,11 @@ include::wavedrom/c-cjalr-format-ls.adoc[]

include::cjalr_jalr_common.adoc[]

Exceptions::
See <<CJALR>>, <<JALR>>

include::pcrel_debug_warning.adoc[]

Prerequisites C.CJALR::
{c_cheri_base_ext_names}

Expand Down
11 changes: 6 additions & 5 deletions src/insns/cjr_jr_16bit.adoc
Original file line number Diff line number Diff line change
@@ -1,13 +1,14 @@
<<<
//[#insns-cjr_jr-16bit,reftext="Conditional branches (C.CJR, C.JR), 16-bit encodings"]

[#C_JR,reftext="C.JR"]
==== C.JR

See <<C.CJR>>.

[#C_CJR,reftext="C.CJR"]
==== C.CJR

See <<C.JR>>.

[#C_JR,reftext="C.JR"]
==== C.JR

Synopsis::
Register based jumps without link, 16-bit encodings
Expand Down Expand Up @@ -35,7 +36,7 @@ Set the next PC according to the standard `jalr` definition.
Check a minimum length instruction is in <<pcc>> bounds at the target PC, take a CHERI Length Violation exception on error.

Exceptions::
See <<CJALR>>, <<JALR>>
See <<CJALR>>, <<JALR>>

include::pcrel_debug_warning.adoc[]

Expand Down

0 comments on commit 41c9a53

Please sign in to comment.