From bdc464f4071bc821b26c0289756a3a05fa9090bc Mon Sep 17 00:00:00 2001 From: Pan Li Date: Sat, 2 Nov 2024 11:18:31 +0800 Subject: [PATCH] Add assert false with not implemented. Signed-off-by: Pan Li --- lib/float/arith_internal.sail | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/lib/float/arith_internal.sail b/lib/float/arith_internal.sail index 7233a6a76..d28f5d7c2 100644 --- a/lib/float/arith_internal.sail +++ b/lib/float/arith_internal.sail @@ -71,7 +71,10 @@ function float_add_internal (op_0, op_1) = { then op_0 + sail_zero_extend (fp_1.mantissa, bitsize) else if is_all_ones (fp_0.exp) then op_0 - else sail_zeros ('n); + else { + assert (false, "Not implemented yet."); + sail_zeros ('n); + }; (sum, fp_eflag_none); } @@ -79,9 +82,8 @@ function float_add_internal (op_0, op_1) = { val float_sub_internal : forall 'n, 'n in {16, 32, 64, 128}. (bits('n), bits('n)) -> (bits('n), fp_exception_flags) function float_sub_internal (op_0, op_1) = { - // ToDo(panli): Placeholder, will take care of it soon. - let diff = op_0; - (diff, fp_eflag_none); + assert (false, "Not implemented yet."); + (sail_zeros ('n), fp_eflag_none); } $endif