diff options
Diffstat (limited to 'riscV/OpWeights.ml')
-rw-r--r-- | riscV/OpWeights.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/riscV/OpWeights.ml b/riscV/OpWeights.ml index 23fbd4fc..0a1d9ad4 100644 --- a/riscV/OpWeights.ml +++ b/riscV/OpWeights.ml @@ -63,6 +63,7 @@ module Rocket = struct 1 | Ccompf _ | Cnotcompf _ -> 2 | Ccompfs _ | Cnotcompfs _ -> 2) + | OEmayundef _ -> 0 | _ -> 1 let resources_of_op (op : operation) (nargs : int) = resource_bounds |