diff options
Diffstat (limited to 'riscV/OpWeights.ml')
-rw-r--r-- | riscV/OpWeights.ml | 14 |
1 files changed, 13 insertions, 1 deletions
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 _ |