No 0 immediate for compressed shifts

openhwgroup · Feb 23, 2025 · 9e7074b · 9e7074b
1 parent 71215e1
commit 9e7074b
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 3 deletions.
diff --git a/templates/coverage/cp_uimm_n0.txt b/templates/coverage/cp_uimm_n0.txt
@@ -0,0 +1,8 @@
+    cp_uimm : coverpoint unsigned'(ins.current.imm)  iff (ins.trap == 0 )  { 
+        `ifdef XLEN32
+            bins uimm[] = {[0:31]}; // 5 bit immediates
+        `else
+            bins uimm[] = {[0:63]}; // 6 bit immediates
+        `endif
+        ignore_bins zero = {0};
+    }
diff --git a/testplans/Zca.csv b/testplans/Zca.csv
@@ -24,9 +24,9 @@ c.nop,CN,x,x,x,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
 c.or,CA,x,x,x,,,,x,x,,,x,x,c,,c,,,,,x,x,x,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
 c.sd,CS,,x,x,,,,,x,,,,,,,,,,,,x,x,,,,8,,,,,,,,,,,,,,,,,,,,,,,,,,,,
 c.sdsp,CSS,,x,x,,x,,,x,,,,,,,,,,,,,,,,,8sp,,,,,,,,,,,,,,,,,,,,,,,,,,,,
-c.slli,CI,x,x,x,,,nx0,x,,c,,,,,,,,,x,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
-c.srai,CBP,x,x,x,,,,x,,c,,,,,c,,,,x,,x,,x,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
-c.srli,CBP,x,x,x,,,,x,,c,,,,,c,,,,x,,x,,x,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
+c.slli,CI,x,x,x,,,nx0,x,,c,,,,,,,,,n0,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
+c.srai,CBP,x,x,x,,,,x,,c,,,,,c,,,,n0,,x,,x,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
+c.srli,CBP,x,x,x,,,,x,,c,,,,,c,,,,n0,,x,,x,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
 c.sub,CA,x,x,x,,,,x,x,,,x,,c,,c,,,,,x,x,x,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
 c.subw,CA,,x,x,,,,x,x,,,,,c,,c,,,,,x,x,x,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
 c.sw,CS,x,x,x,,,,,x,,,,,,,,,,,,x,x,,,,x,,,,,,,,,,,,,,,,,,,,,,,,,,,,