diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-09-30 18:42:51 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-09-30 18:42:51 +0200 |
commit | 0484af01a43f5e0228a2748c7ec06e6557bd63e1 (patch) | |
tree | f0a05de647f5538f8b9d3e0e81ad7c34a91fbe84 /kvx | |
parent | 244159573aa20a0a74897edb5897ded1bd16cd66 (diff) | |
download | compcert-kvx-0484af01a43f5e0228a2748c7ec06e6557bd63e1.tar.gz compcert-kvx-0484af01a43f5e0228a2748c7ec06e6557bd63e1.zip |
non pipelined units = none on KVX
Diffstat (limited to 'kvx')
-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 |