From 90bd63752be1ea25556c36ec041eccf446dc44e6 Mon Sep 17 00:00:00 2001 From: Léo Gourdin Date: Wed, 15 Sep 2021 09:08:30 +0200 Subject: test opweights rem --- riscV/OpWeights.ml | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'riscV') 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 -- cgit