1 files changed, 4 insertions, 0 deletions
diff --git a/riscV/OpWeights.ml b/riscV/OpWeights.ml
index 5ac318c8..35ae81e6 100644
--- a/riscV/OpWeights.ml
+++ b/riscV/OpWeights.ml
@@ -59,12 +59,16 @@ module Rocket =
             | Ccompluimm _
             | CEbeqw _
             | CEbnew _
+            | CEbequw _
+            | CEbneuw _
             | CEbltw _
             | CEbltuw _
             | CEbgew _
             | CEbgeuw _ 
             | CEbeql _
             | CEbnel _
+            | CEbequl _
+            | CEbneul _
             | CEbltl _
             | CEbltul _
             | CEbgel _