From 0484af01a43f5e0228a2748c7ec06e6557bd63e1 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Wed, 30 Sep 2020 18:42:51 +0200 Subject: non pipelined units = none on KVX --- kvx/OpWeights.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'kvx/OpWeights.ml') diff --git a/kvx/OpWeights.ml b/kvx/OpWeights.ml index 4c3c40d0..9614fd92 100644 --- a/kvx/OpWeights.ml +++ b/kvx/OpWeights.ml @@ -1,7 +1,7 @@ open Op;; open PostpassSchedulingOracle;; let resource_bounds = PostpassSchedulingOracle.resource_bounds;; - +let nr_non_pipelined_units = 0;; let rec nlist_rec x l = function | 0 -> l @@ -66,6 +66,8 @@ let resources_of_op (op : operation) (nargs : int) = let insn = insn_of_op op nargs in let record = basic_rec insn in rec_to_usage record;; + +let non_pipelined_resources_of_op (op : operation) (nargs : int) = [| |] let resources_of_cond (cond : condition) (nargs : int) = let insn = insn_of_cond cond nargs in -- cgit