diff options
| author | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-09-15 09:08:30 +0200 |
|---|---|---|
| committer | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-09-15 09:08:30 +0200 |
| commit | 90bd63752be1ea25556c36ec041eccf446dc44e6 (patch) | |
| tree | 4d4b2567faf98af599313075cda01c341691d25b /riscV | |
| parent | 6215f5076bb88d45020dd067055b3e27486a80f9 (diff) | |
| download | compcert-kvx-90bd63752be1ea25556c36ec041eccf446dc44e6.tar.gz compcert-kvx-90bd63752be1ea25556c36ec041eccf446dc44e6.zip | |
test opweights rem
Diffstat (limited to 'riscV')
| -rw-r--r-- | riscV/OpWeights.ml | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/riscV/OpWeights.ml b/riscV/OpWeights.ml index 32cb4c9f..226f8b20 100644 --- a/riscV/OpWeights.ml +++ b/riscV/OpWeights.ml @@ -102,14 +102,12 @@ module FU74 = struct let non_pipelined_resources_of_op (op : operation) (nargs : int) = match op with - | Odiv | Odivu | Omod | Omodu | Odivl | Odivlu | Omodl | Omodlu | Odivf - | Odivfs -> - [| 68 |] + | Odiv | Odivu | Odivl | Odivlu | Odivf | Odivfs -> [| 68 |] | _ -> [| -1 |] let resources_of_cond (cond : condition) (nargs : int) = match cond with - | Ccompf _ |Cnotcompf _|Ccompfs _|Cnotcompfs _ -> [| 1; 0; 1; 1; 0 |] + | Ccompf _ | Cnotcompf _ | Ccompfs _ | Cnotcompfs _ -> [| 1; 0; 1; 1; 0 |] | _ -> [| 1; 0; 1; 0; 0 |] let latency_of_load trap chunk (addr : addressing) (nargs : int) = 3 |