1 files changed, 13 insertions, 1 deletions
diff --git a/riscV/OpWeights.ml b/riscV/OpWeights.ml
index 2b0496fc..5ac318c8 100644
--- a/riscV/OpWeights.ml
+++ b/riscV/OpWeights.ml
@@ -56,7 +56,19 @@ module Rocket =
             | Ccompl _
             | Ccomplu _
             | Ccomplimm _
-            | Ccompluimm _ -> 1
+            | Ccompluimm _
+            | CEbeqw _
+            | CEbnew _
+            | CEbltw _
+            | CEbltuw _
+            | CEbgew _
+            | CEbgeuw _ 
+            | CEbeql _
+            | CEbnel _
+            | CEbltl _
+            | CEbltul _
+            | CEbgel _
+            | CEbgeul _ -> 1
           | Ccompf _
             | Cnotcompf _ -> 6
           | Ccompfs _