Change SAIL code based on Ken's suggestion

Made it so the read of rs1 is conditional based on rs2. This should remove the syntactic depency on rs1 in those cases. Signed-off-by: Brendan Sweeney <brs@eecs.berkeley.edu>
riscvarchive · Sep 5, 2023 · ae93493 · ae93493
1 parent 60ffef2
commit ae93493
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/zicondops.adoc b/zicondops.adoc
@@ -94,10 +94,9 @@ Furthermore, implementations can predict the condition just as they might for br
 SAIL code::
 [source,sail]
 --
-  let value = X(rs1);
   let condition = X(rs2);
   result : xlenbits = if (condition == zeros()) then zeros()
-                                                else value;
+                                                else X(rs1);
   X(rd) = result;
 --
 
@@ -153,10 +152,9 @@ Furthermore, implementations can predict the condition just as they might for br
 SAIL code::
 [source,sail]
 --
-  let value = X(rs1);
   let condition = X(rs2);
   result : xlenbits = if (condition != zeros()) then zeros()
-                                                else value;
+                                                else X(rs1);
   X(rd) = result;
 --