diff options
author | sanket <telisanket2002@gmail.com> | 2024-01-20 20:30:32 +0530 |
---|---|---|
committer | Paul A. Clarke <pclarke@ventanamicro.com> | 2024-07-19 16:38:37 -0500 |
commit | 6492f8c728d2bf121521a5765f3e0613c08e5f2c (patch) | |
tree | 6bcb16864d09b8c8272157730f406c281fdbc596 /model/riscv_fetch.sail | |
parent | dc4f77ebb91cbe09994973d9b0afd84be2b14bef (diff) | |
download | sail-riscv-6492f8c728d2bf121521a5765f3e0613c08e5f2c.zip sail-riscv-6492f8c728d2bf121521a5765f3e0613c08e5f2c.tar.gz sail-riscv-6492f8c728d2bf121521a5765f3e0613c08e5f2c.tar.bz2 |
Use "extensionEnabled" function for C extension
Diffstat (limited to 'model/riscv_fetch.sail')
-rw-r--r-- | model/riscv_fetch.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/model/riscv_fetch.sail b/model/riscv_fetch.sail index 6fd6691..78401c8 100644 --- a/model/riscv_fetch.sail +++ b/model/riscv_fetch.sail @@ -19,7 +19,7 @@ function fetch() -> FetchResult = match ext_fetch_check_pc(PC, PC) { Ext_FetchAddr_Error(e) => F_Ext_Error(e), Ext_FetchAddr_OK(use_pc) => { - if (use_pc[0] != bitzero | (use_pc[1] != bitzero & not(haveRVC()))) + if (use_pc[0] != bitzero | (use_pc[1] != bitzero & not(extensionEnabled(Ext_C)))) then F_Error(E_Fetch_Addr_Align(), PC) else match translateAddr(use_pc, Execute()) { TR_Failure(e, _) => F_Error(e, PC), |