Merge pull request #321 from cmuellner/zicond

Add support for the Zicond ISA extension
riscv-non-isa · Dec 1, 2023 · ff42b13 · ff42b13
2 parents eb0a389 + b8bd7a6
commit ff42b13
Show file tree

Hide file tree

Showing 6 changed files with 13,983 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,4 +1,6 @@
 # CHANGELOG
+## [3.8.3] - 2023-11-30
+- Add Zicond ISA extension support
 
 ## [3.8.2.3] -- 2013-11-19
 -Fixed typo in regex in 3.8.2.2

diff --git a/coverage/zicond.cgf b/coverage/zicond.cgf
@@ -0,0 +1,37 @@
+czero.eqz:
+    config: 
+      - check ISA:=regex(.*Zicond.*)
+    opcode: 
+      czero.eqz: 0
+    rs1: 
+      <<: *all_regs
+    rs2: 
+      <<: *all_regs
+    rd: 
+      <<: *all_regs
+    op_comb: 
+      <<: *rfmt_op_comb
+    val_comb:
+      <<: [*base_rs1val_sgn , *base_rs2val_sgn , *rfmt_val_comb_sgn]
+      abstract_comb:
+        'sp_dataset(xlen)': 0
+        <<: [*rs1val_walking, *rs2val_walking]
+
+czero.nez:
+    config: 
+      - check ISA:=regex(.*Zicond.*)
+    opcode: 
+      czero.nez: 0
+    rs1: 
+      <<: *all_regs
+    rs2: 
+      <<: *all_regs
+    rd: 
+      <<: *all_regs
+    op_comb: 
+      <<: *rfmt_op_comb
+    val_comb:
+      <<: [*base_rs1val_sgn , *base_rs2val_sgn , *rfmt_val_comb_sgn]
+      abstract_comb:
+        'sp_dataset(xlen)': 0
+        <<: [*rs1val_walking, *rs2val_walking]