diff options
Diffstat (limited to 'kvx/OpWeights.ml')
| -rw-r--r-- | kvx/OpWeights.ml | 4 |
1 files changed, 3 insertions, 1 deletions
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 |