From 56498b6437ea8deb89a4e1fadbbfec490b8341aa Mon Sep 17 00:00:00 2001 From: Léo Gourdin Date: Fri, 25 Jun 2021 11:33:54 +0200 Subject: adding mayundef resource_bounds (not changing perfs) --- riscV/OpWeights.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'riscV') diff --git a/riscV/OpWeights.ml b/riscV/OpWeights.ml index 0a1d9ad4..a5ece6d5 100644 --- a/riscV/OpWeights.ml +++ b/riscV/OpWeights.ml @@ -66,7 +66,8 @@ module Rocket = struct | OEmayundef _ -> 0 | _ -> 1 - let resources_of_op (op : operation) (nargs : int) = resource_bounds + let resources_of_op (op : operation) (nargs : int) = + match op with OEmayundef _ -> [| 0 |] | _ -> resource_bounds let non_pipelined_resources_of_op (op : operation) (nargs : int) = match op with -- cgit