diff options
| author | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-04-08 20:47:38 +0200 |
|---|---|---|
| committer | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-04-08 20:47:38 +0200 |
| commit | 2f2e7b1da225aa3bf066c2fc689a08fab9851a53 (patch) | |
| tree | a9c5de98b007cb176824eafe13db7e544e9bdc09 /riscV/OpWeights.ml | |
| parent | dd4767e17235adb5de922626ed1fea15f4eb9e3b (diff) | |
| download | compcert-kvx-2f2e7b1da225aa3bf066c2fc689a08fab9851a53.tar.gz compcert-kvx-2f2e7b1da225aa3bf066c2fc689a08fab9851a53.zip | |
bugfix
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 |