diff options
author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-04-29 16:32:58 -0700 |
---|---|---|
committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-04-29 16:32:58 -0700 |
commit | ef0e8aac2b738a1b6e7e8d6ff485dfda5f5c0ba8 (patch) | |
tree | 06db68045f08ad10cbc18b48705ac74ec79a1eee /model/riscv_decode_ext.sail | |
parent | f14e8ebac39bf6771f0d1775d5145f7f6549c5ea (diff) | |
download | sail-riscv-ef0e8aac2b738a1b6e7e8d6ff485dfda5f5c0ba8.zip sail-riscv-ef0e8aac2b738a1b6e7e8d6ff485dfda5f5c0ba8.tar.gz sail-riscv-ef0e8aac2b738a1b6e7e8d6ff485dfda5f5c0ba8.tar.bz2 |
Update docs for previous commits.
Diffstat (limited to 'model/riscv_decode_ext.sail')
-rw-r--r-- | model/riscv_decode_ext.sail | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/model/riscv_decode_ext.sail b/model/riscv_decode_ext.sail index 2f4c5af..2a48399 100644 --- a/model/riscv_decode_ext.sail +++ b/model/riscv_decode_ext.sail @@ -1,2 +1,7 @@ -/* Default (identity) implementation of post decode hook. */ -function ext_post_decode_hook(x) = x
\ No newline at end of file +/* Extensions may wish to interpose and transform decoded instructions, + * based on other machine state. This is supported via a post-decode + * instruction hook, the default implementation of which is provided below. + */ + +val ext_post_decode_hook : ast -> ast effect {rreg} +function ext_post_decode_hook(x) = x |