From acb41b1af6e5e4c933e3be1b17f6e5012eca794d Mon Sep 17 00:00:00 2001
From: Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>
Date: Sat, 6 Feb 2021 16:53:46 +0100
Subject: cond and branches expanded

---
 riscV/OpWeights.ml | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

(limited to 'riscV/OpWeights.ml')

diff --git a/riscV/OpWeights.ml b/riscV/OpWeights.ml
index 75a913c6..09760db9 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 _
-- 
cgit