Don't clear vcsr.vxsat

Hardware should only set this bit. Clearing it is software's responsibility. > then saturates the result to fit into SEW bits. If the result causes saturation, the vxsat bit is set. Co-authored-by: Yui5427 <[email protected]>
riscv · Oct 10, 2024 · f7192a6 · f7192a6
1 parent 87f8bb3
commit f7192a6
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/model/riscv_insts_vext_utils.sail b/model/riscv_insts_vext_utils.sail
@@ -418,7 +418,6 @@ function unsigned_saturation(len, elem) = {
     vcsr[vxsat] = 0b1;
     ones('m)
   } else {
-    vcsr[vxsat] = 0b0;
     elem['m - 1 .. 0]
   }
 }
@@ -433,7 +432,6 @@ function signed_saturation(len, elem) = {
     vcsr[vxsat] = 0b1;
     0b1 @ zeros('m - 1)
   } else {
-    vcsr[vxsat] = 0b0;
     elem['m - 1 .. 0]
   };
 }