diff options
| author | Tim Hutt <timothy.hutt@codasip.com> | 2024-03-06 11:33:31 +0000 |
|---|---|---|
| committer | Bill McSpadden <bill@riscv.org> | 2024-04-03 10:39:40 -0500 |
| commit | a2ffa8511fd5ba1235eec4d3cf132c06b8dccc40 (patch) | |
| tree | f881bf5cfd83c8d5b49e3787eb94c0e791faa454 /model/riscv_insts_zfa.sail | |
| parent | f601c866153c79a7ae8404f939dc2d66aa2e41f9 (diff) | |
| download | sail-riscv-a2ffa8511fd5ba1235eec4d3cf132c06b8dccc40.zip sail-riscv-a2ffa8511fd5ba1235eec4d3cf132c06b8dccc40.tar.gz sail-riscv-a2ffa8511fd5ba1235eec4d3cf132c06b8dccc40.tar.bz2 | |
Fix flen=32 compilation
This has been broken for at least 2 years. This fixes the compilation.
Fixes #351
Diffstat (limited to 'model/riscv_insts_zfa.sail')
| -rw-r--r-- | model/riscv_insts_zfa.sail | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/model/riscv_insts_zfa.sail b/model/riscv_insts_zfa.sail index b391b4c..9f1e199 100644 --- a/model/riscv_insts_zfa.sail +++ b/model/riscv_insts_zfa.sail @@ -286,8 +286,8 @@ mapping clause assembly = RISCV_FMINM_D(rs2, rs1, rd) ^ sep() ^ freg_name(rs2) function clause execute (RISCV_FMINM_D(rs2, rs1, rd)) = { - let rs1_val_D = F(rs1); - let rs2_val_D = F(rs2); + let rs1_val_D = F_D(rs1); + let rs2_val_D = F_D(rs2); let is_quiet = true; let (rs1_lt_rs2, fflags) = fle_D (rs1_val_D, rs2_val_D, is_quiet); @@ -299,7 +299,7 @@ function clause execute (RISCV_FMINM_D(rs2, rs1, rd)) = { else rs2_val_D; accrue_fflags(fflags); - F(rd) = rd_val_D; + F_D(rd) = rd_val_D; RETIRE_SUCCESS } @@ -316,8 +316,8 @@ mapping clause assembly = RISCV_FMAXM_D(rs2, rs1, rd) ^ sep() ^ freg_name(rs2) function clause execute (RISCV_FMAXM_D(rs2, rs1, rd)) = { - let rs1_val_D = F(rs1); - let rs2_val_D = F(rs2); + let rs1_val_D = F_D(rs1); + let rs2_val_D = F_D(rs2); let is_quiet = true; let (rs2_lt_rs1, fflags) = fle_D (rs2_val_D, rs1_val_D, is_quiet); @@ -329,7 +329,7 @@ function clause execute (RISCV_FMAXM_D(rs2, rs1, rd)) = { else rs2_val_D; accrue_fflags(fflags); - F(rd) = rd_val_D; + F_D(rd) = rd_val_D; RETIRE_SUCCESS } @@ -458,7 +458,7 @@ mapping clause assembly = RISCV_FROUND_D(rs1, rm, rd) ^ sep() ^ frm_mnemonic(rm) function clause execute (RISCV_FROUND_D(rs1, rm, rd)) = { - let rs1_val_D = F(rs1); + let rs1_val_D = F_D(rs1); match (select_instr_or_fcsr_rm(rm)) { None() => { handle_illegal(); RETIRE_FAIL }, @@ -467,7 +467,7 @@ function clause execute (RISCV_FROUND_D(rs1, rm, rd)) = { let (fflags, rd_val_D) = riscv_f64roundToInt(rm_3b, rs1_val_D, false); accrue_fflags(fflags); - F(rd) = rd_val_D; + F_D(rd) = rd_val_D; RETIRE_SUCCESS } } |