From 1f42a62b6f7694206f805b3317e76341f2da066b Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Fri, 18 Sep 2020 21:01:04 +0200 Subject: wrong resources --- riscV/OpWeights.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'riscV/OpWeights.ml') diff --git a/riscV/OpWeights.ml b/riscV/OpWeights.ml index 02187067..88ef5216 100644 --- a/riscV/OpWeights.ml +++ b/riscV/OpWeights.ml @@ -19,7 +19,7 @@ let resources_of_op (op : operation) (nargs : int) = | Odiv | Odivu | Odivl | Odivlu -> [| 0 ; 0; 0; 1 |] | _ -> [| 1; 0; 0; 0 |];; -let resources_of_cond (cond : condition) (nargs : int) = [| 1 |];; +let resources_of_cond (cond : condition) (nargs : int) = [| 1; 0; 0; 0 |];; let latency_of_load trap chunk (addr : addressing) (nargs : int) = 3;; let latency_of_call _ _ = 6;; -- cgit