From 432c4ea51e861187eb015f2b9e399c9e76ee9733 Mon Sep 17 00:00:00 2001 From: Xinlai Wan Date: Mon, 16 Oct 2023 11:46:14 +0800 Subject: [PATCH] Fix several coding style issues in vector extension code --- model/prelude.sail | 2 -- model/riscv_insts_vext_utils.sail | 20 ++++++++++---------- 2 files changed, 10 insertions(+), 12 deletions(-) diff --git a/model/prelude.sail b/model/prelude.sail index b86742d52..d29779e81 100644 --- a/model/prelude.sail +++ b/model/prelude.sail @@ -333,8 +333,6 @@ function def_spc_backwards s = () val def_spc_matches_prefix : string -> option((unit, nat)) function def_spc_matches_prefix s = opt_spc_matches_prefix(s) -val "print_int" : (string, int) -> unit - overload operator / = {quot_round_zero} overload operator * = {mult_atom, mult_int} diff --git a/model/riscv_insts_vext_utils.sail b/model/riscv_insts_vext_utils.sail index ba52f0927..3e29854a6 100755 --- a/model/riscv_insts_vext_utils.sail +++ b/model/riscv_insts_vext_utils.sail @@ -846,16 +846,16 @@ function fp_nmulsub(rm_3b, op1, op2, opsub) = { val fp_class : forall 'm, 'm in {16, 32, 64}. bits('m) -> bits('m) function fp_class(xf) = { let result_val_10b : bits(10) = - if f_is_neg_inf (xf) then 0b_00_0000_0001 - else if f_is_neg_norm (xf) then 0b_00_0000_0010 - else if f_is_neg_subnorm (xf) then 0b_00_0000_0100 - else if f_is_neg_zero (xf) then 0b_00_0000_1000 - else if f_is_pos_zero (xf) then 0b_00_0001_0000 - else if f_is_pos_subnorm (xf) then 0b_00_0010_0000 - else if f_is_pos_norm (xf) then 0b_00_0100_0000 - else if f_is_pos_inf (xf) then 0b_00_1000_0000 - else if f_is_SNaN (xf) then 0b_01_0000_0000 - else if f_is_QNaN (xf) then 0b_10_0000_0000 + if f_is_neg_inf(xf) then 0b_00_0000_0001 + else if f_is_neg_norm(xf) then 0b_00_0000_0010 + else if f_is_neg_subnorm(xf) then 0b_00_0000_0100 + else if f_is_neg_zero(xf) then 0b_00_0000_1000 + else if f_is_pos_zero(xf) then 0b_00_0001_0000 + else if f_is_pos_subnorm(xf) then 0b_00_0010_0000 + else if f_is_pos_norm(xf) then 0b_00_0100_0000 + else if f_is_pos_inf(xf) then 0b_00_1000_0000 + else if f_is_SNaN(xf) then 0b_01_0000_0000 + else if f_is_QNaN(xf) then 0b_10_0000_0000 else zeros(); zero_extend(result_val_10b)