From ad1bdb17a372396dfa063ea3e54e9f8b41c01b98 Mon Sep 17 00:00:00 2001
From: Tariq Kurd <tariq.kurd@codasip.com>
Date: Tue, 30 Jan 2024 12:33:45 +0000
Subject: [PATCH] clarify PCC bounds after zcmt instruction

---
 src/instructions.adoc | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/src/instructions.adoc b/src/instructions.adoc
index d4fa5c250..d05d6ab9f 100644
--- a/src/instructions.adoc
+++ b/src/instructions.adoc
@@ -210,6 +210,15 @@ All instruction fetches from the jump vector table are checked against <<jvtc>>.
 
 See <<CM.CJALT>>, <<CM.JALT>>, <<CM.CJT>>, <<CM.JT>>.
 
+If the access to the jump table succeeds, then the instructions execute as follows:
+
+* In capability mode
+** <<cm.jt>> executes as <<cj>> or <<auipcc>>+<<cjr>>
+** <<cm.jalt>> executes as <<cjal>> or <<auipcc>>+<<cjalr>>
+* In legacy mode
+** <<cm.jt>> executes as <<j>> or <<auipc>>+<<jr>>
+** <<cm.jalt>> executes as <<jal>> or <<auipc>>+<<jalr>>
+
 include::insns/zcmt_cmjalt.adoc[]
 include::insns/zcmt_cmjt.adoc[]