aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorPrashanth Mundkur <prashanth.mundkur@gmail.com>2019-09-18 09:48:27 -0700
committerPrashanth Mundkur <prashanth.mundkur@gmail.com>2019-09-18 09:48:27 -0700
commitba18f0f59cee8e3c32cfaa980c0d109399284844 (patch)
tree00fab37e49d117cf8f19075b9b3609b424b33e99 /doc
parent8c418a0255f51bf2f9283de6117f8c34630b018b (diff)
downloadsail-riscv-ba18f0f59cee8e3c32cfaa980c0d109399284844.zip
sail-riscv-ba18f0f59cee8e3c32cfaa980c0d109399284844.tar.gz
sail-riscv-ba18f0f59cee8e3c32cfaa980c0d109399284844.tar.bz2
Update docs on extension support for disabling RVC.
Diffstat (limited to 'doc')
-rw-r--r--doc/ExtendingGuide.md6
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/ExtendingGuide.md b/doc/ExtendingGuide.md
index 60e45db..83f31c9 100644
--- a/doc/ExtendingGuide.md
+++ b/doc/ExtendingGuide.md
@@ -124,6 +124,12 @@ An extension might want to similarly check and transform accesses to
the program counter. This is supported by supplying implementations
of the functions defined in `riscv_pc_access.sail`.
+In addition, dynamically enabling and disabling the RVC extension has
+an effect on legal PC alignment; in particular, attempts to disable
+RVC are ignored if the PC becomes unaligned in the base architecture.
+Extensions can also veto these attempts by appropriately defining
+`ext_veto_disable_C`.
+
Adding new instructions
-----------------------