From 315be48518b3445a20c9b051056930b7188b0348 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Christoph=20M=C3=BCllner?= Date: Tue, 2 Apr 2024 10:09:22 +0200 Subject: [PATCH] data/fd: fcvtmod: Restrict rounding mode to 'rtz' (again) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The specification of fcvtmod requires a rounding mode of 'rtz'. Recently we have added a commit to restrict the rounding modes accoringly. However, that turned out to be unsufficient. Therefore, this patch directly sets the rounding mode to 'rtz'. As a result this patch only generates 'rtz' test cases. Signed-off-by: Christoph Müllner --- riscv_ctg/data/fd.yaml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/riscv_ctg/data/fd.yaml b/riscv_ctg/data/fd.yaml index c8de3bfc..2235c957 100644 --- a/riscv_ctg/data/fd.yaml +++ b/riscv_ctg/data/fd.yaml @@ -2010,9 +2010,9 @@ fcvtmod.w.d: template: |- // $comment /* opcode: $inst ; op1:$rs1; dest:$rd; op1val:$rs1_val; valaddr_reg:$valaddr_reg; - val_offset:$val_offset; rmval:$rm_val; correctval:??; testreg:$testreg; + val_offset:$val_offset; rmval:rtz; correctval:??; testreg:$testreg; fcsr_val:$fcsr*/ - TEST_FPID_OP($inst, $rd, $rs1, $rm_val, $fcsr, $correctval, $valaddr_reg, $val_offset, $flagreg, $swreg, $testreg,$load_instr) + TEST_FPID_OP($inst, $rd, $rs1, rtz, $fcsr, $correctval, $valaddr_reg, $val_offset, $flagreg, $swreg, $testreg,$load_instr) fltq.s: sig: