diff options
| author | Scott Johnson <scott.johnson@arilinc.com> | 2021-02-02 12:19:37 -0800 |
|---|---|---|
| committer | Scott Johnson <scott.johnson@arilinc.com> | 2021-02-02 12:19:37 -0800 |
| commit | 243b2c00eb52c67b8805ce514a03fda3c6c8686f (patch) | |
| tree | ce91769599036a81440d87774ac4d97b7838e4a8 /model/riscv_insts_base.sail | |
| parent | e499d1d491bfcb4d5cad6a101e0526fb0f3a12b5 (diff) | |
| download | sail-riscv-243b2c00eb52c67b8805ce514a03fda3c6c8686f.zip sail-riscv-243b2c00eb52c67b8805ce514a03fda3c6c8686f.tar.gz sail-riscv-243b2c00eb52c67b8805ce514a03fda3c6c8686f.tar.bz2 | |
Reformat excessively-long lines
Diffstat (limited to 'model/riscv_insts_base.sail')
| -rw-r--r-- | model/riscv_insts_base.sail | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/model/riscv_insts_base.sail b/model/riscv_insts_base.sail index 7ec2756..6c871bf 100644 --- a/model/riscv_insts_base.sail +++ b/model/riscv_insts_base.sail @@ -720,7 +720,10 @@ function clause execute MRET() = { then { handle_illegal(); RETIRE_FAIL } else if ~(ext_check_xret_priv (Machine)) then { ext_fail_xret_priv(); RETIRE_FAIL } - else { set_next_pc(exception_handler(cur_privilege, CTL_MRET(), PC)); RETIRE_SUCCESS } + else { + set_next_pc(exception_handler(cur_privilege, CTL_MRET(), PC)); + RETIRE_SUCCESS + } } mapping clause assembly = MRET() <-> "mret" @@ -741,7 +744,10 @@ function clause execute SRET() = { then { handle_illegal(); RETIRE_FAIL } else if ~(ext_check_xret_priv (Supervisor)) then { ext_fail_xret_priv(); RETIRE_FAIL } - else { set_next_pc(exception_handler(cur_privilege, CTL_SRET(), PC)); RETIRE_SUCCESS } + else { + set_next_pc(exception_handler(cur_privilege, CTL_SRET(), PC)); + RETIRE_SUCCESS + } } mapping clause assembly = SRET() <-> "sret" |